On spectral theory in discrete programming: References added in proof

In different parts of discrete programming so-called (H,A,L_C)-problems are studied, where one must find an h_o?H (H is a set of permutation), for which L_C(h_o) = min_h?HL_C(h), L_C(h) = c_1h(1) +...+ c_nh(n), C = | c_ij | is an n ×n-matrix over A, and A is a totally ordered commutative semigroup (for example, semigroup of positive real numbers or a finite commutative totally ordered semigroup). We are dealing with the full spectrum of values of the function L_C and not only with the solutions of a (H,A,L_C)-problem. Equivalence theorems for different classes of these problems are proved. Realizability of spectra in some classes of (H,A,L_C)-problems is studied.     

A semilattice structure for Arens products

Let (A,?) be a Banach algebra. Then for n∈?, A ⁽²ⁿ⁾ has 2 ⁿ Arens products. In this paper we study the relations between the Arens products on A ⁽²ⁿ⁾. Moreover, if P _n (A) denotes the set of all Arens products on A ⁽²ⁿ⁾, for n∈?, we show that $P(A)=\bigcup_{n=1}^{\infty} P_{n}(A)$ is a ∧-semilattice. Also, we study P(A) as an infinite commutative semigroup and P(A)?{?} as a free semigroup generated by two elements. Then we investigate amenability and weak amenability for their semigroup Banach algebras.     

Linear transformations on matrices: the invariance of generalized permutation matrices—III

Let F be a field, F1 be its multiplicative group, and $\text{H}$ = {H:H is a subgroup of F1 and there do not exist a, b?F1 such that Ha+b?H}. Let D_n be the dihedral group of degree n, H be a nontrivial group in $\text{H}$, and τ_n(H) = {α = (α₁, α₂,…, α_n):α_i?H}. For σ?D_n and α?τ_n(H), let P(σ, α) be the matrix whose (i,j) entry is α_iδ_iσ(j) (i.e., a generalized permutation matrix), and

$\text{P(D}{}_{\mathrm{n}}\text{, H) = {P(σ, α):σ?D}{}_{\mathrm{n}}\text{, α?τ}{}_{\mathrm{n}}\text{(H)}}$

. Let M_n(F) be the vector space of all n×n matrices over F and $\text{T}$P(D_n, H) = {T:T is a linear transformation on M_n (F) to itself and T(P(D_n, H)) = P(D_n, H)}. In this paper we classify all T in $\text{T}$P(D_n, H) and determine the structure of the group $\text{T}$P(D_n, H) (Theorems 1 to 4). An expository version of the main results is given in Sec. 1, and an example is given at the end of the paper.     

Sharp inequalities and regularity of heat semigroup on infinite dimensional spaces

This paper discusses the regularity of the heat semigroup P_t generated from the abstract Wiener measure p_t on an abstract Wiener space (H, B). It is shown that if f ϵ L^x(p_t(x, dy)) for some α > 1, then P_tf(x) is infinitely H-differentiable and DⁿP_tf(x) is a symmetric n-linear Hilbert-Schmidt operator in Lⁿ(H). A compact formula of DⁿP_tf(x) and the estimation of ∥DⁿP_tf(x)∥_HS are also given. In the course of proving the above results, we obtain some sharp integral inequalities.     

The inversion formulae for automorphisms of polynomial algebras and rings of differential operators in prime characteristic

Let K be an arbitrary field of characteristic p>0. We find an explicit formula for the inverse of any algebra automorphism of any of the following algebras: the polynomial algebra P_n?K[x₁,…,x_n], the ring of differential operators D(P_n) on P_n, D(P_n)⊗P_m, the n’th Weyl algebra A_n or A_n⊗P_m, the power series algebra K[[x₁,…,x_n]], the subalgebra T_k1,…,kn of D(P_n) generated by P_n and the higher derivations , 0≤j<p^k_i, i=1,…,n (where k₁,…,k_n∈N), T_k1,…,kn⊗P_m or an arbitrary central simple (countably generated) algebra over an arbitrary field.     

On the order bound of one-point algebraic geometry codes

Let S={s_i}_i∈N⊆N be a numerical semigroup. For each i∈N, let ν(s_i) denote the number of pairs (s_i−s_j,s_j)∈S²: it is well-known that there exists an integer m such that the sequence {ν(s_i)}_i∈N is non-decreasing for i>m. The problem of finding m is solved only in special cases. By way of a suitable parameter t, we improve the known bounds for m and in several cases we determine m explicitly. In particular we give the value of m when the Cohen-Macaulay type of the semigroup is three or when the multiplicity is less than or equal to six. When S is the Weierstrass semigroup of a family {C_i}_i∈N of one-point algebraic geometry codes, these results give better estimates for the order bound on the minimum distance of the codes {C_i}.     

On a problem of rota

Let S(n, k) denote Stirling numbers of the second kind; for each n, let K_n be such that S(n, K_n) ? S(n, k) for all k. Also, let P(n) denote the lattice of partitions of an n-element set. Say that a collection of partitions from P(n) is incomparable if no two are related by refinement. Rota has asked if for all n, the largest possible incomparable collection in P(n) contains S(n, K_n) partitions. In this paper, we construct for all n sufficiently large an incomparable collection in P(n) containing strictly more than S(n, K_n) partitions. We also estimate how large n must be for this construction to work.     

Holomorphic Hermitian vector bundles over the Riemann sphere

We give a complete classification of isomorphism classes of all SU(2)-equivariant holomorphic Hermitian vector bundles on CP¹. We construct a canonical bijective correspondence between the isomorphism classes of SU(2)-equivariant holomorphic Hermitian vector bundles on CP¹ and the isomorphism classes of pairs ({Hn}_n∈Z,T), where each Hn is a finite dimensional Hilbert space with Hn=0 for all but finitely many n, and T is a linear operator on the direct sum _⊕n∈ZHn such that T(Hn)⊂Hn+2 for all n.     

The minimum size of a finite subspace partition

A subspace partition of P=PG(n,q) is a collection of subspaces of P whose pairwise intersection is empty. Let σ_q(n,t) denote the minimum size (i.e., minimum number of subspaces) in a subspace partition of P in which the largest subspace has dimension t. In this paper, we determine the value of σ_q(n,t) for . Moreover, we use the value of σ_q(2t+2,t) to find the minimum size of a maximal partial t-spread in PG(3t+2,q).     

Two equivalent measures on weighted hypergraphs

Let H=(N,E,w) be a hypergraph with a node set N={0,1,…,n-1}, a hyperedge set E⊆2^N, and real edge-weights w(e) for e∈E. Given a convex n-gon P in the plane with vertices x₀,x₁,…,x_n-1 which are arranged in this order clockwisely, let each node i∈N correspond to the vertex x_i and define the area A_P(H) of H on P by the sum of the weighted areas of convex hulls for all hyperedges in H. For 0?i<j<k?n-1, a convex three-cut C(i,j,k) of N is {{i,…,j-1}, {j,…,k-1}, {k,…,n-1,0,…,i-1}} and its size c_H(i,j,k) in H is defined as the sum of weights of edges e∈E such that e contains at least one node from each of {i,…,j-1}, {j,…,k-1} and {k,…,n-1,0,…,i-1}. We show that the following two conditions are equivalent:

•

A_P(H)?A_P(H^′) for all convex n-gons P.

•

c_H(i,j,k)?c_H^′(i,j,k) for all convex three-cuts C(i,j,k).

From this property, a polynomial time algorithm for determining whether or not given weighted hypergraphs H and H^′ satisfy “A_P(H)?A_P(H^′) for all convex n-gons P” is immediately obtained.     

On the dimension of global sections of adjoint bundles for polarized 3-folds and 4-folds

Let (X,L) be a polarized manifold of dimension n defined over the field of complex numbers. In this paper, we treat the case where n=3 and 4. First we study the case of n=3 and we give an explicit lower bound for h⁰(K_X+L) if κ(X)≥0. Moreover, we show the following: if κ(K_X+L)≥0, then h⁰(K_X+L)>0 unless κ(X)=−∞ and h¹(O_X)=0. This gives us a partial answer of Effective Non-vanishing Conjecture for polarized 3-folds. Next for n=4 we investigate the dimension of H⁰(K_X+mL) for m≥2. If n=4 and κ(X)≥0, then a lower bound for h⁰(K_X+mL) is obtained. We also consider a conjecture of Beltrametti-Sommese for 4-folds and we can prove that this conjecture is true unless κ(X)=−∞ and h¹(O_X)=0. Furthermore we prove the following: if (X,L) is a polarized 4-fold with κ(X)≥0 and h¹(O_X)>0, then h⁰(K_X+L)>0.     

An example of the Weierstrass semigroup of a pointed curve on K3 surfaces

Let X be a K3 surface with Picard number one which is given by a double cover π:X→?². Let C be a smooth curve on X with π ^?1 π(C)=C which is not the ramification divisor of π, and let P be a ramification point of π| _C :C→π(C). In this paper, in the case where the intersection multiplicity at π(P) of the curve π(C) and the tangent line at π(P) on π(C) is equal to deg(π(C)) or deg(π(C))?1, we investigate the Weierstrass semigroup of the pointed curve (C,P).     

Analysis of a semigroup approach in the inverse problem of identifying an unknown parameters

This article presents a semigroup approach to the mathematical analysis of the inverse parameter problems of identifying the unknown parameters p(t) and q in the linear parabolic equation u_t(x, t)  = u_xx + qu_x(x, t) + p(t)u(x, t), with Dirichlet boundary conditions u(0, t) = ψ₀, u(1, t) = ψ₁. The main purpose of this paper is to investigate the distinguishability of the input-output mapping Φ[·]:P→H^1,2[0,T], via semigroup theory. In this paper, it is shown that if the nullspace of the semigroup T(t) consists of only zero function, then the input-output mapping Φ[·] has the distinguishability property. It is also shown that the types of the boundary conditions and the region on which the problem is defined play an important role in the distinguishability property of the mapping. Moreover, under the light of the measured output data u_x(0, t) = f(t) the unknown parameter p(t) at (x, t) = (0, 0) and the unknown coefficient q are determined via the input data. Furthermore, it is shown that measured output data f(t) can be determined analytically by an integral representation. Hence the input-output mapping Φ[·]:P→H^1,2[0,T] is given explicitly interms of the semigroup.     

A criterion for the strongly semistable principal bundles over a curve in positive characteristic

Let X be an irreducible smooth projective curve over an algebraically closed field k of positive characteristic and G a simple linear algebraic group over k. Fix a proper parabolic subgroup P of G and a nontrivial anti-dominant character λ of P. Given a principal G-bundle E_G over X, let E_G(λ) be the line bundle over E_G/P associated to the principal P-bundle E_G→E_G/P for the character λ. We prove that E_G is strongly semistable if and only if the line bundle E_G(λ) is numerically effective. For any connected reductive algebraic group H over k, a similar criterion is proved for strongly semistable H-bundles.     

Deformations of the generalised Picard bundle

Let X be a nonsingular algebraic curve of genus g?3, and let M_ξ denote the moduli space of stable vector bundles of rank n?2 and degree d with fixed determinant ξ over X such that n and d are coprime. We assume that if g=3 then n?4 and if g=4 then n?3, and suppose further that n₀, d₀ are integers such that n₀?1 and nd₀+n₀d>nn₀(2g-2). Let E be a semistable vector bundle over X of rank n₀ and degree d₀. The generalised Picard bundle W_ξ(E) is by definition the vector bundle over M_ξ defined by the direct image where U_ξ is a universal vector bundle over X×M_ξ. We obtain an inversion formula allowing us to recover E from W_ξ(E) and show that the space of infinitesimal deformations of W_ξ(E) is isomorphic to H¹(X,End(E)). This construction gives a locally complete family of vector bundles over M_ξ parametrised by the moduli space M(n₀,d₀) of stable bundles of rank n₀ and degree d₀ over X. If (n₀,d₀)=1 and W_ξ(E) is stable for all E∈M(n₀,d₀), the construction determines an isomorphism from M(n₀,d₀) to a connected component M⁰ of a moduli space of stable sheaves over M_ξ. This applies in particular when n₀=1, in which case M⁰ is isomorphic to the Jacobian J of X as a polarised variety. The paper as a whole is a generalisation of results of Kempf and Mukai on Picard bundles over J, and is also related to a paper of Tyurin on the geometry of moduli of vector bundles.     

Singular perturbations of positivity preserving semigroups via path space techniques

Associated with each standard positivity preserving semigroup is a generalized path space. The Feynman-Kac-Nelson formula on path space combined with hypercontractivity of the semigroup allows the control of highly singular perturbations. Applications are given to the Schrödinger equation and quantum field models, including a generalized space cutoff P(φ)₂ interaction, P(φ(0))₂, and a finite volume (ψ²φ)₂ interaction.     

Extreme points in sets of positive linear maps on B(H)

Three main results are obtained: (1) If $\text{D}$ is an atomic maximal Abelian subalgebra of $\text{B}$($\text{H}$), $\text{P}$ is the projection of $\text{B}$($\text{H}$) onto $\text{D}$ and h is a complex homomorphism on $\text{D}$, then h ° $\text{P}$ is a pure state on $\text{B}$($\text{H}$). (2) If {P_n} is a sequence of mutually orthogonal projections with rank(P_n) = n and ∑ P_n = I, $\text{P}$ is the projection of $\text{B}$($\text{H}$) onto {P_n}″ given by P(T)=∑trace_n(T)P_n and h is a homomorphism on {P_n}″ such that h(P_n) = 0 for all n then h ° $\text{P}$ induces a type II_∞ factor representation of the Calkin algebra. (3) If $\text{M}$ is a nonatomic maximal Abelian subalgebra of $\text{B}$($\text{H}$) then there is an atomic maximal Abelian subalgebra $\text{D}$ of $\text{B}$($\text{H}$) and a large family {Φ_α} of ¹-homomorphisms from $\text{D}$ onto $\text{M}$ such that for each α, Φ_α ° $\text{P}$ is an extreme point in the set of projections from $\text{B}$($\text{H}$) onto $\text{M}$. (Here $\text{P}$ denotes the projection of $\text{B}$($\text{H}$) onto $\text{D}$.)     

Weierstrass weight of the hyperosculating points of generalized Fermat curves

Let $(S,H)$ be a generalized Fermat pair of the type $(k,n)$. If $F?S$ is the set of fixed points of the non-trivial elements of the group H, then F is exactly the set of hyperosculating points of the standard embedding $S?{\mathbb{P}}^n$. We provide an optimal lower bound (this being sharp in a dense open set of the moduli space of the generalized Fermat curves) for the Weierstrass weight of these points.     

Two results on homogeneous Hessian nilpotent polynomials

Let z=(z₁,…,z_n) and , the Laplace operator. A formal power series P(z) is said to be Hessian Nilpotent (HN) if its Hessian matrix is nilpotent. In recent developments in [M. de Bondt, A. van den Essen, A reduction of the Jacobian conjecture to the symmetric case, Proc. Amer. Math. Soc. 133 (8) (2005) 2201-2205. [MR2138860]; G. Meng, Legendre transform, Hessian conjecture and tree formula, Appl. Math. Lett. 19 (6) (2006) 503-510. [MR2170971]. See also math-ph/0308035; W. Zhao, Hessian nilpotent polynomials and the Jacobian conjecture, Trans. Amer. Math. Soc. 359 (2007) 249-274. [MR2247890]. See also math.CV/0409534], the Jacobian conjecture has been reduced to the following so-called vanishing conjecture (VC) of HN polynomials: for any homogeneous HN polynomialP(z) (of degreed=4), we haveΔ^mP^m+1(z)=0for anym?0. In this paper, we first show that the VC holds for any homogeneous HN polynomial P(z) provided that the projective subvarieties Z_P and Z_σ2 of CPⁿ⁻¹ determined by the principal ideals generated by P(z) and , respectively, intersect only at regular points of Z_P. Consequently, the Jacobian conjecture holds for the symmetric polynomial maps F=z−∇P with P(z) HN if F has no non-zero fixed point w∈Cⁿ with . Secondly, we show that the VC holds for a HN formal power series P(z) if and only if, for any polynomial f(z), Δ^m(f(z)P(z)^m)=0 when m?0.     

On the domatic and the total domatic numbers of the 2-section graph of the order-interval hypergraph of a finite poset

Let P be a finite poset and H(P) be the hypergraph whose vertices are the points of P and whose edges are the maximal intervals in P. We study the domatic number d(G(P)) and the total domatic number d_t(G(P)) of the 2-section graph G(P) of H(P). For the subset P_l,u of P induced by consecutive levels of P, we give exact values of d(G(P_l,u)) when P is the chain product C_n1×C_n2. According to the values of l,u,n₁,n₂, the maximal domatic partition is exhibited. Moreover, we give some exact values or lower bounds for d(G(P∗Q)) and d_t(G(P_l,u)), when ∗ is the direct sum, the linear sum or the Cartesian product. Finally we show that the domatic number and the total domatic number problems in this class of graphs are NP-complete.