Canonical forms for definable subsets of algebraically closed and real closed valued fields

1995 ◽  
Vol 60 (3) ◽  
pp. 843-860 ◽  
Author(s):  
Jan E. Holly

AbstractWe present a canonical form for definable subsets of algebraically closed valued fields by means of decompositions into sets of a simple form, and do the same for definable subsets of real closed valued fields. Both cases involve discs, forming “Swiss cheeses” in the algebraically closed case, and cuts in the real closed case. As a step in the development, we give a proof for the fact that in “most” valued fields F, if f(x), g(x) ∈ F[x] and v is the valuation map, then the set {x: v(f(x)) ≤ v(g(x))} is a Boolean combination of discs; in fact, it is a finite union of Swiss cheeses. The development also depends on the introduction of “valued trees”, which we define formally.

10.37236/1083 ◽  
2006 ◽  
Vol 13 (1) ◽  
Author(s):  
Aaron N. Siegel

The reduced canonical form of a loopfree game $G$ is the simplest game infinitesimally close to $G$. Reduced canonical forms were introduced by Calistrate, and Grossman and Siegel provided an alternate proof of their existence. In this paper, we show that the Grossman–Siegel construction generalizes to find reduced canonical forms of certain loopy games.


1937 ◽  
Vol 56 ◽  
pp. 50-89 ◽  
Author(s):  
W. Ledermann

In this paper the canonical form of matrix pencils will be discussed which are based on a pair of direct product matrices (Zehfuss matrices), compound matrices, or Schläflian matrices derived from given pencils whose canonical forms are known.When all pencils concerned are non-singular (i.e. when their determinants do not vanish identically), the problem is equivalent to finding the elementary divisors of the pencil. This has been solved by Aitken (1935), Littlewood (1935), and Roth (1934). In the singular case, however, the so-called minimal indices or Kronecker Invariants have to be determined in addition to the elementary divisors (Turnbull and Aitken, 1932, chap. ix). The solution of this problem is the subject of the following investigation.


Open Physics ◽  
2018 ◽  
Vol 16 (1) ◽  
pp. 766-779
Author(s):  
Taha Aziz ◽  
Aeeman Fatima ◽  
Chaudry Masood Khalique

AbstractThe invariant approach is employed to solve the Cauchy problem for the bond-pricing partial differential equation (PDE) of mathematical finance. We first briefly review the invariant criteria for a scalar second-order parabolic PDE in two independent variables and then utilize it to reduce the bond-pricing equation to different Lie canonical forms. We show that the invariant approach aids in transforming the bond-pricing equation to the second Lie canonical form and that with a proper parametric selection, the bond-pricing PDE can be converted to the first Lie canonical form which is the classical heat equation. Different cases are deduced for which the original equation reduces to the first and second Lie canonical forms. For each of the cases, we work out the transformations which map the bond-pricing equation into the heat equation and also to the second Lie canonical form. We construct the fundamental solutions for the bond-pricing model via these transformations by utilizing the fundamental solutions of the classical heat equation as well as solution to the second Lie canonical form. Finally, the closed-form analytical solutions of the Cauchy initial value problems for the bond-pricing model with proper choice of terminal conditions are obtained.


1973 ◽  
Vol 16 (1) ◽  
pp. 129-131
Author(s):  
J. C. Fisher

In this note we state and prove the followingAny equiaffinity acting on the points of an n-dimensional vector space (n ≥2) leaves invariant the members of a one parameter family of hypersurfaces defined by polynomials p(xl…,xn)=c of degree m ≤n.The theorem, restricted to the real plane, appears to have been discovered almost simultaneously by Coxeter [4] and Komissaruk [5]. The former paper presents an elegant geometric argument, showing that the result follows from the converse of Pascal's theorem. The present approach is more closely related to that of [5], in which the transformations are reduced to a canonical form.


1867 ◽  
Vol 15 ◽  
pp. 330-331

The present memoir relates mainly to the binary quintic, continuing the investigations in relation to this form contained in my Second, Third, and Fifth Memoirs on Quantics; the investigations which it contains in relation to a quantic of any order are given with a view to their application to the quintic. All the invariants of a binary quintic (viz. those of the degrees 4, 8, 12, and 18) are given in the memoirs above referred to, and also the covariants up to the degree 5; it was interesting to proceed one step further, viz. to the covariants of the degree 6; in fact, while for the degree 5 we obtain three covariants and a single syzygy, for the degree 6 we obtain only two covariants, but as many as seven syzygies. One of these is, however, the syzygy of the degree 5 multiplied into the quintic itself, so that, excluding this derived syzygy, there remain (7 - 1 = ) six syzygies, of the degree 6. The determination of the two covariants (Tables 83 and 84 post.), and of the syzygies of the degree 6, occupies the commencement of the present memoir. The remainder of the memoir is in a great measure a reproduction (with various additions and developments) of researches contained in Prof. Sylvester’s Trilogy, and in a recent memoir by M. Hermite. In particular, I establish in a more general form (defining for that purpose the functions which I call “Auxiliars”) the theory which is the basis of Prof. Sylvester’s criteria for the reality of the roots of a quintic. equation, or, say, the theory of the determination of the character of an equation of any order. By way of illustration, I first apply this to the quartic equation; and I then apply it to the quintic equation, following Prof. Sylvester’s track, hut so as to dispense altogether with his amphigenous surface, making the investigation to depend solely on the discussion of the bicorn curve, which is a principal section of this surface. I explain the new form which M. Hermite has given to the Tschirnhausen transformation, leading to a transformed equation, the coefficients whereof are all invariants; and, in the case of the quintic, I identify with my Tables his cubicovariants ϕ 1 ( x , y ) and ϕ 2 ( x , y ). And in the two new Tables, 85 and 86, I give the leading coefficients of the other two cubi covariants ϕ 3 ( x , y ) and ϕ 4 ( x , y ). In the transformed equation the second term (or that in z 4 ) vanishes, and the coefficient A of z 3 is obtained as a quadric function of four indeterminates. The discussion of this form led to criteria for the character of a quintic equation, expressed like those of Prof. Sylvester in terms of invariants, but of a different and less simple form; two such sets of criteria are obtained, and the identification of these and of a third set resulting from a separate investigation, with the criteria of Prof. Sylvester, is a point made out in the present memoir. The theory is also given of the canonical forms, which is the mechanism by which M. Hermite’s investigations were carried on. The memoir contains other investigations and formulae in relation to the binary quintic ; and as part of the foregoing theory of the determination of the character of an equation, I was led to consider the question of the imaginary linear transformations which give rise to a real equation : this is discussed in the concluding articles of the memoir, and in an annex I have given a somewhat singular analytical theorem arising thereout.


2003 ◽  
Vol 01 (03) ◽  
pp. 337-347
Author(s):  
XIAO-HONG WANG ◽  
SHAO-MING FEI ◽  
ZHI-XI WANG ◽  
KE WU

We investigate the canonical forms of positive partial transposition (PPT) density matrices in [Formula: see text] composite quantum systems with rank N. A general expression for these PPT states are explicitly obtained. From this canonical form a sufficient separability condition is presented.


2010 ◽  
Vol 1 ◽  
pp. 49
Author(s):  
Meghan Clayards

The frequency of a word form influences how efficiently it is processed, but canonical forms often show an advantage over reduced forms even when the reduced form is more frequent. This paper addresses this paradox by considering a model in which representations of lexical items consist of a distribution over forms. Optimal inference given these distributions accounts for item based differences in recognition of phonological variants and canonical form advantage.


IUCrData ◽  
2019 ◽  
Vol 4 (6) ◽  
Author(s):  
Gustavo Portalone

6-Methyluracil, C5H6N2O2, exists in two crystalline phases: form (I), monoclinic, space group P21/c [Reck et al. (1988). Acta Cryst. A44, 417–421] and form (II), monoclinic, space group C2/c [Leonidov et al. (1993). Russ. J. Phys. Chem. 67, 2220–2223]. The structure of polymorph (II) has been redetermined providing a significant increase in the precision of the derived geometric parameters. In the crystal, molecules form ribbons approximately running parallel to the c-axis direction through N—H...O hydrogen bonds. The radical differences observed between the crystal packing of the two polymorphs may be responsible in form (II) for an increase in the contribution of the polar canonical forms C—(O−)=N—H+ relative to the neutral canonical form C(=O)—N—H induced by hydrogen-bonding interactions.


Sign in / Sign up

Export Citation Format

Share Document