arXiv subjects

Wojciech Paupa

Publications and source records attributed to Wojciech Paupa.

2 recordsLinked to original sources

arXiv2026

The third symmetric product of a set is a set in HoTT

We deformalize an LLM-generated proof within the formalism of Homotopy Type Theory that an iterated pushout construction for $\operatorname{SP}^3(X)$ is a set whenever $X$ is a set. The proof expands on a similar proof by Buchholtz for $\operatorname{SP}^2(X)$, employing a similar encode-decode strategy and the same formal machinery.

math.AT↗

arXiv2024

Invariants of the quantum graph of the partial trace

We compute the independence number, zero-error capacity, and the values of the Lovász function and the quantum Lovász function for the quantum graph associated to the partial trace quantum channel $\operatorname{Tr}_n\otimes\mathrm{id}_k\colon\operatorname{B}(\mathbb{C}^n\otimes\mathbb{C}^k)\to\operatorname{B}(\mathbb{C}^k)$.

math-ph↗