English
Related papers

Related papers: A note on the Lie complexity and beyond

200 papers

We consider the problem of linearizing a pseudo-Boolean function $f : \{0,1\}^n \to \mathbb{R}$ by means of $k$ Boolean functions. Such a linearization yields an integer linear programming formulation with only $k$ auxiliary variables. This…

Discrete Mathematics · Computer Science 2024-08-14 Matthias Walter

In this paper, we discuss the inducibility problem for automorphisms of multiplicative Lie algebra extensions and show that obstruction to the inducibility of pairs lies in the second cohomology group of multiplicative Lie algebras. We also…

Rings and Algebras · Mathematics 2024-04-01 Dev Karan Singh , Shiv Datt Kumar

Sequences with {\em perfect linear complexity profile} were defined more than thirty years ago in the study of measures of randomness for binary sequences. More recently {\em apwenian sequences}, first with values $\pm 1$, then with values…

Number Theory · Mathematics 2021-03-23 J. -P. Allouche , G. -N. Han , H. Niederreiter

In the note some construction of Lie algebras is introduced. It is proved that the construction has the same property as a well known wreath product of groups [1]: Any extension of groups can be embedded into their wreath product [2].

Rings and Algebras · Mathematics 2011-07-08 Lev Simonian

We show that the complexity of the Lie module $\mathrm{Lie}(n)$ in characteristic $p$ is bounded above by $m$ where $p^m$ is the largest $p$-power dividing $n$ and, if $n$ is not a $p$-power, is equal to the maximum of the complexities of…

Representation Theory · Mathematics 2011-08-17 Karin Erdmann , Kay Jin Lim , Kai Meng Tan

Let $k\ge 2$. We prove that the characteristic sequence of a regular language over a $k$-letter alphabet is $k$-automatic. More generally, if $t\ge 2$ and $t,k$ are multiplicatively dependent, we show that the characteristic sequence of a…

Formal Languages and Automata Theory · Computer Science 2018-07-24 Michel Rigo , Robert Underwood

Investigations of complexity of sequences lead to important applications such as effective data compression, testing of randomness, discriminating between information sources and many others. In this paper we establish formulas describing…

Probability · Mathematics 2007-05-23 Janusz Szczepanski

Generalized cyclotomic sequences of period pq have several desirable randomness properties if the two primes p and q are chosen properly. In particular,Ding deduced the exact formulas for the autocorrelation and the linear complexity of…

Information Theory · Computer Science 2016-05-18 Yuhua Sun , Yang Yan , Fei Li , Tongjiang Yan , Hui Li

We develop a theory of complexity for numerical computations that takes into account the condition of the input data and allows for roundoff in the computations. We follow the lines of the theory developed by Blum, Shub, and Smale for…

Computational Complexity · Computer Science 2014-06-09 Felipe Cucker

We present a new characteristic of a regular ideal language called reset complexity. We find some bounds on the reset complexity in terms of the state complexity of a given language. We also compare the reset complexity and the state…

Formal Languages and Automata Theory · Computer Science 2014-04-11 Marina Maslennikova

We prove that any $q$-automatic multiplicative function $f:\mathbb{N}\to\mathbb{C}$ either essentially coincides with a Dirichlet character, or vanishes on all sufficiently large primes. This confirms a strong form of a conjecture of J.…

Number Theory · Mathematics 2020-02-05 Oleksiy Klurman , Pär Kurlberg

We define {\em semantic complexity} using a new concept of {\em meaning automata}. We measure the semantic complexity of understanding of prepositional phrases, of an "in depth understanding system", and of a natural language interface to…

cmp-lg · Computer Science 2008-02-03 Wlodek Zadrozny

Each choice of a K\"ahler class on a compact complex manifold defines an action of the Lie algebra $\slt$ on its total complex cohomology. If a nonempty set of such K\"ahler classes is given, then we prove that the corresponding…

alg-geom · Mathematics 2009-10-28 Eduard Looijenga , Valery L. Lunts

We show that various aspects of k-automatic sequences -- such as having an unbordered factor of length n -- are both decidable and effectively enumerable. As a consequence it follows that many related sequences are either k-automatic or…

Formal Languages and Automata Theory · Computer Science 2011-10-14 Emilie Charlier , Narad Rampersad , Jeffrey Shallit

We establish new combinatorial transcendence criteria for continued fraction expansions. Let $\alpha = [0; a_1, a_2,...]$ be an algebraic number of degree at least three. One of our criteria implies that the sequence of partial quotients…

Number Theory · Mathematics 2012-11-26 Yann Bugeaud

In this article, we prove that for a completely multiplicative function $f$ from $\mathbb{N}^*$ to a field $K$ such that the set $$\{p \;|\; f(p)\neq 1_K \;\mbox{and }p \mbox{ is prime}\}$$ is finite, the asymptotic subword complexity of…

Combinatorics · Mathematics 2016-06-01 Yining Hu

We survey recent results concerning the complexity of regular languages represented by their minimal deterministic finite automata. In addition to the quotient complexity of the language -- which is the number of its (left) quotients, and…

Formal Languages and Automata Theory · Computer Science 2017-02-17 Janusz A. Brzozowski

Lie systems form a class of systems of first-order ordinary differential equations whose general solutions can be described in terms of certain finite families of particular solutions and a set of constants, by means of a particular type of…

Mathematical Physics · Physics 2013-03-13 J. F. Cariñena , J. de Lucas

Joseph Miller [16] and independently Andre Nies, Frank Stephan and Sebastiaan Terwijn [18] gave a complexity characterization of 2-random sequences in terms of plain Kolmogorov complexity C: they are sequences that have infinitely many…

Information Theory · Computer Science 2013-10-22 Bruno Bauwens

We examine the complexity of inference in Bayesian networks specified by logical languages. We consider representations that range from fragments of propositional logic to function-free first-order logic with equality; in doing so we cover…

Artificial Intelligence · Computer Science 2017-01-09 Fabio Gagliardi Cozman , Denis Deratani Mauá