Related papers: On biunimodular vectors for unitary matrices

We use categorical method and birational geometry to study moduli spaces of quiver representations. From certain "representable" functor, we construct a birational transformation from the moduli space of representations of one quiver to…

Assuming the Generalized Riemann Hypothesis, we prove the following: If b is an integer greater than one, then the multiplicative order of b modulo N is larger than N^(1-\epsilon) for all N in a density one subset of the integers. If A is a…

We introduce notions of bi-unitary, bi*-unitary and bi**-unitary harmonic numbers, along with their preliminary study.

We consider unimodality and related properties of f-vectors of polytopes in various dimensions. By a result of Kalai (1988), f-vectors of 5-polytopes are unimodal. In higher dimensions much less can be said; we give an overview on current…

A binary matrix can be scanned by moving a fixed rectangular window (submatrix) across it, rather like examining it closely under a microscope. With each viewing, a convenient measurement is the number of 1s visible in the window, which…

We construct six unitary trace invariants for 2 by 2 quaternionic matrices which separate the unitary similarity classes of such matrices, and show that this set is minimal. We prove two quaternionic versions of a well known…

An algebraic classification is given for spaces of holomorphic vector-valued modular forms of arbitrary real weight and multiplier system, associated to irreducible, T-unitarizable representations of the full modular group, of dimension…

Fix a nonnegative integer $d$, a field $\mathbb{F}$, and a vector space $V$ over $\mathbb{F}$ with dimension $d+1$. Let $T$ denote an invertible upper triangular matrix in ${\rm Mat}_{d+1}(\mathbb{F})$. Using $T$ we construct three flags on…

We present an ongoing effort to implement Universal Algebra in the UniMath system. Our aim is to develop a general framework for formalizing and studying Universal Algebra in a proof assistant. By constituting a formal system for isolating…

This paper is dedicated to the problem of verification of matrices for unitary similarity. For the case of nonderogatory matrices, we have been able to present the new solution for this problem based on geometric approach. The main…

The problem of expressing a specific polynomial as the determinant of a square matrix of affine-linear forms arises from algebraic geometry, optimisation, complexity theory, and scientific computing. Motivated by recent developments in this…

A commutator of unipotent matrices of index 2 is a matrix of the form $XYX^{-1}Y^{-1}$, where $X$ and $Y$ are unipotent matrices of index 2, that is, $X\ne I_n$, $Y\ne I_n$, and $(X-I_n)^2=(Y-I_n)^2=0_n$. If $n>2$ and $\mathbb F$ is a field…

Let $R$ be a Noetherian commutative ring of dimension $n$, $A=R[X_1,\cdots,X_m]$ be a polynomial ring over $R$ and $P$ be a projective $A[T]$-module of rank $n$. Assume that $P/TP$ and $P_f$ both contain a unimodular element for some monic…

Let v_1,...,v_{n-1} be n-1 independent vectors in R^n (or C^n). We study x, the unit normal vector of the hyperplane spanned by the v_i. Our main finding is that x resembles a random vector chosen uniformly from the unit sphere, under some…

Many interesting examples of complex Hadamard matrices $H\in M_N(\mathbb C)$ can be put, up to the standard equivalence relation for such matrices, in bistochastic form. We discuss here this phenomenon, with a number of computations for…

A thorough analysis is made of the Fourier coefficients for vector-valued modular forms associated to three-dimensional irreducible representations of the modular group. In particular, the following statement is verified for all but a…

We derive a collection of identities for bivariate Fibonacci and Lucas polynomials using essentially a matrix approach as well as properties of such polynomials when the variables $x$ and $y$ are replaced by polynomials. A wealth of…

We study the existence of hypercyclic algebras for convolution operators $\Phi(D)$ on the space of entire functions whose symbol $\Phi$ has unimodular constant term. In particular, we provide new eigenvalue criteria for the existence of…

The structure of octonionic bimodules is formulated in this paper. It turns out that every octonionic bimodule is a tensor product, the category of octonionic bimodules is isomorphic to the category of real vector spaces. We show that there…

We study semicontinuous maps on varieties of modules over finite-dimensional algebras. We prove that truncated Euler maps are upper or lower semicontinuous. This implies that $g$-vectors and $E$-invariants of modules are upper…