Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Spectrality of Prime Size Tiles
We prove that if a tile in $\mathbb Z^d$ has prime size $p$, then it must be spectral. The proof is by contradiction, it is simply shown that the tiling complement of such a tile can not annihilate all $p$-subgroups. In addition, with a simple transformation we prove that any $p$ points in general linear positions in $\mathbb Z^d$ must be both tiling and spectral if $d\ge p-1$.
A counterexample to an isomorphism problem for power monoids
Let $H$ be a (multiplicatively written) monoid. The family $\mathcal{P}_{\text{fin},1}(H)$ of finite subsets of $H$ containing the identity element is itself a monoid when endowed with setwise multiplication induced by $H$. Tringali and Yan proved that two monoids $H_1$ and $H_2$ contained in a special class of commutative, cancellative monoids are isomorphic if and only if $\mathcal{P}_{\text{fin},1}(H_1)$ and $\mathcal{P}_{\text{fin},1}(H_2)$ are. Moreover, they raised the question whether the same holds in the general setting of cancellative monoids. We show that if $H_1$ and $H_2$ are (commutative) valuation monoids with trivial unit groups and isomorphic quotient groups, then $\mathcal{P}_{\text{fin},1}(H_1)\simeq\mathcal{P}_{\text{fin},1}(H_2)$. This provides a negative answer to Tringali and Yans question already within the class of valuation submonoids of the additive group $\mathbb{Z}^2$.
On the multiplicity of matching polynomial roots and $θ$-critical graphs
The matching polynomial of a graph encodes rich combinatorial information through its roots. We determine the maximum multiplicity of a non-zero matching polynomial root and characterize all graphs attaining the bound. We also generalize the result to any fixed $θ$, where the graphs attaining the bound are related to $θ$-critical graphs. Inspired by these graphs, we give a constructive answer to Godsil's question. Finally, we show the existence of $1$-critical tree of order $n$ for all $n\ge 9$ and $1$-critical graph of order $n$ for all $n\ge 5$, and describe a method to construct $1$-critical graphs from existing ones.
Balanced player arrangement in rotating court games
Consider a game involving a team with $n$ players, $k$ of which wear shirts marked with a letter $A$, while the others with a letter $B$, and such that only $s$ people play, while the remaining $n-s$ wait outside the court. At certain times the players rotate, and one player enters the court while another one leaves, each player keeping the same neighbors at all times. The house rules want at least $t$ players wearing a shirt with the letter $A$ in the court at each rotation. We show that this can be achieved if and only if $nt\leq ks$. We use classical work on balanced words dating back to Christoffel and Smith.
Ramsey sequences with bounded clique size
A sequence of graphs $ \{G_k\} $ is a Ramsey sequence if for every positive integer $ k $, the graph $ G_k $ is a proper subgraph of $ G_{k+1} $, and there exists an integer $n > k$ such that every red-blue coloring of $ G_n $ contains a monochromatic copy of $ G_k $. Among the wide range of open problems in Ramsey theory, an interesting open question is ``Does there exist an ascending sequence $\{G_k\}$ with $\lim_{k \to \infty} χ(G_k) = \infty$ and $\lim_{k \to \infty} ω(G_k) \neq \infty$ that is a Ramsey sequence?". In this paper, we solve this problem by constructing a Ramsey sequence $\{G_k\}$ with a bounded clique number such that $\lim_{k \to \infty} χ(G_k) = \infty$. Furthermore, using the observation that any monotonic increasing sequence of graphs that contains a Ramsey sequence as a subgraph is also Ramsey, we can generate infinitely many Ramsey sequences using this example.
An Ohba-like Result for Flexible List Coloring
Chromatic-choosablility is a notion of fundamental importance in list coloring. A graph $G$ is chromatic-choosable when its chromatic number, $χ(G)$, is equal to its list chromatic number $χ_{\ell}(G)$. Flexible list coloring was introduced by Dvořák, Norin, and Postle in 2019 in order to address a situation in list coloring where we still seek a proper list coloring, but each vertex may have a preferred color assigned to it, and for those vertices we wish to color as many of them with their preferred colors as possible. In flexible list coloring, the list flexibility number of $G$, denoted $χ_{\ell flex}(G)$, serves as the natural analogue of $χ_{\ell}(G)$. In 2002, Ohba famously showed that for any graph $G$, there exists an $N \in \mathbb{N}$ such that $χ(K_p \vee G) = χ_{\ell}(K_p \vee G)$ whenever $p \geq N$. Since $χ(G) \leq χ_{\ell}(G) \leq χ_{\ell flex}(G)$, it is natural to ask whether this result holds if $χ_{\ell}$ is replaced with $χ_{\ell flex}$. In this paper we not only show that this result doesn't hold in general if $χ_{\ell}$ is replaced with $χ_{\ell flex}$, but we also give a characterization of the graphs for which it does hold.
Some bounds on the number of non isomorphic cyclic k-cycle systems of the complete graph
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
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
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
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
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.