Σ-bounded algebraic systems and universal functions. II

Ershov algebras, Boolean algebras, and abelian p-groups are Σ-bounded systems, and there exist universal Σ-functions in hereditarily finite admissible sets over them.     

Consistency statements and iterations of computable functions in IΣ1 and PRA

In this paper we will state and prove some comparative theorems concerning PRA and IΣ₁. We shall provide a characterization of IΣ₁ in terms of PRA and iterations of a class of functions. In particular, we prove that for this class of functions the difference between IΣ₁ and PRA is exactly that, where PRA is closed under iterations of these functions, IΣ₁ is moreover provably closed under iteration. We will formulate a sufficient condition for a model of PRA to be a model of IΣ₁. This condition is used to give a model-theoretic proof of Parsons’ theorem, that is, IΣ₁ is Π₂-conservative over PRA. We shall also give a purely syntactical proof of Parsons’ theorem. Finally, we show that IΣ₁ proves the consistency of PRA on a definable IΣ₁-cut. This implies that proofs in IΣ₁ can have non-elementary speed up over proofs in PRA.     

Σ-Uniform structures and Σ-functions. I

The concept of a Σ-uniform structure is introduced. A condition is derived which is necessary and sufficient for a universal Σ-function to exist in a hereditarily finite admissible set over a Σ-uniform structure.     

Generalized Büchi’s problem for algebraic functions and meromorphic functions

Büchi’s nth power problem asks is there a positive integer M such that any sequence ${(x_1^n,\ldots ,x_M^n)}$ of nth powers of integers with nth difference equal to n! is necessarily a sequence of nth powers of successive integers. In this paper, we study an analogue of this problem for meromorphic functions and algebraic functions.     

Two-dimensional integral–algebraic systems: Analysis and computational methods

In this article we formulate sufficient conditions for the existence and uniqueness of solution to systems of two-dimensional Volterra integral equations, in which the coefficient of the main term is a singular matrix. A numerical method is introduced which can be applied to approximate the solution when the given conditions are satisfied. The convergence of this method is proved and illustrated by numerical examples.     

On linear combinatorics I. Concurrency—An algebraic approach

This article is the first one in a series of three. It contains concurrency results for sets of linear mappings of with few compositions and/or small image sets. The fine structure of such sets of mappings will be described in part II [3]. Those structure theorems can be considered as a first attempt to find Freiman-Ruzsa type results for a non-Abelian group. Part III [4] contains some geometric applications.Dedicated to the memory of P. ErdsResearch partially supported by HU-NSF grants OTKA T014302 and T019367.     

Baxter’s difference systems and orthogonal rational functions

Rational functions orthogonal on the unit circle are considered beginning with their recurrence formulas. Various summability conditions are imposed on the recurrence coefficients and the asymptotics of the solutions are studied and the orthogonality measure is recovered. The techniques developed by Baxter and Benzaid and Lutz are used.     

Periodic points of algebraic functions and Deuring’s class number formula

The Ramanujan Journal - In this paper, transformation formulas for the function $$\begin{aligned} A_{1}\left( z,s:\chi \right) =\sum \limits _{n=1}^{\infty }\sum \limits _{m=1} ^{\infty }\chi...     

On algebraic relations for Ramanujan’s functions

Let P,Q, and R denote the Ramanujan Eisenstein series. We compute algebraic relations in terms of P(q ⁱ ) (i=1,2,3,4), Q(q ⁱ ) (i=1,2,3), and R(q ⁱ ) (i=1,2,3). For complex algebraic numbers q with 0<|q|<1 we prove the algebraic independence over ? of any three-element subset of {P(q),P(q ²),P(q ³),P(q ⁴)} and of any two-element subset of {Q(q),Q(q ²),Q(q ³)} and {R(q),R(q ²),R(q ³)}, respectively. For all the results we use some expressions of $P(q^{i_{1}}), Q(q^{i_{2}}) $ , and $R(q^{i_{3}}) $ in terms of theta constants. Computer-assisted computations of functional determinants and resultants are essential parts of our proofs.     

Liénard systems for quadratic systems with invariant algebraic curves

We study the character of the friction function f(x) and the restoring force g(x) in the Liénard system to which a quadratic system with an invariant second-order algebraic curve (an ellipse that is a limit cycle, a hyperbola defining two separatrix cycles, or a parabola) or fourth-order algebraic curve with an oval being a limit cycle can be reduced. Invariant curves are constructed for quadratic systems in a five-parameter canonical family, which can readily be reduced to Liénard systems.     

Σ-Uniform structures and Σ-functions. II

We construct a family of Σ-uniform Abelian groups and a family of Σ-uniform rings. Conditions are specified that are necessary and sufficient for a universal Σ-function to exist in a hereditarily finite admissible set over structures in these families. It is proved that there is a set S of primes such that no universal Σ-function exists in hereditarily finite admissible sets \mathbbH\mathbbF(G) \mathbb{H}\mathbb{F}(G) and \mathbbH\mathbbF(K) \mathbb{H}\mathbb{F}(K) , where G = ⊕{Z _p | p ∈ S} is a group, Z _p is a cyclic group of order p, K = ⊕{F _p | p ∈ S} is a ring, and F _p is a prime field of characteristic p.     

Bernstein functions, complete hyperexpansivity and subnormality—I

Special classes of functions on the classical semigroupN of non-negative integers, as defined using the classical backward and forward difference operators, get associated in a natural way with special classes of bounded linear operators on Hilbert spaces. In particular, the class of completely monotone functions, which is a subclass of the class of positive definite functions ofN, gets associated with subnormal operators, and the class of completely alternating functions, which is a subclass of the class of negative definite functions onN, with completely hyper-expansive operators. The interplay between the theories of completely monotone and completely alternating functions has previously been exploited to unravel some interesting connections between subnormals and completely hyperexpansive operators. For example, it is known that a completely hyperexpansive weighted shift with the weight sequence {_n}(n0) (of positive reals) gives rise to a subnormal weighted shift whose weight sequence is {1/_n}(n0). The present paper discovers some new connections between the two classes of operators by building upon some well-known results in the literature that relate positive and negative definite functions on cartesian products of arbitrary sets using Bernstein functions. In particular, it is observed that the weight sequence of a completely hyperexpansive weighted shift with the weight sequence {_n}(n0) (of positive reals) gives rise to a subnormal weighted shift whose weight sequence is {_n+1/_n}(n0). It is also established that the weight sequence of any completely hyperexpansive weighted shift is a Hausdorff moment sequence. Further, the connection of Bernstein functions with Stieltjes functions and generalizations thereof is exploited to link certain classes of subnormal weighted shifts to completely hyperexpansive ones.     

Perturbation of systems of linear algebraic equations ∗

A classical perturbation result for nonsingular systems of linear algebraic equations is extended to general consistent systems under any norm. An optimal perturbation result is also obtained for general linear least squares problems under a Euclidean norm.     

Residue integrals and Waring’s formulas for algebraic or even transcendental systems

The present article is focused on the study of a special class of systems of non-linear transcendental equations for which classical algebraic and symbolic methods are inapplicable. For the purpose of study of such systems we develop a method for computing residue integrals with integration over certain cycles. We describe conditions under which the mentioned residue integrals coincide with power sums of the inverses to the roots of a system of equations (i.e. multidimensional Waring’s formulas). Based on this, we develop an algorithm that computes such power sums without computing the roots. As an application of the suggested method, we consider a problem of finding sums of multi-variable number series.     

An algebraic construction of the ring of¶piecewise polynomial functions

In this note we will prove an algebraic characterization of the piecewiese polynomial functions of a real ℚ-algebra A. This characterization is related to the realm of investigations concerning the Pierce–Birkhoff conjecture. Received: 23 June 1997 / Revised version: 26 May 1998     

Is there an easy algebraic characterisation of¶universal proper G-spaces?

We shall study properties of groups having finite cohomological dimension relative to the family of all finite subgroups. We also compare these groups with those satisfying various suggested algebraic analogues to group-actions on finite dimensional proper G-spaces. Received: 15 March 2000     

On random walks arising in queueing systems: ergodicity and transience via quadratic forms as lyapounov functions — Part I

A simple and quite general approach is proposed to derive criteria for transience and ergodicity of a certain class of irreducibleN-dimensional Markov chains in ₊ ^N assuming a boundedness condition on the second moment of the jumps. The method consists in constructing convenient smooth supermartingales outside some compact set. The Lyapounov functions introduced belong to the set of quadratic forms in ₊ ^N and do not always have a definite sign. Existence and construction of these forms is shown to be basically equivalent to finding vectors satisfying a system of linear inequalities.Part I is restricted toN=2, in which case a complete characterization is obtained for the type of random walks analyzed by Malyshev and Mensikov, thus relaxing their condition of boundedness of the jumps. The motivation for this work is partly from a large class of queueing systems that give rise to random walks in ₊ ^N