Bivariate fibonacci like p-polynomials

In this article, we study the bivariate Fibonacci and Lucas p-polynomials (p ? 0 is integer) from which, specifying x, y and p, bivariate Fibonacci and Lucas polynomials, bivariate Pell and Pell-Lucas polynomials, Jacobsthal and Jacobsthal-Lucas polynomials, Fibonacci and Lucas p-polynomials, Fibonacci and Lucas p-numbers, Pell and Pell-Lucas p-numbers and Chebyshev polynomials of the first and second kind, are obtained. Afterwards, we obtain some properties of the bivariate Fibonacci and Lucas p-polynomials.     

Cube Polynomial of Fibonacci and Lucas Cubes

The cube polynomial of a graph is the counting polynomial for the number of induced k-dimensional hypercubes (k≥0). We determine the cube polynomial of Fibonacci cubes and Lucas cubes, as well as the generating functions for the sequences of these cubes. Several explicit formulas for the coefficients of these polynomials are obtained, in particular they can be expressed with convolved Fibonacci numbers. Zeros of the studied cube polynomials are explicitly determined. Consequently, the coefficients sequences of cube polynomials of Fibonacci and Lucas cubes are unimodal.     

Generalized binomial and negative binomial distributions of order<Emphasis Type="Italic">k</Emphasis> by the<Emphasis Type="Italic">l</Emphasis>-overlapping enumeration scheme

In this paper, we investigate the exact distribution of the waiting time for ther-th ℓ-overlapping occurrence of success-runs of a specified length in a sequence of two state Markov dependent trials. The probability generating functions are derived explicitly, and as asymptotic results, relationships of a negative binomial distribution of orderk and an extended Poisson distribution of orderk are discussed. We provide further insights into the run-related problems from the viewpoint of the ℓ-overlapping enumeration scheme. We also study the exact distribution of the number of ℓ-overlapping occurrences of success-runs in a fixed number of trials and derive the probability generating functions. The present work extends several properties of distributions of orderk and leads us a new type of geneses of the discrete distributions.     

Generalized Lucas polynomials and relationships between the Fibonacci polynomials and Lucas polynomials

In this article, we find elements of the Lucas polynomials by using two matrices. We extend the study to the n-step Lucas polynomials. Then the Lucas polynomials and their relationship are generalized in the paper. Furthermore, we give relationships between the Fibonacci polynomials and the Lucas polynomials.     

On factorization of the Fibonacci and Lucas numbers using tridiagonal determinants

The aim of this paper is to give new results about factorizations of the Fibonacci numbers F _n and the Lucas numbers L _n . These numbers are defined by the second order recurrence relation a _n+2 = a _n+1+a _n with the initial terms F ₀ = 0, F ₁ = 1 and L ₀ = 2, L ₁ = 1, respectively. Proofs of theorems are done with the help of connections between determinants of tridiagonal matrices and the Fibonacci and the Lucas numbers using the Chebyshev polynomials. This method extends the approach used in [CAHILL, N. D.—D’ERRICO, J. R.—SPENCE, J. P.: Complex factorizations of the Fibonacci and Lucas numbers, Fibonacci Quart. 41 (2003), 13–19], and CAHILL, N. D.—NARAYAN, D. A.: Fibonacci and Lucas numbers as tridiagonal matrix determinants, Fibonacci Quart. 42 (2004), 216–221].     

On generalized Fibonacci and Lucas polynomials

Let h(x) be a polynomial with real coefficients. We introduce h(x)-Fibonacci polynomials that generalize both Catalan’s Fibonacci polynomials and Byrd’s Fibonacci polynomials and also the k-Fibonacci numbers, and we provide properties for these h(x)-Fibonacci polynomials. We also introduce h(x)-Lucas polynomials that generalize the Lucas polynomials and present properties of these polynomials. In the last section we introduce the matrix Q_h(x) that generalizes the Q-matrix whose powers generate the Fibonacci numbers.     

Computing the Top Betti Numbers of Semialgebraic Sets Defined by Quadratic Inequalities in Polynomial Time

For any ℓ>0, we present an algorithm which takes as input a semi-algebraic set, S, defined by P ₁≤0,…,P _s ≤0, where each P _i ∈R[X ₁,…,X _k ] has degree≤2, and computes the top ℓ Betti numbers of S, b _k−1(S),…,b _k−ℓ (S), in polynomial time. The complexity of the algorithm, stated more precisely, is . For fixed ℓ, the complexity of the algorithm can be expressed as , which is polynomial in the input parameters s and k. To our knowledge this is the first polynomial time algorithm for computing nontrivial topological invariants of semialgebraic sets in R ^k defined by polynomial inequalities, where the number of inequalities is not fixed and the polynomials are allowed to have degree greater than one. For fixed s, we obtain, by letting ℓ=k, an algorithm for computing all the Betti numbers of S whose complexity is . An erratum to this article can be found at     

The configuration polytope of ℓ-line configurations in Steiner triple systems

It has been shown that the number of occurrences of any ℓ-line configuration in a Steiner triple system can be written as a linear combination of the numbers of full m-line configurations for 1 ≤ m ≤ ℓ; full means that every point has degree at least two. More precisely, the coefficients of the linear combination are ratios of polynomials in v, the order of the Steiner triple system. Moreover, the counts of full configurations, together with v, form a linear basis for all of the configuration counts when ℓ ≤ 7. By relaxing the linear integer equalities to fractional inequalities, a configuration polytope is defined that captures all feasible assignments of counts to the full configurations. An effective procedure for determining this polytope is developed and applied when ℓ = 6. Using this, minimum and maximum counts of each configuration are examined, and consequences for the simultaneous avoidance of sets of configurations explored. To Alex Rosa on the Occasion of his Seventieth Birthday     

Probabilities in the (<Emphasis Type="Italic">k</Emphasis>, ℓ) hook

We consider particular (k, ℓ)-hook probability measures on the space of the infinite standard Young tableaux, and calculate the probability that the entry at the (1, 2) cell is odd. As n goes to infinity, this, approximately, is the corresponding probability on tableaux of size n in the (k, ℓ) hook. In few cases of small k and ℓ we find exact formulas for the corresponding numbers of such standard tableaux.     

Cauchy, Ferrers-Jackson and Chebyshev polynomials and identities for the powers of elements of some conjugate recurrence sequences

In this paper some decompositions of Cauchy polynomials, Ferrers-Jackson polynomials and polynomials of the form x ²ⁿ + y ²ⁿ , n ∈ ℕ, are studied. These decompositions are used to generate the identities for powers of Fibonacci and Lucas numbers as well as for powers of the so called conjugate recurrence sequences. Also, some new identities for Chebyshev polynomials of the first kind are presented here.     

A Quadrature Formula for Diffusion Polynomials Corresponding to a Generalized Heat Kernel

Let {φ _k } be an orthonormal system on a quasi-metric measure space  ${\mathbb{X}}Let {φ _k } be an orthonormal system on a quasi-metric measure space  \mathbbX{\mathbb{X}}, {ℓ _k } be a nondecreasing sequence of numbers with lim  _k→∞ ℓ _k =∞. A diffusion polynomial of degree L is an element of the span of {φ _k :ℓ _k ≤L}. The heat kernel is defined formally by K_t(x,y)=?_k=0^￥exp(-l_k²t)f_k(x)[`(f_k(y))]K_{t}(x,y)=\sum_{k=0}^{\infty}\exp(-\ell _{k}^{2}t)\phi_{k}(x)\overline{\phi_{k}(y)}. If T is a (differential) operator, and both K _t and T _y K _t have Gaussian upper bounds, we prove the Bernstein inequality: for every p, 1≤p≤∞ and diffusion polynomial P of degree L, ‖TP‖ _p ≤c ₁ L ^c ‖P‖ _p . In particular, we are interested in the case when \mathbbX{\mathbb{X}} is a Riemannian manifold, T is a derivative operator, and p 1 2p\not=2. In the case when \mathbbX{\mathbb{X}} is a compact Riemannian manifold without boundary and the measure is finite, we use the Bernstein inequality to prove the existence of quadrature formulas exact for integrating diffusion polynomials, based on an arbitrary data. The degree of the diffusion polynomials for which this formula is exact depends upon the mesh norm of the data. The results are stated in greater generality. In particular, when T is the identity operator, we recover the earlier results of Maggioni and Mhaskar on the summability of certain diffusion polynomial valued operators.     

On Projections of Semi-Algebraic Sets Defined by Few Quadratic Inequalities

Let S⊂ℝ ^k+m be a compact semi-algebraic set defined by P ₁≥0,…,P _ℓ ≥0, where P _i ∈ℝ[X ₁,…,X _k ,Y ₁,…,Y _m ], and deg (P _i )≤2, 1≤i≤ℓ. Let π denote the standard projection from ℝ ^k+m onto ℝ ^m . We prove that for any q>0, the sum of the first q Betti numbers of π(S) is bounded by (k+m) ^{O(q ℓ)}. We also present an algorithm for computing the first q Betti numbers of π(S), whose complexity is . For fixed q and ℓ, both the bounds are polynomial in k+m. The author was supported in part by an NSF Career Award 0133597 and a Sloan Foundation Fellowship.     

Distributions of Points in <Emphasis Type="Italic">d</Emphasis> Dimensions and Large <Emphasis Type="Italic">k</Emphasis>-Point Simplices

We consider a variant of Heilbronn’s triangle problem by investigating for a fixed dimension d≥2 and for integers k≥2 with k≤d distributions of n points in the d-dimensional unit cube [0,1] ^d , such that the minimum volume of the simplices, which are determined by (k+1) of these n points is as large as possible. Denoting by Δ _k,d (n), the supremum of this minimum volume over all distributions of n points in [0,1] ^d , we show that c _k,d ⋅(log n)^1/(d−k+1)/n ^k/(d−k+1)≤Δ _k,d (n)≤c _k,d ′/n ^k/d for fixed 2≤k≤d, and, moreover, for odd integers k≥1, we show the upper bound Δ _k,d (n)≤c _k,d ″/n ^{k/d+(k−1)/(2d(d−1))}, where c _k,d ,c _k,d ′,c _k,d ″>0 are constants. A preliminary version of this paper appeared in COCOON ’05.     

On proper secrets, (<Emphasis Type="Italic">t</Emphasis>, <Emphasis Type="Italic">k</Emphasis>)-bases and linear codes

This paper contains three parts where each part triggered and motivated the subsequent one. In the first part (Proper Secrets) we study the Shamir’s “k-out-of-n” threshold secret sharing scheme. In that scheme, the dealer generates a random polynomial of degree k−1 whose free coefficient is the secret and the private shares are point values of that polynomial. We show that the secret may, equivalently, be chosen as any other point value of the polynomial (including the point at infinity), but, on the other hand, setting the secret to be any other linear combination of the polynomial coefficients may result in an imperfect scheme. In the second part ((t, k)-bases) we define, for every pair of integers t and k such that 1 ≤ t ≤ k−1, the concepts of (t, k)-spanning sets, (t, k)-independent sets and (t, k)-bases as generalizations of the usual concepts of spanning sets, independent sets and bases in a finite-dimensional vector space. We study the relations between those notions and derive upper and lower bounds for the size of such sets. In the third part (Linear Codes) we show the relations between those notions and linear codes. Our main notion of a (t, k)-base bridges between two well-known structures: (1, k)-bases are just projective geometries, while (k−1, k)-bases correspond to maximal MDS-codes. We show how the properties of (t, k)-independence and (t, k)-spanning relate to the notions of minimum distance and covering radius of linear codes and how our results regarding the size of such sets relate to known bounds in coding theory. We conclude by comparing between the notions that we introduce here and some well known objects from projective geometry.      

The Fine Spectra of the Difference Operator △ Over the Sequence Space bvp, （1 ≤ p 〈 ∞）^＊

The sequence space bvp consisting of all sequences （xk） such that （xk -xk-1） belongs to the space gp has recently been introduced by Basar and Altay [Ukrainian Math. J., 55（1）, 136-147（2003）]; where 1 ≤ p ≤ ∞. In the present paper, some results concerning with the continuous dual and f-dual, and the AD-property of the sequence space bvp have been given and the norm of the difference operator A acting on the sequence space bvp has been found. The fine spectrum with respect to the Goldberg＇s classification of the difference operator △ over the sequence space bvp has been determined, where 1≤p〈∞.     

The intersection of subgroups of finite <Emphasis Type="Italic">p</Emphasis>-groups

For a finite p-group G and a positive integer k let I _k (G) denote the intersection of all subgroups of G of order p ^k . This paper classifies the finite p-groups G with I_k(G) @ C_p^k-1{{I}_k(G)\cong C_{p^{k-1}}} for primes p > 2. We also show that for any k, α ≥ 0 with 2(α + 1) ≤ k ≤ n−α the groups G of order p ⁿ with I_k(G) @ C_p^k-a{{I}_k(G)\cong C_{p^{k-\alpha}}} are exactly the groups of exponent p ^n-α .     

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 sums related to the numerator of generating functions for the <Emphasis Type="Italic">k</Emphasis>th power of Fibonacci numbers on sums related to the numerator of generating functions for the <Emphasis Type="Italic">k</Emphasis>th power of Fibonacci numbers

New results about some sums s _n (k, l) of products of the Lucas numbers, which are of similar type as the sums in [SEIBERT, J.—TROJOVSK Y, P.: On multiple sums of products of Lucas numbers, J. Integer Seq. 10 (2007), Article 07.4.5], and sums σ(k) = $ \sum\limits_{l = 0}^{\tfrac{{k - 1}} {2}} {(_l^k )F_k - 2l^S n(k,l)} $ \sum\limits_{l = 0}^{\tfrac{{k - 1}} {2}} {(_l^k )F_k - 2l^S n(k,l)} are derived. These sums are related to the numerator of generating function for the kth powers of the Fibonacci numbers. s _n (k, l) and σ(k) are expressed as the sum of the binomial and the Fibonomial coefficients. Proofs of these formulas are based on a special inverse formulas.     

Fibonacci and Lucas congruences and their applications

In this paper we obtain some new identities containing Fibonacci and Lucas numbers. These identities allow us to give some congruences concerning Fibonacci and Lucas numbers such as L _2mn+k ≡ (−1)^(m+1)n L _k (mod L _m ), F _2mn+k ≡ (−1)^(m+1)n F _k (mod L _m ), L _2mn+k ≡ (−1) ^mn L _k (mod F _m ) and F _2mn+k ≡ (−1) ^mn F _k (mod F _m ). By the achieved identities, divisibility properties of Fibonacci and Lucas numbers are given. Then it is proved that there is no Lucas number L _n such that L _n = L ₂ ^k t L _m x ² for m > 1 and k ≥ 1. Moreover it is proved that L _n = L _m L _r is impossible if m and r are positive integers greater than 1. Also, a conjecture concerning with the subject is given.     

A 2-factor with Short Cycles Passing Through Specified Independent Vertices in Graph

For a graph G, we define σ₂(G) := min{d(u) + d(v)|u, v ≠ ∈ E(G), u ≠ v}. Let k ≥ 1 be an integer and G be a graph of order n ≥ 3k. We prove if σ₂(G) ≥ n + k − 1, then for any set of k independent vertices v ₁,...,v _k , G has k vertex-disjoint cycles C ₁,..., C _k of length at most four such that v _i ∈ V(C _i ) for all 1 ≤ i ≤ k. And show if σ₂(G) ≥ n + k − 1, then for any set of k independent vertices v ₁,...,v _k , G has k vertex-disjoint cycles C ₁,..., C _k such that v _i ∈ V(C _i ) for all 1 ≤ i ≤ k, V(C ₁) ∪...∪ V(C _k ) = V(G), and |C _i | ≤ 4 for all 1 ≤ i ≤ k − 1. The condition of degree sum σ₂(G) ≥ n + k − 1 is sharp. Received: December 20, 2006. Final version received: December 12, 2007.