Researcher profile

Zoran Sunic

Zoran Sunic contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
14works
0followers
8topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

14 published item(s)

preprint2019arXiv

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.

preprint2013arXiv

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.

preprint2013arXiv

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.

preprint2012arXiv

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.

preprint2012arXiv

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).

preprint2011arXiv

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.

preprint2010arXiv

Finite self-similar p-groups with abelian first level stabilizers

We determine all finite p-groups that admit a faithful, self-similar action on the p-ary rooted tree such that the first level stabilizer is abelian. A group is in this class if and only if it is a split extension of an elementary abelian p-group by a cyclic group of order p. The proof is based on use of virtual endomorphisms. In this context the result says that if G is a finite p-group with abelian subgroup H of index p, then there exists a virtual endomorphism of G with trivial core and domain H if and only if G is a split extension of H and H is an elementary abelian p-group.

preprint2010arXiv

Pattern closure of groups of tree automorphisms

It is shown that a group defined by forbidding all patterns of size s+1 that do not appear in a given self-similar group of tree automorphisms is the topological closure of a self-similar, countable, regular branch group, branching over its level s stabilizer. As an application, it is shown that there are no infinite, finitely constrained, topologically finitely generated groups of binary tree automorphisms defined by forbidden patterns of size two.

preprint2010arXiv

Polynomial functions on the units of Z_{2^n}

Polynomial functions on the group of units Q_n of the ring Z_{2^n} are considered. A finite set of reduced polynomials RP_n in Z[x] that induces the polynomial functions on Q_n is determined. Each polynomial function on Q_n is induced by a unique reduced polynomial - the reduction being made using a suitable ideal in Z[x]. The set of reduced polynomials forms a multiplicative 2-group. The obtained results are used to efficiently construct families of exponential cardinality of, so called, huge k-ary quasigroups, which are useful in the design of various types of cryptographic primitives. Along the way we provide a new (and simpler) proof of a result of Rivest characterizing the permutational polynomials on Z_{2^n}.

preprint2007arXiv

Frobenius Problem and dead ends in integers

Let a and b be positive, relatively prime integers. We show that the following are equivalent: (i) d is a dead end in the (symmetric) Cayley graph of Z with respect to a and b, (ii) d is a Frobenius value with respect to a and b (it cannot be written as a non-negative or non-positive integer linear combination of a and b), and d is maximal (in the Cayley graph) with respect to this property. In addition, for given integers a and b, we explicitly describe all such elements in Z. Finally, we show that Z has only finitely many dead ends with respect to any finite symmetric generating set. In the appendix we show that every finitely generated group has a generating set with respect to which dead ends exist.