Showing 20 papers (Total: 81564 papers, 47262 authors in database)
Quotient graphs and stochastic matrices
Whenever graphs admit equitable partitions, their quotient graphs highlight the structure evidenced by the partition. It is therefore very natural to ask what can be said about two graphs that have the same quotient according to certain equitable partitions. This question has been connected to the theory of fractional isomorphisms and covers of graphs in well-known results that we briefly survey in this paper. We then depart to develop theory of what happens when the two graphs have the same symmetrized quotient, proving a structural result connecting this with the existence of certain doubly stochastic matrices. We apply this theorem to derive a new characterization of when two graphs have the same combinatorial quotient, and we also study graphs with weighted vertices and the related concept of pseudo-equitable partitions. Our results connect to known old and recent results, and are naturally applicable to study quantum walks.
The \emph{Optimist}: Towards Fully Automated Graph Theory Research
Published
• View Publication
• BIB
This paper introduces the \emph{Optimist}, an autonomous system developed to advance automated conjecture generation in graph theory. Leveraging mixed-integer programming (MIP) and heuristic methods, the \emph{Optimist} generates conjectures that both rediscover established theorems and propose novel inequalities. Through a combination of memory-based computation and agent-like adaptability, the \emph{Optimist} iteratively refines its conjectures by integrating new data, enabling a feedback process with minimal human (\emph{or machine}) intervention. Initial experiments reveal the \emph{Optimist}'s potential to uncover foundational results in graph theory, as well as to produce conjectures of interest for future exploration. This work also outlines the \emph{Optimist}'s evolving integration with a counterpart agent, the \emph{Pessimist} (a human \emph{or machine} agent), to establish a dueling system that will drive fully automated graph theory research.
On the structure of higher order quantum maps
We study higher order quantum maps in the context of a *-autonomous category of affine subspaces. We show that types of higher order maps can be identified with certain Boolean functions that we call type functions. By an extension of this identification, the algebraic structure of Boolean functions is inherited by some sets of quantum objects including higher order maps. Using the Möbius transform, we assign to each type function a poset whose elements are labelled by subsets of indices of the involved spaces. We then show that the type function corresponds to a comb type if and only if the poset is a chain. We also devise a procedure for decomposition of the poset to a set of basic chains from which the type function is constructed by taking maxima and minima of concatenations of the basic chains in different orders. On the level of higher order maps, maxima and minima correspond to affine mixtures and intersections, respectively.
Multiple Cylinder of Relations for Finite Spaces and Nerve Theorem for Strong-Good Cover
In this paper, we develop the concept of multiple cylinder of relations which is a generalization of the relation cylinder, extending the multiple non-Hausdorff mapping cylinder to sequences of finite T0-spaces linked by a series of relations. This construction is important in capturing complex homotopical structures across chains of finite spaces and, when the relations are induced by maps, it serves as a third space that collapses to two distinct finite spaces. Additionally, we introduce the concept of a strong-good cover for simplicial complexes and finite spaces, char acterized by collapsible (rather than merely contractible) intersections. This leads to a strengthened version of the Nerve Theorem, which we develop for simplicial complexes as well as for finite spaces with strong-good covers, demonstrating that these complexes and spaces and their associated nerves maintain the same simple homotopy type, thereby refining classical results for finite simplicial complexes and finite topological structures.
Upper bounds on diagonal Ramsey numbers [after Campos, Griffiths, Morris, and Sahasrabudhe]
Published
• View Publication
• BIB
Ramsey's theorem states that if $N$ is sufficiently large, then no matter how one colors the edges among $N$ vertices with two colors, there are always $k$ vertices spanning edges in only one color. Given this theorem, it is natural to ask ``how large is sufficiently large?'' Ramsey's original proof showed that $N=k!$ is sufficient, and five years later Erdős and Szekeres improved this bound to $N=4^k$. And then progress stalled for almost 90 years.
In this survey, I present the history of the problem and discuss some of the ideas used in the recent breakthrough of Campos--Griffiths--Morris--Sahasrabudhe, who proved that $N=3.993^k$ is sufficient. In addition, I discuss the subsequent work of Balister, Bollobás, Campos, Griffiths, Hurley, Morris, Sahasrabudhe, and Tiba, who gave an alternative, and more conceptual, proof.
The geometry of ranked symplectic matroids
This paper is a continuation of my paper "Lattices of flats for symplectic matroids". We explore geometric constructions originating from the lattice of flats of ranked symplectic matroids. We observe that a ranked symplectic matroid always sits between two ordinary matroids and use this fact to prove that it has many of the same properties of ordinary matroids. We compute the dimension of its order complex using its Möbius function, We show that its matroid polytope is geometrically defined using its flats and connected to its Bergman fan. We finish by highlighting differences between its toric variety and the toric variety of an ordinary matroid, and give a partial proof of Mason's conjecture for ranked symplectic matroids.
Asymptotics for the number of bipartite graphs with fixed surplus
In a recent work on the bipartite Erdős-Rényi graph, Do et al. (2023) established upper bounds on the number of connected labeled bipartite graphs with a fixed surplus. We use some recent encodings of bipartite random graphs in order to provide a probabilistic formula for the number of bipartite graphs with fixed surplus. Using this, we obtain asymptotics as the number of vertices in each class tend to infinity.
Turán Densities for Small Hypercubes
Published
• View Publication
• BIB
How small can a set of vertices in the $n$-dimensional hypercube $Q_n$ be if it meets every copy of $Q_d$? The asymptotic density of such a set (for $d$ fixed and $n$ large) is denoted by $γ_d$. It is easy to see that $γ_d \leq 1/(d+1)$, and it is known that $γ_d=1/(d+1)$ for $d \leq 2$, but it was recently shown that $γ_d < 1/(d+1)$ for $d \geq 8$. In this paper we show that the latter phenomenon also holds for $d=7$ and $d=6$.
Unified bounds for the independence number of graph powers
Published
• View Publication
• BIB
For a graph $G$, its $k$-th power $G^k$ is constructed by placing an edge between two vertices if they are within distance $k$ of each other. The $k$-independence number $α_k(G)$ is defined as the independence number of $G^k$. By using general semidefinite programming and polynomial methods, we derive sharp bounds for the $k$-independence number of a graph, which extend and unify various existing results. Our work also allows us to easily derive some new bounds for $α_k(G)$.
The Perfect Matching Hamiltonian property in Prism and Crossed Prism graphs
A graph $G$ has the \emph{Perfect Matching Hamiltonian property} (or for short, $G$ is $PMH$) if, for each one of its perfect matchings, there is another perfect matching of $G$ such that the union of the two perfect matchings yields a Hamiltonian cycle of $G$. In this note, we show that \emph{Prism graphs} $\cP_n$ are not $PMH$, except for the $Cube\ graph$, and indicate for which values of $n$ the \emph{Crossed Prism graphs} $\cCP_n$ are $PMH$.
Horospherical varieties with quotient singularities
Published
• View Publication
• BIB
Our main result is a combinatorial characterization of when a horospherical variety has (at worst) quotient singularities. Using this characterization, we show that every quasiprojective horospherical variety with quotient singularities is globally the quotient of a smooth variety by a finite abelian group.
Proof of Frankl's conjecture on cross-intersecting families
Published in Journal of Combinatorial Theory, Series A 216 (2025) 106062
• View Publication
• BIB
Two families $\mathcal{F}$ and $\mathcal{G}$ are called cross-intersecting if for every $F\in \mathcal{F}$ and $G\in \mathcal{G}$, the intersection $F\cap G$ is non-empty. For any positive integers $n$ and $k$, let $\binom{[n]}{k}$ denote the family of all $k$-element subsets of $\{1,2,\ldots,n\}$. Let $t, s, k, n$ be non-negative integers with $k \geq s+1$ and $n \geq 2 k+t$. In 2016, Frankl proved that if $\mathcal{F} \subseteq\binom{[n]}{k+t}$ and $\mathcal{G} \subseteq\binom{[n]}{k}$ are cross-intersecting families, and $\mathcal{F}$ is $(t+1)$-intersecting and $|\mathcal{F}| \geq 1$, then $|\mathcal{F}|+|\mathcal{G}| \leq\binom{n}{k}-\binom{n-k-t}{k}+1$. Furthermore, Frankl conjectured that under an additional condition $\binom{[k+t+s]} {k+t}\subseteq\mathcal{F}$, the following inequality holds: $$ |\mathcal{F}|+|\mathcal{G}| \leq\binom{k+t+s}{k+t}+\binom{n}{k}-\sum_{i=0}^s\binom{k+t+s}{i}\binom{n-k-t-s}{k-i}. $$ In this paper, we prove this conjecture. The key ingredient is to establish a theorem for cross-intersecting families with a restricted universe. Moreover, we derive an analogous result for this conjecture.
Inductive construction of path homology chains
Path homology plays a central role in digraph topology and GLMY theory more general. Unfortunately, the computation of the path homology of a digraph $G$ is a two-step process, and until now no complete description of even the underlying chain complex has appeared in the literature.
In this paper we introduce an inductive method of constructing elements of the path homology chain modules $Ω_n(G;R)$ from elements in the proceeding two dimensions. This proceeds via the formation of what we call upper and lower \emph{extensions}, that are parametrised by certain labeled multihypergraphs which we introduce and call \emph{face multihypergraphs}.
When the coefficient ring $R$ is a finite field the inductive elements we construct generate $Ω_*(G;R)$. With integral or rational coefficients, the inductive elements generate at least $Ω_i(G;R)$ for $i=0,1,2,3$. Since in low dimensions the inductive elements extended over labeled multigraphs coincide with naturally occurring generating sets up to sign, they are excellent candidates to reduce to a basis.
Inductive elements provide a new concrete structure on the path chain complex that can be directly applied to understand path homology, under no restriction on the digraph $G$. We employ inductive elements to construct a sequence of digraphs whose path Euler characteristic can differ arbitrarily depending on the choice of field coefficients. In particular, answering an open question posed by Fu and Ivanov.
Arrangements and Likelihood
Published
• View Publication
• BIB
We develop novel tools for computing the likelihood correspondence of an arrangement of hypersurfaces in a projective space. This uses the module of logarithmic derivations. This object is well-studied in the linear case, when the hypersurfaces are hyperplanes. We here focus on nonlinear scenarios and their applications in statistics and physics.
A Miyaoka-Yau inequality for hyperplane arrangements in $\mathbb{CP}^n$
Published
• View Publication
• BIB
Let $\mathcal{H}$ be a hyperplane arrangement in $\mathbb{CP}^n$. We define a quadratic form $Q$ on $\mathbb{R}^{\mathcal{H}}$ that is entirely determined by the intersection poset of $\mathcal{H}$. Using the Bogomolov-Gieseker inequality for parabolic bundles, we show that if $\mathbf{a} \in \mathbb{R}^{\mathcal{H}}$ is such that the weighted arrangement $(\mathcal{H}, \mathbf{a})$ is stable, then $Q(\mathbf{a}) \leq 0$.
As an application, we consider the symmetric case where all the weights are equal. The inequality $Q(a, \ldots, a) \leq 0$ gives a lower bound for the total sum of multiplicities of codimension $2$ intersection subspaces of $\mathcal{H}$. The lower bound is attained when every $H \in \mathcal{H}$ intersects all the other members of $\mathcal{H} \setminus \{H\}$ along $(1-2/(n+1))|\mathcal{H}| + 1$ codimension $2$ subspaces; extending from $n=2$ to higher dimensions a condition found by Hirzebruch for line arrangements in the complex projective plane.
Random Lipschitz functions on graphs with weak expansion
Benjamini, Yadin, and Yehudayoff (2007) showed that if the maximum degree of a graph $G$ is 'sub-logarithmic,' then the typical range of random $\mathbb Z$-homomorphisms is super-constant. Furthermore, they showed that there is a sharp transition on the range of random $\mathbb Z$-homomorphisms on the graph $C_{n,k}$, the tensor product of the $n$-cycle and the complete graph on $k$ vertices with self-loops, around $k=2\log n$. We extend (to some extent) their results to random $M$-Lipschitz functions and random real-valued Lipschitz functions.
Cohomological VC-density: Bounds and Applications
The concept of Vapnik-Chervonenkis (VC) density is pivotal across various mathematical fields, including discrete geometry, probability theory and model theory. In this paper, we introduce a topological generalization of VC-density. Let $Y$ be a topological space and $\mathcal{X}$ a family of closed subspaces of $Y$. For each $p \geq 0$, we define a number, $\mathrm{vcd}^{p}_{\mathcal{X}}$, which we refer to as the degree $p$ VC-density of the family $\mathcal{X}$. The classical notion of VC-density within this topological framework can be recovered by setting $p=0$.
Our definition of degree $p$ VC-density extends to higher orders as well. For $p \geq 0$, $q \geq 1$, we define the degree $p$, order $q$ VC density $\mathrm{vcd}^{p,q}_{\mathcal{X}}$ of $\mathcal{X}$, which recovers Shelah's notion of higher order VC-density for $q$-dependent families when $p=0$. Our definition introduces a completely new notion when $p > 0$.
We examine the properties of $\mathrm{vcd}_{\mathcal{X}}^p$ (as well as $\mathrm{vcd}^{p,q}_{\mathcal{X}}$) when the families $\mathcal{X}$ are definable in structures with some underlying topology (for instance, the Euclidean topology for o-minimal structures over $\mathbb{R}$, the analytic topology over $\mathbb{C}$, or the étale site for schemes over arbitrary algebraically closed fields). Our main result establishes that in any model of these theories
\[ \mathrm{vcd}_{\mathcal{X}}^p \leq (p+1) \dim X, \] and more generally for any $q \geq 1$ \[ \mathrm{vcd}^{p,q}_{\mathcal{X}} \leq (p+q) \dim X. \] We give examples to show that our bounds are optimal. We also present combinatorial applications of our higher-degree VC-density bounds, deriving higher degree topological analogs of well-known results such as the existence of $\varepsilon$-nets and the fractional Helly theorem.
Completely regular codes in graphs covered by a Hamming graph
In Cayley graphs on the additive group of a small vector space over GF$(q)$, $q=2,3$, we look for completely regular (CR) codes whose parameters are new in Hamming graphs over the same field. The existence of a CR code in such Cayley graph $G$ implies the existence of a CR code with the same parameters in the corresponding Hamming graph that covers $G$. In such a way, we find several completely regular codes with new parameters in Hamming graphs over GF$(3)$. The most interesting findings are two new CR-$1$ (with covering radius~$1$) codes that are independent sets (such CR are equivalent to optimal orthogonal arrays attaining the Bierbrauer--Friedman bound) and one new CR-$2$. By recursive constructions, every knew CR code induces an infinite sequence of CR codes (in particular, optimal orthogonal arrays if the original code was CR-$1$ and independent). In between, we classify feasible parameters of CR codes in several strongly regular graphs.
Counterexamples to Zagier's Duality Conjecture on Nahm Sums
Given any positive integer $r$, Nahm's problem is to determine all $r\times r$ rational positive definite matrix $A$, $r$-dimensional rational vector $B$ and rational scalar $C$ such that the rank $r$ Nahm sum associated with $(A,B,C)$ is modular. Around 2007, Zagier conjectured that if the rank $r$ Nahm sum for $(A,B,C)$ is modular, then so is the dual Nahm sum associated with $(A^{-1},A^{-1}B,B^\mathrm{T} A^{-1}B/2-{r}/{24}-C)$. We construct some explicit rank four Nahm sums which are modular while their duals are not modular. This provides counterexamples to Zagier's duality conjecture.
Exclusivity principle, Ramsey theory, and $n$-cycle PR boxes
The exclusivity principle (E-principle) states that the sum of probabilities of pairwise exclusive events cannot exceed 1. Unlike other principles proposed to characterize quantum correlations, its intrinsically non-bipartite formulation enables its application in more general contextuality scenarios. Although equivalent to the no-signalling condition for any bipartite Bell scenario, this equivalence breaks down for two independent copies of the same scenario. Such violation of the E-principle due to multiple copies, known as its activation effect, was studied in [Nat Commun 4, 2263 (2013)] for the nonlocal extremal boxes of $(2,m,2)$, $(2,2,d)$, and $(3,2,2)$ Bell scenarios. The authors mapped the problem of exhibiting activation effects to finding certain cliques inside joint exclusivity graphs. In this work, we refine the joint exclusivity structure to be an edge-colored exclusivity multigraph. This allows us to draw a novel connection to Ramsey theory, which guarantees the existence of certain monochromatic subgraphs in sufficiently large edge-colored cliques, providing a powerful tool for ruling out E-principle violations. We then exploit this connection, drawing on Ramsey-theoretic results to study violations of the E-principle by multiple copies of the contextual extremal boxes of $n$-cycle scenarios, called $n$-cycle PR boxes. For the usual ($n=4$) PR box we show that the known E-principle violation of $5/4$ is the maximal achievable using two copies, and that this same upper bound applies to two copies of the KCBS ($n = 5$) PR box. We then prove that $n \geq 6$-cycle PR boxes, unlike the extremal boxes of the aforementioned Bell scenarios, do not exhibit activation effects with two or three copies. Finally, for any number of independent copies $k$, we establish a lower bound on $n$ above which $n$-cycle PR boxes do not exhibit activation effects with $k$ copies.