English
Related papers

Related papers: Algebraic Independence Relations in Randomizations

200 papers

Let P be a free Poisson algebra in two variables over a field of characteristic zero. We prove that the automorphisms of P are tame and that the locally nilpotent derivations of P are triangulable.

Rings and Algebras · Mathematics 2020-01-03 Leonid Makar-Limanov , Umut Turusbekova , Ualbai Umirbaev

The class of generic structures among those consisting of the measure algebra of a probability space equipped with an automorphism is axiomatizable by positive sentences interpreted using an approximate semantics. The separable generic…

Logic · Mathematics 2007-05-23 Alexander Berenstein , C. Ward Henson

We study a class of conditional independence models for discrete data with the property that one or more log-linear interactions are defined within two different marginal distributions and then constrained to 0; all the conditional…

Statistics Theory · Mathematics 2012-10-31 R. Colombi , A. Forcina

In this note, we describe how the study of backgrounds for general quantum systems can be formulated in terms of the representation theory of abstract $C^*$ algebras. We illustrate our general framework through two example systems:…

High Energy Physics - Theory · Physics 2026-01-15 Marc Klinger

We study notions of independence appropriate for a stability theory of metric abstract elementary classes (for short, MAECs). We build on previous notions used in the discrete case, and adapt definitions to the metric case. In particular,…

Logic · Mathematics 2013-06-25 Andrés Villaveces , Pedro Zambrano

The independence polynomial of a graph $G$ is the generating polynomial corresponding to its independent sets of different sizes. More formally, if $a_k(G)$ denotes the number of independent sets of $G$ of size $k$ then \[I(G,z) \as…

Combinatorics · Mathematics 2025-10-13 Om Prakash , Vikram Sharma

The paper studies algebraic independence of certain reciprocal sums of Fibonacci and Lucas sequences. Also more general binary recurrences are considered. The main tool is Mahler's method reducing the investigation of the algebraic…

Number Theory · Mathematics 2014-03-24 Peter Bundschuh , Keijo Väänänen

Let $G$ be a linear algebraic group over an algebraically closed field $k$ and $\mathrm{Aut}_{\mathrm{alg}}(G)$ the group of all algebraic group automorphisms of $G$. For every $\varphi\in \mathrm{Aut}_{\mathrm{alg}}(G)$ let…

Group Theory · Mathematics 2022-03-25 Sushil Bhunia , Anirban Bose

Let $T_P$ be the theory of beautiful pairs of algebraically closed fields of fixed characteristic. It is known that for real tuples in models of $T_P$, SU-rank coincides with Morley rank and can be computed effectively. Building on Pillay's…

Logic · Mathematics 2026-05-25 Zixuan Zhu

Let $R$ be a commutative integral unital domain and $L$ a free non-commutative Lie algebra over $R$. In this paper we show that the ring $R$ and its action on $L$ are 0-interpretable in $L$, viewed as a ring with the standard ring language…

Logic · Mathematics 2017-05-23 Olga Kharlampovich , Alexei Myasnikov

We investigate the algebra and geometry of the independence conditions on discrete random variables in which we fix some random variables and study the complete independence of some subcollections. We interpret such independence conditions…

Commutative Algebra · Mathematics 2007-06-13 George A. Kirkup

An ordinal view of independence is studied in the framework of possibility theory. We investigate three possible definitions of dependence, of increasing strength. One of them is the counterpart to the multiplication law in probability…

Artificial Intelligence · Computer Science 2013-02-28 Didier Dubois , Luis Farinas del Cerro , Andreas Herzig , Henri Prade

Building on work of Maltsev on locally free algebras in finite purely functional languages, we revisit the model theory of (absolutely free) term algebras and their completions. Maltsev's analysis yields a natural axiomatization together…

Logic · Mathematics 2026-02-03 Davide Carolillo , Yifan Jia , Bakh Khoussainov , Rizos Sklinos

In order to define graph transformations by the simultaneous application of concurrent rules, we have adopted in previous work a structure of attributed graphs stable by unions. We analyze the consequences on parallel independence, a…

Logic in Computer Science · Computer Science 2021-02-05 Thierry Boy de la Tour

Morphic sequences form a natural class of infinite sequences, extending the well-studied class of automatic sequences. Where automatic sequences are known to have several equivalent characterizations and the class of automatic sequences is…

Formal Languages and Automata Theory · Computer Science 2023-09-20 Hans Zantema

We prove a general existence result in stochastic optimal control in discrete time where controls take values in conditional metric spaces, and depend on the current state and the information of past decisions through the evolution of a…

Optimization and Control · Mathematics 2018-12-19 Asgar Jamneshan , Michael Kupper , José Miguel Zapata

The grouplike elements of a coalgebra over a field are known to be linearly independent over said field. Here we prove three variants of this result. One is a generalization to coalgebras over a commutative ring (in which case the linear…

Quantum Algebra · Mathematics 2021-08-03 Gérard Duchamp , Darij Grinberg , Vincel Minh

We study what we call topological cylindric algebras and tense cylindric algebras defined for every ordinal $\alpha$. The former are cylindric algebras of dimension $\alpha$ expanded with $\sf S4$ modalities indexed by $\alpha$. The…

Logic · Mathematics 2014-02-26 Tarek Sayed Ahmed

In this note we compare the a-invariant of a homogeneous algebra B to the a-invariant of a subalgebra A. In particular we show that if $A \subset B$ is a finite homogeneous inclusion of standard graded domains over an algebraically closed…

Commutative Algebra · Mathematics 2011-05-31 Andrew Kustin , Claudia Polini , Bernd Ulrich

The independence of the continuum hypothesis is a result of broad impact: it settles a basic question regarding the nature of N and R, two of the most familiar mathematical structures; it introduces the method of forcing that has become the…

History and Overview · Mathematics 2022-09-05 Serafim Batzoglou
‹ Prev 1 8 9 10 Next ›