scholarly journals HAMEL SPACES AND DISTAL EXPANSIONS

2019 ◽  
Vol 85 (1) ◽  
pp. 422-438
Author(s):  
ALLEN GEHRET ◽  
TRAVIS NELL
Keyword(s):  
Natural Language ◽  
Vector Space ◽  
Quantifier Elimination ◽  
Hamel Basis ◽  
Image Position

AbstractIn this note, we construct a distal expansion for the structure $$\left( {; + , < ,H} \right)$$, where $H \subseteq $ is a dense $Q$-vector space basis of $R$ (a so-called Hamel basis). Our construction is also an expansion of the dense pair $\left( {; + , < ,} \right)$ and has full quantifier elimination in a natural language.

Gocommutative Hopf Algebras

1967 ◽  
Vol 19 ◽  
pp. 350-360 ◽  
Author(s):  
Richard G. Larson
Keyword(s):  
Hopf Algebra ◽  
Vector Space ◽  
Hopf Algebras ◽  
Image Position ◽  
Algebra Homomorphisms

A coalgebra over the field F is a vector space A over F, with maps δ: A → A ⊗ A and ∊: A → F such that1and2The notion of coalgebra is dual to the notion of algebra with unit, with δ as coproduct (equation (1) says that δ is associative) and ∊ as the unit map (equation (2) is just the statement that ∊ is a unit for the coproduct δ). If A is also an algebra with unit and δ and ∊ are algebra homomorphisms, A is a Hopf algebra.

Nonzero Symmetry Classes of Smallest Dimension

1980 ◽  
Vol 32 (4) ◽  
pp. 957-968 ◽  
Author(s):  
G. H. Chan ◽  
M. H. Lim
Keyword(s):  
Vector Space ◽  
Symmetric Group ◽  
Linear Mapping ◽  
Complex Numbers ◽  
Dimensional Vector ◽  
Complex Character ◽  
Tensor Power ◽  
Dimensional Vector Space ◽  
Symmetry Classes ◽  
Image Position

Let U be a k-dimensional vector space over the complex numbers. Let ⊗m U denote the mth tensor power of U where m ≧ 2. For each permutation σ in the symmetric group Sm, there exists a linear mapping P(σ) on ⊗mU such thatfor all x1, …, xm in U.Let G be a subgroup of Sm and λ an irreducible (complex) character on G. The symmetrizeris a projection of ⊗ mU. Its range is denoted by Uλm(G) or simply Uλ(G) and is called the symmetry class of tensors corresponding to G and λ.

THE REGULAR PART OF A SEMIGROUP OF LINEAR TRANSFORMATIONS WITH RESTRICTED RANGE

2017 ◽  
Vol 103 (3) ◽  
pp. 402-419 ◽  
Author(s):  
WORACHEAD SOMMANEE ◽  
KRITSADA SANGKHANAN
Keyword(s):  
Finite Field ◽  
Vector Space ◽  
Dimensional Subspace ◽  
Finite Dimensional Subspace ◽  
Restricted Range ◽  
Linear Transformations ◽  
Dimensional Vector Space ◽  
Finite Dimensional ◽  
Idempotent Rank ◽  
Image Position

Let$V$be a vector space and let$T(V)$denote the semigroup (under composition) of all linear transformations from$V$into$V$. For a fixed subspace$W$of$V$, let$T(V,W)$be the semigroup consisting of all linear transformations from$V$into$W$. In 2008, Sullivan [‘Semigroups of linear transformations with restricted range’,Bull. Aust. Math. Soc.77(3) (2008), 441–453] proved that$$\begin{eqnarray}\displaystyle Q=\{\unicode[STIX]{x1D6FC}\in T(V,W):V\unicode[STIX]{x1D6FC}\subseteq W\unicode[STIX]{x1D6FC}\} & & \displaystyle \nonumber\end{eqnarray}$$is the largest regular subsemigroup of$T(V,W)$and characterized Green’s relations on$T(V,W)$. In this paper, we determine all the maximal regular subsemigroups of$Q$when$W$is a finite-dimensional subspace of$V$over a finite field. Moreover, we compute the rank and idempotent rank of$Q$when$W$is an$n$-dimensional subspace of an$m$-dimensional vector space$V$over a finite field$F$.

scholarly journals LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE

2018 ◽  
Vol 11 (3) ◽  
pp. 470-506 ◽  
Author(s):  
VALENTIN GORANKO ◽  
ANTTI KUUSISTO
Keyword(s):  
Natural Language ◽  
Kripke Semantics ◽  
Dependence Logic ◽  
Team Semantics ◽  
Reasoning Tasks ◽  
Image Position ◽  
The Way

AbstractThis paper investigates formal logics for reasoning about determinacy and independence. Propositional Dependence Logic${\cal D}$and Propositional Independence Logic${\cal I}$are recently developed logical systems, based on team semantics, that provide a framework for such reasoning tasks. We introduce two new logics${{\cal L}_D}$and${{\cal L}_{\,I\,}}$, based on Kripke semantics, and propose them as alternatives for${\cal D}$and${\cal I}$, respectively. We analyse the relative expressive powers of these four logics and discuss the way these systems relate to natural language. We argue that${{\cal L}_D}$and${{\cal L}_{\,I\,}}$naturally resolve a range of interpretational problems that arise in${\cal D}$and${\cal I}$. We also obtain sound and complete axiomatizations for${{\cal L}_D}$and${{\cal L}_{\,I\,}}$.

scholarly journals A Norm Inequality for Linear Transformations

1961 ◽  
Vol 4 (3) ◽  
pp. 239-242
Author(s):  
B.N. Moyls ◽  
N.A. Khan
Keyword(s):  
Positive Integer ◽  
Vector Space ◽  
Hermitian Operator ◽  
Norm Inequality ◽  
Dimensional Vector ◽  
Linear Transformations ◽  
Dimensional Vector Space ◽  
Image Position ◽  
Ky Fan

In 1949 Ky Fan [1] proved the following result: Let λ1…λn be the eigenvalues of an Hermitian operator H on an n-dimensional vector space Vn. If x1, …, xq is an orthonormal set in V1, and q is a positive integer such n that 1 ≤ q ≤ n, then1

scholarly journals Exhaustive operators and vector measures

1975 ◽  
Vol 19 (3) ◽  
pp. 291-300 ◽  
Author(s):  
N. J. Kalton
Keyword(s):  
Linear Operator ◽  
Vector Space ◽  
Compact Hausdorff Space ◽  
Hausdorff Space ◽  
Continuous Functions ◽  
Vector Measures ◽  
Borel Functions ◽  
Image Position ◽  
Real Topological Vector Space ◽  
Sequence Of Functions

Let S be a compact Hausdorff space and let Φ: C(S)→E be a linear operator defined on the space of real-valued continuous functions on S and taking values in a (real) topological vector space E. Then Φ is called exhaustive (7) if given any sequence of functions fn ∈ C(S) such that fn ≧ 0 andthen Φ(fn)→0 If E is complete then it was shown in (7) that exhaustive maps are precisely those which possess regular integral extensions to the space of bounded Borel functions on S; this is equivalent to possessing a representationwhere μ is a regular countably additive E-valued measure defined on the σ-algebra of Borel subsets of S.

scholarly journals A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras

2019 ◽  
Vol 29 (06) ◽  
pp. 783-809
Author(s):  
Jules Hedges ◽  
Mehrnoosh Sadrzadeh
Keyword(s):  
Natural Language ◽  
Vector Space ◽  
Generative Grammar ◽  
Distributional Semantics ◽  
Compositional Semantics ◽  
Finite Dimensional ◽  
Linear Maps ◽  
First Time ◽  
Quantifier Theory ◽  
Compositional Distributional Semantics

AbstractCategorical compositional distributional semantics is a model of natural language; it combines the statistical vector space models of words with the compositional models of grammar. We formalise in this model the generalised quantifier theory of natural language, due to Barwise and Cooper. The underlying setting is a compact closed category with bialgebras. We start from a generative grammar formalisation and develop an abstract categorical compositional semantics for it, and then instantiate the abstract setting to sets and relations and to finite-dimensional vector spaces and linear maps. We prove the equivalence of the relational instantiation to the truth theoretic semantics of generalised quantifiers. The vector space instantiation formalises the statistical usages of words and enables us to, for the first time, reason about quantified phrases and sentences compositionally in distributional semantics.

The Orbit-Stabilizer Problem for Linear Groups

1985 ◽  
Vol 37 (2) ◽  
pp. 238-259 ◽  
Author(s):  
John D. Dixon
Keyword(s):  
Vector Space ◽  
Linear Group ◽  
General Linear Group ◽  
General Linear ◽  
Linear Groups ◽  
Rational Field ◽  
Finite Set ◽  
Image Position ◽  
Orbit Problem

Let G be a subgroup of the general linear group GL(n, Q) over the rational field Q, and consider its action by right multiplication on the vector space Qn of n-tuples over Q. The present paper investigates the question of how we may constructively determine the orbits and stabilizers of this action for suitable classes of groups. We suppose that G is specified by a finite set {x1, …, xr) of generators, and investigate whether there exist algorithms to solve the two problems:(Orbit Problem) Given u, v ∊ Qn, does there exist x ∊ G such that ux = v; if so, find such an element x as a word in x1, …, xr and their inverses.(Stabilizer Problem) Given u, v ∊ Qn, describe all words in x1, …, xr and their inverses which lie in the stabilizer

Spinors in Hilbert space

1976 ◽  
Vol 80 (2) ◽  
pp. 337-347 ◽  
Author(s):  
R. J. Plymen
Keyword(s):  
Hilbert Space ◽  
Vector Space ◽  
Orthogonal Group ◽  
Double Cover ◽  
Projective Representation ◽  
Complex Vector Space ◽  
Complex Vector ◽  
True Representation ◽  
Dimension 2 ◽  
Image Position

In 1913, É. Cartan discovered that the special orthogonal groupSO(k) has a ‘two-valued’ representation (i.e. a projective representation) on a complex vector spaceSof dimension 2n, wherek= 2nor 2n+ 1. The projective representation in question lifts to a true representation of the double cover Spin (k) ofSO(k). We restrict attention to the casek= 2n. Under the action of Spin (2n),Sbreaks up into 2 irreducible subspaces:The vectors inSare calledspinors(relative toSO(2n)), those inS+orS−are calledhalf-spinors(4).

Solvable and Nilpotent Subgroups of GL(n,qm)

1982 ◽  
Vol 34 (5) ◽  
pp. 1097-1111 ◽  
Author(s):  
Thomas R. Wolf
Keyword(s):  
Finite Field ◽  
Vector Space ◽  
Solvable Subgroup ◽  
Linear Transformations ◽  
Completely Reducible ◽  
Image Position

Let V ≠ 0 be a vector space of dimension n over a finite field of order qm for a prime q. Of course, GL(n, qm) denotes the group of -linear transformations of V. With few exceptions, GL(n, qm) is non-solvable. How large can a solvable subgroup of GL(n, qm) be? The order of a Sylow-q-subgroup Q of GL(n, qm) is easily computed. But Q cannot act irreducibly nor completely reducibly on V.Suppose that G is a solvable, completely reducible subgroup of GL(n, qm). Huppert ([9], Satz 13, Satz 14) bounds the order of a Sylow-q-subgroup of G, and Dixon ([5], Corollary 1) improves Huppert's bound. Here, we show that |G| ≦ q3nm = |V|3. In fact, we show thatwhere

Sign in / Sign up

Export Citation Format

Share Document