English
Related papers

Related papers: K-Knuth Equivalence for Increasing Tableaux

200 papers

It has been reliably shown that the similarity of word embeddings obtained from popular neural models such as BERT approximates effectively a form of semantic similarity of the meaning of those words. It is therefore natural to wonder if…

Artificial Intelligence · Computer Science 2024-08-02 Mathieu d'Aquin , Emmanuel Nauer

We establish a bijective RSK correspondence of type C for King tableaux with Berele insertion as a reformulation of Sundaram's correspondence (1986). For its $Q$-symbol, we make use of semistandard oscillating tableaux (SSOT), a new object…

Combinatorics · Mathematics 2026-03-02 Masato Kobayashi , Tomoo Matsumura

We present recurrent transformer networks (RTNs) for obtaining dense correspondences between semantically similar images. Our networks accomplish this through an iterative process of estimating spatial transformations between the input…

Computer Vision and Pattern Recognition · Computer Science 2018-10-30 Seungryong Kim , Stephen Lin , Sangryul Jeon , Dongbo Min , Kwanghoon Sohn

In the vertex connectivity augmentation problem, we are given an undirected $n$-vertex graph $G$, a set of links $L \subseteq \binom{V(G)}{2} \setminus E(G)$, and integers $\lambda$ and $k$. The task is to insert at most $k$ links from $L$…

Data Structures and Algorithms · Computer Science 2026-05-13 Tuukka Korhonen , Mikkel Thorup

Retrieval augmented generation has revolutionized large language model (LLM) outputs by providing factual supports. Nevertheless, it struggles to capture all the necessary knowledge for complex reasoning questions. Existing retrieval…

Computation and Language · Computer Science 2024-10-21 Zijian Li , Qingyan Guo , Jiawei Shao , Lei Song , Jiang Bian , Jun Zhang , Rui Wang

Multiple extensions of Recurrent Neural Networks (RNNs) have been proposed recently to address the difficulty of storing information over long time periods. In this paper, we experiment with the capacity of Neural Turing Machines (NTMs) to…

Machine Learning · Computer Science 2016-12-05 Tristan Deleu , Joseph Dureau

This paper gives a k-means approximation algorithm that is efficient in the relational algorithms model. This is an algorithm that operates directly on a relational database without performing a join to convert it to a matrix whose rows…

Data Structures and Algorithms · Computer Science 2021-05-24 Benjamin Moseley , Kirk Pruhs , Alireza Samadian , Yuyan Wang

On the ground of a general theorem concerning the admissibility of the structural rules in sequent calculi with additional atomic rules, we develop a proof theoretic analysis for several extensions of the ${\bf G3[mic]}$ sequent calculi…

Logic · Mathematics 2024-03-12 Franco Parlamento , Flavio Previale

This is a tutorial and survey paper on Karush-Kuhn-Tucker (KKT) conditions, first-order and second-order numerical optimization, and distributed optimization. After a brief review of history of optimization, we start with some preliminaries…

Optimization and Control · Mathematics 2021-10-06 Benyamin Ghojogh , Ali Ghodsi , Fakhri Karray , Mark Crowley

In this work we introduce reciprocity functors, construct the associated K-group of a family of reciprocity functors, which itself is a reciprocity functor, and compute it in several different cases. It may be seen as a first attempt to get…

Algebraic Geometry · Mathematics 2015-06-18 Florian Ivorra , Kay Rülling

Renault, Wassermann, Handelman and Rossmann (early 1980s) and Evans and Gould (1994) explicitly described the $K$-theory of certain unital AF-algebras $A$ as (quotients of) polynomial rings. In this paper, we show that in each case the…

Mathematical Physics · Physics 2020-03-20 Andreas Aaserud , David E. Evans

The classical method to solve a quadratic optimization problem with nonlinear equality constraints is to solve the Karush-Kuhn-Tucker (KKT) optimality conditions using Newton's method. This approach however is usually computationally…

Optimization and Control · Mathematics 2016-03-17 Tuan T. Nguyen , Mircea Lazar , Hans Butler

Let R be an equivalence relation on graphs. By the strengthening of R we mean the relation R' such that graphs G and H are in the relation R' if for every graph F, the union of the graphs G and F is in the relation R with the union of the…

Combinatorics · Mathematics 2010-02-10 Zbigniew Lonc , Miroslaw Truszczynski

We introduce two different approaches for clustering semantically similar words. We accommodate ambiguity by allowing a word to belong to several clusters. Both methods use a graph-theoretic representation of words and their paradigmatic…

Other Condensed Matter · Physics 2009-09-29 Beate Dorow , Dominic Widdows , Katarina Ling , Jean-Pierre Eckmann , Danilo Sergi , Elisha Moses

A subsequence of a word $w$ is a word $u$ such that $u = w[i_1] w[i_2] \cdots w[i_k]$, for some set of indices $1 \leq i_1 < i_2 < \dots < i_k \leq \vert w \vert$. A word $w$ is \emph{$k$-subsequence universal} over an alphabet $\Sigma$ if…

Formal Languages and Automata Theory · Computer Science 2025-03-25 Duncan Adamson , Pamela Fleischmann , Annika Huch , Tore Koß , Florin Manea

In this paper, we study the tunable quantum neural network architecture in the quantum exact learning framework with access to a uniform quantum example oracle. We present an approach that uses amplitude amplification to correctly tune the…

Quantum Physics · Physics 2023-09-04 Viet Pham Ngoc , Herbert Wiklicky

The k-truss model is one of the most important models in cohesive subgraph analysis. The k-truss decomposition problem is to compute the trussness of each edge in a given graph, and has been extensively studied. However, the conventional…

Data Structures and Algorithms · Computer Science 2024-11-12 Chen Chen , Jingya Qian , Hui Luo , Yongye Li , Xiaoyang Wang

Given $n$ integer, let $X$ be either the set of hermitian or real $n\times n$ matrices of rank at least $n-1$. If $n$ is even, we give a sharp estimate on the maximal dimension of a real vector subspace of $X\cup\{0\}$. The rusults are…

Algebraic Topology · Mathematics 2009-11-11 Andrea Causin

Large language models (LLMs) have significantly advanced performance across a spectrum of natural language processing (NLP) tasks. Yet, their application to knowledge graphs (KGs), which describe facts in the form of triplets and allow…

Computation and Language · Computer Science 2024-10-11 Lingbing Guo , Zhongpu Bo , Zhuo Chen , Yichi Zhang , Jiaoyan Chen , Yarong Lan , Mengshu Sun , Zhiqiang Zhang , Yangyifei Luo , Qian Li , Qiang Zhang , Wen Zhang , Huajun Chen

Reciprocality in Kirchberg algebras is a duality between strong extension groups and K-theory groups. We describe a construction of the reciprocal dual algebra $\widehat{\mathcal{A}}$ for a Kirchberg algebra $\mathcal{A}$ with finitely…

Operator Algebras · Mathematics 2025-02-26 Kengo Matsumoto , Taro Sogabe