Related papers: Primary Cyclic Matrices in Irreducible Matrix Suba…

A nonnegative matrix A is said to be strongly robust if its max-algebraic eigencone is universally reachable, i.e., if the orbit of any initial vector ends up with a max-algebraic eigenvector of A. Consider the case when the initial vector…

In this paper we develop cyclic proof systems for the problem of inclusion between the least sets of models of mutually recursive predicates, when the ground constraints in the inductive definitions belong to the quantifier-free fragments…

We give an exact algorithm to calculate (under some GKM-restriction) the matrix describing the embedding $\B(\s)_x\subset\B(\s)^x$, where the first module is the costalk and the second one is the stalk at $x$ of a Bott-Samelson module…

We consider irreducible cyclic representations of the algebra of monodromy matrices corresponding to the R-matrix of the six-vertex model. In roots of unity the Baxter Q-operator can be represented as a trace of a tensor product of…

A closed subgroup of a semisimple algebraic group is called irreducible if it lies in no proper parabolic subgroup. In this paper we classify all irreducible $A_1$ subgroups of exceptional algebraic groups $G$. Consequences are given…

We analyze the asymptotic behavior of sequences of random variables defined by an initial condition, a stationary and ergodic sequence of random matrices, and an induction formula involving multiplication is the so-called max-plus algebra.…

This paper presents a novel primality test based on the eigenvalue structure of circulant matrices constructed from roots of unity. We prove that an integer $n > 2$ is prime if and only if the minimal polynomial of the circulant matrix $C_n…

Cyclic proof theory breaks tradition by allowing certain infinite proofs: those that can be represented by a finite graph, while satisfying a soundness condition. We reconcile cyclic proofs with traditional finite proofs: we extend abstract…

Motivated by recent advances in solution methods for mixed-integer convex optimization (MICP), we study the fundamental and open question of which sets can be represented exactly as feasible regions of MICP problems. We establish several…

We construct ensembles of random integrable matrices with any prescribed number of nontrivial integrals and formulate integrable matrix theory (IMT) -- a counterpart of random matrix theory (RMT) for quantum integrable models. A type-M…

We present an algorithm to compute the primary decomposition of a submodule $\mathcal{N}$ of the free module $\Z[x_1, \ldots, x_n]^m$. For this purpose we use algorithms for primary decomposition of ideals in the polynomial ring over the…

We study primary submodules and primary decompositions from a differential and computational point of view. Our main theoretical contribution is a general structure theory and a representation theorem for primary submodules of an arbitrary…

This paper is a continuation of our previous work \cite{St} where we have studied the Stokes phenomenon for a particular family of equation \eqref{initial} with \eqref{form-0}-\eqref{npe} from a perturbative point of view. Here we focus on…

We consider a hierarchy of many-particle systems on the line with polynomial potentials separable in parabolic coordinates. The first non-trivial member of this hierarchy is a generalization of an integrable case of the H\'enon-Heiles…

We investigate $(0,1)$-matrices that are {\em convex}, which means that the ones are consecutive in every row and column. These matrices occur in discrete tomography. The notion of ranked essential sets, known for permutation matrices, is…

Using matrix function theory, Perron-Frobenius theory, combinatorial matrix theory, and elementary number theory, we characterize, classify, and describe in terms of the Jordan canonical form the matrix pth-roots of imprimitive irreducible…

The Hodge series of a finite matrix group is the generating function for invariant exterior forms of specified order and degree. Lauret, Miatello, and Rossetti gave examples of pairs of non-conjugate cyclic groups having the same Hodge…

An $(m,n,k,\lambda)$-relative difference set is a lifting of a $(m,k,n\lambda)$-difference set. Lam gave a table of cyclic relative difference sets with $k \leq 50$ in 1977, all of which were liftings of $(…

Let $R$ be a Noetherian ring. For a finitely generated $R$-module $M$, Northcott introduced the reducibility index of $M$, which is the number of submodules appearing in an irredundant irreducible decomposition of the submodule $0$ in $M$.…

In this paper we classify all the cyclic finite dimensional indecomposable\\ modules of the perfect Lie algebras $\mathfrak{sl}(n+1)\ltimes \mathbbm{C}^{n+1}$, given by the semidirect sum of the simple Lie algebra $A_n$ with its standard…