Related papers: The Binet-Cauchy Theorem for the Hyperdeterminant …

The pseudo-determinant Det(A) of a square matrix A is defined as the product of the nonzero eigenvalues of A. It is a basis-independent number which is up to a sign the first nonzero entry of the characteristic polynomial of A. We prove…

We prove, by simple manipulation of commutators, two noncommutative generalizations of the Cauchy-Binet formula for the determinant of a product. As special cases we obtain elementary proofs of the Capelli identity from classical invariant…

Sun proposed a list of congruence and quadratic-residue conjectures for determinants and permanents over residue classes modulo a prime. This article gives a uniform treatment of Conjectures 4.6, 4.7, 4.8(ii), 4.9, 4.10(ii), 4.11 and 4.12…

We give a short proof of the Cauchy-Binet determinantal formula using multilinear algebra by first generalizing it to an identity {\em not} involving determinants. By extending the formula to abstract Hilbert spaces we obtain, as a…

Let $C(n,p)$ be the set of $p$-compositions of an integer $n$, i.e., the set of $p$-tuples $\bm{\alpha}=(\alpha_1,...,\alpha_p)$ of nonnegative integers such that $\alpha_1+...+\alpha_p=n$, and $\mathbf{x}=(x_1,...,x_p)$ a vector of…

Let M be a matrix whose entries are power series in several variables and determinant det(M) does not vanish identically. The equation det(M)=0 defines a hypersurface singularity and the (co)-kernel of M is a maximally Cohen-Macaulay module…

We study the computational complexity of singularity for multilinear maps. While the determinant characterizes singularity for matrices, its multilinear analogue -- the hyperdeterminant -- is defined only in boundary format and quickly…

Cauchy's determinant formula (1841) involving $\det ((1-u_i v_j)^{-1})$ is a fundamental result in symmetric function theory. It has been extended in several directions, including a determinantal extension by Frobenius [J. reine angew.…

In this work, the determinants of matrices constructed by evaluating homogeneous bivariate polynomials at pairs of vectors are investigated. For a polynomial $p(x,y)=\sum\limits_{i=0}^k \alpha_i x^{k-i}y^i$, an explicit factorization of the…

We prove a conjectured determinantal inequality: \frac{\det J}{\prod_{i=1}^nJ_{ii}}\le 2(1-\frac{1}{n-1})^{n-1}, where $J$ is a real $n\times n$ ($n\ge 2$) diagonally balanced symmetric matrix.

We prove a strengthened form of a conjecture of Sun on a determinant attached to a binary quadratic form. Let $n>3$ and let $c,d\in\Z$. If $n$ is composite, then \[ \det\big[(i^2+cij+dj^2)^{n-2}\big]_{0\leq i,j\leq n-1}\equiv 0\pmod {n^2}…

The characteristic polynomial of an $r$-tuple $(A_1,..., A_r)$ of $n \times n$ matrices is the determinant $\det(x_0 I + x_1 A_1 + ... + x_r A_r)$. We show that if $r$ is at least 3 and $A = (A_1,..., A_r)$ is an $r$-tuple of matrices in…

We establish a sufficient condition under which ${\rm det}\,(ABA^{-1}B^{-1})=1$ for a pair of bounded, invertible operators $A,B$ on a Hilbert space.

The well-known formula $det(A\cdot B)=\det A \cdot \det B$ can be easily proved for finite dimensional matrices but it may be incorrect for the functional determinants of differential operators, including the ones which are relevant for…

The purpose of this paper is to complete the proof of the following result. Let $0 < \beta \leq \alpha < 1$ and $\kappa > 0$. Then, there exists $\eta > 0$ such that whenever $A,B \subset \mathbb{R}$ are Borel sets with $\dim_{\mathrm{H}} A…

This paper develops an abstract theory for subdifferential operators to give existence and uniqueness of solutions to the initial-boundary problem (P) for the nonlinear diffusion equation in an unbounded domain $\Omega\subset\mathbb{R}^N$…

We prove the following conjecture by S. Carpentier, A. De Sole, and V. G. Kac: Let K be a differential field and R be a differential subring of K. Let M be a matrix whose elements are differential operators with coefficents in R. Then, if M…

A (global) determinantal representation of hypersurface in P^n is a matrix, whose entries are linear forms in homogeneous coordinates and whose determinant defines the hypersurface. We study the properties of such representations for…

The discriminant of a multivariate polynomial with indeterminate coefficients is not necessarily a hypersurface, and characterizing its codimension was an open problem for quite a while. We resolve this problem for the discriminants of…

Let $\det_2(A)$ be the block-wise determinant (partial determinant). We consider the condition for completing the determinant $\det(\det_2(A)) = \det(A),$ and characterize the case for an arbitrary Kronecker product $A$ of matrices over an…