Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Vertex Dismissibility and Scalability of Simplicial Complexes
We introduce vertex dismissible and scalable simplicial complexes, generalizing the classical notions of vertex decomposability and shellability. We prove that a complex satisfies these properties if and only if its initial dimension skeleton is vertex decomposable or shellable, respectively. Algebraically, we define vertex divisible ideals and ideals with degree quotients, proving they are the exact Alexander duals of these complexes. This establishes a corresponding topological and homological hierarchy that interpolates between classical structural properties and the initially Cohen-Macaulay condition. Furthermore, we demonstrate that for complexes of initial dimension one and the independence complexes of co-chordal and cycle graphs, vertex dismissibility, scalability, and initial Cohen-Macaulayness are equivalent to weak connectedness. Finally, we provide a complete skeletal characterization of these properties, a generalized perspective that recovers numerous classical theorems as immediate consequences.
Pairwise Negative Correlation for Uniform Spanning Subgraphs of the Complete Graph
We investigate the pairwise negative correlation (p-NC) property for uniform probability measures on several families of spanning subgraphs of the complete graph $K_n$. Motivated by conjectured negative dependence properties of the random-cluster model with $q<1$, we focus on three natural families: the set of all connected spanning subgraphs, the set of forests with exactly $k$ components, and the set of connected spanning subgraphs with excess $k$, where $k$ is a fixed integer. We prove that for each of these families, the associated uniform measure satisfies the p-NC property provided $n$ is sufficiently large. Our results extend earlier work on uniform forests and provide the first verification of the p-NC property for uniform connected subgraphs and their truncations on complete graphs.
Extremal problems in uniformly dense hypergraphs and digraphs
The uniform Turán density $π_{u}(F)$ of a $3$-uniform hypergraph (or $3$-graph) $F$ is the supremum of all $d$ such that there exist infinitely many $F$-free $3$-graphs $H$ in which every induced subhypergraph on a linearly sized vertex set has edge density at least $d$. Determining $π_{u}(F)$ for a given $3$-graph $F$ was proposed by Erdős and Sós in the 1980s, yet only a few cases are known. In particular, it remains open whether $1/2$ can occur as a value of $π_{u}$.
In this paper, we establish a novel connection between Turán-type extremal problems for digraphs and uniform Turán densities of $3$-graphs. Using digraph extremal results, we give the first verifiable conditions for $3$-graphs $F$ with $π_{u}(F) = (r-1)/r$ and $π_{u}(F) = (r-1)^2/r^2$ for all $r \ge 2$, and identify the corresponding $3$-graphs. In particular, these $3$-graph classes contain some specific $3$-graphs, such as $K^{(3)-}_4$. We also present a sufficient condition ensuring $π_{u}(F)=4/27$ and construct $3$-graphs satisfying it; in particular, our examples are different from the tight $3$-uniform cycles whose uniform Turán density $4/27$ was determined in [{Trans. Amer. Math. Soc. 376 (2023), 4765-4809}]. Finally, we give a short proof of the existence of $3$-graphs $F$ with $π_{u}(F)=1/27$, originally established by Garbe, Král' and Lamaison [{Israel J. Math. 259 (2024), 701-726}] via the hypergraph regularity method.
Combinatorial perspectives on identities for partitions with distinct even parts
Partitions with distinct even parts have long been the subject of extensive research. In this paper, We present some new perspectives on such partitions from a combinatorial viewpoint, and connect them with signed partitions and bicolored partitions, thereby obtaining several partition identities. We construct bijective proofs for each of our results. Furthermore, these bijections will partially answer the combinatorial problems posed by Andrews-El Bachraoui and K$\imath$l$\imath$ç-Kurşungöz. respectively.
Adjoints of Morphisms of Neural Codes
A combinatorial code $\mathcal{C}$ is a collection of subsets of $[n]$, or equivalently a set of points in $\{0,1\}^n$. A morphism of codes is a map from one combinatorial code to another such that the coordinates of points in the image can be expressed as products of coordinates in the domain. By representing morphisms of codes as binary matrices, we show that any morphism of codes is part of a Galois connection where its adjoint is boolean multiplication by the representative matrix. We use this to characterize those morphisms of codes which allow to factor a boolean matrix, with applications to estimating boolean matrix rank.
Morphisms also induce a partial order on (isomorphism classes of) codes. We determine the covering relations in this partial order for which the two adjoint maps are mutual inverses in terms of \emph{free} neurons, a combinatorial condition on the index corresponding to the covering maps. We introduce the \emph{defect} of a code as a new tool to study this poset and show that defect decreases by exactly 0 or 1 under a covering map.
New Upper Bounds for the Classical Ramsey Numbers $R(4,4,4)$, $R(3,4,5)$ and $R(3,3,6)$
The inequality \[ R(k_1,\ldots,k_r)\le 2-r+\sum_{i=1}^r R(k_1,\ldots,k_{i-1},k_i-1,k_{i+1},\ldots,k_r) \] is well known, and it is strict whenever the right-hand side and at least one of the terms in the sum are even. Except for two known cases, the best upper bounds for classical Ramsey numbers with at least three colors have so far been obtained from this inequality.
In this paper we present new bounds such as $R(4,4,4)\le 229$, $R(3,4,5)\le 157$ and $R(3,3,6)\le 91$.
Semidegree threshold for spanning trees in oriented graphs
We show that for all $γ> 0$ and $Δ\in \mathbb{N}$, there is some $n_0$ such that, if $n \geq n_0$, then every oriented graph on $n$ vertices with minimum semidegree at least $(3/8 + γ)n$ contains a copy of each oriented tree on $n$ vertices with maximum degree at most $Δ$. This is asymptotically best possible.
Extremal Laplacian energy of $\overrightarrow{C_{k+1}}$-free digraphs
The Laplacian energy of a digraph $G$ is defined as $\sum_{i=1}^n λ_i^2$, where $λ_i$ are the eigenvalues of the Laplacian matrix of $G$. A (di)graph $G$ is said to be $H$-free if it does not contain a copy of the fixed (di)graph $H$ as a sub(di)graph. In this paper, we extend the Turán problems to spectral Turán problems in digraphs: what is the maximal Laplacian energy of an $H$-free digraph of given order? In particular, we determine the maximum Laplacian energy and characterize the extremal digraphs of $\overrightarrow{C_{k+1}}$-free digraphs.
Schur complements for tensors and multilinear commutative rank
We show that three notions of rank for matrices of multilinear forms are equivalent. This result generalizes a classical result of Flanders, corrects a minor hole in work of Fortin and Reutenauer, answers a question of Lampert on the relation between the analytic and slice ranks of trilinear forms, and establishes a special case of the conjecture that the analytic and partition ranks of a tensor are equivalent.
An asymptotically optimal bound for the concentration function of a sum of independent integer random variables
For a random variable $X$ define $Q(X) = \sup_{x \in \mathbb{R}} \mathbb{P}(X=x)$.
Let $X_1, \dots, X_n$ be independent integer random variables. Suppose $Q(X_i) \le α_i \in (0,1]$ for each $i \in \{1, \dots, n\}$. Juškevičius (2023) conjectured that $Q(X_1 + \dots +X_n) \le Q(Y_1 + \dots+ Y_n)$ where $Y_1, \dots, Y_n$ are independent and $Y_i$ is a random integer variable with $Q(Y_i) =α_i$ that has the smallest variance, i.e. the distribution of $Y_i$ has probabilities $α_i, \dots, α_i, β_i$ or probabilities $β_i, α_i, \dots, α_i$ on some interval of integers, where $0 \le β_i < α_i$. We prove this conjecture asymptotically: i.e., we show that for each $δ> 0$ there is $V_0 = V_0(δ)$ such that if ${\mathrm Var} (\sum Y_i) \ge V_0$ then $Q(\sum X_i) \le (1+δ) Q(\sum Y_i)$.
This implies an analogous asymptotically optimal inequality for concentration at a point when $X_1$, $\dots$, $X_n$ take values in a separable Hilbert space.
Our long and technical argument relies on several non-trivial previous results including an inverse Littlewood--Offord theorem and an approximation in total variation distance of sums of multivariate lattice random vectors by a discretized Gaussian distribution.
On the PLS-Completeness of $k$-Opt Local Search for the Traveling Salesman Problem
The $k$-Opt algorithm is a local search algorithm for the traveling salesman problem. Starting with an initial tour, it iteratively replaces at most $k$ edges in the tour with the same number of edges to obtain a better tour. Krentel (FOCS 1989) showed that the traveling salesman problem with the $k$-Opt neighborhood is complete for the class PLS (polynomial time local search). However, his proof requires $k \gg 1000$ and has a substantial gap. We provide the first rigorous proof for the PLS-completeness and at the same time drastically lower the value of $k$ to $k \geq 15$, addressing an open question by Monien, Dumrauf, and Tscheuschner (ICALP 2010). Our result holds for both the general and the metric traveling salesman problem.
Super-minimally $3$-connected matroids
A super-minimally $k$-connected matroid is a $k$-connected matroid having no proper $k$-connected restriction of size at least $2k-2$. This extends the corresponding concept for graphs. For $k=2$ and $k=3$, we determine the maximum size of a super-minimally $k$-connected rank-$r$ matroid and characterize, in each case, those matroids attaining the extremal bound. These results parallel Murty's results for minimally $2$-connected matroids and Oxley's results for minimally $3$-connected matroids.
The zeta function of regular trees, their special values and functional equations
We determine the special values at positive integers of the spectral zeta function associated with the combinatorial Laplacian on the regular tree. These values admit explicit formulas in terms of certain polynomials, which we show to be palindromic and to have non-negative integer coefficients with a combinatorial interpretation. Along the way, we uncover unexpected symmetries between the values of the zeta function at negative and positive integers, expressed at the level of their generating functions. Using these symmetries, we ultimately establish a functional equation of the type \( s \longleftrightarrow 1-s \) for a natural completion of the zeta function.
Bohr sets in sumsets III: expanding difference sets and almost Bohr sets
Let $G$ be a discrete abelian group. Følner showed that if $A \subseteq G$ has positive upper Banach density, then $A - A$ contains an almost Bohr set -- a set of the form $B \setminus E$ where $B$ is a Bohr set and $E$ has zero Banach density.
We study the sets $S \subseteq G$ for which $A - A + S$ contains a Bohr set for every $A \subseteq G$ of positive upper Banach density. For $G = \mathbb{Z}$, we show that the sets $\{n^2: n \in \mathbb{N}\}$, $\{p - 1: p \text{ prime}\}$, and $\{ \lfloor n^c \rfloor: n \in \mathbb{N} \}$ with $c > 0$, have this property.
We also study those sets $S$ such that $A + S$ contains a Bohr set for every almost Bohr set $A$. As applications, we prove:
(i) If $φ_1, φ_2: G \to G$ are (not necessarily commuting) homomorphisms with finite indices $[G: φ_i(G)]$, and $C \subseteq G$ is a central set, then $φ_1(C) - φ_1(C) + φ_2(C)$ contains a Bohr set. This answers one of our questions in [35] and generalizes results in [44, 48];
(ii) Every set of pointwise recurrence in $\mathbb{Z}$ is a set of nice recurrence and a van der Corput set, extending known properties of sets of pointwise recurrence studied in [26, 27, 40].
Induced Minors and Coarse Tree Decompositions
Let $G$ be a graph, $S \subseteq V(G)$ be a vertex set in $G$ and $r$ be a positive integer. The distance $r$-independence number of $S$ is the size of the largest subset $I \subseteq S$ such that no pair $u$, $v$ of vertices in $I$ have a path on at most $r$ edges between them in $G$. It has been conjectured [Chudnovsky et al., arXiv, 2025] that for every positive integer $t$ there exist positive integers $c$, $d$ such that every graph $G$ that excludes both the complete bipartite graph $K_{t,t}$ and the grid $\boxplus_t$ as an induced minor has a tree decomposition in which every bag has (distance $1$) independence number at most $c(\log n)^d$. We prove a weaker version of this conjecture where every bag of the tree decomposition has distance $16(\log n + 1)$-independence number at most $c(\log n)^d$. On the way we also prove a version of the conjecture where every bag of the decomposition has distance $8$-independence number at most $2^{c (\log n)^{1-(1/d)}}$.
Reinforced Generation of Combinatorial Structures: Ramsey Numbers
We present improved lower bounds for five classical Ramsey numbers: $\mathbf{R}(3, 13)$ is increased from $60$ to $61$, $\mathbf{R}(3, 18)$ from $99$ to $100$, $\mathbf{R}(4, 13)$ from $138$ to $139$, $\mathbf{R}(4, 14)$ from $147$ to $148$, and $\mathbf{R}(4, 15)$ from $158$ to $159$. These results were achieved using AlphaEvolve, an LLM-based code mutation agent. Beyond these new results, we successfully recovered lower bounds for all Ramsey numbers known to be exact, and matched the best known lower bounds across many other cases. These include bounds for which previous work does not detail the algorithms used. Virtually all known Ramsey lower bounds are derived computationally, with bespoke search algorithms each delivering a handful of results. AlphaEvolve is a single meta-algorithm yielding search algorithms for all of our results.
Hook Length Biases in $t$-Core Partitions
Recently, the theory of hook length biases has emerged as a prominent research topic. Led by Ballantine, Burson, Craig, Folsom, and Wen [\textit{Res. Math. Sci.}, 2023], hook length biases are being explored for ordinary partitions, odd versus distinct partitions, self-conjugate versus distinct odd partitions. Lately, Singh and Barman [\textit{J. Number Theory}, 2024] opened the door to hook length biases in $\ell$-regular partitions. In this work, we extend the theory of hook length biases to $t$-core partitions. For example, let $a_{t,k}(n)$ denote the number of hooks of length $k$ in all $t$-core partitions of $n$, then we find that $a_{3,1}(n)\ge a_{3,2}(n) \ge a_{3,4}(n)$ and $a_{4,1}(n)\ge a_{4,3}(n)$ for all $n$. The methods employed in this work are mainly combinatorial.
Penrose P2 Tilings: A Study of Fully Leafed Induced Subtrees
We present new results about fully leafed induced subtrees in Penrose P2 tilings. We first determine the graph structure of these subtrees and show that they are caterpillars, up to an appendix of at most six tiles. We then study bi-infinite fully leafed induced caterpillars in P2 tilings and their geometric properties. In particular, we refute the conjecture proposed by C. Porrier, A. Goupil and A. Blondin Massé that there is a unique bi-infinite fully leafed caterpillar in Penrose P2 tilings.
Relative Difference sets from Almost Perfect Nonlinear Functions
In this paper we explore a connection between certain Almost Perfect Nonlinear Functions (APN functions) and relative difference sets. In particular, we show that the image set of certain 2-to-1 APN functions is a relative difference set. Through a result of Pott this further provides a connection between APN functions and bent functions.
Large chirotopes with computable numbers of triangulations
Chirotopes are a common combinatorial abstraction of (planar) point sets. In this paper we investigate decomposition methods for chirotopes, and their application to the problem of counting the number of triangulations supported by a given planar point set. In particular, we generalize the convex and concave sums operations defined by Rutschmann and Wettstein for a particular family of chirotopes (which they call chains), and obtain a precise asymptotic estimate for the number of triangulations of the double circle, using a functional equation and the kernel method.