English
Related papers

Related papers: A microscopic approach to Souslin-tree constructio…

200 papers

We introduce a new problem, CSPLib problem number 50, to generate all degree sequences that have a corresponding diamond-free graph with secondary properties. This problem arises naturally from a problem in mathematics to do with balanced…

Discrete Mathematics · Computer Science 2013-03-22 Alice Miller , Patrick Prosser

Without access to large compute clusters, building random forests on large datasets is still a challenging problem. This is, in particular, the case if fully-grown trees are desired. We propose a simple yet effective framework that allows…

Machine Learning · Computer Science 2018-02-20 Fabian Gieseke , Christian Igel

We present natural constructions of trees and gaps using a quite general construction scheme. In particular, we solve a natural problem about $(\omega_1, \omega_1)$-gaps. As it is well known $(\omega_1, \omega_1)$-gaps can sometimes be…

Logic · Mathematics 2016-08-16 Fulgencio Lopez , Stevo Todorcevic

We provide a complete description of possible covariance matrices consistent with a Gaussian latent tree model for any tree. We then present techniques for utilising these constraints to assess whether observed data is compatible with that…

Methodology · Statistics 2016-04-13 Nathaniel Shiers , Piotr Zwiernik , John A. D. Aston , Jim Q. Smith

We present a method to iterate finitely splitting lim-sup tree forcings along non-wellfounded linear orders. We apply this method to construct a forcing (without using an inaccessible or amalgamation) that makes all definable sets of reals…

Logic · Mathematics 2011-10-18 Jakob Kellner , Saharon Shelah

We prove the consistency of the failure of the weak diamond $\Phi_\lambda$ at strongly inaccessible cardinals. On the other hand, we show that the very weak diamond $\Psi_\lambda$ is equivalent to the statement $2^{<\lambda}<2^\lambda$ and…

Logic · Mathematics 2019-03-12 Omer Ben-Neria , Shimon Garti , Yair Hayut

We prove that $\mu=\mu^{<\mu}$, $2^\mu=\mu^+$ and ``there is a non reflecting stationary subset of $\mu^+$ composed of ordinals of cofinality $<\mu$'' imply that there is a $\mu$-complete Souslin tree on $\mu^+$.

Logic · Mathematics 2008-02-03 Menachem Kojman

We present a characterization of Valdivia compact spaces of small weight in terms of path spaces of trees and we use it to obtain (under $\diamondsuit$) a counterexample to a conjecture related to an open problem concerning twisted sums of…

General Topology · Mathematics 2016-07-26 Claudia Correa , Daniel V. Tausk

Piecewise Euclidean structures (identified solid Euclidean polyhedra) on topological 3-dimensional manifolds and pseudo-manifolds are constructed so that they admit pseudo-foliations, a generalized type of foliation. The construction of…

Differential Geometry · Mathematics 2007-05-23 Simon P Morgan

Construction of phylogenetic trees has traditionally focused on binary trees where all species appear on leaves, a problem for which numerous efficient solutions have been developed. Certain application domains though, such as viral…

Data Structures and Algorithms · Computer Science 2016-11-01 Dimitris Papamichail , Angela Huang , Andrew Miller , Edward Kennedy , Jan-Lucas Ott , Georgios Papamichail

We show that splitting forcing does not have the weak Sacks property below any condition, answering a question of Laguzzi, Mildenberger and Stuber-Rousselle. We also show how some partition results for splitting trees hold or fail and we…

Logic · Mathematics 2021-06-15 Jonathan Schilhan

We survey the current state of progress on the Graceful Tree Conjecture, and then we present several new results toward the conjecture, driven by three new ideas: (1) It has been proven that generalized banana trees are graceful by…

Combinatorics · Mathematics 2014-03-07 Matthew C. Superdock

For an inaccessible cardinal $\kappa$, the super tree property (ITP) at $\kappa$ holds if and only if $\kappa$ is supercomact. However, just like the tree property, it can hold at successor cardinals. We show that ITP holds at the successor…

Logic · Mathematics 2018-06-05 Sherwood Hachtman , Dima Sinapova

We give an explicit construction of the scaling limit of the minimum spanning tree of the complete graph. The limit object is described using a recursive construction involving the convex minorants of a Brownian motion with parabolic drift…

Probability · Mathematics 2023-07-25 Nicolas Broutin , Jean-François Marckert

Because of the existence of cubic scalar couplings, there are in general nondecoupling effects at tree level in the scalar sector of any theory with two or more very different mass scales. We show this explicitly in the minimal…

High Energy Physics - Phenomenology · Physics 2008-11-26 Xiao-yuan Li , Ernest Ma

We study the equivalence of Poisson structures around a given symplectic leaf of nonzero dimension. Some criteria of Poisson equivalence are derived from a homotopy argument for coupling Poisson structures. In the case when the transverse…

Symplectic Geometry · Mathematics 2007-05-23 Yurii Vorobjev

Entailment trees have been proposed to simulate the human reasoning process of explanation generation in the context of open--domain textual question answering. However, in practice, manually constructing these explanation trees proves a…

Computation and Language · Computer Science 2022-08-03 Alex Bogatu , Zili Zhou , Dónal Landers , André Freitas

In this work, we present a method to extract the skeleton of a self-occluded tree canopy by estimating the unobserved structures of the tree. A tree skeleton compactly describes the topological structure and contains useful information such…

Robotics · Computer Science 2023-11-14 Chung Hee Kim , George Kantor

Sparse shortcuttings of trees -- equivalently, sparse 1-spanners for tree metrics with bounded hop-diameter -- have been studied extensively (under different names and settings), since the pioneering works of [Yao82, Cha87, AS87, BTS94],…

Data Structures and Algorithms · Computer Science 2025-12-22 Hung Le , Lazar Milenković , Shay Solomon , Cuong Than

We introduce a new parametrized diamond principle denoted $\diamondsuit(\mathsf{LP})$. This principle is akin to the parametrized diamonds of Moore, Hru\v{s}\'ak, and D\v{z}amonja, each of which corresponds to some cardinal invariant of the…

General Topology · Mathematics 2026-01-29 Will Brian , Alan Dow