-
A subquadratic algorithm for the simultaneous conjugacy problem
Authors:
Andrej Brodnik,
Aleksander Malnič,
Rok Požar
Abstract:
The $d$-Simultaneous Conjugacy problem in the symmetric group $S_n$ asks whether there exists a permutation $τ\in S_n$ such that $b_j = τ^{-1}a_j τ$ holds for all $j = 1,2,\ldots, d$, where $a_1, a_2,\ldots , a_d$ and $b_1, b_2,\ldots , b_d$ are given sequences of permutations in $S_n$. The time complexity of existing algorithms for solving the problem is $O(dn^2)$. We show that for a given positi…
▽ More
The $d$-Simultaneous Conjugacy problem in the symmetric group $S_n$ asks whether there exists a permutation $τ\in S_n$ such that $b_j = τ^{-1}a_j τ$ holds for all $j = 1,2,\ldots, d$, where $a_1, a_2,\ldots , a_d$ and $b_1, b_2,\ldots , b_d$ are given sequences of permutations in $S_n$. The time complexity of existing algorithms for solving the problem is $O(dn^2)$. We show that for a given positive integer $d$ the $d$-Simultaneous Conjugacy problem in $S_n$ can be solved in $o(n^2)$ time.
△ Less
Submitted 11 July, 2020;
originally announced July 2020.
-
The simultaneous conjugacy problem in the symmetric group
Authors:
Andrej Brodnik,
Aleksander Malnič,
Rok Požar
Abstract:
The transitive simultaneous conjugacy problem asks whether there exists a permutation $τ\in S_n$ such that $b_j = τ^{-1} a_j τ$ holds for all $j = 1,2, \ldots, d$, where $a_1, a_2, \ldots, a_d$ and $b_1, b_2, \ldots, b_d$ are given sequences of $d$ permutations in $S_n$, each of which generates a transitive subgroup of $S_n$. As from mid 70' it has been known that the problem can be solved in…
▽ More
The transitive simultaneous conjugacy problem asks whether there exists a permutation $τ\in S_n$ such that $b_j = τ^{-1} a_j τ$ holds for all $j = 1,2, \ldots, d$, where $a_1, a_2, \ldots, a_d$ and $b_1, b_2, \ldots, b_d$ are given sequences of $d$ permutations in $S_n$, each of which generates a transitive subgroup of $S_n$. As from mid 70' it has been known that the problem can be solved in $O(dn^2)$ time. An algorithm with running time $O(dn \log(dn))$, proposed in late 80', does not work correctly on all input data. In this paper we solve the transitive simultaneous conjugacy problem in $O(n^2 \log d / \log n + dn\log n)$ time and $O(n^{3/ 2} + dn)$ space. Experimental evaluation on random instances shows that the expected running time of our algorithm is considerably better, perhaps even nearly linear in $n$ at given $d$.
△ Less
Submitted 28 November, 2020; v1 submitted 18 July, 2019;
originally announced July 2019.
-
Tetravalent Vertex- and Edge-Transitive Graphs Over Doubled Cycles
Authors:
Boštjan Kuzman,
Aleksander Malnič,
Primož Potočnik
Abstract:
In order to complete (and generalize) results of Gardiner and Praeger on 4-valent symmetric graphs (European J. Combin, 15 (1994)) we apply the method of lifting automorphisms in the context of elementary-abelian covering projections. In particular, the vertex- and edge-transitive graphs whose quotient by a normal $p$-elementary abelian group of automorphisms, for $p$ an odd prime, is a cycle, are…
▽ More
In order to complete (and generalize) results of Gardiner and Praeger on 4-valent symmetric graphs (European J. Combin, 15 (1994)) we apply the method of lifting automorphisms in the context of elementary-abelian covering projections. In particular, the vertex- and edge-transitive graphs whose quotient by a normal $p$-elementary abelian group of automorphisms, for $p$ an odd prime, is a cycle, are described in terms of cyclic and negacyclic codes. Specifically, the symmetry properties of such graphs are derived from certain properties of the generating polynomials of cyclic and negacyclic codes, that is, from divisors of $x^n \pm 1 \in {\mathbb Z}_p[x]$. As an application, a short and unified description of resolved and unresolved cases of Gardiner and Praeger are given.
△ Less
Submitted 28 July, 2017;
originally announced July 2017.
-
On 2-Fold Covers of Graphs
Authors:
Yan-Quan Feng,
Klavdija Kutnar,
Aleksander Malnic,
Dragan Marusic
Abstract:
A regular covering projection $\p\colon \tX \to X$ of connected graphs is $G$-admissible if $G$ lifts along $\p$. Denote by $\tG$ the lifted group, and let $\CT(\p)$ be the group of covering transformations. The projection is called $G$-split whenever the extension $\CT(\p) \to \tG \to G$ splits. In this paper, split 2-covers are considered. Supposing that $G$ is transitive on $X$, a $G$-split c…
▽ More
A regular covering projection $\p\colon \tX \to X$ of connected graphs is $G$-admissible if $G$ lifts along $\p$. Denote by $\tG$ the lifted group, and let $\CT(\p)$ be the group of covering transformations. The projection is called $G$-split whenever the extension $\CT(\p) \to \tG \to G$ splits. In this paper, split 2-covers are considered. Supposing that $G$ is transitive on $X$, a $G$-split cover is said to be $G$-split-transitive if all complements $\bG \cong G$ of $\CT(\p)$ within $\tG$ are transitive on $\tX$; it is said to be $G$-split-sectional whenever for each complement $\bG$ there exists a $\bG$-invariant section of $\p$; and it is called $G$-split-mixed otherwise.
It is shown, when $G$ is an arc-transitive group, split-sectional and split-mixed 2-covers lead to canonical double covers. For cubic symmetric graphs split 2-cover are necessarily cannonical double covers when $G$ is 1- or 4-regular. In all other cases, that is, if $G$ is $s$-regular, $s=2,3$ or 5, a necessary and sufficient condition for the existence of a transitive complement $\bG$ is given, and an infinite family of split-transitive 2-covers based on the alternating groups of the form $A_{12k+10}$ is constructed.
Finally, chains of consecutive 2-covers, along which an arc-transitive group $G$ has successive lifts, are also considered. It is proved that in such a chain, at most two projections can be split. Further, it is shown that, in the context of cubic symmetric graphs, if exactly two of them are split, then one is split-transitive and the other one is either split-sectional or split-mixed.
△ Less
Submitted 24 January, 2007;
originally announced January 2007.
-
Transitive Group Actions: (IM)PRIMITIVITY and Semiregular Subgroups
Authors:
Istvan Kovacs,
Aleksander Malnic,
Dragan Marusic,
Stefko Miklavic
Abstract:
The following problem is considered: if $H$ is a semiregular abelian subgroup of a transitive permutation group $G$ acting on a finite set $X$, find conditions for (non) existence of $G$-invariant partitions of $X$. Conditions presented in this paper are derived by studying spectral properties of associated $G$-invariant digraphs. As an essential tool, irreducible complex characters of $H$ are use…
▽ More
The following problem is considered: if $H$ is a semiregular abelian subgroup of a transitive permutation group $G$ acting on a finite set $X$, find conditions for (non) existence of $G$-invariant partitions of $X$. Conditions presented in this paper are derived by studying spectral properties of associated $G$-invariant digraphs. As an essential tool, irreducible complex characters of $H$ are used.
Questions of this kind arise naturally when classifying combinatorial objects which enjoy a certain degree of symmetry. As an illustration, a new and short proof of an old result of Frucht, Graver and Watkins ({\it Proc. Camb. Phil. Soc.}, {\bf 70} (1971), 211-218) classifying edge-transitive generalized Petersen graphs, is given.
△ Less
Submitted 3 April, 2014; v1 submitted 24 January, 2007;
originally announced January 2007.
-
Semisymmetric elementary abelian covers of the Möbius-Kantor graph
Authors:
A. Malnic,
D. Marusic,
S. Miklavic,
P. Potocnik
Abstract:
Let $\p_N \colon \tX \to X$ be a regular covering projection of connected graphs with the group of covering transformations isomorphic to $N$. If $N$ is an elementary abelian $p$-group, then the projection $\p_N$ is called $p$-elementary abelian. The projection $\p_N$ is vertex-transitive (edge-transitive) if some vertex-transitive (edge-transitive) subgroup of $\Aut X$ lifts along $\p_N$, and s…
▽ More
Let $\p_N \colon \tX \to X$ be a regular covering projection of connected graphs with the group of covering transformations isomorphic to $N$. If $N$ is an elementary abelian $p$-group, then the projection $\p_N$ is called $p$-elementary abelian. The projection $\p_N$ is vertex-transitive (edge-transitive) if some vertex-transitive (edge-transitive) subgroup of $\Aut X$ lifts along $\p_N$, and semisymmetric if it is edge- but not vertex-transitive. The projection $\p_N$ is minimal semisymmetric if $p_N$ cannot be written as a composition $\p_N = \p \circ \p_M$ of two (nontrivial) regular covering projections, where $\p_M$ is semisymmetric.
Finding elementary abelian covering projections can be grasped combinatorially via a linear representation of automorphisms acting on the first homology group of the graph. The method essentially reduces to finding invariant subspaces of matrix groups over prime fields (see {\em J. Algebr. Combin.}, {\bf 20} (2004), 71--97).
In this paper, all pairwise nonisomorphic minimal semisymmetric elementary abelian regular covering projections of the Möbius-Kantor graph, the Generalized Petersen graph $\GP(8,3)$, are constructed. No such covers exist for $p =2$. Otherwise, the number of such covering projections is equal to $(p-1)/4$ and $1+ (p-1)/4$ in cases $p \equiv 5,9,13,17,21 (\mod 24)$ and $p \equiv 1 (\mod 24)$, respectively, and to $(p+1)/4$ and $1+ (p+1)/4$ in cases $p \equiv 3,7,11,15,23 (\mod 24)$ and $p \equiv 19 (\mod 24)$, respectively. For each such covering projection the voltage rules generating the corresponding covers are displayed explicitly.
△ Less
Submitted 18 October, 2005;
originally announced October 2005.
-
Distance-balanced graphs: symmetry conditions
Authors:
K. Kutnar,
A. Malnic,
D. Marusic,
S. Miklavic
Abstract:
A graph $X$ is said to be {\it distance--balanced} if for any edge $uv$ of $X$, the number of vertices closer to $u$ than to $v$ is equal to the number of vertices closer to $v$ than to $u$. A graph $X$ is said to be {\it strongly distance--balanced} if for any edge $uv$ of $X$ and any integer $k$, the number of vertices at distance $k$ from $u$ and at distance $k+1$ from $v$ is equal to the num…
▽ More
A graph $X$ is said to be {\it distance--balanced} if for any edge $uv$ of $X$, the number of vertices closer to $u$ than to $v$ is equal to the number of vertices closer to $v$ than to $u$. A graph $X$ is said to be {\it strongly distance--balanced} if for any edge $uv$ of $X$ and any integer $k$, the number of vertices at distance $k$ from $u$ and at distance $k+1$ from $v$ is equal to the number of vertices at distance $k+1$ from $u$ and at distance $k$ from $v$. Obviously, being distance--balanced is metrically a weaker condition than being strongly distance--balanced. In this paper, a connection between symmetry properties of graphs and the metric property of being (strongly) distance--balanced is explored. In particular, it is proved that every vertex--transitive graph is strongly distance--balanced.
A graph is said to be {\em semisymmetric} if its automorphism group acts transitively on its edge set, but does not act transitively on its vertex set. An infinite family of semisymmetric graphs, which are not distance--balanced, is constructed.
Finally, we give a complete classification of strongly distance--balanced graphs for the following infinite families of generalized Petersen graphs: $\GP(n,2)$, $\GP(5k+1,k)$, $\GP(3k\pm 3,k)$, and $\GP(2k+2,k)$.
△ Less
Submitted 18 October, 2005;
originally announced October 2005.
