-
On the second largest eigenvalue of some Cayley graphs of the Symmetric Group
Authors:
Johannes Siemons,
Alexandre Zalesski
Abstract:
Let $S_n$ and $A_{n}$ denote the symmetric and alternating group on the set $\{1,.., n\},$ respectively. In this paper we are interested in the second largest eigenvalue $λ_{2}(Γ)$ of the Cayley graph $Γ=Cay(G,H)$ over $G=S_{n}$ or $A_{n}$ for certain connecting sets $H.$
Let $1<k\leq n$ and denote the set of all $k$-cycles in $S_{n}$ by $C(n,k).$ For $H=C(n,n)$ we prove that $λ_{2}(Γ)=(n-2)!$ (…
▽ More
Let $S_n$ and $A_{n}$ denote the symmetric and alternating group on the set $\{1,.., n\},$ respectively. In this paper we are interested in the second largest eigenvalue $λ_{2}(Γ)$ of the Cayley graph $Γ=Cay(G,H)$ over $G=S_{n}$ or $A_{n}$ for certain connecting sets $H.$
Let $1<k\leq n$ and denote the set of all $k$-cycles in $S_{n}$ by $C(n,k).$ For $H=C(n,n)$ we prove that $λ_{2}(Γ)=(n-2)!$ (when $n$ is even) and $λ_{2}(Γ)=2(n-3)!$ (when $n$ is odd). Further, for $H=C(n,n-1)$ we have $λ_{2}( Γ)=3(n-3)(n-5)!$ (when $n$ is even) and $λ_{2}(Γ)=2(n-2)(n-5) !$ (when $n$ is odd). The case $H=C(n,3)$ has been considered in X. Huang and Q. Huang, The second largest eigenvalue of some Cayley graphs on alternating groups, J. Algebraic Combinatorics} 50(2019), $99-111$.
Let $1\leq r<k<n$ and let $C(n,k;r) \subseteq C(n,k)$ be set of all $k$-cycles in $S_{n}$ which move all the points in the set $\{1,2,..., r\}.$ That is to say, $g=(i_{1},i_{2}... i_{k})(i_{k+1})\dots(i_{n})\in C(n,k;r)$ if and only if $\{1,2,..., r\}\subset \{i_{1},i_{2},..., i_{k}\}.$
Our main result concerns $λ_{2}( Γ)$, where $Γ=Cay(G,H)$ with $H=C(n,k;r)$ with $1\leq r<k<n$ when $G=S_{n}$ if $k$ is even and $G=A_{n}$ if $k$ is odd. Here we observe that $$λ_{2}( Γ)\geq (k-2)! {n-r \choose k-r} \frac{1}{n-r} \big((k-1)(n-k) - \frac{(k-r-1)(k-r)}{n-r-1}\big).$$ We show that this bound is sharp in the special case $k=r+1$ , giving $λ_{2}(Γ)=r!(n-r-1)$. The cases with $H=C(n,3;1)$ and $H=C(n,3;2)$ were considered earlier in the same paper of X. Huang and Q. Huang.
△ Less
Submitted 19 February, 2021; v1 submitted 22 December, 2020;
originally announced December 2020.
-
Singular Graphs with Dihedral Group Action
Authors:
Ali Sltan Ali AL-Tarimshawy,
J. Siemons
Abstract:
Let $Γ$ be a simple undirected graph on a finite vertex set and let $A$ be its adjacency matrix. Then $Γ$ is {\it singular} if $A$ is singular. The problem of characterising singular graphs is easy to state but very difficult to resolve in any generality. In this paper we investigate the singularity of graphs for which the dihedral group acts transitively on vertices as a group of automorphisms.
Let $Γ$ be a simple undirected graph on a finite vertex set and let $A$ be its adjacency matrix. Then $Γ$ is {\it singular} if $A$ is singular. The problem of characterising singular graphs is easy to state but very difficult to resolve in any generality. In this paper we investigate the singularity of graphs for which the dihedral group acts transitively on vertices as a group of automorphisms.
△ Less
Submitted 23 June, 2020;
originally announced June 2020.
-
Unlocking the walk matrix of a graph
Authors:
Fenjin Liu,
Johannes Siemons
Abstract:
Let $G$ be a graph with vertex set $V=\{v_{1},\dots,v_{n}\}$ and adjacency matrix $A.$ For a subset $S$ of $V$ let $\e=(x_{1},\,\dots,\,x_{n})^{\tt T}$ be the characteristic vector of $S,$ that is, $x_{\ell}=1$ if $v_{\ell}\in S$ and $x_{\ell}=0$ otherwise. Then the $n\times n$ matrix $$W^{S}:=\big[{\rm e},\,A{\rm e},\,A^{2}{\rm e},\dots,A^{n-1}{\rm e}\big]$$ is the {\it walk matrix} of $G$ for…
▽ More
Let $G$ be a graph with vertex set $V=\{v_{1},\dots,v_{n}\}$ and adjacency matrix $A.$ For a subset $S$ of $V$ let $\e=(x_{1},\,\dots,\,x_{n})^{\tt T}$ be the characteristic vector of $S,$ that is, $x_{\ell}=1$ if $v_{\ell}\in S$ and $x_{\ell}=0$ otherwise. Then the $n\times n$ matrix $$W^{S}:=\big[{\rm e},\,A{\rm e},\,A^{2}{\rm e},\dots,A^{n-1}{\rm e}\big]$$ is the {\it walk matrix} of $G$ for $S.$ This name relates to the fact that in $W^{S}$ the $k^{\rm th}$ entry in the row corresponding to $v_{\ell}$ is the number of walks of length $k-1$ from $v_{\ell}$ to some vertex in $S$. Since $A$ is symmetric the characteristic vector of $S$ can be written uniquely as a sum of eigenvectors of $A.$ In particular, we may enumerate the distinct eigenvalues $μ_{1},\dots, μ_{s}$ of $A$ so that \begin{eqnarray}\label{SSA}{\rm SD}(S)\!:\,\e&=&\e_{1}+\e_{2}+\dots+\e_{r}\, \end{eqnarray} where $r\leq s$ and $\e_{i}$ is an eigenvector of $A$ of $μ_{i}$ for all $1\leq i\leq r. We refer to (\ref{SSA}) as the {\it spectral decomposition} of $S,$ or more properly, of its characteristic vector. The key result of this paper is that the walk matrix $W^{S}$ determines the spectral decomposition of $S$ and {\it vice versa.} This holds for any non-empty set $S$ of vertices of the graph and explicit algorithms which establish this correspondence are given. In particular, we show that the number of distinct eigenvectors that appear in \,(\ref{SSA})\, is equal to the rank of $W^{S}.$ Several theorems can be derived from this result. We show that $W^{S}$ determines the adjacency matrix of $G$ if $W^{S}$ has rank $\geq n-1$. This theorem is best possible as there are examples of pairs of graphs with the same walk matrix of rank $n-2$ but with different adjacency matrices.
△ Less
Submitted 6 July, 2020; v1 submitted 31 October, 2019;
originally announced November 2019.
-
Remarks on singular Cayley graphs and vanishing elements of simple groups
Authors:
Johannes Siemons,
Alexandre Zalesski
Abstract:
Let $Γ$ be a finite graph and let $A(Γ)$ be its adjacency matrix. Then $Γ$ is {\it singular} if $A(Γ)$ is singular. The singularity of graphs is of certain interest in graph theory and algebraic combinatorics. Here we investigate this problem for Cayley graphs ${\rm Cay}(G,H)$ when $G$ is a finite group and when the connecting set $H$ is a union of conjugacy classes of $G.$ In this situation the s…
▽ More
Let $Γ$ be a finite graph and let $A(Γ)$ be its adjacency matrix. Then $Γ$ is {\it singular} if $A(Γ)$ is singular. The singularity of graphs is of certain interest in graph theory and algebraic combinatorics. Here we investigate this problem for Cayley graphs ${\rm Cay}(G,H)$ when $G$ is a finite group and when the connecting set $H$ is a union of conjugacy classes of $G.$ In this situation the singularity problem reduces to finding an irreducible character $χ$ of $G$ for which $\sum_{h\in H}\,χ(h)=0.$
At this stage we focus on the case when $H$ is a single conjugacy class $h^G$ of $G.$ Here the above equality is equivalent to $χ(h)=0$. Much is known in this situation, with essential information coming from the block theory of representations of finite groups. An element $h\in G$ is called vanishing if $χ(h)=0$ for some irreducible character $χ$ of $G.$ We study vanishing elements mainly in finite simple groups and in alternating groups in particular. We suggest some approaches for constructing singular Cayley graphs.
△ Less
Submitted 3 April, 2018;
originally announced April 2018.
-
New families of graphs determined by their generalized spectrum
Authors:
Fenjin Liu,
Johannes Siemons,
Wei Wang
Abstract:
We construct infinite families of graphs that are determined by their generalized spectrum. This construction is based on new formulae for the determinant of the walk matrix of a graph. The graphs constructed here all satisfy a lower divisibility for the determinant of their walk matrix.
We construct infinite families of graphs that are determined by their generalized spectrum. This construction is based on new formulae for the determinant of the walk matrix of a graph. The graphs constructed here all satisfy a lower divisibility for the determinant of their walk matrix.
△ Less
Submitted 3 September, 2018; v1 submitted 29 March, 2018;
originally announced March 2018.
-
Permutation Modules associated to the Hyperoctahedron and Group Actions
Authors:
Johannes Siemons,
Benjamin Summers
Abstract:
We investigate the permutation modules associated to the set of $k$-dimensional faces of the hyperoctahedron in dimension $n$, denoted $H^{n}.$ For any $k\leq n$ such a module can be defined over an arbitrary field $F$, it is called a face module of $H^{n}$ over $F.$ We describe a spectral decomposition of such face modules into submodules and show that these submodules are irreducible under the h…
▽ More
We investigate the permutation modules associated to the set of $k$-dimensional faces of the hyperoctahedron in dimension $n$, denoted $H^{n}.$ For any $k\leq n$ such a module can be defined over an arbitrary field $F$, it is called a face module of $H^{n}$ over $F.$ We describe a spectral decomposition of such face modules into submodules and show that these submodules are irreducible under the hyperoctahedral group $B_{n}.$ The same method can be used to describe the exact relationship between the face modules in any two dimensions $0\leq t\leq k\leq n.$ Applications of this technique include a rank formula for the rank of the incidence matrix of $t$-dimensional versus $k$-dimensional faces of $H^{n}$ and a characterization of $(t,k,\ell)$-designs on $H^{n}.$ We also prove an orbit theorem for subgroups of the hyperoctahedral group on the set of faces of $H^{n}.$ The decomposition method is elementary, mostly characteristic free and does not involve the representation theory of automorphism groups. It is therefore quite general and can be used to decompose permutation modules associated to other geometries.
△ Less
Submitted 24 September, 2018; v1 submitted 14 December, 2017;
originally announced December 2017.
-
Modulated String Searching
Authors:
Alberto Apostolico,
Péter L. Erdős,
István Miklós,
Johannes Siemons
Abstract:
In his 1987 paper entitled "Generalized String Matching", Abrahamson introduced {\em pattern matching with character classes} and provided the first efficient algorithm to solve it. The best known solution to date is due to Linhart and Shamir (2009).
Another broad yet comparatively less studied class of string matching problems is that of numerical string searching, such as, e.g., the `less-than…
▽ More
In his 1987 paper entitled "Generalized String Matching", Abrahamson introduced {\em pattern matching with character classes} and provided the first efficient algorithm to solve it. The best known solution to date is due to Linhart and Shamir (2009).
Another broad yet comparatively less studied class of string matching problems is that of numerical string searching, such as, e.g., the `less-than' or $L_1$-norm string searching. The best known solutions for problems in this class are based on FFT convolution after some suitable re-encoding.
The present paper introduces {\em modulated string searching} as a unified framework for string matching problems where the numerical conditions can be combined with some Boolean/numerical decision conditions on the character classes. One example problem in this class is the {\em locally bounded $L_1$-norm} matching problem on character classes: here the "match" between a character at some position in the text and a set of characters at some position in the pattern is assessed based on the smallest $L_1$ distance between the text character and one of those pattern characters. The two positions "match" if the (absolute value of the) difference between the two characters does not exceed a predefined constant. The pattern has an occurrence in an alignment with the text if the sum of all such differences does not exceed a second predefined constant value. This problem requires a pointwise evaluation of the quality of each match and has no known solution based on the previously mentioned algorithms.
△ Less
Submitted 25 July, 2013; v1 submitted 14 February, 2013;
originally announced February 2013.
-
Metric intersection problems in Cayley graphs and the Stirling recursion
Authors:
Teeraphong Phongpattanacharoen,
Johannes Siemons
Abstract:
In the symmetric group Sym(n) with n at least 5 let H be a conjugacy class of elements of order 2 and let Γbe the Cayley graph whose vertex set is the group G generated by H (so G is Sym(n) or Alt(n)) and whose edge set is determined by H. We are interested in the metric structure of this graph. In particular, for g\in G let B_{r}(g) be the metric ball in Γof radius r and centre g. We show that th…
▽ More
In the symmetric group Sym(n) with n at least 5 let H be a conjugacy class of elements of order 2 and let Γbe the Cayley graph whose vertex set is the group G generated by H (so G is Sym(n) or Alt(n)) and whose edge set is determined by H. We are interested in the metric structure of this graph. In particular, for g\in G let B_{r}(g) be the metric ball in Γof radius r and centre g. We show that the intersection numbers Φ(Γ; r, g):=|\,B_{r}(e)\,\cap\,B_{r}(g)\,| are generalized Stirling functions in n and r. The results are motivated by the study of error graphs and related reconstruction problems.
△ Less
Submitted 20 February, 2012;
originally announced February 2012.
-
Error Graphs and the Reconstruction of Elements in Groups
Authors:
Vladimir Levenshtein,
Johannes Siemons
Abstract:
Packing and covering problems for metric spaces, and graphs in particular, are of essential interest in combinatorics and coding theory. They are formulated in terms of metric balls of vertices. We consider a new problem in graph theory which is also based on the consideration of metric balls of vertices, but which is distinct from the traditional packing and covering problems. This problem is mot…
▽ More
Packing and covering problems for metric spaces, and graphs in particular, are of essential interest in combinatorics and coding theory. They are formulated in terms of metric balls of vertices. We consider a new problem in graph theory which is also based on the consideration of metric balls of vertices, but which is distinct from the traditional packing and covering problems. This problem is motivated by applications in information transmission when redundancy of messages is not sufficient for their exact reconstruction, and applications in computational biology when one wishes to restore an evolutionary process. It can be defined as the reconstruction, or identification, of an unknown vertex in a given graph from a minimal number of vertices (erroneous or distorted patterns) in a metric ball of a given radius r around the unknown vertex. For this problem it is required to find minimum restrictions for such a reconstruction to be possible and also to find efficient reconstruction algorithms under such minimal restrictions.
In this paper we define error graphs and investigate their basic properties. A particular class of error graphs occurs when the vertices of the graph are the elements of a group, and when the path metric is determined by a suitable set of group elements. These are the undirected Cayley graphs. Of particular interest is the transposition Cayley graph on the symmetric group which occurs in connection with the analysis of transpositional mutations in molecular biology. We obtain a complete solution of the above problems for the transposition Cayley graph on the symmetric group.
△ Less
Submitted 23 October, 2011;
originally announced October 2011.
-
On Stanley's Inequalities for Character Multiplicities
Authors:
Valery Mnukhin,
Johannes Siemons
Abstract:
Let G be a group of automorphisms of a ranked poset Q and let N_{k} denote the number of orbits on the elements of rank k in Q. What can be said about the N_{k} for standard posets, such as finite projective spaces or the Boolean lattice? We discuss the connection of this question to the representation theory of the group, and in particular to the inequalities of Livingstone-Wagner and Stanley. We…
▽ More
Let G be a group of automorphisms of a ranked poset Q and let N_{k} denote the number of orbits on the elements of rank k in Q. What can be said about the N_{k} for standard posets, such as finite projective spaces or the Boolean lattice? We discuss the connection of this question to the representation theory of the group, and in particular to the inequalities of Livingstone-Wagner and Stanley. We show that these are special cases of more general inequalities which depend on the prime divisors of the group order. The new inequalities often yield stronger bounds depending on the order of the group.
△ Less
Submitted 23 October, 2011;
originally announced October 2011.
-
Incidence Homology of Finite Projective Spaces
Authors:
Johannes Siemons,
Daniel Smith
Abstract:
Let F* be the finite field of q elements and let P(n,q) be the projective space of dimension n-1 over F*. We construct a family H^{n}_{k,i} of combinatorial homology modules associated to P(n,q) over a coefficient field F field of characteristic p_{0}>0 co-prime to q. As FGL(n,q)-representations the modules are obtained from the permutation action of GL(n,q) on the subspaces of F*^n. We prove a br…
▽ More
Let F* be the finite field of q elements and let P(n,q) be the projective space of dimension n-1 over F*. We construct a family H^{n}_{k,i} of combinatorial homology modules associated to P(n,q) over a coefficient field F field of characteristic p_{0}>0 co-prime to q. As FGL(n,q)-representations the modules are obtained from the permutation action of GL(n,q) on the subspaces of F*^n. We prove a branching rule for H^{n}_{k,i} and use this rule to determine these homology representations completely. The main results are a duality theorem and the complete characterisation of H^{n}_{k,i} in terms of the standard irreducibles of GL(n,q) over F and applications.
△ Less
Submitted 20 February, 2012; v1 submitted 23 October, 2011;
originally announced October 2011.
-
Homology representations of GL(n,q) from Grassmannians in cross-characteristics
Authors:
Johannes Siemons,
Daniel Smith
Abstract:
Let F* be the field of q elements and let P(n,q) denote the projective space of dimension n-1 over F*. We construct a family H^{n}_{k,i} of combinatorial homology modules associated to P(n,q) for a coefficient field F of positive characteristic co-prime to q. As GL(n,q)-representations these modules are obtained from the permutation action of GL(n,q) on the set of subspaces of F*…
▽ More
Let F* be the field of q elements and let P(n,q) denote the projective space of dimension n-1 over F*. We construct a family H^{n}_{k,i} of combinatorial homology modules associated to P(n,q) for a coefficient field F of positive characteristic co-prime to q. As GL(n,q)-representations these modules are obtained from the permutation action of GL(n,q) on the set of subspaces of F*. We prove a branching rule for the H^{n}_{k,i} and use this to determine the homology representations completely. Results include a duality theorem, the characterisation of H^{n}_{k,i} through the standard irreducibles of GL(n,q) over F and applications.
△ Less
Submitted 20 February, 2012; v1 submitted 26 January, 2011;
originally announced January 2011.
-
On Orbit Equivalence and Permutation groups defined by unordered relations
Authors:
F. Dalla Volta,
J. Siemons
Abstract:
For a set $Ω$ an unordered relation on $Ω$ is a family R of subsets of $Ω.$ If R is such a relation we let G(R) be the group of all permutations on $Ω$ that preserves R, that is g belongs to G(R) if and only if x in R implies x^{g}\in R. We are interested in permutation groups which can be represented as G=G(R) for a suitable unordered relation R on $Ω.$ When this is the case, we say that G is def…
▽ More
For a set $Ω$ an unordered relation on $Ω$ is a family R of subsets of $Ω.$ If R is such a relation we let G(R) be the group of all permutations on $Ω$ that preserves R, that is g belongs to G(R) if and only if x in R implies x^{g}\in R. We are interested in permutation groups which can be represented as G=G(R) for a suitable unordered relation R on $Ω.$ When this is the case, we say that G is defined by the relation R, or that G is a relation group. We prove that a primitive permutation group different from the Alternating Group and of degree bigger or equal to 11 is a relation groups. The same is true for many classes of finite imprimitive groups, and we give general conditions on the size of blocks of imprmitivity, and the groups induced on such blocks, which guarantee that the group is defined by a relation. This property is closely connected to the orbit closure of permutation groups. Since relation groups are orbit closed the results here imply that many classes of imprimitive permutation groups are orbit closed.
△ Less
Submitted 18 October, 2010;
originally announced October 2010.
-
On solvable minimally transitive permutation groups
Authors:
Francesca Dalla Volta,
Johannes Siemons
Abstract:
We investigate properties of finite transitive permutation groups $(G, Ω)$ in which all proper subgroups of $G$ act intransitively on $Ω.$ In particular, we are interested in reduction theorems for minimally transitive representations of solvable groups.
We investigate properties of finite transitive permutation groups $(G, Ω)$ in which all proper subgroups of $G$ act intransitively on $Ω.$ In particular, we are interested in reduction theorems for minimally transitive representations of solvable groups.
△ Less
Submitted 7 February, 2007;
originally announced February 2007.
-
Reconstruction of permutations distorted by single transposition errors
Authors:
Elena Konstantinova,
Vladimir Levenshtein,
Johannes Siemons
Abstract:
The reconstruction problem for permutations on $n$ elements from their erroneous patterns which are distorted by transpositions is presented in this paper. It is shown that for any $n \geq 3$ an unknown permutation is uniquely reconstructible from 4 distinct permutations at transposition distance at most one from the unknown permutation. The {\it transposition distance} between two permutations…
▽ More
The reconstruction problem for permutations on $n$ elements from their erroneous patterns which are distorted by transpositions is presented in this paper. It is shown that for any $n \geq 3$ an unknown permutation is uniquely reconstructible from 4 distinct permutations at transposition distance at most one from the unknown permutation. The {\it transposition distance} between two permutations is defined as the least number of transpositions needed to transform one into the other. The proposed approach is based on the investigation of structural properties of a corresponding Cayley graph. In the case of at most two transposition errors it is shown that $\frac32(n-2)(n+1)$ erroneous patterns are required in order to reconstruct an unknown permutation. Similar results are obtained for two particular cases when permutations are distorted by given transpositions. These results confirm some bounds for regular graphs which are also presented in this paper.
△ Less
Submitted 7 February, 2007;
originally announced February 2007.
