English
Related papers

Related papers: A Survey on the Local Divisor Technique

200 papers

We give a new proof of the Krohn-Rhodes Theorem using local divisors. The proof provides nearly as good a decomposition in terms of size as the holonomy decomposition of Eilenberg, avoids induction on the size of the state set, and works…

Group Theory · Mathematics 2011-11-08 Volker Diekert , Manfred Kufleitner , Benjamin Steinberg

What is the common link, if there is any, between Church-Rosser systems, prefix codes with bounded synchronization delay, and local Rees extensions? The first obvious answer is that each of these notions relates to topics of interest for…

Formal Languages and Automata Theory · Computer Science 2017-07-04 Volker Diekert , Lukas Fleischer

How can sparse graph theory be extended to large networks, where algorithms whose running time is estimated using the number of vertices are not good enough? I address this question by introducing 'Local Separators' of graphs. Applications…

Combinatorics · Mathematics 2024-02-13 Johannes Carmesin

Lifted Reed-Solomon codes are a natural affine-invariant family of error-correcting codes which generalize Reed-Muller codes. They were known to have efficient local-testing and local-decoding algorithms (comparable to the known algorithms…

Information Theory · Computer Science 2017-08-09 Alan Guo , Swastik Kopparty

The generation of curves and surfaces from given data is a well-known problem in Computer-Aided Design that can be approached using subdivision schemes. They are powerful tools that allow obtaining new data from the initial one by means of…

Numerical Analysis · Mathematics 2024-12-03 Sergio López-Ureña , Dionisio F. Yáñez

This paper demonstrates that progressive localization, the gradual increase of attention locality from early distributed layers to late localized layers, represents the optimal architecture for creating interpretable large language models…

Artificial Intelligence · Computer Science 2025-12-16 Joachim Diederich

In this paper we continue a classical work of Sch\"utzenberger on codes with bounded synchronization delay. He was interested to characterize those regular languages where the groups in the syntactic monoid belong to a variety $H$. He…

Formal Languages and Automata Theory · Computer Science 2016-03-01 Volker Diekert , Tobias Walter

Lifted Reed-Solomon codes, introduced by Guo, Kopparty and Sudan in 2013, are known as one of the few families of high-rate locally correctable codes. They are built through the evaluation over the affine space of multivariate polynomials…

Information Theory · Computer Science 2018-09-05 Julien Lavauzelle

Monads govern computational side-effects in programming semantics. They can be combined in a ''bottom-up'' way to handle several instances of such effects. Indexed monads and graded monads do this in a modular way. Here, instead, we equip…

Logic in Computer Science · Computer Science 2021-08-05 Carmen Constantin , Nuiok Dicaire , Chris Heunen

In this article, we develop and investigate a new classifier based on features extracted using spatial depth. Our construction is based on fitting a generalized additive model to the posterior probabilities of the different competing…

Methodology · Statistics 2015-04-16 Subhajit Dutta , Anil K. Ghosh

In this article, we consider two models of directed polymers in random environment: a discrete model and a continuous model. We consider these models in dimension greater or equal to 3 and we suppose that the normalized partition function…

Probability · Mathematics 2015-06-26 Vincent Vargas

Discriminative dictionary learning (DDL) has recently gained significant attention due to its impressive performance in various pattern classification tasks. However, the locality of atoms is not fully explored in conventional DDL…

Computer Vision and Pattern Recognition · Computer Science 2019-11-25 He-Feng Yin , Xiao-Jun Wu , Su-Gen Chen

We extend classical methods of computational complexity to the realm of distributed computing, where they sometimes prove more effective than in their original context. Our focus is on decision problems in the LOCAL model, a setting in…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-09-08 Fabian Reiter

Locality-preserving logical operators in topological codes are naturally fault-tolerant, since they preserve the correctability of local errors. Using a correspondence between such operators and gapped domain walls, we describe a procedure…

Quantum Physics · Physics 2018-01-26 Paul Webster , Stephen D. Bartlett

Expander (Tanner) codes combine sparse graphs with local constraints, enabling linear-time decoding and asymptotically good distance--rate tradeoffs. A standard constraint-counting argument yields the global-rate lower bound $R\ge 2r-1$ for…

Information Theory · Computer Science 2026-03-27 Swastik Kopparty , Itzhak Tamo

We prove local boundedness of generalized solutions to a large class of variational problems of linear growth including boundary value problems of minimal surface type and models from image analysis related to the procedure of…

Analysis of PDEs · Mathematics 2018-04-05 Michael Bildhauer , Martin Fuchs , Jan Mueller , Xiao Zhong

We present three innovations in tokenization and subword segmentation. First, we propose to use unsupervised morphological analysis with Morfessor as pre-tokenization. Second, we present an algebraic method for obtaining subword embeddings…

Computation and Language · Computer Science 2024-10-04 Jindřich Libovický , Jindřich Helcl

Time-series classification has attracted considerable research attention due to the various domains where time-series data are observed, ranging from medicine to econometrics. Traditionally, the focus of time-series classification has been…

Artificial Intelligence · Computer Science 2015-03-12 Josif Grabocka , Martin Wistuba , Lars Schmidt-Thieme

A large class of MDS linear codes is constructed. These codes are endowed with an efficient decoding algorithm. Both the definition of the codes and the design of their decoding algorithm only require from Linear Algebra methods, making…

Information Theory · Computer Science 2020-06-02 José Gómez-Torrecillas , Gabriel Navarro , José Patricio Sánchez-Hernández

We develop the K-theory of sets with an action of a pointed monoid (or monoid scheme), analogous to the $K$-theory of modules over a ring (or scheme). In order to form localization sequences, we construct the quotient category of a nice…

K-Theory and Homology · Mathematics 2021-09-08 Ian Coley , Charles Weibel
‹ Prev 1 2 3 10 Next ›