arXiv subjects

Michał R. Przybyłek

Publications and source records attributed to Michał R. Przybyłek.

4 recordsLinked to original sources

arXiv2026

Information-Based Complexity vs Computational Complexity in Phaseless Polynomial Interpolation

The authors of ``A note on the complexity of a phaseless polynomial interpolation'' have shown that phaseless polynomial interpolation over $\mathbf{Q}$ is possible with $n+2$ points, where $n$ is the upper-bound on the degree of a polynomial. Nonetheless, their reconstruction algorithm and the method of adaptively choosing evaluation points are exponential time. On the other hand, they have also shown that given $2n+1$ points, the polynomial can be reconstructed in a polynomial time. A conjecture have been put forward, namely that the reconstruction problem from such $n+2$ points is exponential time. Moreover, a question about the number of points sufficient for polynomial time reconstruction have been posed. In this paper, we answer these questions -- we show that (1) reconstruction problem from $2n-k$ for any constant $k$ is polynomial time, (2) reconstruction problem from $(1+c)n+2$ points for any constant $c \in [0, 1)$ is NP-Complete, (3) evaluation points admitting a unique solution can be chosen in polynomial time.

cs.CC↗

arXiv2024

A note on Stone-Čech compactification in ZFA

Working in Zermelo-Fraenkel Set Theory with Atoms over an $ω$-categorical $ω$-stable structure, we show how \emph{infinite} constructions over definable sets can be encoded as \emph{finite} constructions over the Stone-Čech compactification of the sets. In particular, we show that for a definable set $X$ with its Stone-Čech compactification $\overline{X}$ the following holds: a) the powerset $\mathcal{P}(X)$ of $X$ is isomorphic to the finite-powerset $\mathcal{P}_{\textit{fin}}(\overline{X})$ of $\overline{X}$, b) the vector space $\mathcal{K}^X$ over a field $\mathcal{K}$ is the free vector space $F_{\mathcal{K}}(\overline{X})$ on $\overline{X}$ over $\mathcal{K}$, c) every measure on $X$ is tantamount to a \emph{discrete} measure on $\overline{X}$. Moreover, we prove that the Stone-Čech compactification of a definable set is still definable, which allows us to obtain some results about equivalence of certain formalizations of register machines.

cs.LO↗

arXiv2021

Beyond sets with atoms: definability in first order logic

Sets with atoms serve as an alternative to ZFC foundations for mathematics, where some infinite, though highly symmetric sets, behave in a finitistic way. Therefore, one can try to carry over analysis of the classical algorithms from finite structures to some infinite structures. Recent results show that this is indeed possible and leads to many practical applications. In this paper we shall take another route to finite analysis of infinite sets, which extends and sheds more light on sets with atoms. As an application of our theory we give a characterisation of languages recognized by automata definable in fragments of first-order logic.

cs.LO↗

arXiv2020

On amenability of constraint satisfaction problems

Recent results show that a constraint satisfaction problem (CSP) defined over rational numbers with their natural ordering has a solution if and only if it has a definable solution. The proof uses advanced results from topology and modern model theory. The aim of this paper is threefold. (1) We give a simple purely-logical proof of the claim and show that the advanced results from topology and model theory are not needed; (2) we introduce an intrinsic characterisation of the statement "definable CSP has a solution iff it has a definable solution" and investigate it in general intuitionistic set theories (3) we show that the results from modern model theory are indeed needed, but for the implication reversed: we prove that "definable CSP has a solution iff it has a definable solution" holds over a countable structure if and only if the automorphism group of the structure is extremely amenable.

cs.LO↗