On the number of subgroups of given index in the modular group

A new recurrence for the number of subgroups of given index in the modular group is derived. The proof requires the derivation of a recurrence for a sequencea _nb_n from recurrences for thea _n andb _n. We show that this is always possible if thea _n andb _n satisfy polynomial recurrences. We also include a short proof of a result ofW. W. Stothers on the parity of the number of subgroups of given index in the modular group.     

Symmetric edge-decompositions of hypercubes

We call a set of edgesE of the n-cubeQ _n a fundamental set for Q _n if for some subgroupG of the automorphism group ofQ _n , theG-translates ofE partition the edge set ofQ _n .Q _n possesses an abundance of fundamental sets. For example, a corollary of one of our main results is that if |E| =n and the subgraph induced byE is connected, then if no three edges ofE are mutually parallel,E is a fundamental set forQ _n . The subgroupG is constructed explicitly. A connected graph onn edges can be embedded intoQ _n so that the image of its edges forms such a fundamental set if and only if each of its edges belongs to at most one cycle.We also establish a necessary condition forE to be a fundamental set. This involves a number-theoretic condition on the integersa _j (E), where for 1 j n, a _j (E) is the number of edges ofE in thej ^th direction (i.e. parallel to thej ^th coordinate axis).     

Small prime solutions of a pair of linear equations in five prime variables

Assume an additional congruent condition on the coefficients. We prove that the pair 5 of linear equations ∑j=1^5 αλjpj = bλ （λ= 1, 2） has solutions in primes pj satisfying pj 〈〈 （｜b1｜＋｜b2｜＋1） maxλ,j ｜αλj｜^2318＋ε. This improves the exponent 79680 without assuming the additional condition of the second author＇s.     

Almost all steinhaus graphs have diameter 2

A Steinhaus graph is a graph with n vertices whose adjacency matrix (a_{i, j}) satisfies the condition that a_{i, j} ? a_{a--1, j--1} + a _{i--1, j} (mod 2) for each 1 < i < j ≤ n. It is clear that a Steinhaus graph is determined by its first row. In [3] Bringham and Dutton conjecture that almost all Steinhaus graphs have diameter 2. That is, as n approaches infinity, the ratio of the number of Steinhaus graphs with n vertices having diameter 2 to the total number of Steinhaus graphs approaches 1. Here we prove Bringham and Dutton's conjecture.     

Convex polytopes without triangular faces

LetP be a convexd-polytope without triangular 2-faces. Forj=0,…,d−1 denote byf _j(P) the number ofj-dimensional faces ofP. We prove the lower boundf _j(P)≥f _j(C _d) whereC _d is thed-cube, which has been conjectured by Y. Kupitz in 1980. We also show that for anyj equality is only attained for cubes. This result is a consequence of the far-reaching observation that such polytopes have pairs of disjoint facets. As a further application we show that there exists only one combinatorial type of such polytopes with exactly 2d+1 facets.     

Solvability of second-order left-invariant differential operators on the Heisenberg group satisfying a cone condition

We discuss local solvability of operators of the form where theV _j are left-invariant vector fields on the Heisenberg group such that [V _j ,V _j+n ]=U for 1≤j≤n andA=(a _jk )=A ₁+iA ₂ is a complex symmetric matrix satisfying the “cone condition” |A ₂|≤CA ₁. The authors acknowledge the support for this work by the European Commission through the European HCM-program “Fourier Analysis” and the TMR network “Harmonic Analysis”.     

Sudakov-type minoration for gaussian chaos processes

Consider a setA of symmetricn×n matricesa=(a _i,j) _i,j≤n . Consider an independent sequence (g _i) _i≤n of standard normal random variables, and letM=Esup_a∈A|Σ_i,j⪯na_i,jg_ig_j|. Denote byN ₂(A, α) (resp.N _t(A, α)) the smallest number of balls of radiusα for thel ₂ norm ofR ^{n 2} (resp. the operator norm) needed to coverA. Then for a universal constantK we haveα(logN ₂(A, α))^1/4≤KM. This inequality is best possible. We also show that forδ≥0, there exists a constantK(δ) such thatα(logN _t≤K(δ)M. Work partially supported by an N.S.F. grant.     

Selection in Monotone Matrices and Computingkth Nearest Neighbors

Anm×nmatrix =(a_{i, j}), 1≤i≤mand 1≤j≤n, is called atotally monotonematrix if for alli₁, i₂, j₁, j₂, satisfying 1≤i₁<i₂≤m, 1≤j₁<j₂≤n.[formula]We present an[formula]time algorithm to select thekth smallest item from anm×ntotally monotone matrix for anyk≤mn. This is the first subquadratic algorithm for selecting an item from a totally monotone matrix. Our method also yields an algorithm of the same time complexity for ageneralized row-selection problemin monotone matrices. Given a setS={p₁,…, p_n} ofnpoints in convex position and a vectork={k₁,…, k_n}, we also present anO(n^4/3log^c n) algorithm to compute thek_ith nearest neighbor ofp_ifor everyi≤n; herecis an appropriate constant. This algorithm is considerably faster than the one based on a row-selection algorithm for monotone matrices. If the points ofSare arbitrary, then thek_ith nearest neighbor ofp_i, for alli≤n, can be computed in timeO(n^7/5 log^c n), which also improves upon the previously best-known result.     

A compact formulation of a mixed-integer set

We consider mixed-integer sets of the form X = {(s, y) ∈ ?₊ × ? ⁿ : s + a _j y _j ≥ b _j , ?j ∈ N}. A polyhedral characterization for the case where X is defined by two inequalities is provided. From that characterization we give a compact formulation for the particular case where the coefficients of the integer variables can take only two possible integer values a ₁, a ₂ ∈ ?₊ : X _n,m = {(s, y) ∈ ?₊ × ? ^n+m : s + a ₁ y _j ≥ b _j , ?j ∈ N ₁, s + a ₂ y _j ≥ b _j , j ∈ N ₂} where N ₁ = {1, …, n}, N ₂ = {n + 1, …, n + m}. In addition, we discuss families of facet-defining inequalities for the convex hull of X _n,m .     

Operating characteristics of MX/G/1 queue with N-policy

We consider aM ^X/G/1 queueing system withN-policy. The server is turned off as soon as the system empties. When the queue length reaches or exceeds a predetermined valueN (threshold), the server is turned on and begins to serve the customers. We place our emphasis on understanding the operational characteristics of the queueing system. One of our findings is that the system size is the sum of two independent random variables: one has thePGF of the stationary system size of theM ^X/G/1 queueing system withoutN-policy and the other one has the probability generating function _j=0 ^N=1 _j z ^j/ _j=0 ^N=1 _j , in which _j is the probability that the system state stays atj before reaching or exceedingN during an idle period. Using this interpretation of the system size distribution, we determine the optimal thresholdN under a linear cost structure.     

On simultaneous reduction of families of matrices to triangular or diagonal form by unitary congruences

Let {A_i }and {B_i } be two given families of n-by-n matrices. We give conditions under which there is a unitary U such that every matrix UA_iU ¹ is upper triangular. We give conditions, weaker than the classical conditions of commutativity of the whole family, under which there is a unitary U such that every matrix UA_jU ^? is upper triangular. We also give conditions under which there is one single unitary U such that every UA_iU ¹ and every UB_jU ^? is upper triangular. We give necessary and sufficient conditions for simultaneous unitary reduction to diagonal form in this way when all the A_j's are complex symmetric and all theB_j 's are Hermitian.     

Relative Hyperbolicity and Artin Groups

Let G=&langle; a₁,&ldots; , a _n | a _i a _j a _i &ldots; = a_ja_ia_j,&ldots; ,i>j&rangle; be an Artin group and let m _ij =m _ji be the length of each of the sides of the defining relation involving a _i and a _j . We show if all m_ij &ges; 7 then G is relatively hyperbolic in the sense of Farb with respect to the collection of its two-generator subgroups a _i , a _j for which m_ij >&infty;.     

Polytopes with centrally symmetric faces

It is shown that if, for some 2≦j≦d-2, all thej-faces of ad-polytopeP are centrally symmetric, then all the faces ofP of every dimension are centrally symmetric.     

Extended abstract theory of universal series and applications

In this article, we extend the recently developed abstract theory of universal series to include averaged sums of the form \frac1f(n)?_j=0ⁿ a_j x_j{\frac{1}{\phi(n)}\sum_{j=0}^{n} a_j x_j} for a given fixed sequence of vectors (x _j ) in a topological vector space X over a field \mathbbK{\mathbb{K}} of real or complex scalars, where (f(n)){(\phi(n))} is a sequence of non-zero field scalars. We give necessary and sufficient conditions for the existence of a sequence of coefficients (a _j ) which make the above sequence of averaged sums dense in X. When applied, the extended theory gives new analogues to well known classical theorems including those of Seleznev, Fekete and Menchoff.     

Least squares solutions to AX = B for bisymmetric matrices under a central principal submatrix constraint and the optimal approximation

A matrix A∈R^n×n is called a bisymmetric matrix if its elements a_i,j satisfy the properties a_i,j=a_j,i and a_i,j=a_n-j+1,n-i+1 for 1?i,j?n. This paper considers least squares solutions to the matrix equation AX=B for A under a central principal submatrix constraint and the optimal approximation. A central principal submatrix is a submatrix obtained by deleting the same number of rows and columns in edges of a given matrix. We first discuss the specified structure of bisymmetric matrices and their central principal submatrices. Then we give some necessary and sufficient conditions for the solvability of the least squares problem, and derive the general representation of the solutions. Moreover, we also obtain the expression of the solution to the corresponding optimal approximation problem.     

On the Problem of Parameter Estimation in Exponential Sums

Let I≥1 be an integer, ω ₀=0<ω ₁<⋯<ω _I ≤π, and for j=0,…,I, a _j ∈ℂ, a_-j=[`(a_j)]a_{-j}={\overline{{a_{j}}}}, ω _−j =−ω _j , and a_j 1 0a_{j}\not=0 if j 1 0j\not=0. We consider the following problem: Given finitely many noisy samples of an exponential sum of the form

Identities in rings with involutions

A ringR with an involutiona →a* which satisfies a polynomial identityp[x ₁,…,x _d ;x*₁, …,x* _d ]=0 satisfies- an identity which does not include thex*. This generalizes the result of [1] where the symmetric elements ofR were assumed to satisfy an identity.     

Finite Interpolation with Minimum Uniform Norm in

Given a finite sequence a{a₁, …, a_N} in a domain Ω ⁿ, and complex scalars v{v₁, …, v_N}, consider the classical extremal problem of finding the smallest uniform norm of a holomorphic function verifying f(a_j)=v_j for all j. We show that the modulus of the solutions to this problem must approach its least upper bound along a subset of the boundary of the domain large enough so that its A(Ω)-hull contains a subset of the original a large enough to force the same minimum norm. Furthermore, all the solutions must agree on a variety which contains the hull (in an appropriate, weaker, sense) of a measure supported on the maximum modulus set. An example is given to show that the inclusions can be strict.     

Transient phenomena for random walks in the absence of the expected value of jumps

Let ξ, ξ₁, ξ₂, ... be independent identically distributed random variables, and S _n :=Σ _j=1 ⁿ ,ξ _j , $ \bar S $ \bar S := sup _n≥0 S _n . If Eξ = −a < 0 then we call transient those phenomena that happen to the distribution $ \bar S $ \bar S as a → 0 and $ \bar S $ \bar S tends to infinity in probability. We consider the case when Eξ fails to exist and study transient phenomena as a → 0 for the following two random walk models:

On well-quasi-ordering finite structures with labels

A quasi-ordered setA (i.e. one equipped with a reflexive and transitive relation ) is said to be well-quasi-ordered (wqo) if for every infinite sequencea ₁,a ₂, ... of elements ofA there are indicesi, j such thati < j anda _i a _j.Various natural wqo setsQ admit labelling by another wqoA yielding another quasi-ordered setQ(A), which may or may not be wqo. A suitable concept covering this phenomenon is the notion of aQO-category. We have two conjectures aboutQO-categories in the effect that labellingQO-categories by a wqo set can always be reduced to labelling by ordinals. We prove these conjectures for a broad class ofQO-categories and for generalQO-categories we prove weaker forms of these conjectures.