scholarly journals A Class of Nonassociative Algebras

2007 ◽  
Vol 14 (02) ◽  
pp. 313-326 ◽  
Author(s):  
Michel Goze ◽  
Elisabeth Remm

In this paper, we classify the nonassociative algebras whose associator satisfies relations defined by a natural action of the symmetric group of degree 3.

1998 ◽  
Vol 5 (19) ◽  
Author(s):  
Søren Riis ◽  
Meera Sitharam

We introduce methods to generate uniform families of hard propositional tautologies. The tautologies are essentially generated from a single propositional formula by a natural action of the symmetric group Sn.<br />The basic idea is that any Second Order Existential sentence Psi can be systematically translated into a conjunction phi of a finite collection of clauses such that the models of size n of an appropriate Skolemization Psi~   are in one-to-one correspondence with the satisfying assignments to phi_n: the Sn-closure of phi, under a natural action of the symmetric group Sn. Each phi_n is a CNF and thus has depth at most 2. The size of the phi_n's is bounded by a polynomial in n. Under the assumption NEXPTIME |= co- NEXPTIME, for any such sequence phi_n for which the spectrum S := {n : phi_n satisfiable} is NEXPTIME-complete, the tautologies not phi_(n not in S) do not have polynomial length proofs in any propositional proof system.<br /> Our translation method shows that most sequences of tautologies being studied in propositional proof complexity can be systematically generated from Second Order Existential sentences and moreover, many natural mathematical statements can be converted into sequences of propositional tautologies in this manner.<br /> We also discuss algebraic proof complexity issues for such sequences of tautologies. To this end, we show that any Second Order Existential sentence  Psi    can be systematically translated into a finite collection of polynomial equations Q = 0 such that the models of size n of an appropriate skolemization Psi~   are in one-to-one correspondence with the solutions to Qn = 0: the Sn-closure of Q = 0, under a natural action of the symmetric group Sn. The degree of Qn is the same as that of Q, and hence is independent of n, and the number of variables is no more than a polynomial in n. Furthermore, using results in [19] and [20], we briefly describe how, for the corresponding sequences of tautologies phi_n, the rich structure of the Sn closed, uniformly generated, algebraic systems Qn has profound consequences on the algebraic proof complexity of phi_n.


2018 ◽  
Vol 39 (11) ◽  
pp. 2881-2895
Author(s):  
B. MITCHELL BAKER ◽  
THIERRY GIORDANO ◽  
RADU B. MUNTEANU

In this paper we show that the natural action of the symmetric group acting on the product space $\{0,1\}^{\mathbb{N}}$ endowed with a Bernoulli measure is approximately transitive. We also extend the result to a larger class of probability measures.


2020 ◽  
Vol 23 (4) ◽  
pp. 659-696
Author(s):  
Alexander Bors

AbstractWe study finite groups G such that the maximum length of an orbit of the natural action of the automorphism group {\mathrm{Aut}(G)} on G is bounded from above by a constant. Our main results are the following: Firstly, a finite group G only admits {\mathrm{Aut}(G)}-orbits of length at most 3 if and only if G is cyclic of one of the orders 1, 2, 3, 4 or 6, or G is the Klein four group or the symmetric group of degree 3. Secondly, there are infinitely many finite (2-)groups G such that the maximum length of an {\mathrm{Aut}(G)}-orbit on G is 8. Thirdly, the order of a d-generated finite group G such that G only admits {\mathrm{Aut}(G)}-orbits of length at most c is explicitly bounded from above in terms of c and d. Fourthly, a finite group G such that all {\mathrm{Aut}(G)}-orbits on G are of length at most 23 is solvable.


Author(s):  
HEATHER M. RUSSELL ◽  
JULIANNA S. TYMOCZKO

AbstractSpringer varieties are studied because their cohomology carries a natural action of the symmetric group Sn and their top-dimensional cohomology is irreducible. In his work on tangle invariants, Khovanov constructed a family of Springer varieties Xn as subvarieties of the product of spheres (S2)n. We show that if Xn is embedded antipodally in (S2)n then the natural Sn-action on (S2)n induces an Sn-representation on the image of H∗(Xn). This representation is the Springer representation. Our construction admits an elementary (and geometrically natural) combinatorial description, which we use to prove that the Springer representation on H∗(Xn) is irreducible in each degree. We explicitly identify the Kazhdan-Lusztig basis for the irreducible representation of Sn corresponding to the partition (n/2, n/2).


2003 ◽  
Vol 68 (2) ◽  
pp. 317-324 ◽  
Author(s):  
D. G. FitzGerald

The monoid n of uniform block permutations is the factorisable inverse monoid which arises from the natural action of the symmetric group on the join semilattice of equivalences on an n-set; it has been described in the literature as the factorisable part of the dual symmetric inverse monoid. The present paper gives and proves correct a monoid presentation forn. The methods involved make use of a general criterion for a monoid generated by a group and an idempotent to be inverse, the structure of factorisable inverse monoids, and presentations of the symmetric group and the join semilattice of equivalences on an n-set.


Author(s):  
Heather M Russell ◽  
Julianna Tymoczko

Abstract Webs are planar graphs with boundary that describe morphisms in a diagrammatic representation category for $\mathfrak{sl}_k$. They are studied extensively by knot theorists because braiding maps provide a categorical way to express link diagrams in terms of webs, producing quantum invariants like the well-known Jones polynomial. One important question in representation theory is to identify the relationships between different bases; coefficients in the change-of-basis matrix often describe combinatorial, algebraic, or geometric quantities (e.g., Kazhdan–Lusztig polynomials). By ”flattening” the braiding maps, webs can also be viewed as the basis elements of a symmetric group representation. In this paper, we define two new combinatorial structures for webs: band diagrams and their one-dimensional projections, shadows, which measure depths of regions inside the web. As an application, we resolve an open conjecture that the change of basis between the so-called Specht basis and web basis of this symmetric group representation is unitriangular for $\mathfrak{sl}_3$-webs ([ 33] and [ 29].) We do this using band diagrams and shadows to construct a new partial order on webs that is a refinement of the usual partial order. In fact, we prove that for $\mathfrak{sl}_2$-webs, our new partial order coincides with the tableau partial order on webs studied by the authors and others [ 12, 17, 29, 33]. We also prove that though the new partial order for $\mathfrak{sl}_3$-webs is a refinement of the previously studied tableau order, the two partial orders do not agree for $\mathfrak{sl}_3$.


1995 ◽  
Vol 46 (2) ◽  
pp. 201-234 ◽  
Author(s):  
JOANNA SCOPES
Keyword(s):  

2019 ◽  
Vol 62 (S1) ◽  
pp. S14-S27 ◽  
Author(s):  
ISABEL CUNHA ◽  
ALBERTO ELDUQUE

AbstractThe exceptional simple Lie algebras of types E7 and E8 are endowed with optimal $\mathsf{SL}_2^n$ -structures, and are thus described in terms of the corresponding coordinate algebras. These are nonassociative algebras which much resemble the so-called code algebras.


2020 ◽  
pp. 1-18
Author(s):  
ANTHONY H. DOOLEY ◽  
KIERAN JARRETT

Abstract We adapt techniques developed by Hochman to prove a non-singular ergodic theorem for $\mathbb {Z}^d$ -actions where the sums are over rectangles with side lengths increasing at arbitrary rates, and in particular are not necessarily balls of a norm. This result is applied to show that the critical dimensions with respect to sequences of such rectangles are invariants of metric isomorphism. These invariants are calculated for the natural action of $\mathbb {Z}^d$ on a product of d measure spaces.


Sign in / Sign up

Export Citation Format

Share Document