On the Palais-Smale condition in geometric knot theory

2026-03-02T13:33:45Z

We prove that various families of energies relevant in geometric knot theory satisfy the Palais-Smale condition (PS) on submanifolds of arclength para\-metrized knots. These energies include linear combinations of the Euler-Bernoulli bending energy with a wide variety of non-local knot energies, such as O'Hara's self-repulsive potentials $E^{α,p}$, generalized tangent-point energies $\TP^{(p,q)}$, and generalized integral Menger curvature functionals $\intM^{(p,q)}$. Even the tangent-point energies $\TP^{(p,2)}$ for $p\in (4,5)$ alone are shown to fulfill the (PS)-condition. For all energies mentioned we can therefore prove existence of minimizing knots in any prescribed ambient isotopy class, and we provide long-time existence of their Hilbert-gradient flows, and subconvergence to critical knots as time goes to infinity. In addition, we prove $C^\infty$-smoothness of all arclength constrained critical knots, which shows in particular that these critical knots are also critical for the energies on the larger open set of regular knots under a fixed-length constraint.

Non-absolute integration and application to Young geometric integration

2026-03-02T11:11:02Z

We survey several non-absolutely convergent integrals, including the Henstock-Kurzweil and Pfeffer integrals, and use ideas from these theories to investigate the problem of multidimensional Young integration. We further present results on Young geometric integration, namely the integration of certain generalized differential forms over $m$-dimensional subsets of $\mathbb{R}^d$. This is achieved by introducing appropriate notions of chains and cochains, in the spirit of Whitney's geometric integration theory.

Sampling on infinite-dimensional Paley-Wiener spaces on graphs

2026-03-02T10:32:22Z

We prove a sampling theorem for infinite-dimensional Paley-Wiener spaces on graphs which allows for stable frame reconstruction. We prove that all sampling sets for a fixed Paley-Wiener space are complements of lambda-sets (i.e. sets where a Poincaré-type inequality holds), thereby providing a sufficient condition for stable sampling and reconstruction on graphs such as $\mathbb{Z}^n$-lattices and radial trees with finite geometry.

Convergent Twist Deformations

2026-03-02T08:40:36Z

This paper establishes a functorial framework for convergence of Drinfeld's Universal Deformation Formula (UDF) on spaces of analytic vectors. This is accomplished by matching the order of the latter with an equicontinuity condition on the Drinfeld twist underlying the deformation. Throughout, we work with representations of finite-dimensional Lie algebras by continuous linear mappings on locally convex spaces. This allows us to establish not only convergence of the formal power series, but the continuity of the deformed bilinear mappings as well as the entire holomorphic dependence on the deformation parameter $\hbar$. Finally, we demonstrate the effectiveness of our theory by applying it to the explicit Drinfeld twists constructed by Giaquinto and Zhang, where we establish both the equicontinuity condition and determine the corresponding spaces of analytic vectors for concrete representations. Thereby we answer a question posed by Giaquinto and Zhang whether a strict version of their formal twists is possible in the positive.

A Leibniz rule of distributional pairing and hyperforce sum rule

2026-03-02T06:49:21Z

We reformulate and generalize the equilibrium hyperforce sum rule, a generalization of the Bogoliubov-Born-Green-Kirkwood-Yvon (BBGKY) hierarchy, by employing the Schwartz space and its dual. We show that the hyperforce sum rule for the Euclidean space and the equilibrium BBGKY hierarchy at arbitrary level are derived through the Leibniz rule of the derivative for the pairing of tempered distributions and Schwartz functions. We also apply the Leibniz rule to obtain the hyperforce sum rule for systems with periodic boundary conditions.

Krein-Feller operators on Riemannian manifolds: compactness of embedding and Hodge's theorem

2026-03-02T05:36:31Z

For a bounded open set Omega in a complete oriented Riemannian n-manifold and a positive finite Borel measure mu with support contained in Omega, we define an associated Krein-Feller operators (or Laplacian) Delta_mu by assuming the Poincar'e inequalities for the measure mu. We obtain sufficient conditions for the operator to have compact resolvent and in this case, we prove the Hodge theorem for functions, which states that there exists an orthonormal basis of L^2(Omega,mu) consisting of eigenfunctions of Delta_mu, the eigenspaces are finite-dimensional, and the eigenvalues of -Delta_mu are real, countable, and increasing to infinity. One of these sufficient conditions is that the lower L^infty-dimension dim_infty(mu) of mu is greater than n-2. We prove that the compactness of embedding for functions also hold for measures without compact support, provided the manifold is of bounded geometry. The main idea of our proof is to use Toponogov's and Rauch's comparison theorems to extend a classical compact embedding theorem of Maz'ja to Riemannian manifolds. For a compact Riemannian manifold, using the above results, we also obtain sufficient conditions for Hodge Laplacian on k-forms, to have compact resolvent. Our result extends the classical Hodge theorem to Krein-Feller operators. We study the condition dim_infty(mu)>n-2 for self-similar and self-conformal measures. Results in this paper extend analogous ones by Hu et al. in J. Funct. Anal., which are established for measures on R^n.

Violation of Quantum Bilocal Inequalities on Mutually-Commuting von Neumann Algebra Models

2026-03-02T05:28:05Z

Differently from the non-relativistic quantum mechanics, the violation of Bell inequalities in quantum field theory depends more on the structure of observable algebras (typically type III von Neumann algebras) rather than the choice of specific quantum states. Therefore, studying the violation of Bell inequalities based on the von Neumann algebraic framework often reveals information about the algebraic structure. In this paper, we employ three mutually-commuting von Neumann algebras to characterize quantum entanglement swapping networks, and establish Bell-like inequalities thereon, commonly referred to as bilocal inequalities. We investigate the algebraic structural conditions under which bilocal inequalities are satisfied or violated on the generated algebra of these three von Neumann algebras. Furthermore, the conditions for maximal violation of the inequalities can be utilized to infer the structural information of von Neumann algebras in reverse. Our results not only utilize the violation of bilocal inequalities to reveal the structural properties of von Neumann algebras, but can also be applied to quantum mechanics and quantum field theory.

Non-Archimedean Tarski-Maligranda Inequalities

2026-03-02T04:52:54Z

In 1930, Tarski observed that \begin{align*} \bigg||r|-|s|\bigg|=|r-s|+ |r+s|-(|r|+|s|), \quad \forall r, s \in \mathbb{R}. \end{align*} In 2008, Maligranda converted the previous equality into inequalities that are valid in every normed linear space. We derive non-Archimedean versions of Tarski-Maligranda inequalities. Difference between Archimedean and non-Archimedean inequalities is surprising.

Some properties of uaw-Dunford-Pettis operators

2026-03-02T00:22:03Z

This paper introduces and investigates novel properties of uaw-Dunford-Pettis operators on Banach spaces, exploring their relationships with other classes of operators. We further define and characterize new property of Banach lattices. Also we introduce and study the weak* version of uaw-Dunford-Pettis operator, highlighting their relationships with other classes of operators.

A note on the Goldberg-Thorp example in light of the classification of linear ill-posed problems in Banach spaces

2026-03-01T16:49:55Z

This note considers the strictly singular mapping, denoted by $B$, from $\ell^1$ onto $\ell^2$ of an example by Goldberg and Thorp from 1963 as a typical hybrid-type operator in the context of the classification of ill-posed linear operators in infinite-dimensional Banach spaces. The null-spaces of hybrid-type operators are not complemented and therefore need special attention. More generally, a given well-posedness definition for linear operators requiring both closed range and complemented null-space is motivated by the continuity of occurring pseudo-inverse operators as a stability criterion. With respect to the operator $B$, structure, representation and properties of the operator and its adjoint are summarized in a theorem. Moreover, limitations and opportunities of regularization approaches for the treatment of $B$ are outlined.

Operator symmetric moduli and sharp triangle inequalities

2026-03-01T10:59:45Z

We compare the usual operator modulus with two symmetrized variants, the arithmetic symmetric modulus and the quadratic symmetric modulus. For every unitarily invariant norm, we determine sharp equivalence constants among these three moduli. We also establish sharp triangle-type inequalities for unitarily invariant norms, controlling sums of matrices by sums of symmetrized moduli, including optimal Schatten $p$-norm bounds and a phase transition phenomenon for the quadratic version. Explicit low-dimensional examples are provided to show that the constants are best possible. In particular, we answer two questions posed by Bourin and Lee in \cite{BL26b}.

The optimal hypercontractive constants for $\mathbb{Z}_3$ and biased Bernoulli random variables

2026-03-01T10:09:29Z

We resolve a folklore problem of determining the optimal hypercontractive constants $r_{p,q}(\mathbb{Z}_3)$ for the cyclic group $\mathbb{Z}_3$ for all $1 < p < q < \infty$. More precisely, we have \[ r_{p,q}(\mathbb{Z}_3) = \frac{(1 + 2x)(1 - y)}{(1 + 2y)(1 - x)}, \] where $(x,y)$ is the unique solution in the open unit square $(0,1)\times (0,1)$ to the system of equations \begin{align*} \left\{ \begin{aligned} &\frac{1}{1+2x}\Big(\frac{1+2x^p}{3}\Big)^{\frac{1}{p}}=\frac{1}{1+2y}\Big(\frac{1+2y^q}{3}\Big)^{\frac{1}{q}},\\ &\frac{(1-x)(1-x^{p-1})}{1+2x^p}=\frac{(1-y)(1-y^{q-1})}{1+2y^q}. \end{aligned} \right. \end{align*} Consequently, for rational $p, q\in \mathbb{Q}$, the constants $r_{p,q}(\mathbb{Z}_3)$ are algebraic numbers which generally admit no radical expressions, since their often rather complicated minimal polynomials may have non-solvable Galois groups. Our formalism relies on a key observation: the existence of nontrivial critical extremizers. This approach can also be adapted to resolve a long-standing open problem -- determining all optimal $(p,q)$-hypercontractive constants for biased Bernoulli random variables, which are closely related to noise operators. Several noteworthy phenomena emerge from numerical simulations: the monotonicity of the hypercontractive constants in the parameters, and the appearance of intriguing limit shapes. These phenomena merit further investigation.

Certified spectral approximation of transfer operators and the Gauss map

2026-03-01T01:08:21Z

We prove that the full spectral picture of a transfer operator (every isolated eigenvalue, eigenvector, and Riesz projector outside the essential spectral radius) can be approximated to arbitrary precision by finite-rank discretizations, with no spectral pollution. The method is a~posteriori: once a computable approximation bound is available (from compactness or a Doeblin--Fortet--Lasota--Yorke inequality, which may require hyperbolicity constants and adapted Banach spaces), the spectral gap and multiplicity are certified from computed data via a resolvent perturbation bound, with no further dynamical input. This applies both to compact operators on a single Banach space and to quasi-compact operators satisfying a Doeblin--Fortet--Lasota--Yorke inequality, extending Li's resolution of the Ulam conjecture from the invariant density to the entire discrete spectrum with certified error bounds at every finite truncation. As a benchmark, we certify the first $50$ nonzero eigenvalues of the Gauss--Kuzmin--Wirsing operator to at least $90$ rigorous decimal digits, together with their eigenvectors, Riesz projectors, and spectral gap, yielding a certified spectral expansion for Gauss--Kuzmin distributions with explicit error bounds and providing a rigorous answer to the Gauss--Babenko--Knuth problem on the spectral data of the Gauss map.

On Convolution in Variable Lebesgue Spaces and Applications to Fractional Navier_Stokes Equations

2026-02-28T21:23:45Z

In this paper, we introduce a new class of convolution-type inequalities in variable exponent Lebesgue spaces and derive several related estimates, including the $L^{r(\cdot)}$--$L^{p(\cdot)}$ smoothing estimate for the fractional heat kernel. We demonstrate the usefulness of these inequalities by establishing the local well-posedness results for mild solutions to the fractional Navier--Stokes equations, and we further extend these results to global-in-time well-posedness for sufficiently small initial data. Our analysis is carried out in a wide range of mixed-norm variable exponent Lebesgue spaces, including the fully variable setting $L^{p(\cdot)}_t L^{q(\cdot)}_x$, highlighting the robustness of the proposed framework under non-constant integrability. Moreover, the proposed framework is expected to serve as a key tool for similar applications in other related variable exponent function spaces.

Cyclicity of Multipliers on the Unit Ball of $\mathbb{C}^n$: A Corona-Based Approach

2026-02-28T14:14:04Z

We study the cyclicity of multipliers in Dirichlet-type spaces $ D_α(\mathbb{B}_n) $. Specifically, we show that a multiplier $ f $ analytic on a neighborhood of $\overline{\mathbb{B}}_n$, whose zero set on the unit sphere is a compact, smooth, complex tangential submanifold of real dimension $ m \leq n - 1 $, is cyclic in $ D_α(\mathbb{B}_n) $ if and only if $ α\leq \frac{2n - m}{2} $. Our approach combines classical results on peak sets in $ A^\infty(\mathbb{B}_n) $ due to Chaumat and Chollet with a Corona-type theorem with two generators for the multiplier algebra.