English
Related papers

Related papers: Randomizations of models as metric structures

200 papers

We consider an elementary discrete process which starts from purely random configuration and leads to well-ordered and stable state. Complete analytical solution to this problem is presented.

History and Overview · Mathematics 2007-06-27 Krzysztof Maślanka , Jerzy Cisło

Physical systems exhibiting stochastic or chaotic behavior are often amenable to treatment by random matrix models. In deciding on a good choice of model, random matrix physics is constrained and guided by symmetry considerations. The…

Mathematical Physics · Physics 2010-01-06 Martin R. Zirnbauer

Recently, symbolic structures were proposed as finite representations of potentially infinite first-order structures, where Linear Integer Arithmetic terms and formulas define the domain and interpretations of a structure. We generalize…

Logic in Computer Science · Computer Science 2026-05-14 Neta Elad , Sharon Shoham

Complex networks are everywhere. They appear for example in the form of biological networks, social networks, or computer networks and have been studied extensively. Efficient algorithms to solve problems on complex networks play a central…

Discrete Mathematics · Computer Science 2020-06-26 Jan Dreier , Philipp Kuinke , Peter Rossmanith

We make precise sense of the idea of "molecular chaos" through algorithmic randomness of microscopic trajectories, and ground macroscopic irreversibility in the lack of symmetry under time reversal of this property. This concept of…

Mathematical Physics · Physics 2025-12-24 Nino Dekkers , Klaas Landsman

We show that the decidability of the first-order theory of the language that combines Boolean algebras of sets of uninterpreted elements with Presburger arithmetic operations. We thereby disprove a recent conjecture that this theory is…

Logic in Computer Science · Computer Science 2007-05-23 Viktor Kuncak , Martin Rinard

Since 2023, through the detailed examination of numerous concrete examples, the author and his collaborators have identified a recurring pattern. Building upon this observation, they introduced the concept of the normalized remainder. They…

General Mathematics · Mathematics 2026-04-20 Feng Qi

The notion of a homogeneous standard filtration of $\sigma$-algebras was introduced by the author in 1970. The main theorem asserted that a homogeneous filtration is standard, i.e., generated by a sequence of independent random variables,…

Probability · Mathematics 2015-11-24 Anatoly Vershik

In this paper we introduce the idea of probability in the definition of Sequential Dynamical Systems, thus obtaining a new concept, Probabilistic Sequential System. The introduction of a probabilistic structure on Sequential Dynamical…

Dynamical Systems · Mathematics 2007-05-23 Maria A. Avino-Diaz

We present distributions of countable models and correspondent structural characteristics of complete theories with continuum many types: for prime models over finite sets relative to Rudin-Keisler preorders, for limit models over types and…

Logic · Mathematics 2012-10-16 Roman A. Popkov , Sergey V. Sudoplatov

In 1970, Donald Ornstein proved a landmark result in dynamical systems, viz., two Bernoulli systems with the same entropy are isomorphic except for a measure 0 set. Keane and Smorodinsky gave a finitary proof of this result. They also…

Information Theory · Computer Science 2016-03-07 Mrinalkanti Ghosh , Satyadev Nandakumar , Atanu Pal

In the modern quantum mechanics of cosmology observers are physical systems within the universe. They have no preferred role in the formulation of the theory nor in its predictions of third person probabilities of what occurs. However,…

General Relativity and Quantum Cosmology · Physics 2018-01-18 James Hartle , Thomas Hertog

We study a random tree, which was introduced by Ajazi et al. as part of a model of a neuronal network. Realising a scaling relation for the law of the tree, we can use elementary techniques to derive asymptotic results on the geometry as…

Probability · Mathematics 2024-06-25 Lukas Schoug

A causal set is a partially ordered set on a countably infinite ground-set such that each element is above finitely many others. A natural extension of a causal set is an enumeration of its elements which respects the order. We bring…

Probability · Mathematics 2011-09-22 Graham Brightwell , Malwina Luczak

This paper generalizes the notion of stochastic order to a relation between probability measures over arbitrary measurable spaces. This generalization is motivated by the observation that for the stochastic ordering of two stationary Markov…

Probability · Mathematics 2008-06-24 Lasse Leskelä

Informally speaking, the categoricity of an axiom system means that its non-logical symbols have only one possible interpretation that renders the axioms true. Although non-categoricity has become ubiquitous in the second half of the 20th…

Logic · Mathematics 2020-05-26 Jouko Väänänen

In [arXiv:1006.4939] the enumeration order reducibility is defined on natural numbers. For a c.e. set A, [A] denoted the class of all subsets of natural numbers which are co-order with A. In definition 5 we redefine co-ordering for rational…

Logic in Computer Science · Computer Science 2011-02-15 Saeed Asaeedi , Farzad Didehvar

In this article, we study a model of random permutations, which we call random standardized permutations, based on a sequence of i.i.d. random variables. This model generalizes others, such as the riffle-shuffle and the major-index-biased…

Probability · Mathematics 2026-03-26 Aurélien Guerder

A well-known result of Shelah and Spencer tells us that the almost sure theory for first order language on the random graph sequence $\left\{G(n, cn^{-1})\right\}$ is not complete. This paper proposes and proves what the complete set of…

Probability · Mathematics 2018-02-02 Moumanti Podder

We study links between first-order formulas and arbitrary properties for families of theories, classes of structures and their isomorphism types. Possibilities for ranks and degrees for formulas and theories with respect to given properties…

Logic · Mathematics 2021-04-02 Sergey V. Sudoplatov