Related papers: The Lambda Calculus is Quantifiable
In the Hamiltonian formulation, Quantum Field Theory calculations scale exponentially with spatial volume, making real-time simulations intractable on classical computers and motivating quantum computation approaches. In Hamiltonian…
The infinitary lambda calculi pioneered by Kennaway et al. extend the basic lambda calculus by metric completion to infinite terms and reductions. Depending on the chosen metric, the resulting infinitary calculi exhibit different notions of…
We construct a topology on the class of pointed proper quantum metric spaces which generalizes the topology of the Gromov-Hausdorff distance on proper metric spaces, and the topology of the dual propinquity on Leibniz quantum compact metric…
The framework of quantitative equational logic has been successfully applied to reason about algebras whose carriers are metric spaces and operations are nonexpansive. We extend this framework in two orthogonal directions: algebras endowed…
The algebraic lambda calculus and the linear algebraic lambda calculus are two extensions of the classical lambda calculus with linear combinations of terms. They arise independently in distinct contexts: the former is a fragment of the…
Recently there have been discussions about which complex metrics should be allowable in quantum gravity. These discussions assumed that the matter fields were real valued. We make the observation that for compactified solutions it makes…
In this paper, we show how factorisation with respect to nonlocal pseudosymmetries allows one to obtain B\"acklund transformations, interpreted as nonlocal $\mathcal{C}$-morphisms of differential equations. According to this approach, which…
This tutorial introduces a systematic approach for addressing the key question of quantum metrology: For a generic task of sensing an unknown parameter, what is the ultimate precision given a constrained set of admissible strategies. The…
To any compact $K\subset\hat{\mathbb{C}}$ we associate a map $\lambda_K: \hat{\mathbb{C}}\rightarrow\mathbb{N}\cup\{\infty\}$ -- the lambda function of $K$ -- such that a planar continuum $K$ is locally connected if and only if…
The main goal of this thesis is to quantize the Einstein-Hilbert action extended by the quadratic curvature terms within the canonical quantization approach, thus formulating quantum geometrodynamics of the higher derivative theories. The…
At small lattice spacing, or when using overlap fermions, lattice QCD simulations tend to become stuck in a single topological sector. Physical observables, e.g.\ hadron masses, then differ from their full QCD counterparts by $1/V$…
We present a detailed numerical study of an alternative approach, named Quantum Non-Demolition Measurement (QNDM), to efficiently estimate the gradients or the Hessians of a quantum observable. This is a key step and a resource-demanding…
A quantum model based on a Euler-Lagrange variational approach is proposed. In analogy with the classical transport, our approach maintain the description of the particle motion in terms of trajectories in a configuration space. Our method…
Terms of Church's $\lambda$-calculus can be considered equivalent along many different definitions, but context equivalence is certainly the most direct and universally accepted one. If the underlying calculus becomes probabilistic,…
Quantum Stochastic Calculus can be used as a means by which randomness can be introduced to observables acting on a Hilbert space. In this article we show how the mechanisms of Quantum Stochastic Calculus can be used to extend the classical…
Calculating bounds of properties of many-body quantum systems is of paramount importance, since they guide our understanding of emergent quantum phenomena and complement the insights obtained from estimation methods. Recent semidefinite…
ASD (Abstract Stone Duality) is a re-axiomatisation of general topology in which the topology on a space is treated, not as an infinitary lattice, but as an exponential object of the same category as the original space, with an associated…
Lie algebraic techniques are powerful and widely-used tools for studying dynamics and metrology in quantum optics. When the Hamiltonian generates a Lie algebra with finite dimension, the unitary evolution can be expressed as a finite…
Two discrete N-level alternatives to the popular imaginary cubic oscillator are proposed and studied. In a certain domain ${\cal D}$ of parameters $a$ and $z$ of the model, the spectrum of energies is shown real (i.e., potentially,…
A deformed differential calculus is developed based on an associative star-product. In two dimensions the Hamiltonian vector fields model the algebra of pseudo-differential operator, as used in the theory of integrable systems. Thus one…