Differential system related to Krawtchouk polynomials: iterated regularisation and Painlevé equation

2026-03-28T12:03:51Z

We tackle the regularisation of a differential system related to generalised Krawtchouk polynomials. We show a straightforward connection between certain auxiliary quantities involving the recurrence coefficients of these polynomials and Painlevé V equation via iterative regularisation. Furthermore, we explore how iterative regularisation yields polynomial systems and enables us to find decompositions of certain birational transformations.

Flagfolds: an approach to multi-dimensional varifolds

2026-03-27T18:26:02Z

By interpreting the product of the Principal Component Analysis, that is the covariance matrix, as a sequence of nested subspaces naturally coming with weights according to the level of approximation they provide, we are able to embed all $d$--dimensional Grassmannians into a stratified space of covariance matrices. We observe that Grassmannians constitute the lowest dimensional skeleton of the stratification while it is possible to define a Riemaniann metric on the highest dimensional and dense stratum, such a metric being compatible with the global stratification. With such a Riemaniann metric at hand, it is possible to look for geodesics between two linear subspaces of different dimensions that do not go through higher dimensional linear subspaces as would euclidean geodesics. Building upon the proposed embedding of Grassmannians into the stratified space of covariance matrices, we generalize the concept of varifolds to what we call flagfolds in order to model multi-dimensional shapes.

The Schwartz space for the $ (k, a) $-generalized Fourier transform and the minimal representation of the conformal group

2026-03-27T14:23:19Z

This paper studies an analog of the classical Schwartz space $ \mathscr{S}(\mathbb{R}^N) $ in the framework of $ (k, a) $-deformed harmonic analysis associated with the $ (k, a) $-generalized Fourier transform $ \mathscr{F}_{k, a} $. Motivated by the observation that $ \mathscr{S}(\mathbb{R}^N) $ coincides with the space of smooth vectors for the Segal--Shale--Weil representation, we define the $ (k, a) $-generalized Schwartz space $ \mathscr{S}_{k, a}(\mathbb{R}^N) $ as the space of smooth vectors for the unitary representation associated with $ \mathscr{F}_{k, a} $. Since this definition is intrinsic to the representation, it follows immediately that $ \mathscr{S}_{k, a}(\mathbb{R}^N) $ is preserved by $ \mathscr{F}_{k, a} $. As main results, we explicitly determine $ \mathscr{S}_{k, a}(\mathbb{R}^N) $ for $ N = 1 $, as well as for general $ N $ when $ k = 0 $ and $ a $ is rational. We also explicitly determine the space of smooth vectors for the $ L^2 $-model of the minimal representation of the conformal group $ \widetilde{\mathit{SO}}_0(N + 1, 2) $ studied by Kobayashi--Mano.

The Inverse Problem for Single Trajectories of Rough Differential Equations

2026-03-27T13:49:54Z

Motivated by the need to develop a general framework for performing statistical inference for discretely observed random rough differential equations, our aim is to construct a geometric $p$-rough path ${\bf X}$ whose response $Y$, when driving a rough differential equation, matches the observed trajectory $y$. We call this the \textit{continuous inverse problem} and start by rigorously defining its solution. We then develop a framework where the solution can be constructed as a limit of solutions to appropriately designed \textit{discrete inverse problems}, so that convergence holds in $p$-variation. Our approach is based on calibrating the bounded variation paths whose limit defines the rough path `lift' of path $X$ to rough path ${\bf X}$ to the observed trajectory $y$. Moreover, we develop a general numerical algorithm for constructing the solution to the discrete inverse problem. The core idea of the algorithm is to use the signature representation of the path, iterating between the response and the control, each time correcting according to the required properties. We apply our framework to the case where the geometric $p$-rough path ${\bf X}$ is defined as the limit of piecewise linear paths in the $p$-variation topology. We express the discrete inverse problem for a fixed observation rate as a solution to a system of equations driven by piecewise linear paths and prove convergence to the solution of the continuous inverse problem for observation time $δ\to 0$. Finally, we show that, in this context, the numerical algorithm for solving the discrete inverse problem simplifies to an iterative simultaneous update of the local gradients and we prove that it converges in $p$-variation uniformly with respect to $δ$.

Framing structural identifiability in terms of parameter symmetries

2026-03-27T12:23:02Z

A key step in mechanistic modelling of dynamical systems is to conduct a structural identifiability analysis. This entails deducing which parameter combinations can be estimated from a given set of observed outputs. The standard differential algebra approach answers this question by re-writing the model as a higher-order system of ordinary differential equations that depends solely on the observed outputs. Over the last decades, alternative approaches for analysing structural identifiability based on Lie symmetries acting on independent and dependent variables as well as parameters, have been proposed. However, the link between the standard differential algebra approach and that using full symmetries remains elusive. In this work, we establish this link by introducing the notion of parameter symmetries, which are a special type of full symmetry that alter parameters while preserving the observed outputs. Our main result states that a parameter combination is locally structurally identifiable if and only if it is a differential invariant of all parameter symmetries of a given model. We show that the standard differential algebra approach is consistent with the concept of structural identifiability in terms of parameter symmetries. We present an alternative symmetry-based approach for analysing structural identifiability using parameter symmetries. Lastly, we demonstrate our approach on two well-known models in mathematical biology.

Harald Bohr's splitting theorem

2026-03-27T07:15:21Z

We present a new elementary proof of a theorem due to Harald Bohr, which states that an unbounded, analytic, and almost periodic function in a half-plane can be written as the sum of two analytic functions: the first is unbounded and periodic, while the second is bounded and almost periodic. The proof is based on a well-known arithmetical property of translation numbers of almost periodic functions.

Twisted Multiparameter singular integrals -- real variable methods and applications, I

2026-03-27T07:10:54Z

In this paper, we introduce a class of twisted multiparameter singular integrals on $\mathbb{R}^{2m}$, motivated by the Cauchy--Szegő projections and the solving operators for $\bar{\partial}_b$ on a broad family of quadratic surfaces of higher codimension in $\mathbb{C}^n$. These surfaces are represented as suitable quotients of products of Heisenberg groups, a framework illustrated by Stein (Notices Amer. Math. Soc., 1998). While classical multiparameter product and flag theories are well-developed, Nagel, Ricci, and Stein observed a critical limitation: the class of product operators is not closed under passage to a quotient subgroup. To handle the geometric reduction that models these quotient structures, we take the first step in developing an adapted real-variable theory. We achieve this by introducing twisted tube systems and tube maximal functions, establishing a reproducing formula, Littlewood--Paley theory, a Journé-type covering lemma, and atomic decompositions. As particular examples, we obtain twisted Fourier multipliers -- which emerge as novel, direction-sensitive, and anisotropic phase-shift converters with potential applications in signal and image processing.

Spectral synthesis with the complexity parameter

2026-03-27T01:29:07Z

We show that spectral synthesis thresholds are governed by a quantitative spectral complexity parameter, the Fourier Ratio, in addition to the geometric size of the Fourier support. In the Euclidean setting, we prove that if a compactly supported measure has finite $α$-dimensional packing measure and the associated Fourier ratio decays with asymptotic exponent $κ$, then the classical synthesis threshold improves from $\frac{2d}α$ to $\frac{2(d-2κ)}{α-2κ}$. We then establish an analogous result on compact Riemannian manifolds without boundary. In that setting the relevant object is a localized spectral Fourier ratio defined using Laplace--Beltrami spectral projectors. The resulting synthesis threshold is again determined by the decay exponent of this complexity parameter. These results place Euclidean and manifold spectral synthesis into a common framework in which geometric size and spectral complexity jointly govern uniqueness

On the attainability of the singular Wiener bound

2026-03-26T20:58:45Z

We characterize the lower and upper attainability of the Wiener bound (also known as the conductive analogue of the Voigt-Reuss-Hill bound in elasticity theory) for singularly distributed conductive material mixtures. For the lower attainability we consider mixtures in which high-conductance materials support on sets having finite one-dimensional Hausdorff measures. We show that, under a mild coercivity condition, the kernel of the effective tensor of the mixture is equal to the orthogonal complement of the homotopy classes of closed paths in the supporting set. This shows that a periodic planar network has positive definite effective tensor, i.e., it is resilient to fluctuations, if and only if the network is reticulate. We prove a geometric characterization of the upper attainability by applying a transformation from varifolds to matrix-valued measures. We show that this transformation leads to an equivalence between two distinct notions from material science and geometric measure theory respectively: conductance maximality and area criticality. Based on this relation we show a pointwise dimension bound for mixtures that attain the upper Wiener bound by applying a fractional version of the monotonicity formula for stationary varifolds. This dimension bound illustrates how the maximality condition constrains the local anisotropy and the local distribution of conductance magnitudes. Both the lower and upper attainability results have potential novel applications in modeling leaf venation patterns.

Double Recurrence and Almost Sure Convergence: Primes and Weighted Theory

2026-03-26T19:12:31Z

Let $(X,μ)$ be a probability space equipped with an invertible, measure-preserving transformation $T\colon X \to X$. We exhibit a wide class of weights $w$ so that whenever $f,g \in L^{\infty}(X)$, the bilinear ergodic averages \[ \frac{1}{N} \sum_{n \leq N} w(n)\, T^{an}f \cdot T^{bn}g, \qquad a,b \in \mathbb{Z} \] converge $μ$-almost surely. This class encompasses the von Mangoldt function, resolving Problem 12 from Frantzikinakis' survey on open problems in ergodic theory, the divisor function, the sum-of-two-squares representation function, etc., as well as their restrictions to lower-density Piatetski-Shapiro sequences of the form $\{\lfloor k^{c}\rfloor : k \in \mathbb{N}\}$, $1 \leq c < 7/6$. Our methods combine combinatorial number theory and higher-order Fourier analysis with classical Fourier-analytic/martingale-based methods; the role of $U^{3}$ analysis is particularly significant.

Fourier dimension of Mandelbrot Cascades on planar curves

2026-03-26T16:31:31Z

We consider multifractal Mandelbrot cascades supported on planar $C^2$ curves with nonvanishing curvature and show that their Fourier dimension is as large as possible, i.e., equal to the infimum of the lower pointwise dimension of the measure.

Kakeya Conjecture and Conditional Kolmogorov Complexity

2026-03-26T16:28:07Z

This paper develops an information-theoretic framework for algorithmic complexity under regular identifiable fibering. The central question is: when a decoder is given information about the fiber label in a fibered geometric set, how much can the residual description length be reduced, and when does this reduction fail to bring dimension below the ambient rate? We formulate a directional compression principle, proposing that sets admitting regular, identifiable fiber decompositions should remain informationally incompressible at ambient dimension, unless the fiber structure is degenerate or adaptively chosen. The principle is phrased in the language of algorithmic dimension and the point-to-set principle of Lutz and Lutz, which translates pointwise Kolmogorov complexity into Hausdorff dimension. We prove an exact analytical result: under effectively bi-Lipschitz, identifiable, and computable fibering, the complexity of a point splits additively as the sum of fiber-label complexity and along-fiber residual complexity, up to logarithmic overhead, via the chain rule for Kolmogorov complexity. The Kakeya conjecture (asserting that sets containing a unit segment in every direction have Hausdorff dimension n) motivates the framework. The conjecture was recently resolved in R^3 by Wang and Zahl; it remains open in dimension n >= 4, precisely because adaptive fiber selection undermines the naive conditional split in the general case. We isolate this adaptive-fibering obstruction as the key difficulty and propose a formal research program connecting geometric measure theory, algorithmic complexity, and information-theoretic compression.

Extending Theorems of Boros and Menzer

2026-03-26T16:26:06Z

We extend results of Boros and Menzer on the alternative equation $f(x)f(y)=0$ for generalized polynomials $f$, and their theorems on the conditional inequality $f(x)f(y)\ge 0$ for generalized monomials $f$ of even degree. We use similar methods and ideas. We replace the largeness, of the respective Borel plane set $D$, in the measure or in the Baire category sense, by its largeness in the mixed measure-category sense.

On exponential separation of analytic self-conformal sets on the real line

2026-03-26T16:18:52Z

In a recent article, Rapaport showed that there is no dimension drop for exponentially separated analytic IFSs on the real line. We show that the set of such exponentially separated IFSs in the space of analytic IFSs contains an open and dense set in the $\mathcal{C}^2$ topology. Moreover, we give a sufficient condition for the IFS to be exponentially separated which allows us to construct explicit examples which are exponentially separated. The key technical tool is the introduction of the \emph{dual IFS} which we believe has significant interest in its own right. As an application we also characterise when an analytic IFS can be conjugated to a self-similar IFS.

Characterisation of Stability and Decay Rates in a Weakly Damped Second Order Linear Differential Equation

2026-03-26T15:20:41Z

This paper gives necessary and sufficient conditions for the convergence of the solution of a weakly damped second order linear differential equation that is subjected to outside forcing, for which solutions of the unforced equation are asymptotically stable. Conditions are also given which characterise when the solution and its derivative tend to zero. Finally, we give sharp sufficient conditions under which the solution of the forced equation has the same asymptotic behaviour as the unforced equation, to leading order.