TV between Bernoulli products, up to constants
We obtain efficiently computable upper and lower bounds for the total variation distance between two product Bernoulli measures whose ratio is bounded by an absolute constant.
math.PR↗
arXiv subjects
Gleb Smirnov
Publications and source records attributed to Gleb Smirnov.
MaxCut for $\mathrm{MTP}_2$ Covariances
Let $X=(X_1,\dots,X_n)\in\{0,1\}^n$ have a multivariate totally positive ($\mathrm{MTP}_2$) law. We prove that $$ \sum_{i<j}\mathbb{E}\left[\left|\mathrm{Cov}(X_i,X_j \mid X_{[n]\setminus\{i,j\}})\right|\right] \le n/2, $$ and more generally a weighted MaxCut inequality for the fully conditioned covariances. As an application, we confirm a conjecture of Allen and O'Donnell on correlation rounding for signed $\mathrm{MTP}_2$ laws.
math.PR↗
Deep belief networks are exact
We prove that every strictly positive probability distribution on \(\{-1,1\}^n\) is represented exactly by a sigmoid belief network with finite parameters. This answers a question of Sutskever and Hinton. The proof upgrades their probability-sharing approximation to exact representation using Brouwer's fixed-point theorem.
cs.AI↗
First integrals of dense hard-ball gases
We answer two questions of Kozlov about polynomial-in-momentum first integrals of billiard systems. For billiards in bounded polytopes, such integrals are independent of position. For hard-ball gases in a rectangular box, every polynomial-in-momentum first integral is a polynomial in the total kinetic energy whenever the collision graph is connected.
math.DS↗
Random sets are close to low-discrepancy sets
We show that a random sample from an arbitrary probability measure on $\mathbb{R}^d$ is close to a low-discrepancy point set. Namely, after moving only a small fraction of the sample points in expectation, one obtains an $n$-point set with star discrepancy $\operatorname{polylog}(n)/n$ with respect to the original measure.
math.PR↗
Discrepancy and Fisher information
We give an online algorithm that keeps a symmetric random walk inside a convex body by discarding some of its steps. The expected number of discarded steps is controlled by a Fisher-information-type quantity associated with the body. For the cube, this gives a dimension-free bound: a walk with unit Euclidean steps can be kept bounded in all coordinates while discarding only a small constant fraction of the steps on average.
math.PR↗
Thinning to improve two-sample discrepancy
The discrepancy between two independent samples \(X_1,\dots,X_n\) and \(Y_1,\dots,Y_n\) drawn from the same distribution on $\mathbb{R}^d$ typically has order \(O(\sqrt{n})\) even in one dimension. We give a simple online algorithm that reduces the discrepancy to \(O(\log^{2d} n)\) by discarding a small fraction of the points.
math.PR↗
Anti-self-dual blowups II
Let $X$ be a closed, oriented four-manifold with $b_2^+ \leq 3$, and suppose $X$ contains a collection of pairwise disjoint embedded $(-2)$-spheres. We prove that there is a Riemannian metric on $X$ such that the Poincare dual of each of these spheres is represented by an anti-self-dual harmonic form. This extends our earlier result for $(-1)$-spheres. The main new ingredient is an application of Eliashberg's $h$-principle for overtwisted contact structures, which we use to construct self-dual harmonic forms on four-orbifolds with prescribed local behaviour near the orbifold singular set.
math.DG↗
Improving discrepancy by moving a few points
We show how to improve the discrepancy of an iid sample by moving only a few points. Specifically, modifying \( O(m) \) sample points on average reduces the Kolmogorov-Smirnov distance to the population distribution to \(1/m\).
math.ST↗
Anti-self-dual blowups
Let $X$ be a closed, oriented four-manifold containing an embedded sphere with self-intersection number $(-1)$. Suppose that $b_2^+(X) \leq 3$. We show that there exists a Riemannian metric on $X$ such that the cohomology class dual to this sphere is represented by an anti-self-dual harmonic form. Furthermore, such a metric can be constructed even when there are multiple disjoint embedded $(-1)$-spheres.
math.DG↗
On Lagrangian tori in K3 surfaces
Every Maslov-zero Lagrangian torus in a K3 surface has non-trivial homology class. This note aims to extend this result to Lagrangian tori with Maslov indices congruent to zero modulo 4. Conversely, we show that every homologically non-trivial Lagrangian torus is necessarily Maslov-zero.
math.SG↗
Detecting adversarial attacks on random samples
This paper studies the problem of detecting adversarial perturbations in a sequence of observations. Given a data sample $X_1, \ldots, X_n$ drawn from a standard normal distribution, an adversary, after observing the sample, can perturb each observation by a fixed magnitude or leave it unchanged. We explore the relationship between the perturbation magnitude, the sparsity of the perturbation, and the detectability of the adversary's actions, establishing precise thresholds for when detection becomes impossible.
math.PR↗
Analyzing Deviations of Dyadic Lines in Fast Hough Transform
Fast Hough transform is a widely used algorithm in pattern recognition. The algorithm relies on approximating lines using a specific discrete line model called dyadic lines. The worst-case deviation of a dyadic line from the ideal line it used to construct grows as $O(log(n))$, where $n$ is the linear size of the image. But few lines actually reach the worst-case bound. The present paper addresses a statistical analysis of the deviation of a dyadic line from its ideal counterpart. Specifically, our findings show that the mean deviation is zero, and the variance grows as $O(log(n))$. As $n$ increases, the distribution of these (suitably normalized) deviations converges towards a normal distribution with zero mean and a small variance. This limiting result makes an essential use of ergodic theory.
cs.CV↗
Symplectic mapping class groups of blowups of tori
Let $ω$ be a Kaehler form on the real $4$-torus $T^4$. Suppose that $ω$ satisfies an irrationality condition which can be achieved by an arbitrarily small perturbation of $ω$. This note shows that the smoothly trivial symplectic mapping class group of the one-point symplectic blowup of $(T^4,ω)$ is infinitely generated.
math.SG↗
Symplectic mapping class groups of K3 surfaces and Seiberg-Witten invariants
The purpose of this note is to prove that the symplectic mapping class groups of many K3 surfaces are infinitely generated. Our proof makes no use of any Floer-theoretic machinery but instead follows the approach of Kronheimer and uses invariants derived from the Seiberg-Witten equations.
math.SG↗
From flops to diffeomorphism groups
We exhibit many examples of closed complex surfaces whose diffeomorphism groups are not simply-connected and contain loops that are not homotopic to loops of symplectomorphisms.
math.DG↗
Seidel's theorem via gauge theory
A new proof is given that Seidel's generalized Dehn twist is not symplectically isotopic to the idenity.
math.SG↗
Infinitely many non-isotopic real symplectic forms on $S^2 \times S^2$
Let $(S^2,ω)$ be a symplectic sphere, and let $τ\colon S^2 \to S^2$ be an anti-symplectic involution of $(S^2,ω)$. We consider the product $(S^2,ω) \times (S^2,ω)$ endowed with the anti-symplectic involution $τ\times τ$, and study the space of monotone anti-invariant symplectic forms on this four-manifold. We show that this space is disconnected. In addition, during the course of the proof, we produce a diffeomorphism of the grassmannian (2,4) which induces the identity map on all homology and homotopy groups, but which is not homotopic to the identity.
math.SG↗