Shifted Lévy's Dragon Curve and Directed Graph

2026-05-04T15:24:45Z

It is known that every point on Lévy's Dragon Curve admits a natural representation as a complex power series. We introduce a directed graph $\mathcal{G}_1$ which characterizes this representation. In this paper, we study the translation of the curve by $s=-1/2+i/2$. We identify another directed graph $\mathcal{G}_2$, that characterizes the translated curve and exhibits a revolving structure analogous to that of $\mathcal{G}_1$.

$χ^2$-cut-off phenomenon for Galerkin projections of Fokker-Planck equations with monomial potentials

2026-05-04T13:57:53Z

In this manuscript, we establish the existence/non-existence of the cut-off phenomenon for the Langevin--Kolmogorov random dynamics with monomial convex potentials, possible singular, and driven by a Brownian motion with small strength. We consider a truncated $χ^2$-distance, that is, a distance based on Galerkin projections of the eigensystem, and show that not only a refined knowledge of the eigenvalues is needed but also a refined asymptotics of the growth for the eigenfunctions of the Fokker--Planck equations associated to the Langevin--Kolmogorov dynamics. In addition, this explicit analysis yields asymptotics of the mixing times and, in some regimes, information on the limiting profile, going beyond the product condition and the cut-off window alone.

Cotlar martingale transforms and related singular integrals

2026-05-04T13:26:06Z

The "magical" identity discovered by M.~Cotlar in 1955 for the Hilbert transform is established here in the setting of martingale transforms and, in particular, for conformal martingales. This, together with the probabilistic representation of the Riesz transforms, shows that, at the level of martingale transforms and in odd dimensions, they exhibit the same analytic-type structure as the Hilbert transform on the real line. Consequently, Cotlar's proof of the sharp $L^p$ inequality for powers of $2$ applies. The significance of the martingale Cotlar identity, whose proof is entirely elementary, does not lie in providing an alternative proof of this well-known and relatively simple estimate, but rather in the structural viewpoint it reveals. This structure is explored further. Independent of Cotlar's identity, asymptotic bounds for the $L^p$ norm of the vector of Riesz transforms are investigated. It is shown that, in the limit as $p\to\infty$, this norm coincides asymptotically with that of the Hilbert transform on the real line. The study of the Cotlar identity in the martingale setting is motivated by the desire to gain new insight into two longstanding open problems: T.~Iwaniec's 1983 conjecture on the norm of the Beurling-Ahlfors operator and the problem of determining the sharp constant in E.~M.~Stein's 1984 inequality for the vector of Riesz transforms. Related problems are also discussed. The paper contains both a survey of known results and new contributions. An effort has been made to keep the exposition as self-contained as possible and to present the material in an accessible, largely expository style.

On almost everywhere convergence of Bochner--Riesz means below the critical index

2026-05-04T11:42:03Z

In this paper, we study the almost everywhere convergence problem for the Bochner--Riesz means $S_t^δf$ for $f\in L^p(\mathbb R^d)$ in the subcritical range \[ 0\le δ< δ(d,p):=d\Big(\frac12-\frac1p\Big)-\frac12, \qquad \frac{2d}{d-1}0$, even as a tempered distribution. Nevertheless, the family $\{S_t^δf\}_{t>0}$ can still be interpreted as a distribution on $\mathbb R^d\times(0,\infty)$. We introduce an admissible class $\mathcal C_{p,δ}\subset L^p(\mathbb R^d)$ on which this distribution has sufficient regularity in the $t$ variable to formulate the almost everywhere convergence problem. We establish three results concerning this class. First, we show that $\mathcal C_{p,δ}\neq L^p(\mathbb R^d)$, and thus the almost everywhere convergence problem cannot be formulated for all $L^p$ functions below the critical index. Second, we show that this admissible class is nevertheless large in the sense that, for every $f\in L^p(\mathbb R^d)$, the pullback $f_V=f(V^{-1}\cdot)$ is admissible for Haar-a.e. volume-preserving upper triangular matrix $V$ with positive diagonal entries. Finally, we construct an $f\in \mathcal C_{p,δ}$ for which $S_t^δf$ fails to converge almost everywhere as $t\to\infty$. A key ingredient in our argument is a multiparameter variant of the Bochner--Riesz means.

Application of a Fourier-Type Series Approach based on Triangles of Constant Width to Letterforms

2026-05-04T08:43:56Z

In this work, we present a novel approach to type design by using Fourier-type series to generate letterforms. We construct a Fourier-type series for functions in $L^2(S^1,\mathbb C)$ based on triangles of constant width instead of circles to model the curves and shapes that define individual characters. In order to compute the coefficients of the series, we construct an isomorphism $\mathcal R:L^2(S^1,\mathbb C)\to L^2(S^1,\mathbb C)$ and study its application to letterforms, thus presenting an alternative to the common use of Bézier curves. The proposed method demonstrates potential for creative experimentation in modern type design.

Weighted decoupling with lower-dimensional frequency localization

2026-05-04T05:38:32Z

We prove weighted $L^2$ and refined $L^p$ decoupling estimates for functions whose Fourier transforms are supported in a small neighborhood of the unit sphere or the truncated paraboloid with an additional lower-dimensional frequency localization property. As a special case, we recover the fractal $L^2$ restriction estimate of Du and Zhang, with a sharper dependence on the density of the weight. We also derive weighted refined decoupling estimates related to the Falconer distance set problem, improving earlier results under the stronger assumption that the underlying weight is $α$-dimensional at every scale.

Inhomogeneous Picard-Fuchs equations of Abelian integrals in piecewise smooth near-Hamiltonian systems

2026-05-04T02:00:12Z

In this paper, we explicitly obtain inhomogeneous Picard-Fuchs equations for Abelian integrals $I_{i,j}^+(h)$, where $I_{i,j}^+(h)$ is an integral along orbital arcs defined by polynomials $\frac{1}{2}y^2 + F(x)=h$. Moreover, we discuss the method of using Picard-Fuchs equations to recursively compute the asymptotic expansions of genearating functions of Abelian integrals near a homoclinic loop. As an application, we derive the maximum number of isolated zeros of Melnikov functions near a nilpotent saddle homoclinic loop for piecewise polynomials perturbations with the inclination $θ$ of the separation line as a free parameter.

Dimension Drop for Harmonic Measure on Ahlfors Regular Boundaries

2026-05-03T21:37:02Z

We provide quantitative estimates for the dimension drop of harmonic measure. We show that for a domain $Ω= \mathbb{R}^{n+1} \setminus E$ where $E$ is an $s$-Ahlfors regular compact set satisfying a uniform $L^2$-based non-flatness condition $β_2 \ge δ_0$, the dimension of its harmonic measure is strictly less than $s$ for $s \in (n - cδ_0^2, n]$. For planar domains, we establish an analogous quantitative threshold $s_0 = 1 - cδ_0^2$ under Azzam's uniform non-flatness condition $β_\infty + β_{\operatorname{hole}} \ge δ_0$.

A bibasic double sum extension of a $q$-binomial theorem arising out of subspace enumeration

2026-05-03T07:05:07Z

We prove a conjecture that arose in the context of a subspace enumeration problem over finite fields. We prove, more generally, a bibasic, double-sum identity, which extends a $q$-analogue of the (terminating) binomial theorem.

The strong version of nonlinear Carleson conjecture fails

2026-05-03T00:54:17Z

In the context of the Dirac equation with square-summable potential, we study the Jost solutions and prove that the maximal function associated with the argument of the transmission coefficient is unbounded. We also show that the strong version of the nonlinear Carleson conjecture fails for Dirac equations and Krein systems.

Exact Loop Controllers for ReLU Realization of Homogeneous Curve Refinements

2026-05-03T00:44:46Z

We study homogeneous refinement operators $(Vγ)(t)=\sum_{j\in\mathbb Z}A_jγ(Mt-j)$, acting on compactly supported continuous piecewise linear curves $γ:\mathbb R\to\mathbb R^p$, where $M\ge2$ and only finitely many matrices $A_j\in\mathbb R^{p\times p}$ are nonzero. We prove that the iterates $V^nγ$ admit exact ReLU realizations of fixed width and depth $O(n)$. The main new ingredient is an exact loop controller for the residual dynamics. Instead of propagating scalar residual surrogates, the construction transports the residual orbit by a forward-exact state on a polygonal loop. Scalar factors and digit selectors are then recovered from this loop state by complementary CPwL readouts. The loop seam is not removed, but its remaining ambiguity is confined to the final readout/selector stage, where it is harmless because the scalar atom is supported away from the seam. This gives a homogeneous $M$-ary vector-valued extension of the scalar binary refinable-function construction with a more geometric controller architecture. We also record crude exponential bounds on the network weights and biases. Affine forcing terms are handled by expanding affine iterates into finite sums of homogeneous iterates, giving exact fixed-width realizations with depth $O(n^2)$, and anchored open curves reduce to compactly supported defects with affine anchor mismatch. We also describe homogeneous polygonal generators, including dragon-type examples and a self-intersecting Hilbert-type prototype in arbitrary dimension. The extended version includes stage-dependent forcing, finite-state stacking reductions, and further geometric constructions such as Koch-, Gosper-, Morton-, and connector-based Hilbert-type variants.

Joint upper Banach density, VC dimensions and Euclidean point configurations

2026-05-02T22:17:26Z

We study two related quantities which generalize the concept of upper Banach density of a set to two measurable subsets of the plane. The first of them allows us to generalize a classic result on sufficiently large distances realized in a set of positive upper density, to distances between points of two sets satisfying an appropriate density condition. The second one allows us to show that for all sufficiently large scales $t>0$ and for a smooth, closed, centrally symmetric, planar curve $Γ$ which bounds a convex and compact region in the plane and is of non-vanishing curvature, the family consisting of portions of translates of $tΓ$ has the maximal possible Vapnik--Chervonenkis dimension.

Generalized dichotomies via time rescaling

2026-05-02T18:08:53Z

For discrete-time nonautonomous linear dynamics and a large class of discrete growth rates $μ$, we show that the notion of $μ$ dichotomy (with respect to a sequence of norms) can be completely characterized in terms of ordinary and exponential dichotomy (with respect to a sequence of norms) by employing a suitable rescaling of time. Previously, such a result was known only in the particular case of polynomial dichotomies. As a nontrivial application of our results, we study the structure of a generalized Sacker-Sell spectrum and obtain a series of nonautonomous topological and smooth linearization results.

How Thick Is the Sierpiński Triangle?

2026-05-02T14:50:08Z

Although the Sierpiński triangle has planar area $0$, it is uniformly non-flat: at every point and every scale, its nearby points span a two-dimensional region of comparable size. We prove a sharp version of this statement, showing that the Feng--Wu thickness of $E$ is exactly $\sqrt{3}/6$, the inradius of a unit equilateral triangle. More precisely, if $E$ is the standard Sierpiński triangle of side length $1$ and $B(x,r)$ denotes the closed disk of radius $r$ centered at $x$, then for every $x\in E$ and every $0

On Hölder continuity and $p^\mathrm{th}$-variation function of Weierstrass-type functions

2026-05-02T12:50:52Z

We study Hölder continuity, $p^\mathrm{th}$-variation function and Riesz variation of Weierstrass-type functions along the sequence of $b$-adic partitions, where $b>1$ is an integer. By a Weierstrass-type function, we mean that in the definition of the well-known Weierstrass function, the power function is replaced by a submultiplicative function, and the Lipschitz continuous cosine and sine functions are replaced by a general periodic Hölder continuous function.