On the existence of nested orthogonal arrays

A nested orthogonal array is an OA(N,k,s,g) which contains an OA(M,k,r,g) as a subarray. Here r<s and M<N. Necessary conditions for the existence of such arrays are obtained in the form of upper bounds on k, given N, M, s, r and g. Examples are given to show that these bounds are quite powerful in proving nonexistence. The link with incomplete orthogonal arrays is also indicated.     

Connected hyperplanes in binary matroids

For a 3-connected binary matroid M, let dim_A(M) be the dimension of the subspace of the cocycle space spanned by the non-separating cocircuits of M avoiding A, where A⊆E(M). When A=∅, Bixby and Cunningham, in 1979, showed that dim_A(M)=r(M). In 2004, when |A|=1, Lemos proved that dim_A(M)=r(M)-1. In this paper, we characterize the 3-connected binary matroids having a pair of elements that meets every non-separating cocircuit. Using this result, we show that 2dim_A(M)?r(M)-3, when M is regular and |A|=2. For |A|=3, we exhibit a family of cographic matroids with a 3-element set intersecting every non-separating cocircuit. We also construct the matroids that attains McNulty and Wu’s bound for the number of non-separating cocircuits of a simple and cosimple connected binary matroid.     

Indecomposable modules over one-dimensional Noetherian rings

In this article we consider finitely generated torsion-free modules over certain one-dimensional commutative Noetherian rings R. We assume there exists a positive integer N_R such that, for every indecomposable R-module M and for every minimal prime ideal P of R, the dimension of M_P, as a vector space over the field R_P, is less than or equal to N_R. If a nonzero indecomposable R-module M is such that all the localizations M_P as vector spaces over the fields R_P have the same dimension r, for every minimal prime P of R, then r=1,2,3,4 or 6. Let n be an integer ≥8. We show that if M is an R-module such that the vector space dimensions of the M_P are between n and 2n−8, then M decomposes non-trivially. For each n≥8, we exhibit a semilocal ring and an indecomposable module for which the relevant dimensions range from n to 2n−7. These results require a mild equicharacteristic assumption; we also discuss bounds in the non-equicharacteristic case.     

Ubiquity of odometers in topological dynamical systems

Let M be the Cantor space or an n-manifold with C(M,M) the set of continuous self-maps of M. We prove the following:

(1)

There is a residual set of points (x,f) in M×C(M,M) all of which generate as their ω-limit set a particular, unique adding machine.

(2)

Moreover, if M has the fixed point property, then a generic f∈C(M,M) generates uncountably many distinct copies of every possible adding machine.

     

Heteroclinic solutions for a class of the second order Hamiltonian systems

We shall be concerned with the existence of heteroclinic orbits for the second order Hamiltonian system , where q∈Rn and V∈C¹(R×Rn,R), V?0. We will assume that V and a certain subset M⊂Rn satisfy the following conditions. M is a set of isolated points and #M?2. For every sufficiently small ε>0 there exists δ>0 such that for all (t,z)∈R×Rn, if d(z,M)?ε then −V(t,z)?δ. The integrals , z∈M, are equi-bounded and −V(t,z)→∞, as |t|→∞, uniformly on compact subsets of Rn?M. Our result states that each point in M is joined to another point in M by a solution of our system.     

Pre-Bloch invariants of 3-manifolds with boundary

Let M be an oriented hyperbolic 3-manifold with finite volume. In [W.D. Neumann, J. Yang, Bloch invariants of hyperbolic 3-manifolds, Duke Math. J. 96 (1999) 29-59. [9]], Neumann and Yang defined an element β(M) of Bloch group B(C) for M. For this β(M), volume and Chern-Simons invariant of M is represented by a transcendental function. In this paper, we define β(M,ρ,C,o)∈P(C) for an oriented 3-manifold M with boundary, a representation of its fundamental group , a pants decomposition C of ∂M and an orientation o on simple closed curves of C. Unlike in the case of finite volume, we construct an element of pre-Bloch group P(C), and we need essentially the pants decomposition on the boundary. The volume makes sense for β(M,ρ,C,o) and we can describe the variation of volume on the deformation space.     

Bounding the number of bases of a matroid

Letb(M) andc(M), respectively, be the number of bases and circuits of a matroidM. For any given minor closed class? of matroids, the following two questions, are investigated in this paper. (1) When is there a polynomial functionp(x) such thatb(M)≤p(c(m)|E(M)|) for every matroidM in?? (2) When is there a polynomial functionp(x) such thatb(M)≤p(|E(M)|) for every matroidM in?? Let us denote byM _Mn the direct sum ofn copies ofU _1,2. We prove that the answer to the first question is affirmative if and only if someM _Mn is not in?. Furthermore, if all the members of? are representable over a fixed finite field, then we prove that the answer to the second question is affirmative if and only if, also, someM _Mn is not in?.     

Long paths with endpoints in given vertex-subsets of graphs

Let G=(V,E) be a connected graph of order n, t a real number with t?1 and M⊆V(G) with . In this paper, we study the problem of some long paths to maintain their one or two different endpoints in M. We obtain the following two results: (1) for any vertex v∈V(G), there exists a vertex u∈M and a path P with the two endpoints v and u to satisfy , , d_G(u)+1-t}; (2) there exists either a cycle C to cover all vertices of M or a path P with two different endpoints u₀ and u_p in M to satisfy , where .     

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).     

Symplectic duality of symmetric spaces

Let M⊂Cn be a complex n-dimensional Hermitian symmetric space endowed with the hyperbolic form ωhyp. Denote by (M^∗,ωFS) the compact dual of (M,ωhyp), where ωFS is the Fubini-Study form on M^∗. Our first result is Theorem 1.1 where, with the aid of the theory of Jordan triple systems, we construct an explicit symplectic duality, namely a diffeomorphism satisfying and for the pull-back of ΨM, where ω₀ is the restriction to M of the flat Kähler form of the Hermitian positive Jordan triple system associated to M. Amongst other properties of the map ΨM, we also show that it takes (complete) complex and totally geodesic submanifolds of M through the origin to complex linear subspaces of Cn. As a byproduct of the proof of Theorem 1.1 we get an interesting characterization (Theorem 5.3) of the Bergman form of a Hermitian symmetric space in terms of its restriction to classical complex and totally geodesic submanifolds passing through the origin.     

Relation between metric spaces and Finsler spaces

In a connected Finsler space Fn=(M,F) every ordered pair of points p,q∈M determines a distance ?F(p,q) as the infimum of the arc length of curves joining p to q. (M,?F) is a metric space if Fn is absolutely homogeneous, and it is quasi-metric space (i.e. the symmetry: ?F(p,q)=?F(q,p) fails) if Fn is positively homogeneous only. It is known the Busemann-Mayer relation , for any differentiable curve p(t) in an Fn. This establishes a 1:1 relation between Finsler spaces Fn=(M,F) and (quasi-) metric spaces (M,?F).We show that a distance function ?(p,q) (with the differentiability property of ?F) needs not to be a ?F. This means that the family {(M,?)} is wider than {(M,?F)}. We give a necessary and sufficient condition in two versions for a ? to be a ?F, i.e. for a (quasi-) metric space (M,?) to be equivalent (with respect to the distance) to a Finsler space (M,F).     

The structure of the 4-separations in 4-connected matroids

For a 2-connected matroid M, Cunningham and Edmonds gave a tree decomposition that displays all of its 2-separations. When M is 3-connected, two 3-separations are equivalent if one can be obtained from the other by passing through a sequence of 3-separations each of which is obtained from its predecessor by moving a single element from one side of the 3-separation to the other. Oxley, Semple, and Whittle gave a tree decomposition that displays, up to this equivalence, all non-trivial 3-separations of M. Now let M be 4-connected. In this paper, we define two 4-separations of M to be 2-equivalent if one can be obtained from the other by passing through a sequence of 4-separations each obtained from its predecessor by moving at most two elements from one side of the 4-separation to the other. The main result of the paper proves that M has a tree decomposition that displays, up to 2-equivalence, all non-trivial 4-separations of M.     

Finding a small 3-connected minor maintaining a fixed minor and a fixed element

LetN andM be 3-connected matroids, whereN is a minor ofM on at least 4 elements, and lete be an element ofM and not ofN. Then, there exists a 3-connected minor \(\bar M\) ofM that usese, hasN as a minor, and has at most 4 elements more thanN. This result generalizes a theorem of Truemper and can be used to prove Seymour’s 2-roundedness theorem, as well as a result of Oxley on triples in nonbinary matroids.     

Characterizing local rings via homological dimensions and regular sequences

Let (R,m) be a Noetherian local ring of depth d and C a semidualizing R-complex. Let M be a finite R-module and t an integer between 0 and d. If the G_C-dimension of M/aM is finite for all ideals a generated by an R-regular sequence of length at most d−t then either the G_C-dimension of M is at most t or C is a dualizing complex. Analogous results for other homological dimensions are also given.     

Torsion in the matching complex and chessboard complex

Topological properties of the matching complex were first studied by Bouc in connection with Quillen complexes, and topological properties of the chessboard complex were first studied by Garst in connection with Tits coset complexes. Björner, Lovász, Vre?ica and ?ivaljevi? established bounds on the connectivity of these complexes and conjectured that these bounds are sharp. In this paper we show that the conjecture is true by establishing the nonvanishing of integral homology in the degrees given by these bounds. Moreover, we show that for sufficiently large n, the bottom nonvanishing homology of the matching complex Mn is an elementary 3-group, improving a result of Bouc, and that the bottom nonvanishing homology of the chessboard complex Mn,n is a 3-group of exponent at most 9. When , the bottom nonvanishing homology of Mn,n is shown to be Z₃. Our proofs rely on computer calculations, long exact sequences, representation theory, and tableau combinatorics.     

Kähler structure on moduli spaces of principal bundles

Let M be a moduli space of stable principal G-bundles over a compact Kähler manifold (X,ωX), where G is a reductive linear algebraic group defined over C. Using the existence and uniqueness of a Hermite-Einstein connection on any stable G-bundle P over X, we have a Hermitian form on the harmonic representatives of H¹(X,ad(P)), where ad(P) is the adjoint vector bundle. Using this Hermitian form a Hermitian structure on M is constructed; we call this the Petersson-Weil form. The Petersson-Weil form is a Kähler form, a fact which is a consequence of a fiber integral formula that we prove here. The curvature of the Petersson-Weil Kähler form is computed. Some further properties of this Kähler form are investigated.     

p-q-convergence of sequences of measurable functions

We introduce new types of convergence of sequences of measurable functions stronger than convergence in measure for each pair of positive real numbers p, q and we obtain a classification of convergences in measure. Also in the space M of sequences of measurable functions converging in measure to zero, we introduce in a natural way an equivalence relation ∼, and in the quotient space M=M/∼ a metric, under which M turns to be a complete metric space.     

Polygraphic resolutions and homology of monoids

We prove that for any monoid M, the homology defined by the second author by means of polygraphic resolutions coincides with the homology classically defined by means of resolutions by free ZM-modules.     

Graphs whose signless Laplacian spectral radius does not exceed the Hoffman limit value

For a graph matrix M, the Hoffman limit value H(M) is the limit (if it exists) of the largest eigenvalue (or, M-index, for short) of M(H_n), where the graph H_n is obtained by attaching a pendant edge to the cycle C_n-1 of length n-1. In spectral graph theory, M is usually either the adjacency matrix A or the Laplacian matrix L or the signless Laplacian matrix Q. The exact values of H(A) and H(L) were first determined by Hoffman and Guo, respectively. Since H_n is bipartite for odd n, we have H(Q)=H(L). All graphs whose A-index is not greater than H(A) were completely described in the literature. In the present paper, we determine all graphs whose Q-index does not exceed H(Q). The results obtained are determinant to describe all graphs whose L-index is not greater then H(L). This is done precisely in Wang et al. (in press) [21].