English
Related papers

Related papers: Geometric representations for minimalist grammars

200 papers

We consider the structure of algebra of operators, acting in $n-$fold tensor product space, which are partially transposed on the last term. Using purely algebraical methods we show that this algebra is semi-simple and then, considering its…

Quantum Physics · Physics 2015-06-16 Marek Mozrzymas , Michał Horodecki , Michał Studziński

Alignments, i.e., position-wise comparisons of two or more strings or ordered lists are of utmost practical importance in computational biology and a host of other fields, including historical linguistics and emerging areas of research in…

Combinatorics · Mathematics 2018-10-19 Sarah J. Berkemer , Christian Höner zu Siederdissen , Peter F. Stadler

The emergence of a variety of graph-based meaning representations (MRs) has sparked an important conversation about how to adequately represent semantic structure. These MRs exhibit structural differences that reflect different theoretical…

Computation and Language · Computer Science 2020-05-01 Lucia Donatelli , Jonas Groschwitz , Alexander Koller , Matthias Lindemann , Pia Weißenhorn

In this work, we leverage the linear algebraic structure of distributed word representations to automatically extend knowledge bases and allow a machine to learn new facts about the world. Our goal is to extract structured facts from…

Computation and Language · Computer Science 2015-11-24 Lisa Seung-Yeon Lee

This paper attempts a more formal approach to the legibility of text based programming languages, presenting, with proof, minimum possible ways of representing structure in text interleaved with information. This presumes that a minimalist…

Programming Languages · Computer Science 2017-06-06 Brenton Chapin

Procedural material graphs are a compact, parameteric, and resolution-independent representation that are a popular choice for material authoring. However, designing procedural materials requires significant expertise and publicly…

Graphics · Computer Science 2022-08-16 Paul Guerrero , Miloš Hašan , Kalyan Sunkavalli , Radomír Měch , Tamy Boubekeur , Niloy J. Mitra

We give canonical forms of selfadjoint and isometric operators on a complex vector space $U$ with scalar product given by a positive semidefinite Hermitian form, and of Hermitian forms on $U$. For an arbitrary system of semiunitary spaces…

Representation Theory · Mathematics 2020-12-29 Victor A. Bovdi , Tetiana Klymchuk , Tetiana Rybalkina , Mohamed A. Salim , Vladimir V. Sergeichuk

This paper studies the following question: given a piecewise-linear function, find its minimal algebraic representation as a tropical rational signomial. We put forward two different notions of minimality, one based on monomial length, the…

Combinatorics · Mathematics 2024-07-24 Ngoc Mai Tran , Jidong Wang

Word-representable graphs, which are the same as semi-transitively orientable graphs, generalize several fundamental classes of graphs. In this paper we propose a novel approach to study word-representability of graphs using a technique of…

Combinatorics · Mathematics 2023-12-19 Sumin Huang , Sergey Kitaev , Artem Pyatkin

This paper proves a homomorphism between extensional formal semantics and distributional vector space semantics, demonstrating structural compatibility. Formal semantics models meaning as reference, using logical structures to map…

Logic · Mathematics 2026-01-01 Daniel Quigley

This paper describes a computational framework for a grammar architecture in which different linguistic domains such as morphology, syntax, and semantics are treated not as separate components but compositional domains. Word and phrase…

cmp-lg · Computer Science 2008-02-03 Cem Bozsahin , Elvan Gocmen

Linearity and ramification constraints have been widely used to weaken higher-order (primitive) recursion in such a way that the class of representable functions equals the class of polytime functions. We show that fine-tuning these two…

Logic in Computer Science · Computer Science 2009-09-29 U. Dal Lago

An important problem in geometric reasoning is to find the configuration of a collection of geometric bodies so as to satisfy a set of given constraints. Recently, it has been suggested that this problem can be solved efficiently by…

Artificial Intelligence · Computer Science 2009-09-25 S. Bhansali , G. A. Kramer , T. J. Hoar

Recent research in computational linguistics has developed algorithms which associate matrices with adjectives and verbs, based on the distribution of words in a corpus of text. These matrices are linear operators on a vector space of…

Computation and Language · Computer Science 2017-03-31 Dimitrios Kartsaklis , Sanjaye Ramgoolam , Mehrnoosh Sadrzadeh

Recent research in molecular discovery has primarily been devoted to small, drug-like molecules, leaving many similarly important applications in material design without adequate technology. These applications often rely on more complex…

Graphical (Linear) Algebra is a family of diagrammatic languages allowing to reason about different kinds of subsets of vector spaces compositionally. It has been used to model various application domains, from signal-flow graphs to Petri…

Logic in Computer Science · Computer Science 2021-11-09 Guillaume Boisseau , Robin Piedeleu

Hereunder we continue the study of the representation theory of the algebra of permutation operators acting on the $n$-fold tensor product space, partially transposed on the last subsystem. We develop the concept of partially reduced…

Quantum Physics · Physics 2018-03-14 Marek Mozrzymas , Michał Studziński , Michał Horodecki

Geometric aspects play an important role in the construction and analysis of structure-preserving numerical methods for a wide variety of ordinary and partial differential equations. Here we review the development and theory of symplectic…

Numerical Analysis · Mathematics 2017-10-12 Ludwig Gauckler , Ernst Hairer , Christian Lubich

We consider tensor grammars, which are an example of \commutative" grammars, based on the classical (rather than intuitionistic) linear logic. They can be seen as a surface representation of abstract categorial grammars ACG in the sense…

Logic · Mathematics 2021-11-22 Sergey Slavnov

Recent methods for learning vector space representations of words have succeeded in capturing fine-grained semantic and syntactic regularities using vector arithmetic. However, these vector space representations (created through large-scale…

Computation and Language · Computer Science 2016-05-17 Martin Andrews