TY - GEN

T1 - On the Separability Problem of Quantum Systems

AU - Yakhyaeva, Gulnara

AU - Kharchenko, Vladimir

N1 - Conference code: 17

PY - 2025/12/18

Y1 - 2025/12/18

N2 - When developing and operating quantum computers, it is necessary to be able to check quantum registers for the presence of quantum entanglement between its subsystems, due to which quantum computers gain computational advantage in solving many problems over classical computers. The state in which a quantum system consists of two or more subsystems that are not entangled with each other is called separable.In this article, we provide an overview of various existing approaches to solving the problem of determining separability in a quantum system. To do this, we provide an overview of works on this topic, describing both established and new approaches, highlighting directions in which new possibilities for solving the problem can be explored. We provide a definition of the problem of checking a system for separability, based on which we describe several applicable separability criteria. We provide a model-theoretic approach to solving the separability problem, describing a quantum system as a blurry model.

AB - When developing and operating quantum computers, it is necessary to be able to check quantum registers for the presence of quantum entanglement between its subsystems, due to which quantum computers gain computational advantage in solving many problems over classical computers. The state in which a quantum system consists of two or more subsystems that are not entangled with each other is called separable.In this article, we provide an overview of various existing approaches to solving the problem of determining separability in a quantum system. To do this, we provide an overview of works on this topic, describing both established and new approaches, highlighting directions in which new possibilities for solving the problem can be explored. We provide a definition of the problem of checking a system for separability, based on which we describe several applicable separability criteria. We provide a model-theoretic approach to solving the separability problem, describing a quantum system as a blurry model.

KW - Computers

KW - Quantum system

KW - Quantum computing

KW - Tensors

KW - Quantum entanglement

KW - Instruments

KW - Interconnected systems

KW - Quantum state

KW - Registers

KW - Partitioning algorithms

KW - QUSEP

KW - quantum entanglement

KW - quantum separability

KW - quantum systems

KW - separability criteria

KW - blurry models

UR - https://www.scopus.com/pages/publications/105031764192

UR - https://www.mendeley.com/catalogue/b5f2fe23-35c7-37ac-83c1-93fb25ca9ab8/

U2 - 10.1109/apeie66761.2025.11289275

DO - 10.1109/apeie66761.2025.11289275

M3 - Conference contribution

SN - 979-8-3315-5917-5

SP - 1

EP - 5

BT - 2025 IEEE XVII International Scientific and Technical Conference on Actual Problems of Electronic Instrument Engineering (APEIE)

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 2025 IEEE XVII International Scientific and Technical Conference on Actual Problems of Electronic Instrument Engineering

Y2 - 14 November 2025 through 16 November 2025

ER -