Related papers: A New Proof of The Strong Subadditivity Theorem
The usual quantitative condition has been widely used in the practical applications of the adiabatic theorem. However, it had never been proved to be sufficient or necessary before. It was only recently found that the quantitative condition…
For many years, I have been interested in introducing students to the development of complex systems by means of modelling and refinement. To this end, I did not find anything better than presenting many examples of system developments.…
The paper by Mayo claims to provide a new clarification and critique of Birnbaum's argument for showing that sufficiency and conditionality principles imply the likelihood principle. However, much of the arguments go back to arguments made…
Robin's theorem is one of the ingenious reformulation of the Riemann hypothesis (RH). It states that the RH is true if and only if $\sigma(n)<e^\gamma n\log\log n$ for all $n>5040$ where $\sigma(n)$ is the sum of divisors of $n$ and…
The strong subadditivity of entropy plays a key role in several areas of physics and mathematics. It states that the entropy S[\rho]= - Tr (\rho \ln \rho) of a density matrix \rho_{123} on the product of three Hilbert spaces satisfies…
The Lieb-Schultz-Mattis (LSM) theorem and its generalizations forbids the existence of a unique gapped ground state in the presence of certain lattice and internal symmetries and thus imposes powerful constraints on the low energy…
The weak gravity conjecture suggests that, in a self-consistent theory of quantum gravity, the strength of gravity is bounded from above by the strengths of the various gauge forces in the theory. In particular, this intriguing conjecture…
It is well-known that the W\"ustholz' analytic subgroup theorem is one of the most powerful theorems in transcendence theory. The theorem gives in a very systematic and conceptual way the transcendence of a large class of complex numbers,…
In the realm of light logics deriving from linear logic, a number of variants of exponential rules have been investigated. The profusion of such proof systems induces the need for cut-elimination theorems for each logic, the proof of which…
Quantum coherence serves as a crucial physical resource, with its quantification emerging as a focal point in contemporary research. Superadditivity constitutes one of the most fundamental attributes in characterizing the coherence…
Myriad articles are devoted to Mertens's theorem. In yet another, we merely wish to draw attention to a proof by Hardy, which uses a Tauberian theorem of Landau that "leads to the conclusion in a direct and elegant manner". Hardy's proof is…
The reformulation of Lieb's conjecture, in the frame of the harmonuic analysis on the SO(3) group, makes it evident that the exact value of the classical entropy of a pure quantum state, which belongs to the Hilbert space of a…
We give a new proof of Fitzgerald's criterion for primitive polynomials over a finite field. Existing proofs essentially use the theory of linear recurrences over finite fields. Here, we give a much shorter and self-contained proof which…
We review recent work that employs the framework of logical inference to establish a bridge between data gathered through experiments and their objective description in terms of human-made concepts. It is shown that logical inference…
This note addresses the continuum problem, taking advantage of the breakthrough mentioned in the subtitle, and relating it to many recent advances occurring in set theory.
As essential condition for the validy of Robin's Theorem as a precondition for the proof of the Riemann hypothesis, we show that the minimum of the function $F={\rm e}^{\gamma}\,\ln(\ln\,n)-\sigma(n)/n$ is found to be positive. Therefore,…
We study strong hyperbolicity of first order partial differential equations for systems with differential constraints. In these cases, the number of equations is larger than the unknown fields, therefore, the standard Kreiss necessary and…
Proving proof-size lower bounds for $\mathbf{LK}$, the sequent calculus for classical propositional logic, remains a major open problem in proof complexity. We shed new light on this challenge by isolating the power of structural rules,…
The adiabatic theorem refers to a setup where an evolution equation contains a time-dependent parameter whose change is very slow, measured by a vanishing parameter $\epsilon$. Under suitable assumptions the solution of the…
The proof of additivity of entanglement of formation for some special cases is given. The strong concavity of von Neumann entropy due to strong subadditivity of von Neumann entropy is presented. Some general relations concerning about the…