Source author record

Pierre Simon

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO math.CO Data Structures and Algorithms Discrete Mathematics Logic in Computer Science math.AC math.AG math.PR

Catalog footprint

Research overview

23works

8topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Model Checking on Interpretations of Classes of Bounded Local Cliquewidth

We present a fixed-parameter tractable algorithm for first-order model checking on interpretations of graph classes with bounded local cliquewidth. Notably, this includes interpretations of planar graphs, and more generally, of classes of bounded genus. To obtain this result we develop a new tool which works in a very general setting of dependent classes and which we believe can be an important ingredient in achieving similar results in the future.

preprint2022arXiv

NIP omega-categorical structures: the rank 1 case

We classify primitive, rank 1, omega-categorical structures having polynomially many types over finite sets. For a fixed number of 4-types, we show that there are only finitely many such structures and that all are built out of finitely many linear orders interacting in a restricted number of ways. As an example of application, we deduce the classification of primitive structures homogeneous in a language consisting of n linear orders as well as all reducts of such structures.

preprint2021arXiv

Definable Equivariant Retractions in Non-Archimedean Geometry

For $G$ an algebraic group definable over a model of $\operatorname{ACVF}$ , or more generally a definable subgroup of an algebraic group, we study the stable completion $\widehat{G}$ of $G$ , as introduced by Loeser and the second author. For $G$ connected and stably dominated, assuming $G$ commutative or that the valued field is of equicharacteristic 0, we construct a pro-definable $G$ -equivariant strong deformation retraction of $\widehat{G}$ onto the generic type of $G$ . For $G=S$ a semiabelian variety, we construct a pro-definable $S$ -equivariant strong deformation retraction of $\widehat{S}$ onto a definable group which is internal to the value group. We show that, in case $S$ is defined over a complete valued field $K$ with value group a subgroup of $\mathbb{R}$ , this map descends to an $S(K)$ -equivariant strong deformation retraction of the Berkovich analytification $S^{\mathrm{an}}$ of $S$ onto a piecewise linear group, namely onto the skeleton of $S^{\mathrm{an}}$ . This yields a construction of such a retraction without resorting to an analytic (non-algebraic) uniformization of $S$ . Furthermore, we prove a general result on abelian groups definable in an NIP theory: any such group $G$ is a directed union of $\infty$ -definable subgroups which all stabilize a generically stable Keisler measure on $G$ .

preprint2020arXiv

The classification of homogeneous finite-dimensional permutation structures

We classify the homogeneous finite-dimensional permutation structures, i.e., homogeneous structures in a language of finitely many linear orders, giving a nearly complete answer to a question of Cameron, and confirming the classification conjectured by the first author. The primitive case was proven by the second author using model-theoretic methods, and those methods continue to appear here.

preprint2016arXiv

VC-sets and generic compact domination

Let X be a closed subset of a locally compact second countable group G whose family of translates has finite VC-dimension. We show that the topological border of X has Haar measure 0. Under an extra technical hypothesis, this also holds if X is constructible. We deduce from this generic compact domination for definably amenable NIP groups.

preprint2015arXiv

A Note on "Regularity lemma for distal structures"

In a recent paper, Chernikov and Starchenko prove that graphs defined in distal theories have strong regularity properties, generalizing previous results about graphs defined by semi-algebraic relations. We give a shorter, purely model-theoretic proof of this fact.

preprint2015arXiv

Dp-minimal valued fields

We show that dp-minimal valued fields are henselian and that a dp-minimal field admitting a definable type V topology is either real closed, algebraically closed or admits a non-trivial definable henselian valuation. We give classifications of dp-minimal ordered abelian groups and dp-minimal ordered fields without additional structure.

preprint2015arXiv

Exact saturation in simple and NIP theories

A theory $T$ is said to have exact saturation at a singular cardinal $κ$ if it has a $κ$ -saturated model which is not $κ^{+}$ -saturated. We show, under some set-theoretic assumptions, that any simple theory has exact saturation. Also, an NIP theory has exact saturation if and only if it is not distal. This gives a new characterization of distality.

preprint2015arXiv

Invariant types in NIP theories

We study invariant types in NIP theories. Amongst other things: we prove a definable version of the (p,q)-theorem in theories of small or medium directionality; we construct a canonical retraction from the space of M-invariant types to that of M-finitely satisfiable types; we show some amalgamation results for invariant types and list a number of open questions.

preprint2015arXiv

Rosenthal compacta and NIP formulas

We apply the work of Bourgain, Fremlin and Talagrand on compact subsets of the first Baire class to show new results about phi-types for phi NIP. In particular, we show that if M is a countable model, then an M-invariant phi-type is Borel definable. Also the space of M-invariant phi-types is a Rosenthal compactum, which implies a number of topological tameness properties.

preprint2015arXiv

The affine and projective groups are maximal

We show that the groups AGL_n(Q) and PGL_n(Q), seen as closed subgroups of S_{\infty}, are maximal-closed.

preprint2014arXiv

A Guide to NIP theories

This text is an introduction to the study of NIP (or dependent) theories. It is meant to serve two purposes. The first is to present various aspects of NIP theories and give the reader the background material needed to understand almost any paper on the subject. The second is to advertise the use of honest definitions, in particular in establishing basic results, such as the so-called shrinking of indiscernibles.

preprint2014arXiv

Dp-minimality: invariant types and dp-rank

This paper has two parts. In the first one, we prove that an invariant dp-minimal type is either finitely satisfiable or definable. We also prove that a definable version of the (p,q)-theorem holds in dp-minimal theories of small or medium directionality. In the second part, we study dp-rank in dp-minimal theories and show that it enjoys many nice properties. It is continuous, definable in families and it can be characterised geometrically with no mention of indiscernible sequences. In particular, if the structure expands a divisible ordered abelian group, then dp-rank coincides with the dimension coming from the order.

preprint2014arXiv

On forking and definability of types in some dp-minimal theories

We prove in particular that, in a large class of dp-minimal theories including the p-adics, definable types are dense amongst non-forking types.

preprint2013arXiv

Groups and fields with NTP2

NTP2 is a large class of first-order theories defined by Shelah and generalizing simple and NIP theories. Algebraic examples of NTP2 structures are given by ultra-products of p-adics and certain valued difference fields (such as a non-standard Frobenius automorphism living on an algebraically closed valued field of characteristic 0). In this note we present some results on groups and fields definable in NTP2 structures. Most importantly, we isolate a chain condition for definable normal subgroups and use it to show that any NTP2 field has only finitely many Artin-Schreier extensions. We also discuss a stronger chain condition coming from imposing bounds on burden of the theory (an appropriate analogue of weight), and show that every strongly dependent valued field is Kaplansky.

preprint2013arXiv

Witnessing dp-rank

We prove that in NTP_2 theories if p is a dependent type with dp-rank >= κ, then this can be witnessed by indiscernible sequences of tuples satisfying p. If p has dp-rank infinity, then this can be witnessed by singletons (in any theory).

preprint2012arXiv

Distal and non-distal NIP theories

We study one way in which stable phenomena can exist in an NIP theory. We start by defining a notion of 'pure instability' that we call 'distality' in which no such phenomenon occurs. O-minimal theories and the p-adics for example are distal. Next, we try to understand what happens when distality fails. Given a type p over a sufficiently saturated model, we extract, in some sense, the stable part of p and define a notion of stable-independence which is implied by non-forking and has bounded weight. As an application, we show that the expansion of a model by traces of externally definable sets from some adequate indiscernible sequence eliminates quantifiers.

preprint2012arXiv

Externally definable sets and dependent pairs II

We continue investigating the structure of externally definable sets in NIP theories and preservation of NIP after expanding by new predicates. Most importantly: types over finite sets are uniformly definable; over a model, a family of non-forking instances of a formula (with parameters ranging over a type-definable set) can be covered with finitely many invariant types; we give some criteria for the boundedness of an expansion by a new predicate in a distal theory; naming an arbitrary small indiscernible sequence preserves NIP, while naming a large one doesn't; there are models of NIP theories over which all 1-types are definable, but not all n-types.

preprint2011arXiv

A note on generically stable measures and fsg groups

We prove that if μis a generically stable stable measure in a first order theory with NIP and mu(ϕ(x,b)) = 0 for all b, then μ^{(n)}(\exists y(ϕ(x_1,y)\wedge ... \wedge ϕ(x_n,y))) = 0. We deduce that if G is an fsg grooup then a definable subset X of G is generic just if every translate of X does not fork over \emptyset.

preprint2011arXiv

Adding linear orders

We address the following question: Can we expand an NIP theory by adding a linear order such that the expansion is still NIP? Easily, if acl(A)=A for all A, then this is true. Otherwise, we give counterexamples. More precisely, there is a totally categorical theory for which every expansion by a linear order has IP. There is also an ω-stable NDOP theory for which every expansion by a linear order interprets bounded arithmetic.

preprint2011arXiv

Externally definable sets and dependent pairs

We prove that externally definable sets in first order NIP theories have honest definitions, giving a new proof of Shelah's expansion theorem. Also we discuss a weak notion of stable embeddedness true in this context. Those results are then used to prove a general theorem on dependent pairs, which in particular answers a question of Baldwin and Benedikt on naming an indiscernible sequence.

preprint2010arXiv

Finding generically stable measures

We discuss two constructions for obtaining generically stable Keisler measures in an NIP theory. First, we show how to symmetrize an arbitrary invariant measure to obtain a generically stable one from it. Next, we show that suitable sigma-additive probability measures give rise to generically stable measures. Also included is a proof that generically stable measures over o-minimal theories and the p-adics are smooth.

preprint2010arXiv

Generically stable and smooth measures in NIP theories

We study stable like behaviour in first order theories without the independence property. We introduce generically stable measures, give characterizatiions, and show their ubiquity. We also introduce generic compact domination. We also prove the approximate definability of arbitrary Borel probability measures on definable sets in the real and p-adic fields.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Pierre Simon

Research overview

Is this your work?

23 publications

Model Checking on Interpretations of Classes of Bounded Local Cliquewidth

NIP omega-categorical structures: the rank 1 case

Definable Equivariant Retractions in Non-Archimedean Geometry

The classification of homogeneous finite-dimensional permutation structures

VC-sets and generic compact domination

A Note on "Regularity lemma for distal structures"

Dp-minimal valued fields

Exact saturation in simple and NIP theories

Invariant types in NIP theories

Rosenthal compacta and NIP formulas

The affine and projective groups are maximal

A Guide to NIP theories

Dp-minimality: invariant types and dp-rank

On forking and definability of types in some dp-minimal theories

Groups and fields with NTP2

Witnessing dp-rank

Distal and non-distal NIP theories

Externally definable sets and dependent pairs II

A note on generically stable measures and fsg groups

Adding linear orders

Externally definable sets and dependent pairs

Finding generically stable measures

Generically stable and smooth measures in NIP theories

See the researcher in context

Building this map preview