Source author record

Johannes Siemons

Johannes Siemons appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

8works
7topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

8 published item(s)

preprint2021arXiv

On the second largest eigenvalue of some Cayley graphs of the Symmetric Group

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.

preprint2020arXiv

Unlocking the walk matrix of a graph

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.

preprint2013arXiv

Modulated String Searching

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.

preprint2012arXiv

Homology representations of GL(n,q) from Grassmannians in cross-characteristics

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.

preprint2012arXiv

Incidence Homology of Finite Projective Spaces

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.

preprint2012arXiv

Metric intersection problems in Cayley graphs and the Stirling recursion

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.

preprint2011arXiv

Error Graphs and the Reconstruction of Elements in Groups

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.

preprint2011arXiv

On Stanley's Inequalities for Character Multiplicities

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.