English
Related papers

Related papers: Noncommutative rational P\'olya series

200 papers

We use language theory to study the rational subset problem for groups and monoids. We show that the decidability of this problem is preserved under graph of groups constructions with finite edge groups. In particular, it passes through…

Group Theory · Mathematics 2007-05-23 Mark Kambites , Pedro V. Silva , Benjamin Steinberg

The commutative ambiguity of a context-free grammar G assigns to each Parikh vector v the number of distinct leftmost derivations yielding a word with Parikh vector v. Based on the results on the generalization of Newton's method to…

Formal Languages and Automata Theory · Computer Science 2013-02-06 Michael Luttenberger , Maximilian Schlund

The orthogonal groups are a series of simple Lie groups associated to symmetric bilinear forms. There is no analogous series associated to symmetric trilinear forms. We introduce an infinite dimensional group-like object that can be viewed…

Representation Theory · Mathematics 2021-09-27 Andrew Snowden

We study several kinds of polynomial ensembles of derivative type which we propose to call P\'olya ensembles. These ensembles are defined on the spaces of complex square, complex rectangular, Hermitian, Hermitian anti-symmetric and…

Probability · Mathematics 2021-10-25 Yanik-Pascal Förster , Mario Kieburg , Holger Kösters

We address the question of computing one selected term of an algebraic power series. In characteristic zero, the best algorithm currently known for computing the $N$th coefficient of an algebraic series uses differential equations and has…

Symbolic Computation · Computer Science 2016-05-19 Alin Bostan , Gilles Christol , Philippe Dumas

Let $G$ be a group of permutations of a denumerable set $E$. The profile of $G$ is the function $\phi_G$ which counts, for each $n$, the (possibly infinite) number $\phi_G(n)$ of orbits of $G$ acting on the $n$-subsets of $E$. Counting…

Combinatorics · Mathematics 2018-04-11 Justine Falque , Nicolas M. Thiéry

We investigate multi-graded Gorenstein semigroup algebras associated with an infinite family of reflexive lattice simplices. For each of these algebras, we prove that their multigraded Poincar\'e series is rational. Our method of proof is…

Combinatorics · Mathematics 2020-11-02 Benjamin Braun , Brian Davis

The (left) linear hull of a weighted automaton over a field is a topological invariant. If the automaton is minimal, the linear hull can be used to determine whether or not the automaton is equivalent to a deterministic one. Furthermore,…

Formal Languages and Automata Theory · Computer Science 2026-01-13 Jason P. Bell , Daniel Smertnig

This is a lecture on the theory of formal power series developed entirely without any analytic machinery. Combining ideas from various authors we are able to prove Newton's binomial theorem, Jacobi's triple product, the Rogers--Ramanujan…

History and Overview · Mathematics 2026-04-28 Benjamin Sambale

In the papers: "The Chevalley--Herbrand formula and the real abelian Main Conjecture (New criterion using capitulation of the class group),J. Number Theory 248 (2023)" and "On the real abelian main conjecture in the non semi-simple case,…

Number Theory · Mathematics 2023-08-10 Georges Gras

A cellular automaton is a parallel synchronous computing model, which consists in a juxtaposition of finite automata whose state evolves according to that of their neighbors. It induces a dynamical system on the set of configurations, i.e.…

Discrete Mathematics · Computer Science 2011-08-25 Pierre Guillon , Gaétan Richard

A series of associative algebras $A_n(V)$ for a vertex operator algebra $V$ over an arbitrary algebraically closed field and nonnegative integers $n$ are constructed such that there is a one to one correspondence between irreducible…

Quantum Algebra · Mathematics 2016-11-22 Li Ren

Even in spaces of formal power series is required a topology in order to legitimate some operations, in particular to compute infinite summations. Many topologies can be exploited for different purposes. Combinatorists and algebraists may…

General Topology · Mathematics 2010-12-21 Laurent Poinsot

Let $k$ be any field, $G$ be a finite group acing on the rational function field $k(x_g:g\in G)$ by $h\cdot x_g=x_{hg}$ for any $h,g\in G$. Define $k(G)=k(x_g:g\in G)^G$. Noether's problem asks whether $k(G)$ is rational (= purely…

Algebraic Geometry · Mathematics 2012-03-19 Akinari Hoshi , Ming-chang Kang , Boris E. Kunyavskii

The proper Class $\bf{No}$ of all Conway's numbers $\cite{l3}$ is considered as a region of investigation. It turns out to be a total ordered Field (i.e., a field whose domain is a proper Class) and this totally, or linear ordered Class,…

Logic · Mathematics 2024-06-19 Ju. T. Lisica

Register automata are finite automata equipped with a finite set of registers ranging over the domain of some relational structure like $(\mathbb N;=)$ or $(\mathbb Q;<)$. Register automata process words over the domain, and along a run of…

Formal Languages and Automata Theory · Computer Science 2021-02-17 Wojciech Czerwiński , Antoine Mottet , Karin Quaas

Let $(K,\mathcal O,k)$ be a $p$-modular system and assume $k$ is algebraically closed. We show that if $\Lambda$ is an $\mathcal O$-order in a separable $K$-algebra, then $\textrm{Pic}_{\mathcal O}(\Lambda)$ carries the structure of an…

Representation Theory · Mathematics 2018-07-16 Florian Eisele

Let $\phi$ be a polynomial over $K$ (a field of characteristic 0) such that the Hessian of $\phi$ is a nonzero constant. Let $\bar\phi$ be the formal Legendre Transform of $\phi$. Then $\bar\phi$ is well-defined as a formal power series…

Mathematical Physics · Physics 2007-05-23 Guowu Meng

Let G be a group such that its finite subgroups have bounded order, let d denote the lowest common multiple of the orders of the finite subgroups of G, and let K be a subfield of C that is closed under complex conjugation. Let U(G) denote…

Rings and Algebras · Mathematics 2018-11-28 Peter Linnell , Thomas Schick

We consider the valued field $\mathds{K}:=\mathbb{R}((\Gamma))$ of generalized series (with real coefficients and monomials in a totally ordered multiplicative group $\Gamma$). We investigate how to endow $\mathds{K}$ with a series…

Commutative Algebra · Mathematics 2012-02-28 Salma Kuhlmann , Mickael Matusinski