Related papers: On Tarski's Decidability Problem
A network of $N$ elements is studied in terms of a deterministic globally coupled map which can be chaotic. There exists a range of values for the parameters of the map where the number of different macroscopic configurations is very large,…
The goal of this technical note is to show that the geometry of generalized parabolic towers cannot be essentially bounded. It fills a gap in author's paper "Combinatorics, geomerty and attractors of quasi-quadratic maps", Annals of Math.,…
The algebraic intersection type unification problem is an important component in proof search related to several natural decision problems in intersection type systems. It is unknown and remains open whether the algebraic intersection type…
We introduce the notion of a regular quadratic equation and a regular NTQ system over a free group. We prove the results that can be described as Implicit function theorems for algebraic varieties corresponding to regular quadratic and NTQ…
We study large $N$ tensor models on the lattice without disorder. We introduce techniques which can be applied to a wide class of models, and illustrate it by studying some specific rank-3 tensor models. In particular, we study…
Orbifolding two-dimensional quantum field theories by a symmetry group can involve a choice of discrete torsion. We apply the general formalism of `orbifolding defects' to study and elucidate discrete torsion for topological field theories.…
In this paper, we present a variety of problems in the interface between combinatorics and geometry around the theorems of Helly, Radon, Carath\'eodory, and Tverberg. Through these problems we describe the fascinating area of Helly-type…
A method is suggested for treating those complicated physical problems for which exact solutions are not known but a few approximation terms of a calculational algorithm can be derived. The method permits one to answer the following rather…
In this article, we give a counter-example to Lemma 12 of the article "On Operations and Linear Extensions of Well Partially Ordered Sets" by Maciej Malicki and Aleksander Rutkowski.
We develop the topological band theory for systems described by non-Hermitian Hamiltonians, whose energy spectra are generally complex. After generalizing the notion of gapped band structures to the non-Hermitian case, we classify "gapped"…
In combinatorial group testing problems Questioner needs to find a special element $x \in [n]$ by testing subsets of $[n]$. Tapolcai et al. introduced a new model, where each element knows the answer for those queries that contain it and…
In this paper intuitionistic topological system and its properties have been introduced. Categorical interrelationships among Heyting algebra, G\"odel algebra, Esakia space and proposed intuitionistic topological systems have also been…
This paper is dedicated to the conjugacy problem in $GL(n,\Z)$ and its connection with algebraic number theory. This connection may be summed up in the Latimer-MacDuffee-Taussky Theorem, which, in a very broad sense, identifies the…
We report on a project to use a theorem prover to find proofs of the theorems in Tarskian geometry. These theorems start with fundamental properties of betweenness, proceed through the derivations of several famous theorems due to Gupta and…
In this paper, we consider the associated semigroups to some abstract thermoelastic systems (in particular the {\alpha}-\b{eta} system), with a partial delay on the coupled system. We will prove that the corresponding semigroups (in…
We explore various aspects of 2-form topological gauge theories in (3+1)d. These theories can be constructed as sigma models with target space the second classifying space $B^2G$ of the symmetry group $G$, and they are classified by…
In this paper we study an overdetermined problem which is directly related to the well known torsion problem studied by J. Serrin. A perturbed version of the latter is tackled by using asymptotic series as well as tools borrowed from the…
We answer several questions of I.Protasov and E.Zelenyuk concerning topologies on groups determined by T-sequences. A special attention is paid to studying the operation of supremum of two group topologies.
In our paper arXiv:1310.6289, we stated that acylindrical hyperbolicity of a group is invariant under commensurability up to finite kernels. Unfortunately, the proof of this fact contained a gap. The goal of this erratum is to point out the…
This paper examines the application of Tarski's Undefinability Theorem to first-order arithmetic. The generally accepted view is that for this case the Theorem establishes that arithmetic truth is not arithmetic. A careful examination of…