Related papers: Congruence of multilinear forms
We prove many simultaneous congruences mod 2 for elliptic and Hilbert modular forms among forms with different Atkin--Lehner eigenvalues. The proofs involve the notion of quaternionic $S$-ideal classes and the distribution of Atkin--Lehner…
Any associative bilinear multiplication on the set of n-by-n matrices over some field of characteristic not two, that makes the same vectors orthogonal and has the same trace as ordinary matrix multiplication, must be ordinary matrix…
For each pair of complex symmetric matrices $(A,B)$ we provide a normal form with a minimal number of independent parameters, to which all pairs of complex symmetric matrices $(\widetilde{A},\widetilde{B})$, close to $(A,B)$ can be reduced…
Tridiagonal canonical forms of square matrices under congruence or *congruence, pairs of symmetric or skew-symmetric matrices under congruence, and pairs of Hermitian matrices under *congruence are given over an algebraically closed field…
Companion matrices of the second type are characterized by properties that involve bilinear maps.
We prove two congruences for the coefficients of power series expansions in t of modular forms where t is a modular function. As a result, we settle two recent conjectures of Chan, Cooper and Sica. Additionally, we provide a table of…
We give a canonical form of m-by-2-by-2 matrices for equivalence over any field of characteristic not two.
We present a necessary and sufficient condition for a 3 by 3 matrix to be unitarily equivalent to a symmetric matrix with complex entries, and an algorithm whereby an arbitrary 3 by 3 matrix can be tested. This test generalizes to a…
Congruence families, i.e., $\ell$-adic convergence for well-defined arithmetic subsequences, is a commonplace phenomenon for the coefficients of modular forms. Such families superficially resemble one another, but they often vary…
We develop a canonical form for congruence of max plus symmetric matrices. We use the same canonical form to get results in the generalized eigenvector problem. We have also utilized the canonical form to find all symmetric matrices that…
Let $L$ be an $n$-element finite lattice. We prove that if $L$ has strictly more than $2^{n-5}$ congruences, then $L$ is planar. This result is sharp, since for each natural number $n\geq 8$, there exists a non-planar lattice with exactly…
Let A be an n by n matrix with entries in an arbitrary field, and c_1,...,c_n be scalars. We prove that if A is not a scalar multiple of the identity matrix, then the condition c_1+...+c_n=tr(A) is necessary and sufficient for A to be…
For a congruence subgroup $\Gamma$, we define the notion of $\Gamma$-equivalence on binary quadratic forms which is the same as proper equivalence if $\Gamma = \mathrm{SL}_2(\mathbb Z)$. We develop a theory on $\Gamma$-equivalence such as…
The conditions determining that two triangles are congruent play a basic role in planimetry. By comparing not congruent triangles with respect to given sets of corresponding elements it is important to discover if they have any common…
By the Choi matrix criteria it is easy to determine if a specific linear matrix map is completely positive, but to establish whether a linear matrix map is positive is much less straightforward. In this paper we consider classes of linear…
We study a generalization of the classical correspondence between homogeneous quadratic polynomials, quadratic forms, and symmetric/alternating bilinear forms to forms in $n$ variables. The main tool is combinatorial polarization, and the…
Let $\cal A$ and $\cal B$ be two systems consisting of the same vector spaces $\mathbb C^{n_1},\dots,\mathbb C^{n_t}$ and bilinear or sesquilinear forms $A_i,B_i:\mathbb C^{n_{k(i)}}\times\mathbb C^{n_{l(i)}}\to\mathbb C$, for…
In this paper we study the center algebras of multilinear forms. It is shown that the center of a nondegenerate multilinear form is a finite dimensional commutative algebra and can be effectively applied to its direct sum decompositions. As…
The following numerical control over the topological equivalence is proved: two complex polynomials in $n\not= 3$ variables and with isolated singularities are topologically equivalent if one deforms into the other by a continuous family of…
Canonical forms for congruence and *congruence of square complex matrices were given by Horn and Sergeichuk in [Linear Algebra Appl. 389 (2004) 347-353], based on Sergeichuk's paper [Math. USSR, Izvestiya 31 (3) (1988) 481-501], which…