English
Related papers

Related papers: Weakening and Iterating Laws using String Diagrams

200 papers

Building meaningful representations of noun compounds is not trivial since many of them scarcely appear in the corpus. To that end, composition functions approximate the distributional representation of a noun compound by combining its…

Computation and Language · Computer Science 2019-06-13 Vered Shwartz

Squier introduced a homotopical method in order to describe all the relations amongst rewriting reductions of a confluent and terminating string rewriting system. From a string rewriting system he constructed a $2$-dimensional combinatorial…

Category Theory · Mathematics 2017-01-31 Clément Alleaume , Philippe Malbos

The paper develops a general framework for constrained clustering which is based on the close connection of geometric clustering and diagrams. Various new structural and algorithmic results are proved (and known results generalized and…

Data Structures and Algorithms · Computer Science 2017-04-10 Andreas Brieden , Peter Gritzmann , Fabian Klemm

We find the Yangian symmetry underlying the integrability of type IIB superstrings on $AdS_3 \times S^3 \times S^3 \times S^1$ with mixed Ramond-Ramond and Neveu-Schwarz-Neveu-Schwarz flux. The abstract commutation relations of the Yangian…

High Energy Physics - Theory · Physics 2018-09-26 Antonio Pittelli

While probability theory is normally applied to external environments, there has been some recent interest in probabilistic modeling of the outputs of computations that are too expensive to run. Since mathematical logic is a powerful tool…

Artificial Intelligence · Computer Science 2016-10-10 Scott Garrabrant , Benya Fallenstein , Abram Demski , Nate Soares

We propose a distributed algorithm to solve a dynamic programming problem with multiple agents, where each agent has only partial knowledge of the state transition probabilities and costs. We provide consensus proofs for the presented…

Optimization and Control · Mathematics 2023-06-19 Nikolaus Vertovec , Kostas Margellos

Common meadows are commutative and associative algebraic structures with two operations (addition and multiplication) with additive and multiplicative identities and for which inverses are total. The inverse of zero is an error term…

Rings and Algebras · Mathematics 2024-06-10 João Dias , Bruno Dinis

Dimension reduction is the process of embedding high-dimensional data into a lower dimensional space to facilitate its analysis. In the Euclidean setting, one fundamental technique for dimension reduction is to apply a random linear map to…

Probability · Mathematics 2017-09-19 Samet Oymak , Joel A. Tropp

Compressed indexing is a powerful technique that enables efficient querying over data stored in compressed form, significantly reducing memory usage and often accelerating computation. While extensive progress has been made for…

Data Structures and Algorithms · Computer Science 2025-10-23 Rajat De , Dominik Kempa

Distributional models are derived from co-occurrences in a corpus, where only a small proportion of all possible plausible co-occurrences will be observed. This results in a very sparse vector space, requiring a mechanism for inferring…

Computation and Language · Computer Science 2016-08-25 Thomas Kober , Julie Weeds , Jeremy Reffin , David Weir

It is shown that the multiplicity distribution associated to self-shadowing events satisfies an universal equation in terms of the minimum bias distribution. The number of elementary collisions, basic in the structure of any multiple…

High Energy Physics - Phenomenology · Physics 2007-05-23 C. Pajares , C. A. Salgado , E. G. Ferreiro

The binary many-step Markov chain with the step-like memory function is considered as a model for the analysis of rank distributions of words in stochastic symbolic dynamical systems. We prove that the envelope curve for this distribution…

History and Philosophy of Physics · Physics 2007-05-23 K. E. Kechedzhy O. V. Usatenko , V. A. Yampol'skii

Fractal scatterings in weak solitary wave interactions is analyzed for generalized nonlinear Schr\"odiger equations (GNLS). Using asymptotic methods, these weak interactions are reduced to a universal second-order map. This map gives the…

Chaotic Dynamics · Physics 2012-10-19 Yi Zhu , Richard Haberman , Jianke Yang

The use of statistical methods for the description of complex quantum systems was primarily motivated by the failure of a line-by-line interpretation of atomic spectra. Such methods reveal regularities and trends in the distributions of…

Atomic Physics · Physics 2021-05-03 Jean-Christophe Pain

In category theory, the use of string diagrams is well known to aid in the intuitive understanding of certain concepts, particularly when dealing with adjunctions and monoidal categories. We show that string diagrams are also useful in…

Category Theory · Mathematics 2024-07-19 Kenji Nakahira

Iterative imputation, in which variables are imputed one at a time each given a model predicting from all the others, is a popular technique that can be convenient and flexible, as it replaces a potentially difficult multivariate modeling…

Statistics Theory · Mathematics 2012-04-04 Jingchen Liu , Andrew Gelman , Jennifer Hill , Yu-Sung Su

Joint distributions over many variables are frequently modeled by decomposing them into products of simpler, lower-dimensional conditional distributions, such as in sparsely connected Bayesian networks. However, automatically learning such…

Machine Learning · Computer Science 2013-01-07 Scott Davies , Andrew Moore

In probabilistic logic entailments, even moderate size problems can yield linear constraint systems with so many variables that exact methods are impractical. This difficulty can be remedied in many cases of interest by introducing a three…

Artificial Intelligence · Computer Science 2013-03-26 Paul Snow

A reconstruction problem of words from scattered factors asks for the minimal information, like multisets of scattered factors of a given length or the number of occurrences of scattered factors from a given set, necessary to uniquely…

Formal Languages and Automata Theory · Computer Science 2020-03-17 Pamela Fleischmann , Marie Lejeune , Florin Manea , Dirk Nowotka , Michel Rigo

Coalgebras for analytic functors uniformly model graph-like systems where the successors of a state may admit certain symmetries. Examples of successor structure include ordered tuples, cyclic lists and multisets. Motivated by goals in…

Formal Languages and Automata Theory · Computer Science 2025-06-09 Anton Chernev , Corina Cîrstea , Helle Hvid Hansen , Clemens Kupke