Structure of \mathrm {Gal}(\mathbb {k}_2^{(2)}/\mathbb {k}) for some fields \mathbb {k}=\mathbb {Q}(\sqrt{2p_1p_2},i) with \mathbf {C}l_2(\mathbb {k})\simeq (2, 2, 2)

Let \(p_1 \equiv p_2 \equiv 5\pmod 8\) be different primes. Put \(i=\sqrt{-1}\) and \(d=2p_1p_2\) , then the bicyclic biquadratic field \(\mathbb {k}=\mathbb {Q}(\sqrt{d},i)\) has an elementary abelian 2-class group of rank \(3\) . In this paper we determine the nilpotency class, the coclass, the generators and the structure of the non-abelian Galois group \(\mathrm {Gal}(\mathbb {k}_2^{(2)}/\mathbb {k})\) of the second Hilbert 2-class field \(\mathbb {k}_2^{(2)}\) of \(\mathbb {k}\) . We study the capitulation problem of the 2-classes of \(\mathbb {k}\) in its seven unramified quadratic extensions \(\mathbb {K}_i\) and in its seven unramified bicyclic biquadratic extensions \(\mathbb {L}_i\) .     

Some applications of the double large sieve

We sharpen a procedure of Cao and Zhai (J Théorie Nombres Bordeaux,11: 407–423, 1999) to estimate the sum $$\begin{aligned} \sum _{m\sim M} \sum _{n\sim N} a_m b_n \, e\left(\frac{F m^\alpha n^\beta }{M^\alpha N^\beta }\right) \end{aligned}$$ with $|a_m|,\ |b_n| \le 1$ . We apply this to give bounds for the discrepancy (mod 1) of the sequence $\{p^c: p\le X\}$ where $p$ is a prime variable, in the range $\frac{130}{79}\le c \le \frac{11}{5}$ . An alternative strategy is used for the range $1.48 \le c \le \frac{130}{79}$ . We use further exponential sum estimates to show that for large $R>0$ , and a small constant $\eta >0$ , the inequality $$\begin{aligned} \left| p_1^c+p_2^c+p_3^c+p_4^c+p_5^c - R\right| < R^{-\eta } \end{aligned}$$ holds for many prime tuples, provided $2<c\le 2.041$ . This improves work of Cao and Zhai (Monatsh Math, 150:173–179, 2007) and a theorem claimed by Shi and Liu (Monatsh Math, published online, 2012).     

Fremlin tensor products of concavifications of Banach lattices

Suppose that $E$ is a uniformly complete vector lattice and $p_1,\dots ,p_n$ are positive reals. We prove that the diagonal of the Fremlin projective tensor product of $E_{(p_1)},\dots ,E_{(p_n)}$ can be identified with $E_{(p)}$ where $p=p_1+\dots +p_n$ and $E_{(p)}$ stands for the $p$ -concavification of $E$ . We also provide a variant of this result for Banach lattices. This extends the main result of Bu et al. (Positivity, 2013).     

Boundedness of Generalized Riesz Transforms on Orlicz–Hardy Spaces Associated to Operators

Let ${\Phi}$ be a continuous, strictly increasing and concave function on (0, ∞) of critical lower type index ${p_\Phi^- \in(0,\,1]}$ . Let L be an injective operator of type ω having a bounded H _∞ functional calculus and satisfying the k-Davies–Gaffney estimates with ${k \in {\mathbb Z}_+}$ . In this paper, the authors first introduce an Orlicz–Hardy space ${H^{\Phi}_{L}(\mathbb{R}^n)}$ in terms of the non-tangential L-adapted square function and then establish its molecular characterization. As applications, the authors prove that the generalized Riesz transform ${D_{\gamma}L^{-\delta/(2k)}}$ is bounded from the Orlicz–Hardy space ${H^{\Phi}_{L}(\mathbb{R}^n)}$ to the Orlicz space ${L^{\widetilde{\Phi}}(\mathbb{R}^n)}$ when ${p_\Phi^- \in (0, \frac{n}{n+ \delta - \gamma}]}$ , ${0 < \gamma \le \delta < \infty}$ and ${\delta- \gamma < n (\frac{1}{p_-(L)}-\frac{1}{p_+(L)})}$ , or from ${H^{\Phi}_{L}(\mathbb{R}^n)}$ to the Orlicz–Hardy space ${H^{\widetilde \Phi}(\mathbb{R}^n)}$ when ${p_\Phi^-\in (\frac{n}{n + \delta+ \lfloor \gamma \rfloor- \gamma},\,\frac{n}{n+ \delta- \gamma}]}$ , ${1\le \gamma \le \delta < \infty}$ and ${\delta- \gamma < n (\frac{1}{p_-(L)}-\frac{1}{p_+(L)})}$ , or from ${H^{\Phi}_{L}(\mathbb{R}^n)}$ to the weak Orlicz–Hardy space ${WH^\Phi(\mathbb{R}^n)}$ when ${\gamma = \delta}$ and ${p_\Phi=n/(n + \lfloor \gamma \rfloor)}$ or ${p_\Phi^-=n/(n + \lfloor \gamma \rfloor)}$ with ${p_\Phi^-}$ attainable, where ${\widetilde{\Phi}}$ is an Orlicz function whose inverse function ${\widetilde{\Phi}^{-1}}$ is defined by ${\widetilde{\Phi}^{-1}(t):=\Phi^{-1}(t)t^{\frac{1}{n}(\gamma- \delta)}}$ for all ${t \in (0,\,\infty)}$ , ${p_\Phi}$ denotes the strictly critical lower type index of ${\Phi}$ , ${\lfloor \gamma \rfloor}$ the maximal integer not more than ${\gamma}$ and ${(p_-(L),\,p_+(L))}$ the range of exponents ${p \in[1,\, \infty]}$ for which the semigroup ${\{e^{-tL}\}_{t >0 }}$ is bounded on ${L^p(\mathbb{R}^n)}$ .     

Endpoint Bounds for the Quartile Operator

It is a result by Lacey and Thiele (Ann. of Math. (2) 146(3):693–724, 1997; ibid. 149(2):475–496, 1999) that the bilinear Hilbert transform maps $L^{p_{1}}(\mathbb{R}) \times L^{p_{2}}(\mathbb{R}) $ into $L^{p_{3}}(\mathbb{R})$ whenever (p ₁,p ₂,p ₃) is a Hölder tuple with p ₁,p ₂>1 and $p_{3}>\frac{2}{3}$ . We study the behavior of the quartile operator, which is the Walsh model for the bilinear Hilbert transform, when $p_{3}=\frac{2}{3}$ . We show that the quartile operator maps $L^{p_{1}}(\mathbb{R}) \times L^{p_{2}}(\mathbb{R}) $ into $L^{\frac{2}{3},\infty}(\mathbb{R})$ when p ₁,p ₂>1 and one component is restricted to subindicator functions. As a corollary, we derive that the quartile operator maps $L^{p_{1}}(\mathbb{R}) \times L^{p_{2},\frac{2}{3}}(\mathbb{R}) $ into $L^{\frac{2}{3},\infty}(\mathbb{R})$ . We also provide weak type estimates and boundedness on Orlicz-Lorentz spaces near p ₁=1,p ₂=2 which improve, in the Walsh case, the results of Bilyk and Grafakos (J. Geom. Anal. 16 (4):563–584, 2006) and Carro et al. (J. Math. Anal. Appl. 357(2):479–497, 2009). Our main tool is the multi-frequency Calderón-Zygmund decomposition from (Nazarov et al. in Math. Res. Lett. 17(3):529–545, 2010).     

Positivity properties of the matrix {\left[(i+j)^{i+j}\right]}

Let \({p_1 < p_2 < \cdots < p_n}\) be positive real numbers. It is shown that the matrix whose i, j entry is \({(p_i + p_j)^{p_i+p_j}}\) is infinitely divisible, nonsingular, and totally positive.     

An improvement on Waring?CGoldbach problem for unlike powers

Let p _i be prime numbers. In this paper, it is proved that for any integer k?R5, with at most $O\big(N^{1-\frac{1}{3k\times2^{k-2}}+\varepsilon}\big)$ exceptions, all positive even integers up to N can be expressed in the form $p_{2}^{2}+p_{3}^{3}+p_{5}^{5}+p_{k}^{k}$ . This improves the result $O\big(\frac{N}{\log^{c}N}\big)$ for some c>0 due to Lu and Shan [12], and it is a generalization for a series of results of Ren and Tsang [15], [16] and Bauer [1?C4] for the problem in the form $p_{2}^{2}+p_{3}^{3}+p_{4}^{4}+p_{5}^{5}$ . This method can also be used for some other similar forms.     

The complex Monge–Ampère equation on compact K?hler manifolds

We consider the complex Monge–Ampère equation on a compact K?hler manifold (M, g) when the right hand side F has rather weak regularity. In particular we prove that estimate of ${\triangle \phi}$ and the gradient estimate hold when F is in ${W^{1, p_0}}$ for any p ₀?>?2n. As an application, we show that there exists a classical solution in ${W^{3, p_0}}$ for the complex Monge–Ampère equation when F is in ${W^{1, p_0}}$ .     

Sur un problème de capitulation du corps ℚ\sqrt {p_1 p_2 } , i dont le 2-groupe de classes est élémentaire

Let p ₁ ≡ p ₂ ≡ 1 (mod 8) be primes such that \(\left( {\tfrac{{p_1 }} {{p_2 }}} \right) = - 1\) and \(\left( {\tfrac{2} {{a + b}}} \right) = - 1\) , where p ₁ p ₂ = a ²+b ². Let \(i = \sqrt { - 1} \) , d = p ₁ p ₂, \(\Bbbk = \mathbb{Q}(\sqrt {d,} i),\Bbbk _2^{(1)} \) be the Hilbert 2-class field and \(\Bbbk ^{(*)} = \mathbb{Q}(\sqrt {p_1 } ,\sqrt {p_2 } ,i)\) be the genus field of \(\Bbbk \) . The 2-part \(C_{\Bbbk ,2} \) of the class group of \(\Bbbk \) is of type (2, 2, 2), so \(\Bbbk _2^{(1)} \) contains seven unramified quadratic extensions \(\mathbb{K}_j /\Bbbk \) and seven unramified biquadratic extensions \(\mathbb{L}_j /\Bbbk \) . Our goal is to determine the fourteen extensions, the group \(C_{\Bbbk ,2} \) and to study the capitulation problem of the 2-classes of \(\Bbbk \) .     

The Maximal Variation of Martingales of Probabilities and Repeated Games with Incomplete Information

The variation of a martingale $p_{0}^{k}=p_{0},\ldots,p_{k}$ of probabilities on a finite (or countable) set X is denoted $V(p_{0}^{k})$ and defined by $$ V\bigl(p_0^k\bigr)=E\Biggl(\sum_{t=1}^k\|p_t-p_{t-1}\|_1\Biggr). $$ It is shown that $V(p_{0}^{k})\leq\sqrt{2kH(p_{0})}$ , where H(p) is the entropy function H(p)=?∑ _x p(x)logp(x), and log stands for the natural logarithm. Therefore, if d is the number of elements of X, then $V(p_{0}^{k})\leq\sqrt{2k\log d}$ . It is shown that the order of magnitude of the bound $\sqrt{2k\log d}$ is tight for d≤2 ^k : there is C>0 such that for all k and d≤2 ^k , there is a martingale $p_{0}^{k}=p_{0},\ldots,p_{k}$ of probabilities on a set X with d elements, and with variation $V(p_{0}^{k})\geq C\sqrt{2k\log d}$ . An application of the first result to game theory is that the difference between v _k and lim _j v _j , where v _k is the value of the k-stage repeated game with incomplete information on one side with d states, is bounded by $\|G\|\sqrt{2k^{-1}\log d}$ (where ∥G∥ is the maximal absolute value of a stage payoff). Furthermore, it is shown that the order of magnitude of this game theory bound is tight.     

Dichotomies for Lorentz spaces

Assume that L ^p,q , $L^{p_1 ,q_1 } ,...,L^{p_n ,q_n } $ are Lorentz spaces. This article studies the question: what is the size of the set $E = \{ (f_1 ,...,f_n ) \in L^{p_{1,} q_1 } \times \cdots \times L^{p_n ,q_n } :f_1 \cdots f_n \in L^{p,q} \} $ . We prove the following dichotomy: either $E = L^{p_1 ,q_1 } \times \cdots \times L^{p_n ,q_n } $ or E is σ-porous in $L^{p_1 ,q_1 } \times \cdots \times L^{p_n ,q_n } $ , provided 1/p ≠ 1/p ₁ + … + 1/p _n . In general case we obtain that either $E = L^{p_1 ,q_1 } \times \cdots \times L^{p_n ,q_n } $ or E is meager. This is a generalization of the results for classical L ^p spaces.     

Existence of entire positive solutions for semilinear elliptic systems with gradient term

Under the Keller?COsserman condition on ${\Sigma_{j=1}^{2}f_{j}}$ , we show the existence of entire positive solutions for the semilinear elliptic system ${\Delta u_{1}+|\nabla u_{1}|=p_{1}(x)f_{1}(u_{1},u_{2}), \Delta u_{2}+|\nabla u_{2}|=p_{2}(x)f_{2}(u_{1},u_{2}),x \in \mathbb{R}^{N}}$ , where ${p_{j}(j=1, 2):\mathbb{R}^{N} \rightarrow [0,\infty)}$ are continuous functions.     

Interior W 1,p Regularity and Hölder Continuity of Weak Solutions to a Class of Divergence Kolmogorov Equations with Discontinuous Coefficients

We consider a class of Kolmogorov equation $$Lu={\sum^{p_0}_{i,j=1}{\partial_{x_i}}(a_{ij}(z){\partial_{x_j}}u)}+{\sum^{N}_{i,j=1}b_{ij}x_{i}{\partial_{x_j}}u-{\partial_t}u}={\sum^{p_0}_{j=1}{\partial_{x_j}}F_{j}(z)}$$ in a bounded open domain ${\Omega \subset \mathbb{R}^{N+1}}$ , where the coefficients matrix (a _ij (z)) is symmetric uniformly positive definite on ${\mathbb{R}^{p_0} (1 \leq p_0 < N)}$ . We obtain interior W ^1,p (1 < p < ∞) regularity and Hölder continuity of weak solutions to the equation under the assumption that coefficients a _ij (z) belong to the ${VMO_L\cap L^\infty}$ and ${({b_{ij}})_{N \times N}}$ is a constant matrix such that the frozen operator ${L_{z_0}}$ is hypoelliptic.     

The integral part of a nonlinear form with five cubes of primes*

This paper shows that if μ ₁ , . . . , μ ₅ are nonzero real numbers, not all negative, at least one of μ _j $ \left( {1\leqslant j\leqslant 5} \right) $ is irrational, and k is a positive integer, then there exist infinitely many primes p ₁ , . . . , p ₅ , p such that $ \left[ {{\mu_1}p_1^3+\cdots +{\mu_5}p_5^3} \right]=kp $ . In particular, $ \left[ {{\mu_1}p_1^3+\cdots +{\mu_5}p_5^3} \right] $ represents infinitely many primes.     

On the collineation groups of infinite projective and affine planes

A partial plane is a triple Π=(P,L,I) whereP is the set of points,L the set of lines andI?PXL the incidence relation satisfying the axiom that $$p_i {\rm I}\ell _j (i,j = 1,2) implies p_1 = p_2 or \ell _1 = \ell _2 .$$ Using methods of E. MENDELSOHN, Z. HEDRLIN and A. PULTR we prove the followingTHEOREM. Given a subgroup G ofthe collineation group Aut Π ofsome partial plane Π, there is a projective plane Π′such that Πis invariant under the automorphisms of Π′, Aut Π′Π^′=G,and we obtain an isomorphism of Aut Πonto Aut Π′by restriction. Moreover, any 3 points (lines) of Πare collinear (concurrent) in Π iff they are so in Π′. Corollaries of this result improve some of E. Mendelsohn's theorems [6,7].     

Universelle Approximation durch Riesz-Transformierte der geometrischen Reihe

Let p={p_v} be a fixed sequence of complex numbers. Define \(p_n : = \mathop \Sigma \limits_{\nu = o}^n p_\nu \) and suppose that \(p_{m_k } \ne o\) for a subsequence M={m_k} of nonnegative integers. The matrix A=(α_kv) with the elements $$\alpha _{k\nu } = p_\nu /p_{m_k } if o \leqslant \nu \leqslant m_k ,\alpha _{k\nu } = oif \nu > m_k $$ generates a summability method (R,p,M) which is a refinement of the well known Riesz methods. The (R,p,M) methods have been introduced in [4]. In the present paper we are concerned with the summability of the geometric series \(\mathop \Sigma \limits_{\nu = o}^n z^\nu \) by (R,p,M) methods. We prove the following theorem. Suppose G is a simply connected domain with \(\{ z:|z|< 1\} \subset G,1 \varepsilon | G \) . Then there exists a universal, regular (R,p,M) method having the following properties: (1) \(\mathop \Sigma \limits_{\nu = o}^\infty z^\nu \) is compactly summable (R,p,M) to \(\tfrac{1}{{1 - z}}\) on G. (2) For every compact set B?¯G^c which has a connected complement and for every function f which is continuous on B and analytic in its interior there exists a subsequence M(B,f) of M such that \(\mathop \Sigma \limits_{\nu = o}^\infty z^\nu \) is uniformly summable (R,p,M(B,f)) to f(z) on B. (3) For every open set U?G^c which has simply connected components in ? and for every function f which is analytic on U there exists a subsequence M(U,f) of M such that \(\mathop \Sigma \limits_{\nu = o}^\infty z^\nu \) is compactly summable (R,p,M(U,f)) to f(z) on U.     

Irrational Factor of Order k and ITS Connections With k-Free Integers

We introduce an irrational factor of order k defined by \({I_{k}(n) ={\prod_{i=1}^{l}} p_{i}^{\beta_{i}}}\) , where \({n = \prod_{i=1}^{l} p_{i}^{\alpha_{i}}}\) is the factorization of n and \({\beta_{i} = \left\{\begin{array}{ll}\alpha_i, \quad \quad {\rm if} \quad \alpha_i < k \\ \frac{1}{\alpha_i},\quad \quad {\rm if} \quad \alpha_i \geqq k \end{array}\right.}\) . It turns out that the function \({\frac{I_{k} (n)}{n}}\) well approximates the characteristic function of k-free integers. We also derive asymptotic formulas for \({\prod_{v=1}^{n} I_{k}(v)^{\frac{1}{n}}, \sum_{n \leqq x} I_{k}(n)}\) and \({\sum_{n \leqq x} (1 - \frac{n}{x}) I_{k}(n)}\) .     

A new “dinv” arising from the two part case of the shuffle conjecture

For a symmetric function F, the eigen-operator Δ _F acts on the modified Macdonald basis of the ring of symmetric functions by $\Delta_{F} \tilde{H}_{\mu}= F[B_{\mu}] \tilde{H}_{\mu}$ . In a recent paper (Int. Math. Res. Not. 11:525–560, 2004), J. Haglund showed that the expression $\langle\Delta_{h_{J}} E_{n,k}, e_{n}\rangle$ q,t-enumerates the parking functions whose diagonal word is in the shuffle 12?J∪∪J+1?J+n with k of the cars J+1,…,J+n in the main diagonal including car J+n in the cell (1,1) by t ^area q ^dinv. In view of some recent conjectures of Haglund–Morse–Zabrocki (Can. J. Math., doi:10.4153/CJM-2011-078-4, 2011), it is natural to conjecture that replacing E _n,k by the modified Hall–Littlewood functions $\mathbf{C}_{p_{1}}\mathbf{C}_{p_{2}}\cdots\mathbf{C}_{p_{k}} 1$ would yield a polynomial that enumerates the same collection of parking functions but now restricted by the requirement that the Dyck path supporting the parking function touches the diagonal according to the composition p=(p ₁,p ₂,…,p _k ). We prove this conjecture by deriving a recursion for the polynomial $\langle\Delta_{h_{J}} \mathbf{C}_{p_{1}}\mathbf{C}_{p_{2}}\cdots \mathbf{C}_{p_{k}} 1 , e_{n}\rangle $ , using this recursion to construct a new $\operatorname{dinv}$ statistic (which we denote $\operatorname{ndinv}$ ), then showing that this polynomial enumerates the latter parking functions by $t^{\operatorname{area}} q^{\operatorname{ndinv}}$ .     

Subspace Arrangements of Type B n and D n

Let ${\mathcal{D}}_{n,k} $ be the family of linear subspaces of ?ⁿ given by all equations of the form $\varepsilon _1 x_{i_1 } = \varepsilon _2 x_{i_2 } = \cdot \cdot \cdot \varepsilon _k x_{i_k } ,$ for 1 ≤ < ? ? ? < i _k ≤ i and $\left( {\varepsilon _1 ,...,\varepsilon _k } \right)\varepsilon \left\{ { + 1, - 1} \right\}^k $ Also let ${\mathcal{B}}_{n,k,h} $ be ${\mathcal{D}}_{n,k} $ enlarged by the subspaces $x_{j_1 } = x_{j_2 } = \cdot \cdot \cdot x_{j_h } = 0,$ for 1 ≤. The special cases ${\mathcal{B}}_{n,2,1} $ and ${\mathcal{D}}_{n,2} $ are well known as the reflection hyperplane arrangements corresponding to the Coxeter groups of type B _nand D _n respectively. In this paper we study combinatorial and topological properties of the intersection lattices of these subspace arrangements. Expressions for their Möbius functions and characteristic polynomials are derived. Lexicographic shellability is established in the case of ${\mathcal{B}}_{n,k,h,} 1 \leqslant h < k$ , which allows computation of the homology of its intersection lattice and the cohomology groups of the manifold $\begin{gathered} {\mathcal{D}}_{n,2} \\ M_{n,k,h,} = {\mathbb{R}}^n \backslash \bigcup {{\mathcal{B}}_{n,k,h,} } \\ \end{gathered} $ . For instance, it is shown that $H^d \left( {M_{n,k,k - 1} } \right)$ is torsion-free and is nonzero if and only if d = t(k ? 2) for some $t,0 \leqslant t \leqslant \left[ {{n \mathord{\left/ {\vphantom {n k}} \right. \kern-0em} k}} \right]$ . Torsion-free cohomology follows also for the complement in ?ⁿof the complexification ${\mathcal{B}}_{n,k,h}^C ,1 \leqslant h < k$ .     

The 2-Page Crossing Number of K_{n}

Around 1958, Hill described how to draw the complete graph $K_n$ K n with $$\begin{aligned} Z(n) :=\frac{1}{4}\Big \lfloor \frac{n}{2}\Big \rfloor \Big \lfloor \frac{n-1}{2}\Big \rfloor \Big \lfloor \frac{n-2}{2}\Big \rfloor \Big \lfloor \frac{n-3}{2}\Big \rfloor \end{aligned}$$ Z ( n ) : = 1 4 ? n 2 ? ? n ? 1 2 ? ? n ? 2 2 ? ? n ? 3 2 ? crossings, and conjectured that the crossing number ${{\mathrm{cr}}}(K_{n})$ cr ( K n ) of $K_n$ K n is exactly $Z(n)$ Z ( n ) . This is also known as Guy’s conjecture as he later popularized it. Towards the end of the century, substantially different drawings of $K_{n}$ K n with $Z(n)$ Z ( n ) crossings were found. These drawings are 2-page book drawings, that is, drawings where all the vertices are on a line $\ell $ ? (the spine) and each edge is fully contained in one of the two half-planes (pages) defined by  $\ell $ ? . The 2-page crossing number of $K_{n} $ K n , denoted by $\nu _{2}(K_{n})$ ν 2 ( K n ) , is the minimum number of crossings determined by a 2-page book drawing of $K_{n}$ K n . Since ${{\mathrm{cr}}}(K_{n}) \le \nu _{2}(K_{n})$ cr ( K n ) ≤ ν 2 ( K n ) and $\nu _{2}(K_{n}) \le Z(n)$ ν 2 ( K n ) ≤ Z ( n ) , a natural step towards Hill’s Conjecture is the weaker conjecture $\nu _{2}(K_{n}) = Z(n)$ ν 2 ( K n ) = Z ( n ) , popularized by Vrt’o. In this paper we develop a new technique to investigate crossings in drawings of $K_{n}$ K n , and use it to prove that $\nu _{2}(K_{n}) = Z(n) $ ν 2 ( K n ) = Z ( n ) . To this end, we extend the inherent geometric definition of $k$ k -edges for finite sets of points in the plane to topological drawings of $K_{n}$ K n . We also introduce the concept of ${\le }{\le }k$ ≤ ≤ k -edges as a useful generalization of ${\le }k$ ≤ k -edges and extend a powerful theorem that expresses the number of crossings in a rectilinear drawing of $K_{n}$ K n in terms of its number of ${\le }k$ ≤ k -edges to the topological setting. Finally, we give a complete characterization of crossing minimal 2-page book drawings of $K_{n}$ K n and show that, up to equivalence, they are unique for $n$ n even, but that there exist an exponential number of non homeomorphic such drawings for $n$ n odd.