Showing 1–11 of 11 results for author: Kropf, S

Fringe Analysis of Plane Trees Related to Cutting and Pruning

Authors: Benjamin Hackl, Clemens Heuberger, Sara Kropf, Helmut Prodinger

Abstract: Rooted plane trees are reduced by four different operations on the fringe. The number of surviving nodes after reducing the tree repeatedly for a fixed number of times is asymptotically analyzed. The four different operations include cutting all or only the leftmost leaves or maximal paths. This generalizes the concept of pruning a tree. The results include exact expressions and asymptotic expansi… ▽ More Rooted plane trees are reduced by four different operations on the fringe. The number of surviving nodes after reducing the tree repeatedly for a fixed number of times is asymptotically analyzed. The four different operations include cutting all or only the leftmost leaves or maximal paths. This generalizes the concept of pruning a tree. The results include exact expressions and asymptotic expansions for the expected value and the variance as well as central limit theorems. △ Less

Submitted 4 April, 2017; originally announced April 2017.

MSC Class: 05A16; 05C05; 05A15; 05A19; 60C05

Journal ref: Aequationes Math. 92 (2018), 311-353

Higher Dimensional Quasi-Power Theorem and Berry-Esseen Inequality

Authors: Clemens Heuberger, Sara Kropf

Abstract: Hwang's quasi-power theorem asserts that a sequence of random variables whose moment generating functions are approximately given by powers of some analytic function is asymptotically normally distributed. This theorem is generalised to higher dimensional random variables. To obtain this result, a higher dimensional analogue of the Berry-Esseen inequality is proved, generalising a two-dimensional… ▽ More Hwang's quasi-power theorem asserts that a sequence of random variables whose moment generating functions are approximately given by powers of some analytic function is asymptotically normally distributed. This theorem is generalised to higher dimensional random variables. To obtain this result, a higher dimensional analogue of the Berry-Esseen inequality is proved, generalising a two-dimensional version by Sadikova. △ Less

Submitted 30 September, 2016; originally announced September 2016.

Comments: Full version of the extended abstract arXiv:1602.04055 [math.PR]

MSC Class: 60F05; 60C05

Journal ref: Monatsh. Math. 187 (2018), 293-314

On $q$-Quasiadditive and $q$-Quasimultiplicative Functions

Authors: Sara Kropf, Stephan Wagner

Abstract: In this paper, we introduce the notion of $q$-quasiadditivity of arithmetic functions, as well as the related concept of $q$-quasimultiplicativity, which generalise strong $q$-additivity and -multiplicativity, respectively. We show that there are many natural examples for these concepts, which are characterised by functional equations of the form $f(q^{k+r}a + b) = f(a) + f(b)$ or… ▽ More In this paper, we introduce the notion of $q$-quasiadditivity of arithmetic functions, as well as the related concept of $q$-quasimultiplicativity, which generalise strong $q$-additivity and -multiplicativity, respectively. We show that there are many natural examples for these concepts, which are characterised by functional equations of the form $f(q^{k+r}a + b) = f(a) + f(b)$ or $f(q^{k+r}a + b) = f(a) f(b)$ for all $b < q^k$ and a fixed parameter $r$. In addition to some elementary properties of $q$-quasiadditive and $q$-quasimultiplicative functions, we prove characterisations of $q$-quasiadditivity and $q$-quasimultiplicativity for the special class of $q$-regular functions. The final main result provides a general central limit theorem that includes both classical and new examples as corollaries. △ Less

Submitted 12 August, 2016; originally announced August 2016.

Comments: This is the full version of the extended abstract arXiv:1605.03654

$q$-Quasiadditive Functions

Authors: Sara Kropf, Stephan Wagner

Abstract: In this paper, we introduce the notion of $q$-quasiadditivity of arithmetic functions, as well as the related concept of $q$-quasimultiplicativity, which generalises strong $q$-additivity and -multiplicativity, respectively. We show that there are many natural examples for these concepts, which are characterised by functional equations of the form $f(q^{k+r}a + b) = f(a) + f(b)$ or… ▽ More In this paper, we introduce the notion of $q$-quasiadditivity of arithmetic functions, as well as the related concept of $q$-quasimultiplicativity, which generalises strong $q$-additivity and -multiplicativity, respectively. We show that there are many natural examples for these concepts, which are characterised by functional equations of the form $f(q^{k+r}a + b) = f(a) + f(b)$ or $f(q^{k+r}a + b) = f(a) f(b)$ for all $b < q^k$ and a fixed parameter $r$. In addition to some elementary properties of $q$-quasiadditive and $q$-quasimultiplicative functions, we prove characterisations of $q$-quasiadditivity and $q$-quasimultiplicativity for the special class of $q$-regular functions. The final main result provides a general central limit theorem that includes both classical and new examples as corollaries. △ Less

Submitted 11 May, 2016; originally announced May 2016.

Comments: Extended Abstract for the 27th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms

MSC Class: 05A16; 11N37; 60F05

On the Higher Dimensional Quasi-Power Theorem and a Berry-Esseen Inequality

Authors: Clemens Heuberger, Sara Kropf

Abstract: Hwang's quasi-power theorem asserts that a sequence of random variables whose moment generating functions are approximately given by powers of some analytic function is asymptotically normally distributed. This theorem is generalised to higher dimensional random variables. To obtain this result, a higher dimensional analogue of the Berry-Esseen inequality is proved, generalising a two-dimensional… ▽ More Hwang's quasi-power theorem asserts that a sequence of random variables whose moment generating functions are approximately given by powers of some analytic function is asymptotically normally distributed. This theorem is generalised to higher dimensional random variables. To obtain this result, a higher dimensional analogue of the Berry-Esseen inequality is proved, generalising a two-dimensional version of Sadikova. △ Less

Submitted 6 May, 2016; v1 submitted 12 February, 2016; originally announced February 2016.

Comments: Extended Abstract for the 27th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms. For full proofs see arXiv:1602.04055v1 [math.PR]

MSC Class: 60F05; 60C05

Variance and Covariance of Several Simultaneous Outputs of a Markov Chain

Authors: Sara Kropf

Abstract: The partial sum of the states of a Markov chain or more generally a Markov source is asymptotically normally distributed under suitable conditions. One of these conditions is that the variance is unbounded. A simple combinatorial characterization of Markov sources which satisfy this condition is given in terms of cycles of the underlying graph of the Markov chain. Also Markov sources with higher d… ▽ More The partial sum of the states of a Markov chain or more generally a Markov source is asymptotically normally distributed under suitable conditions. One of these conditions is that the variance is unbounded. A simple combinatorial characterization of Markov sources which satisfy this condition is given in terms of cycles of the underlying graph of the Markov chain. Also Markov sources with higher dimensional alphabets are considered. Furthermore, the case of an unbounded covariance between two coordinates of the Markov source is combinatorically characterized. If the covariance is bounded, then the two coordinates are asymptotically independent. The results are illustrated by several examples, like the number of specific blocks in $0$-$1$-sequences and the Hamming weight of the width-$w$ non-adjacent form. △ Less

Submitted 22 June, 2016; v1 submitted 24 August, 2015; originally announced August 2015.

MSC Class: 60C05; 60J10; 05C20; 05C30; 68Q45; 60F05; 05A16

Journal ref: Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 3, Analysis of Algorithms (June 23, 2016) dmtcs:1341

Analysis of Carries in Signed Digit Expansions

Authors: Clemens Heuberger, Sara Kropf, Helmut Prodinger

Abstract: The number of positive and negative carries in the addition of two independent random signed digit expansions of given length is analyzed asymptotically for the $(q, d)$-system and the symmetric signed digit expansion. The results include expectation, variance, covariance between the positive and negative carries and a central limit theorem. Dependencies between the digits require determining su… ▽ More The number of positive and negative carries in the addition of two independent random signed digit expansions of given length is analyzed asymptotically for the $(q, d)$-system and the symmetric signed digit expansion. The results include expectation, variance, covariance between the positive and negative carries and a central limit theorem. Dependencies between the digits require determining suitable transition probabilities to obtain equidistribution on all expansions of given length. A general procedure is described to obtain such transition probabilities for arbitrary regular languages. The number of iterations in von Neumann's parallel addition method for the symmetric signed digit expansion is also analyzed, again including expectation, variance and convergence to a double exponential limiting distribution. This analysis is carried out in a general framework for sequences of generating functions. △ Less

Submitted 26 February, 2016; v1 submitted 30 March, 2015; originally announced March 2015.

MSC Class: 11A63; 60C05; 60F05; 68Q45; 68W40

Journal ref: Monatsh. Math. 182 (2017), no. 2, 299-334

Output sum of transducers: Limiting distribution and periodic fluctuation

Authors: Clemens Heuberger, Sara Kropf, Helmut Prodinger

Abstract: As a generalization of the sum of digits function and other digital sequences, sequences defined as the sum of the output of a transducer are asymptotically analyzed. The input of the transducer is a random integer in $[0, N)$. Analogues in higher dimensions are also considered. Sequences defined by a certain class of recursions can be written in this framework. Depending on properties of the tr… ▽ More As a generalization of the sum of digits function and other digital sequences, sequences defined as the sum of the output of a transducer are asymptotically analyzed. The input of the transducer is a random integer in $[0, N)$. Analogues in higher dimensions are also considered. Sequences defined by a certain class of recursions can be written in this framework. Depending on properties of the transducer, the main term, the periodic fluctuation and an error term of the expected value and the variance of this sequence are established. The periodic fluctuation of the expected value is Hölder continuous and, in many cases, nowhere differentiable. A general formula for the Fourier coefficients of this periodic function is derived. Furthermore, it turns out that the sequence is asymptotically normally distributed for many transducers. As an example, the abelian complexity function of the paperfolding sequence is analyzed. This sequence has recently been studied by Madill and Rampersad. △ Less

Submitted 4 February, 2015; originally announced February 2015.

MSC Class: 60F05; 68R15; 05A16; 68Q45; 11M41

Journal ref: Electron. J. Combin. 22 (2015), no. 2, 1-53

Automata in SageMath---Combinatorics meet Theoretical Computer Science

Authors: Clemens Heuberger, Daniel Krenn, Sara Kropf

Abstract: The new finite state machine package in the mathematics software system SageMath is presented and illustrated by many examples. Several combinatorial problems, in particular digit problems, are introduced, modeled by automata and transducers and solved using SageMath. In particular, we compute the asymptotic Hamming weight of a non-adjacent-form-like digit expansion, which was not known before. The new finite state machine package in the mathematics software system SageMath is presented and illustrated by many examples. Several combinatorial problems, in particular digit problems, are introduced, modeled by automata and transducers and solved using SageMath. In particular, we compute the asymptotic Hamming weight of a non-adjacent-form-like digit expansion, which was not known before. △ Less

Submitted 5 May, 2016; v1 submitted 29 April, 2014; originally announced April 2014.

MSC Class: 11A63; 05A16; 68R05

Journal ref: Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 3, Analysis of Algorithms (May 10, 2016) dmtcs:1352

Variances and Covariances in the Central Limit Theorem for the Output of a Transducer

Authors: Clemens Heuberger, Sara Kropf, Stephan Wagner

Abstract: We study the joint distribution of the input sum and the output sum of a deterministic transducer. Here, the input of this finite-state machine is a uniformly distributed random sequence. We give a simple combinatorial characterization of transducers for which the output sum has bounded variance, and we also provide algebraic and combinatorial characterizations of transducers for which the covar… ▽ More We study the joint distribution of the input sum and the output sum of a deterministic transducer. Here, the input of this finite-state machine is a uniformly distributed random sequence. We give a simple combinatorial characterization of transducers for which the output sum has bounded variance, and we also provide algebraic and combinatorial characterizations of transducers for which the covariance of input and output sum is bounded, so that the two are asymptotically independent. Our results are illustrated by several examples, such as transducers that count specific blocks in the binary expansion, the transducer that computes the Gray code, or the transducer that computes the Hamming weight of the width-$w$ non-adjacent form digit expansion. The latter two turn out to be examples of asymptotic independence. △ Less

Submitted 9 September, 2014; v1 submitted 14 April, 2014; originally announced April 2014.

MSC Class: 60F05; 68W40 05C20 05C30 11B85 68Q45

Journal ref: European J. Combin. 49 (2015), 167--187

Analysis of the binary asymmetric joint sparse form

Authors: Clemens Heuberger, Sara Kropf

Abstract: We consider redundant binary joint digital expansions of integer vectors. The redundancy is used to minimize the Hamming weight, i.e., the number of nonzero digit vectors. This leads to efficient linear combination algorithms in abelian groups, which are for instance used in elliptic curve cryptography. If the digit set is a set of contiguous integers containing the zero, a special syntactical c… ▽ More We consider redundant binary joint digital expansions of integer vectors. The redundancy is used to minimize the Hamming weight, i.e., the number of nonzero digit vectors. This leads to efficient linear combination algorithms in abelian groups, which are for instance used in elliptic curve cryptography. If the digit set is a set of contiguous integers containing the zero, a special syntactical condition is known to minimize the weight. We analyze the optimal weight of all non-negative integer vectors with maximum entry less than N. The expectation and the variance are given with a main term and a periodic fluctuation in the second order term. Finally, we prove asymptotic normality. △ Less

Submitted 10 February, 2014; v1 submitted 12 March, 2013; originally announced March 2013.

MSC Class: 11A63; 94A60 68W40 60F05

Journal ref: Combinator. Probab. Comp. 23 (2014) 1087-1113