Related papers: Irreducibility of configurations
We provide a Macaulay2 code for computing the dimension of the tangent space to $\mathcal{B}(e,c_2)$ in certain cases. Using this code, we identify components of $\mathcal{B}(e,c_2)$ containing singular points and compute the dimension of…
In this paper, we consider iterative propositional calculi, which are finite sets of propositional formulas together with the rules of modus ponens and weak substitution (when formula being substituted must be already inferred). We…
We perform the computations necessary to establish a multiplicity one statement for the irreducible representations of a finite spin group which in turn yields the classification of irreducible representations of finite spin groups. (The…
A triangulation of a surface with fixed topological type is called irreducible if no edge can be contracted to a vertex while remaining in the category of simplicial complexes and preserving the topology of the surface. A complete list of…
This is the first in a series of papers math.AG/0503029, math.AG/0410267, math.AG/0410268 on "configurations" in an abelian category A. Given a finite partially ordered set (I,<), an (I,<)-configuration (\sigma,\iota,\pi) is a finite…
We propose a notion of a ternary skew-symmetric covariant tensor of 3rd order, consider it as a 3-dimensional matrix and study a ten-dimensional complex space of these tensors. We split this space into a direct sum of two five-dimensional…
For sets $A, B\subset \mathbb N$, their sumset is $A + B := \{a+b: a\in A, b\in B\}$. If we cannot write a set $C$ as $C = A+B$ with $|A|, |B|\geq 2$, then we say that $C$ is $\textit{irreducible}$. The question of whether a given set $C$…
In this article we develop a new way of systematically constructing infinitely many families of smooth subvarieties $X$ of any given dimension $m$, $m \geq 3$, and any given codimension in $\mathbb P^N$, embedded by complete subcanonical…
We define the manifold of configurations to be the quotient set of $k$ points in Euclidean space identified under congruence, and prove that compact subsets of $\mathbb{R}^d, d \geq 2$, of large Hausdorff dimension have a non-null set of…
Motivated by physical and topological applications, we study representations of the group $\mathcal{LB}_3$ of motions of $3$ unlinked oriented circles in $\mathbb{R}^3$. Our point of view is to regard the three strand braid group…
We study the birational maps of $\mathbb{P}^3_\mathbb{C}$. More precisely we describe the irreducible components of the set of birational maps of bidegree $(3,3)$ (resp. $(3,4)$, resp. $(3,5)$).
In this article we define a new reducibility based on the enumeration orders of r.e. sets.
An elegant procedure which characterizes a decomposition of some class of binomial configurations into two other, resembling a definition of Pascal's Triangle, was given in \cite{gevay}. In essence, this construction was already presented…
Robustness, the insensitivity of some of a biological system's functionalities to a set of distinct conditions, is intimately linked to fitness. Recent studies suggest that it may also play a vital role in enabling the evolution of species.…
In this paper we obtained the formula for the number of irreducible polynomials with degree $n$ over finite fields of characteristic two with given trace and subtrace. This formula is a generalization of the result of Cattell et al.(2003)…
A composition of a nonnegative integer (n) is a sequence of positive integers whose sum is (n). A composition is palindromic if it is unchanged when its terms are read in reverse order. We provide a generating function for the number of…
Causality serves as an abstract notion of time for concurrent systems. A computation is causal, or simply valid, if each observation of a computation event is preceded by the observation of its causes. The present work establishes that this…
We have sorted the SmallGroups library of all the finite groups of order smaller than 2000 to identify the groups that possess a faithful three-dimensional irreducible representation (`irrep') and cannot be written as the direct product of…
We introduce a novel approach to Bertini irreducibility theorems over an arbitrary field, based on random hyperplane slicing over a finite field. Extending a result of Benoist, we prove that for a morphism $\phi \colon X \to \mathbb{P}^n$…
In a recent paper here arXiv:1508.0005 it is shown that irreducible representations of the three string braid group $B_3$ of dimensions $\leq 5$ extend to representations of the 3-component loop braid group $LB_3$. Further, an explicit…