Congruences for ?-regular partition functions modulo 3

Let b _ℓ (n) denote the number of ℓ-regular partitions of n. Recently Andrews, Hirschhorn, and Sellers proved that b ₄(n) satisfies two infinite families of congruences modulo 3, and Webb established an analogous result for b ₁₃(n). In this paper we prove similar families of congruences for b _ℓ (n) for other values of ℓ.     

Arithmetic of the 13-regular partition function modulo 3

Let b ₁₃(n) denote the number of 13-regular partitions of n. We study in this paper the behavior of b ₁₃(n) modulo 3 where n≡1 (mod 3). In particular, we identify an infinite family of arithmetic progressions modulo arbitrary powers of 3 such that b ₁₃(n)≡0 (mod 3).     

Infinite families of strange partition congruences for broken 2-diamonds

In 2007, George E. Andrews and Peter Paule (Acta Arithmetica 126:281–294, 2007) introduced a new class of combinatorial objects called broken k-diamonds. Their generating functions connect to modular forms and give rise to a variety of partition congruences. In 2008, Song Heng Chan proved the first infinite family of congruences when k=2. In this note, we present two non-standard infinite families of broken 2-diamond congruences derived from work of Oliver Atkin and Morris Newman. In addition, four conjectures related to k=3 and k=5 are stated.     

Congruences modulo 16, 32, and 64 for Andrews’s singular overpartitions

In a recent work, Andrews gave a definition of combinatorial objects which he called singular overpartitions and proved that these singular overpartitions, which depend on two parameters k and i, can be enumerated by the function \(\overline{C}_{k,i}(n) \) which denotes the number of overpartitions of n in which no part is divisible by k and only parts \(\equiv \pm i \ (\mathrm{mod}\ k)\) may be overlined. Andrews, Chen, Hirschhorn and Sellers, and Ahmed and Baruah discovered numerous congruences modulo 2, 3, 4, 8, and 9 for \(\overline{C}_{3,1}(n)\). In this paper, we prove a number of congruences modulo 16, 32, and 64 for \(\overline{C}_{3,1}(n)\).     

Rademacher-type formulas for restricted partition and overpartition functions

A collection of Hardy-Ramanujan-Rademacher type formulas for restricted partition and overpartition functions is presented, framed by several biographical anecdotes.     

Congruences for Quadratic Units of Norm −1

Let D 1 (mod 4) be a positive integer. Let R be the ring {x + y(1 + )/2 : x, y }. Suppose that R contains a unit of norm –1 as well as an element of norm 2, and thus an element of norm –2. It is not hard to see that ±1(mod ²). In this paper we determine modulo ³ and modulo ³ using only elementary techniques. This determination extends a recent result of Mastropietro, which was proved using class field theory.     

The generating functions of the rank and crank modulo 8

Let N(i,m;n) be the number of partitions of n with rank (Dyson) congruent to i (mod m) and let M(j,m;n) be the number of partitions of n with crank (Andrews, Garvan) congruent to j (mod m). I give here the generating functions for the numbers N(i,8;n) and M(j,8;n). I suggest forms for the one hundred power series

Continuity and equicontinuity of semigroups on norming dual pairs

We study continuity and equicontinuity of semigroups on norming dual pairs with respect to topologies defined in terms of the duality. In particular, we address the question whether continuity of a semigroup already implies (local/quasi) equicontinuity. We apply our results to transition semigroups and show that, under suitable hypothesis on E, every transition semigroup on C _b (E) which is continuous with respect to the strict topology β ₀ is automatically quasi-equicontinuous with respect to that topology. We also give several characterizations of β ₀-continuous semigroups on C _b (E) and provide a convenient condition for the transition semigroup of a Banach space valued Markov process to be β ₀-continuous.     

Criteria for the divergence of pairs of Teichmüller geodesics

We study the asymptotic geometry of Teichmüller geodesic rays. We show that, when the transverse measures to the vertical foliations of the quadratic differentials determining two different rays are topologically equivalent, but are not absolutely continuous with respect to each other, the rays diverge in Teichmüller space.     

Lower Bounds for Dimensions of Sums of Sets

We study lower bounds for the Minkowski and Hausdorff dimensions of the algebraic sum E+K of two sets E,K⊂ℝ ^d .     

Newman’s identity and infinite families of congruences modulo 7 for broken 3-diamond partitions

In 2007, Andrews and Paule introduced the notion of broken k-diamond partitions. Let \(\Delta _k(n)\) denote the number of broken k-diamond partitions of n for a fixed positive integer k. Recently, Paule and Radu presented some conjectures on congruences modulo 7 for \(\Delta _3(n)\) which were proved by Jameson and Xiong based on the theory of modular forms. Very recently, Xia proved several infinite families of congruences modulo 7 for \(\Delta _3(n)\) using theta function identities. In this paper, many new infinite families of congruences modulo 7 for \(\Delta _3(n)\) are derived based on an identity of Newman and the (p; k)-parametrization of theta functions due to Alaca, Alaca and Williams. In particular, some non-standard congruences modulo 7 for \(\Delta _3(n)\) are deduced. For example, we prove that for \(\alpha \ge 0\), \(\Delta _3\left( \frac{14\times 757^{\alpha }+1}{3}\right) \equiv 6 -\alpha \ (\mathrm{mod}\ 7)\).     

Strong Normalizability of Typed Lambda-Calculi for Substructural Logics

The strong normalization theorem is uniformly proved for typed λ-calculi for a wide range of substructural logics with or without strong negation. We would like to thank the referees for their valuable comments and suggestions. This research was supported by the Alexander von Humboldt Foundation. The second author is grateful to the Foundation for providing excellent working conditions and generous support of this research. This work was also supported by the Japanese Ministry of Education, Culture, Sports, Science and Technology, Grant-in-Aid for Young Scientists (B) 20700015, 2008.     

Moduli for pairs of elliptic curves¶with isomorphic N-torsion

We study the moduli surface for pairs of elliptic curves together with an isomorphism between their N-torsion groups. The Weil pairing gives a “determinant” map from this moduli surface to (Z/N Z)^*; its fibers are the components of the surface. We define spaces of modular forms on these components and Hecke correspondences between them, and study how those spaces of modular forms behave as modules for the Hecke algebra. We discover that the component with determinant −1 is somehow the “dominant” one; we characterize the difference between its spaces of modular forms and the spaces of modular forms on the other components using forms with complex multiplication. In addition, we prove Atkin–Lehner-style results about these spaces of modular forms. Finally, we show some simplifications that arise when N is prime, including a complete determination of such CM-forms, and give numerical examples. Received: 20 September 2000 / Revised version: 7 February 2001     

Mutation Classes of Skew-Symmetric 3 × 3-Matrices

In this article, we establish a bijection between the set of mutation classes of mutation-cyclic skew-symmetric integral 3 × 3-matrices and the set of triples of integers (a, b, c) such that 2 ≤ a ≤ b ≤ c and ab ≥ c. We also give an algorithm allowing to verify whether a matrix is mutation-cyclic or not. We prove that given a, b, the two cases depend on whether c is large enough or not.     

On the Existence of Optimal Unions of Subspaces for Data Modeling and Clustering

Given a set of vectors F={f ₁,…,f _m } in a Hilbert space H\mathcal {H}, and given a family C\mathcal {C} of closed subspaces of H\mathcal {H}, the subspace clustering problem consists in finding a union of subspaces in C\mathcal {C} that best approximates (is nearest to) the data F. This problem has applications to and connections with many areas of mathematics, computer science and engineering, such as Generalized Principal Component Analysis (GPCA), learning theory, compressed sensing, and sampling with finite rate of innovation. In this paper, we characterize families of subspaces C\mathcal {C} for which such a best approximation exists. In finite dimensions the characterization is in terms of the convex hull of an augmented set C⁺\mathcal {C}^{+}. In infinite dimensions, however, the characterization is in terms of a new but related notion; that of contact half-spaces. As an application, the existence of best approximations from π(G)-invariant families C\mathcal {C} of unitary representations of Abelian groups is derived.     

Quadratic forms and congruences for ℓ-regular partitions modulo 3, 5 and 7

Let $b_{\ell }(n)$ be the number of ℓ-regular partitions of n. We show that the generating functions of $b_{\ell }(n)$ with $\ell =3,5,6,7$ and 10 are congruent to the products of two items of Ramanujan's theta functions $\psi (q)$, $f(-q)$ and ${(q;q)}_{\infty }^3$ modulo 3, 5 and 7. So we can express these generating functions as double summations in q. Based on the properties of binary quadratic forms, we obtain vanishing properties of the coefficients of these series. This leads to several infinite families of congruences for $b_{\ell }(n)$ modulo 3, 5 and 7.     

Manin’s conjecture for a class of singular cubic hypersurfaces

Let l > 2 be a fixed positive integer and Q(y) be a positive definite quadratic form in l variables with integral coefficients. The aim of this paper is to count rational points of bounded height on the cubic hypersurface defined by u³ = Q(y)z. We can get a power-saving result for a class of special quadratic forms and improve on some previous work.     

On the number of Mordell–Weil generators for cubic surfaces

Let S be a smooth cubic surface over a field K. It is well-known that new K-rational points may be obtained from old ones by secant and tangent constructions. In this paper we prove, for a cubic surface containing a pair of skew rational lines over a field with at least 13 elements, that the rational points are generated by just one point. We also prove a cubic surface analogue of the unboundedness of ranks conjecture for elliptic curves over the rationals.