On Schultz's generalization of Borweins' cubic identity

2026-03-12T10:29:35Z

In 1991, the Borweins established a cubic analogue of Jacobi's identity for theta functions, which is used by B.C. Berndt, S. Bhargava, and F.G. Garvan in the development of Ramanujan's cubic theory of elliptic functions. In 2013, D. Schultz discovered an identity for theta series in three variables which generalizes the Borweins' identity. In this article, we revisit Schultz's identity and present two distinct approaches to its derivation. Our investigation not only provides new proofs but also yields several new Schultz-type identities.

The Green Function for Elliptic Systems in the Upper-Half Space

2026-03-11T19:21:10Z

Let $L$ be a second-order, homogeneous, constant (complex) coefficient elliptic system in ${\mathbb{R}}^n$. The goal of this article is provide a qualitative and quantitative study of the nature of the Green function associated with the system $L$ in the upper-half space. Starting with a definition of the Green function which brings forth the minimal features which identify this object uniquely, we establish optimal nontangential maximal function estimates and regularity results up to the boundary for the said Green function. The main tools employed in the proof include the Agmon-Douglis-Nirenberg construction of a Poisson kernel for the system $L$, the Agmon-Douglis-Nirenberg a priori regularity estimates near the boundary, and the brand of Divergence Theorem from the book Geometric Harmonic Analysis Vol. I by the last three authors of this paper in which the boundary trace of the corresponding vector field is taken in nontangential pointwise sense.

On positive definite thresholding of correlation matrices

2026-03-11T17:58:35Z

Standard thresholding techniques for correlation matrices often destroy positive semidefiniteness. We investigate the construction of positive definite functions that vanish on specific sets $K \subseteq [-1,1)$, ensuring that the thresholded matrix remains a valid correlation matrix. We establish existence results, define a criterion for faithfulness based on the linear coefficient of the normalized Gegenbauer expansion in analogy with Delsarte's method in coding theory, and provide bounds for thresholding at single points and pairs of points. We prove that for correlation matrices of rank $n$, any soft-thresholding operator that preserves positive semidefiniteness necessarily induces a geometric collapse of the feature space, as quantified by an $\mathcal{O}(1/n)$ bound on the faithfulness constant. Such demonstrates that geometrically unbiased soft-thresholding limits the recoverable signal.

Sharp Eigenfunction Bounds on the Torus for large $p$

2026-03-11T16:10:55Z

We prove the discrete restriction conjecture holds with no loss when $p>\frac{2d}{d-4}$ and $d\geq 5$. That is, we show optimal $L^p$ bounds for eigenfunctions of the Laplacian on the square torus for large values of $p$. This improves the results Bourgain and Demeter. Our proof method is a refinement of the circle method approach previously used to establish results with a subpolynomial loss. This represents the first sharp $L^p$ bounds for eigenfunctions on the torus since the work of Cooke and Zygmund. We present applications to bounds for spectral projectors and the additive energy of lattice points on higher dimensional spheres. These results are similarly sharp. We also prove results with a logarithmic loss that hold in a wider range of $p$.

The Inverse Problem for Single Trajectories of Rough Differential Equations

2026-03-11T14:08:19Z

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 $δ$.

An invitation to dimension interpolation

2026-03-11T13:02:26Z

A \emph{fractal} is an object exhibiting complexity at arbitrarily small scales. In order to study and characterise fractals, one is often interested in quantifying how they fill up space on small scales. This gives rise to various notions of \emph{fractal dimension}. However, even for the simplest examples, the different definitions of dimension may completely disagree about the answer. In this expository article I will examine this phenomenon and use it to discuss and motivate \emph{dimension interpolation}. Dimension interpolation views these classical notions as boundary points of continuous families of dimensions, thus transforming isolated numerical answers into a coherent geometric picture.

Endpoint Variation and jump inequalities for rough singular integrals

2026-03-11T13:01:53Z

In this article, we prove weak type $(1,1)$ bounds for the variation and jump operators corresponding to the family of truncations of singular integrals with rough kernels. This resolves an open question raised by Jones, Seeger and Wright (Trans. Amer. Math. Soc. (2008)). Moreover, as an immediate consequence of the variational estimate, we recover the weak type $(1,1)$ boundedness of the maximal truncation operator corresponding to singular integrals with rough kernels.

Analysis of a Biofilm Model in a Continuously Stirred Tank Reactor with Wall Attachment

2026-03-11T08:37:22Z

We investigate a mathematical model for a bacterial population in a continuously stirred tank reactor with wall attachment. The model couples a free-boundary value problem for substrate diffusion in the one-dimensional biofilm with a system of nonlinear ODEs for biofilm thickness, suspended biomass, and free substrate concentration. We establish global well-posedness and analyze the long-term dynamics. In particular, we characterize the local and global stability of the trivial (washout) equilibrium, prove the existence of a nontrivial equilibrium, and, under additional structural assumptions, establish its uniqueness and derive conditions for its local stability.

Generalized Hilbert matrix operators acting on weighted sequence spaces

2026-03-11T03:01:03Z

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].

Convolved Numbers of $k$-sections of the Fibonacci Sequence: Properties, Consequences

2026-03-10T18:26:12Z

One possible data encryption scheme is related to stream ciphers, which use a sufficiently long pseudo-random sequence. To increase the cryptographic strength of the cipher, linear shift algorithms (generated by linear recurrent sequences such as the Fibonacci sequence and its generalizations) are additionally used. Two such generalizations are convolved Fibonacci numbers $\{F_n^{(s)}\}_{n=1}^\infty$ and k-sections of the Fibonacci sequence $\{Φ_{n,k}\}_{n=1}^\infty$ $( Φ_{n,k}=F_{nk}/F_k).$ This article considers a further generalization of Fibonacci numbers, namely convolutions of k-sections of the Fibonacci sequence $\{Φ_{n,k}^{(s)}\}_{n=1}^\infty$. These numbers are defined by the relations: $$ Φ_{n,k}^{(1)}=\sum_{j=0}^{n-1}Φ_{j+1,k}Φ_{n-j,k\,},\qquad Φ_{n,k}^{(s)}=\sum_{j=0}^{n-1}Φ_{j+1,k}Φ_{n-j,k}^{(s-1)}\,,\quad s=2,3,...$$Moreover, $Φ_{n,1}=F_n, Φ_{n,1}^{(s)}=F_n^{(s)}$. An explicit formula for the representation of convolutions of k-sections of the Fibonacci sequence and a Binet type formula is established:$$Φ_{n,k}^{(s)}=5^{-s}(F_k)^{-2s-1}\sum_{j=0}^{s}(-1)^{(k-1)j}{n+2s\choose j}{n+s-1-j\choose n-1} F_{k(n+2s-2j)}.$$ Several consequences were also obtained for $F_n$ and $F_n^{(s)}$, based on the connection between the derivatives of Chebyshev polynomials of the second kind $U_n(z)$ and their derivatives, as well as the connection for convolutions of k-sections of the Fibonacci sequence with derivatives of Chebyshev polynomials of the second kind via Lucas numbers $L_k$. Note that the sequences $\{Φ_{n,k}^{(s)}\}_{n=1}^\infty$ for $k=3,4,...$ and $s=1,2,..$ are not included in the OEIS encyclopedia.

Limited polynomials and sendov's conjecture

2026-03-10T17:31:58Z

In this paper we study a particular class of polynomials. We study the distribution of their zeros, including the zeros of their derivatives as well as the interaction between this two. We prove a weak variant of the sendov conjecture in the case the zeros are real and are of the same sign.

Transformed $\ell_p$ Minimization Model and Sparse Signal Recovery

2026-03-10T14:28:50Z

In this article, we introduce a minimization model via a non-convex transformed $\ell_p$ (TLp) penalty function with two parameters $a\in(0,\infty)$ and $p\in(0,1]$, where the case $p=1$ is known and was established by S. Zhang and J. Xin. Using the sparse convex-combination technique, we establish the exact and the stable sparse signal recovery based on the restricted isometry property (RIP). We apply a modified iteratively re-weighted least squares method and the difference of convex functions algorithm (DCA) to give the IRLSTLp algorithm for unconstrained TLp minimization and prove some related convergence results. Finally, we conduct some numerical experiments to show the robustness of the IRLSTLp and the flexibility of the TLp minimization model. The novelty of these results lies in three aspects: (i) We introduce the concept of the relaxation degree RD$_P$ of a separable penalty function $P$ to quantitatively measure how closely $P$ approaches $\ell_0$. (ii) We introduce the TLp penalty, which includes two aforementioned adjustable parameters, offering more flexibility and stronger sparsity-promotion capability of the TLp minimization model, compared with the $\ell_p$ and the TL1 minimization models. (iii) The obtained RIP upper bound for signal recovery via TLp minimization can reduce, when $p\in(0,1]$ and as $a\to \infty$, to the sharp RIP bound obtained by R. Zhang and S. Li and, especially, can recover, when $p=1$, the well-known sharp bound $δ_{2s}<\frac{\sqrt{2}}{2}$.

Convex body domination for the commutator of vector valued operators with matrix multi-symbol

2026-03-10T13:06:53Z

We provide convex body domination results for the generalized vector-valued commutator of those operators that admit specific forms of convex body domination themselves. We also prove some strong type estimates and other consequences of these results, and we study the BMO spaces that appear naturally in this context.

Jensen's inequality for partial traces in von Neumann algebras

2026-03-10T09:53:00Z

Motivated by a recent result on finite-dimensional Hilbert spaces, we prove a Jensen's inequality for partial traces in semifinite von Neumann algebras. We also prove a similar inequality in the framework of general (non-tracial) von Neumann algebras.

Constructing $ω$-free Hardy fields

2026-03-10T09:24:16Z

We show that every Hardy field extends to an $ω$-free Hardy field. This result relates to classical oscillation criteria for second-order homogeneous linear differential equations. It is essential in [10], and here we apply it to answer questions of Boshernitzan, and to generalize a theorem of his.