Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Cusps and fundamental domains for congruence subgroups
We characterize the cusp classes and their widths for the congruence subgroups $Γ(N), Γ_1(N)$ and $Γ_0(N)$. We relate the cusp classes of $Γ_0(N)$ with those produced by the connected fundamental domain in the previous work of Nie and Parent. By further studying the interesting functions $M$ and $W$ on ${\mathbb Z}/N$, we establish an identity relating the widths.
Spanning trees in directed square cycles
We classify weakly connected spanning closed (WCSC) subgraphs of $\overrightarrow{C_n^2}$, the square of a directed $n$-vertex cycle. Then we show that every spanning tree of $\overrightarrow{C_n^2}$ is contained in a unique nontrivial WCSC subgraph of $\overrightarrow{C_n^2}$. As a result, we obtain a purely combinatorial derivation of the formula for the number of directed spanning trees of $\overrightarrow{C_n^2}$. Moreover, we obtain the formula for the number of directed spanning trees of $\overrightarrow{C_n^2}$, which is a Jacobsthal number.
The topology of simple games
We initiate the study of simple games from the point of view of combinatorial topology. The starting premise is that the losing coalitions of a simple game can be identified with a simplicial complex. Various topological constructions and results from the theory of simplicial complexes then carry over to the setting of simple games. Examples are cone, join, and the Alexander dual, each of which have interpretations as familiar game-theoretic objects. We also provide some new topological results about simple games, most notably in applications of homology of simplicial complexes to weighted simple games. The exposition is introductory and largely self-contained, intended to inspire further work and point to what appears to be a wealth of potentially fruitful directions of investigation bridging game theory and topology.
Extending recent work of Nath, Saikia, and Sarma on $k$-tuple $\ell$-regular partitions
Let $T_{\ell,k}(n)$ denote the number of $\ell$-regular $k$-tuple partitions of $n$. In a recent work, Nath, Saikia, and Sarma derived several families of congruences for $T_{\ell,k}(n)$, with particular emphasis on the cases $T_{2,3}(n)$ and $T_{4,3}(n)$. In the concluding remarks of their paper, they conjectured that $T_{2,3}(n)$ satisfies an infinite set of congruences modulo 6. In this paper, we confirm their conjecture by proving a much more general result using elementary $q$-series techniques. We also present new families of congruences satisfied by $T_{\ell,k}(n)$.
Bootstrap percolation on a generalized Hamming cube \MakeUppercase{\romannumeral 2}
In this paper we investigate the critical probability $p_c(Q_n,r)$ for bootstrap percolation with the infection threshold $r$ on the $n$-dimensional hypercube $Q_n$ with vertex set $V(Q_n)=\{0,1\}^n$ and edges connecting the pairs at Hamming distance $1$. More precisely, by utilizing the techniques developed by Balogh, Bollob{á}s, and Morris (2009), we determine the first-order term of $p_c(Q_n,n^a)$ where $\frac{2}{3}<a< 1$. Additionally, we obtain the critical probability $p_c(Q_{k,n},r)$ for bootstrap percolation with the infection threshold $r=\frac{N}{2}$ on the generalized $n$-dimensional hypercube $Q_{k,n}$ with vertex set $V(Q_{k,n})=\{0,1\}^n$ and edges connecting the pairs at Hamming distance $1,2,\dots,k$, where $k\ge 2$ and $N=\sum_{i=1}^k\binom{n}{i}$. More precisely, we obtain the first-order term of $p_c(Q_{k,n},\frac{N}{2})$ and some bounds on the second-order term by extending the main theorem from Balogh, Bollob{á}s, and Morris (2009).
Schur Rank, Compatibility Degree, and Canonical Decomposition
The notion of denominator vectors can be extended to all generic basis elements of upper cluster algebras in a natural way. Under a weakened version of generic pairing assumption, we provide a representation-theoretic interpretation for this extended notion. We derive several consequences in this generality. We present a counterexample to the conjecture that distinct cluster monomials have distinct denominator vectors. Utilizing a new rank function called the Schur rank, we extend the notion of compatibility degree. As an application, we find a tropical method to compute the multiplicity of a real component in the canonical decomposition of $δ$-vectors.
Steiner Quadruple Systems with Minimum Colorable Derived Designs: Constructions and Applications
An $r$-block-coloring, simply $r$-coloring, of a Steiner triple system $\mathrm{STS}(v)$ is a partition of the block set into $r$ color classes, each color class being a partial parallel class. The chromatic index of $\mathrm{STS}(v)$, denoted by $χ^{\prime}(v)$, is the smallest $r$ for which an $r$-coloring of an $\mathrm{STS}(v)$ exists. A minimum colorable Steiner triple system $\mathrm{mcSTS}(v)$ is an $\mathrm{STS}(v)$ admitting a $χ^{\prime} (v)$-coloring. We generalize the notion of an $\mathrm{RDSQS}$ (a Steiner quadruple system $\mathrm{SQS}$ with resolvable derived designs) to $\mathrm{mcDSQS}$, representing an $\mathrm{SQS}$ whose derived design at every point is minimum colorable. This is motivated from an application in non-binary diameter perfect codes. The purpose of this paper is to display a few recursive constructions to produce $\mathrm{mcDSQS}$s via Steiner systems $\mathrm{S}(3,K,v)$ with certain properties. Among others, a construction for $\mathrm{mcDSQS}$s is developed, which is also new even for $\mathrm{RDSQS}$s; special constructions concentrating only on $\mathrm{mcDSQS}(6n+2)$s are demonstrated as well. As the main results, both a new infinite family of $\mathrm{RDSQS}(6n+4)$s and the first infinite family of $\mathrm{mcDSQS}(6n+2)$s are constructed. To be specific, an $\mathrm{RDSQS}(2^{2m+1}+2)$ and an $\mathrm{mcDSQS}(2\cdot 9^{m}+2)$ are proved to exist, in which the former class gives rise to a new infinite family of large sets of Kirkman triple systems. As applications, the smallest $q$ is determined such that a diameter perfect constant-weight $(n,\frac{1}{4}\tbinom{n}{3},6;4)_{q}$ code exists where $n \in\{ 2\cdot 9^{m}+2:m\geq 1\}\bigcup\{ 2^{2m+1}+2:m\geq 0\}$.
Mixed Dimer Models for Euler and Catalan Numbers
We study the enumeration of mixed dimer covers on skew Young diagrams of ribbon shape (also called border strips or snake graphs). For the two extreme cases of straight and zigzag shapes, we show that the number of mixed dimer covers are given by the Euler and Catalan numbers. We also give q-analogs by showing that the rank generating functions of the partial orders on mixed dimer covers agree with certain q-Euler and q-Catalan numbers. These q-analogs are a consequence of an isomorphism between the partial order on mixed dimer covers and the so-called middle order on certain classes of permutations.
Torsion in Magnitude homology theories
In this article, we analyze the structure and relationships between magnitude homology and Eulerian magnitude homology of finite graphs. Building on the work of Kaneta and Yoshinaga, Sazdanovic and Summers, and Asao and Izumihara, we provide two proofs of the existence of torsion in Eulerian magnitude homology, offer insights into the types and orders of torsion, and present explicit computations for various classes of graphs.
Unique paired vs edge-vertex minimum dominating sets in trees
We prove that the class of trees with unique minimum edge-vertex dominating sets is equivalent to the class of trees with unique minimum paired dominating sets.
Fractional discrete Helly for pairs in a family of boxes
Given a point set $S$ in $\mathbb{R}^d$, a family of sets is $S$-intersecting if its members have a point in common in $S$. Recently, Edwards and Soberón proved a fractional version of Halman's theorem for axis-parallel boxes, showing that every finite family $F$ of axis-parallel boxes in $\mathbb{R}^d$ with positive density of $S$-intersecting $(d+1)$-tuples contains an $S$-intersecting subfamily of size linear in $|F|$. We prove that qualitatively the same conclusion can be achieved if the density of $S$-intersecting pairs is sufficiently large.
On co-edge-regular graphs with 4 distinct eigenvalues
Tan et al. conjectured that connected co-edge-regular graphs with four distinct eigenvalues and fixed smallest eigenvalue, when having sufficiently large valency, belong to two different families of graphs. In this paper we construct two new infinite families of connected co-edge-regular graphs with four distinct eigenvalues and fixed smallest eigenvalue, thereby disproving their conjecture. Moreover, one of these constructions demonstrates that clique-extensions of Latin Square graphs are not determined by their spectrum.
On the distribution of $t$-hooks of doubled distinct partitions
Recently, Griffin, Ono, and Tsai examined the distribution of the number of $t$-hooks in partitions of $n$, which was later followed by the work of Craig, Ono, and Singh on the distribution of the number of $t$-hooks in self-conjugate partitions of $n$. Motivated by these studies, in this paper, we further investigate the number of $t$-hooks in some subsets of partitions. More specifically, we obtain the generating functions for the number of $t$-hooks in doubled distinct partitions and the number of $t$-shifted hooks in strict partitions. Based on these generating functions, we prove that the number of $t$-hooks in doubled distinct partitions and the number of $t$-shifted hooks in strict partitions are both asymptotically normally distributed.
Regularity of $3$-Path Ideals of Trees and Unicyclic Graphs
Published in Bull. Malays. Math. Sci. Soc., 47, article number 4, pp.10, 2024
• View Publication
• BIB
Let $G$ be a simple graph and $I_3(G)$ be its $3$-path ideal in the corresponding polynomial ring $R$. In this article, we prove that for an arbitrary graph $G$, $reg(R/I_3(G))$ is bounded below by $2ν_3(G)$, where $ν_3(G)$ denotes the $3$-path induced matching number of $G$. We give a class of graphs, namely, trees for which the lower bound is attained. Also, for a unicyclic graph $G$, we show that $reg(R/I_3(G))\leq 2ν_3(G)+2$ and provide an example that shows that the given upper bound is sharp.
On binomial edge ideals of corona of graphs
For a simple graph $G$, let $J_G$ denote the corresponding binomial edge ideal. This article considers the binomial edge ideal of the corona product of two connected graphs $G$ and $H$. The corona product of $G$ and $H$, denoted by $G\circ H$, is a construction where each vertex of $G$ is connected (via the coning-off) to an entire copy of $H$. This is a direct generalization of a cone construction. Previous studies have shown that for $J_{G \circ H}$ to be Cohen-Macaulay, both $G$ and $H$ must be complete graphs. However, there are no general formulae for the dimension, depth, or Castelnuovo-Mumford regularity of $J_{G\circ H}$ for all graphs $G$ and $H$. In this article, we provide a general formula for the dimension, depth and Castelnuovo-Mumford regularity of the binomial edge ideals of certain corona and corona-type (somewhat a generalization of corona) products of special interests. Additionally, we study the Cohen-Macaulayness, unmixedness and related properties of binomial edge ideals corresponding to above class of graphs. We have also added a short note on the reduction of the Bolognini-Macchia-Strazzanti Conjecture to all graphs with a diameter of $3$.
On the determinant of the walk matrix of the rooted product with a path
For an $n$-vertex graph $G$, the walk matrix of $G$, denoted by $W(G)$, is the matrix $[e,A(G)e,\ldots,(A(G))^{n-1}e]$, where $A(G)$ is the adjacency matrix of $G$ and $e$ is the all-ones vector. For two integers $m$ and $\ell$ with $1\le \ell\le (m+1)/2$, let $G\circ P_m^{(\ell)}$ be the rooted product of $G$ and the path $P_m$ taking the $\ell$-th vertex of $P_m$ as the root, i.e., $G\circ P_m^{(\ell)}$ is a graph obtained from $G$ and $n$ copies of the path $P_m$ by identifying the $i$-th vertex of $G$ with the $\ell$-th vertex (the root vertex) of the $i$-th copy of $P_m$ for each $i$. We prove that, $\det W(G\circ P_m^{(\ell)})$ equals $\pm (\det A(G))^{\lfloor\frac{m}{2}\rfloor}(\det W(G))^m$ if $\gcd(\ell,m+1)=1$, and equals 0 otherwise. This extends a recent result established in [Wang et al. Linear Multilinear Algebra 72 (2024): 828--840] which corresponds to the special case $\ell=1$. As a direct application, we prove that if $G$ satisfies $\det A(G)=\pm 1$ and $\det W(G)=\pm 2^{\lfloor n/2\rfloor}$, then for any sequence of integer pairs $(m_i,\ell_i)$ with $\gcd(\ell_i,m_i+1)=1$ for each $i$, all the graphs in the family \begin{equation*}
G\circ P_{m_1}^{(\ell_1)}, (G\circ P_{m_1}^{(\ell_1)})\circ P_{m_2}^{(\ell_2)}, ((G\circ P_{m_1}^{(\ell_1)})\circ P_{m_2}^{(\ell_2)})\circ P_{m_3}^{(\ell_3)},\ldots \end{equation*} are determined by their generalized spectrum.
Line Graph Characterization of Cyclic Subgroup Graph
The cyclic subgroup graph ${Γ(G)}$ of a group $G$ is the simple undirected graph with cyclic subgroups as a vertex set and two distinct vertices $H_1$ and $H_2$ are adjacent if and only if $H_1 \leq H_2$ and there does not exist any cyclic subgroup $K$ such that $H_1 < K < H_2$. In this paper, we classify all the finite groups $G$ such that $Γ(G)$ is the line graph of some graph.
A theory of $q$-transversals
Given an indexed family ${\cal A} = (A_1, A_2, \dotsc, A_n)$ of subsets of some given set $S$, a \emph{transversal} is a set of distinct elements $x_1, x_2, \dotsc, x_n$ with each $x_i \in A_i$. Transversals have been studied since 1935 and have many attractive properties, with a deep connection to matroids. A $q$-analog is formed by replacing the notion of a set by the notion of a vector space, with a corresponding replacement of other concepts. In this paper we define a $q$-analog of the theory of transversals, and show that many of the main properties of ordinary transversals are shared by this analog.
Gluing Posets and the Dichotomy of Poset Saturation Numbers
Given a finite poset $\mathcal P$, we say that a family $\mathcal F$ of subsets of $[n]$ is $\mathcal P$-saturated if $\mathcal F$ does not contain an induced copy of $\mathcal P$, but adding any other set to $\mathcal F$ creates an induced copy of $\mathcal P$. The saturation number of $\mathcal P$ is the size of the smallest $\mathcal P$-saturated family with ground set $[n]$. The saturation number for posets is known to exhibit a dichotomy: it is either bounded or it has at least $\sqrt n$ rate of growth. Determining which posets have bounded saturation number is a major open problem.
In this paper we consider a `gluing' operation, formed from two finite posets $\mathcal P$ and $\mathcal Q$ by setting all elements of $\mathcal P$ to be below all elements of $\mathcal Q$. We show that (under some mild assumptions) this operation preserves bounded and unbounded saturation number. This is the first such `new from old' poset construction to be found. As an application, we show that for any poset $\mathcal P$ one may add at most 3 elements to $\mathcal P$ to obtain a poset whose saturation number growth is at most linear: this may be viewed as a step towards the other major open problem in the area, namely the conjecture that every finite poset has this growth at most linear.
We also consider the poset equivalent of weak saturation for graphs: for each finite poset $\mathcal P$, we determine exactly the minimum size of a percolating family for $\mathcal P$.
Normal and non-normal Cayley digraphs on cyclic and dihedral groups
A Cayley digraph on a group $G$ is called NNN if the Cayley digraph is normal and its automorphism group contains a non-normal regular subgroup isomorphic to $G$. A group is called NNND-group or NNN-group if there is an NNN Cayley digraph or graph on the group, respectively. In this paper, it is shown that there is no cyclic NNND-group, and hence no cyclic NNN-group. Furthermore, a dihedral group of order $2n$ is an NNND-group or an NNN-group if and only if $n\ge 6$ is even and $n\not=8$.