Permutation-operator inequalities on certain symmetry classes of tensors

If A∈T(m, N), the real-valued N-linear functions on E_m, and σ∈S_N, the symmetric group on {…,N}, then we define the permutation operator P_σ: T(m, N) → T(m, N) such that P_σ(A)(x₁,x₂,…,x_N = A(x_σ(1),x_σ(2),…, x_σ(N)). Suppose Σ^q_i=1n_i = N, where the n_i are positive integers. In this paper we present a condition on σ that is sufficient to guarantee that 〈P_σ(A₁?A₂???A_q),A₁?A₂?? ? A_q〉 ? 0 for A_i∈S(m, n_i), where S(m, n_i) denotes the subspace of T(m, n_i) consisting of all the fully symmetric members of T(m, n_i). Also we present a broad generalization of the Neuberger identity which is sometimes useful in answering questions of the type described below. Suppose G and H are subgroups of S_N. We let T_G(m, N) denote all A∈T(m, N) such that P_σ(A) = A for all σ∈G. We define the symmetrizer $\text{S}$_G: T(m, N)→T_G(m,N) such that $\text{S}{}_{\mathrm{G}}\text{(A) = 1/|G|Σ}{}_{\mathrm{\sigma \in G}}\text{P}{}_{\mathrm{\sigma }}\text{(A)}$. Suppose H is a subgroup of G and A∈T_H(m, N). Clearly $\text{6}\text{S}{}_{\mathrm{<mtext>G</mtext>}}\text{6(A) 6? 6A6.}$ We are interested in the reverse type of comparison. In particular, if D is a suitably chosen subset of T_H(m,N), then can we explicitly present a constant C>0 such that $\text{6}\text{S}{}_{\mathrm{G}}\text{(A)6?C6A6}$ for all A∈D?     

Sequence entropy and mixing

The relationship between sequence entropy and mixing is examined. Let T be an automorphism of a Lebesgue space X, $\text{L}$₀ denote the set of all partitions of X possessing finite entropy, and $\text{S}$ denote the set of all increasing sequences of positive integers. It is shown that: (1) T is mixing /a2 sup_{A ? B}h_A(T, α) = H(α) for all B∈I and α∈Z₀. (2) T is weakly mixing /a2 sup_Ah_A(T, α) = H(α) for all α∈Z₀. (3) If T is partially mixing with constant $\text{c (1 ?}\text{1}\text{e}\text{< c < 1)}$, then sup_{A ? B}h_A(T, α) > cH(α) for all B∈I and nontrivial α∈Z₀. (4) If sup_{A ? B}h_A(T, α) > 0 for all B∈I and nontrivial α∈Z₀, then T is weakly mixing.     

On subgraph number independence in trees

For finite graphs F and G, let N_F(G) denote the number of occurrences of F in G, i.e., the number of subgraphs of G which are isomorphic to F. If $\text{F}$ and $\text{G}$ are families of graphs, it is natural to ask then whether or not the quantities N_F(G), F∈$\text{F}$, are linearly independent when G is restricted to $\text{G}$. For example, if $\text{F}$ = {K₁, K₂} (where K_n denotes the complete graph on n vertices) and $\text{F}$ is the family of all (finite) trees, then of course N_K1(T) ? N_K2(T) = 1 for all T∈$\text{F}$. Slightly less trivially, if $\text{F}$ = {S_n: n = 1, 2, 3,…} (where S_n denotes the star on n edges) and $\text{G}$ again is the family of all trees, then Σ_n=1^∞(?1)ⁿ⁺¹N_Sn(T)=1 for all T∈$\text{G}$. It is proved that such a linear dependence can never occur if $\text{F}$ is finite, no F∈$\text{F}$ has an isolated point, and $\text{G}$ contains all trees. This result has important applications in recent work of L. Lovász and one of the authors (Graham and Lovász, to appear).     

The minimal generating space of a polynomial

Given a polynomial $\text{P(X}{}_1\text{,…,X}{}_{\mathrm{N}}\text{)∈}\text{R}\text{[}\text{X}\text{]}$, we calculate a subspace G_p of the linear space 〈X〉 generated by the indeterminates which is minimal with respect to the property $\text{P∈}\text{R}\text{[}\text{G}{}_{\mathrm{p}}\text{]}$ (the algebra generated by G_p, and prove its uniqueness. Furthermore, we use this result to characterize the pairs (P,Q) of polynomials P(X₁,…,X_n) and Q(X₁,…,X_n) for which there exists an isomorphism T:〈X〉 →〈X〉 that “separates P from Q,” i.e., such that for some k(1<k<n) we can write P and Q as $\text{P}{}^1\text{(Y}{}_1\text{,…,Y}{}_{\mathrm{k}}\text{)}$ and $\text{Q}{}^1\text{(Y}{}_{\mathrm{<mtext>k+</mtext><mtext>1</mtext>}}\text{,…,Y}{}_{\mathrm{n}}\text{)}$ respectively, where $\text{Y}\text{=T}\text{X}$.     

Markov inequalities on partially ordered spaces

Let X(ω) be a random element taking values in a linear space $\text{X}$ endowed with the partial order ≤; let $\text{G}$₀ be the class of nonnegative order-preserving functions on $\text{X}$ such that, for each g∈$\text{G}$₀, E[g(X)] is defined; and let $\text{G}$₁?$\text{G}$₀ be the subclass of concave functions. A version of Markov's inequality for such spaces in P(X ≥ x) ≤ inf_$\text{G}$0E[g(X)]/g(x). Moreover, if E(X) = ξ is defined and if Jensen's inequality applies, we have a further inequality P(X≥x) ≤ inf_$\text{G}$1E[g(X)]/g(x) ≤ inf_$\text{G}$1g(ξ)/g(x). Applications are given using a variety or orderings of interest in statistics and applied probability.     

An identity involving partitional generalized binomial coefficients

Define coefficients (_κ^λ) by C_λ(I_p + Z)/C_λ(I_p) = Σ_k=0^l Σ_{?∈$\text{P}$k} (_?^λ) C_κ(Z)/C_κ(I_p), where the C_λ's are zonal polynomials in p by p matrices. It is shown that C_?(Z) etr(Z)/k! = Σ_l=k^∞ Σ_{λ∈$\text{P}$l} (_?^λ) C_λ(Z)/l!. This identity is extended to analogous identities involving generalized Laguerre, Hermite, and other polynomials. Explicit expressions are given for all (_?^λ), ? ∈ $\text{P}$_k, k ≤ 3. Several identities involving the (_?^λ)'s are derived. These are used to derive explicit expressions for coefficients of $\text{C}{}_{\mathrm{\lambda }}\text{(Z)}\text{l}\text{!}$ in expansions of P(Z), $\text{etr}\text{(Z)}\text{k!}$ for all monomials P(Z) in s_j = tr Z^j of degree k ≤ 5.     

Valeurs aux entiers négatifs des séries de Dirichlet associées a un polynôme,I

In this paper, we are studying Dirichlet series Z(P,ξ,s) = Σ_n?$\text{N}$^1rP(n)^?s ξⁿ, where P ∈ $\text{R}$₊ [X₁,…,X_r] and ξⁿ = ξ₁ⁿ¹ … ξ_r^nr, with ξ_i ∈ $\text{C}$, such that |ξ_i| = 1 and ξ_i ≠ 1, 1 ≦ i ≦ r. We show that Z(P, ξ,·) can be continued holomorphically to the whole complex plane, and that the values Z(P, ξ, ?k) for all non negative integers, belong to the field generated over $\text{Q}$ by the ξ_i and the coefficients of P. If, there exists a number field K, containing the ξ_i, 1 ≦ i ≦ r, and the coefficients of P, then we study the denominators of Z(P, ξ, ?k) and we define a $\text{B}$-adic function Z$\text{B}$(P, ξ,·) which is equal, on class of negative integers, to Z(P, ξ, ?k).     

Rational matrix groups of a special type

Let G be a finite group having a faithful irreducible character χ for which χ(1) is prime to ¦G¦/χ(1). Let n=[$\text{Q}$(χ):$\text{Q}$]χ(1), and assume that the factors are not both even. Then G can be embedded in GL_n($\text{Q}$) in such a way that its normalizer therein splits over its centralizer.     

A remark on the tail probability of a distribution

Let {X_n}_n≥1 be a sequence of independent and identically distributed random variables. For each integer n ≥ 1 and positive constants r, t, and ?, let S_n = Σ_j=1ⁿX_j and $\text{E{N}{}_{\mathrm{\infty }}\text{(r, t, ?)} = Σ}{}_{\mathrm{n=1}}{}^{\mathrm{\infty }}\text{n}{}^{\mathrm{r?2}}\text{P{|S}{}_{\mathrm{n}}\text{| > ?n}{}^{\mathrm{<mtext>r</mtext><mtext>t</mtext>}}\text{}}$. In this paper, we prove that (1) lim_?→0+?^α(r?1)E{N_∞(r, t, ?)} = K(r, t) if E(X₁) = 0, Var(X₁) = 1, and E(| X₁ |^t) < ∞, where 2 ≤ t < 2r ≤ 2t, $\text{K(r, t) =}\text{{2}{}^{\mathrm{<mtext>\alpha (r?1)</mtext><mtext>2</mtext>}}\text{Γ(}\text{(1 + α(r ? 1))}\text{2}\text{)}}\text{{(r ? 1) Γ(}\text{1}\text{2}\text{)}}$, and $\text{α =}\text{2t}\text{(2r ? t)}$; (2) $\text{lim}{}_{\mathrm{?\to 0+}}\text{G(t, ?)}\text{H(t, ?)}\text{= 0}$ if 2 < t < 4, E(X₁) = 0, Var(X₁) > 0, and E(|X₁|^t) < ∞, where G(t, ?) = E{N_∞(t, t, ?)} = Σ_n=1^∞n^t?2P{| S_n | > ?n} → ∞ as ? → 0+ and $\text{H(t, ?) = E{N}{}_{\mathrm{\infty }}\text{(t, t, ?)} = Σ}{}_{\mathrm{n=1}}{}^{\mathrm{\infty }}\text{n}{}^{\mathrm{t?2}}\text{P{| S}{}_{\mathrm{n}}\text{| > ?n}{}^{\mathrm{<mtext>2</mtext><mtext>t</mtext>}}\text{} → ∞}\text{as}\text{? → 0+}$, i.e., H(t, ?) goes to infinity much faster than G(t, ?) as ? → 0+ if 2 < t < 4, E(X₁) = 0, Var(X₁) > 0, and E(| X₁ |^t) < ∞. Our results provide us with a much better and deeper understanding of the tail probability of a distribution.     

Retraction spaces and the homotopy metric

Let X be a finite-dimensional compactum. Let $\text{R}$(X) and $\text{N}$(X) be the spaces of retractions and non-deformation retractions of X, respectively, with the compact-open (=sup-metric) topology. Let 2^X_h be the space of non-empty compact ANR subsets of X with topology induced by the homotopy metric. Let R^X_h be the subspace of 2^X_h consisting of the ANR's in X that are retracts of X.We show that $\text{N}$(S^m) is simply-connected for m > 1. We show that if X is an ANR and A₀?R^X_h, then lim_i→∞A_i=A₀ in 2^X_h if and only if for every retraction r₀ of X onto A₀ there are, for almost all i, retractions r_i of X onto A_i such that lim_i→∞r_i=r_o in $\text{R}$(X). We show that if X is an ANR, then the local connectedness of $\text{R}$(X) implies that of R^X_h. We prove that $\text{R}$(M) is locally connected if M is a closed surface. We give examples to show how some of our results weaken when X is not assumed to be an ANR.     

Degenerate bifurcation at simple eigenvalues and stability of bifurcating solutions

Let X and Y be Banach spaces, Y ?X, and let V be a neighborhood of zero in Y. We consider the equation G(λ, u) ≡ A(λ)u + F(λ, u) = 0, where G: [?d₁, d₁] × V → X, G(λ, 0) = 0, and A(λ) is the Fréchet derivative of G with respect to u at (λ, 0). Furthermore, we assume that G is analytic with respect to λ and u. Bifurcation at a simple eigenvalue means that zero is a simple eigenvalue of A (0). Let μ(λ) be the simple eigenvalue of the perturbed operator A(λ) for λ near zero. Let $\text{d}{}^{\mathrm{j}}\text{μ(0)}\text{dλ}{}^{\mathrm{j}}\text{= 0, j = 0,…, m ? 1,}\text{d}{}^{\mathrm{m}}\text{μ(0)}\text{dλ}{}^{\mathrm{m}}\text{A}{}_{\mathrm{m}}\text{≠ 0,}\text{or}\text{μ(λ) ≡ 0}$. Under the nondegeneracy condition m = 1 the existence of a unique curve of solutions intersecting the trivial solution (λ, 0) at (0, 0) is well known. Furthermore the “Principle of Exchange of Stability” was established in this case. We show that in the degenerate case (m > 1) up to m bifurcating curves of solutions can exist and that at least one nontrivial curve exists if m is odd. Our approach supplies all curves of solutions near (0, 0) together with their direction of bifurcation and their linearized stability. The decisive fact is that A_m is also the leading term of the bifurcation equation. A consequence is a “Generalized Principle of Exchange of Stability”, which means that adjacent solutions for the same λ have opposite stability properties in a weakened sense. For practical use we give a criterion for asymptotic stability or instability which follows from the construction of the curves of solutions themselves.     

On the square root of a positive B(X,X1)-valued function

Let (Ω, $\text{B}$, μ) be a measure space, $\text{X}$ a separable Banach space, and $\text{X}$¹ the space of all bounded conjugate linear functionals on $\text{X}$. Let f be a weak¹ summable positive B($\text{X, X}$¹)-valued function defined on Ω. The existence of a separable Hilbert space $\text{K}$, a weakly measurable B($\text{X, K}$)-valued function Q satisfying the relation $\text{Q}{}^1\text{(ω)Q(ω) = f(ω)}$ is proved. This result is used to define the Hilbert space L_2,f of square integrable operator-valued functions with respect to f. It is shown that for B⁺($\text{X, X}$¹)-valued measures, the concepts of weak¹, weak, and strong countable additivity are all the same. Connections with stochastic processes are explained.     

Complete cohomological functors on groups

If Λ is a ring and A is a Λ-module, then a terminal completion of Ext^1_Λ(A, ) is shown to exist if, and only if, Ext^j_Λ(A, P)=0 for all projective Λ-modules P and all sufficiently large j. Such a terminal completion exists for every A if, and only if, the supremum of the injective lengths of all projective Λ-modules, silp Λ, is finite. Analogous results hold for Ext^1_Λ(,A) and involve spli Λ, the supremum of the projective lengths of the injective Λ-modules. When Λ is an integral group ring $\text{Z}$G, spli$\text{Z}$G is finite implies silp $\text{Z}$G is finite. Also the finiteness of spli is preserved under group extensions. If G is a countable soluble group, the spli $\text{Z}$G is finite if, and only if, the Hirsch number of G is finite.     

Counting subsets of the random partition and the ‘Brownian Bridge’ process

Let Ω_m be the set of partitions, ω, of a finite m-element set; induce a uniform probability distribution on Ω_m, and define X_ms(ω) as the number of s-element subsets in ω. We alow the existence of an integer-valued function n=n^(m)(t), t?[0, 1], and centering constants b_ms, 0?s? m, such that

$\text{Z}{}^{\mathrm{(m)}}\text{(t)=}\text{∑}\text{s=0}\text{n(m)(t)}\text{(X}{}_{\mathrm{ms}}\text{?b}{}_{\mathrm{ms}}\text{)}\text{√}\text{∑}\text{s=0}\text{m}\text{b}{}_{\mathrm{ms}}$

converges to the ‘Brownian Bridge’ process in terms of its finite-dimensional distributions.     

Prime interchange graphs of classes of matrices of zeros and ones

Let R = (r₁,…, r_m) and S = (s₁,…, s_n) be nonnegative integral vectors, and let $\text{U}$(R, S) denote the class of all m × n matrices of 0's and 1's having row sum vector R and column sum vector S. An invariant position of $\text{U}$(R, S) is a position whose entry is the same for all matrices in $\text{U}$(R, S). The interchange graph G(R, S) is the graph where the vertices are the matrices in $\text{U}$(R, S) and where two matrices are joined by an edge provided they differ by an interchange. We prove that when 1 ≤ r_i ≤ n ? 1 (i = 1,…, m) and 1 ≤ s_j ≤ m ? 1 (j = 1,…, n), G(R, S) is prime if and only if $\text{U}$(R, S) has no invariant positions.     

The distribution and average order of the coefficients of Dedekind ζ functions

Let K/$\text{Q}$ be an algebraic number field and ζ_K(s) be the associated Dedekind ζ function. A quantitative estimate is proved which shows that the average order of the coefficients of ζ_k^m(s) (for m ∈ $\text{Z}$⁺) arises from infrequent occurrences of very large values of these coefficients. This leads to new Ω-estimates for the associated error terms, improving results of Szegö and Walfisz.     

On the enumeration of chains in regular chain-groups

Let N be a regular chain-group on E (see W. T. Tutte, Canad. J. Math.8 (1956), 13–28); for instance, N may be the group of integer flows or tensions of a directed graph with edge-set E). It is known that the number of proper Z_λ-chains of N (λ ∈ Z, λ ≥ 2) is given by a polynomial in λ, P(N, λ) (when N is the chain-group of integer tensions of the connected graph G, λP(N, λ) is the usual chromatic polynomial of G). We prove the formula: P(N, λ) = Σ_{[E′]∈O(N)⁺/～}Q(R_[E′](N), λ), where O(N)⁺ is the set of orientations of N with a proper positive chain, ～ is a simple equivalence relation on O(N)⁺ (sequence of reversals of positive primitive chains), and Q(R_[E′](N), λ) is the number of chains with values in [1, λ ? 1] in any reorientation of N associated to an element of [E′]. Moreover, each term Q(R_[E′](N), λ) is a polynomial in λ. As applications we obtain: P(N, 0) = (?1)^r(N)∥O(N)⁺/～∥; P(N, ?1) = (?1)^r(N)∥O(N)⁺∥ (a result first proved by Brylawski and Lucas); P(N, λ + 1) ≥ P(N, λ) for λ ≥ 2, λ ∈ Z. Our result can also be considered as a refinement of the following known fact: A regular chain-group N has a proper Z_λ-chain iff it has a proper chain in [?λ + 1, λ ? 1].     

On a class of martingale inequalities

Let Z = {Z₀, Z₁, Z₂,…} be a martingale, with difference sequence X₀ = Z₀, X_i = Z_i ? Z_{i ? 1}, i ≥ 1. The principal purpose of this paper is to prove that the best constant in the inequality λP(sup_i |X_i| ≥ λ) ≤ C sup_iE |Z_i|, for λ > 0, is C = (log 2)^?1. If Z is finite of length n, it is proved that the best constant is $\text{C}{}_{\mathrm{n}}\text{= [n(2}{}^{\mathrm{<mtext>1</mtext><mtext>n</mtext>}}\text{? 1)]}{}^{\mathrm{?1}}$. The analogous best constant C_n(z) when Z₀ ≡ z is also determined. For these finite cases, examples of martingales attaining equality are constructed. The results follow from an explicit determination of the quantity G_n(z, E) = sup_zP(max_i=1,…,n |X_i| ≥ 1), the supremum being taken over all martingales Z with Z₀ ≡ z and E|Z_n| = E. The expression for G_n(z,E) is derived by induction, using methods from the theory of moments.     

Über asymmetrische diophantische approximationen

For irrational numbers θ define α(θ) = lim sup{1/(q(p ? qθ))|p ∈ $\text{Z}$, q ∈ $\text{N}$, p ? qθ > 0} and α(θ) = 0 for rationals. Put $\text{α}\text{(θ) = max{α(θ), α(?0)}}$. Then $\text{U}$ = α($\text{R}$β$\text{Q}$) is an asymmetric analogue to the Lagrange spectrum $\text{U}\text{=}\text{α}\text{(RβQ)}$. Our results concerning $\text{U}$ partly contrast the known properties of $\text{U}$. In fact, $\text{U}$ is a perfect set, each element of which is a condensation point of the spectrum and has continuously many preimages. $\text{U}$ is the closure of its rational elements and of its elements of the form p√m (p ∈ $\text{Q}$), as well. The arbitrarily well approximable numbers form a G_δ-set of 2. category. One has, roughly speaking, $\text{α}\text{→ ∞}$ for α → 1. Finally, the well-known Markov sequence which constitutes the lower Lagrange and Markov spectrum is proved to be a (small) subset of $\text{U}$?[√5,3).     

On Berry-Esséen rates,a law of the iterated logarithm and an invariance principle for the proportion of the sample below the sample mean

Let F_n(x) be the empirical distribution function based on n independent random variables X₁,…,X_n from a common distribution function F(x), and let $\text{X}\text{= Σ}{}_{\mathrm{i=1}}{}^{\mathrm{n}}\text{X}{}_{\mathrm{i}}\text{n}$ be the sample mean. We derive the rate of convergence of $\text{F}{}_{\mathrm{n}}\text{(}\text{X}\text{)}$ to normality (for the regular as well as nonregular cases), a law of iterated logarithm, and an invariance principle for $\text{F}{}_{\mathrm{n}}\text{(}\text{X}\text{)}$.