https://arxiv.org/api/msFN0TlZ0RGEjvHTZ+cQyqqV9BM2026-06-14T01:28:30Z2505618015http://arxiv.org/abs/2605.22295v1Discrepancy of determinantal point processes on compact, connected two-point homogeneous spaces2026-05-21T10:45:38ZWe study the $L^{\infty}$ discrepancy of point sets generated by determinantal point processes on all compact, connected two-point homogeneous spaces, namely spheres and projective spaces. Using concentration inequalities and variance estimates for the number of points in metric balls, we derive general upper bounds for the discrepancy of homogeneous determinantal point processes. In the particular case of the harmonic ensemble, we show that the discrepancy of $N$ points is $O((N^{1-1/D})^{1/2}\log N)$ with high probability, where $D$ denotes the real dimension of the manifold. For the projective ensemble on $\mathbb{CP}^d$, we obtain the sharper bound $O((N^{1-1/D}\log N)^{1/2})$. These results extend previously known discrepancy estimates for determinantal point processes on the sphere to all compact, connected two-point homogeneous spaces.2026-05-21T10:45:38ZCarlos BeltránUjué EtayoGiacomo GigantePedro R. López-GómezRyan W. Matzkehttp://arxiv.org/abs/2605.05243v2Proof of the Holevo--Utkin conjecture on sharp $\ell_p$ norms for zero-sum vectors2026-05-21T06:50:08ZLet $d\ge 3$ and $p>0$. Let $\|x\|_p$ denote the $\ell_p$ (quasi-)norm of a $d$-dimensional vector $x$. Holevo and Utkin \cite{HU26} conjectured that for $0<p\le 1$, \[ \min \left\{\frac{\|x\|_p}{\|x\|_2}:\vec{0}\neq x\in\mathbb R^d,\ \sum_{i=1}^d x_i=0\right\} =2^{1/p-1/2}; \] for $1<p<2$, \[ \min \left\{\frac{\|x\|_p}{\|x\|_2}:\vec{0}\neq x\in\mathbb R^d,\ \sum_{i=1}^d x_i=0\right\} = \min\left\{2^{1/p-1/2},\left(\frac{(d-1)^{p/2}+(d-1)^{1-p/2}}{d^{p/2}}\right)^{1/p}\right\}; \] and for $2<q<\infty$ \[ \max\left\{\frac{\|x\|_q}{\|x\|_2}:\vec{0}\neq x\in\mathbb R^d,\ \sum_{i=1}^d x_i=0\right\} = \max\left\{2^{1/q-1/2},\left(\frac{(d-1)^{q/2}+(d-1)^{1-q/2}}{d^{q/2}}\right)^{1/q}\right\}. \] They proved the $d=3$ case in \cite{HU26}. In this paper, we confirm the conjecture of the remaining cases $d\ge 4$.2026-05-04T03:11:54Z23 pages. Some typos corrected. More results and references addedHaonan Zhanghttp://arxiv.org/abs/2512.17599v2Les Houches Lectures on Exact WKB Analysis and Painlevé Equations2026-05-21T03:00:55ZThe first part of these lecture notes is devoted to an introduction to the theory of exact WKB analysis for second-order Schrödinger-type ordinary differential equations. It reviews the construction of the WKB solution, Borel summability, connection formulas, and their application to direct monodromy problems.
In the second part, we discuss recent developments in applying exact WKB analysis to the study of Painlevé equations. By combining exact WKB analysis with topological recursion, it becomes possible to explicitly compute the monodromy of linear differential equations associated with Painlevé equations, assuming Borel summability and other conditions. Furthermore, by using isomonodromy deformations (integrability of the Painlevé equations), the resurgent structure of the $τ$-function and partition function is analyzed.
These lecture notes accompanied a series of lectures at the Les Houches school, ``Quantum Geometry (Mathematical Methods for Gravity, Gauge Theories and Non-Perturbative Physics)'' in Summer 2024.2025-12-19T14:06:57Zv2: typos corrected and references addedKohei Iwakihttp://arxiv.org/abs/2605.21732v1Hybrid and Component-wise Leggett-Williams type Fixed Point Theorems in Product Spaces with Applications2026-05-20T20:46:10ZIn this paper, we present new multiplicity fixed point theorems for operators acting on Cartesian products of two normed linear spaces. We show that Leggett-Williams type conditions in each component of the system guarantee the existence of nine distinct fixed points, of which four of them are coexistence fixed points, i.e., points with all components nontrivial. In addition, a hybrid approach combining Leggett-Williams conditions in one component with Krasnosel'skii compression-expansion conditions in the other allows us to obtain three fixed points. As an application, we establish the existence of multiple positive solutions for nonlinear systems of second-order equations with two-point boundary conditions.2026-05-20T20:46:10ZLaura María Fernández-Pardohttp://arxiv.org/abs/2605.21670v1Boundedness of the Hardy-Littlewood maximal operator on generalized fofana spaces2026-05-20T19:24:03ZWe introduce generalized Fofana spaces and we give some of their basic properties. These spaces are a kind of generalization of generalized Morrey spaces. As application, we establish the boundedness of the Hardy-Littlewood maximal operator on these new spaces.2026-05-20T19:24:03Z12 pages, 0 figurePokou NagacyBerenger Akon KpataNouffou Diarrahttp://arxiv.org/abs/2605.21668v1Fourier analytic variants of the Furstenberg and Kakeya problems2026-05-20T19:22:21ZWe study several distinct but related Fourier analytic variants of the well-known Kakeya and Furstenberg set problems in the plane. For example, given $0<s,t<1$, we call a set $K \subseteq \mathbb{R}^2$ an $(s,t)$-Kakeya set if there exists a set of directions $E \subseteq S^1$ with Hausdorff dimension at least $t$ such that, for each $e \in E$, the set $K$ contains a subset of a unit line segment in direction $e$ whose Fourier dimension, viewed as a subset of $\mathbb{R}$, is at least $s$. For $Δ(s,t)$ defined to be the infimum of the Fourier dimension among all $(s,t)$-Kakeya sets in $\mathbb{R}^2$, we prove that \[ \frac{2st}{s+2t} \leq Δ(s,t) \leq \min\{s,2t\}. \] These bounds, though distinct, are asymptotically equivalent as either $s$ or $t$ tends to zero. We also obtain upper and lower bounds in the Furstenberg set version of the problem and in the case where the Hausdorff dimension of the collection of lines is replaced by the Fourier dimension.2026-05-20T19:22:21Z17 pagesJonathan M. FraserLijian Yanghttp://arxiv.org/abs/2605.21166v1Modified Painlevé systems with meromorphic solutions for polynomial Hamiltonians of all degrees2026-05-20T13:34:48ZWe review non-autonomous Hamiltonian systems, polynomial in two dependent variables, with the property that all of their solutions are meromorphic functions in the complex plane. These are related to known Hamiltonian systems with the Painlevé property, for which the solutions are single-valued outside a set of fixed singularities. Our systems are equivalent to them in the absence of fixed singularities, and give modified Painlevé equations otherwise. Using the geometric approach by computing the Okamoto's spaces of initial conditions for certain Hamiltonian systems with general coefficient functions, we obtain differential constraints on these functions for the systems to have only meromorphic solutions. Guided by the Newton polygon of the Hamiltonian function, we obtain all such systems with polynomial Hamiltonian of degree three, four, five, and seven, up to affine equivalence in the dependent variables, while there are none for degree six or degree higher than seven. We thus obtain a list of 12 standard polynomial Hamiltonians that can serve as reference for the Painlevé equivalence problem. This list contains also some new Hamiltonians not previously written down, such as quartic Hamiltonians for Painlevé I and II, quartic Hamiltonians for the modified Painlevé III and V equations, a quintic Hamiltonian for Painlevé IV and quintic and septic Hamiltonians for a modified Painlevé VI equation.2026-05-20T13:34:48Z32 pages, 56 figuresMarta Dell'AttiThomas Keckerhttp://arxiv.org/abs/2307.11925v3Mercer Large-Scale Kernel Machines from Ridge Function Perspective2026-05-20T10:13:12ZTo present Mercer large-scale kernel machines from a ridge function perspective, we recall the results by Lin and Pinkus from {\it Fundamentality of ridge functions}. We consider the main result of the recent paper by Rachimi and Recht, 2008, {\it Random features for large-scale kernel machines} from the Approximation Theory point of view. We study which kernels could be approximated by a sum of products of cosine functions with arguments depending on $x$ and $y$ and present the obstacles of such an approach. The results of this article are applied to Image Processing by procedure "one-vs-rest".2023-07-21T22:08:19Z17 pages, 3 figuresKarol DziedziulSergey KryzhevichPaweł Wieczyńskihttp://arxiv.org/abs/2502.09032v3Fourier dimension of the graph of fractional Brownian motion with $H \ge 1/2$2026-05-20T08:35:02ZWe prove that the Fourier dimension of the graph of fractional Brownian motion with Hurst index greater than $1/2$ is almost surely 1. This extends the result of Fraser and Sahlsten (2018) for the Brownian motion and confirms part of the conjecture of Fraser, Orponen and Sahlsten (2014). We introduce a combinatorial integration by parts formula to compute the moments of the Fourier transform of the graph measure. The proof of our main result is based on this integration by parts formula together with Faà di Bruno's formula and strong local nondeterminism of fractional Brownian motion. We also show that the graph of a symmetric $α$-stable process has Fourier dimension 1 almost surely when $α\in [1,2]$ and is a Salem set when $α= 1$.2025-02-13T07:37:52ZChun-Kit LaiCheuk Yin Leehttp://arxiv.org/abs/2605.20527v1$L^2$-Stability for STFT phase retrieval2026-05-19T22:00:57ZWe prove that the short-time Fourier transform with Gaussian window performs $L^2$-local stable phase retrieval at the constant function. The proof involved significant interplay between mathematicians and LLMs. An autoformalization in Lean 4 of an extension of our result to $L^2$-local stable phase retrieval for all Hermite windows and all elements in the finite span of the canonical basis vectors is also presented.2026-05-19T22:00:57Z24 pages, accpmpaining Lean source code in https://github.com/susannabertolini/PhaseRetrievalSusanna BertoliniJaume de Dios PontBen PineauMitchell A. TaylorJoão P. G. Ramoshttp://arxiv.org/abs/2605.20412v1Brascamp--Lieb inequalities for fractal dimensions2026-05-19T19:07:51ZWe use the Brascamp--Lieb inequality from functional analysis to prove novel inequalities for the upper box, packing, and Assouad dimensions of fractal sets in terms of the dimensions of certain projections. Analogous inequalities do not hold for Hausdorff or lower box dimensions. We apply these fractal Brascamp--Lieb inequalities to establish new exceptional set estimates for orthogonal projections and to provide sharp dimension estimates for certain constrained sumsets. We also establish analogous nonlinear inequalities via the nonlinear Brascamp--Lieb inequality.2026-05-19T19:07:51Z18 pagesJonathan M. Fraserhttp://arxiv.org/abs/2501.07943v2Optimization algorithms for Carleson and sparse collections of sets2026-05-19T19:05:28ZCarleson and sparse collections of sets play a central role in dyadic harmonic analysis. We employ methods from optimization theory to study such collections. First, we present a strongly polynomial algorithm to compute the Carleson constant of a collection of sets, improving on the recent approximation algorithm of Rey. Our algorithm is based on submodular function minimization. Second, we provide an algorithm showing that any Carleson collection is sparse, achieving optimal dependence of the respective constants and thus providing a constructive proof of a result of Hänninen. Our key insight is a reformulation of the duality between the Carleson condition and sparseness in terms of the duality between the maximum flow and the minimum cut in a weighted directed graph.2025-01-14T08:55:23Z17 pages, 4 figuresEline A. HonigEmiel Lorist10.1016/j.acha.2026.101891http://arxiv.org/abs/2512.18744v2Higher-Rank Mathieu Opers, Toda Chain, and Analytic Langlands Correspondence2026-05-19T17:07:35ZWe study the Riemann-Hilbert problem associated to flat sections of oper connections of arbitrary rank on the twice-punctured Riemann sphere with irregular singularities of the mildest type. We construct the solutions in terms of the solutions to a single non-linear integral equation. It follows from this construction that the generating function of the submanifold of opers coincides with the Yang-Yang function of the quantum Toda chain, proving a conjecture by Nekrasov, Rosly and Shatashvili. In this way we may furthermore reformulate the quantization conditions of the Toda chain in terms of the connection problem, for which we also provide a solution. We finally interpret our results as a variant of the Analytic Langlands Correspondence for the real version of the Hitchin system corresponding to the Toda chain.2025-12-21T14:21:32Z58 pages; v2: minor corrections and improvements, added reference GM18Jonah BaermanGiovanni RavazziniJoerg Teschnerhttp://arxiv.org/abs/2605.20100v1A discussion of two new proofs of Fefferman's Fourier extension theorem in the plane2026-05-19T16:51:35ZThe Fourier extension conjecture of E. Stein was proved in the plane in 1970 by C. Fefferman, see also Zygmund and Carleson and Sjölin, with simplifications given by other authors later on, in particular by L. Hörmander and T. Tao. We discuss yet two more proofs of this classical theorem on the parabola. The first proof uses C. Fefferman's decoupling together with a decomposition into Haar wavelets. This sets the stage for the second proof in Rios and Sawyer, that uses smooth Alpert wavelets and a new decoupling method, which exploits averaging smooth Alpert projections over grids, the extraction of Dirichlet kernels, and periodic stationary phase, all of which was extended to higher dimensions in arXiv:2512.24990v7.2026-05-19T16:51:35Z10 pagesEric T. Sawyerhttp://arxiv.org/abs/2605.20018v1The Law of the iterated logaritm for smooth functions2026-05-19T15:46:15ZA version of the Law of the Iterated Logarithm for smooth functions in the upper-half space is proved. As a consequence, we show that certain size conditions on the gradient and the gradient of the laplacian of a smooth function, lead to self-improvement growth properties. The results are applied in situations where harmonicity is not present.2026-05-19T15:46:15Z18 pagesJosé G. LlorenteArtur Nicolau