Перейти до основного вмісту

Оператор CNOT в квантовому програмуванні

CNOT

Оператор (вентиль, гейт) CNOT приймає 2 входи і 2 виходи. Цей вентиль називають контрольованим запереченням (Controlled NOT).

CNOT інвертує другий (керований) кубіт тільки, якщо на перший (керуючий) кубіт подано 1:

До Після
Керуючий кубіт Керований кубіт Керуючий кубіт Керований кубіт
0 0 0 0
0 1 0 1
1 0 1 1
1 1 1 0

Робота оператора схожа на оператор XOR, якщо не враховувати перший біт на виході:

XOR
Вхід 1 Вхід 2 Виіхід
0 0 0
0 1 1
1 0 1
1 1 0

Приклад реалізації в Strange


Program program = new Program(8);
Step step0=new Step();
Step step1=new Step();
step0.addGate(new X(3));
step0.addGate(new X(4));
step0.addGate(new X(6));
step0.addGate(new X(7));
step1.addGate(new Cnot(0,1));
step1.addGate(new Cnot(2,3));
step1.addGate(new Cnot(4,5));
step1.addGate(new Cnot(6,7));

program.addStep(step0);
program.addStep(step1);

QuantumExecutionEnvironment qee = 
	new SimpleQuantumExecutionEnvironment();
Result result = qee.runProgram(program);
Qubit[] qubits = result.getQubits();
for (Qubit qubit:qubits){
    System.out.println(qubit.measure());
}
Renderer.renderProgram(program);

Ця програма демонструє застосування CNOT до всіх можливих пар входів: |00>, |01>, |10>, |11>. Вентиль Х використовується для переворення квантового нуля в квантову одиницю. В роботі програми простіше розібратися за допомогою візуалізації:

Квантова заплутаність

Вентиль контрольованого заперечення можна використати для створення квантової заплутаності. Для цього перший вхідний кубіт достатньо перевести в стан суперпозиції за допомогою вентиля Адамара.

Розглянемо невелику програму:


Program program = new Program(2);
Step step0=new Step();
Step step1=new Step();
step0.addGate(new Hadamard(0));
step1.addGate(new Cnot(0,1));

program.addStep(step0);
program.addStep(step1);

QuantumExecutionEnvironment qee = 
	new SimpleQuantumExecutionEnvironment();
Result result = qee.runProgram(program);
Qubit[] qubits = result.getQubits();
for (Qubit qubit:qubits){
    System.out.println(qubit.measure());
}
Renderer.renderProgram(program);

Візуалізація програми:

Як бачимо, кожен із виходів знаходиться в стані суперпозиції. Але при запуску програми неможливо отримати результат 01 або 10. Лише 00 або 11. Тобто ці 2 кубіти є заплутаними і не можуть приймати різні значення. Для демонстрації цього можна додати в програму такий рядок:


Renderer.showProbabilities(program, 1000);

Програма запуститься 1000 разів на виконання і буде пораховано частоту кожного із можливих виходів та побудовано відповідну візуалізацію. Як бачимо, приблизно в 50% запусків результат 00, а інша частина припадає на 11:

Коментарі

Популярні публікації

Шпаргалка по базових командах PostgreSQL

1. Підключення до PostgreSQL через командний рядок: psql -h <host> -p <port> -U <username> -d <database> 2. Підключення до бази без параметрів (якщо користувач і база мають однакове ім’я): psql 3. Показати список усіх баз даних: \l 4. Підключитися до іншої бази даних: \c <database_name> 5. Показати список таблиць у поточній базі: \dt 6. Показати всі об'єкти (таблиці, індекси, секвенції): \d 7. Показати таблиці з усіх схем: \dt *.* 8. Переглянути структуру конкретної таблиці: \d <table_name> 9. Виконати SQL-запит (приклад): SELECT * FROM users; 10. Вийти з psql: \q 11. Створити нову базу даних: CREATE DATABASE mydb; 12. Створити нову таблицю: CREATE TABLE users ( id SERIAL PRIMARY KEY, name TEXT NOT NULL, email TEXT UNIQUE ); 13. Додати новий запис: INSERT INTO users (name, email) VALUES ('Іван', 'ivan@example.com'); 14. Оновити дані в таблиці: UPDATE users SET name = 'Петро' WH...

Створення нового Elixir-проєкту

Для створення новго Elixir-проєкту можна використати команду mix new first_project --sup Зрозуміло, що Elixir має бути встановлений раніше. Пояснення команди: mix — це вбудований інструмент для управління проєктами в Elixir (аналог maven у Java чи npm у JavaScript ). new — підкоманда mix, яка створює новий проєкт. first_project — назва твого нового проєкту. Папка з цією назвою буде створена у поточному каталозі. --sup — опціональний прапорець, який додає шаблон структури з Supervision Tree. Це означає, що створений проєкт одразу буде мати структуру, яка підтримує супервізор (супервізор керує життєвим циклом процесів у системі, перезапускаючи їх при падінні). Щоб створити файл з тестом, можна запустити команду із директорії проєкту mix test Приблизний вигляд структури проєкту:

Docker-compose для створення Postgresql бази даних

Docker Compose — це інструмент, який дозволяє визначати та запускати багатоконтейнерні Docker-застосунки. Замість того, щоб вручну запускати кожен контейнер із довгими командами docker run, docker-compose.yml надає простий спосіб описати всю архітектуру додатка у вигляді YAML-файлу. Це дозволяє легко створювати, запускати, зупиняти та масштабувати сервіси за допомогою однієї команди, що значно спрощує розробку, тестування та розгортання застосунків. Основні можливості Docker Compose включають: запуск кількох контейнерів одночасно, визначення мережі та спільних томів між контейнерами, налаштування змінних середовища та автоматичне підключення сервісів один до одного через імена сервісів. Він особливо корисний для локального середовища розробки, CI/CD-процесів і навіть невеликих продакшен-рішень, де потрібно швидко відтворити середовище для тестування або демонстрації. Мінімальний docker-compose.yml для локального використання PostgreSQL без збереження даних після видалення контейне...

Шпаргалка по запуску та збірці Spring Boot-проєктів

Maven + Spring Boot 1. Збірка проєкту (із завантаженням залежностей, компіляцією, запуском тестів та створенням артефакту) mvn clean install 2. Збірка артефакту без встановлення у локальний репозиторій mvn package 3. Збірка без тестів mvn clean package -DskipTests 4. Запуск Spring Boot-проєкту mvn spring-boot:run 5. Запуск із активним профілем Spring Boot mvn spring-boot:run -Dspring-boot.run.profiles=dev 6. Запуск із параметрами mvn spring-boot:run -Dspring-boot.run.arguments="--server.port=8081 --spring.profiles.active=prod" 7. Запуск з jar-файлу java -jar target/your-app-name.jar 8. Запуск тестів mvn test 9. Запуск, якщо pom.xml у підкаталозі mvn -f шлях/до/pom.xml spring-boot:run 10. Запуск із Maven-профілем (не плутати з Spring Boot профілем) mvn clean install -P dev Gradle + Spring Boot 1. Збірка проєкту (з компіляцією, тестами та створенням jar) ...

Прості типи даних в Elixir

Мова Elixir має низку простих (примітивних) типів даних, які часто використовуються в повсякденному програмуванні. Числа Elixir підтримує цілі (integer) та дійсні числа (float). # Цілі числа a = 42 b = -7 # Дійсні числа c = 3.14 d = -0.001 Булеві значення Elixir має два булевих значення: true та false . x = true y = false z = x and y # false Атоми Атоми — це константи з іменем, що починається з двокрапки. Вони широко використовуються, наприклад, для імен параметрів або станів. :ok :error :running :elixir_is_fun Рядки Рядки в Elixir — це двійкові дані з кодуванням UTF-8, оголошуються в подвійних лапках. name = "Pavlo" greeting = "Привіт, #{name}!" Nil Nil — це спеціальне значення, що позначає "відсутність значення". value = nil is_nil(value) # true Бінарні дані та байти Бінарні дані оголошуються в подвійних лапках або як бінарні літерали. string = "Привіт" # це рядок, але також бінарні дані binary = ...