Related papers: Algebraic entropy, symmetries and linearization of…
We characterize all algebraic numbers $\alpha$ of degree $d\in\{4,5,6,7\}$ for which there exist four distinct algebraic conjugates $\alpha_1$, $\alpha_2$, $\alpha_3$, $\alpha_4$ of $\alpha$ satisfying the relation…
This work connects two mathematical fields - computational complexity and interval linear algebra. It introduces the basic topics of interval linear algebra - regularity and singularity, full column rank, solving a linear system, deciding…
Congruence families, i.e., $\ell$-adic convergence for well-defined arithmetic subsequences, is a commonplace phenomenon for the coefficients of modular forms. Such families superficially resemble one another, but they often vary…
We combine computable structure theory and algorithmic learning theory to study learning of families of algebraic structures. Our main result is a model-theoretic characterization of the class $\mathbf{InfEx}_{\cong}$, consisting of the…
Using the representation of the isometries as 2x2 invertible matrices over the division algebra $\H$ of quaternions, we give an algebraic characterization of the dynamical types of the orientation-preserving isometries of the hyperbolic…
We announce results about the structure and arithmeticity of all possible lattice embeddings of a class of countable groups which encompasses all linear groups with simple Zariski closure, all groups with non-vanishing first l2-Betti…
We show how to construct linearizations of matrix polynomials $z\mathbf{a}(z)\mathbf{d}_0 + \mathbf{c}_0$, $\mathbf{a}(z)\mathbf{b}(z)$, $\mathbf{a}(z) + \mathbf{b}(z)$ (when $\mathrm{deg}\left(\mathbf{b}(z)\right) <…
We study the homogeneous involutions on the full square matrices over an algebraically closed field endowed with a division grading with commutative support. We obtain the classification of the isomorphism and equivalence classes for the…
A quantitative model of concurrent interaction is introduced. The basic objects are linear combinations of partial order relations, acted upon by a group of permutations that represents potential non-determinism in synchronisation. This…
The structure of the observable algebra ${\mathfrak O}_{\Lambda}$ of lattice QCD in the Hamiltonian approach is investigated. As was shown earlier, ${\mathfrak O}_{\Lambda}$ is isomorphic to the tensor product of a gluonic…
We demonstrate that in the space of distributions operated on by lattice Boltzmann methods that there exists a vicinity of the equilibrium where collisions with entropy balance are possible and, at the same time, there exist an area of…
In the framework of algebraic topology the closed sequence of 4-dimensional polyhedra(algebraic polytopes) was defined. These polytopes were determined by the second coordination sphere of 8-dimensional lattice E8. The ordered…
For causal discovery in the presence of latent confounders, constraints beyond conditional independences exist that can enable causal discovery algorithms to distinguish more pairs of graphs. Such constraints are not well-understood yet. In…
We show some classes of higher order partial difference equations admitting a zero-curvature representation and generalizing lattice potential KdV equation. We construct integrable hierarchies which, as we suppose, yield generalized…
In a recent paper [TMP, 200:1 (2019), 966--984] by the authors, a series of integrable discrete autonomous equations on a square lattice with a non-standard structure of generalized symmetries is constructed. We build modified series by…
For the family of nonlinear Schr\"odinger equations derived by H.-D.~Doebner and G.A.~Goldin (J.Phys.A 27, 1771) we calculate the complete set of Lie symmetries. For various subfamilies we find different finite and infinite dimensional Lie…
Various properties of a class of braid matrices, presented before, are studied considering $N^2 \times N^2 (N=3,4,...)$ vector representations for two subclasses. For $q=1$ the matrices are nontrivial. Triangularity $(\hat R^2 =I)$…
Recently, the first-named author gave a classification of 3D consistent 6-tuples of quad-equations with the tetrahedron property; several novel asymmetric 6-tuples have been found. Due to 3D consistency, these 6-tuples can be extended to…
We show that the category of partial comodules over a Hopf algebra $H$ is comonadic over ${\sf Vect}_k$ and provide an explicit construction of this comonad using topological vector spaces. The case when $H$ is finite dimensional is treated…
The family of Euclidean triangles having some fixed perimeter and area can be identified with a subset of points on a nonsingular cubic plane curve, i.e., an elliptic curve; furthermore, if the perimeter and the square of the area are…