The proposed method is targeted on reduction of hardware amount in logic circuit of Moore finite-state machine implemented with programmable logic arrays (PLA). The method is based on using more than minimal amount of variables in codes of FSM internal states. The method includes two stages of state encoding. The second stage is connected with recoding of states inside each class of pseudoequiv...

The normal Moore space conjecture asserts that normal Moore spaces are metrizable. Nyikos has proven the consistency (from the existence of a strongly compact cardinal) of the conjecture holding and Fleissner has proven that at least a measurable cardinal is needed to prove the consistency. Although extremely elegant, Nyikos’ proof relies on Kunen’s proof of the consistency of the product measu...

We analyze the properties of a non-Abelian spin-one chiral spin liquid state proposed by Greiter and Thomale [Phys. Rev. Lett. 102, 207203 (2009)] using Monte Carlo. In this state the bosonic ν = 1 Moore-Read Pfaffian wave function is used to describe a gas of bosonic spin flips on a square lattice with one flux quantum per plaquette. For toroidal geometries there is a three-dimensional space o...

The first section of this paper is given over mainly to the investigation of linear Hausdorff spaces. However, the principal object of the paper is to characterize topologically that class of point sets used in the geometry for lines, namely, the class of simple continuous curves. This has already been done by R. L. Moore,f by R. L. Wilder, | and by myself.§ The results of this paper generalize...

A natural generalization of the classical Moore-Penrose inverse is presented. The so-called S-Moore-Penrose inverse of a m × n complex matrix A, denoted by AS, is defined for any linear subspace S of the matrix vector space Cn×m. The S-Moore-Penrose inverse AS is characterized using either the singular value decomposition or (for the nonsingular square case) the orthogonal complements with resp...

In this paper we show that a variation of a technique of Mǐskin and Tall yields a cocompact completely regular Moore space that is Scott-domain-representable and has a closed Gδ-subspace that is not Scott-domain-representable. This clarifies the general topology of Scott-domain-representable spaces and raises additional questions about Scott-domain representability in Moore spaces. 2000 AMS Cla...

A W-algebra action is constructed via Hecke transformations on the equivariant Borel–Moore homology of Hilbert scheme points a nonreduced plane in three-dimensional affine space. The resulting W-module then identified to vacuum module. construction based generalization ADHM as well W-action moduli space instantons by Schiffmann and Vasserot.