Results 71 to 80 of about 1,221 (189)
Let S be a semigroup, C(S) the automaton constructed from the right Cayley graph of S with respect to all of S as the generating set and ∑(C(S)) the automaton semigroup constructed from C(S). Such semigroups are termed Cayley automaton semigroups. For
McLeman, Alexander Lewis Andrew
core
A theory of computation based on unsharp quantum logic: Finite state automata and pushdown automata
When generalizing the projection-valued measurements to the positive operator-valued measurements, the notion of the quantum logic generalizes from the sharp quantum logic to the unsharp quantum logic. It is known that: (i) the distributive law is one of
Shang, Yun, Lu, Ruqian, Lu, Xian
core +1 more source
(Co‐)Reference All the Way Down: A Unified Theory of (Pro) Nominals in Ordinary English
ABSTRACT This essay joins two themes, both arising from Kripke's inspiring ideas in the theory of reference. The first theme concerns reference in general. The second examines the notion of co‐reference and the role it plays in a unified theory of pronouns for natural language.
Jessica Pepp, Joseph Almog
wiley +1 more source
: We show that it is decidable whether or not the set of coefficients of a given Q-algebraic sequence is finite. The same question is undecidable for Q-algebraic series. We consider also prime factors of algebraic series. Category: F.4.3 1 Introduction
Juha Honkala +2 more
core +1 more source
The singularity category and duality for complete intersection groups
Abstract If G$G$ is a finite group, the structure of the modular representation theory depends on the cochains C∗(BG;k)$C^*(BG; k)$, viewed as a commutative ring spectrum. We consider here its singularity category (in the sense of the author and Stevenson [Adv. Math.
J. P. C. Greenlees
wiley +1 more source
Cohomogeneity‐one solitons in Laplacian flow: Local, smoothly‐closing and steady solitons
Abstract We initiate a systematic study of cohomogeneity‐one solitons in Bryant's Laplacian flow of closed G2$\text{G}_2$‐structures on a 7‐manifold, motivated by the problem of understanding finite‐time singularities of that flow. Here, we focus on solitons with symmetry groups Sp(2)${\rm Sp}(2)$ and SU(3)${\rm SU}(3)$; in both cases, we prove the ...
Mark Haskins, Johannes Nordström
wiley +1 more source
Towards sharing in lazy computation systems
Work on proving congruence of bisimulation in functional programming languages often refers to [How89,How96], where Howe gave a highly general account on this topic in terms of so-called lazy computation systems .
Mann, Matthias, Matthias Mann
core
Coulomb branch algebras via symplectic cohomology
Abstract Let (M¯,ω)$(\bar{M}, \omega)$ be a compact symplectic manifold with convex boundary and c1(TM¯)=0$c_1(T\bar{M})=0$. Suppose that (M¯,ω)$(\bar{M}, \omega)$ is equipped with a convex Hamiltonian G$G$‐action for some connected, compact Lie group G$G$.
Eduardo González +2 more
wiley +1 more source
An extended definition of Anosov representation for relatively hyperbolic groups
Abstract We define a new family of discrete representations of relatively hyperbolic groups which unifies many existing definitions and examples of geometrically finite behavior in higher rank. The definition includes the relative Anosov representations defined by Kapovich–Leeb and Zhu, and Zhu–Zimmer, as well as holonomy representations of various ...
Theodore Weisman
wiley +1 more source
Infinity‐operadic foundations for embedding calculus
Abstract Motivated by applications to spaces of embeddings and automorphisms of manifolds, we consider a tower of ∞$\infty$‐categories of truncated right modules over a unital ∞$\infty$‐operad O$\mathcal {O}$. We study monoidality and naturality properties of this tower, identify its layers, describe the difference between the towers as O$\mathcal {O}$
Manuel Krannich, Alexander Kupers
wiley +1 more source

