相关论文: On tolerances representable as $R \circ R^-$

We conduct a computability-theoretic study of Ramsey-like theorems of the form "Every coloring of the edges of an infinite clique admits an infinite sub-clique avoiding some pattern", with a particular focus on transitive patterns. As it…

The main results of the paper points out the connection between the weak ordered relations and factor lattices defined by tolerances. It is proved that for any tolerance $T$ of a lattice $L$ the Dedekind-Mac Neille completion of $L/T$ is…

In this paper, we introduce a representation theory of Hom-Lie conformal superalgebras and discuss the cases of adjoint representations. Furthermore, we develop cohomology theory of Hom-Lie conformal superalgebras and discuss some…

Nearly linear recurrences are a generalisation of linear recurrences and are instances of linear time-invariant systems in control theory and linear constraint loops in program analysis. In this paper we formulate the Positivity Problem for…

In this paper we derive a representation of an arbitrary real matrix M as the difference of a real matrix A and the transpose of its inverse. This expression may prove useful for progressing beyond known results for which the appearance of…

We consider conformal defects joining two conformal field theories along a line. We define two new quantities associated to such defects in terms of expectation values of the stress tensors and we propose them as measures of the…

We define a property sub-representability and we give a complete characterisation of sub-representability of posets.

Strictly positive logics recently attracted attention both in the description logic and in the provability logic communities for their combination of efficiency and sufficient expressivity. The language of Reflection Calculus RC consists of…

Let X be a compactum such that dim_Q X < n+1, n>1. We prove that there is a Q-acyclic resolution r: Z-->X from a compactum Z of dim < n+1. This allows us to give a complete description of all the cases when for a compactum X and an abelian…

We classify the automorphic representations (over number fields) and the irreducible admissible representations (over local fields) of unitary groups which are not quasi-split, under the assumption that the same is known for quasi-split…

We introduce special classes of irreducible representations of groups: thick representations and dense representations. Denseness implies thickness, and thickness implies irreducibility. We show that absolute thickness and absolute…

We investigate Mal'cev conditions described by equations whose variables runs over the set of all compatible reflexive relations. Let $p \leq q$ be an equation in the language $\{\wedge, \circ,+\}$. We give a characterization of the class…

An observable canonical form is formulated for the set of rational systems on a variety each of which is a single-input-single-output, affine in the input, and a minimal realization of its response map. The equivalence relation for the…

We derive consequences from the existence of a term which satisfies Mal'cev identities (characterizing permutability) modulo two functions F and G from admissible relations to admissible relations. We also provide characterizations of…

This paper considers how many conjugacy classes of reflections a map can have, under various transitivity conditions. It is shown that for vertex- and for face-transitive maps there is no restriction on their number or size, whereas…

Let $\mathcal M=\langle K;O\rangle$ be a real closed valued field and let $k$ be its residue field. We prove that every interpretable field in $\mathcal M$ is definably isomorphic to either $K$, $K(\sqrt{-1})$, $k$, or $k(\sqrt{-1})$. The…

We consider the class of integer rectifiable currents without boundary satisfying a positivity condition. We establish that these currents can be written as a linear superposition of graphs of finitely many functions with bounded variation.

For a countable group G and a multiplier c on G with values in the circle, we study the property of G having a unitary projective c-representation which is both irreducible and projectively faithful. We show that this property is equivalent…

By the theory of elliptic curves, we study the integers representable as the product of the sum of four integers with the sum of their reciprocals and give a sufficient condition for the integers with a positive representation.

Let $X$ be a nonempty real variety that is invariant under the action of a reflection group $G$. We conjecture that if $X$ is defined in terms of the first $k$ basic invariants of $G$ (ordered by degree), then $X$ meets a $k$-dimensional…