Related papers: The Lambda Calculus is Quantifiable
The collection of all topologies on the set of three points is studied treating the topology as quantum-like observable. It turns out to be possible under the assumption of the asymmetry between the spaces of bra- and ket-vectors. The…
The topic of this thesis is the development of a versatile and geometrically motivated differential calculus on non-commutative or quantum spaces, providing powerful but easy-to-use mathematical tools for applications in physics and related…
A brief review of various numerical techniques used in loop quantum cosmology and results is presented. These include the way extensive numerical simulations shed insights on the resolution of classical singularities, resulting in the key…
In quantum metrology quantum properties such as squeezing and entanglement are exploited in the design of a new generation of clocks, sensors and other measurement devices that can outperform their classical counterparts. Applications of…
Isotropic models in loop quantum cosmology allow explicit calculations, thanks largely to a completely known volume spectrum, which is exploited in order to write down the evolution equation in a discrete internal time. Because of genuinely…
Lattice discretizations of continuous manifolds are common tools used in a variety of physical contexts. Conventional discrete approximations, however, cannot capture all aspects of the original manifold, notably its topology. In this paper…
This paper presents an alternative approach for the computation of trajectory segments on slow manifolds of saddle type. This approach is based on iterative methods rather than collocation-type methods. Compared to collocation methods, that…
We present an efficient sampling method for computing a partition function and accelerating configuration sampling. The method performs a random walk in the $\lambda$ space, with $\lambda$ being any thermodynamic variable that characterizes…
Topological phases are generally characterized by topological invariants denoted by integer numbers. However, different topological systems often require different topological invariants to measure, such as geometric phases, topological…
We present a novel lambda calculus that casts the categorical approach to the study of quantum protocols into the rich and well established tradition of type theory. Our construction extends the linear typed lambda calculus with a linear…
We argue that the complex numbers are an irreducible object of quantum probability. This can be seen in the measurements of geometric phases that have no classical probabilistic analogue. Having complex phases as primitive ingredient…
A new variational approach to solve the problem of estimating the (possibly discontinuous) coefficient functions $p$, $q$ and $f$ in elliptic equations of the form $-\nabla \cdot (p(x)\nabla u) + \lambda q(x) u = f$, $x \in \Omega \subset…
In semialgebraic geometry, projections play a prominent role. A definable choice is a semialgebraic selection of one point in every fiber of a projection. Definable choices exist by semialgebraic triviality, but their complexity depends…
The definition of Linear Symmetry-Based Disentanglement (LSBD) formalizes the notion of linearly disentangled representations, but there is currently no metric to quantify LSBD. Such a metric is crucial to evaluate LSBD methods and to…
We compute the Donaldson-Thomas invariants of a local elliptic surface with section. We introduce a new computational technique which is a mixture of motivic and toric methods. This allows us to write the partition function for the…
Associated to any finite metric space are a large number of objects and quantities which provide some degree of structural or geometric information about the space. In this paper we show that in the setting of subsets of weighted Hamming…
Working with a toy model whose partition function consists of a discrete summation, we introduce the statistical field-theory methodology by transforming a partition function via a formal Gaussian integral relation (the Hubbard-Stratonovich…
In this paper we present a Calder\'{o}n-Zygmund approach for a large class of parabolic equations with pseudo-differential operators $\mathcal{A}(t)$ of arbitrary order $\gamma\in(0,\infty)$. It is assumed that $\cA(t)$ is merely measurable…
The denotational semantics of the untyped lambda-calculus is a well developed field built around the concept of solvable terms, which are elegantly characterized in many different ways. In particular, unsolvable terms provide a consistent…
We set the foundations for a new approach to Topological Data Analysis (TDA) based on homotopical methods at chain complexes level. We present the category of tame parametrised chain complexes as a comprehensive environment that includes…