http://arxiv.org/api/TTSsIXMbBxegmVoBJFtlxc1txqM 2025-05-15T00:00:00-04:00 23486 150 15 http://arxiv.org/abs/2404.09730v3 2025-04-20T16:45:48Z 2024-04-15T12:29:28Z

Score-based generative models have emerged as a powerful approach for sampling high-dimensional probability distributions. Despite their effectiveness, their theoretical underpinnings remain relatively underdeveloped. In this work, we study the convergence properties of deterministic samplers based on probability flow ODEs from both theoretical and numerical perspectives. Assuming access to $L^2$-accurate estimates of the score function, we prove the total variation between the target and the generated data distributions can be bounded above by $\mathcal{O}(d^{3/4}\delta^{1/2})$ in the continuous time level, where $d$ denotes the data dimension and $\delta$ represents the $L^2$-score matching error. For practical implementations using a $p$-th order Runge-Kutta integrator with step size $h$, we establish error bounds of $\mathcal{O}(d^{3/4}\delta^{1/2} + d\cdot(dh)^p)$ at the discrete level. Finally, we present numerical studies on problems up to 128 dimensions to verify our theory.

Daniel Zhengyu Huang Jiaoyang Huang Zhengjiang Lin 10.1109/TIT.2025.3557050 37 pages, 7 figures; To appear in IEEE Transactions on Information Theory http://arxiv.org/abs/2504.14678v1 2025-04-20T16:45:17Z 2025-04-20T16:45:17Z

We study the Rudin-Blass (and the Rudin-Keisler) ordering on the finite additive measures on $\omega$. We propose a generalization of the notion of Q-point and selective ultrafilter to measures: Q-measures and selective measures. We show some symmetries between Q-points and Q-measures but also we show where those symmetries break up. In particular we present an example of a measure which is minimal in the sense of Rudin-Blass but which is not a Q-measure.

Piotr Borodulin-Nadzieja Arturo Martínez-Celis Adam Morawski Jadwiga Świerczyńska 26 pages http://arxiv.org/abs/2411.02961v4 2025-04-20T15:28:28Z 2024-11-05T10:00:21Z

We consider the approach of Ou and Wang to cone restriction via polynomial partitioning. By restructuring their induction arguments into a recursive algorithm and applying the nested polynomial Wolff axioms, we refine the bounds on cone restriction estimate in higher dimensions.

Xiangyu Wang Optimize the layout http://arxiv.org/abs/2504.14425v1 2025-04-19T23:40:54Z 2025-04-19T23:40:54Z

Flow-based methods for sampling and generative modeling use continuous-time dynamical systems to represent a {transport map} that pushes forward a source measure to a target measure. The introduction of a time axis provides considerable design freedom, and a central question is how to exploit this freedom. Though many popular methods seek straight line (i.e., zero acceleration) trajectories, we show here that a specific class of ``curved'' trajectories can significantly improve approximation and learning. In particular, we consider the unit-time interpolation of any given transport map $T$ and seek the schedule $\tau: [0,1] \to [0,1]$ that minimizes the spatial Lipschitz constant of the corresponding velocity field over all times $t \in [0,1]$. This quantity is crucial as it allows for control of the approximation error when the velocity field is learned from data. We show that, for a broad class of source/target measures and transport maps $T$, the \emph{optimal schedule} can be computed in closed form, and that the resulting optimal Lipschitz constant is \emph{exponentially smaller} than that induced by an identity schedule (corresponding to, for instance, the Wasserstein geodesic). Our proof technique relies on the calculus of variations and $\Gamma$-convergence, allowing us to approximate the aforementioned degenerate objective by a family of smooth, tractable problems.

Panos Tsimpos Zhi Ren Jakob Zech Youssef Marzouk http://arxiv.org/abs/2504.14176v1 2025-04-19T04:37:48Z 2025-04-19T04:37:48Z

We study Hamamoto's expanding square argument towards a 1-D minimisation problem related to the sharp solenoidal uncertainty principle. Working in the right function space, we recast the involved interpolation type inequality into an exact equality, where the vanishing of the remainder term characterises the extremisers via the confluent hypergeometric functions. In the process we also remove some unnecessary constraints on the prescribed parameters.

Yi C. Huang Tohru Ozawa Xinhang Tong Submitted to a journal on December 26, 2024 http://arxiv.org/abs/2504.14118v1 2025-04-19T00:38:14Z 2025-04-19T00:38:14Z

In this paper, we study a discretized variant of the circle tangency counting problem introduced by Tom Wolff in his expository article on the Kakeya conjecture. For collections of well-spaced circles, we introduce a stopping time argument to extract maximal information from a refined decoupling theorem for the cone in $\mathbb{R}^3$, leading to sharp bounds on the number of $\mu$-rich tangency rectangles. As a consequence, we break the $N^{3/2}$-barrier for exact circle tangencies when the circles are well-spaced.

Dominique Maldague Alexander Ortiz 22 pages. Comments welcome http://arxiv.org/abs/2504.13832v1 2025-04-18T17:57:34Z 2025-04-18T17:57:34Z

The second part of Hilbert's 16th problem concerns determining the maximum number $H(m)$ of limit cycles that a planar polynomial vector field of degree $m$ can exhibit. A natural extension to the three-dimensional space is to study the maximum number $N(m)$ of limit tori that can occur in spatial polynomial vector fields of degree $m$. In this work, we focus on normally hyperbolic limit tori and show that the corresponding maximum number $N_h(m)$, if finite, increases strictly with $m$. More precisely, we prove that $N_h(m+1) \geqslant N_h(m) + 1$. Our proof relies on the torus bifurcation phenomenon observed in spatial vector fields near Hopf-Zero equilibria. While conditions for such bifurcations are typically expressed in terms of higher-order normal form coefficients, we derive explicit and verifiable criteria for the occurrence of a torus bifurcation assuming only that the linear part of the unperturbed vector field is in Jordan normal form. This approach circumvents the need for intricate computations involving higher-order normal forms.

Lucas Queiroz Arakaki Douglas D. Novaes http://arxiv.org/abs/2405.02174v2 2025-04-18T13:28:14Z 2024-05-03T15:25:06Z

The digits of the Pierce expansion satisfy the law of large numbers. It is known that the Hausdorff dimension of the set of exceptions to the law of large numbers is 1. We provide an elementary proof of this fact by adapting Jun Wu's method, which was originally used for Engel expansions. Our approach emphasizes the fractal nature of exceptional sets and avoids advanced machinery, thereby relying instead on explicit sequences and constructive techniques. Furthermore, our method opens the possibility of extending similar analyses to other real number representation systems, such as the Engel, L\"uroth, and Sylvester expansions, thus paving the way for further explorations in metric number theory and fractal geometry.

Min Woong Ahn 10.3934/math.2025275 16 pages; conclusion section added; references revised; typos corrected AIMS Math. 10 (2025), 6025-6039 http://arxiv.org/abs/2504.13542v1 2025-04-18T08:13:07Z 2025-04-18T08:13:07Z

We consider singular (aka genus $0$) walks in the quarter plane and their associated generating functions $Q(x,y,t)$, which enumerate the walks starting from the origin, of fixed endpoint (encoded by the spatial variables $x$ and $y$) and of fixed length (encoded by the time variable $t$). We first prove that the previous series can be extended up to a universal value of $t$ (in the sense that this holds for all singular models), namely $t=\frac{1}{2}$, and we provide a probabilistic interpretation of $Q(x,y,\frac{1}{2})$. As a second step, we refine earlier results in the literature and show that $Q(x,y,t)$ is indeed differentially transcendental for any $t\in(0,\frac{1}{2}]$. Moreover, we prove that $Q(x,y,\frac{1}{2})$ is strongly differentially transcendental. As a last step, we show that for certain models the series expansion of $Q(x,y,\frac{1}{2})$ is directly related to Bernoulli numbers. This provides a second proof of its strong differential transcendence.

Alin Bostan Lucia Di Vizio Kilian Raschel 31 pages, 4 figures http://arxiv.org/abs/2411.10866v2 2025-04-18T06:35:04Z 2024-11-16T19:22:27Z

Let $X$ be an uncountable Polish space and let $\mathcal{I}$ be an ideal on $\omega$. A point $\eta \in X$ is an $\mathcal{I}$-limit point of a sequence $(x_n)$ taking values in $X$ if there exists a subsequence $(x_{k_n})$ convergent to $\eta$ such that the set of indexes $\{k_n: n \in \omega\}\notin \mathcal{I}$. Denote by $\mathscr{L}(\mathcal{I})$ the family of subsets $S\subseteq X$ such that $S$ is the set of $\mathcal{I}$-limit points of some sequence taking values in $X$ or $S$ is empty. In this paper, we study the relationships between the topological complexity of ideals $\mathcal{I}$, their combinatorial properties, and the families of sets $\mathscr{L}(\mathcal{I})$ which can be attained. On the positive side, we provide several purely combinatorial (not dependind on the space $X$) characterizations of ideals $\mathcal{I}$ for the inclusions and the equalities between $\mathscr{L}(\mathcal{I})$ and the Borel classes $\Pi^0_1$, $\Sigma^0_2$, and $\Pi^0_3$. As a consequence, we prove that if $\mathcal{I}$ is a $\Pi^0_4$ ideal then exactly one of the following cases holds: $\mathscr{L}(\mathcal{I})=\Pi^0_1$ or $\mathscr{L}(\mathcal{I})=\Sigma^0_2$ or $\mathscr{L}(\mathcal{I})=\Sigma^1_1$ (however we do not have an example of a $\Pi^0_4$ ideal with $\mathscr{L}(\mathcal{I})=\Sigma^1_1$). In addition, we provide an explicit example of a coanalytic ideal $\mathcal{I}$ for which $\mathscr{L}(\mathcal{I})=\Sigma^1_1$. On the negative side, we show that there are no ideals $\mathcal{I}$ such that $\mathscr{L}(\mathcal{I})=\Pi^0_2$ or $\mathscr{L}(\mathcal{I})=\Sigma^0_3$. We conclude with several open questions.

Rafal Filipow Adam Kwela Paolo Leonetti http://arxiv.org/abs/2504.13066v1 2025-04-17T16:20:29Z 2025-04-17T16:20:29Z

A Young subgroup of the symmetric group $\mathcal{S}_{N}$ with three factors, is realized as the stabilizer $G_{n}$ of a monomial $x^{\lambda}$ ( $=x_{1}^{\lambda_{1}}x_{2}^{\lambda_{2}}\cdots x_{N}^{\lambda_{N}}$) with $\lambda=\left( d_{1}^{n_{1}},d_{2}^{n_{2}},d_{3}^{n_{3}}\right) $ (meaning $d_{j}$ is repeated $n_{j}$ times, $1\leq j\leq3$), thus is isomorphic to the direct product $\mathcal{S}_{n_{1}}\times\mathcal{S}_{n_{2}}\times \mathcal{S}_{n_{3}}$. The orbit of $x^{\lambda}$ under the action of $\mathcal{S}_{N}$ (by permutation of coordinates) spans a module $V_{\lambda}% $, the representation induced from the identity representation of $G_{n}$. The space $V_{\lambda}$ decomposes into a direct sum of irreducible $\mathcal{S}% _{N}$-modules. The spherical function is defined for each of these, it is the character of the module averaged over the group $G_{n}$. This paper concerns the value of certain spherical functions evaluated at a cycle which has no more than one entry in each of the three intervals $I_{j}=\left\{ i:\lambda_{i}=d_{j}\right\} ,1\leq j\leq3$. These values appear in the study of eigenvalues of the Heckman-Polychronakos operators in the paper by V. Gorin and the author (arXiv:2412:01938v1). The present paper determines the spherical function values for $\mathcal{S}_{N}$-modules $V$ of two-row tableau type, corresponding to Young tableaux of shape $\left[ N-k,k\right] $. The method is based on analyzing the effect of a cycle on $G_{n}$-invariant elements of $V$. These are constructed in terms of Hahn polynomials in two variables.

Charles F. Dunkl 14 pages. arXiv admin note: text overlap with arXiv:2503.04547 http://arxiv.org/abs/2504.13019v1 2025-04-17T15:26:48Z 2025-04-17T15:26:48Z

In a recent short note the first author \cite{tem} gave the first positive result on the higher order regularity of the discrete noncentered Hardy-Littlewood maximal function. In this article we conduct a thorough investigation of possible similar results for higher order derivatives. We uncover that such results are indeed a consequence of a stronger phenomenon regarding the growth of $l^p(\Z)$ norms of the derivatives of characteristic functions of finite subsets of $\Z$. Along the way we discover very interesting connections to Prouhot-Tarry-Escott (PTE) problem, and to zeros of complex polynomials with restricted coefficients (Littlewood-type polynomials).

Faruk Temur Hikmet Burak Özcan http://arxiv.org/abs/2505.06230v1 2025-04-17T14:28:45Z 2025-04-17T14:28:45Z

The quantum annulus of type $r$ is the class of invertible operators with singular values in $(1/r,r).$ Given an analytic function on the classical annulus of type $r,$ we may evaluate it on operators in the quantum annulus by The spectral constant gives the maximum ratio betweeen the supremum over the norm of evalutions at operators in the quantum annulus to the supremum over classical evaluations. We show that the limit of the spectral constant as $r$ goes to infinity is $2.$ Via the correspondence between annuli and hyperbolae, our study degenerates the problem to one on the quantum cross, pairs of contractions with product zero, where the spectral constant is exactly $2.$ The essential technique is to rationally dilate $Z$ to $\hat{Z}$ which has $U =(\hat{Z}+(\hat{Z}^{-1})^*)/(r+1/r)$ unitary and estimate $Uf(\hat{Z})U^*$ directly.

J. E. Pascoe 4 pages http://arxiv.org/abs/2504.04165v2 2025-04-17T13:15:00Z 2025-04-05T13:01:30Z

We derive the zero order approximation of a charged particle under the influence of a strong magnetic field in a mathematically rigorous manner and clarify in which sense this approximation is valid. We use this to further rigorously derive a displacement formula for the pressure of plasma equilibria and compare our findings to results in the physics literature. The main novelty of our results is a qualitative estimate of the confinement time for optimised plasma equilibria with respect to the gyro frequency. These results are of interest in the context of plasma fusion confinement.

Ugo Boscain Wadim Gerner 23 pages. Some additional remarks and an explicit example with a figure have been added. Minor typos were corrected. The main results/conclusions remained unchanged http://arxiv.org/abs/2504.12839v1 2025-04-17T10:56:20Z 2025-04-17T10:56:20Z

We investigate properties of holomorphic extensions in the one-variable case of Whitney's Approximation Theorem on intervals. Improving a result of Gauthier-Kienzle, we construct tangentially approximating functions which extend holomorphically to domains of optimal size. For approximands on unbounded closed intervals, we also bound the growth of holomorphic extensions, in the spirit of Arakelyan, Bernstein, Keldych, and Kober.

Matthias Aschenbrenner 22 pp