scholarly journals Metrical properties for continued fractions of formal Laurent series

2021 ◽  
Vol 73 ◽  
pp. 101850
Author(s):  
Hui Hu ◽  
Mumtaz Hussain ◽  
Yueli Yu
2018 ◽  
Vol 61 (1) ◽  
pp. 283-293
Author(s):  
Poj Lertchoosakul ◽  
Radhakrishnan Nair

AbstractLet 𝔽q be the finite field of q elements. An analogue of the regular continued fraction expansion for an element α in the field of formal Laurent series over 𝔽q is given uniquely by $$\alpha = A_0(\alpha ) + \displaystyle{1 \over {A_1(\alpha ) + \displaystyle{1 \over {A_2(\alpha ) + \ddots }}}},$$ where $(A_{n}(\alpha))_{n=0}^{\infty}$ is a sequence of polynomials with coefficients in 𝔽q such that deg(An(α)) ⩾ 1 for all n ⩾ 1. In this paper, we provide quantitative versions of metrical results regarding averages of partial quotients. A sample result we prove is that, given any ϵ > 0, we have $$\vert A_1(\alpha ) \ldots A_N(\alpha )\vert ^{1/N} = q^{q/(q - 1)} + o(N^{ - 1/2}(\log N)^{3/2 + {\rm \epsilon }})$$ for almost everywhere α with respect to Haar measure.


2014 ◽  
Vol 51 (4) ◽  
pp. 454-465
Author(s):  
Lu-Ming Shen ◽  
Huiping Jing

Let \documentclass{aastex} \usepackage{amsbsy} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{bm} \usepackage{mathrsfs} \usepackage{pifont} \usepackage{stmaryrd} \usepackage{textcomp} \usepackage{upgreek} \usepackage{portland,xspace} \usepackage{amsmath,amsxtra} \usepackage{bbm} \pagestyle{empty} \DeclareMathSizes{10}{9}{7}{6} \begin{document} $$\mathbb{F}_q ((X^{ - 1} ))$$ \end{document} denote the formal field of all formal Laurent series x = Σ n=ν∞anX−n in an indeterminate X, with coefficients an lying in a given finite field \documentclass{aastex} \usepackage{amsbsy} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{bm} \usepackage{mathrsfs} \usepackage{pifont} \usepackage{stmaryrd} \usepackage{textcomp} \usepackage{upgreek} \usepackage{portland,xspace} \usepackage{amsmath,amsxtra} \usepackage{bbm} \pagestyle{empty} \DeclareMathSizes{10}{9}{7}{6} \begin{document} $$\mathbb{F}_q$$ \end{document}. For any \documentclass{aastex} \usepackage{amsbsy} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{bm} \usepackage{mathrsfs} \usepackage{pifont} \usepackage{stmaryrd} \usepackage{textcomp} \usepackage{upgreek} \usepackage{portland,xspace} \usepackage{amsmath,amsxtra} \usepackage{bbm} \pagestyle{empty} \DeclareMathSizes{10}{9}{7}{6} \begin{document} $$\beta \in \mathbb{F}_q ((X^{ - 1} ))$$ \end{document} with deg β > 1, it is known that for almost all \documentclass{aastex} \usepackage{amsbsy} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{bm} \usepackage{mathrsfs} \usepackage{pifont} \usepackage{stmaryrd} \usepackage{textcomp} \usepackage{upgreek} \usepackage{portland,xspace} \usepackage{amsmath,amsxtra} \usepackage{bbm} \pagestyle{empty} \DeclareMathSizes{10}{9}{7}{6} \begin{document} $$x \in \mathbb{F}_q ((X^{ - 1} ))$$ \end{document} (with respect to the Haar measure), x is β-normal. In this paper, we show the inverse direction, i.e., for any x, for almost all \documentclass{aastex} \usepackage{amsbsy} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{bm} \usepackage{mathrsfs} \usepackage{pifont} \usepackage{stmaryrd} \usepackage{textcomp} \usepackage{upgreek} \usepackage{portland,xspace} \usepackage{amsmath,amsxtra} \usepackage{bbm} \pagestyle{empty} \DeclareMathSizes{10}{9}{7}{6} \begin{document} $$\beta \in \mathbb{F}_q ((X^{ - 1} ))$$ \end{document}, x is β-normal.


2017 ◽  
Vol 67 (3) ◽  
Author(s):  
Dariusz Bugajewski ◽  
Xiao-Xiong Gan

AbstractIn this article we consider the topology on the set of formal Laurent series induced by the ultrametric defined via the order. In particular, we establish that the product of formal Laurent series, considered in [GAN, X. X.—BUGAJEWSKI, D.:


2021 ◽  
Vol 25 (4) ◽  
pp. 1919-1978
Author(s):  
Piotr Achinger ◽  
Mattia Talpo

2012 ◽  
Vol 55 (1) ◽  
pp. 145-160 ◽  
Author(s):  
THOMAS HÜTTEMANN ◽  
DAVID QUINN

AbstractSuppose C is a bounded chain complex of finitely generated free modules over the Laurent polynomial ring L = R[x,x−1]. Then C is R-finitely dominated, i.e. homotopy equivalent over R to a bounded chain complex of finitely generated projective R-modules if and only if the two chain complexes C ⊗LR((x)) and C ⊗LR((x−1)) are acyclic, as has been proved by Ranicki (A. Ranicki, Finite domination and Novikov rings, Topology34(3) (1995), 619–632). Here R((x)) = R[[x]][x−1] and R((x−1)) = R[[x−1]][x] are rings of the formal Laurent series, also known as Novikov rings. In this paper, we prove a generalisation of this criterion which allows us to detect finite domination of bounded below chain complexes of projective modules over Laurent rings in several indeterminates.


Sign in / Sign up

Export Citation Format

Share Document