English
Related papers

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

200 papers

(Im)balance indices can be used to quantify the (im)balance of trees by assigning numerical scores to them. An easy way to generate a new index is to construct a compound index, e.g., a linear combination of established indices. Two of the…

Populations and Evolution · Quantitative Biology 2026-04-20 Linda Knüver , Mareike Fischer

A parametric approach is developed to the method of S-tree diagrams and its generalization for investigation of the hierarchical substructure of $N$-body nonlinearly interacting systems (e.g., clusters of galaxies). The introduction of a…

Astrophysics · Physics 2007-05-23 Karen M. Bekarian , Anahit A. Melkonian

We propose a novel tree-like curvilinear structure reconstruction algorithm based on supervised learning and graph theory. In this work we analyze image patches to obtain the local major orientations and the rankings that correspond to the…

Computer Vision and Pattern Recognition · Computer Science 2016-12-09 Seong-Gyun Jeong , Yuliya Tarabalka , Nicolas Nisse , Josiane Zerubia

We derive a forcing axiom from the conjunction of square and diamond, and present a few applications, primary among them being the existence of super-Souslin trees. It follows that for every uncountable cardinal $\lambda$, if $\lambda^{++}$…

Logic · Mathematics 2019-08-15 Chris Lambie-Hanson , Assaf Rinot

We prove that there are groups in the constructible universe whose automorphism towers are highly malleable by forcing. This is a consequence of the fact that, under a suitable diamond hypothesis, there are sufficiently many highly rigid…

Logic · Mathematics 2007-05-23 Gunter Fuchs , Joel David Hamkins

A new synthesis scheme is proposed to effectively generate a random vector with prescribed joint density that induces a (latent) Gaussian tree structure. The quality of synthesis is measured by total variation distance between the…

Information Theory · Computer Science 2017-05-09 Ali Moharrer , Shuangqing Wei , George T. Amariucai , Jing Deng

A preference profile is single-peaked on a tree if the candidate set can be equipped with a tree structure so that the preferences of each voter are decreasing from their top candidate along all paths in the tree. This notion was introduced…

Computer Science and Game Theory · Computer Science 2022-01-24 Dominik Peters , Lan Yu , Hau Chan , Edith Elkind

Building on recent work of Krueger and the second author, we prove the consistency of the Guessing Model Principle at $\omega_2$ together with the existence of an almost Kurepa Suslin tree. In particular, it is consistent that the Guessing…

Logic · Mathematics 2026-03-12 Chris Lambie-Hanson , Šárka Stejskalová

Decision trees are commonly used predictive models due to their flexibility and interpretability. This paper is directed at quantifying the uncertainty of decision tree predictions by employing a Bayesian inference approach. This is…

Machine Learning · Computer Science 2024-03-28 Jodie A. Cochrane , Adrian Wills , Sarah J. Johnson

We investigate the consistency strength of the statement: $\kappa$ is weakly compact and there is no tree on $\kappa$ with exactly $\kappa^{+}$ many branches. We show that this statement fails strongly (in the sense that there is a sealed…

Logic · Mathematics 2021-09-22 Yair Hayut , Sandra Müller

We study a notion of potential isomorphism, where two structures are said to be potentially isomorphic if they are isomorphic in some generic extension that preserves stationary sets and does not add new sets of cardinality less than the…

Logic · Mathematics 2007-05-23 Alex Hellsten , Tapani Hyttinen , Saharon Shelah

Dynamic trees are mixtures of tree structured belief networks. They solve some of the problems of fixed tree networks at the cost of making exact inference intractable. For this reason approximate methods such as sampling or mean field…

Machine Learning · Computer Science 2013-01-18 Amos J. Storkey

A standard way of justifying that a certain probabilistic property holds in a system is to provide a witnessing subsystem (also called critical subsystem) for the property. Computing minimal witnessing subsystems is NP-hard already for…

Logic in Computer Science · Computer Science 2021-08-19 Simon Jantsch , Jakob Piribauer , Christel Baier

A {\em tree cover} of a metric space $(X,d)$ is a collection of trees, so that every pair $x,y\in X$ has a low distortion path in one of the trees. If it has the stronger property that every point $x\in X$ has a single tree with low…

Data Structures and Algorithms · Computer Science 2019-05-21 Yair Bartal , Nova Fandina , Ofer Neiman

We introduce a pruning algorithm that provably sparsifies the parameters of a trained model in a way that approximately preserves the model's predictive accuracy. Our algorithm uses a small batch of input points to construct a data-informed…

Machine Learning · Computer Science 2021-03-16 Cenk Baykal , Lucas Liebenwein , Igor Gilitschenski , Dan Feldman , Daniela Rus

We present a streamlined exposition of a construction by R. Chen, A. Poulin, R. Tao, and A. Tserunyan, which proves the treeability of equivalence relations generated by any locally-finite Borel graph such that each component is a…

Logic · Mathematics 2025-04-25 Zhaoshen Zhai

We introduce regenerative tree growth processes as consistent families of random trees with n labelled leaves, n>=1, with a regenerative property at branch points. This framework includes growth processes for exchangeably labelled Markov…

Probability · Mathematics 2013-09-30 Jim Pitman , Douglas Rizzolo , Matthias Winkel

Man-made slender structures are known to be sensitive to high levels of vibration, due to their flexibility, which often cause irreversible damage. In nature, trees repeatedly endure large amplitudes of motion, mostly caused by strong…

Fluid Dynamics · Physics 2015-05-28 Benoit Theckes , Emmanuel de Langre , Xavier Boutillon

We obtain a partial result on the following conjecture. Conjecture. Let (P, {\Sigma}) be a projectum stable mouse pair, and let \kappa be a cardinal of V such that \kappa < o(M_\infty(P, {\Sigma})); then the following are equivalent: (1)…

Logic · Mathematics 2022-07-11 Stephan Jackson , Grigor Sargsyan , John Steel

Suffix tree construction algorithms based on suffix links are popular because they are simple to implement, can operate online in linear time, and because the suffix links are often convenient for pattern matching. We present an approach…

Data Structures and Algorithms · Computer Science 2014-07-15 N. Jesper Larsson , Kasper Fuglsang , Kenneth Karlsson