English
Related papers

Related papers: Corrigendum to "SPN graphs: when copositive $=$ SP…

200 papers

We show that if $K\ge1$ is a parameter and $S$ is a finite symmetric subset of a group containing the identity such $|S^{2n}|\le K|S^n|$ for some integer $n\ge2K^2$, then $|S^{3n}|\le\exp(\exp(O(K^2)))|S^n|$. Such a result was previously…

Combinatorics · Mathematics 2025-09-04 Romain Tessera , Matthew Tointon

It is shown that for a constant $t\in \mathbb{N}$, every simple topological graph on $n$ vertices has $O(n)$ edges if it has no two sets of $t$ edges such that every edge in one set is disjoint from all edges of the other set (i.e., the…

Combinatorics · Mathematics 2015-08-25 Andres J. Ruiz-Vargas , Andrew Suk , Csaba D. Tóth

A sequence $S$ is potentially $K_{m}-P_{k}$ graphical if it has a realization containing a $K_{m}-P_{k}$ as a subgraph. Let $\sigma(K_{m}-P_{k}, n)$ denote the smallest degree sum such that every $n$-term graphical sequence $S$ with…

Combinatorics · Mathematics 2007-05-23 Chunhui Lai

As the class $\mathcal T_4$ of graphs of twin-width at most 4 contains every finite subgraph of the infinite grid and every graph obtained by subdividing each edge of an $n$-vertex graph at least $2 \log n$ times, most NP-hard graph…

Computational Complexity · Computer Science 2026-03-17 Édouard Bonnet

Let $\mathcal{G}_{n,r,s}$ denote a uniformly random $r$-regular $s$-uniform hypergraph on the vertex set $\{1,2,\ldots, n\}$. We establish a threshold result for the existence of a spanning tree in $\mathcal{G}_{n,r,s}$, restricting to $n$…

Combinatorics · Mathematics 2023-06-22 Catherine Greenhill , Mikhail Isaev , Gary Liang

An alternative framework underlying connection between tensor ${\rm sl}_2$-calculus and spin networks is suggested. New sign convention for the inner product in the dual spinor space leads to a simpler and direct set of initial rules for…

Mathematical Physics · Physics 2018-07-20 Jerzy Kocik

The k-planar graphs, which are (usually with small values of k such as 1, 2, 3) subject to recent intense research, admit a drawing in which edges are allowed to cross, but each one edge is allowed to carry at most k crossings. In recently…

Combinatorics · Mathematics 2024-10-02 Petr Hliněný , Lili Ködmön

We establish splitter theorems for graph immersions for two families of graphs, $k$-edge-connected graphs, with $k$ even, and 3-edge-connected, internally 4-edge-connected graphs. As a corollary, we prove that every $3$-edge-connected,…

Combinatorics · Mathematics 2025-07-09 Matt DeVos , Mahdieh Malekian

For a non-decreasing sequence $S = (s_1, s_2, \ldots, s_k)$ of positive integers, a packing $S$-coloring of a graph $G$ is a partition of $V(G)$ into $V_1, V_2, \ldots, V_k$ such that each $V_i$ has pairwise distance at least $s_i+1$. The…

Combinatorics · Mathematics 2026-03-25 Xinmin Hou , Xujun Liu , Xiangyang Wang

The regular number of a graph G denoted by reg(G) is the minimum number of subsets into which the edge set of G can be partitioned so that the subgraph induced by each subset is regular. In this work we answer to the problem posed as an…

Combinatorics · Mathematics 2014-06-09 Ali Dehghan , Mohammad-Reza Sadeghi , Arash Ahadi

Transposition graph $T_n$ is defined as a Cayley graph over the symmetric group generated by all transpositions. It is known that all eigenvalues of $T_n$ are integers. However, an explicit description of the spectrum is unknown. In this…

Combinatorics · Mathematics 2022-09-27 Elena V. Konstantinova , Artem Kravchuk

Springer varieties appear in both geometric representation theory and knot theory. Motivated by knot theory and categorification Khovanov provides a topological construction of $(n/2, n/2)$ Springer varieties. We extend Khovanov's…

Geometric Topology · Mathematics 2012-04-05 Heather M. Russell

We generalize the Five Color Theorem by showing that it extends to graphs with two crossings. Furthermore, we show that if a graph has three crossings, but does not contain K_6 as a subgraph, then it is also 5-colorable. We also consider…

Combinatorics · Mathematics 2007-05-23 Bogdan Oporowski , David Zhao

Menger's Theorem is a fundamental result in graph theory. It states that if in a graph $G$ with distinguished sets of terminal vertices $S$ and $T$ there are no $k$ pairwise vertex-disjoint $S$-$T$ paths, then there is a set of less than…

Combinatorics · Mathematics 2026-05-13 Václav Blažej , Michał Pilipczuk , Evangelos Protopapas

Menger's theorem tells us that if $S,T$ are sets of vertices in a graph $G$, then (for $k\ge0$) either there are $k+1$ vertex-disjoint paths between $S$ and $T$, or there is a set of $k$ vertices separating $S$ and $T$. But what if we want…

Combinatorics · Mathematics 2025-09-11 Tung Nguyen , Alex Scott , Paul Seymour

We determine for which $m$, the complete graph $K_m$ has an embedding in $S^3$ whose topological symmetry group is isomorphic to one of the polyhedral groups: $A_4$, $A_5$, or $S_4$.

Geometric Topology · Mathematics 2014-10-01 Erica Flapan , Blake Mellor , Ramin Naimi

We present sweeping line graphs, a generalization of $\Theta$-graphs. We show that these graphs are spanners of the complete graph, as well as of the visibility graph when line segment constraints or polygonal obstacles are considered. Our…

Computational Geometry · Computer Science 2024-01-09 Keenan Lee , André van Renssen

A drawing of a graph is 1-planar if each edge participates in at most one crossing and adjacent edges do not cross. Up to symmetry, each crossing in a 1-planar drawing belongs to one out of six possible crossing types, where a type…

Data Structures and Algorithms · Computer Science 2025-11-20 Sergio Cabello , Alexander Dobler , Gašper Fijavž , Thekla Hamm , Mirko H. Wagner

We investigate terminal-pairability properties of complete graphs and improve the known bounds in two open problems. We prove that the complete graph $K_n$ on $n$ vertices is terminal-pairable if the maximum degree $\Delta$ of the…

Combinatorics · Mathematics 2018-12-11 Ervin Györi , Tamás Róbert Mezei , Gábor Mészáros

Series-parallel (SP) graphs are binary edge-labeled graphs with a designated source and target vertex, built using serial and parallel composition. A set of graphs is recognizable if membership depends only on its image under a homomorphism…

Formal Languages and Automata Theory · Computer Science 2026-04-28 Marius Bozga , Radu Iosif , Florian Zuleger