Related papers: CSP for binary conservative relational structures
Various structural properties of the space of symmetry breaking boundary conditions that preserve an orbifold subalgebra are established. To each such boundary condition we associate its automorphism type. It is shown that correlation…
We consider the four dimensional scale invariant N=2 SU quiver gauge theories with USp(2N) ends or SU(2N) ends with antisymmetric matter representations. We argue that these theories are realized as six dimensional A_{2N-1} (0,2) theories…
Representable implication algebras are known to be axiomatised by a finite number of equations (making the representation and finite representation problems decidable here). We show that this also holds in the context of unary (and binary)…
We propose a generalization of non-commutative geometry and gauge theories based on ternary Z_3-graded structures. In the new algebraic structures we define, we leave all products of two entities free, imposing relations on ternary products…
We give a complexity dichotomy theorem for the counting Constraint Satisfaction Problem (#CSP in short) with complex weights. To this end, we give three conditions for its tractability. Let F be any finite set of complex-valued functions,…
We study the group of polynomial automorphisms of $\mathbb{C}^3$ (resp. birational self-maps of $\mathbb{P}^3_\mathbb{C}$) that preserve the contact structure.
Recent results show that a constraint satisfaction problem (CSP) defined over rational numbers with their natural ordering has a solution if and only if it has a definable solution. The proof uses advanced results from topology and modern…
The homomorphism problem for relational structures is an abstract way of formulating constraint satisfaction problems (CSP) and various problems in database theory. The decision version of the homomorphism problem received a lot of…
An elegant characterization of the complexity of constraint satisfaction problems has emerged in the form of the the algebraic dichotomy conjecture of [BKJ00]. Roughly speaking, the characterization asserts that a CSP {\Lambda} is tractable…
A semi-Peano algebra is an algebra for which each operation is injective, and the images of the operations are pairwise disjoint. The most straightforward non-trivial kind of finitely presented semi-Peano algebra are algebras with a single…
We obtain a combinatorial formula related to the shear transformation for semi-invariants of binary forms, which implies the classical characterization of semi-invariants in terms of a differential operator. Then, we present a combinatorial…
We introduce new polynomial invariants of a finite-dimensional semisimple and cosemisimple Hopf algebra A over a field by using the braiding structures of A. We investigate basic properties of the polynomial invariants including stability…
A unital $C^*$-algebra is called $N$-subhomogeneous if its irreducible representations are finite dimensional with dimension at most $N$. We extend this notion to operator systems, replacing irreducible representations by boundary…
The class of linearly ordered sets with one order preserving unary operation has the Strong Amalgamation Property (SAP). The class of linearly ordered sets with one strict order preserving unary operation has AP but not SAP. The class of…
We consider $K$-semialgebras for a commutative semiring $K$ that are at the same time $\Sigma$-algebras and satisfy certain linearity conditions. When each finite system of guarded polynomial fixed point equations has a unique solution over…
We introduce a non-symmetric operad $\mathcal{N}$, whose dimension in degree $n$ is given by the Catalan number $c_{n-1}$. It arises naturally in the study of coalgebra structures defined on compatible associative algebras. We prove that…
We prove that in a compact manifold of dimension $n\geq 2$, a $C^{1+\alpha}$ volume-preserving diffeomorphisms that are robustly transitive in the $C^1$-topology have a dominated splitting. Also we prove that for 3-dimensional compact…
Given an algebraic differential equation of order greater than one, it is shown that if there is any nontrivial algebraic relation amongst any number of distinct nonalgebraic solutions, along with their derivatives, then there is already…
For $p\in [1,\infty)$, we show that every unital $L^p$-operator algebra contains a unique maximal $C^*$-subalgebra, which is always abelian if $p\neq 2$. Using this, we canonically associate to every unital $L^p$-operator algebra $A$ an…
The poset of copies of a relational structure ${\mathbb X}$ is the partial order $\langle {\mathbb P} ({\mathbb X}) ,\subset \rangle$, where ${\mathbb P} ({\mathbb X})=\{ Y\subset X: {\mathbb Y} \cong {\mathbb X}\}$. Investigating the…