Discrepancy estimates for multi-dimensional non-smooth convex bodies: a case study

2026-06-05T08:18:37Z

We study $L^2$-averaged discrepancies of finite sequences of points in the torus $\mathbb{T}^d$ with respect to translated and dilated copies of convex bodies with non-smooth boundary. Under suitable anisotropic assumptions on the decay of the Fourier transform of the body, we prove matching lower and upper bounds for the averaged discrepancy, obtaining the rate $ N^{1 - \frac{d+1}{d^2+d-1}}$. This yields an intermediate regime between smooth convex bodies and polytopes and recovers the known exponent $2/5$ in dimension $d=2$. The argument relies on harmonic analysis techniques combined with averaging procedures adapted to the anisotropic setting. As an application, we analyze a class of convex bodies exhibiting mixed geometric features, including flat regions, curved parts, and edges.

Visible parts and lower bounds on point-ray incidences

2026-06-05T06:43:20Z

Let $K \subset \mathbb{R}^{2}$ be a compact set. For $θ\in S^{1}$, let $\mathrm{Vis}_θ(K) \subset K$ be the visible part of $K$ in direction $θ$. We prove that $\operatorname{dim}_{\mathrm{H}} \mathrm{Vis}_θ(K) \leq \tfrac{3}{2}$ for $\mathcal{H}^{1}$ almost every $θ\in S^{1}$. The previous record was $\operatorname{dim}_{\mathrm{H}}\mathrm{Vis}_θ(K) \leq 11/6 \approx 1.833$, due to D. Dąbrowski. Our main tool is a variant of a recent incidence lower bound theorem due to Cohen, Pohoata, and Zakharov where, roughly speaking, lines have been replaced by rays, and $δ^{\varepsilon}$-separated incidences are replaced by $1$-separated incidences.

Non-unique solutions to the periodic gKdV equation

2026-06-05T05:32:18Z

In this paper we utilize a convex integration scheme to construct non-trivial weak solutions to the $k$-generalized KdV equation which lie in $$ \bigcap_{ε> 0} C_t^0 L_x^{k-ε}([0,1] \times \mathbb{T}) $$ and, when $k \ge 3$, it may also be chosen in \[ \bigcap_{ε>0} C_t^0 H_x^{\frac{1}{2} - \frac{1}{k} - ε}([0,1] \times \mathbb{T}) \] attaining identically $0$ initial data. Since our solutions do not lie in $C_t^0 L_x^k$, this requires introducing a new notion of weak solution, which is in fact stronger than the classical notion of a weak solution when the nonlinearity is integrable. This result shows that a necessary condition for unconditional uniqueness for $k$-gKdV is that the nonlinearity lies in $C_t^0L^1_x$. In the case of KdV this is in fact also sufficient.

On a $_2F_1\big(\frac{1}{4}\big)$-identity due to Gosper

2026-06-05T03:12:20Z

It is only in exceptional cases that a $_2F_1(z)$-series with rational parameters and a rational argument, apart from the cases for $z \in \{ \pm 1, \frac{1}{2} \}$ associated with classical hypergeometric identities, admits an evaluation given by a combination of $Γ$-values with rational arguments. In this paper, we present a new and integration-based approach toward the construction of special values for $_2F_1$-series of the desired form. We apply this approach using a $_2F_1\big(\frac{1}{4}\big)$-identity originally due to Gosper and later considered by Vidunas, Ebisu, and Zudilin, to evaluate a ${}_{2}F_{1}$-series of convergence rate $\big(\frac{172872}{185039}\big)^2$. With regard to extant research on so-called ``strange'' ${}_{2}F_{1}$-evaluations, as in the work of Ebisu and Zeilberger, our new series seems to have the largest numerator/denominator in its argument.

New 3 and 6-Term Functional Dilogarithm Equations from Beta-Type Integrals

2026-06-05T03:08:04Z

Building on results by Abouzahra and Lewin, McIntosh, and Kirilov we derive new functional dilogarithm equations and consequent diologarithim ladders. By showing that the ratio of a pair of sextic and cubic integrals equals a rational constant, we construct new 3- and 6-term functional equations, from which we derive an analytic proof of an identity by Loxton-Lewin, as well as a pair of quartic-base dilogarithm ladders, also believed to be new, building on Loxton's result. Finally, we prove conjectured 2-term dilogarithm identities of Bytsko, and extend his result for the Bloch-Wigner function using the above methods.

Dynamics and structure of pull-in and touchdown behavior in parallel-plate electrostatic MEMS actuators via geometric approaches

2026-06-05T00:46:39Z

This paper focuses on parallel-plate electrostatic actuators, which are fundamental structures found in Micro-Electro-Mechanical Systems (MEMS) for numerous modern devices. It considers the equations used to model these actuators. In particular, we investigate the behavior of the solutions to a MEMS model that is represented by a second-order ordinary differential equation, where the spring is characterized as soft, linear, or hard. We present the mathematical structure underlying the pull-in and touchdown phenomena that characterize the behavior of systems incorporating soft and hard spring, based on the behavior of linear springs. The pull-in phenomenon corresponds to the degeneration of the solutions to the model equation. The touchdown phenomenon corresponds to the finite-time singularity of the solutions. These global dynamics and structures are systematically revealed through geometric approaches based on Poincaré-type compactification, the center manifold theorem, and blow-up technique. These methods successfully induce and resolve the dynamics at infinity.

A Littlewood-Paley approach to the Mittag-Leffler function in the frequency space and applications to nonlocal problems

2026-06-04T20:48:49Z

Let $0<α<2$, $β>0$ and $α/2<|s|\leq 1$. In a previous work, we obtained all possible values of the Lebesgue exponent $p=p(γ)$ for which the Fourier transform of $ E_{α,β}(e^{\dot{\imath}πs} |\cdot|^γ )$ is an $L^{p}(\mathbb{R}^d)$ function, when $γ>(d-1)/2$. We recover the more interesting lower regularity case $0<γ\leq (d-1)/2$, using tools from the Littlewood-Paley theory. This question arises in the analysis of certain space-time fractional diffusion and Schrödinger problems and has been solved for the particular cases $α\in (0,1)$, $β=α,1$, and $s=-1/2,1$ via asymptotic analysis of Fox $H$-functions. The Littlewood-Paley theory provides a simpler proof that allows considering all values of $β,γ>0$ and $s\in (-1,1]\setminus [-α/2,α/2]$. This enabled us to prove various key estimates for a general class of nonlocal space-time problems.

The Sidon Decomposition Problem in Abelian Groups of Bounded Torsion

2026-06-04T19:40:39Z

Let $G$ be a compact abelian group whose dual group $Γ=\widehat{G}$ has bounded torsion. In 1967, Malliavin-Brameret and Malliavin proved that every Sidon set in $Γ$ is a finite union of quasi-independent sets when $Γ$ has prime exponent. This was later extended to squarefree exponents in work of Varopoulos and Bourgain. We prove the remaining bounded-torsion case. Consequently, if $\widehat{G}$ has bounded torsion, then a subset $Λ\subset \widehat{G}\setminus{0}$ is Sidon if and only if it is a finite union of quasi-independent sets.

Quasi-Orthogonal Polynomials and Exceptional Sequences

2026-06-04T18:44:19Z

Motivated by recent developments in Exceptional Orthogonal Polynomials (XOPs), which feature sequences of orthogonal polynomials missing finitely many degrees, we develop a construction of monic orthogonal polynomial sequences that omit a single degree using linear combinations of classical families. We then relate these polynomial families to quasi-orthogonal polynomials of order 2.

Large data scattering for the defocusing $k$-dispersion generalized Benjamin-Ono equation in the energy space

2026-06-04T17:53:09Z

We study the defocusing $k$-dispersion generalized Benjamin-Ono equation. For every even integer $k\geq 4$, we prove that solutions with initial data in the energy space $H^{\fracα{2}}$ are global in time and scatter. The proof combines the concentration-compactness-rigidity method of Kenig and Merle with techniques based on the Caffarelli-Silvestre extension and Tao's monotonicity formula adapted to the fractional dispersion setting.

Algebraicity of exterior Cauchy transforms of algebraic ovals: a homological formulation

2026-06-04T15:34:11Z

Let $Ω\subset\C$ be a bounded domain whose boundary is an oval of a real algebraic curve. We study when the exterior Cauchy transform \[ \ct_Ω(z)=\frac1π\int_Ω\frac{dA(ζ)}{z-ζ} \] is algebraic. The boundary formula identifies this transform with a Cauchy-type integral on the normalization $X$ of the relevant irreducible component of the Schwarz correspondence $P(z,w)=0$. The main point is that $X$ is fixed while only the divisor $π^{-1}(z)$ of moving poles varies. Thus the natural monodromy is point-pushing on a punctured fixed surface and becomes trivial on absolute homology after the moving punctures are filled; in particular, the usual Picard--Lefschetz transvection picture does not produce absolute cycles in this problem. The principal theorem is a residue criterion: if the lifted boundary is separating, i.e., if it bounds an integral two-chain on $X$ disjoint from the fixed polar divisor, then the exterior Cauchy transform is algebraic and is given by an explicit residue sum with chain multiplicities. This implies, in particular, algebraicity for every smooth oval on a rational real algebraic curve and for separating ovals in positive genus. We also record the corresponding complete-real-locus statement for dividing real curves, with the necessary affine-plane caveats. Nonseparating ovals are treated as a conjectural period problem: we formulate a period-rank test which can detect possible Abelian contributions. The examples include the ellipse, the nodal cubic logarithm, a smooth Weierstrass cubic as an elliptic-period test case, and a conditional positive-genus construction illustrating algebraic transforms beyond quadrature domains.

The Whitney method of fundamental solutions with Lusin wavelets

2026-06-04T11:32:53Z

We establish the theoretical foundation for a variant of the method of fundamental solutions (MFS), where the source points $\{q_j\}_{j=1}^\infty$ accumulate towards the domain in a Whitney fashion, meaning that their separation is proportional to the distance to the domain. We prove that the normalized Lusin wavelets $ψ_j(w) = b_j(w-q_j)^{-2}$ constitute a generalized basis, known as a frame, for the Hardy subspace of $L_2$-traces of holomorphic functions on the domain. Consequently, our method, where $ψ_j$ are used as basis functions in the MFS, enables a numerically stable approximation of solutions to Laplace boundary value problems, even when the solutions lack analytic continuation across the boundary. Despite the source points accumulating towards the domain, our computations achieve at least 12 digits of accuracy uniformly up to the boundary, including cases when the solution lacks analytic continuation or when the boundary has corners.

On the revolving structure of the Lévy dragon and its linear transforms

2026-06-04T01:22:13Z

Lévy's Dragon Curve is a well-known self-similar fractal, notable for its ability to tile the complex plane. We review a representation of the curve as a set of points given by complex power series satisfying a revolving condition, and study how this representation changes under linear transformations, while preserving its characteristic geometric properties. We introduce a labeled directed graph that encodes these series representations and show that this directed graph remains invariant under linear transformations, with only the labeling subject to change. Furthermore, we provide a geometric characterization of the resulting variations in graph labeling.

The Sharp Sadov Constant and Local Spectral Stability for Shapiro--Diananda Cyclic Sums

2026-06-03T23:05:23Z

We determine the sharp Sadov constant for Shapiro--Diananda cyclic sums. Sadov proved the lower bound C >= log 2; we prove the matching upper bound by an explicit asymptotic construction, obtaining C = log 2. We also develop a local spectral stability theory for the equal point of the Shapiro--Diananda cyclic sums. The Hessian is diagonalized by Fourier modes, giving an exact local minimum/saddle/quadratic-degeneracy criterion for all n and k, periodic equality families, and explicit classifications for k = 2 and k = 3. The result determines the global infimum over all n and k, but does not solve the separate fixed-k asymptotic minimization problems.

The Ize Conjecture Redux: A Parity Criterion for Global Equivariant Bifurcation Guarantees

2026-06-03T20:45:58Z

The Ize Conjecture proposed that every absolutely irreducible representation of a compact Lie group admits a maximal isotropy subgroup with an odd-dimensional fixed-point space, which would provide a universal bifurcation guarantee via the equivariant degree. Its disproof by Lauterbach and Matthews necessitates a more targeted criterion. We introduce Ize pairs -- pairs $(G, V)$ for which some maximal isotropy subgroup $H$ satisfies $\dim V^H - \dim V^G \equiv 1 \pmod{2}$ -- and prove that this dimension-parity condition completely captures the algebraic obstruction to a non-trivial equivariant degree change at maximal orbit types. Integrating this criterion with a mod-2 equivariant spectral flow yields local and global bifurcation guarantees without recourse to Burnside ring arithmetic. As an application, we establish unbounded branches of non-stationary periodic solutions in a $Γ$-symmetric coupled oscillator network, where the bifurcation guarantees follow entirely from the crossing parity of the linearization at the boundary of a regular parameter window.