Related papers: Remarks on two theorems in linear algebra
We report on a verification of the Fundamental Theorem of Algebra in ACL2(r). The proof consists of four parts. First, continuity for both complex-valued and real-valued functions of complex numbers is defined, and it is shown that…
In two languages, Linear Algebra and Lie Algebra, we describe the results of Kostant and Wallach on the fibre of matrices with prescribed eigenvalues of all leading principal submatrices. In addition, we present a brief introduction to…
Firstly, for a general graph, we find a recursion formula on the number of Hamiltonian cycles and one on cycles. By this result, we give some new polynomial invariants. Secondly, we give a condition to tell whether a polynomial defined by…
In this paper we give versions of Hilbert's syzygy theorem for finitely generated modules over polynomial rings over direct product of principal ideal rings.
In this paper we give a proof of an index theorem by Bismut. As a consequence we obtain another proof of the Grothendieck-Riemann-Roch theorem in differential cohomology.
In this short note, we revisit Zeilberger's proof of the classical matrix-tree theorem and give a unified concise proof of variants of this theorem, some known and some new.
We determine minimal Cayley--Hamilton and Capelli identities for matrices over a Grassmann algebra of finite rank. For minimal standard identities, we give lower and upper bounds on the degree. These results improve on upper bounds given by…
We prove a global uniform Artin-Rees lemma type theorem for sections of ample line bundles over smooth projective varieties. This result is used to prove an Artin-Rees lemma for the polynomial ring with uniform degree bounds. The proof is…
We represent a general bilinear Calder\'on-Zygmund operator as a sum of simple dyadic operators. The appearing dyadic operators also admit a simple proof of a sparse bound. In particular, the representation implies a so called sparse T1…
We extend some classical theorems in the theory of orthogonal polynomials on the unit circle to the matrix case. In particular, we prove a matrix analogue of Szeg\H{o}'s theorem. As a by-product, we also obtain an elementary proof of the…
We give a new proof of the fundamental theorem of algebra. It is entirely elementary, focused on using long division to its fullest extent. Further, the method quickly recovers a more general version of the theorem recently obtained by…
New bispectral polynomials orthogonal on a quadratic bi-lattice are obtained from a truncation of Wilson polynomials. Recurrence relation and difference equation are provided. The recurrence coefficients can be encoded in a perturbed…
This article provides a gentle introduction for a general mathematical audience to the factorization theory of motion polynomials and its application in mechanism science. This theory connects in a rather unexpected way a seemingly abstract…
We give an especially simple proof of a theorem in graph theory that forms the key part of the solution to a problem in commutative algebra, on how to characterize the integral closure of a polynomial ring generated by quadratic monomials.
We view strict ring spectra as generalized rings. The study of their algebraic K-theory is motivated by its applications to the automorphism groups of compact manifolds. Partial calculations of algebraic K-theory for the sphere spectrum are…
In this paper we use the power of the outer exponential $\Lambda^B$ of a bivector $B$ to see the so-called invariant decomposition from a different perspective. This is deeply connected with the eigenvalues for the adjoint action of $B$, a…
We construct an explicit de Rham isomorphism relating the cohomology rings of Banagl's de Rham and spatial approach to intersection space cohomology for stratified pseudomanifolds with isolated singularities. Intersection space…
We review some basic facts on vector fields, in the complex-analytic setting, thus, obtaining a rationality result and an extension of the Birkhoff-Grothendieck theorem, as follows: (1) Let $Z$ be a compact complex manifold endowed with a…
We present a framework for the construction of linearizations for scalar and matrix polynomials based on dual bases which, in the case of orthogonal polynomials, can be described by the associated recurrence relations. The framework…
In this note, let $\A$ be a finitary hereditary abelian category with enough projectives. By using the associativity formula of Hall algebras, we give a new and simple proof of the main theorem in \cite{Yan}, which states that the…