Showing 1–11 of 11 results for author: Kohonen, J

Simplifying modular lattices by removing doubly irreducible elements

Authors: Jukka Kohonen

Abstract: Lattices are simplified by removing some of their doubly irreducible elements, resulting in smaller lattices called racks. All vertically indecomposable modular racks of $n \le 40$ elements are listed, and the numbers of all modular lattices of $n \le 40$ elements are obtained by Pólya counting. SageMath code is provided that allows easy access both to the listed racks, and to the modular lattices… ▽ More Lattices are simplified by removing some of their doubly irreducible elements, resulting in smaller lattices called racks. All vertically indecomposable modular racks of $n \le 40$ elements are listed, and the numbers of all modular lattices of $n \le 40$ elements are obtained by Pólya counting. SageMath code is provided that allows easy access both to the listed racks, and to the modular lattices that were not listed. More than 3000-fold savings in storage space are demonstrated. △ Less

Submitted 15 April, 2025; v1 submitted 28 November, 2023; originally announced November 2023.

Comments: 16 pages

MSC Class: 06C05 (Primary) 05C30; 20B25 (Secondary) ACM Class: G.2.1; G.2.2

Journal ref: Australas. J. Combin. 92 (2025) 49-64

Cartesian lattice counting by the vertical 2-sum

Authors: Jukka Kohonen

Abstract: A vertical 2-sum of a two-coatom lattice $L$ and a two-atom lattice $U$ is obtained by removing the top of $L$ and the bottom of $U$, and identifying the coatoms of $L$ with the atoms of $U$. This operation creates one or two nonisomorphic lattices depending on the symmetry case. Here the symmetry cases are analyzed, and a recurrence relation is presented that expresses the number of such vertical… ▽ More A vertical 2-sum of a two-coatom lattice $L$ and a two-atom lattice $U$ is obtained by removing the top of $L$ and the bottom of $U$, and identifying the coatoms of $L$ with the atoms of $U$. This operation creates one or two nonisomorphic lattices depending on the symmetry case. Here the symmetry cases are analyzed, and a recurrence relation is presented that expresses the number of such vertical 2-sums in some family of interest, up to isomorphism. Nonisomorphic, vertically indecomposable modular and distributive lattices are counted and classified up to 35 and 60 elements respectively. Asymptotically their numbers are shown to be at least $Ω(2.3122^n)$ and $Ω(1.7250^n)$, where $n$ is the number of elements. The number of semimodular lattices is shown to grow faster than any exponential in $n$. △ Less

Submitted 7 July, 2020; originally announced July 2020.

MSC Class: 05C30 (Primary); ; 06C05; 06D05 (Secondary)

Counting graded lattices of rank three that have few coatoms

Authors: Jukka Kohonen

Abstract: We consider the problem of computing $R(c,a)$, the number of unlabeled graded lattices of rank $3$ that contain $c$ coatoms and $a$ atoms. More specifically we do this when $c$ is fairly small, but $a$ may be large. For this task, we describe a computational method that combines constructive listing of basic cases and tools from enumerative combinatorics. With this method we compute the exact valu… ▽ More We consider the problem of computing $R(c,a)$, the number of unlabeled graded lattices of rank $3$ that contain $c$ coatoms and $a$ atoms. More specifically we do this when $c$ is fairly small, but $a$ may be large. For this task, we describe a computational method that combines constructive listing of basic cases and tools from enumerative combinatorics. With this method we compute the exact values of $R(c,a)$ for $c\le 9$ and $a\le 1000$. We also show that, for any fixed $c$, there exists a quasipolynomial in $a$ that matches with $R(c,a)$ for all $a$ above a small value. We explicitly determine these quasipolynomials for $c \le 7$, thus finding closed form expressions of $R(c,a)$ for $c \le 7$. △ Less

Submitted 11 September, 2018; v1 submitted 10 April, 2018; originally announced April 2018.

Comments: Revised text, added example, corrections

MSC Class: 06B99 (Primary) 05C30; 20B40 (Secondary)

Exponential lower bounds of lattice counts by vertical sum and 2-sum

Authors: Jukka Kohonen

Abstract: We consider the problem of finding lower bounds on the number of unlabeled $n$-element lattices in some lattice family. We show that if the family is closed under vertical sum, exponential lower bounds can be obtained from vertical sums of small lattices whose numbers are known. We demonstrate this approach by establishing that the number of modular lattices is at least $2.2726^n$ for $n$ large en… ▽ More We consider the problem of finding lower bounds on the number of unlabeled $n$-element lattices in some lattice family. We show that if the family is closed under vertical sum, exponential lower bounds can be obtained from vertical sums of small lattices whose numbers are known. We demonstrate this approach by establishing that the number of modular lattices is at least $2.2726^n$ for $n$ large enough. We also present an analogous method for finding lower bounds on the number of vertically indecomposable lattices in some family. For this purpose we define a new kind of sum, the vertical 2-sum, which combines lattices at two common elements. As an application we prove that the numbers of vertically indecomposable modular and semimodular lattices are at least $2.1562^n$ and $2.6797^n$ for $n$ large enough. △ Less

Submitted 14 September, 2018; v1 submitted 16 February, 2018; originally announced February 2018.

Comments: Revised text, changed title

MSC Class: 06C05 (Primary) 06C10 (Secondary)

Planar additive bases for rectangles

Authors: Jukka Kohonen, Visa Koivunen, Robin Rajamäki

Abstract: We study a generalization of additive bases into a planar setting. A planar additive basis is a set of non-negative integer pairs whose vector sumset covers a given rectangle. Such bases find applications in active sensor arrays used in, for example, radar and medical imaging. The problem of minimizing the basis cardinality has not been addressed before. We propose two algorithms for finding the… ▽ More We study a generalization of additive bases into a planar setting. A planar additive basis is a set of non-negative integer pairs whose vector sumset covers a given rectangle. Such bases find applications in active sensor arrays used in, for example, radar and medical imaging. The problem of minimizing the basis cardinality has not been addressed before. We propose two algorithms for finding the minimal bases of small rectangles: one in the setting where the basis elements can be anywhere in the rectangle, and another in the restricted setting, where the elements are confined to the lower left quadrant. We present numerical results from such searches, including the minimal cardinalities for all rectangles up to $[0,11]\times[0,11]$, and up to $[0,46]\times[0,46]$ in the restricted setting. We also prove asymptotic upper and lower bounds on the minimal basis cardinality for large rectangles. △ Less

Submitted 23 November, 2017; originally announced November 2017.

Comments: 20 pages

MSC Class: 11B13

Journal ref: Journal of Integer Sequences, Vol. 21 (2018), Article 18.9.8

Generating modular lattices of up to 30 elements

Authors: Jukka Kohonen

Abstract: An algorithm is presented for generating finite modular, semimodular, graded, and geometric lattices up to isomorphism. Isomorphic copies are avoided using a combination of the general-purpose graph-isomorphism tool nauty and some optimizations that handle simple cases directly. For modular and semimodular lattices, the algorithm prunes the search tree much earlier than the method of Jipsen and La… ▽ More An algorithm is presented for generating finite modular, semimodular, graded, and geometric lattices up to isomorphism. Isomorphic copies are avoided using a combination of the general-purpose graph-isomorphism tool nauty and some optimizations that handle simple cases directly. For modular and semimodular lattices, the algorithm prunes the search tree much earlier than the method of Jipsen and Lawless, leading to a speedup of several orders of magnitude. With this new algorithm modular lattices are counted up to 30 elements, semimodular lattices up to 25 elements, graded lattices up to 21 elements, and geometric lattices up to 34 elements. Some statistics are also provided on the typical shape of small lattices of these types. △ Less

Submitted 2 October, 2018; v1 submitted 12 August, 2017; originally announced August 2017.

Comments: Revised text, changed title

MSC Class: 06C05 (Primary) 06C10; 05C30 (Secondary)

An improved lower bound for finite additive 2-bases

Authors: Jukka Kohonen

Abstract: A set of non-negative integers A is an additive 2-basis with range n, if its sumset A+A contains 0, 1, ..., n but not n+1. Explicit bases are known with arbitrarily large size |A|=k and $n/k^2 \ge 2/7 > 0.2857$. We present a more general construction and improve the lower bound to $85/294 > 0.2891$. A set of non-negative integers A is an additive 2-basis with range n, if its sumset A+A contains 0, 1, ..., n but not n+1. Explicit bases are known with arbitrarily large size |A|=k and $n/k^2 \ge 2/7 > 0.2857$. We present a more general construction and improve the lower bound to $85/294 > 0.2891$. △ Less

Submitted 10 January, 2017; v1 submitted 15 June, 2016; originally announced June 2016.

Comments: Author's final version

MSC Class: 11B13

Journal ref: Journal of Number Theory 174 (2017) 518-524

Fast Möbius inversion in semimodular lattices and U-labelable posets

Authors: Petteri Kaski, Jukka Kohonen, Thomas Westerbäck

Abstract: We consider the problem of fast zeta and Möbius transforms in finite posets, particularly in lattices. It has previously been shown that for a certain family of lattices, zeta and Möbius transforms can be computed in $O(e)$ elementary arithmetic operations, where $e$ denotes the size of the covering relation. We show that this family is exactly that of geometric lattices. We also extend the algori… ▽ More We consider the problem of fast zeta and Möbius transforms in finite posets, particularly in lattices. It has previously been shown that for a certain family of lattices, zeta and Möbius transforms can be computed in $O(e)$ elementary arithmetic operations, where $e$ denotes the size of the covering relation. We show that this family is exactly that of geometric lattices. We also extend the algorithms so that they work in $e$ operations for all semimodular lattices, including chains and divisor lattices. Finally, for both transforms, we provide a more general algorithm that works in $e$ operations for all R-labelable posets and their non-graded generalization, which we call U-labelable. △ Less

Submitted 12 March, 2016; originally announced March 2016.

MSC Class: 06C10 (Primary) 06A07; 68W40; 68R05 (Secondary)

Journal ref: The Electronic Journal of Combinatorics 23 (2016) #P3.26

Early Pruning in the Restricted Postage Stamp Problem

Authors: Jukka Kohonen

Abstract: A set of non-negative integers is an additive basis with range $n$, if its sumset covers all consecutive integers from 0 to $n$, but not $n+1$. If the range is exactly twice the largest element of the basis, the basis is restricted. Restricted bases have important special properties that facilitate efficient searching. With the help of these properties, we have previously listed the extremal restr… ▽ More A set of non-negative integers is an additive basis with range $n$, if its sumset covers all consecutive integers from 0 to $n$, but not $n+1$. If the range is exactly twice the largest element of the basis, the basis is restricted. Restricted bases have important special properties that facilitate efficient searching. With the help of these properties, we have previously listed the extremal restricted bases up to length $k = 41$. Here, with a more prudent use of the properties, we present an improved search algorithm and list all extremal restricted bases up to $k = 47$. △ Less

Submitted 11 March, 2015; originally announced March 2015.

MSC Class: 11B13

A meet-in-the-middle algorithm for finding extremal restricted additive 2-bases

Authors: Jukka Kohonen

Abstract: An additive 2-basis with range n is restricted if its largest element is n/2. Among the restricted 2-bases of given length k, the ones that have the greatest range are extremal restricted. We describe an algorithm that finds the extremal restricted 2-bases of a given length, and we list them for lengths up to k = 41. An additive 2-basis with range n is restricted if its largest element is n/2. Among the restricted 2-bases of given length k, the ones that have the greatest range are extremal restricted. We describe an algorithm that finds the extremal restricted 2-bases of a given length, and we list them for lengths up to k = 41. △ Less

Submitted 24 March, 2014; originally announced March 2014.

Comments: 11 pages

MSC Class: 11B13

Journal ref: Journal of Integer Sequences, Vol. 17 (2014), Article 14.6.8

Addition Chains Meet Postage Stamps: Reducing the Number of Multiplications

Authors: Jukka Kohonen, Jukka Corander

Abstract: We introduce stamp chains. A stamp chain is a finite integer sequence that is both an addition chain and an additive 2-basis, i.e., a solution to the postage stamp problem. We provide a simple method for converting known postage stamp solutions of length k into stamp chains of length k+1. Using stamp chains, we construct an algorithm that computes u(x^i) for i=1,...,n in less than n-1 multiplicati… ▽ More We introduce stamp chains. A stamp chain is a finite integer sequence that is both an addition chain and an additive 2-basis, i.e., a solution to the postage stamp problem. We provide a simple method for converting known postage stamp solutions of length k into stamp chains of length k+1. Using stamp chains, we construct an algorithm that computes u(x^i) for i=1,...,n in less than n-1 multiplications, if u is a function that can be computed at zero cost, and if there exists another zero-cost function v such that v(a,b) = u(ab). This can substantially reduce the computational cost of repeated multiplication, as illustrated by application examples related to matrix multiplication and data clustering using subset convolution. In addition, we report the extremal postage stamp solutions of length k=24. △ Less

Submitted 3 February, 2014; v1 submitted 26 October, 2013; originally announced October 2013.

Comments: 13 pages. Corrected wording of definition 7 and lemmas. Corrected proofs of theorems 1 and 2. Added several clarifications

MSC Class: 11B13

Journal ref: Journal of Integer Sequences, Vol. 17 (2014), Article 14.3.4