Showing 20 papers (Total: 83502 papers, 48219 authors in database)
The list chromatic number of the intersection of two generalized partition matroids
A famous theorem of Galvin states that the list chromatic number of the intersection of two partition matroids equals its chromatic number. Kiraly and Berczi et. al. conjectured that this equality holds for any two matroids. We prove this conjecture and a conjecture by Aharoni--Berger for any two generalized partition matroids.
Matching polytopes, Gorensteinness, and the integer decomposition property
Published
• View Publication
• BIB
The matching polytope of a graph $G$ is the convex hull of the indicator vectors of the matchings on $G$. We characterize the graphs whose associated matching polytopes are Gorenstein, and then prove that all Gorenstein matching polytopes possess the integer decomposition property. As a special case study, we examine the matching polytopes of wheel graphs and show that they are not Gorenstein, but do possess the integer decomposition property.
Ollivier-Ricci curvature of regular graphs
We derive explicit formulas for the Lin-Lu-Yau curvature and the Ollivier-Ricci curvature in terms of graph parameters and an optimal assignment. Utilizing these precise expressions, we examine the relationship between the Lin-Lu-Yau curvature and the 0-Ollivier-Ricci curvature, resulting in an equality condition on regular graphs. This condition allows us to characterize edges that are bone idle in regular graphs of girth four and to construct a family of bone idle graphs with this girth. We then use our formulas to provide an efficient implementation of the Ollivier-Ricci curvature on regular graphs, enabling us to identify all bone idle, regular graphs with fewer than 15 vertices. Moreover, we establish a rigidity theorem for cocktail party graphs, proving that a regular graph is a cocktail party graph if and only if its Lin-Lu-Yau curvature is equal to one. Furthermore, we present a condition on the degree of a regular graph that guarantees positive Ricci curvature. We conclude this work by discussing the maximal number of vertices that a regular graph of fixed degree with positive Lin-Lu-Yau curvature can have.
The $1$-nearly edge independence number of a graph
Published
• View Publication
• BIB
Let $G = (V(G), E(G))$ be a graph. The maximum cardinality of a set $M_k \subseteq E(G)$ such that $M_k$ contains exactly $k$-pairs of adjacent edges of $G$ is called the $k$-nearly edge independence number of $G$, and is denoted by $α'_k(G)$. In this paper we study $α_1'(G)$. In particular, we prove a tight lower (resp. upper) bound on $α_1(G)$ if $G$ is a graph with given number of vertices. Furthermore, we present a characterisation of the general (resp. connected) graphs with given number of vertices and smallest $1$-nearly edge independence number. Lastly, we pose an open problem for further exploration of this study.
Unavoidable patterns in $2$-colorings of the complete bipartite graph
Published
• View Publication
• BIB
We determine the colored patterns that appear in any $2$-edge coloring of $K_{n,n}$, with $n$ large enough and with sufficient edges in each color. We prove the existence of a positive integer $z_2$ such that any $2$-edge coloring of $K_{n,n}$ with at least $z_2$ edges in each color contains at least one of these patterns. We give a general upper bound for $z_2$ and prove its tightness for some cases. We define the concepts of bipartite $r$-tonality and bipartite omnitonality using the complete bipartite graph as a base graph. We provide a characterization for bipartite $r$-tonal graphs and prove that every tree is bipartite omnitonal. Finally, we define the bipartite balancing number and provide the exact bipartite balancing number for paths and stars.
Small Ramsey numbers for books, wheels, and generalizations
In this work, we give several new upper and lower bounds on Ramsey numbers for books and wheels, including a tight upper bound establishing $R(W_5, W_7) = 15$, matching upper and lower bounds giving $R(W_5, W_9) = 18$, $R(B_2, B_8) = 21$, and $R(B_3, B_7) = 20$, and a number of additional tight lower bounds for books. We use a range of different methods: flag algebras, local search, bottom-up generation, and enumeration of polycirculant graphs.
We also explore generalized Ramsey numbers using similar methods. Let $GR(r,K_s,t)$ denote the minimum number of vertices $n$ such that any $r$-edge-coloring of $K_n$ has a copy of $K_s$ with at most $t$ colors. We establish $GR(3,K_4,2) = 10, GR(4,K_4,3) = 10$, and some additional bounds.
Random Reed-Solomon Codes Achieve the Half-Singleton Bound for Insertions and Deletions over Linear-Sized Alphabets
In this paper, we prove that with high probability, random Reed-Solomon codes approach the half-Singleton bound - the optimal rate versus error tradeoff for linear insdel codes - with linear-sized alphabets. More precisely, we prove that, for any $ε>0$ and positive integers $n$ and $k$, with high probability, random Reed--Solomon codes of length $n$ and dimension $k$ can correct $(1-\varepsilon)n-2k+1$ adversarial insdel errors over alphabets of size $n+2^{\mathsf{poly}(1/\varepsilon)}k$. This significantly improves upon the alphabet size demonstrated in the work of Con, Shpilka, and Tamo (IEEE TIT, 2023), who showed the existence of Reed--Solomon codes with exponential alphabet size $\widetilde O\left(\binom{n}{2k-1}^2\right)$ precisely achieving the half-Singleton bound.
Our methods are inspired by recent works on list-decoding Reed-Solomon codes. Brakensiek-Gopi-Makam (STOC 2023) showed that random Reed-Solomon codes are list-decodable up to capacity with exponential-sized alphabets, and Guo-Zhang (FOCS 2023) and Alrabiah-Guruswami-Li (STOC 2024) improved the alphabet-size to linear. We achieve a similar alphabet-size reduction by similarly establishing strong bounds on the probability that certain random rectangular matrices are full rank. To accomplish this in our insdel context, our proof combines the random matrix techniques from list-decoding with structural properties of Longest Common Subsequences.
The synchronisation hierarchy via coherent configurations
Published
• View Publication
• BIB
We describe the spreading property for finite transitive permutation groups in terms of properties of their associated coherent configurations, in much the same way that separating and synchronising groups can be described via properties of their orbital graphs. We also show how the other properties in the synchronisation hierarchy naturally fit inside this framework. This combinatorial description allows for more efficient computational tools, and we deduce that every spreading permutation group of degree at most $8191$ is a $\mathbb{Q}$I-group. We also consider design-orthogonality more generally for noncommutative homogeneous coherent configurations.
Counting Permutations in $S_{2n}$ and $S_{2n+1}$
Published
• View Publication
• BIB
Let $α(n)$ denote the number of perfect square permutations in the symmetric group $S_n$. The conjecture $α(2n+1) = (2n+1) α(2n)$, provided by Stanley[4], was proved by Blum[1] using a generating function. This paper presents a combinatorial proof for this conjecture. At the same time, we demonstrate that all permutations with an even number of even cycles in both $S_{2n}$ and $S_{2n+1}$ can be categorized into three distinct types that correspond to each other.
A simple proof on the number of $(3 \times n)$-Latin rectangles based on a set of $λ$ elements
In 1980, Athreya, Pranesachar and Singhi established the chromatic polynomial of $(3 \times n)$-Latin rectangles whose entries based on a set $\{1, 2, ..., λ\}$ in which $λ\geq n$. Their proof requires Möbius inversion formula and lattice partitions. In this paper, we present a simpler proof by using the idea of mathematical induction and appropriate coloring.
On the size multipartite Ramsey numbers involving complete graphs
Published
• View Publication
• BIB
Given two graphs H and G, the size multipartite Ramsey number mj (H, G) is the smallest natural number t such that an arbitrary coloring of the edges of Kjt, complete multipartite graph whose vertex set is partitioned into j parts each of size t, using two colors red and blue, necessarily forces a red copy of H or a blue copy of G as a subgraph. The notion of size multipartite Ramsey number has been introduced by Burger and Vuuren in 2004. It is worth noting that, this concept is derived by using the idea of the original classical Ramsey number, multipartite Ramsey number and the size Ramsey number. In this paper, we focus on mj(H, G) and find a lower bound for mj (H, G) based on the chromatic number of H and the order of G. Also, for graphs G with large maximum degree, we obtain a tight lower bound for mj(Km, G). Furthermore, we determine the order of magnitude of mj(Km, K1,n), for j >= m >= 3 and n >= 2. Then we specify the exact values of mj(Km, K1,n) for the cases m = j, m = 3 and j = 0 or m-2 (mod m-2).
Further Results and Questions on $S$-Packing Coloring of Subcubic Graphs
Published
• View Publication
• BIB
For non-decreasing sequence of integers $S=(a_1,a_2, \dots, a_k)$, an $S$-packing coloring of $G$ is a partition of $V(G)$ into $k$ subsets $V_1,V_2,\dots,V_k$ such that the distance between any two distinct vertices $x,y \in V_i$ is at least $a_{i}+1$, $1\leq i\leq k$. We consider the $S$-packing coloring problem on subclasses of subcubic graphs: For $0\le i\le 3$, a subcubic graph $G$ is said to be $i$-saturated if every vertex of degree 3 is adjacent to at most $i$ vertices of degree 3. Furthermore, a vertex of degree 3 in a subcubic graph is called heavy if all its three neighbors are of degree 3, and $G$ is said to be $(3,i)$-saturated if every heavy vertex is adjacent to at most $i$ heavy vertices. We prove that every 1-saturated subcubic graph is $(1,1,3,3)$-packing colorable and $(1,2,2,2,2)$-packing colorable. We also prove that every $(3,0)$-saturated subcubic graph is $(1,2,2,2,2,2)$-packing colorable.
Spectra of Group Vertex Magic Graphs
Published
• View Publication
• BIB
Let G be a simple undirected graph and let A be an additive Abelian group with identity 0. In this paper, we introduce the concept of group magic spectrum of a graph G with respect to a given Abelian group A and is defined as spec(G, A):= {λ : λ is a magic constant of some A-vertex magic labeling f }. In their recent work, K. M. Sabeel et al. in Australas. J. Combin. 85(1) (2023), 49-60 proved a forbidden subgraph characterization for the group vertex magic graph. In this work, we present a new method which uses minimum number of vertices required for this graph. We obtain a necessary and sufficient condition for the spectrum of a graph G to be a subgroup when A = V4 or Zp, where p is a prime number. Also we introduce the notion of reduced spectrum redspec(G, A) and study the relation between spec(G, A) and redspec(G, A).
Anzahl theorems for trivially intersecting subspaces generating a non-singular subspace I: symplectic and hermitian forms
Published
• View Publication
• BIB
In this paper, we solve a classical counting problem for non-degenerate forms of symplectic and hermitian type defined on a vector space: given a subspace $π$, we find the number of non-singular subspaces that are trivially intersecting with $π$ and span a non-singular subspace with $π$. Lower bounds for the quantity of such pairs where $π$ is non-singular were first studied in ``Glasby, Niemeyer, Praeger (Finite Fields Appl., 2022)'', which was later improved in ``Glasby, Ihringer, Mattheus (Des. Codes Cryptogr., 2023)'' and generalised in ``Glasby, Niemeyer, Praeger (Linear Algebra Appl., 2022)''. In this paper, we derive explicit formulae, which allow us to give the exact proportion and improve the known lower bounds.
Graph Reconstruction with Connectivity Queries
Published
• View Publication
• BIB
We study a problem of reconstruction of connected graphs where the input gives all subsets of size k that induce a connected subgraph. Originally introduced by Bastide et al. (WG 2023) for triples ($k=3$), this problem received comprehensive attention in their work, alongside a study by Qi, who provided a complete characterization of graphs uniquely reconstructible via their connected triples, i.e. no other graphs share the same set of connected triples. Our contribution consists in output-polynomial time algorithms that enumerate every triangle-free graph (resp. every graph with bounded maximum degree) that is consistent with a specified set of connected $k$-sets. Notably, we prove that triangle-free graphs are uniquely reconstructible, while graphs with bounded maximum degree that are consistent with the same $k$-sets share a substantial common structure, differing only locally. We suspect that the problem is NP-hard in general and provide a NP-hardness proof for a variant where the connectivity is specified for only some $k$-sets (with $k$ at least 4).
Combinatorics of orthogonal polynomials on the unit circle
Published
• View Publication
• BIB
Orthogonal polynomials on the unit circle (OPUC for short) are a family of polynomials whose orthogonality is given by integration over the unit circle in the complex plane. There are combinatorial studies on the moments of various types of orthogonal polynomials, including standard orthogonal polynomials, Laurent biorthogonal polynomials, and orthogonal polynomials of type \( R_I \). In this paper, we study the moments of OPUC from a combinatorial perspective. We provide three path interpretations for them: Łukasiewicz paths, gentle Motzkin paths, and Schröder paths. Additionally, using these combinatorial interpretations, we derive explicit formulas for the generalized moments of some examples of OPUC, including the circular Jacobi polynomials and the Rogers--Szegő polynomials. Furthermore, we introduce several kinds of generalized linearization coefficients and give combinatorial interpretations for them.
Fourier analysis on distance-regular Cayley graphs over abelian groups
Published
• View Publication
• BIB
The problem of constructing or characterizing strongly regular Cayley graphs (or equivalently, regular partial difference sets) has garnered significant attention over the past half-century. In 2003, Miklavič and Potočnik [European J. Combin. 24 (2003) 777--784] expanded upon this field by achieving a complete characterization of distance-regular Cayley graphs over cyclic groups through the method of Schur rings. Building on this work, Miklavič and Potočnik [J. Combin. Theory Ser. B 97 (2007) 14--33] formally proposed the problem of characterizing distance-regular Cayley graphs for arbitrary classes of groups. Within this framework, abelian groups hold particular significance, as numerous distance-regular graphs with classical parameters are precisely Cayley graphs over abelian groups. In this paper, we employ Fourier analysis on abelian groups to establish connections between distance-regular Cayley graphs over abelian groups and combinatorial objects in finite geometry. By combining these insights with classical results from finite geometry, we classify all distance-regular Cayley graphs over the group $\mathbb{Z}_n \oplus \mathbb{Z}_p$, where $p$ is an odd prime.
Birational maps, PBW degenerate flags and poset polytopes
Published
• View Publication
• BIB
We extend the results on the graph closures of the birational maps between projective spaces and Grassmannians to the case of PBW degenerate flag varieties. The advantage of the PBW degenerate flags (as opposed to their classical analogues) is the existence of a large group of symmetries for the graph closures. We discuss the combinatorial, algebraic and geometric sides of the picture. In particular, we show that toric degenerations of Borovik, Sturmfels and Sverrisdóttir are still available in the general settings. We also derive a description of the graph closures for flag varieties in terms of quiver representations.
Improved bounds for zero-sum cycles in $\mathbb{Z}_p^d$
Published
• View Publication
• BIB
For a finite Abelian group $(Γ,+)$, let $n(Γ)$ denote the smallest positive integer $n$ such that for each labelling of the arcs of the complete digraph of order $n$ using elements from $Γ$, there exists a directed cycle such that the total sum of the arc-labels along the cycle equals $0$. Alon and Krivelevich initiated the study of the parameter $n(\cdot)$ on cyclic groups and proved that $n(\mathbb{Z}_q)=O(q\log q)$. Studying the prototypical case when $Γ=\mathbb{Z}_p^d$ is a power of a cyclic group of prime order, Letzter and Morrison recently showed that $n(\mathbb{Z}_p^d) \le O(pd(\log d)^2)$ and that $n(\mathbb{Z}_2^d)\le O(d \log d)$. They then posed the problem of proving an (asymptotically optimal) upper bound of $n(\mathbb{Z}_p^d)\le O(pd)$ for all primes $p$ and $d \in \mathbb{N}$. In this paper, we solve this problem for $p=2$ and improve their bound for all primes $p \ge 3$ by proving $n(\mathbb{Z}_2^d)\le 5d$ and $n(\mathbb{Z}_p^d)\le O(pd\log d)$. While the first bound determines $n(\mathbb{Z}_2^d)$ up to a multiplicative error of $5$, the second bound is tight up to a $\log d$ factor. Moreover, our result shows that a tight bound of $n(\mathbb{Z}_p^d)=Θ(pd)$ for arbitrary $p$ and $d$ would follow from a (strong form) of the well-known conjecture of Jaeger, Linial, Payan and Tarsi on additive bases in $\mathbb{Z}_p^d$.
Along the way to proving these results, we establish a generalization of a hypergraph matching result by Haxell in a matroidal setting. Concretely, we obtain sufficient conditions for the existence of matchings in a hypergraph whose hyperedges are labelled by the elements of a matroid, with the property that the edges in the matching induce a basis of the matroid. We believe that these statements are of independent interest.
Binary LCD Codes and Their Graph Representations
We establish a bijection between binary even LCD codes and simple graphs whose adjacency matrices are idempotent over $\FF_2$. This bijection preserves equivalence: permutation equivalence of codes corresponds exactly to graph isomorphism. Based on this framework, we characterize which distance-regular graphs yield LCD codes via intersection array parameters, prove that non-isomorphic conference graphs yield inequivalent codes, and classify LCD-derived graphs of small orders.