English
Related papers

Related papers: On Tarski's Decidability Problem

200 papers

We introduce right amenability, right F{\o}lner nets, and right paradoxical decompositions for left homogeneous spaces and prove the Tarski-F{\o}lner theorem for left homogeneous spaces with finite stabilisers. It states that right…

Group Theory · Mathematics 2017-09-05 Simon Wacker

The paper is devoted to the questions connected with the investigation of the S.P. Novikov problem of the description of the geometry of level lines of quasiperiodic functions on a plane with different numbers of quasiperiods. We consider…

Mathematical Physics · Physics 2021-05-19 A. Ya. Maltsev , S. P. Novikov

We give a selection of major open problems involving selective properties, diagonalizations, and covering properties for sets of real numbers. This is a revision of the version published as a chapter in the book \textbf{Open Problems in…

General Topology · Mathematics 2011-10-19 Boaz Tsaban

For an algebraic variety $X$ we study the behavior of algebraic morphisms from an algebraic variety to the group $\bir(X)$ of birational maps of $X$ and obtain, as application, some insight about the relationship between the so-called…

Algebraic Geometry · Mathematics 2013-09-17 Ivan Pan , Alvaro Rittatore

In this thesis we explore natural procedures through which topological structure can be constructed from specific semigroups. We will do this in two ways: 1) we equip the semigroup object itself with a topological structure, and 2) we find…

Group Theory · Mathematics 2026-01-21 Luna Elliott

In network tomography, one goal is to identify a small set of failed links in a network, by sending a few packets through the network and seeing which reach their destination. This problem can be seen as a variant of combinatorial group…

Information Theory · Computer Science 2018-09-12 Bruce Spang , Mary Wootters

An algebraic telic problem is a decision problem in $\textsf{NP}_\mathbb{R}$ formalizing finite-time reachability questions for one-dimensional dynamical systems. We prove that the existence of "natural" mapping reductions between algebraic…

Computational Complexity · Computer Science 2026-01-16 Samuel Everett

In our paper "Dendroidal sets as models for homotopy operads" (J. Topol. 4 (2011), no. 2, 257-299, and arXiv:0902.1954), we made the wrong claim about the behaviour of the tensor product with respect to cofibrations of dendroidal sets. We…

Algebraic Topology · Mathematics 2014-03-27 Denis-Charles Cisinski , Ieke Moerdijk

We compare relativistic approximation methods, which describe gravitational instability in the expanding universe, in a spherically symmetric model. Linear perturbation theory, second-order perturbation theory, relativistic Zel'dovich…

Astrophysics · Physics 2014-10-13 Masaaki Morita , Kouji Nakamura , Masumi Kasai

These are lecture notes expanding upon a set of lectures given by G.M. at the TASI 2023 School. Part I is an introduction to topological field theory, including extended topological field theory. Part II is an introduction to generalized…

High Energy Physics - Theory · Physics 2025-10-10 Gregory W. Moore , Vivek Saxena

We exhibit a connection between geometric stability theory and the classification of unstable structures at the level of simplicity and the $\mathrm{NSOP}_{1}$-$\mathrm{SOP}_{3}$ gap. Particularly, we introduce generic expansions $T^{R}$ of…

Logic · Mathematics 2023-05-31 Scott Mutchnik

This article gives a summary of the author's Ph.D. dissertation (arXiv:1609.06297). In addition to an overview of notions and results, it also provides sketches of various proofs and simplified presentations of certain abstract results of…

Logic in Computer Science · Computer Science 2018-11-05 Abhisekh Sankaran

Let $\Theta$ be a variety of algebras. In every $\Theta$ and every algebra $H$ from $\Theta$ one can consider algebraic geometry in $\Theta$ over $H$. We consider also a special categorical invariant $K_\Theta (H)$ of this geometry. The…

General Mathematics · Mathematics 2007-05-23 Boris Plotkin

We consider the problem of deterministic load balancing of tokens in the discrete model. A set of $n$ processors is connected into a $d$-regular undirected network. In every time step, each processor exchanges some of its tokens with each…

Data Structures and Algorithms · Computer Science 2015-02-24 Petra Berenbrink , Ralf Klasing , Adrian Kosowski , Frederik Mallmann-Trenn , Przemyslaw Uznanski

In a recent volume of Mathematics Magazine (Vol. 90, No. 3, June 2017) there is an interesting article by Seth Zimmerman, titled Detecting Deficiencies: An Optimal Group Testing Algorithm. The claim in the summary is contradictory to…

Applications · Statistics 2018-02-28 Yaakov Malinovsky

This document aims to give a self-contained account of the parts of abelian group theory that are most relevant for algebraic topology. It is almost purely expository, although there are some slightly unusual features in the treatment of…

Algebraic Topology · Mathematics 2020-01-29 Neil Strickland

The structure and properties of possible $q$-Minkowski spaces is discussed, and the corresponding non-commutative differential calculi are developed in detail and compared with already existing proposals. This is done by stressing its…

High Energy Physics - Theory · Physics 2016-08-14 J. A. de Azcárraga , P. P. Kulish , F. Rodenas

In two dimensions, $U(N_c)$ gauge theories exhibit a non-trivial topological structure, while $SU(N_c)$ theories are topologically trivial. Hence, for $G = U(N_c)$ the phase space is divided into topological sectors, characterized by a…

High Energy Physics - Lattice · Physics 2024-11-19 Stephan Durr , Philip Rouenhoff

Here we give a reformulation of a key lemma in the paper [2], "Spaces of Topological Complexity One", which is necessary due to an oversight.

Algebraic Topology · Mathematics 2019-09-11 Ramandeep Singh Arora

Lecture notes in Russian. Topics: the Haar measure (abstract theorems and explicit descriptions for different groups), measures on infinite-dimensional spaces with large natural groups of symmetries (Gaussian measures, Poisson measures,…

Functional Analysis · Mathematics 2015-10-13 Yury A. Neretin