English
Related papers

Related papers: Distal expansions of Presburger arithmetic by a sp…

200 papers

In this paper, we prove the existence of a bounded linear extension operator $T: L^{2,p}(E) \rightarrow L^{2,p}(\mathbb{R}^2)$ when $1<p<2$, where $E \subset \mathbb{R}^2$ is a certain discrete set with fractal structure. Our proof makes…

Classical Analysis and ODEs · Mathematics 2023-12-14 Jacob Carruth , Arie Israel

We establish new and different kinds of proofs of properties that arise due to the orthogonal decomposition of the Hilbert space, including projections, over the unit interval of one dimension. We also see angles between functions,…

Functional Analysis · Mathematics 2015-10-28 Dejenie A. Lakew

A macroscopic characterization of fractals showing up a structural transition from dense to multibranched growth is made using optical diffraction theory. Such fractals are generated via the numerical solution of the 2D Poisson and…

Condensed Matter · Physics 2009-10-22 F. Perez-Rodriguez , Wei Wang , E. Canessa

Let $A$ be an annulus in the plane $\mathbb R^2$ and $g:A\rightarrow A$ be a boundary components preserving homeomorphism which is distal and has no periodic points. Then there is a continuous decomposition of $A$ into $g$-invariant circles…

Dynamical Systems · Mathematics 2024-06-18 Enhui Shi , Hui Xu , Ziqi YU

According to the Furstenberg-Zimmer structure theorem, every measure-preserving system has a maximal distal factor, and is weak mixing relative to that factor. Furstenberg and Katznelson used this structural analysis of measure-preserving…

Dynamical Systems · Mathematics 2010-06-17 Jeremy Avigad , Henry Towsner

We study the extension of Presburger arithmetic by the class of sub-polynomial Hardy field functions, and show the majority of these extensions to be undecidable. More precisely, we show that the theory $\mathrm{Th}(\mathbb{Z}; <, +,…

Logic in Computer Science · Computer Science 2025-08-27 Hera Brown , Jakub Konieczny

We prove a structure theorem for topologically conservative real skew product extensions of distal minimal compact metric $\Z$-flows. The main result states that every such extension can be represented by a perturbation of a Rokhlin skew…

Dynamical Systems · Mathematics 2009-09-27 Gernot Greschonig

Asymptotic expansions are derived for Gegenbauer (ultraspherical) polynomials for large order $n$ that are uniformly valid for unbounded complex values of the argument $z$, including the real interval $0 \leq z \leq 1$ in which the zeros in…

Classical Analysis and ODEs · Mathematics 2025-07-04 T. M. Dunster

For discrete-time nonautonomous linear dynamics and a large class of discrete growth rates $\mu$, we show that the notion of $\mu$ dichotomy (with respect to a sequence of norms) can be completely characterized in terms of ordinary and…

Dynamical Systems · Mathematics 2026-05-05 Davor Dragicevic , Cesar M. Silva

The main motivation for this article is to explore the connections between the existence of certain combinatorial patterns (as in van der Corputs's theorem on arithmetic progressions of length $3$) with well-known tools and theorems for…

Logic · Mathematics 2026-03-18 Amador Martin-Pizarro , Daniel Palacín

This paper introduces a generic framework that provides sufficient conditions for guaranteeing polynomial-time decidability of fixed-negation fragments of first-order theories that adhere to certain fixed-parameter tractability…

Logic in Computer Science · Computer Science 2026-03-11 Christoph Haase , Alessio Mansutti , Amaury Pouly

This paper provides an NP procedure that decides whether a linear-exponential system of constraints has an integer solution. Linear-exponential systems extend standard integer linear programs with exponential terms $2^x$ and remainder terms…

Logic in Computer Science · Computer Science 2024-07-10 Dmitry Chistikov , Alessio Mansutti , Mikhail R. Starchak

Given a structure $\mathcal{M}$ and a stably embedded $\emptyset$-definable set $Q$, we prove tameness preservation results when enriching the induced structure on $Q$ by some further structure $\mathcal{Q}$. In particular, we show that if…

There is a by now well-established isomorphism between stationary 4-dimensional spacetimes and 3-dimensional purely spatial Randers geometries - these Randers geometries being a particular case of the more general class of 3-dimensional…

General Relativity and Quantum Cosmology · Physics 2011-03-18 Jozef Skakala , Matt Visser

We consider characterisations of unitary dilations and approximations of irreversible classical dynamical systems on a Hilbert space. In the commutative case, building on the work in [9], one can express well known approximants (e.g. Hille-…

Functional Analysis · Mathematics 2023-07-24 Raj Dahya

We generalize the notion of relational precompact expansions of Fra\"iss\'e classes via functorial means, inspired by the technique outlined by Laflamme, Nguyen Van Th\'e and Sauer in their paper Partition properties of the dense local…

Combinatorics · Mathematics 2020-02-28 Keegan Dasilva Barbosa

We prove several reflection theorems on $D$-spaces, which are Hausdorff topological spaces $X$ in which for every open neighbourhood assignment $U$ there is a closed discrete subspace $D$ such that \[ \bigcup\{U(x): x\in D\}=X. \] The…

Logic · Mathematics 2008-11-10 Mirna Dzamonja

We prove several reflection theorems on $D$-spaces, which are Hausdorff topological spaces $X$ in which for every open neighbourhood assignment $U$ there is a closed discrete subspace $D$ such that \[ \bigcup\{U(x): x\in D\}=X. \] The…

Logic · Mathematics 2007-05-23 Mirna Džamonja

Non-trivial extensions of the three dimensional Poincar\'e algebra, beyond the supersymmetric one, are explicitly constructed. These algebraic structures are the natural three dimensional generalizations of fractional supersymmetry of order…

High Energy Physics - Theory · Physics 2008-11-26 M. Rausch de Traubenberg , M. J. Slupinski

This paper is divided into two parts. The first is a review, through categorical lenses, of the classical theory of regular-singular differential systems over $C((x))$ and $\mathbb P^1_C\smallsetminus\{0,\infty\}$, where $C$ is…

Algebraic Geometry · Mathematics 2023-08-23 Phùng Hô Hai , João Pedro dos Santos , Pham Thanh Tâm