Abstract
One basic activity in combinatorics is to establish combinatorial identities by so-called `bijective proofs,' which amounts to constructing explicit bijections between two types of the combinatorial objects in question. The aim of this paper is to show how techniques from the formal logic world can be applied directly to such problems studied completely independently in the world of combinatorics. The basic idea is to characterize equinumerous partition ideals in terms of the minimal elements generating the order filters, the complements to the original ideals. For the case where the minimal elements of each of these order filters are disjoint, we have developed a general automated method to remove the mystery of certain known results and establish new results in the theory of integer partitions: Kanovich [Finding direct partition bijections by two-directional rewriting techniques. Discrete Math., 285 (1-3) (2004) 151-166], and Kanovich [The two-way rewriting in action: Removing the mystery of Euler-Glaisher's map. Discrete Math., (2006), doi:10.1016/j.disc.2006.10.005]. Here we address the case of filters having overlapping minimal elements. Essentially this is a case study related to the Fibonacci numeration system. In addition to a `bijective proof' for Zeckendorf's theorem - that every positive integer is uniquely representable within the Fibonacci numeration system, we establish `bijective proofs' for a new series of partition identities related to Fibonacci and Lucas numbers. The main result is proved using the idea of filter supports, and rewriting systems on multisets having overlapping patterns. The main technical step is a suitable construction of such a rewriting system and then a proof that this rewriting system and the system consisting of its reverse rewriting rules, both have the Church-Rosser property, with providing the bijections we are looking for.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.