Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Some bounds on the number of non isomorphic cyclic k-cycle systems of the complete graph
Published
• View Publication
• BIB
In a recent paper (2024) M. Buratti and M.E:Muzychuck have established some lower bounds on the number of non isomorphic cyclic Steiner Triple Systems of order $v\equiv 1$ (mod $6$). We complete their result to the case $v\equiv 3$ (mod $6$). For each odd $k > 3$ we also find lower bounds for the number of non isomorphic cyclic $k$-cycle systems of a complete graph.
Generalized additive bases and difference bases for Cartesian product of finite abelian groups
For a finite group $G$ and positive integer $g$, a $g$-additive basis is a subset of $G$ whose pairwise sums cover each element of $G$ at least $g$ times, with $g$-difference bases defined similarly using pairwise differences. While prior work focused on $1$-additive and $1$-difference bases, recent works of Kravitz and Schmutz--Tait explored $g$-additive and $g$-difference bases in finite abelian groups. This paper investigates such bases in $G^n$, the Cartesian product of a finite abelian group $G$. We construct $g$-additive and $g$-difference bases in $G^n$, which lead to asymptotically sharp upper bounds on the minimal sizes of such bases. Our proofs draw on ideas from additive combinatorics and combinatorial design theory.
The nonsymmetric shuffle theorem
The shuffle conjecture of Haglund et al. expresses the symmetric function $\nabla e_n$ as a sum over labeled Dyck paths. Here $\nabla$ is an operator on symmetric functions defined in terms of its diagonal action on the basis of modified Macdonald polynomials. The shuffle conjecture was later refined by Haglund-Morse-Zabrocki to the compositional shuffle conjecture, expressing $\nabla C_α$ as a sum over labeled Dyck paths with touchpoints specified by $α$, where $C_α$ is a compositional Hall-Littlewood polynomial. Carlsson-Mellit settled both versions by developing the theory of a variant of the DAHA called the double Dyck path algebra.
In a recent paper, we discovered a notion of nonsymmetric plethsym which led us to a construction of modified nonsymmetric Macdonald polynomials $\mathsf{H}_{η|λ}(\mathbf{x};q,t)$. These polynomials Weyl symmetrize to their symmetric counterparts and are conjecturally atom positive. Here we introduce a nonsymmetric version $\boldsymbol{\nabla}$ of $\nabla$, now acting diagonally on the basis given by the functions $\mathsf{H}_{η|λ}(\mathbf{x};q,t)$. Weaving together our theory with results of Carlsson-Mellit and Mellit, we establish a nonsymmetric version of the compositional shuffle theorem, which equates $\boldsymbol{\nabla}^{-1}$ applied to a nonsymmetric version $\mathsf{C}_α$ of $C_α$ with a sum over flagged labeled Dyck paths with touchpoints given by $α$. This combinatorial sum is conjecturally atom positive, refining the known Schur positivity of its symmetric counterpart.
Resonance varieties and Lie algebras of matroids and hyperplane arrangements
Published in Bulletin Mathématique de la Société des Sciences Mathématiques de Roumanie 68 (2025), no. 3, 349-382
• Search Publication
The resonance varieties, the holonomy Lie algebra, and the holonomy Chen Lie algebra associated with the Orlik-Solomon algebra of a matroid provide an algebraic lens through which to examine the rich combinatorial structure of matroids and their geometric realizations as complex hyperplane arrangements. In this survey paper, we emphasize the commonalities between these objects but also the possible ways in which realizable and non-realizable matroids differ, leading to some open questions.
Edge inducibility via local directed graphs
In this paper we introduce the edge inducibility problem. This is a common refinement of both the well known Kruskal--Katona theorem and the inducibility question introduced by Pippenger and Golumbic.
Our first result is a hardness result. It shows that for any graph $G$, there is a related graph $G'$ whose edge inducibility determines the vertex inducibility of $G$. Moreover, we determine the edge inducibility of every $G$ with at most $4$ vertices, and make some progress on the cases $G=C_5,P_6$. Lastly, we extend our hardness result to graphs with a perfect matching that is the unique fractional perfect matching. This is done by introducing locally directed graphs, which are natural generalizations of directed graphs.
Comparison of Hyperplane Rounding for Max-Cut and Quantum Approximate Optimization Algorithm over Certain Regular Graph Families
Published
• View Publication
• BIB
There is a strong interest in finding challenging instances of NP-hard problems, from the perspective of showing quantum advantage. Due to the limits of near-term NISQ devices, it is moreover useful if these instances are small. In this work, we identify two graph families ($|V|<1000$) on which the Goemans-Williamson algorithm for approximating the Max-Cut achieves at most a 0.912-approximation. We further show that, in comparison, a recent quantum algorithm, Quantum Approximate Optimization Algorithm (depth $p=1$), is a 0.592-approximation on Karloff instances in the limit ($n \to \infty$), and is at best a $0.894$-approximation on a family of strongly-regular graphs. We further explore construction of challenging instances computationally by perturbing edge weights, which may be of independent interest, and include these in the CI-QuBe github repository.
Decompositions of graphs with degree constraints relative to prescribed subgraphs
Given a finite simple undirected graph $G$, let $T_1(G)$ denote the subset of vertices of $G$ such that every vertex of $T_1(G)$ belongs to at least one subgraph isomorphic to a graph obtained by connecting a single vertex to two vertices of $K_4 - e$. Define $T_0(G) = V(G) \setminus T_1(G)$, and let $a,b \colon V(G) \longrightarrow \mathbb{Z}_{\ge 0}$ be arbitrary functions. In this paper, we prove that if $d_G(u) \ge a(u) + b(u) + h(u)$, where $h(u) \in \{0,1\}$ for $u \in T_h(G)$, then there exists a partition $(S, T)$ of $V(G)$ such that $d_{S}(u) \ge a(u)$ for every $u \in S$ and $d_{T}(u) \ge b(u)$ for every $u \in T$. This result extends the theorem of Stiebitz~[\textit{J. Graph Theory}, 23 (1996), 321--324]. Moreover, we establish an analogous result in the case where $T_1(G)$ consists of vertices belonging to at least one $K_{2,3}$, thereby extending the findings of Hou et al.~[\textit{Discrete Math.}, 341 (2018), 3288--3295].
Claw-free bricks that every $b$-invariant edge is solitary
A graph $G$ is a brick if it is 3-connected and $G-\{u,v\}$ has a perfect matching for any two distinct vertices $u$ and $v$ of $G$. Lucchesi and Murty proposed a problem concerning the characterization of bricks, distinct from $K_4$, $\overline{C_6}$ and the Petersen graph, in which every $b$-invariant edge is solitary. In this paper, we present a characterization of this problem when the bricks are claw-free.
Efficient graph similarity assessment method based on vectors of topological indices
Published
• View Publication
• BIB
Measuring similarity between complex objects is a fundamental task in many scientific fields. When objects are represented as graphs, graph similarity/distance measures offer a powerful framework for quantifying structural resemblance. Those comparative measures play a key role in domains such as network science, chemoinformatics, and social network analysis. While methods like graph edit distance and graph kernels are widely used, they can be computationally intensive or fail to capture fine structural variations, since they require graphs without any structural uncertainty. Another class of methods is based on using topological indices to encode structural information of the graphs, followed by the application of distance or similarity measures for real numbers to obtain corresponding graph-level metrics. In this paper, we introduce a novel class of distance/similarity measures which are based on multiple topological indices. Since they are generally computed in polynomial time, our method is computationally efficient in practice. We demonstrate its effectiveness through comparisons and show that it captures subtle structural information meaningfully. Additionally, we explore its applicability in two domains: analyzing random graph models in network theory and assessing molecular similarity among isomers in chemoinformatics. These preliminary results suggest that our approach holds promise for graph comparison across disciplines.
The maximum sum of sizes of non-empty cross $L$-intersecting families
Let $n$, $r$, and $k$ be positive integers such that $k, r \geq 2$, $L$ a non-empty subset of $[k]$, and $\mathcal{F}_i \subseteq \binom{[n]}{k}$ for $1 \leq i \leq r$. We say that non-empty families $\mathcal{F}_1, \mathcal{F}_2, \ldots, \mathcal{F}_r$ are $r$-cross $L$-intersecting if $\left| \bigcap_{i=1}^r F_i \right| \in L$ for every choice of $F_i \in \mathcal{F}_i$ with $1 \leq i \leq r$. They are called pairwise cross $L$-intersecting if $|A \cap B| \in L$ for all $A \in \mathcal{F}_i$, $B \in \mathcal{F}_j$ with $i \neq j$. If $r=2$, we simply say cross $L$-intersecting instead of $2$-cross $L$-intersecting or pairwise cross $L$-intersecting. In this paper, we determine the maximum possible sum of sizes of non-empty cross $L$-intersecting families $\mathcal{F}_1$ and $\mathcal{F}_2$ for all admissible $n$, $k$, and $L$, and we characterize all the extremal structures. We also establish the maximum value of the sum of sizes of families $\mathcal{F}_1, \dots, \mathcal{F}_r$ that are both pairwise cross $L$-intersecting and $r$-cross $L$-intersecting, provided $n$ is sufficiently large and $L$ satisfies certain conditions. Furthermore, we characterize all such families attaining the maximum total size.
Congruence families modulo powers of $7$ for $4$-colored generalized Frobenius partitions
In 2012, Peter Paule and Cristian-Silviu Radu proved an infinite family of Ramanujan type congruences for $2$-colored Frobenius partitions $cφ_2$ introduced by George Andrews. Recently, Frank Garvan, James Sellers and Nicolas Smoot showed that this family of congruences is equivalent to the family of congruences for $(2,0)$-colored Frobenius partitions $cψ_{2,0}$ introduced by Brian Drake and by Yuze Jiang, Larry Rolen and Michael Woodbury for the general case. Motivated by Garvan, Sellers and Smoot's work, Rong Chen and Xiao-Jie Zhu found modular transformations relating the $cψ_{k,β}$ for fixed $k$ and varying $β$. As an example, they proved a family of congruences for $cψ_{3,1/2}$ following Paule and Radu's work and then proved the equivalence between $cψ_{3,1/2}$ and $cφ_3=cψ_{3,3/2}$. In the present paper, we give a new example of Chen and Zhu's framework for $cψ_{4,β}$. Our proof is considerably simpler.
Finding the diameter of a tree with distance queries
Published
• View Publication
• BIB
We study the number of distance queries needed to identify certain properties of a hidden tree $T$ on $n$ vertices. A distance query consists of two vertices $x,y$, and the answer is the distance of $x$ and $y$ in $T$. We determine the number of queries an optimal adaptive algorithm needs to find two vertices of maximal distance up to an additive constant, and the number of queries needed to identify the hidden tree asymptotically. We also study the non-adaptive versions of these problems, determining the number of queries needed exactly.
A Combinatorial Technique for the Wedderburn Decomposition of Rational Group Algebras of Nested GVZ $p$-groups
Published
• View Publication
• BIB
In this article, we present a combinatorial formula for the Wedderburn decomposition of rational group algebras of nested GVZ $p$-groups, where $p$ is an odd prime. Using this formula, we derive an explicit combinatorial expression for the Wedderburn decomposition of rational group algebras of all two-generator $p$-groups of class $2$. Additionally, we provide explicit combinatorial formulas for the Wedderburn decomposition of rational group algebras of certain families of nested GVZ $p$-groups with arbitrarily large nilpotency class. We also classify all nested GVZ $p$-groups of order at most $p^5$ and compute the Wedderburn decomposition of their rational group algebras. Finally, we determine a complete set of primitive central idempotents for the rational group algebras of nested GVZ $p$-groups.
A structure theorem for rooted connectivity in bidirected graphs
Recently, bidirected graphs have received increasing attention from the graph theory community with both structural and algorithmic results. Bidirected graphs are a generalization of directed graphs, consisting of an undirected graph together with a map assigning each endpoint of every edge either sign $+$ or $-$. The connectivity properties of bidirected graphs are more complex than those of directed graphs and not yet well understood. In this paper, we show a structure theorem about rooted connectivity in bidirected graphs in terms of directed graphs. As applications, we prove Lovász' flame theorem, Pym's theorem and a strong variant of Menger's theorem for a class of bidirected graphs and provide counterexamples in the general case.
Steiner 3-designs as extensions
Published in Designs, Codes and Cryptography 94 (2026), article number 157
• View Publication
• BIB
In this article, we construct a Steiner system with the parameters $S(3,6,42)$, settling one of the smallest open parameter sets of Steiner $3$-designs. Furthermore, we establish the existence of rotational Steiner quadruple systems on $46$ and $92$ points.
Our construction method is based on extending Steiner $2$-designs using prescribed extension groups. We also consider extensions to designs of higher strength. The article includes a table and a discussion of the status of all admissible parameters for Steiner $3$-designs on at most $50$ points.
Diameter Bounds for Friends-and-Strangers Graphs
Consider two $n$-vertex graphs $X$ and $Y$, where we interpret $X$ as a social network with edges representing friendships and $Y$ as a movement graph with edges representing adjacent positions. The friends-and-strangers graph $\mathsf{FS}(X,Y)$ is a graph on the $n!$ permutations $V(X)\to V(Y)$, where two configurations are adjacent if and only if one can be obtained from the other by swapping two friends located on adjacent positions. Friends-and-strangers graphs were first introduced by Defant and Kravitz, and generalize sliding puzzles as well as token swapping problems. Previous work has largely focused on their connectivity properties.
In this paper, we study the diameter of the connected components of $\mathsf{FS}(X, Y)$. We extend the result of Kornhauser, Miller, and Spirakis on sliding puzzles to general graphs in two ways. First, we show that the diameter of $\mathsf{FS}(X, Y)$ is polynomially bounded when both the friendship and the movement graphs have large minimum degree. Second, when both the underlying graphs $X$ and $Y$ are Erdős-Rényi random graphs, we show that the distance between any pair of configurations is almost always polynomially bounded under certain conditions on the edge probabilities.
Planar ternary graphs, flag spheres, and Delannoy polynomials
Published
• View Publication
• BIB
In 2022 Kim showed when a graph $G$ is ternary (without induced cycles of length divisible by three), its independence complex $\text{Ind}(G)$ is either contractible or homotopy equivalent to a sphere. In this paper, we show that when $\text{Ind}(G)$ is homotopy equivalent to a sphere of dimension $\dim \text{Ind}(G)$, the complex is Gorenstein. Equivalently, $G$ is a $1$-well-covered graph. This answers a question by Faridi and Holleben.
We then focus on the independence complexes of Gorenstein planar ternary graphs. We prove that they are boundaries of vertex decomposable simplicial polytopes. We show that the transformations among these flag spheres using edge subdivisions and contractions can be modeled by the Hasse diagram of the partition refinement poset. In addition, their $h$-polynomials are products of Delannoy polynomials and thus real-rooted. Finally, we demonstrate a way to construct nonplanar Gorenstein ($1$-well-covered) ternary graphs from planar ones.
Various Diamond Properties in Combinatorial Game Theory
Published
• View Publication
• BIB
We investigate conditions under which positions in combinatorial games admit simple values. We introduce a unified diamond framework, the $\Diamond_A$-property ($A\in\{\mathbb{Z},\mathbb{D}$), for sets of positions closed under options. Under certain conditions, this framework guarantees that all values are integers, dyadic rationals, or pairs $\{m|n\}$ (on $\mathbb{Z}$ or $\mathbb{D}$). As an application, we establish that every position in \textsc{Yashima} game on bipartite graphs has an integer pair value.
On the Precise Asymptotics of $ex(n,n,n,K_{2,t})$ for even $t$
Let $K_{2,t}$ denote the complete bipartite graph. For an integer $n\ge 1$, let $ex(n,n,n,K_{2,t})$ be the maximum number of edges in an $n\times n\times n$ tripartite graph (that is, a 3-partite graph with three parts each of size $n$) containing no copy of $K_{2,t}$. In this paper we prove that, for even $t\ge 2$, $$ ex(n,n,n,K_{2,t}) \ge \frac{3\sqrt{t-1}}{\sqrt{2}}\, n^{3/2} + o(n^{3/2}). $$ Combining our construction with earlier work of Tait and Timmons, we obtain $$ \lim\limits_{n\to\infty} \frac{ex(n,n,n,K_{2,t})}{n^{3/2}} = \frac{3\sqrt{t-1}}{\sqrt{2}}, \qquad\text{for integer } t\ge 2. $$
Two-ends Furstenberg estimates in the plane
Published
• View Publication
• BIB
We prove two-ends Furstenberg estimates in the plane for a Katz-Tao $(δ,t)$-set of lines, for general $t\in[0,2]$.