The smallest graphs with certain adjacency properties

A graph is said to have property P₁,_n if for every sequence of n + 1 points, there is another point adjacent only to the first point. It has previously been shown that almost all graphs have property P₁,_n. It is easy to verify that for each n, there is a cube with this property. A more delicate question asks for the construction of the smallest graphs having property P₁,_n. We find that this problem is intimately related with the discovery of the highly symmetric graphs known as cages, and are thereby enabled to resolve this question for 1?n?6.     

An elliptic semiplane

An elliptic semiplane (symmetric group divisible design with λ₁ = 1 and λ₂ = 0) is constructed. This elliptic semiplane cannot be realized as a projective plane minus a Baer subset, and is the first elliptic semiplane constructed which has this property.     

Cyclic permutations and nearly symmetric integer vectors

Given an integer vector x^T=(x₁,…,x_n) with the property x₁>x₂>? >x_n>0, it is shown that the convex hull of the n cyclic permutations of x contains all the nearly symmetric integer vectors majorized by x. A generalization to noninteger vectors and an application to a class of integer symmetric optimization problems are also given.     

Countably infinite quasi-convex sets in some locally compact abelian groups

We produce a class of countably infinite quasi-convex sets (sequences converging to zero) in the circle group T and in the group J₂ of 2-adic integers determined by sequences of integers satisfying a mild lacunarity condition. We also extend our results to the group R of real numbers. All these quasi-convex sets have a stronger property: Every infinite (necessarily) symmetric subset containing 0 is still quasi-convex.     

On local spectral properties of complex symmetric operators

In this paper we study properties of complex symmetric operators. In particular, we prove that every complex symmetric operator having property (β) or (δ) is decomposable. Moreover, we show that complex symmetric operator T has Dunford?s property (C) and it satisfies Weyl?s theorem if and only if its adjoint does.     

On a characterization of tridiagonal matrices by M. Fiedler

In this note two new proofs are given of the following characterization theorem of M. Fiedler: Let C_n, n?2, be the class of all symmetric, real matrices A of order n with the property that rank (A + D) ? n - 1 for any diagonal real matrix D. Then for any A ε C_n there exists a permutation matrix P such that PAP^T is tridiagonal and irreducible.     

On Symmetric Spaces With Convergence in Measure on Reflexive Subspaces

A closed subspace H of a symmetric space X on [0, 1] is said to be strongly embedded in X if in H the convergence in X-norm is equivalent to the convergence in measure. We study symmetric spaces X with the property that all their reflexive subspaces are strongly embedded in X. We prove that it is the case for all spaces, which satisfy an analogue of the classical Dunford–Pettis theorem on relatively weakly compact subsets in L₁. At the same time the converse assertion fails for a broad class of separableMarcinkiewicz spaces.     

Symmetries on almost symmetric numerical semigroups

The notion of an almost symmetric numerical semigroup was given by V. Barucci and R. Fröberg in J. Algebra, 188, 418–442 (1997). We characterize almost symmetric numerical semigroups by symmetry of pseudo-Frobenius numbers. We give a criterion for H ^? (the dual of M) to be an almost symmetric numerical semigroup. Using these results we give a formula for the multiplicity of an opened modular numerical semigroup. Finally, we show that if H ₁ or H ₂ is not symmetric, then the gluing of H ₁ and H ₂ is not almost symmetric.     

The transonic shock in a nozzle, 2-D and 3-D complete Euler systems

In this paper, we study a transonic shock problem for the Euler flows through a class of 2-D or 3-D nozzles. The nozzle is assumed to be symmetric in the diverging (or converging) part. If the supersonic incoming flow is symmetric near the divergent (or convergent) part of the nozzle, then, as indicated in Section 147 of [R. Courant, K.O. Friedrichs, Supersonic Flow and Shock Waves, Interscience Publ., New York, 1948], there exist two constant pressures P₁ and P₂ with P₁<P₂ such that for given constant exit pressure Pe∈(P₁,P₂), a symmetric transonic shock exists uniquely in the nozzle, and the position and the strength of the shock are completely determined by Pe. Moreover, it is shown in this paper that such a transonic shock solution is unique under the restriction that the shock goes through the fixed point at the wall in the multidimensional setting. Furthermore, we establish the global existence, stability and the long time asymptotic behavior of an unsteady symmetric transonic shock under the exit pressure Pe when the initial unsteady shock lies in the symmetric diverging part of the 2-D or 3-D nozzle. On the other hand, it is shown that an unsteady symmetric transonic shock is structurally unstable in a global-in-time sense if it lies in the symmetric converging part of the nozzle.     

A special class of tensor categories initiated by inverse braid monoids

In this paper, we introduce the concept of a wide tensor category which is a special class of a tensor category initiated by the inverse braid monoids recently investigated by Easdown and Lavers [The Inverse Braid Monoid, Adv. in Math. 186 (2004) 438-455].The inverse braid monoidsIB_n is an inverse monoid which behaves as the symmetric inverse semigroup so that the braid group B_n can be regarded as the braids acting in the symmetric group. In this paper, the structure of inverse braid monoids is explained by using the language of categories. A partial algebra category, which is a subcategory of the representative category of a bialgebra, is given as an example of wide tensor categories. In addition, some elementary properties of wide tensor categories are given. The main result is to show that for every strongly wide tensor category C, a strict wide tensor category C^str can be constructed and is wide tensor equivalent to C with a wide tensor equivalence F.As a generalization of the universality property of the braid category B, we also illustrate a wide tensor category through the discussion on the universality of the inverse braid category IB (see Theorem 3.3, 3.6 and Proposition 3.7).     

Strictly singular and strictly co-singular inclusions between symmetric sequence spaces

Strict singularity and strict co-singularity of inclusions between symmetric sequence spaces are studied. Suitable conditions are provided involving the associated fundamental functions. The special case of Lorentz and Marcinkiewicz spaces is characterized. It is also proved that if E?F are symmetric sequence spaces with E≠?₁ and F≠c₀ and ?_∞ then there exist a intermediate symmetric sequence space G such that E?G?F and both inclusions are not strictly singular. As a consequence new characterizations of the spaces c₀ and ?₁ inside the class of all symmetric sequence spaces are given.     

Symmetric spaces with maximal projection constants

In this paper we introduce a special class of finite-dimensional symmetric subspaces of L₁, so-called regular symmetric subspaces. Using this notion, we show that for any k?2, there exist k-dimensional symmetric subspaces of L₁ which have maximal projection constant among all k-dimensional symmetric spaces. Moreover, L₁ is a maximal overspace for these spaces (see Theorems 4.4 and 4.5.) Also a new asymptotic lower bound for projection constants of symmetric spaces is obtained (see Theorem 5.3). This result answers the question posed in [12, p. 36] (see also [15, p. 38]) by H. Koenig and co-authors. The above results are presented both in real and complex cases.     

The extrinsic holonomy Lie algebra of a parallel submanifold

We investigate parallel submanifolds of a Riemannian symmetric space N. The special case of a symmetric submanifold has been investigated by many authors before and is well understood. We observe that there is an intrinsic property of the second fundamental form which distinguishes full symmetric submanifolds from arbitrary full, complete, parallel submanifolds of N, usually called “1-fullness” of M. Furthermore, for every parallel submanifold \({M\subset N}\) we consider the pullback bundle T N| _M with the linear connection induced by \({\nabla^N}\) . Then there exists a distinguished parallel subbundle \({\mathcal {O}M}\) , usually called the “second osculating bundle” of M. Given a parallel isometric immersion from a symmetric space M into N, we can describe the “extrinsic” holonomy Lie algebra of \({\mathcal {O} M}\) by means of the second fundamental form and the curvature tensor of N at some fixed point. If moreover N is simply connected and M is even a full symmetric submanifold of N, then we will calculate the “extrinsic” holonomy Lie algebra of T N| _M in an explicit form.     

Equivalent conditions for noncentral generalized Laplacianness and independence of matrix quadratic forms

Let Y be an n×p multivariate normal random matrix with general covariance Σ_Y and W be a symmetric matrix. In the present article, the property that a matrix quadratic form Y^′WY is distributed as a difference of two independent (noncentral) Wishart random matrices is called the (noncentral) generalized Laplacianness (GL). Then a set of algebraic results are obtained which will give the necessary and sufficient conditions for the (noncentral) GL of a matrix quadratic form. Further, two extensions of Cochran’s theorem concerning the (noncentral) GL and independence of a family of matrix quadratic forms are developed.     

Delay-dependent stability of symmetric schemes in Boundary Value Methods for DDEs

We consider the symmetric schemes in Boundary Value Methods (BVMs) applied to delay differential equations y^′(t)=ay(t)+by(t-τ) with real coefficients a and b. If the numerical solution tends to zero whenever the exact solution does, the symmetric scheme with (k₁+m,k₂)-boundary conditions is called τ_k1,k2(0)-stable. Three families of symmetric schemes, namely the Extended Trapezoidal Rules of first (ETRs) and second (ETR₂s) kind, and the Top Order Methods (TOMs), are considered in this paper.By using the boundary locus technology, the delay-dependent stability region of the symmetric schemes are analyzed and their boundaries are found. Then by using a necessary and sufficient condition, the considered symmetric schemes are proved to be τ_ν,ν-1(0)-stable.     

Tracial gauge norms on finite von Neumann algebras satisfying the weak Dixmier property

In this paper we set up a representation theorem for tracial gauge norms on finite von Neumann algebras satisfying the weak Dixmier property in terms of Ky Fan norms. Examples of tracial gauge norms on finite von Neumann algebras satisfying the weak Dixmier property include unitarily invariant norms on finite factors (type II₁ factors and Mn(C)) and symmetric gauge norms on L^∞[0,1] and Cn. As the first application, we obtain that the class of unitarily invariant norms on a type II₁ factor coincides with the class of symmetric gauge norms on L^∞[0,1] and von Neumann's classical result [J. von Neumann, Some matrix-inequalities and metrization of matrix-space, Tomsk. Univ. Rev. 1 (1937) 286-300] on unitarily invariant norms on Mn(C). As the second application, Ky Fan's dominance theorem [Ky Fan, Maximum properties and inequalities for the eigenvalues of completely continuous operators, Proc. Natl. Acad. Sci. USA 37 (1951) 760-766] is obtained for finite von Neumann algebras satisfying the weak Dixmier property. As the third application, some classical results in non-commutative Lp-theory (e.g., non-commutative Hölder's inequality, duality and reflexivity of non-commutative Lp-spaces) are obtained for general unitarily invariant norms on finite factors. We also investigate the extreme points of N(M), the convex compact set (in the pointwise weak topology) of normalized unitarily invariant norms (the norm of the identity operator is 1) on a finite factor M. We obtain all extreme points of N(M₂(C)) and some extreme points of N(Mn(C)) (n?3). For a type II₁ factor M, we prove that if t (0?t?1) is a rational number then the Ky Fan tth norm is an extreme point of N(M).     

Block matrices and symmetric perturbations

We prove that if A=[A_ij]∈R^N,N is a block symmetric matrix and y is a solution of a nearby linear system (A+E)y=b, then there exists F=F^T such that y solves a nearby symmetric system (A+F)y=b, if A is symmetric positive definite or the matricial norm μ(A)=(‖A_ij‖₂) is diagonally dominant. Our blockwise analysis extends existing normwise and componentwise results on preserving symmetric perturbations (cf. [J.R. Bunch, J.W. Demmel, Ch. F. Van Loan, The strong stability of algorithms for solving symmetric linear systems, SIAM J.Matrix Anal. Appl. 10 (4) (1989) 494-499; D. Herceg, N. Kreji?, On the strong componentwise stability and H-matrices, Demonstratio Mathematica 30 (2) (1997) 373-378; A. Smoktunowicz, A note on the strong componentwise stability of algorithms for solving symmetric linear systems, Demonstratio Mathematica 28 (2) (1995) 443-448]).     

Cycle Lemma, Parking Functions and Related Multigraphs

For positive integers a and b, an ${(a, \overline{b})}$ -parking function of length n is a sequence (p ₁, . . . , p _n ) of nonnegative integers whose weakly increasing order q ₁ ≤ . . . ≤ q _n satisfies the condition q _i  < a + (i ? 1)b. In this paper, we give a new proof of the enumeration formula for ${(a, \overline{b})}$ -parking functions by using of the cycle lemma for words, which leads to some enumerative results for the ${(a, \overline{b})}$ -parking functions with some restrictions such as symmetric property and periodic property. Based on a bijection between ${(a, \overline{b})}$ -parking functions and rooted forests, we enumerate combinatorially the ${(a, \overline{b})}$ -parking functions with identical initial terms and symmetric ${(a, \overline{b})}$ -parking functions with respect to the middle term. Moreover, we derive the critical group of a multigraph that is closely related to ${(a, \overline{b})}$ -parking functions.