-
Some Refinements of Formulae Involving Floor and Ceiling Functions
Authors:
Luka Podrug,
Dragutin Svrtan
Abstract:
The floor and ceiling functions appear often in mathematics and manipulating sums involving floors and ceilings is a subtle game. Fortunately, the well-known textbook Concrete Mathematics provides a nice introduction with a number of techniques explained and a number of single or double sums treated as exercises. For two such double sums we provide their single-sum analogues. These closed-form ide…
▽ More
The floor and ceiling functions appear often in mathematics and manipulating sums involving floors and ceilings is a subtle game. Fortunately, the well-known textbook Concrete Mathematics provides a nice introduction with a number of techniques explained and a number of single or double sums treated as exercises. For two such double sums we provide their single-sum analogues. These closed-form identities are given in terms of a dual partition of the multiset (regarded as a partition) of all b-ary digits of a nonnegative integer. We also present the double- and single-sum analogues involving the fractional part function and the shifted fractional part function.
△ Less
Submitted 3 February, 2023;
originally announced February 2023.
-
Some Families of Identities for Integer Partition Function
Authors:
Ivica Martinjak,
Dragutin Svrtan
Abstract:
We give a series of recursive identities for the number of partitions with exactly $k$ parts and with constraints on both the minimal difference among the parts and the minimal part. Using these results we demonstrate that the number of partitions of $n$ is equal to the number of partitions of $2n+d{n \choose 2}$ with $n$ $d$-distant parts. We also provide a direct proof for this identity. This wo…
▽ More
We give a series of recursive identities for the number of partitions with exactly $k$ parts and with constraints on both the minimal difference among the parts and the minimal part. Using these results we demonstrate that the number of partitions of $n$ is equal to the number of partitions of $2n+d{n \choose 2}$ with $n$ $d$-distant parts. We also provide a direct proof for this identity. This work is the result of our aim at finding a bijective proof for Rogers-Ramanujan identities.
△ Less
Submitted 28 January, 2014;
originally announced January 2014.
-
New identities for the polarized partitions and partitions with $d$-distant parts
Authors:
Ivica Martinjak,
Dragutin Svrtan
Abstract:
In this paper we present a new class of integer partition identities. The number of partitions with d-distant parts can be represented as a sum of the number of partitions with 1-distant parts whose even parts are greater than twice the number of odd parts. We also provide a direct bijection between these classes of partitions.
In this paper we present a new class of integer partition identities. The number of partitions with d-distant parts can be represented as a sum of the number of partitions with 1-distant parts whose even parts are greater than twice the number of odd parts. We also provide a direct bijection between these classes of partitions.
△ Less
Submitted 28 October, 2013;
originally announced October 2013.
-
Exponential Formulas and Lie Algebra Type Star Products
Authors:
Stjepan Meljanac,
Zoran Škoda,
Dragutin Svrtan
Abstract:
Given formal differential operators $F_i$ on polynomial algebra in several variables $x_1,...,x_n$, we discuss finding expressions $K_l$ determined by the equation $\exp(\sum_i x_i F_i)(\exp(\sum_j q_j x_j)) = \exp(\sum_l K_l x_l)$ and their applications. The expressions for $K_l$ are related to the coproducts for deformed momenta for the noncommutative space-times of Lie algebra type and also app…
▽ More
Given formal differential operators $F_i$ on polynomial algebra in several variables $x_1,...,x_n$, we discuss finding expressions $K_l$ determined by the equation $\exp(\sum_i x_i F_i)(\exp(\sum_j q_j x_j)) = \exp(\sum_l K_l x_l)$ and their applications. The expressions for $K_l$ are related to the coproducts for deformed momenta for the noncommutative space-times of Lie algebra type and also appear in the computations with a class of star products. We find combinatorial recursions and derive formal differential equations for finding $K_l$. We elaborate an example for a Lie algebra $su(2)$, related to a quantum gravity application from the literature.
△ Less
Submitted 22 March, 2012; v1 submitted 2 June, 2010;
originally announced June 2010.
-
Verification and Strengthening of the Atiyah--Sutcliffe Conjectures for Several Types of Configurations
Authors:
Dragutin Svrtan,
Igor Urbiha
Abstract:
In 2001 Sir M. F. Atiyah formulated a conjecture C1 and later with P. Sutcliffe two stronger conjectures C2 and C3. These conjectures, inspired by physics (spin-statistics theorem of quantum mechanics), are geometrically defined for any configuration of points in the Euclidean three space. The conjecture C1 is proved for $n = 3, 4$ and for general $n$ only for some special configurations (M. F.…
▽ More
In 2001 Sir M. F. Atiyah formulated a conjecture C1 and later with P. Sutcliffe two stronger conjectures C2 and C3. These conjectures, inspired by physics (spin-statistics theorem of quantum mechanics), are geometrically defined for any configuration of points in the Euclidean three space. The conjecture C1 is proved for $n = 3, 4$ and for general $n$ only for some special configurations (M. F. Atiyah, M. Eastwood and P. Norbury, D.Đoković). Interestingly the conjecture C2 (and also stronger C3) is not yet proven even for arbitrary four points in a plane. So far we have verified the conjectures C2 and C3 for parallelograms, cyclic quadrilaterals and some infinite families of tetrahedra. We have also proposed a strengthening of conjecture C3 for configurations of four points (Four Points Conjectures). For almost collinear configurations (with all but one point on a line) we propose several new conjectures (some for symmetric functions) which imply C2 and C3. By using computations with multi-Schur functions we can do verifications up to $n=9$ of our conjectures. We can also verify stronger conjecture of Đokovi\' c which imply C2 for his nonplanar configurations with dihedral symmetry. Finally we mention that by minimizing a geometrically defined energy, figuring in these conjectures, one gets a connection to some complicated physical theories, such as Skyrmions and Fullerenes.
△ Less
Submitted 6 September, 2006;
originally announced September 2006.
-
Atiyah-Sutcliffe Conjectures for Almost Collinear Configurations and Some New Conjectures for Symmetric Functions
Authors:
Dragutin Svrtan,
Igor Urbiha
Abstract:
In 2001 Sir M. F. Atiyah formulated a conjecture (C1) and later with P. Sutcliffe two stronger conjectures (C2) and (C3). These conjectures, inspired by physics (spin-statistics theorem of quantum mechanics), are geometrically defined for any configuration of points in the Euclidean three space. The conjecture (C1) is proved for n=3,4 and for general n only for some special configurations (M. F.…
▽ More
In 2001 Sir M. F. Atiyah formulated a conjecture (C1) and later with P. Sutcliffe two stronger conjectures (C2) and (C3). These conjectures, inspired by physics (spin-statistics theorem of quantum mechanics), are geometrically defined for any configuration of points in the Euclidean three space. The conjecture (C1) is proved for n=3,4 and for general n only for some special configurations (M. F. Atiyah, M. Eastwood and P. Norbury, D. Djokovic).
In this paper we shall explain some new conjectures for symmetric functions which imply (C2) and (C3) for almost collinear configurations. Computations up to n=6 are performed with a help of Maple and J. Stembridge's package SF for symmetric functions. For n=4 the conjectures (C2) and (C3) we have also verified for some infinite families of tetrahedra. This is a joint work with I. Urbiha.
Finally we mention that by minimizing a geometrically defined energy, figuring in these conjectures, one gets a connection to some complicated physical theories, such as Skyrmions and Fullerenes.
△ Less
Submitted 19 June, 2004;
originally announced June 2004.
-
Geometry of pentagons: from Gauss to Robbins
Authors:
Dragutin Svrtan,
Darko Veljan,
Vladimir Volenec
Abstract:
An almost forgotten gem of Gauss tells us how to compute the area of a pentagon by just going around it and measuring areas of each vertex triangles (i.e. triangles whose vertices are three consecutive vertices of the pentagon). We give several proofs and extensions of this beautiful formula to hexagon etc. and consider special cases of affine--regular polygons.
The Gauss pentagon formula is,…
▽ More
An almost forgotten gem of Gauss tells us how to compute the area of a pentagon by just going around it and measuring areas of each vertex triangles (i.e. triangles whose vertices are three consecutive vertices of the pentagon). We give several proofs and extensions of this beautiful formula to hexagon etc. and consider special cases of affine--regular polygons.
The Gauss pentagon formula is, in fact, equivalent to the Monge formula which is equivalent to the Ptolemy formula.
On the other hand, we give a new proof of the Robbins formula for the area of a cyclic pentagon in terms of the side lengths, and this is a consequence of the Ptolemy formula. The main tool is simple: just eliminate from algebraic equations, via resultants. By combining Gauss and Robbins formulas we get an explicit rational expression for the area of any cyclic pentagon. So, after centuries of geometry of triangles and quadrilaterals, we arrive to the nontrivial geometry of pentagons.
△ Less
Submitted 29 March, 2004;
originally announced March 2004.
-
Determinants and Inversion of Gram Matrices in Fock Representation of $\{q_{kl}\}$- Canonical Commutation Relations and Applications to Hyperplane Arrangements and Quantum Groups. Proof of an Extension of Zagier's Conjecture
Authors:
Stjepan Meljanac,
Dragutin Svrtan
Abstract:
In this paper we study a collections of operators $a(k)$ satisfying the "$q_{kl} $-canonical commutation relations" $a(k)a^{+}(l)-q_{kl}a^{+}(l)a(k) =δ_{kl} $ (corresponding for $q_{kl}=q$ to Greenberg (infinite) statistics, for $q=\pm 1$ to classical Bose and Fermi statistics).We show that $n!\times n!$ matrices $A_{n}(\{q_{kl}\})$ of scalar products of n-particle states is positive definite fo…
▽ More
In this paper we study a collections of operators $a(k)$ satisfying the "$q_{kl} $-canonical commutation relations" $a(k)a^{+}(l)-q_{kl}a^{+}(l)a(k) =δ_{kl} $ (corresponding for $q_{kl}=q$ to Greenberg (infinite) statistics, for $q=\pm 1$ to classical Bose and Fermi statistics).We show that $n!\times n!$ matrices $A_{n}(\{q_{kl}\})$ of scalar products of n-particle states is positive definite for all n if $|q_{kl}|<1$, all k,l, so that the above commutation relations have a Hilbert space realization. This is achieved by explicit factorizations of $A_{n}(\{q_{kl}\})$ as a product of matrices of the form $(1-QT)^{\pm 1}$, where Q is a diagonal matrix and T is a regular represen- tation of a cyclic matrix. From such factorizations we obtain in Th. 1.9.2 explicit formulas for the determinant of $A_{n}(\{q_{kl}\})$ in the generic case (which generalizes Zagier's 1-parametric formula). For inversion of $A_{n} (\{q_{kl}\})$ we use ideas of Božejko and Speicher, and Th.2.2.6 gives a definite answer in terms of maximal chains in subdivision lattices. Our algorithm in Proposition 2.2.18 for computing the entries of $A_{n}(\{q_{kl}\} )$ is very efficient. In particular for $n=8$, when all $q_{kl}=q$, we found a counterexample to Zagier's conjecture concerning the form of the denominators of the entries in the inverse of $A_{n}(q)$. In Cor.2.2.8 we extend Zagier's Conjecture to multiparameter case. By applying a faster algorithm in Prop.2.2.19 we obtain in Th.2.2.20 explicit formulas for the inverse of the matrices $A_n(\{q_{kl}\})$ in the generic case. There are applications of these results to discriminant arrangements of hyperplanes and to contravariant forms of certain quantum groups.
△ Less
Submitted 26 April, 2003;
originally announced April 2003.
-
Study of Gram Matrices in Fock Representation of Multiparametric Canonical Commutation Relations, Extended Zagier's Conjecture, Hyperplane Arrangements and Quantum Groups
Authors:
Stjepan Meljanac,
Dragutin Svrtan
Abstract:
In this Colloqium Lecture (by one of the authors (D.S)) a thorough presentation of the authors' research on the subjects, stated in the title, is given. By quite laborious mathematics it is explained how one can handle systems in which each Heisenberg commutation relation is deformed separately. For Hilbert space realizability a detailed determinant computations (extending Zagier's one-parameter…
▽ More
In this Colloqium Lecture (by one of the authors (D.S)) a thorough presentation of the authors' research on the subjects, stated in the title, is given. By quite laborious mathematics it is explained how one can handle systems in which each Heisenberg commutation relation is deformed separately. For Hilbert space realizability a detailed determinant computations (extending Zagier's one-parameter formulas) are carried out. The inversion problem of the associated Gram matrices on Fock weight spaces is completely solved (Extended Zagier's conjecture) and a counterexample (for $n=8$) to the original Zagier's conjecture is presented in detail.
△ Less
Submitted 26 April, 2003;
originally announced April 2003.
-
The Energy Operator for a Model with a Multiparametric Infinite Statistics
Authors:
Stjepan Meljanac,
Ante Perica,
Dragutin Svrtan
Abstract:
In this paper we consider energy operator (a free Hamiltonian), in the second-quantized approach, for the multiparameter quon algebras: $a_{i}a_{j}^{\dagger}-q_{ij}a_{j}^{\dagger}a_{i} = δ_{ij}, i,j\in I$ with $(q_{ij})_{i,j\in I}$ any hermitian matrix of deformation parameters. We obtain an elegant formula for normally ordered (sometimes called Wick-ordered) series expansions of number operator…
▽ More
In this paper we consider energy operator (a free Hamiltonian), in the second-quantized approach, for the multiparameter quon algebras: $a_{i}a_{j}^{\dagger}-q_{ij}a_{j}^{\dagger}a_{i} = δ_{ij}, i,j\in I$ with $(q_{ij})_{i,j\in I}$ any hermitian matrix of deformation parameters. We obtain an elegant formula for normally ordered (sometimes called Wick-ordered) series expansions of number operators (which determine a free Hamiltonian). As a main result (see Theorem 1) we prove that the number operators are given, with respect to a basis formed by "generalized Lie elements", by certain normally ordered quadratic expressions with coefficients given precisely by the entries of the inverses of Gram matrices of multiparticle weight spaces. (This settles a conjecture of two of the authors (S.M and A.P), stated in [8]). These Gram matrices are hermitian generalizations of the Varchenko's matrices, associated to a quantum (symmetric) bilinear form of diagonal arrangements of hyperplanes (see [12]). The solution of the inversion problem of such matrices in [9] (Theorem 2.2.17), leads to an effective formula for the number operators studied in this paper. The one parameter case, in the monomial basis, was studied by Zagier [15], Stanciu [11] and Møller [6].
△ Less
Submitted 26 April, 2003;
originally announced April 2003.
