Covering shadows with a smaller volume

For n?2 a construction is given for convex bodies K and L in Rn such that the orthogonal projection Lu onto the subspace u^⊥ contains a translate of Ku for every direction u, while the volumes of K and L satisfy Vn(K)>Vn(L).A more general construction is then given for n-dimensional convex bodies K and L such that each orthogonal projection Lξ onto a k-dimensional subspace ξ contains a translate of Kξ, while the mth intrinsic volumes of K and L satisfy Vm(K)>Vm(L) for all m>k.For each k=1,…,n, we then define the collection Cn,k to be the closure (under the Hausdorff topology) of all Blaschke combinations of suitably defined cylinder sets (prisms).It is subsequently shown that, if L∈Cn,k, and if the orthogonal projection Lξ contains a translate of Kξ for every k-dimensional subspace ξ of Rn, then Vn(K)?Vn(L).The families Cn,k, called k-cylinder bodies of Rn, form a strictly increasing chain

Cn,1⊂Cn,2⊂?⊂Cn,n−1⊂Cn,n,     

Coincidences of projections and linear n-valued maps of tori

We prove that the Nielsen fixed point number N(φ) of an n-valued map φ:X?X of a compact connected triangulated orientable q-manifold without boundary is equal to the Nielsen coincidence number of the projections of the graph of φ, a subset of X×X, to the two factors. For certain q×q integer matrices A, there exist “linear” n-valued maps Φn,A,σ:Tq?Tq of q-tori that generalize the single-valued maps fA:Tq→Tq induced by the linear transformations TA:Rq→Rq defined by TA(v)=Av. By calculating the Nielsen coincidence number of the projections of its graph, we calculate N(Φn,A,σ) for a large class of linear n-valued maps.     

Bijective linear maps on semimodules spanned by Boolean matrices of fixed rank

Let M_m,n(B) be the semimodule of all m×n Boolean matrices where B is the Boolean algebra with two elements. Let k be a positive integer such that 2?k?min(m,n). Let B(m,n,k) denote the subsemimodule of M_m,n(B) spanned by the set of all rank k matrices. We show that if T is a bijective linear mapping on B(m,n,k), then there exist permutation matrices P and Q such that T(A)=PAQ for all A∈B(m,n,k) or m=n and T(A)=PA^tQ for all A∈B(m,n,k). This result follows from a more general theorem we prove concerning the structure of linear mappings on B(m,n,k) that preserve both the weight of each matrix and rank one matrices of weight k². Here the weight of a Boolean matrix is the number of its nonzero entries.     

On the computation of the hull number of a graph

Let G be a graph. If u,v∈V(G), a u-vshortest path of G is a path linking u and v with minimum number of edges. The closed interval I[u,v] consists of all vertices lying in some u-v shortest path of G. For S⊆V(G), the set I[S] is the union of all sets I[u,v] for u,v∈S. We say that S is a convex set if I[S]=S. The convex hull of S, denoted I_h[S], is the smallest convex set containing S. A set S is a hull set of G if I_h[S]=V(G). The cardinality of a minimum hull set of G is the hull number of G, denoted by hn(G). In this work we prove that deciding whether hn(G)≤k is NP-complete.We also present polynomial-time algorithms for computing hn(G) when G is a unit interval graph, a cograph or a split graph.     

Large solutions for an elliptic system of quasilinear equations

In this paper we consider the quasilinear elliptic system Δpu=uavb, Δpv=ucve in a smooth bounded domain Ω⊂RN, with the boundary conditions u=v=+∞ on ∂Ω. The operator Δp stands for the p-Laplacian defined by Δpu=div(|∇u|^p−2∇u), p>1, and the exponents verify a,e>p−1, b,c>0 and (a−p+1)(e−p+1)?bc. We analyze positive solutions in both components, providing necessary and sufficient conditions for existence. We also prove uniqueness of positive solutions in the case (a−p+1)(e−p+1)>bc and obtain the exact blow-up rate near the boundary of the solution. In the case (a−p+1)(e−p+1)=bc, infinitely many positive solutions are constructed.     

Taylor series and divisibility

LetA be an augmentedK-algebra; defineT:A →A ?k _kA byT(a)=1?a ?a?1,a ∈A. We prove, under some conditions, thatg is in the subalgebraK[f] ofA generated byf if and only ifT(g) is in the principal ideal generated byT(f) inA?k _kA. WhenA=K[[X]],T(f) is a multiple ofT(X) if and only iff belongs to the ringL obtained by localizingK[X] at (X).     

An improvement of the Nevanlinna-Gundersen theorem

A well-known result of Nevanlinna states that for two nonconstant meromorphic functions f and g on the complex plane C and for four distinct values aj∈C∪{∞}, if νf−aj=νg−aj for all 1?j?4, then g is a Möbius transformation of f. In 1983, Gundersen generalized the result of Nevanlinna to the case where the above condition is replaced by: min{νf−aj,1}=min{νg−aj,1} for j=1,2 and νf−aj=νg−aj for j=3,4. In this paper, we prove that the theorem of Gundersen remains valid to the case where min{νf−aj,1}=min{νg−aj,1} for j=1,2, and min{νf−aj,2}=min{νg−aj,2} for j=3,4. Furthermore, we work on the case where {aj} are small functions.     

Higher rank numerical ranges and low rank perturbations of quantum channels

For a positive integer k, the rank-k numerical range Λk(A) of an operator A acting on a Hilbert space H of dimension at least k is the set of scalars λ such that PAP=λP for some rank k orthogonal projection P. In this paper, a close connection between low rank perturbation of an operator A and Λk(A) is established. In particular, for 1?r<k it is shown that Λk(A)⊆Λk−r(A+F) for any operator F with rank(F)?r. In quantum computing, this result implies that a quantum channel with a k-dimensional error correcting code under a perturbation of rank at most r will still have a (k−r)-dimensional error correcting code. Moreover, it is shown that if A is normal or if the dimension of A is finite, then Λk(A) can be obtained as the intersection of Λk−r(A+F) for a collection of rank r operators F. Examples are given to show that the result fails if A is a general operator. The closure and the interior of the convex set Λk(A) are completely determined. Analogous results are obtained for Λ_∞(A) defined as the set of scalars λ such that PAP=λP for an infinite rank orthogonal projection P. It is shown that Λ_∞(A) is the intersection of all Λk(A) for k=1,2,…. If A−μI is not compact for all μ∈C, then the closure and the interior of Λ_∞(A) coincide with those of the essential numerical range of A. The situation for the special case when A−μI is compact for some μ∈C is also studied.     

Some representations of solutions of elliptic equations

The Dirichlet problem for the region of the plane inside closed smooth curve C for second-order elliptic equations is considered. It is shown that under certain circumstances the solution u can be written uniquely in the form u(P) = ∝_cF(P, Q) g(Q) ds_Q, where F(P, Q) is the fundamental solution of the elliptic equation, and g?L² if the boundary value function f is absolutely continuous with square integrable derivative (f?W); and u(P) = p(F(P, ·)) where p is a unique bounded linear functional on W if f?L². These representations are valid in the exterior of C also. As special cases with slight modifications, the exterior Dirichlet problems for the Helmholtz and Laplace equations are mentioned.It is shown also that if kernel F(P′, Q), with P′ and Q on C, has a complete set of eigenfunctions {ψ_k(P′)} then u(P) can be expanded in a series of their extensions {ψ_k(P)}, where ψ_k(P) = λ_k ∝_cF(P, Q) ψ_k(Q) ds_Q.     

The fractional chromatic number, the Hall ratio, and the lexicographic product

Let χ_f denote the fractional chromatic number and ρ the Hall ratio, and let the lexicographic product of G and H be denoted GlexH. Main results: (i) ρ(GlexH)≤χ_f(G)ρ(H); (ii) if ρ(G)=χ_f(G) then ρ(GlexH)=ρ(G)ρ(H) for all H; (iii) χ_f−ρ is unbounded. In addition, the question of how big χ_f/ρ can be is discussed.     

Steiner intervals and Steiner geodetic numbers in distance-hereditary graphs

A Steiner tree for a set S of vertices in a connected graph G is a connected subgraph of G with a smallest number of edges that contains S. The Steiner interval I(S) of S is the union of all the vertices of G that belong to some Steiner tree for S. If S={u,v}, then I(S)=I[u,v] is called the interval between u and v and consists of all vertices that lie on some shortest u-v path in G. The smallest cardinality of a set S of vertices such that ?_u,v∈SI[u,v]=V(G) is called the geodetic number and is denoted by g(G). The smallest cardinality of a set S of vertices of G such that I(S)=V(G) is called the Steiner geodetic number of G and is denoted by sg(G). We show that for distance-hereditary graphs g(G)?sg(G) but that g(G)/sg(G) can be arbitrarily large if G is not distance hereditary. An efficient algorithm for finding the Steiner interval for a set of vertices in a distance-hereditary graph is described and it is shown how contour vertices can be used in developing an efficient algorithm for finding the Steiner geodetic number of a distance-hereditary graph.     

Maximum nullity of outerplanar graphs and the path cover number

Let G=(V,E) be a graph with V={1,2,…,n}. Define S(G) as the set of all n×n real-valued symmetric matrices A=[a_ij] with a_ij≠0,i≠j if and only if ij∈E. By M(G) we denote the largest possible nullity of any matrix A∈S(G). The path cover number of a graph G, denoted P(G), is the minimum number of vertex disjoint paths occurring as induced subgraphs of G which cover all the vertices of G.There has been some success with relating the path cover number of a graph to its maximum nullity. Johnson and Duarte [5], have shown that for a tree T,M(T)=P(T). Barioli et al. [2], show that for a unicyclic graph G,M(G)=P(G) or M(G)=P(G)-1. Notice that both families of graphs are outerplanar. We show that for any outerplanar graph G,M(G)?P(G). Further we show that for any partial 2-path G,M(G)=P(G).     

Labeling bipartite permutation graphs with a condition at distance two

An L(p,q)-labeling of a graph G is an assignment f from vertices of G to the set of non-negative integers {0,1,…,λ} such that |f(u)−f(v)|≥p if u and v are adjacent, and |f(u)−f(v)|≥q if u and v are at distance 2 apart. The minimum value of λ for which G has L(p,q)-labeling is denoted by λ_p,q(G). The L(p,q)-labeling problem is related to the channel assignment problem for wireless networks.In this paper, we present a polynomial time algorithm for computing L(p,q)-labeling of a bipartite permutation graph G such that the largest label is at most (2p−1)+q(bc(G)−2), where bc(G) is the biclique number of G. Since λ_p,q(G)≥p+q(bc(G)−2) for any bipartite graph G, the upper bound is at most p−1 far from optimal.     

Bitableau bases for Garsia-Haiman modules of hollow type

Garsia-Haiman modules C[Xn,Yn]/Iγ are quotient rings in the variables Xn={x₁,x₂,…,xn} and Yn={y₁,y₂,…,yn} that generalize the quotient ring C[Xn]/I, where I is the ideal generated by the elementary symmetric polynomials ej(Xn) for 1?j?n. A bitableau basis for the Garsia-Haiman modules of hollow type is constructed. Applications of this basis to representation theory and other related polynomial spaces are considered.     

Birational composition of quadratic forms over a local field

Let f(X) and g(Y) be nondegenerate quadratic forms of dimensions m and n, respectively, over K, char K ≠ 2. The problem of birational composition of f(X) and g(Y) is considered: When is the product f(X) · g(Y) birationally equivalent over K to a quadratic form h(Z) over K of dimension m + n? The solution of the birational composition problem for anisotropic quadratic forms over K in the case of m = n = 2 is given. The main result of the paper is the complete solution of the birational composition problem for forms f(X) and g(Y) over a local field P, char P ≠ 2.     

Commuting and centralizing generalized derivations on lie ideals in prime rings

Let R be a noncommutative prime ring of characteristic different from 2, U the Utumi quotient ring of R, C the extended centroid of R, and L a noncentral Lie ideal of R. If F and G are generalized derivations of R and k ≥1 a fixed integer such that [F(x), x] _k x ? x[G(x), x] _k = 0 for any x ∈ L, then one of the following holds:

1. either there exists an a ∈ U and an α ∈ C such that F(x) = xa and G(x) = (a + α)x for all x ∈ R
2. or R satisfies the standard identity s ₄(x ₁, …, x ₄) and one of the following conclusions occurs

1. there exist a, b, c, q ∈ U, such that a ?b + c ?q ∈ C and F(x) = ax + xb, G(x) = cx + xq for all x ∈ R
2. there exist a, b, c ∈ U and a derivation d of U such that F(x) = ax+d(x) andG(x) = bx+xc?d(x) for all x ∈ R, with a + b ? c ∈ C.

     

An improvement of Montel's criterion

Let F be a family of holomorphic functions in a domain D, and let a(z), b(z) be two holomorphic functions in D such that a(z)?b(z), and a(z)?a^′(z) or b(z)?b^′(z). In this paper, we prove that: if, for each f∈F, f(z)−a(z) and f(z)−b(z) have no common zeros, f^′(z)=a(z) whenever f(z)=a(z), and f^′(z)=b(z) whenever f(z)=b(z) in D, then F is normal in D. This result improves and generalizes the classical Montel's normality criterion, and the related results of Pang, Fang and the first author. Some examples are given to show the sharpness of our result.     

On n-Hamiltonian line graphs

With each nonempty graph G one can associate a graph L(G), called the line graph of G, with the property that there exists a one-to-one correspondence between E(G) and V(L(G)) such that two vertices of L(G) are adjacent if and only if the corresponding edges of G are adjacent. For integers m ≥ 2, the mth iterated line graph L^m(G) of G is defined to be L(L^m-1(G)). A graph G of order p ≥ 3 is n-Hamiltonian, 0 ≤ n ≤ p ? 3, if the removal of any k vertices, 0 ≤ k ≤ n, results in a Hamiltonian graph. It is shown that if G is a connected graph with δ(G) ≥ 3, where δ(G) denotes the minimum degree of G, then L²(G) is (δ(G) ? 3)-Hamiltonian. Furthermore, if G is 2-connected and δ(G) ≥ 4, then L²(G) is (2δ(G) ? 4)-Hamiltonian. For a connected graph G which is neither a path, a cycle, nor the graph K(1, 3) and for any positive integer n, the existence of an integer k such that L^m(G) is n-Hamiltonian for every m ≥ k is exhibited. Then, for the special case n = 1, bounds on (and, in some cases, the exact value of) the smallest such integer k are determined for various classes of graphs.     

On the Lefschetz periodic point free continuous self-maps on connected compact manifolds

We characterize the Lefschetz periodic point free self-continuous maps on the following connected compact manifolds: CPn the n-dimensional complex projective space, HPn the n-dimensional quaternion projective space, Sn the n-dimensional sphere and Sp×Sq the product space of the p-dimensional with the q-dimensional spheres.     

Artin's L-functions and one-dimensional characters

Let K/Q be a finite Galois extension with the Galois group G, let χ₁,…,χr be the irreducible non-trivial characters of G, and let A be the C-algebra generated by the Artin L-functions L(s,χ₁),…,L(s,χr). Let B be the subalgebra of A generated by the L-functions corresponding to induced characters of non-trivial one-dimensional characters of subgroups of G. We prove: (1) B is of Krull dimension r and has the same quotient field as A; (2) B=A iff G is M-group; (3) the integral closure of B in A equals A iff G is quasi-M-group.