Related papers: Structural Obstructions in Fixed-Shift Prime Corre…
A doubly group-labeled graph is an oriented graph with its edges labeled by elements of the direct sum of two groups $\Gamma_1,\Gamma_2$. A cycle in a doubly group-labeled graph is $(\Gamma_1,\Gamma_2)$-non-zero if it is non-zero in both…
Correlation functions of primary fields in the Wess-Zumino-Novikov-Witten (WZNW) model are known to satisfy a system of Knizhnik-Zamolodchikov (KZ) equations, which involve constants of motion of the exactly-solvable Gaudin magnet. We…
We study closed, connected, spin 4-manifolds up to stabilisation by connected sums with copies of $S^2 \times S^2$. For a fixed fundamental group, there are primary, secondary and tertiary obstructions, which together with the signature…
A continuation of the joint work by Vadim Gorin and the author, J. Funct. Anal. 270 (2016), 375-418; arXiv:1504.06832. The extended Gelfand-Tsetlin graph, introduced in that paper, is a novel combinatorial object. Its q-boundary is formed…
For graphs $H$, we study the extremal function $M_H(n)$ which is the maximum running time (until stabilisation) of an $H$-bootstrap percolation process on $n$ vertices. Building on previous work in the clique case $H=K_k$, we develop a…
This series of papers is devoted to an open-ended project aimed at the solution of Hilbert's sixth problem (concerning joint axiomatization of physics and probability theory) proposed to be constructed in the framework of an all-embracing…
We study the Diophantine equation $a^k + b^k = c^k + d^k$ with integer variables and exponent $k>1$, under the linear constraint $(c+d) - (a+b) = h$. We analyze the geometry and arithmetic of these linear slices. On the central slice $h=0$,…
We establish a categorical framework relating two canonical model constructions in first-order logic: the Henkin construction and compactness-based constructions via ultraproducts or saturation. By introducing a globally fixed set of Henkin…
We identify a strong structural obstruction to Uniform Separation in constructive arithmetic. The mechanism is independent of semantic content; it emerges whenever two distinct evaluator predicates are sustained in parallel and inference…
In this paper we deal with a scale of reproducing kernel Hilbert spaces $H^{(n)}_2$, $n\ge 0$, which are linear subspaces of the classical Hilbertian Hardy space on the right-hand half-plane $\mathbb{C}^+$. They are obtained as ranges of…
Existing approaches to analyzing the asymptotics of graph Laplacians typically assume a well-behaved kernel function with smoothness assumptions. We remove the smoothness assumption and generalize the analysis of graph Laplacians to include…
We consider the symmetric FEM-BEM coupling that connects two linear elliptic second order partial differential equations posed in a bounded domain $\Omega$ and its complement, where the exterior problem is restated by an integral equation…
We present a detailed analysis of the Hamiltonian constraints of the d-dimensional tetrad-connection gravity where the non-dynamical part of the spatial connection is fixed to zero by an adequate guage transformation. This new action…
Building on the genus-3 reduction $C_A : w^2 = \lambda^8 + A \lambda^4 + 1$ established in our companion paper (arXiv:2604.09328), we give an unconditional proof of the perfect-cuboid conjecture ("Conjecture B") on $1{,}072$ explicit…
Linear viscoelastic materials are commonly described by continuous relaxation spectra, yet practical measurements and simulations employ discrete Prony series. In the Laplace frequency domain, the distinction is well understood: rational…
In this paper, we investigate analytic and geometric properties of obstruction flatness of strongly pseudoconvex CR hypersurfaces of dimension $2n-1$. Our first two results concern local aspects. Theorem 3.2 asserts that any strongly…
We establish explicit operator norm bounds and essential self-adjointness criteria for discrete Hodge Laplacians on weighted graphs and simplicial complexes. For unweighted $d$-regular graphs we prove the universal estimate…
The Muttalib-Borodin ensemble is a probability density function for $n$ particles on the positive real axis that depends on a parameter $\theta$ and a weight $w$. We consider a varying exponential weight that depends on an external field…
This paper extends the geometric mechanics theory of constraint systems on principal bundles from the flat connection case to the general situation with non-zero curvature. Based on the theoretical foundation of compatible pairs under…
We develop a symmetry indicator framework to efficiently predict the topology of superlattice-induced minibands with spin-orbit coupling. Our algorithm requires input only from the parent material before the superlattice is applied. The…