Source author record

Petr Lisonek

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

ResearcherUnclaimed source record

quant-ph math.CO math.NT Information Theory math.IT

Catalog footprint

Research overview

5works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

Kim-type APN functions are affine equivalent to Gold functions

The problem of finding APN permutations of ${\mathbb F}_{2^n}$ where $n$ is even and $n>6$ has been called the Big APN Problem. Li, Li, Helleseth and Qu recently characterized APN functions defined on ${\mathbb F}_{q^2}$ of the form $f(x)=x^{3q}+a_1x^{2q+1}+a_2x^{q+2}+a_3x^3$ , where $q=2^m$ and $m\ge 4$ . We will call functions of this form Kim-type functions because they generalize the form of the Kim function that was used to construct an APN permutation of ${\mathbb F}_{2^6}$ . We extend the result of Li, Li, Helleseth and Qu by proving that if a Kim-type function $f$ is APN and $m\ge 4$ , then $f$ is affine equivalent to one of two Gold functions $G_1(x)=x^3$ or $G_2(x)=x^{2^{m-1}+1}$ . Combined with the recent result of Göloğlu and Langevin who proved that, for even $n$ , Gold APN functions are never CCZ equivalent to permutations, it follows that for $m\ge 4$ Kim-type APN functions on ${\mathbb F}_{2^{2m}}$ are never CCZ equivalent to permutations.

preprint2019arXiv

Maximal nonassociativity via fields

We say that $(x,y,z)\in Q^3$ is an associative triple in a quasigroup $Q(*)$ if $(x*y)*z=x*(y*z)$ . Let $a(Q)$ denote the number of associative triples in $Q$ . It is easy to show that $a(Q)\ge |Q|$ , and we call the quasigroup maximally nonassociative if $a(Q)= |Q|$ . It was conjectured that maximally nonassociative quasigroups do not exist when $|Q|>1$ . Drápal and Lisoněk recently refuted this conjecture by proving the existence of maximally nonassociative quasigroups for a certain infinite set of orders $|Q|$ . In this paper we prove the existence of maximally nonassociative quasigroups for a much larger set of orders $|Q|$ . Our main tools are finite fields and the Weil bound on quadratic character sums. Unlike in the previous work, our results are to a large extent constructive.

preprint2017arXiv

Kochen-Specker sets and Hadamard matrices

We introduce a new class of complex Hadamard matrices which have not been studied previously. We use these matrices to construct a new infinite family of parity proofs of the Kochen-Specker theorem. We show that the recently discovered simple parity proof of the Kochen-Specker theorem is the initial member of this infinite family.

preprint2014arXiv

Generalized parity proofs of the Kochen-Specker theorem

We discuss two approaches to producing generalized parity proofs of the Kochen-Specker theorem. Such proofs use contexts of observables whose product is $I$ or $-I$ ; we call them constraints. In the first approach, one starts with a fixed set of constraints and methods of linear algebra are used to produce subsets that are generalized parity proofs. Coding theory methods are used for enumeration of the proofs by size. In the second approach, one starts with the combinatorial structure of the set of constraints and one looks for ways to suitably populate this structure with observables. As well, we are able to show that many combinatorial structures can not produce parity proofs.

preprint2014arXiv

Kochen-Specker set with seven contexts

The Kochen-Specker (KS) theorem is a central result in quantum theory and has applications in quantum information. Its proof requires several yes-no tests that can be grouped in contexts or subsets of jointly measurable tests. Arguably, the best measure of simplicity of a KS set is the number of contexts. The smaller this number is, the smaller the number of experiments needed to reveal the conflict between quantum theory and noncontextual theories and to get a quantum vs classical outperformance. The original KS set had 132 contexts. Here we introduce a KS set with seven contexts and prove that this is the simplest KS set that admits a symmetric parity proof.

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.