Source author record

Andrzej P. Kisielewicz

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CO math.MG

Catalog footprint

Research overview

7works

2topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2024arXiv

A note on a flip-connected class of generalized domino tilings of the box $[0,2]^n$

Let $n,d\in \mathbb{N}$ and $n>d$ . An $(n-d)$ -domino is a box $I_1\times \cdots \times I_n$ such that $I_j\in \{[0,1],[1,2]\}$ for all $j\in N\subset [n]$ with $|N|=d$ and $I_i=[0,2]$ for every $i\in [n]\setminus N$ . If $A$ and $B$ are two $(n-d)$ -dominoes such that $A\cup B$ is an $(n-(d-1))$ -domino, then $A,B$ is called a twin pair. If $C,D$ are two $(n-d)$ -dominoes which form a twin pair such that $A\cup B=C\cup D$ and $\{C,D\}\neq \{A,B\}$ , then the pair $C,D$ is called a flip of $A,B$ . A family $\mathscr{D}$ of $(n-d)$ -dominoes is a tiling of the box $[0,2]^n$ if interiors of every two members of $\mathscr{D}$ are disjoint and $\bigcup_{B\in \mathscr{D}}B=[0,2]^n$ . An $(n-d)$ -domino tiling $\mathscr{D}'$ is obtained from an $(n-d)$ -domino tiling $\mathscr{D}$ by a flip, if there is a twin pair $A,B\in \mathscr{D}$ such that $\mathscr{D}'=(\mathscr{D}\setminus \{A,B\})\cup \{C,D\}$ , where $C,D$ is a flip of $A,B$ . A family of $(n-d)$ -domino tilings of the box $[0,2]^n$ is flip-connected, if for every two members $\mathscr{D},\mathscr{E}$ of this family the tiling $\mathscr{E}$ can be obtained from $\mathscr{D}$ by a sequence of flips. In the paper some flip-connected class of $(n-d)$ -domino tilings of the box $[0,2]^n$ is described.

preprint2022arXiv

Gluing and cutting cube tiling codes in dimension six

Let $S$ be a set of arbitrary objects, and let $s\mapsto s'$ be a permutation of $S$ such that $s"=(s')'=s$ and $s'\neq s$ . Let $S^d=\{v_1...v_d\colon v_i\in S\}$ . Two words $v,w\in S^d$ are dichotomous if $v_i=w'_i$ for some $i\in [d]$ , and they form a twin pair if $v_i'=w_i$ and $v_j=w_j$ for every $j\in [d]\setminus \{i\}$ . A polybox code is a set $V\subset S^d$ in which every two words are dichotomous. A polybox code $V$ is a cube tiling code if $|V|=2^d$ . A $2$ -periodic cube tiling of $\mathbb{R}^d$ and a cube tiling of flat torus $\mathbb{T}^d$ can be encoded in a form of a cube tiling code. A twin pair $v,w$ in which $v_i=w_i'$ is glue (at the $i$ th position) if the pair $v,w$ is replaced by one word $u$ such that $u_j=v_j=w_j$ for every $j\in [d]\setminus \{i\}$ and $u_i=*$ , where $*\not\in S$ is some extra fixed symbol. A word $u$ with $u_i=*$ is cut (at the $i$ th position) if $u$ is replaced by a twin pair $q,t$ such that $q_i=t_i'$ and $u_j=q_j=t_j$ for every $j\in [d]\setminus \{i\}$ . If $V,W\subset S^d$ are two cube tiling codes and there is a sequence of twin pairs which can be interchangeably gluing and cutting in a way which allows us to pass from $V$ to $W$ , then we say that $W$ is obtained from $V$ by gluing and cutting. In the paper it is shown that for every two cube tiling codes in dimension six one can be obtained from the other by gluing and cutting.

preprint2019arXiv

No more than $2^{d+1}-2$ nearly neighbourly simplices in $\mathbb R^d$

We prove a combinatorial theorem on families of disjoint sub-boxes of a discrete cube, which implies that there are at most $2^{d+1}-2$ nearly neighbourly simplices in $\mathbb R^d$ .

preprint2016arXiv

Nearly neighbourly families of standard boxes

It is demonstrated that each nearly neighbourly family of standard boxes in $\mathbb{R}^3$ has at most 12 elements. A combinatorial classification of all such families that have exactly 12 elements is given. All families satisfying an extra property called incompressibility are described. Compressible families are discussed briefly.

preprint2014arXiv

A Tiling Proof of Binomial Identities related to the Lucas cube

Using a cube tiling of $\mathbb{R}^n$ constructed by Lagarias and Shor a tiling proof of three well-known binomial identities related to the Lucas cube is given.

preprint2014arXiv

On Keller's conjecture in dimension seven

A cube tiling of $\mathbb{R}^d$ is a family of pairwise disjoint cubes $[0,1)^d+T=\{[0,1)^d+t:t\in T\}$ such that $\bigcup_{t\in T}([0,1)^d+t)=\mathbb{R}^d$ . Two cubes $[0,1)^d+t$ , $[0,1)^d+s$ are called a twin pair if $|t_j-s_j|=1$ for some $j\in [d]=\{1,\ldots, d\}$ and $t_i=s_i$ for every $i\in [d]\setminus \{j\}$ . In $1930$ , Keller conjectured that in every cube tiling of $\mathbb{R}^d$ there is a twin pair. Keller's conjecture is true for dimensions $d\leq 6$ and false for all dimensions $d\geq 8$ . For $d=7$ the conjecture is still open. Let $x\in \mathbb{R}^d$ , $i\in [d]$ , and let $L(T,x,i)$ be the set of all $i$ th coordinates $t_i$ of vectors $t\in T$ such that $([0,1)^d+t)\cap ([0,1]^d+x)\neq \emptyset$ and $t_i\leq x_i$ . It is known that if $|L(T,x,i)|\leq 2$ for some $x\in \mathbb{R}^7$ and every $i\in [7]$ or $|L(T,x,i)|\geq 6$ for some $x\in \mathbb{R}^7$ and $i\in [7]$ , then Keller's conjecture is true for $d=7$ . In the present paper we show that it is also true for $d=7$ if $|L(T,x,i)|=5$ for some $x\in \mathbb{R}^7$ and $i\in [7]$ . Thus, if there is a counterexample to Keller's conjecture in dimension seven, then $|L(T,x,i)|\in \{3,4\}$ for some $x\in \mathbb{R}^7$ and $i\in [7]$ .

preprint2014arXiv

Rigid polyboxes and Keller's conjecture

A cube tiling of R^d is a family of pairwise disjoint cubes $[0,1)^d+T=\{[0,1)^d+t:t\in T\}$ such that $\bigcup_{t\in T}([0,1)^d+t)=R^d$ . Two cubes $[0,1)^d+t$ , $[0,1)^d+s$ are called a twin pair if their closures have a complete facet in common, that is if $|t_j-s_j|=1$ for some $j\in [d]=\{1,..., d\}$ and $t_i=s_i$ for every $i\in [d]\setminus \{j\}$ . In 1930, Keller conjectured that in every cube tiling of R^d there is a twin pair. Keller's conjecture is true for dimensions $d\leq 6$ and false for all dimensions $d\geq 8$ . For $d=7$ the conjecture is still open. Let $x\in R^d$ , $i\in [d]$ , and let L(T,x,i) be the set of all $i$ th coordinates $t_i$ of vectors $t\in T$ such that $([0,1)^d+t)\cap ([0,1]^d+x)\neq \emptyset$ and $t_i\leq x_i$ . Let $r^-(T)=\min_{x\in R^d}\; \max_{1\leq i\leq d}|L(T,x,i)|$ and $r^+(T)=\max_{x\in R^d}\; \max_{1\leq i\leq d}|L(T,x,i)|$ . It is known that Keller's conjecture is true in dimension seven for cube tilings $[0,1)^7+T$ for which $r^-(T)\leq 2$ . In the present paper we show that it is also true for $d=7$ if $r^+(T)\geq 6$ . Thus, if $[0,1)^d+T$ is a counterexample to Keller's conjecture in dimension seven, then $r^-(T),r^+(T)\in \{3,4,5\}$ .

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Andrzej P. Kisielewicz

Research overview

Is this your work?

7 publications

A note on a flip-connected class of generalized domino tilings of the box $[0,2]^n$

Gluing and cutting cube tiling codes in dimension six

No more than $2^{d+1}-2$ nearly neighbourly simplices in $\mathbb R^d$

Nearly neighbourly families of standard boxes

A Tiling Proof of Binomial Identities related to the Lucas cube

On Keller's conjecture in dimension seven

Rigid polyboxes and Keller's conjecture

See the researcher in context

Building this map preview

Andrzej P. Kisielewicz

Research overview

Is this your work?

7 publications

A note on a flip-connected class of generalized domino tilings of the box [0,2]n[0,2]^n[0,2]n

Gluing and cutting cube tiling codes in dimension six

No more than 2d+1−22^{d+1}-22d+1−2 nearly neighbourly simplices in Rd\mathbb R^dRd

Nearly neighbourly families of standard boxes

A Tiling Proof of Binomial Identities related to the Lucas cube

On Keller's conjecture in dimension seven

Rigid polyboxes and Keller's conjecture

See the researcher in context

Building this map preview

A note on a flip-connected class of generalized domino tilings of the box $[0,2]^n$

No more than $2^{d+1}-2$ nearly neighbourly simplices in $\mathbb R^d$