Spectral criteria for complementary triangular forms

In this paper we consider the following problem: Given two matricesA,Z∈? ^n×n , does there exist an invertiblen×n-matrixS such thatS ^?1 AS is an upper triangular matrix andS ^?1 ZS is a lower triangular matrix, and if so, what can be said about the order in which the eigenvalues ofA andZ appear on the diagonals of these triangular matrices? For special choices ofA andZ a complete solution is possible, as has been shown by several authors. Here we follow a lead, provided by Shmuel Friedland, who discussed the case where bothA andZ have at leastn-1 linearly independent eigenvectors, and we descibe the problem in terms of Jordan chains and left-Jordan chains for the matricesA, Z. The results give some insight in the question why certain classes of matrices (like the nonderogatory and the rank 1 matrices) allow for a detailed solution of the problems described above; for some of these classes the result of this analysis is presented here for the first time.     

Mesh geometries of root orbits of integral quadratic forms

Integral quadratic forms q:Zⁿ→Z, with n≥1, and the sets R_q(d)={v∈Zⁿ;q(v)=d}, with d∈Z, of their integral roots are studied by means of mesh translation quivers defined by Z-bilinear morsifications b_A:Zⁿ×Zⁿ→Z of q, with Z-regular matrices A∈M_n(Z). Mesh geometries of roots of positive definite quadratic forms q:Zⁿ→Z are studied in connection with root mesh quivers of forms associated to Dynkin diagrams A_n,D_n,E₆,E₇,E₈ and the Auslander-Reiten quivers of the derived category D^b(R) of path algebras R=KQ of Dynkin quivers Q. We introduce the concepts of a Z-morsification b_A of a quadratic form q, a weighted Φ_A-mesh of vectors in Zⁿ, and a weighted Φ_A-mesh orbit translation quiver Γ(R_q,Φ_A) of vectors in Zⁿ, where R_q?R_q(1) and Φ_A:Zⁿ→Zⁿ is the Coxeter isomorphism defined by A. The existence of mesh geometries on R_q is discussed. It is shown that, under some assumptions on the morsification b_A:Zⁿ×Zⁿ→Z, the set admit a Φ_A-orbit mesh quiver , where Φ_A:Zⁿ→Zⁿ is the Coxeter isomorphism defined by A. Moreover, splits into three infinite connected components , , and , where are isomorphic to a translation quiver Z⋅Δ, with Δ an extended Dynkin quiver, and has the shape of a sand-glass tube.     

Multi-variable weighted geometric means of positive definite matrices

We define a family of weighted geometric means {G(t;ω;A)}_t∈[0,1]ⁿ where ω and A vary over all positive probability vectors in Rⁿ and n-tuples of positive definite matrices resp. Each of these weighted geometric means interpolates between the weighted ALM (t=0_n) and BMP (t=1_n) geometric means (ALM and BMP geometric means have been defined by Ando-Li-Mathias and Bini-Meini-Poloni, respectively.) We show that the weighted geometric means satisfy multidimensional versions of all properties that one would expect for a two-variable weighted geometric mean.     

On the quadratic character of quadratic units

Let be a prime. Let a,b∈Z with p?a(a²+b²). In the paper we mainly determine by assuming p=c²+d² or p=Ax²+2Bxy+Cy² with AC−B²=a²+b². As an application we obtain simple criteria for εD to be a quadratic residue , where D>1 is a squarefree integer such that D is a quadratic residue of p, εD is the fundamental unit of the quadratic field with negative norm. We also establish the congruences for and obtain a general criterion for p|U(p−1)/4, where {Un} is the Lucas sequence defined by U₀=0, U₁=1 and Un+1=bUn+k²Un−1(n?1).     

Quasi-convex sequences in the circle and the 3-adic integers

In this paper, we present families of quasi-convex sequences converging to zero in the circle group T, and the group J₃ of 3-adic integers. These sequences are determined by increasing sequences of integers. For an increasing sequence , put gn=an+1−an. We prove that

(a)

the set {0}∪{±³−(an+1)|n∈N} is quasi-convex in T if and only if a₀>0 and gn>1 for every n∈N;

(b)

the set {0}∪{±an³|n∈N} is quasi-convex in the group J₃ of 3-adic integers if and only if gn>1 for every n∈N.

Moreover, we solve an open problem from [D. Dikranjan, L. de Leo, Countably infinite quasi-convex sets in some locally compact abelian groups, Topology Appl. 157 (8) (2010) 1347-1356] providing a complete characterization of the sequences such that {0}∪{±²−(an+1)|n∈N} is quasi-convex in T. Using this result, we also obtain a characterization of the sequences such that the set {0}∪{±²−(an+1)|n∈N} is quasi-convex in R.     

Spectral property of the Bernoulli convolutions

For 0<ρ<1, let μρ be the Bernoulli convolution associated with ρ. Jorgensen and Pedersen [P. Jorgensen, S. Pedersen, Dense analytic subspaces in fractal L²-spaces, J. Anal. Math. 75 (1998) 185-228] proved that if ρ=1/q where q is an even integer, then L²(μρ) has an exponential orthonormal basis. We show that for any 0<ρ<1, L²(μρ) contains an infinite orthonormal set of exponential functions if and only if ρ is the nth root of a fraction p/q where p is an odd integer and q is an even integer.     

Power integral bases for Selmer-like number fields

The Selmer trinomials are the trinomials f(X)∈{Xn−X−1,Xn+X+1|n>1 is an integer} over Z. For these trinomials we show that the ideal C=(f(X),f^′(X))Z[X] has height two and contains the linear polynomial (n−1)X+n. We then give several necessary and sufficient conditions for D[X]/(f(X)D[X]) to be a regular ring, where f(X) is an arbitrary polynomial over a Dedekind domain D such that its ideal C has height two and contains a product of primitive linear polynomials. We next specialize to the Selmer-like trinomials bXn+cX+d and bXn+cXn−1+d over D and give several more such necessary and sufficient conditions (among them is that C is a radical ideal). We then specialize to the Selmer trinomials over Z and give quite a few more such conditions (among them is that the discriminant Disc(Xn−X−1)=±(nn−(1−n)ⁿ⁻¹) of Xn−X−1 is square-free (respectively Disc(Xn+X+1)=±(nn+(1−n)ⁿ⁻¹) of Xn+X+1 is square-free)). Finally, we show that nn+(1−n)ⁿ⁻¹ is never square-free when n≡2 (mod 3) and n>2, but, otherwise, both are very often (but not always) square-free.     

A fast algorithm for the recursive calculation of dominant singular subspaces

In many engineering applications it is required to compute the dominant subspace of a matrix A   of dimension m×n$m\times n$, with m?n$m?n$. Often the matrix A is produced incrementally, so all the columns are not available simultaneously. This problem arises, e.g., in image processing, where each column of the matrix A represents an image of a given sequence leading to a singular value decomposition-based compression [S. Chandrasekaran, B.S. Manjunath, Y.F. Wang, J. Winkeler, H. Zhang, An eigenspace update algorithm for image analysis, Graphical Models and Image Process. 59 (5) (1997) 321–332]. Furthermore, the so-called proper orthogonal decomposition approximation uses the left dominant subspace of a matrix A where a column consists of a time instance of the solution of an evolution equation, e.g., the flow field from a fluid dynamics simulation. Since these flow fields tend to be very large, only a small number can be stored efficiently during the simulation, and therefore an incremental approach is useful [P. Van Dooren, Gramian based model reduction of large-scale dynamical systems, in: Numerical Analysis 1999, Chapman & Hall, CRC Press, London, Boca Raton, FL, 2000, pp. 231–247].     

The bitwisted Cartesian model for the free loop fibration

Using the notion of truncating twisting function from a simplicial set to a cubical set a special, bitwisted, Cartesian product of these sets is defined. For the universal truncating twisting function, the (co)chain complex of the corresponding bitwisted Cartesian product agrees with the standard Cartier (Hochschild) chain complex of the simplicial (co)chains. The modelling polytopes Fn are constructed. An explicit diagonal on Fn is defined and a multiplicative model for the free loop fibration ΩY→ΛY→Y is obtained. As an application we establish an algebra isomorphism H^∗(ΛY;Z)≈S(U)⊗Λ(s−1U) for the polynomial cohomology algebra H^∗(Y;Z)=S(U).     

Defect indices of powers of a contraction

Let A be a contraction on a Hilbert space H. The defect index d_A of A is, by definition, the dimension of the closure of the range of I-A^∗A. We prove that (1) d_Aⁿ?nd_A for all n?0, (2) if, in addition, Aⁿ converges to 0 in the strong operator topology and d_A=1, then d_Aⁿ=n for all finite n,0?n?dimH, and (3) d_A=d_A^∗ implies d_Aⁿ=d_A^n∗ for all n?0. The norm-one index k_A of A is defined as sup{n?0:‖Aⁿ‖=1}. When dimH=m<∞, a lower bound for k_A was obtained before: k_A?(m/d_A)-1. We show that the equality holds if and only if either A is unitary or the eigenvalues of A are all in the open unit disc, d_A divides m and d_Aⁿ=nd_A for all n, 1?n?m/d_A. We also consider the defect index of f(A) for a finite Blaschke product f and show that d_f(A)=d_Aⁿ, where n is the number of zeros of f.     

On the multiplicity and the Cohen-Macaulayness of fiber cones of graded algebras

Let A be a Noetherian local ring with the maximal ideal m and an m-primary ideal J. Let S=?_n≥0S_n be a finitely generated standard graded algebra over A. Set S⁺=?_n>0S_n. Denote by F_J(S)=?_n≥0→(S_n/JS_n) the fiber cone of S with respect to J. The paper characterizes the multiplicity and the Cohen-Macaulayness of F_J(S) in terms of minimal reductions of S⁺.     

Nontrivial lower bounds for the least common multiple of some finite sequences of integers

We present here a method which allows to derive a nontrivial lower bounds for the least common multiple of some finite sequences of integers. We obtain efficient lower bounds (which in a way are optimal) for the arithmetic progressions and lower bounds less efficient (but nontrivial) for quadratic sequences whose general term has the form un=an(n+t)+b with (a,t,b)∈Z³, a?5, t?0, gcd(a,b)=1. From this, we deduce for instance the lower bound: lcm{¹²+1,²²+1,…,n²+1}?0,32n(1,442) (for all n?1). In the last part of this article, we study the integer lcm(n,n+1,…,n+k) (k∈N, n∈N^∗). We show that it has a divisor dn,k simple in its dependence on n and k, and a multiple mn,k also simple in its dependence on n. In addition, we prove that both equalities: lcm(n,n+1,…,n+k)=dn,k and lcm(n,n+1,…,n+k)=mn,k hold for an infinitely many pairs (n,k).     

A q-analogue of the Riordan group

The Riordan group consisting of Riordan matrices shows up naturally in a variety of combinatorial settings. In this paper, we define a q-Riordan matrix to be a q  -analogue of the (exponential) Riordan matrix by using the Eulerian generating functions of the form _∑n?0fnzⁿ/n_!q${\sum }_{n?0}{f}_n{z}^n/n{!}_q$. We first prove that the set of q-Riordan matrices forms a loop (a quasigroup with an identity element) and find its loop structures. Next, it is shown that q-Riordan matrices associated to the counting functions may be applied to the enumeration problem on set partitions by block inversions. This notion leads us to find q-analogues of the composition formula and the exponential formula, respectively.     

Characterizing filters by convergence (with respect to filters) in Banach spaces

Let X be a topological space and let F be a filter on N, recall that a sequence (xn)_n∈N in X is said to be F-convergent to the point x∈X, if for each neighborhood U of x, {n∈N:xn∈U}∈F. By using F-convergence in ?₁ and in Banach spaces, we characterize the P-filters, the P-filters⁺, the weak P-filters, the Q-filters, the Q-filters⁺, the weak Q-filters, the selective filters and the selective⁺ filters.     

Pseudospectra, critical points and multiple eigenvalues of matrix polynomials

We develop a general framework for perturbation analysis of matrix polynomials. More specifically, we show that the normed linear space L_m(C^n×n) of n-by-n matrix polynomials of degree at most m provides a natural framework for perturbation analysis of matrix polynomials in L_m(C^n×n). We present a family of natural norms on the space L_m(C^n×n) and show that the norms on the spaces C^m+1 and C^n×n play a crucial role in the perturbation analysis of matrix polynomials. We define pseudospectra of matrix polynomials in the general framework of the normed space L_m(C^n×n) and show that the pseudospectra of matrix polynomials well known in the literature follow as special cases. We analyze various properties of pseudospectra in the unified framework of the normed space L_m(C^n×n). We analyze critical points of backward errors of approximate eigenvalues of matrix polynomials and show that each critical point is a multiple eigenvalue of an appropriately perturbed polynomial. We show that common boundary points of components of pseudospectra of matrix polynomials are critical points. As a consequence, we show that a solution of Wilkinson’s problem for matrix polynomials can be read off from the pseudospectra of matrix polynomials.