Abstract
One basic activity in combinatorics is to establish combinatorial identities by so-called ‘bijective proofs,’ which consist in constructing explicit bijections between two types of the combinatorial objects under consideration. We show how such bijective proofs can be established, and how the bijections are computed by means of multiset rewriting, for a variety of combinatorial problems involving partitions. In particular, we fully characterizes all equinumerous partition ideals with ‘disjointly supported’ complements. As a corollary, a new proof, the ’bijective’ one, is given for all equinumerous classes of the partition ideals of order 1 from the classical book “The Theory of Partitions” by G.Andrews. Establishing the required bijections involves novel two-directional reductions in the sense that forward and backward application of rewrite rules head for two different normal forms (representing the two combinatorial types). It is well-known that non-overlapping multiset rules are confluent. As for termination, it generally fails even for multiset rewriting systems that satisfy certain natural invariant balance conditions. The main technical development of the paper, which is important for establishing that the mapping yielding the combinatorial bijection is functional, is that the ‘restricted’ two-directional strong normalization holds for the multiset rewriting systems in question.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
George E. Andrews. The Theory of Partitions, Cambridge University Press, 1998
Franz Baader and Tobias Nipkow. Term Rewriting and All That. Cambridge University Press, 1998.
N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leeuwen, ed., Handbook of Theoretical Computer Science, volume B, pp 243–320. Elsevier, 1990.
A.M. Garsia and S.C. Milne, Method for constructing bijections for classical partition identities. Proc. Nat. Acad. Sci. U.S.A. 78 (1981), no. 4(1), 2026–2028.
Basil Gordon, Sieve-equivalence and explicit bijections, J. Combin. Theory Ser. A 34 (1983), no. 1, 90–93.
G. H. Hardy and S. Ramanujan, Asymptotic formulae in combinatory analysis, Proc. London Math. Soc. 17 (1918), 175–115.
Kathleen M. O’Hara, Bijections for partition identities. J. Combin. Theory Ser. A 49 (1988), no. 1, 13–25.
J.W. Klop. Term rewriting systems. In S. Abramsky, D.M. Gabbay, and T. S.E. Maibaum, ed., Handbook of Logic in Computer Science, volume 2, pp 1–116. Oxford University Press, New York, 1992.
Jeffrey B. Remmel, Bijective proofs of some classical partition identities, J. Combin. Theory Ser. A 33 (1982), 273–286.
Herbert S. Wilf, Sieve equivalence in generalized partition theory, J. Combin. Theory Ser. A 34 (1983), 80–89.
Herbert S. Wilf, Lectures on Integer Partitions, University of Victoria, Victoria, B.C., Canada, 2000, (<http://cis.upenn.edu/~wilf>).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kanovich, M. (2002). Bijections between Partitions by Two-Directional Rewriting Techniques. In: Bradfield, J. (eds) Computer Science Logic. CSL 2002. Lecture Notes in Computer Science, vol 2471. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45793-3_4
Download citation
DOI: https://doi.org/10.1007/3-540-45793-3_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44240-0
Online ISBN: 978-3-540-45793-0
eBook Packages: Springer Book Archive