相关论文: The Eynard--Orantin recursion for the total ancest…
We derive recurrence relations between phase space expressions in different dimensions by confining some of the coordinates to tori or spheres of radius $R$ and taking the limit as $R \to \infty$. These relations take the form of mass…
Quantum field theories with an energy gap can be approximated at long-range by topological quantum field theories. The same should be true for suitable condensed matter systems. For those with short range entanglement (SRE) the effective…
We derive exact and closed-form expressions for a large class of two-point and three-point inflation correlators with the tree-level exchange of a single massive particle. The intermediate massive particle is allowed to have arbitrary mass,…
This is an expository note discussing how the Erdos--Ramanujan proof of Bertrand's postulate may be adapted to show the existence of finite fields.
We describe a new, convenient, recursive tensor integral reduction scheme for one-loop $n$-point Feynman integrals. The reduction is based on the algebraic Davydychev-Tarasov formalism where the tensors are represented by scalars with…
We define two extensions of the typed linear lambda-calculus that yield minimal Turing-complete systems. The extensions are based on unbounded recursion in one case, and bounded recursion with minimisation in the other. We show that both…
We show that, in general, averaging at simple resonances a real--analytic, nearly--integrable Hamiltonian, one obtains a one--dimensional system with a cosine--like potential; ``in general'' means for a generic class of holomorphic…
We give necessary and sufficient conditions for the convergence with geometric rate of the denominators of linear Pad\'e-orthogonal approximants corresponding to a measure supported on a general compact set in the complex plane. Thereby, we…
The entanglement entropy of a subsystem of a quantum system is expressed, in the replica approach, through analytic continuation with respect to n of the trace of the n-th power of the reduced density matrix. This trace can be thought of as…
The authors' ATR programming formalism is a version of call-by-value PCF under a complexity-theoretically motivated type system. ATR programs run in type-2 polynomial-time and all standard type-2 basic feasible functionals are ATR-definable…
Topological recursion associates to a spectral curve, a sequence of meromorphic differential forms. A tangent space to the "moduli space" of spectral curves (its space of deformations) is locally described by meromorphic 1-forms, and we use…
Noether symmetry has been invoked to explore the forms of a couple of coupling parameters and the potential appearing in a general scalar-tensor theory of gravity in the background of Robertson-Walker space-time. Exact solutions of…
A fertile field of research in theoretical computer science investigates the representation of general recursive functions in intensional type theories. Among the most successful approaches are: the use of wellfounded relations,…
We will see that vectors in $\CC^n$ have natural analogs as rank 2 projections in $\RR^{2n}$ and that this association transfers many vector properties into properties of rank two projections on $\RR^{2n}$. We believe that this association…
It is found what part of the fixed-energy phase shifts allows one to recover uniquely a compactly supported potential. For example, the knowledge of all phase shifts with even angular momenta is sufficient to recover the above potential.
We consider the question of entanglement conservation in the context of the ER=EPR correspondence equating quantum entanglement with wormholes. In quantum mechanics, the entanglement between a system and its complement is conserved under…
For various values of n, d, and the phase space dimension, we construct simple examples of Hamiltonian and reversible systems possessing smooth d-parameter families of invariant n-tori carrying conditionally periodic motions. In the…
Inversion of potential field data is a central technique of remote sensing in physics, geophysics, neuroscience and medical imaging. In spite of intense research, uniqueness theorems for potential-field inversion are scarce. Applied studies…
Motivated by recent results of Kapron and Steinberg (LICS 2018) we introduce new forms of iteration on length in the setting of applied lambda-calculi for higher-type poly-time computability. In particular, in a type-two setting, we…
I classify all cohomological 2D field theories based on a semi-simple complex Frobenius algebra A. They are controlled by a linear combination of kappa-classes and by an extension datum to the Deligne-Mumford boundary. Their effect on the…