04. Rukhin-Final5a-116-1.Qxd

Total Page:16

File Type:pdf, Size:1020Kb

04. Rukhin-Final5a-116-1.Qxd Volume 116, Number 1, January-February 2011 Journal of Research of the National Institute of Standards and Technology [J. Res. Natl. Inst. Stand. Technol. 116, 539-556 (2011)] Maximum Likelihood and Restricted Likelihood Solutions in Multiple-Method Studies Volume 116 Number 1 January-February 2011 Andrew L. Rukhin A formulation of the problem of considered to be known an upper bound combining data from several sources is on the between-method variance is National Institute of Standards discussed in terms of random effects obtained. The relationship between and Technology, models. The unknown measurement likelihood equations and moment-type Gaithersburg, MD 20899-8980 precision is assumed not to be the same equations is also discussed. for all methods. We investigate maximum likelihood solutions in this model. By representing the likelihood equations as Key words: DerSimonian-Laird simultaneous polynomial equations, estimator; Groebner basis; [email protected] the exact form of the Groebner basis for heteroscedasticity; interlaboratory studies; their stationary points is derived when iteration scheme; Mandel-Paule algorithm; there are two methods. A parametrization meta-analysis; parametrized solutions; of these solutions which allows their polynomial equations; random effects comparison is suggested. A numerical model. method for solving likelihood equations is outlined, and an alternative to the maximum likelihood method, the restricted Accepted: August 20, 2010 maximum likelihood, is studied. In the situation when methods variances are Available online: http://www.nist.gov/jres 1. Introduction: Meta Analysis and difficult when the unknown measurement precision Interlaboratory Studies varies among methods whose summary results may not seem to conform to the same measured property. This article is concerned with mathematical aspects Reference [6] provides some practical suggestions for of an ubiquitous problem in applied statistics: how to dealing with the problem. combine measurement data nominally on the same In this paper we investigate the ML solutions of the property by methods, instruments, studies, medical random effects model which is formulated in Sec. 2. By centers, clusters or laboratories of different precision. representing the likelihood equations as simultaneous One of the first approaches to this problem was sug- polynomial equations, the so-called Groebner basis gested by Cochran [1], who investigated maximum for them is derived when there are two sources. A likelihood (ML) estimates for one-way, unbalanced, parametrization of such solutions is suggested in heteroscedastic random-effects model. Cochran re- Sec. 2.1. The maxima of the likelihood function are turned to this problem throughout his career [2, 3], and compared for positive and zero between-labs variance. Ref. [4] reviews this work. Reference [5] discusses A numerical method for solving likelihood equations applications in metrology and gives more references. by reducing them to an optimization problem for a The problem of combining data from several sources homogeneous objective function is given in Sec. 2.2. is central to the broad field of meta-analysis. It is most An alternative to the ML method, the restricted maxi- 539 Volume 116, Number 1, January-February 2011 Journal of Research of the National Institute of Standards and Technology σ^ 2 mum likelihood is considered in Sec. 3. An explicit i = 0. In order to find these estimates one can replace formula for the restricted likelihood estimator is μ in (2) by discovered in Sec. 3.2 in the case of two methods. −1 Section 4 deals with the situation when methods ∑ x ()σσ22+ μ = i ii, (3) variances are considered to be known, and an upper σσ221+ − ∑ ()i bound on the between-method variance is obtained. i The Sec. 5 discusses the relationship between likeli- which reduces the number of parameters from p +2 to hood equations and moment-type equations, and p +1. Sec. 6 gives some conclusions. All auxiliary material Our goal is to represent the set of all stationary points related to an optimization problem and to elementary of the likelihood equations as solutions to simultaneous symmetric polynomials is collected in the Appendix. polynomial equations. To that end, note that −=μ 22 − 2 2. ML Method and Polynomial Equations ∑∑∑∑wi() x i wx ii ( wx ii )/() w i iiii(4) =−2 To model interlaboratory testing situation, denote by ∑∑wwij()/(). x i x j w i 1≤<ijp ≤ i ni the number of observations made in laboratory i, i = 1, ..., p, whose observations xij have the form This formula, which easily follows from the Lagrange identity [7, Sec. 1.3], will be used with xb=++με ij i ij . (1) σ 2 σ 2 −1 wi =( + i ) . We introduce a polynomial P of degree p in σ 2, Here μ is the true property value, b represents the i p method (or laboratory) effect, which is assumed to be PP==+=(,,,)σσ22 σ 2∏ ( σ 2 σ 2 )∑ σ 2 (5) σ 2 ε 1 pip− normal with mean 0 and unknown variance , and ij i =0 represent independent normal, zero mean random τ 2 ==σσ22 errors with unknown variances i . with (1 , ,p ), 0,1, ,p , denoting the -th ∑ For a fixed i, the i-th sample mean xi = j xij /ni is elementary symmetric polynomial. Another polynomial normally distributed with the mean μ and the variance of interest isQQ= (σσ22 , , , σ 2 ) having degree σ 2 + σ 2, where σ 2 = τ 2 /n . If the σ’s were known, then 1 p i i i i − σ 2 the best estimator of μ would be the weighted average p 2in , σ 2 σ 2 of xi with weights proportional to 1/( + i ). Since σσ22 σ 2=− 2 σ 2 + σ 2 these variances are unknown, the weights have to be Qxx(,,,)1 pijk∑ ( )∏ ( ) 2 σ 1≤<ijp ≤ kij≠ , estimated. Traditionally to evaluate i one uses the 2 ∑ − 2 p−2 classical unbiased statistic si = j (xij xi) /(nivi), 22 (6) 2 2 ==−σ v = n −1, which has the distribution σ χ (v )/v . Since ∑∑qxxPpijij−−2 (), i i i i i =≤<≤ 2 01ijp statistics xi , si , i = 1, ..., p, are sufficient, we use the ∂2 likelihood function based on them. wherePP= (σσ22 , , , σ 2 ) is a polynomial σ 2 σ 2 ij∂∂σσ22 1 p The ML solution minimizes in μ, , i , i = 1, ..., p, ij the negative logarithm of this function which is inσσσ222 of degreep − 2 which does not depend on , , proportional to ij = σσ22 σσ 22 andqq (11 , ,pp )isa multilinear formin , , . ()xvs− μ 22 L =++∑∑iii Since σσ22+ σ 2 ii (2) P′ ∂ 1 ii ==logP (σσ22 , , , σ 2 )∑ , σσ22++ σ 2 P ∂+σσσ2221 p (7) ∑∑log(iii )v log . k k ii the identity (4) can be written as σ^ 2 ()x − μ 2 QP/ Q It follows from (2) that if i is the ML estimator of ∑ k ==. (8) σ 2 σ^ 2 σσ22+ i , then i > 0. However, it is quite possible that k k P'/ P P' 540 Volume 116, Number 1, January-February 2011 Journal of Research of the National Institute of Standards and Technology σ 2 The negative log-likelihood function (2) in this variables, say, 2 . With n = n1 + n2, f = n + n2, σ 2 − 2 υ σ 2 − 2 2 − 2 notation is u = 1 /(x1 x2) , = 2 /(x1 x2) , z1 = v1s1 /(x1 x2) 2 − 2 and z2 = v2 s /(x1 x2) , under lexicographic order, 2 2 2 2 Q vs 2 σ σ LP=+log +∑∑ii + v logσ . (9) 1 > 2 , the Groebner basis for equations (13) written σ 2 ii P' iii in the form 22 2 +− +υ = Π σ +σ 2 uznuu()()0,11 Let Pi = k≠i ( k ) be the partial derivative of P (14) σ 2 with regard to i ; denote by Qi the same partial deriv- ′ ∑ 22 ative of Q and by Pi = j:j≠i Pij the derivative of υυυ+−()()0,zn u + = (15) ′ (σ2, σ2,…,σ 2 22 P p ). By differentiating (9), we see that the stationary points of (2) satisfy polynomial equations, consists of two polynomials, Gu(,υ )=++++ cu25 c υυυυ c 4 c 3 c 2 , σσ42+−+ σ 2 σ 4 2 101234 (16) iiiii()()()QP' QP' P' (10) cnzfz=++23[(1) nz ], +−vs()()0.σσσ222 + 2 P' = 012 1 12 ii i i =−23 + + 3 − 23 c121121222 nnfz nnn(3) nnz nnf , σ 2, =−32 + 32 + + 23 + Each of these polynomials has degree 4 in i cnnfznnnnnnnnzz22121121221222(442) 2 2 i =1,…, p. When σ = 0, P = ∏σ , and the equations 22222 i −+++nn(46) n n nn n z f n n z (10) simplify to 1121222 121 −++43 22234 + − n(5 n112121222 5 nn 8 nn 4 nn 4 n ) z 222 +++22 2 σσP()() Q P'−+ QP' P P' fn21(2 n nn 12 2), n 2 ii i ii (11) +−σ 22 2 = cfnznnnnnnnzz=−3332 +(4 + + 5 232 + 4) vsPP'ii()()0. ii 321211212212 −+43 + 22342 + + (2nnnnnnnnzz1121212212 8 12 7 2 ) These polynomials have degree 3 in σ 2. If σ2 > 0, in i +−+++33(3106)nnn23 z f n 32 z n 3 n n 22 n nn 3 zz 2 addition to (10) one has 12 2 21 1 2 1 2 12 12 ++−222 nn21(5 n 7 nn 1222 2 n ) z =+−′′′′′3 = (12) FP() ( QPQPP ) 0, ++++−−332233 3(264),fnz21 n 2 n 1 nn 1 2 nn 12 n 2 z 2 fn 2 2 =−22 + + and F has degree 3p−3 in σ . cnzzfznz4112112[(1) ], In both cases the collection of all stationary points and forms an affine variety whose structure can be studied υ=++++ υυυυυ5432(17) via the Groebner basis of the ideal of polynomials (11) Gu201234(, ) du d d d d , or (10) and (12) which vanish on this variety.
Recommended publications
  • Arxiv:1406.1948V2 [Math.GM] 18 Dec 2014 Hr = ∆ Where H Ouino 1 Is (1) of Solution the 1
    Solution of Polynomial Equations with Nested Radicals Nikos Bagis Stenimahou 5 Edessa Pellas 58200, Greece [email protected] Abstract In this article we present solutions of arbitrary polynomial equations in nested periodic radicals Keywords: Nested Radicals; Quintic; Sextic; Septic; Equations; Polynomi- als; Solutions; Higher functions; 1 A general type of equations Consider the following general type of equations ax2µ + bxµ + c = xν . (1) Then (1) can be written in the form b 2 ∆2 a xµ + = xν , (2) 2a − 4a where ∆ = √b2 4ac. Hence − 2 µ b ∆ 1 ν x = − + 2 + x (3) 2a r4a a Set now √d x = x1/d, d Q 0 , then ∈ + −{ } 2 µ b ∆ 1 x = − + + xν (4) s 2a 4a2 a arXiv:1406.1948v2 [math.GM] 18 Dec 2014 r hence µ/ν 2 ν b ∆ 1 ν x = − + 2 + x (5) s 2a r4a a Theorem 1. The solution of (1) is µ v 2 µ/ν 2 2 u b v ∆ 1 b ∆ 1 µ/ν b ∆ x = u− + u + v− + v + − + + ... (6) u 2a u4a2 a u 2a u4a2 a s 2a 4a2 u u u u r u u u t t t t 1 Proof. Use relation (4) and repeat it infinite times. Corollary 1. The equation ax6 + bx5 + cx4 + dx3 + ex2 + fx + g = 0 (7) is always solvable with nested radicals. Proof. We know (see [1]) that all sextic equations, of the most general form (7) are equivalent by means of a Tchirnhausen transform y = kx4 + lx3 + mx2 + nx + s (8) to the form 6 2 y + e1y + f1y + g1 = 0 (9) But the last equation is of the form (1) with µ = 1 and ν = 6 and have solution 2 1/6 2 2 f v ∆ 1 f ∆ 1 1/6 f ∆ y = 1 + u 1 v 1 + 1 1 + 1 + ..
    [Show full text]
  • ALGEBRAIC GEOMETRY (1) Compute the Points of Intersection
    ALGEBRAIC GEOMETRY HOMEWORK 5 (1) Compute the points of intersection of the circle x2 +y2 +x−y = 0 with the lemniscate (x2 +y2)2 = x2 −y2 using resultants (can you compute the affine points of intersections directly?), and compute the multiplicities. Explain which coordinate system you choose, how the equations look like, what the resultant is, and what its factors are. (2) Here you will learn how to solve cubics using resultants. Assume you want to solve the cubic equation x3 + ax2 + bx + c = 0. (a) Show that the substitution y = x + a/3 transforms the cubic into y3 + By + C = 0. (b) Now assume that we have to solve x3 + bx + c = 0. Using linear re- lations y = rx ∗ b will not make the linear term disappear (without bringing back the quadratic term). Thus we try to put y = x2 + cx + d and then eliminate x using resultants: type in p = polresultant(x^3+b*x+c,y-x^2-d*x-e,x) polcoeff(p,2,y) polcoeff(p,1,y) (you can find out what polcoeff is doing by typing ?polcoeff). Now we know that we can keep the quadratic term out of the equation by choosing e = 2b/3. With this value of e go back and recompute the resultant; this will now be a cubic in y without quadratic term. The coefficient of the linear term can be made to disappear by solving a quadratic equation (which is called the resolvent of the original cubic). (c) Thus you can solve the cubic by solving the resolvent, using the trans- formations above to turn the cubic into a pure cubic y3 + c, which in turn is easy to solve.
    [Show full text]
  • On the Solution to Nonic Equations
    On the Solution to Nonic Equations By Dr. Raghavendra G. Kulkarni Abstract. This paper presents a novel decomposition tech- nique in which a given nonic equation is decomposed into quartic and quintic polynomials as factors, eventually lead- ing to its solution in radicals. The conditions to be satisfied by the roots and the coefficients of such a solvable nonic equation are derived. Introduction It is well known that the general polynomial equations of degree five and above cannot be solved in radicals, and have to be solved algebraically using symbolic coefficients, such as the use of Bring radicals for solving the general quintic equation, and the use of Kampe de Feriet functions to solve the general sextic equation [1, 2]. There is hardly any literature on the analytical solution to the polynomial equations beyond sixth degree. The solution to certain solvable octic equations is described in a recent paper [4]. This paper presents a method of determining all nine roots of a nonic equation (ninth-degree polynomial equation) in radicals. First, the given nonic equation is decomposed into two factors in a novel fashion. One of these factors is a fourth-degree polynomial, while the other one is a fifth-degree polynomial. When the fourth- degree polynomial factor is equated to zero, the four roots of the given nonic equation are extracted by solving the resultant quar- tic equation using the well-known Ferrari method or by a method given in a recent paper [3]. However, when the fifth-degree polyno- mial factor is equated to zero, the resultant quintic equation is also required to be solved in radicals, since the aim of this paper is to solve the nonic equation completely in radicals.
    [Show full text]
  • International Journal of Pure and Applied Mathematics ————————————————————————– Volume 18 No
    International Journal of Pure and Applied Mathematics ————————————————————————– Volume 18 No. 2 2005, 213-222 NEW WAY FOR A TWO-PARAMETER CANONICAL FORM OF SEXTIC EQUATIONS AND ITS SOLVABLE CASES Yoshihiro Mochimaru Department of International Development Engineering Graduate School of Science and Engineering Tokyo Institute of Technology 2-12-1, O-okayama, Meguru-ku, Tokyo 152-8550, JAPAN e-mail: [email protected] Abstract: A new way for a two-parameter canonical form of sextic equations is given, through a Tschirnhausian transform by multiple steps, supplemented with some solvable cases at most in terms of hypergeometric functions. AMS Subject Classification: 11D41 Key Words: sextic equation, Tschirnhausian transform 1. Introduction 6 6 6−n Actually the general sextic equation x + anx = 0 can be solved in nX=1 terms of Kamp´ede F´eriet functions, and it can be reduced to a three-parameter Received: October 21, 2004 c 2005, Academic Publications Ltd. 214 Y. Mochimaru 6 4 2 resolvent of the form y + ay + by + cy + c = 0 by Joubert [3]. Such a type of the sextic equation was treated by Felix Klein and a part was given in [4]. Other contributions to treatment on sextic equations were given e.g. by Cole [2] and Coble [1]. In this paper, a new way leading to a two-parameter canonical form of sextic equations is given. 2. Analysis 2.1. General Let the original given sextic equation be expressed as 6 ∗ 5 ∗ 4 ∗ 3 ∗ 2 ∗ ∗ x + a x + b x + c x + d x + e x + f = 0. (1) 3 Here the quantity 5a∗ − 18a∗b∗ + 27c∗ corresponding to the polynomial of the left hand side of equation (1) is invariant with respect to the parallel shift x → x+constant.
    [Show full text]
  • Analytic Solutions to Algebraic Equations
    Analytic Solutions to Algebraic Equations Mathematics Tomas Johansson LiTH{MAT{Ex{98{13 Supervisor: Bengt Ove Turesson Examiner: Bengt Ove Turesson LinkÄoping 1998-06-12 CONTENTS 1 Contents 1 Introduction 3 2 Quadratic, cubic, and quartic equations 5 2.1 History . 5 2.2 Solving third and fourth degree equations . 6 2.3 Tschirnhaus transformations . 9 3 Solvability of algebraic equations 13 3.1 History of the quintic . 13 3.2 Galois theory . 16 3.3 Solvable groups . 20 3.4 Solvability by radicals . 22 4 Elliptic functions 25 4.1 General theory . 25 4.2 The Weierstrass } function . 29 4.3 Solving the quintic . 32 4.4 Theta functions . 35 4.5 History of elliptic functions . 37 5 Hermite's and Gordan's solutions to the quintic 39 5.1 Hermite's solution to the quintic . 39 5.2 Gordan's solutions to the quintic . 40 6 Kiepert's algorithm for the quintic 43 6.1 An algorithm for solving the quintic . 43 6.2 Commentary about Kiepert's algorithm . 49 7 Conclusion 51 7.1 Conclusion . 51 A Groups 53 B Permutation groups 54 C Rings 54 D Polynomials 55 References 57 2 CONTENTS 3 1 Introduction In this report, we study how one solves general polynomial equations using only the coef- ¯cients of the polynomial. Almost everyone who has taken some course in algebra knows that Galois proved that it is impossible to solve algebraic equations of degree ¯ve or higher, using only radicals. What is not so generally known is that it is possible to solve such equa- tions in another way, namely using techniques from the theory of elliptic functions.
    [Show full text]
  • Closed-Form Solution of Polynomial Equations
    CLOSED-FORM SOLUTION OF POLYNOMIAL EQUATIONS ALEXANDER KHEYFITS Abstract. Complex analysis is used to find closed-form expres- sions of the roots of a univariate polynomial of any degree as inte- grals of elementary functions. 1. Introduction The roots of any univariate algebraic equation of degree four or less can be expressed explicitly through its coefficients as superpositions of four arithmetic operations and radicals, while for no n 5 there exists a general formula that represents all the n complex roots≥ of every n th degree polynomial through its coefficients by means of the arithmet− ic operations and radicals. The reader can consult, e.g., [4] or [7] for the history and the details of these results. The topic is of interest even today; see, e.g., a comprehensive current monograph of Teo Mora [9] and the very recent papers by Boyd [2] and Nash [10]. The Abel-Galois result did not, of course, stop scientists from search for other means to represent the roots of the quintics and more general equations. Already in 1858, Brioschi, Hermite, and Kronecker indepen- dently expressed the roots of a general quintic through elliptic modular functions; quarter century later Klein published his famous book [8]. Thus, in solving the quintics, mathematicians have followed the stan- arXiv:1804.00698v2 [math.CV] 29 Apr 2018 dard path of extending the existing toolbox. For instance, the equation x2 = 1 cannot be solved in real numbers, but it can be done if we extend− the available numbers to the imaginary numbers; to study the ordinary differential equation x2y′′ + xy′ +(x2 ν2)y = 0, which can- not be solved in elementary functions, the special− (Bessel) functions were introduced and included in the set of possible solutions.
    [Show full text]
  • A Combined Methodology for the Approximate Estimation of the Roots of the General Sextic Polynomial Equation
    A combined methodology for the approximate estimation of the roots of the general sextic polynomial equation Giorgos P. Kouropoulos ( [email protected] ) Technological Educational Institute of Athens https://orcid.org/0000-0003-2033-0034 Method Article Keywords: sextic polynomial, general sextic, hexic polynomial, radical solutions, estimation of roots, approximate estimation, Galois theory, regression analysis, statistics Posted Date: September 8th, 2021 DOI: https://doi.org/10.21203/rs.3.rs-882192/v2 License: This work is licensed under a Creative Commons Attribution 4.0 International License. Read Full License A combined methodology for the approximate estimation of the roots of the general sextic polynomial equation Giorgos P. Kouropoulos BSc in Energy Technology, Technological Educational Institute of Athens E-mail: [email protected] ORCID id: 0000-0003-2033-0034 Abstract In this article we present the methodology, according to which it is possible to derive approximate solutions for the roots of the general sextic polynomial equation as well as some other forms of sextic polynomial equations that normally cannot be solved by radicals; the approximate roots can be expressed in terms of polynomial coefficients. This methodology is a combination of two methods. The first part of the procedure pertains to the reduction of a general sextic equation H(x) to a depressed equation G(y), followed by the determination of solutions by radicals of G(y) which does not include a quintic term, provided that the fixed term of the equation depends on its other coefficients. The second method is a continuation of the first and pertains to the numerical correlation of the roots and the fixed term of a given sextic polynomial P(x) with the radicals and the fixed term of the sextic polynomial Q(x), where the two polynomials P(x) and Q(x) have the same coefficients except for the fixed term which might be different.
    [Show full text]
  • Solution of Polynomial Equations with Nested Radicals
    Solution of Polynomial Equations with Nested Radicals Nikos Bagis Stenimahou 5 Edessa Pellas 58200, Greece [email protected] Abstract In this article we present solutions of certain polynomial equations in periodic nested radicals. Keywords: Nested Radicals; Bring Radicals; Iterations; Quintic; Sextic; Equations; Polynomials; Solutions; Higher functions; 1 Introduction In (1758) Lambert considered the trinomial equation xm + q = x (1) and solve it giving x as a series of q. Euler, write the same equation into, the more consistent and symmetrical form xa xb = (a b)νxa+b, (2) − − using the transformation x x−b and setting m = ab, q = (a b)ν in (1). Euler gave his solution as → − 1 1 xn =1+ nν + n(n + a + b)µ2 + n(n + a +2b)(n +2a + b)+ 2 6 1 + n(n + a +3b)(n +2a +2b)(n +3a + b)ν4+ 24 arXiv:1406.1948v4 [math.GM] 17 Dec 2020 1 + n(n + a +4b)(n +2a +3b)(n +3a +2b)(n +4a + b)ν5 + ... (3) 120 The equation of Lambert and Euler can formulated in the next (see [4] pg.306- 307): Theorem 1. The equation aqxp + xq = 1 (4) 1 admits root x such that ∞ n Γ( n + pk /q)( qa)k xn = { } − , n =1, 2, 3,... (5) q Γ( n + pk /q k + 1)k! =0 Xk { } − where Γ(x) is Euler’s the Gamma function. d 1/d Moreover if someone defines √x := x , where d Q+ 0 , then the solution x of (4) can given in nested radicals: ∈ −{ } q q/p x = 1 aq 1 aq q/p 1 aq q/p√1 .
    [Show full text]
  • Calculus Glossary High School Level
    Calculus Glossary High School Level English - Spanish Updated November 2016 GLOSSARY ENGLISH LANGUAGE ARTS ENGLISH ‐ SPANISH THE STATE EDUCATION DEPARTMENT / THE UNIVERSITY OF THE STATE OF NEW YORK / ALBANY, NY 12234 P‐16 Office of Elementary, Middle, Secondary and Continuing Education and Office of Higher Education Office of Bilingual Education and Foreign Language Studies http://www.emsc.nysed.gov/biling/ THE UNIVERSITY OF THE STATE OF NEW YORK Regents of the University BETTY A. ROSA, Chancellor, B.A., M.S. in Ed., M.S. in Ed., M.Ed., Ed.D. ............ Bronx T. ANDREW BROWN, Vice Chancellor, B.A., J.D. ………………......................................... Syracuse NAN EILEEN MEAD, B.A. ………….................................................................................. Manhattan JOSEPHINE VICTORIA FINN, B.A., J.D. ……………………................................................... Albany BEVERLY L. OUDERKIRK, B.S., M.S. ............................................................................. Saratoga ELIZABETH. S. HAKANSON ……………........................................................................ Onondaga CATHERINE COLLINS, B.S., M.S., Ph.D. ....................................................................... West New York JAMES R. TALLON, R., B.A., M.A. ................................................................................. Binghamton ROGER TILLES, B.A., J.D.................................................................................................. Great Neck JUDITH JOHNSON, B.A., M.A., Ed.D. ...........................................................................
    [Show full text]
  • The Maximum Modulus of a Trigonometric Trinomial
    The maximum modulus of a trigonometric trinomial Stefan Neuwirth Abstract Let Λ be a set of three integers and let CΛ be the space of 2π-periodic functions with spectrum in Λ endowed with the maximum modulus norm. We isolate the maximum modulus points x of trigonometric trinomials T ∈ CΛ and prove that x is unique unless |T | has an axis of symmetry. This enables us to compute the exposed and the extreme points of the unit ball of CΛ, to describe how the maximum modulus of T varies with respect to the arguments of its Fourier coefficients and to compute the norm of unimodular relative Fourier multipliers on CΛ. We obtain in particular the Sidon constant of Λ. 1 Introduction Let λ1, λ2 and λ3 be three pairwise distinct integers. Let r1, r2 and r3 be three positive real numbers. Given three real numbers t1, t2 and t3, let us consider the trigonometric trinomial i(t1+λ1x) i(t2+λ2x) i(t3+λ3x) T (x)= r1 e + r2 e + r3 e (1) for x R. The λ’s are the frequencies of the trigonometric trinomial T , the r’s are the moduli or ∈ it1 it2 it3 intensities and the t’s the arguments or phases of its Fourier coefficients r1 e , r2 e and r3 e . −1 −e iπ/3 Figure 1: The unit circle, the hypotrochoid H with equation z =4e −i2x +e ix, the segment from 1 to the unique point on H at maximum distance and the segments from e iπ/3 to the two points− on H at maximum distance.
    [Show full text]
  • An Application of Moore's Cross-Ratio Group To
    AN APPLICATIONOF MOORE'SCROSS-RATIO GROUP TO THE SOLUTIONOF THE SEXTICEQUATION* BY ARTHUR B. COBLE f Introduction. By making use of the fact that all the double ratios of n things can be expressed rationally in terms of a properly chosen set of n — 3 double ratios, E. H. Moore\ has developed the "cross-ratio group," C„,, a Cremona group in Sn_3 of order n\ which is isomorphic with the permutation group of n things. H. E. Slaught§ has discussed the (75! in considerable detail. Both C6! and C6, have been listed by S. Kantor. || I have already pointed out^f that Cn, defines a form-problem which I shall denote by PCn,. The solution of PCn, carries with it the solution of the n-ic equation, and I have worked out in detail the application to the quintic equation. After the adjunction of the square root of the discriminant of the n-ic, a new form-problem, PCn]l2, can be enunciated whose underlying group is the even subgroup CnU2 of Cnl. It appears in the particular case, n= 5, that the solu- tion of PC5,I2 can be expressed rationally in terms of the solution of Klein's ^.-problem.** The transition from the one problem to the other is accomplished by a very direct process which is suggested by simple geometric considerations. Explicit formulée are always desirable, and these have been lacking hitherto in the solutions of the quintic equation in terms of the ^4-problem. By intro- ducing PC5!I2 as an intermediate stage I have obtained such formulae from the long known invariant theory of the binary quintic.
    [Show full text]
  • Arxiv:2009.11873V1 [Hep-Th]
    G4 Flux, Algebraic Cycles and Complex Structure Moduli Stabilization A. P. Brauna and R. Valandrob aDepartment of Mathematical Sciences, Durham University, Lower Mountjoy, Stockton Rd, Durham DH1 3LE, UK bDipartimento di Fisica, Università di Trieste, Strada Costiera 11, I-34151 Trieste, Italy and INFN, Sezione di Trieste, Via Valerio 2, I-34127 Trieste, Italy Abstract We construct G4 fluxes that stabilize all of the 426 complex structure moduli of the sextic Calabi-Yau fourfold at the Fermat point. Studying flux stabilization usually requires solving Picard-Fuchs equations, which becomes unfeasible for models with many moduli. Here, we instead start by considering a specific point in the complex structure moduli space, and look for a flux that fixes us there. We show how to construct such fluxes by using algebraic cycles and analyze flat directions. This is discussed in detail for the sextic Calabi-Yau fourfold at the Fermat point, and we observe that there appears to be tension between M2-tadpole cancellation and the requirement of stabilizing all moduli. Finally, we apply our results to show that even though symmetric fluxes allow to automatically solve most of the F-term equations, they typically lead to flat directions. arXiv:2009.11873v1 [hep-th] 24 Sep 2020 Contents 1 Introduction 2 2 Fluxes and Moduli Stabilization 4 3 Fermat Sextic Fourfold and Algebraic Cycles 7 3.1 Algebraic cycles at the Fermat point . .... 8 3.2 Somepropertiesofalgebraiccycles . ..... 10 3.3 Algebraic cycles and their Hodge loci . ..... 11 4 Residues of Rational Forms and Complex Structure Deformations 12 4.1 Middle cohomology from residues of rational forms .
    [Show full text]