Related papers: The Lambda Calculus is Quantifiable
The fully variational Hartree Fock Bogoliubov approach for bosons is studied in the limit of zero range forces in two- and three-dimensions. The equation of state obtained in two-dimensions is expressed in a parametric form. It is shown…
A new approach is suggested to quantum differential calculus on certain quantum varieties. It consists in replacing quantum de Rham complexes with differentials satisfying Leibniz rule by those which are in a sense close to Koszul complexes…
In this paper we establish the basic tools to develop the "Calculus" associated with group-valued continuously Pansu differentiable mappings. We develop the technical machinery on which all of our results rely. In particular, the…
By a quantum metric space we mean a C^*-algebra (or more generally an order-unit space) equipped with a generalization of the Lipschitz seminorm on functions which is defined by an ordinary metric. We develop for compact quantum metric…
Twenty years after its introduction by Ehrhard and Regnier, differentiation in $\lambda$-calculus and in linear logic is now a celebrated tool. In particular, it allows to establish a Taylor expansion formula for various $\lambda$-calculi,…
For lambda phi^4 models, the introduction of a large field cutoff improves significantly the accuracy that can be reached with perturbative series but the calculation of the modified coefficients remains a challenging problem. We show that…
We propose to study proof search from a coinductive point of view. In this paper, we consider intuitionistic logic and a focused system based on Herbelin's LJT for the implicational fragment. We introduce a variant of lambda calculus with…
We study coupled logical bisimulation (CLB) to reason about contextual equivalence in the lambda-calculus. CLB originates in a work by Dal Lago, Sangiorgi and Alberti, as a tool to reason about a lambda-calculus with probabilistic…
In this paper we provide a framework for quantitative statements on distances and measures when studying algebraic varieties and morphisms of algebraic varieties over local fields. We will concentrate on local fields of the type…
The class of Schoenberg transformations, embedding Euclidean distances into higher dimensional Euclidean spaces, is presented, and derived from theorems on positive definite and conditionally negative definite matrices. Original results on…
We show that, in spite of a rather common opinion, quantum mechanics can be represented as an approximation of classical statistical mechanics. The approximation under consideration is based on the ordinary Taylor expansion of physical…
Linear typed $\lambda$-calculi are more delicate than their simply typed siblings when it comes to metatheoretic results like preservation of typing under renaming and substitution. Tracking the usage of variables in contexts places more…
Originating in Girard's Linear logic, Ehrhard and Regnier's Taylor expansion of $\lambda$-terms has been broadly used as a tool to approximate the terms of several variants of the $\lambda$-calculus. Many results arise from a Commutation…
The Separation of Variables theory for the Hamilton-Jacobi equation is 'by definition' related to the use of special kinds of coordinates, for example Jacobi coordinates on the ellipsoid or St\"ackel systems in the Euclidean space. However,…
A fragment of second-order lambda calculus (System F) is defined that characterizes the elementary recursive functions. Type quantification is restricted to be non-interleaved and stratified, i.e., the types are assigned levels, and a…
We construct a locally compact Hausdorff topology on the path space of a finitely aligned $k$-graph $\Lambda$. We identify the boundary-path space $\partial\Lambda$ as the spectrum of a commutative $C^*$-subalgebra $D_\Lambda$ of…
The nonrelativistic Hamiltonians of scalar, spinor and vector particles in the electromagnetic field are studied by applying the Douglas-Kroll-Hess approach. Their relativistic Hamiltonians are expanded on the potential, and the…
A strong confluence result for Q*, a quantum lambda-calculus with measurements, is proved. More precisely, confluence is shown to hold both for finite and infinite computations. The technique used in the confluence proof is syntactical but…
We derive combinatorial formulae for the modified Macdonald polynomial $H_{\lambda}(x;q,t)$ using coloured paths on a square lattice with quasi-cylindrical boundary conditions. The derivation is based on an integrable model associated to…
Consider semiparametric estimation where a doubly robust estimating function for a low-dimensional parameter is available, depending on two working models. With high-dimensional data, we develop regularized calibrated estimation as a…