A survey on Büchi’s problem: new presentations and open problems

In a commutative ring with a unit, a Büchi sequence is a sequence such that the second difference of the sequence of its squares is the constant sequence (2). Sequences of elements x _n satisfying x _n ² = (x + n)² for some fixed x are Büchi sequences, which we call trivial. Since we want to study sequences whose elements do not belong to certain subrings (e.g., for fields of rational functions F(z) over a field F, we are interested in sequences that are not over F), the concept of trivial sequences may vary. Büchi’s problem for a ring asks whether there exists a positive integer M such that any Büchi sequence of length M or more is trivial.     

A result on the composition of distributions

LetF be a distribution and letf be a locally summable function. The distributionF(f) is defined as the neutrix limit of the sequenceF _n (f), whereF _n (x) = F(x) * δ _n (x) andδ _n (x) is a certain sequence of infinitely differentiable functions converging to the Dirac delta-functionδ(x). The distribution (x^r)^−s is valuated forr, s = 1,2, ….     

Randomness relative to Cantor expansions

Imagine a sequence in which the first letter comes from a binary alphabet, the second letter can be chosen on an alphabet with 10 elements, the third letter can be chosen on an alphabet with 3 elements and so on. Such sequences occur in various physical contexts, in which the coding of experimental outcome varies with scale. When can such a sequence be called random? In this paper we offer a solution to the above question using the approach to randomness proposed by Algorithmic Information Theory.     

On a characterization of orthogonality with respect to particular sequences of random variables in <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>

This note deals with the orthogonality between sequences of random variables. The main idea of the note is to apply the results on equidistant systems of points in a Hilbert space to the case of the space L ²(Ω, F, ℙ) of real square integrable random variables. The main result gives a necessary and sufficient condition for a particular sequence of random variables (elements of which are taken from sets of equidistant elements of L ²(Ω, F, ℙ) to be orthogonal to some other sequence in L ²(Ω, F, ℙ). The result obtained is interesting from the point of view of the time series analysis, since it can be applied to a class of sequences random variables that exhibit a monotonically increasing variance. An application to ergodic theorem is also provided.     

First Observations on Prefab Posets’ Whitney Numbers

We introduce a natural partial order ≤ in structurally natural finite subsets of the cobweb prefabs sets recently constructed by the present author. Whitney numbers of the second kind of the corresponding subposet which constitute Stirling-like numbers’ triangular array — are then calculated and the explicit formula for them is provided. Next — in the second construction — we endow the set sums of prefabiants with such an another partial order that their Bell-like numbers include Fibonacci triad sequences introduced recently by the present author in order to extend famous relation between binomial Newton coefficients and Fibonacci numbers onto the infinity of their relatives among whom there are also the Fibonacci triad sequences and binomial-like coefficients (incidence coefficients included). The first partial order is F-sequence independent while the second partial order is F-sequence dependent where F is the so-called admissible sequence determining cobweb poset by construction. An F-determined cobweb poset’s Hasse diagram becomes Fibonacci tree sheathed with specific cobweb if the sequence F is chosen to be just the Fibonacci sequence. From the stand-point of linear algebra of formal series these are generating functions which stay for the so-called extended coherent states of quantum physics. This information is delivered in the last section. Presentation (November 2006) at the Gian-Carlo Rota Polish Seminar .     

On some notions of convergence for n‐tuples of operators

The aim of this paper is to show that we can extend the notion of convergence in the norm‐resolvent sense to the case of several unbounded noncommuting operators (and to quaternionic operators as a particular case) using the notion of S‐resolvent operator. With this notion, we can define bounded functions of unbounded operators using the S‐functional calculus for n‐tuples of noncommuting operators. The same notion can be extended to the case of the F‐resolvent operator, which is the basis of the F‐functional calculus, a monogenic functional calculus for n‐tuples of commuting operators. We also prove some properties of the F‐functional calculus, which are of independent interest. Copyright © 2013 John Wiley & Sons, Ltd.     

Sequences of numbers generated by addition in formal groups and new primality and factorization tests

One can associate with an arbitrary algebroid formal group law F, defined over F_p, a sequence . These sequences for various F (multiplicative group, reduced elliptic curves and Abelian varieties) provide a variety of new primality tests like Lucas' test for Mersenne primes. Implementations and relations with factorization algorithms are presented.     

Borel-Cantelli sequences

A sequence {x _n } ₁ ^∞ in the unit interval [0, 1) = ?/? is called Borel-Cantelli, or BC, if for all non-increasing sequences of positive real numbers {a _n } with 48001013 1. \(\sum\nolimits_{i = 1}^\infty {} {a_i} = \infty \), the set

$\{ x \in [0,1)\left| {\left| {x - {x_n}} \right|} \right. < {a_n}{\rm{for infinitely many }}n \ge 1\} $

has full Lebesgue measure. (Speaking informally, BC sequences are sequences for which a natural converse to the Borel-Cantelli Theorem holds).

The notion of BC sequences is motivated by the monotone shrinking target property for dynamical systems, but our approach is from a geometric rather than dynamical perspective. A sufficient condition, a necessary condition and a necessary and sufficient condition for a sequence to be BC are established. A number of examples of BC sequences and sequences that are not BC are also presented.The property of a sequence to be BC is a delicate Diophantine property. For example, the orbits of a pseudo-Anosoff IET (interval exchange transformation) are BC, while the orbits of a “generic” IET are not.The notion of BC sequences is extended from [0, 1) to sequences in Ahlfors regular spaces.     

Discrete and Nondiscrete Isometric Deformations of Surfaces in ℝ3

We prove existence of closed infinitely differentiable surfaces M of each of which can be included in some family F of isometric pairwise noncongruent infinitely differentiable surfaces which is uniformly as close as we want to M. We also prove that F can be more than countable.     

Matrix characterization of oscillation for double sequences

The notion of oscillation for ordinary sequences was presented by Hurwitz in 1930. Using this notion Agnew and Hurwitz presented regular matrix characterization of the resulting sequence space. The primary goal of this article is to extend this definition to double sequences, which grants us the following definition: the double oscillation of a double sequence of real or complex number is given P-lim sup_{(m,n)→∞;(α,β)→∞}|S _m,n -S _α,β |. Using this concept a matrix characterization of double oscillation sequence space is presented. Other implication and variation shall also be presented.      

The Small Index Property for Free Nilpotent Groups

Let F be a relatively free algebra of infinite rank ?. We say that F has the small index property if any subgroup of Γ = Aut(F) of index at most ? contains the pointwise stabilizer Γ_(U) of a subset U of F of cardinality less than ?. We prove that every infinitely generated free nilpotent/abelian group has the small index property, and discuss a number of applications.     

On Minimizing and Stationary Sequences of a New Class of Merit Functions for Nonlinear Complementarity Problems

Motivated by the work of Fukushima and Pang (Ref. 1), we study the equivalent relationship between minimizing and stationary sequences of a new class of merit functions for nonlinear complementarity problems (NCP). These merit functions generalize that obtained via the squared Fischer–Burmeister NCP function, which was used in Ref. 1. We show that a stationary sequence {x^k} /Reⁿ is a minimizing sequence under the condition that the function value sequence {F(x ^k)} is bounded above or the Jacobian matrix sequence {F(x ^k)} is bounded, where F is the function involved in NCP. The latter condition is also assumed by Fukushima and Pang. The converse is true under the assumption of {F(x ^k)} bounded. As an example shows, even for a bounded function F, the boundedness of the sequence {F(x ^k)} is necessary for a minimizing sequence to be a stationary sequence.     

On the neutrix composition of the distributions x −s ln m |x| and x r

Let F be a distribution and let f be a locally summable function. The distribution F(f) is defined as the neutrix limit of the sequence {F _n (f)}, where F _n (x) = F(x) * δ _n (x) and {δ _n (x)} is a certain sequence of infinitely differentiable functions converging to the Dirac delta-function δ(x). The composition of the distributions x ^?s ln ^m |x| and x ^r is proved to exist and be equal to r ^m x ^?rs ln ^m |x| for r, s, m = 2, 3….     

On the Real Zeros of Positive Semidefinite Biquadratic Forms

For a positive semidefinite biquadratic forms F in (3, 3) variables, we prove that, if F has a finite number but at least 7 real zeros 𝒵(F), then it is not a sum of squares. We show also that if F has at least 11 zeros, then it has infinitely many real zeros and it is a sum of squares. It can be seen as the counterpart for biquadratic forms as the results of Choi, Lam, and Reznick for positive semidefinite ternary sextics.

We introduce and compute some of the numbers BB _{n, m} which are set to be equal to sup |𝒵(F)| where F ranges over all the positive semidefinite biquadratic forms F in (n, m) variables such that |𝒵(F)| < ∞.

We also recall some old constructions of positive semidefinite biquadratic forms which are not sums of squares and we give some new families of examples.     

Newtonian and Schinzel sequences in a domain

A Schinzel or F sequence in a domain is such that, for every ideal I with norm q, its first q terms form a system of representatives modulo I, and a Newton or N sequence such that the first q terms serve as a test set for integer-valued polynomials of degree less than q. Strong F and strong N sequences are such that one can use any set of q consecutive terms, not only the first ones, finally a very well F ordered sequence, for short, a V.W.F sequence, is such that, for each ideal I with norm q, and each integer s,{u_sq,…,u_(s+1)q−1} is a complete set of representatives modulo I. In a quasilocal domain, V.W.F sequences and N sequences are the same, so are strong F and strong N sequences. Our main result is that a strong N sequence is a sequence which is locally a strong F sequence, and an N sequence a sequence which is locally a V.W.F. sequence. We show that, for F sequences there is a bound on the number of ideals of a given norm. In particular, a sequence is a strong F sequence if and only if it is a strong N sequence and for each prime p, there is at most one prime ideal with finite residue field of characteristic p. All results are refined to sequences of finite length.     

Radical of filters in BL‐algebras

In this paper, the notion of the radical of a filter in BL‐algebras is defined and several characterizations of the radical of a filter are given. Also we prove that A/F is an MV‐algebra if and only if D_s(A) ? F. After that we define the notion of semi maximal filter in BL‐algebras and we state and prove some theorems which determine the relationship between this notion and the other types of filters of a BL‐algebra. Moreover, we prove that A/F is a semi simple BL‐algebra if and only if F is a semi maximal filter of A. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

On the expansion of some exponential periods in an integer base

We derive a lower bound for the subword complexity of the base-b expansion (b ≥ 2) of all real numbers whose irrationality exponent is equal to 2. This provides a generalization of a theorem due to Ferenczi and Mauduit. As a consequence, we obtain the first lower bound for the subword complexity of the number e and of some other transcendental exponential periods.     

Kronecker Function Rings of Transcendental Field Extensions

We consider the ring Kr(F/D), where D is a subring of a field F, that is the intersection of the trivial extensions to F(X) of the valuation rings of the Zariski–Riemann space consisting of all valuation rings of the extension F/D and investigate the ideal structure of Kr(F/D) in the case where D is an affine algebra over a subfield K of F and the extension F/K has countably infinite transcendence degree, by using the topological structure of the Zariski–Riemann space. We show that for any pair of nonnegative integers d and h, there are infinitely many prime ideals of dimension d and height h that are minimal over any proper nonzero finitely generated ideal of Kr(F/D).     

On some questions related to the Gauss conjecture for function fields

We show that, for any finite field Fq, there exist infinitely many real quadratic function fields over Fq such that the numerator of their zeta function is a separable polynomial. As pointed out by Anglès, this is a necessary condition for the existence, for any finite field Fq, of infinitely many real function fields over Fq with ideal class number one (the so-called Gauss conjecture for function fields). We also show conditionally the existence of infinitely many real quadratic function fields over Fq such that the numerator of their zeta function is an irreducible polynomial.     

A Regularization Newton Method for Solving Nonlinear Complementarity Problems

In this paper we construct a regularization Newton method for solving the nonlinear complementarity problem (NCP(F )) and analyze its convergence properties under the assumption that F is a P ₀ -function. We prove that every accumulation point of the sequence of iterates is a solution of NCP(F ) and that the sequence of iterates is bounded if the solution set of NCP(F ) is nonempty and bounded. Moreover, if F is a monotone and Lipschitz continuous function, we prove that the sequence of iterates is bounded if and only if the solution set of NCP(F ) is nonempty by setting , where is a parameter. If NCP(F) has a locally unique solution and satisfies a nonsingularity condition, then the convergence rate is superlinear (quadratic) without strict complementarity conditions. At each step, we only solve a linear system of equations. Numerical results are provided and further applications to other problems are discussed. Accepted 25 March 1998