Related papers: De Finetti's construction as a categorical limit

We show that descriptive complexity's result extends in High Order Logic to capture the expressivity of Turing Machine which have a finite number of alternation and whose time or space is bounded by a finite tower of exponential. Hence we…

We analyze a finite-difference approximation of a functional of Ambrosio-Tortorelli type in brittle fracture, in the discrete-to-continuum limit. In a suitable regime between the competing scales, namely if the discretization step $\delta$…

The well known Andrews-Curtis Conjecture [2] is still open. In this paper, we establish its finite version by describing precisely the connected components of the Andrews-Curtis graphs of finite groups. This finite version has independent…

In this paper we define a class of coverage processes with infinitely divisible finite dimensional distributions and a particular type of correlation structure that can be thought of as generalizations of the classical Ornstein--Uhlenbeck…

Given a connected reductive group $\tilde{G}$ over a finite field $k$, and a semisimple $k$-automorphism $\varepsilon$ of $\tilde{G}$ of finite order, let $G$ denote the connected part of the group of $\varepsilon$-fixed points. Then there…

One way of interpreting a left Kan extension is as taking a kind of "partial colimit", whereby one replaces parts of a diagram by their colimits. We make this intuition precise by means of the "partial evaluations" sitting in the so-called…

In Pure Inductive Logic, the principle of Strong Predicate Exchangeability is a rational principle based on symmetry that sits in between the principles of Predicate Exchangeability and Atom Exchangeability. We will show a de Finetti -…

Codensity monads provide a universal method to generate complex monads from simple functors. Recently, a wide range of important monads in logic, denotational semantics, and probabilistic computation, such as several incarnations of the…

We introduce a notion of proper morphism for schematic finite spaces and prove the analogue of Grothendieck's finiteness theorem for it by means of the classic result for schemes and general descent arguments. This result also generalizes…

We introduce enumerative invariants $F_{g,n}$ $(g\geq0$, $n \geq 1)$ associated to a cyclic $A_\infty$ algebra and a splitting of its non-commutative Hodge filtration. These invariants are defined by explicitly computable Feynman sums, and…

We report on a recent conjecture by Gisin on a restriction of physical processes in sets of finite information numbers (FIN) and further analyze the entropic constraint associated with the proposed algorithm. In the course, we provide a…

It is a well established fact, that any projective algebraic variety is a moduli space of representations over some finite dimensional algebra. This algebra can be chosen in several ways. The counterpart in algebraic geometry is…

Over extended systems of finite type arithmetic, we utilize a formal representation of the outer measure to define a translation which allows for the systematic formalization of probabilistic statements. As a main result, this translation…

We consider and characterize classes of finite and countably categorical structures and their theories preserved under $E$-operators and $P$-operators. We describe $e$-spectra and families of finite cardinalities for structures belonging to…

It was shown by Ostrik (2003) and Natale (2017) that a collection of twisted group algebras in a pointed fusion category serve as explicit Morita equivalence class representatives of indecomposable, separable algebras in such categories. We…

We give a characterization of limits of dihedral groups in the space of finitely generated marked groups. We also describe the topological closure of dihedral groups in the space of marked groups on a fixed number of generators.

This is an introductory paper about our recent merge of a noncommutative de Finetti type result with representations of the infinite braid and symmetric group which allows to derive factorization properties from symmetries. We explain some…

If G is a finite group, then Pr(G) denotes the fraction of ordered pairs of elements of G which commute. We show that, if l \in (2/9,1] is a limit point of the function Pr on finite groups, then l \in \Q and there exists an e = e_l > 0 such…

The aim of this paper is to develop a theory of finite transformation monoids and in particular to study primitive transformation monoids. We introduce the notion of orbitals and orbital digraphs for transformation monoids and prove a…

This paper shows how the classical finite probability theory (with equiprobable outcomes) can be reinterpreted and recast as the quantum probability calculus of a pedagogical or "toy" model of quantum mechanics over sets (QM/sets). There…