Research Article Necklaces, Self-Reciprocal Polynomials, and q-cycles

Similar documents
Research Article Characterization and Enumeration of Good Punctured Polynomials over Finite Fields

Divisibility of Trinomials by Irreducible Polynomials over F 2

HILBERT l-class FIELD TOWERS OF. Hwanyup Jung

Research Article Remarks on Asymptotic Centers and Fixed Points

Research Article New Partition Theoretic Interpretations of Rogers-Ramanujan Identities

PURELY PERIODIC SECOND ORDER LINEAR RECURRENCES

Section 33 Finite fields

Research Article On the Modified q-bernoulli Numbers of Higher Order with Weight

Homework 8 Solutions to Selected Problems

Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman

Pencils of Quadratic Forms over Finite Fields

On Permutation Polynomials over Local Finite Commutative Rings

On the Primitivity of Trinomials over Small Finite Fields

Repeated-Root Self-Dual Negacyclic Codes over Finite Fields

Research Article Some Congruence Properties of a Restricted Bipartition

Research Article Attracting Periodic Cycles for an Optimal Fourth-Order Nonlinear Solver

Section VI.33. Finite Fields

On a Balanced Property of Compositions

Research Article Convergence Theorems for Infinite Family of Multivalued Quasi-Nonexpansive Mappings in Uniformly Convex Banach Spaces

Research Article r-costar Pair of Contravariant Functors

Section X.55. Cyclotomic Extensions

PERFECT POLYNOMIALS OVER F p WITH p + 1 IRREDUCIBLE DIVISORS. 1. Introduction. Let p be a prime number. For a monic polynomial A F p [x] let d

An Approach to Hensel s Lemma

Research Article Some New Explicit Values of Quotients of Ramanujan s Theta Functions and Continued Fractions

A Structure of KK-Algebras and its Properties

Research Article On Polynomials of the Form x r f (x (q 1)/l )

Research Article Fourier Series of the Periodic Bernoulli and Euler Functions

Self-reciprocal Polynomials Over Finite Fields

Research Article A Parameter for Ramanujan s Function χ(q): Its Explicit Values and Applications

Quasi-reducible Polynomials

Good Integers and Applications in Coding Theory. Silpakorn University

A connection between number theory and linear algebra

Information Theory. Lecture 7

The primitive root theorem

Introduction to finite fields

Research Article Parametric Evaluations of the Rogers-Ramanujan Continued Fraction

but no smaller power is equal to one. polynomial is defined to be

LECTURE NOTES IN CRYPTOGRAPHY

Research Article On Prime Near-Rings with Generalized Derivation

Section IV.23. Factorizations of Polynomials over a Field

Research Article Some Monotonicity Properties of Gamma and q-gamma Functions

Part II Galois Theory

TC10 / 3. Finite fields S. Xambó

Research Article Divisibility Criteria for Class Numbers of Imaginary Quadratic Fields Whose Discriminant Has Only Two Prime Factors

Algebra Review 2. 1 Fields. A field is an extension of the concept of a group.

Research Article Some Generalizations of Fixed Point Results for Multivalued Contraction Mappings

We are IntechOpen, the world s leading publisher of Open Access books Built by scientists, for scientists. International authors and editors

Research Article Fast Constructions of Quantum Codes Based on Residues Pauli Block Matrices

SUMS OF SECOND ORDER LINEAR RECURRENCES THOMAS MCKENZIE AND SHANNON OVERBAY

MATH 361: NUMBER THEORY FOURTH LECTURE

GALOIS THEORY. Contents

PROBLEMS ON CONGRUENCES AND DIVISIBILITY

Research Article A Note about the General Meromorphic Solutions of the Fisher Equation

Research Article Existence of Strong Coupled Fixed Points for Cyclic Coupled Ciric-Type Mappings

Research Article Uniqueness Theorems on Difference Monomials of Entire Functions

Research Article Some New Fixed-Point Theorems for a (ψ, φ)-pair Meir-Keeler-Type Set-Valued Contraction Map in Complete Metric Spaces

g(x) = 1 1 x = 1 + x + x2 + x 3 + is not a polynomial, since it doesn t have finite degree. g(x) is an example of a power series.

Abstract Algebra, Second Edition, by John A. Beachy and William D. Blair. Corrections and clarifications

Research Article Constrained Solutions of a System of Matrix Equations

DICKSON POLYNOMIALS OVER FINITE FIELDS. n n i. i ( a) i x n 2i. y, a = yn+1 a n+1 /y n+1

Research Article k-tuple Total Domination in Complementary Prisms

Research Article Minor Prime Factorization for n-d Polynomial Matrices over Arbitrary Coefficient Field

17 Galois Fields Introduction Primitive Elements Roots of Polynomials... 8

Chapter 14: Divisibility and factorization

Section V.6. Separability

Research Article Some Identities of the Frobenius-Euler Polynomials

Research Article Polynomial GCD Derived through Monic Polynomial Subtractions

ON PERMUTATION POLYNOMIALS OF PRESCRIBED SHAPE

Research Article A New Class of Meromorphic Functions Associated with Spirallike Functions

Research Article The Adjacency Matrix of One Type of Directed Graph and the Jacobsthal Numbers and Their Determinantal Representation

Research Article Unicity of Entire Functions concerning Shifts and Difference Operators

Research Article Improved Estimators of the Mean of a Normal Distribution with a Known Coefficient of Variation

Math 2070BC Term 2 Weeks 1 13 Lecture Notes

Classification of Finite Fields

Galois fields/1. (M3) There is an element 1 (not equal to 0) such that a 1 = a for all a.

Research Article On Factorizations of Upper Triangular Nonnegative Matrices of Order Three

Skew Cyclic and Quasi-Cyclic Codes of Arbitrary Length over Galois Rings

Research Article On the System of Diophantine Equations

FIXED-POINT FREE ENDOMORPHISMS OF GROUPS RELATED TO FINITE FIELDS

Rings in Coding Theory

Domination in Cayley Digraphs of Right and Left Groups

Research Article Translative Packing of Unit Squares into Squares

Research Article Approximation of Analytic Functions by Bessel s Functions of Fractional Order

1. Factorization Divisibility in Z.

MATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences.

Necklaces, periodic points and permutation representations

A New Approach to Permutation Polynomials over Finite Fields

Explicit classes of permutation polynomials of F 3

Research Article The Dirichlet Problem on the Upper Half-Space

Research Article The Zeros of Orthogonal Polynomials for Jacobi-Exponential Weights

Research Article Localization and Perturbations of Roots to Systems of Polynomial Equations

Notes on Primitive Roots Dan Klain

Finite fields: some applications Michel Waldschmidt 1

Minimal Polynomials of Algebraic Cosine Values at Rational Multiples of π

Research Article Continued Fractions of Order Six and New Eisenstein Series Identities

2. THE EUCLIDEAN ALGORITHM More ring essentials

A Note on Powers in Finite Fields

Research Article Classification Formula and Generation Algorithm of Cycle Decomposition Expression for Dihedral Groups

Research Article The Solution Set Characterization and Error Bound for the Extended Mixed Linear Complementarity Problem

9. Finite fields. 1. Uniqueness

Transcription:

International Combinatorics, Article ID 593749, 4 pages http://dx.doi.org/10.1155/2014/593749 Research Article Necklaces, Self-Reciprocal Polynomials, and q-cycles Umarin Pintoptang, 1,2 Vichian Laohakosol, 3 and Suton Tadee 4 1 Department of Mathematics, Faculty of Science, Naresuan University, Phitsanulok 65000, Thailand 2 Centre of Excellence in Mathematics, CHE, Si Ayutthaya Road, Bangkok 10400, Thailand 3 Department of Mathematics, Faculty of Science, Kasetsart University, Bangkok 10900, Thailand 4 Department of Mathematics and Statistics, Faculty of Science and Technology, Thepsatri Rajabhat University, Lopburi 15000, Thailand Correspondence should be addressed to Vichian Laohakosol; fscivil@ku.ac.th Received 16 June 2014; Revised 16 October 2014; Accepted 16 October 2014; Published 9 November 2014 Academic Editor: Toufik Mansour Copyright 2014 Umarin Pintoptang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Let n 2be a positive integer and q a prime power. Consider necklaces consisting of n beads, each of which has one of the given q colors. A primitive C n -orbit is an equivalence class of n necklaces closed under rotation. A C n -orbit is self-complementary when it is closed under an assigned color matching. In the work of Miller (1978), it is shown that there is a 1-1 correspondence between the set of primitive, self-complementary C n -orbits and that of self-reciprocal irreducible monic (srim) polynomials of degree n.letn be a positiveinteger relatively primetoq.a q-cycle mod N is a finite sequence of nonnegative integers closed under multiplication by q. In the work of Wan (2003), it is shown that q-cycles mod N are closely related to monic irreducible divisors of x N 1 F q [x]. Here, we show that: (1) q-cycles can be used to obtain information about srim polynomials; (2) there are correspondences among certain q-cycles and C n -orbits; (3) there are alternative proofs of Miller s results in the work of Miller (1978) based on the use of q-cycles. 1. Introduction 1.1. Necklaces. Let n N, n 2,andletq be a prime power. Consider the set η (n, q) = {(c 0,c 1,...,c n 1 ) ; c i {0,1,...,q 1}} (1) of all necklaces (or seating arrangements) consisting of n beads, each of which is colored with one of q colors denoted by 0,1,...,q 1.Clearly, η(n, q) = q n. Partition the colors into [q/2] pairs with one extra color if q is odd. Two colors in the same pair are called complementary,andifq is odd the extra color is called self-complementary. The complement of color c is so arranged as the color q 1 c.let C n ={e:=r 0,r,r 2,...,r n 1 } (2) be the cyclic group of order n; thegroupc n acts on η(n, q) via r k (k {0,1,...,n 1})rotating each bead k-times. Let H = {e,h} be the group which acts on η(n, q) via e, the identity, preserving each color and h replacing each color by its complement. Each equivalence class of elements in η(n, q) undertheactionofc n is called a C n -orbit. ForaC n - orbit O, the element h(o) is an equivalence class derived from O through the action h H.AC n -orbit O is called a self-complementary if it is invariant under H; thatis,o = h(o).theremainingc n -orbits fall into pairs {O,h(O)} called complementary pairs.anecklaceinη(n, q) is called primitive if its C n -orbit has cardinality n. 1.2. Self-Reciprocal, Irreducible, Monic Polynomials. Let F q denote the finite field of q elements. The reciprocal polynomial f of f (x) =a n x n +a n 1 x n 1 + +a 1 x+a 0 F q [x], a n =0 (3) is defined by f (x) =x n f ( 1 x ) =a 0x n +a 1 x n 1 + +a n 1 x+a n. (4)

2 International Combinatorics Apolynomialf F q [x] is called self-reciprocal if f(x) = f (x). The following characterization is well known. Proposition 1 (see [1,page275]). Let f F q [x] be irreducible and monic of degree 2. Thenf is self-reciprocal if and only ifitssetofroots(eachofwhichisevidentlynonzero)isclosed underinversion(andsoitsdegreemustbeeven). We are interested here in self-reciprocal, irreducible, monic (srim) polynomials in F q [x]. Since there is only one first degree srim-polynomial, namely, x+1, from nowon we treat only srim-polynomials of even degree 2. Let α be a generator (primitive element) of the group F q n and let f(x) F q [x] be an irreducible monic polynomial of degree n. It is well known[2, Theorem 2.14]that all distinct roots of f(x) are of the form α k,α qk,α q2k,...,α qn 1 k (5) for some integer 0 k q n 1.Let k= n 1 i=0 0 e i q 1 e i q i := (e 0,e 1,...,e n 1 ), (i=0,1,...,n 1) be its base q expansion. For an irreducible, monic f(x) F q [x] of degree n, weassociateac n -orbit containing the necklace k:=(e 0,e 1,...,e n 1 ). 1.3. q-cycles. Let N be a fixed positive integer relatively prime to q. Leta 0,a 1,...,a l 1 be l distinct numbers chosen from Z N :={0,1,...,N 1}.If a i q a i+1 modn (i=0,1,...,l 2) (7) (a 0 q l ) a l 1 q a 0 modn, then we say that (a 0,a 1,...,a l 1 ) forms a q-cycle modn with leading element a 0,andcalll the length of this q-cycle. The notion of q-cycles was introduced by Wan in his book [3,page 203]. Since q on(q) 1mod N,whereo N (q) is the order of q in Z N := Z N \{0}(the multiplicative group of nonzero integers modulo N), it clearly follows that each q-cycle always has a unique length l which is the least positive integer l for which a aq l mod N. The concept of q-cycles is important because of the following connections with irreducible polynomials in F q [x] [3, Theorem 9.11]. Let α be a primitive Nth root of unity (if the order of q in Z N is m, then there exists a primitive Nth root of unity in F q m). If (a 0,a 1,...,a l 1 ) is a q-cycle, then (6) h (x) =(x α a 0 )(x α a 1 ) (x α a l 1 ) (8) is a monic irreducible factor of x N 1in F q [x]. Conversely, if h(x) is a monic irreducible factor of x N 1 in F q [x], thenalltherootsofh(x) are powers of α whose exponents form a q-cycle. We henceforth refer to these two facts as the cyclepolynomial correspondence. 2. Connection between q-cycles and Irreducible Polynomials We start with a basic result. Lemma 2. Let N = N 1 > N 2 > > N d = 1 be all the (positive integer) divisors of N. (i) If b Z N is such that gcd(b, N) = N r for some r {1,...,d},theneachq-cycle modn with leading element b has length o N/Nr (q). (ii) The polynomial f F q [x] constructed via (8) from a q-cycle with leading element b, gcd(b, N) = N r (r {1,...,d}), is a monic irreducible polynomial with f(0) =0,anddeg(f) = o N/Nr (q). (iii) Each irreducible polynomial f F q [x] with f(0) = 0, anddeg(f) = o Nr (q) is an irreducible factor of x N 1arising, through (8),fromaq-cycle with leading element b, gcd(b, N) = N/N r. Proof. (i) Note from the definition of q-cycle that a q-cycle modn, with leading element b and gcd(b, N) = N r,has length l if and only if N/N r divides q l 1but does not divide q 1,q 2 1,...,q l 1 1(if l=1, only the first divisibility needs to be considered). This defining condition of l is indeed the meaning of o N/Nr (q). (ii)-(iii) From part (i), each q-cycle modn with leading element b,gcd(b, N) = N r,haslengtho N/Nr (q).throughthe cycle-polynomial correspondence, such a q-cycle gives rise to a monic irreducible f F q [x], f(0) =0, of degree o N/Nr (q) and conversely. By Lemma 2(i), a q-cycle modq m +1with leading element b=1has length o q m +1(q).Sinceq 2m 1modq m +1,we have o q m +1 (q) 2m.Fromtheobservationthato q m +1(q) > m, we immediately obtain o q m +1(q) = 2m, and hence, a q-cycle modq m +1with leading element b=1has length 2m. The case N=q m +1is of particular interest for it shows thatq-cycles are closely related to srim-polynomials. Theorem 3. Let m N. Theneachq-cycle modq m +1 of length 2m gives rise through the cycle-polynomial correspondence to a srim-polynomial in F q [x] of degree 2m and conversely. Proof. Let (a = a 0,...,a 2m 1 ) be a q-cycle modq m +1of length 2m. ByLemma 2, thisq-cycle gives rise, through (8), to a monic irreducible polynomial in F q [x] of degree 2m and conversely. There remains only to check that such polynomial is self-reciprocal, that is, to check that, for α being a primitive (q m +1)th root of unity, the set {α a,α qa,...,α aq2m 1 } is closed under inversion. Let gcd(a, q m +1) = g.puttinga = gb, where b N,issuchthatgcd(b, q m +1)=1.Sinceα b is also a primitive (q m +1)throot of unity, it suffices to treat only the case a=g. The assertion that the set {α a,α qa,...,α aq2m 1 } is closed under inversion is immediate from α qm =α 1 and the observation that α gqj =α gqm+j for j {0,1,...,m 1}.

International Combinatorics 3 3. Connection between Necklaces and q-cycles We start with a characterization of primitive necklaces. In the proof of our next theorem, we make use of a 1-1 correspondence between a necklace (d 0,d 1,...,d n 1 ) and a base q representation of the form d 0 +d 1 q+ +d n 1 q n 1. Theorem 4. Let (c 0,c 1,...,c n 1 ) be a primitive necklace in a C n -orbit. Then this C n -orbit is self-complementary if and only if there exists s {0,1,...,n 1}such that c s+j modn +c j modn =q 1 j {0,1,...,n 1}. (9) If O is self-complementary, then there exists s {0,1,...,n 1} such that L s =h(l 0 );thatis, c s +c s+1 q+ +c s+(n s 1) q n s 1 +c 0 q n s +c 1 q n s+1 + +c s 1 q n s+s 1 =(q 1 c 0 )+(q 1 c 1 )q+ +(q 1 c n 1 )q n 1, (14) yielding c s =q 1 c 0, Proof. The C n -orbit containing a primitive necklace (c 0,c 1,...,c n 1 ) is of the form O = {(c 0,c 1,...,c n 1 ),(c 1,c 2,...,c n 1,c 0 ), c s+1 =q 1 c 1,...,c s+(n s 1) =q 1 c n s 1, c 0 =q 1 c n s, c 1 =q 1 c n (s 1),...,c s 1 =q 1 c n 1, (15) (c 2,c 3,...,c n 1,c 0,c 1 ),...,(c n 1,c 0,c 1,...,c n 2 )}, (10) where all the necklaces in O are distinct. From the 1-1 correspondence mentioned above, the base q representations of the elements in O are L 0 c 0 +c 1 q+ +c n 1 q n 1, L 1 c 1 +c 2 q+ +c n 1 q n 2 +c 0 q n 1, L 2 c 2 +c 3 q+ +c 0 q n 2 +c 1 q n 1,..., L n 1 c n 1 +c 0 q+c 1 q 2 + +c n 2 q n 1. From the definition, O is self-complementary if and only if where (11) {L 0,L 1,...,L n 1 } = {h (L 0 ),h(l 1 ),...,h(l n 1 )}, (12) h(l 0 ) (q 1 c 0 )+(q 1 c 1 )q+ +(q 1 c n 1 )q n 1 h(l 1 ) (q 1 c 1 )+(q 1 c 2 )q+ +(q 1 c n 1 )q n 2 +(q 1 c 0 )q n 1 h(l 2 ) (q 1 c 2 )+(q 1 c 3 )q+. +(q 1 c 0 )q n 2 +(q 1 c 1 )q n 1 h(l n 1 ) (q 1 c n 1 )+(q 1 c 0 )q+(q 1 c 1 )q 2 + +(q 1 c n 2 )q n 1. (13) which is (9). On the other hand, if (9) holds, reversing the abovestepsandappealingtotheactionofr k,weseethato is self-complementary. By the proof of Lemma 2(i), a q-cycle modq n 1with leading element b=1has length n.thecasen=q n 1shows that q-cycles are related to C n -orbits containing a primitive necklace. Let (a 0,a 1,...,a n 1 ) be a q-cycle modq n 1of length n. Then a 0,a 1,...,a n 1 are n distinct numbers in {0,1,...,q n 2} satisfying a i q a i+1 modq n 1 (i=0,1,...,n 2) (a 0 q n ) a n 1 q a 0 modq n 1. Writing with respect to base q representation, we have a 0 := e 0 +e 1 q+ +e n 1 q n 1, 0 e i q 1 (i=0,1,...,n 1), (16) (17) and associate with a 0 the necklace (e 0,e 1,...,e n 1 ).Working modq n 1,weget a 1 =qa 0 =e 0 q+e 1 q 2 + +e n 2 q n 1 +e n 1, (18) showing that the necklace associated with a 1 is (e n 1,e 0,e 1,...,e n 2 ). Proceeding in the same manner, we see that the necklace associated with a j (j=0,1,...,n 1)is (e n j modn,e n j+1 modn,...,e n j 1 modn ). (19) Since a 0,a 1,...,a n 1 aredistinct,thenecklacesassociated with each a i are distinct, and so the necklace (e 0,e 1,...,e n 1 ) is primitive. The above steps can evidently be reversed and we have thus proved. Theorem 5. For n N, there is a 1-1 correspondence between the set of q-cycles modq n 1of length n and the set of C n -orbits containing a primitive necklace.

4 International Combinatorics We proceed next to consider self-complemantary orbits and q-cycles. Let (b 0,b 1,...,b 2m 1 ) be a q-cycle modq m +1 of length 2m so that b i q b i+1 modq m +1 (i=0,1,...,2m 2). (20) By Theorem 3,thepolynomial h (x) = (x β b 0 )(x β b 1 ) (x β b 2m 1 ) (21) is a srim-polynomial of degree 2m over F q,whereβ is a primitive (q m +1)th root of unity. Let α be a primitive (q 2m 1)th root of unity. Then we may take β=α qm 1. (22) Writing b 0 Z q m +1 with respect to base q representation, we get b 0 =f 0 +f 1 q+ +f m 1 q m 1 or b 0 =q m. (23) Now working modq 2m 1,wehaveeither (q m 1)b 0 f 0 q m +f 1 q m+1 + +f m 1 q 2m 1 f 0 f 1 q f m 1 q m 1 modq 2m 1 (q f 0 )+(q 1 f 1 )q+ +(q 1 f m 1 )q m 1 +(f 0 1)q m +f 1 q m+1 + +f m 1 q 2m 1 modq 2m 1, (24) provided f 0 =0(if f 0 =0,theabovecongruencescanbe adjusted accordingly), or (q m 1)b 0 = (q m 1)q m (q 1)q m +(q 1)q m+1 + Letting +(q 1)q 2m 1 modq 2m 1. (25) a 0 := e 0 +e 1 q+ +e m 1 q m 1 +e m q m +e m+1 q m+1 (26) + +e 2m 1 q 2m 1 be the right-hand expression in (24) or (25),weseethat q 1=e 0 +e m =e 1 +e m+1 = =e m 1 +e 2m 1 ; (27) that is, the relation (9) holds with n = 2m, r = m + 1. Proceeding in the same manner, we see that the digits in (q m 1)b j := a j also satisfy the relation (9). Theorem 4 shows then that (a 0,a 1,...,a 2m 1 ) represents a primitive necklace in aself-complementaryc 2m -orbit. Conversely, given a self-complementary C 2m -orbit containing a primitive necklace (a 0,a 1,...,a 2m 1 ) whose first element is of the form (26), being self-complementary, we may assume without loss of generality that the digits in the first element are so arranged that the relations in (27) hold. Reversing the arguments, we get a q-cycle modq m +1of length 2m of the form (b 0,b 1,...,b 2m 1 ),where(q m 1)b j = a j (j=0,1,...,2m 1).Wehavethusproved. Theorem 6. For m N, there is a 1-1 correspondence between the set of q-cycles modq m +1of length 2m and the set of selfcomplementary C 2m -orbits containing a primitive necklace. An immediate consequence of Theorem 6 is the following result of Miller [4] mentionedin the introduction. Corollary 7. For m N, there is a 1-1 correspondence between the set of self-complementary C 2m -orbits containing a primitive necklace and the set of srim polynomials of degree 2m. Proof. From the cycle-polynomial correspondence, each qcycle modq m +1of length 2m gives rise, through (21), toa srim-polynomial of degree 2m and conversely. The corollary follows at once from Theorem 6. Conflict of Interests The authors declare that there is no conflict of interests regarding the publication of this paper. Acknowledgments This paper is supported by the Centre of Excellence in Mathematics, the Commission on Higher Education, Thailand, and by Kasetsart University and Faculty of Science through Research Cluster Fund (KU SciRCF, Cluster 4, no. 1). References [1] J. L. Yucas and G. L. Mullen, Self-reciprocal irreducible polynomials over finite fields, Designs, Codes and Cryptography,vol. 33,no.3,pp.275 281,2004. [2] R. Lidl and H. Niederreiter, Finite Fields, Cambridge University Press, Cambridge, UK, 1997. [3] Z.-X. Wan, Lectures on Finite Fields and Galois Rings, World Scientific, Singapore, 2003. [4] R. L. Miller, Necklaces, symmetries and self-reciprocal polynomials, Discrete Mathematics,vol.22,no.1,pp.25 33,1978.

Operations Research Decision Sciences Applied Mathematics Algebra Probability and Statistics The Scientific World Journal International Differential Equations Submit your manuscripts at International Combinatorics Mathematical Physics Complex Analysis International Mathematics and Mathematical Sciences Mathematical Problems in Engineering Mathematics Discrete Mathematics Discrete Dynamics in Nature and Society Function Spaces Abstract and Applied Analysis International Stochastic Analysis Optimization