arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.13551

Spectral Theory and Descriptive Combinatorics for Non-Regular Borel pmp Graphs

Cecelia Higgins·Pieter Spaas·Sofia Torelli
View original source ↗Read source document ↗Export metadata ↓

Abstract

We continue the systematic study initiated in arXiv:2602.05185 of the relationship between the spectral theory and descriptive combinatorics of bounded-degree Borel pmp graphs, particularly in the non-regular setting. We first adapt a classical result of Nikiforov to give a new spectral lower bound on the approximate measurable chromatic number. For certain non-regular graphs, this bound improves on the approximate measurable version of Hoffman's classical bound established in arXiv:2602.05185. Next, we strengthen a characterization in arXiv:2602.05185 of approximate measurable bipartiteness in terms of the spectrum of the adjacency operator by generalizing to the case of non-regular graphs. Finally, we introduce the measurable domination number and adapt several classical results of Lu, Liu, and Tian to give a bound on the spectral gap of the Laplacian operator in terms of the measurable domination number.

Explore related subjects

math.LOmath.COmath.OAmath.SP

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Cecelia Higgins, Pieter Spaas, Sofia Torelli. 2026-10-09. Spectral Theory and Descriptive Combinatorics for Non-Regular Borel pmp Graphs. https://arxiv.org/abs/2610.13551

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Intuitionistic Linear Logic with Subexponentials: Type Theory, Categorical Models and Realisability

In this paper, we present a typed lambda calculus ${\bf SILL}(λ)_Σ$, a type-theoretic version of multiplicative intuitionistic linear logic with subexponentials, that is, we have many comonadic resource modalities with some interconnections between them given by a subexponential signature $Σ$. We introduce the concept of a $Σ$-assemblage to characterise models of ${\bf SILL}(λ)_Σ$ by expanding the concept of a linear category where one has multiple resource comonads and symmetric lax monoidal comonad morphisms. We also generalise several known results from linear logic and show that every $Σ$-assemblage can be viewed as a symmetric monoidal closed category equipped with a family of monoidal adjunctions and morphisms by modernising and generalising Benton's results by involving the formal theory of comonads in the fashion of Street. We give a stronger 2-categorical characterisation of $Σ$-assemblages and show that the 2-category of $Σ$-assemblages 1,2-fully faithfully embeds into the 2-category of particular families of monoidal adjunctions, their left morphisms and transformations, that is, polymodal expansions of linear-non-linear models. In the final section, we describe realisability models for the particular case of a three-element subexponential signature by describing BCI algebras with extra operators viewed as applicative morphisms and assemblies over them.

math.LO↗
arXiv2026

Dichotomy results for classes of countable graphs

We study classes of countable graphs where every member does not contain a given finite graph as an induced subgraph -- denoted by $\mathsf{Free}(\mathcal{G})$ for a given finite graph $\mathcal{G}$. Our main results establish a structural dichotomy for such classes: If $\mathcal{G}$ is not an induced subgraph of $\mathcal{P}_4$, then $\mathsf{Free}(\mathcal{G})$ is on top under effective bi-interpretability, implying that the members of $\mathsf{Free}(\mathcal{G})$ exhibit the full range of structural and computational behaviors. In contrast, if $\mathcal{G}$ is an induced subgraph of $\mathcal{P}_4$, then $\mathsf{Free}(\mathcal{G})$ is structurally simple, as witnessed by the fact that every member satisfies the computable embeddability condition. This dichotomy is mirrored in the finite setting when one considers combinatorial and complexity-theoretic properties. Specifically, it is known that $\mathsf{Free}(\mathcal{G})^{fin}$ is complete for graph isomorphism and not a well-quasi-order under embeddability whenever $\mathcal{G}$ is not an induced subgraph of $\mathcal{P}_4$, while in all other cases $\mathsf{Free}(\mathcal{G})^{fin}$ forms a well-quasi-order and the isomorphism problem for $\mathsf{Free}(\mathcal{G})^{fin}$ is solvable in polynomial time.

math.LO↗
arXiv2026

Forcing and cardinal invariants of universally null sets

We study universally null sets in forcing extensions and the cardinal invariants of their ideal $\mathcal{UN}$. We prove that the Miller model contains a nonmeager universally null set of cardinality $\aleph_2=\mathfrak{c}$, answering a question of Brendle and Larson. The proof uses preservation of universal nullity by countable support iterations of Miller forcing and shows that the set of Miller reals added during the iteration is universally null. We also prove that every universally null set in the $\mathbb{PT}_{f,g}$ model has cardinality at most $\aleph_1$, and show that there is consistently a forcing destructible universally null set. For the cardinal invariants, we show that $|X|<\operatorname{cof}(\mathcal{UN})$ for every $X\in\mathcal{UN}$, and that $\operatorname{add}(\mathcal{N})=\mathfrak{c}$ implies $\operatorname{cof}(\mathcal{UN})=\mathfrak{d}_{\mathfrak{c}}$. Finally, we prove the consistency of $\operatorname{add}(\mathcal{UN})<\operatorname{cov}(\mathcal{UN}) <\operatorname{non}(\mathcal{UN})<\operatorname{cof}(\mathcal{UN})$.

math.LO↗