Related papers: Regularizing decompositions for matrix pencils and…
We prove that, given two matrix pencils $L$ and $M$, if $M$ belongs to the closure of the orbit of $L$ under strict equivalence, then the dimension of the orbit of $M$ is smaller than or equal to the dimension of the orbit of $L$, and the…
Linearization is a standard method in the computation of eigenvalues and eigenvectors of matrix polynomials. In the last decade a variety of linearization methods have been developed in order to deal with algebraic structures and in order…
Given an autohomeomorphism on an ordered topological space or its subspace, we show that it is sometimes possible to introduce a new topology-compatible order on that space so that the same map is monotonic with respect to the new ordering.…
For each ideal of multilinear mappings $\cal M$ we explicitly construct a corresponding ideal $^{a}{\cal M}$ such that multilinear forms in $^{a}{\cal M}$ are exactly those which can be approximated, in the uniform norm, by multilinear…
This paper investigates type isomorphism in a lambda-calculus with intersection and union types. It is known that in lambda-calculus, the isomorphism between two types is realised by a pair of terms inverse one each other. Notably,…
Two-dimensional linear spaces of symmetric matrices are classified by Segre symbols. After reviewing known facts from linear algebra and projective geometry, we address new questions motivated by algebraic statistics and optimization. We…
Generalized eigenvalue problems involving a singular pencil may be very challenging to solve, both with respect to accuracy and efficiency. While Part I presented a rank-completing addition to a singular pencil, we now develop two…
The purpose of the present work is solving the characterization problem for one class of second order operator pencil with complex periodic coefficients, which consists of identification of necessary and sufficient conditions on the…
In the context of linear inverse problems, we propose and study a general iterative regularization method allowing to consider large classes of regularizers and data-fit terms. The algorithm we propose is based on a primal-dual diagonal…
We study pencils of plane cubics with only one base point and general member smooth, giving a complete classification. Under the additional hypothesis that all members are irreducible, we prove that there exists a unique non-isotrivial…
We determine when a matrix is similar to a partial isometry, refining a result of Halmos--McLaughlin.
This work introduces a new class of symmetric matrix structures, called harmonic structures, which enable the generation of all possible directed transitions $(x_i, x_{i+1})$ over a set of $n$ symbols, without internal repetitions. Unlike…
We consider all compatible topologies of an arbitrary finite-dimensional vector space over a non-trivial valuation field whose metric completion is a locally compact space. We construct the canonical lattice isomorphism between the lattice…
A degeneration of curves gives rise to an interesting relation between linear systems on curves and on graphs. In this paper, we consider the case of linear pencils and as an application, we obtain some results on pencils on real curves.
Seymour's decomposition theorem is a hallmark result in matroid theory presenting a structural characterization of the class of regular matroids. Formalization of matroid theory faces many challenges, most importantly that only a limited…
This document is a blueprint for the formalization in Lean of the structural theory of regular matroids underlying Seymour's decomposition theorem. We present a modular account of regularity via totally unimodular representations, show that…
We classify proper holomorphic mappings between generalized pseudoellipsoids of different dimensions. Those domains are parametrized by the exponents. The relations among them are also obtained. Main tool is the orthogonal decomposition of…
We prove that two topologically conjugate bi-critical circle maps whose signatures are the same, and whose renormalizations converge together exponentially fast in the $C^2$-topology, are $C^1$ conjugate.
We construct flat metrics in a given conformal class with prescribed singularities of real orders at marked points of a closed real surface. The singularities can be small conical, cylindrical, and large conical with possible translation…
A real symmetric matrix (resp., tensor) is said to be copositive if the associated quadratic (resp., homogeneous) form is greater than or equal to zero over the nonnegative orthant. The problem of detecting their copositivity is NP-hard.…