Phase diagram of J1-J2 transverse field Ising model on the checkerboard lattice: a plaquette-operator approach

We study the effect of quantum fluctuations by means of a transverse magnetic field ($\Gamma$) on the antiferromagnetic $J_1-J_2$ Ising model on the checkerboard lattice, the two dimensional version of the pyrochlore lattice. The zero-temperature phase diagram of the model has been obtained by employing a plaquette operator approach (POA). The plaquette operator formalism bosonizes the model, in which a single boson is associated to each eigenstate of a plaquette and the inter-plaquette interactions define an effective Hamiltonian. The excitations of a plaquette would represent an-harmonic fluctuations of the model, which lead not only to lower the excitation energy compared with a single-spin flip but also to lift the extensive degeneracy in favor of a plaquette ordered solid (RPS) state, which breaks lattice translational symmetry, in addition to a unique collinear phase for $J_2>J_1$. The bosonic excitation gap vanishes at the critical points to the N\'{e}el ($J_2 < J_1$) and collinear ($J_2 > J_1$) ordered phases, which defines the critical phase boundaries. At the homogeneous coupling ($J_2=J_1$) and its close neighborhood, the (canted) RPS state, established from an-harmonic fluctuations, lasts for low fields, $\Gamma/J_1\lesssim 0.3$, which is followed by a transition to the quantum paramagnet (polarized) phase at high fields. The transition from RPS state to the N\'{e}el phase is either a deconfined quantum phase transition or a first order one, however a continuous transition occurs between RPS and collinear phases.Comment: To appear in EPJB, 12 pages, 15 figures, 1 tabl

Open System Categorical Quantum Semantics in Natural Language Processing

Originally inspired by categorical quantum mechanics (Abramsky and Coecke, LiCS'04), the categorical compositional distributional model of natural language meaning of Coecke, Sadrzadeh and Clark provides a conceptually motivated procedure to compute the meaning of a sentence, given its grammatical structure within a Lambek pregroup and a vectorial representation of the meaning of its parts. The predictions of this first model have outperformed that of other models in mainstream empirical language processing tasks on large scale data. Moreover, just like CQM allows for varying the model in which we interpret quantum axioms, one can also vary the model in which we interpret word meaning. In this paper we show that further developments in categorical quantum mechanics are relevant to natural language processing too. Firstly, Selinger's CPM-construction allows for explicitly taking into account lexical ambiguity and distinguishing between the two inherently different notions of homonymy and polysemy. In terms of the model in which we interpret word meaning, this means a passage from the vector space model to density matrices. Despite this change of model, standard empirical methods for comparing meanings can be easily adopted, which we demonstrate by a small-scale experiment on real-world data. This experiment moreover provides preliminary evidence of the validity of our proposed new model for word meaning. Secondly, commutative classical structures as well as their non-commutative counterparts that arise in the image of the CPM-construction allow for encoding relative pronouns, verbs and adjectives, and finally, iteration of the CPM-construction, something that has no counterpart in the quantum realm, enables one to accommodate both entailment and ambiguity

The Use of English Colour Terms in Big Data

This study explores the use of English colour names in large datasets from informal Twitter messages and the well-structured corpus of Google Books. Because colour names in text have no directly associated chromatic stimuli, the corresponding colour categories of colour words was assessed from responses in an online colour naming experiment. A comparison of the frequency in the three datasets revealed that the mapping of colour names to perceptually uniform colour spaces does not reflect natural language colour distributions

Consistency of Kaluza-Klein Sphere Reductions of Symmetric Potentials

In a recent paper, the complete (non-linear) Kaluza-Klein Ansatz for theconsistent embedding of certain scalar plus gravity subsectors of gaugedmaximal supergravity in D=4, 5 and 7 was presented, in terms of spherereductions from D=11 or type IIB supergravity. The scalar fields included inthe truncations were the diagonal fields in the SL(N,R)/SO(N) scalarsubmanifolds of the full scalar sectors of the corresponding maximalsupergravities, with N=8, 6 and 5. The embeddings were used for obtaining aninterpretation of extremal D=4, 5 or 7 AdS domain walls in terms of distributedM-branes or D-branes in the higher dimensions. Although strong supportingevidence for the correctness of the embedding Ansatze was presented, a fullproof of the consistency was not given. Here, we complete the proof, by showingexplicitly that the full set of higher-dimensional equations of motion aresatisfied if and only if the lower-dimensional fields satisfy the relevantscalar plus gravity equations

S3S^{3} and S4S^{4} Reductions of Type IIA Supergravity

We construct a consistent reduction of type IIA supergravity on S^3, leading to a maximal gauged supergravity in seven dimensions with the full set of massless SO(4) Yang-Mills fields. We do this by starting with the known S^4 reduction of eleven-dimensional supergravity, and showing that it is possible to take a singular limit of the resulting standard SO(5)-gauged maximal supergravity in seven dimensions, whose eleven-dimensional interpretation involves taking a limit where the internal 4-sphere degenerates to RxS^3. This allows us to reinterpret the limiting SO(4)-gauged theory in seven dimensions as the S^3 reduction of type IIA supergravity. We also obtain the consistent S^4 reduction of type IIA supergravity, which gives an SO(5)-gauged maximal supergravity in D=6

Timelike Hopf Duality and Type IIA^* String Solutions

The usual T-duality that relates the type IIA and IIB theories compactified on circles of inversely-related radii does not operate if the dimensional reduction is performed on the time direction rather than a spatial one. This observation led to the recent proposal that there might exist two further ten-dimensional theories, namely type IIA^* and type IIB^*, related to type IIB and type IIA respectively by a timelike dimensional reduction. In this paper we explore such dimensional reductions in cases where time is the coordinate of a non-trivial U(1) fibre bundle. We focus in particular on situations where there is an odd-dimensional anti-de Sitter spacetime AdS_{2n+1}, which can be described as a U(1) bundle over \widetilde{CP}^n, a non-compact version of CP^n corresponding to the coset manifold SU(n,1)/U(n). In particular, we study the AdS_5\times S^5 and AdS_7\times S^4 solutions of type IIB supergravity and eleven-dimensional supergravity. Applying a timelike Hopf T-duality transformation to the former provides a new solution of the type IIA^* theory, of the form \widetilde{CP}^2\times S^1\times S^5. We show how the Hopf-reduced solutions provide further examples of ``supersymmetry without supersymmetry.'' We also present a detailed discussion of the geometrical structure of the Hopf-fibred metric on AdS_{2n+1}, and its relation to the horospherical metric that arises in the AdS/CFT correspondence.Comment: Latex, 26 page

Consistent SO(6) Reduction Of Type IIB Supergravity on S^5

Type IIB supergravity can be consistently truncated to the metric and the self-dual 5-form. We obtain the complete non-linear Kaluza-Klein S^5 reduction Ansatz for this theory, giving rise to gravity coupled to the fifteen Yang-Mills gauge fields of SO(6) and the twenty scalars of the coset SL(6,R)/SO(6). This provides a consistent embedding of this subsector of N=8, D=5 gauged supergravity in type IIB in D=10. We demonstrate that the self-duality of the 5-form plays a crucial role in the consistency of the reduction. We also discuss certain necessary conditions for a theory of gravity and an antisymmetric tensor in an arbitrary dimension D to admit a consistent sphere reduction, keeping all the massless fields. We find that it is only possible for D=11, with a 4-form field, and D=10, with a 5-form. Furthermore, in D=11 the full bosonic structure of eleven-dimensional supergravity is required, while in D=10 the 5-form must be self-dual. It is remarkable that just from the consistency requirement alone one would discover D=11 and type IIB supergravities, and that D=11 is an upper bound on the dimension.Comment: Latex, 14 pages, typos corrected and comments adde

Classical Copying versus Quantum Entanglement in Natural Language: The Case of VP-ellipsis

In Proceedings CAPNS 2018, arXiv:1811.02701In Proceedings CAPNS 2018, arXiv:1811.0270

A Generalised Quantifier Theory of Natural Language in Categorical Compositional Distributional Semantics with Bialgebras

Categorical 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, 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 Causal Structure of Semantic Ambiguities

Ambiguity is a natural language phenomenon occurring at different levels of syntax, semantics, and pragmatics. It is widely studied; in Psycholinguistics, for instance, we have a variety of competing studies for the human disambiguation processes. These studies are empirical and based on eye-tracking measurements. Here we take first steps towards formalizing these processes for semantic ambiguities where we identified the presence of two features: (1) joint plausibility degrees of different possible interpretations, (2) causal structures according to which certain words play a more substantial role in the processes. The novel sheaf-theoretic model of definite causality developed by Gogioso and Pinzani in QPL 2021 offers tools to model and reason about these features. We applied this theory to a dataset of ambiguous phrases extracted from Psycholinguistics literature and their human plausibility judgements collected by us using the Amazon Mechanical Turk engine. We measured the causal fractions of different disambiguation orders within the phrases and discovered two prominent orders: from subject to verb in the subject-verb and from object to verb in the verb object phrases. We also found evidence for delay in the disambiguation of polysemous vs homonymous verbs, again compatible with Psycholinguistic findings