English
Related papers

Related papers: A continuous model for systems of complexity 2 on …

200 papers

Yang-Baxter integrable dense $A_1^{(1)}$ and dilute $A_2^{(2)}$ loop models are considered on the torus in their simplest physical regimes. A combination of boundary conditions $(h,v)$ is applied in the horizontal and vertical directions…

Mathematical Physics · Physics 2025-02-03 Alexi Morin-Duchesne , Andreas Klümper , Paul A. Pearce

Let $\bf M$ be a smooth compact oriented Riemannian manifold, and let $\Delta$ be the Laplace-Beltrami operator on ${\bf M}$. Say $0 \neq f \in \mathcal{S}(\RR^+)$, and that $f(0) = 0$. For $t > 0$, let $K_t(x,y)$ denote the kernel of…

Classical Analysis and ODEs · Mathematics 2008-11-28 Daryl Geller , Azita Mayeli

This paper is a sequel to arXiv:2501.14444, in which we shall give proofs of several results stated in arXiv:2501.14444 (Theorems D--L) which, for brevity and clarity, we postponed to this sequel paper. These results were the following: for…

Symplectic Geometry · Mathematics 2026-02-11 Luis Crespo , Álvaro Pelayo

A modified totient function ($\phi_2$) is seen to play a significant role in the study of the twin prime distribution. The function is defined as $\phi_2(n):=\#\{a\le n ~\vert ~\textrm{$a(a+2)$ is coprime to $n$}\}$ and is shown here to…

Number Theory · Mathematics 2023-07-21 Shaon Sahoo

We give a version of Ax-Katz's $p$-adic congruences and Moreno-Moreno's $p$-weight refinement that holds over any finite commutative ring of prime characteristic. We deduce this from a purely group-theoretic result that gives a lower bound…

Group Theory · Mathematics 2023-05-03 Pete L. Clark , Uwe Schauz

We develop a unified second-order parameterized complexity theory for spaces of integrable functions. This generalizes the well-established case of second-order parameterized complexity theory for spaces of continuous functions.…

Computational Complexity · Computer Science 2025-06-16 Aras Bacho , Martin Ziegler

The well-known Bohr--P\'al theorem asserts that for every continuous real-valued function $f$ on the circle $\mathbb T$ there exists a change of variable, i.e., a homeomorphism $h$ of $\mathbb T$ onto itself, such that the Fourier series of…

Classical Analysis and ODEs · Mathematics 2016-02-15 Vladimir Lebedev

We study dp-minimal infinite profinite groups that are equipped with a uniformly definable fundamental system of open subgroups. We show that these groups have an open subgroup $A$ such that either $A$ is a direct product of countably many…

Logic · Mathematics 2020-08-21 Tim Clausen

Let $G$ be a semi-simple Lie group in the Harish-Chandra class with maximal compact subgroup $K$. Let $\Omega_K$ be minus the radial Casimir operator. Let $\frac{1}{4} \dim(G/K) < S_G < \frac{1}{2} \dim(G/K) , s \in (0, S_G]$ and $p \in…

Operator Algebras · Mathematics 2023-08-24 Martijn Caspers

Given a countable o-minimal theory T, we characterize the Borel complexity of isomorphism for countable models of T up to two model-theoretic invariants. If T admits a nonsimple type, then it is shown to be Borel complete by embedding the…

Logic · Mathematics 2015-10-19 Richard Rast , Davender Singh Sahota

In the first part of this paper we revisit a classical topological theorem by Tischler (1970) and deduce a topological result about compact manifolds admitting a set of independent closed forms proving that the manifold is a fibration over…

Symplectic Geometry · Mathematics 2021-05-26 Robert Cardona , Eva Miranda

This paper gives an overview of $\left(p,q\right)$-adic Fourier theory - the Fourier theory of functions from the $p$-adic numbers to the $q$-adic numbers, where $p$ and $q$ are distinct primes - which we then use to prove a novel…

General Mathematics · Mathematics 2025-06-24 Maxwell C. Siegel

We develop a theory of higher order structures in compact abelian groups. In the frame of this theory we prove general inverse theorems and regularity lemmas for Gowers's uniformity norms. We put forward an algebraic interpretation of the…

Combinatorics · Mathematics 2012-03-13 Balazs Szegedy

Persistent homology of the Rips filtration allows to track topological features of a point cloud over scales, and is a foundational tool of topological data analysis. Unfortunately, the Rips-filtration is exponentially sized, when…

Computational Geometry · Computer Science 2018-07-27 Bernhard Brehm , Hanne Hardering

In this paper, we introduce the prime trees associated with a finite subset $P$ of the set of all prime numbers, and provide conditions under which the tree is of finite type. Moreover, we compute the density of finite-type subsets $P$. As…

Number Theory · Mathematics 2026-02-02 Yusuke Fujiyoshi

We consider the spaces $A_p(\mathbb T)$ of functions $f$ on the circle $\mathbb T$ such that the sequence of Fourier coefficients $\fu{\f}=\{\fu{\f}(k), ~k \in \mathbb Z\}$ belongs to $l^p, ~1\leq p<2$. The norm on $A_p(\mathbb T)$ is…

Classical Analysis and ODEs · Mathematics 2011-12-30 Vladimir Lebedev

Given a first-order theory $T$ formulated in the usual language of first-order arithmetic, we say that $T$ is of *restricted complexity* if there is some natural number $n$ and some set $\mathcal A$ of $\Sigma_n$-sentences such that $T$ can…

Logic · Mathematics 2025-10-01 Ali Enayat , Mateusz Łełyk , Albert Visser

We prove Los conjecture = Morley theorem in ZF, with the same characterization (of first order countable theories categorical in aleph_alpha for some (equivalently for every) ordinal alpha>0. Another central result here is, in this context:…

Logic · Mathematics 2008-07-08 Saharon Shelah

Let $f:T^2\to \mathbb{R}$ be Morse function on $2$-torus $T^2,$ and $\mathcal{O}(f)$ be the orbit of $f$ with respect to the right action of the group of diffeomorphisms $\mathcal{D}(T^2)$ on $C^{\infty}(T^2)$. Let also $\mathcal{O}_f(f,X)$…

Algebraic Topology · Mathematics 2018-04-25 Bohdan Feshchenko

Let $\mathcal{V}_p(\lambda)$ be the collection of all functions $f$ defined in the unit disc $\ID$ having a simple pole at $z=p$ where $0<p<1$ and analytic in $\ID\setminus\{p\}$ with $f(0)=0=f'(0)-1$ and satisfying the differential…

Complex Variables · Mathematics 2017-12-11 Bappaditya Bhowmik , Firdoshi Parveen