Rado's covering problem for cubes and balls: a semi-survey

2026-04-24T15:05:10Z

What is the largest constant $c\in [0,1]$ with the property that every finite collection $\mathcal{C}$ of axis-parallel squares in the plane admits a disjoint sub-collection $\mathcal{S}$ occupying at least a fraction $c$ of the area covered by $\mathcal{C}$? This problem was first raised by T.~Radó in 1928, who was motivated by a classical covering lemma in real analysis due to Vitali. R.~Rado later generalized the problem from axis-parallel squares in the plane to homothetic copies of any given convex body $K$ in $\mathbb{R}^d$, where now we are looking for an optimal constant $F(K)$. Our utmost interest is for cubes and balls in the high-dimensional regime $d\rightarrow \infty$. The estimates that we currently have for cubes are much more precise than those for balls: namely if $Q^d$ is a $d$-dimensional cube, then \[ (e^{-1}+o(1))\frac{2^{-d}}{d \log{d}} \leq F(Q^d)\leq 2^{-d}, \] while denoting $B^d$ a $d$-dimensional Euclidean ball, then \[ (1+ε_d)3^{-d}\leq F(B^d)\leq 2.447^{-d}, \] where $ε_d>0$ vanishes exponentially fast as $d\rightarrow \infty$. The latter upper bound is obtained here by using the Kabatiansky--Levenshtein bound for the sphere packing problem.

Skew-orthogonal polynomials for a quartic Freud weight: two classes of quasi-orthogonal polynomials

2026-04-24T14:47:08Z

This work is a thorough investigation of skew-orthogonal polynomials with respect to a quartic Freud weight. We provide an explicit method to evaluate skew-orthogonal polynomials of any degree as linear combinations of orthogonal polynomials. The coefficients of these combinations can be evaluated via novel recursive relations. Moreover, we observe that skew-orthogonal polynomials with even and odd degree constitute two families of quasi-orthogonal polynomials with respect to two different semi-classical Laguerre weights, and we provide the first instance of closed recursive relations involving skew-orthogonal polynomials only.

Entrywise preservers of sign regularity

2026-04-24T13:31:35Z

Entrywise functions preserving positivity and related notions have a rich history, beginning with the seminal works of Schur, Pólya-Szegő, Schoenberg, and Rudin. Following their classical results, it is well-known that entrywise functions preserving positive semidefiniteness for matrices of all dimensions must be real analytic with non-negative Taylor coefficients. These works were taken forward in the last decade by Belton, Guillot, Khare, Putinar, and Rajaratnam. Recently, Belton-Guillot-Khare-Putinar [J. d'Analyse Math. 2023] classified all functions that entrywise preserve totally positive (TP) and totally non-negative (TN) matrices. In this paper, we study entrywise preservers of strictly sign regular and sign regular matrices - a class that includes TP/TN matrices as special cases and was first studied by Schoenberg in 1930 to characterize variation diminution. Our main results provide complete characterizations of entrywise transforms of rectangular matrices which preserve: (i)~sign regularity and strict sign regularity, as well as (ii)~sign regularity and strict sign regularity with a given sign pattern.

$A_\infty$-invariance of oscillatory norms, and Schatten characterisations of commutators

2026-04-24T11:52:17Z

Schatten class properties of commutators $[b,T]$ of pointwise multipliers $b$ and singular integral operators $T$ have been characterised in a variety of settings. An abstract framework, covering many of these results as special cases, was proposed by the author [arXiv:2411.02613]. However, recent results about commutators of the concrete Bessel-Riesz transforms by Fan-Li-Sukochev-Zanin [arXiv:2411.14928] are beyond this abstract setting. In this work, we present an extension of the framework of [arXiv:2411.02613], introducing two measures $μ$ and $ν$ that are $A_\infty$-equivalent to each other. The commutators act on a given space $L^2(μ)$, but the characterising function space norms of the multiplier $b$ are taken with respect to another measure $ν$. In this way, assumptions like Ahlfors regularity and Poincaré inequality on the original measure $μ$ may be relaxed, as long as there is an $A_\infty$-equivalent measure $ν$ that satisfies these assumptions. In the Bessel example, the original $μ$ fails to be Ahlfors regular, but $ν$ is simply the Lebesgue measure. Within this framework, the Schatten norm characterisations of commutators of the Bessel-Riesz transforms at the critical-index by Fan-Li-Sukochev-Zanin [op cit.] are recovered by a completely different argument, replacing non-commutative techniques by real-variable harmonic analysis and hardly using any specifics of the Bessel setting. As a by-product, we also obtain a simpler characterisation in the non-critical case, replacing an ad-hoc Besov space of Fan-Lacey-Li-Xiong [J. Funct. Anal. 2026] by a classical Besov space.

Normalizing Asymptotic Differential Equations

2026-04-24T10:10:23Z

We define the universal exponential extension of an algebraically closed differential field and investigate its properties in the presence of a nice valuation and in connection with linear differential equations. Next we prove normalization theorems for algebraic differential equations over $H$-fields, as a tool in solving such equations in suitable extensions. The results in this monograph are essential in our work on Hardy fields in [6].

Self-embedding similitudes of Bedford-McMullen carpets with dependent ratios

2026-04-24T07:38:46Z

We prove that any non-degenerate Bedford-McMullen carpet does not admit oblique self-embedding similitudes; that is, if $f$ is a similitude sending the carpet into itself, then the image of the $x$-axis under $f$ must be parallel to one of the principal axes. This result leads to a logarithmic commensurability result on the contraction ratios of such embeddings, completing a previous study by Algom and Hochman [Ergod. Th. & Dynam. Sys. 39 (2019), 577-603] on Bedford-McMullen carpets generated by multiplicatively independent exponents. Our approach also provides a new proof of their non-obliqueness statement that avoids analyzing the tangent sets. For the self-similar case, however, we construct a generalized Sierpiński carpet that is symmetric with respect to an appropriate oblique line and hence admits a reflectional oblique self-embedding. As a complement, we prove that if a generalized Sierpiński carpet satisfies the strong separation condition and permits an oblique rotational self-embedding similitude, then the tangent of the rotation angle takes values $\pm 1$.

Algebraic methods in periodic singular Liouville equations

2026-04-24T02:58:05Z

We explain how algebraic geometry comes into play in the study of non-linear mean field (singular Liouville) equations $$ \triangle u + e^u = 4π\sum_{i = 1}^N \ell_i δ_{p_i} $$ on a flat torus $E = \Bbb C/Λ$, where $N, \ell_1, \ldots, \ell_N \in \Bbb N$, $p_i \in E$ are distinct points, and $δ_{p_i}$ is the Dirac measure at $p_i$. The case with one singular source ($N = 1$) had been studied extensively in recent years. We start with a survey of this case with emphasizes on the constructions of Lamé curves $\overline X_n$ and pre-modular forms $Z_n(σ, τ)$ which encodes the structure of solutions of the PDE. We then discuss extensions to the case of general $N$. The basic tool is the monodromy theory for generalized Lamé equations. Two aspects are discussed: (1) For $\ell := \sum_{i = 1}^N \ell_i$ being odd, an exact counting formula of \emph{algebraic degree} is proved. (2) For $\ell$ being even, the existence of generalized Lamé curves parametrizing logarithmic-free solutions is proposed.

Thomas-Fermi equation revisited: A variation on a theme by Majorana

2026-04-23T23:31:33Z

Majorana found a way to exploit the scaling properties of the Thomas-Fermi equation for converting this second-order differential equation into one of first order. We explore his method for the familiar neutral-atom solution and extend it to the solution that is relevant for weakly ionized atoms. Various integrals and other quantities with importance for atomic physics are recalculated and their values compared with the ones obtained in the 1980s by more tedious numerical procedures.

Some inequalities for the beta function and its ratios

2026-04-23T21:29:02Z

In this paper, we prove some inequalities for the differences and ratios of the beta function.

A natural decomposition of the Jacobi equation for some classes of $N$-body problems

2026-04-22T22:13:02Z

We consider several $N$-body problems. The main result is a very simple and natural criterion for decoupling the Jacobi equation for some classes of them. If $E$ is a Euclidean space, and the potential function $U(x)$ for the $N$-body problem is a $C^2$ function defined in an open subset of $E^N$, then the Jacobi equation along a given motion $x(t)$ writes $\ddot J=HU_x(J)$, where the endomorphism $HU_x$ of $E^N$ represents the second derivative of the potential with respect to the mass inner product. Our splitting in particular applies to the case of homographic motions by central configurations. It allows then to deduce the well known Meyer-Schmidt decomposition for the linearization of the Euler-Lagrange flow in the phase space, formulated twenty years ago to study the relative equilibria of the planar $N$-body problem. However, our decomposition principle applies in many other classes of $N$-body problems, for instance to the case of isosceles three body problem, in which Sitnikov proved the existence of oscillatory motions. As a first concrete application, for the classical three-body problem we give a simple and short proof of a theorem of Y. Ou, ensuring that if the masses verify $μ=(m_1+m_2+m_3)^2/(m_1m_2+m_2m_3+m_1m_3)<27/8$ then the elliptic Lagrange solutions are linearly unstable for any value of the excentricity.

A note on the sum-product problem for fractal sets

2026-04-22T19:03:25Z

Utilising recent advances in incidence geometry for balls and tubes, and advances in sum-product theory in the discrete setting, we show that for $0 < s \leq 1/2$ and for any $A \subset \mathbb{R}$ with Hausdorff dimension $s$, either the upper-box dimension of $AA$, or the lower-box dimension of $A+A$ must be at least $29s/23$. We obtain the slightly better bound of $33 s / 26$ when we replace the sum-set with the smoother difference-set.

Modified scattering for the three dimensional Maxwell-Dirac system

2026-04-22T14:03:57Z

In this work we prove global well-posedness for the massive Maxwell-Dirac system in the Lorenz gauge in $\mathbb{R}^{1+3}$, for small, sufficiently smooth and decaying initial data, as well as modified scattering for the solutions. Heuristically we exploit the close connection between the massive Maxwell-Dirac and the wave-Klein-Gordon equations, while developing a novel approach which applies directly at the level of the Dirac equations. The modified scattering result follows from a precise description of the asymptotic behavior of the solutions inside the light cone, which we derive via the method of testing with wave packets of Ifrim-Tataru.

On the Sadowsky functional for anisotropic ribbons

2026-04-22T13:48:58Z

The equilibrium shape of a thin, elastic, inextensible ribbon minimizes its bending energy. It has been shown that, as the width of the ribbon tends to zero, the bending energy Gamma-converges to the so called Sadowsky functional. In this paper we consider geometrically frustrated anisotropic ribbons with a possibly curved reference configuration. We prove that the Gamma-convergence remains valid under prescribed affine boundary conditions, including, in particular, those satisfied by a Möbius strip.

Generalized Hilbert matrix operators acting on weighted sequence spaces

2026-04-22T03:46:12Z

In this paper we introduce and study a new kind of generalized Hilbert matrix operators, induced by a positive finite Borel measure on (0,1), acting on weighted sequence spaces. We establish a sufficient and necessary condition for the boundedness of these operators. These results extend some related ones obtained recently in [Bull. London Math. Soc., 55 (2023), no. 6, 2598-2610].

Local Bernstein theory, and lower bounds for Lebesgue constants

2026-04-22T03:16:58Z

Classical (or ``global'') Bernstein theory establishes sharp control on entire functions of exponential type that are bounded and real-valued on the real axis. We localize some of this theory to rectangular regions $\{ x+iy: x \in I, 0 \leq y \leq y_0 \}$, showing that Bernstein-type bounds with acceptable errors can continue to hold for functions holomorphic in such rectangles, bounded and real-valued on the lower edge of the rectangle, at most exponentially large on the upper edge, and at most double exponentially large on the vertical sides. As a consequence of these bounds, we are able to localize the Erdős lower bound $\sup_{x \in [-1,1]} λ(x) \geq \frac{2}π \log n - O(1)$ on the Lebesgue constant of interpolation on $C([-1,1])$ to shorter intervals $I$ than $[-1,1]$, answering a question of Erdős and Turán. By using suitably weighted versions of the residue theorem, we also obtain the asymptotically sharp lower bound $\int_I λ(x)\ dx \geq \frac{4|I|}{π^2} \log n - o(\log n)$ for integral variants of such constants, answering a further question of Erdős.