English
Related papers

Related papers: The complexity of the Structure and Classification…

200 papers

In this article, we shall describe some of the most interesting topics in the subject of Complexity Science for a general audience. Anyone with a solid foundation in high school mathematics (with some calculus) and an elementary…

Computational Complexity · Computer Science 2012-06-26 Craig Alan Feinstein

In the paper we present results to develop an irreducible theory of complex systems in terms of self-organization processes of prime integer relations. Based on the integers and controlled by arithmetic only the self-organization processes…

Adaptation and Self-Organizing Systems · Physics 2007-05-23 Victor Korotkikh , Galina Korotkikh

We assess the descriptive complexity of *bisimilarity* or "equality of behavior" on a family of Markov decision processes over uncountable standard Borel spaces, namely *nondeterministic labelled Markov processes* (NLMP). We show that…

Logic in Computer Science · Computer Science 2026-04-09 Martín Santiago Moroni , Pedro Sánchez Terraf

We relate the computational complexity of finite strings to universal representations of their underlying symmetries. First, Boolean functions are classified using the universal covering topologies of the circuits which enumerate them. A…

Information Theory · Computer Science 2011-09-20 John Scoville

We investigate the descriptive complexity of the set of models of first-order theories. Using classical results of Knight and Solovay, we give a sharp condition for complete theories to have a $\pmb\Pi_\omega^0$-complete set of models. In…

Logic · Mathematics 2025-03-17 Uri Andrews , David Gonzalez , Steffen Lempp , Dino Rossegger , Hongyu Zhu

In a topological dynamical system the complexity of an orbit is a measure of the amount of information (algorithmic information content) that is necessary to describe the orbit. This indicator is invariant up to topological conjugation. We…

Dynamical Systems · Mathematics 2007-05-23 Stefano Galatolo

We characterize having Borel isomorphism relation among some weakly minimal trivial theories, namely the examples of families of finite equivalence relations from recent joint work with Laskowski, and tame expansions of…

Logic · Mathematics 2024-09-23 Danielle Ulrich

We critique the measure of complexity introduced by Shiner, Davison, and Landsberg in Ref. [1]. In particular, we point out that it is over-universal, in the sense that it has the same dependence on disorder for structurally distinct…

chao-dyn · Physics 2009-10-31 James P. Crutchfield , David P. Feldman , Cosma Rohilla Shalizi

In this paper, we deal with the classification complexity of continuous (Devaney) chaotic systems in dimensions $0,1$ and $\infty$ using the framework of invariant descriptive set theory. We identify the complexity in dimensions $0$ and…

Dynamical Systems · Mathematics 2026-04-22 Benjamin Vejnar

We construct a class of finitely presented groups where the isomorphism problem is solvable but the commensurability problem is unsolvable. Conversely, we construct a class of finitely presented groups within which the commensurability…

Group Theory · Mathematics 2014-03-24 Goulnara Arzhantseva , Jean-Francois Lafont , Ashot Minasyan

Complexity of patterns is a key information for human brain to differ objects of about the same size and shape. Like other innate human senses, the complexity perception cannot be easily quantified. We propose a transparent and universal…

Pattern Formation and Solitons · Physics 2020-12-30 Andrey A. Bagrov , Ilia A. Iakovlev , Askar A. Iliasov , Mikhail I. Katsnelson , Vladimir V. Mazurenko

Given a computable sequence of natural numbers, it is a natural task to find a G\"odel number of a program that generates this sequence. It is easy to see that this problem is neither continuous nor computable. In algorithmic learning…

Logic · Mathematics 2023-02-09 Vasco Brattka

A new class of functions is presented. The structure of the algorithm, particularly the selection criteria (branching), is used to define the fundamental property of the new class. The most interesting property of the new functions is that…

Computational Complexity · Computer Science 2020-02-25 Rade Vuckovac

We define and study expansion problems on countable structures in the setting of descriptive combinatorics. We consider both expansions on countable Borel equivalence relations and on countable groups, in the Borel, measure and category…

Logic · Mathematics 2025-05-13 Michael Wolman

We review possible measures of complexity which might in particular be applicable to situations where the complexity seems to arise spontaneously. We point out that not all of them correspond to the intuitive (or "naive") notion, and that…

Data Analysis, Statistics and Probability · Physics 2012-08-20 Peter Grassberger

This chapter does not deal with specific tools and techniques for managing complex systems, but proposes some basic concepts that help us to think and speak about complexity. We review classical thinking and its intrinsic drawbacks when…

Adaptation and Self-Organizing Systems · Physics 2007-05-23 Carlos Gershenson , Francis Heylighen

One of the earliest invariants introduced in the study of finite von Neumann algebras is the property Gamma of Murray and von Neumann. In this note we prove that it is not possible to classify separable $\rm{II}_1$ factors satisfying the…

Operator Algebras · Mathematics 2019-07-22 Román Sasyk

Hard instances of natural computational problems are often elusive. In this note we present an example of a natural decision problem, the word problem for a certain finitely presented group, whose hard instances are easy to find. More…

Computational Complexity · Computer Science 2016-02-09 Robert H Gilman

We investigate $\mathcal F$-Borel topological spaces. We focus on finding out how a~complexity of a~space depends on where the~space is embedded. Of a~particular interest is the~problem of determining whether a~complexity of given space $X$…

General Topology · Mathematics 2020-02-24 Vojtěch Kovařík

We give, for each level of complexity L, a Hurewicz-like characterization of the Borel subsets with countable sections of a product of two Polish spaces that cannot become in L by changing the two Polish topologies.

Logic · Mathematics 2007-10-02 Dominique Lecomte