math.CO ↗ arXiv
5274 papers in this category
Soft tilings
By means of constructing a new edge-bending algorithm, we prove that every locally polyhedral tiling of $\mathbb{R}^3$ can be completely softened. A weaker form of this statement, for polyhedral space tilings, was conjectured by Domokos, Goriely, G. Horváth and Regős in 2024. We also provide a short proof for a result of Domokos, G. Horváth, and Regős, stating that in a balanced polygonic tiling of the plane, the average number of spikes is at least 2 per cell.
On Chromatic Asymptotic Approximate Groups
We study a chromatic theory of asymptotic approximate groups for tuples of subsets of abelian groups, combining Nathanson's chromatic sumset formalism with asymptotic covering ideas from approximate group theory. This framework encodes simultaneous additive growth across several color classes. We show some general lifting and invariance principles, establish chromatic covering theorems for finite tuples and for tuples whose color classes are finite unions of unbounded linear sets, and obtain exact structure theorems for translated submonoids and finite-set-plus-submonoid sets. We also obtain sharper binomial bounds in the finite and unbounded-linear cases than the previous lattice-covering estimates. In the integer setting, we show that for each fixed threshold $t$, the threshold-$t$ chromatic layers form an asymptotic approximate family, using Nathanson's eventual interval-plus-edges description to obtain a uniform bound of size $r+2$ and prove an inhomogeneous extension for certain families.
Separating Matchings in Cubic Graphs
We study separating matchings in graphs, that is, matchings whose removal increases the number of connected components, and focus on determining the maximum size of such a matching in a graph $G$, denoted by $\mathrm{mms}(G)$. We show that every subcubic graph admits a separating matching, except for exactly eight graphs, which allows us to focus on bounding $\mathrm{mms}(G)$ for cubic graphs. Our main results show that every cubic graph $G$ on $n$ vertices that admits a separating matching satisfies $\mathrm{mms}(G) \ge n/2 - 2$. For bipartite cubic graphs, assuming a conjecture of Funk, the problem reduces to a recursively defined class $\mathcal{F}$, for which we prove that $\mathrm{mms}(G) \ge n/2 - 1$, up to four exceptional graphs. In contrast, we show that every claw-free cubic graph satisfies $\mathrm{mms}(G) = n/2$. These results extend previous work on matching cuts and disconnected $2$-factors, and provide the first systematic study of maximum separating matchings.
Generalized spectral Turán problems for disjoint cliques
The generalized Turán number $\text{ex}(n, H, F)$ denotes the maximum number of copies of $H$ in an $n$-vertex $F$-free graph. Let $kK_{r+1}$ be the disjoint union of $k$ copies of the complete graph $K_{r+1}$. Recently, Gerbner determined $\text{ex}(n, K_{t},kK_{r+1})$ for all sufficiently large $n$. In this paper, we study a spectral analogue of this problem via the $t$-clique tensor of a graph. We prove that if an $n$-vertex $kK_{r+1}$-free graph $G$ maximizes the $t$-clique spectral radius, then for sufficiently large $n$, $G$ is the join of a complete graph $K_{k-1}$ and the $r$-partite Turán graph $T_{r}(n-k+1)$. This establishes a spectral counterpart of Gerbner's Theorem. Moreover, in the case $t=2$, our result recovers a theorem of Ni, Wang, and Kang on the maximum spectral radius of $kK_{r+1}$-free graphs.
Ramsey-finiteness for graph pairs: A complete solution to the Burr-Erdős-Faudree-Schelp conjectures
For finite graphs $G$ and $H$, let $\RR(G,H)$ denote the isomorphism classes of Ramsey-minimal graphs for $(G,H)$. We prove two 1981 conjectures of Burr, Erdős, Faudree, Rousseau, and Schelp: Ramsey-finiteness is preserved by adjoining disjoint matchings, and $(G,H)$ is Ramsey-infinite unless both graphs are odd stars or one graph has a $K_2$ component. We also refute Burr's stronger 1979 survey conjecture via an explicit finite counterexample from the star-forest theorem, and reformulate Faudree's 1991 theorem as a complete forest-classification corollary.
The inversion number statistic for inversion sequences
Inversion sequences, also known as subexcedant sequences, form a fundamental class of objects in enumerative combinatorics. In this paper, we study the joint distribution of five statistics on inversion sequences. While several statistics on inversion sequences have been extensively investigated, our contribution is to introduce the inversion number statistic, originally defined for permutations, into the context of inversion sequences. As special cases, we recover classical permutation statistics, including the Stirling, Mahonian and Eulerian distributions, as well as the Catalan and Narayana numbers. Somewhat unexpectedly, our specializations also include the number of involutions in the symmetric group.
Our study arises from a $q$-analog of Comtet's expansion formula obtained by substituting the classical derivative operator $D$ with the $q$-derivative operator $D_q$.
Elementary symmetric polynomials and a potentially injective family of maps on partitions
In this article, we provide an infinite family of examples to disprove a recent conjecture due to Ballantine and her collaborators on the injectivity of a class of maps, namely pre_k, defined on integer partitions. These maps arise from applying the sequence of elementary symmetric polynomials to integer partitions, where pre_k is associated with the kth polynomial. Subsequently, we state a modified version of their conjecture. Throwing fresh light on these class of maps, we study the inter-relationships between them, deviating from the approaches so far, which study these maps one at a time. Though one case of the conjecture (k=2) has now been settled independently by the work of Ballantine and collaborators, and Li, we provide alternate proofs of three subcases corresponding to this settled case. We also discuss lower bounds for the number of partitions of n which are in the image of the map pre_2.
Orderings of Generalized k-Markov Numbers
A $k$-Markov number is a positive integer that appears in a positive integral solution to the Diophantine equation $x^2 + y^2 + z^2 + k(xy + xz + yz) = (3+3k)xyz$. This equation was introduced by Gyoda and Matsushita. When $k =0$, this definition recovers that of ordinary Markov numbers. The set of $k$-Markov numbers can be indexed by pairs of coprime positive integers. There is a consistent way to label non-coprime pairs with positive integers as well, yielding a larger set of ``generalized $k$-Markov numbers.''
In this paper, we classify lines along which the generalized $k$-Markov numbers grow monotonically, extending work in the ordinary case by Lee-Li-Rabideau-Schiffler and by the second author. We find that, as $k$ grows, the $k$-Markov numbers are more likely to be monotonic along a random line. This gives evidence that a $k$-version of Frobenius' uniqueness conjecture, which has been proposed by Gyoda and Maruyama, could be true.
Rado's covering problem for cubes and balls: a semi-survey
What is the largest constant $c\in [0,1]$ with the property that every finite collection $\mathcal{C}$ of axis-parallel squares in the plane admits a disjoint sub-collection $\mathcal{S}$ occupying at least a fraction $c$ of the area covered by $\mathcal{C}$? This problem was first raised by T.~Radó in 1928, who was motivated by a classical covering lemma in real analysis due to Vitali. R.~Rado later generalized the problem from axis-parallel squares in the plane to homothetic copies of any given convex body $K$ in $\mathbb{R}^d$, where now we are looking for an optimal constant $F(K)$.
Our utmost interest is for cubes and balls in the high-dimensional regime $d\rightarrow \infty$. The estimates that we currently have for cubes are much more precise than those for balls: namely if $Q^d$ is a $d$-dimensional cube, then \[ (e^{-1}+o(1))\frac{2^{-d}}{d \log{d}} \leq F(Q^d)\leq 2^{-d}, \] while denoting $B^d$ a $d$-dimensional Euclidean ball, then \[ (1+ε_d)3^{-d}\leq F(B^d)\leq 2.447^{-d}, \] where $ε_d>0$ vanishes exponentially fast as $d\rightarrow \infty$. The latter upper bound is obtained here by using the Kabatiansky--Levenshtein bound for the sphere packing problem.
Fundamental cycles in grid graphs
We show that the average length of a fundamental cycle with respect to any fixed spanning tree of the $n\times n$ square grid is at least $Ω(\log n)$; the bound is asymptotically tight. This result answers in the affirmative a question posed by McCarty in relation to sparse representations of binary matroids.
On (distance) Laplacian characteristic polynomials of power graphs
Published in J. Algebra Appl. 24(14) (2024), Art. No. 2550003
• View Publication
• BIB
The characteristic polynomials of the Laplacian and the distance Laplacian matrices of power graphs of groups of order $ pqr $, where $ p,q $ and $ r $ are { primes,} are obtained. Further, the characteristic polynomials of these matrices for proper power graphs of cyclic and dicyclic groups are given. The important inequalities for the zeros of the distance Laplacian characteristic polynomials of power graphs of finite groups are presented in comments.
Forbidden subgraphs in divisor graphs and an Erdős divisibility problem
Erdős asked for the largest size $f(n)$ of a subset of $\{1,\dots,n\}$ with no element dividing two others. We show that $f(n)=c_2\,n+o(n)$ for an effectively computable constant $c_2$, and moreover that the number $q(n)$ of such subsets satisfies $q(n)=β_2^{n+o(n)}$ for a computable constant $β_2$. To prove this, we recast the divisibility constraint as forbidding a certain directed subgraph in the divisor graph on $\{1,\dots,n\}$ and prove a more general result: for any finite family of connected forbidden subgraphs of the divisor graph, both the extremal density and counting rate are effectively computable. The proof uses a theorem of McNew on local statistics of divisor graphs.
A Weak Solution of Inverse Treblecross
We give a weak solution for an impartial game we called ``Inverse Treblecross''. We have determined which of its starting positions are $\mathscr{P}$-position and give a reasonable strategy.
Uniform almost flatness in finitely generated soluble groups
We show that a finitely generated soluble group is virtually nilpotent if and only if the diameter of its finite coset spaces admits a uniform polynomial lower bound in terms of their size. We obtain the same conclusion for certain finitely generated abelian-by-cyclic groups under the weaker assumption that the diameters of their finite quotients are uniformly bounded below by a polynomial in their size. This extends the previous work of the author with Tointon.
Lower bounds on the $g$-numbers of spheres without large missing faces
We establish several new lower bounds on the $g$-numbers of simplicial spheres without large missing faces. For this class of spheres, we derive bounds on the $g$-numbers in terms of the independence numbers of their graphs, extending a result of Chudnovsky and Nevo. As a consequence, we show that flag $(d-1)$-spheres -- and more generally, flag normal $(d-1)$-pseudomanifolds -- satisfy $g_2\geq (1/2-δ(d))f_0$, where $δ(d)$ is a function of $d$ with $δ(d)\to 0$ as $d\to \infty$. We further prove that, for simplicial $(d-1)$-spheres without large missing faces, an initial segment of the $g$-vector forms a level sequence, yielding additional inequalities among the $g$-numbers. Finally, we show that simplicial $4$-spheres without missing faces of dimension greater than two satisfy $g_2\geq \frac{2}{5}f_0 - \frac{6}{5}$.
The Cayley graph of a quandle
In this paper, we investigate structural properties of the Cayley graph of a quandle and describe this graph for several important classes of quandles, including conjugation, Takasaki, dihedral, and Alexander quandles. In particular, we prove that for an Alexander quandle $A_t(G)$ over a finite abelian group $G$, the connected components of the Cayley graph correspond to the cosets of the subgroup $\mathrm{im}(\mathrm{id}-t)$. We also show that the Cayley graphs of generalized Alexander quandles are regular. When the defining automorphism is inner, we give an explicit description of the forward orbits and prove that the connected components correspond to cosets of the subgroup generated by commutators with the defining element.
Hypergraphs without Subgraphs of Given Connectivity
In this paper, we study the problem of determining the maximum number of edges in an $n$-vertex $r$-uniform hypergraph that contains no $(k+1)$-connected subgraph. The graph case is a classical problem initiated by Mader, central to graph theory, and still open. First, for all $r \ge 3$, we determine this maximum up to an $O(n)$ error term, thereby identifying its leading term. We also address a related question of Carmesin by establishing a tight bound for $r$-uniform hypergraphs with no $(k+1)$-connected subgraph on more than $Ck$ vertices for any constant $C>2$ and sufficiently large $r$, and further obtain an asymptotically tight bound in the case $C=2$. Our proof combines the separator tree method introduced by Carmesin with several new combinatorial and optimization techniques, and we conclude with related remarks and open problems.
Markov numbers of semigroups
In this paper, we systematically study generalized Markov numbers arising from semigroups of reduced integer matrices. This construction allows us to find these numbers by counting perfect matchings of a new family of bipartite graphs, which we call wug-snake graphs. We also show how this relates to the geometry of numbers and the classical theory of Markov minima.
Jordan curves inscribe a positive measure of rectangles
Suppose that $γ\subset \mathbb{C}$ is a Jordan curve of diameter $2R$ which encloses a region of area $A$. We prove that there exists a subset $I \subset (0,π)$ of measure at least $A/R^2$ such that if $θ\in I$, then there exist four points on $γ$ at the vertices of a rectangle whose diagonals meet at angle $θ$.
Partial degenerate Stirling numbers
In this paper, we study some combinations of the degenerate and incomplete Stirling numbers of the second kind. We use a combinatorial approach and provide some asymptotic results.