English
Related papers

Related papers: Iterating the RSK Bijection

200 papers

Many loss functions in representation learning are invariant under a continuous symmetry transformation. For example, the loss function of word embeddings (Mikolov et al., 2013) remains unchanged if we simultaneously rotate all word and…

Machine Learning · Statistics 2020-07-21 Robert Bamler , Stephan Mandt

Letter-to-letter transducers are a standard formalism for modeling reactive systems. Often, two transducers that model similar systems differ locally from one another, by behaving similarly, up to permutations of the input and output…

Formal Languages and Automata Theory · Computer Science 2024-02-14 Antonio Abu Nassar , Shaull Almagor

In this paper I present a conjecture for a recursive algorithm that finds each permutation of combining two sets of objects (AKA the Shuffle Product). This algorithm provides an efficient way to navigate this problem, as each atomic…

Data Structures and Algorithms · Computer Science 2014-01-08 Diego Fernando C. Carrión L

Stochastic resetting, where a dynamical process is intermittently returned to a fixed reference state, has emerged as a powerful mechanism for optimizing first-passage properties. Existing theory largely treats static, non-learning…

Machine Learning · Computer Science 2026-03-18 Jello Zhou , Vudtiwat Ngampruetikorn , David J. Schwab

Tableau sequences of bounded height have been central to the analysis of k-noncrossing set partitions and matchings. We show here that familes of sequences that end with a row shape are particularly compelling and lead to some interesting…

Combinatorics · Mathematics 2015-05-13 Sophie Burrill , Stephen Melczer , Marni Mishna

The well-known replicator equation in evolutionary game theory describes how population-level behaviors change over time when individuals make decisions using simple imitation learning rules. In this paper, we study evolutionary dynamics…

Systems and Control · Electrical Eng. & Systems 2025-02-18 Rory Gavin , Ming Cao , Keith Paarporn

We develop a novel method to analyze the dynamics of stochastic rewriting systems evolving over finitary adhesive, extensive categories. Our formalism is based on the so-called rule algebra framework and exhibits an intimate relationship…

Logic in Computer Science · Computer Science 2023-06-22 Nicolas Behr , Vincent Danos , Ilias Garnier

We introduce a new combinatorial object called tower diagrams and prove fundamental properties of these objects. We also introduce an algorithm that allows us to slide words to tower diagrams. We show that the algorithm is well-defined only…

Combinatorics · Mathematics 2013-01-25 Olcay Coşkun , Müge Taşkın

It is well known that a fixed point iteration for solving a linear equation system converges if and only if the spectral radius of the iteration matrix is less than one. A method is presented which guarantees the Fixed Point, even if this…

Numerical Analysis · Computer Science 2020-12-22 Hubert Karl , Sebstian Karl

In this paper we consider the one-dimensional dynamical evolution of a particle traveling at constant speed and performing, at a given rate, random reversals of the velocity direction. The particle is subject to stochastic resetting,…

Statistical Mechanics · Physics 2021-10-25 Mattia Radice

We study the termination problem for probabilistic term rewrite systems. We prove that the interpretation method is sound and complete for a strengthening of positive almost sure termination, when abstract reduction systems and term rewrite…

Symbolic Computation · Computer Science 2018-02-28 Martin Avanzini , Ugo Dal Lago , Akihisa Yamada

Random substitutions are a natural generalisation of their classical `deterministic' counterpart, whereby at every step of iterating the substitution, instead of replacing a letter with a predetermined word, every letter is independently…

Dynamical Systems · Mathematics 2020-04-14 Dan Rust , Timo Spindeler

Continuous word representations learned separately on distinct languages can be aligned so that their words become comparable in a common space. Existing works typically solve a least-square regression problem to learn a rotation aligning a…

Computation and Language · Computer Science 2018-09-06 Armand Joulin , Piotr Bojanowski , Tomas Mikolov , Herve Jegou , Edouard Grave

A reliable technique for deductive program verification should be proven sound with respect to the semantics of the programming language. For each different language, the construction of a separate soundness proof is often a laborious…

Programming Languages · Computer Science 2021-08-05 Ximeng Li , Qianying Zhang , Guohui Wang , Zhiping Shi , Yong Guan

Resetting is a renewal mechanism in which a process is intermittently repeated after a random or fixed time. This simple act of stop and repeat profoundly influences the behaviour of a system as exemplified by the emergence of…

Statistical Mechanics · Physics 2024-03-22 Saikat Santra , Prashant Singh

The dynamics of certain combinatorial actions and their liftings to actions at the piecewise-linear and birational level have been studied lately with an eye towards questions of periodicity, orbit structure, and invariants. One key…

Combinatorics · Mathematics 2023-06-22 Michael Joseph , Tom Roby

Birational rowmotion is an action on the space of assignments of rational functions to the elements of a finite partially-ordered set (poset). It is lifted from the well-studied rowmotion map on order ideals (equivariantly on antichains) of…

Combinatorics · Mathematics 2018-08-13 Gregg Musiker , Tom Roby

Symbolic regression, the task of predicting the mathematical expression of a function from the observation of its values, is a difficult task which usually involves a two-step procedure: predicting the "skeleton" of the expression up to the…

Machine Learning · Computer Science 2022-04-25 Pierre-Alexandre Kamienny , Stéphane d'Ascoli , Guillaume Lample , François Charton

Promotion and rowmotion are intriguing actions in dynamical algebraic combinatorics which have inspired much work in recent years. In this paper, we study $P$-strict labelings of a finite, graded poset $P$ of rank $n$ and labels at most…

Combinatorics · Mathematics 2024-06-07 Joseph Bernstein , Jessica Striker , Corey Vorland

We investigate the evolution in time of the position of a fixed number in the insertion tableau when the Robinson-Schensted-Knuth algorithm is applied to a sequence of random numbers. When the length of the sequence tends to infinity, a…

Combinatorics · Mathematics 2022-06-01 Mikołaj Marciniak