Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Graphs with given automorphism group and large clique number
Barbieri recently showed that the finite graphs realising any given finite automorphism group have unbounded genus, answering a question of Cornwell et al. In this note we give a short proof of a stronger result: they have unbounded clique number.
Obstructions and dualities for matroid depth parameters
Contraction$^*$-depth is considered to be one of the analogues of graph tree-depth in the matroid setting. In this paper, we investigate structural properties of contraction$^*$-depth of matroids representable over finite fields and rationals. In particular, we prove that the obstructions for contraction$^*$-depth for these classes of matroids are bounded in size. From this we derive analogous results for related notions of contraction-depth and deletion-depth. Moreover, we define a dual notion to contraction$^*$-depth, named deletion$^*$-depth, for $\mathbb{F}$-representable matroids, and by duality extend our results from contraction$^*$-depth to this notion.
A class of weighted Delannoy numbers
Published in Filomat 36:17 (2022), 5985--6007
• View Publication
• BIB
The weighted Delannoy numbers are defined by the recurrence relation $f_{m,n}=αf_{m-1,n}+ βf_{m,n-1}+ γf_{m-1,n-1}$ if $m n>0 $, with $f_{m,n}=α^m β^n$ if $n m=0$. In this work, we study a generalization of these numbers considering the same recurrence relation but with $f_{m,n}=A^m B^n$ if $n m=0$. More particularly, we focus on the diagonal sequence $f_{n,n}$. With some ingenuity, we are able to make use of well-established methods by Pemantle and Wilson, and by Melczer in order to determine its asymptotic behavior in the case $A,B,α,β,γ\geq 0$. In addition, we also study its P-recursivity with the help of symbolic computation tools.
Asymptotic structure. I. Coarse tree-width
In this paper, we develop a coarse analogue of treewidth. We prove that a graph $G$ admits a tree-decomposition in which each bag is contained in the union of a bounded number of balls of bounded radius, if and only if $G$ admits a quasi-isometry to a graph with bounded tree-width. (The ``if'' half is easy, but the ``only if'' half is challenging.) This generalizes a recent result of Berger and Seymour, concerning tree-decompositions when each bag has bounded radius.
The semi-inducibility problem
Let $H$ be a $k$-edge-coloured graph and let $n$ be a positive integer. What is the maximum number of copies of $H$ in a $k$-edge-coloured complete graph on $n$ vertices? This paper studies the case $k=2$, which we call the semi-inducibility problem. This problem is a generalisation of the inducibility problem of Pippenger and Golumbic which is solved only for some small graphs and limited families of graphs. We prove sharp or almost sharp results for alternating walks, for alternating cycles of length divisible by 4, and for 4-cycles of every colour pattern.
Liu, Mubayi and Reiher asked whether there is a graph $F$ for which the binomial random graph is an asymptotically extremal graph in the inducibility problem over all graphs of a given edge density. This was recently answered in a strong negative sense by Jain, Michelen and Wei. In contrast, we find a \emph{quantum} graph $Q$ with positive coefficients and an interval of edge densities for which the only extremal graphs are quasirandom.
Exact VC-Dimensions of Certain Geometric Set Systems
The VC-dimension of a family of sets is a measure of its combinatorial complexity used in machine learning theory, computational geometry, and even model theory. Computing the VC-dimension of the $k$-fold union of geometric set systems has been an open and difficult combinatorial problem, dating back to Blumer, Ehrenfeucht, Haussler, and Warmuth in 1989, who ask about the VC-dimension of $k$-fold unions of half-spaces in $\mathbb{R}^d$.
Let $\mathcal{F}_1$ denote the family of all lines in $\mathbb{R}^2$. It is well-known that $\mathsf{VC}\text{-}\mathsf{dim}(\mathcal{F}_1) = 2$. In this paper, we study the $2$-fold and $3$-fold unions of $\mathcal{F}_1$, denoted $\mathcal{F}_2$ and $\mathcal{F}_3$, respectively. We show that $\mathsf{VC}\text{-}\mathsf{dim}(\mathcal{F}_2) = 5$ and $\mathsf{VC}\text{-}\mathsf{dim}(\mathcal{F}_3) = 9$. Moreover, we give complete characterisations of the subsets of $\mathbb{R}^2$ of maximal size that can be shattered by $\mathcal{F}_2$ and $\mathcal{F}_3$, showing they are exactly two and five, respectively, up to isomorphism in the language of the point-line incidence relation.
On Lattice Tilings of Asymmetric Limited-Magnitude Balls $\cB(n,2,m,m-1)$
Limited-magnitude errors modify a transmitted integer vector in at most $t$ entries, where each entry can increase by at most $\kp$ or decrease by at most $\km$. This channel model is particularly relevant to applications such as flash memories and DNA storage. A perfect code for this channel is equivalent to a tiling of $\Z^n$ by asymmetric limited-magnitude balls $\cB(n,t,\kp,\km)$. In this paper, we focus on the case where $t=2$ and $\km=\kp-1$, and we derive necessary conditions on $m$ and $n$ for the existence of a lattice tiling of $\cB(n,2,m,m-1)$. Specifically, we prove that if such a tiling exists, then either $4\leq m \leq 512$ and $n<7.23m+4$, or $m>512$ and $n<4m$. In particular, for $m=2$ and $m=3$, we show that no lattice tiling of $\cB(n,2,2,1)$ or $\cB(n,2,3,2)$ exists for any $n\geq 3$.
On the generalized coloring numbers
Published
• View Publication
• BIB
The \emph{coloring number} $\mathrm{col}(G)$ of a graph $G$, which is equal to the \emph{degeneracy} of $G$ plus one, provides a very useful measure for the uniform sparsity of $G$. The coloring number is generalized by three series of measures, the \emph{generalized coloring numbers}. These are the \emph{$r$-admissibility} $\mathrm{adm}_r(G)$, the \emph{strong $r$-coloring number} $\mathrm{col}_r(G)$ and the \emph{weak $r$-coloring number} $\mathrm{wcol}_r(G)$, where $r$ is an integer parameter. The generalized coloring numbers measure the edge density of bounded-depth minors and thereby provide an even more uniform measure of sparsity of graphs. They have found many applications in graph theory and in particular play a key role in the theory of bounded expansion and nowhere dense graph classes introduced by Nešetřil and Ossona de Mendez. We overview combinatorial and algorithmic applications of the generalized coloring numbers, emphasizing new developments in this area. We also present a simple proof for the existence of uniform orders and improve known bounds, e.g., for the weak coloring numbers on graphs with excluded topological minors.
Matching Cut and Variants on Bipartite Graphs of Bounded Radius and Diameter
Published
• View Publication
• BIB
In the Matching Cut problem we ask whether a graph $G$ has a matching cut, that is, a matching which is also an edge cut of $G$. We consider the variants Perfect Matching Cut and Disconnected Perfect Matching where we ask whether there exists a matching cut equal to, respectively contained in, a perfect matching. Further, in the problem Maximum Matching Cut we ask for a matching cut with a maximum number of edges. The last problem we consider is $d$-Cut where we ask for an edge cut where each vertex is incident to at most $d$ edges in the cut.
We investigate the computational complexity of these problems on bipartite graphs of bounded radius and diameter. Our results extend known results for Matching Cut and Disconnected Perfect Matching. We give complexity dichotomies for $d$-Cut and Maximum Matching Cut and solve one of two open cases for Disconnected Perfect Matching. For Perfect Matching Cut we give the first hardness result for bipartite graphs of bounded radius and diameter and extend the known polynomial cases.
Every group is the automorphism group of a graph with arbitrarily large genus
We prove that, to every abstract group $G$, we can associate a sequence of graphs $Γ_n$ such that the automorphism group of $Γ_n$ is isomorphic to $G$ and the genus of $Γ_n$ is an unbounded function of $n$.
Yet another note on notation
Published
• View Publication
• BIB
Back in 1755, Euler explored an interesting array of numbers that now frequently appears in polynomial identities, combinatorial problems, and finite calculus, among other places. These numbers share a strong connection with well-known number families, such as those of Stirling, Bernoulli, and Fubini. Despite their importance, they often go unnoticed because of the lack of a specific name and standard notation. This paper aims to address this oversight by proposing an appropriate name and notation, aligned with established mathematical conventions, and supported by (we hope) strong enough arguments to facilitate their acceptance from the mathematical community.
Theoretical results for Perfect Location signed Roman domination problem
The study of Roman domination has evolved to encompass a variety of challenging extensions, each contributing to the broader understanding of domination problems in graph theory. This paper explores the Perfect Location Signed Roman Domination (PLSRD) problem, a novel combination of the Perfect Roman, Locating Roman, and Signed Roman Domination paradigms. In PLSRD, each weak vertex, assigned the label -1, must be protected by exactly one strong vertex, with additional limitation that two weak vertices cannot share the same strong vertex, while the total sum of labels in the closed neighborhood of each vertex must remain positive. This paper provides exact values for the PLSRD number in several well-known graph classes, including complete graphs, complete bipartite graphs, wheels, paths, cycles, ladders, prism graphs, and 3 x n grids. Additionally, we establish a lower bound for a general 3 regular graph, as well as the upper bounds for flower snarks graphs, highlighting the intricate interplay between the PLSRD constraints and the structural properties of these graph families.
The Jacobian of a regular orthogonal matroid and torsor structures on spanning quasi-trees of ribbon graphs
Published
• View Publication
• BIB
Previous work of Chan--Church--Grochow and Baker--Wang shows that the set of spanning trees in a plane graph $G$ is naturally a torsor for the Jacobian group of $G$. Informally, this means that the set of spanning trees of $G$ naturally forms a group, except that there is no distinguished identity element. We generalize this fact to graphs embedded on orientable surfaces of arbitrary genus, which can be identified with ribbon graphs. In this generalization, the set of spanning trees of $G$ is replaced by the set of spanning quasi-trees of the ribbon graph, and the Jacobian group of $G$ is replaced by the Jacobian group of the associated regular orthogonal matroid $M$ (along with an associated regular representation of $M$). Our proof shows, more generally, that the family of "BBY torsors" constructed by Backman--Baker--Yuen and later generalized by Ding admit natural generalizations to (regular representations of) regular orthogonal matroids. In addition to shedding light on the role of planarity in the earlier work mentioned above, our results represent one of the first substantial applications of orthogonal matroids (also called "even delta-matroids" or "Lagrangian orthogonal matroids") to a natural combinatorial problem about graphs.
Comportamientos extraños del infinito: Gráficas Infinitas
Published in Morfismos 27, no. 1 (2023), 31-68
• Search Publication
Infinitary Combinatorics shows interesting contrasts, with many similarities but also several important differences with its finite analog. The purpose of this paper is to present some concrete examples, both of similarities and of radical differences, in order to provide some intuition about the behaviour of infinity in the combinatorial setting. Our examples are taken from the branch of mathematics known as Graph Theory.
--
La combinatoria infinita (temática que, a raíz del trabajo de Cantor, actualmente es posible estudiar de manera completamente formal) nos presenta un interesante contraste de semejanzas y diferencias con su análogo finito. El propósito de este artículo es presentar algunos ejemplos concretos tanto de semejanzas, como de diferencias radicales, para proporcionar cierta intuición acerca del comportamiento del infinito en el ámbito combinatorio. Nuestros ejemplos son tomados de la rama de las matemáticas conocida como Teoría de Gráficas.
Fermions and Zeta Function on the Graph
Published
• View Publication
• BIB
We propose a novel fermionic model on the graphs. The Dirac operator of the model consists of deformed incidence matrices on the graph and the partition function is given by the inverse of the graph zeta function. We find that the coefficients of the inverse of the graph zeta function, which is a polynomial of finite degree in the coupling constant, count the number of fermionic cycles on the graph. We also construct the model on grid graphs by using the concept of the covering graph and the Artin-Ihara $L$-function. In connection with this, we show that the fermion doubling is absent, and the overlap fermions can be constructed on a general graph. Furthermore, we relate our model to statistical models by introducing the winding number around cycles, where the distribution of the poles of the graph zeta function (the zeros of the partition function) plays a crucial role. Finally, we formulate gauge theory including fermions on the graph from the viewpoint of the covering graph derived from the gauge group in a unified way.
The Hurt-Sada Array and Zeckendorf Representations
Published
• View Publication
• BIB
Wesley Ivan Hurt and Ali Sada both independently proposed studying an infinite array where the $0$'th row consists of the non-negative integers $0,1,2,\ldots$ in increasing order. Thereafter the $n$'th row is formed from the $(n-1)$'th row by "jumping" the single entry $n$ by $n$ places to the right. Sada also defined a sequence $s(n)$ defined to be the first number that $n$ jumps over. In this note I show how the Hurt-Sada array and Sada's sequence are intimately connected with the golden ratio $\varphi$ and Zeckendorf representation. I also consider a number of related sequences.
Chern numbers on positive vector bundles and combinatorics
Published in International Mathematics Research Notices, Volume 2025, Issue 15, August 2025, rnaf228
• View Publication
• BIB
Combinatorial ideas are developed in this article to study Chern numbers on ample and numerically effective vector bundles. An effective lower bound for Chern numbers of ample vector bundles is established, which makes some progress towards a long-standing question. Along this line we prove that Chern numbers on nef vector bundles obey reverse dominance ordering, which improves upon some classical and recent results. We propose a simultaneous positivity question on (signed) Chern numbers of compact complex or Kähler manifolds whose (co)tangent bundles are semipositive in various senses, and show that it holds true for compact homogeneous complex manifolds.
Profile and neighbourhood complexity of graphs excluding a minor and tree-structured graphs
The \emph{$r$-neighbourhood complexity} of a graph $G$ is the function counting, for a given integer $k$, the largest possible number, over all vertex-subsets $A$ of size $k$, of subsets of $A$ realized as the intersection between the $r$-neighbourhood of some vertex and $A$. A~refinement of this notion is the \emph{$r$-profile complexity}, that counts the maximum number of distinct distance-vectors from any vertex to the vertices of $A$, ignoring distances larger than~$r$. Typically, in structured graph classes such as graphs of bounded VC-dimension or chordal graphs, these functions are bounded, leading to insights into their structural properties and efficient algorithms.
We improve existing bounds on the $r$-profile complexity (and thus on the $r$-neighbourhood complexity) for graphs in several structured graph classes. We show that the $r$-profile complexity of graphs excluding $K_h$ as a minor is in $O_h(r^{3h-3}k)$. For graphs of treewidth at most~$t$, we give a bound in $O_t(r^{t+1}k)$, which is tight up to a function of~$t$ as a factor. These bounds improve results of Joret and Rambaud and answer a question of their paper [Combinatorica, 2024]. We also apply our methods to other classes of bounded expansion such as graphs excluding a fixed complete graph as a subdivision.
For outerplanar graphs, we can improve our treewidth bound by a factor of $r$ and conjecture that a similar improvement holds for graphs with bounded simple treewidth. For graphs of treelength at most~$\ell$, we give the upper bound of $O(k(r^2(\ell+1)^k))$, which we improve to $O\left (k\cdot (r 2^k + r^2k^2) \right)$ in the case of chordal graphs and $O(k^2r)$ for interval graphs.
Our bounds also imply relations between the order, diameter and metric dimension of graphs in these classes, improving results from [Beaudou et al., SIDMA 2017].
Universal geometric non-embedding of random regular graphs
Let $Δ\ge 3$ be fixed, $n \ge n_Δ$ be a large integer. It is a classical result that $Δ$--regular expanders on $n$ vertices are not embeddable as geometric (distance) graphs into Euclidean space of dimension less than $c \log n$, for some universal constant $c$. We show that for typical $Δ$-regular graphs, this obstruction is universal with respect to the choice of norm. More precisely, for a uniform random $Δ$-regular graph $G$ on $n$ vertices, it holds with high probability: there is no normed space of dimension less than $c\log n$ which admits a geometric graph isomorphic to $G$. The proof is based on a seeded multiscale $\varepsilon$--net argument.
Enumeration of (3, 6)-Fullerenes
Published
• View Publication
• BIB
A (3, 6)-fullerene is a cubic planar graph whose faces all have 3 or 6 sides. We give an exact count of the number of (3, 6)-fullerenes for any given number of vertices. We also enumerate (3,6)-fullerenes with mirror symmetry, with 3-fold rotational symmetry, and with both types of symmetry. The counts are given in terms of the prime factorization of the number of vertices, by considering solutions to the quadratic equation $x^2 + x + 1 = 0$ modulo the primes in this prime factorization.