Related papers: A New Proof of The Strong Subadditivity Theorem
We prove the Lieb-Schultz-Mattis (LSM) theorem on the energy spectrum of a general two or three-dimensional quantum many-body system with the U(1) particle number conservation and translation symmetry. Especially, it is demonstrated that…
We give a new proof of the operator extension of the strong subadditivity of von Neumann entropy $\rho_{AB} \otimes \sigma_{C}^{-1} \leq \rho_{A} \otimes \sigma_{BC}^{-1}$ by identifying the mathematical structure behind it as Connes'…
In this note, we study the relation between Fontaine-Laffaille modules and strongly divisible modules, without assuming the main theorem of Fontaine-Laffaille (but we need to assume the main results concerning strongly divisible modules).…
A new proof of the optical theorem at all orders is presented. Although the theorem is a well-known result in Quantum Field Theory, our proof is interesting because it is particularly simple. Indeed, the theorem is a direct consequence of…
We derive novel conditions that guarantee convergence of the Sum-Product algorithm (also known as Loopy Belief Propagation or simply Belief Propagation) to a unique fixed point, irrespective of the initial messages. The computational…
We derive the strong subadditivity of the von Neumann entropy with a strict lower bound dependent on the distribution of quantum correlation in the system. We investigate the structure of states saturating the bounded subadditivity and…
We present an analysis of the adiabatic approximation to understand when it applies, in view of the recent criticisms and studies for the validity of the adiabatic theorem. We point out that this approximation is just the leading order of a…
A new proof for adjoint systems of linear equations is presented. The argument is built on the principles of Algorithmic Differentiation. Application to scalar multiplication sets the base line. Generalization yields adjoint inner vector,…
The Robinson Splitting Theorem states that a c.e. degree $\mathbf{b}$ splits over any low c.e. degree $\mathbf{c}<\mathbf{b}$. We prove that a weaker version of this theorem holds in models of $\mathrm{P}^-+\mathrm{I}\Sigma_1$, with lowness…
The hypothesis testing problem of two quantum states is treated. We show a new inequality between the error of the first kind and the second kind, which complements the result of Hiai and Petz to establish the quantum version of Stein's…
We provide a new proof of a important theorem in the Lagrangian formalism about necessary and sufficient conditions for a second-order variational system of equations to follow from a first-order Lagrangian.
The work considers a system of fractional order partial differential equations. The existence and uniqueness theorems for the classical solution of initial-boundary value problems are proved in two cases: 1) the right-hand side of the…
This document presents an alternative proof of Sylvester's theorem stating that "the product of $n$ consecutive numbers strictly greater than $n$ is divisible by a prime strictly greater than $n$". In addition, the paper proposes stronger…
We present a full introduction to the recent devised perturbation theory for strong coupling in quantum mechanics. In order to put the theory in a proper historical perspective, the approach devised in quantum field theory is rapidly…
Superdeduction is a method specially designed to ease the use of first-order theories in predicate logic. The theory is used to enrich the deduction system with new deduction rules in a systematic, correct and complete way. A proof-term…
The classical PCP theorem is arguably the most important achievement of classical complexity theory in the past quarter century. In recent years, researchers in quantum computational complexity have tried to identify approaches and develop…
Recently, many fundamental and important results in statistical decision theory have been extended to the quantum system. Quantum Hunt-Stein theorem and quantum locally asymptotic normality are typical successful examples. In the present…
A famous conjecture of Graham asserts that every set $A \subseteq \mathbb{Z}_p \setminus \{0\}$ can be ordered so that all partial sums are distinct. Although this conjecture was recently proved for sufficiently large primes by Pham and…
We introduce the notion of a hyper-atom and prove a basic property of this object. This new method allows to improve several results in the classical critical pair theory including its cornerstone: the Kemperman Structure Theorem.
Krieger's embedding theorem provides necessary and sufficient conditions for an arbitrary subshift to embed in a given topologically mixing $\mathbb{Z}$-subshift of finite type. For some $\mathbb{Z}^d$-subshifts of finite type, Lightwood…