A sum formula for the Casson-Walker invariant

We study the following question: How does the Casson-Walker invariant λ of a rational homology 3-sphere obtained by gluing two pieces along a surface depend on the two pieces? Our partial answer may be stated as follows. For a compact oriented 3-manifold A with boundary ∂A, the kernel L _A of the map from H ₁(∂A;Q) to H ₁(A;Q) induced by the inclusion is called the Lagrangian of A. Let Σ be a closed oriented surface, and let A, A′, B and B′ be four rational homology handlebodies such that ∂A, ∂A′, −∂B and −∂B′ are identified via orientation-preserving homeomorphisms with Σ. Assume that L _A = L _{A ′} and L _B = L _{B ′} inside H ₁(Σ;Q) and also assume that L _A and L _B are transverse. Then we express

On a problem of Cilleruelo and Nathanson

Let ℤ denote the set of all integers and ℕ the set of all positive integers. Let A be a set of integers. For every integer u, we denote by d _A (u) and s _A (u) the number of solutions of u=a − a′ with a,a′ ∈ A and u=a+a′ with a,a′ ∈ A and a≤a′, respectively.     

A proof of Selberg's orthogonality for automorphic L-functions

Let π and π′ be automorphic irreducible cuspidal representations of GL_m(Q_A) and GL_m′(Q_A), respectively. Assume that π and π′ are unitary and at least one of them is self-contragredient. In this article we will give an unconditional proof of an orthogonality for π and π′, weighted by the von Mangoldt function Λ(n) and 1−n/x. We then remove the weighting factor 1−n/x and prove the Selberg orthogonality conjecture for automorphic L-functions L(s,π) and L(s,π′), unconditionally for m≤4 and m′≤4, and under the Hypothesis H of Rudnick and Sarnak [20] in other cases. This proof of Selberg's orthogonality removes such an assumption in the computation of superposition distribution of normalized nontrivial zeros of distinct automorphic L-functions by Liu and Ye [12].     

On the restricted arc-connectivity of s-geodetic digraphs

For a strongly connected digraph D the minimum ,cardinality of an arc-cut over all arc-cuts restricted arc-connectivity λ′（D） is defined as the S satisfying that D - S has a non-trivial strong component D1 such that D - V（D1） contains an arc. Let S be a subset of vertices of D. We denote by w＋（S） the set of arcs uv with u ∈ S and v S, and by w-（S） the set of arcs uv with u S and v ∈ S. A digraph D = （V, A） is said to be λ′-optimal if λ′（D） =ξ′（D）, where ξ′（D） is the minimum arc-degree of D defined as ξ（D） = min {ξ′（xy） ： xy ∈ A}, and ξ′（xy） = min（｜ω＋（{x,y}）｜, ｜w-（{x,y}）｜, ｜w＋（x） ∪ w- （y） ｜, ｜w- （x） ∪ω＋ （y）｜}. In this paper a sufficient condition for a s-geodetic strongly connected digraph D to be λ′-optimal is given in terms of its diameter. Furthermore we see that the h-iterated line digraph Lh（D） of a s-geodetic digraph is λ′-optimal for certain iteration h.     

Stabilization of bilinear control systems in Hilbert space with nonquadratic feedback

We consider bilinear control systems of the form y′(t) = Ay(t) + u(t)By(t) where A generates a strongly continuous semigroup of contraction (e ^{t A} ) _t⩾0 on an infinite-dimensional Hilbert space Y whose scalar product is denoted by 〈.,.〉. The function u denotes the scalar control. We suppose that B is a linear bounded operator from the state Y into itself. Tacking into account the control saturation, we study the problem of stabilization by feedback of the form u(t)=−f(〈By(t), y(t)〉). Application to the heat equation is considered.      

Barrier strips and positive solutions of first order singular and regular initial value problems

We use the barrier strip method to prove sufficient conditions for the global solvability of the initial value problem f(t, x, x′) = 0, x(0) = A, including the case in which the function (t, x, y) → f(t, x, y) has a singularity at x = A.     

Dead cores of singular Dirichlet boundary value problems with ϕ-Laplacian

The paper discusses the existence of positive solutions, dead core solutions and pseudodead core solutions of the singular Dirichlet problem (ϕ(u′))′ = λf(t, u, u′), u(0) = u(T) = A. Here λ is the positive parameter, A > 0, f is singular at the value 0 of its first phase variable and may be singular at the value A of its first and at the value 0 of its second phase variable. This work was supported by grant no. A100190703 of the Grant Agency of the Academy of Sciences of the Czech Republic and by the Council of Czech Government MSM 6198959214.     

The triadjoint of an orthosymmetric bimorphism

Let A and B be two Archimedean vector lattices and let (A′)′ _n and (B′)′ _n be their order continuous order biduals. If Ψ: A × A → B is a positive orthosymmetric bimorphism, then the triadjoint Ψ***: (A′)′ _n × (A′)′ _n → (B′)′ _n of Ψ is inevitably orthosymmetric. This leads to a new and short proof of the commutativity of almost f-algebras.     

Influence of anti-diagonals on the asymptotic stability for linear differential systems

Sufficient conditions are given for asymptotic stability of the linear differential system x′  =  B(t)x with B(t) being a 2  ×  2 matrix. All components of B(t) are not assumed to be positive. The matrix B(t) is naturally divisible into a diagonal matrix D(t) and an anti-diagonal matrix A(t). Our concern is to clarify a positive effect of the anti-diagonal part A(t)x on the asymptotic stability for the system x′  =  B(t)x.      

Influence of anti-diagonals on the asymptotic stability for linear differential systems

Sufficient conditions are given for asymptotic stability of the linear differential system x′  =  B(t)x with B(t) being a 2  ×  2 matrix. All components of B(t) are not assumed to be positive. The matrix B(t) is naturally divisible into a diagonal matrix D(t) and an anti-diagonal matrix A(t). Our concern is to clarify a positive effect of the anti-diagonal part A(t)x on the asymptotic stability for the system x′  =  B(t)x.     

On the set of grouplikes of a coring

We focus our attention to the set Gr(■) of grouplike elements of a coring ■ over a ring A.We do some observations on the actions of the groups U(A) and Aut(■) of units of A and of automorphisms of corings of ■,respectively,on Gr(■),and on the subset Gal(■) of all Galois grouplike elements.Among them,we give conditions on ■ under which Gal(■) is a group,in such a way that there is an exact sequence of groups {1} → U(Ag) → U(A) → Gal(■) → {1},where Ag is the subalgebra of coinvariants for some g ∈ Gal(■).     

Derived subgroups of fixed points

LetA be an elementary abelianq-group acting on a finiteq′-groupG. We show that ifA has rank at least 3, then properties ofC _G(a)′, 1 ≠a ∈A restrict the structure ofG′. In particular, we consider exponent, order, rank and number of generators. This author was supported by the NSF. This author was supported by CNP_q-Brazil.     

Jacobians among abelian threefolds: a geometric approach

Let (A, θ) be a principally polarized abelian threefold over a perfect field k, not isomorphic to a product over [`(k)]{\bar k} . There exists a canonical extension k′/k, of degree ≤ 2, such that (A, θ) becomes isomorphic to a Jacobian over k′. The aim of this note is to give a geometric construction of this extension.     

An interlacing theorem for matrices whose graph is a given tree

Let A and B be (n×n)-matrices. For an index set S ⊂ {1, …, n}, denote by A(S) the principal submatrix that lies in the rows and columns indexed by S. Denote by S′ the complement of S and define η(A, B) = det A(S) det B(S′), where the summation is over all subsets of {1, …, n} and, by convention, det A(∅) = det B(∅) = 1. C. R. Johnson conjectured that if A and B are Hermitian and A is positive semidefinite, then the polynomial η(λA,-B) has only real roots. G. Rublein and R. B. Bapat proved that this is true for n ⩽ 3. Bapat also proved this result for any n with the condition that both A and B are tridiagonal. In this paper, we generalize some little-known results concerning the characteristic polynomials and adjacency matrices of trees to matrices whose graph is a given tree and prove the conjecture for any n under the additional assumption that both A and B are matrices whose graph is a tree. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 10, No. 3, pp. 245–254, 2004.     

An envelope for the spectrum of a matrix

We introduce and study an envelope-type region ɛ(A) in the complex plane that contains the eigenvalues of a given n×n complex matrix A. ɛ(A) is the intersection of an infinite number of regions defined by cubic curves. The notion and method of construction of ɛ(A) extend the notion of the numerical range of A, F(A), which is known to be an intersection of an infinite number of half-planes; as a consequence, ɛ(A) is contained in F(A) and represents an improvement in localizing the spectrum of A.     

Acyclic edge colorings of planar graphs and seriesparallel graphs

A proper edge coloring of a graph G is called acyclic if there is no 2-colored cycle in G. The acyclic edge chromatic number of G, denoted by a′(G), is the least number of colors in an acyclic edge coloring of G. Alon et al. conjectured that a′(G) ⩽ Δ(G) + 2 for any graphs. For planar graphs G with girth g(G), we prove that a′(G) ⩽ max{2Δ(G) − 2, Δ(G) + 22} if g(G) ⩾ 3, a′(G) ⩽ Δ(G) + 2 if g(G) ⩾ 5, a′(G) ⩽ Δ(G) + 1 if g(G) ⩾ 7, and a′(G) = Δ(G) if g(G) ⩾ 16 and Δ(G) ⩾ 3. For series-parallel graphs G, we have a′(G) ⩽ Δ(G) + 1. This work was supported by National Natural Science Foundation of China (Grant No. 10871119) and Natural Science Foundation of Shandong Province (Grant No. Y2008A20).     

Separable algebras over infinite fields are 2-generated and finitely presented

We prove that every separable algebra over an infinite field F admits a presentation with 2 generators and finitely many relations. In particular, this is true for finite direct sums of matrix algebras over F and for group algebras FG, where G is a finite group such that the order of G is invertible in F. We illustrate the usefulness of such presentations by using them to find a polynomial criterion to decide when 2 ordered pairs of 2 × 2 matrices (A, B) and (A′, B′) with entries in a commutative ring R are automorphically conjugate over the matrix algebra M ₂(R), under an additional assumption that both pairs generate M ₂(R) as an R-algebra.     

On the evolution operator for abstract parabolic equations

We find a new construction of the evolution operatorG(t, s) associated to a family {A(t), 0≦t≦T} of generators of analytic semigroups in a Banach spaceX. We study the dependence ofG (t, s) ont ands, and we give regularity results for the solution of the i.v.p.u′(t)=A(t)u(t)+f(t),u(0)=x.     

On perturbations of differentiable semigroups

LetX be a Banach space and letA be the infinitesimal generator of a differentiable semigroup {T(t) |t ≥ 0}, i.e. aC ₀-semigroup such thatt ↦T(t)x is differentiable on (0, ∞) for everyx εX. LetB be a bounded linear operator onX and let {S(t) |t ≥ 0} be the semigroup generated byA +B. Renardy recently gave an example which shows that {S(t) |t ≥ 0} need not be differentiable. In this paper we give a condition on the growth of ‖T′(t)‖ ast ↓ 0 which is sufficient to ensure that {S(t) |t ≥ 0} is differentiable. Moreover, we use Renardy’s example to study the optimality of our growth condition. Our results can be summarized roughly as follows:

On local solutions of degenerate differential inclusions

We study the existence and properties of local solution sets for differential inclusions of the form (Ax)′ ∈ F(t, x), where A is a closed linear surjective operator with nontrivial null space and F is a compact set-valued mapping.