Related papers: The Equivalence Theorem in Effective Theories
We describe an inequality of finite or infinite sequences of real numbers and their quotients. More precisely, we compare the quotient of H\"older functionals of two sequences of numbers with the sum of their quotients. In the last section…
There has been much recent work on quantum inequalities to constrain negative energy. These are uncertainty principle-type restrictions on the magnitude and duration of negative energy densities or fluxes. We consider several examples of…
In this note we do the analysis of entanglement entropy more carefully when the non-conformal theory flows to a non-trivial IR fixed point. In particular we emphasize the role of the trace of the energy-momentum tensor in these…
Working with generating functions, the combinatorics of a recurrence relation can be expressed in a way that allows for more efficient calculation of the quantity. This is true of the Catalan numbers for an ordered binary tree…
We show that certain factor rings of the group algebra of a symmetric group have natural bases of group elements. We also give generators for the annihilator of certain permutation modules for symmetric groups.
Quantum causality extends the conventional notion of fixed causal structure by allowing channels and operations to act in an indefinite causal order. The importance of such an indefinite causal order ranges from the foundational---e.g.…
Based on ideas of quantum theory of open systems we propose the consistent approach to the formulation of logic of plausible propositions. To this end we associate with every plausible proposition diagonal matrix of its likelihood and…
In a previous work [Andrade \textit{et al.}, Phys. Rep. \textbf{647}, 1 (2016)], it was shown that the exact Green's function (GF) for an arbitrarily large (although finite) quantum graph is given as a sum over scattering paths, where local…
We study the conservativity of extensions by additional strict equalities of dependent type theories (and more general second-order generalized algebraic theories). The conservativity of Extensional Type Theory over Intensional Type Theory…
We argue that in a framework for emergent quantum mechanics, the weak equivalence principle is a consequence of concentration of measure in large dimensional spaces of $1$-Lipshitz functions. Furthermore, as a consequence of the emergent…
We show that diagrammatic sets, a topologically sound alternative to polygraphs and strict $\omega$-categories, admit an internal notion of equivalence in the sense of coinductive weak invertibility. We prove that equivalences have the…
We describe Universal Coefficient Theorems for the equivariant Kasparov theory for C*-algebras with an action of the group of integers or over a unique path space, using KK-valued invariants. We compare the resulting classification up to…
Hindman's Theorem states that in any finite coloring of the integers, there is an infinite set all of whose finite sums belong to the same color. This is much stronger than the corresponding finite form, stating that in any finite coloring…
A natural mapping of paths in a curved space onto the paths in the corresponding (tangent) flat space may be used to reduce the curved-space-time path integral to the flat-space-time path integral. The dynamics of the particle in a curved…
We define E-theory for separable C*-algebras over second countable topological spaces and establish its basic properties. This includes an approximation theorem that relates the E-theory over a general space to the E-theories over finite…
The FKG theorem says that the POSITIVE LATTICE CONDITION, an easily checkable hypothesis which holds for many natural families of events, implies POSITIVE ASSOCIATION, a very useful property. Thus there is a natural and useful theory of…
One of the most important problems in Physics is how to reconcile Quantum Mechanics with General Relativity. Some authors have suggested that this may be realized at the expense of having to drop the quantum formalism in favor of a more…
A simple mapping procedure is presented by which classical orbits and path integrals for the motion of a point particle in flat space can be transformed directly into those in curved space with torsion. Our procedure evolved from…
Multi-class systems having possibly both finite and infinite classes are investigated under a natural partial exchangeability assumption. It is proved that the conditional law of such a system, given the vector of the empirical measures of…
We introduce proof terms for string rewrite systems and, using these, show that various notions of equivalence on reductions known from the literature can be viewed as different perspectives on the notion of causal equivalence. In…