English
Related papers

Related papers: Embeddings between partial combinatory algebras

200 papers

An embedding is a function that maps entities from one algebraic structure into another while preserving certain characteristics. Embeddings are being used successfully for mapping relational data or text into vector spaces where they can…

Artificial Intelligence · Computer Science 2019-02-28 Maxat Kulmanov , Wang Liu-Wei , Yuan Yan , Robert Hoehndorf

In this note we give two examples of partially commutative subgroups of partially commutative groups. Our examples are counterexamples to the Extension Graph Conjecture and to the Weakly Chordal Conjecture of Kim and Koberda, \cite{KK}. On…

Group Theory · Mathematics 2013-06-14 Montserrat Casals-Ruiz , Andrew Duncan , Ilya Kazachkov

We investigate a class of combinatory algebras, called ribbon combinatory algebras, in which we can interpret both the braided untyped linear lambda calculus and framed oriented tangles. Any reflexive object in a ribbon category gives rise…

Logic in Computer Science · Computer Science 2024-05-17 Masahito Hasegawa , Serge Lechenne

Kleene algebras (KA) and Kleene algebras with tests (KAT) provide an algebraic framework to capture the behavior of conventional programming constructs. This paper explores a broader understanding of these structures, in order to enable the…

Logic in Computer Science · Computer Science 2025-06-09 Juliana Cunha , Alexandre Madeira , Luís S. Barbosa

We consider relationships between cubic algebras and implication algebras. We first exhibit a functorial construction of a cubic algebra from an implication algebra. Then we consider an collapse of a cubic algebra to an implication algebra…

Combinatorics · Mathematics 2009-02-05 Colin Bailey , Joseph Oliveira

Machine learning often aims to produce latent embeddings of inputs which lie in a larger, abstract mathematical space. For example, in the field of 3D modeling, subsets of Euclidean space can be embedded as vectors using implicit neural…

Machine Learning · Computer Science 2024-05-28 Samuel Pfrommer , Brendon G. Anderson , Somayeh Sojoudi

Embeddings provide low-dimensional representations that organize complex function spaces and support generalization. They provide a geometric representation that supports efficient retrieval, comparison, and generalization. In this work we…

Analysis of PDEs · Mathematics 2026-03-10 Pedro Tarancón-Álvarez , Leonid Sarieddine , Pavlos Protopapas , Raul Jimenez

Given a minuscule representation of a simple Lie algebra, we find an algebraic model for the action of a regular element and show that these models can be glued together over the adjoint quotient, viewed as the set of all regular conjugacy…

Algebraic Geometry · Mathematics 2007-05-23 Robert Friedman , John W. Morgan

While several feature embedding models have been developed in the literature, comparisons of these embeddings have largely focused on their numerical performance in classification-related downstream applications. However, an interpretable…

Machine Learning · Computer Science 2025-08-19 Mohammad Jalali , Bahar Dibaei Nia , Farzan Farnia

Embeddings are a fundamental component of many modern machine learning and natural language processing models. Understanding them and visualizing them is essential for gathering insights about the information they capture and the behavior…

Computation and Language · Computer Science 2019-05-30 Piero Molino , Yang Wang , Jiawei Zhang

There has been an intense recent activity in embedding of very high dimensional and nonlinear data structures, much of it in the data science and machine learning literature. We survey this activity in four parts. In the first part we cover…

Machine Learning · Statistics 2022-09-01 Dag Tjøstheim , Martin Jullum , Anders Løland

Word embeddings have been found to capture a surprisingly rich amount of syntactic and semantic knowledge. However, it is not yet sufficiently well-understood how the relational knowledge that is implicitly encoded in word embeddings can be…

Artificial Intelligence · Computer Science 2017-08-22 Zied Bouraoui , Shoaib Jameel , Steven Schockaert

An arrangement of pseudocircles is a finite set of oriented closed Jordan curves each two of which cross each other in exactly two points. To describe the combinatorial structure of arrangements on closed orientable surfaces, in (Linhart,…

Combinatorics · Mathematics 2007-05-23 Ronald Ortner

A quantitative model of concurrent interaction is introduced. The basic objects are linear combinations of partial order relations, acted upon by a group of permutations that represents potential non-determinism in synchronisation. This…

Logic in Computer Science · Computer Science 2011-07-08 Emmanuel Beffara

Locally Linear Embedding (LLE) is a nonlinear spectral dimensionality reduction and manifold learning method. It has two main steps which are linear reconstruction and linear embedding of points in the input space and embedding space,…

Machine Learning · Statistics 2022-09-13 Benyamin Ghojogh , Ali Ghodsi , Fakhri Karray , Mark Crowley

For any cluster algebra whose underlying combinatorial data can be encoded by a bordered surface with marked points, we construct a geometric realization in terms of suitable decorated Teichmueller space of the surface. On the geometric…

Geometric Topology · Mathematics 2018-09-05 Sergey Fomin , Dylan Thurston

A criterion for determining exactly when an order of a maximal subfield of a central simple algebra over a number field can be embedded into an order of this algebra is given. Various previous results have been generalized and recovered by…

Number Theory · Mathematics 2025-02-10 Jiaqi Xie , Fei Xu

We study atom canonicity for several varieties of cylindric like algebras that contain properly the variety of representable algebras. The algebras in such varieties have relativized representations, and we thereby obtain many omitting…

Logic · Mathematics 2013-08-29 Tarek Sayed Ahmed

In this paper we investigate the structure of intermediate vertex algebras associated with a maximal conformal embedding of a reductive Lie algebra in a semisimple Lie algebra of classical type.

Representation Theory · Mathematics 2016-02-16 Victor G. Kac , Pierluigi Moseneder Frajria , Paolo Papi , Feng Xu

Embedding models trained separately on similar data often produce representations that encode stable information but are not directly interchangeable. This lack of interoperability raises challenges in several practical applications, such…

Machine Learning · Computer Science 2025-10-16 Lucas Maystre , Alvaro Ortega Gonzalez , Charles Park , Rares Dolga , Tudor Berariu , Yu Zhao , Kamil Ciosek