Quantum Merlin-Arthur proof systems are a weak form of quantum interactive proof systems, where mighty Merlin as a prover presents a proof in a pure quantum state and Arthur as a verifier performs polynomial-time quantum computation to verify its correctness with high success probability. For a more general treatment, this paper considers quantum “multiple-Merlin”-Arthur proof systems in which ...

Using theta correspondence, we obtain a classification of irreducible representations an arbitrary even orthogonal group (i.e. the local Langlands correspondence) by deducing it from correspondence for symplectic groups due to Arthur. Moreover,we show that our classifications coincide with established Arthur and formulated precisely Atobe-Gan quasi-split groups.

What is the goal of creativity? Is it just a symbolic reshuffling or a moment of semantic extension? Similar to the contrast between syntax and semantics, creativity has an internal and an external aspect. Contrary to the widespread view that emphasises the problem-solving role of creativity, here we consider whether creativity represents an authentic moment of ontological discovery and semanti...

After specific activation by antigen, B cells differentiate into antibody-secreting plasma cells under the influence of a variety of factors (iymphokines) secreted by inducer/helper T cells (1-3). It is not yet clear how many lymphokines are specific for B cells but one, IL-2, has been shown to bind to both activated B cells and activated T cells (4-7), suggesting that at least one lymphokine r...