The Penrose Polynomial of Binary Matroids

 A polynomial, called the Penrose polynomial, is studied for binary matroids, generalizing previous work on plane graphs. In particular, several formulae of Penrose are extended via the theory of isotropic systems. (Received 9 February, 2000; in revised form 26 June 2000)     

Complete Hypersurfaces with Constant Mean Curvature in a Unit Sphere

By investigating hypersurfaces M ⁿ in the unit sphere S ⁿ⁺¹(1) with constant mean curvature and with two distinct principal curvatures, we give a characterization of the torus S ¹(a) × , where . We extend recent results of Hasanis et al. [5] and Otsuki [10].     

Rigidity Theorem for Hypersurfaces in a Unit Sphere

By investigating hypersurfaces M ⁿ in the unit sphere S ⁿ⁺¹(1) with H _k = 0 and with two distinct principal curvatures, we give a characterization of torus the . We extend recent results of Perdomo [9], Wang [10] and Otsuki [8].     

Complete harmonic stable minimal hypersurfaces in a Riemannian manifold

In this paper, we will introduce the notion of harmonic stability for complete minimal hypersurfaces in a complete Riemannian manifold. The first result we prove, is that a complete harmonic stable minimal surface in a Riemannian manifold with non-negative Ricci curvature is conformally equivalent to either a plane R ² or a cylinder R × S ¹, which generalizes a theorem due to Fischer-Colbrie and Schoen [12]. The second one is that an n ≥ 2-dimensional, complete harmonic stable minimal, hypersurface M in a complete Riemannian manifold with non-negative sectional curvature has only one end if M is non-parabolic. The third one, which we prove, is that there exist no non-trivial L ²-harmonic one forms on a complete harmonic stable minimal hypersurface in a complete Riemannian manifold with non-negative sectional curvature. Since the harmonic stability is weaker than stability, we obtain a generalization of a theorem due to Miyaoka [20] and Palmer [21]. Research partially Supported by a Grant-in-Aid for Scientific Research from the Ministry of Education, Culture, Sports, Science and Technology, Japan. The author’s research was supported by grant Proj. No. KRF-2007-313-C00058 from Korea Research Foundation, Korea. Authors’ addresses: Qing-Ming Cheng, Department of Mathematics, Faculty of Science and Engineering, Saga University, Saga 840-8502, Japan; Young Jin Suh, Department of Mathematics, Kyungpook National University, Taegu 702-701, South Korea     

Korobov Spaces with Respect to Digital Orthonormal Bases

 For an orthonormal basis (ONB) of we define classes of functions according to the order of decay of the Fourier coefficients with respect to the considered ONB . The rate is expressed in the real parameter α. We investigate the following problem: What is the order of decay, if any, when we consider with respect to another ONB ? If the function is expressable as an absolutely convergent Fourier series with respect to , we give bounds for the new order of decay, which we call . Special attention is given to digital orthonormal bases (dONBs) of which the Walsh and Haar systems are examples treated in the present paper. Bounding intervals and in several cases explicit values for are given for the case of dONBs. An application to quasi-Monte Carlo numerical integration is mentioned. (Received 21 February 2000; in revised form 19 October 2000)     

Inequalities for irregular Gabor frames

In [C.K. Chui and X.L. Shi, Inequalities of Littlewood-Paley type for frames and wavelets, SIAM J. Math. Anal., 24 (1993), 263–277], the authors proved that if is a Gabor frame for with frame bounds A and B, then the following two inequalities hold: and . In this paper, we show that similar inequalities hold for multi-generated irregular Gabor frames of the form , where Δ _k and Λ _k are arbitrary sequences of points in and , 1 ≤ k ≤ r. Corresponding author for second author Authors’ address: Lili Zang and Wenchang Sun, Department of Mathematics and LPMC, Nankai University, Tianjin 300071, China     

Multivariate compactly supported biorthogonal spline wavelets

We study biorthogonal bases of compactly supported wavelets constructed from box splines in ℝ ^N with any integer dilation factor. For a suitable class of box splines we write explicitly dual low-pass filters of arbitrarily high regularity and indicate how to construct the corresponding high-pass filters (primal and dual). Received: August 23, 2000; in final form: March 10, 2001?Published online: May 29, 2002     

Haar Function Based Estimates of the Star-Discrepancy of Plane Digital Nets

 We apply the Haar function system to estimate the star-discrepancy of special digital (t,m,s)-nets in dimension . We use a basic technique based on discretization combined with an exact calculation of the discrete star-discrepancy. (Received 30 August 1999; in revised form 17 January 2000)     

Complete submanifolds in Euclidean spaces¶with parallel mean curvature vector

In this paper, we prove that n-dimensional complete and connected submanifolds with parallel mean curvature vector H in the (n+p)-dimensional Euclidean space E ^{n + p} are the totally geodesic Euclidean space E ⁿ , the totally umbilical sphere S ⁿ (c) or the generalized cylinder S ^{n − 1} (c) ×E ¹ if the second fundamental form h satisfies <h>²≤n ²|H|²/ (n− 1). Received: 28 November 2000 / Revised version: 7 May 2001     

Invariant Differential Operators on Certain Nilpotent Homogeneous Spaces

 Let be a nilpotent connected and simply connected Lie group, and an analytic subgroup of G. Let , be a unitary character of H and let . Suppose that the multiplicities of all the irreducible components of τ are finite. Corwin and Greenleaf conjectured that the algebra of the differential operators on the Schwartz-space of τ which commute with τ is isomorphic to the algebra of H-invariant polynomials on the affine space . We prove in this paper this conjecture under the condition that there exists a subalgebra which polarizes all generic elements in . We prove also that if is an ideal of , then the finite multiplicities of τ is equivalent to the fact that the algebra is commutative. (Received 15 November 2000)     

Profinite Groups Admitting Just Infinite Quotients

 A profinite group is said to be just infinite if each of its proper quotients is finite. We address the question which profinite groups admit just infinite quotients. It is proved that any profinite group whose order (as a supernatural number) is divisible only by finitely many primes admits just infinite quotients. It is shown that if a profinite group G possesses the property in question then so does every open subgroup and every finite extension of G. Received 20 July 2001     

Fourier-Based Distances and Berry-Esseen Like Inequalities for Smooth Densities

 This paper is devoted to the rate of convergence problem in the central limit theorem for sums of independent identically distributed random variables with regular probability density function. The method we use depends strictly on Fourier based metrics, and yields Berry-Esseen like bounds for the convergence towards both a normal and a stable law in various Sobolev norms. Received 31 May 2001; in revised form 13 November 2001     

A Constructive Inversion Framework for Twisted Convolution

In this paper we develop constructive invertibility conditions for the twisted convolution. Our approach is based on splitting the twisted convolution with rational parameters into a finite number of weighted convolutions, which can be interpreted as another twisted convolution on a finite cyclic group. In analogy with the twisted convolution of finite discrete signals, we derive an anti-homomorphism between the sequence space and a suitable matrix algebra which preserves the algebraic structure. In this way, the problem reduces to the analysis of finite matrices whose entries are sequences supported on corresponding cosets. The invertibility condition then follows from Cramer’s rule and Wiener’s lemma for this special class of matrices. The problem results from a well known approach of studying the invertibility properties of the Gabor frame operator in the rational case. The presented approach gives further insights into Gabor frames. In particular, it can be applied for both the continuous (on ) and the finite discrete setting. In the latter case, we obtain algorithmic schemes for directly computing the inverse of Gabor frame-type matrices equivalent to those known in the literature.     

Rigidity of Clifford Minimal Hypersurfaces

In this paper, we prove some rigidity theorems for Clifford minimal hypersurfaces in a unit sphere.Received March 18, 2002; in revised form December 25, 2002 Published online October 15, 2003     

Homomorphisms of Products of Graphs into Graphs Without Four Cycles

Given two graphs A and G, we write if there is a homomorphism of A to G and if there is no such homomorphism. The graph G is -free if, whenever both a and c are adjacent to b and d, then a = c or b = d. We will prove that if A and B are connected graphs, each containing a triangle and if G is a -free graph with and , then (here " denotes the categorical product). Received August 31, 1998/Revised April 19, 2000 RID="†" ID="†" Supported by NSERC of Canada Grant #691325.     

Constant Mean Curvature Surfaces with Boundaryin Hyperbolic Space

 We study constant mean curvature compact surfaces immersed in hyperbolic space with non-empty boundary (=H-surfaces). We prove that the only H-surfaces with boundary circular and 0≤∣H∣≤1, are the umbilical examples. When the surface is embedded, conditions to be umbilical are given. Finally, we characterize umbilical surfaces bounded by a circle among all H-discs with small area. Received 27 March 1997; in final form 11 June 1998     

Totally Odd -subdivisions in 4-chromatic Graphs

We prove the conjecture made by Bjarne Toft in 1975 that every 4-chromatic graph contains a subdivision of in which each edge of corresponds to a path of odd length. As an auxiliary result we characterize completely the subspace of the cycle space generated by all cycles through two fixed edges. Toft's conjecture was proved independently in 1995 by Wenan Zang. Received May 26, 1998     

Critical Facets of the Stable Set Polytope

Dedicated to the memory of Paul Erdős A facet of the stable set polytope of a graph G can be viewed as a generalization of the notion of an -critical graph. We extend several results from the theory of -critical graphs to facets. The defect of a nontrivial, full-dimensional facet of the stable set polytope of a graph G is defined by . We prove the upper bound for the degree of any node u in a critical facet-graph, and show that can occur only when . We also give a simple proof of the characterization of critical facet-graphs with defect 2 proved by Sewell [11]. As an application of these techniques we sharpen a result of Surányi [13] by showing that if an -critical graph has defect and contains nodes of degree , then the graph is an odd subdivision of . Received October 23, 1998     

An Edge Point Gibbs Phenomenon for Fourier Series in Two Dimensions

Let f be a function periodic in its two variables x, y with period 2 and having at the origin an edge point jump discontinuity (its graph may be roughly described by a cliff with a smooth but possibly inclined rim). The Fourier series of f exhibits a Gibbs phenomenon as in the one-dimensional case but with an affine horizontal deformation depending on the compass direction of the rim at the origin.Received February 7, 2002; in revised form May 24, 2002 Published online April 4, 2003     

Retraction of a Compact Subspace onto Its Boundary

 Generalizing the famous Borsuk’s non-retraction theorem, it is proved that there is a retraction from a compact subspace of a euclidean space onto its boundary if and only if it has an empty interior. Received October 31, 2001; in revised form March 14, 2002 Published online September 9, 2002