English
Related papers

Related papers: Strong tree properties, Kurepa trees, and guessing…

200 papers

We show that for $\Pi_2$-properties of second or third order arithmetic as formalized in appropriate natural signatures the apparently weaker notion of forcibility overlaps with the standard notion of consistency (assuming large cardinal…

Logic · Mathematics 2021-01-20 Matteo Viale

We propose methods to improve the forecasts from generalized autoregressive score (GAS) models (Creal et. al, 2013; Harvey, 2013) by localizing their parameters using decision trees and random forests. These methods avoid the curse of…

Econometrics · Economics 2023-05-31 Andrew J. Patton , Yasin Simsek

I show that it is consistent relative to the consistency of a Mahlo cardinal that Martin's axiom holds at $\omega_2$, but the weak Kurepa Hypothesis fails. This answers a question posed by Honzik, Lambie-Hanson and Stejskalov\'a. The…

Logic · Mathematics 2024-11-12 Rahman Mohammadpour

The tree metric theorem provides a combinatorial four point condition that characterizes dissimilarity maps derived from pairwise compatible split systems. A similar (but weaker) four point condition characterizes dissimilarity maps derived…

Combinatorics · Mathematics 2011-10-24 Aaron Kleinman , Matan Harel , Lior Pachter

We study the order theoretic properties of relative weak injectivity, w.r.i., in short, in the category of C*-algebras. We prove that Arveson's extension theorem, with additional order assumption on the morphisms, is tightly connected with…

Operator Algebras · Mathematics 2016-10-28 Ali Samil Kavruk

The matching energy is defined as the sum of the absolute values of the zeros of the matching polynomial of a graph, which is proposed first by Gutman and Wagner [The matching energy of a graph, Discrete Appl. Math. 160 (2012) 2177--2187].…

Combinatorics · Mathematics 2014-12-01 Tingzeng Wu , Weigen Yan , Heping Zhang

Due to their accuracies, methods based on ensembles of regression trees are a popular approach for making predictions. Some common examples include Bayesian additive regression trees, boosting and random forests. This paper focuses on…

Methodology · Statistics 2019-11-15 Suofei Wu , Jan Hannig , Thomas C. M. Lee

This work addresses the problem of computing measures of recognisable sets of infinite trees. An algorithm is provided to compute the probability measure of a tree language recognisable by a weak alternating automaton, or equivalently…

Formal Languages and Automata Theory · Computer Science 2025-12-22 Damian Niwiński , Marcin Przybyłko , Michał Skrzypczak

Recently, it has been argued that application of the Weak Gravity Conjecture (WGC) to spin-2 fields implies a universal upper bound on the cutoff of the effective theory for a single spin-2 field. We point out here that these arguments are…

High Energy Physics - Theory · Physics 2019-11-27 Claudia de Rham , Lavinia Heisenberg , Andrew J. Tolley

We consider random binary trees that appear as the output of certain standard algorithms for sorting and searching if the input is random. We introduce the subtree size metric on search trees and show that the resulting metric spaces…

Probability · Mathematics 2014-05-06 Rudolf Grübel

We study the relationship between Amoeba forcing (the partial order which generically adds a measure one set of random reals) and projective measurability. Given a universe V of set theory and a forcing notion P in V we say that V is…

Logic · Mathematics 2009-09-25 Jörg Brendle

We consider a model of random tree growth, where at each time unit a new vertex is added and attached to an already existing vertex chosen at random. The probability with which a vertex with degree $k$ is chosen is proportional to $w(k)$,…

Probability · Mathematics 2007-05-23 Anna Rudas , Balint Toth , Benedek Valko

The tree theorem for pairs ($\mathsf{TT}^2_2$), first introduced by Chubb, Hirst, and McNicholl, asserts that given a finite coloring of pairs of comparable nodes in the full binary tree $2^{<\omega}$, there is a set of nodes isomorphic to…

Logic · Mathematics 2016-09-12 Damir Dzhafarov , Ludovic Patey

The hierarchical and recursive expressive capability of rooted trees is applicable to represent statistical models in various areas, such as data compression, image processing, and machine learning. On the other hand, such hierarchical…

Machine Learning · Computer Science 2022-01-25 Yuta Nakahara , Shota Saito , Akira Kamatsuka , Toshiyasu Matsushima

Given a non-negative $n \times n$ matrix viewed as a set of distances between $n$ points, we consider the property testing problem of deciding if it is a metric. We also consider the same problem for two special classes of metrics, tree…

Discrete Mathematics · Computer Science 2024-11-15 Yiqiao Bao , Sampath Kannan , Erik Waingarten

In a recent paper, M. Green and P. Griffiths used R. Thomas' works on nodal hypersurfaces to establish the equivalence of the Hodge conjecture and the existence of certain singular admissible normal functions. Inspired by their work, we…

Algebraic Geometry · Mathematics 2008-02-19 Patrick Brosnan , Hao Fang , Zhaohu Nie , Gregory Pearlstein

We investigate properties of trees of height $\omega_1$ and their preservation under subcomplete forcing. We show that subcomplete forcing cannot add a new branch to an $\omega_1$-tree. We introduce fragments of subcompleteness which are…

Logic · Mathematics 2018-02-06 Gunter Fuchs , Kaethe Minden

By an omega_1 --tree we mean a tree of power omega_1 and height omega_1. We call an omega_1 --tree a Jech--Kunen tree if it has kappa --many branches for some kappa strictly between omega_1 and 2^{omega_1}. In this paper we construct the…

Logic · Mathematics 2016-09-06 Renling Jin , Saharon Shelah

The following results are proved: (a) In a model obtained by adding aleph_2 Cohen reals, there is always a c.c.c. complete Boolean algebra without the weak Freese-Nation property. (b) Modulo the consistency strength of a supercompact…

Logic · Mathematics 2007-05-23 Sakaé Fuchino , Stefan Geschke , Saharon Shelah , Lajos Soukup

We show that the dualizing sheaves of reduced simple normal crossings pairs have a canonical weight filtration in a compatible way with the one on the corresponding mixed Hodge modules by calculating the extension classes between the…

Algebraic Geometry · Mathematics 2013-06-25 Osamu Fujino , Taro Fujisawa , Morihiko Saito