English
Related papers

Related papers: Generic Stability Independence and Treeless theori…

200 papers

We consider a class of non-linear PDE systems, whose equations possess Noether identities (the equations are redundant), including non-variational systems (not coming from Lagrangian field theories), where Noether identities and…

Mathematical Physics · Physics 2014-03-12 Igor Khavkine

We introduce the concepts of dependence and independence in a very general framework. We use a concept of rank to study dependence and independence. By means of the rank we identify (total) dependence with inability to create more…

Logic in Computer Science · Computer Science 2021-09-27 Pietro Galliani , Jouko Väänänen

We prove two results about generically stable types $p$ in arbitrary theories. The first, on existence of strong germs, generalizes results from D. Haskell, E. Hrushovski and D. Macpherson on stably dominated types. The second is an…

Logic · Mathematics 2012-10-23 Hans Adler , Enrique Casanovas , Anand Pillay

Suppose that M is countable, binary, primitive, homogeneous, and simple, and hence 1-based. We prove that the SU-rank of the complete theory of M is~1. It follows that M is a random structure. The conclusion that M is a random structure…

Logic · Mathematics 2016-08-10 Vera Koponen

Trees are partial orders in which every element has a linearly ordered set of predecessors. Here we initiate the exploration of the structural theory of trees with the study of different notions of \emph{branching in trees} and of…

Combinatorics · Mathematics 2023-01-18 Valentin Goranko , Ruaan Kellerman , Alberto Zanardo

Subject of this work is a class of Chern-Simons field theories with non-semisimple gauge group, which may well be considered as the most straightforward generalization of an Abelian Chern-Simons field theory. As a matter of fact these…

High Energy Physics - Theory · Physics 2014-11-18 Franco Ferrari

We show that there can be no finite list of conditional independence relations which can be used to deduce all conditional independence implications among Gaussian random variables. To do this, we construct, for each $n> 3$ a family of $n$…

Probability · Mathematics 2007-05-23 Seth Sullivant

We introduce a combinatorial criterion for verifying whether a formula is not the conjunction of an equation and a co-equation. Using this, we give a proof for the nonequationality of the free group. Furthermore, we generalize the latter…

Logic · Mathematics 2023-03-08 Isabel Müller , Rizos Sklinos

We study theories of spaces of random variables: first, we consider random variables with values in the interval $[0,1]$, then with values in an arbitrary metric structure, generalising Keisler's randomisation of classical structures. We…

Logic · Mathematics 2014-02-17 Itaï Ben Yaacov

The tensionless limit of classical string theory may be formulated as a topological theory on the world-sheet. A vector density carries geometrical information in place of an internal metric. It is found that path-integral quantization…

High Energy Physics - Theory · Physics 2009-09-25 Bo Sundborg

We propose two model-free, permutation-based tests of independence between a pair of random variables. The tests can be applied to samples from any bivariate distribution: continuous, discrete or mixture of those, with light tails or heavy…

Methodology · Statistics 2022-05-16 Jiří Dvořák , Tomáš Mrkvička

Spontaneous symmetry breaking plays a fundamental role in many areas of condensed matter and particle physics. A fundamental problem in ecology is the elucidation of the mechanisms responsible for biodiversity and stability. Neutral theory,…

Populations and Evolution · Quantitative Biology 2013-06-28 Claudio Borile , Miguel A. Muñoz , Sandro Azaele , Jayanth R. Banavar , Amos Maritan

Generalized Effective Field Theory (GEFT) is the non-renormalizable extension of an Effective Field Theory where the Wilson coefficients are endowed by their own, independent scale dependence. Such an effective theory can be constructed by…

High Energy Physics - Theory · Physics 2020-01-08 Nikos Irges , Fotis Koutroulis

We give examples of (i) a simple theory with a formula (with parameters) which does not fork over the empty set but has mu measure 0 for every automorphism invariant Keisler measure mu, and (ii) a definable group G in a simple theory such…

The independence of the continuum hypothesis is a result of broad impact: it settles a basic question regarding the nature of N and R, two of the most familiar mathematical structures; it introduces the method of forcing that has become the…

History and Overview · Mathematics 2022-09-05 Serafim Batzoglou

We introduce and analyze a new class of monotone stochastic recursions in a regenerative environment which is essentially broader than that of Markov chains. We prove stability theorems and apply our results {to three canonical models in…

Probability · Mathematics 2022-02-22 Sergey Foss , Vsevolod Shneer , Jonathan P. Thomas , Tim Worrall

We propose an univesal scheme to design loop-free and super-stabilizing protocols for constructing spanning trees optimizing any tree metrics (not only those that are isomorphic to a shortest path tree). Our scheme combines a novel…

Distributed, Parallel, and Cluster Computing · Computer Science 2010-07-28 Lélia Blin , Maria Potop-Butucaru , Stephane Rovedakis , Sébastien Tixeuil

For gauge theory, the matrix element for any physical process is independent of the gauge used. Since this is a formal statement and examples are known where gauge invariance is violated, for any specific process this gauge invariance needs…

High Energy Physics - Phenomenology · Physics 2018-12-10 Tai Tsun Wu , Sau Lan Wu

We review our most recent results in formulating gauge theories in the presence of a background field on the basis of symmetry arguments only. In particular we show how one can gain full control over the dependence on the background field…

High Energy Physics - Theory · Physics 2014-01-16 Daniele Binosi

It is useful to have a criterion for when the predictions of an operational theory should be considered classically explainable. Here we take the criterion to be that the theory admits of a generalized-noncontextual ontological model.…

Quantum Physics · Physics 2024-03-14 David Schmid , John H. Selby , Matthew F. Pusey , Robert W. Spekkens