group
10226 papers tagged with this keyword
Klein cordial trees and odd cyclic cordial friendship graphs
Published
• View Publication
• BIB
For a graph $G$ and an abelian group $A$, a labeling of the vertices of $G$ induces a labeling of the edges via the sum of adjacent vertex labels. Hovey introduced the notion of an $A$-cordial vertex labeling when both the vertex and edge labels are as evenly distributed as possible. Much work has since been done with trees, hypertrees, paths, cycles, ladders, prisms, hypercubes, and bipartite graphs. In this paper we show that all trees are $\mathbb{Z}_2^2$-cordial except for $P_4$ and $P_5$. In addition, we give numerous results relating to $\mathbb{Z}_m$-cordiality of the friendship graph $F_n$. The most general result shows that when $m$ is an odd multiple of $3$, then $F_n$ is $\mathbb{Z}_m$-cordial for all $n$. We also give a general conjecture to determine when $F_n$ is $\mathbb{Z}_m$-cordial.
Linear isometries on Weighted Coordinates Poset Block Space
Given $[n]=\{1,2,\ldots,n\}$, a poset order $\preceq$ on $[n]$, a label map $π: [n] \rightarrow \mathbb{N}$ defined by $π(i)=k_i$ with $\sum_{i=1}^{n}π(i) = N$, and a weight function $w$ on $\mathbb{F}_{q}$, let $\mathbb{F}_{q}^N$ be the vector space of $N$-tuples over the field $\mathbb{F}_{q}$ equipped with $(P,w,π)$-metric where $ \mathbb{F}_q^N $ is the direct sum of spaces $ \mathbb{F}_{q}^{k_1}, \mathbb{F}_{q}^{k_2}, \ldots, \mathbb{F}_{q}^{k_n} $. In this paper, we determine the groups of linear isometries of $(P,w,π)$-metric spaces in terms of a semi-direct product, which turns out to be similar to the case of poset (block) metric spaces. In particular, we re-obtain the group of linear isometries of the $(P,w)$-mertic spaces and $(P,π)$-mertic spaces.
Unique-Neighbor-Like Expansion and Group-Independent Cosystolic Expansion
In recent years, high dimensional expanders have been found to have a variety of applications in theoretical computer science, such as efficient CSPs approximations, improved sampling and list-decoding algorithms, and more. Within that, an important high dimensional expansion notion is \emph{cosystolic expansion}, which has found applications in the construction of efficiently decodable quantum codes and in proving lower bounds for CSPs.
Cosystolic expansion is considered with systems of equations over a group where the variables and equations correspond to faces of the complex. Previous works that studied cosystolic expansion were tailored to the specific group $\mathbb{F}_2$. In particular, Kaufman, Kazhdan and Lubotzky (FOCS 2014), and Evra and Kaufman (STOC 2016) in their breakthrough works, who solved a famous open question of Gromov, have studied a notion which we term ``parity'' expansion for small sets. They showed that small sets of $k$-faces have proportionally many $(k+1)$-faces that contain \emph{an odd number} of $k$-faces from the set. Parity expansion for small sets could be used to imply cosystolic expansion only over $\mathbb{F}_2$.
In this work we introduce a stronger \emph{unique-neighbor-like} expansion for small sets. We show that small sets of $k$-faces have proportionally many $(k+1)$-faces that contain \emph{exactly one} $k$-face from the set. This notion is fundamentally stronger than parity expansion and cannot be implied by previous works.
We then show, utilizing the new unique-neighbor-like expansion notion introduced in this work, that cosystolic expansion can be made \emph{group-independent}, i.e., unique-neighbor-like expansion for small sets implies cosystolic expansion \emph{over any group}.
On sum-free subsets of abelian groups
Published
• View Publication
• BIB
In this paper we discuss some of the key properties of sum-free subsets of abelian groups. Our discussion has been designed with a broader readership in mind, and is hence not overly technical. We consider answers to questions like: how many sum-free subsets are there in a given abelian group $G$? what are its sum-free subsets of maximum cardinality? what is the maximum cardinality of these sum-free subsets? what does a typical sum-free subset of $G$ looks like? among others.
Symmetric polynomials over finite fields
Published
• View Publication
• BIB
It is shown that two vectors with coordinates in the finite $q$-element field of characteristic $p$ belong to the same orbit under the natural action of the symmetric group if each of the elementary symmetric polynomials of degree $p^k,2p^k,\dots,(q-1)p^k$, $k=0,1,2,\dots$ has the same value on them. This separating set of polynomial invariants for the natural permutation representation of the symmetric group is not far from being minimal when $q=p$ and the dimension is large compared to $p$. A relatively small separating set of multisymmetric polynomials over the field of $q$ elements is derived.
Structure of a sequence with prescribed zero-sum subsequences: Rank Two $p$-groups
Published
• View Publication
• BIB
Let $G=(\mathbb Z/n\mathbb Z) \oplus (\mathbb Z/n\mathbb Z)$. Let $\mathsf {s}_{\leq k}(G)$ be the smallest integer $\ell$ such that every sequence of $\ell$ terms from $G$, with repetition allowed, has a nonempty zero-sum subsequence with length at most $k$. It is known that $\mathsf {s}_{\leq 2n-1-k}(G)=2n-1+k$ for $k\in [0,n-1]$, with the structure of extremal sequences showing this bound tight determined when $k\in \{0,1,n-1\}$, and for various special cases when $k\in [2,n-2]$. For the remaining values $k\in [2,n-2]$, the characterization of extremal sequences of length $2n-2+k$ avoiding a nonempty zero-sum of length at most $2n-1-k$ remained open in general, with it conjectured that they must all have the form $e_1^{[n-1]} \boldsymbol{\cdot} e_2^{[n-1]} \boldsymbol{\cdot} (e_1 +e_2)^{[k]}$ for some basis $(e_1,e_2)$ for $G$. Here $x^{[n]}$ denotes a sequence consisting of the term $x$ repeated $n$ times. In this paper, we establish this conjecture for all $k\in [2,n-2]$ when $n$ is prime, which in view of other recent work, implies the conjectured structure for all rank two abelian groups.
A Uniform Sampling Procedure for Abstract Triangulations of Surfaces
Published in This paper will be published in the proceedings of the SIAM Symposium on Algorithm Engineering and Experiments (ALENEX) 2023
• View Publication
• BIB
We present a procedure to sample uniformly from the set of combinatorial isomorphism types of balanced triangulations of surfaces - also known as graph-encoded surfaces. For a given number $n$, the sample is a weighted set of graph-encoded surfaces with $2n$ triangles.
The sampling procedure relies on connections between graph-encoded surfaces and permutations, and basic properties of the symmetric group.
We implement our method and present a number of experimental findings based on the analysis of $138$ million runs of our sampling procedure, producing graph-encoded surfaces with up to $280$ triangles.
Namely, we determine that, for $n$ fixed, the empirical mean genus $\bar{g}(n)$ of our sample is very close to $\bar{g}(n) = \frac{n-1}{2} - (16.98n -110.61)^{1/4}$. Moreover, we present experimental evidence that the associated genus distribution more and more concentrates on a vanishing portion of all possible genera as $n$ tends to infinity. Finally, we observe from our data that the mean number of non-trivial symmetries of a uniformly chosen graph encoding of a surface decays to zero at a rate super-exponential in $n$.
Families of Type-2 Isomorphic Circulant Graphs of Order $np^3$ w.r.t. $r = p$ and Their Abelian Groups
Circulant graphs $C_n(R)$ and $C_n(S)$ are said to be \emph{Adam's isomorphic} if there exist some $a\in \mathbb{Z}_n^*$ such that $S = a R$ under arithmetic reflexive modulo $n$. $C_n(R)$ is said to have {\it Cayley Isomorphism} (CI)-property if whenever $C_n(S)$ is isomorphic to $C_n(R),$ they are of Adam's isomorphic. CI-problem determines which graphs (or which groups) have the $CI$-property. Classification of cyclic $CI$-groups was completed but investigation of graphs without $CI$-property is not much done. Vilfred defined Type-2 isomorphism, different from Adam's isomorphism, of circulant graphs $C_n(R)$ w.r.t. $r$, $r\in R$ $\ni$ $\gcd(n, r) = m > 1$. Type-2 isomorphic circulant graphs don't have CI-property and we obtained such graphs of order $n$ for $r$ = 2,3,5,7, $n\in\mathbb{N}$. In this paper, we obtain Type-2 isomorphic circulant graphs of order $np^3$ w.r.t. $r = p$, and abelian groups on these isomorphic graphs where $p$ is a prime number and $n\in\mathbb{N}$. Theorems \ref{c10} and \ref{c13} are the main results. Using Theorem \ref{c13}, a list of abelian groups on the $p$ isomorphic circulant graphs $C_{np^3}(R^{np^3,x+yp}_i)$ of Type-2 w.r.t. $r = p$ for $i$ = 1 to $p$ and for $p$ = 3,5,7, $n$ = 1,2 and $y$ = 0 is given in the Annexure, $1 \leq x \leq p-1$, $y\in\mathbb{N}_0$, $0 \leq y \leq np - 1$, $1 \leq x+yp \leq np^2-1$, $p,np^3-p\in R^{np^3,x+yp}_i$ and $i,n,x\in\mathbb{N}$.
A unipotent realization of the chromatic quasisymmetric function
Published in Alg. Number Th. 18 (2024) 1737-1766
• View Publication
• BIB
This paper realizes of two families of combinatorial symmetric functions via the complex character theory of the finite general linear group $\mathrm{GL}_{n}(\mathbb{F}_{q})$: chromatic quasisymmetric functions and vertical strip LLT polynomials. The associated $\mathrm{GL}_{n}(\mathbb{F}_{q})$ characters are elementary in nature and can be obtained by induction from certain well-behaved characters of the unipotent upper triangular groups $\mathrm{UT}_{n}(\mathbb{F}_{q})$. The proof of these results also gives a general Hopf algebraic approach to computing the induction map. Additional results include a connection between the relevant $\mathrm{GL}_{n}(\mathbb{F}_{q})$ characters and Hessenberg varieties and a re-interpretation of known theorems and conjectures about the relevant symmetric functions in terms of $\mathrm{GL}_{n}(\mathbb{F}_{q})$.
A $\mathrm{GL}(\mathbb{F}_q)$-compatible Hopf algebra of unitriangular class functions
Published
• View Publication
• BIB
This paper constructs a novel Hopf algebra $\mathsf{cf}(\mathrm{UT}_{\bullet})$ on the class functions of the unipotent upper triangular groups $\mathrm{UT}_{n}(\mathbb{F}_{q})$ over a finite field. This construction is representation theoretic in nature and uses the machinery of Hopf monoids in the category of vector species. In contrast with a similar known construction, this Hopf algebra has the property that induction to the finite general linear group induces a homomorphism to Zelevinsky's Hopf algebra of $\mathrm{GL}_{n}(\mathbb{F}_{q})$ class functions. Furthermore, $\mathsf{cf}(\mathrm{UT}_{\bullet})$ contains a Hopf subalgebra which is isomorphic to a known combiantorial Hopf algebra, previously used to prove a conjecture about chromatic quasisymmetric functions. Some additional Hopf algebraic properties are also established.
Signed Graphs and Signed Cycles of Hyperoctahedral Groups
Published
• View Publication
• BIB
For a graph with edge ordering, a linear order on the edge set, we obtain a permutation of vertices by considering the edges as transpositions of endvertices. It is known from Dénes' results that the permutation of a tree is a full cyclic for any edge ordering. As a corollary, Dénes counted up the number of representations of a full cyclic permutation by means of product of the minimal number of transpositions. Moreover, a graph with an edge ordering which the permutation is a full cyclic is characterized by graph embedding.
In this article, we consider an analogy of these results for signed graphs and hyperoctahedral groups. We give a necessary and sufficient condition for a signed graph to have an edge ordering such that the permutation is an even (or odd) full cyclic. We show that the edge ordering of the signed tree with some loops always gives an even (or odd) full cyclic permutation and count up the number of representations of an odd full cyclic permutation by means of product of the minimal number of transpositions.
Finite $3$-connected-set-homogeneous locally $2\K_n$ graphs and $s$-arc-transitive graphs
Published
• View Publication
• BIB
In this paper, all graphs are assumed to be finite. For $s\geq 1$ and a graph $\G$, if for every pair of isomorphic connected induced subgraphs on at most $s$ vertices there exists an automorphism of $\G$ mapping the first to the second, then we say that $\G$ is $s$-connected-set-homogeneous, and if every isomorphism between two isomorphic connected induced subgraphs on at most $s$ vertices can be extended to an automorphism of $\G$, then we say that $\G$ is $s$-connected-homogeneous. For $n\geq 1$, a graph $\G$ is said to be locally $2\K_n$ if the subgraph $[\G(u)]$ induced on the set of vertices of $\G$ adjacent to a given vertex $u$ is isomorphic to $2\K_n$.
Note that $2$-connected-set-homogeneous but not $2$-connected-homogeneous graphs are just the half-arc-transitive graphs which are a quite active topic in algebraic graph theory. Motivated by this, we posed the problem of characterizing or classifying $3$-connected-set-homogeneous graphs of girth $3$ which are not $3$-connected-homogeneous in (Eur. J. Combin. 93 (2021) 103275). Until now, there have been only two known families of $3$-connected-set-homogeneous graphs of girth $3$ which are not $3$-connected-homogeneous, and these graphs are locally $2\K_n$ with $n=2$ or $4$. In this paper, we complete the classification of finite $3$-connected-set-homogeneous graphs which are locally $2\K_n$ with $n\geq 2$, and all such graphs are line graphs of some specific $2$-arc-transitive graphs. Furthermore, we give a good description of finite $3$-connected-set-homogeneous but not $3$-connected-homogeneous graphs which are locally $2\K_n$ and have solvable automorphism groups. This is then used to construct some new $3$-connected-set-homogeneous but not $3$-connected-homogeneous graphs as well as some new $2$-arc-transitive graphs.
Note on generalized group testing
In this note, we present a new adaptive algorithm for generalized group testing, which is asymptotically optimal if $d=o(\log_2|E|)$, $E$ is a set of potentially contaminated sets, $d$ is a maximal size of elements of $E$. Also, we design a 3-stage algorithm, which is asymptotically optimal for $d=2$.
Lattices, Garside structures and weakly modular graphs
Published
• View Publication
• BIB
In this article we study combinatorial non-positive curvature aspects of various simplicial complexes with natural $\widetilde A_n$ shaped simplicies, including Euclidean buildings of type $\widetilde A_n$ and Cayley graphs of Garside groups and their quotients by the Garside elements. All these examples fit into the more general setting of lattices with order-increasing $\mathbb Z$-actions and the associated lattice quotients proposed in a previous work by the first named author. We show that both the lattice quotients and the lattices themselves give rise to weakly modular graphs, which is a form of combinatorial non-positive curvature. We also show that several other complexes fit into this setting of lattices/lattice quotients, hence our result applies, including Artin complexes of Artin-Tits groups of type $\widetilde A_n$, a class of arc complexes and weak Garside groups arising from a categorical Garside structure in the sense of Bessis. Along the way, we also clarify the relationship between categorical Garside structure, lattices with $\mathbb Z$ action and different classes of complexes studied this article. We use this point of view to describe the first examples of Garside groups with exotic properties, like non-linearity or rigidity results.
Bounds on the Higher Degree Erdős-Ginzburg-Ziv Constants over $\mathbb{F}_q^n$
Published
• View Publication
• BIB
The classical Erdős-Ginzburg-Ziv constant of a group $G$ denotes the smallest positive integer $\ell$ such that any sequence $S$ of length at least $\ell$ contains a zero-sum subsequence of length $\exp(G)$.
In a recent paper, Caro and Schmitt generalized this concept, using the $m$-th degree symmetric polynomial $e_m(S)$ instead of the sum of the elements of $S$ and considering subsequences of a given length $t$. In particular, they defined the higher degree Erdős-Ginzburg-Ziv constants $EGZ(t,R,m)$ of a finite commutative ring $R$ and presented several lower and upper bounds to these constants.
This paper aims to provide lower and upper bounds for $EGZ(t,R,m)$ in case $R=\mathbb{F}_q^{n}$. The lower bounds here presented have been obtained, respectively, using Lovász Local Lemma and the Expurgation method and, for sufficiently large $n$, they beat the lower bound provided by Caro and Schmitt for the same kind of rings. Finally, we prove closed form upper bounds derived from the Ellenberg-Gijswijt and Sauermann results for the cap-set problem assuming that $q = p^k$, $t = p$, and $m=p-1$. Moreover, using the Slice Rank method we derive a convex optimization problem that provides the best bounds for $q = 3^k$, $t = 3$, $m=2$ and $k=2,3,4,5$.
The Capelli eigenvalue problem for quantum groups
Published
• View Publication
• BIB
We introduce and study quantum Capelli operators inside newly constructed quantum Weyl algebras associated to three families of symmetric pairs. Both the center of a particular quantized enveloping algebra and the Capelli operators act semisimply on the polynomial part of these quantum Weyl algebras. We show how to transfer well-known properties of the center arising from the theory of quantum symmetric pairs to the Capelli operators. Using this information, we provide a natural realization of Knop-Sahi interpolation polynomials as functions that produce eigenvalues for quantum Capelli operators.
Characterizing subgroup perfect codes by 2-subgroups
Published
• View Publication
• BIB
A perfect code in a graph $Γ$ is a subset $C$ of $V(Γ)$ such that no two vertices in $C$ are adjacent and every vertex in $V(Γ)\setminus C$ is adjacent to exactly one vertex in $C$. Let $G$ be a finite group and $C$ a subset of $G$. Then $C$ is said to be a perfect code of $G$ if there exists a Cayley graph of $G$ admiting $C$ as a perfect code. It is proved that a subgroup $H$ of $G$ is a perfect code of $G$ if and only if a Sylow $2$-subgroup of $H$ is a perfect code of $G$. This result provides a way to simplify the study of subgroup perfect codes of general groups to the study of subgroup perfect codes of $2$-groups. As an application, a criterion for determining subgroup perfect codes of projective special linear groups $\mathrm{PSL}(2,q)$ is given.
Hypergeometric functions for Dirichlet characters and Peisert-like graphs on $\mathbb{Z}_n$
Published
• View Publication
• BIB
For a prime $p\equiv 3\pmod 4$ and a positive integer $t$, let $q=p^{2t}$. The Peisert graph of order $q$ is the graph with vertex set $\mathbb{F}_q$ such that $ab$ is an edge if $a-b\in\langle g^4\rangle\cup g\langle g^4\rangle$, where $g$ is a primitive element of $\mathbb{F}_q$. In this paper, we construct a similar graph with vertex set as the commutative ring $\mathbb{Z}_n$ for suitable $n$, which we call \textit{Peisert-like} graph and denote by $G^\ast(n)$. Owing to the need for cyclicity of the group of units of $\mathbb{Z}_n$, we consider $n=p^α$ or $2p^α$, where $p\equiv 1\pmod 4$ is a prime and $α$ is a positive integer. For primes $p\equiv 1\pmod 8$, we compute the number of triangles in the graph $G^\ast(p^α)$ by evaluating certain character sums. Next, we study cliques of order 4 in $G^\ast(p^α)$. To find the number of cliques of order $4$ in $G^\ast(p^α)$, we first introduce hypergeometric functions containing Dirichlet characters as arguments, and then express the number of cliques of order $4$ in $G^\ast(p^α)$ in terms of these hypergeometric functions.
Extremely primitive groups and linear spaces
Published
• View Publication
• BIB
A finite non-regular primitive permutation group $G$ is extremely primitive if a point stabiliser acts primitively on each of its nontrivial orbits. Such groups have been studied for almost a century, finding various applications. The classification of extremely primitive groups was recently completed by Burness and Lee, who relied on an earlier classification of soluble extremely primitive groups by Mann, Praeger and Seress. Unfortunately, there is an inaccuracy in the latter classification. We correct this mistake, and also investigate regular linear spaces which admit groups of automorphisms that are extremely primitive on points.
Separating rank 3 graphs
Published
• View Publication
• BIB
We classify, up to some notoriously hard cases, the rank 3 graphs which fail to meet either the Delsarte or the Hoffman bound. As a consequence, we resolve the question of separation for the corresponding rank 3 primitive groups and give new examples of synchronising, but not $\mathbb{Q}\mathrm{I}$, groups of affine type.