On disjoint range matrices

For a square complex matrix F and for F^∗ being its conjugate transpose, the class of matrices satisfying R(F)∩R(F^∗)={0}, where R(.) denotes range (column space) of a matrix argument, is investigated. Besides identifying a number of its properties, several functions of F, such as F+F^∗, (F:F^∗), FF^∗+F^∗F, and F-F^∗, are considered. Particular attention is paid to the Moore-Penrose inverses of those functions and projectors attributed to them. It is shown that some results scattered in the literature, whose complexity practically prevents them from being used to deal with real problems, can be replaced with much simpler expressions when the ranges of F and F^∗ are disjoint. Furthermore, as a by-product of the derived formulae, one obtains a variety of relevant facts concerning, for instance, rank and range.     

Newtonian and Schinzel sequences in a domain

A Schinzel or F sequence in a domain is such that, for every ideal I with norm q, its first q terms form a system of representatives modulo I, and a Newton or N sequence such that the first q terms serve as a test set for integer-valued polynomials of degree less than q. Strong F and strong N sequences are such that one can use any set of q consecutive terms, not only the first ones, finally a very well F ordered sequence, for short, a V.W.F sequence, is such that, for each ideal I with norm q, and each integer s,{u_sq,…,u_(s+1)q−1} is a complete set of representatives modulo I. In a quasilocal domain, V.W.F sequences and N sequences are the same, so are strong F and strong N sequences. Our main result is that a strong N sequence is a sequence which is locally a strong F sequence, and an N sequence a sequence which is locally a V.W.F. sequence. We show that, for F sequences there is a bound on the number of ideals of a given norm. In particular, a sequence is a strong F sequence if and only if it is a strong N sequence and for each prime p, there is at most one prime ideal with finite residue field of characteristic p. All results are refined to sequences of finite length.     

Free and almost-free subsemigroups of a free semigroup

A subsemigroup S of a free semigroup F(Σ) is almost-free if there is a free subsemigroupT such that S?T?F(Σ) and T/S is finite. It is shown that it is decidable whether a subsemigroup generated by a regular subset of F(Σ) is almost-free. Sufficient- conditions are given such that if a family F of subsets of F(Σ) satisfies these conditions, then it is undecidable for L∈F whether the subsemigroup generated by L is free and also whether it is almost-free.     

Efficient estimation of sparse Jacobian matrices by differences

In difference Newton-like methods for solving F(x)=0, the Jacobian matrix F′(x) is approximated by differences between values of F. If F′(x) is sparse, a consistent partition of its columns can be exploited to approximate F′(x) using relatively few values of F. We provide a local convergence theory for the resulting methods. A superlinearly convergent stable cyclic secant method, in which at each iteration two values of F are required and several columns of the Jacobian matrix approximation are updated simultaneously, is developed.     

A global harmonic Arnoldi method for large non-Hermitian eigenproblems with an application to multiple eigenvalue problems

The global Arnoldi method can be used to compute exterior eigenpairs of a large non-Hermitian matrix A, but it does not work well for interior eigenvalue problems. Based on the global Arnoldi process that generates an F-orthonormal basis of a matrix Krylov subspace, we propose a global harmonic Arnoldi method for computing certain harmonic F-Ritz pairs that are used to approximate some interior eigenpairs. We propose computing the F-Rayleigh quotients of the large non-Hermitian matrix with respect to harmonic F-Ritz vectors and taking them as new approximate eigenvalues. They are better and more reliable than the harmonic F-Ritz values. The global harmonic Arnoldi method inherits convergence properties of the harmonic Arnoldi method applied to a larger matrix whose distinct eigenvalues are the same as those of the original given matrix. Some properties of the harmonic F-Ritz vectors are presented. As an application, assuming that A is diagonalizable, we show that the global harmonic Arnoldi method is able to solve multiple eigenvalue problems both in theory and in practice. To be practical, we develop an implicitly restarted global harmonic Arnoldi algorithm with certain harmonic F-shifts suggested. In particular, this algorithm can be adaptively used to solve multiple eigenvalue problems. Numerical experiments show that the algorithm is efficient for the eigenproblem and is reliable for quite ill-conditioned multiple eigenproblems.     

The Baire category theorem in products of linear spaces and topological groups

A space is a Baire space if the intersection of countably many dense open sets is dense. We show that if X is a non-separable completely metrizable linear space (pathconnected abelian topological group) then X contains two linear subspaces (subgroups) E and F such that both E and F are Baire but E×F is not. If X is a completely metrizable linear space of weight ℵ₁ then X is the direct sum E⊕F of two linear subspaces E and F such that both E and F are Baire but E×F is not.     

Every place admits local uniformization in a finite extension of the function field

We prove that every place P of an algebraic function field F|K of arbitrary characteristic admits local uniformization in a finite extension F of F. We show that F|F can be chosen to be Galois, after a finite purely inseparable extension of the ground field K. Instead of being Galois, the extension can also be chosen such that the induced extension FP|FP of the residue fields is purely inseparable and the value group of F only gets divided by the residue characteristic. If F lies in the completion of an Abhyankar place, then no extension of F is needed. Our proofs are based solely on valuation theoretical theorems, which are of particular importance in positive characteristic. They are also applicable when working over a subring R⊂K and yield similar results if R is regular and of dimension smaller than 3.     

Representability theorems for presheaves of spectra

Suppose that M is a simplicial model category and that F is a contravariant simplicial functor defined on M which takes values in pointed simplicial sets. This note displays conditions on the simplicial model category M and the functor F such that F is representable up to weak equivalence. The conditions on F are homotopy coherent versions of the classical conditions for Brown representability, while M should have the fundamental properties of the stable model structure for presheaves of spectra on a Grothendieck site.     

The goodness of {S,a}-EOL forms is decidable

It is proved that given an EOL form F with one nonterminal and one terminal (a so-called {S, a}-EOL form) it is decidable whether or not F is good. As a corollary we prove that for a good {S, a}-EOL form F such that L(F)≠? either F is vomplete or L(F) = {a}.     

Theoretical analysis of discrete contact problems with Coulomb friction

A discrete model of the two-dimensional Signorini problem with Coulomb friction and a coefficient of friction F depending on the spatial variable is analysed. It is shown that a solution exists for any F and is globally unique if F is sufficiently small. The Lipschitz continuity of this unique solution as a function of F as well as a function of the load vector f is obtained. Furthermore, local uniqueness of solutions for arbitrary F > 0 is studied. The question of existence of locally Lipschitz-continuous branches of solutions with respect to the coefficient F is converted to the question of existence of locally Lipschitz-continuous branches of solutions with respect to the load vector f. A condition guaranteeing the existence of locally Lipschitz-continuous branches of solutions in the latter case and results for determining their directional derivatives are given. Finally, the general approach is illustrated on an elementary example, whose solutions are calculated exactly.     

F-rationality of certain Rees algebras and counterexamples to “Boutot's Theorem” for F-rational rings

F-rational rings are defined for rings of characteristic p > 0 using the Frobenius endomorphism and corresponds to rational singularities in characteristic 0. We study F-rationality of certain Rees algebras and prove that every Cohen-Macaulay local ring with isolated singularity and negative a-invariant has a Rees algebra which is F-rational. As a consequence, we find that “Boutot's Theorem” asserting that a pure subring of a rational singularity is a rational singularity is not true for a F-rational ring.     

On certain hyperbolic sets

Two invariant sets F of certain diffeomorphisms S that were described by A. Fathi, S. Crovisier, and T. Fisher as examples of hyperbolic sets with the property (unexpected at that time) that, in some neighborhood of such an F, there is no locally maximal set containing F are considered. It is proved that this property, although referring to the behavior of the orbits of S near F, is ultimately determined in the examples mentioned above by a combination of a certain explicitly stated intrinsic property of the action of S on F with the hyperbolicity of F. (This means that if a hyperbolic set F′ for a diffeomorphism S′ is equivariantly homeomorphic to a Fathi-Crovisier or a Fisher set, then F′ has a neighborhood in which S′ has no locally maximal set containing F′.)     

F-Planar graphs

An F-planar graph, where F is an ordered field, is a graph that can be represented in the plane F × F, with non-crossing line segments as edges. It is shown that the graph G is F-planar for some F if and only if every finite subgraph of G is planar.     

Essentially doubly stochastic matrices II. Canonical forms for row equivalence,equivalence, and a special case of congruence

In this paper we obtain canonical forms for row equivalence, equivalence, and a special case of congruence in the algebra of essentially doubly stochastic (e.d.s.) matrices of order n over a field F, char(F) [nmid] n. These forms are analogues of familiar forms in ordinary matrix algebra. The canonical form for equivalence is used in showing, in a subsequent paper, that every e.d.s. matrix of rank r and order n over F, char(F) = 0 or char(F) > n, is a product of elementary e.d.s. matrices, n – r of which are singular.     

Automorphic Plancherel density theorem

Let F be a totally real field, G a connected reductive group over F, and S a finite set of finite places of F. Assume that G(F ?_? ?) has a discrete series representation. Building upon work of Sauvageot, Serre, Conrey-Duke-Farmer and others, we prove that the S-components of cuspidal automorphic representations of $G\left( {\mathbb{A}_F } \right)$ are equidistributed with respect to the Plancherel measure on the unitary dual of G(F _S ) in an appropriate sense. A few applications are given, such as the limit multiplicity formula for local representations in the global cuspidal spectrum and a quite flexible existence theorem for cuspidal automorphic representations with prescribed local properties. When F is not a totally real field or G(F ?_? ?) has no discrete series, we present a weaker version of the above results.     

Lie properties of symmetric elements in group rings II

Let F be a field of characteristic different from 2, and G a group with involution ∗. Write (FG)⁺ for the set of elements in the group ring FG that are symmetric with respect to the induced involution. Recently, Giambruno, Polcino Milies and Sehgal showed that if G has no 2-elements, and (FG)⁺ is Lie nilpotent (resp. Lie n-Engel), then FG is Lie nilpotent (resp. Lie m-Engel, for some m). Here, we classify the groups containing 2-elements such that (FG)⁺ is Lie nilpotent or Lie n-Engel.     

Forbidden submatrices

We consider a m × n (0, 1)-matrix A, no repeated columns, which has no k × l sumatrix F. We may deduce bounds on n, polynomial in m, depending on F. The best general bound is O(m^2k−1). We improve this and provide best possible bounds for k × 1 F's and certain k × 2 F's. In the case that all columns of F are the same, good bounds are obtained which are best possible for l = 2 and some other cases. Good bounds for 1 × l F's are provided, namely n ⩽ (l−1)m + 1, which are shown to be best possible for F = [1010...10]. The paper finishes with a study of the 14 different 3 × 2 possibilities for F, solving all but 3.     

On the Gaussian approximation of vector-valued multiple integrals

By combining the findings of two recent, seminal papers by Nualart, Peccati and Tudor, we get that the convergence in law of any sequence of vector-valued multiple integrals F_n towards a centered Gaussian random vector N, with given covariance matrix C, is reduced to just the convergence of: (i) the fourth cumulant of each component of F_n to zero; (ii) the covariance matrix of F_n to C. The aim of this paper is to understand more deeply this somewhat surprising phenomenon. To reach this goal, we offer two results of a different nature. The first one is an explicit bound for d(F,N) in terms of the fourth cumulants of the components of F, when F is a R^d-valued random vector whose components are multiple integrals of possibly different orders, N is the Gaussian counterpart of F (that is, a Gaussian centered vector sharing the same covariance with F) and d stands for the Wasserstein distance. The second one is a new expression for the cumulants of F as above, from which it is easy to derive yet another proof of the previously quoted result by Nualart, Peccati and Tudor.     

Comparisons of Left Recollements

Let (F′, F, F″) be a comparison of left recollements of triangulated categories such that F′ and F″ are equivalences. We prove that if F is full then F is an equivalence; and on the other hand, we construct a class of examples via the derived categories of Morita rings, showing that there really exists such a comparison (F′, F, F″) so that F is not an equivalence. This is in contrast to the case of a recollement. We also give a class of examples of left recollements of homotopy categories, which can not sit in recollements.