Searcharxiv⌕ Search

arXiv subjects

Stephen Clark

Publications and source records attributed to Stephen Clark.

52 records · Page 3Linked to original sources
arXiv2014

The Frobenius anatomy of word meanings I: subject and object relative pronouns

This paper develops a compositional vector-based semantics of subject and object relative pronouns within a categorical framework. Frobenius algebras are used to formalise the operations required to model the semantics of relative pronouns, including passing information between the relative clause and the modified noun phrase, as well as copying, combining, and discarding parts of the relative clause. We develop two instantiations of the abstract semantics, one based on a truth-theoretic approach and one based on corpus statistics.

cs.CL↗
arXiv2014

Learning Type-Driven Tensor-Based Meaning Representations

This paper investigates the learning of 3rd-order tensors representing the semantics of transitive verbs. The meaning representations are part of a type-driven tensor-based semantic framework, from the newly emerging field of compositional distributional semantics. Standard techniques from the neural networks literature are used to learn the tensors, which are tested on a selectional preference-style task with a simple 2-dimensional sentence space. Promising results are obtained against a competitive corpus-based baseline. We argue that extending this work beyond transitive verbs, and to higher-dimensional sentence spaces, is an interesting and challenging problem for the machine learning community to consider.

cs.CL↗
arXiv2012

Boundary Data Maps and Krein's Resolvent Formula for Sturm-Liouville Operators on a Finite Interval

We continue the study of boundary data maps, that is, generalizations of spectral parameter dependent Dirichlet-to-Neumann maps for (three-coefficient) Sturm-Liouville operators on the finite interval $(a,b)$, to more general boundary conditions. While earlier studies of boundary data maps focused on the case of general separated boundary conditions at $a$ and $b$, the present work develops a unified treatment for all possible self-adjoint boundary conditions (i.e., separated as well as non-separated ones). In the course of this paper we describe the connections with Krein's resolvent formula for self-adjoint extensions of the underlying minimal Sturm-Liouville operator (parametrized in terms of boundary conditions), with some emphasis on the Krein extension, develop the basic trace formulas for resolvent differences of self-adjoint extensions, especially, in terms of the associated spectral shift functions, and describe the connections between various parametrizations of all self-adjoint extensions, including the precise relation to von Neumann's basic parametrization in terms of unitary maps between deficiency subspaces.

math.SP↗
arXiv2010

Concrete Sentence Spaces for Compositional Distributional Models of Meaning

Coecke, Sadrzadeh, and Clark (arXiv:1003.4394v1 [cs.CL]) developed a compositional model of meaning for distributional semantics, in which each word in a sentence has a meaning vector and the distributional meaning of the sentence is a function of the tensor products of the word vectors. Abstractly speaking, this function is the morphism corresponding to the grammatical structure of the sentence in the category of finite dimensional vector spaces. In this paper, we provide a concrete method for implementing this linear meaning map, by constructing a corpus-based vector space for the type of sentence. Our construction method is based on structured vector spaces whereby meaning vectors of all sentences, regardless of their grammatical structure, live in the same vector space. Our proposed sentence space is the tensor product of two noun spaces, in which the basis vectors are pairs of words each augmented with a grammatical role. This enables us to compare meanings of sentences by simply taking the inner product of their vectors.

cs.CL↗
arXiv2010

Mathematical Foundations for a Compositional Distributional Model of Meaning

We propose a mathematical framework for a unification of the distributional theory of meaning in terms of vector space models, and a compositional theory for grammatical types, for which we rely on the algebra of Pregroups, introduced by Lambek. This mathematical framework enables us to compute the meaning of a well-typed sentence from the meanings of its constituents. Concretely, the type reductions of Pregroups are `lifted' to morphisms in a category, a procedure that transforms meanings of constituents into a meaning of the (well-typed) whole. Importantly, meanings of whole sentences live in a single space, independent of the grammatical structure of the sentence. Hence the inner-product can be used to compare meanings of arbitrary sentences, as it is for comparing the meanings of words in the distributional model. The mathematical structure we employ admits a purely diagrammatic calculus which exposes how the information flows between the words in a sentence in order to make up the meaning of the whole sentence. A variation of our `categorical model' which involves constraining the scalars of the vector spaces to the semiring of Booleans results in a Montague-style Boolean-valued semantics.

cs.CL↗
arXiv2010

Weyl-Titchmarsh Theory and Borg-Marchenko-type Uniqueness Results for CMV Operators with Matrix-Valued Verblunsky Coefficients

We prove local and global versions of Borg-Marchenko-type uniqueness theorems for half-lattice and full-lattice CMV operators (CMV for Cantero, Moral, and Velazquez) with matrix-valued Verblunsky coefficients. While our half-lattice results are formulated in terms of matrix-valued Weyl-Titchmarsh functions, our full-lattice results involve the diagonal and main off-diagonal Green's matrices. We also develop the basics of Weyl-Titchmarsh theory for CMV operators with matrix-valued Verblunsky coefficients as this is of independent interest and an essential ingredient in proving the corresponding Borg-Marchenko-type uniqueness theorems.

math.SP↗
arXiv2010

Boundary Data Maps for Schrodinger Operators on a Compact Interval

We provide a systematic study of boundary data maps, that is, 2 \times 2 matrix-valued Dirichlet-to-Neumann and more generally, Robin-to-Robin maps, associated with one-dimensional Schrodinger operators on a compact interval [0,R] with separated boundary conditions at 0 and R. Most of our results are formulated in the non-self-adjoint context. Our principal results include explicit representations of these boundary data maps in terms of the resolvent of the underlying Schrodinger operator and the associated boundary trace maps, Krein-type resolvent formulas relating Schrodinger operators corresponding to different (separated) boundary conditions, and a derivation of the Herglotz property of boundary data maps (up to right multiplication by an appropriate diagonal matrix) in the special self-adjoint case.

math.SP↗
arXiv2010

Minimal Rank Decoupling of Full-Lattice CMV Operators with Scalar- and Matrix-Valued Verblunsky Coefficients

Relations between half- and full-lattice CMV operators with scalar- and matrix-valued Verblunsky coefficients are investigated. In particular, the decoupling of full-lattice CMV operators into a direct sum of two half-lattice CMV operators by a perturbation of minimal rank is studied. Contrary to the Jacobi case, decoupling a full-lattice CMV matrix by changing one of the Verblunsky coefficients results in a perturbation of twice the minimal rank. The explicit form for the minimal rank perturbation and the resulting two half-lattice CMV matrices are obtained. In addition, formulas relating the Weyl--Titchmarsh $m$-functions (resp., matrices) associated with the involved CMV operators and their Green's functions (resp., matrices) are derived.

math.SP↗
arXiv2008

Borg-Marchenko-type Uniqueness Results for CMV Operators

We prove local and global versions of Borg-Marchenko-type uniqueness theorems for half-lattice and full-lattice CMV operators (CMV for Cantero, Moral, and Velazquez \cite{CMV03}). While our half-lattice results are formulated in terms of Weyl-Titchmarsh functions, our full-lattice results involve the diagonal and main off-diagonal Green's functions.

math.SP↗
arXiv2007

Q-Ball Condensation

Q-balls arise in particle theories with U(1) global symmetry. The coupling of the corresponding scalar field to fermions leads to Q-ball evaporation. In this paper we consider the oposite problem, the case where a Q-ball absorbs particles to grow. In particular we shall use the exact quantum mechanical description of fermions interacting with a Q-ball to solve the problem. Results show that Q-ball condensation can be another mechanism for Q-ball creation.

hep-th↗
arXiv2006

Particle production from Q-balls

Non topological solitons, Q-balls can arise in many particle theories with U(1) global symmetries. As was shown by Cohen et al. \cite{Qballscohen}, if the corresponding scalar field couples to massless fermions, large Q-balls are unstable and evaporate, producing a fermion flux proportional to the Q-ball's surface. In this paper we analyse Q-ball instabilities as a function of Q-ball size ans fermion mass. In particular, we construct an exact quantum-mechanical description of the evaporating Q-ball. This new construction provides an alternative method to compute Q-Ball's evaporation rates. We shall also find the new expression for the upper bound on evaporation as a function of the produced fermion mass and study the effects of Q ball's size on particle production.

hep-ph↗
arXiv2006

Interactions of Q-balls and matter

We know from previous work \cite{clark} that non topological solitons, Q balls, evaporate into fermions. All the constructions we used to find evaporation rate were dased on the fact that no fermions would move towards the Q ball. All these constructions left an opened question that is : what happens when a fermion interacts with a Q ball. We shall answer this question in this work by using the constructions done to compute evaporation rates. We shall also obtain a new approach to compute evaporation rates.

hep-ph↗
arXiv2003

Unconditional preparation of entanglement between atoms in cascaded optical cavities

We propose a scheme to unconditionally entangle the internal states of atoms trapped in separate high finesse optical cavities. The scheme uses the technique of quantum reservoir engineering in a cascaded cavity QED setting, and for ideal (lossless) coupling between the cavities generates an entangled pure state. Highly entangled states are also shown to be possible for realizable cavity QED parameters and with nonideal coupling.

quant-ph↗
arXiv2002

Coupling of effective one-dimensional two-level atoms to squeezed light

A cavity QED system is analyzed which duplicates the dynamics of a two-level atom in free space interacting exclusively with broadband squeezed light. We consider atoms in a three or four-level Lambda-configuration coupled to a high-finesse optical cavity which is driven by a squeezed light field. Raman transitions are induced between a pair of stable atomic ground states via the squeezed cavity mode and coherent driving fields. An analysis of the reduced master equation for the atomic ground states shows that a three-level atomic system has insufficient parameter flexibility to act as an effective two-level atom interacting exclusively with a squeezed reservoir. However, the inclusion of a fourth atomic level, coupled dispersively to one of the two ground states by an auxiliary laser field, introduces an extra degree of freedom and enables the desired interaction to be realised. As a means of detecting the reduced quadrature decay rate of the effective two-level system, we examine the transmission spectrum of a weak coherent probe field incident upon the cavity.

quant-ph↗
arXiv1999

Stability radius and internal versus external stability in Banach spaces: an evolution semigroup approach

In this paper the theory of evolution semigroups is developed and used to provide a framework to study the stability of general linear control systems. These include time-varying systems modeled with unbounded state-space operators acting on Banach spaces. This approach allows one to apply the classical theory of strongly continuous semigroups to time-varying systems. In particular, the complex stability radius may be expressed explicitly in terms of the generator of a (evolution) semigroup. Examples are given to show that classical formulas for the stability radius of an autonomous Hilbert-space system fail in more general settings. Upper and lower bounds on the stability radius are provided for these general systems. In addition, it is shown that the theory of evolution semigroups allows for a straightforward operator-theoretic analysis of internal stability as determined by classical frequency-domain and input-output operators, even for nonautonomous Banach-space systems

math.DS↗