Related papers: Matrices commuting with a given normal tropical ma…

We study how geometric properties of tropical convex sets and polytopes, which are of interest in many application areas, manifest themselves in their algebraic structure as modules over the tropical semiring. Our main results establish a…

Let $P$ be a polytope defined by the system $A x \leq b$, where $A \in R^{m \times n}$, $b \in R^m$, and $\text{rank}(A) = n$. We give a short geometric proof of the following tight upper bound on the number of vertices of $P$: $$ n! \cdot…

Let $g$ and $n$ be nonnegative integers and $\mathcal A=(a_0,\dots,a_n)$ a sequence of $n+1$ integers summing up to $d$. Let $\overline{\mathcal M}_{g,n+1}$ be the moduli space of $(n+1)$-pointed stable curves of genus $g$ and…

We study tropical degree bounds, stable tropical intersections, and tropical B\'ezout-type estimates through the geometry of Newton polytopes, mixed subdivisions, and lattice indices. We establish an upper bound for the tropical degree of a…

Orbit-finite models of computation generalise the standard models of computation, to allow computation over infinite objects that are finite up to symmetries on atoms, denoted by $\mathbb{A}$. Set theory with atoms is used to reason about…

Tropical varieties play an important role in algebraic geometry. The Bergman complex B(M) and the positive Bergman complex B+(M) of an oriented matroid M generalize to matroids the notions of the tropical variety and positive tropical…

We prove that if $\Omega\subset \mathbb{R}^{n+1}$ is a (not necessarily strictly) convex, $C^1$ domain, and $\mu$ and $\bar{\mu}$ are probability measures absolutely continuous with respect to surface measure on $\partial \Omega$, with…

The problem of classifying tuples of nilpotent matrices over a field under simultaneous conjugation is considered "hopeless". However, for any given matrix order over a finite field, the number of concerned orbits is always finite. This…

A $n\times n$ matrix $A$ has normal defect one if it is not normal, however can be embedded as a north-western block into a normal matrix of size $(n+1)\times (n+1)$. The latter is called a minimal normal completion of $A$. A construction…

We prove that if $\Omega\subseteq\mathbb{R}^N$ is a set with finite perimeter with $\mathscr{H}^{N-1}(\partial \Omega\setminus\partial^* \Omega)=0$, then any set of finite perimeter $E\subseteq\mathbb{R}^N$ can be approximated by a…

This article is devoted to the study of the centralizer and the clifforder of a matrix over a field $\mathbb{F}$ of characteristic zero, as well as the quasi-commutative relations between matrices over the complex field $\mathbb{C}$. We…

We study numerical regularities for complexes over noncommutative noetherian locally finite $\mathbb{N}$-graded algebras $A$ such as CM (cm)-regularity, Tor (tor)-regularity (Ext (ext)-regularity) and Ex (ex)-regularity, which are the…

Let X and X' be closed subschemes of an algebraic torus T over a non-archimedean field. We prove the rational equivalence as tropical cycles, in the sense of Henning Meyer's graduate thesis, between the tropicalization of the intersection…

An $n\times n$ complex matrix $A$ is called coninvolutory if $\bar AA=I_n$ and skew-coninvolutory if $\bar AA=-I_n$ (which implies that $n$ is even). We prove that each matrix of size $n\times n$ with $n>1$ is a sum of 5 coninvolutory…

This paper discusses the generalized congruence equation $X^tAX=B$, for $X \in M_n(k)$ over any field $k$, through the action of monoid $Sol_A \times Sol_B := \{X \ | \ X^tAX = A\} \times \{X \ | \ X^tBX = B\}$. We have completely…

We introduce and carefully study a natural probability measure over the numerical range of a complex matrix $A \in M_n(\C)$. This numerical measure $\mu_A$ can be defined as the law of the random variable $<AX,X> \in \C$ when the vector $X…

Let $A\in \mathbb{R}^{N\times N}$ and $\mathrm{SO}_n:=\{ U \in \mathbb{R}^{N \times N}:UU^t=I_n,\det U>0\}$ be the set of $n\times n$ special orthogonal matrices. Define the (real) special orthogonal orbit of $A$ by \[…

In real Hilbert spaces, this paper generalizes the orthogonal groups $\mathrm{O}(n)$ in two ways. One way is by finite multiplications of a family of operators from reflections which results in a group denoted as $\Theta(\kappa)$, the other…

Let a and x denote tuples of (jointly) freely noncommuting variables. A square matrix valued polynomial p in these variables is naturally evaluated at a tuple (A,X) of symmetric matrices with the result p(A,X) a square matrix. The…

We extend rotation theory of circle maps to tiling spaces. Specifically, we consider a 1-dimensional tiling space $\Omega$ with finite local complexity and study self-maps $F$ that are homotopic to the identity and whose displacements are…