A characterization and equations for minimal shape-preserving projections

Let X denote a (real) Banach space and V an n-dimensional subspace. We denote by the space of all bounded linear operators from X into V; let be the set of all projections in . For a given , we denote by the set of operators such that PSS. When , we characterize those for which P is minimal. This characterization is then utilized in several applications and examples.     

Weyl sums in with digital restrictions

Let be a finite field and consider the polynomial ring . Let . A function , where G is a group, is called strongly Q-additive, if f(AQ+B)=f(A)+f(B) holds for all polynomials with degB<degQ. We estimate Weyl sums in restricted by Q-additive functions. In particular, for a certain character E we study sums of the form

where is a polynomial with coefficients contained in the field of formal Laurent series over and the range of P is restricted by conditions on f_i(P), where f_i (1ir) are Q_i-additive functions. Adopting an idea of Gel'fond such sums can be rewritten as sums of the form

with . Sums of this shape are treated by applying the kth iterate of the Weyl–van der Corput inequality and studying higher correlations of the functions f_i. With these Weyl sum estimates we show uniform distribution results.     

Properties of multilevel block -circulants

In a previous paper we characterized unilevel block α-circulants , , 0mn-1, in terms of the discrete Fourier transform of , defined by . We showed that most theoretical and computational problems concerning A can be conveniently studied in terms of corresponding problems concerning the Fourier coefficients F₀,F₁,…,F_n-1 individually. In this paper we show that analogous results hold for (k+1)-level matrices, where the first k levels have block circulant structure and the entries at the (k+1)-st level are unstructured rectangular matrices.     

Lattices generated by subspaces in d-bounded distance-regular graphs

Let Γ denote a d-bounded distance-regular graph with diameter d2. A regular strongly closed subgraph of Γ is said to be a subspace of Γ. Define the empty set to be the subspace with diameter -1 in Γ. For 0ii+sd-1, let denote the set of all subspaces in Γ with diameters i,i+1,…,i+s including Γ and . If we define the partial order on by ordinary inclusion (resp. reverse inclusion), then is a poset, denoted by (resp. ). In the present paper we show that both and are atomic lattices, and classify their geometricity.     

Sharp tridiagonal pairs

Let denote a field and let V denote a vector space over with finite positive dimension. We consider a pair of -linear transformations A:V→V and A^*:V→V that satisfies the following conditions: (i) each of A,A^* is diagonalizable; (ii) there exists an ordering of the eigenspaces of A such that A^*V_iV_i-1+V_i+V_i+1 for 0id, where V_-1=0 and V_d+1=0; (iii) there exists an ordering of the eigenspaces of A^* such that for 0iδ, where and ; (iv) there is no subspace W of V such that AWW, A^*WW, W≠0, W≠V. We call such a pair a tridiagonal pair on V. It is known that d=δ and for 0id the dimensions of coincide. We say the pair A,A^* is sharp whenever dimV₀=1. A conjecture of Tatsuro Ito and the second author states that if is algebraically closed then A,A^* is sharp. In order to better understand and eventually prove the conjecture, in this paper we begin a systematic study of the sharp tridiagonal pairs. Our results are summarized as follows. Assuming A,A^* is sharp and using the data we define a finite sequence of scalars called the parameter array. We display some equations that show the geometric significance of the parameter array. We show how the parameter array is affected if Φ is replaced by or or . We prove that if the isomorphism class of Φ is determined by the parameter array then there exists a nondegenerate symmetric bilinear form , on V such that Au,v=u,Av and A^*u,v=u,A^*v for all u,vV.     

On groups with conjugacy classes of distinct sizes

A finite group G is called an ah-group if any two distinct conjugacy classes of G have distinct cardinality. We show that if G is an ah-group, then the non-abelian socle of G is isomorphic to one of the following:

1. , for 1a5, a≠2.

2. A₈.

3. PSL(3,4)^e, for 1e10.

4. A₅×PSL(3,4)^e, for 1e10.

Based on this result, we virtually show that if G is an ah-group with π(G) 2,3,5,7 , then F(G)≠1, or equivalently, that G has an abelian normal subgroup.In addition, we show that if G is an ah-group of minimal size which is not isomorphic to S₃, then the non-abelian socle of G is either trivial or isomorphic to one of the following:

1. , for 3a5.

2. PSL(3,4)^e, for 1e10.

Our research lead us to interesting results related to transitivity and homogeneousity in permutation groups, and to subgroups of wreath products of form Z₂S_n. These results are of independent interest and are located in appendices for greater autonomy.     

A characterization of Q-polynomial distance-regular graphs

Let Γ denote a distance-regular graph with diameter D3. Let θ denote a nontrivial eigenvalue of Γ and let denote the corresponding dual eigenvalue sequence. In this paper we prove that Γ is Q-polynomial with respect to θ if and only if the following (i)–(iii) hold:

(i) There exist such that

(1)

(ii) There exist such that the intersection numbers a_i satisfy

for 0iD, where and are the scalars which satisfy Eq. (1) for i=0, i=D, respectively.

(iii) for 1iD.

Histopolating splines

Given an integrable function f, we are concerned with the construction of a spline H_n(f) of degree n with prescribed knots that satisfies the histopolation conditions

for some fixed . Additionally, the resulting spline operator should be local and reproduce all polynomials of degree n. Our approach of generating such a histospline is based on a local spline interpolation operator that is exact for all polynomials of degree n.     

The simplicity of certain groups of subanalytic diffeomorphisms

Let M be a connected real analytic manifold. We denote by , 1r<∞, the group of subanalytic C^r diffeomorphisms of M which are isotopic to the identity via a compactly supported subanalytic C^r isotopy. We show that satisfies Epstein's axioms. This implies that the commutator subgroup of is simple. Moreover, we show that the commutator subgroup of is dense in . As a corollary we obtain that is topologically simple.     

Turán type reverse Markov inequalities for compact convex sets

For a compact convex set the well-known general Markov inequality holds asserting that a polynomial p of degree n must have p^′c(K)n²p. On the other hand for polynomials in general, p^′ can be arbitrarily small as compared to p.The situation changes when we assume that the polynomials in question have all their zeroes in the convex set K. This was first investigated by Turán, who showed the lower bounds p^′(n/2)p for the unit disk D and for the unit interval I[-1,1]. Although partial results provided general lower estimates of order , as well as certain classes of domains with lower bounds of order n, it was not clear what order of magnitude the general convex domains may admit here.Here we show that for all bounded and convex domains K with nonempty interior and polynomials p with all their zeroes lying in K p^′c(K)np holds true, while p^′C(K)np occurs for any K. Actually, we determine c(K) and C(K) within a factor of absolute numerical constant.     

Asymptotic expression of the linear discrete best -approximation

Let h_p, 1<p<∞, be the best ℓ_p-approximation of the element from a proper affine subspace K of , hK, and let denote the strict uniform approximation of h from K. We prove that there are a vector and a real number a, 0a1, such that

for all p>1, where with γ_p=o(a^p/p).     

disjoint cycles containing specified independent vertices

Let k1 be an integer and G be a graph of order n3k satisfying the condition that σ₂(G)n+k-1. Let v₁,…,v_k be k independent vertices of G, and suppose that G has k vertex-disjoint triangles C₁,…,C_k with v_iV(C_i) for all 1ik.Then G has k vertex-disjoint cycles such that

(i) for all 1ik.

(ii) , and

(iii) At least k-1 of the k cycles are triangles.

The condition of degree sum σ₂(G)n+k-1 is sharp.

Arithmetic progressions consisting of unlike powers

In this paper we present some new results about unlike powers in arithmetic progression. We prove among other things that for given k 4 and L 3 there are only finitely many arithmetic progressions of the form with x_i , gcd(x₀, x_l) = 1 and 2 l_i L for i = 0, 1, …, k − 1. Furthermore, we show that, for L = 3, the progression (1, 1,…, 1) is the only such progression up to sign. Our proofs involve some well-known theorems of Faltings [9], Darmon and Granville [6] as well as Chabauty's method applied to superelliptic curves.     

Convolution operators on the weighted Herz-type Hardy spaces

A molecular characterization of the weighted Herz-type Hardy spaces and is given, by which the boundedness of the Hilbert transform and the Riesz transforms are proved on these space for 0<p1. These results are obtained by first deriving that the convolution operator Tf=k*f is bounded on the weighted Herz-type Hardy spaces.     

On the least values of -norms for the Kontorovich–Lebedev transform and its convolution

We establish analogs of the Hausdorff–Young and Riesz–Kolmogorov inequalities and the norm estimates for the Kontorovich–Lebedev transformation and the corresponding convolution. These classical inequalities are related to the norms of the Fourier convolution and the Hilbert transform in L_p spaces, 1p∞. Boundedness properties of the Kontorovich–Lebedev transform and its convolution operator are investigated. In certain cases the least values of the norm constants are evaluated. Finally, it is conjectured that the norm of the Kontorovich–Lebedev operator is equal to . It confirms, for instance, by the known Plancherel-type theorem for this transform when p=2.     

Theorems about the attractor for incompressible non-Newtonian flow driven by external forces that are rapidly oscillating in time but have a smooth average

This paper discusses the incompressible non-Newtonian fluid with rapidly oscillating external forces g(x,t)=g(x,t,t/) possessing the average g⁰(x,t) as →0⁺, where 0<₀<1. Firstly, with assumptions (A₁)–(A₅) on the functions g(x,t,ξ) and g⁰(x,t), we prove that the Hausdorff distance between the uniform attractors and in space H, corresponding to the oscillating equations and the averaged equation, respectively, is less than O() as →0⁺. Then we establish that the Hausdorff distance between the uniform attractors and in space V is also less than O() as →0⁺. Finally, we show for each [0,₀].     

Sobolev–Hardy space with general weight

In this paper, it is defined the kth order Sobolev–Hardy space with norm

Then the corresponding Poincaré inequality in this space is obtained, and the results are given that this space is embedded in with weight and in with weight ^q/2 for 1q<2. Moreover, we prove that the constant of k-improved Hardy–Sobolev inequality with general weight is optimal. These inequalities turn to be some known versions of Hardy–Sobolev inequalities in the literature by some particular choice of weights.     

Tridiagonal pairs of shape (1, 2, 1)

Let denote a field and let V denote a vector space over with finite positive dimension. We consider a pair of linear transformations A:V→V and A^*:V→V that satisfies the following conditions: (i) each of A,A^* is diagonalizable; (ii) there exists an ordering of the eigenspaces of A such that A^*V_iV_i-1+V_i+V_i+1 for 0id, where V_-1=0 and V_d+1=0; (iii) there exists an ordering of the eigenspaces of A^* such that for 0iδ, where and ; (iv) there is no subspace W of V such that AWW, A^*WW, W≠0,W≠V. We call such a pair a tridiagonal pair on V. It is known that d=δ and that for 0id the dimensions of coincide; we denote this common value by ρ_i. The sequence is called the shape of the pair. In this paper we assume the shape is (1,2,1) and obtain the following results. We describe six bases for V; one diagonalizes A, another diagonalizes A^*, and the other four underlie the split decompositions for A,A^*. We give the action of A and A^* on each basis. For each ordered pair of bases among the six, we give the transition matrix. At the end we classify the tridiagonal pairs of shape (1,2,1) in terms of a sequence of scalars called the parameter array.     

Plancherel–Polya-type inequalities for entire functions of exponential type in

The goal of the paper is to prove generalizations of the classical Plancherel–Polya inequalities in which point-wise sampling of functions (δ-distributions) is replaced by more general compactly supported distributions on . As an application it is shown that a function , 1p∞, which is an entire function of exponential type is uniquely determined by a set of numbers {Ψ_j(f)}, , where {Ψ_j}, , is a countable sequence of compactly supported distributions. In the case p=2 a reconstruction method of a Paley–Wiener function f from a sequence of samples {Ψ_j(f)}, , is given. This method is a generalization of the classical result of Duffin–Schaeffer about exponential frames on intervals.     

Configurations in abelian categories. II. Ringel–Hall algebras

This is the second in a series on configurations in an abelian category . Given a finite poset (I,), an (I,)-configuration (σ,ι,π) is a finite collection of objects σ(J) and morphisms ι(J,K) or in satisfying some axioms, where J,KI. Configurations describe how an object X in decomposes into subobjects.The first paper defined configurations and studied moduli spaces of (I,)-configurations in , using the theory of Artin stacks. It showed well-behaved moduli stacks of objects and configurations in exist when is the abelian category coh(P) of coherent sheaves on a projective scheme P, or mod- of representations of a quiver Q.Write for the vector space of -valued constructible functions on the stack . Motivated by the idea of Ringel–Hall algebras, we define an associative multiplication * on using pushforwards and pullbacks along 1-morphisms between configuration moduli stacks, so that is a -algebra. We also study representations of , the Lie subalgebra of functions supported on indecomposables, and other algebraic structures on .Then we generalize all these ideas to stack functions , a universal generalization of constructible functions, containing more information. When Extⁱ(X,Y)=0 for all and i>1, or when for P a Calabi–Yau 3-fold, we construct (Lie) algebra morphisms from stack algebras to explicit algebras, which will be important in the sequels on invariants counting τ-semistable objects in .