English
Related papers

Related papers: Using symbolic computation to prove nonexistence o…

200 papers

We address highly dynamic distributed systems modeled by time-varying graphs (TVGs). We interest in proof of impossibility results that often use informal arguments about convergence. First, we provide a distance among TVGs to define…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-12-19 Nicolas Braud-Santoni , Swan Dubois , Mohamed-Hamza Kaaouachi , Franck Petit

A non-complete geometric distance-regular graph is the point graph of a partial geometry in which the set of lines is a set of Delsarte cliques. In this paper, we prove that for fixed integer $m\geq 2$, there are only finitely many…

Combinatorics · Mathematics 2009-08-17 J. H. Koolen , S. Bang

A hypergraph $\mathcal{F}$ is non-trivial intersecting if every two edges in it have a nonempty intersection but no vertex is contained in all edges of $\mathcal{F}$. Mubayi and Verstra\"{e}te showed that for every $k \ge d+1 \ge 3$ and $n…

Combinatorics · Mathematics 2020-07-23 Xizhi Liu

We construct a new family of distance-biregular graphs related to hyperovals and a new sporadic example of a distance-biregular graph related to Mathon's perp system. The infinite family can be explained using 2-$\bipartB$-homogeneity,…

Combinatorics · Mathematics 2026-05-01 Blas Fernández , Ferdinand Ihringer , Sabrina Lato , Akihiro Munemasa

We describe a general method for constructing representations of finite integral symmetric relation algebras from distance-regular graphs. Given a distance-regular graph of diameter $d$, the distances between vertices induces a coloring of…

Combinatorics · Mathematics 2026-05-15 Eli Atkins

We show that no more new distance-regular graphs in the tables of the book of (Brouwer, Cohen, Neumaier, 1989) can be produced by using the coset graph of additive completely regular codes over finite fields.

Combinatorics · Mathematics 2023-02-21 Minjia Shi , Denis S. Krotov , Patrick Solé

Coarse graph theory concerns finding 'coarse' analogues of graph theory theorems, replacing disjointness with being far apart. One of the most interesting open questions is to find a coarse analogue of Menger's theorem, which characterizes…

Combinatorics · Mathematics 2025-08-21 Tung Nguyen , Alex Scott , Paul Seymour

Let $G$ denote a $Q$-polynomial distance-regular graph with diameter $D$ at least 4. Assume that the intersection numbers of $G$ satisfy $a_i=0$ for $0 \leq i \leq D-1$ and $a_D\neq 0$. We show that $G$ is a polygon, a folded cube, or an…

Combinatorics · Mathematics 2016-09-07 Michael S. Lang , Paul M. Terwilliger

An $srg(19,6,1,2)$ is the graph with the smallest parameter set in the family of strongly regular graphs with parameters $\lambda=1$ and $\mu=2$ for which the respective graph doesn't exist. The proof of that fact is based on algebraic…

Combinatorics · Mathematics 2025-11-11 Reimbay Reimbayev

We investigate the second smallest unresolved feasible set of parameters of strongly regular graphs, $(v,k,\lambda,\mu)=(85,14,3,2)$. Using the classification of cubic graphs of small degree, we restrict possible local structure of such a…

Combinatorics · Mathematics 2025-04-04 Sergey Shpectorov , Tianxiao Zhao

A matchstick graph is a graph drawn with straight edges in the plane such that the edges have unit length, and non-adjacent edges do not intersect. We call a matchstick graph ($m;n)$-regular if every vertex has only degree $m$ or $n$. In…

Metric Geometry · Mathematics 2018-05-02 Mike Winkler , Peter Dinkelacker , Stefan Vogel

We prove that, for every positive integer k, there is an integer N such that every 4-connected non-planar graph with at least N vertices has a minor isomorphic to K_{4,k}, the graph obtained from a cycle of length 2k+1 by adding an edge…

Combinatorics · Mathematics 2010-11-11 Guoli Ding , Bogdan Oporowski , Robin Thomas , Dirk Vertigan

We develop a sparse graph regularity method that applies to graphs with few 4-cycles, including new counting and removal lemmas for 5-cycles in such graphs. Some applications include: * Every $n$-vertex graph with no 5-cycle can be made…

Combinatorics · Mathematics 2021-09-28 David Conlon , Jacob Fox , Benny Sudakov , Yufei Zhao

Given a set D of positive integers, the associated distance graph on the integers is the graph with the integers as vertices and an edge between distinct vertices if their difference lies in D. We investigate the chromatic numbers of…

Combinatorics · Mathematics 2007-05-23 Glenn G. Chappell

For a family ${\mathcal F}$ of $r$-graphs, let $\mathrm{ex}(n,{\mathcal F})$ denote the maximum number of edges in an ${\mathcal F}$-free $r$-graph on $n$ vertices. Let ${\mathcal F}_r(v,e)$ denote the family of all $r$-graphs with $e$…

Combinatorics · Mathematics 2019-12-17 Alexander Sidorenko

We prove that there exists an infinite family of 4-regular 4-connected Hamiltonian graphs with a bounded number of Hamiltonian cycles. We do not know if there exists such a family of 5-regular 5-connected Hamiltonian graphs.

Combinatorics · Mathematics 2025-06-13 Carsten Thomassen , Carol T. Zamfirescu

Let $\mathcal{Q}$ be a vertex subset problem on graphs. In a reconfiguration variant of $\mathcal{Q}$ we are given a graph $G$ and two feasible solutions $S_s, S_t\subseteq V(G)$ of $\mathcal{Q}$ with $|S_s|=|S_t|=k$. The problem is to…

Discrete Mathematics · Computer Science 2018-09-12 Sebastian Siebertz

Let D be the distance matrix of a connected graph G and let nn(G), np(G) be the number of strictly negative and positive eigenvalues of D respectively. It was remarked in [1] that it is not known whether there is a graph for which np(G) >…

Combinatorics · Mathematics 2013-10-01 Jernej Azarija

An integer linear system is a set of inequalities with integer constraints. The solution graph of an integer linear system is an undirected graph defined on the set of feasible solutions to the integer linear system. In this graph, a pair…

Discrete Mathematics · Computer Science 2025-05-20 Takasugu Shigenobu , Naoyuki Kamiyama

In this paper we consider the question of when a strongly regular graph with parameters $((s+1)(st+1),s(t+1),s-1,t+1)$ can exist. These parameters arise when the graph is derived from a generalized quadrangle, but there are other examples…

Combinatorics · Mathematics 2019-09-18 Ivan Guo , Jack H. Koolen , Greg Markowsky , Jongyook Park