English
Related papers

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

200 papers

This note discusses Watson and Holmes (2016) and their pro- posals towards more robust Bayesian decisions. While we acknowledge and commend the authors for setting new and all-encompassing prin- ciples of Bayesian robustness, and we…

Methodology · Statistics 2016-04-12 Christian P. Robert , Judith Rousseau

This note reports partial results related to the Gaussian product inequality (GPI) conjecture for the joint distribution of traces of Wishart matrices. In particular, several GPI-related results from Wei (2014) and Liu et al. (2015) are…

Probability · Mathematics 2023-01-26 Christian Genest , Frédéric Ouimet

Let $\mathsf{TT}^2_k$ denote the combinatorial principle stating that every $k$-coloring of pairs of compatible nodes in the full binary tree has a homogeneous solution, i.e. an isomorphic subtree in which all pairs of compatible nodes have…

Logic · Mathematics 2019-12-20 Chi Tat Chong , Wei Li , Lu Liu , Yue Yang

We introduce the notions of triviality and order-triviality for global invariant types in an arbitrary first-order theory and show that they are well behaved in the NIP context. We show that these two notions agree for invariant global…

Logic · Mathematics 2026-02-24 Slavko Moconja , Predrag Tanović

The ratio of two densities provides a direct characterization of their differences. We consider the two-sample comparison problem by estimating this ratio given i.i.d. observations from two distributions. To this end, we propose additive…

Methodology · Statistics 2026-04-23 Naoki Awaya , Yuliang Xu , Li Ma

We isolate two combinatorial properties, each expressible by a $\Pi_2$-sentence over the structure $(H(\omega_3),\in,\omega_1,\omega_2,\text{NS}_{\omega_2})$, such that each property is consistent with CH, and their conjunction together…

Logic · Mathematics 2026-03-24 John Krueger

We define a class of properties on random plane trees, which we call subtree additive properties, inspired by the combinatorics of certain biologically-interesting properties in a plane tree model of RNA secondary structure. The class of…

Combinatorics · Mathematics 2021-01-15 Anna Kirkpatrick , Chidozie Onyeze

Weak similarities form a special class of mappings between semimetric spaces. Two semimetric spaces $X$ and $Y$ are weakly similar if there exists a weak similarity $\Phi\colon X\to Y$. We find a structural characteristic of finite…

General Topology · Mathematics 2024-12-31 Evgeniy Petrov

We generalize Schwenk's result that almost all trees contain any given limb to trees with positive integer vertex weights. The concept of characteristic polynomial is extended to such weighted trees and we prove that the proportion of…

Combinatorics · Mathematics 2026-02-12 Caelan Wang , Karen Yeats

Kristiansen and Murwanashyaka recently proved that Robinson arithmetic Q is interpretable in an elementary theory of full binary trees, T. We prove that, conversely, T is interpretable in Q by producing a formal interpretation of T in an…

Logic · Mathematics 2021-04-16 Zlatan Damnjanovic

We extend several recent results providing symmetry-based guarantees for variational inference (VI) with location-scale families. VI approximates a target density $p$ by the best match $q^*$ in a family $Q$ of tractable distributions that…

Machine Learning · Statistics 2025-12-11 Charles C. Margossian , Lawrence K. Saul

This paper extends the Lebesgue property and (weak) $G$-completeness to generalized quasi-uniform spaces. It investigates the connections between completeness, (weak) $G$-completeness, and the Lebesgue property of the product of generalized…

General Topology · Mathematics 2023-11-07 Sugata Adhya , A. Deb Ray

We revisit generic vanishing results for perverse sheaves with any field coefficients on a complex semi-abelian variety, and indicate several topological applications. In particular, we obtain finiteness properties for the integral…

Algebraic Topology · Mathematics 2017-08-01 Yongqiang Liu , Laurentiu Maxim , Botong Wang

Shelah showed that the existence of free subsets over internally approachable subalgebras follows from the failure of the PCF conjecture on intervals of regular cardinals. We show that a stronger property called the Approachable Bounded…

Logic · Mathematics 2021-02-01 Dominik Adolf , Omer Ben-Neria

An artinian graded algebra, $A$, is said to have the Weak Lefschetz property (WLP) if multiplication by a general linear form has maximal rank in every degree. A vast quantity of work has been done studying and applying this property,…

Commutative Algebra · Mathematics 2011-10-03 Juan Migliore , Uwe Nagel

In this paper the concept of compatible weak factorization systems in general categories is introduced as a counterpart of compatible complete cotorsion pairs in abelian categories. We describe a method to construct model structures on…

Category Theory · Mathematics 2024-10-02 Zhenxing Di , Liping Li , Li Liang

We study the spectral and diffusive properties of the wired minimal spanning forest (WMSF) on the Poisson-weighted infinite tree (PWIT). Let $M$ be the tree containing the root in the WMSF on the PWIT and $(Y_n)_{n\geq0}$ be a simple random…

Probability · Mathematics 2024-02-06 Asaf Nachmias , Pengfei Tang

For a standard Artinian $k$-algebra $A=R/I$, we give equivalent conditions for $A$ to have the weak (or strong) Lefschetz property or the strong Stanley property in terms of the minimal system of generators of the generic initial ideal…

Commutative Algebra · Mathematics 2007-05-23 Jea Man Ahn , Young Hyun Cho , Jung Pil Park

We show that the theories of partially ordered sets, lattices, semilattices, Boolean algebras, Heyting algebras with a further coarser partial order, or a linearization, or an auxiliary relation have the strong amalgamation property,…

Logic · Mathematics 2023-07-04 Paolo Lipparini

We introduce Strong Measuring, a maximal strengthening of J. T. Moore's Measuring principle, which asserts that every collection of fewer than continuum many closed bounded subsets of $\omega_1$ is measured by some club subset of…

Logic · Mathematics 2019-09-06 David Aspero , John Krueger