Researcher profile

Giovanni Panti

Giovanni Panti contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

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

7 published item(s)

preprint2022arXiv

Attractors of dual continued fractions

Given a Farey-type map F with full branches in the extended Hecke group Gamma_m, its dual F_# results from constructing the natural extension of F, letting time go backwards, and projecting. Although numerical simulations may suggest otherwise, we show that the domain of F_# is always tame, that is, it always contains intervals. As a main technical tool we construct, for every m=3,4,5,..., a homeomorphism M_m that simultaneously linearizes all maps with branches in Gamma_m, and show that the resulting dual linearized iterated function system satisfies the strong open set condition. We explicitly compute the Holder exponent of every M_m, generalizing Salem's results for the Minkowski question mark function M_3.

preprint2020arXiv

Billiards on pythagorean triples and their Minkowski functions

It has long been known that the set of primitive pythagorean triples can be enumerated by descending certain ternary trees. We unify these treatments by considering hyperbolic billiard tables in the Poincare disk model. Our tables have m>=3 ideal vertices, and are subject to the restriction that reflections in the table walls are induced by matrices in the triangle group PSU^\pm_{1,1}\Zbb[i]. The resulting billiard map \tilde B acts on the de Sitter space x_1^2+x_2^2-x_3^2=1, and has a natural factor B on the unit circle, the pythagorean triples appearing as the B-preimages of fixed points. We compute the invariant densities of these maps, and prove the Lagrange and Galois theorems: A complex number of unit modulus has a preperiodic (purely periodic) B-orbit precisely when it is quadratic (and isolated from its conjugate by a billiard wall) over Q(i). Each B as above is a (m-1)-to-1 orientation-reversing covering map of the circle, a property shared by the group character T(z)=z^{-(m-1)}. We prove that there exists a homeomorphism Phi, unique up to postcomposition with elements in a dihedral group, that conjugates B with T; in particular Phi -- whose prototype is the classical Minkowski question mark function -- establishes a bijection between the set of points of degree <=2 over Q(i) and the torsion subgroup of the circle. We provide an explicit formula for Phi, and prove that Phi is singular and Holder continuous with exponent log(m-1) divided by the maximal periodic mean free path in the associated billiard table.

preprint2018arXiv

Decreasing height along continued fractions

The fact that the euclidean algorithm eventually terminates is pervasive in mathematics. In the language of continued fractions, it can be stated by saying that the orbits of rational points under the Gauss map x-->{1/x} eventually reach zero. Analogues of this fact for Gauss maps defined over quadratic number fields have relevance in the theory of flows on translation surfaces, and have been established via powerful machinery, ultimately relying on the Veech dichotomy. In this paper, for each commensurability class of noncocompact triangle groups of quadratic invariant trace field, we construct a Gauss map whose defining matrices generate a group in the class; we then provide a direct and self-contained proof of termination. As a byproduct, we provide a new proof of the fact that noncocompact triangle groups of quadratic invariant trace field have the projective line over that field as the set of cross-ratios of cusps. Our proof is based on an analysis of the action of nonnegative matrices with quadratic integer entries on the Weil height of points. As a consequence of the analysis, we show that long symbolic sequences in the alphabet of our maps can be effectively split into blocks of predetermined shape having the property that the height of points which obey the sequence and belong to the base field decreases strictly at each block end. Since the height cannot decrease infinitely, the termination property follows.

preprint2015arXiv

The weighted Farey sequence and a sliding section for the horocycle flow

The Farey sequence is the sequence of all rational numbers in the real unit interval, stratified by increasing denominators. A classical result by Hall says that its normalized gap distribution is the same as the distribution of the random variable 1/(2 zeta(2) xy) on a certain unit triangle. In this paper we weight the denominators by an arbitrary piecewise-smooth continuous function, and we characterize the resulting gap distribution as that of a multiple of the above variable, defined on a certain unit pentagon. Our characterization refines previous results by Boca, Cobeli and Zaharescu, but employs completely different techniques. Building upon recent work by Athreya and Cheung, we construct a varying-with-time Poincaré section for the horocycle flow on the space of unimodular lattices, and we interpret the weighted Farey sequence as the list of return times to the section. Under an appropriate parametrization, our pentagon appears as the orbit of Hall&#39;s triangle under the motion of the section, and basic equidistribution results for long closed horocycles yield explicit formulas for the limit transverse measure.

preprint2013arXiv

Measures induced by units

The half-open real unit interval (0,1] is closed under the ordinary multiplication and its residuum. The corresponding infinite-valued propositional logic has as its equivalent algebraic semantics the equational class of cancellative hoops. Fixing a strong unit in a cancellative hoop -equivalently, in the enveloping lattice-ordered abelian group- amounts to fixing a gauge scale for falsity. In this paper we show that any strong unit in a finitely presented cancellative hoop H induces naturally (i.e., in a representation-independent way) an automorphism-invariant positive normalized linear functional on H. Since H is representable as a uniformly dense set of continuous functions on its maximal spectrum, such functionals -in this context usually called states- amount to automorphism-invariant finite Borel measures on the spectrum. Different choices for the unit may be algebraically unrelated (e.g., they may lie in different orbits under the automorphism group of H), but our second main result shows that the corresponding measures are always absolutely continuous w.r.t. each other, and provides an explicit expression for the reciprocal density.

preprint2010arXiv

Kakutani-von Neumann maps on simplexes

A Kakutani-von Neumann map is the push-forward of the group rotation (Z_2,+1) to a unit simplex via an appropriate topological quotient. The usual quotient towards the unit interval is given by the base 2 expansion of real numbers, which in turn is induced by the doubling map. In this paper we replace the doubling map with an n-dimensional generalization of the tent map; this allows us to define Kakutani-von Neumann transformations in simplexes of arbitrary dimensions. The resulting maps are piecewise-linear bijections (not just mod 0 bijections), whose orbits are all uniformly distributed; in particular, they are uniquely ergodic w.r.t. the Lebesgue measure. The forward orbit of a certain vertex provides an enumeration of all points in the simplex having dyadic coordinates, and this enumeration can be translated via the n-dimensional Minkowski function to an enumeration of all rational points. In the course of establishing the above results, we introduce a family of {+1,-1}-valued functions, constituting an n-dimensional analogue of the classical Walsh functions.