Researcher profile

Dikran Dikranjan

Dikran Dikranjan contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
24works
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

24 published item(s)

preprint2020arXiv

Intrinsic entropy for generalized quasimetric semilattices

We introduce the notion of intrinsic semilattice entropy $\widetilde h$ in the category $\mathcal L_{qm}$ of generalized quasimetric semilattices and contractive homomorphisms. By using appropriate categories $\mathfrak X$ and functors $F:\mathfrak X\to\mathcal L_{qm}$ we find specific known entropies $\widetilde h_\mathfrak X$ on $\mathfrak X$ as intrinsic functorial entropies, that is, as $\widetilde h_\mathfrak X=\widetilde h\circ F$. These entropies are the intrinsic algebraic entropy, the algebraic and the topological entropies for locally linearly compact vector spaces, the topological entropy for locally compact totally disconnected groups and the algebraic entropy for locally compact compactly covered abelian groups.

preprint2020arXiv

The addition theorem for locally monotileable monoid actions

We prove an instance of the so-called Addition Theorem for the algebraic entropy of actions of cancellative right amenable monoids $S$ on discrete abelian groups $A$ by endomorphisms, under the hypothesis that $S$ is locally monotileable (that is, $S$ admits a right Følner sequence $(F_n)_{n\in\mathbb N}$ such that $F_n$ is a monotile of $F_{n+1}$ for every $n\in\mathbb N$). We study in details the class of locally monotileable groups, also in relation with already existing notions of monotileability for groups, introduced by Weiss and developed further by other authors recently.

preprint2013arXiv

Discrete dynamical systems in group theory

In this expository paper we describe an unifying approach for many known entropies in Mathematics. First we recall the notion of semigroup entropy h_S in the category S of normed semigroups and contractive homomorphisms, recalling also its properties. For a specific category X and a functor F from X to S, we have the entropy h_F, defined by the composition of h_S with F, which automatically satisfies the same properties proved for h_S. This general scheme permits to obtain many of the known entropies as h_F, for appropriately chosen categories X and functors F. In the last part we recall the definition and the fundamental properties of the algebraic entropy for group endomorphisms, noting how its deeper properties depend on the specific setting. Finally we discuss the notion of growth for flows of groups, comparing it with the classical notion of growth for finitely generated groups.

preprint2013arXiv

Scale function vs Topological entropy

In the realm of topological automorphisms of totally disconnected locally compact groups, the scale function introduced by Willis in \cite{Willis} is compared with the topological entropy. We prove that the logarithm of the scale function is always dominated by the topological entropy and we provide examples showing that this inequality can be strict. Moreover, we give a condition equivalent to the equality between these two invariants. Various properties of the scale function, inspired by those of the topological entropy, are presented.

preprint2013arXiv

The Bridge Theorem for totally disconnected LCA groups

For a totally disconnected locally compact abelian group, we prove that the topological entropy of a continuous endomorphism coincides with the algebraic entropy of the dual endomorphism with respect to the Pontryagin duality. Moreover, this result is extended to all locally compact abelian groups under the assumption of additivity with respect to some fully invariant subgroups for both the topological and the algebraic entropy.

preprint2013arXiv

Topological Entropy and Algebraic Entropy for group endomorphisms

The notion of entropy appears in many fields and this paper is a survey about entropies in several branches of Mathematics. We are mainly concerned with the topological and the algebraic entropy in the context of continuous endomorphisms of locally compact groups, paying special attention to the case of compact and discrete groups respectively. The basic properties of these entropies, as well as many examples, are recalled. Also new entropy functions are proposed, as well as generalizations of several known definitions and results. Furthermore we give some connections with other topics in Mathematics as Mahler measure and Lehmer Problem from Number Theory, and the growth rate of groups and Milnor Problem from Geometric Group Theory. Most of the results are covered by complete proofs or references to appropriate sources.

preprint2012arXiv

Limit free computation of entropy

Various limit-free formulas are given for the computation of the algebraic and the topological entropy, respectively in the settings of endomorphisms of locally finite discrete groups and of continuous endomorphisms of totally disconnected compact groups. As applications we give new proofs of the connection between the algebraic and the topological entropy in the abelian case and of the connection of the topological entropy with the finite depth for topological automorphisms.

preprint2011arXiv

Arnautov's problems on semitopological isomorphisms

Semitopological isomorphisms of topological groups were introduced by Arnautov, who posed several questions related to compositions of semitopological isomorphisms and the groups G (we call them Arnautov groups) such that for every group topology T on G every semitopological isomorphism with domain (G,T) is necessarily open (i.e., a topological isomorphism). We propose a different approach to these problems by introducing appropriate new notions, necessary for a deeper understanding of Arnautov groups. This allows us to find some partial answers and many examples. In particular, we discuss the relation with minimal groups and non-topologizable groups.

preprint2011arXiv

Entropy in a category

The Pinsker subgroup of an abelian group with respect to an endomorphism was introduced in the context of algebraic entropy. Motivated by the nice properties and characterizations of the Pinsker subgroup, we generalize its construction in two directions. We introduce the concept of entropy function h of an abelian category and define the Pinsker radical with respect to h, so that the class of all objects with trivial Pinsker radical is the torsion class of a torsion theory.

preprint2011arXiv

Functorial topologies and finite-index subgroups of abelian groups

In the general context of functorial topologies, we prove that in the lattice of all group topologies on an abelian group, the infimum between the Bohr topology and the natural topology is the profinite topology. The profinite topology and its connection to other functorial topologies is the main objective of the paper. We are particularly interested in the poset C(G) of all finite-index subgroups of an abelian group G, since it is a local base for the profinite topology of G. We describe various features of the poset C(G) (its cardinality, its cofinality, etc.) and we characterize the abelian groups G for which C(G)\{G} is cofinal in the poset of all subgroups of G ordered by inclusion. Finally, for pairs of functorial topologies T, S we define the equalizer E(T,S), which permits to describe relevant classes of abelian groups in terms of functorial topologies.

preprint2010arXiv

A class of metrizable locally quasi-convex groups which are not Mackey

A topological group $(G,μ)$ from a class $\mathcal G$ of MAP topological abelian groups will be called a {\it Mackey group} in $\mathcal G$ if it has the following property: if $ν$ is a group topology in $G$ such that $(G,ν)\in \mathcal G$ and $(G,ν)$ has the same continuous characters, say $(G,ν)^{\wedge}=(G,μ)^{\wedge}$, then $ν\le μ$. If $\rm{LCS}$ is the class of Hausdorff topological abelian groups which admit a structure of a locally convex topological vector space over $\mathbb R$, it is well-known that every metrizable $(G,μ) \in \rm{LCS}$ is a Mackey group in $\rm{LCS}$. For the class $\rm{LQC}$ of locally quasi-convex Hausdorff topological abelian groups, it was proved in 1999 that every {\bf complete} metrizable $(G,μ)\in \rm{LQC}$ is a Mackey group in $\rm{LQC}$ (\cite{CMPT}). The completeness cannot be \NB dropped within the class $\rm{LQC}$ as we prove in this paper. In fact, we provide a large family of metrizable precompact \NB(noncompact) groups which {\bf are not} Mackey groups in \rm{LQC} (Theorem \ref{basth}). Those examples are constructed from groups of the form $c_0(X)$, whose elements are the null sequences of a topological abelian group $X$, and whose topology is the uniform topology. We first show that for a compact metrizable group $X\ne\{0\}$ the topological group $c_0(X)$ is a non-compact complete metrizable locally quasi-convex group, which has {\bf countable} topological dual iff $X$ is connected. Then we prove that for a connected compact metrizable group $X\ne\{0\}$ the group $c_0(X)$ endowed with the product topology induced from the product $X^{\N}$ is metrizable precompact but not a Mackey group in LQC.

preprint2010arXiv

A Kronecker-Weyl theorem for subsets of abelian groups

Let N be the set of non-negative integer numbers, T the circle group and c the cardinality of the continuum. Given an abelian group G of size at most 2^c and a countable family F of infinite subsets of G, we construct "Baire many" monomorphisms p: G --> T^c such that p(E) is dense in {y in T^c : ny=0} whenever n in N, E in F, nE={0} and {x in E: mx=g} is finite for all g in G and m such that n=mk for some k in N--{1}. We apply this result to obtain an algebraic description of countable potentially dense subsets of abelian groups, thereby making a significant progress towards a solution of a problem of Markov going back to 1944. A particular case of our result yields a positive answer to a problem of Tkachenko and Yaschenko. Applications to group actions and discrete flows on T^c, diophantine approximation, Bohr topologies and Bohr compactifications are also provided.

preprint2010arXiv

Adjoint algebraic entropy

The new notion of adjoint algebraic entropy of endomorphisms of Abelian groups is introduced. Various examples and basic properties are provided. It is proved that the adjoint algebraic entropy of an endomorphism equals the algebraic entropy of the adjoint endomorphism of the Pontryagin dual. As applications, we compute the adjoint algebraic entropy of the shift endomorphisms of direct sums, and we prove an Addition Theorem for the adjoint algebraic entropy of bounded Abelian groups. A dichotomy is established, stating that the adjoint algebraic entropy of any endomorphism can take only values zero or infinity. As a consequence, we obtain the following surprising discontinuity criterion for endomorphisms: every endomorphism of a compact abelian group, having finite positive algebraic entropy, is discontinuous.

preprint2010arXiv

Algebraic entropy of shift endomorphisms on abelian groups

For every finite-to-one map $λ:Γ\toΓ$ and for every abelian group $K$, the generalized shift $σ_λ$ of the direct sum $\bigoplus_ΓK$ is the endomorphism defined by $(x_i)_{i\inΓ}\mapsto(x_{λ(i)})_{i\inΓ}$. In this paper we analyze and compute the algebraic entropy of a generalized shift, which turns out to depend on the cardinality of $K$, but mainly on the function $λ$. We give many examples showing that the generalized shifts provide a very useful universal tool for producing counter-examples.

preprint2010arXiv

Locally Minimal Topological Groups 2

We continue in this paper the study of locally minimal groups started in \cite{LocMin}. The minimality criterion for dense subgroups of compact groups is extended to local minimality. Using this criterion we characterize the compact abelian groups containing dense countable locally minimal subgroups, as well as those containing dense locally minimal subgroups of countable free-rank. We also characterize the compact abelian groups whose torsion part is dense and locally minimal. We call a topological group $G$ {\it almost minimal} if it has a closed, minimal normal subgroup $N$ such that the quotient group $G/N$ is uniformly free from small subgroups. The class of almost minimal groups includes all locally compact groups, and is contained in the class of locally minimal groups. On the other hand, we provide examples of countable precompact metrizable locally minimal groups which are not almost minimal. Some other significant properties of this new class are obtained.

preprint2010arXiv

On zero-dimensionality and the connected component of locally pseudocompact groups

A topological group is locally pseudocompact if it contains a non-empty open set with pseudocompact closure. In this note, we prove that if G is a group with the property that every closed subgroup of G is locally pseudocompact, then G_0 is dense in the component of the completion of G, and G/G_0 is zero-dimensional. We also provide examples of hereditarily disconnected pseudocompact groups with strong minimality properties of arbitrarily large dimension, and thus show that G/G_0 may fail to be zero-dimensional even for totally minimal pseudocompact groups.

preprint2010arXiv

Productivity of sequences with respect to a given weight function

Given a function f: N --> (omega+1)-{0}, we say that a faithfully indexed sequence {a_n: n in N} of elements of a topological group G is: (i) f-Cauchy productive (f-productive) provided that the sequence {prod_{n=0}^m a_n^{z(n)}: m in N} is left Cauchy (converges to some element of G, respectively) for each function z: N --> Z such that |z(n)| <= f(n) for every n in N; (ii) unconditionally f-Cauchy productive (unconditionally f-productive) provided that the sequence {a_{s(n)}: n in N\} is (f\circ s)-Cauchy productive (respectively, (f\circ s)-productive) for every bijection s: N --> N. (Bijections can be replaced by injections here.) We consider the question of existence of (unconditionally) f-productive sequences for a given &#34;weight function&#34; f. We prove that: (1) a Hausdorff group having an f-productive sequence for some f contains a homeomorphic copy of the Cantor set; (2) if a non-discrete group is either locally compact Hausdorff or Weil complete metric, then it contains an unconditionally f-productive sequence for every function f: N--> N; (3) a metric group is NSS if and only if it does not contain an f_omega-Cauchy productive sequence, where f_omega is the function taking the constant value omega. We give an example of an f_omega-productive sequence {a_n: n in N} in a (necessarily non-abelian) separable metric group H with a linear topology and a bijection s: N --> N such that the sequence {prod_{n=0}^m a_{s(n)}: m in N} diverges, thereby answering a question of Dominguez and Tarieladze. Furthermore, we show that H has no unconditionally f_omega-productive sequences. As an application of our results, we resolve negatively a question from C_p(-,G)-theory.

preprint2010arXiv

The Markov-Zariski topology of an abelian group

According to Markov, a subset of an abelian group G of the form {x in G: nx=a}, for some integer n and some element a of G, is an elementary algebraic set; finite unions of elementary algebraic sets are called algebraic sets. We prove that a subset of an abelian group G is algebraic if and only if it is closed in every precompact (=totally bounded) Hausdorff group topology on G. The family of all algebraic subsets of an abelian group G forms the family of closed subsets of a unique Noetherian T_1 topology on G called the Zariski, or verbal, topology of G. We investigate the properties of this topology. In particular, we show that the Zariski topology is always hereditarily separable and Frechet-Urysohn. For a countable family F of subsets of an abelian group G of cardinality at most the continuum, we construct a precompact metric group topology T on G such that the T-closure of each member of F coincides with its Zariski closure. As an application, we provide a characterization of the subsets of G that are dense in some Hausdorff group topology on G, and we show that such a topology, if it exists, can always be chosen so that it is precompact and metric. This provides a partial answer to a long-standing problem of Markov.

preprint2010arXiv

The Pinsker subgroup of an algebraic flow

The algebraic entropy h, defined for endomorphisms f of abelian groups G, measures the growth of the trajectories of non-empty finite subsets F of G with respect to f. We show that this growth can be either polynomial or exponential. The greatest f-invariant subgroup of G where this growth is polynomial coincides with the greatest f-invariant subgroup P(G,f) of G (named Pinsker subgroup of f) such that h(f|_P(G,f))=0. We obtain also an alternative characterization of P(G,f) from the point of view of the quasi-periodic points of f. This gives the following application in ergodic theory: for every continuous injective endomorphism g of a compact abelian group K there exists a largest g-invariant closed subgroup N of K such that g|_N is ergodic; furthermore, the induced endomorphism g&#39; of the quotient K/N has zero topological entropy.

preprint2009arXiv

Hewitt-Marczewski-Pondiczery type theorem for abelian groups and Markov&#39;s potential density

For an uncountable cardinal τand a subset S of an abelian group G, the following conditions are equivalent: (i) |{ns:s\in S}|\ge τfor all integers n\ge 1; (ii) there exists a group homomorphism π:G\to T^{2^τ} such that π(S) is dense in T^{2^τ}. Moreover, if |G|\le 2^{2^τ}, then the following item can be added to this list: (iii) there exists an isomorphism π:G\to G&#39; between G and a subgroup G&#39; of T^{2^τ} such that π(S) is dense in T^{2^τ}. We prove that the following conditions are equivalent for an uncountable subset S of an abelian group G that is either (almost) torsion-free or divisible: (a) S is T-dense in G for some Hausdorff group topology T on G; (b) S is T-dense in some precompact Hausdorff group topology T on G; (c) |{ns:s\in S}|\ge \min{τ:|G|\le 2^{2^τ}} for every integer n\ge 1. This partially resolves a question of Markov going back to 1946.

preprint2008arXiv

Quasi-convex sequences in the circle and the 3-adic integers

In this paper, we present families of quasi-convex sequences converging to zero in the circle group T, and the group J_3 of 3-adic integers. These sequences are determined by an increasing sequences of integers. For an increasing sequence \underline{a}=\{a_n\} of integers, put g_n=a_{n+1}-a_n. We prove that: (a) the set \{0\}\cup\{\pm 3^{-(a_n+1)} : n\in N\} is quasi-convex in T if and only if a_0>0 and g_n>1 for every n\in N; (b) the set \{0\}\cup\{\pm 3^{a_n} : n\in N\} is quasi-convex in the group J_3 of 3-adic integers if and only if g_n>1 for every n\in N. Moreover, we solve an open problem of Dikranjan and de Leo by providing a complete characterization of the sequences \underline{a} such that \{0\}\cup\{\pm 2^{-(a_n+1)} : n\in N\} is quasi-convex in T. Using this result, we also obtain a characterization of the sequences \underline{a} such that the set \{0\}\cup\{\pm 2^{-(a_n+1)} : n\in N\} is quasi-convex in R.

preprint2008arXiv

Super-sequences in the arc component of a compact connected group

Let G be an abelian topological group. The symbol \hat{G} denotes the group of all continuous characters χ: G --> T endowed with the compact open topology. A subset E of G is said to be qc-dense in G provided that χ(E) \subseteq ϕ([-1/4,1/4]) holds only for the trivial character χ\in \hat{G}, where ϕ: R --> T = R/Z is the canonical homomorphism. A super-sequence is a non-empty compact Hausdorff space S with at most one non-isolated point (to which S converges). We prove that an infinite compact abelian group G is connected if and only if its arc component G_a contains a super-sequence converging to 0 that is qc-dense in G. This gives as a corollary a recent theorem of Aussenhofer: For a connected locally compact abelian group G, the restriction homomorphism r : \hat{G} --> \hat{G}_a defined by r(χ) = χ\restriction_{G_a} for χ\in \hat{G}, is a topological isomorphism. We also show that an infinite compact group G is connected if and only if its arc component G_a contains a super-sequence S converging to the identity e that generates a dense subgroup of G (equivalently, S \setminus {e} is an infinite suitable set for G in the sense of Hofmann and Morris).