English
Related papers

Related papers: Unambiguously coded shifts

200 papers

This paper presents a theory of systemic undecidability, reframing incomputability as a structural property of systems rather than a localized feature of specific functions or problems. We define a notion of causal embedding and prove a…

Logic in Computer Science · Computer Science 2025-09-03 Seth Bulin

We introduce invariants, called shifting numbers, that measure the asymptotic amount by which an autoequivalence of a triangulated category translates inside the category. The invariants are analogous to Poincare translation numbers that…

Algebraic Geometry · Mathematics 2020-09-03 Yu-Wei Fan , Simion Filip

We define observability and detectability for linear switching systems as the possibility of reconstructing and respectively of asymptotically reconstructing the hybrid state of the system from the knowledge of the output for a suitable…

Dynamical Systems · Mathematics 2008-02-28 Elena De Santis , Maria Domenica Di Benedetto , Giordano Pola

This paper presents a new observer design approach for linear time invariant multivariable systems subject to unknown inputs. The design is based on a transformation to the so-called special coordinate basis. This form reveals important…

Systems and Control · Electrical Eng. & Systems 2021-11-30 Markus Tranninger , Helmut Niederwieser , Richard Seeber , Martin Horn

The notion of composite system made up of distinguishable parties is investigated in the context of arbitrary convex spaces.

Quantum Physics · Physics 2019-08-21 Florio M. Ciaglia , Alberto Ibort , Giuseppe Marmo

Recently Liu, Long, Tong and Li [Phys. Rev. A 65, 022304 (2002)] have proposed a scheme for superdense coding between multiparties. This scheme seems to be highly asymmetric in the sense that only one sender effectively exploits…

Quantum Physics · Physics 2009-11-07 Andrzej Grudka , Antoni Wojcik

A numeral system is an infinite sequence of different closed normal $\lambda$-terms intended to code the integers in $\lambda$-calculus. H. Barendregt has shown that if we can represent, for a numeral system, the functions : Successor,…

Logic · Mathematics 2009-05-07 Karim Nour

Using an algebraic approach based on the theory of Coxeter groups, we design, and describe the performance of, a class of line codes for parallel transmission of $b$ bits over $b+1$ wires that admit especially simple encoding and decoding…

Information Theory · Computer Science 2017-07-28 Ezio Biglieri , Emanuele Viterbo

In this paper cyclic codes are established with respect to the Mannheim metric over some finite rings by using Gaussian integers and the decoding algorithm for these codes is given.

Information Theory · Computer Science 2009-05-27 Murat Guzeltepe , Mehmet Ozen

We introduce a class of linear bounded invertible operators on Banach spaces, called shift operators, which comprises weighted backward shifts and models finite products of weighted backward shifts and dissipative composition operators. We…

Dynamical Systems · Mathematics 2024-07-31 Maria Carvalho , Udayan B. Darji , Paulo Varandas

Let $n \geq 1$ be an odd integer. We construct an anticyclotomic Euler system for certain cuspidal automorphic representations of unitary groups with signature $(1, 2n-1)$.

Number Theory · Mathematics 2023-12-05 Andrew Graham , Syed Waqar Ali Shah

We consider questions posed in a recent paper of Mandayam, Bandyopadhyay, Grassl and Wootters [10] on the nature of "unextendible mutually unbiased bases." We describe a conceptual framework to study these questions, using a connection…

Quantum Physics · Physics 2014-07-11 Koen Thas

C. Bonnaf{\'e}, M. Geck, L. Iancu, and T. Lam have conjectured a description of one-sided cells in unequal parameter Hecke algebras of type $B$ which is based on domino tableaux of arbitrary rank. In the integer case, this generalizes the…

Representation Theory · Mathematics 2008-03-25 Thomas Pietraho

In the context of the variational bi-complex, we re-explain that irreducible gauge systems define a particular example of a Lie algebroid. This is used to review some recent and not so recent results on gauge, global and asymptotic…

Mathematical Physics · Physics 2015-05-20 Glenn Barnich

The concept of complementability is extended from bounded operators to densely defined operators on Hilbert spaces. By introducing appropriate projections and decomposition techniques, a framework is developed for analyzing…

Functional Analysis · Mathematics 2025-11-27 Sachin Manjunath Naik , P. Sam Johnson

Karush's proof of McMillan's theorem is recast as an argument involving polynomials with non-commuting indeterminates certain evaluations of which yield the Kraft sums of codes, proving a strengthened version of McMillan's theorem.

Combinatorics · Mathematics 2008-06-23 Stephan Foldes

An infinite binary sequence A is absolutely undecidable if it is impossible to compute A on a set of positions of positive upper density. Absolute undecidability is a weakening of bi-immunity. Downey, Jockusch and Schupp asked whether,…

Logic · Mathematics 2013-03-21 Laurent Bienvenu , Rupert Hölzl , Adam R. Day

We study the concept of a code (or shift) space for a generalized iterated function system (GIFS in short). We prove that relations between GIFSs and their code spaces are analogous to the case of classical IFSs. As an application, we…

Geometric Topology · Mathematics 2013-12-10 Filip Strobin , Jarosław Swaczyna

We address the recently suggested problem of causal lossless coding of a randomly arriving source samples. We construct variable-to-fixed coding schemes and show that they outperform the previously considered fixed-to-variable schemes when…

Information Theory · Computer Science 2020-10-27 Uri Abend , Anatoly Khina

We introduce a notion of coded equivalence in one-sided topological Markov shifts. The notion is inspired by coding theory. One-sided topological conjugacy implies coded equivalence. We will show that coded equivalence implies continuous…

Dynamical Systems · Mathematics 2020-11-30 Kengo Matsumoto