Related papers: Canonical equivalence relations on fronts on $FIN_…

We prove a general version of the crystalline equivalence principle which gives an equivalence of categories between a category of TQFTs defined on a generic space with $G$-symmetry, and a category of TQFTs with internal symmetry. We give a…

Generalizing the concepts of Stanley-Reisner and affine monoid algebras, one can associate to a rational pointed fan the toric face ring. Assuming that this ring is Cohen-Macaulay, the main result of this paper is to characterize the…

The paper proves finite model property and decidability for a family of modal logics. A binary relation $R$ is called pretransitive, if $R^*=\cup_{i\leq m} R^i$ for some $m\geq 0$, where $R^*$ is the transitive reflexive closure of $R$. By…

In this paper, we study the problem of finding the extremal element for a linear functional over a uniformly convex Banach space. We show that a unique extremal element exists and depends continuously on the linear functional, and vice…

Yang-Mills theories on a 1+1 dimensional cylinder are considered. It is shown that canonical quantization can proceed following different routes, leading to inequivalent quantizations. The problem of the non-free action of the gauge group…

We present a concept of uniform encodability of theories and develop tools related to this concept. As an application we obtain general undecidability results which are uniform for large families of structures. In the way, we define…

We show that monochromatic Finsler metrics, i.e., Finsler metrics such that each two tangent spaces are isomorphic as normed spaces, are generalized Berwald metrics, i.e., there exists an affine connection, possibly with torsion, that…

We characterize finitary coarse spaces $X$ such that every permutation of $X$ is an asymorphism.

Let (M,g) be a compact Riemannian manifold with boundary. This paper addresses the Yamabe-type problem of finding a conformal scalar-flat metric on M, which has the boundary as a constant mean curvature hypersurface. When the boundary is…

The Legendre curve in the unit tangent bundle over Euclidean plane is a plane curve with a moving frame. We have the (Legendre) curvature of the Legendre curve, and the existence and uniqueness theorems for the curvature are valid. In this…

For every fixed integer $k \geq 1$, we prove that $k$-Edge Colouring is fixed-parameter-tractable when parameterized by the number of vertices of maximum degree.

We prove that uniformly locally finite metric spaces with isomorphic Roe algebras must be coarsely equivalent. As an application, we also prove that the outer automorphism group of the Roe algebra of a metric space of bounded geometry is…

Let $X$ be a topological space equipped with a basis. We prove that, for every $\infty$-category $\mathcal{C}$ with limits, the restriction functor from $\mathcal{C}$-valued hypersheaves on $X$ to basic hypersheaves is an equivalence of…

A computable structure $\mathcal{A}$ has degree of categoricity $\mathbf{d}$ if $\mathbf{d}$ is exactly the degree of difficulty of computing isomorphisms between isomorphic computable copies of $\mathcal{A}$. Fokina, Kalimullin, and Miller…

We prove that, for $1 \le p<q<\infty$, the partially ordered set $P(\omega)/{\rm Fin}$ can be embedded into Borel equivalence relations between $\mathbb{R}^\omega/\ell_p$ and $\mathbb{R}^\omega/\ell_q$. Since there is an antichain of size…

We address the problem of characterizing $H$-coloring problems that are first-order definable on a fixed class of relational structures. In this context, we give several characterizations of a homomorphism dualities arising in a class of…

Let C be a curve (possibly non reduced or reducible) lying on a smooth algebraic surface. We show that the canonical ring R(C, \omega_C) is generated in degree 1 if C is numerically 4-connected, not hyperelliptic and even (i.e. with K_C of…

We introduce a generalization of stationary set reflection which we call "filter reflection", and show it is compatible with the axiom of constructibility as well as with strong forcing axioms. We prove the independence of filter reflection…

We introduce a new equivalence relation, named R-equivalence relation, on the set of colorings of an oriented knot diagram by a quandle. We determine the R-equivalence classes of colorings of a diagram of a torus knot by a quandle, called…

Racks and quandles are algebraic structures with a single binary operation that is right self-distributive and right invertible, and additionally idempotent in the case of quandles. The invertibility condition is equivalent to the existence…