Showing 1–31 of 31 results for author: Boca, F P

On the distribution of $\operatorname{SL}(2,{\mathbb N})$-saturated Farey fractions

Authors: Jack Anderson, Florin P. Boca, Cristian Cobeli, Alexandru Zaharescu

Abstract: We consider the ordered set ${\mathscr S}_Q$ of Farey fractions $d/b$ of order $Q$ with the property that there exists a matrix $\left( \begin{smallmatrix} a & b \\ c & d \end{smallmatrix} \right) \in \operatorname{SL}(2,{\mathbb Z})$ of trace at most $Q$, with positive entries and $a\ge \max\{ b,c\}$. For every $Q\ge 3$, the set ${\mathscr S}_Q \cup \{ 0\}$ defines a unimodular partition of the i… ▽ More We consider the ordered set ${\mathscr S}_Q$ of Farey fractions $d/b$ of order $Q$ with the property that there exists a matrix $\left( \begin{smallmatrix} a & b \\ c & d \end{smallmatrix} \right) \in \operatorname{SL}(2,{\mathbb Z})$ of trace at most $Q$, with positive entries and $a\ge \max\{ b,c\}$. For every $Q\ge 3$, the set ${\mathscr S}_Q \cup \{ 0\}$ defines a unimodular partition of the interval $[0,1]$. We prove that the elements of ${\mathscr S}_Q$ are asymptotically distributed with respect to the probability measure with density $ (1/(1+x) -1/(2+x) )/\log (4/3) $ and that the sequence of sets $({\mathscr S}_Q)_Q$ has a limiting gap distribution as $Q\rightarrow \infty$. △ Less

Submitted 23 April, 2025; v1 submitted 5 February, 2025; originally announced February 2025.

Comments: Major revision. Added an appendix proving that the set ${\mathscr S}_Q \cup \{ 0\}$ defines a unimodular partition of $[0,1]$

MSC Class: 11B57; 11J71; 11K36; 11L05

Angular distribution towards the points of the neighbor-flips modular curve seen by a fast moving observer

Authors: Jack Anderson, Florin P. Boca, Cristian Cobeli, Alexandru Zaharescu

Abstract: Let $h$ be a fixed non-zero integer. For every $t\in \mathbb{R}_+$ and every prime $p$, consider the angles between rays from an observer located at the point $(-tJ_p^2,0)$ on the real axis towards the set of all integral solutions $(x,y)$ of the equation $y^{-1}-x^{-1}\equiv h \pmod{p}$ in the square $[-J_p,J_p]^2$, where $J_p=(p-1)/2$. We prove the existence of the limiting gap distribution for… ▽ More Let $h$ be a fixed non-zero integer. For every $t\in \mathbb{R}_+$ and every prime $p$, consider the angles between rays from an observer located at the point $(-tJ_p^2,0)$ on the real axis towards the set of all integral solutions $(x,y)$ of the equation $y^{-1}-x^{-1}\equiv h \pmod{p}$ in the square $[-J_p,J_p]^2$, where $J_p=(p-1)/2$. We prove the existence of the limiting gap distribution for this set of angles as $p\rightarrow \infty$, providing explicit formulas for the corresponding density function, which turns out to be independent of $h$. △ Less

Submitted 7 April, 2025; v1 submitted 22 December, 2023; originally announced December 2023.

Comments: 14 pages, 11 figures; minor revision in proof of Theorem 1, results unchanged

MSC Class: 11P21 (primary) 11B05; 11L07 (secondary)

Distribution of angles to lattice points seen from a fast moving observer

Authors: Jack Anderson, Florin P. Boca, Cristian Cobeli, Alexandru Zaharescu

Abstract: We consider a square expanding with constant speed seen from an observer moving away with constant acceleration and study the distribution of angles between rays from the observer towards the lattice points in the square. We prove the existence of the gap distribution as time tends to infinity and provide explicit formulas for the corresponding density function. We consider a square expanding with constant speed seen from an observer moving away with constant acceleration and study the distribution of angles between rays from the observer towards the lattice points in the square. We prove the existence of the gap distribution as time tends to infinity and provide explicit formulas for the corresponding density function. △ Less

Submitted 27 July, 2023; originally announced July 2023.

Comments: 25 pages, 8 figures, 1 table

MSC Class: 11P21 (Primary) 11K99; 11B99 (Secondary)

Factors of type III and the distribution of prime numbers

Authors: Florin P. Boca, Alexandru Zaharescu

Abstract: This version of the paper corrects an inaccuracy in the proof of Theorem 2.9 in the published version. The main results remain unchanged. This version of the paper corrects an inaccuracy in the proof of Theorem 2.9 in the published version. The main results remain unchanged. △ Less

Submitted 28 December, 2022; originally announced December 2022.

Comments: Corrected arXiv version of the published paper

MSC Class: 46L35; 11N05

Journal ref: Proc. London Math. Soc. 80 (2000), 145-178

On the Gauss-Kuzmin-Lévy problem for nearest integer continued fractions

Authors: Florin P. Boca, Maria Siskaki

Abstract: This note provides an effective bound in the Gauss-Kuzmin-Lévy problem for some Gauss type shifts associated with nearest integer continued fractions, acting on the interval $I_0=[0,\frac{1}{2}]$ or $I_0=[-\frac{1}{2},\frac{1}{2}]$. We prove asymptotic formulas $λ(T^{-n}I) =μ(I)(\vert I_0 \vert +O(q^n))$ for such transformations $T$, where $λ$ is the Lebesgue measure on $\mathbb R$, $μ$ the normal… ▽ More This note provides an effective bound in the Gauss-Kuzmin-Lévy problem for some Gauss type shifts associated with nearest integer continued fractions, acting on the interval $I_0=[0,\frac{1}{2}]$ or $I_0=[-\frac{1}{2},\frac{1}{2}]$. We prove asymptotic formulas $λ(T^{-n}I) =μ(I)(\vert I_0 \vert +O(q^n))$ for such transformations $T$, where $λ$ is the Lebesgue measure on $\mathbb R$, $μ$ the normalized $T$-invariant Lebesgue absolutely continuous measure, $I$ subinterval in $I_0$, and $q=0.288$ is smaller than the Wirsing constant $q_W=0.3036\ldots$ △ Less

Submitted 1 April, 2024; v1 submitted 15 September, 2022; originally announced September 2022.

Comments: Updated two references

MSC Class: 11K50; 37A05; 37A44; 47B38

A note on the pair correlation of Farey fractions

Authors: Florin P. Boca, Maria Siskaki

Abstract: The pair correlations of Farey fractions with denominators $q$ satisfying $(q,m)=1$, respectively $q\equiv b \pmod{m}$ with $(b,m)=1$, are shown to exist and are explicitly computed. The pair correlations of Farey fractions with denominators $q$ satisfying $(q,m)=1$, respectively $q\equiv b \pmod{m}$ with $(b,m)=1$, are shown to exist and are explicitly computed. △ Less

Submitted 19 September, 2022; v1 submitted 26 September, 2021; originally announced September 2021.

Comments: 12 pages, one figure

MSC Class: Primary 11J71; Secondary 11B57; 11K38

Distribution of periodic points of certain Gauss shifts with infinite invariant measure

Authors: Florin P. Boca, Maria Siskaki

Abstract: This paper investigates the periodic points of the Gauss type shifts associated to the even continued fraction (Schweiger) and to the backward continued fraction (Rényi). We show that they coincide exactly with two sets of quadratic irrationals that we call $E$-reduced, and respectively $B$-reduced. We prove that these numbers are equidistributed with respect to the (infinite) Lebesgue absolutely… ▽ More This paper investigates the periodic points of the Gauss type shifts associated to the even continued fraction (Schweiger) and to the backward continued fraction (Rényi). We show that they coincide exactly with two sets of quadratic irrationals that we call $E$-reduced, and respectively $B$-reduced. We prove that these numbers are equidistributed with respect to the (infinite) Lebesgue absolutely continuous invariant measures of the corresponding Gauss shift. △ Less

Submitted 29 March, 2021; v1 submitted 31 July, 2020; originally announced August 2020.

Comments: 29 pages, added an appendix with examples, fixed a few typos

MSC Class: 37A44 (Primary) 11J70; 11N37; 37D40 (Secondary)

$α$-Expansions with odd partial quotients

Authors: Florin P. Boca, Claire Merriman

Abstract: We consider an analogue of Nakada's $α$-continued fraction transformation in the setting of continued fractions with odd partial quotients. More precisely, given $α\in [\frac{1}{2}(\sqrt{5}-1),\frac{1}{2}(\sqrt{5}+1)]$, we show that every irrational number $x\in I_α=[α-2,α)$ can be uniquely represented as $$ x= \cfrac{e_1 (x;α)}{d_1 (x;α) +\cfrac{e_2(x;α)}{d_2(x;α)+\cdots}} , $$ with… ▽ More We consider an analogue of Nakada's $α$-continued fraction transformation in the setting of continued fractions with odd partial quotients. More precisely, given $α\in [\frac{1}{2}(\sqrt{5}-1),\frac{1}{2}(\sqrt{5}+1)]$, we show that every irrational number $x\in I_α=[α-2,α)$ can be uniquely represented as $$ x= \cfrac{e_1 (x;α)}{d_1 (x;α) +\cfrac{e_2(x;α)}{d_2(x;α)+\cdots}} , $$ with $e_i(x;α) \in \{ \pm 1\}$ and $d_i(x;α) \in 2{\mathbb N} -1$ determined by the iterates of the transformation $$\varphi_α(x) := \frac{1}{| x|} - 2 \bigg[ \frac{1}{2| x|} +\frac{1-α}{2} \bigg]-1$$ of $I_α$. We also describe the natural extension of $\varphi_α$ and prove that the endomorphism $\varphi_α$ is exact. △ Less

Submitted 30 June, 2019; v1 submitted 15 June, 2018; originally announced June 2018.

Comments: a few typos corrected in the published version

MSC Class: 37E05; 11J70; 11K50; 37A35

Journal ref: J. Number Theory 199 (2019), 322-341

Coding of geodesics on some modular surfaces and applications to odd and even continued fractions

Authors: Florin P. Boca, Claire Merriman

Abstract: The connection between geodesics on the modular surface $\operatorname{PSL}(2,{\mathbb Z})\backslash {\mathbb H}$ and regular continued fractions, established by Series, is extended to a connection between geodesics on $Γ\backslash {\mathbb H}$ and odd and grotesque continued fractions, where $Γ\cong {\Bbb Z}_3 \ast {\Bbb Z}_3$ is the index two subgroup of $\operatorname{PSL}(2,{\mathbb Z})$ gener… ▽ More The connection between geodesics on the modular surface $\operatorname{PSL}(2,{\mathbb Z})\backslash {\mathbb H}$ and regular continued fractions, established by Series, is extended to a connection between geodesics on $Γ\backslash {\mathbb H}$ and odd and grotesque continued fractions, where $Γ\cong {\Bbb Z}_3 \ast {\Bbb Z}_3$ is the index two subgroup of $\operatorname{PSL}(2,{\mathbb Z})$ generated by the order three elements $\left( \begin{smallmatrix} 0 & -1 \\ 1 & 1 \end{smallmatrix} \right)$ and $\left( \begin{smallmatrix} 0 & 1 \\ -1 & 1 \end{smallmatrix} \right)$, having an ideal quadrilateral as fundamental domain. A similar connection between geodesics on $Θ\backslash {\mathbb H}$ and even continued fractions is discussed in our framework, where $Θ$ denotes the Theta subgroup of $\operatorname{PSL}(2,{\mathbb Z})$ generated by $\left( \begin{smallmatrix} 0 & -1 \\ 1 & 0 \end{smallmatrix} \right)$ and $\left( \begin{smallmatrix} 1 & 2 \\ 0 & 1 \end{smallmatrix} \right)$. △ Less

Submitted 30 June, 2019; v1 submitted 18 November, 2017; originally announced November 2017.

Comments: 19 pages, minor typos corrected and clarifications added in the published version

MSC Class: 37E35; 37E05; 37B10; 11A55; 11K50

Journal ref: Indag. Math. (N.S.) 29 (2018), no. 5, 1214-1234

On Minkowski type question mark functions associated with even or odd continued fractions

Authors: Florin P. Boca, Christopher Linden

Abstract: We study analogues of Minkowski's question mark function $?(x)$ related to continued fractions with even or odd partial quotients. We prove that these functions are Hölder continuous with precise exponents, and that they linearize the appropriate versions of the Gauss and Farey maps. We study analogues of Minkowski's question mark function $?(x)$ related to continued fractions with even or odd partial quotients. We prove that these functions are Hölder continuous with precise exponents, and that they linearize the appropriate versions of the Gauss and Farey maps. △ Less

Submitted 5 June, 2018; v1 submitted 2 May, 2017; originally announced May 2017.

Comments: 17 pages; updated version

MSC Class: 26A30; 11A55; 11B57; 11B83; 37B10; 37E25

Journal ref: Monatsh. Math. 187 (2018), no.1, 35-57

Limiting distribution of eigenvalues in the large sieve matrix

Authors: Florin P. Boca, Maksym Radziwiłł

Abstract: The large sieve inequality is equivalent to the bound $λ_1 \leqslant N + Q^2-1$ for the largest eigenvalue $λ_1$ of the $N$ by $N$ matrix $A^{\star} A$, naturally associated to the positive definite quadratic form arising in the inequality. For arithmetic applications the most interesting range is $N \asymp Q^2$. Based on his numerical data Ramaré conjectured that when $N \sim αQ^2$ as… ▽ More The large sieve inequality is equivalent to the bound $λ_1 \leqslant N + Q^2-1$ for the largest eigenvalue $λ_1$ of the $N$ by $N$ matrix $A^{\star} A$, naturally associated to the positive definite quadratic form arising in the inequality. For arithmetic applications the most interesting range is $N \asymp Q^2$. Based on his numerical data Ramaré conjectured that when $N \sim αQ^2$ as $Q \rightarrow \infty$ for some finite positive constant $α$, the limiting distribution of the eigenvalues of $A^{\star} A$, scaled by $1/N$, exists and is non-degenerate. In this paper we prove this conjecture by establishing the convergence of all moments of the eigenvalues of $A^{\star} A$ as $Q\rightarrow\infty$. Previously only the second moment was known, due to Ramaré. Furthermore, we obtain an explicit description of the moments of the limiting distribution, and establish that they vary continuously with $α$. Some of the main ingredients in our proof include the large-sieve inequality and results on $n$-correlations of Farey fractions. △ Less

Submitted 14 June, 2018; v1 submitted 19 September, 2016; originally announced September 2016.

Comments: 42 pages; section 5 re-written following referee report

A note on full free product C*-algebras, lifting and quasidiagonality

Authors: Florin P. Boca

Abstract: We study lifting properties for full product C*-algebras with amalgamation over ${\mathbb C}1$ and give new proofs for some results of Kirchberg and Pisier. We extend the result of Choi on the quasidiagonality of $C^*({\mathbb F}_n)$, proving that the free product with amalgamation over ${\mathbb C}1$ of a family of unital quasidiagonal C*-algebras is quasidiagonal. We study lifting properties for full product C*-algebras with amalgamation over ${\mathbb C}1$ and give new proofs for some results of Kirchberg and Pisier. We extend the result of Choi on the quasidiagonality of $C^*({\mathbb F}_n)$, proving that the free product with amalgamation over ${\mathbb C}1$ of a family of unital quasidiagonal C*-algebras is quasidiagonal. △ Less

Submitted 13 August, 2015; originally announced August 2015.

MSC Class: 46M05

Journal ref: Proceedings of the 16th International Conference on Operator Theory (Timisoara, 1996), The Theta Foundation, Bucharest 1997, pp. 51-63

Pair correlation of hyperbolic lattice angles

Authors: Florin P. Boca, Alexandru A. Popa, Alexandru Zaharescu

Abstract: Let $ω$ be a point in the upper half plane, and let $Γ$ be a discrete, finite covolume subgroup of $\mathrm{PSL}_2(\mathbb{R})$. We conjecture an explicit formula for the pair correlation of the angles between geodesic rays of the lattice $Γω$, intersected with increasingly large balls centered at $ω$. We prove this conjecture for $Γ=\mathrm{PSL}_2(\mathbb{Z})$ and $ω$ an elliptic point. Let $ω$ be a point in the upper half plane, and let $Γ$ be a discrete, finite covolume subgroup of $\mathrm{PSL}_2(\mathbb{R})$. We conjecture an explicit formula for the pair correlation of the angles between geodesic rays of the lattice $Γω$, intersected with increasingly large balls centered at $ω$. We prove this conjecture for $Γ=\mathrm{PSL}_2(\mathbb{Z})$ and $ω$ an elliptic point. △ Less

Submitted 29 March, 2014; v1 submitted 20 February, 2013; originally announced February 2013.

Comments: 28 pages. Final version

MSC Class: 11K36 (Primary) 11M36; 11J71; 11P21; 37D40 (Secondary)

Gap distribution of Farey fractions under some divisibility constraints

Authors: Florin P. Boca, Byron Heersink, Paul Spiegelhalter

Abstract: For a fixed positive integer d, we show the existence of the limiting gap distribution measure for the sets of Farey fractions a/q of order Q with a not divisible by d, and respectively with q relatively prime with d, as Q tends to infinity. For a fixed positive integer d, we show the existence of the limiting gap distribution measure for the sets of Farey fractions a/q of order Q with a not divisible by d, and respectively with q relatively prime with d, as Q tends to infinity. △ Less

Submitted 11 April, 2013; v1 submitted 2 January, 2013; originally announced January 2013.

Comments: 15 pages, revised version

MSC Class: 11J71; 11B57; 11K38; 11L05

Pair correlation of angles between reciprocal geodesics on the modular surface

Authors: Florin P. Boca, Vicentiu Pasol, Alexandru A. Popa, Alexandru Zaharescu

Abstract: The existence of the limiting pair correlation for angles between reciprocal geodesics on the modular surface is established. An explicit formula is provided, which captures geometric information about the length of reciprocal geodesics, as well as arithmetic information about the associated reciprocal classes of binary quadratic forms. One striking feature is the absence of a gap beyond zero in t… ▽ More The existence of the limiting pair correlation for angles between reciprocal geodesics on the modular surface is established. An explicit formula is provided, which captures geometric information about the length of reciprocal geodesics, as well as arithmetic information about the associated reciprocal classes of binary quadratic forms. One striking feature is the absence of a gap beyond zero in the limiting distribution, contrasting with the analog Euclidean situation. △ Less

Submitted 23 November, 2013; v1 submitted 1 February, 2011; originally announced February 2011.

Comments: 27 pages, 6 figures. Version accepted for publication

MSC Class: 11K36 (Primary) 11J71; 11M36; 11P21; 37D40 (Secondary)

Journal ref: Algebra Number Theory 8 (2014) 999-1035

On certain statistical properties of continued fractions with even and with odd partial quotients

Authors: Florin P. Boca, Joseph Vandehey

Abstract: We prove results concerning the joint limiting distribution of the renewal time of denominators and consecutive digits of random irrational numbers in the case of continued fractions with even partial quotients, with odd partial quotients, and for Nakada's α-expansions. We prove results concerning the joint limiting distribution of the renewal time of denominators and consecutive digits of random irrational numbers in the case of continued fractions with even partial quotients, with odd partial quotients, and for Nakada's α-expansions. △ Less

Submitted 28 December, 2012; v1 submitted 17 August, 2010; originally announced August 2010.

Comments: Final version

MSC Class: 11A55; 11K50; 37A45

Distribution of the linear flow length in a honeycomb in the small-scatterer limit

Authors: Florin P. Boca

Abstract: We study the statistics of the linear flow in a punctured honeycomb lattice, or equivalently the free motion of a particle on a regular hexagonal billiard table with holes of equal size at the corners and obeying the customary reflection rules. In the small-scatterer limit we prove the existence of the limiting distribution of the free path length with randomly chosen origin of the trajectory and… ▽ More We study the statistics of the linear flow in a punctured honeycomb lattice, or equivalently the free motion of a particle on a regular hexagonal billiard table with holes of equal size at the corners and obeying the customary reflection rules. In the small-scatterer limit we prove the existence of the limiting distribution of the free path length with randomly chosen origin of the trajectory and explicitly compute it. △ Less

Submitted 1 June, 2010; v1 submitted 15 July, 2009; originally announced July 2009.

Comments: 3rd draft. New title and improved presentation

On the distribution of the free path length of the linear flow in a honeycomb

Authors: Florin P. Boca, Radu N. Gologan

Abstract: Let $\ell \geq 2$ be an integer. For each $\eps >0$ remove from $\R^2$ the union of discs of radius $\eps$ centered at the integer lattice points $(m,n$, with $m\nequiv n\mod{\ell}$. Consider a point-like particle moving linearly at unit speed, with velocity $ω$, along a trajectory starting at the origin, and its free path length $τ_{\ell,\eps} (ω)\in [0,\infty]$. We prove the weak convergence o… ▽ More Let $\ell \geq 2$ be an integer. For each $\eps >0$ remove from $\R^2$ the union of discs of radius $\eps$ centered at the integer lattice points $(m,n$, with $m\nequiv n\mod{\ell}$. Consider a point-like particle moving linearly at unit speed, with velocity $ω$, along a trajectory starting at the origin, and its free path length $τ_{\ell,\eps} (ω)\in [0,\infty]$. We prove the weak convergence of the probability measures associated with the random variables $\eps τ_{\ell,\eps}$ as $\eps \to 0^+$ and explicitly compute the limiting distribution. For $\ell=3$ this leads to an asymptotic formula for the length of the trajectory of a billiard in a regular hexagon, starting at the center, with circular pockets of radius $\eps\to 0^+$ removed from the corners. For $\ell=2$ this corresponds to the trajectory of a billiard in a unit square with circular pockets removed from the corners and trajectory starting at the center of the square. The limiting probability measures on $[0,\infty)$ have a tail at infinity, which contrasts with the case of a square with pockets and trajectory starting from one of the corners, where the limiting probability measure has compact support. △ Less

Submitted 8 July, 2008; v1 submitted 7 February, 2008; originally announced February 2008.

Comments: 20 pages, 9 figures

MSC Class: 37A60; 11B57; 11L05; 11P21; 37D50; 82C40; 82D05

On the distribution of angles between geodesic rays associated with hyperbolic lattice points

Authors: Florin P. Boca

Abstract: For every two points $z_0,z_1$ in the upper half-plane, consider all elements $γ$ in the principal congruence group $Γ(N)$, acting on the upper half-plane by fractional linear transformations, such that the hyperbolic distance between $z_1$ and $γz_0$ is at most $R>0$. We study the distribution of angles between the geodesic rays $[z_1,γz_0]$ as $R\to \infty$, proving that the limiting distribut… ▽ More For every two points $z_0,z_1$ in the upper half-plane, consider all elements $γ$ in the principal congruence group $Γ(N)$, acting on the upper half-plane by fractional linear transformations, such that the hyperbolic distance between $z_1$ and $γz_0$ is at most $R>0$. We study the distribution of angles between the geodesic rays $[z_1,γz_0]$ as $R\to \infty$, proving that the limiting distribution exists independently of $N$ and explicitly computing it. When $z_1=z_0$ this is found to be the uniform distribution on the interval $[-π/2,π/2]$. △ Less

Submitted 1 January, 2007; v1 submitted 3 August, 2006; originally announced August 2006.

Comments: 12 pages

MSC Class: 11P21; 11L05; 30F35; 51M09

An AF algebra associated with the Farey tessellation

Authors: Florin P. Boca

Abstract: To the Farey tessellation of the upper half-plane we associate an AF algebra encoding the cutting sequences that define vertical geodesics. The Effros-Shen AF algebras arise as quotients of our algebra. Using the path algebra model for AF algebras we construct for each $τ\in (0,1/4\big]$, projections $(E_n)$ in this algebra such that $E_n E_{n\pm 1}E_n \leq τE_n$. To the Farey tessellation of the upper half-plane we associate an AF algebra encoding the cutting sequences that define vertical geodesics. The Effros-Shen AF algebras arise as quotients of our algebra. Using the path algebra model for AF algebras we construct for each $τ\in (0,1/4\big]$, projections $(E_n)$ in this algebra such that $E_n E_{n\pm 1}E_n \leq τE_n$. △ Less

Submitted 21 June, 2008; v1 submitted 20 November, 2005; originally announced November 2005.

Comments: 23 pages, 20 figures

Products of matrices $[ \begin{smallmatrix} 1 & 1 \\ 0 & 1 \end{smallmatrix}]$ and $[ \begin{smallmatrix} 1 & 0 \\ 1 & 1 \end{smallmatrix} ]$ and the distribution of reduced quadratic irrationals

Authors: Florin P. Boca

Abstract: Let $Φ(N)$ denote the number of products of matrices $[ \begin{smallmatrix} 1 & 1 \\ 0 & 1 \end{smallmatrix}]$ and $[ \begin{smallmatrix} 1 & 0 \\ 1 & 1 \end{smallmatrix} ]$ of trace equal to $N$, and $Ψ(N)=\sum_{n=3}^N Φ(n)$ be the number of such products of trace between $3$ and $N$. We prove an asymptotic formula of type $Ψ(N) = c_1 N^2 \log N +c_2 N^2 + O_\varepsilon (N^{7/4+\varepsilon})$ as… ▽ More Let $Φ(N)$ denote the number of products of matrices $[ \begin{smallmatrix} 1 & 1 \\ 0 & 1 \end{smallmatrix}]$ and $[ \begin{smallmatrix} 1 & 0 \\ 1 & 1 \end{smallmatrix} ]$ of trace equal to $N$, and $Ψ(N)=\sum_{n=3}^N Φ(n)$ be the number of such products of trace between $3$ and $N$. We prove an asymptotic formula of type $Ψ(N) = c_1 N^2 \log N +c_2 N^2 + O_\varepsilon (N^{7/4+\varepsilon})$ as $N\to \infty$. As a result, the Dirichlet series $\sum_{n=1}^\infty Φ(n) n^{-s}$ has a meromorphic extension in the half-plane $\Re (s)>7/4$ with a single, order two pole at $s=2$. Our estimate also improves on an asymptotic result of Faivre concerning the distribution of reduced quadratic irrationals, providing an explicit upper bound for the error term. △ Less

Submitted 7 June, 2020; v1 submitted 9 March, 2005; originally announced March 2005.

Comments: 17 pages; catches a few typos in the printed version

MSC Class: 11N37; 11Z05; 82B20; 82B26

Journal ref: J. Reine Angew. Mathematik 606 (2007), 149-165

The correlations of Farey fractions

Authors: Florin P. Boca, Alexandru Zaharescu

Abstract: We prove that all correlations of the sequence of Farey fractions exist and provide formulas for the correlation measures. We prove that all correlations of the sequence of Farey fractions exist and provide formulas for the correlation measures. △ Less

Submitted 18 January, 2005; v1 submitted 6 April, 2004; originally announced April 2004.

Comments: 18 pages, 1 figure. To appear in J. London Math. Soc

MSC Class: 11J71; 11B57; 11K36

On the correlations of directions in the Euclidean plane

Authors: Florin P. Boca, Alexandru Zaharescu

Abstract: We study the correlations of directions $P_0 P$ in the Euclidean plane, where $P_0$ is a point in a fixed disc, $P$ is an integer lattice point in the square $[-Q,Q]^2$, and $Q\to \infty$. We study the correlations of directions $P_0 P$ in the Euclidean plane, where $P_0$ is a point in a fixed disc, $P$ is an integer lattice point in the square $[-Q,Q]^2$, and $Q\to \infty$. △ Less

Submitted 5 April, 2004; originally announced April 2004.

Comments: 33 pages, 3 figures

MSC Class: 11J71; 11J20; 11P21

The distribution of the free path lengths in the periodic two-dimensional Lorentz gas in the small-scatterer limit

Authors: Florin P. Boca, Alexandru Zaharescu

Abstract: We study the free path length and the geometric free path length in the model of the periodic two-dimensional Lorentz gas (Sinai billiard). We give a complete and rigorous proof for the existence of their distributions in the small-scatterer limit and explicitly compute them. As a corollary one gets a complete proof for the existence of the constant term $c=2-3\ln 2+\frac{27ζ(3)}{2π^2}$ in the… ▽ More We study the free path length and the geometric free path length in the model of the periodic two-dimensional Lorentz gas (Sinai billiard). We give a complete and rigorous proof for the existence of their distributions in the small-scatterer limit and explicitly compute them. As a corollary one gets a complete proof for the existence of the constant term $c=2-3\ln 2+\frac{27ζ(3)}{2π^2}$ in the asymptotic formula $h(T)=-2\ln \eps+c+o(1)$ of the KS entropy of the billiard map in this model, as conjectured by P. Dahlqvist. △ Less

Submitted 13 July, 2006; v1 submitted 23 January, 2003; originally announced January 2003.

MSC Class: Primary: 11K60 Secondary: 11P21; 11J83; 37A60;37A60; 37D50; 82C05; 82C40

On the distribution of the Farey sequence with odd denominators

Authors: F. P. Boca, C. Cobeli, A. Zaharescu

Abstract: We prove some asymptotic results on the distribution of h-tuples of consecutive Farey fractions of order Q with odd denominators as $Q\to \infty$. We prove some asymptotic results on the distribution of h-tuples of consecutive Farey fractions of order Q with odd denominators as $Q\to \infty$. △ Less

Submitted 23 December, 2003; v1 submitted 7 January, 2002; originally announced January 2002.

Comments: 16 pages, 1 diagram in XY-pic

MSC Class: 11B57

Journal ref: Michigan Math. J. 51 (2003), 557-573

On the index of Farey sequences

Authors: F. P. Boca, R. N. Gologan, A. Zaharescu

Abstract: We prove some asymptotic formulae concerning the distribution of the index of Farey fractions of order Q as $Q\to \infty$. We prove some asymptotic formulae concerning the distribution of the index of Farey fractions of order Q as $Q\to \infty$. △ Less

Submitted 23 December, 2003; v1 submitted 7 January, 2002; originally announced January 2002.

Comments: 14 pages, 1 figure

MSC Class: 11B57

Journal ref: Quart. J. Math. Oxford Ser. (2) 53 (2002), 377-391

Norm estimates of almost Mathieu operators

Authors: Florin P. Boca, Alexandru Zaharescu

Abstract: We estimate the norm of the almost Mathieu operator $H_{θ,λ} =U+U^*+(λ/2)(V+V^*)$ in the rotation $C^*$-algebra $A_θ=C^*(U,V unitaries;UV=e^{2πiθ} VU)$. In this process, we significantly improve the inequality $\| H_θ\| \leq 2\sqrt{2}$, $θ\in [0.25,0.5]$, conjectured by Beguin, Valette and Zuk. We estimate the norm of the almost Mathieu operator $H_{θ,λ} =U+U^*+(λ/2)(V+V^*)$ in the rotation $C^*$-algebra $A_θ=C^*(U,V unitaries;UV=e^{2πiθ} VU)$. In this process, we significantly improve the inequality $\| H_θ\| \leq 2\sqrt{2}$, $θ\in [0.25,0.5]$, conjectured by Beguin, Valette and Zuk. △ Less

Submitted 21 January, 2002; v1 submitted 14 January, 2002; originally announced January 2002.

Comments: 18 pages,3 figures

MSC Class: 47B36;47A30;81Q10;46L60

The statistics of the trajectory in a certain billiard in a flat two-torus

Authors: Florin P. Boca, Radu N. Gologan, Alexandru Zaharescu

Abstract: We consider a billiard in the punctured torus obtained by removing a small disk from the two-dimensional flat torus, with trajectory starting from the center of the puncture. In this case the phase space is given by the range of the velocity only. We prove that the probability measures on $[0,\infty)$ associated with the first exit time are weakly convergent when the size of the puncture tends t… ▽ More We consider a billiard in the punctured torus obtained by removing a small disk from the two-dimensional flat torus, with trajectory starting from the center of the puncture. In this case the phase space is given by the range of the velocity only. We prove that the probability measures on $[0,\infty)$ associated with the first exit time are weakly convergent when the size of the puncture tends to zero and explicitly compute the density of the limit. △ Less

Submitted 23 December, 2003; v1 submitted 19 October, 2001; originally announced October 2001.

Comments: 21 pages, 6 figures

MSC Class: 11B57; 82C40; 37D50; 58F25

Journal ref: Commun. Math. Phys. 240 (2003), 53-73

The average length of a trajectory in a certain billiard in a flat two-torus

Authors: Florin P. Boca, Radu N. Gologan, Alexandru Zaharescu

Abstract: We remove a small disc from the flat two-dimensional torus and consider a point-like particle that starts moving from the center of the disc with linear trajectory. We provide asymptotic estimates for the moments of the first exit time, with respect to the velocity, when the radius of the disc tends to zero. We remove a small disc from the flat two-dimensional torus and consider a point-like particle that starts moving from the center of the disc with linear trajectory. We provide asymptotic estimates for the moments of the first exit time, with respect to the velocity, when the radius of the disc tends to zero. △ Less

Submitted 23 December, 2003; v1 submitted 19 October, 2001; originally announced October 2001.

Comments: 28 pages, 5 figures

MSC Class: 11B57; 82C40; 37D50; 58F25

Journal ref: New York J. Math. 9 (2003), 53-73

Topological Entropy for the Canonical Endomorphism of Cuntz-Krieger Algebras

Authors: Florin P. Boca, Paul Goldstein

Abstract: It is shown that Voiculescu's toplogical entropy for the canonical endomorphism of a simple Cuntz-Krieger algebra O_A equals the logarithm of the spectral radius of A. It is shown that Voiculescu's toplogical entropy for the canonical endomorphism of a simple Cuntz-Krieger algebra O_A equals the logarithm of the spectral radius of A. △ Less

Submitted 30 June, 1999; originally announced June 1999.

Comments: 8 pages, LaTeX2e, uses AMSLaTeX and xy-pic

MSC Class: 46L55

Projections in Rotation Algebras and Theta Functions

Authors: Florin P. Boca

Abstract: For each $α\in (0,1)$, $A_α$ denotes the universal $C^*$-algebra generated by two unitaries $u$ and $v$, which satisfy the commutation relation $uv=\exp (2πiα)vu$. We consider the order four automorphism $σ$ of $A_α$ defined by $σ(u)=v$, $σ(v)=u^{-1}$ and describe a method for constructing projections in the fixed point algebra $A_α^σ$, using Rieffel's imprimitivity bimodules and Jacobi's theta fu… ▽ More For each $α\in (0,1)$, $A_α$ denotes the universal $C^*$-algebra generated by two unitaries $u$ and $v$, which satisfy the commutation relation $uv=\exp (2πiα)vu$. We consider the order four automorphism $σ$ of $A_α$ defined by $σ(u)=v$, $σ(v)=u^{-1}$ and describe a method for constructing projections in the fixed point algebra $A_α^σ$, using Rieffel's imprimitivity bimodules and Jacobi's theta functions. In the case $α=q^{-1}$, $q\in {\mathbf Z}$, $q\geq 2$, we give explicit formulae for such projections and find a lower bound for the norm of the Harper operator $u+u^* +v+v^*$. △ Less

Submitted 1 June, 2020; v1 submitted 27 March, 1998; originally announced March 1998.

Comments: Fixes some numerical issues in the published version

MSC Class: 46L05; 11F27; 46L85

Journal ref: Communications in Mathematical Physics 202 (1999), 325-357