Related papers: Correlation Inequality for Formal Series

We prove doubling inequalities for solutions of elliptic systems with an iterated Laplacian as diagonal principal part and for solutions of the Lame' system of isotropic linearized elasticity. These inequalities depend on global properties…

We state and prove a Cheeger-like inequality for coexact 1-forms on closed orientable Riemannian manifolds.

We give a direct and elementary proof of the theorem on formal functions by studying the behaviour of the Godement resolution of a sheaf of modules under completion.

We present a method to derive explicit forms of tight correlation function Bell inequalities for three systems and dichotomic observables, which involve three settings for each observer. We also give sufficient conditions for quantum…

We prove a convergence theorem for partial sums of sectorial forms with vertex zero and a common semi-angle. As an example we prove an absorption theorem for sectorial forms.

We prove a new inequality for Gaussian processes, this inequality implies the Gordon-Chevet inequality. Some remarks on Gaussian proofs of Dvoretzky's theorem are given.

We give an alternative proof of a sharp generalization of an integral inequality for the dyadic maximal operator due to which the evaluation of the Bellman function of this operator with respect to two variables, is possible. This last…

A decoupling type inequality for a sum of functions of Guassian vectors is established.

The empirical proof of Bell inequality violations was a landmark moment for research into quantum foundations. It commits us to a universe without strict relativistic locality or requires that we escape through a potential loophole like…

We give a simple proof of a recently result concerning Hardy $q$-inequalities.

We derive different relations quantifying duality in a generic two-way interferometer. These relations set different upper bounds to the visibility V of the fringes measured at the output port of the interferometer. A hierarchy of…

A simple minimalist argument is given for why some correlations between quantum systems boggle our classical intuition. The argument relies on two elementary physical assumptions, and recovers the standard experimentally-testable Bell…

We prove in this note one weight norm inequalities for some positive Bergman-type operators.

For two particles with different spin, we derive the Bell's inequality. The inequality is investigated for two systems combining spin-1 and 1/2; spin-1/2 and 3/2. We show that for these states Bell's inequality is violated.

Farkas established that a system of linear inequalities has a solution if and only if we cannot obtain a contradiction by taking a linear combination of the inequalities. We state and formally prove several Farkas-like theorems over…

We give a transform of convergent trigonometric series into equivalent convergent series and sufficient conditions for the transformed series to converge faster than the original one.

In this note we prove a converse of Bohr's equivalence theorem for Dirichlet series under some natural assumptions.

We study the perimeter inequality under circular symmetrisation, and we provide a full geometric characterisation of equality cases. A careful inspection of the proof shows that a similar characterisation holds true also for the perimeter…

A central problem in proof-theory is that of finding criteria for identity of proofs, that is, for when two distinct formal derivations can be taken as denoting the same logical argument. In the literature one finds criteria which are…

We study inequalities between general integral moduli of continuity of a function and the tail integral of its Fourier transform. We obtain, in particular, a refinement of a result due to D. B. H. Cline [2] (Theorem 1.1 below). We note that…