group
10258 papers tagged with this keyword
Singular graphs
Let $Γ$ be a simple graph on a finite vertex set $V$ and let $A$ be its adjacency matrix. Then $Γ$ is said to be singular if and only if $0$ is an eigenvalue of $A.$ The nullity (singularity) of $Γ,$ denoted by ${\rm null}(Γ),$ is the algebraic multiplicity of the eigenvalue $0$ in the spectrum of $Γ.$ In 1957, Collatz and Sinogowitz \cite{von1957spektren} posed the problem of characterizing singular graphs. Singular graphs have important applications in mathematics and science. The chemical importance of singular graphs lies in the fact that if the nullity for the molecular graph is greater than zero then the corresponding chemical compound is highly reactive or unstable. By this reason, the chemists have a great interest in this problem. The general problem of characterising singular graphs is easy to state but it seems too difficult. In this work, we investigate this problem for graphs in general and graphs with a vertex transitive group $G$ of automorphisms. In some cases we determine the nullity of such graphs. We characterize singular Cayley graphs over cyclic groups. We show that vertex transitive graphs with $|V|$ is prime are non-singular.
Complemented lattices of subracks
Published
• View Publication
• BIB
In this paper, a question due to Heckenberger, Shareshian and Welker on racks in [7] is positively answered. A rack is a set together with a selfdistributive bijective binary operation. We show that the lattice of subracks of every finite rack is complemented. Moreover, we characterize finite modular lattices of subracks in terms of complements of subracks. Also, we introduce a certain class of racks including all finite groups with the conjugation operation, called G- racks, and we study some of their properties. In particular, we show that a finite G-rack has the homotopy type of a sphere. Further, we show that the lattice of subracks of an infinite rack is not necessarily complemented which gives an affirmative answer to the aformentioned question. Indeed, we show that the lattice of subracks of the set of rational numbers, as a dihedral rack, is not complemented. Finally, we show that being a Boolean algebra, pseudocomplemented and uniquely complemented as well as distributivity are equivalent for the lattice of subracks of a rack.
Complete regular dessins and skew-morphisms of cyclic groups
Published
• View Publication
• BIB
A dessin is a 2-cell embedding of a connected $2$-coloured bipartite graph into an orientable closed surface. A dessin is regular if its group of orientation- and colour-preserving automorphisms acts regularly on the edges. In this paper we study regular dessins whose underlying graph is a complete bipartite graph $K_{m,n}$, called $(m,n)$-complete regular dessins. The purpose is to establish a rather surprising correspondence between $(m,n)$-complete regular dessins and pairs of skew-morphisms of cyclic groups. A skew-morphism of a finite group $A$ is a bijection $\varphi\colon A\to A$ that satisfies the identity $\varphi(xy)=\varphi(x)\varphi^{π(x)}(y)$ for some function $π\colon A\to\mathbb{Z}$ and fixes the neutral element of~$A$. We show that every $(m,n)$-complete regular dessin $\mathcal{D}$ determines a pair of reciprocal skew-morphisms of the cyclic groups $\mathbb{Z}_n$ and $\mathbb{Z}_m$.
Conversely, $\mathcal{D}$ can be reconstructed from such a reciprocal pair.
As a consequence, we prove that complete regular dessins, exact bicyclic groups with a distinguished pair of generators, and pairs of reciprocal skew-morphisms of cyclic groups are all in one-to-one correspondence. Finally, we apply the main result to determining all pairs of integers $m$ and $n$ for which there exists, up to interchange of colours, exactly one $(m,n)$-complete regular dessin. We show that the latter occurs precisely when every group expressible as a product of cyclic groups of order $m$ and $n$ is abelian, which eventually comes down to the condition $\gcd(m,φ(n))=\gcd(φ(m),n)=1$, where $φ$ is Euler's totient function.
A new distance-regular graph of diameter 3 on 1024 vertices
Published in Des. Codes Cryptogr. 87(9) 2019, 2091--2101
• View Publication
• BIB
The dodecacode is a nonlinear additive quaternary code of length $12$. By puncturing it at any of the twelve coordinates, we obtain a uniformly packed code of distance $5$. In particular, this latter code is completely regular but not completely transitive. Its coset graph is distance-regular of diameter three on $2^{10}$ vertices, with new intersection array $\{33,30,15;1,2,15\}$. The automorphism groups of the code, and of the graph, are determined. Connecting the vertices at distance two gives a strongly regular graph of (previously known) parameters $(2^{10},495,238,240)$. Another strongly regular graph with the same parameters is constructed on the codewords of the dual code. A non trivial completely regular binary code of length $33$ is constructed.
Independent graph of the finite group
Let a and b be any two elements in the group Zn of integers modulo n. Then a and b are called independent if O(a) not equal to O(b) . In this paper, we introduce and study independent graph of the group Zn, denoted by IG(Zn), is undirected simple graph whose vertex set is Zn and two distinct vertices a and b are adjacent in IG(Zn) if and only if a and b are independent in Zn.
A unifying method for the design of algorithms canonizing combinatorial objects
Published
• View Publication
• BIB
We devise a unified framework for the design of canonization algorithms. Using hereditarily finite sets, we define a general notion of combinatorial objects that includes graphs, hypergraphs, relational structures, codes, permutation groups, tree decompositions, and so on.
Our approach allows for a systematic transfer of the techniques that have been developed for isomorphism testing to canonization. We use it to design a canonization algorithm for combinatorial objects in general. This result gives new fastest canonization algorithms with an asymptotic running time matching the best known isomorphism algorithm for the following types of objects: hypergraphs, hypergraphs of bounded color class size, permutation groups (up to permutational isomorphism) and codes that are explicitly given (up to code equivalence).
Group divisible designs with block size 4 and type g^u m^1 - II
Published
• View Publication
• BIB
We show that the necessary conditions for the existence of 4-GDDs of type g^u m^1 are sufficient for g congruent to 0 (mod h), h = 39, 51, 57, 69, 87, 93, and for g = 13, 17, 19, 23, 25, 29, 31 and 35. More generally, we show that for all g congruent to 3 (mod 6), the possible exceptions occur only when u = 8 and g is not divisible by any of 9, 15, 21, 33, 39, 51, 57, 69, 87 or 93. Consequently we are able to extend the known spectrum for g congruent to 1 and g congruent to 5 (mod 6). Also we complete the spectrum for 4-GDDs of type (3a)^4 (6a)^1 (3b)^1.
Elements of Finite Order in the Riordan Group and Their Eigenvectors
Published
• View Publication
• BIB
We consider elements of finite order in the Riordan group $\cal R$ over a field of characteristic $0$. Viewing $\cal R$ as a semi-direct product of groups of formal power series, we solve, for all $n \geq 2$, two foundational questions posed by L. Shapiro for the case $n = 2$ (`involutions'): Given a formal power series $F(x)$ of finite compositional order and an integer $n\geq 2$, Theorem 1 states, exactly which $g(x)$ make $\big(g(x), F(x)\big)$ a Riordan element of order $n$. Theorem 2 classifies finite-order Riordan group elements up to conjugation in $\cal R$. Viewing $\cal R$ as a group of infinite lower triangular matrices, we interpret Theorem 1 in terms of existence of eigenvectors and Theorem 2 as a normal form for finite order Riordan arrays under similarity. These lead to Theorem 3, a formula for all eigenvectors of finite order Riordan arrays; and we show how this can lead to interesting combinatorial identities. We then relate our work to papers of Cheon and Kim which motivated this paper and we solve the Open question which they posed. Finally, this circle of ideas gives a new proof of C. Marshall's theorem, which finds the unique $F(x)$, given bi-invertible $g(x)$, such that $\big(g(x), F(x))$ is an involution.
On finite sets of small tripling or small alternation in arbitrary groups
Published in Combinatorics, Probability and Computing 29 (2020) no. 6, 807-829
• View Publication
• BIB
We prove Bogolyubov-Ruzsa-type results for finite subsets of groups with small tripling, $|A^3|\leq O(|A|)$, or small alternation, $|AA^{\text{-}1} A|\leq O(|A|)$. As applications, we obtain a qualitative analog of Bogolyubov's Lemma for dense sets in arbitrary finite groups, as well as a quantitative arithmetic regularity lemma for sets of bounded VC-dimension in finite groups of bounded exponent. The latter result generalizes the abelian case, due to Alon, Fox, and Zhao, and gives a quantitative version of previous work of the author, Pillay, and Terry.
Reduced words for clans
Clans are combinatorial objects indexing the orbits of $GL(\mathbb{C}^p) \times GL(\mathbb{C}^q)$ on the variety of flags in $\mathbb{C}^{p+q}$. This geometry leads to a partial order on the set of clans analogous to weak Bruhat order on the symmetric group, and we study the saturated chains in this order. We prove an analogue of the Matsumoto-Tits theorem on reduced words in a Coxeter group. We also obtain enumerations of reduced word sets for particular clans in terms of standard tableaux and shifted standard tableaux.
A new structure for difference matrices over abelian $p$-groups
Published
• View Publication
• BIB
A difference matrix over a group is a discrete structure that is intimately related to many other combinatorial designs, including mutually orthogonal Latin squares, orthogonal arrays, and transversal designs. Interest in constructing difference matrices over $2$-groups has been renewed by the recent discovery that these matrices can be used to construct large linking systems of difference sets, which in turn provide examples of systems of linked symmetric designs and association schemes. We survey the main constructive and nonexistence results for difference matrices, beginning with a classical construction based on the properties of a finite field. We then introduce the concept of a contracted difference matrix, which generates a much larger difference matrix. We show that several of the main constructive results for difference matrices over abelian $p$-groups can be substantially simplified and extended using contracted difference matrices. In particular, we obtain new linking systems of difference sets of size $7$ in infinite families of abelian $2$-groups, whereas previously the largest known size was $3$.
Trees, parking functions, and standard monomials of skeleton ideals
Published in Australas. J. Comb. 81(1) (2021), pp. 126--151
• Search Publication
Parking functions are a widely studied class of combinatorial objects, with connections to several branches of mathematics. On the algebraic side, parking functions can be identified with the standard monomials of $M_n$, a certain monomial ideal in the polynomial ring $S = {\mathbb K}[x_1, \dots, x_n]$ where a set of generators are indexed by the nonempty subsets of $[n] = \{1,2,\dots,n\}$. Motivated by constructions from the theory of chip-firing on graphs we study generalizations of parking functions determined by $M^{(k)}_n$, a subideal of $M_n$ obtained by allowing only generators corresponding to subsets of $[n]$ of size at most $k$. For each $k$ the set of standard monomials of $M^{(k)}_n$, denoted $\text{stan}_n^k$, contains the usual parking functions and has interesting combinatorial properties in its own right. For general $k$ we show that elements of $\text{stan}_n^k$ can be recovered as certain vector-parking functions, which in turn leads to a formula for their count via results of Yan. The symmetric group $S_n$ naturally acts on the set $\text{stan}_n^k$ and we also obtain a formula for the number of orbits under this action. For the case of $k = n-2$ we study combinatorial interpretations of $\text{stan}_n^{n-2}$ and relate them to properties of uprooted trees in terms of root degree and surface inversions. As a corollary we obtain a combinatorial identity for $n^n$ involving Catalan numbers, reminiscent of a result of Benjamin and Juhnke. For the case of $k = 1$ we observe that the number of elements $\text{stan}_n^1$ is given by the determinant of the reduced `signless' Laplacian, which provides a weighted count for $|\text{stan}_n^1|$ in terms generalized spanning trees known as `spanning TU-subgraphs'. Our constructions naturally generalize to arbitrary graphs and lead to a number of open questions.
Complete regular dessins of odd prime power order
Published
• View Publication
• BIB
A dessin is a $2$-cell embedding of a connected $2$-coloured bipartite graph into an orientable closed surface. A dessin is regular if its group of colour- and orientation-preserving automorphisms acts regularly on the edges. In this paper we employ group-theoretic method to determine and enumerate the isomorphism classes of regular dessins with the complete bipartite underlying graphs of odd prime power order.
Vanishing of cohomology groups of random simplicial complexes
Published
• View Publication
• BIB
We consider $k$-dimensional random simplicial complexes that are generated from the binomial random $(k+1)$-uniform hypergraph by taking the downward-closure, where $k\geq 2$. For each $1\leq j \leq k-1$, we determine when all cohomology groups with coefficients in $\mathbb{F}_2$ from dimension one up to $j$ vanish and the zero-th cohomology group is isomorphic to $\mathbb{F}_2$. This property is not deterministically monotone for this model of random complexes, but nevertheless we show that it has a single sharp threshold. Moreover we prove a hitting time result, relating the vanishing of these cohomology groups to the disappearance of the last minimal obstruction. We also study the asymptotic distribution of the dimension of the $j$-th cohomology group inside the critical window. As a corollary, we deduce a hitting time result for a different model of random simplicial complexes introduced in [Linial and Meshulam, Combinatorica, 2006], a result which was previously only known for dimension two [Kahle and Pittel, Random Structures Algorithms, 2016].
Counting subgroups of fixed order in finite abelian groups
Published
• View Publication
• BIB
We use recurrence relations to derive explicit formulas for counting the number of subgroups of given order (or index) in rank 3 finite abelian p-groups and use these to derive similar formulas in few cases for rank 4. As a consequence, we answer some questions by M. T$\ddot{a}$rn$\ddot{a}$uceanu in \cite{MT} and L. T$\dot{\acute{o}}$th in \cite{LT}. We also use other methods such as the method of fundamental group lattices introduced in \cite{MT} to derive a similar counting function in a special case of arbitrary rank finite abelian p-groups.
On solid density of Cayley digraphs on finite Abelian groups
Let $Γ=$Cay$(G,T)$ be a Cayley digraph over a finite Abelian group $G$ with respect the generating set $T\not\ni0$. $Γ$ has order ord$(Γ)=|G|=n$ and degree deg$(Γ)=|T|=d$. Let $k(Γ)$ be the diameter of $Γ$ and denote $κ(d,n)=\min\{k(Γ):~\textrm{ord}(Γ)=n,\textrm{deg}(Γ)=d\}$.
We give a closed expression, $\ell(d,n)$, of a tight lower bound of $κ(d,n)$ by using the so called {\em solid density} introduced by Fiduccia, Forcade and Zito.
A digraph $Γ$ of degree $d$ is called {\em tight} when $k(Γ)=κ(d,|Γ|)=\ell(d,|Γ|)$ holds. Recently, the {\em Dilating Method} has been developed to derive a sequence of digraphs of constant solid density. In this work, we use this method to derive a sequence of tight digraphs $\{Γ_i\}_{i=1}^{\textrm{c}(Γ)}$ from a given tight digraph $Γ$. Moreover, we find a closed expression of the cardinality c$(Γ)$ of this sequence. It is perhaps surprising that c$(Γ)$ depends only on $n$ and $d$ and not on the structure of $Γ$.
Hibi algebras and representation theory
Published
• View Publication
• BIB
This paper gives a survey on the relation between Hibi algebras and representation theory. The notion of Hodge algebras or algebras with straightening laws has been proved to be very useful to describe the structure of many important algebras in classical invariant theory and representation theory. In particular, a special type of such algebras introduced by Hibi provides a nice bridge between combinatorics and representation theory of classical groups. We will examine certain poset structures of Young tableaux and affine monoids, Hibi algebras in toric degenerations of flag varieties, and their relations to polynomial representations of the complex general linear group.
On Commuting Graphs of Generalized Dihedral Groups
Published
• View Publication
• BIB
For a group $G$ and a subset $X$ of $G$, the commuting graph of $X$, denoted by $Γ(G,X)$ is the graph whose vertex set is $X$ and any two vertices $u$ and $v$ in $X$ are adjacent if and only if they commute in $G$. In this article, certain properties of the commuting graph of generalized dihedral groups have been studied.
The distribution of sandpile groups of random regular graphs
Published in Transactions of the American Mathematical Society, 373(9), 6529-6594., 2020
• View Publication
• BIB
We study the distribution of the sandpile group of random d-regular graphs. For the directed model, we prove that it follows the Cohen-Lenstra heuristics, that is, the limiting probability that the $p$-Sylow subgroup of the sandpile group is a given $p$-group $P$, is proportional to $|Aut(P)|^{-1}$. For finitely many primes, these events get independent in the limit. Similar results hold for undirected random regular graphs, where for odd primes the limiting distributions are the ones given by Clancy, Leake and Payne.
This answers an open question of Frieze and Vu whether the adjacency matrix of a random regular graph is invertible with high probability. Note that for directed graphs this was recently proved by Huang. It also gives an alternate proof of a theorem of Backhausz and Szegedy.
Projective geometries arising from Elekes-Szabó problems
Published in Sci. Ec. Norm. Super. (2021) 54(3) 627-681
• View Publication
• BIB
We generalise the Elekes-Szabó theorem to arbitrary arity and dimension and characterise the complex algebraic varieties without power saving. The characterisation involves certain algebraic subgroups of commutative algebraic groups endowed with an extra structure arising from a skew field of endomorphisms. We also extend the Erdős-Szemerédi sum-product phenomenon to elliptic curves. Our approach is based on Hrushovski's framework of pseudo-finite dimensions and the abelian group configuration theorem.