Searcharxiv⌕ Search

arXiv subjects

Zoran Sunic

Publications and source records attributed to Zoran Sunic.

At least 19 recordsLinked to original sources
arXiv2019

Biased infinity Laplacian Boundary Problem on finite graphs

We provide an algorithm, running in polynomial time in the number of vertices, computing the unique solution to the biased infinity Laplacian Boundary Problem on finite graphs. The algorithm is based on the general outline and approach taken in the corresponding algorithm for the unbiased case provided by Lazarus et al. The new ingredient is an adjusted (biased) notion of a slope of a function on a path in a graph. The algorithm can be used to determine efficiently numerical approximations to the viscosity solutions of biased infinity Laplacian PDEs.

math.CO↗
arXiv2019

Orders on trees and free products of left-ordered groups

We construct total orders on the vertex set of an oriented tree. The orders are based only on up-down counts at the interior vertices and the edges along the unique geodesic from a given vertex to another. As an application, we provide a short proof (modulo Bass-Serre theory) of Vinogradov's result that the free product of left-orderable groups is left-orderable.

math.GR↗
arXiv2018

Autostackability of Thompson's group $F$

The word problem for Thompson's group $F$ has a solution, but it remains unknown whether $F$ is automatic or has a finite or regular convergent (terminating and confluent) rewriting system. We show that the group $F$ admits a natural extension of these two properties, namely autostackability, and we give an explicit bounded regular convergent prefix-rewriting system for $F$.

math.GR↗
arXiv2017

No positive cone in a free product is regular

We show that there exists no left order on the free product of two nontrivial, finitely generated, left-orderable groups such that the corresponding positive cone is represented by a regular language. Since there are orders on free groups of rank at least two with positive cone languages that are context-free (in fact, 1-counter languages), our result provides a bound on the language complexity of positive cones in free products that is the best possible within the Chomsky hierarchy. It also provides a strengthening of a result by Cristobal Rivas stating that the positive cone in a free product of nontrivial, finitely generated, left-orderable groups cannot be finitely generated as a semigroup.

math.GR↗
arXiv2017

Portrait growth in contracting, regular branch groups

We address a question of Grigorchuk by providing both a system of recursive formulas and an asymptotic result for the portrait growth of the first Grigorchuk group. The results are obtained through analysis of some features of the branching subgroup structure of the group. More generally, we provide recursive formulas for the portrait growth of any finitely generated, contracting, regular branch group, based on the coset decomposition of the groups that are higher in the branching subgroup structure in terms of the lower subgroups. Using the same general approach we fully describe the portrait growth for all non-symmetric GGS-groups and for the Apollonian group.

math.GR↗
arXiv2015

Left relatively convex subgroups

Let G be a group and H be a subgroup of G. We say that H is left relatively convex in G if the left G-set G/H has at least one G-invariant order; when G is left orderable, this holds if and only if H is convex in G under some left ordering of G. We give a criterion for H to be left relatively convex in G that generalizes a famous theorem of Burns and Hale and has essentially the same proof. We show that all maximal cyclic subgroups are left relatively convex in free groups, in right-angled Artin groups, and in surface groups that are not the Klein-bottle group. The free-group case extends a result of Duncan and Howie. We show that if G is left orderable, then each free factor of G is left relatively convex in G. More generally, for any graph of groups, if each edge group is left relatively convex in each of its vertex groups, then each vertex group is left relatively convex in the fundamental group; this generalizes a result of Chiswell. We show that all maximal cyclic subgroups in locally residually torsion-free nilpotent groups are left relatively convex.

math.GR↗
arXiv2014

Finitely constrained groups of maximal Hausdorff dimension

We prove that if G_P is a finitely constrained group of binary rooted tree automorphisms (a group binary tree subshift of finite type) defined by an essential pattern group P of pattern size d, d>1, and if G_P has maximal Hausdorff dimension (equal to 1-1/2^{d-1}), then G_P is not topologically finitely generated. We describe precisely all essential pattern groups P that yield finitely constrained groups with maximal Haudorff dimension. For a given size d, d>1, there are exactly 2^{d-1} such pattern groups and they are all maximal in the group of automorphisms of the finite rooted regular tree of depth d.

math.GR↗
arXiv2014

Cellular automata between sofic tree shifts

We study the sofic tree shifts of $A^{Σ^*}$, where $Σ^*$ is a regular rooted tree of finite rank. In particular, we give their characterization in terms of unrestricted Rabin automata. We show that if $X \subset A^{Σ^*}$ is a sofic tree shift, then the configurations in $X$ whose orbit under the shift action is finite are dense in $X$, and, as a consequence of this, we deduce that every injective cellular automata $τ\colon X \to X$ is surjective. Moreover, a characterization of sofic tree shifts in terms of general Rabin automata is given. We present an algorithm for establishing whether two unrestricted Rabin automata accept the same sofic tree shift or not. This allows us to prove the decidability of the surjectivity problem for cellular automata between sofic tree shifts. We also prove the decidability of the injectivity problem for cellular automata defined on a tree shift of finite type.

cs.FL↗
arXiv2013

Orders on free groups induced by oriented words

For every finite rank k, k>1, we explicitly construct (2k)! left orders on the free group F_k of rank k. Each order is induced by a word of length 2k in which each generator of F_k and its inverse appear exactly once. For each of these (2k)! words we define a real valued function on F_k, which is shown to be a quasi-character with small relative defect and which is used as a weight function to define the corresponding order (the elements of F_k which evaluate to positive real numbers are declared positive in the group). Some of the orders we define on F_k are extensions of the usual lexicographic order on the positive monoid and some have word reversible positive cones. We characterize the defining words leading to orders of either of these two types.

math.GR↗
arXiv2013

Free subgroups acting properly discontinuously

Given an action of a group G on a topological space X, we establish a necessary and sufficient condition for the existence of a free subgroup F of rank 2 of G acting properly discontinuously on at least one nonempty, open, F-invariant subspace of X. In the case of a discrete topology (group action on a set X), the condition simply detects free subgroups of rank 2 acting freely on some orbit.

math.GR↗
arXiv2013

Explicit left orders on free groups extending the lexicographic order on free monoids

For every finitely generated free group we construct an explicit left order extending the lexicographic order on the free monoid generated by the positive letters. The order is defined by a left, free action on the orbit of 0 of a free group of piecewise linear homeomorphisms of the line. The membership in the positive cone is decidable in linear time in the length of the input word. The positive cone forms a context-free language closed under word reversal.

math.GR↗
arXiv2012

Cellular automata on regular rooted trees

We study cellular automata on regular rooted trees. This includes the characterization of sofic tree shifts in terms of unrestricted Rabin automata and the decidability of the surjectivity problem for cellular automata between sofic tree shifts.

cs.FL↗
arXiv2012

The conjugacy problem in automaton groups is not solvable

(Free-abelian)-by-free, self-similar groups generated by finite self-similar sets of tree automorphisms and having unsolvable conjugacy problem are constructed. Along the way, orbit undecidable, free subgroups of GL_d(Z), for d > 5, and Aut(F_d), for d > 4, are constructed as well.

math.GR↗
arXiv2012

On groups whose geodesic growth is polynomial

This note records some observations concerning geodesic growth functions. If a nilpotent group is not virtually cyclic then it has exponential geodesic growth with respect to all finite generating sets. On the other hand, if a finitely generated group $G$ has an element whose normal closure is abelian and of finite index, then $G$ has a finite generating set with respect to which the geodesic growth is polynomial (this includes all virtually cyclic groups).

math.GR↗
arXiv2012

Normal art galleries: wall in - all in

We introduce the notion of a normal gallery, a gallery in which any configuration of guards that visually covers the walls covers the entire gallery. We show that any star gallery is normal and any gallery with at most two reflex corners is normal. A polynomial time algorithm is provided deciding if, for a given polygon and a finite set of positions, there exists a configuration of guards in some of these positions that visually covers the walls but not the entire gallery.

cs.CG↗
arXiv2011

Twin Towers of Hanoi

In the Twin Towers of Hanoi version of the well known Towers of Hanoi Problem there are two coupled sets of pegs. In each move, one chooses a pair of pegs in one of the sets and performs the only possible legal transfer of a disk between the chosen pegs (the smallest disk from one of the pegs is moved to the other peg), but also, simultaneously, between the corresponding pair of pegs in the coupled set (thus the same sequence of moves is always used in both sets). We provide upper and lower bounds on the length of the optimal solutions to problems of the following type. Given an initial and a final position of N disks in each of the coupled sets, what is the smallest number of moves needed to simultaneously obtain the final position from the initial one in each set? Our analysis is based on the use of a group, called Hanoi Towers group, of rooted ternary tree automorphisms, which models the original problem in such a way that the configurations on N disks are the vertices at level N of the tree and the action of the generators of the group represents the three possible moves between the three pegs. The twin version of the problem is analyzed by considering the action of Hanoi Towers group on pairs of vertices.

math.CO↗
arXiv2011

Cayley automatic groups are not Cayley biautomatic

We show that there are Cayley automatic groups that are not Cayley biautomatic. In addition, we show that there are Cayley automatic groups with undecidable Conjugacy Problem and that the Isomorphism Problem is undecidable in the clas of Cayley automatic groups.

math.GR↗