2025-12-30 | | Total: 337
We explore the topological significance of the knot two-variable series $F_K$, proposed by Gukov--Manolescu and defined by Park for a class of `nice' knots. We show that the leading coefficient of $F_K$ is a monomial and express its exponent in terms of the Hopf invariant for all homogeneous braid knots and fibered knots up to 12 crossings. As an application, we deduce an explicit formula for the Hopf invariant in terms of colored Jones polynomials. For non-fibered strongly quasipositive knots, we study a relation between $F_K$ and the stability series of the colored Jones function, and explore similarities between $F_K$ and knot Floer homology. Finally, we propose a slope conjecture for $F_K$, relating it to the boundary slopes of the knot.
We define a once extended non-compact 3-dimensional TQFT $\mathcal{Z}$ from the data of a (potentially) non-semisimple modular tensor category. This is in the framework of generators and relations of [Bartlett et al., arxiv:1509.06811 (2015)], having disallowed generating 2-morphisms whose source is the empty. Moreover, we show that the projective mapping class group representations this TQFT gives rise to, are dual to those of [Lyubashenko, arXiv:hep-th/9405167 (1994)] and [De Renzi et al., arXiv:2010.14852 (2020)]. We develop a method to decompose a closed 3-manifold in terms of 2-morphism generators. We use this to compute the value of $\mathcal{Z}$ on 3-manifolds, explaining why it should recover Lyubashenko's 3-manifold invariants [Lyubashenko, arXiv:hep-th/9405167 (1994)]. Finally, we explain that the value of the non-compact TQFT on the solid torus recovers the data of a modified trace [Geer et al., arXiv:0711.4229 (2007)].
Starting from a problem in elastoplasticity, we consider an optimization problem $C(c_1,c_2)=c_1+c_2\to \min$ under constraints $F_R^k(c_1,c_2)=a\cdot F^k(c_1,c_2)+b\cdot R^k(c_1,c_2)\ge 1$ and $F^k(c_1,c_2)\ge 1$, where both $F^k$ and $R^k$ non-linear, $a,b$ are constants, and $i\in\{1,2\}$ is an index. For each $(a,b)$ we determine which of the two values of $i\in\{1,2\}$ leads to the smaller minimum of the optimization problem. This way we obtain an interesting curve bounding the region where $k=1$ outperforms $k=2$.
We give a short survey of the phenomenon of better than squareroot cancellation, specifically as it applies to averages of multiplicative character sums (such as $\frac{1}{r-1} \sum_{χ\; \text{mod} \; r} |\sum_{n \leq x} χ(n)|^{2q}$) thanks to their connection with so-called multiplicative chaos. We focus on the number theoretic aspects of the arguments, and also touch on some possible applications.
Let $\overline{p}(n)$ denote the overpartition function, and for $j\in \mathbb{N}$, $Δ^r_j$ denote the $r$-fold applications of the shifted difference operator $Δ_j$ defined by $Δ_j(a)(n):=a(n)-a(n-j)$. The main goal of this paper is to derive an asymptotic expansion of $Δ^r_j(\overline{p})(n)$ with an effective error bound which subsequently gives an answer to a problem of Wang, Xie, and Zhang. In order to get the asymptotics of $Δ^r_j(\overline{p})(n)$, we derive an asymptotic expansion of the shifted overpartition function $\overline{p}(n+k)$ for any integer $k\neq 0$.
Following work of Vélez, we explicitly describe the splitting of the integral prime 2 in the radical extension $\mathbb{Q}(\sqrt[n]{a})$, where $x^n-a$ is an irreducible polynomial in $\mathbb{Z}[x]$. With previous work of the second author, this fully describes the splitting of any prime in $\mathbb{Q}(\sqrt[n]{a})$. Using this description, we classify common index divisors (the primes whose splitting prevents the existence of a power integral basis for the ring of integers). Using work of Pleasants, we extend this to describe common $N$-index divisors (primes that divide the index of any order generated over $\mathbb{Z}$ by $N$ elements). We also present two novel constructions of non-monogenic fields with no common index divisors as well as constructions of number rings requiring $N$ ring generators for any $N>1$. Examples are provided throughout.
We construct the first examples of finitely presented groups where the conjugator length function is exponential; these are central extensions of groups of the form $F_m \rtimes F_2$. Further, we use a fibre product construction to exhibit a family of finitely presented groups $Γ_k$ where, for each $k$, the conjugator length function of $Γ_k$ grows like functions in the $k$-th level of the Grzegorczyk hierarchy of primitive recursive functions.
In this paper, we study the expectation of the operator norm of the random matrix (a_{ij} X_{ij}) for i,j <= n, under the assumption that the random variables (X_{ij}) are independent, symmetric and satisfy the moment growth condition ||X_{ij}||{2p} <= C ||X_{ij}||{p} for every p >= 1. We derive an upper bound expressed in terms of quantities that can be explicitly computed in many cases. This bound implies a two-sided estimate, up to a factor given by a power of an iterated logarithm. This factor is considerably smaller than the natural scale of the problem. Our result thus provides positive evidence supporting a conjecture formulated by Rafal Latala and Jan Swiatkowski.
In this paper, we give a new proof of Hirose--Sato's formula for the expansion of $ζ(\{2\}^{a_1-1},3,\dots,\{2\}^{a_r-1},3,\{2\}^{c-1},1,\{2\}^{b_1},\dots, 1,\{2\}^{b_s})$ in the Hoffman basis, using the drop 1 relation.
A problem posed by Erdős in 1945 initiated the study of non-separable arrangements of convex bodies. A finite collection of convex bodies in Euclidean $d$-space is called a non-separable family (or NS-family) if every hyperplane intersecting their convex hull also intersects at least one member of the family. Recent work has focused on minimal coverings of NS-families consisting of positive homothetic convex bodies. In this paper, we strengthen these results by establishing their analogues for weakly non-separable families of convex polytopes. We further obtain stability results and analyze maximal weakly non-separable families of cubes. As an additional extension, we also examine weakly $k$-impassable families of convex $d$-polytopes for $0<k<d-1$.
We present a spectral element solver for the steady incompressible Navier-Stokes equations subject to a free surface. Utilizing the kinematic behaviour of the free surface boundary, an iterative pseudo-time procedure is proposed to determine the a priori unknown free surface profile. The numerical model is implemented in the open-source finite element framework Firedrake, which enables the use of a high-order polynomial basis on unstructured meshes through weak formulations. Additionally, the curvature of the free surface and submerged bodies is incorporated through curvilinear elements obtained via transfinite linear blending, which conserves the high-order convergent properties of the overall scheme. The model is applied to several benchmark cases in two spatial dimensions. Initially, it addresses fixed-domain problems, including the lid-driven cavity flow and flows around bodies such as a cylinder and a NACA airfoil. Subsequently, with the presence of a free surface, it is extended to determine the flow around a bathymetry bump and a submerged NACA airfoil. The results confirm the high-order accuracy of the model through convergence studies and demonstrate a substantial speed-up over low-order numerical schemes.
We present a theory for simultaneous approximation of the score function and its derivatives, enabling the handling of data distributions with low-dimensional structure and unbounded support. Our approximation error bounds match those in the literature while relying on assumptions that relax the usual bounded support requirement. Crucially, our bounds are free from the curse of dimensionality. Moreover, we establish approximation guarantees for derivatives of any prescribed order, extending beyond the commonly considered first-order setting.
We study rotationally symmetric translators for fully nonlinear extrinsic geometric flows driven by a curvature function, and we establish the fine asymptotics of bowl-type evolutions and, when admissible, the construction and classification of catenoidal-type solutions, together with their asymptotic behavior. Under natural structural and convexity assumptions, we also prove rigidity and uniqueness results within appropriate classes of graphical translators of such curvature flows.
We propose a nonparametric method to learn the Lévy density from probability density data governed by a nonlocal Fokker-Planck equation. We recast the problem as identifying the kernel in a nonlocal integral operator from discrete data, which leads to an ill-posed inverse problem. To regularize it, we construct an adaptive reproducing kernel Hilbert space (RKHS) whose kernel is built directly from the data. Under standard source and spectral decay conditions, we show that the reconstruction error decays in the mesh size at a near optimal rate. Importantly, we develop a generalized singular value decomposition (GSVD)-based bilevel optimization algorithm to choose the regularization parameter, leading to efficient and robust computation of the regularized estimator. Numerical experiments for several Lévy densities, drift fields and data types (PDE-based densities and sample ensemble-based KDE reconstructions) demonstrate that our bilevel RKHS method outperforms classical L-curve and generalized cross-validation strategies and that the adaptive RKHS norm is more accurate and robust than $L^2_ρ$- and $\ell^2$-based regularization.
We establish non-unirational versions of Hilbert Irreducibility for all Hilbert modular surfaces which are of K3 type. As an application we prove new instances of the regular Inverse Galois Problem for the simple groups $\operatorname{PSL}_2(\mathbb{F}_{p^2})$ subject to congruence conditions on $p$.
The Jacobian conjecture is thought to have been proposed by O. H. Keller in 1939. However, we have found that the statement of the conjecture is precisely the main result of a paper published by L. Kraus in 1884. Although the final step of Kraus's proof is flawed, the ideas he introduced anticipated approaches to the problem that would only emerge more than a century later. Interestingly, the root of Kraus's error remains the principal obstacle to algebro-geometric approaches: controlling the ramification at infinity.
It is established that both discrete and continuous semigroups of unital quantum channels are eventually mixed unitary. However, after introducing the mixed unitary index of a unital quantum channel as the least time beyond which all subsequent powers of the channel are mixed unitary, we demonstrate that for any fixed finite dimension $d\geq 3$, there exists no universal upper bound for this index. Furthermore, for a continuous semigroup that is not mixed unitary for some $t>0$, we prove it remains non-mixed unitary for all times $t>0$, sufficiently close to the origin. Finally, a necessary and sufficient condition is derived for a quantum dynamical semigroup to be a convex combination of maps implemented solely by Weyl unitaries.
In this article, we introduce the notion of the Riemann-Liouville fractional integral of set-valued mappings via integrable selections. We establish fundamental properties of this fractional integral, including convexity, boundedness, and continuity with respect to the Hausdorff metric. The investigation of preservation of regularity under fractional integration with respect to the Hausdorff metric is given. We show that bounded variation and Lipschitz continuity of a set-valued mapping are inherited by its Riemann-Liouville fractional integral. We discuss the existence of regular selections for the fractional integral under the corresponding regularity assumptions on the original mapping. In the scalar case, we further identify extremal selections given by the pointwise minimum and maximum of the fractional integral and show that they possess the same regularity properties. Finally, we discuss possible applications in differential inclusion and directions for future research.
A well-posedness and maximal regularity result for the time-periodic Cahn-Hilliard-Gurtin system in the half space is proved. For this purpose, we introduce a novel class of complementing boundary conditions, extending the classical Lopatinskiĭ-Shapiro conditions from elliptic and parabolic theory to time-periodic mixed-order systems with general boundary conditions. Moreover, we show that the classical Lopatinskiĭ-Shapiro conditions are in general insufficient for well-posedness of mixed-order systems.
In plasma edge simulations, the behavior of neutral particles is often described by a Boltzmann--BGK equation. Solving this kinetic equation and estimating the moments of its solution are essential tasks, typically carried out using Monte Carlo (MC) methods. However, for large-sized reactors, like ITER and DEMO, high collision rates lead to a substantial computational cost. To accelerate the calculation, an asymptotic-preserving kinetic-diffusion Monte Carlo (KDMC) simulation method (Mortier et al., SIAM J. Sci. Comput., 2022) and a corresponding fluid estimation technique (Mortier et al., Contrib. Plasma Phys., 2022) have recently been proposed. In this work, we present a comprehensive analysis of the convergence of KDMC combined with the associated fluid estimation. The analysis consists of proving theoretical upper bounds for both KDMC and the fluid estimation, and numerical verifications of these bounds. In addition, we compare the analyzed algorithm with a purely fluid-based method using the fully kinetic MC method as a reference. The algorithm consistently achieves lower error than the fluid-based method, and even one order of magnitude lower in a fusion-relevant test case. Moreover, the algorithm exhibits a significant speedup compared to the reference kinetic MC method. Overall, our analysis confirms the effectiveness of KDMC with the associated fluid estimation in nuclear fusion applications.
We give an unexpectedly simple presentation of the maximal prolongation of a first-order differential calculus in terms of the bimodule map of a torsion-free bimodule connection. We then show that in the quantum homogeneous space case this simplifies even further. More explicitly, we show that the bimodule map associated to a bimodule connection, for any relative left Hopf module endowed with its canonical right module structure, admits a concise formula, given in terms of the adjont action of a Hopf algebra on a bimodule. %{\color{red} We also have the dual tangent space formula.} This is then used to derive sufficient conditions, in terms of the first-order differential forms, for the extendability of a first-order almost-complex structure. These results are applied to the quantum Grassmannian Heckenberger--Kolb calculi, yielding a simple uniform presentation of their degree two anti-holomorphic relations.
Let $A$ be a subset of an additive abelian semigroup and let $hA$ be the $h$-fold sumset of $A$. The following question is considered: Let $(A_q)_{q=1}^{\infty}$ be a strictly decreasing sequence of sets in the semigroup and let $A = \bigcap_{q=1}^{\infty} A_q$. When does one have \[ hA = \bigcap_{q=1}^{\infty} hA_q \] for some or all $h \geq 2$?
How can we learn the laws underlying the dynamics of stochastic systems when their trajectories are sampled sparsely in time? Existing methods either require temporally resolved high-frequency observations, or rely on geometric arguments that apply only to conservative systems, limiting the range of dynamics they can recover. Here, we present a new framework that reconciles these two perspectives by reformulating inference as a stochastic control problem. Our method uses geometry-driven path augmentation, guided by the geometry in the system's invariant density to reconstruct likely trajectories and infer the underlying dynamics without assuming specific parametric models. Applied to overdamped Langevin systems, our approach accurately recovers stochastic dynamics even from extremely undersampled data, outperforming existing methods in synthetic benchmarks. This work demonstrates the effectiveness of incorporating geometric inductive biases into stochastic system identification methods.
This is an expository note on a mod $p$ congruence relating the truncated hypergeometric sums associated to $\big((\frac{1}{2},\frac{1}{6},\frac{5}{6}),(1,1)\big)$ to symmetric squares of elliptic curves.
The main result of this paper is the proof of the simultaneous consistency, modulo a weakly compact cardinal, of the equality $2^{< \mathfrak{c}} = \mathfrak{c}$ with the following property (*) of partitions of pairs of $\mathfrak{c}$: \smallskip (*) For any coloring (or partition) $k : [\mathfrak{c}]^2 \rightarrow 2$ either there is a homogeneous set of size $\mathfrak{c}$ in color $0$ or there is a set $S \in [\mathfrak{c}]^\mathfrak{c}$ such that for every countable $A \subset S$ there is $β\in \mathfrak{c}$ for which $A \subset β$ and $k(\{α, β\}) = 1$ for all $α\in A$. \smallskip (*) plus $2^{< \mathfrak{c}} = \mathfrak{c}$ together then imply that for every topological space $X$ of countable spread, i.e. not containing any uncountable discrete subset, $|X| \le \mathfrak{c}$ if it is Hausdorff and $o(X) = \mathfrak c$ if it is also infinite and regular. Here $o(X)$ denotes the number of all open subsets of $X$.