Related papers: Mp-residuated lattices
A commutative residuated lattice A is said to be subidempotent if the lower bounds of its neutral element e are idempotent (in which case they naturally constitute a Brouwerian algebra A*). It is proved here that epimorphisms are surjective…
For an integer $m\geq 1$, a combinatorial manifold $\widetilde{M}$ is defined to be a geometrical object $\widetilde{M}$ such that for $\forall p\in\widetilde{M}$, there is a local chart $(U_p,\phi_p)$ enable $\phi_p:U_p\to…
If $(X, \mcF, \D)$ is a projective rank two foliated log canonical triple such that $(X,B)$ is klt for some $0 \leq B \leq \D$, we show that we can run a $(K_\mcF +\Delta)$-MMP and any such MMP terminates with either a minimal model or Mori…
In [1] the authors showed some basic properties of a pre-order that arose in combinatorial number theory, namely the finite embeddability between sets of natural numbers, and they presented its generalization to ultrafilters, which is…
Resonant properties of composite structures consisting of several identical resonant diffractive structures (e.g. multilayer thin-film structures or guided-mode resonance gratings) separated by phase-shift layers are investigated…
In this paper, we give a complete description of the deformation classes of real structures on minimal ruled surfaces. In particular, we show that these classes are determined by the topology of the real structure, which means that real…
Suppose $M^{n+1}$ is a complex manifold and K is a hypersurface with isolated singularities. Let $\omega$ be a holomorphic form on $M\setminus K$ with the first order pole on K. The Leray residue of such form gives an element in the n-th…
Assuming that neutrinos are Majorana particles, we perform a complete classification of all possible mixing matrices which are fully determined by residual symmetries in the charged-lepton and neutrino mass matrices. The classification is…
We construct a one-parameter family of lattice models starting from a two-dimensional rational conformal field theory on a torus with a regular lattice of holes, each of which is equipped with a conformal boundary condition. The lattice…
The present paper mainly presents, for example, explicit classifications of compact smooth manifolds having non-empty boundaries and simple structures where the dimensions are general. Studies of this type is fundamental and important. They…
Although there is no doubt that multi-parameter persistent homology is a useful tool to analyse multi-variate data, efficient ways to compute these modules are still lacking in the available topological data analysis toolboxes. Other issues…
This paper is the fifth and final in a series on embedded minimal surfaces. Following our earlier papers on disks, we prove here two main structure theorems for non-simply connected embedded minimal surfaces of any given fixed genus. The…
A distributive lattice $L$ with minimum element $0$ is called decomposable lattice if $a$ and $b$ are not comparable elements in $L$ there exist $\overline{a},\overline{b}\in L$ such that $a=\overline{a}\vee(a\wedge b),…
It has been shown that $1$-parameter persistence modules have a very simple classification, namely there is a discrete invariant called a barcode that completely characterizes $1$-parameter persistence modules up to isomorphism. In…
We construct the first example of a lattice on an irreducible Euclidean building that is not residually finite. Conjecturally, the normal subgroup theorem extends to this lattice making it virtually simple.
The discovery of topological phases of matter and topological boundary states had tremendous impact on condensed matter physics and photonics, where topological phases are defined via energy bands, giving rise to topological band theory.…
A fragment of second-order lambda calculus (System F) is defined that characterizes the elementary recursive functions. Type quantification is restricted to be non-interleaved and stratified, i.e., the types are assigned levels, and a…
A universal topological marker has been proposed recently to map the topological invariants of Dirac models in any dimension and symmetry class to lattice sites. Using this topological marker, we examine the conditions under which the…
A one-dimensional discrete lattice of dimers is known to possess topologically protected edge states when interdimer coupling is stronger than intradimer coupling. Here, we address richer topological properties of photonic superlattices…
Let $f$ be an $R$-closed homeomorphism on a connected orientable closed surface $M$. In this paper, we show that If $M$ has genus more than one, then each minimal set is either a periodic orbit or an extension of a Cantor set. If $M =…