https://arxiv.org/api/yhV3W3EWVj+z8s4oJHfH/Khl4wc2026-06-13T17:50:57Z250569015http://arxiv.org/abs/2606.01130v1Chamber lifting and non-radial Dunkl multipliers2026-05-31T10:02:44ZWe study non-radial Dunkl multipliers via chamber lifting. For an arbitrary finite reflection group $G$, the chamber lifting records all reflected values of a function and conjugates a multiplier into a finite matrix-valued operator on the chamber. If the dyadic matrix entries admit off-diagonal kernels satisfying the chamber $L^2$ Hörmander condition $\operatorname{CH}^2_{s,η}$ with $s>N_κ/2$, then the original multiplier is bounded on $L^p(\mathbb R^N,dω)$ for every $1<p<\infty$.
For the product reflection group $Σ_N=A_1^N\simeq\mathbb Z_2^N$ this chamber condition follows from scalar Sobolev conditions on the Walsh pieces of the multiplier. The tensor product of the one-dimensional even/odd Dunkl decompositions, together with the finite Walsh transform, identifies each lifted matrix entry with a Hankel multiplier acting between parity components. Wall separation and a scale-invariant $L^2$ Sobolev condition of order $σ>N_κ/2$ therefore imply $L^p$ boundedness, for all $1<p<\infty$, for a genuinely non-radial class of symbols. The order $N_κ/2$ is forced already by the rank-one Bessel transform.
The same chamber theorem also applies to non-product examples once the matrix kernel condition is known, including the dihedral groups $I_2(q)$ and hence $A_2\simeq I_2(3)$ and $B_2\simeq I_2(4)$. The scalar Walsh--Sobolev verification is specific to $A_1^N$. In non-product groups such as $A_2$, $A_{N-1}$, and $B_N$, the product parity calculus is absent, so a scalar theorem of the same form would require additional transform estimates.2026-05-31T10:02:44ZDer-Chen ChangJi LiChaojie WenLiangchuan Wuhttp://arxiv.org/abs/2606.00912v1Frames of orbits of multiplication operators on Hardy spaces2026-05-30T22:25:49ZWe study frames for Hardy spaces generated by orbits of multiplication operators. We characterize the symbols $\varphi \in H^\infty(\mathbb{T}^N)$ for which the multiplication operator $M_\varphi$ admits a frame of orbits on $H^2(\mathbb{T}^N)$. We also show that, in this setting, the existence of a frame is equivalent to the existence of a Parseval frame. Moreover, for $N=1$ we prove that finitely many orbits suffice if and only if $\varphi$ is a finite Blaschke product. For $N > 1$, no finite collection of orbits can generate a frame, regardless of the symbol. We study the analogous problem for the adjoint operator $M_\varphi^*$. Our results extend to the infinite-dimensional torus $\mathbb{T}^\infty$ and, via Bohr's transform, to the Hardy space of Dirichlet series $\mathcal{H}_2$.2026-05-30T22:25:49ZAlejandra Aguilera adn Daniel Carandohttp://arxiv.org/abs/2003.11419v2On the incomplete Lauricella matrix functions of several variables2026-05-30T06:59:44ZIn this article, we introduce incomplete Lauricella matrix functions (ILMFs) of $n$ variables through application of the incomplete Pochhammer matrix symbols. Furthermore there is derivation of certain properties; matrix differential equation, integral formula, recursion formula and differentiation formula of the ILMFs. We also establish the connection between these matrix functions and other peculiar matrix functions; incomplete gamma matrix function, Laguerre, Bessel and modified Bessel matrix functions.2020-03-17T04:46:43Zwrong file uploaded some results are need to improveAshish Vermahttp://arxiv.org/abs/2606.00554v1On a Local Radial Rigidity Phenomenon of Elliptic Systems on Riemannian Manifolds2026-05-30T06:02:01ZIn this paper, we study local radial rigidity phenomena for a broad class of general-order elliptic systems on Riemannian manifolds via a reduction to singular ordinary differential equations of Euler type. These rigidity properties have natural applications to several geometric problems, including prescribed curvature problems of Yamabe and Paneitz type in conformal geometry, higher-order analogues arising from harmonic maps, and Calabi-type problems on Kähler manifolds. The method applies also to higher-order nonlinear Poisson systems and, more generally, to weighted divergence-form elliptic systems, yielding local uniqueness and existence results for solutions with prescribed initial jets at the singularity.2026-05-30T06:02:01ZYifei PanYu YanYuan Zhanghttp://arxiv.org/abs/2606.00381v1A Quantified Two-projection Theorem for Nonlinear Projections2026-05-29T21:45:39ZThe classic Besicovitch projection theorem asserts that if a set is purely $1$-unrectifiable with finite length in $\mathbb{R}^2$, its orthogonal projection has Lebesgue measure zero in almost every direction. In the opposite direction, the two-projection theorem states that if a Borel set has zero measure under orthogonal projections onto two distinct non-antipodal directions, it must be purely $1$-unrectifiable. We extend the two-projection theorem to certain families nonlinear projections and consider applications to pinned distance sets, radial projections, and curve projection operators. Further, we use a multiscale framework to obtain a quantitative version of our nonlinear two-projection theorem. Our arguments utilize methods introduced by Tao, who provided a quantitative treatment of the classic linear two-projection theorem.2026-05-29T21:45:39ZZhangze LiKrystal Taylorhttp://arxiv.org/abs/2606.00347v1Empirical Approximation of $L_p$ Norms2026-05-29T20:37:17ZWe study empirical $L_p$ moments of a random vector $\pmb\varphi$ based on its i.i.d.\ copies $\pmb\varphi^1,\ldots,\pmb\varphi^m$, that is, $\frac1m\sum_{j=1}^m |\langle \pmb\varphi^j,y\rangle|^p$. Our main result is a new estimate for the expected uniform deviation \[ \mathbb{E}\sup_{y\in D}\biggl| \frac1m\sum_{j=1}^m |\langle \pmb\varphi^j,y\rangle|^p -\mathbb{E}|\langle \pmb\varphi,y\rangle|^p \biggr| \] over an arbitrary index set $D$. The proof is based on a new bound for Talagrand's $γ$-functional, sharper than the standard Dudley-type entropy estimate. We then apply this estimate to the following two problems.
First, for $p>2$, we study Marcinkiewicz-type discretization of $L_p$ norms on an $N$-dimensional subspace $X_N\subset B(Ω)$ of bounded functions on a probability space $(Ω,μ)$. We obtain bounds in terms of the norm of the embedding $
(X_N,\|\cdot\|_{L_p(μ)})\hookrightarrow B(Ω). $
In particular, we prove that when this norm is of order $N^{1/p}$ and \[ m \ge C(p)\, N\log N\,(\log\log N)^{p-1}, \] then $m$ random samples suffice to approximate the $L_p(μ)$ norm uniformly on $X_N$ by the sampled discrete $L_p$ norm. This substantially improves the previously known bound in this setting $
m \ge C(p)\, N(\log N)^{\min\{p,3\}}, $
and is optimal up to the factor $(\log\log N)^{p-1}$ in the random-sampling setting.
Second, for $1\le p<2$, we obtain an $L_p$ analogue of the restricted isometry property via random sampling for bounded orthogonal systems and, more generally, for $N$-element systems $\mathcal D_N$ satisfying a Riesz-type condition. We prove that when \[ m \ge C(p)\, s\log N\,(\log s)^2\,\log\log s, \] then $m$ random samples suffice to guarantee an $L_p$ restricted isometry-type property uniformly over the class of all $s$-sparse functions generated by $\mathcal D_N$.2026-05-29T20:37:17Z50 pagesFeng DaiEgor KosovNoel Muraskohttp://arxiv.org/abs/2606.00316v1High-level convexity for products of squared Euclidean distance functions2026-05-29T19:42:40ZWe study smooth functions on Euclidean space whose Hessian is positive definite outside a bounded set, with emphasis on products of squared distance functions. More precisely, we first prove a simple convexity principle: if the superlevel region $f^{-1}([c,\infty))$ is contained in the Hessian-positive region of $f$, then the sublevel set $\{f\le c\}$ is convex. We apply this to finite products $F_P(x)=\prod_{p\in P}\|x-p\|^2$, proving that their Hessian-positive complements are bounded. For the two-centre product $F_{p,q}(x)=\|x-p\|^2\|x-q\|^2$ in dimension $n\ge2$, we compute the Hessian-positive region and the exact value \[
h_{max}(F_{p,q})=\frac{\|p-q\|^4}{4}. \] This value is sharp for convexity of sublevel sets in the following sense: we prove convexity above it and nonconvexity below it. This also gives the exact convexity and quasiconvexity truncation levels for the two-centre model.2026-05-29T19:42:40Z10 pages; comments are welcomeTudor MicuCornel PinteaGeorge C. Ţurcaşhttp://arxiv.org/abs/2509.18285v2Cardy limit of the 3d superconformal index2026-05-29T16:19:03ZWe study the superconformal index $Z(q)$ of 3d $\mathcal{N}=2$ gauge theories in Cardy-like limits $β= \log \tfrac{1}{q} \to 0^+$, extending techniques recently developed in the 4d $\mathcal{N}=1$ context. For theories with vectorlike matter content we find on the first sheet ($q \to 1$) that $Z(q) \sim β^{-\#}$, where the exponent $\#$ is determined by a $multiscale\ decomposition$ of the BPS moduli space appearing in the localization formula for the index. On the second sheet ($q \to e^{2πi})$ we find $Z(q) \sim e^{\#/ β}$, and that the long-standing puzzle of apparent gauge-enhancing saddles is resolved (in the absence of Chern--Simons couplings) via a novel $Lorentzian\ factorization$ formula that establishes complete screening.
A key insight is the use of $Poisson\ resummation$, which streamlines the asymptotic analysis, sharpens the link to Kaluza--Klein effective field theory, and provides a dual description of parts of the BPS moduli space in terms of punctured surfaces. The Lorentzian factorization formula also emerges from Poisson resummation, though applied after a contour crossing in moduli space. This, in turn, hints at a correspondence between 3d monopoles and vortices via 2d duality.2025-09-22T18:12:24Z5 figures, a 12-page summary in the introduction section. v2: minor correctionsArash Arabi ArdehaliMathieu BoisvertShehab Hossam Faddahttp://arxiv.org/abs/2605.12815v2Complex methods in the asymptotics of Möbius energy integrals of helix curves2026-05-29T15:55:02ZThe Möbius energy of a curve is a topic of interest to physical knot theorists, harmonic analysts, and geometric analysts. In particular, there are many open questions regarding the gradient flow and critical points. The Gateaux derivative indicates the variation is dependent on curvature and torsion, and so to better understand the gradient, we investigate the family of helix curves, where the ratio of torsion to curvature is a constant proportional to the pitch.
We fix the radius of the helix, and study the coiling in both directions: as the helix unravels to a straight line, and as it coils infinitely tight. Specifically, we study the arclength-rescaled Möbius energy density, which is a naturally tractable quantity under the Möbius energy's chord-arc comparison of inverse-square laws.
The asymptotics of the uncoiling helix, corresponding to an energy decay, can be proven with a short chain of estimates. However, the asymptotics of the helix as it coils infinitely tight, blowing up the energy, is a much more involved calculation. Our strategy for calculating the asymptotics, initially reminiscent of the work by Kim-Kusner, begins with a meromorphic extension of the integrand. However, proving the asymptotic equivalence requires a fundamentally distinct strategy because our integrand has infinitely many poles.
keywords: Möbius energy, helix, complex asymptotics, knot energies, physical knot theory, coiling, curves2026-05-12T23:15:15Z26 pages, 3 figures, comments welcomeMax Liptonhttp://arxiv.org/abs/2509.05711v2An improved lower bound for star-shaped Kakeya sets2026-05-29T15:22:11ZIn 1971, Cunningham proved that every star-shaped Kakeya set $E\subset\mathbb{R}^2$ satisfies $|E| \geq π/108$. In this paper, we show that Cunningham's bound is not optimal and can be improved to $|E| \geq π/98$.2025-09-06T13:19:02Z16 pages, 7 figures, the final version of the article is published in Ann. Fenn. MathAnnales Fennici Mathematici, Volume 51, 2026Shaoqi Li10.54330/afm.185132http://arxiv.org/abs/2605.31356v1Pólya--Schur problems and free probability2026-05-29T14:30:41ZIn this work, we build a bridge between the Pólya--Schur program and Voiculescu's free probability theory. A cornerstone of the former is the Pólya--Benz Theorem, classifying a central family of real-root preserving operators on the space of polynomials, as those given by $f(\partial_z)$ for a Laguerre--Pólya function $f$ and the derivative operator $\partial_{z}$. We prove that any free (additive) infinitely divisible distribution can be attained as the weak limit of root distributions of Appell polynomials $f_n(\partial_z)z^n$ as $n\to\infty$, for a suitably chosen sequence $f_n$ of Laguerre--Pólya functions.
Such questions on the (global) limiting distributions of real rooted polynomials belong to the active research area of finite free probability. In contrast to its standard tools, our approach allows for non-compactly supported limiting distributions, (barely) complex rooted polynomials and even provides the full microscopic description of the roots. Moreover, we extend our results to differential operators generating free multiplicative infinitely divisible distributions, to the rectangular free convolution, and to $f_n(\partial_z)p_n$ for real rooted polynomials $p_n$, implying a generalization of the recent connections between the heat flow and free Brownian motion to any free Lévy process.
As corollaries, we identify free stable distributions by choosing $f_n$ to be a fixed rescaled Laguerre--Pólya function, and we prove various convergence results on the zero distributions of Jensen polynomials, e.g. the limiting root distribution of Jensen polynomial of the Riemann $Ξ$-function is given by the Cauchy distribution.2026-05-29T14:30:41Z32 pages, 1 figureAndrew CampbellJonas Jalowyhttp://arxiv.org/abs/2605.01406v2Special Solutions of $q$-Heun Equation by $q$-Integral Transformations2026-05-29T09:53:54ZWe obtain special solutions of the $q$-Heun equation which are expressed as finite summations of $q$-hypergeometric functions. These solutions are obtained by considering the $q$-integral transformations of the polynomial-type solutions.2026-05-02T12:05:47Z27 pages. Typos are corrected and minor modifications are addedAyaka MurakamiKouichi Takemurahttp://arxiv.org/abs/2605.29991v2Complex spectrum of the partial theta function2026-05-29T07:10:02ZWe study the complex spectrum of the partial theta function \[
Θ(q,x)=\sum_{j=0}^{\infty}q^{j(j+1)/2}x^j,
\qquad |q|<1, \] where a spectral value is a parameter for which \(Θ(q,\cdot)\) has a multiple zero. Since the function is defined here only for \(|q|<1\), all spectral values are strictly inside the unit disk; boundary points on \(|q|=1\) occur only as accumulation points of the spectrum. The paper combines two complementary points of view. Near the unit circle we prove that every point of \(|q|=1\) is an accumulation point of the spectrum; the proof uses explicit spectral factors of truncations, the Jacobi triple product, and a boundary-window lifting argument near roots of unity. Inside a fixed subdisk, illustrated for \(|q|\leq 0.8\), the true spectrum is locally finite and must be separated carefully from the much larger branch loci of truncations and Jensen polynomials. We give a truncation-seeded Newton procedure which produces a discrete list of candidate spectral values, explain the caustic/escaping-root mechanism in finite approximants, and record numerical monodromy experiments using a radial convention: for a spectral point \(q_*\), roots are labelled at the point \(0.1q_*/|q_*|\) on the small circle and then continued along the straight radial segment to \(q_*\). This convention gives a coherent set of collision labels in the disk, treats negative real spectral values from the base point \(-0.1\), and leads to a preliminary rational-direction heuristic for radial monodromy.2026-05-28T14:24:37Z24 pages, 6 figures. Abstract changed and a figure addedBoris Shapirohttp://arxiv.org/abs/2605.30867v1A Complete Solution of Optimal Hypercontractivity and Log--Sobolev inequalities on Cyclic Groups $\mathbb{Z}_{n}$ for $n\geq 4$2026-05-29T05:48:18ZFor $1<p\le q<\infty$ and $n\geq 4$, we prove that the Poisson-like semigroup $(P_t)_{t\in \mathbb{R}_+}$ on $\mathbb{Z}_n$, associated with the word length $ψ_n(k)=\min(k,n-k)$, is hypercontractive from $L_p$ to $L_q$ if and only if $t\ge \tfrac{1}{2}\log\big(\tfrac{q-1}{p-1}\big)$. To this end, we establish the corresponding sharp Log--Sobolev inequalities with the optimal constant $2$.2026-05-29T05:48:18ZGan Yaohttp://arxiv.org/abs/2605.30766v1Two-weight inequalities for the Dunkl--Poisson integrals2026-05-29T02:52:00ZWe prove an $L^2$ two-weight testing theorem for the Dunkl--Poisson semigroup. The difficulty is geometric. The Dunkl orbit distance has several reflected diagonals, so a single orbit-box test may mix different chamber components. We avoid this by working on one Weyl chamber and keeping the chamber indices. Under the wall-null assumption the full operator becomes a finite matrix of scalar positive Poisson-type operators. In each entry the orbit diagonal is just the ordinary diagonal in the chamber variables. The scalar proof is then a principal-cube stopping-time argument, with two Dunkl kernel comparisons as the only new estimates. The resulting forward and backward tests are necessary and sufficient for the original Dunkl--Poisson inequality.2026-05-29T02:52:00ZQingdong GuoJi LiBrett D. WickLiangchuan Wu