Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Point-transitive Steiner systems S(2,6,111/121/126), S(2,7,169/175)
In this paper new Steiner systems $S(2,6,111)$, $S(2,6,121)$, $S(2,6,126)$, $S(2,7,169)$, $S(2,7,175)$ and possibly others with point-transitive (commutative except $S(2,6,111)$ case) automorphism groups are introduced.
On Hamiltonicity and Perfect Codes in Non-Cyclic Graphs of Finite Groups
Let \( G \) be a finite non-cyclic group. Define \( \mathrm{Cyc}(G) \) as the set of all elements \( a \in G \) such that for any $b\in G$, the subgroup \( \langle a, b \rangle \) is cyclic. The \emph{non-cyclic graph} $Γ(G)$ of \( G \) is a simple undirected graph with vertex set \( G \setminus \mathrm{Cyc}(G) \), where two distinct vertices \( x \) and \( y \) are adjacent if the subgroup \( \langle x, y \rangle \) is not cyclic. An independent subset $C$ of the vertex set of a graph $Γ$ is called a perfect code of $Γ$ if every vertex of $V(Γ)\setminus C$ is adjacent to exactly one vertex in $C$. A subset \( T \) of the vertex set a graph \( Γ\) is said to be a \emph{total perfect code} if every vertex of \( Γ\) is adjacent to exactly one vertex in \( T \). In this paper, we prove that the graph $Γ(G)$ is Hamiltonian for any finite non-cyclic nilpotent group $G$. Also, we characterize all finite groups such that their non-cyclic graphs admit a perfect code. Finally, we prove that for a non-cyclic nilpotent group $G$, the non-cyclic graph $Γ(G)$ does not admit total perfect code.
Explicit Lossless Vertex Expanders
We give the first construction of explicit constant-degree lossless vertex expanders. Specifically, for any $\varepsilon > 0$ and sufficiently large $d$, we give an explicit construction of an infinite family of $d$-regular graphs where every small set $S$ of vertices has $(1-\varepsilon)d|S|$ neighbors (which implies $(1-2\varepsilon)d|S|$ unique-neighbors). Our results also extend naturally to construct biregular bipartite graphs of any constant imbalance, where small sets on each side have strong expansion guarantees. The graphs we construct admit a free group action, and hence realize new families of quantum LDPC codes of Lin and M. Hsieh with a linear time decoding algorithm.
Our construction is based on taking an appropriate product of a constant-sized lossless expander with a base graph constructed from Ramanujan Cayley cubical complexes.
Bisections of graphs under degree constraints
In this paper, we investigate the problem of finding {\it bisections} (i.e., balanced bipartitions) in graphs. We prove the following two results for {\it all} graphs $G$: (1). $G$ has a bisection where each vertex $v$ has at least $(1/4 - o(1))d_G(v)$ neighbors in its own part; (2). $G$ also has a bisection where each vertex $v$ has at least $(1/4 - o(1))d_G(v)$ neighbors in the opposite part. These results are asymptotically optimal up to a factor of $1/2$, aligning with what is expected from random constructions, and provide the first systematic understanding of bisections in general graphs under degree constraints. As a consequence, we establish for the first time the existence of a function $f(k)$ such that for any $k\geq 1$, every graph with minimum degree at least $f(k)$ admits a bisection where every vertex has at least $k$ neighbors in its own part, as well as a bisection where every vertex has at least $k$ neighbors in the opposite part.
Using a more general setting, we further show that for any $\varepsilon > 0$, there exist $c_\varepsilon, c'_\varepsilon > 0$ such that any graph $G$ with minimum degree at least $c_\varepsilon k$ (respectively, $c'_\varepsilon k$) admits a bisection satisfying: every vertex has at least $k$ neighbors in its own part (respectively, in the opposite part), and at least $(1 - \varepsilon)|V(G)|$ vertices have at least $k$ neighbors in the opposite part (respectively, in their own part). These results extend and strengthen classical graph partitioning theorems of Erdős, Thomassen, and Kühn-Osthus, while additionally satisfying the bisection requirement.
Topological persistence of configuration spaces and independence complexes for digraphs
We study the topological persistence of the (path) configuration spaces and the (path) independence complexes for digraphs as well as their underlying graphs. We construct some canonical embeddings from the (path) independence complexes of the underlying graphs to the (path) independence complexes of the digraphs as well as some canonical embeddings between the (path) independence complexes induced by strong totally geodesic immersions and strong totally geodesic embeddings of (di)graphs. We apply the path homology to the path independence complexes of (di)graphs. As by-products, we derive some consequences about the Shannon capacities.
Uniformly resolvable decompositions of $K_v$ into one $1$-factor and $n$-stars when $n>1$ is odd
We consider uniformly resolvable decompositions of $K_v$ into subgraphs such that each resolution class contains only blocks isomorphic to the same graph. We give a complete solution for the case in which one resolution class is $K_2$ and the rest are $K_{1,n}$ where $n>1$ is odd.
Uniformly resolvable decompositions of $K_v$ into $1$-factors and odd $n$-star factors
We consider uniformly resolvable decompositions of $K_v$ into subgraphs such that each resolution class contains only blocks isomorphic to the same graph. We give a partial solution for the case in which all resolution classes are either $K_2$ or $K_{1,n}$ where $n$ is odd.
Almost-perfect colorful matchings in three-edge-colored bipartite graphs
We prove that, for positive integers $n,a_1, a_2, a_3$ satisfying $a_1+a_2+a_3 = n-1$, it holds that any bipartite graph $G$ which is the union of three perfect matchings $M_1$, $M_2$, and $M_3$ on $2n$ vertices contains a matching $M$ such that $|M\cap M_i| =a_i$ for $i= 1,2,$ and $3$. The bound $n-1$ on the sum is best possible in general. Our result verifies the multiplicity extension of the Ryser-Brualdi-Stein Conjecture, proposed recently by Anastos, Fabian, Müyesser, and Szabó, for three colors.
A universal threshold for geometric embeddings of trees
A graph $G=(V,E)$ is geometrically embeddable into a normed space $X$ when there is a mapping $ζ: V\to X$ such that $\|ζ(v)-ζ(w)\|_X\leqslant 1$ if and only if $\{v,w\}\in E$, for all distinct $v,w\in V$. Our result is the following universal threshold for the embeddability of trees. Let $Δ\geqslant 3$, and let $N$ be sufficiently large in terms of $Δ$. Every $N$--vertex tree of maximal degree at most $Δ$ is embeddable into any normed space of dimension at least $64\,\frac{\log N}{\log\log N}$, and complete trees are non-embeddable into any normed space of dimension less than $\frac{1}{2}\,\frac{\log N}{\log\log N}$. In striking contrast, spectral expanders and random graphs are known to be non-embeddable in sublogarithmic dimension. Our result is based on a randomized embedding whose analysis utilizes the recent breakthroughs on Bourgain's slicing problem.
Equivariant quasisymmetry and noncrossing partitions
We introduce a definition of ``equivariant quasisymmetry'' for polynomials in two sets of variables. Using this definition we define quasisymmetric generalizations of the theory of double Schur and double Schubert polynomials that we call double fundamental polynomials and double forest polynomials, where the subset of ``noncrossing partitions'' plays the role of $S_n$. In subsequent work we will show this combinatorics is governed by a new geometric construction we call the ``quasisymmetric flag variety'' which plays the same role for equivariant quasisymmetry as the usual flag variety plays in the classical story.
Sunflowers and Ramsey problems for restricted intersections
Extremal problems on set systems with restricted intersections have been an important part of combinatorics in the last 70 year. In this paper, we study the following Ramsey version of these problems. Given a set $L\subseteq \{0,\dots,k-1\}$ and a family $\mathcal{F}$ of $k$-element sets which does not contain a sunflower with $m$ petals whose kernel size is in $L$, how large a subfamily of $\mathcal{F}$ can we find in which no pair has intersection size in $L$? We give matching upper and lower bounds, determining the dependence on $m$ for all $k$ and $L$. This problem also finds applications in quantum computing.
As an application of our techniques, we also obtain a variant of Füredi's celebrated semilattice lemma, which is a key tool in the powerful delta-system method. We prove that one cannot remove the double-exponential dependency on the uniformity in Füredi's result, however, we provide an alternative with significantly better, single-exponential dependency on the parameters, which is still strong enough for most applications of the delta-system method.
Highest weight vectors of tensors
We study highest weight vectors for symmetric and alternating spaces of tensors, whose dimensions are given by generalized Kronecker coefficients. We describe the algebraic relations for classical constructions of corresponding spanning sets of highest weight vectors. The proof is based on important duality that we discover for these highest weight spaces and vectors. As applications of duality, we also give conceptual interpretations to power expansions of Cayley's first hyperdeterminant and its dual exterior form.
Digraphs of potential barriers: properties of their tree structure and algorithm for constructing minimum spanning forests
For a weighted digraph without loops $V$, the arc weights of which can be obtained from an undirected graph with loops ${\sf P}$ according to the rule $v_{ij}=p_{ij}-p_{ii}$, the properties are studied. An effective algorithm for constructing directed trees of minimum weight and an algorithm for constructing spanning directed forests of minimum weight are proposed.
On Solving the Set Covering Problem with Conflicts on Sets
A variant of the well-known Set Covering Problem is studied in this paper, where subsets of a collection have to be selected, and pairwise conflicts among subsets of items exist. The selection of each subset has a cost, and the inclusion of conflicting subsets is associated with a penalty to be paid. The problem, which can be used to model real applications, looks for a selection of subsets that cover the original collection, while minimizing the sum of covering and penalty costs. In this paper we consider a compact mixed integer linear program and we solve it with an open-source solver. Computational results on the benchmark instances commonly used in the literature of the problem are reported. The results indicate that the new approach we propose is capable of good results, both in terms of lower and upper bounds, although not matching the state-of-the-art on average. The new approach was, however, able to improve 9 best-known heuristic solutions.
Enumeration of spanning trees and resistance distances of generalized blow-up graphs
Let $H$ be a graph with vertex set $V(H)=\{v_1, v_2, \cdots, v_k\}$. The generalized blow-up graph $H_{p_1,\ldots,p_k}^{q_1,\ldots,q_k}$ is constructed by replacing each vertex $v_i \in V(H)$ with the graph $G_i = p_iK_t \cup q_iK_1$$(i=1,2,\cdots,k)$, then connecting all vertices between $G_i$ and $G_j$ whenever $v_iv_j \in E(H)$.
In this paper, we enumerate the spanning trees in generalized blow-up graphs $H_{p_1, p_2, \cdots, p_k}^{q_1, q_2, \cdots, q_k}$, which extends the results of Ge [Discrete Appl. Math. 305 (2021) 145-153], Cheng, Chen and Yan [Discrete Appl. Math. 320 (2022) 259-269]. Furthermore, we determine the resistance distances and Kirchhoff indices of generalized blow-up graphs $H_{p_1, p_2, \cdots, p_k}^{q_1, q_2, \cdots, q_k}$, which extends the results of Sun, Yang and Xu [Discrete Math. 348 (2025) 114327], Xu and Xu [Discrete Appl. Math. 362 (2025) 18-33], Ni, Pan and Zhou [Discrete Appl. Math. 362 (2025) 100-108].
Limit for Quotient Convergent Graph Sequence
Building on the limit theory for set functions, we prove that the limit of convergent sequence of bounded-degree graphs' cycle matroids can be represented as the cycle matroid of a graphing, analogous to the completeness result for local-global convergence.
Results and Problems on Equitable Coloring of Graphs
A proper coloring of vertices of a graph is equitable if the sizes of any two color classes differ by at most 1. Such colorings have many applications and are interesting by themselves. In this paper, we discuss the state of art and unsolved problems on equitable coloring and its list versions.
Avoidance of vincular patterns by flattened derangements
In this paper, we consider the problem of avoiding a single vincular pattern of length three by derangements in the flattened sense and find explicit formulas for the generating functions enumerating members of each corresponding avoidance class according to the number of cycles. We make frequent use of the kernel method in solving the functional equations that arise which are satisfied by these (ordinary) generating functions. In the case of avoiding 23-1, which is equivalent to 32-1 in the flattened sense, it is more convenient to consider the exponential generating function instead due to the form of the recurrence. This leads to an explicit expression for the distribution of the number of cycles in terms of Stirling numbers of the second kind and the determinant of a certain tridiagonal matrix. Finally, the cases of 3-12 and 3-21 are perhaps the most difficult of all, and here we make use of a pair of auxiliary statistics in order to find a system of recurrences that enumerate each avoidance class.
Progress on Self Identifying Codes
The concept of an identifying code for a graph was introduced by Karpovsky, Chakrabarty, and Levitin in 1998 as the problem of covering the vertices of a graph such that we can uniquely identify any vertex in the graph by examining the vertices that cover it. An application of an identifying code would be to detect a faulty processor in a multiprocessor system. In 2020, a variation of identify code called "self-identifying code" was introduced by Junnila and Laihonen, which simplifies the task of locating the malfunctioning processor. In this paper, we continue to explore self-identifying codes. In particular, we prove the problem of determining the minimum cardinality of a self-identifying code for an arbitrary graph is NP-complete and we investigate minimum-sized self-identifying code in several classes of graphs, including cubic graphs and infinite grids.
There are finitely many $5$-vertex-critical $(P_6,\text{bull})$-free graphs
In this paper, we are interested in $4$-colouring algorithms for graphs that do not contain an induced path on $6$ vertices nor an induced bull, i.e., the graph with vertex set $\{v_1,v_2,v_3,v_4,v_5\}$ and edge set $\{v_1v_2,v_2v_3,v_3v_4,v_2v_5,v_3v_5\}$. Such graphs are referred to as $(P_6,\text{bull})$-free graphs. A graph $G$ is \emph{$k$-vertex-critical} if $χ(G)=k$, and every proper induced subgraph $H$ of $G$ has $χ(H)<k$. In the current paper, we investigate the structure of $5$-vertex-critical $(P_6,\text{bull})$-free graphs and show that there are only finitely many such graphs, thereby answering a question of Maffray and Pastor. A direct corollary of this is that there exists a polynomial-time algorithm to decide if a $(P_6,\text{bull})$-free graph is $4$-colourable such that this algorithm can also provide a certificate that can be verified in polynomial time and serves as a proof of 4-colourability or non-4-colourability.