Related papers: Diamonds on trees
Our original aim was, in Abelian group theory to prove the consistency of: lambda is strong limit singular and for some properties of abelian groups which are relatives of being free, the compactness in singular fails. In fact this should…
Our aim is to prove that if T is a complete first order theory, which is not superstable (no knowledge on this notion is required), included in a theory T_1 then for any lambda > |T_1| there are 2^lambda models of T_1 such that for any two…
We show that under $\BMM$ and "there exists a Woodin cardinal$"$, the nonstationary ideal on $\omega_1$ can not be defined by a $\Sigma_1$ formula with parameter $A \subset \omega_1$. We show that the same conclusion holds under the…
We prove new results concerning the topology and Hodge theory of singular varieties. A common theme is that concrete conditions on the complexity of the singularities, from a number of different perspectives, are closely related to the…
Our goal is to show that the standard model-theoretic concept of types can be applied in the study of order-invariant properties, i.e., properties definable in a logic in the presence of an auxiliary order relation, but not actually…
This is a general introduction to duality in field theories. The existence and breaking of global symmetries is used as a guideline to systematically prove duality between different field theories. Systems discussed include abelian and…
Simon's factorization theorem is a celebrated tool in algebraic automata theory, providing bounded-depth decompositions of words with respect to morphisms into finite semigroups. We develop an analogue of Simon's theorem for \emph{forests}…
In 1999, Rozansky conjectured the existence of a rational presentation of the Kontsevich integral of a knot. Roughly speaking, this rational presentation of the Kontsevich integral would sum formal power series into rational functions with…
Forcing axioms are generalizations of Baire category principles that allow one to intersect more dense open sets and to do so in a wider variety of circumstances. In this paper we introduce two new forcing axioms related to posets which…
Given a finite typed rooted tree $T$ with $n$ vertices, the {\em empirical subtree measure} is the uniform measure on the $n$ typed subtrees of $T$ formed by taking all descendants of a single vertex. We prove a large deviation principle in…
The static patch of de Sitter spacetime and the Rindler wedge of Minkowski spacetime are causal diamonds admitting a true Killing field, and they behave as thermodynamic equilibrium states under gravitational perturbations. We explore the…
We define two general classes of nonabelian sandpile models on directed trees (or arborescences) as models of nonequilibrium statistical phenomena. These models have the property that sand grains can enter only through specified reservoirs,…
We give a realization of the stable L\'evy forest of a given size conditioned by its mass from the path of the unconditioned forest. Then, we prove an invariance principle for this conditioned forest by considering $k$ independent…
The seminal papers of Edmonds \cite{Egy}, Nash-Williams \cite{NW} and Tutte \cite{Tu} have laid the foundations of the theories of packing arborescences and packing trees. The directed version has been extensively investigated, resulting in…
Classical constrained Hamiltonian theory assumes complete observability of system states, but in reality only partial state information is often available. This paper establishes a complete geometric theoretical framework for handling such…
I explore two separate topics: the concept of jointness for set-theoretic guessing principles, and the notion of grounded forcing axioms. A family of guessing sequences is said to be joint if all of its members can guess any given family of…
We construct a C*-algebra that has only one irreducible representation up to unitary equivalence but is not isomorphic to the algebra of compact operators on any Hilbert space. This answers an old question of Naimark. Our construction uses…
By incorporating two gauge connections, transgression forms provide a generalization of Chern-Simons actions that are genuinely gauge-invariant on bounded manifolds. In this work, we show that, when defined on a manifold with a boundary,…
We extend Edmonds' Branching Theorem to locally finite infinite digraphs. As examples of Oxley or Aharoni and Thomassen show, this cannot be done using ordinary arborescences, whose underlying graphs are trees. Instead we introduce the…
We say a subset $\Sigma \subseteq F_N$ of the free group of rank $N$ is \emph{spectrally rigid} if whenever $T_1, T_2 \in \cv_N$ are $\mathbb{R}$-trees in (unprojectivized) outer space for which $|\sigma|_{T_1} = |\sigma|_{T_2}$ for every…