We study theorems from Functional Analysis with regard to their relationship with various weak choice principles and prove several results about them: “Every infinite‐dimensional Banach space has a well‐orderable Hamel basis” is equivalent to ; “ can be well‐ordered” implies “no infinite‐dimensional Banach space has a Hamel basis of cardinality ”, thus the latter statement is true in every Fraenkel‐Mostowski model of ; “No infinite‐dimensional Banach space has a Hamel basis of (...) cardinality ” is not provable in ; “No infinite‐dimensional Banach space has a well‐orderable Hamel basis of cardinality ” is provable in ; (the Axiom of Choice for denumerable families of non‐empty finite sets) is equivalent to “no infinite‐dimensional Banach space has a Hamel basis which can be written as a denumerable union of finite sets”; Mazur's Lemma (“If X is an infinite‐dimensional Banach space, Y is a finite‐dimensional vector subspace of X, and, then there is a unit vector such that for all and all scalars α”) is provable in ; “A real normed vector space X is finite‐dimensional if and only if its closed unit ball is compact” is provable in ; (Principle of Dependent Choices) + “ can be well‐ordered” does not imply the Hahn‐Banach Theorem () in ; and “no infinite‐dimensional Banach space has a Hamel basis of cardinality ” are independent from each other in ; “No infinite‐dimensional Banach space can be written as a denumerable union of finite‐dimensional subspaces” lies in strength between (the Axiom of Countable Choice) and ; implies “No infinite‐dimensional Banach space can be written as a denumerable union of closed proper subspaces” which in turn implies ; “Every infinite‐dimensional Banach space has a denumerable linearly independent subset” is a theorem of, but not a theorem of ; and “Every infinite‐dimensional Banach space has a linearly independent subset of cardinality ” implies “every Dedekind‐finite set is finite”. (shrink)

In set theory without the Axiom of Choice ( $\mathsf {AC}$ ), we investigate the open problem of the deductive strength of statements which concern the existence of almost disjoint and maximal almost disjoint (MAD) families of infinite-dimensional subspaces of a given infinite-dimensional vector space, as well as the extension of almost disjoint families in infinite-dimensional vector spaces to MAD families.

Vector spaces over unspecified fields can be axiomatized as one-sorted structures, namely, abelian groups with the relation of parallelism. Parallelism is binary linear dependence. When equipped with the n-ary relation of linear dependence for some positive integer n, a vector-space is existentially closed if and only if it is n-dimensional over an algebraically closed field. In the signature with an n-ary predicate for linear dependence for each positive integer n, the theory of infinite-dimensional (...) class='Hi'>vector spaces over algebraically closed fields is the model-completion of the theory of vector spaces. (shrink)

Let $V_\propto$ be a fixed, fully effective, infinite dimensional vector space. Let $\mathscr{L}(V_\propto)$ be the lattice consisting of the recursively enumerable (r.e.) subspaces of $V_\propto$ , under the operations of intersection and weak sum (see § 1 for precise definitions). In this article we examine the algebraic properties of $\mathscr{L}(V_\propto)$ . Early research on recursively enumerable algebraic structures was done by Rabin [14], Frolich and Shepherdson [5], Dekker [3], Hamilton [7], and Guhl [6]. Our results are (...) based upon the more recent work concerning vector spaces of Metakides and Nerode [12], Crossley and Nerode [2], Remmel [15], [16], and Kalantari [8]. In the main theorem below, we extend a result of Lachlan from the lattice E of r.e. sets to $\mathscr{L}(V_\propto)$ . We define hyperhypersimple vector spaces, discuss some of their properties and show if $A, B \in \mathscr{L}(V_\propto)$ , and A is a hyperhypersimple subspace of B then there is a recursive space C such that A + C = B. It will be proven that if $V \in \mathscr{L}(V_\propto)$ and the lattice of superspaces of V is a complemented modular lattice then V is hyperhypersimple. The final section contains a summary of related results concerning maximality and simplicity. (shrink)

In this paper, we study the lower semilattice of NP-subspaces of both the standard polynomial time representation and the tally polynomial time representation of a countably infinite dimensional vector space V∞ over a finite field F. We show that for both the standard and tally representation of V∞, there exists polynomial time subspaces U and W such that U + V is not recursive. We also study the NP analogues of simple and maximal subspaces. We show (...) that the existence of P-simple and NP-maximal subspaces is oracle dependent in both the tally and standard representations of V∞. This contrasts with the case of sets, where the existence of NP-simple sets is oracle dependent but NP-maximal sets do not exist. We also extend many results of Nerode and Remmel concerning the relationship of P bases and NP-subspaces in the tally representation of V∞ to the standard representation of V∞. (shrink)

Let D be a division ring such that the number of conjugacy classes of the multiplicative group D ∗ is equal to the power of D ∗ . Suppose that H is the group GL or PGL, where V is a vector space of infinite dimension ϰ over D . We prove, in particular, that, uniformly in κ and D , the first-order theory of H is mutually syntactically interpretable with the theory of the two-sorted structure 〈κ,D〉 (...) in the second-order logic with quantification over arbitrary relations of power ⩽κ . A certain analogue of this results is proved for the groups ΓL and PΓL . These results imply criteria of elementary equivalence for infinite-dimensional classical groups of types H= ΓL , PΓL , GL, PGL over division rings, and solve, for these groups, a problem posed by U. Felgner. It follows from the criteria that if H≡H then κ 1 and κ 2 are second-order equivalent as sets. (shrink)

We extend the hierarchy of finite-dimensional Ellentuck spaces to infinite dimensions. Using uniform barriers [Formula: see text] on [Formula: see text] as the prototype structures, we construct a class of continuum many topological Ramsey spaces [Formula: see text] which are Ellentuck-like in nature, and form a linearly ordered hierarchy under projections. We prove new Ramsey-classification theorems for equivalence relations on fronts, and hence also on barriers, on the spaces [Formula: see text], extending the Pudlák–Rödl theorem for barriers on (...) the Ellentuck space. The inspiration for these spaces comes from continuing the iterative construction of the forcings [Formula: see text] to the countable transfinite. The [Formula: see text]-closed partial order [Formula: see text] is forcing equivalent to [Formula: see text], which forces a non-p-point ultrafilter [Formula: see text]. This work forms the basis for further work classifying the Rudin–Keisler and Tukey structures for the hierarchy of the generic ultrafilters [Formula: see text]. (shrink)

We classify the measures on the lattice ℒ of all closed subspaces of infinite-dimensional orthomodular spaces (E, Ψ) over fields of generalized power series with coefficients in ℝ. We prove that every σ-additive measure on ℒ can be obtained by lifting measures from the residual spaces of (E, Ψ). The measures being lifted are known, for the residual spaces are Euclidean. From the classification we deduce, among other things, that the set of all measures on ℒ is not (...) separating. (shrink)

The interpretation of propositions in Lukasiewicz's infinite-valued calculus as answers in Ulam's game with lies--the Boolean case corresponding to the traditional Twenty Questions game--gives added interest to the completeness theorem. The literature contains several different proofs, but they invariably require technical prerequisites from such areas as model-theory, algebraic geometry, or the theory of ordered groups. The aim of this paper is to provide a self-contained proof, only requiring the rudiments of algebra and convexity in finite-dimensional vector spaces.

We study the notion of weak one-basedness introduced in recent work of Berenstein and Vassiliev. Our main results are that this notion characterizes linearity in the setting of geometric þ-rank 1structures and that lovely pairs of weakly one-based geometric þ-rank 1 structures are weakly one-based with respect to þ-independence. We also study geometries arising from infinite-dimensional vector spaces over division rings.

We define qualia space Q to be the space of all possible conscious experience. For simplicity we restrict ourselves to perceptual experience only, though other kinds of experience could also be considered. Qualia space is a highly idealized concept that unifies the perceptual experience of all possible brains. We argue that Q is a closed pointed cone in an infinite-dimensional separable real topological vector space. This quite technical structure can be explained for the (...) most part in a simple, intuitive way. The structure of qualia space allows us to consider and even answer in a precise way such questions as: Is there a continuous path from the sensation of blue to the sensation of pain? Once we fix a desired accuracy of approximation, do there exist finitely many perceptual experiences such that any possible perceptual experience is approximately equal to one of them? What should be meant by ‘fundamentally different’ perceptual experiences? There is the possibility of additional structure, such as a Hilbert space structure on the vector space in which Q is embedded. (shrink)

We show that without assuming completeness or continuity, a strongly independent preorder on a possibly infinite dimensional convex set can always be given a vector-valued representation that naturally generalizes the standard expected utility representation. More precisely, it can be represented by a mixture-preserving function to a product of lexicographic function spaces.

We show that the first order theory of the lattice $\mathscr{L}^{ (S) of finite dimensional closed subsets of any nontrivial infinite dimensional Steinitz Exhange System S has logical complexity at least that of first order number theory and that the first order theory of the lattice L(S ∞ ) of computably enumerable closed subsets of any nontrivial infinite dimensional computable Steinitz Exchange System S ∞ has logical complexity exactly that of first order number theory. Thus, (...) for example, the lattice of finite dimensional subspaces of a standard copy of $\bigoplus_\omega$ Q interprets first order arithmetic and is therefore as complicated as possible. In particular, our results show that the first order theories of the lattice L(V ∞ ) of c.e. subspaces of a fully effective ℵ 0 -dimensional vector space V∞ and the lattice of c.e. algebraically closed subfields of a fully effective algebraically closed field F ∞ of countably infinite transcendence degree each have logical complexity that of first order number theory. (shrink)

This paper addresses the doubts voiced by Wigner about the physical relevance of the concept of geometrical points by exploiting some facts known to all but honored by none: Almost all real numbers are transcendental; the explicit representation of any one will require an infinite amount of physical resources. An instrument devised to measure a continuous real variable will need a continuum of internal states to achieve perfect resolution. Consequently, a laboratory instrument for measuring a continuous variable in a (...) finite time can report only a finite number of values, each of which is constrained to be a rational number. It does not matter whether the variable is classical or quantum-mechanical. Now, in von Neumann’s measurement theory (von Neumann, Mathematical Foundations of Quantum Mechanics, Princeton University Press, Princeton, [1955]), an operator A with a continuous spectrum—which has no eigenvectors—cannot be measured, but it can be approximated by operators with discrete spectra which are measurable. The measurable approximant F(A) is not canonically determined; it has to be chosen by the experimentalist. It is argued that this operator can always be chosen in such a way that Sewell’s results (Sewell in Rep. Math. Phys. 56: 271, [2005]; Sewell, Lecture given at the J.T. Lewis Memorial Conference, Dublin, [2005]) on the measurement of a hermitian operator on a finite-dimensional vector space (described in Sect. 3.2) constitute an adequate resolution of the measurement problem in this theory. From this follows our major conclusion, which is that the notion of a geometrical point is as meaningful in nonrelativistic quantum mechanics as it is in classical physics. It is necessary to be sensitive to the fact that there is a gap between theoretical and experimental physics, which reveals itself tellingly as an error inherent in the measurement of a continuous variable. (shrink)

We show that the axiom of choice AC is equivalent to the Vector Space Kinna-Wagner Principle, i.e., the assertion: “For every family [MATHEMATICAL SCRIPT CAPITAL V]= {Vi : i ∈ k} of non trivial vector spaces there is a family ℱ = {Fi : i ∈ k} such that for each i ∈ k, Fiis a non empty independent subset of Vi”. We also show that the statement “every vector space over ℚ has a basis” (...) implies that every infinite well ordered set of pairs has an infinite subset with a choice set, a fact which is known not to be a consequence of the axiom of multiple choice MC. (shrink)

We study the theory of K-vector spaces with a predicate for the union X of an infinite family of independent subspaces. We show that if K is infinite then the theory is complete and admits quantifier elimination in the language of K-vector spaces with predicates for the n-fold sums of X with itself. If K is finite this is no longer true, but we still have that a natural completion is near-model-complete.

Vector spaces over fields are pseudofinite, and this remains true for vector spaces over division rings that are finite-dimensional over their center. We also construct a division ring such that the nontrivial vector spaces over it are not pseudofinite, using Richard Thompson's group F. The idea behind the construction comes from a first-order axiomatization of the class of division rings all whose nontrivial vector spaces are pseudofinite.

Let M = 〈M, +, <, 0, {λ}λ∈D〉 be an ordered vector space over an ordered division ring D, and G = 〈G, ⊕, eG〉 an n-dimensional group definable in M. We show that if G is definably compact and definably connected with respect to the t-topology, then it is definably isomorphic to a 'definable quotient group' U/L, for some convex V-definable subgroup U of 〈Mⁿ, +〉 and a lattice L of rank n. As two consequences, we (...) derive Pillay's conjecture for a saturated M as above and we show that the o-minimal fundamental group of G is isomorphic to L. (shrink)

Vector spaces over fields are pseudofinite, and this remains true for vector spaces over division rings that are finite-dimensional over their center. We also construct a division ring such that the nontrivial vector spaces over it are not pseudofinite, using Richard Thompson's group F. The idea behind the construction comes from a first-order axiomatization of the class of division rings all whose nontrivial vector spaces are pseudofinite.

We consider maximal almost disjoint families of block subspaces of countable vector spaces, focusing on questions of their size and definability. We prove that the minimum infinite cardinality of such a family cannot be decided in ZFC and that the “spectrum” of cardinalities of mad families of subspaces can be made arbitrarily large, in analogy to results for mad families on ω. We apply the author’s local Ramsey theory for vector spaces [32] to give partial results concerning (...) their definability. (shrink)

A subspace V of an infinite dimensional fully effective vector space V ∞ is called decidable if V is r.e. and there exists an r.e. W such that $V \oplus W = V_\infty$ . These subspaces of V ∞ are natural analogues of recursive subsets of ω. The set of r.e. subspaces forms a lattice L(V ∞ ) and the set of decidable subspaces forms a lower semilattice S(V ∞ ). We analyse S(V ∞ ) and (...) its relationship with L(V ∞ ). We show: Proposition. Let U, V, W ∈ L(V ∞ ) where U is infinite dimensional and $U \oplus V = W$ . Then there exists a decidable subspace D such that U |oplus D = W. Corollary. Any r.e. subspace can be expressed as the direct sum of two decidable subspaces. These results allow us to show: Proposition. The first order theory of the lower semilattice of decidable subspaces, Th(S(V ∞ )), is undecidable. This contrasts sharply with the result for recursive sets. Finally we examine various generalizations of our results. In particular we analyse S * (V ∞ ), that is, S(V ∞ ) modulo finite dimensional subspaces. We show S * (V ∞ ) is not a lattice. (shrink)

§1. Introduction.The motivation of this work comes from two different directions: infinite abelian groups, and ordered algebraic structures. A challenging problem in both cases is that of classification. In the first case, it is known for example (cf. [KA]) that the classification of abelian torsion groups amounts to that of reducedp-groups by numerical invariants called theUlm invariants(given by Ulm in [U]). Ulm's theorem was later generalized by P. Hill to the class of totally projective groups. As to the second (...) case, let us consider for instance the class of divisible ordered abelian groups. These may be viewed as ordered ℚ-vector spaces. Their theory being unstable, we cannot hope to classify them by numerical invariants. On the other hand, being o-minimal, the theory enjoys several good model theoretic properties (cf. [P-S]), so the search for some reasonable invariants is well motivated. The common denominator of the two cases, as well as of many others, is valuation theory. Indeed given an ordered vector space, one can consider it as a valued vector space, endowed with the natural valuation. Also, the socleG[p] of a reduced abelianp-groupG, endowed with the height functionhG, is a valued vector space over(the prime field of characteristicp) with values in the ordinals (cf. [F]). (shrink)

In this paper, we use the differential forms of three-dimensional Euclidean space to realize a Clifford algebra which is isomorphic to the algebra of the Pauli matrices or the complex quaternions. This is an associative vector-antisymmetric tensor algebra with division: We provide the algebraic inverse of an eight-component spinor field which is the sum of a scalar + vector + pseudovector + pseudoscalar. A surface of singularities is defined naturally by the inverse of an eight-component spinor (...) and corresponds to a generalized Minkowski “double” light cone in the parameter space. A general description of finite spatial rotations, which utilizes the Baker-Campbell-Hausdorff formula, generalizes the usual infinitesimal treatments of the rotation group. We derive an explicit expression for the angle corresponding to two successive finite rotations in any direction. We also discuss Lorentz transformations and duality rotations of the electromagnetic field and exhibit a relationship between the algebraic inverse and a duality rotated field. Using a combined transformation, one can always transform an arbitrary electromagnetic field (E≠0) into a pure electric field, but never into a pure magnetic field. (shrink)

This paper proposes an extension of Chaitin's halting probability Ω to a measurement operator in an infinite dimensional quantum system. Chaitin's Ω is defined as the probability that the universal self-delimiting Turing machine U halts, and plays a central role in the development of algorithmic information theory. In the theory, there are two equivalent ways to define the program-size complexity H of a given finite binary string s. In the standard way, H is defined as the length of (...) the shortest input string for U to output s. In the other way, the so-called universal probability m is introduced first, and then H is defined as –log2m without reference to the concept of program-size.Mathematically, the statistics of outcomes in a quantum measurement are described by a positive operator-valued measure in the most general setting. Based on the theory of computability structures on a Banach space developed by Pour-El and Richards, we extend the universal probability to an analogue of POVM in an infinite dimensional quantum system, called a universal semi-POVM. We also give another characterization of Chaitin's Ω numbers by universal probabilities. Then, based on this characterization, we propose to define an extension of Ω as a sum of the POVM elements of a universal semi-POVM. The validity of this definition is discussed.In what follows, we introduce an operator version equation image of H in a Hilbert space of infinite dimension using a universal semi-POVM, and study its properties. (shrink)

Over the history of research on sign languages, much scholarship has highlighted the pervasive presence of signs whose forms relate to their meaning in a non-arbitrary way. The presence of these forms suggests that sign language vocabularies are shaped, at least in part, by a pressure toward maintaining a link between form and meaning in wordforms. We use a vector space approach to test the ways this pressure might shape sign language vocabularies, examining how non-arbitrary forms are distributed (...) within the lexicons of two unrelated sign languages. Vector space models situate the representations of words in a multi-dimensional space where the distance between words indexes their relatedness in meaning. Using phonological information from the vocabularies of American Sign Language and British Sign Language, we tested whether increased similarity between the semantic representations of signs corresponds to increased phonological similarity. The results of the computational analysis showed a significant positive relationship between phonological form and semantic meaning for both sign languages, which was strongest when the sign language lexicons were organized into clusters of semantically related signs. The analysis also revealed variation in the strength of patterns across the form-meaning relationships seen between phonological parameters within each sign language, as well as between the two languages. This shows that while the connection between form and meaning is not entirely language specific, there are cross-linguistic differences in how these mappings are realized for signs in each language, suggesting that arbitrariness as well as cognitive or cultural influences may play a role in how these patterns are realized. The results of this analysis not only contribute to our understanding of the distribution of non-arbitrariness in sign language lexicons, but also demonstrate a new way that computational modeling can be harnessed in lexicon-wide investigations of sign languages. (shrink)

The law of gravitational attraction is a window on three formal approaches to laws of nature based on Lorentz-invariance: Poincaré’s four-dimensional vector space (1906), Minkowski’s matrix calculus and spacetime geometry (1908), and Sommerfeld’s 4-vector algebra (1910). In virtue of a common appeal to 4-vectors for the characterization of gravitational attraction, these three contributions track the emergence and early development of four-dimensional physics.

This paper examines connections between concepts of space and extension on the one hand and immaterial spirits on the other, specifically the immanentist concept of spirits as present in rerum natura. Those holding an immanentist concept, such as Thomas Aquinas, typically understood spirits non-dimensionally as present by essence and power; and that concept was historically linked to holenmerism, the doctrine that the spirit is whole in every part. Yet as Aristotelian ideas about extension were challenged and an actual, (...) class='Hi'>infinite, dimensional space readmitted, a dimensionalist concept of spirit became possible—that asserted by the mature Henry More, as he repudiated holenmerism. Despite More’s intentions, his dimensionalist concept opens the door to materialism, for supposing that spirits have parts outside parts implies that those parts could in principle be mapped onto the parts of divisible bodies. The specter of materialism broadens our interest in More’s unconventional ideas, for the question of whether other early modern thinkers, including Isaac Newton, followed More becomes a question of whether they too unwittingly helped usher in materialism. This paper shows that More’s attack upon holenmerism fails. He illegitimately injects his dimensionalist concept of spirit into the doctrine, failing to recognize it as a consequence of the non-dimensionalist concept of spirit, which in itself secures indivisibility. The interpretive consequence for Newton is that there is no prima facie reason to suppose that the charitable interpretation takes him to deny holenmerism. (shrink)

The Schrödinger equation for a particle of rest mass $m$ and electrical charge $ne$ interacting with a four-vector potential $A_i$ can be derived as the non-relativistic limit of the Klein–Gordon equation $\left( \Box '+m^2\right) \varPsi =0$ for the wave function $\varPsi $ , where $\Box '=\eta ^{jk}\partial '_j\partial '_k$ and $\partial '_j=\partial _j -\mathrm {i}n e A_j$ , or equivalently from the one-dimensional action $S_1=-\int m ds +\int neA_i dx^i$ for the corresponding point particle in the semi-classical approximation (...) $\varPsi \sim \exp {(\mathrm {i}S_1)}$ , both methods yielding the equation $\mathrm {i}\partial _0\varPsi \approx \left( \frac{1}{2m}\eta ^{\alpha \beta }\partial '_{\alpha }\partial '_{\beta } + m + n e\phi \right) \varPsi $ in Minkowski space–time , where $\alpha ,\beta =1,2,3$ and $\phi =-A_0$ . We show that these two methods generally yield equations that differ in a curved background space–time $g_{ij}$ , although they coincide when $g_{0\alpha }=0$ if $m$ is replaced by the effective mass $\mathcal{M}\equiv \sqrt{m^2-\xi R}$ in both the Klein–Gordon action $S$ and $S_1$ , allowing for non-minimal coupling to the gravitational field, where $R$ is the Ricci scalar and $\xi $ is a constant. In this case $\mathrm {i}\partial _0\varPsi \approx \left( \frac{1}{2\mathcal{M}'} g^{\alpha \beta }\partial '_{\alpha }\partial '_{\beta } + \mathcal{M}\phi ^{(\mathrm g)} + n e\phi \right) \varPsi $ , where $\phi ^{(\mathrm g)} =\sqrt{g_{00}}$ and $\mathcal{M}'=\mathcal{M}/\phi ^{(\mathrm g)} $ , the correctness of the gravitational contribution to the potential having been verified to linear order $m\phi ^{(\mathrm g)} $ in the thermal-neutron beam interferometry experiment due to Colella et al. Setting $n=2$ and regarding $\varPsi $ as the quasi-particle wave function, or order parameter, we obtain the generalization of the fundamental macroscopic Ginzburg-Landau equation of superconductivity to curved space–time. Conservation of probability and electrical current requires both electromagnetic gauge and space–time coordinate conditions to be imposed, which exemplifies the gravito-electromagnetic analogy, particularly in the stationary case, when div ${{\varvec{A}}}=\hbox {div}{{\varvec{A}}}^{(\mathrm g)}=0$ , where ${{\varvec{A}}}^{\alpha }=-A^{\alpha }$ and ${{\varvec{A}}}^{(\mathrm g)\alpha }=-\phi ^{(\mathrm g)}g^{0\alpha }$ . The quantum-cosmological Schrödinger (Wheeler–DeWitt) equation is also discussed in the $\mathcal{D}$ -dimensional mini-superspace idealization, with particular regard to the vacuum potential $\mathcal V$ and the characteristics of the ground state, assuming a gravitational Lagrangian $L_\mathcal{D}$ which contains higher-derivative terms up to order $\mathcal{R}^4$ . For the heterotic superstring theory , $L_\mathcal{D}$ consists of an infinite series in $\alpha '\mathcal{R}$ , where $\alpha '$ is the Regge slope parameter, and in the perturbative approximation $\alpha '|\mathcal{R}| \ll 1$ , $\mathcal V$ is positive semi-definite for $\mathcal{D} \ge 4$ . The maximally symmetric ground state satisfying the field equations is Minkowski space for $3\le {\mathcal {D}}\le 7$ and anti-de Sitter space for $8 \le \mathcal {D} \le 10$. (shrink)

Although great progress in neuroanatomy and physiology has occurred lately, we still cannot go directly to those levels to discover the neural mechanisms of higher cognition and consciousness. But we can use neurocomputational methods based on these details to push this project forward. Here we describe vector subtraction as an operation that computes sequential paths through high-dimensional vector spaces. Vector-space interpretations of network activity patterns are a fruitful resource in recent computational neuroscience. Vector subtraction (...) also appears to be implemented neurally in primate frontal eye field activity, which computes dimensions of saccadic eye movements. We use this apparent neural implementation as a model and construct from it a general neurocomputational account of an important type of sequential cognitive and conscious process. We defend the biological plausibility of all components of the general model and show that it yields testable anatomical and physiological predictions. We close by suggesting some interesting consequences for consciousness if our model characterizes correctly the neural mechanisms producing a common type of episode in our conscious streams. (shrink)

We present an abstract social aggregation theorem. Society, and each individual, has a preorder that may be interpreted as expressing values or beliefs. The preorders are allowed to violate both completeness and continuity, and the population is allowed to be infinite. The preorders are only assumed to be represented by functions with values in partially ordered vector spaces, and whose product has convex range. This includes all preorders that satisfy strong independence. Any Pareto indifferent social preorder is then (...) shown to be represented by a linear transformation of the representations of the individual preorders. Further Pareto conditions on the social preorder correspond to positivity conditions on the transformation. When all the Pareto conditions hold and the population is finite, the social preorder is represented by a sum of individual preorder representations. We provide two applications. The first yields an extremely general version of Harsanyi's social aggregation theorem. The second generalizes a classic result about linear opinion pooling. (shrink)

In standard quantum mechanics, a state vector \ may belong to infinitely many different orthogonal bases, as soon as the dimension N of the Hilbert space is at least three. On the other hand, a complete physical observable A is associated with a N-dimensional orthogonal basis of eigenvectors. In an idealized case, measuring A again and again will give repeatedly the same result, with the same eigenvalue. Let us call this repeatable result a modality \, and the (...) corresponding eigenstate \. A question is then: does \ give a complete description of \? The answer is obviously no, since \ does not specify the full observable A that allowed us to obtain \; hence the physical description given by \ is incomplete, as claimed by Einstein, Podolsky and Rosen in their famous article in 1935. Here we want to spell out this provocative statement, and in particular to answer the questions: if \ is an incomplete description of \, what does it describe? is it possible to obtain a complete description, maybe algebraic? Our conclusion is that the incompleteness of standard QM is due to its attempt to describe systems without contexts, whereas both are always required, even if they can be separated outside the measurement periods. (shrink)

In this talk I will introduce two spaces: the first space is the usual n-dimensional vector space with the unusual feature that n is a non-integer; the second space is composed of the linear matrices acting on the previous space (physicists are particularly interested in studying the limit as n goes to zero). These two spaces are not known to most mathematicians, but they are widely used by physicists. It is possible that, by extending (...) the notion of space, they can become well defined mathematical objects. (shrink)

We argue that, under certain plausible assumptions, de Sitter space settles into a quiescent vacuum in which there are no dynamical quantum fluctuations. Such fluctuations require either an evolving microstate, or time-dependent histories of out-of-equilibrium recording devices, which we argue are absent in stationary states. For a massive scalar field in a fixed de Sitter background, the cosmic no-hair theorem implies that the state of the patch approaches the vacuum, where there are no fluctuations. We argue that an analogous (...) conclusion holds whenever a patch of de Sitter is embedded in a larger theory with an infinite-dimensional Hilbert space, including semiclassical quantum gravity with false vacua or complementarity in theories with at least one Minkowski vacuum. This reasoning provides an escape from the Boltzmann brain problem in such theories. It also implies that vacuum states do not uptunnel to higher-energy vacua and that perturbations do not decohere while slow-roll inflation occurs, suggesting that eternal inflation is much less common than often supposed. On the other hand, if a de Sitter patch is a closed system with a finite-dimensional Hilbert space, there will be Poincaré recurrences and dynamical Boltzmann fluctuations into lower-entropy states. Our analysis does not alter the conventional understanding of the origin of density fluctuations from primordial inflation, since reheating naturally generates a high-entropy environment and leads to decoherence, nor does it affect the existence of non-dynamical vacuum fluctuations such as those that give rise to the Casimir effect. (shrink)

Edelman suggests that any shape is encoded by an excitation vector with components corresponding to excitations of corresponding neuronal modules. This results in discrimination of stimuli in a shape space of low dimensionality. Similar vector encoding is present in color vision. Red-green, blue-yellow, bright and dark neurons are modules that represent a number of different color stimuli in color space of low dimensionality. Vector encoding allows effective computation of color differences and color similarities. Such a (...) neuronal vector-encoding approach has also been applied to the perception of visual movement, line orientation, and stereopsis. (shrink)

Excerpt from Vector Analysis and the Theory of Relativity One of the most striking effects of the publication of Einstein's papers on generalized relativity and of the discussions which arose in connection with the subsequent astronomical observations was to make students of physics renew their study of mathematics. At first they attempted to learn simply the technique, but soon there was a demand to understand more; real mathematical insight was sought. Unfortunately there were no books available, not even papers. (...) Dr. Murnaghan's little book is a most successful attempt to supply what is a definite need. Every physicist can read it with profit. He will learn the meaning of a vector for the first time. He will learn methods which are available for every field of mathematical physics. He will see which of the processes used by Einstein and others are strictly mathematical and which are physical. Every chapter is illuminating, and the treatment of the subject is that of a student of mathematics and is not developed ad hoc. The extension of surface and line integrals is most interesting for physicists and the discussion of the space relations in a four-dimensional geometry is one most needed. This is specially true concerning the case of point-symmetry which forms the basis of Einstein's formulae for gravitation as applied to the solar system. I feel personally that I owe to this book a great debt. I have read it with care and shall read it again. It has given me a definiteness of understanding which I never had before, and a vision of a field of knowledge which before was remote. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works. (shrink)

Let H be an infinite-dimensional (real or complex) Hilbert space, viewed as a metric structure in its natural signature. We characterize the definable linear operators on H as exactly the "scalar plus compact" operators.

Starting with a quantum logic (a σ-orthomodular poset) L. a set of probabilistically motivated axioms is suggested to identify L with a standard quantum logic L(H) of all closed linear subspaces of a complex, separable, infinite-dimensional Hilbert space.

I BEGIN WITH A PUZZLE of sorts. Time is one; space is two—at least two. Time comes always already unified, one time. Thus we say “What time is it now?” and not “Which time is it now?” We do not ask, “What space is it?” Yet we might ask: “Which space are we in?”. Any supposed symmetry of time and space is skewed from the start. If time is self-consolidating—constantly gathering itself together in coherent units such (...) as years or hours or semesters or seasons— space is self-proliferating. Take, for example, the dimensionality of space. One dimension in space is represented by a point or a line, whose radically reduced format mocks the extensiveness of cosmic space. Two dimensions, as in a plane figure, also falls far short of our sense that space spreads out indefinitely far beyond the perceiving subject. Only with three dimensions do we begin to approach an adequation between the structure and the sense of space. For then the subject is surrounded by something sufficiently roomy in which to live and move. Indeed, as Aristotle, Kant, and Merleau-Ponty all remark, the three-dimensionality of space directly reflects our bodily state, that is, the fact that as upright beings three perpendicular planes implicitly meet and intersect in us. Even here, proliferation abounds: our bilateral symmetry means that each dimension is doubled: one vertical plane bifurcates into “up” and “down,” the other vertical plane into “front” and “back,” and the horizontal plane into “right” and “left.” Thus subject-centered space is triple, only to be redoubled. Further, if we think of spatiality not as body-based but as locatory—as determined by landmarks and other locales in the environment—the proliferation is more striking still. There are the four cardinal directions, which themselves split easily into the thirty two points of a compass. Nor need we be so arithmetically well-rounded. Even apart from fancy mathematical models of n –dimensional space, and recent technological instantiations of virtual space, there is no end to the number or ways in which we can be oriented in space—in accordance with what Deleuze and Guattari call “the variability, the polyvocity of directions” by which we can move in any given spatial scene. Beyond direction, however, is place. Heidegger remarks that “space has been split up into places.” The fact is that we continually find ourselves immersed in a multiplex spatial network whose nodal points are supplied by particular places. If space is infinitely large, place is indefinitely many. (shrink)

I BEGIN WITH A PUZZLE of sorts. Time is one; space is two—at least two. Time comes always already unified, one time. Thus we say “What time is it now?” and not “Which time is it now?” We do not ask, “What space is it?” Yet we might ask: “Which space are we in?”. Any supposed symmetry of time and space is skewed from the start. If time is self-consolidating—constantly gathering itself together in coherent units such (...) as years or hours or semesters or seasons— space is self-proliferating. Take, for example, the dimensionality of space. One dimension in space is represented by a point or a line, whose radically reduced format mocks the extensiveness of cosmic space. Two dimensions, as in a plane figure, also falls far short of our sense that space spreads out indefinitely far beyond the perceiving subject. Only with three dimensions do we begin to approach an adequation between the structure and the sense of space. For then the subject is surrounded by something sufficiently roomy in which to live and move. Indeed, as Aristotle, Kant, and Merleau-Ponty all remark, the three-dimensionality of space directly reflects our bodily state, that is, the fact that as upright beings three perpendicular planes implicitly meet and intersect in us. Even here, proliferation abounds: our bilateral symmetry means that each dimension is doubled: one vertical plane bifurcates into “up” and “down,” the other vertical plane into “front” and “back,” and the horizontal plane into “right” and “left.” Thus subject-centered space is triple, only to be redoubled. Further, if we think of spatiality not as body-based but as locatory—as determined by landmarks and other locales in the environment—the proliferation is more striking still. There are the four cardinal directions, which themselves split easily into the thirty two points of a compass. Nor need we be so arithmetically well-rounded. Even apart from fancy mathematical models of n –dimensional space, and recent technological instantiations of virtual space, there is no end to the number or ways in which we can be oriented in space—in accordance with what Deleuze and Guattari call “the variability, the polyvocity of directions” by which we can move in any given spatial scene. Beyond direction, however, is place. Heidegger remarks that “space has been split up into places.” The fact is that we continually find ourselves immersed in a multiplex spatial network whose nodal points are supplied by particular places. If space is infinitely large, place is indefinitely many. (shrink)

A simultaneous collision that produces paradoxical indeterminism (involving N0 hypothetical particles in a classical three-dimensional Euclidean space) is described in Section 2. By showing that a similar paradox occurs with long-range forces between hypothetical particles, in Section 3, the underlying cause is seen to be that collections of such objects are assumed to have no intrinsic ordering. The resolution of allowing only finite numbers of particles is defended (as being the least ad hoc) by looking at both -sequences (...) (in the context of a very basic supertask, in Section 4) and *-sequences (reversed -sequences, in the form of paradoxical results from the recent literature). Introduction The simultaneous collision The paradox in other contexts The basic problem is N0 things The recent literature Generating N0 things. (shrink)

Diminishing awareness is a consequence of the information explosion: disciplines are becoming increasingly specialized; individuals and groups are becoming ever more insular. This paper considers how awareness can be enhanced via abductive knowledge discovery the goal of which is to produce suggestions which can span disparate islands of knowledge. Knowledge representation is motivated from a cognitive perspective. Words and concepts are represented as vectors in a high dimensional semantic space automatically derived from a text corpus. Information flow computation (...) between vectors is proposed as a means of suggesting potentially interesting implicit associations between concepts. Information flow is applied to computational scientific discovery by attempting to simulate Swanson's Raynaud-fish oil discovery in medical texts. Both automatic and semi-automatic attempts were studied and compared against suggestions computed via semantic association. Even though this work is preliminary and speculative in nature, there is some justification to believe that appropriate suggestions can be “abduced” from semantic space. (shrink)

Coordinate form of tensor algebra on an abstract (infinite-dimensional) Hilbert space is presented. The developed formalism permits one to naturally include the improper states in the apparatus of quantum theory. In the formalism the observables are represented by the self-adjoint extensions of Hermitian operators. The unitary operators become linear isometries. The unitary evolution and the non-unitary collapse processes are interpreted as isometric functional transformations. Several experiments are analyzed in the new context.

The Riemannian manifold structure of the classical (i.e., Einsteinian) space-time is derived from the structure of an abstract infinite-dimensional separable Hilbert space S. For this S is first realized as a Hilbert space H of functions of abstract parameters. The space H is associated with the space of states of a macroscopic test-particle in the universe. The spatial localization of state of the particle through its interaction with the environment is associated with the (...) selection of a submanifold M of realization H. The submanifold M is then identified with the classical space (i.e., a space–like hypersurface in space-time). The mathematical formalism is developed which allows recovering of the usual Riemannian geometry on the classical space and, more generally, on space and time from the Hilbert structure on S. The specific functional realizations of S are capable of generating spacetimes of different geometry and topology. Variation of the length-type action functional on S is shown to produce both the equation of geodesics on M for macroscopic particles and the Schrödinger equation for microscopic particles. (shrink)

The universality, invariance, and elegance of principles governing the universe may be reflected in principles of the minds that have evolved in that universe – provided that the mental principles are formulated with respect to the abstract spaces appropriate for the representation of biologically significant objects and their properties. (1) Positions and motions of objects conserve their shapes in the geometrically fullest and simplest way when represented as points and connecting geodesic paths in the six-dimensional manifold jointly determined by (...) the Euclidean group of three-dimensional space and the symmetry group of each object. (2) Colors of objects attain constancy when represented as points in a three-dimensional vector space in which each variation in natural illumination is canceled by application of its inverse from the three-dimensional linear group of terrestrial transformations of the invariant solar source. (3) Kinds of objects support optimal generalization and categorization when represented, in an evolutionarily-shaped space of possible objects, as connected regions with associated weights determined by Bayesian revision of maximum-entropy priors. Key Words: apparent motion; Bayesian inference; cognition; color constancy; generalization; mental rotation; perception; psychological laws; psychological space; universal laws. (shrink)

We demonstrate that the key components of cognitive architectures (declarative and procedural memory) and their key capabilities (learning, memory retrieval, probability judgment, and utility estimation) can be implemented as algebraic operations on vectors and tensors in a high‐dimensional space using a distributional semantics model. High‐dimensional vector spaces underlie the success of modern machine learning techniques based on deep learning. However, while neural networks have an impressive ability to process data to find patterns, they do not typically (...) model high‐level cognition, and it is often unclear how they work. Symbolic cognitive architectures can capture the complexities of high‐level cognition and provide human‐readable, explainable models, but scale poorly to naturalistic, non‐symbolic, or big data. Vector‐symbolic architectures, where symbols are represented as vectors, bridge the gap between the two approaches. We posit that cognitive architectures, if implemented in a vector‐space model, represent a useful, explanatory model of the internal representations of otherwise opaque neural architectures. Our proposed model, Holographic Declarative Memory (HDM), is a vector‐space model based on distributional semantics. HDM accounts for primacy and recency effects in free recall, the fan effect in recognition, probability judgments, and human performance on an iterated decision task. HDM provides a flexible, scalable alternative to symbolic cognitive architectures at a level of description that bridges symbolic, quantum, and neural models of cognition. (shrink)