total 20323took 0.14s

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

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

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

The Rank of Trifocal Grassmann TensorsJul 24 2019Grassmann tensors arise from classical problems of scene reconstruction in computer vision. Trifocal Grassmann tensors, related to three projections from a projective space of dimension k onto view-spaces of varying dimensions are studied in this work. ... 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

How does information affect asymmetric congestion games?Feb 19 2019We study traffic networks with multiple origin-destination pairs, relaxing the simplifying assumption of agents having complete knowledge of the network structure. We identify a ubiquitous class of networks, i.e., rings, for which we can safely increase ... 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

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

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

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

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 - 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 2014Jan 09 2017We study voting games on binary issues, where voters hold an objective over the outcome of the collective decision and are allowed, before the vote takes place, to negotiate their voting strategy with the other participants. We analyse the voters' rational ... 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

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

A Multilevel Monte Carlo Algorithm for Parabolic Advection-Diffusion Problems with Discontinuous CoefficientsFeb 06 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

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 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

Inverse Scattering for the Laplace operator with boundary conditions on Lipschitz surfacesJan 26 2019Feb 17 2019We provide a general scheme, in the combined frameworks of Mathematical Scattering Theory and Factorization Method, for inverse scattering for the couple of self-adjoint operators $(\widetilde\Delta,\Delta)$, where $\Delta$ is the free Laplacian in $L^{2}({\mathbb ... 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

Formality of $\mathbb{P}$-objectsSep 19 2017May 06 2019We 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

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

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

Inverse Scattering for the Laplace operator with boundary conditions on Lipschitz surfacesJan 26 2019Aug 03 2019We provide a general scheme, in the combined frameworks of Mathematical Scattering Theory and Factorization Method, for inverse scattering for the couple of self-adjoint operators $(\widetilde\Delta,\Delta)$, where $\Delta$ is the free Laplacian in $L^{2}({\mathbb ... More

Special Drawing Rights in a New Decentralized CenturyJun 25 2019Unfulfilled expectations from macro-economic initiatives during the Great Recession and the massive shift into globalization echo today with political upheaval, anti-establishment propaganda, and looming trade/currency wars that threaten domestic and ... 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

Ethemba Trusted Host EnvironmentMainly Based on AttestationJan 28 2009Ethemba provides a framework and demonstrator for TPM applications.

Thermodynamic properties and thermal correlation lengths of a Hubbard model with bond-charge interactionFeb 27 2004We investigate the thermodynamics of a one-dimensional Hubbard model with bond-charge interaction X using the transfer matrix renormalization group method (TMRG). Numerical results for various quantities like spin and charge susceptibilities, particle ... 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

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

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

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

The contribution of the ARIEL space mission to the study of planetary formationApr 17 2018The study of extrasolar planets and of the Solar System provides complementary pieces of the mosaic represented by the process of planetary formation. Exoplanets are essential to fully grasp the huge diversity of outcomes that planetary formation and ... 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

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

Solving DC programs with a polyhedral component utilizing a multiple objective linear programming solverOct 18 2016Mar 15 2017A class of non-convex optimization problems with DC objective function 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 where one of the two ... More

Particle-particle ladder based basis-set corrections applied to atoms and molecules using coupled-cluster theoryMar 13 2019May 21 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

(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

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

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

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

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

A Mathematical Theory of Co-DesignDec 25 2015Oct 05 2016This paper describes a theory of "co-design", in which the objects of investigation are "design problems", defined as tuples of "functionality space", "implementation space", and "resources space", together with a feasibility relation that relates 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

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