Showing 1–28 of 28 results for author: Uncu, A K

Quantifier Elimination for Normal Cone Computations

Authors: Michael Mandlmayr, Ali Kemal Uncu

Abstract: We present effective procedures to calculate regular normal cones and other related objects using quantifier elimination. This method of normal cone calculations is complementary to computing Lagrangians and it works best at points where the constraint qualifications fail and extra work for other methods becomes inevitable. This method also serves as a tool to calculate the regular co-derivative f… ▽ More We present effective procedures to calculate regular normal cones and other related objects using quantifier elimination. This method of normal cone calculations is complementary to computing Lagrangians and it works best at points where the constraint qualifications fail and extra work for other methods becomes inevitable. This method also serves as a tool to calculate the regular co-derivative for semismooth* Newton methods. We list algorithms and their demonstrations of different use cases for this approach. △ Less

Submitted 8 February, 2024; originally announced February 2024.

Comments: 15 pages, 2 figures

MSC Class: 49J53; 03C10; 49J52; 68V15; 74P10; 90C23; 90C30; 90C31; 90C53 ACM Class: I.1.4

Factorial Basis Method for q-Series Applications

Authors: Antonio Jiménez-Pastor, Ali Kemal Uncu

Abstract: The Factorial Basis method, initially designed for quasi-triangular, shift-compatible factorial bases, provides solutions to linear recurrence equations in the form of definite-sums. This paper extends the Factorial Basis method to its q-analog, enabling its application in q-calculus. We demonstrate the adaptation of the method to q-sequences and its utility in the realm of q-combinatorics. The ex… ▽ More The Factorial Basis method, initially designed for quasi-triangular, shift-compatible factorial bases, provides solutions to linear recurrence equations in the form of definite-sums. This paper extends the Factorial Basis method to its q-analog, enabling its application in q-calculus. We demonstrate the adaptation of the method to q-sequences and its utility in the realm of q-combinatorics. The extended technique is employed to automatically prove established identities and unveil novel ones, particularly some associated with the Rogers-Ramanujan identities. △ Less

Submitted 6 February, 2024; originally announced February 2024.

Comments: 9 double-column pages

MSC Class: 05A15; 05A30; 68R05; 05-04 ACM Class: G.2.1; I.1.4; F.2.2

Iterated Resultants and Rational Functions in Real Quantifier Elimination

Authors: James H. Davenport, Matthew England, Scott McCallum, Ali K. Uncu

Abstract: This paper builds and extends on the authors previous work related to the algorithmic tool, Cylindrical Algebraic Decomposition (CAD), and one of its core applications, Real Quantifier Elimination (QE). These topics are at the heart of symbolic computation and were first implemented in computer algebra systems decades ago, but have recently received renewed interest as part of the ongoing developm… ▽ More This paper builds and extends on the authors previous work related to the algorithmic tool, Cylindrical Algebraic Decomposition (CAD), and one of its core applications, Real Quantifier Elimination (QE). These topics are at the heart of symbolic computation and were first implemented in computer algebra systems decades ago, but have recently received renewed interest as part of the ongoing development of SMT solvers for non-linear real arithmetic. First, we consider the use of iterated univariate resultants in traditional CAD, and how this leads to inefficiencies, especially in the case of an input with multiple equational constraints. We reproduce the workshop paper [Davenport \& England, 2023], adding important clarifications to our suggestions first made there to make use of multivariate resultants in the projection phase of CAD. We then consider an alternative approach to this problem first documented in [McCallum \& Brown, 2009] which redefines the actual object under construction, albeit only in the case of two equational constraints. We correct an important typo and provide a missing proof in that paper. We finish by revising the topic of how to deal with SMT or Real QE problems expressed using rational functions (as opposed to the usual polynomial ones) noting that these are often found in industrial applications. We revisit a proposal made in [Uncu, Davenport and England, 2023] for doing this in the case of satisfiability, explaining why such an approach does not trivially extend to more complicated quantification structure and giving a suitable alternative. △ Less

Submitted 23 December, 2023; originally announced December 2023.

Comments: To be submitted to Mathematics in Computer Science

MSC Class: 14W30 (primary) 68W30 (secondary) ACM Class: I.1.2

SMT-Solving Induction Proofs of Inequalities

Authors: Ali K. Uncu, James H. Davenport, Matthew England

Abstract: This paper accompanies a new dataset of non-linear real arithmetic problems for the SMT-LIB benchmark collection. The problems come from an automated proof procedure of Gerhold--Kauers, which is well suited for solution by SMT. The problems of this type have not been tackled by SMT-solvers before. We describe the proof technique and give one new such proof to illustrate it. We then describe the da… ▽ More This paper accompanies a new dataset of non-linear real arithmetic problems for the SMT-LIB benchmark collection. The problems come from an automated proof procedure of Gerhold--Kauers, which is well suited for solution by SMT. The problems of this type have not been tackled by SMT-solvers before. We describe the proof technique and give one new such proof to illustrate it. We then describe the dataset and the results of benchmarking. The benchmarks on the new dataset are quite different to the existing ones. The benchmarking also brings forward some interesting debate on the use/inclusion of rational functions and algebraic numbers in the SMT-LIB. △ Less

Submitted 31 July, 2023; originally announced July 2023.

Comments: Presented at the 2022 SC-Square Workshop

MSC Class: 68W30 ACM Class: I.1.4; G.4

Journal ref: Proceedings of the 7th Workshop on Satisfiability Checking and Symbolic Computation (SC2 '22), A. Uncu and H. Barbosa eds. CEUR Workshop Proceedings 3458, pp. 10-24, 2023

A Poly-algorithmic Approach to Quantifier Elimination

Authors: James H. Davenport, Zak P. Tonks, Ali K. Uncu

Abstract: Cylindrical Algebraic Decomposition (CAD) was the first practical means for doing real quantifier elimination (QE), and is still a major method, with many improvements since Collins' original method. Nevertheless, its complexity is inherently doubly exponential in the number of variables. Where applicable, virtual term substitution (VTS) is more effective, turning a QE problem in $n$ variables to… ▽ More Cylindrical Algebraic Decomposition (CAD) was the first practical means for doing real quantifier elimination (QE), and is still a major method, with many improvements since Collins' original method. Nevertheless, its complexity is inherently doubly exponential in the number of variables. Where applicable, virtual term substitution (VTS) is more effective, turning a QE problem in $n$ variables to one in $n-1$ variables in one application, and so on. Hence there is scope for hybrid methods: doing VTS where possible then using CAD. This paper describes such a poly-algorithmic implementation, based on the second author's Ph.D. thesis. The version of CAD used is based on a new implementation of Lazard's recently-justified method, with some improvements to handle equational constraints. △ Less

Submitted 7 December, 2023; v1 submitted 13 February, 2023; originally announced February 2023.

Comments: To appear in Proceedings SYNASC 2023

MSC Class: 68W30 ACM Class: I.1.2

Lazard-style CAD and Equational Constraints

Authors: James H. Davenport, Akshar S. Nair, Gregory K. Sankaran, Ali K. Uncu

Abstract: McCallum-style Cylindrical Algebra Decomposition (CAD) is a major improvement on the original Collins version, and has had many subsequent advances, notably for total or partial equational constraints. But it suffers from a problem with nullification. The recently-justified Lazard-style CAD does not have this problem. However, transporting the equational constraints work to Lazard-style does reint… ▽ More McCallum-style Cylindrical Algebra Decomposition (CAD) is a major improvement on the original Collins version, and has had many subsequent advances, notably for total or partial equational constraints. But it suffers from a problem with nullification. The recently-justified Lazard-style CAD does not have this problem. However, transporting the equational constraints work to Lazard-style does reintroduce nullification issues. This paper explains the problem, and the solutions to it, based on the second author's Ph.D. thesis and the Brown--McCallum improvement to Lazard. With a single equational constraint, we can gain the same improvements in Lazard-style as in McCallum-style CAD . Moreover, our approach does not fail where McCallum would due to nullification. Unsurprisingly, it does not achieve the same level of improvement as it does in the non-nullified cases. We also consider the case of multiple equational constraints. △ Less

Submitted 7 December, 2023; v1 submitted 11 February, 2023; originally announced February 2023.

Comments: 9 pages

MSC Class: 68W30 ACM Class: I.1.2

Journal ref: Proceedings of ISSAC'23, 2023

A Unified Approach to Unimodality of Gaussian Polynomials

Authors: Christoph Koutschan, Ali K. Uncu, Elaine Wong

Abstract: In 2013, Pak and Panova proved the strict unimodality property of $q$-binomial coefficients $\binom{\ell+m}{m}_q$ (as polynomials in $q$) based on the combinatorics of Young tableaux and the semigroup property of Kronecker coefficients. They showed it to be true for all $\ell,m\geq 8$ and a few other cases. We propose a different approach to this problem based on computer algebra, where we establi… ▽ More In 2013, Pak and Panova proved the strict unimodality property of $q$-binomial coefficients $\binom{\ell+m}{m}_q$ (as polynomials in $q$) based on the combinatorics of Young tableaux and the semigroup property of Kronecker coefficients. They showed it to be true for all $\ell,m\geq 8$ and a few other cases. We propose a different approach to this problem based on computer algebra, where we establish a closed form for the coefficients of these polynomials and then use cylindrical algebraic decomposition to identify exactly the range of coefficients where strict unimodality holds. This strategy allows us to tackle generalizations of the problem, e.g., to show unimodality with larger gaps or unimodality of related sequences. In particular, we present proofs of two additional cases of a conjecture by Stanley and Zanello. △ Less

Submitted 31 August, 2023; v1 submitted 8 February, 2023; originally announced February 2023.

Comments: Supplementary material at https://wongey.github.io/unimodality

Journal ref: ISSAC 2023: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, July 2023, Pages 434-442

Proofs of Modulo 11 and 13 Cylindric Kanade-Russell Conjectures for $A_2$ Rogers-Ramanujan Type Identities

Authors: Ali Kemal Uncu

Abstract: We present proofs of two new families of sum-product identities arising from the cylindric partitions paradigm. Most of the presented expressions, the related sum-product identities, and the ingredients for the proofs were first conjectured by Kanade-Russell in the spirit of Andrews-Schilling-Warnaar identities of the $A_2$ Rogers-Ramanujan type. We follow the footsteps of Kanade-Russell while we… ▽ More We present proofs of two new families of sum-product identities arising from the cylindric partitions paradigm. Most of the presented expressions, the related sum-product identities, and the ingredients for the proofs were first conjectured by Kanade-Russell in the spirit of Andrews-Schilling-Warnaar identities of the $A_2$ Rogers-Ramanujan type. We follow the footsteps of Kanade-Russell while we alter the computations heavily to accomplish our goals. △ Less

Submitted 3 January, 2023; originally announced January 2023.

Comments: 19 pages

MSC Class: 05A15; 05A17; 05A19; 11B65; 11P84; 17B65; 68R05

On Finite Analogs of Schmidt's Problem and Its Variants

Authors: Alexander Berkovich, Ali Kemal Uncu

Abstract: We refine Schmidt's problem and a partition identity related to 2-color partitions which we will refer to as Uncu-Andrews-Paule theorem. We will approach the problem using Boulet-Stanley weights and a formula on Rogers-Szegő polynomials by Berkovich-Warnaar, and present various Schmidt's problem alike theorems and their refinements. Our new Schmidt type results include the use of even-indexed part… ▽ More We refine Schmidt's problem and a partition identity related to 2-color partitions which we will refer to as Uncu-Andrews-Paule theorem. We will approach the problem using Boulet-Stanley weights and a formula on Rogers-Szegő polynomials by Berkovich-Warnaar, and present various Schmidt's problem alike theorems and their refinements. Our new Schmidt type results include the use of even-indexed parts' sums, alternating sum of parts, and hook lengths as well as the odd-indexed parts' sum which appears in the original Schmidt's problem. We also translate some of our Schmidt's problem alike relations to weighted partition counts with multiplicative weights in relation to Rogers-Ramanujan partitions. △ Less

Submitted 19 May, 2022; v1 submitted 1 May, 2022; originally announced May 2022.

Comments: 13 pages, 2 figures, 10 tables

MSC Class: 05A15; 05A17; 05A19; 11B34; 11B75; 11P81

Sequences in Overpartitions

Authors: George E. Andrews, Ali K. Uncu

Abstract: This paper is devoted to the study of sequences in overpartitions and their relation to 2-color partitions. An extensive study of a general class of double series is required to achieve these ends. This paper is devoted to the study of sequences in overpartitions and their relation to 2-color partitions. An extensive study of a general class of double series is required to achieve these ends. △ Less

Submitted 29 November, 2021; originally announced November 2021.

Comments: 10 pages

MSC Class: Primary 11B65; Secondary 11C08; 11C20; 11P81; 11P84; 05A10; 05A15; 05A17

New infinite hierarchies of polynomial identities related to the Capparelli partition theorems

Authors: Alexander Berkovich, Ali Kemal Uncu

Abstract: We prove a new polynomial refinement of the Capparelli's identities. Using a special case of Bailey's lemma we prove many infinite families of sum-product identities that root from our finite analogues of Capparelli's identities. We also discuss the $q\mapsto 1/q$ duality transformation of the base identities and some related partition theoretic relations. We prove a new polynomial refinement of the Capparelli's identities. Using a special case of Bailey's lemma we prove many infinite families of sum-product identities that root from our finite analogues of Capparelli's identities. We also discuss the $q\mapsto 1/q$ duality transformation of the base identities and some related partition theoretic relations. △ Less

Submitted 26 June, 2021; v1 submitted 17 June, 2021; originally announced June 2021.

Comments: 16 pages

MSC Class: Primary 11B65; Secondary 11C08; 11P81; 11P82; 11P83; 11P84; 05A10; 05A15; 05A17

Cylindric partitions and some new $A_2$ Rogers-Ramanujan identities

Authors: Sylvie Corteel, Jehanne Dousse, Ali K. Uncu

Abstract: We study the generating functions for cylindric partitions with profile $(c_1,c_2,c_3)$ for all $c_1,c_2,c_3$ such that $c_1+c_2+c_3=5$. This allows us to discover and prove seven new $A_2$ Rogers-Ramanujan identities modulo $8$ with quadruple sums, related with work of Andrews, Schilling, and Warnaar. We study the generating functions for cylindric partitions with profile $(c_1,c_2,c_3)$ for all $c_1,c_2,c_3$ such that $c_1+c_2+c_3=5$. This allows us to discover and prove seven new $A_2$ Rogers-Ramanujan identities modulo $8$ with quadruple sums, related with work of Andrews, Schilling, and Warnaar. △ Less

Submitted 25 November, 2020; originally announced November 2020.

Comments: 12 pages, 3 figures

On a weighted spin of the Lebesgue Identity

Authors: Ali K. Uncu

Abstract: Alladi studied partition theoretic implications of a two variable generalization of the Lebesgue identity. In this short note, we focus on a slight variation of the basic hypergeometric sum that Alladi studied. We present two new partition identities involving weights. Alladi studied partition theoretic implications of a two variable generalization of the Lebesgue identity. In this short note, we focus on a slight variation of the basic hypergeometric sum that Alladi studied. We present two new partition identities involving weights. △ Less

Submitted 11 May, 2020; originally announced May 2020.

Comments: Mathematical Aspects of Computer and Information Sciences, Springer International Publishing, pp 273-279

MSC Class: 05A15; 05A17; 05A19; 11P81; 33D15

Log-concavity results for a biparametric and an elliptic extension of the $q$-binomial coefficients

Authors: Michael J. Schlosser, Koushik Senapati, Ali K. Uncu

Abstract: We establish discrete and continuous log-concavity results for a biparametric extension of the $q$-numbers and of the $q$-binomial coefficients. By using classical results for the Jacobi theta function we are able to lift some of our log-concavity results to the elliptic setting. One of our main ingredients is a putatively new lemma involving a multiplicative analogue of Turán's inequality. We establish discrete and continuous log-concavity results for a biparametric extension of the $q$-numbers and of the $q$-binomial coefficients. By using classical results for the Jacobi theta function we are able to lift some of our log-concavity results to the elliptic setting. One of our main ingredients is a putatively new lemma involving a multiplicative analogue of Turán's inequality. △ Less

Submitted 11 August, 2020; v1 submitted 18 February, 2020; originally announced February 2020.

Comments: 17 pages; dedicated to Bruce Berndt, on the occasion of his 80th birthday; minor changes; to appear in the International Journal of Number Theory

MSC Class: 05A20 (Primary) 05A10; 05A30; 11F27; 26D20; 33E05 (Secondary)

Where do the maximum absolute $q$-series coefficients of $(1-q)(1-q^2)(1-q^3)\dots(1-q^{n-1})(1-q^n)$ occur?

Authors: Alexander Berkovich, Ali K. Uncu

Abstract: We used the MACH2 supercomputer to study coefficients in the $q$-series expansion of $(1-q)(1-q^2)\dots(1-q^n)$, for all $n\leq 75000$. As a result, we were able to conjecture some periodic properties associated with the before unknown location of the maximum coefficient of these polynomials with odd $n$. Remarkably the observed period is 62,624. We used the MACH2 supercomputer to study coefficients in the $q$-series expansion of $(1-q)(1-q^2)\dots(1-q^n)$, for all $n\leq 75000$. As a result, we were able to conjecture some periodic properties associated with the before unknown location of the maximum coefficient of these polynomials with odd $n$. Remarkably the observed period is 62,624. △ Less

Submitted 9 November, 2019; originally announced November 2019.

Comments: 9 pages, 1 figure, 3 tables

MSC Class: 05A15; 05A30; 11Y55; 11Y60; 90C10

qFunctions -- A Mathematica package for $q$-series and partition theory applications

Authors: Jakob Ablinger, Ali K. Uncu

Abstract: We describe the qFunctions Mathematica package for $q$-series and partition theory applications. This package includes both experimental and symbolic tools. The experimental set of elements includes guessers for $q$-shift equations and recurrences for given $q$-series and fitting/finding explicit expressions for sequences of polynomials. This package can symbolically handle formal manipulations on… ▽ More We describe the qFunctions Mathematica package for $q$-series and partition theory applications. This package includes both experimental and symbolic tools. The experimental set of elements includes guessers for $q$-shift equations and recurrences for given $q$-series and fitting/finding explicit expressions for sequences of polynomials. This package can symbolically handle formal manipulations on $q$-differential, $q$-shift equations and recurrences, such as switching between these forms, finding the greatest common divisor of recurrences, and formal substitutions. Here, we also extend the classical method of the weighted words approach. Moreover, qFunctions has implementations that automate the recurrence system creation of the weighted words approach as well as a scheme on cylindric partitions. △ Less

Submitted 27 October, 2019; originally announced October 2019.

Comments: 17 pages

MSC Class: 05A15; 05A17; 05A19; 11P81; 33D15; 68-01; 68R05

A Polynomial Identity Implying Schur's Partition Theorem

Authors: Ali K. Uncu

Abstract: We propose and prove a new polynomial identity that implies Schur's partition theorem. We give combinatorial interpretations of some of our expressions in the spirit of Kurşungöz. We also present some related polynomial and $q$-series identities. We propose and prove a new polynomial identity that implies Schur's partition theorem. We give combinatorial interpretations of some of our expressions in the spirit of Kurşungöz. We also present some related polynomial and $q$-series identities. △ Less

Submitted 4 March, 2019; originally announced March 2019.

Comments: 11 pages

MSC Class: 05A15; 05A17; 05A19; 11B37; 11P83

On double sum generating functions in connection with some classical partition theorems

Authors: Ali K. Uncu

Abstract: We focus on writing closed forms of generating functions for the number of partitions with gap conditions as double sums starting from a combinatorial construction. Some examples of the sets of partitions with gap conditions to be discussed here are the set of Rogers--Ramanujan, Göllnitz--Gordon, and little Göllnitz partitions. This work also includes finding the finite analogs of the related gene… ▽ More We focus on writing closed forms of generating functions for the number of partitions with gap conditions as double sums starting from a combinatorial construction. Some examples of the sets of partitions with gap conditions to be discussed here are the set of Rogers--Ramanujan, Göllnitz--Gordon, and little Göllnitz partitions. This work also includes finding the finite analogs of the related generating functions and the discussion of some related series and polynomial identities. Additionally, we present a different construction and a double sum representation for the products similar to the ones that appear in the Rogers--Ramanujan identities. △ Less

Submitted 27 July, 2021; v1 submitted 20 November, 2018; originally announced November 2018.

Comments: 24 pages

MSC Class: 05A10; 05A15; 05A17; 11B37; 11B65; 11P81; 11P83; 11P84; 11C08

Refined $q$-Trinomial Coefficients and Two Infinite Hierarchies of $q$-Series Identities

Authors: Alexander Berkovich, Ali K. Uncu

Abstract: We will prove an identity involving refined $q$-trinomial coefficients. We then extend this identity to two infinite families of doubly bounded polynomial identities using transformation properties of the refined $q$-trinomials in an iterative fashion in the spirit of Bailey chains. One of these two hierarchies contains an identity which is equivalent to Capparelli's first Partition Theorem. We will prove an identity involving refined $q$-trinomial coefficients. We then extend this identity to two infinite families of doubly bounded polynomial identities using transformation properties of the refined $q$-trinomials in an iterative fashion in the spirit of Bailey chains. One of these two hierarchies contains an identity which is equivalent to Capparelli's first Partition Theorem. △ Less

Submitted 27 March, 2019; v1 submitted 29 October, 2018; originally announced October 2018.

Comments: 10 pages

MSC Class: 11B65; 11C08; 11P81; 11P82; 11P83; 11P84; 05A10; 05A15; 05A17

Elementary Polynomial Identities Involving $q$-Trinomial Coefficients

Authors: Alexander Berkovich, Ali K. Uncu

Abstract: We use $q$-binomial theorem to prove three new polynomial identities involving $q$-trinomial coefficients. We then use summation formulas for the $q$-trinomial coefficients to convert our identities into another set of three polynomial identities, which imply Capparelli's partition theorems when the degree of the polynomial tends to infinity. This way we also obtain an interesting new result for t… ▽ More We use $q$-binomial theorem to prove three new polynomial identities involving $q$-trinomial coefficients. We then use summation formulas for the $q$-trinomial coefficients to convert our identities into another set of three polynomial identities, which imply Capparelli's partition theorems when the degree of the polynomial tends to infinity. This way we also obtain an interesting new result for the sum of the Capparelli's products. We finish this paper by proposing an infinite hierarchy of polynomial identities. △ Less

Submitted 15 October, 2018; originally announced October 2018.

Comments: 9 pages

MSC Class: 11B65; 11C08; 11P81; 11P82; 11P83; 11P84; 05A10; 05A15; 05A17

Polynomial Identities Implying Capparelli's Partition Theorems

Authors: Alexander Berkovich, Ali K. Uncu

Abstract: We propose and recursively prove polynomial identities which imply Capparelli's partition theorems. We also find perfect companions to the results of Andrews, and Alladi, Andrews and Gordon involving $q$-trinomial coefficients. We follow Kurşungöz's ideas to provide direct combinatorial interpretations of some of our expressions. We use of the trinomial analogue of Bailey's lemma to derive new ide… ▽ More We propose and recursively prove polynomial identities which imply Capparelli's partition theorems. We also find perfect companions to the results of Andrews, and Alladi, Andrews and Gordon involving $q$-trinomial coefficients. We follow Kurşungöz's ideas to provide direct combinatorial interpretations of some of our expressions. We use of the trinomial analogue of Bailey's lemma to derive new identities. These identities relate triple sums and products. A couple of new Slater type identities are also noted. △ Less

Submitted 15 February, 2019; v1 submitted 28 July, 2018; originally announced July 2018.

Comments: 22 pages, 3 tables

MSC Class: 05A15; 05A17; 05A19; 11B37; 11P83

Some Elementary Partition Inequalities and Their Implications

Authors: Alexander Berkovich, Ali K. Uncu

Abstract: We prove various inequalities between the number of partitions with the bound on the largest part and some restrictions on occurrences of parts. We explore many interesting consequences of these partition inequalities. In particular, we show that for $L\geq 1$, the number of partitions with $l-s \leq L$ and $s=1$ is greater than the number of partitions with $l-s\leq L$ and $s>1$. Here $l$ and… ▽ More We prove various inequalities between the number of partitions with the bound on the largest part and some restrictions on occurrences of parts. We explore many interesting consequences of these partition inequalities. In particular, we show that for $L\geq 1$, the number of partitions with $l-s \leq L$ and $s=1$ is greater than the number of partitions with $l-s\leq L$ and $s>1$. Here $l$ and $s$ are the largest part and the smallest part of the partition, respectively. △ Less

Submitted 6 August, 2017; originally announced August 2017.

Comments: 16 pages

MSC Class: 05A15; 05A17; 05A19; 05A20; 11B65; 11P81; 11P84; 33D15

On some polynomials and series of Bloch-Polya Type

Authors: Alexander Berkovich, Ali K. Uncu

Abstract: We will show that $(1-q)(1-q^2)\dots (1-q^m)$ is a polynomial in $q$ with coefficients from $\{-1,0,1\}$ iff $m=1,\ 2,\ 3,$ or $5$ and explore some interesting consequences of this result. We find explicit formulas for the $q$-series coefficients of $(1-q^2)(1-q^3)(1-q^4)(1-q^5)\dots$ and $(1-q^3)(1-q^4)(1-q^5)(1-q^6)\dots$. In doing so, we extend certain observations made by Sudler in 1964. We al… ▽ More We will show that $(1-q)(1-q^2)\dots (1-q^m)$ is a polynomial in $q$ with coefficients from $\{-1,0,1\}$ iff $m=1,\ 2,\ 3,$ or $5$ and explore some interesting consequences of this result. We find explicit formulas for the $q$-series coefficients of $(1-q^2)(1-q^3)(1-q^4)(1-q^5)\dots$ and $(1-q^3)(1-q^4)(1-q^5)(1-q^6)\dots$. In doing so, we extend certain observations made by Sudler in 1964. We also discuss the classification of the products $(1-q)(1-q^2)\dots (1-q^m)$ and some related series with respect to their absolute largest coefficients. △ Less

Submitted 11 October, 2017; v1 submitted 21 May, 2017; originally announced May 2017.

Comments: 9 pages, 2 tables

MSC Class: 05A17; 05A19; 11B65; 11P81

New Weighted Partition Theorems with the Emphasis on the Smallest Part of Partitions

Authors: Alexander Berkovich, Ali Kemal Uncu

Abstract: We use the $q$-binomial theorem, the $q$-Gauss sum, and the ${}_2φ_1 \rightarrow {}_2φ_2$ transformation of Jackson to discover and prove many new weighted partition identities. These identities involve unrestricted partitions, overpartitions, and partitions with distinct even parts. Smallest part of the partitions plays an important role in our analysis. This work was motivated in part by the res… ▽ More We use the $q$-binomial theorem, the $q$-Gauss sum, and the ${}_2φ_1 \rightarrow {}_2φ_2$ transformation of Jackson to discover and prove many new weighted partition identities. These identities involve unrestricted partitions, overpartitions, and partitions with distinct even parts. Smallest part of the partitions plays an important role in our analysis. This work was motivated in part by the research of Krishna Alladi. △ Less

Submitted 11 November, 2016; v1 submitted 31 July, 2016; originally announced August 2016.

Comments: 18 pages, 7 tables

MSC Class: 05A15; 05A17; 05A19; 11B34; 11B75; 11P81; 11P84; 33D15

Variation on a theme of Nathan Fine. New weighted partition identities

Authors: Alexander Berkovich, Ali Kemal Uncu

Abstract: We utilize false theta function results of Nathan Fine to discover three new partition identities involving weights. These relations connect Göllnitz--Gordon type partitions and partitions with distinct odd parts, partitions into distinct parts and ordinary partitions, and partitions with distinct odd parts where the smallest positive integer that is not a part of the partition is odd and ordinary… ▽ More We utilize false theta function results of Nathan Fine to discover three new partition identities involving weights. These relations connect Göllnitz--Gordon type partitions and partitions with distinct odd parts, partitions into distinct parts and ordinary partitions, and partitions with distinct odd parts where the smallest positive integer that is not a part of the partition is odd and ordinary partitions subject to some initial conditions, respectively. Some of our weights involve new partition statistics, one is defined as the number of different odd parts of a partition larger than or equal to a given value and another one is defined as the number of different even parts larger than the first integer that is not a part of the partition. Dedicated to our friend, Krishna Alladi, on his 60th birthday. △ Less

Submitted 7 November, 2016; v1 submitted 1 May, 2016; originally announced May 2016.

Comments: 16 pages, 9 tables

MSC Class: 05A17; 05A19; 11B34; 11B75; 11P81; 11P84; 33D15

Weighted Rogers-Ramanujan Partitions and Dyson Crank

Authors: Ali Kemal Uncu

Abstract: In this paper we refine a weighted partition identity of Alladi. We write explicit formulas of generating functions for the number of partitions grouped with respect to a partition statistic other than the norm. We tie our weighted results and the different statistics with the crank of a partition. In particular, we prove that the number of partitions into even number of distinct parts whose odd-i… ▽ More In this paper we refine a weighted partition identity of Alladi. We write explicit formulas of generating functions for the number of partitions grouped with respect to a partition statistic other than the norm. We tie our weighted results and the different statistics with the crank of a partition. In particular, we prove that the number of partitions into even number of distinct parts whose odd-indexed parts' sum is n is equal to the number of partitions of n with non-negative crank. △ Less

Submitted 30 March, 2016; v1 submitted 1 March, 2016; originally announced March 2016.

Comments: 8 pages

MSC Class: 05A15; 05A17; 05A19; 11B75; 11P81; 11P84

On partitions with fixed number of even-indexed and odd-indexed odd parts

Authors: Alexander Berkovich, Ali Kemal Uncu

Abstract: This article is an extensive study of partitions with fixed number of odd and even-indexed odd parts. We use these partitions to generalize recent results of C. Savage and A. Sills. Moreover, we derive explicit formulas for generating functions for partitions with bounds on the largest part, the number of parts and with a fixed value of BG-rank or with a fixed value of alternating sum of parts. We… ▽ More This article is an extensive study of partitions with fixed number of odd and even-indexed odd parts. We use these partitions to generalize recent results of C. Savage and A. Sills. Moreover, we derive explicit formulas for generating functions for partitions with bounds on the largest part, the number of parts and with a fixed value of BG-rank or with a fixed value of alternating sum of parts. We extend the work of C. Boulet, and as a result, obtain a four-variable generalization of Gaussian binomial coefficients. In addition we provide combinatorial interpretation of the Berkovich-Warnaar identity for Rogers-Szego polynomials. △ Less

Submitted 9 April, 2016; v1 submitted 25 October, 2015; originally announced October 2015.

Comments: 17 pages, 8 tables. The paper will appear in the Journal of Number Theory

MSC Class: 05A15; 05A17; 05A19; 11B34; 11B37; 11B75; 11P81; 11P83; 33D15

A New Companion to Capparelli's Identities

Authors: Alexander Berkovich, Ali Kemal Uncu

Abstract: We discuss a new companion to Capparelli's identities. Capparelli's identities for m=1,2 state that the number of partitions of $n$ into distinct parts not congruent to m, -m modulo $6$ is equal to the number of partitions of n into distinct parts not equal to m, where the difference between parts is greater than or equal to 4, unless consecutive parts are either both consecutive multiples of 3 or… ▽ More We discuss a new companion to Capparelli's identities. Capparelli's identities for m=1,2 state that the number of partitions of $n$ into distinct parts not congruent to m, -m modulo $6$ is equal to the number of partitions of n into distinct parts not equal to m, where the difference between parts is greater than or equal to 4, unless consecutive parts are either both consecutive multiples of 3 or add up to to a multiple of 6. In this paper we show that the set of partitions of n into distinct parts where the odd-indexed parts are not congruent to m modulo 3, the even-indexed parts are not congruent to -m modulo 3, and 3l+1 and 3l+2 do not appear together as consecutive parts for any integer l has the same number of elements as the above mentioned Capparelli's partitions of n. In this study we also extend the work of Alladi, Andrews and Gordon by providing a complete set of generating functions for the refined Capparelli partitions, and conjecture some combinatorial inequalities. △ Less

Submitted 11 June, 2015; v1 submitted 11 April, 2015; originally announced April 2015.

Comments: 9 pages

MSC Class: 05A15; 05A17; 05A20; 11B34; 11B37; 11P83