相关论文: On tight projective designs

We consider the following question, concerning associative algebras R over an algebraically closed field k: When can the space of (equivalence classes of) finite dimensional irreducible representations of R be topologically embedded into a…

We show that if a finite point set $P\subseteq \mathbb{R}^2$ has the fewest congruence classes of triangles possible, up to a constant $M$, then at least one of the following holds. (1) There is a $\sigma>0$ and a line $l$ which contains…

Let $A$ be an Artin algebra and $F$ a non-zero subfunctor of $\Ext_A^{1}(-,-)$. In this paper, we characterize the relative $\phi$-dimension of $A$ by the bi-functor $\Ext_F^1(-,-)$. Furthermore, we show that the finiteness of relative…

Given an explicit presentation of a reflection group of rank two (or any rank two group for that matter), we give a simple procedure for calculating all its systems of imprimitivity, when viewed as a matrix group over the quaternions. This…

We classify those rational maps $f: \mathbb{P}^1 \to \mathbb{P}^1$ for which there exists a contravariant tensor $q$ which is parallel, i.e. such that $f^*q // q$, by proving that such maps preserve a parabolic orbifold.

Hilbert's Tenth Problem over the field $\mathbb Q$ of rational numbers is one of the biggest open problems in the area of undecidability in number theory. In this paper we construct new, computably presentable subrings $R$ of $\mathbb Q$…

In this paper we study rational real algebraic knots in $\R P^3$. We show that two real algebraic knots of degree $\leq5$ are rigidly isotopic if and only if their degrees and encomplexed writhes are equal. We also show that any irreducible…

We refine and advance the study of the local structure of idempotent finite algebras started in [A.Bulatov, The Graph of a Relational Structure and Constraint Satisfaction Problems, LICS, 2004]. We introduce a graph-like structure on an…

We study feebly compact shift-continuous $T_1$-topologies on the symmetric inverse semigroup $\mathscr{I}_\lambda^n$ of finite transformations of the rank $\leqslant n$. It is proved that such $T_1$-topology is sequentially pracompact if…

In this paper, plane polynomial systems having a singular point attracting all orbits in positive time are classified up to topological equivalence. This is done by assigning a combinatorial invariant to the system (a so-called "feasible…

We extend a classification of irreducible, almost commutative geometries whose spectral action is dynamically non-degenerate to internal algebras that have four simple summands.

We present algorithms for classifying rational polygons with fixed denominator and number of interior lattice points. Our approach is to first describe maximal polygons and then compute all subpolygons, where we eliminate redundancy by a…

We generalise clones, which are sets of functions $f:A^n \rightarrow A$, to sets of mappings $f:A^n \rightarrow A^m$. We formalise this and develop language that we can use to speak about it. We then look at bijective mappings, which have…

The study of good nonregular fractional factorial designs has received significant attention over the last two decades. Recent research indicates that designs constructed from quaternary codes (QC) are very promising in this regard. The…

In the present paper, we prove that any finite non-trivial irreducible module over a rank two Lie conformal algebra $\mathcal{H}$ is of rank one. We also describe the actions of $\mathcal{H}$ on its finite irreducible modules explicitly.…

We revise the enumeration of the imprimitive rank two quaternionic reflection groups, adding missing groups and establishing isomorphisms between groups in the published tables. The isomorphisms are obtained as a consequence of the…

In this article, we show the relation between the irreducible idempotents of the cyclic group algebra $\mathbb F_qC_n$ and the central irreducible idempotents of the group algebras $\mathbb F_qD_{2n}$, where $\mathbb F_q$ is a finite field…

We show that every separable simple tracially approximately divisible $C^*$-algebra has strict comparison, is either purely infinite, or has stable rank one. As a consequence, we show that every (non-unital) finite simple ${\cal Z}$-stable…

We study the finite basis problem for $4$-element additively idempotent semirings whose additive reducts have two minimal elements and one coatom. Up to isomorphism, there are $112$ such algebras. We show that $106$ of them are finitely…

We say that a theory $T$ is intermediate under effective reducibility if the isomorphism problems among its computable models is neither hyperarithmetic nor on top under effective reducibility. We prove that if an infinitary sentence $T$ is…