BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Maurice Pouzet

Maurice Pouzet contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.COmath.LOmath.ACmath.GMmath.GR

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
21works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

21 published item(s)

preprint2022arXiv

Hereditary classes of ordered sets of width at most two

This paper is a contribution to the study of hereditary classes of relational structures, these classes being quasi-ordered by embeddability. It deals with the specific case of ordered sets of width two and the corresponding bichains and incomparability graphs. Several open problems about hereditary classes of relational structures which have been considered over the years have positive answer in this case. For example, well-quasi-ordered hereditary classes of finite bipartite permutation graphs, respectively finite 321-avoiding permutations, have been characterized by Korpelainen, Lozin and Mayhill, respectively by Albert, Brignall, Ruškuc and Vatter. We provide another proof of the results mentioned above. It is based on the existence of a countable universal poset of width two, obtained by the first author in 1978, his notion of multichainability (1978) (a kind of analog to letter-graphs), and metric properties of incomparability graphs. Using Laver's theorem (1971) on better-quasi-ordering (bqo) of countable chains we prove that a wqo hereditary class of finite or countable bipartite permutation graphs is necessarily bqo. This gives a positive answer to a conjecture of Nash-Williams (1965) in this case. We extend a previous result of Albert et al. by proving that if a hereditary class of finite, respectively countable, bipartite permutation graphs is wqo, respectively bqo, then the corresponding hereditary classes of posets of width at most two and bichains are wqo, respectively bqo. Several notions of labelled wqo are also considered. We prove that they are all equivalent in the case of bipartite permutation graphs, posets of width at most two and the corresponding bichains. We characterize hereditary classes of finite bipartite permutation graphs which remain wqo when labels from a wqo are added.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Minimal prime ages, words and permutation graphs

This paper is a contribution to the study of hereditary classes of finite graphs. We classify these classes according to the number of prime structures they contain. We consider such classes that are \emph{minimal prime}: classes that contain infinitely many primes but every proper hereditary subclass contains only finitely many primes. We give a complete description of such classes. In fact, each one of these classes is a well-quasi-ordered (w.q.o) age and there are uncountably many of them. Eleven of these ages are almost multichainable; they remain w.q.o when labels in a w.q.o are added, hence have finitely many bounds. Five ages among them are exhaustible. Among the remaining ones, only countably many remain w.q.o when one label is added, and these have finitely many bounds (except for the age of the infinite path and its complement). The others have infinitely many bounds. Except for six examples, members of these ages we characterize are permutation graphs. In fact, every age which is not among the eleven ones is the age of a graph associated to a uniformly recurrent word on the integers. A description of minimal prime classes of posets and bichains is also provided. Our results support the conjecture that if a hereditary class of finite graphs does not remain w.q.o when adding labels from a w.q.o set to these graphs, then it is not w.q.o if we add just two constants to each of these graphs Our description of minimal prime classes uses a description of minimal prime graphs \cite{pouzet-zaguia2009} and previous work by Sobrani \cite{sobranithesis, sobranietat} and the authors \cite{oudrar, pouzettr} on properties of uniformly recurrent words and the associated graphs. The completeness of our description is based on classification results of Chudnovsky, Kim, Oum and Seymour \cite{chudnovsky} and Malliaris and Terry \cite {malliaris}.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Minimal prime ages, words and permutation graphs Extended abstract

This paper is a contribution to the study of hereditary classes of finite graphs. We classify these classes according to the number of prime structures they contain. We consider such classes that are \emph{minimal prime}: classes that contain infinitely many primes but every proper hereditary subclass contains only finitely many primes. We give a complete characterization of such classes. In fact, each one of these classes is a well quasi ordered age and there are uncountably many of them. Eleven of these ages remain well quasi ordered when labels in a well quasi ordering are added. Among the remaining ones, countably many remain well quasi ordered when one label is added. Except for six examples, members of these ages we characterize are permutation graphs. In fact, every age which is not among the eleven ones is the age of a graph associated to a uniformly recurrent $0$-$1$ word on the integers. A characterization of minimal prime classes of posets and bichains is also provided.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Generalized metric spaces. Relations with graphs, ordered sets and automata : A survey

In this survey we present a generalization of the notion of metric space and some applications to discrete structures as graphs, ordered sets and transition systems. Results in that direction started in the middle eighties based on the impulse given by Quilliot (1983). Graphs and ordered sets were considered as kind of metric spaces, where - instead of real numbers - the values of the distance functions $d$ belong to an ordered semigroup equipped with an involution. In this frame, maps preserving graphs or posets are exactly the nonexpansive mappings (that is the maps $f$ such that $d(f(x),f(y))\leq d(x,y)$, for all $x,y$). It was observed that many known results on retractions and fixed point property for classical metric spaces (whose morphisms are the nonexpansive mappings) are also valid for these spaces. For example, the characterization of absolute retracts, by Aronszajn and Panitchpakdi (1956), the construction of the injective envelope by Isbell (1965) and the fixed point theorem of Sine and Soardi (1979) translate into the Banaschewski-Bruns theorem (1967), the MacNeille completion of a poset (1933) and the famous Tarski fixed point theorem (1955). This prompted an analysis of several classes of discrete structures from a metric point of view. In this paper, we report the results obtained over the years with a particular emphasis on the fixed point property.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The poset of copies for automorphism groups of countable relational structures

Let $\mathrm{G}$ be a subgroup of the symmetric group $\mathfrak S(U)$ of all permutations of a countable set $U$. Let $\overline{\mathrm{G}}$ be the topological closure of $\mathrm{G}$ in the function topology on $U^U$. We initiate the study of the poset $\overline{\mathrm{G}}[U]:=\{f[U]\mid f\in \overline{\mathrm{G}}\}$ of images of the functions in $\overline{\mathrm{G}}$, being ordered under inclusion. This set $\overline{\mathrm{G}}[U]$ of subsets of the set $U$ will be called the \emph{poset of copies for} the group $\mathrm{G}$. A denomination being justified by the fact that for every subgroup $\mathrm{G}$ of the symmetric group $\mathfrak S(U)$ there exists a homogeneous relational structure $R$ on $U$ such that $\overline G$ is the set of embeddings of the homogeneous structure $R$ into itself and $\overline{\mathrm{G}}[U]$ is the set of copies of $R$ in $R$ and that the set of bijections $\overline G\cap \mathfrak S(U)$ of $U$ to $U$ forms the group of automorphisms of $\mathrm{R}$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Invariant subsets of scattered trees. An application to the tree alternative property of Bonato and Tardif

A tree is scattered if no subdivision of the complete binary tree is a subtree. Building on results of Halin, Polat and Sabidussi, we identify four types of subtrees of a scattered tree and a function of the tree into the integers at least one of which is preserved by every embedding. With this result and a result of Tyomkyn, we prove that the tree alternative property conjecture of Bonato and Tardif holds for scattered trees and a conjecture of Tyomkin holds for locally finite scattered trees.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Hereditarily rigid relations

An $h$-ary relation $\r$ on a finite set $A$ is said to be \emph{hereditarily rigid} if the unary partial functions on $A$ that preserve $\r$ are the subfunctions of the identity map or of constant maps. A family of relations ${\mathcal F}$ is said to be \emph{hereditarily strongly rigid} if the partial functions on $A$ that preserve every $\r \in {\mathcal F}$ are the subfunctions of projections or constant functions. In this paper we show that hereditarily rigid relations exist and we give a lower bound on their arities. We also prove that no finite hereditarily strongly rigid families of relations exist and we also construct an infinite hereditarily strongly rigid family of relations.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Isomorphy up to complementation

Considering uniform hypergraphs, we prove that for every non-negative integer $h$ there exist two non-negative integers $k$ and $t$ with $k\leq t$ such that two $h$-uniform hypergraphs ${\mathcal H}$ and ${\mathcal H}'$ on the same set $V$ of vertices, with $| V| \geq t$, are equal up to complementation whenever ${\mathcal H}$ and ${\mathcal H}'$ are $k$-{hypomorphic up to complementation}. Let $s(h)$ be the least integer $k$ such that the conclusion above holds and let $v(h)$ be the least $t$ corresponding to $k=s(h)$. We prove that $s(h)= h+2^{\lfloor \log_2 h\rfloor} $. In the special case $h=2^{\ell}$ or $h=2^{\ell}+1$, we prove that $v(h)\leq s(h)+h$. The values $s(2)=4$ and $v(2)=6$ were obtained in a previous work.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Length of an intersection

A poset $\bfp$ is well-partially ordered (WPO) if all its linear extensions are well orders~; the supremum of ordered types of these linear extensions is the {\em length}, $\ell(\bfp)$ of $\bfp$. We prove that if the vertex set $X$ of $\bfp$ is infinite, of cardinality $κ$, and the ordering $\leq$ is the intersection of finitely many partial orderings $\leq_i$ on $X$, $1\leq i\leq n$, then, letting $\ell(X,\leq_i)=κ\multordby q_i+r_i$, with $r_i<κ$, denote the euclidian division by $κ$ (seen as an initial ordinal) of the length of the corresponding poset~:\[ \ell(\bfp)< κ\multordby\bigotimes_{1\leq i\leq n}q_i+ \Big|\sum_{1\leq i\leq n} r_i\Big|^+ \] where $|\sum r_i|^+$ denotes the least initial ordinal greater than the ordinal $\sum r_i$. This inequality is optimal (for $n\geq 2$).

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

On scattered convex geometries

A convex geometry is a closure space satisfying the anti-exchange axiom. For several types of algebraic convex geometries we describe when the collection of closed sets is order scattered, in terms of obstructions to the semilattice of compact elements. In particular, a semilattice $Ω(η)$, that does not appear among minimal obstructions to order-scattered algebraic modular lattices, plays a prominent role in convex geometries case. The connection to topological scatteredness is established in convex geometries of relatively convex sets.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Semirigid systems of three equivalence relations

A system $\mathcal M$ of equivalence relations on a set $E$ is \emph{semirigid} if only the identity and constant functions preserve all members of $\mathcal M$. We construct semirigid systems of three equivalence relations. Our construction leads to the examples given by Zádori in 1983 and to many others and also extends to some infinite cardinalities. As a consequence, we show that on every set of at most continuum cardinality distinct from $2$ and $4$ there exists a semirigid system of three equivalence relations.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Décomposition monomorphe des structures relationnelles et profil de classes héréditaires

We present a structural approach of some results about jumps in the behavior of the profile (alias generating function) of hereditary classes of finite structures. We start with the following notion due to N.Thiéry and the second author. A \emph{monomorphic decomposition} of a relational structure $R$ is a partition of its domain $V(R)$ into a family of sets $(V_x)_{x\in X}$ such that the restrictions of $R$ to two finite subsets $A$ and $A&#39;$ of $V(R)$ are isomorphic provided that the traces $A\cap V_x$ and $A&#39;\cap V_x$ have the same size for each $x\in X$. Let $\mathscr S_μ$ be the class of relational structures of signature $μ$ which do not have a finite monomorphic decomposition. We show that if a hereditary subclass $\mathscr D$ of $\mathscr S_μ$ is made of ordered relational structures then it contains a finite subset $\mathfrak A$ such that every member of $\mathscr D$ embeds some member of $\mathfrak A$. Furthermore, for each $R\in \mathfrak A$ the profile of the age $\mathcal A(R)$ of $R$ (made of finite substructures of $R$) is at least exponential. We deduce that if the profile of a hereditary class of finite ordered structures is not bounded by a polynomial then it is at least exponential. This result is a part of classification obtained by Balogh, Bollobás and Morris (2006) for ordered graphs. {\it To cite this article: Djamila Oudrar, Maurice Pouzet, C. R. Acad. Sci. Paris, Ser. I.}

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Pairs of orthogonal countable ordinals

We characterize pairs of orthogonal countable ordinals. Two ordinals $α$ and $β$ are orthogonal if there are two linear orders $A$ and $B$ on the same set $V$ with order types $α$ and $β$ respectively such that the only maps preserving both orders are the constant maps and the identity map. We prove that if $α$ and $β$ are two countable ordinals, with $α\leq β$, then $α$ and $β$ are orthogonal if and only if either $ω+ 1\leq α$ or $α=ω$ and $β< ωβ$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Profile and hereditary classes of ordered relational structures

Let $\mathfrak{C}$ be a class of finite combinatorial structures. The \textit{profile} of $\mathfrak{C}$ is the function $φ_{\mathfrak{C}}$ which counts, for every integer $n$, the number $φ_{\mathfrak{C}}(n)$ of members of $\mathfrak{C}$ defined on $n$ elements, isomorphic structures been identified. The \textit{generating function of} $\mathfrak{C}$ is $\mathcal {H}_{\mathfrak{C}}(x):=\sum_{n\geqq 0}φ_{\mathfrak{C}}(n)x^{n}$. Many results about the behavior of the function $φ_{\mathfrak{C}}$ have been obtained. Albert and Atkinson have shown that the generating series of several classes of permutations are algebraic. In this paper, we show how their results extend to classes of ordered binary relational structures; putting emphasis on the notion of hereditary well quasi order, we discuss some of their questions and answer one.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Some relational structures with polynomial growth and their associated algebras I: Quasi-polynomiality of the profile

The profile of a relational structure $R$ is the function $φ_R$ which counts for every integer $n$ the number $φ_R(n)$, possibly infinite, of substructures of $R$ induced on the $n$-element subsets, isomorphic substructures being identified. If $φ_R$ takes only finite values, this is the Hilbert function of a graded algebra associated with $R$, the age algebra introduced by P. J. Cameron. In this paper we give a closer look at this association, particularly when the relational structure $R$ admits a finite monomorphic decomposition. This setting still encompass well-studied graded commutative algebras like invariant rings of finite permutation groups, or the rings of quasi-symmetric polynomials. We prove that $φ_R$ is eventually a quasi-polynomial, this supporting the conjecture that, under mild assumptions on $R$, $φ_R$ is eventually a quasi-polynomial when it is bounded by some polynomial.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Inversion dans les tournois

We consider the transformation reversing all arcs of a subset $X$ of the vertex set of a tournament $T$. The \emph{index} of $T$, denoted by $i(T)$, is the smallest number of subsets that must be reversed to make $T$ acyclic. It turns out that critical tournaments and $(-1)$-critical tournaments can be defined in terms of inversions (at most two for the former, at most four for the latter). We interpret $i(T)$ as the minimum distance of $T$ to the transitive tournaments on the same vertex set, and we interpret the distance between two tournaments $T$ and $T&#39;$ as the \emph{Boolean dimension} of a graph, namely the Boolean sum of $T$ and $T&#39;$. On $n$ vertices, the maximum distance is at most $n-1$, whereas $i(n)$, the maximum of $i(T)$ over the tournaments on $n$ vertices, satisfies $\frac {n-1}{2} - \log_{2}n \leq i(n) \leq n-3$, for $n \geq 4$. Let $ \mathcal{I}_{m}^{< ω}$ (resp. $\mathcal{I}_{m}^{\leq ω}$) be the class of finite (resp. at most countable) tournaments $T$ such that $i(T) \leq m$. The class $\mathcal {I}_{m}^{< ω}$ is determined by finitely many obstructions. We give a morphological description of the members of $\mathcal {I}_{1}^{< ω}$ and a description of the critical obstructions. We give an explicit description of an universal tournament of the class $\mathcal{I}_{m}^{\leq ω}$.

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

Hypomorphy of graphs up to complementation

Let $V$ be a set of cardinality $v$ (possibly infinite). Two graphs $G$ and $G&#39;$ with vertex set $V$ are {\it isomorphic up to complementation} if $G&#39;$ is isomorphic to $G$ or to the complement $\bar G$ of $G$. Let $k$ be a non-negative integer, $G$ and $G&#39;$ are {\it $k$-hypomorphic up to complementation} if for every $k$-element subset $K$ of $V$, the induced subgraphs $G\_{\restriction K}$ and $G&#39;\_{\restriction K}$ are isomorphic up to complementation. A graph $G$ is {\it $k$-reconstructible up to complementation} if every graph $G&#39;$ which is $k$-hypomorphic to $G$ up to complementation is in fact isomorphic to $G$ up to complementation. We give a partial characterisation of the set $\mathcal S$ of pairs $(n,k)$ such that two graphs $G$ and $G&#39;$ on the same set of $n$ vertices are equal up to complementation whenever they are $k$-hypomorphic up to complementation. We prove in particular that $\mathcal S$ contains all pairs $(n,k)$ such that $4\leq k\leq n-4$. We also prove that 4 is the least integer $k$ such that every graph $G$ having a large number $n$ of vertices is $k$-reconstructible up to complementation; this answers a question raised by P. Ille

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

Incidence structures and Stone-Priestley duality

We observe that if $R:=(I,ρ, J)$ is an incidence We observe that if $R:=(I,ρ, J)$ is an incidence structure, viewed as a matrix, then the topological closure of the set of columns is the Stone space of the Boolean algebra generated by the rows. As a consequence, we obtain that the topological closure of the collection of principal initial segments of a poset $P$ is the Stone space of the Boolean algebra $Tailalg (P)$ generated by the collection of principal final segments of $P$, the so-called {\it tail-algebra of $P$}. Similar results concerning Priestley spaces and distributive lattices are given. A generalization to incidence structures valued by abstract algebras is considered.

0 citations0 reviewsNo code linkedOpen access