Related papers: A Dual Ramsey theorem for trees
We prove that every graph has a canonical tree of tree-decompositions that distinguishes all principal tangles (these include the ends and various kinds of large finite dense structures) efficiently. Here `trees of tree-decompositions' are…
Decision tree learning is increasingly being used for pointwise inference. Important applications include causal heterogenous treatment effects and dynamic policy decisions, as well as conditional quantile regression and design of…
We present a new formulation of the loop-tree duality theorem for higher loop diagrams valid both for massless and massive cases. $l$-loop integrals are expressed as weighted sum of trees obtained from cutting $l$ internal propagators of…
In order to have a better description of homogenization for parabolic partial differential equations with periodic coefficients, we define the notion of parametric two-scale convergence. A compactness theorem is proved to justify this…
In this paper, we extend Roe's cyclic $1$-cocycle to relative settings. We also prove two relative index theorems for partitioned manifolds by using its cyclic cocycle, which are generalizations of index theorems on partitioned manifolds.…
We give a complete criterion for when two hyperbolic automorphisms of a tree generate a free, discrete subgroup. The decision depends only on three geometric invariants: the translation lengths of the generators and the length of overlap of…
We investigate analogues of some of the classical results in homogeneous dynamics in non-linear setting. Let $G$ be a closed subgroup of the group of automorphisms of a biregular tree and $\Gamma<G$ a discrete subgroup. For a large class of…
In this paper, we introduce novel variations on several well-known model-theoretic tree properties, and prove several equivalences to known properties. Motivated by the study of generalized indiscernibles, we introduce the notion of the…
It seems that the index theory for non-compact spaces has found its ultimate formulation in realm of coarse spaces and $K$-theory of related operator algebras. Relative and partitioned index theorems may be mentioned as two important and…
In this article we survey recent results on rigid dualizing complexes over commutative algebras. We begin by recalling what are dualizing complexes. Next we define rigid complexes, and explain their functorial properties. Due to the…
In this notes it will be provided a set of techniques which can help one to understand the proof of the Hochschild-Kostant-Rosenberg theorem for differentiable manifolds. Precise definitions of multidiferential operators and polyderivations…
The paper is devoted to graded algebras having a single homogeneous relation. Using Gerasimov's theorem, a criterion to be N-Koszul is given, providing new examples. An alternative proof of Gerasimov's theorem for N=2 is given. Some related…
Let $r(G_1, G_2)$ be the Ramsey number of the two graphs $G_1$ and $G_2$. For $n_1\ge n_2\ge 1$ let $S(n_1,n_2)$ be the double star given by $V(S(n_1,n_2))=\{v_0,v_1,\ldots,v_{n_1},w_0,w_1,\ldots,w_{n_2}\}$ and…
Let $K$ be a global function field of characteristic $p$, and let $\Gamma$ be a finite-index subgroup of an arithmetic group defined with respect to $K$ and such that any torsion element of $\Gamma$ is a $p$-torsion element. We define…
We extend Robertson and Seymour's tangle-tree duality theorem to infinite graphs.
The varying-coefficient model is a strong tool for the modelling of interactions in generalized regression. It is easy to apply if both the variables that are modified as well as the effect modifiers are known. However, in general one has a…
We give a descriptive construction of trees for multi-ended graphs, which yields yet another proof of Stallings' theorem on ends of groups. Even though our proof is, in principle, not very different from already existing proofs and it draws…
We present an exposition of the proof of the induced bipartite Ramsey Theorem.
The HOM-problem asks whether the image of a regular tree language under a given tree homomorphism is again regular. It was recently shown to be decidable by Godoy, Gim\'enez, Ramos, and \`Alvarez. In this paper, the N-weighted version of…
We provide a complete description of the Wadge hierarchy for deterministically recognisable sets of infinite trees. In particular we give an elementary procedure to decide if one deterministic tree language is continuously reducible to…