相关论文: The Three-Dimensional Gaussian Product Inequality

We study pseudo-Riemannian Einstein manifolds which are conformally equivalent with a metric product of two pseudo-Riemannian manifolds. Particularly interesting is the case where one of these manifolds is 1-dimensional and the case where…

We present a mechanical proof of the Cauchy-Schwarz inequality in ACL2(r) and a formalisation of the necessary mathematics to undertake such a proof. This includes the formalisation of $\mathbb{R}^n$ as an inner product space. We also…

Multivariate Bayesian error-in-variable (EIV) linear regression is considered to account for additional additive Gaussian error in the features and response. A 3-variable deterministic scan Gibbs samplers is constructed for multivariate EIV…

We provide a full quantitative version of the Gaussian isoperimetric inequality. Our estimate is independent of the dimension, sharp on the decay rate with respect to the asymmetry and with optimal dependence on the mass.

In this paper, we prove the isoperimetric inequality for the anisotropic Gaussian measure and characterize the cases of equality. We also find an example that shows Ehrhard symmetrization fails to decrease for the anisotropic Gaussian…

A product of two Gaussians (or normal distributions) is another Gaussian. That's a valuable and useful fact! Here we use it to derive a refactoring of a common product of multivariate Gaussians: The product of a Gaussian likelihood times a…

Let $m \geq 1$ and consider the product of $m$ independent $n \times n$ matrices $\mathbf{W} = \mathbf{W}_1 \dots \mathbf{W}_m$, each $\mathbf{W}_{i}$ with i.i.d. normalised $\mathcal{N}(0, n^{-1/2})$ entries. It is shown in Penson et al.…

We prove that all moment varieties of univariate Gaussian mixtures have the expected dimension. Our approach rests on intersection theory and Terracini's classification of defective surfaces. The analogous identifiability result is shown to…

We introduce GaussianZoom, a generative zoom-in 3D reconstruction system with an iterative progressive framework that combines geometry-consistent scene modeling and multi-scale semantic reasoning to enable high-fidelity extreme zoom-in…

It is shown that $m$ disjoint sets with fixed Gaussian volumes that partition $\mathbb{R}^{n}$ with minimum Gaussian surface area must be $(m-1)$-dimensional. This follows from a second variation argument using infinitesimal translations.…

Suppose X is a random vector, that is distributed uniformly in some n-dimensional convex set. It was conjectured that when the dimension n is very large, there exists a non-zero vector u, such that the distribution of the real random…

Vector products can be defined on spaces of dimensions 0, 1, 3 and 7 only, and their isomorphism types are determined entirely by their adherent symmetric bilinear forms. We present a short and elementary proof for this classical result.

In recent years, sum-product estimates in Euclidean space and finite fields have been studied using a variety of combinatorial, number theoretic and analytic methods. Erdos type problems involving the distribution of distances, areas and…

We argue that extra dimensions with a properly chosen compactification scheme could be a natural source for emergent gauge symmetries. Actually, some proposed vector field potential terms or polynomial vector field constraints introduced in…

We prove Gaussian approximation theorems for specific $k$-dimensional marginals of convex bodies which possess certain symmetries. In particular, we treat bodies which possess a 1-unconditional basis, as well as simplices. Our results…

Leggett-Garg inequalities are tests of macroscopic realism that can be violated by quantum mechanics. In this letter, we realise photonic Leggett-Garg tests on a three-level system and implement measurements that admit three distinct…

We study the entropic Gromov-Wasserstein and its unbalanced version between (unbalanced) Gaussian distributions with different dimensions. When the metric is the inner product, which we refer to as inner product Gromov-Wasserstein (IGW), we…

Let C = C(l_1, ..., l_n) be the n-dimensional orthogonal cross-polytope whose axes are of length l_1,..., l_n. Subject to the condition \sum l_i^2 = 1, the mean width of C is minimised when l_i = 1/sqrt{n} for every i, and it is maximised…

Polygons are described as almost-convex if their perimeter differs from the perimeter of their minimum bounding rectangle by twice their `concavity index', $m$. Such polygons are called \emph{$m$-convex} polygons and are characterised by…

Consider the inductive limit of the general linear groups ${\rm GL}_0(2\infty,{\mathbb R})$ $= \varinjlim_{n}{\rm GL}(2n-1,{\mathbb R})$, acting on the space $X_m$ of $m$ rows, infinite in both directions, with Gaussian measure. This…