Source author record

Arjana Žitnik

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

5works
2topics
4close collaborators

Published work

5 publications

preprint2015arXiv

Half-arc-transitive graphs of arbitrary even valency greater than 2

A half-arc-transitive graph is a regular graph that is both vertex- and edge-transitive, but is not arc-transitive. If such a graph has finite valency, then its valency is even, and greater than 22. In 1970, Bouwer proved that there exists a half-arc-transitive graph of every even valency greater than 2, by giving a construction for a family of graphs now known as B(k,m,n)B(k,m,n), defined for every triple (k,m,n)(k,m,n) of integers greater than 11 with 2m≡1mod  n2^m \equiv 1 \mod n. In each case, B(k,m,n)B(k,m,n) is a 2k2k-valent vertex- and edge-transitive graph of order mnk−1mn^{k-1}, and Bouwer showed that B(k,6,9)B(k,6,9) is half-arc-transitive for all k>1k > 1. For almost 45 years the question of exactly which of Bouwer's graphs are half-arc-transitive and which are arc-transitive has remained open, despite many attempts to answer it. In this paper, we use a cycle-counting argument to prove that almost all of the graphs constructed by Bouwer are half-arc-transitive. In fact, we prove that B(k,m,n)B(k,m,n) is arc-transitive only when n=3n = 3, or (k,n)=(2,5)(k,n) = (2,5), % and mm is a multiple of 44, or (k,m,n)=(2,3,7)(k,m,n) = (2,3,7) or (2,6,7)(2,6,7) or (2,6,21)(2,6,21). In particular, B(k,m,n)B(k,m,n) is half-arc-transitive whenever m>6m > 6 and n>5n > 5. This gives an easy way to prove that there are infinitely many half-arc-transitive graphs of each even valency 2k>22k > 2.

preprint2015arXiv

Vertex-transitive graphs and their arc-types

Let XX be a finite vertex-transitive graph of valency dd, and let AA be the full automorphism group of XX. Then the arc-type of XX is defined in terms of the sizes of the orbits of the action of the stabiliser AvA_v of a given vertex vv on the set of arcs incident with vv. Specifically, the arc-type is the partition of dd as the sum n1+n2+⋯+nt+(m1+m1)+(m2+m2)+⋯+(ms+ms),n_1 + n_2 + \dots + n_t + (m_1 + m_1) + (m_2 + m_2) + \dots + (m_s + m_s), where n1,n2,…,ntn_1, n_2, \dots, n_t are the sizes of the self-paired orbits, and m1,m1,m2,m2,…,ms,msm_1,m_1, m_2,m_2, \dots, m_s,m_s are the sizes of the non-self-paired orbits, in descending order. In this paper, we find the arc-types of several families of graphs. Also we show that the arc-type of a Cartesian product of two `relatively prime' graphs is the natural sum of their arc-types. Then using these observations, we show that with the exception of 1+11+1 and (1+1)(1+1), every partition as defined above is realisable, in the sense that there exists at least one graph with the given partition as its arc-type.

preprint2014arXiv

Combinatorial configurations, quasiline arrangements, and systems of curves on surfaces

It is well known that not every combinatorial configuration admits a geometric realization with points and lines. Moreover, some of them do not even admit realizations with pseudoline arrangements, i.e., they are not topological. In this paper we provide a new topological representation by using and essentially generalizing the topological representation of oriented matroids in rank 3. These representations can also be interpreted as curve arrangements on surfaces. In particular, we generalize the notion of a pseudoline arrangement to the notion of a quasiline arrangement by relaxing the condition that two pseudolines meet exactly once and show that every combinatorial configuration can be realized as a quasiline arrangement in the real projective plane. We also generalize well-known tools from pseudoline arrangements such as sweeps or wiring diagrams. A quasiline arrangement with selected vertices belonging to the configuration can be viewed as a map on a closed surface. Such a map can be used to distinguish between two "distinct" realizations of a combinatorial configuration as a quasiline arrangement.

preprint2013arXiv

Distance-regular graphs of qq-Racah type and the universal Askey-Wilson algebra

Let $\C$ denote the field of complex numbers, and fix a nonzero $q \in \C$ such that q4≠1q^4 \ne 1. Define a $\C$-algebra ΔqΔ_q by generators and relations in the following way. The generators are A,B,CA,B,C. The relations assert that each of A+qBC−q−1CBq2−q−2A+\frac{qBC-q^{-1}CB}{q^2-q^{-2}}, B+qCA−q−1ACq2−q−2B+\frac{qCA-q^{-1}AC}{q^2-q^{-2}}, C+qAB−q−1BAq2−q−2C+\frac{qAB-q^{-1}BA}{q^2-q^{-2}} is central in ΔqΔ_q. The algebra ΔqΔ_q is called the universal Askey-Wilson algebra. Let ΓΓ denote a distance-regular graph that has qq-Racah type. Fix a vertex xx of ΓΓ and let T=T(x)T=T(x) denote the corresponding subconstituent algebra. In this paper we discuss a relationship between ΔqΔ_q and TT. Assuming that every irreducible TT-module is thin, we display a surjective $\C$-algebra homomorphism Δq→TΔ_q \to T. This gives a ΔqΔ_q action on the standard module of TT.

preprint2012arXiv

GI-graphs and their groups

The class of generalized Petersen graphs was introduced by Coxeter in the 1950s. Frucht, Graver and Watkins determined the automorphism groups of generalized Petersen graphs in 1971, and much later, Nedela and Škoviera and (independently) Lovrečič-Saražin characterised those which are Cayley graphs. In this paper we extend the class of generalized Petersen graphs to a class of GI-graphs. For any positive integer n and any sequence j_0,j_1,....,j_{t-1} of integers mod n, the GI-graph GI(n;j_0,j_1,....,j_{t-1}) is a (t+1)-valent graph on the vertex set Z_t x Z_n, with edges of two kinds: - an edge from (s,v) to (s',v), for all distinct s,s' in Z_t and all v in Z_n, - edges from (s,v) to (s,v+j_s) and (s,v-j_s), for all s in Z_t and v in Z_n. By classifying different kinds of automorphisms, we describe the automorphism group of each GI-graph, and determine which GI-graphs are vertex-transitive and which are Cayley graphs. A GI-graph can be edge-transitive only when t < 4 or equivalently, for valence at most 4. We present a unit-distance drawing of a remarkable GI(7;1,2,3).

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.