total 332took 0.19s

Fourier analysis and holomorphic decomposition on the one-sheeted hyperboloidNov 27 2003We prove a Cauchy-type integral representation for classes of functions holomorphic in four priviledged tuboid domains of the complexified one-sheeted two-dimensional hyperboloid. From a physical viewpoint, this hyperboloid can be used for describing ... More

Quantum fluctuations in the open universeJul 03 1997We solve a continuing controversy when dealing with density fluctuations in open Friedman-Robertson-Walker universes, on the physical relevance of a class of exponential modes. We show explicitly and rigorously that these modes enter the expansion of ... More

de Sitter tachyons and related topicsMar 13 2014Mar 24 2014We present a complete study of a family of tachyonic scalar fields living on the de Sitter universe. We show that for an infinite set of discrete values of the negative squared mass the fields exhibit a gauge symmetry and there exists for them a fully ... More

Self-Similar Random Processes and Infinite-Dimensional Configuration SpacesMar 04 2004We discuss various infinite-dimensional configuration spaces that carry measures quasiinvariant under compactly-supported diffeomorphisms of a manifold M corresponding to a physical space. Such measures allow the construction of unitary representations ... More

Analyticity properties and thermal effects for general quantum field theory on de Sitter space-timeJan 29 1998We propose a general framework for quantum field theory on the de Sitter space-time (i.e. for local field theories whose truncated Wightman functions are not required to vanish). By requiring that the fields satisfy a weak spectral condition, formulated ... More

Particle decays and stability on the de Sitter universeDec 18 2008Apr 02 2009We study particle decay in de Sitter space-time as given by first order perturbation theory in a Lagrangian interacting quantum field theory. We study in detail the adiabatic limit of the perturbative amplitude and compute the "phase space" coefficient ... More

Massless scalar field in two-dimensional de Sitter universeSep 27 2006We study the massless minimally coupled scalar field on a two--dimensional de Sitter space-time in the setting of axiomatic quantum field theory. We construct the invariant Wightman distribution obtained as the renormalized zero--mass limit of the massive ... More

Infrared surprises in the de Sitter universeOct 17 2012We describe a few unexpected features of de Sitter Quantum Field Theory that have no Minkowskian counterparts. These phenomena show that even when the cosmological constant is tiny a Minkowskian way of fast thinking about de Sitter can lead to mistakes ... More

Anti de Sitter quantum field theory and a new class of hypergeometric identitiesJul 26 2011We use Anti-de Sitter quantum field theory to prove a new class of identities between hypergeometric functions related to the K\"all\'en-Lehmann representation of products of two Anti-de Sitter two-point functions. A rich mathematical structure emerges. ... More

Ultraviolet phenomena in AdS self-interacting quantum field theoryFeb 08 2018We study the one-loop corrections to the four-point function in the Anti de Sitter space-time for a $\phi^4$ field theory. Our calculation shows the existence of non-local counterterms which however respect the AdS isometry. Our arguments are quite general ... More

Doubly elliptic strings on the (anti-)de Sitter manifoldMar 13 2013We present a new class of elliptic-like strings on two-dimensional manifolds of constant curvature. Our solutions are related to a class of identities between Jacobi theta functions and to the geometry of the lightcone in one (spacelike) dimension more. ... More

A note on canonical quantization of fields on a manifoldFeb 18 2008Apr 01 2009We propose a general construction of quantum states for linear canonical quantum fields on a manifold, which encompasses and generalizes the "standard" procedures existing in textbooks. Our method provides pure and mixed states on the same footing. A ... More

Quantum fields on curved spacetimes and a new look at the Unruh effectApr 23 2009We describe a new viewpoint on canonical quantization of linear fields on a general curved background that encompasses and generalizes the standard treatment of canonical QFT given in textbooks. Our method permits the construction of pure states and mixed ... More

de Sitter symmetry of Neveu-Schwarz spinorsApr 28 2016We study the relations between Dirac fields living on the 2-dimensional Lorentzian cylinder and the ones living on the double-covering of the 2-dimensional de Sitter manifold, here identified as a certain coset space of the group $SL(2,R)$. We show that ... More

Quantum Theory on Lobatchevski SpacesSep 18 2007In this paper we set up a general formalism to deal with quantum theories on a Lobatchevski space, i.e. a spatial manifold that is homogeneous, isotropic and has negative curvature. The heart of our approach is the construction of a suitable basis of ... More

Lifetime of a massive particle in a de Sitter universeDec 18 2006Nov 19 2007We study particle decay in de Sitter space-time as given by first order perturbation theory in an interacting quantum field theory. We show that for fields with masses above a critical mass $m_c$ there is no such thing as particle stability, so that decays ... More

Can the Chaplygin gas be a plausible model for dark energy?Sep 19 2002In this note two cosmological models representing the flat Friedmann Universe filled with a Chaplygin fluid, with or without dust, are analyzed in terms of the recently proposed "statefinder" parameters. Trajectories of both models in the parameter plane ... More

Scalar tachyons in the de Sitter universeMar 06 2010Apr 14 2010We provide a construction of a class of local and de Sitter covariant tachyonic quantum fields which exist for discrete negative values of the squared mass parameter and which have no Minkowskian counterpart. These quantum fields satisfy an anomalous ... More

Towards a General Theory of Quantized Fields on the Anti-de Sitter Space-TimeNov 28 2001Aug 27 2002We propose a general framework for studying quantum field theory on the anti-de-Sitter space-time, based on the assumption of positivity of the spectrum of the possible energy operators. In this framework we show that the n-point functions are analytic ... More

Triangular invariants, three-point functions and particle stability on the de Sitter universeJan 27 2009We study a class of three-point functions on the de Sitter universe and on the asymptotic cone. A blending of geometrical ideas and analytic methods is used to compute some remarkable integrals, on the basis of a generalized star-triangle identity living ... More

Stability properties of some perfect fluid cosmological modelsApr 26 2005Nov 14 2005Flat FRW perfect fluid cosmologies can be reproduced as particular solutions of suitable field theoretical models. Here we investigate the stability of perfect fluid model trajectories with respect to sets of trajectories of the corresponding field models ... More

Correspondence between Minkowski and de Sitter Quantum Field TheoryJun 04 1999Sep 15 1999In this letter we show that the ``preferred'' Klein-Gordon Quantum Field Theories (QFT's) on a d-dimensional de Sitter spacetime can be obtained from a Klein-Gordon QFT on a (d+1)-dimensional ``ambient'' Minkowski spacetime satisfying the spectral condition ... More

Cosmology in the Newtonian limitMar 26 2012Numerical N-body simulations of large scale structure formation in the universe are based on Newtonian gravity. However, according to our current understanding, the most correct theory of gravity is general relativity. It is therefore important to understand ... More

Lie algebroid cohomology as a derived functorJun 08 2016Sep 11 2016We show that the hypercohomology of the Chevalley-Eilenberg-de Rham complex of a Lie algebroid L over a scheme with coefficients in an L-module can be expressed as a derived functor. We use this fact to study a Hochschild-Serre type spectral sequence ... More

On the absorption spectrum of noble gases at the arc spectrum limitFeb 08 2005Rydberg spectral lines of an atom are sometimes superimposed on the continuous spectrum of a different configuration. Effects of interaction among different configurations in one of these cases are theoretically investigated, and a formula is obtained ... More

Prediction of beauty particle masses with the heavy quark effective theory (II)Nov 19 1993The effective theory for heavy quarks has additional symmetries with respect to QCD, which relate charm and beauty hadron masses. Assuming the spectrum of charmed particles, we predicted in a previous work the masses of some beauty particles. The predictions ... More

What future for the Anthropocene? A biophysical perspectiveOct 07 2015Oct 09 2015The Anthropocene is a proposed time subdivision of the earth's history correlated to the strong human perturbation of the ecosystem. Much debate is ongoing about what date should be considered as the start of the Anthropocene, but much less on how it ... More

Small-angle physics at the intersecting storage rings forty years laterJun 18 2012No abstract: Hadron-hadron cross-sections at the beginning of the 1970s

Parton densities beyond perturbation theoryFeb 27 1995Non perturbative corrections to deep inelastic scattering are computed.

Consistency and lattice renormalization of the effective theory for heavy quarksApr 20 1993The effective theory describing infinite mass particles with a given velocity, has a great interest in heavy flavor physics. It has the unpleasant characteristic that the energy spectrum is unbounded from below; this fact is the source of the problems ... More

The asymptotic symmetry of de Sitter spacetimeJul 11 2001We show how to construct a set of Euclidean conformal correlation functions on the boundary of a de Sitter space from an interacting bulk quantum field theory with a certain asymptotic behaviour. We discuss the status of the boundary theory w.r.t. the ... More

Chaplygin-like gas and branes in black hole bulksMay 03 2000We explore the possibility to locate a brane in black hole bulks. We study explicitly the cases of BHTZ and Schwarzschild-anti de Sitter (AdS) black holes. Our result is that in these cases branes cannot be supported by brane tension alone and it is necessary ... More

Some Properties of DeGiorgi ClassesApr 26 2016The DeGiorgi classes $[DG]_p(E;\gamma)$, defined in (1.1)${}_{\pm}$ below encompass, solutions of quasilinear elliptic equations with measurable coefficients as well as minima and Q-minima of variational integrals. For these classes we present some new ... More

A Generic Library for Stencil ComputationsJul 06 2012In this era of diverse and heterogeneous computer architectures, the programmability issues, such as productivity and portable efficiency, are crucial to software development and algorithm design. One way to approach the problem is to step away from traditional ... More

Holomorphic Cartan geometry on manifolds with numerically effective tangent bundleJan 21 2011Let X be a compact connected Kaehler manifold such that the holomorphic tangent bundle TX is numerically effective. A theorem of Demailly, Peternell and Schenider says that there is a finite unramified Galois covering M --> X, a complex torus T, and a ... More

Unconfused ultraconservative multiclass algorithmsJun 24 2015We tackle the problem of learning linear classifiers from noisy datasets in a multiclass setting. The two-class version of this problem was studied a few years ago where the proposed approaches to combat the noise revolve around a Per-ceptron learning ... More

Infinitary $λ$-Calculi from a Linear Perspective (Long Version)Apr 27 2016We introduce a linear infinitary $\lambda$-calculus, called $\ell\Lambda_{\infty}$, in which two exponential modalities are available, the first one being the usual, finitary one, the other being the only construct interpreted coinductively. The obtained ... More

Hilbert schemes of points on some K3 surfaces and Gieseker stable bundlesDec 14 1994By using a Fourier-Mukai transform for sheaves on K3 surfaces we show that for a wide class of K3 surfaces $X$ the punctual Hilbert schemes $\Hilb^n(X)$ can be identified, for all $n\geq 1$, with moduli spaces of Gieseker stable vector bundles on $X$ ... More

Time Minimal Trajectories for a Spin 1/2 Particle in a Magnetic FieldDec 09 2005Dec 22 2005In this paper we consider the minimum time population transfer problem for the $z$-component of the spin of a (spin 1/2) particle driven by a magnetic field, controlled along the x axis, with bounded amplitude. On the Bloch sphere (i.e. after a suitable ... More

Superlocalization formulas and supersymmetric Yang-Mills theoriesOct 18 2003By using supermanifold techniques we prove a generalization of the localization formula in equivariant cohomology which is suitable for studying supersymmetric Yang-Mills theories in terms of ADHM data. With these techniques one can compute the reduced ... More

Self-improving property of degenerate parabolic equations of porous medium-typeMar 23 2016We show that the gradient of solutions to degenerate parabolic equations of porous medium-type satisfies a reverse H\"older inequality in suitable intrinsic cylinders. We modify the by-now classical Gehring lemma by introducing an intrinsic Calder\'on-Zygmund ... More

Relaxation, closing probabilities and transition from oscillatory to chaotic attractors in asymmetric neural networksMar 18 1998Attractors in asymmetric neural networks with deterministic parallel dynamics were shown to present a "chaotic" regime at symmetry eta < 0.5, where the average length of the cycles increases exponentially with system size, and an oscillatory regime at ... More

From Cutting Planes Algorithms to Compression Schemes and Active LearningAug 12 2015Cutting-plane methods are well-studied localization(and optimization) algorithms. We show that they provide a natural framework to perform machinelearning ---and not just to solve optimization problems posed by machinelearning--- in addition to their ... More

Mañé's conjectures in codimension oneSep 28 2010We prove Ma\~n\'e's conjectures in the context of codimension one Aubry-Mather theory

Picard group of hypersurfaces in toric 3-foldsNov 03 2010Oct 05 2011We show that the usual sufficient criterion for a generic hypersurface in a smooth projective manifold to have the same Picard number as the ambient variety can be generalized to hypersurfaces in complete simplicial toric varieties. This sufficient condition ... More

On the Spherical Hausdorff Measure in Step 2 Corank 2 sub-Riemannian GeometryOct 09 2012In this paper, we consider generic corank 2 sub-Riemannian structures, and we show that the Spherical Hausdorf measure is always a C^1-smooth volume, which is in fact generically C^2- smooth out of a stratified subset of codimension 7. In particular, ... More

Self-adjoint extensions and stochastic completeness of the Laplace-Beltrami operator on conic and anticonic surfacesMay 22 2013Oct 07 2015We study the evolution of the heat and of a free quantum particle (described by the Schr\"odinger equation) on two-dimensional manifolds endowed with the degenerate Riemannian metric $ds^2=dx^2+|x|^{-2\alpha}d\theta^2$, where $x\in \mathbb R$, $\theta\in\mathbb ... More

Superselectors: Efficient Constructions and ApplicationsOct 05 2010We introduce a new combinatorial structure: the superselector. We show that superselectors subsume several important combinatorial structures used in the past few years to solve problems in group testing, compressed sensing, multi-channel conflict resolution ... More

Donagi-Markman cubic for the generalised Hitchin systemAug 30 2013Apr 12 2014Donagi and Markman (1993) have shown that the infinitesimal period map for an algebraic completely integrable Hamiltonian system is encoded in a section of the third symmetric power of the cotangent bundle to the base of the system. For the ordinary Hitchin ... More

On semistable principal bundles over a complex projective manifoldMar 28 2008Let G be a simple linear algebraic group defined over the complex numbers. Fix a proper parabolic subgroup P of G and a nontrivial antidominant character \chi of P. We prove that a holomorphic principal G-bundle E over a connected complex projective manifold ... More

Unconfused Ultraconservative Multiclass AlgorithmsMar 20 2014We tackle the problem of learning linear classifiers from noisy datasets in a multiclass setting. The two-class version of this problem was studied a few years ago by, e.g. Bylander (1994) and Blum et al. (1996): in these contributions, the proposed approaches ... More

Factorization and Effective TheoriesMar 30 1998Apr 01 1998We prove factorization in the decay of a B meson into a D* + jet using the Large Energy Effective Theory. The proof is non perturbative, does not require any gauge fixing and is exact in the limit of a very narrow jet. On the other hand, it is shown that ... More

Performances and robustness of quantum teleportation with identical particlesDec 08 2015When quantum teleportation is performed with truly identical massive particles, indistinguishability allows us to teleport addressable degrees of freedom which do not identify particles, but e.g. orthogonal modes. The key resource of the protocol is a ... More

Quantum teleportation with identical particlesFeb 20 2015Feb 27 2015We study teleportation with identical massive particles. Indistinguishability imposes that the relevant degrees of freedom to be teleported are not particles, but rather addressable orthogonal modes. We discuss the performances of teleportation under ... More

Resonance of Minimizers for $n$-level Quantum Systems with an Arbitrary CostAug 20 2003Jan 13 2004We consider an optimal control problem describing a laser-induced population transfer on a $n$-level quantum system. For a convex cost depending only on the moduli of controls (i.e. the lasers intensities), we prove that there always exists a minimizer ... More

The Laplace-Beltrami operator in almost-Riemannian GeometryMay 24 2011Two-dimensional almost-Riemannian structures are generalized Riemannian structures on surfaces for which a local orthonormal frame is given by a Lie bracket generating pair of vector fields that can become collinear. Generically, the singular set is an ... More

On semistable principal bundles over a complex projective manifold, IISep 25 2009Let (X, \omega) be a compact connected Kaehler manifold of complex dimension d and E_G a holomorphic principal G-bundle on X, where G is a connected reductive linear algebraic group defined over C. Let Z (G) denote the center of G. We prove that the following ... More

Cohomology of skew-holomorphic Lie algebroidsMar 09 2010Sep 02 2010We introduce the notion of skew-holomorphic Lie algebroid on a complex manifold, and explore some cohomologies theories that one can associate to it. Examples are given in terms of holomorphic Poisson structures of various sorts.

Sharp Regularity for Weak Solutions to the Porous Medium EquationJul 23 2016Let $u$ be a nonnegative, local, weak solution to the porous medium equation for $m\ge2$ in a space-time cylinder $\Omega_T$. Fix a point $(x_o,t_o)\in\Omega_T$: if the average \[ a{\buildrel\mbox{def}\over{=}}\frac1{|B_r(x_o)|}\int_{B_r(x_o)}u(x,t_o)\,dx>0, ... More

Projective Reeds-Shepp car on $S^2$ with quadratic costMay 30 2008Fix two points $x,\bar{x}\in S^2$ and two directions (without orientation) $\eta,\bar\eta$ of the velocities in these points. In this paper we are interested to the problem of minimizing the cost $$ J[\gamma]=\int_0^T g_{\gamma(t)}(\dot\gamma(t),\dot\gamma(t))+ ... More

Invariant Carnot-Caratheodory metrics on $S^3$, $SO(3)$, $SL(2)$ and lens spacesSep 25 2007Jan 24 2008In this paper we study the invariant Carnot-Caratheodory metrics on $SU(2)\simeq S^3$, $SO(3)$ and $SL(2)$ induced by their Cartan decomposition and by the Killing form. Beside computing explicitly geodesics and conjugate loci, we compute the cut loci ... More

Symbolic and Asynchronous Semantics via Normalized CoalgebrasMar 02 2011May 13 2011The operational semantics of interactive systems is usually described by labeled transition systems. Abstract semantics (that is defined in terms of bisimilarity) is characterized by the final morphism in some category of coalgebras. Since the behaviour ... More

Time Optimal Synthesis for Left--Invariant Control Systems on SO(3)Feb 23 2005Consider the control system given by $\dot x=x(f+ug)$, where $x\in SO(3)$, $|u|\leq 1$ and $f,g\in so(3)$ define two perpendicular left-invariant vector fields normalized so that $\|f\|=\cos(\al)$ and $\|g\|=\sin(\al)$, $\al\in ]0,\pi/4[$. In this paper, ... More

A model for next-to-leading order threshold resummed form factorsJul 20 2004Nov 23 2004We present a model for next-to-leading order resummed threshold form factors based on a time-like coupling recently introduced in the framework of small x physics. Improved expressions for the form factors in N-space are obtained which are not plagued ... More

The structure function of semi-inclusive heavy flavour decays in field theoryMar 15 2000Sep 20 2000We consider the decay of a heavy flavour into an inclusive hadronic state X of invariant mass m_X small with respect to its energy E_X, m_X << E_X. The electron spectrum and the hadronic mass distribution in semileptonic b -> u decays, or the photon spectrum ... More

Moduli of framed sheaves on projective surfacesJun 08 2009Sep 22 2009We show that there exists a fine moduli space for torsion-free sheaves on a projective surface, which have a "good framing" on a big and nef divisor. This moduli space is a quasi-projective scheme. This is accomplished by showing that such framed sheaves ... More

Renormalons and confinementMar 02 1995Mar 10 1995We compute the renormalon ambiguity of the static potential, in the limit of a large number of flavors. An extrapolation of the QED result to QCD implies that the large distance behavior of the quark potential is arbitrary in perturbation theory, as there ... More

Q-factorial Laurent ringsAug 20 2011Dolgachev proved that, for any field k, the ring naturally associated to a generic Laurent polynomial in d variables, $d \geq 4$, is factorial. We prove a sufficient condition for the ring associated to a very general complex Laurent polynomial in d=3 ... More

Exactness of the Annealed and the Replica Symmetric Approximations for Random HeteropolymersApr 11 2000We study a heteropolymer model with random contact interactions introduced some time ago as a simplified model for proteins. The model consists of self-avoiding walks on the simple cubic lattice, with contact interactions between nearest neighbor pairs. ... More

Phase Transitions of Single Semi-stiff Polymer ChainsMay 19 1997We study numerically a lattice model of semiflexible homopolymers with nearest neighbor attraction and energetic preference for straight joints between bonded monomers. For this we use a new algorithm, the "Pruned-Enriched Rosenbluth Method" (PERM). It ... More

Quasi-periodic motions in a special class of dynamical equations with dissipative effects: a pair of detection methodsJan 03 2014Jul 18 2014We consider a particular class of equations of motion, generalizing to n degrees of freedom the "dissipative spin--orbit problem", commonly studied in Celestial Mechanics. Those equations are formulated in a pseudo-Hamiltonian framework with action-angle ... More

Learning Model Predictive Control for Iterative TasksSep 06 2016A Learning Model Predictive Controller (LMPC) for iterative tasks is presented. The controller is reference-free and is able to improve its performance by learning from previous iterations. A safe set and a terminal cost function are used in order to ... More

Declining trends of healthy life years expectancy (HLYE) in EuropeNov 15 2013Dec 29 2013We examine the trends in Healthy Life Years Expectancy (HLYE) at birth during the past few decades in Europe. We observe that several European countries show a significant drop in HLYE at birth starting from 2003; interrupting what had been a previous ... More

Stability of Planar Switched Systems: the Nondiagonalizable CaseOct 12 2006Consider the planar linear switched system $\dot x(t)=u(t)Ax(t)+(1-u(t))Bx(t),$ where $A$ and $B$ are two $2\times2$ real matrices, $x \in \R^2$, and $u(.):[0,\infty[\to\{0,1\}$ is a measurable function. In this paper we consider the problem of finding ... More

Mapping Fusion and Synchronized Hyperedge Replacement into Logic ProgrammingApr 13 2005Jan 15 2006In this paper we compare three different formalisms that can be used in the area of models for distributed, concurrent and mobile systems. In particular we analyze the relationships between a process calculus, the Fusion Calculus, graph transformations ... More

Time Minimal Trajectories for two-level Quantum Systems with DriftFeb 23 2005On a two-level quantum system driven by an external field, we consider the population transfer problem from the first to the second level, minimizing the time of transfer, with bounded field amplitude. On the Bloch sphere (i.e. after a suitable Hopf projection), ... More

Precision Measurements of Temperature and Chemical Potential of Quantum GasesAug 13 2013Nov 24 2013We investigate the sensitivity with which the temperature and the chemical potential characterizing quantum gases can be measured. We calculate the corresponding quantum Fisher information matrices for both fermionic and bosonic gases. For the latter, ... More

A Wiener-Type Condition for Boundary Continuity of Quasi-Minima of Variational IntegralsApr 07 2015Jul 31 2015A Wiener-type condition for the continuity at the boundary points of Q-minima, is established, in terms of the divergence of a suitable Wiener integral.

Long distance effects in semi-inclusive B decaysSep 28 2006We discuss some issues on factorization of long distance effects for semi-inclusive B decay spectra in full QCD and in the effective theory.

Approximate NNLO Threshold Resummation in Heavy Flavour DecaysApr 11 2002Aug 01 2002We present an approximate NNLO evaluation of the QCD form factor resumming large logarithmic perturbative contributions in semi-inclusive heavy flavour decays.

A new formulation of the effective theory for heavy particlesJan 26 1994Jul 07 1994We derive the effective theories for heavy particles with a functional integral approach by integrating away the states with high velocity and with high virtuality. This formulation is non-perturbative and has a close connection with the Wilson renormalization ... More

On localization in holomorphic equivariant cohomologyOct 11 2009Mar 21 2012We prove a localization formula for a "holomorphic equivariant cohomology" attached to the Atiyah algebroid of an equivariant holomorphic vector bundle. This generalizes Feng-Ma, Carrell-Liebermann, Baum-Bott and K. Liu's localization formulas.

The Noether-Lefschetz locus of surfaces in toric threefoldsAug 08 2015Apr 06 2016The Noether-Lefschetz theorem asserts that any curve in a very general surface $X$ in $\mathbb P^3$ of degree $d \geq 4$ is a restriction of a surface in the ambient space, that is, the Picard number of $X$ is $1$. We proved previously that under some ... More

Framed sheaves on projective stacksNov 12 2013Nov 05 2014Given a normal projective irreducible stack $\mathscr X$ over an algebraically closed field of characteristic zero we consider framed sheaves on $\mathscr X$, i.e., pairs $(\mathcal E,\phi_{\mathcal E})$, where $\mathcal E$ is a coherent sheaf on $\mathscr ... More

Gravity of a static massless scalar field and a limiting Schwarzschild-like geometryDec 21 2005We study a set of static solutions of the Einstein equations in presence of a massless scalar field and establish their connection to the Kantowski-Sachs cosmological solutions based on some kind of duality transformations. The physical properties of ... More

Applicative Bisimulation and Quantum $λ$-Calculi (Long Version)Jun 22 2015Applicative bisimulation is a coinductive technique to check program equivalence in higher-order functional languages. It is known to be sound, and sometimes complete, with respect to context equivalence. In this paper we show that applicative bisimulation ... More

Semistable and numerically effective principal (Higgs) bundlesMay 18 2009Oct 21 2010We study Miyaoka-type semistability criteria for principal Higgs G-bundles E on complex projective manifolds of any dimension. We prove that E has the property of being semistable after pullback to any projective curve if and only if certain line bundles, ... More

Semistable principal Higgs bundlesSep 23 2008Oct 20 2008We give a Miyaoka-type semistability criterion for principal Higgs G-bundles E on complex projective manifolds of any dimension, i.e., we prove that E is semistable and the second Chern class of its adjoint bundle vanishes if and only if certain line ... More

Linear Dependent Types in a Call-by-Value Scenario (Long Version)Jul 24 2012Linear dependent types allow to precisely capture both the extensional behaviour and the time complexity of lambda terms, when the latter are evaluated by Krivine's abstract machine. In this work, we show that the same paradigm can be applied to call-by-value ... More

On Constructor Rewrite Systems and the Lambda-Calculus (Long Version)Apr 27 2009Aug 02 2012We prove that orthogonal constructor term rewrite systems and lambda-calculus with weak (i.e., no reduction is allowed under the scope of a lambda-abstraction) call-by-value reduction can simulate each other with a linear overhead. In particular, weak ... More

Non-monotonic Pre-fixed Points and LearningSep 04 2013We consider the problem of finding pre-fixed points of interactive realizers over arbitrary knowledge spaces, obtaining a relative recursive procedure. Knowledge spaces and interactive realizers are an abstract setting to represent learning processes, ... More

Trojan dynamics well approximated by a new Hamiltonian normal formAug 03 2015We revisit a classical perturbative approach to the Hamiltonian related to the motions of Trojan bodies, in the framework of the Planar Circular Restricted Three-Body Problem (PCRTBP), by introducing a number of key new ideas in the formulation. In some ... More

Beta Reduction is Invariant, Indeed (Long Version)May 13 2014Slot and van Emde Boas' weak invariance thesis states that reasonable machines can simulate each other within a polynomially overhead in time. Is $\lambda$-calculus a reasonable machine? Is there a way to measure the computational complexity of a $\lambda$-term? ... More

Restricting Higgs bundles to curvesOct 08 2013Jan 08 2015We determine some classes of varieties X - that include the varieties with numerically effective tangent bundle - satisfying the following property: if E is a Higgs bundle such that f*E is semistable for any morphism f from a smooth projective curve to ... More

Probabilistic Recursion Theory and Implicit Computational Complexity (Long Version)Jun 12 2014Jun 25 2014We show that probabilistic computable functions, i.e., those functions outputting distributions and computed by probabilistic Turing machines, can be characterized by a natural generalization of Church and Kleene's partial recursive functions. The obtained ... More

An Invariant Cost Model for the Lambda CalculusNov 12 2005We define a new cost model for the call-by-value lambda-calculus satisfying the invariance thesis. That is, under the proposed cost model, Turing machines and the call-by-value lambda-calculus can simulate each other within a polynomial time overhead. ... More

On Multiplicative Linear Logic, Modality and Quantum CircuitsOct 02 2012A logical system derived from linear logic and called QMLL is introduced and shown able to capture all unitary quantum circuits. Conversely, any proof is shown to compute, through a concrete GoI interpretation, some quantum circuits. The system QMLL, ... More

Tachyons, Scalar Fields and CosmologyNov 13 2003Mar 23 2004We study the role that tachyon fields may play in cosmology as compared to the well-established use of minimally coupled scalar fields. We first elaborate on a kind of correspondence existing between tachyons and minimally coupled scalar fields; corresponding ... More

Conservation laws and scattering for de Sitter classical particlesOct 01 2007Feb 21 2008Starting from an intrinsic geometric characterization of de Sitter timelike and lightlike geodesics we give a new description of the conserved quantities associated with classical free particles on the de Sitter manifold. These quantities allow for a ... More

Proceedings First Workshop on Control Operators and their SemanticsSep 04 2013The focus of the papers presented in this volume is on the interplay between syntax and semantics in case of languages, namely the central question of what a program means and how it does define the intended procedure. This is a crucial issue especially ... More