BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Laura Ciobanu

Laura Ciobanu contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.GRFormal Languages and Automata Theorymath.CODiscrete MathematicsLogic in Computer Sciencemath.LO

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
6works
0followers
6topics
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

6 published item(s)

preprint2026arXiv

Twisted commutativity and conjugacy ratio in groups

In this paper we introduce and study the degree of twisted commutativity and the twisted conjugacy ratio of a finitely generated group $G$. The degree of twisted commutativity $\mathrm{tdc}_X(φ, G)$ generalises the degree of commutativity of $G$, by measuring the density of pairs of elements with trivial twisted commutators in the ball of radius $n$ of $G$, as $n \rightarrow \infty$, where the twisting is done with respect to an endomorphism $φ$ of $G$. We compute $\mathrm{tdc}_X(φ, G)$ for several classes of groups, including virtually abelian groups, groups of subexponential growth, and free groups. We then study the twisted conjugacy ratio $\mathrm{tcr}_{X}(φ, G)$, which is the limit at infinity of the quotient of the twisted conjugacy and standard growth functions. We compute $\mathrm{tcr}_{X}(φ, G)$ for virtually abelian groups, and give examples of groups of exponential growth such that $\mathrm{tcr}_{X}(φ, G) = 0$.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Group equations with abelian predicates

In this paper we begin the systematic study of group equations with abelian predicates in the main classes of groups where solving equations is possible. We extend the line of work on word equations with length constraints, and more generally, on extensions of the existential theory of semigroups, to the world of groups. We use interpretability by equations to establish model-theoretic and algebraic conditions which are sufficient to get undecidability. We apply our results to (non-abelian) right-angled Artin groups, and show that the problem of solving equations with abelian predicates is undecidable for these. We obtain the same result for hyperbolic groups whose abelianisation has torsion-free rank at least two. By contrast, we prove that in groups with finite abelianisation, the problem can be reduced to solving equations with recognisable constraints, and so this is decidable in right-angled Coxeter groups, or more generally, graph products of finite groups, as well as hyperbolic groups with finite abelianisation.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Formal conjugacy growth in graph products I

In this paper we give a recursive formula for the conjugacy growth series of a graph product in terms of the conjugacy growth and standard growth series of subgraph products. We also show that the conjugacy and standard growth rates in a graph product are equal provided that this property holds for each vertex group. All results are obtained for the standard generating set consisting of the union of generating sets of the vertex groups.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Geodesic growth of right-angled Coxeter groups based on trees

In this paper we exhibit two infinite families of trees $\{T^1_n\}_{n \geq 17}$ and $\{T^2_n\}_{n \geq 17}$ on $n$ vertices, such that $T^1_n$ and $T^2_n$ are non-isomorphic, co-spectral, and the right-angled Coxeter groups (RACGs) based on $T^1_n$ and $T^2_n$ have the same geodesic growth with respect to the standard generating set. We then show that the spectrum of a tree does is not sufficient to determine the geodesic growth of the RACG based on that tree, by providing two infinite families of trees $\{S^1_n\}_{n \geq 11}$ and $\{S^2_n\}_{n \geq 11}$, on $n$ vertices, such that $S^1_n$ and $S^2_n$ are non-isomorphic, co-spectral, and the right-angled Coxeter groups (RACGs) based on $S^1_n$ and $S^2_n$ have distinct geodesic growth. Asymptotically, as $n\rightarrow \infty$, each set $T^i_n$, or $S^i_n$, $i=1,2$, has the cardinality of the set of all trees on $n$ vertices. Our proofs are constructive and use two families of trees previously studied by B. McKay and C. Godsil.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The Post Correspondence Problem and equalisers for certain free group and monoid morphisms

A marked free monoid morphism is a morphism for which the image of each generator starts with a different letter, and immersions are the analogous maps in free groups. We show that the (simultaneous) PCP is decidable for immersions of free groups, and provide an algorithm to compute bases for the sets, called equalisers, on which the immersions take the same values. We also answer a question of Stallings about the rank of the equaliser. Analogous results are proven for marked morphisms of free monoids.

0 citations0 reviewsNo code linkedOpen access