Source author record

Grzegorz Pastuszak

Grzegorz Pastuszak appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math-ph math.LO math.MP math.AC math.FA math.QA

Catalog footprint

What is connected

5works

6topics

2close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2020arXiv

On maps which preserve semipositivity and quantifier elimination theory for real numbers

Assume that $Φ:\mathbb{M}_{n}(\mathbb{C})\rightarrow\mathbb{M}_{n}(\mathbb{C})$ is a superoperator which preserves hermiticity. We give an algorithm determining whether $Φ$ preserves semipositivity (we call $Φ$ positive in this case). Our approach to the problem has a model-theoretic nature, namely, we apply techniques of quantifier elimination theory for real numbers. An approach based on these techniques seems to be the only one that allows to decide whether an arbitrary hermiticity-preserving $Φ$ is positive. Before we go to detailed analysis of the problem, we argue that quantifier elimination for real numbers (and also for complex numbers) can play a significant role in quantum information theory and other areas as well.

preprint2020arXiv

Quantifier elimination theory and maps which preserve semipositivity

We give an algorithm determining whether a hermiticity-preserving superoperator is positive. In our approach we apply techniques of quantifier elimination theory for real numbers. Furthermore, we argue that quantifier elimination theory should play more significant role in quantum information theory and other areas as well.

preprint2016arXiv

A constructive proof of Tarski's theorem on quantifier elimination in the theory of ACF

Assume that $ACF$ denotes the theory of algebraically closed fields. The renowned theorem of A. Tarski states that $ACF$ admits quantifier elimination. In this paper we give a constructive proof of Tarski's theorem on quantifier elimination in $ACF$. This means that for a given formula $φ$ of the language of fields we construct a quantifier-free formula $φ'$ such that $ACF\vdashφ\leftrightarrowφ'$. We devote the last section of the paper to show some applications of this constructive version in mathematics and physics.

preprint2016arXiv

On ascending chains of ideals in the polynomial ring

Assume that $K$ is a field and $I_{1}\subsetneq ...\subsetneq I_{t}$ is an ascending chain (of length $t$) of ideals in the polynomial ring $K[x_{1},,...,x_{m}]$, for some $m\geq 1$. Suppose that $I_{j}$ is generated by polynomials of degrees less or equal to some natural number $f(j)\geq 1$, for any $j=1,...,t$. In the paper we construct, in an elementary way, a natural number $\mathcal{B}(m,f)$ (depending on $m$ and the function $f$) such that $t\leq\mathcal{B}(m,f)$. We also discuss some possible applications of this result.

preprint2013arXiv

Generalized Shemesh criterion, common invariant subspaces and irreducible completely positive superoperators

Assume that $A_{1},...,A_{s}$ are complex $n\times n$ matrices. We give a computable criterion for existence of a common eigenvector of $A_{i}$ which generalize the result of D. Shemesh established for two matrices. We use this criterion to prove some necessary and sufficient condition for $A_{i}$ to have a common invariant subspace of dimension $d$, $2\leq d<n$, if every $A_{i}$ has pairwise different eigenvalues. Finally, we observe that the set of all matrices having multiple eigevalues has Lebesgue measure 0 and thus the condition is sufficient in practical applications. Being motivated by quantum information theory, we give a flavour of such applications for irreducible completely positive superoperators.