Noncommutative classical invariant theory

In this thesis, we consider some aspects ofnoncommutative classical invariant theory, i.e., noncommutative invariants ofthe classical group SL(2, k). We develop asymbolic method for invariants and covariants, and we use the method to compute some invariant algebras. The subspaceĨ _d ^m of the noncommutative invariant algebraĨ _d consisting of homogeneous elements of degreem has the structure of a module over thesymmetric group S _m . We find the explicit decomposition into irreducible modules. As a consequence, we obtain theHilbert series of the commutative classical invariant algebras. TheCayley—Sylvester theorem and theHermite reciprocity law are studied in some detail. We consider a new power series H(Ĩ _d,t) whose coefficients are the number of irreducibleS _m -modules in the decomposition ofĨ _d ^m , and show that it is rational. Finally, we develop some analogues of all this for covariants.     

Spin invariants of multivectors

LetCl(p, q) be a real universal Clifford algebra which is isomorphic to a full matrix algebra ?(2m). In this paper we show that on the linear subspaceCl ^k(p, q) ofk-vectors the determinant can be written as a product of two polynomialsd _i of degreem and that on the subset ofdecomposable k-vectors we have det=±Q ^m for some quadratic formQ. The polynomialsd _i andQ are examples of a spin invariant, the latter being defined as a functionJ:Cl ^k (p,q) → ? for whichJ(sus^?1)=J(u) for allu ∈Cl ^k(p, q) ands ∈Spin(p, q). In the last section we identify the ‘fundamental’ spin invariants on the bivector spacesCl ²(p, p) forp=2 andp=3.     

Lifting measures to Markov extensions

Generalizing a theorem ofHofbauer (1979), we give conditions under which invariant measures for piecewise invertible dynamical systems can be lifted to Markov extensions. Using these results we prove:

1. IfT is anS-unimodal map with an attracting invariant Cantor set, then ∫log|T′|dμ=0 for the unique invariant measure μ on the Cantor set.
2. IfT is piecewise invertible, iff is the Radon-Nikodym derivative ofT with respect to a σ-finite measurem, if logf has bounded distortion underT, and if μ is an ergodicT-invariant measure satisfying a certain lower estimate for its entropy, then μ?m iffh _μ (T)=Σlogf dμ.

     

Polynomial approximation inL p(S) forp>0

For a simple polytopeS inR ^d andp>0 we show that the best polynomial approximationE _n(f)_p≡E_n(f)L_p(S) satisfies $$E_n \left( f \right)_p \leqslant C\omega _S^r \left( {f,\frac{1}{n}} \right)p,$$ where ω _S ^r is a measure of smoothness off. This result is the best possible in the sense that a weak-type converse inequality is shown and a realization of ω _S ^r (f,t)_p via polynomial approximation is proved.     

On the intersection of two particular convex sets

In this note, necessary and sufficient conditions are given for the intersection of them?1 simplex co {ξ¹,...,ξ ^m } ofm affinely independent vectors ξ¹,...,ξ ^m of ? ⁿ and the negative orthant ? _? ⁿ to be empty, i.e., $$co\{ \xi ^1 ,...,\xi ^m \} \cap \mathbb{R}_ - ^n = \emptyset ,$$ wherem≤n. It is also shown that the special casem=2 can be checked easily. These results suggest that the above-mentioned emptiness can be checked recursively. Some numerical examples are given to illustrate the results. Potential applications of these results include the compatible multicommodity flow problems and satisficing solution problems.     

Mehrfache gitterförmige Kreis- und Kugelanordnungen

LetG be a lattice inR ⁿ and letS ₁ ,S ₂ , ... be the family of unit spheres whose centres are the lattice-points ofG. This set is called ak-fold lattice packing (k-fold lattice covering) if each point ofR ⁿ lies in at most (at least)k of the open (closed) spheresS _i . Letd _k ⁿ be the density of the closestk-fold lattice packing and letD _k ⁿ be the density of the thinnestk-fold lattice covering ofR ⁿ . In the present paper we are considering the following problem: For which valuesn≧2 andk≧2 are the inequalitiesd _k ⁿ >kd ₁ ⁿ ,D _k ⁿ ₁ ⁿ valid?Theorem 1:For all pairs (n, k), n≧3, k≧2, with the exception of (3, k), (4, k), k=3, 5, 7, 9, 11 and (5, 3) we prove d _k ⁿ >kd ₁ ⁿ .Theorem 2:For each k≧3 is D _k ² ₁ ² . The proofs make use of the works ofBlundon, Danzer, Few andHeppes.     

General decomposition theorems form-convex sets in the plane

A setS inR ^dis said to bem-convex,m≧2, if and only if for everym distinct points inS, at least one of the line segments determined by these points lies inS. Clearly any union ofm?1 convex sets ism-convex, yet the converse is false and has inspired some interesting mathematical questions: Under what conditions will anm-convex set be decomposable intom?1 convex sets? And for everym≧2, does there exist aσ(m) such that everym-convex set is a union ofσ(m) convex sets? Pathological examples convince the reader to restrict his attention to closed sets of dimension≦3, and this paper provides answers to the questions above for closed subsets of the plane. IfS is a closedm-convex set in the plane,m ≧ 2, the first question may be answered in one way by the following result: If there is some lineH supportingS at a pointp in the kernel ofS, thenS is a union ofm ? 1 convex sets. Using this result, it is possible to prove several decomposition theorems forS under varying conditions. Finally, an answer to the second question is given: Ifm≧3, thenS is a union of (m?1)³2 ^m?3 or fewer convex sets.     

An inequality of the holomorphic invariant forms

Let ωα(α=1,...,n)be the holomorphic invariant forms introduced by the author previously on a bounded domain D in ■n for n≥2.Set ■α=(i/2)αωα.Then for any complex surface S in D we have ■21|S≥■2|S.     

Random matrix models of stochastic integral type for free infinitely divisible distributions

The Bercovici-Pata bijection maps the set of classical infinitely divisible distributions to the set of free infinitely divisible distributions. The purpose of this work is to study random matrix models for free infinitely divisible distributions under this bijection. First, we find a specific form of the polar decomposition for the Lévy measures of the random matrix models considered in Benaych-Georges [6] who introduced the models through their laws. Second, random matrix models for free infinitely divisible distributions are built consisting of infinitely divisible matrix stochastic integrals whenever their corresponding classical infinitely divisible distributions admit stochastic integral representations. These random matrix models are realizations of random matrices given by stochastic integrals with respect to matrix-valued Lévy processes. Examples of these random matrix models for several classes of free infinitely divisible distributions are given. In particular, it is shown that any free selfdecomposable infinitely divisible distribution has a random matrix model of Ornstein-Uhlenbeck type ?? ₀ ^?? e ^?1 d?? _t ^d , d ?? 1, where ?? _t ^d is a d × d matrix-valued Lévy process satisfying an I _log condition.     

On the chromatic numbers of spheres in ℝ n

Let χ(S _r ^n?1 )) be the minimum number of colours needed to colour the points of a sphere S _r ^n?1 of radius $r \geqslant \tfrac{1} {2}$ in ? ⁿ so that any two points at the distance 1 apart receive different colours. In 1981 P. Erd?s conjectured that χ(S _r ^n?1 )→∞ for all $r \geqslant \tfrac{1} {2}$ . This conjecture was proved in 1983 by L. Lovász who showed in [11] that χ(S _r ^n?1 ) ≥ n. In the same paper, Lovász claimed that if $r < \sqrt {\frac{n} {{2n + 2}}}$ , then χ(S _r ^n?1 ) ≤ n+1, and he conjectured that χ(S _r ^n?1 ) grows exponentially, provided $r \geqslant \sqrt {\frac{n} {{2n + 2}}}$ . In this paper, we show that Lovász’ claim is wrong and his conjecture is true: actually we prove that the quantity χ(S _r ^n?1 ) grows exponentially for any $r > \tfrac{1} {2}$ .     

The maximal Fejér operator on the spacesH p (R×···×R)

It is shown that the maximal operator of the Fejér means of a tempered distribution is bounded from thed-dimensional Hardy spaceH _p (R×···×R) toL _p (R ^d ) (1/2<p<∞) and is of weak type (H ₁ ^?i ,L ₁) (i=1,…,d), where the Hardy spaceH ₁ ^?i is defined by a hybrid maximal function. As a consequence, we obtain that the Fejér means of a functionf ∈H ₁ ^?i ?L(logL) ^d?1 converge a.e. to the function in question. Moreover, we prove that the Fejér means are uniformly bounded onH _p (R×···×R) whenever 1/2<p<∞. Thus, in casef ∈H _p (R×···×R) the Fejér means converge tof inH _p (R×···×R) norm. The same results are proved for the conjugate Fejér means, too.     

Equiconvergence of spectral decompositions of Hill operators

We study in various functional spaces the equiconvergence of spectral decompositions of the Hill operator L = ?d ²/dx ² + v(x), x ∈ L ¹([0, π], with H _per ^?1 -potential and the free operator L ⁰ = ?d ²/dx ², subject to periodic, antiperiodic or Dirichlet boundary conditions. In particular, we prove that $\left\| {S_N - S_N^0 :L^a \to L^b } \right\| \to 0if1 < a \leqslant b < \infty ,1/a - 1/b < 1/2,$ , where S _N and S _N ⁰ are the N-th partial sums of the spectral decompositions of L and L ⁰. Moreover, if v ∈ H ^?α with 1/2 < α < 1 and $\frac{1} {a} = \frac{3} {2} - \alpha $ , then we obtain the uniform equiconvergence ‖S _N ?S _N ⁰ : L ^a → L ^∞‖ → 0 as N → ∞.     

Sebestyén's Moment Problem And Regular Dilations

We give a necessary and sufficient condition for a double indexed sequence {h _m ⁿ } of vectors in a Hilbert space such that it can be represented in the form h _m ⁿ = T ^m S ⁿ h ₀ ⁰ , (?)m, n ∈ N, where (T,S) is a pair of commuting contractions having regular unitary dilation.     

Caricature of hydrodynamics for lattice dynamics

We consider the lattice dynamics in the half-space, with zero boundary condition. The initial data are supposed to be random function. We introduce the family of initial measures {?? ₀ ^? , ? > 0} depending on a small scaling parameter ?. We assume that the measures ?? ₀ ^? are locally homogeneous for space translations of order much less than ? ^?1 and nonhomogeneous for translations of order ? ^?1. Moreover, the covariance of ?? ₀ ^? decreases with distance uniformly in ?. Given ?? ?? ? / 0, r ?? ? ₊ ^d , and ?? > 0, we consider the distributions of random solution in the time moments t = ??/? _?? and at lattice points close to [r/?] ?? ? ₊ ^d . Themain goal is to study the asymptotic behavior of these distributions as ? ?? 0 and to derive the limit hydrodynamic equations of the Euler or Navier-Stokes type.     

On Riemann sums and Lebesgue integrals

Call a sequence of positive integers(m _k ) _k=1 ^∞ a chain ifm _k devidesm _k+1 and that it has dimensiond if it is a subset of the set of least common multiples ofd chains. In this paper we give a new and elementary proof that iff∈L(logL)^d?1([0, 1)) and(m _k ) _k=1 ^∞ is of dimensiond then $$\mathop {\lim }\limits_{N \to \infty } \frac{1}{N}\sum\limits_{n = 1}^N {f\left( {\left\{ {x + \frac{n}{{m_N }}} \right\}} \right)} = \int_X {fd\mu , a.e.,} $$ with respect to Lebesgue measure. This result was first proved byL. Dubins andJ. Pitman [2] using martingale theory.     

A moment theorem for completely hyperexpansive operators

Given a family $ \{ A_m^x \} _{\mathop {m \in \mathbb{Z}_ + ^d }\limits_{x \in X} } $ (X is a non-empty set) of bounded linear operators between the complex inner product space $ \mathcal{D} $ and the complex Hilbert space ? we characterize the existence of completely hyperexpansive d-tuples T = (T ₁, … , T _d ) on ? such that A _m ^x = T ^m A ₀ ^x for all m ? ? ₊ ^d and x ? X.     

The computation and perturbation analysis for weighted group inverse of rectangular matrices

Cen (Math. Numer. Sin. 29(1):39–48, 2007) has defined a weighted group inverse of rectangular matrices. Let A∈C ^m×n ,W∈C ^n×m , if X∈C ^m×n satisfies the system of matrix equations $$(W_{1})\quad AWXWA=A,\quad\quad (W_{2})\quad XWAWX=X,\quad\quad (W_{3})\quad AWX=XWA$$ X is called the weighted group inverse of A with W, and denoted by A _W ^# . In this paper, we will study the algebra perturbation and analytical perturbation of this kind weighted group inverse A _W ^# . Under some conditions, we give a decomposition of B _W ^# ?A _W ^# . As a results, norm estimate of ‖B _W ^# ?A _W ^# ‖ is presented (where B=A+E). An expression of algebra of perturbation is also obtained. In order to compute this weighted group inverse with ease, we give a new representation of this inverse base on Gauss-elimination, then we can calculate this weighted inverse by Gauss-elimination. In the end, we use a numerical example to show our results.     

Singular integrals along Lipschitz curves with holomorphic kernels

If γ(x)=x+iA(x),tan ^?1‖A′‖_∞<ω<π/2,S _ω ⁰ ={z∈C}| |argz|<ω, or, |arg(-z)|<ω} We have proved that if φ is a holomorphic function in S _ω ⁰ and \(\left| {\varphi (z)} \right| \leqslant \frac{C}{{\left| z \right|}}\) , denotingT f (z)= ∫?(z-ζ)f(ζ)dζ, ?f∈C ₀(γ), ?z∈suppf, where C_c(γ) denotes the class of continuous functions with compact supports, then the following two conditions are equivalent:

1. T can be extended to be a bounded operator on L²(γ);
2. there exists a function ?₁ ∈H ^∞(S _ω ⁰ ) such that ?′₁(z)=?(z)+?(-z), ?z∈S _ω ⁰ ?z∈S _w ⁰ .