Search results for "Exponent"
showing 10 items of 896 documents
Star-polynomial identities: computing the exponential growth of the codimensions
2017
Abstract Can one compute the exponential rate of growth of the ⁎-codimensions of a PI-algebra with involution ⁎ over a field of characteristic zero? It was shown in [2] that any such algebra A has the same ⁎-identities as the Grassmann envelope of a finite dimensional superalgebra with superinvolution B. Here, by exploiting this result we are able to provide an exact estimate of the exponential rate of growth e x p ⁎ ( A ) of any PI-algebra A with involution. It turns out that e x p ⁎ ( A ) is an integer and, in case the base field is algebraically closed, it coincides with the dimension of an admissible subalgebra of maximal dimension of B.
Hybrid bases for varieties of semigroups
2003
We consider the lower part of the lattice of varieties of semigroups. We present finite bases of hybrid identities for the varieties of normal bands, commutative bands and abelian groups of finite exponent. The variety A n,0 of abelian groups provides an example of a variety which has no finite base of hyperidentities (cf. [12]) but has a finite base of hybrid identities.
Codimension growth and minimal superalgebras
2003
A celebrated theorem of Kemer (1978) states that any algebra satisfying a polynomial identity over a field of characteristic zero is PI-equivalent to the Grassmann envelope G(A) of a finite dimensional superalgebra A. In this paper, by exploiting the basic properties of the exponent of a PI-algebra proved by Giambruno and Zaicev (1999), we define and classify the minimal superalgebras of a given exponent over a field of characteristic zero. In particular we prove that these algebras can be realized as block-triangular matrix algebras over the base field. The importance of such algebras is readily proved: A is a minimal superalgebra if and only if the ideal of identities of G(A) is a product…
Quasihyperbolic boundary conditions and Poincaré domains
2002
We prove that a domain in ${\Bbb R}^n$ whose quasihyperbolic metric satisfies a logarithmic growth condition with coefficient $\beta\le 1$ is a (q,p)-\Poincare domain for all p and q satisfying $p\in[1,\infty)\cap(n-n\beta,n)$ and $q\in[p,\beta p^*)$ , where $p^*=np/(n-p)$ denotes the Sobolev conjugate exponent. An elementary example shows that the given ranges for p and q are sharp. The proof makes use of estimates for a variational capacity. When p=2 we give an application to the solvability of the Neumann problem on domains with irregular boundaries. We also discuss the relationship between this growth condition on the quasihyperbolic metric and the s-John condition.
Finite-dimensional non-associative algebras and codimension growth
2011
AbstractLet A be a (non-necessarily associative) finite-dimensional algebra over a field of characteristic zero. A quantitative estimate of the polynomial identities satisfied by A is achieved through the study of the asymptotics of the sequence of codimensions of A. It is well known that for such an algebra this sequence is exponentially bounded.Here we capture the exponential rate of growth of the sequence of codimensions for several classes of algebras including simple algebras with a special non-degenerate form, finite-dimensional Jordan or alternative algebras and many more. In all cases such rate of growth is integer and is explicitly related to the dimension of a subalgebra of A. One…
An almost nilpotent variety of exponent 2
2013
We construct a non-associative algebra A over a field of characteristic zero with the following properties: if V is the variety generated by A, then V has exponential growth but any proper subvariety of V is nilpotent. Moreover, by studying the asymptotics of the sequence of codimensions of A we deduce that exp(V) = 2.
Improved constructions of quantum automata
2008
We present a simple construction of quantum automata which achieve an exponential advantage over classical finite automata. Our automata use \frac{4}{\epsilon} \log 2p + O(1) states to recognize a language that requires p states classically. The construction is both substantially simpler and achieves a better constant in the front of \log p than the previously known construction of Ambainis and Freivalds (quant-ph/9802062). Similarly to Ambainis and Freivalds, our construction is by a probabilistic argument. We consider the possibility to derandomize it and present some results in this direction.
Proper identities, Lie identities and exponential codimension growth
2008
Abstract The exponent exp ( A ) of a PI-algebra A in characteristic zero is an integer and measures the exponential rate of growth of the sequence of codimensions of A [A. Giambruno, M. Zaicev, On codimension growth of finitely generated associative algebras, Adv. Math. 140 (1998) 145–155; A. Giambruno, M. Zaicev, Exponential codimension growth of P.I. algebras: An exact estimate, Adv. Math. 142 (1999) 221–243]. In this paper we study the exponential rate of growth of the sequences of proper codimensions and Lie codimensions of an associative PI-algebra. We prove that the corresponding proper exponent exists for all PI-algebras, except for some algebras of exponent two strictly related to t…
Size of Quantum Finite State Transducers
2007
Sizes of quantum and deterministic finite state transducers are compared in the case when both quantum and deterministic finite state transducers exist. The difference in size may be exponential.
On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards
2007
The guarded fragment of first-order logic, GF, enjoys the finite model property, so the satisfiability and the finite satisfiability problems coincide. We are concerned with two extensions of the two-variable guarded fragment that do not possess the finite model property, namely, GF2 with equivalence and GF2 with transitive guards. We prove that in both cases every finitely satisfiable formula has a model of at most double exponential size w.r.t. its length. To obtain the result we invent a strategy of building finite models that are formed from a number of multidimensional grids placed over a cylindrical surface. The construction yields a 2NEXPTIME-upper bound on the complexity of the fini…