Finitary Codes, a short survey

Jacek Serafin

DOI: https://doi.org/10.1214/074921706000000284

2006-08-10

Abstract:In this note we recall the importance of the notion of a finitary isomorphism in the classification problem of dynamical systems.

Dynamical Systems

What problem does this paper attempt to address?

Entropy-efficient finitary codings

Tom Meyerovitch,Yinon Spinka

DOI: https://doi.org/10.3934/jmd.2024001

2024-02-01

Journal of Modern Dynamics

Abstract:We show that any finite-entropy, countable-valued finitary factor of an i.i.d. process can also be expressed as a finitary factor of a finite-valued i.i.d. process whose entropy is arbitrarily close to the target process. As an application, we give an affirmative answer to a question of van den Berg and Steif [27] about the critical Ising model on . En route, we prove several results about finitary isomorphisms and finitary factors. Our results are developed in a new framework for processes invariant to a permutation group of a countable set satisfying specific properties. This new framework includes all 'classical' processes over countable amenable groups and all invariant processes on transitive amenable graphs with 'uniquely centered balls'. Some of our results are new already for -processes. We prove a relative version of Smorodinsky's isomorphism theorem for finitely dependent -processes. We also extend the Keane–Smorodinsky finitary isomorphism theorem to countable-valued i.i.d. processes and to i.i.d. processes taking values in a Polish space.

mathematics, applied
Coboundaries and eigenvalues of finitary S-adic systems

Valérie Berthé,Paulina Cecchi Bernales,Reem Yassawi

2024-04-05

Abstract:An S-adic system is a symbolic dynamical system generated by iterating an infinite sequence of substitutions or morphisms, called a directive sequence. A finitary S-adic dynamical system is one where the directive sequence consists of morphisms selected from a finite set. We study eigenvalues and coboundaries for finitary recognizable S-adic dynamical systems, i.e., those where points can be uniquely desubstituted using the given sequence of morphisms. To do this we identify the notions of straightness and essential words, and use them to define a coboundary, inspired by of Host's formalism, which allows us to express necessary and sufficient conditions that a complex number must satisfy in order to be a continuous or measurable eigenvalue. We then apply our results to finitary directive sequences of substitutions of constant length, and show how to create constant-length $S$-adic shifts with non-trivial coboundaries. We show that in this case all continuous eigenvalues are rational and we give a complete description of the rationals that can be an eigenvalue, indicating how this leads to a Cobham-style result for these systems.

Dynamical Systems
Cofinality Theorems of Infinity Categories and Algebraic K-Theory

Hisato Matsukawa

2024-05-06

Abstract:In this paper, we establish a theorem that proves a condition when an inclusion morphism between simplicial sets becomes a weak homotopy equivalence. Additionally, we present two applications of this result. The first application demonstrates that cofinal full inclusion functors of (\infty)-categories are weak homotopy equivalences. For our second application, we provide an alternative proof of Barwick's cofinality theorem of algebraic (K)-theory.

Algebraic Topology,K-Theory and Homology
On finiteness theorems for automorphic forms

Takuya Yamauchi

2024-12-07

Abstract:In this paper, for any Shimura datum $(G,\mathcal{D})$ satisfying reasonable conditions so that many interesting cases satisfy, we prove some finiteness theorems for any graded vector space consisting of automorphic forms on $\mathcal{D}$ of some weights over the graded ring of automorphic forms on $X$ with positive parallel weights. We also discuss the integral base ring which we can work on. To realize automorphic forms as global sections on some coherent sheaves on the minimal compactification, we use the notion of reflexive sheaves and higher Koecher principle due to Kai-Wen Lan. Further, we give a more finer version of finiteness results for Siegel modular forms by using only the results of Chai-Faltings.

Algebraic Geometry,Number Theory
A note related to Severi's finiteness theorem

Guoquan Gao

DOI: https://doi.org/10.48550/arXiv.2307.16223

2023-07-30

Abstract:In this note we consider a question related to the high-dimensional generalization of the classical Severi's finiteness theorem for curves. We will introduce some background and then state the main result. The proof of the main result is constructive and we mainly use algebraic geometry of surfaces.

Algebraic Geometry
Finitistic Spaces with the Orbit Space FP^n x S^m

Anju Kumari,Hemant Kumar Singh

2023-06-06

Abstract:Let G = S^d, d = 0, 1 or 3, act freely on a finitistic connected space X. This paper gives the cohomology classification of X if a mod 2 or rational cohomology of the orbit space X/G is isomorphic to the product of a projective space and sphere FP^n x S^m, where F = R, C or H, respectively. For a free involution on X, a lower bound of covering dimension of the coincidence set of a continuous map f: X -> R^k is also determined.

Algebraic Topology
Finitary codings of finite expectation between shifts over free groups

James O'Quinn

2023-05-04

Abstract:We prove that finitary isomorphisms with finite expectation exist between Bernoulli shifts over the same free group only if the shifts have the same distribution. This generalizes the integer case result of Schmidt. We provide new proofs of some of the technical results of Parry and Schmidt which avoid the assumption of amenability.

Dynamical Systems,Probability
The Frobenius endomorphism and homological dimensions

Claudia Miller

DOI: https://doi.org/10.48550/arXiv.math/0301208

2003-02-22

Abstract:This is a survey on the relation between homological properties of the Frobenius endomorphism and finiteness of various homological dimensions of the ring or of modules over it, such as global dimension and projective dimension. We begin with Kunz's surprising result in 1969 that the regularity of a Noetherian local ring is equivalent to the flatness of its Frobenius endomorphism, as well as the subsequent generalizations to the module setting by Peskine and Szpiro and continue up through the recent flurry of results in the last five years. An attempt is made to include proofs whenever feasible.

Commutative Algebra
Codes from Infinitely Near Points

Bruce M. Bennett,Hing Sun Luk,Stephen S. -T. Yau

DOI: https://doi.org/10.4310/ajm.2012.v16.n1.a3

2012-01-01

Asian Journal of Mathematics

Abstract:We introduce a new class of nonlinear algebraic-geometry codes based on evaluation of functions on infinitely near points. Let X be an algebraic variety over the finite field F-q. An infinitely near point of order mu is a point P on a variety X' obtained by mu iterated blowing-ups starting from X. Given such a point P and a function f on X, we give a definition of f(P) which is nonlinear in f (unless mu = 0). Given a set S of infinitely near points {P-1, . . . , P-n}, we associate to f its set of values (f(P-1), . . . , f(P-n)) in F-q(n). Let V be a k dimensional vector space of functions on X. Evaluation of functions in V at the n points of S gives a map V -> F-q(n), which we view as an (n, q(k), d) code when the map is injective. Here d is the largest integer such that a function in V is uniquely determined by its values on any n - d + 1 points of S. These codes generalize the Reed-Solomon codes, but unlike the R-S codes they can be constructed to have arbitrarily large code length n. The first nontrivial case is where X = A(Fq)(2), affine 2-space, and we study this case in detail.
Semi-Invariant Rings: UFD and Codimension One Orbits

Charles Paquette,Deepanshu Prasad,David Wehlau

2023-06-14

Abstract:Let $A$ be a finite dimensional associative $\mathbb{K}$-algebra over an algebraically closed field $\mathbb{K}$ of characteristic zero. To $A$, we can associate its basic form that is given by a quiver $Q = (Q_0, Q_1)$ with an admissible ideal $R$. For a dimension vector $\beta$, we consider an irreducible component $\mathcal{C}$ of the module variety of $\beta$-dimensional representations of $A$. The reductive group ${\rm GL}_\beta(\mathbb{K}):= \prod_{i \in Q_0}{\rm GL}_{\beta_i}(\mathbb{K})$ acts on $\mathcal{C}$ by change of basis, and has a unique closed orbit. We consider the corresponding ring of semi-invariants ${\rm SI}(Q, \mathcal{C})$. We prove that if $\mathcal{C}$ is factorial and has maximal orbits of codimension one, then ${\rm SI}(Q, \mathcal{C})$ is a complete intersection and is not multiplicity free. If $\mathcal{C}$ is not factorial, then this conclusion does not necessarily hold. We present examples showing that the codimension of the complete intersection can be arbitrarily large. Finally, we interpret our results in the case of hereditary algebras.

Representation Theory
Finiteness of commutable maps of bounded degree

Chong Gyu Lee,Hexi Ye

DOI: https://doi.org/10.48550/arXiv.1203.1222

2012-03-06

Abstract:In this paper, we study the relation between two dynamical systems (V,f) and (V,g) with f. g = g . f. As an application, we show that an endomorphism (respectively a polynomial map with Zariski dense, of bounded Pre(f) has only finitely many endomorphisms (respectively polynomial maps) of bounded degree which are commutable with f.

Number Theory,Dynamical Systems
Fukaya A-infinity structure near infinity and the categorical formal completion

Yuan Gao

2024-09-23

Abstract:For a stopped Liouville manifold arising from a Liouville sector, we construct a symplectic analogue of the formal neighborhood of the stop on the level of Fukaya categories. This geometric construction is performed via Floer-theoretic methods by allowing wrappings in the negative direction. On the other hand, inspired by homological mirror symmetry for pairs, where the mirror is the formal neighborhood of a divisor in an ambient projective variety, there is a different approach by taking a `categorical formal completion' introduced by Efimov. Our main results establishes equivalence of these two approaches, confirms computability of this new type of Floer theory by categorical and algebraic means, and indicates contributions from and to computations in homological mirror symmetry.

Symplectic Geometry,Algebraic Geometry,K-Theory and Homology
Notes on gauging noninvertible symmetries. Part I. Multiplicity-free cases

A. Perez-Lona,D. Robbins,E. Sharpe,T. Vandermeulen,X. Yu

DOI: https://doi.org/10.1007/jhep02(2024)154

IF: 6.379

2024-02-23

Journal of High Energy Physics

Abstract:In this paper we discuss gauging noninvertible zero-form symmetries in two dimensions. We specialize to certain gaugeable cases, specifically, fusion categories of the form for a suitable Hopf algebra (which includes the special case Rep( G ) for G a finite group). We also specialize to the case that the fusion category is multiplicity-free. We discuss how to construct a modular-invariant partition function from a choice of Frobenius algebra structure on . We discuss how ordinary G orbifolds for finite groups G are a special case of the construction, corresponding to the fusion category Vec( G ) = Rep(C[ G ] * ). For the cases Rep( S 3 ), Rep( D 4 ), and Rep( Q 8 ), we construct the crossing kernels for general intertwiner maps. We explicitly compute partition functions in the examples of Rep( S 3 ), Rep( D 4 ), Rep( Q 8 ), and , and discuss applications in c = 1 CFTs. We also discuss decomposition in the special case that the entire noninvertible symmetry group acts trivially.

physics, particles & fields
Jordan Isomorphisms of the Finitary Incidence Ring of a Partially Ordered Category

Rosali Brusamarello,Érica Z. Fornaroli,Mykola Khrypchenko

DOI: https://doi.org/10.48550/arXiv.1811.05928

2018-11-15

Abstract:Let $\mathcal{C}$ be a pocategory, $FI(\mathcal{C})$ the finitary incidence ring of $\mathcal{C}$ and $\varphi$ a Jordan isomorphism of $FI(\mathcal{C})$ onto an associative ring $A$. We study the problem of decomposition of $\varphi$ into the (near-)sum of a homomorphism and an anti-homomorphism.

Rings and Algebras
Notes on noncommutative Fitting invariants

Andreas Nickel

DOI: https://doi.org/10.48550/arXiv.1712.07368

2018-09-10

Abstract:To each finitely presented module $M$ over a commutative ring $R$ one can associate an $R$-ideal $\mathrm{Fitt}_{R}(M)$, which is called the (zeroth) Fitting ideal of $M$ over $R$. This is of interest because it is always contained in the $R$-annihilator $\mathrm{Ann}_{R}(M)$ of $M$, but is often much easier to compute. This notion has recently been generalised to that of so-called `Fitting invariants' over certain noncommutative rings; the present author considered the case in which $R$ is an $\mathfrak{o}$-order $\Lambda$ in a finite dimensional separable algebra, where $\mathfrak{o}$ is an integrally closed commutative noetherian complete local domain. This article is a survey of known results and open problems in this context. In particular, we investigate the behaviour of Fitting invariants under direct sums. In the appendix, we present a new approach to Fitting invariants via Morita equivalence.

Rings and Algebras,Number Theory
An Introduction to Combinatorics of Determinacy

William Chan

DOI: https://doi.org/10.48550/arXiv.1906.04344

2020-07-01

Abstract:This article is an introduction to combinatorics under the axiom of determinacy with a focus on partition properties and infinity Borel codes.

Logic
Notes on gauging noninvertible symmetries, part 1: Multiplicity-free cases

A. Perez-Lona,D. Robbins,E. Sharpe,T. Vandermeulen,X. Yu

DOI: https://doi.org/10.1007/JHEP02%282024%29154

2023-12-11

Abstract:In this paper we discuss gauging noninvertible zero-form symmetries in two dimensions. We specialize to certain gaugeable cases, specifically, fusion categories of the form Rep(H) for H a suitable Hopf algebra (which includes the special case Rep(G) for G a finite group). We also specialize to the case that the fusion category is multiplicity-free. We discuss how to construct a modular-invariant partition function from a choice of Frobenius algebra structure on H^*. We discuss how ordinary G orbifolds for finite groups G are a special case of the construction, corresponding to the fusion category Vec(G) = Rep( C[G]^* ). For the cases Rep(S_3), Rep(D_4), and Rep(Q_8), we construct the crossing kernels for general intertwiner maps. We explicitly compute partition functions in the examples of Rep(S_3), Rep(D_4), Rep(Q_8), and Rep(H_8), and discuss applications in c=1 CFTs. We also discuss decomposition in the special case that the entire noninvertible symmetry group acts trivially.

High Energy Physics - Theory,Strongly Correlated Electrons,Quantum Algebra
A Counterexample to Infinite-Dimensional Version of the Morse-Sard Theorem

Jiang Haiyi

DOI: https://doi.org/10.1007/s11766-003-0085-3

2003-01-01

Abstract:In this note, a positive answer for a question posed by S. Bates in 1992 is given, i.e. there exists a C ∞ rank-1 map f : I 2 → R 1 such that f(A) has nonempty interior for some subset A ⊂ I 2 of critical points with finite Hausdorff dimension. It is to say the Morse criticality theorem can not be generalized to infinite-dimensional spaces.
Finiteness of stable Lagrangian fibrations

Ljudmila Kamenova

DOI: https://doi.org/10.1007/s40863-023-00395-3

2023-08-22

Abstract:In this paper we survey some finiteness results of the deformation classes of hyperkähler Lagrangian fibrations, and we prove finiteness for stable Lagrangian fibrations with a given discriminant divisor.

Algebraic Geometry,Differential Geometry
Infinitary version of Pol-Inv Galois connection

Shohei Izawa

DOI: https://doi.org/10.48550/arXiv.1310.1849

2013-09-18

Abstract:In this article, we prove infinitary version of one to one correspondence theorem between clones and relational clones on a fixed possibly infinite set. We also characterize the relational clone corresponding to the clone of all finitary operations. By this characterization, we obtain correspondence between finitary clones on a fixed infinite set and relational clones satisfying some condition.

Logic

Finitary Codes, a short survey

Entropy-efficient finitary codings

Coboundaries and eigenvalues of finitary S-adic systems

Cofinality Theorems of Infinity Categories and Algebraic K-Theory

On finiteness theorems for automorphic forms

A note related to Severi's finiteness theorem

Finitistic Spaces with the Orbit Space FP^n x S^m

Finitary codings of finite expectation between shifts over free groups

The Frobenius endomorphism and homological dimensions

Codes from Infinitely Near Points

Semi-Invariant Rings: UFD and Codimension One Orbits

Finiteness of commutable maps of bounded degree

Fukaya A-infinity structure near infinity and the categorical formal completion

Notes on gauging noninvertible symmetries. Part I. Multiplicity-free cases

Jordan Isomorphisms of the Finitary Incidence Ring of a Partially Ordered Category

Notes on noncommutative Fitting invariants

An Introduction to Combinatorics of Determinacy

Notes on gauging noninvertible symmetries, part 1: Multiplicity-free cases

A Counterexample to Infinite-Dimensional Version of the Morse-Sard Theorem

Finiteness of stable Lagrangian fibrations

Infinitary version of Pol-Inv Galois connection