Related papers: On the Discrepancy Function in Arbitary Dimension,…
We study the limit of D-series minimal models when the central charge tends to a generic irrational value $c\in (-\infty, 1)$. We find that the limit theory's diagonal three-point structure constant differs from that of Liouville theory by…
We consider a $\varphi$-rigidity property for divergence-free vector fields in the Euclidean $n$-space, where $\varphi(t)$ is a non-negative convex function vanishing only at $t=0$. We show that this property is always satisfied in…
A symmetrized lattice of $2n$ points in terms of an irrational real number $\alpha$ is considered in the unit square, as in the theorem of Davenport. If $\alpha$ is a quadratic irrational, the square of the $L^2$ discrepancy is found to be…
It is shown that $N$ points on a real algebraic curve of degree $n$ in $\mathbb{R}^d$ always determine $\gtrsim_{n,d}N^{1+\frac{1}{4}}$ distinct distances, unless the curve is a straight line or the closed geodesic of a flat torus. In the…
We establish the well-posedness of linear elliptic equations with critical-order drifts in $L^d$ and positive zero-order coefficients in $L^1$ or $L^{\frac{2d}{d+2}}$, where classical methods are often too restrictive. Our approach relies…
The inverse of the star-discrepancy $N^*(d,\ve)$ denotes the smallest possible cardinality of a set of points in $[0,1]^d$ achieving a star-discrepancy of at most $\ve$. By a result of Heinrich, Novak, Wasilkowski and Wo{\'z}niakowski, $$…
In the $1970$s Nicolas proved that the coefficients $p_d(n)$ defined by the generating function \begin{equation*} \sum_{n=0}^{\infty} p_d(n) \, q^n = \prod_{n=1}^{\infty} \left( 1- q^n\right)^{-n^{d-1}} \end{equation*} are log-concave for…
Embedding-based representations in Euclidean space $\mathbb{R}^d$ are a cornerstone of modern machine learning, where a major goal is to use the \emph{smallest dimension} that faithfully captures data relations. In this work, we prove sharp…
Let $(H_s(n))_{n \geq 1}$ be an $s-$dimensional Halton's sequence, and let ${\mathcal{H}}_{s+1,N}=(H_s(n),n/N)_{n=0}^{N-1}$ be the $s+1-$dimensional Hammersley point set. Let $D(\mathbf{x},(H_n)_{n=0}^{N-1} )$ be the local discrepancy of…
Let $d\in\mathbb N$ and $f$ be a function in the Orlicz class $L(\log^+L)^{d-1}$ defined on the unit cube $[0,1]^d$ in $\mathbb{R}^d$. Given partitions $\Delta_1,\ldots,$ $\Delta_d$ of $[0,1]$, we first prove that the orthogonal projection…
When $X$ is a $d$-dimensional variety defined over a field $k$ of characteristic zero, a constructive resolution of singularities can be achieved by successively lowering the maximum multiplicity via blow ups at smooth equimultiple centers.…
Let $X_1,\dots,X_n$ be independent centered random vectors in $\mathbb{R}^d$. This paper shows that, even when $d$ may grow with $n$, the probability $P(n^{-1/2}\sum_{i=1}^nX_i\in A)$ can be approximated by its Gaussian analog uniformly in…
A loss function measures the discrepancy between the true values and their estimated fits, for a given instance of data. In classification problems, a loss function is said to be proper if a minimizer of the expected loss is the true…
The main result of this paper are dimension-free $L^p$ inequalities, $1<p<\infty$, for low degree scalar-valued functions on the Hamming cube. More precisely, for any $p>2,$ $\varepsilon>0,$ and $\theta=\theta(\varepsilon,p)\in (0,1)$…
We study regularity properties for solutions to the nakedly degenerate elliptic equation $a_{ij}\partial_{ij}u =0$, where the coefficients satisfy $I \ge a_{ij}(x) \ge \lambda(x) I$ and the only assumption is that $\lambda^{-1} \in L^p$. We…
For a real-valued non-negative and log-concave function we introduce a notion of difference function; the difference function represents a functional analog on the difference body of a convex body. We prove a sharp inequality which bounds…
This paper defines a distance function that measures the dissimilarity between planar geometric figures formed with straight lines. This function can in turn be used in partial matching of different geometric figures. For a given pair of…
Let $N(X)$ be the number of integral zeros $(x_1,\dots,x_6)\in [-X,X]^6$ of $\sum_{1\le i\le 6} x_i^3$. Works of Hooley and Heath-Brown imply $N(X)\ll_\epsilon X^{3+\epsilon}$, if one assumes automorphy and GRH for certain Hasse--Weil…
We consider $N$ classical particles interacting via the Coulomb potential in spatial dimension $d$ and in the presence of an external trap, at equilibrium at inverse temperature $\beta$. In the large $N$ limit, the particles are confined…
We prove that in a Euclidean space of dimension at least two, there exists a compact set of Lebesgue measure zero such that any real-valued Lipschitz function defined on the space is differentiable at some point in the set. Such a set is…