http://arxiv.org/api/cfav64L8KWjlTb/IGUJpXuFyisI 2025-04-22T00:00:00-04:00 23399 0 15 http://arxiv.org/abs/2504.15161v1 2025-04-21T15:07:38Z 2025-04-21T15:07:38Z

In this paper, we find some identities involving Pochhammer symbol (rising factorial) and apply them to find a closed form for some integrals of the Jacobi polynomials as well as a hypergeometric function multiplied by the product of Jacobi polynomial and the Beta density that makes this polynomial member of the family of orthogonal polynomials. In other words, we expand a hypergeometric function in an orthogonal series of Jacobi polynomials.

Paweł J. Szabłowski http://arxiv.org/abs/2504.15065v1 2025-04-21T12:51:05Z 2025-04-21T12:51:05Z

In the 1990s, P. Vanhecke described a Hamiltonian system with two degrees of freedom and a polynomial Hamiltonian integrable in Abelian functions of two variables. This system provides a convenient example of an integrable system in which integral curves are wound on a two-dimensional manifold, an algebraic surface in a 4-dimensional phase space. In this report, we show that all necessary calculations can be performed in the Sage system. The role of periods of Abelian integrals and their commensurability in describing the nature of the winding of integral curves on an algebraic integral surface is discussed. The results of numerical experiments performed in fdm for Sage are presented.

Wang Shiwei M. D. Malykh L. A. Sevastianov A. V. Zorin http://arxiv.org/abs/2401.11597v3 2025-04-21T03:51:55Z 2024-01-21T21:03:20Z

Let $\phi(x,y)$ be a continuous function, smooth away from the diagonal, such that, for some $\alpha>0$, the associated generalized Radon transforms \begin{equation} \label{Radon} R_t^{\phi}f(x)=\int_{\phi(x,y)=t} f(y) \psi(y) d\sigma_{x,t}(y) \end{equation} map $L^2({\mathbb R}^d) \to L^2_{\alpha}({\mathbb R}^d)$ for all $t>0$. Let $E$ be a compact subset of ${\mathbb R}^d$ for some $d \ge 2$, and suppose that the Hausdorff dimension of $E$ is $>d-\alpha$. We show that any tree graph $T$ on $k+1$ ($k \ge 1$) vertices is \new{stably} realizable in $E$, in the sense that \new{for each $t$ in some open interval} there exist distinct $x^1, x^2, \dots, x^{k+1} \in E$ %and $t>0$ such that the $\phi$-distance $\phi(x^i, x^j)=t$ for all pairs $(i,j)$ corresponding to the edges of $T$. We extend this result to trees whose edges are prescribed by more complicated point configurations, such as congruence classes of triangles.

Allan Greenleaf Alex Iosevich Krystal Taylor http://arxiv.org/abs/2504.14816v1 2025-04-21T02:50:17Z 2025-04-21T02:50:17Z

In this article, the author establishes a wavelet characterization of inhomogeneous Lipschitz space $\mathrm{lip}_{\theta}(\mathcal{X})$ via Carlson sequence, where $\mathcal{X}$ is a space of homogeneous type introduced by R. R. Coifman and G. Weiss. As applications, characterizations of several geometric conditions on $\mathcal{X}$, involving the upper bound, the lower bound, and the Ahlfors regular condition, are obtained.

Fan Wang http://arxiv.org/abs/2504.14702v1 2025-04-20T18:31:25Z 2025-04-20T18:31:25Z

Given a signal $f:G\to\mathbb{C}$, where $G$ is a finite abelian group, under what reasonable assumptions can we guarantee the exact recovery of $f$ from a proper subset of its Fourier coefficients? In 1989, Donoho and Stark established a result \cite{DS89} using the classical uncertainty principle, which states that $|\text{supp}(f)|\cdot|\text{supp}(\hat{f})|\geq |G|$ for any nonzero signal $f$. Another result, first proven by Santose and Symes \cite{SS86}, was based on the Logan phenomenon \cite{L65}. In particular, the result showcases how the $L^1$ and $L^2$ minimizing signals with matching Fourier frequencies often recovers the original signal. The purpose of this paper is to relate these recovery mechanisms to additive energy, a combinatorial measure denoted and defined by $$\Lambda(A)=\left| \left\{ (x_1, x_2, x_3, x_4) \in A^4 \mid x_1 + x_2 = x_3 + x_4 \right\} \right|,$$ where $A\subset\mathbb{Z}_N^d$. In the first part of this paper, we use combinatorial techniques to establish an improved variety of the uncertainty principle in terms of additive energy. In a similar fashion as the Donoho-Stark argument, we use this principle to establish an often stronger recovery condition. In the latter half of the paper, we invoke these combinatorial methods to demonstrate two $L^p$ minimizing recovery results.

K. Aldahleh A. Iosevich J. Iosevich J. Jaimangal A. Mayeli S. Pack 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