Showing 20 papers (Total: 81378 papers, 47165 authors in database)
On cores of distance-regular graphs
We look at the question of which distance-regular graphs are core-complete, meaning they are isomorphic to their own core or have a complete core. We build on Roberson's homomorphism matrix approach by which method he proved the Cameron-Kazanidis conjecture that strongly regular graphs are core-complete. We develop the theory of the homomorphism matrix for distance-regular graphs of diameter $d$.
We derive necessary conditions on the cosines of a distance-regular graph for it to admit an endomorphism into a subgraph of smaller diameter $e<d$. As a consequence of these conditions, we show that if $X$ is a primitive distance-regular graph where the subgraph induced by the set of vertices furthest away from a vertex $v$ is connected, any retraction of $X$ onto a diameter-$d$ subgraph must be an automorphism, which recovers Roberson's result for strongly regular graphs as a special case for diameter $2$.
We illustrate the application of our necessary conditions through computational results. We find that no antipodal, non-bipartite distance-regular graphs of diameter 3, with degree at most $50$ admits an endomorphism to a diameter 2 subgraph. We also give many examples of intersection arrays of primitive distance-regular graphs of diameter $3$ which are core-complete. Our methods include standard tools from the theory of association schemes, particularly the spectral idempotents.
Keywords: algebraic graph theory, distance-regular graphs, association schemes, graph homomorphisms
Intersections of graphs and $χ$-boundedness
Given $k$ graphs $G_{1}, \ldots, G_{k}$, their intersection is the graph $(\cap_{i\in [k]}V(G_{i}), \cap_{i\in [k]}E(G_{i}))$. Given $k$ graph classes $\mathcal{G}_{1}, \ldots , \mathcal{G}_{k}$, we call the class $\{G: \forall i \in[k], \exists G_{i} \in \mathcal{G}_{i} \text{ such that } G=G_{1}\cap \ldots \cap G_{k}\}$ the graph-intersection of $\mathcal{G}_{1}, \ldots , \mathcal{G}_{k}$. The main motivation for the work presented in this paper is to try to understand under which conditions graph-intersection preserves $χ$-boundedness. We consider the following two questions:
Which graph classes have the property that their graph-intersection with every $χ$-bounded class of graphs is $χ$-bounded? We call such a class intersectionwise $χ$-guarding. We prove that classes of graphs which admit a certain kind of decomposition are intersectionwise $χ$-guarding. We provide necessary conditions that a finite set of graphs $\mathcal{H}$ should satisfy if the class of $\mathcal{H}$-free graphs is intersectionwise $χ$-guarding, and we characterize the intersectionwise $χ$-guarding classes which are defined by a single forbidden induced subgraph.
Which graph classes have the property that, for every positive integer $k$, their $k$-fold graph-intersection is $χ$-bounded? We call such a class intersectionwise self-$χ$-guarding. We study intersectionwise self-$χ$-guarding classes which are defined by a single forbidden induced subgraph, and we prove a result which allows us construct intersectionwise self-$χ$-guarding classes from known intersectionwise $χ$-guarding classes.
Reconstructing graphs with subgraph compositions
We generalize the problem of reconstructing strings from their substring compositions first introduced by Acharya et al. in 2015 motivated by polymer-based advanced data storage systems utilizing mass spectrometry. Namely, we see strings as labeled path graphs, and as such try to reconstruct labeled graphs. For a given integer t, the subgraph compositions contain either vectors of labels for each connected subgraph of order t (t-multiset-compositions) or the sum of all labels of all connected subgraphs of order t (t-sum-composition). We ask whether, given a graph of which we know the structure and an oracle whom you can query for compositions, we can reconstruct the labeling of the graph. If it is possible, then the graph is reconstructable; otherwise, it is confusable, and two labeled graphs with the same compositions are called equicomposable. We prove that reconstructing through a brute-force algorithm is wildly inefficient, before giving methods for reconstructing several graph classes using as few compositions as possible. We also give negative results, finding the smallest confusable graphs and trees, as well as families with a large number of equicomposable non-isomorphic graphs. An interesting result occurs when twinning one leaf of a path: some paths are confusable, creating a twin out of a leaf sees the graph alternating between reconstructable and confusable depending on the parity of the path, and creating a false twin out of a leaf makes the graph reconstructable using only sum-compositions in all cases.
Strong Geometry : Knots
In this paper, we introduce the notion of strong geometry, a structure composed by both the chirotope of a set of points X in the d-dimensional space and the wedge chirotope which is the specific adjoint chirotope induced by the hyperplanes spanned by X. We present various properties relating these two chirotopes, for instance, by introducing the witness chirotope, we are able to give a formula expressing the wedge chirotope in terms of the usual chirotope. With this on hand, we answer positively a strong geometry version of a question due to M. Las Vergnas about reconstructing polygonal knots via chirotopes. Moreover, we also show that linear spatial graphs are determined by their corresponding strong geometries.
Representability of Flag Matroids
We provide a new axiom system for flag matroids, characterize representability of uniform flag matroids, and give forbidden minor characterizations of full flag matroids that are representable over $\mathbb{F}_2$ and $\mathbb{F}_3$.
Full classification of anti-van der Waerden numbers of graph products of forests
The anti-van der Waerden number of a graph $G$ is the fewest number of colors needed to guarantee a rainbow $3$-term arithmetic progression in $G$, denoted $\operatorname{aw}(G,3)$. It is known that the anti-van der Waerden number of graph products is $3 \le \operatorname{aw}(G\square H,3)\le 4$. Previous work has been done on classifying families of graph products into $\operatorname{aw}(G\square H,3) = 3$ and $\operatorname{aw}(G\square H,3) = 4$. Some of these families include the product of two paths, the product of paths and cycles, the product of two cycles, and the product of odd cycles with any graph. Recently, a partial characterization of the product of two trees was established. This paper completes the characterization for $\operatorname{aw}(T\square T',3)$ where $T$ and $T'$ are trees. Moreover, this result extends to a full classification of products of forests.
Preparing graph states forbidding a vertex-minor
Measurement based quantum computing is preformed by adding non-Clifford measurements to a prepared stabilizer states. Entangling gates like CZ are likely to have lower fidelities due to the nature of interacting qubits, so when preparing a stabilizer state, we wish to minimize the number of required entangling states. This naturally introduces the notion of CZ-distance.
Every stabilizer state is local-Clifford equivalent to a graph state, so we may focus on graph states $\left\vert G \right\rangle$. As a lower bound for general graphs, there exist $n$-vertex graphs $G$ such that the CZ-distance of $\left\vert G \right\rangle$ is $Ω(n^2 / \log n)$. We obtain significantly improved bounds when $G$ is contained within certain proper classes of graphs. For instance, we prove that if $G$ is a $n$-vertex circle graph with clique number $ω$, then $\left\vert G \right\rangle$ has CZ-distance at most $4n \log ω+ 7n$. We prove that if $G$ is an $n$-vertex graph of rank-width at most $k$, then $\left\vert G \right\rangle$ has CZ-distance at most $(2^{2^{k+1}} + 1) n$. More generally, this is obtained via a bound of $(k+2)n$ that we prove for graphs of twin-width at most $k$.
We also study how bounded-rank perturbations and low-rank cuts affect the CZ-distance. As a consequence, we prove that Geelen's Weak Structural Conjecture for vertex-minors implies that if $G$ is an $n$-vertex graph contained in some fixed proper vertex-minor-closed class of graphs, then $\left\vert G \right\rangle$ has CZ-distance at most $O(n\log n)$. Since graph states of locally equivalent graphs are local Clifford equivalent, proper vertex-minor-closed classes of graphs are natural and very general in this setting.
Information-theoretic coordinate subset and partition selection of multivariate Markov chains via submodular optimization
We study the problem of optimally projecting the transition matrix of a finite ergodic multivariate Markov chain onto a lower-dimensional state space, as well as the problem of finding an optimal partition of coordinates such that the factorized Markov chain gives minimal information loss compared to the original multivariate chain. Specifically, we seek to construct a Markov chain that optimizes various information-theoretic criteria under cardinality constraints. These criteria include entropy rate, information-theoretic distance to factorizability, independence, and stationarity. We formulate these tasks as best subset or partition selection problems over multivariate Markov chains and leverage the (k-)submodular (or (k-)supermodular) structures of the objective functions to develop efficient greedy-based algorithms with theoretical guarantees. Along the way, we introduce a generalized version of the distorted greedy algorithm, which may be of independent interest. Finally, we illustrate the theory and algorithms through extensive numerical experiments with publicly available code on multivariate Markov chains associated with the Bernoulli--Laplace and Curie--Weiss models.
Sufficient conditions for the variation of toughness under the distance spectral in graphs involving minimum degree
The concept of graph toughness was first introduced in 1973. In 1995, scholars first explored the lower bound of the toughness of connected d-regular graphs with respect to d and the second largest eigenvalue of the adjacency matrix. The concept of the variation of toughness was first introduced in 1988. The variation of toughness is defined as tau(G) = min{|S|/(c(G-S)-1)}. In 2025, Chen, Fan, and Lin provided sufficient conditions for a graph to be t-tough in terms of the minimum degree and the distance spectral radius. Inspired by this, we propose a sufficient condition for a graph to be tau-tough in terms of minimum degree and distance spectral radius, and provide the corresponding proof, where |S| and c(G-S)-1 are mutually divisible.
Effective Khovanskii, Ehrhart Polytopes, and the Erdős Multiplication Table Problem
Let $P(k,n)$ be the set of products of $k$ factors from the set $\{1,\ldots , n\}.$ In 1955, Erdős posed the problem of determining the order of magnitude of $|P (2, n)|$ and proved that $|P (2, n)| = o(n^2 )$ for $n \to\infty$. In 2015, Darda and Hujdurović asked whether, for each fixed $n$, $|P (k, n)|$ is a polynomial in $k$ of degree $π(n)$ - the number of primes not larger than $n$. Recently, Granville, Smith and Walker published an effective version of Khovanskii's Theorem. We apply this new result to show, that for each integer $n$, there is a polynomial $q_n$ of degree $π(n)$ such that $|P (k, n)|=q_n(k)$ for each $k\geq n^2\cdot\left(\prod_{m=1}^{π(n)} \log_{p_m}(n)\right)-n+1.$ Moreover, we give an upper estimate of the leading coefficient of $q_n$.
Hypergraphs of arbitrary uniformity with vanishing codegree Turán density
The codegree Turán density $π_{\text{co}}(F)$ of a $k$-uniform hypergraph (or $k$-graph) $F$ is the infimum over all $d$ such that a copy of $F$ is contained in any sufficiently large $n$-vertex $k$-graph $G$ with the property that any $(k-1)$-subset of $V(G)$ is contained in at least $dn$ edges. The problem of determining $π_{\text{co}}(F)$ for a $k$-graph $F$ is in general very difficult when $k \geq 3$, and there were previously very few nontrivial examples of $k$-graphs $F$ for which $π_{\text{co}}(F)$ was known when $k \geq 4$.
In this paper, we prove that $C_\ell^{(k)-}$, the $k$-uniform tight cycle of length $\ell$ minus an edge, has vanishing codegree Turán density if and only if $\ell \equiv 0, \pm 1 \pmod{k}$ when $\ell \geq k + 2$. This generalises a result of Piga, Sales and Schülke, who proved that $π_\text{co}(C_\ell^{(3)-}) = 0$ when $\ell \geq 5$. The method used to prove that $π_\text{co}(C_\ell^{(k)-}) = 0$ when $\ell \equiv \pm 1 \pmod{k}$ and $\ell \geq 2k - 1$ in fact gives a rather larger class of $k$-graphs with vanishing codegree Turán density. We also answer a question of Piga and Schülke by proving that another family of $k$-graphs, studied by them, has vanishing codegree Turán density.
$(q,t)$-chromatic symmetric functions
By using level one polynomial representations of affine Hecke algebras of type $A$, we obtain a $(q,t)$-analogue of the chromatic symmetric functions of unit interval graphs which generalizes Syu Kato's formula for the chromatic symmetric functions of unit interval graphs. We show that at $q=1$, the $(q,t)$-chromatic symmetric functions essentially reduce to the chromatic quasisymmetric functions defined by Shareshian-Wachs, which in particular gives an algebraic proof of Kato's formula. We also give an explicit formula of the $(q,t)$-chromatic symmetric functions at $q=\infty$, which leads to a probability theoretic interpretation of $e$-expansion coefficients of chromatic quasisymmetric functions used in our proof of the Stanley-Stembridge conjecture.
Moreover, we observe that the $(q,t)$-chromatic symmetric functions are multiplicative with respect to certain deformed multiplication on the ring of symmetric functions. We give a simple description of such multiplication in terms of the affine Hecke algebras of type $A$. We also obtain a recipe to produce $(q,t)$-chromatic symmetric functions from chromatic quasisymmetric functions, which actually makes sense for any oriented graphs.
Reconstruction of mapping spaces by inverse limits
Extending the results of reconstruction of compact metric spaces by inverse limits, we show that if $(X, d), (Y, d)$ are compact metric spaces, then the mapping space $Y^X$ is homotopy equivalent to the inverse limit of an inverse system of finite $T_0$-spaces which depends only on the finite open covers of $X$ and $Y$. Applying our tools, we obtain that if $H$ is an isotopy of a compact metric space $(X, d)$, then $H_1H^{-1}_0$ can be approximated in terms of moves of a finite $T_0$-space.
Spectral condition for $k$-factor-criticality in $t$-connected graphs
A graph $G$ is called $k$-factor-critical if $G-S$ has a perfect matching for every $S\subseteq G$ with $|S|=k$. A connected graph $G$ is called $t$-connected if it has more than $t$ vertices and remains connected whenever fewer than $t$ vertices are removed. We give a condition on the number of edges and a condition on the spectral radius for $k$-factor-criticality in $t$-connected graphs.
Colouring normal quadrangulations of projective spaces
Youngs proved that every non-bipartite quadrangulation of the projective plane $\mathbb{R}\mathrm{P}^2$ is 4-chromatic. Kaiser and Stehlík [J. Combin. Theory Ser. B 113 (2015), 1-17] generalised the notion of a quadrangulation to higher dimensions and extended Youngs' theorem by proving that every non-bipartite quadrangulation of the $d$-dimensional projective space $\mathbb{R}\mathrm{P}^d$ with $d \geq 2$ has chromatic number at least $d+2$. On the other hand, Hachimori et al. [European. J. Combin. 125 (2025), 104089] defined another kind of high-dimensional quadrangulation, called a normal quadrangulation. They proved that if a non-bipartite normal quadrangulation $G$ of $\mathbb{R}\mathrm{P}^d$ with any $d \geq 2$ satisfies a certain geometric condition, then $G$ is $4$-chromatic, and asked whether the geometric condition can be removed from the result. In this paper, we give a negative solution to their problem for the case $d=3$, proving that there exist 3-dimensional normal quadrangulations of $\mathbb{R}\mathrm{P}^3$ whose chromatic number is arbitrarily large. Moreover, we prove that no normal quadrangulation of $\mathbb{R}\mathrm{P}^d$ with any $d \geq 2$ has chromatic number $3$.
Normal approximation for number of edges in random intersection graphs
The random intersection graph model $\mathcal G(n,m,p)$ is considered. Due to substantial edge dependencies, studying even fundamental statistics such as the subgraph count is significantly more challenging than in the classical binomial model $\mathcal G(n,p)$. First, we establish normal approximation bound in both the Wasserstein and the Kolmogorov distances for a class of local statistics on $\mathcal G(n,m,p)$. Next, we apply these results to derive such bounds for the standardised number of edges, and determine the necessary and sufficient conditions for its asymptotic normality. We develop a new method that provides a combinatorial interpretation and facilitates the estimation of analytical expressions related to general distance bounds. In particular, this allows us to control the behaviour of central moments of subgraph existence indicators. The presented method can also be extended to count copies of subgraphs larger than a single edge.
Permutohedron's volume via Dyck paths
In a recent project, Castillo, Libedinsky, Plaza, and the author established a deep connection between the size of lower Bruhat intervals in affine Weyl groups and the volume of the permutohedron, showing that the former can be expressed as a linear combination of the latter. In this paper, we provide a formula for the volume of this polytope in terms of Dyck paths. Thus, we present a shorter, alternative, and enlightening proof of a previous formula given by Postnikov.
Manipulation of social choice correspondences under incomplete information
We study the manipulability of social choice correspondences in situations where individuals have incomplete information about others' preferences. We propose a general concept of manipulability that depends on the extension rule used to derive preferences over sets of alternatives from preferences over alternatives, as well as on individuals' level of information. We then focus on the manipulability of social choice correspondences when the Kelly extension rule is used, and individuals are assumed to have the capability to anticipate the outcome of the collective decision. Under these assumptions, we introduce some monotonicity and sensitivity properties for social choice correspondences that combined imply manipulability. Then we prove a result of manipulability for unanimous positional social choice correspondences, and present a detailed analysis of the manipulability properties for the Borda, the plurality, the negative plurality and the Copeland social choice correspondences.
Hall's marriage theorem
In 1935, Philip Hall published what is often referred to as ``Hall's marriage theorem'' in a short paper (P.~Hall, On Representatives of Subsets, \textit{J. Lond. Math. Soc.} (1) \textbf{10} (1935), no.1, 26--30.) This paper has been very influential. I state the theorem and outline Hall's proof, together with some equivalent (or stronger) earlier results, and proceed to discuss some the many directions in combinatorics and beyond which this theorem has influenced.
A local limit theorem for the edge counts of random induced subgraphs of a random graph
Consider a `dense' Erdős--Rényi random graph model $G=G_{n,M}$ with $n$ vertices and $M$ edges, where we assume the edge density $M/\binom{n}{2}$ is bounded away from 0 and 1. Fix $k=k(n)$ with $k/n$ bounded away from 0 and~1, and let $S$ be a random subset of size $k$ of the vertices of $G$. We show that with probability $1-\exp(-n^{Ω(1)})$, $G$ satisfies both a central limit theorem and a local limit theorem for the empirical distribution of the edge count $e(G[S])$ of the subgraph of $G$ induced by $S$, where the distribution is over uniform random choices of the $k$-set $S$.