Exact solution of the hypergraph Turán problem for k-uniform linear paths

A k-uniform linear path of length ?, denoted by ? _? ^(k) , is a family of k-sets {F ₁,...,F _? such that |F _i ∩ F _i+1|=1 for each i and F _i ∩ F _bj = \(\not 0\) whenever |i?j|>1. Given a k-uniform hypergraph H and a positive integer n, the k-uniform hypergraph Turán number of H, denoted by ex _k (n, H), is the maximum number of edges in a k-uniform hypergraph \(\mathcal{F}\) on n vertices that does not contain H as a subhypergraph. With an intensive use of the delta-system method, we determine ex _k (n, P _? ^(k) exactly for all fixed ? ≥1, k≥4, and sufficiently large n. We show that $ex_k (n,\mathbb{P}_{2t + 1}^{(k)} ) = (_{k - 1}^{n - 1} ) + (_{k - 1}^{n - 2} ) + \cdots + (_{k - 1}^{n - t} )$ . The only extremal family consists of all the k-sets in [n] that meet some fixed set of t vertices. We also show that $ex(n,\mathbb{P}_{2t + 2}^{(k)} ) = (_{k - 1}^{n - 1} ) + (_{k - 1}^{n - 2} ) + \cdots + (_{k - 1}^{n - t} ) + (_{k - 2}^{n - t - 2} )$ , and describe the unique extremal family. Stability results on these bounds and some related results are also established.     

Type II Hermite�CPad�� Approximations of Generalized Hypergeometric Series

We shall present short proofs for type II (simultaneous) Hermite–Padé approximations of the generalized hypergeometric and q-hypergeometric series

Asymptotic normality in a coupon collector's problem

Summary Let {a _s , s=1, 2, ..., N} be a set of reals and {p _s , s=1, 2, ..., N} be a set of probabilities, i.e. p _s0 and p ₁+p ₂+...+p _N =1. Let I ₁ I ₂,... be independent random variables, all with the distribution P(I=s)=p _s , s=1, 2, ..., N. Put U _v =l if I _v {I ₁, I ₂, ..., I _v –1} and U _v =0 otherwise, v=1, 2, .... The random variable Z _n = is called the bonus sum after ncoupons for a coupon collector in the situation {(p _s , a _s ), s=1, 2, ..., N}.Consider a sequence {(p _ks , a _ks ), s=l, 2, ..., N _k }, k=1, 2, ..., of collector situations, and let {Z _n ^(k) , n=1, 2, ...}, k=1, 2, ..., be the corresponding sequence of bonus sum variables. Let d be an arbitrary natural number and let , k=1, 2, ..., where 1 n _k ⁽¹⁾<n _k ⁽²⁾<< n _k ^(d) .We assume that N ^(k) t8 and that .It is shown that the random vector V ^(k) is, under general conditions, asymptotically (as kt8) normally distributed. An asymptotic expression for the covariance matrix of V ^(k) is derived.Research supported in part at Stanford University, Stanford, California under contract N0014-67-A-0112-0015.     

Convergence of the all-time supremum of a Lévy process in the heavy-traffic regime

In this paper we derive a technique for obtaining limit theorems for suprema of Lévy processes from their random walk counterparts. For each a>0, let $\{Y^{(a)}_{n}:n\ge1\}In this paper we derive a technique for obtaining limit theorems for suprema of Lévy processes from their random walk counterparts. For each a>0, let {Y^(a)_n:n 3 1}\{Y^{(a)}_{n}:n\ge1\} be a sequence of independent and identically distributed random variables and {X^(a)_t:t 3 0}\{X^{(a)}_{t}:t\ge0\} be a Lévy process such that X₁^(a)=^dY₁^(a)X_{1}^{(a)}\stackrel{d}{=}Y_{1}^{(a)}, \mathbbEX₁^(a) < 0\mathbb{E}X_{1}^{(a)}<0 and \mathbbEX₁^(a)-0\mathbb{E}X_{1}^{(a)}\uparrow0 as a↓0. Let S^(a)_n=?_k=1ⁿ Y^(a)_kS^{(a)}_{n}=\sum _{k=1}^{n} Y^{(a)}_{k}. Then, under some mild assumptions, , for some random variable and some function Δ(⋅). We utilize this result to present a number of limit theorems for suprema of Lévy processes in the heavy-traffic regime.     

Nonvanishing of Automorphic L-Functions at the Center of the Critical Strip

Let S_k(Γ₀(N)Ψ) be the space of holomorphic Γ₀(N)-cusp forms of integral weight k and of character Ψ(mod n), let f(z) be a newform of the space S_k(Γ₀(N),Ψ), and let L_f(s) be the corresponding L-function. The following statements are proved. (1) Let $\mathcal{F}_0 $ be the set of all newforms of S_k(Γ₀(p),1), let p be prime, and let k≥2 be a constant even number. Then $\sum\limits_{f \in \mathcal{F}_0 :L_f (k/2) \ne 0} {1 \gg \frac{p}{{\log ^2 p}}} {\text{ (}}p \to \infty ).$ (2) Let $\mathcal{F}_0 $ be the set of all Hecke eigenforms of the space S_k(Γ₀(1),1) and let k≡0 (mod 4). Then $\sum\limits_{f \in \mathcal{F}_0 :L_f (k/2) \ne 0} {1 \gg \frac{k}{{\log ^2 p}}} {\text{ (}}k \to \infty ).$ Bibliography: 11 titles.     

Discrete Entropies of Orthogonal Polynomials

Given a nontrivial Borel measure on ℝ, let p _n be the corresponding orthonormal polynomial of degree n whose zeros are λ _j ⁽ⁿ⁾, j=1,…,n. Then for each j=1,…,n,

Invariance principle in a bilinear model with weak nonlinearity

We consider a series of bilinear sequences

On Sikkema-Kantorovič polynomials of order K

Let a_n≥0 and F(u)∈C [0,1], Sikkema constructed polynomials: , ifα _n ≡0, then B_n (0, F, x) are Bernstein polynomials. Let , we constructe new polynomials in this paper: Q _n ^(k) (α _n ,f(t))=d ^k /dx ^k B _n+k (α _n ,F _k (u),x), which are called Sikkema-Kantorovic polynomials of order k. Ifα _n ≡0, k=1, then Q_n ⁽¹⁾ (0, f(t), x) are Kantorovič polynomials P_n(f). Ifα _n =0, k=2, then Q_n ⁽²⁾, (0, f(t), x) are Kantorovič polynomials of second order (see Nagel). The main result is: Theorem 2. Let 1≤p≤∞, in order that for every f∈L^P [0, 1], , it is sufficient and necessary that , § 1. Let f(t) de a continuous function on [a, b], i. e., f∈C [a, b], we define^{[1–2],[8–10]}: . As usual, for the space L^p [a,b](1≤p<∞), we have and L[a, b]=l¹[a, b]. Letα _n ⩾0and F(u)∈C[0,1],Sikkema-Bernstein polynomials ^{[3] [4]}. The author expresses his thanks to Professor M. W. Müller of Dortmund University at West Germany for his supports.     

On ℤ<Subscript>2</Subscript>-graded identities of the super tensor product of <Emphasis Type="Italic">UT</Emphasis><Subscript>2</Subscript>(<Emphasis Type="Italic">F</Emphasis>) by the Grassmann algebra

Let F be a field of characteristic zero and E be the unitary Grassmann algebra generated over an infinite-dimensional F-vector space L. Denote by \(\mathcal{E} = \mathcal{E}^{(0)} \oplus \mathcal{E}^{(1)}\) an arbitrary ?₂-grading of E such that the subspace L is homogeneous. Given a superalgebra A = A ⁽⁰⁾ ⊕ A ⁽¹⁾, define the superalgebra \(A\hat \otimes \mathcal{E}\) by \(A\hat \otimes \mathcal{E} = (A^{(0)} \otimes \mathcal{E}^{(0)} ) \oplus (A^{(1)} \otimes \mathcal{E}^{(1)} )\). Note that when E is the canonical grading of E then \(A\hat \otimes \mathcal{E}\) is the Grassmann envelope of A. In this work we find bases of ?₂-graded identities and we describe the ?₂-graded codimension and cocharacter sequences for the superalgebras \(UT_2 (F)\hat \otimes \mathcal{E}\), when the algebra UT ₂(F) of 2 ×2 upper triangular matrices over F is endowed with its canonical grading.     

The Law of Iterated Logarithm of Rescaled Range Statistics for AR（1） Model

Let {Xn,n ≥ 0} be an AR（1） process. Let Q（n） be the rescaled range statistic, or the R/S statistic for {Xn} which is given by （max1≤k≤n（∑j=1^k（Xj - ^-Xn）） - min 1≤k≤n（∑j=1^k（ Xj - ^Xn ））） /（n ^-1∑j=1^n（Xj -^-Xn）^2）^1/2 where ^-Xn = n^-1 ∑j=1^nXj. In this paper we show a law of iterated logarithm for rescaled range statistics Q（n） for AR（1） model.     

A normality criterion involving rotations and dilations in the argument

We show that a family F\mathcal{F} of analytic functions in the unit disk \mathbbD{\mathbb{D}} all of whose zeros have multiplicity at least k and which satisfy a condition of the form

Structure theorems of <Emphasis Type="Italic">E</Emphasis>(<Emphasis Type="Italic">n</Emphasis>)-Azumaya algebras

Let k be a field and E(n) be the 2 ⁿ⁺¹-dimensional pointed Hopf algebra over k constructed by Beattie, Dăscălescu and Grünenfelder [J. Algebra, 2000, 225: 743–770]. E(n) is a triangular Hopf algebra with a family of triangular structures R _M parameterized by symmetric matrices M in M _n (k). In this paper, we study the Azumaya algebras in the braided monoidal category $ E_{(n)} \mathcal{M}^{R_M } $ E_{(n)} \mathcal{M}^{R_M } and obtain the structure theorems for Azumaya algebras in the category $ E_{(n)} \mathcal{M}^{R_M } $ E_{(n)} \mathcal{M}^{R_M } , where M is any symmetric n×n matrix over k.     

On Hankel Nonnegative Definite Sequences, the Canonical Hankel Parametrization, and Orthogonal Matrix Polynomials

This paper continues recent investigations started in Dyukarev et al. (Complex anal oper theory 3(4):759–834, 2009) into the structure of the set H_q,2n ³ {\mathcal{H}_{q,2n}^{\ge}} of all Hankel nonnegative definite sequences, (s_j)_j=0²ⁿ{(s_{j})_{j=0}^{2n}}, of complex q × q matrices and its important subclasses H_q,2n ^{3 ,e}{\mathcal{H}_{q,2n}^{\ge,{\rm e}}} and ${\mathcal{H}_{q,2n}^>}${\mathcal{H}_{q,2n}^>} of all Hankel nonnegative definite extendable sequences and of all Hankel positive definite sequences, respectively. These classes of sequences arise quite naturally in the framework of matrix versions of the truncated Hamburger moment problem. In Dyukarev et al. (Complex anal oper theory 3(4):759–834, 2009) a canonical Hankel parametrization [(C_k)_k=1ⁿ, (D_k)_k=0ⁿ]{[(C_k)_{k=1}^n, (D_k)_{k=0}^n]} consisting of two sequences of complex q × q matrices was associated with an arbitrary sequence (s_j)_j=0²ⁿ{(s_{j})_{j=0}^{2n}} of complex q × q matrices. The sequences belonging to each of the classes H_q,2n ³ , H_q,2n ^{3 ,e}{\mathcal{H}_{q,2n}^{\ge}, \mathcal{H}_{q,2n}^{\ge,{\rm e}}}, and ${\mathcal{H}_{q,2n}^>}${\mathcal{H}_{q,2n}^>} were characterized in terms of their canonical Hankel parametrization (see, Dyukarev et al. in Complex anal oper theory 3(4):759–834, 2009; Proposition 2.30). In this paper, we will study further aspects of the canonical Hankel parametrization. Using the canonical Hankel parametrization [(C_k)_k=1ⁿ, (D_k)_k=0ⁿ]{[(C_k)_{k=1}^n, (D_k)_{k=0}^n]} of a sequence (s_j)_j=0²ⁿ ? H_q,2n ³ {(s_{j})_{j=0}^{2n} \in \mathcal{H}_{q,2n}^{\ge}}, we give a recursive construction of a monic right (resp. left) orthogonal system of matrix polynomials with respect to (s_j)_j=0²ⁿ{(s_{j})_{j=0}^{2n}} (see Theorem 5.5). The matrices [(C_k)_k=1ⁿ, (D_k)_k=0ⁿ]{[(C_k)_{k=1}^n, (D_k)_{k=0}^n]} will be expressed in terms of an arbitrary monic right (resp. left) orthogonal system with respect to (s_j)_j=0²ⁿ{(s_{j})_{j=0}^{2n}} (see Theorem 5.11). This result will be reformulated in terms of nonnegative Hermitian Borel measures on \mathbbR{\mathbb{R}}. In this way, integral representations for the matrices [(C_k)_k=1ⁿ, (D_k)_k=0ⁿ]{[(C_k)_{k=1}^n, (D_k)_{k=0}^n]} will be obtained (see Theorem 6.9). Starting from the monic orthogonal polynomials with respect to some classical probability distributions on \mathbbR{\mathbb{R}}, Theorem 6.9 is used to compute the canonical Hankel parametrization of their moment sequences. Moreover, we discuss important number sequences from enumerative combinatorics using the canonical Hankel parametrization.     

On estimation and detection of a function of infinitely many variables

We observe an unknown function of infinitely many variables f = f(t), t = (t₁, ..., t_n, ... ) ∈, [0, 1]^∞, in the Gaussian white noise of level ε > 0. We suppose that in each variable there exists a 1-periodical σ-smooth extension of the function f(t) to IR ^∞. Taking a quantity σ > 0 and a positive sequence a = {a_k}, we consider the set that consists of functions f such that . We consider the cases a_k = k^α and a_k = exp(λk), α > 0, λ > 0. We would like to estimate a function f ∈ or to test the null hypothesis H₀: f = 0 against the alternatives f ∈ , where the set consists of functions f ∈ such that ∥f∥₂ ≥ r. In the estimation problem, we obtain the asymptotics (as ε → 0) of the minimax quadratic risk. In the detection problem, we study the sharp asymptotics of minimax separation rates f _ɛ ^* that provide distiguishability in the problems. Bibliography: 12 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 328, 2005, pp. 91–113.     

Deterministic extractors for affine sources over large fields

An (n,k)-affine source over a finite field is a random variable X = (X ₁,..., X _n ) ∈ , which is uniformly distributed over an (unknown) k-dimensional affine subspace of . We show how to (deterministically) extract practically all the randomness from affine sources, for any field of size larger than n ^c (where c is a large enough constant). Our main results are as follows:

From Chaos to Global Convergence

The main purpose of this paper is to investigate dynamical systems F : \mathbbR² ? \mathbbR²{F : \mathbb{R}^2 \rightarrow \mathbb{R}^2} of the form F(x, y) = (f(x, y), x). We assume that f : \mathbbR² ? \mathbbR{f : \mathbb{R}^2 \rightarrow \mathbb{R}} is continuous and satisfies a condition that holds when f is non decreasing with respect to the second variable. We show that for every initial condition x₀ = (x ₀, y ₀), such that the orbit

On a Poincaré-type Inequality for Energy Forms in L p

We consider Dirichlet spaces ( ) in L ² and more general energy forms in L ^p , . For the latter we introduce the notions of an extended ’Dirichlet’ space and a transient form. Under the assumption that , resp. , are compactly embedded in L ², resp. L ^p , we prove a Poincaré inequality for transient (Dirichlet) forms. If both and its adjoint are sub-Markovian semigroups, we show that the transience of T _t is independent of ) and that it is implied by the transience of the energy form of and the form belonging to .     

Best polynomial approximation in Sobolev-Laguerre and Sobolev-Legendre spaces

We investigate limiting behavior as γ tends to ∞ of the best polynomial approximations in the Sobolev-Laguerre space W^N,2([0, ∞); e^−x) and the Sobolev-Legendre space W^N,2([−1, 1]) with respect to the Sobolev-Laguerre inner product

Weighted Non-Trivial Multiply Intersecting Families

Let n and r be positive integers. Suppose that a family satisfies F₁∩···∩F_r ≠∅ for all F₁, . . .,F_r ∈ and . We prove that there exists ε=ε(r) >0 such that holds for 1/2≤w≤1/2+ε if r≥13.     

On the relation of Voevodsky’s algebraic cobordism to Quillen’s <Emphasis Type="Italic">K</Emphasis>-theory

Quillen’s algebraic K-theory is reconstructed via Voevodsky’s algebraic cobordism. More precisely, for a ground field k the algebraic cobordism P¹-spectrum MGL of Voevodsky is considered as a commutative P¹-ring spectrum. Setting we regard the bigraded theory MGL ^p,q as just a graded theory. There is a unique ring morphism which sends the class [X]_MGL of a smooth projective k-variety X to the Euler characteristic of the structure sheaf . Our main result states that there is a canonical grade preserving isomorphism of ring cohomology theories