total 18277took 0.12s

Compositional Reasoning for Interval Markov Decision ProcessesJul 28 2016Model checking probabilistic CTL properties of Markov decision processes with convex uncertainties has been recently investigated by Puggelli et al. Such model checking algorithms typically suffer from the state space explosion. In this paper, we address ... More

Cost Preserving Bisimulations for Probabilistic AutomataOct 30 2014Feb 16 2015Probabilistic automata constitute a versatile and elegant model for concurrent probabilistic systems. They are equipped with a compositional theory supporting abstraction, enabled by weak probabilistic bisimulation serving as the reference notion for ... More

Deciding Probabilistic Automata Weak Bisimulation in Polynomial TimeMay 02 2012Jul 15 2012Deciding in an efficient way weak probabilistic bisimulation in the context of Probabilistic Automata is an open problem for about a decade. In this work we close this problem by proposing a procedure that checks in polynomial time the existence of a ... More

Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity GamesJul 06 20162.5 player parity games combine the challenges posed by 2.5 player reachability games and the qualitative analysis of parity games. These two types of problems are best approached with different types of algorithms: strategy improvement algorithms for ... More

Model Checking Applied to Quantum PhysicsFeb 08 2019Model checking has been successfully applied to verification of computer hardware and software, communication systems and even biological systems. In this paper, we further push the boundary of its applications and show that it can be adapted for applications ... More

The primordial collisional history of Vesta: crater saturation, surface evolution and survival of the basaltic crustSep 05 2013This work explores the implications of the Jovian Early Bombardment (JEB) for the evolution of the primordial Vesta, in particular in terms of crater saturation, crustal excavation and surface erosion. Both scenarios assuming the planetesimals having ... More

Computing rational decisions in extensive games with limited foresightFeb 12 2015May 29 2016We introduce a class of extensive form games where players might not be able to foresee the possible consequences of their decisions and form a model of their opponents which they exploit to achieve a more profitable outcome. We improve upon existing ... More

An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time PropertiesMay 14 2016In this paper, we propose an efficient algorithm for the parameter synthesis of PLTL formulas with respect to parametric Markov chains. The PLTL formula is translated to an almost fully partitioned B\"uchi automaton which is then composed with the parametric ... More

Lazy Probabilistic Model Checking without DeterminisationNov 12 2013Apr 24 2015The bottleneck in the quantitative analysis of Markov chains and Markov decision processes against specifications given in LTL or as some form of nondeterministic B\"uchi automata is the inclusion of a determinisation step of the automaton under consideration. ... More

Endogenous games with goals: side-payments among goal-directed artificial agentsNov 13 2013Nov 14 2013Artificial agents are typically oriented to the realization of an externally assigned task and try to optimize over secondary aspects of plan execution such time lapse or power consumption, technically displaying a quasi-dichotomous preference relation. ... More

Multi-objective Robust Strategy Synthesis for Interval Markov Decision ProcessesJun 21 2017Jul 06 2017Interval Markov decision processes (IMDPs) generalise classical MDPs by having interval-valued transition probabilities. They provide a powerful modelling tool for probabilistic systems with an additional variation or uncertainty that prevents the knowledge ... More

The Formation of Jupiter, the Jovian Early Bombardment and the Delivery of Water to the Asteroid Belt: The Case of (4) VestaJan 29 2014The asteroid (4) Vesta, parent body of the Howardite-Eucrite-Diogenite meteorites, is one of the first bodies that formed, mostly from volatile-depleted material, in the Solar System. The Dawn mission recently provided evidence that hydrated material ... More

Two-player preplay negotiation games with conditional offersApr 08 2013Nov 18 2013We consider an extension of strategic normal form games with a phase before the actual play of the game, where players can make binding offers for transfer of utilities to other players after the play of the game, contingent on the recipient playing the ... More

Asteroid 4 Vesta: dynamical and collisional evolution during the Late Heavy BombardmentFeb 01 2016Aug 23 2016Vesta is the only currently identified asteroid for which we possess samples, which revealed us that the asteroid is differentiated and possesses a relatively thin basaltic crust that survived to the evolution of the asteroid belt and the Solar System. ... More

A network-based rating system and its resistance to briberyFeb 03 2016Jun 27 2016We study a rating system in which a set of individuals (e.g., the customers of a restaurant) evaluate a given service (e.g, the restaurant), with their aggregated opinion determining the probability of all individuals to use the service and thus its generated ... More

Similarity Measures based on Local Game TreesFeb 25 2019We study strategic similarity of game positions in two-player extensive games of perfect information, by looking at the structure of their local game trees, with the aim of improving the performance of game playing agents in detecting forcing continuations. ... More

Non-cooperative games with preplay negotiationsAug 08 2012Nov 18 2013We consider an extension of strategic normal form games with a phase of negotiations before the actual play of the game, where players can make binding offers for transfer of utilities to other players after the play of the game, in order to provide additional ... More

Anti-correlation between multiplicity and orbital properties in exoplanetary systems as a possible record of their dynamical historiesAug 31 2017Previous works focused on exoplanets discovered with the radial velocity (RV) method reported an anti-correlation between the orbital eccentricities of the exoplanets and the multiplicity M (i.e., number of planets) of their system. We further investigate ... More

From gas to satellitesimals: disk formation and evolutionJun 18 2009Nov 18 2009The subject of satellite formation is strictly linked to the one of planetary formation. Giant planets strongly shape the evolution of the circum-planetary disks during their formation and thus, indirectly, influence the initial conditions for the processes ... More

A focus on focal surfacesFeb 14 2000We make a systematic study of the focal surface of a congruence of lines in the projective space. Using differential techniques together with techniques from intersection theory, we reobtain in particular all the invariants of the focal surface (degree, ... More

A new perspective on the irregular satellites of Saturn - I Dynamical and collisional historyNov 25 2010The dynamical features of the irregular satellites of the giant planets argue against an in-situ formation and are strongly suggestive of a capture origin. Since the last detailed investigations of their dynamics, the total number of satellites have doubled, ... More

Classification of smooth congruences with a fundamental curveJun 23 1993We give a classification and a construction of all smooth $(n-1)$-dimensional varieties of lines in ${\bf P}\sp n$ verifying that all their lines meet a curve. This also gives a complete classification of $(n-1)$-scrolls over a curve contained in $G(1,n)$. ... More

A new perspective on the irregular satellites of Saturn - II Dynamical and physical originNov 25 2010The origin of the irregular satellites of the giant planets has been long debated since their discovery. Their dynamical features argue against an in-situ formation suggesting they are captured bodies, yet there is no global consensus on the physical ... More

Jovian Early Bombardment: planetesimal erosion in the inner asteroid beltFeb 22 2012The asteroid belt is an open window on the history of the Solar System, as it preserves records of both its formation process and its secular evolution. The progenitors of the present-day asteroids formed in the Solar Nebula almost contemporary to the ... More

Equilibrium Refinement through Negotiation in Binary VotingApr 22 2014Jul 14 2015We study voting games on binary issues, where voters might hold an objective over some issues at stake, while willing to strike deals on the remaining ones, and can influence one another's voting decision before the vote takes place. We analyse voters' ... More

Probing the history of Solar System through the cratering records on Vesta and CeresFeb 20 2009Jan 10 2011Through its connection with HED meteorites, Vesta is known as one of the first bodies to have accreted and differentiated in the Solar Nebula, predating the formation of Jupiter and surviving the violent evolution of the early Solar System. The formation ... More

The role of planetary formation and evolution in shaping the composition of exoplanetary atmospheresJan 20 2014Jun 16 2014Over the last twenty years, the search for extrasolar planets revealed us the rich diversity of the outcomes of the formation and evolution of planetary systems. In order to fully understand how these extrasolar planets came to be, however, the orbital ... More

Planetesimals and Satellitesimals: Formation of the Satellite SystemsJun 01 2009Dec 14 2009The origin of the regular satellites ties directly to planetary formation in that the satellites form in gas and dust disks around the giant planets and may be viewed as mini-solar systems, involving a number of closely related underlying physical processes. ... More

Status of sub-GeV Hidden Particle SearchesAug 26 2010Hidden sector particles with sub-GeV masses like hidden U(1) gauge bosons, the NMSSM CP-odd Higgs, and other axion-like particles are experimentally little constrained as they interact only very weakly with the visible sector. For masses below the muon ... More

The electroweak chiral Lagrangian reanalyzedJul 09 1999Oct 26 2000In this paper we reanalyze the electroweak chiral Lagrangian with particular focus on two issues related to gauge invariance. Our analysis is based on a manifestly gauge-invariant approach that we introduced recently. It deals with gauge-invariant Green's ... More

A universal ionization threshold for strongly driven Rydberg statesApr 21 2004We observe a universal ionization threshold for microwave driven one-electron Rydberg states of H, Li, Na, and Rb, in an {\em ab initio} numerical treatment without adjustable parameters. This sheds new light on old experimental data, and widens the scene ... More

Residual Symmetries in the Spectrum of Periodically Driven Alkali Rydberg StatesNov 25 1999We identify a fundamental structure in the spectrum of microwave driven alkali Rydberg states, which highlights the remnants of the Coulomb symmetry in the presence of a non-hydrogenic core. Core-induced corrections with respect to the hydrogen spectrum ... More

Lipschitz functions with prescribed blowups at many pointsDec 15 2016In this paper we prove generalizations of Lusin-type theorems for gradients due to Giovanni Alberti, where we replace the Lebesgue measure with any Radon measure $\mu$. We apply this to go beyond the known result on the existence of Lipschitz functions ... More

Particle-particle ladder based basis-set corrections applied to atoms and molecules using coupled-cluster theoryMar 13 2019We investigate the basis-set convergence of coupled cluster electronic correlation energies using a recently proposed finite basis-set correction technique. The correction is applied to atomic and molecular systems and is based on a diagrammatically decomposed ... More

Tanaka structures modeled on extended Poincaré algebrasJan 03 2012Oct 04 2012Let (V,(.,.)) be a pseudo-Euclidean vector space and S an irreducible Cl(V)-module. An extended translation algebra is a graded Lie algebra m = m_{-2}+m_{-1} = V+S with bracket given by ([s,t],v) = b(v.s,t) for some nondegenerate so(V)-invariant reflexive ... More

Particle-particle ladder based basis-set corrections applied to atoms and molecules using coupled-cluster theoryMar 13 2019Mar 14 2019We investigate the basis-set convergence of coupled cluster electronic correlation energies using a recently proposed finite basis-set correction technique. The correction is applied to atomic and molecular systems and is based on a diagrammatically decomposed ... More

Planetary formation in the Gamma-Cephei systemAug 09 2004We numerically investigate under which conditions the planet detected at 2.1 AU of Gamma-Cephei could form through the core-accretion scenario despite the perturbing presence of the highly eccentric companion star. We first show that the initial stage ... More

Equivariant characteristic forms in the Cartan model and Borel equivariant cohomologyAug 31 2015Nov 10 2015We show the compatibility of the differential geometric and the topological construction of equivariant characteristic classes for compact Lie groups. Our analysis motivates a differential geometric construction for equivariant characteristic classes ... More

Band-edge BCS-BEC crossover in a two-band superconductor: physical properties and detection parametersJul 11 2014Superconductivity in iron-based, magnesium diborides, and other novel superconducting materials has a strong multi-band and multi-gap character. Recent experiments support the possibillity for a BCS-BEC crossover induced by strong-coupling and proximity ... More

Imbalanced thee-component Fermi gas with attractive interactions: Multiple FFLO-pairing, Bose-Fermi and Fermi-Fermi mixtures versus collapse and phase separationJun 04 2009We present a detailed study of the population imbalanced three-component Hubbard chain with attractive interactions. Such a system can be realized experimentally with three different hyperfine states of ultra cold $^6$Li atoms in an optical lattice. We ... More

Domestic Corpuscular InflatonJun 28 2018The aim of this paper is to provide a more precise description of the paradigm of corpuscular slow-roll inflation, which was previously introduced by Casadio et al. in [1]. Specifically, we start by expanding the Starobinsky theory on a curved background ... More

Inverse wave scattering in the time domain: a factorization method approachMar 14 2019Let $\Delta_{\Lambda}\le \lambda_{\Lambda}$ be a semi-bounded self-adjoint realization of the Laplace operator with boundary conditions assigned on the Lipschitz boundary of a bounded obstacle $\Omega$. Let $u^{\Lambda}_{f}$ and $u^{0}_{f}$ be the solutions ... More

Classification of maximal transitive prolongations of super-Poincaré algebrasDec 08 2012Jul 22 2014Let $V$ be a complex vector space with a non-degenerate symmetric bilinear form and $\mathbb S$ an irreducible module over the Clifford algebra $Cl(V)$ determined by this form. A supertranslation algebra is a $\mathbb Z$-graded Lie superalgebra $\mathfrak ... More

Super-Poincare' algebras, space-times and supergravities (II)Aug 31 2011The presentation of supergravity theories of our previous paper "Super-Poincare' algebras, space-times and supergravities (I)" is re-formulated in the language of Berezin-Leites-Kostant theory of supermanifolds. It is also shown that the equations of ... More

Numerical analysis for time-dependent advection-diffusion problems with random discontinuous coefficientsFeb 06 2019Subsurface flows are commonly modeled by advection-diffusion equations. Insufficient measurements or uncertain material procurement may be accounted for by random coefficients. To represent, for example, transitions in heterogeneous media, the parameters ... More

Vesta and Ceres: crossing the history of the Solar SystemJun 01 2011The evolution of the Solar System can be schematically divided into three different phases: the Solar Nebula, the Primordial Solar System and the Modern Solar System. These three periods were characterized by very different conditions, both from the point ... More

Gauge-invariant Green's functions for the bosonic sector of the standard modelDec 18 1998Jun 21 2000There are many applications in gauge theories where the usually employed framework involving gauge-dependent Green's functions leads to considerable problems. In order to overcome the difficulties invariably tied to gauge dependence, we present a manifestly ... More

Equivariant Differential CohomologyOct 21 2015Nov 10 2015The construction of characteristic classes via the curvature form of a connection is one motivation for the refinement of integral cohomology by de Rham cocycles -- known as differential cohomology. We will discuss the analog in the case of a group action ... More

The antiferromagnetic spin-1/2 Heisenberg model on the square lattice in a magnetic fieldDec 17 2008Mar 16 2009We study the field dependence of the antiferromagnetic spin-1/2 Heisenberg model on the square lattice by means of exact diagonalizations. In a first part, we calculate the spin-wave velocity, the spin-stiffness, and the magnetic susceptibility and thus ... More

Solving DC programs with polyhedral component utilizing a multiple objective linear programming solverOct 18 2016A class of non-convex optimization problems with DC objective function and linear constraints is studied, where DC stands for being representable as the difference $f=g-h$ of two convex functions $g$ and $h$. In particular, we deal with the special case ... More

(a,b)-Koszul algebrasJul 20 2010Let $a$ and $b$ be two integers such that $2\le a<b$. In this article we define the notion of $(a,b)$-Koszul algebra as a generalization of $N$-Koszul algebras. We also exhibit examples and we provide a minimal graded projective resolution of the algebra ... More

Formality of $\mathbb{P}$-objectsSep 19 2017We show that a $\mathbb{P}$-object and simple configurations of $\mathbb{P}$-objects have a formal derived endomorphism algebra. Hence the triangulated category (classically) generated by such objects is independent of the ambient triangulated category. ... More

PT-symmetrically deformed shock wavesJan 27 2012We investigate for a large class of nonlinear wave equations, which allow for shock wave formations, how these solutions behave when they are PT-symmetrically deformed. For real solutions we find that they are transformed into peaked solutions with a ... More

Numerical analysis of detection-mechanism models of SNSPDAug 27 2013Nov 12 2013The microscopic mechanism of photon detection in superconducting nanowire single-photon detectors is still under debate. We present a simple, but powerful theoretical model that allows us to identify essential differences between competing detection mechanisms. ... More

A Multilevel Monte Carlo Algorithm for Parabolic Advection-Diffusion Problems with Discontinuous CoefficientsFeb 06 2019Apr 18 2019The Richards' equation is a model for flow of water in unsaturated soils. The coefficients of this (nonlinear) partial differential equation describe the permeability of the medium. Insufficient or uncertain measurements are commonly modeled by random ... More

Olivine on Vesta as exogenous contaminants brought by impacts: Constraints from modeling Vesta's collisional history and from impact simulationsJul 25 2016Jul 28 2016The survival of asteroid Vesta during the violent early history of the Solar System is a pivotal constraint on theories of planetary formation. Particularly important from this perspective is the amount of olivine excavated from the vestan mantle by impacts, ... More

Matrices dropping rank in codimension one and critical loci in computer visionFeb 01 2019Critical loci for projective reconstruction from three views in four dimensional projective space are defined by an ideal generated by maximal minors of suitable $4 \times 3$ matrices, $N,$ of linear forms. Such loci are classified in this paper, in the ... More

Computing modular polynomials in quasi-linear timeApr 24 2007Jul 23 2008We analyse and compare the complexity of several algorithms for computing modular polynomials. We show that an algorithm relying on floating point evaluation of modular functions and on interpolation, which has received little attention in the literature, ... More

Superalgebraic methods in the classical theory of representations. Capelli's identity, the Koszul map and the center of the enveloping algebra U(gl(n))Jan 15 2015We show how the use of superalgebraic methods sheds new light on some classical themes of representation theory and it leads to significant simplifications of traditional proofs.

Open topological strings and integrable hierarchies: Remodeling the A-modelFeb 01 2011May 04 2012We set up, purely in A-model terms, a novel formalism for the global solution of the open and closed topological A-model on toric Calabi-Yau threefolds. The starting point is to build on recent progress in the mathematical theory of open Gromov-Witten ... More

Computational Implications of Reducing Data to Sufficient StatisticsSep 12 2014Jul 30 2015Given a large dataset and an estimation task, it is common to pre-process the data by reducing them to a set of sufficient statistics. This step is often regarded as straightforward and advantageous (in that it simplifies statistical analysis). I show ... More

Estimating Random Variables from Random Sparse ObservationsSep 03 2007Let X_1,...., X_n be a collection of iid discrete random variables, and Y_1,..., Y_m a set of noisy observations of such variables. Assume each observation Y_a to be a random function of some a random subset of the X_i's, and consider the conditional ... More

Non-Perturbative Renormalization in Lattice Field TheoryApr 11 2001Non-perturbative renormalization of lattice composite operators plays a crucial role in many applications of lattice field theory. We sketch the general problems involved in this task and the methods which are currently used to cope with them. We present ... More

About the length of laws for finite groupsAug 31 2015Sep 05 2015We prove new upper bounds for the length of laws that hold for all groups of size at most $n$ -- improving on previous results of Bou-Rabee and Kassabov-Matucci. The methods make use of the classification of finite simple groups. Stronger bounds are proved ... More

The expected degree of minimal spanning forestsJun 03 2013We give a lower bound on the expected degree of the free minimal spanning forest of a vertex transitive graph in terms of its spectral radius. This result answers a question of Lyons-Peres-Schramm and simplifies the Gaboriau-Lyons proof of the measurable-group-theoretic ... More

About the metric approximation of Higman's groupMay 05 2010We prove that Higman's group does not embed into a metric ultraproduct of finite groups with a commutator-contractive invariant length function.

Stability of Ferromagnetism in Hubbard models on two-dimensional line graphsSep 06 2006Apr 03 2012It is well known that the Hubbard model on a line graph has a flat band and ferromagnetic ground states in a certain density range. We show that for a Hubbard model on a line graph of a planar bipartite graph the ferromagnetic ground state is stable if ... More

Elements for Response Time Statistics in ERP Transaction SystemsApr 16 2004May 16 2005We present some measurements and ideas for response time statistics in ERP systems. It is shown that the response time distribution of a given transaction in a given system is generically a log-normal distribution or, in some situations, a sum of two ... More

Ferromagnetism in single-band Hubbard models with a partially flat bandApr 19 1999A Hubbard model with a single, partially flat band has ferromagnetic ground states. It is shown that local stability of ferromagnetism implies its global stability in such a model: The model has only ferromagnetic ground states if there are no single ... More

Propagation speed in a strip bounded by a line with different diffusionDec 08 2014Jun 29 2015In this paper we consider a model for the diffusion of a population in a strip-shaped field, where the growth of the species is governed by a Fisher-KPP equation and which is bounded on one side by a road where the species can have a different diffusion ... More

Multipole expansion at the level of the actionFeb 21 2012Apr 05 2013Sources of long wavelength radiation are naturally described by an effective field theory (EFT) which takes the form of a multipole expansion. Its action is given by a derivative expansion where higher order terms are suppressed by powers of the ratio ... More

Pion-Nucleon Distribution AmplitudesSep 12 2007This is a short presentation of the results for the pion-nucleon distribution amplitudes which are expressed in terms of the nucleon distribution amplitudes with the help of current algebra. Everything is considered to be at threshold.

Brane Bounce from logarithmic entropic corrections in the bulkOct 14 2016We calculate new corrections to the Brane-world dynamics, lying in a 5D Schwarzschild-De Sitter black hole, generalizing the result of Nojiri, Odintsov and Ogushi (NOO) in Ref.\cite{Nojiri:2002vu}, The NOO entropy effect is based on the Logharitmic correction ... More

A modular eballot system - V0.6Nov 15 2006Dec 22 2006We consider a reasonably simple voting system which can be implemented for web-based ballots. Simplicity, modularity and the requirement of compatibility with current web browsers leads to a system which satisfies a set of security requirements for a ... More

Effective time-independent description of optical lattices with periodic drivingMay 29 2010For a periodically driven quantum system an effective time-independent Hamiltonian is derived with an eigen-energy spectrum, which in the regime of large driving frequencies approximates the quasi-energies of the corresponding Floquet Hamiltonian. The ... More

Electric dipole moments in supersymmetric theoriesApr 19 1996Intrinsic EDMs in microscopic systems at a level of sensitivity achievable in experiments under way or foreseen are predicted in supersymmetric unified theories. I describe this and other sources of measurable EDMs and I show how these sources can be ... More

A remark on quiver varieties andweyl groupsMar 25 2000In this paper we define an action of the Weyl group on the quiver varieties $M_{m,\grl}(d,v)$ with generic $(m,\grl)$. To do it we describe a set of generators of the projective ring of a quiver variety. We also prove connectness for the smooth quiver ... More

An example of a differentiability space which is PI-unrectifiableNov 05 2016We construct a (Lipschitz) differentiability space which has at generic points a disconnected tangent and thus does not contain positive measure subsets isometric to positive measure subsets of spaces admitting a Poincar\'e inequality. We also prove that ... More

Relative Gromov-Witten invariants and the mirror formulaSep 20 2000Let X be a smooth complex projective variety, and let Y in X be a smooth very ample hypersurface such that -K_Y is nef. Using the technique of relative Gromov-Witten invariants, we give a new short and geometric proof of (a version of) the "mirror formula", ... More

"Pretty strong" converse for the private capacity of degraded quantum wiretap channelsJan 25 2016Apr 26 2016In the vein of the recent "pretty strong" converse for the quantum and private capacity of degradable quantum channels [Morgan/Winter, IEEE Trans. Inf. Theory 60(1):317-333, 2014], we use the same techniques, in particular the calculus of min-entropies, ... More

Upper bound for SL-invariant entanglement measures of mixed statesDec 18 2015Sep 02 2016An algorithm is proposed that serves to handle full rank density matrices, when coming from a lower rank method to compute the convex-roof. This is in order to calculate an upper bound for any polynomial SL invariant multipartite entanglement measure ... More

Self-energy effects in functional renormalization group flows of the two-dimensional $t$-$t'$ Hubbard model away from van Hove fillingOct 19 2015Dec 28 2015We study the impact of the fermionic self-energy on one-loop functional renormalization group flows of the two-dimensional $t$-$t'$ Hubbard model, with emphasis on electronic densities away from van Hove filling. In the presence of antiferromagnetic hot ... More

{\it Ab--initio} finite temperature excitonsDec 20 2007Jul 20 2008The coupling with the lattice vibrations is shown to drastically modify the state--of--the--art picture of the excitonic states based on a frozen atom approximation. The zero--point vibrations renormalize the bare energies and optical strengths. Excitons ... More

The implicit contribution of slab modes to the perpendicular diffusion coefficient of particles interacting with two-component turbulenceAug 09 2016We explore the transport of energetic particles in two-component turbulence in which the stochastic magnetic field is assumed to be a superposition of slab and two-dimensional modes. It is known that in magnetostatic slab turbulence, the motion of particles ... More

Weyl, Majorana and Dirac fields from a unified perspectiveApr 30 2016Aug 12 2016A self-contained derivation of the formalism describing Weyl, Majorana and Dirac fields from a unified perspective is given based on a concise description of the representation theory of the proper orthochronous Lorentz group. Lagrangian methods play ... More

Online Ramsey Games for more than two colorsMar 24 2016Consider the following one-player game played on an initially empty graph with $n$ vertices. At each stage a randomly selected new edge is added and the player must immediately color the edge with one of $r$ available colors. Her objective is to color ... More

Epiphany-V: A 1024 processor 64-bit RISC System-On-ChipOct 06 2016This paper describes the design of a 1024-core processor chip in 16nm FinFet technology. The chip ("Epiphany-V") contains an array of 1024 64-bit RISC processors, 64MB of on-chip SRAM, three 136-bit wide mesh Networks-On-Chip, and 1024 programmable IO ... More

On special rank-two mixtures: how the zero-polytope makes life more easySep 27 2016In the recent contribution a rather simple example of a rank-two density matrix has posed a problem in calculating upper bounds of the convex roof of the three-tangle from the zero polytope. Here, I show how a three-dimensional view, namely in terms of ... More

On Perrin-Riou's exponential map for $(\varphi, Γ)$-modulesSep 20 2016Let $K / \mathbb{Q}_p$ be a finite Galois extension and $D$ a $(\varphi, \Gamma)$-module over the Robba-ring $B^{\dagger}_{\textrm{rig}, K}$. We give a generalization of the Bloch-Kato exponential map for $D$ using continuous Galois-cohomology groups ... More

Unrectifiable normal currents in Euclidean spacesAug 04 2016We construct in $\mathbb{R}^{k+2}$ a $k$-dimensional simple normal current whose support is purely $2$-unrectifiable. The result is sharp because the support of a normal current cannot be purely $1$-unrectifiable and a $(k+1)$-dimensional normal current ... More

Neutrino Dark Energy and Moduli Stabilization in a BPS Braneworld ScenarioMar 03 2006A braneworld model for neutrino Dark Energy (DE) is presented. We consider a five dimensional two-branes set up with a bulk scalar field motivated by supergravity. Its low-energy effective theory is derived with a moduli space approximation (MSA). The ... More

Torsion group schemes as iterative differential Galois groupsMar 28 2012Oct 14 2015We are considering iterative derivations on the function field L of abelian schemes in positive characteristic p>0, and give conditions when the torsion group schemes of this abelian scheme occur as ID-automorphism groups, i.e. are the ID-Galois groups ... More

Infinitesimal group schemes as iterative differential Galois groupsAug 26 2009This article is concerned with Galois theory for iterative differential fields (ID-fields) in positive characteristic. More precisely, we consider purely inseparable Picard-Vessiot extensions, because these are the ones having an infinitesimal group scheme ... More

The Nagel-Schreckenberg model revisitedFeb 11 1999The Nagel-Schreckenberg model is a simple cellular automaton for a realistic description of single-lane traffic on highways. For the case $v_{max}=1$ the properties of the stationary state can be obtained exactly. For the more relevant case $v_{max}>1$, ... More

Holographic computations of the Quantum Information MetricJul 21 2016In this note we show how the Quantum Information Metric can be computed holographically using a perturbative approach. In particular when the deformation of the conformal field theory state is induced by a scalar operator the corresponding bulk configuration ... More

Accelerated Bose-Einstein condensates in a double-well potentialJan 26 2015Devices based on ultracold atoms moving in an accelerating optical lattice or double-well potential are a promising tool for precise measurements of fundamental physical constants as well as for the construction of sensors. Here, we carefully analyze ... More

A new notion of angle between three points in a metric spaceFeb 03 2013We give a new notion of angle in general metric spaces; more precisely, given a triple a points $p,x,q$ in a metric space $(X,d)$, we introduce the notion of angle cone ${\angle_{pxq}}$ as being an interval ${\angle_{pxq}}:=[\angle^-_{pxq},\angle^+_{pxq}]$, ... More

Anomalous U(1), Dark Matter and AsymmetryJan 20 2012Jun 14 2012In this thesis we study the phenomenology of an anomalous U(1) extension of the MSSM. We briefly introduce the concept of Supersymmetry and describe the MSSM, then we introduce our extended model, describing its main properties. Then it starts the original ... More

An Information-Based Framework for Asset Pricing: X-Factor Theory and its ApplicationsJul 14 2008A new framework for asset pricing based on modelling the information available to market participants is presented. Each asset is characterised by the cash flows it generates. Each cash flow is expressed as a function of one or more independent random ... More

Field Parametrization Dependence in Asymptotically Safe Quantum GravityOct 28 2014Jan 26 2015Motivated by conformal field theory studies we investigate Quantum Einstein Gravity with a new field parametrization where the dynamical metric is basically given by the exponential of a matrix-valued fluctuating field, $g_{\mu\nu}=\bar{g}_{\mu\rho}(e^h)^\rho_{\nu}$. ... More