Related papers: Canonical forests in directed families
Uncertain information is commonplace in real-world data management scenarios. The ability to represent large sets of possible instances (worlds) while supporting efficient storage and processing is an important challenge in this context.…
Quasi-trees generalize trees in that the unique "path" between two nodes may be infinite and have any countable order type. They are used to define the rank-width of a countable graph in such a way that it is equal to the least upper-bound…
A celebrated result of Bousquet-M\'elou and Jehanne states that the bivariate power series solutions of so-called combinatorial polynomial equations with one catalytic variable, also known as catalytic equations, are algebraic series. We…
This short note, prepared for the Logic Colloquium 2014, provides an introduction to Davies-trees and presents new applications in infinite combinatorics. In particular, we give new and simple proofs to the following theorems of P.…
To a definable subset of Z_p^n (or to a scheme of finite type over Z_p) one can associate a tree in a natural way. It is known that the corresponding Poincare series P(X) = \sum_i N_i X^i is rational, where N_i is the number of nodes of the…
We show that a locally finite, connected graph $G$ is $r$-locally chordal (that is, its $r/2$-balls are chordal) if and only if the unique canonical graph-decomposition $\mathcal{H}_r(G)$ of $G$ displaying its $r$-global structure is into…
In the constructible universe, we construct a co-analytic maximal family of pairwise eventually different functions from $\mathbb{N}$ to $\mathbb{N}$ which remains maximal after adding arbitrarily many Sacks reals (by a countably supported…
We provide evidence both for and against a conjectural analogy between geometrically finite infinite covolume Fuchsian groups and the mapping class group of compact non-orientable surfaces. In the positive direction, we show the complement…
We study systems $(V,T,U_1,U_2)$ consisting of a finite dimensional vector space $V$, a nilpotent $k$-linear operator $T:V\to V$ and two $T$-invariant subspaces $U_1\subset U_2\subset V$. Let $\mathcal S(n)$ be the category of such systems…
Let $\RR_S$ denote the expansion of the real ordered field by a family of real-valued functions $S$, where each function in $S$ is defined on a compact box and is a member of some quasianalytic class which is closed under the operations of…
Let $c$ be the family of irreducible representations of a Weyl group $W$ corresponding to a two-sided cell of $W$. We define a subset $A_c$ of $c$ which contains the special representation of $W$ in $c$ and is in canonical bijection with…
We prove that faithful traces on separable and nuclear C*-algebras in the UCT class are quasidiagonal. This has a number of consequences. Firstly, by results of many hands, the classification of unital, separable, simple and nuclear…
Groups definable in simple theories retain the chain conditions and decomposition properties known from stable groups, up to commensurability. In the small case, if a generic type of G is not foreign to some type q, there is a q-internal…
Swiss cheese sets have been used in the literature as useful examples in the study of rational approximation and uniform algebras. In this paper, we give a survey of Swiss cheese constructions and related results. We describe some notable…
Gaussian elimination answers any question about a finitely presented vector space. However, a "uniform family" of such presentations--given as generic relations among an unspecified number of generators--is susceptible to elimination only…
We construct an infinite family of genus one open book decompositions supporting Stein-fillable contact structures and show that their monodromies do not admit positive factorisations. This extends a line of counterexamples in higher genera…
For each nonnegative integer $g$, we classify the ramification types and monodromy groups of indecomposable coverings of complex curves $f: X\to Y$ where $X$ has genus $g$, under the hypothesis that $n:=\deg(f)$ is sufficiently large and…
We study an abstract notion of tree structure which lies at the common core of various tree-like discrete structures commonly used in combinatorics: trees in graphs, order trees, nested subsets of a set, tree-decompositions of graphs and…
Recently it has been proved that, assuming that there is an almost disjoint family of cardinality (2^{\mathfrak c}) in (\mathfrak c) (which is assured, for instance, by either Martin's Axiom, or CH, or even $2^{<\mathfrak c=\mathfrak c$})…
Determining the number of singular fibers in a family of varieties over a curve is a generalization of Shafarevich's Conjecture and has implications for the types of subvarieties that can appear in the corresponding moduli stack. We…