Singular matrices that are products of two idempotents or products of two nilpotents

Over commutative domains we characterize the singular 2 × 2 matrices which are products of two idempotents or products of two nilpotents. The relevant casees are the matrices with zero second row and the singular matrices with only nonzero entries.

MATHEMATICAL MODELLING OF VIBRATIONS OF NON-UNIFORM RING-SHAPED ULTRASONIC WAVEGUIDES

The article describes technique for modelling of ultrasonic vibrations amplifiers, which are implemented in the form of non-uniform ring-shaped waveguides, based on application of harmonic balance method. Bending vibrations of the waveguide are described by means of non-uniform integral and differential equations equivalent to Euler–Bernoulli equations in order to simplify calculation of amplitude-frequency characteristics of vibrations, particularly, to exclude the need of working with singular matrices. Using harmonic balance method, equations of vibrations are reduced to overdetermined non-uniform linear system of algebraic equations, which least-squares solution is determined by means of pseudo-inverse matrix. On the basis of analysis of numerical example possibility of existence of variable-sign and constant-sign vibration modes of the waveguide is shown and it is determined that for realization of amplifying function it is necessary to use waveguide at constant-sign vibration mode. The constant-sign vibration modes are combinations of bending defor-mation and extensional deformation of central line of the waveguide and they are detected due to accounting extensibility of the central line in equations of vibrations. Validity of the obtained results is confirmed by comparing them to the results of modelling by means of finite element method.

Singular tuples of matrices is not a null cone (and the symmetries of algebraic varieties)

The following multi-determinantal algebraic variety plays a central role in algebra, algebraic geometry and computational complexity theory: SING n , m {{\rm SING}_{n,m}} , consisting of all m-tuples of n × n {n\times n} complex matrices which span only singular matrices. In particular, an efficient deterministic algorithm testing membership in SING n , m {{\rm SING}_{n,m}} will imply super-polynomial circuit lower bounds, a holy grail of the theory of computation. A sequence of recent works suggests such efficient algorithms for memberships in a general class of algebraic varieties, namely the null cones of linear group actions. Can this be used for the problem above? Our main result is negative: SING n , m {{\rm SING}_{n,m}} is not the null cone of any (reductive) group action! This stands in stark contrast to a non-commutative analog of this variety, and points to an inherent structural difficulty of SING n , m {{\rm SING}_{n,m}} . To prove this result, we identify precisely the group of symmetries of SING n , m {{\rm SING}_{n,m}} . We find this characterization, and the tools we introduce to prove it, of independent interest. Our work significantly generalizes a result of Frobenius for the special case m = 1 {m=1} , and suggests a general method for determining the symmetries of algebraic varieties.

CLT with explicit variance for products of random singular matrices related to Hill’s equation

We prove a central limit theorem (CLT) for the product of a class of random singular matrices related to a random Hill’s equation studied by Adams–Bloch–Lagarias. The CLT features an explicit formula for the variance in terms of the distribution of the matrix entries and this allows for exact calculation in some examples. Our proof relies on a novel connection to the theory of [Formula: see text]-dependent sequences which also leads to an interesting and precise nondegeneracy condition.

Characteristic Cohomology I: Singularities of Given Type

For a germ of a variety $\mathcal{V}, 0 \subset \mathbb C^N, 0$, a singularity $\mathcal{V}_0$ of ‘type $\mathcal{V}$’ is given by a germ $f_0 : \mathbb C^n, 0 \to \mathbb C^N, 0$ which is transverse to $\mathcal{V}$ in an appropriate sense so that $\mathcal{V}_0 = f_0^{\,-1}(\mathcal{V})$. If $\mathcal{V}$ is a hypersurface germ, then so is $\mathcal{V}_0 $, and by transversality ${\operatorname{codim}}_{\mathbb C} {\operatorname{sing}}(\mathcal{V}_0) = {\operatorname{codim}}_{\mathbb C} {\operatorname{sing}}(\mathcal{V})$ provided $n > {\operatorname{codim}}_{\mathbb C} {\operatorname{sing}}(\mathcal{V})$. So $\mathcal{V}_0, 0$ will exhibit singularities of $\mathcal{V}$ up to codimension n. For singularities $\mathcal{V}_0, 0$ of type $\mathcal{V}$, we introduce a method to capture the contribution of the topology of $\mathcal{V}$ to that of $\mathcal{V}_0$. It is via the ‘characteristic cohomology’ of the Milnor fiber (for $\mathcal{V}, 0$ a hypersurface), and complement and link of $\mathcal{V}_0$ (in the general case). The characteristic cohomology of the Milnor fiber $\mathcal{A}_{\mathcal{V}}(\,f_0; R)$, and respectively of the complement $\mathcal{C}_{\mathcal{V}}(\,f_0; R)$, are subalgebras of the cohomology of the Milnor fibers, respectively the complement, with coefficients R in the corresponding cohomology. For a fixed $\mathcal{V}$, they are functorial over the category of singularities of type $\mathcal{V}$. In addition, for the link of $\mathcal{V}_0$ there is a characteristic cohomology subgroup $\mathcal{B}_{\mathcal{V}}(\,f_0, \mathbf{k})$ of the cohomology of the link over a field $\mathbf{k}$ of characteristic 0. The cohomologies $\mathcal{C}_{\mathcal{V}}(\,f_0; R)$ and $\mathcal{B}_{\mathcal{V}}(\,f_0, \mathbf{k})$ are shown to be invariant under the $\mathcal{K}_{\mathcal{V}}$-equivalence of defining germs f0, and likewise $\mathcal{A}_{\mathcal{V}}(\,f_0; R)$ is shown to be invariant under the $\mathcal{K}_{H}$-equivalence of f0 for H the defining equation of $\mathcal{V}, 0$. We give a geometric criterion involving ‘vanishing compact models’ for both the Milnor fibers and complements which detect non-vanishing subalgebras of the characteristic cohomologies, and subgroups of the characteristic cohomology of the link. Also, we consider how in the hypersurface case the cohomology of the Milnor fiber is a module over the characteristic cohomology $\mathcal{A}_{\mathcal{V}}(\,f_0; R)$. We briefly consider the application of these results to a number of cases of singularities of a given type. In part II, we specialize to the case of matrix singularities and using results on the topology of the Milnor fibers, complements and links of the varieties of singular matrices obtained in another paper allow us to give precise results for the characteristic cohomology of all three types.