Class number one quadratic fields and solvability of some Pellian equations

Consider these two types of positive square-free integers d≠ 1 for which the class number h of the quadratic field Q(√d) is odd: (1) d is prime∈ 1(mod 8), or d=2q where q is prime ≡ 3 (mod 4), or d=qr where q and r are primes such that q≡ 3 (mod 8) and r≡ 7 (mod 8); (2) d is prime ≡ 1 (mod 8), or d=qr where q and r are primes such that q≡r≡ 3 or 7 (mod 8). For d of type (2) (resp. (1)), let Π be the set of all primes (resp. odd primes) p∈N satisfying (d/p) = 1. Also, let δ :=0 (resp. δ :=1) if d≡ 2,3 (mod 4) (resp. d≡ 1 (mod 4)). Then the following are equivalent: (a) h=1; (b) For every p∈П at least one of the two Pellian equations Z ²-dY ² = ±4^δ p is solvable in integers. (c) For every p∈П the Pellian equation W ²-dV ² = 4^δ p ² has a solution (w,v) in integers such that gcd (w,v) divides 2^δ.     

Enumerating pairs of permutations with the same up-down form

For each sequence q = {q_i} = ± 1, i = 1, …, n−1 let N_q = the number of permutations σ of 1, 2, …, n with up-down sequence sgn(σ_i+1 − σ_i) = q_i, i = 1,…, n−1. Clearly Σ_q (N_q/n!) =1 but what is the probability p_n = Σ_q (N_q/n!)² that two random permutations have the same up-down sequence? We show that p_n = (Kⁿ⁻¹1,1) where 1 = 1(x, y) ≡ 1 and Kⁿ⁻¹ is the iterated integral operator with Kφ(x, y) = ∫₀¹∫₀¹ K(x, y; x′, y′)φ(x′, y′) dx′ dy′ on L²[0, 1] × [0, 1] where K(x, y; x′, y′) is 1 if (x− x′)(y − y′) > 0 otherwise, and (f, g) = ∫₀¹∫₀¹fg. The eigenexpression of K yeilds p_n ∼ cαⁿ as n → ∞, where c ≈ 1.6, α ≈ 0.55.We also give a recursion formula for a polynomial whose coefficients are the frequencies of all the possible forms.     

Embedding of a pseudo-residual design into a Möbius plane

Let $\text{U}$ be a class of subsets of a finite set X. Elements of $\text{U}$ are called blocks. Let v, t and λ₁, 0 ? i ? t, be nonnegative integers, and K be a subset of nonnegative integers such that every member of K is at most v. A pair (X, U) is called a (λ₀, λ₁,…, λ_t; K, υ)t-design if (1) |X| = υ, (2) every i-subset of X is contained in exactly λ_t blocks, 0 ? i ? t, and (3) for every block A in $\text{U}$, |A| ?K. It is well-known that if K consists of a singleton k, then λ₀,…, λ_{t ? 1} can be determined from υ, t, k and λ_t. Hence, we shall denote a (λ₀,…, λ_t; {k}, υ)t-design by S_λ(t, k, υ), where λ = λ_t. A Möbius plane M is an S₁(3, q + 1, q² + 1), where q is a positive integer. Let A be a fixed block in M. If A is deleted from M together with the points contained in A, then we obtain a residual design M′ with parameters λ₀ = q³ + q ? 1, λ₁ = q² + q, λ₂ = q + 1, λ₃ = 1, K = {q + 1, q, q ? 1}, and υ = q² ? 1. We define a design to be a pseudo-block-residual design of order q (abbreviated by PBRD(q)) if it has these parameters. We consider the reconstruction problem of a Möbius plane from a given PBRD(q). Let B and B′ be two blocks in a residual design M′. If B and B′ are tangent to each other at a point x, and there exists a block C of size q + 1 such that C is tangent to B at x and is secant to B′, then we say B is r-tangent to B′ at x. A PBRD(q) is said to satisfy the r-tangency condition if for every block B of size q, and any two points x and y not in B, there exists at most one block which is r-tangent to B and contains x and y. We show that any PBRD(q)D can be uniquely embedded into a Möbius plane if and only if D satisfies the r-tangency condition.     

The necessary and sufficient conditions for dependent quadratic forms to be distributed as multivariate gamma

Let S be distributed as noncentral Wishart given by $\text{W}{}_{\mathrm{p}}\text{(m, Σ, Ω)}$ and let x be an n × 1 random vector distributed as N(μ, V). If q_i = x′A_ix + 2l′_ix + c_i, i = 1, 2,…, p, are p dependent second degree polynomials in the elements of x where A_j's are symmetric matrices, then the necessary and sufficient conditions for q₁ , q₂ ,…, q_p to be distributed as the diagonal elements of S are established and this generalizes the result for Σ = I. Some special cases are considered.     

Some exact distributions of the number of one-sided deviations and the time of the last such deviation in the simple random walk

For every positive integer n, let S_n be the n-th partial sum of a sequence of independent and identically distributed random variables, each assuming the values +1 and −1 with respective probabilities p (0<p<1)) and q (= 1 −p) and having mean μ = p − q. For a fixed positive real number λ, let N⁺[N1] be the total number of values of n for which S_n > (μ + λ)n [S_n⩾(μ + λ)n] and let L⁺[L1] be the supremum of the values of n for which S_n > (μ + λ)n [S_n⩾(μ + λ)n], where sup Oslash; = 0. Explicit expressions for the exact distributions of N⁺, N1, L⁺ and L1 are given when μ + λ = ±k/(k + 2) for any nonnegative integer k.     

Polynômes de Degré Minimum connectant deux projections dans une Algébre de Banach

Etant données deux projections p et q dans une algèbre de Banach A réelle ou complexe, qui appartiennent à la même composante connexe de l'ensemble P des projections de A, il existe un polynôme joignant p et q dans P. On cherche le degré minimum d'un tel polynôme. On démontre que si p ? q est inversible, alors le degré minimum est inférieur ou égal à 3. On établit que ce résultat reste vrai, sans l'hypothése que p ? q est inversible, dans le cas où A = M_n(K) (K = R ou C), et on donne une interprétation géométrique de ce dernier résultat pour A = M₂(K).     

On Formal Maps Between Generic Submanifolds in Complex Space

Let H:(M,p)→(M ^′,p ^′) be a formal mapping between two germs of real-analytic generic submanifolds in ? ^N with nonvanishing Jacobian. Assuming M to be minimal at p and M ^′ holomorphically nondegenerate at p ^′, we prove the convergence of the mapping H. As a consequence, we obtain a new convergence result for arbitrary formal maps between real-analytic hypersurfaces when the target does not contain any holomorphic curve. In the case when both M and M ^′ are hypersurfaces, we also prove the convergence of the associated reflection function when M is assumed to be only minimal. This allows us to derive a new Artin type approximation theorem for formal maps of generic full rank.     

On the necessary and sufficient condition for the extended Wedderburn–Guttman theorem

Let A be a u by v matrix, and let M and N be u by p and v by q matrices, where p may not be equal to q or rank(M^′AN)<min(p,q). Recently, Galantai [A. Galantai, A note on the generalized rank reduction, Acta Math. Hungarica 116 (2007) 239–246] presented what he claimed to be the necessary and sufficient condition for rank(A-AN(M^′AN)^-M^′A)=rank(A)-rank(AN(M^′AN)^-M^′A) to hold. This rank subtractivity formula along with the condition under which it holds is called the extended Wedderburn–Guttman theorem. In this paper, we show that some of Galantai’s assertions are incorrect.     

Extension of a theorem of Cauchy and Jacobi

Let q and p be prime with q = a² + b² ≡ 1 (mod 4), a ≡ 1 (mod 4), and p = qf + 1. In the nineteenth century Cauchy (Mém. Inst. France17 (1840), 249–768) and Jacobi (J. für Math.30 (1846), 166–182) generalized the work of earlier authors, who had determined certain binomial coefficients (mod p) (see H. J. S. Smith, “Report on the Theory of Numbers,” Chelsea, 1964), by determining two products of factorials given by Π_kkf! (mod p = qf + 1) where k runs through the quadratic residues and the quadratic non-residues (mod q), respectively. These determinations are given in terms of parameters in representations of p^h or of 4p^h by binary quadratic forms. A remarkable feature of these results is the fact that the exponent h coincides with the class number of the related quadratic field. In this paper C. R. Mathews' (Invent. Math.54 (1979), 23–52) recent explicit evaluation of the quartic Gauss sum is used to determine four products of factorials (mod p = qf + 1, q ≡ 5 (mod 8) > 5), given by Π_kkf! where k runs through the quartic residues (mod q) and the three cosets which may be formed with respect to this subgroup. These determinations appear to be considerably more difficult. They are given in terms of parameters in representations of 16p^h by quaternary quadratic forms. Stickelberger's theorem is required to determine the exponent h which is shown to be closely related to the class number of the imaginary quartic field Q(i√2q + 2a√q), q = a² + b² ≡ 5 (mod 8), a odd.     

An intersection problem whose extremum is the finite projective space

Suppose that $\text{A}$ is a finite set-system of N elements with the property |A ∩ A′| = 0, 1 or k for any two different A, A′ ?A. We show that for N > k¹⁴

$\text{|a|=?}\text{N(N?1)(N?k)}\text{(k}{}^2\text{?k+1)(k}{}^2\text{?2k+1)}\text{+}\text{N(N?1)}\text{k(k?1)}\text{+N+1}$

where equality holds if and only if k = q + 1 (q is a prime power) $\text{N =}\text{(q}{}^{\mathrm{t+1}}\text{? 1)}\text{(q ? 1)}$ and $\text{A}$ is the set of subspaces of dimension at most two of the t-dimensional finite projective space of order q.     

Abstract Holography

The problem that is presented and investigated is a natural nonlinear extension of the following linear problem. Let H ⊕ H′ and K ⊕ K′ be two orthogonal Hilbert decompositions of a real Hilbert space X. Let P, P′, Q, Q′ and N′ be the operators of orthogonal projection of X onto H, H′, K, K′ and H′ ∩ K′ respectively. Denoting by Z′ the Hilbert space, Z′ = {(a′, b′) ?H′ × K′: N′a′ = N′b′}, let F be the linear mapping of X into Z′, F(x) = (P′x, Q′x). Under the condition ∥PQ∥ < 1, which proves to be equivalent to H ∩ K = {0} and H + K closed, F is bicontinuous. The problem is then to choose a constructive procedure for the calculation of a = (P ° F^?1) · (a′,b′), and to analyse the continuity of P ° F^?1. One may use an iterative technique depending on a real relaxation parameter ω. Let the “separation angle” between H and K be defined by (H, K) = Arc cos ∥PQ∥. The present analysis stresses the fundamental part played by the separation angles α = (H, K), α′ = (H, K′), β = (H, SH) and β′ = (H′, SH) where S (= 2Q ? I) denotes the operator of orthogonal symmetry with respect to K. In the special case where X and H are complex spaces, and K′ = iK, the analysis of the problem is governed by the separation angles β and β′ only. These angles are involved in what may then be called “the conjugate image effect of H with respect to the orthogonal decomposition of X, K ⊕ iK.” Then, $\text{α = α′ =}\text{β}\text{2}$, and the optimal value of ω is known a priori (ω₀ = 2). This particular problem, which proves to be related to the central problem of Holography, defines what we have called “Abstract Holography”. (One of the main objects of our analysis is to show what underlies the principle of “Wavefront Reconstruction,” which is referred to in Classical Holography, and how it is possible to circumvent certain related difficulties by using an optimal iterative procedure).     

Intersections of q-ary perfect codes

The intersections of q-ary perfect codes are under study. We prove that there exist two q-ary perfect codes C ₁ and C ₂ of length N = qn + 1 such that |C ₁ ? C ₂| = k · |P _i |/p for each k ∈ {0,..., p · K ? 2, p · K}, where q = p ^r , p is prime, r ≥ 1, $n = \tfrac{{q^{m - 1} - 1}}{{q - 1}}$ , m ≥ 2, |P _i | = p ^nr(q?2)+n , and K = p ^{n(2r?1)?r(m?1)}. We show also that there exist two q-ary perfect codes of length N which are intersected by p ^nr(q?3)+n codewords.     

An inequality for a sum of quadratic forms with applications to probability theory

Let {x_t} be a sequence of p-component vectors, and let A_t=∑^T_s=1x_tx′_t with A_n nonsingular for some n?p. It is shown that ∑^t_t=q+1x′_tA^-2_tx_t?trA^-1_q for n?q<T. An application of this proposition is the convergence of a certain martingale with probability 1. A matrix version of Kronecker's lemma then leads to strong consistency of least-squares estimates under a certain condition.     

General conditions for non-normality of risk areas

Let R_p be the option with brings success with probability p and failure with probability l?p, and let R′ be the riskless option. The risk area is the set of probabilities p for which R_p is better than R′. A risk area A is said to be normal, if p ∈ A and p′ > p imply p′ ∈A. The paper shows that under very general conditions the non-normal risk areas will appear (for suitable values of rewards and losses) in all classes of situations, except those covered by the SEU model.     

On 2-designs

Denote by M_v the set of integers b for which there exists a 2-design (linear space) with v points and b lines. M_v is determined as accurately as possible. On one hand, it is shown for v > v₀ that M_v contains the interval [v + p + 1, v + p + q ? 1]. On the other hand for v of the form p² + p + 1 it is shown that the interval [v + 1, v + p ? 1] is disjoint from M_v; and if v > v₀ and p is of the form q² + q, then an additional interval [v + p + 1, v + p + q ? 1] is disjoint from M_v.     

An embedding theorem for partial algebras and the free completion of a free partial algebra within a primitive class

Let U be any nontrivial primitive class of partial algebras, i.e. there existsA ∈ U with |A|≥2, and U is closed with respect to homomorphic images (in the weak sense), subalgebras (on closed subsets) and cartesian products of U-algebras, and let U _f denote the—also nontrivial and primitive—class of all full U-algebras. Then every U-algebra with at least two elements is a relative algebra of some U _f -algebra. For any U-algebraAsetU _A =U _i εI({i}×(A ^K _i—domf _i ^A )), where (K _i) _i εI is the type under consideration. Furthermore let F(N, U) denote any U-algebra U-freely generated by some setN (and let F (M, U _f ) be similarly defined). Then for every nonempty setM there exists a setN satisfyingM ?N such that there exists a bijective mapping σ:U _{F(N, U)} →N ?M satisfying σ((i, α)) ? α(K _i ) for all (i, α) ∈U _{F (N, U)}, and, for the structureg=(g _i)_iεI defined by ,g _i : =f _i ^{F(N, U)} ∪ {(α, σ((i, α))) | (i, α ∈U _{F(N, U)}} id _M induces an isomorphism betweenF(M, U _f ), and (F(N, U)g).     

3-part splittings for singular and rectangular linear systems

We explore iterative schemes for obtaining a solution to the linear system $\text{(}{}^1\text{) Ax = b, A ? C}{}^{\mathrm{m\; \times \; n}}$, if the system is solvable, or for obtaining an approximate solution to (¹) if the system is not solvable. Our iterative schemes are obtained via a 3-part splitting of A into A = M ? Q₁ ? Q₂. The 3-part splitting of A is, in turn, a refinement of a (2-part) subproper splitting of A into A = M ? Q. We indicate the possible usefulness of such refinements (of a 2-part splitting of A) to systems (¹) which arise from a discrete analog to the Neumann problem, where the conventional iterative schemes (i.e., iterative schemes induced by a 2-part splitting of A) are not necessarily convergent.     

A problem related to Foulkes’s conjecture

In this paper we study a class of symmetric matricesT indexed by positive integers m≥ n≥2 and defined as follows: for any positive integersp andq let ?_p,q be the set of partitions ofU = {1,2,3, ...,pq} into p blocks each of sizeq. Letm ≥n ≥ 2 be positive integers. By atransversal of α = A₁/A₂/.../A_n ∈ ?_n,m we mean a partitionß = B₁/B₂/.../B_m ∈ ? _m,n such that ‖A _i ∩B _j = 1 for every i= 1,2, ...,n and everyj = 1,2, ...,m. LetM be the zero-one matrix with rows indexed by the elements of ?_n,m and columns indexed by the elements of ?_m,n such that M_αß = 1 iffß is a transversal of α. We are interested in finding the eigenvalues and eigenspaces of the symmetric matrixT = MM^t. The nonsingularity ofT implies Foulkes’s Conjecture (for these values of m andn). In the casen = 2 we completely determine the eigenvalues and eigenspaces of T and in so doing demonstrate the non-singularity ofT. Forn = 3 we develop a fast algorithm for computing the eigenvalues ofT, and give numerical results in the cases m = 3,4, 5, 6.     

The quartic characters of certain quadratic units

Criteria are obtained for the quartic residue character of the fundamental unit of the real quadratic field $\text{Q((2q)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{)}$, where q is prime and either q ≡ 7(mod 8), or q ≡ 1(mod 8) and X² ? 2qY² = ?2 is solvable in integers X and Y.     

L∞-upper bound of L2-projections onto splines at a geometric mesh

For an integer k 1 and a geometric mesh (qⁱ)_−∞^∞ with q ε (0, ∞), let M_i,k(x): = k[q^{i + k}](· − x)₊^{k − 1}, N_i,k(x): = (q^{i + k} − qⁱM_i,k(x)/k, and let A_k(q) be the Gram matrix (∝M_i,kN_j,k)_i,jεz. It is known that A_k(q)⁻¹_∞ is bounded independently of q. In this paper it is shown that A_k(q)⁻¹_∞ is strictly decreasing for q in [1, ∞). In particular, the sharp upper bound and lower bound for A_k (q)⁻¹ are obtained: for all q ε (0, ∞).