Este documento describe el diseño y simulación de un procesador cuántico. Explica conceptos básicos de computación cuántica como qubits, puertas cuánticas y circuitos cuánticos. También presenta la arquitectura qMIPS, que combina unidades clásicas y cuánticas, e incluye instrucciones clásicas y cuánticas. Por último, analiza los algoritmos de Deutsch y Grover como ejemplos de aplicaciones de la computación cuántica.
This document summarizes a lecture on Fourier series and basis functions. It introduces Fourier series representation of periodic time functions using a basis of complex exponentials. A periodic signal can be expressed as a sum of these basis functions multiplied by coefficients. The coefficients can be determined by integrating the signal multiplied by basis functions over one period. Complex exponentials are eigenfunctions of linear time-invariant systems, and the corresponding eigenvalues can be used to determine the output of such systems when the input is an eigenfunction.
Towards Error-Corrected Quantum Computing with Neutral AtomsYuval Boger
This document summarizes research on using neutral atoms for quantum computing. It describes how individual atoms can be deterministically trapped and arranged using optical tweezers and feedback. Quantum gates between atoms are performed using Rydberg interactions. High fidelity single and two-qubit gates have been achieved. Logical qubits are implemented using error correction codes like surface codes to protect against errors. Circuits with many logical qubits have been demonstrated, including GHZ states of 5 logical qubits and sampling circuits with 12 logical qubits. The goal is to scale up to thousands of physical qubits and hundreds of high-fidelity logical qubits for running quantum algorithms.
Infinite sequence & series 1st lecture Mohsin Ramay
The document is a lecture presentation on computational physics from Dr. Tariq Mahmood at the University of the Punjab. It includes:
- An introduction and qualifications of Dr. Tariq Mahmood as the instructor
- Details about the computational physics course such as classes, assignments, exams, and textbooks
- An overview of the course syllabus covering topics like limits of sequences, infinite series, Taylor and Maclaurin series
- Examples of how infinite sequences and series are used in physics and materials science applications
- Definitions and examples of key concepts like sequences, recursion formulas, convergent and divergent sequences
1) The document discusses placing rooks on a chessboard such that no two rooks share the same row or column, called non-attacking rooks.
2) It provides examples of how many ways there are to place different numbers (k) of rooks on sample chessboards, represented as polynomials.
3) The key idea is that the rooks polynomial for a chessboard made of disjoint subboards is the product of the rooks polynomials of the individual subboards.
Division algorithm involves dividing a dividend by a divisor to obtain a quotient and remainder. There are two types of division algorithms: restoring division and non-restoring division. Non-restoring division was demonstrated by dividing 8 by 3 in binary form using a divisor of 0011, a minuend of 1000, and a running difference stored in a accumulator to iteratively obtain the quotient 1000 and keep the division process non-negative.
The document discusses different decrease-and-conquer algorithms. It explains that decrease-and-conquer works by establishing a relationship between solving a problem for an instance of size n and solving a smaller instance of size n-c, where c is some constant. It then decomposes the problem size recursively until reaching a base case. The document provides examples of decrease by a constant, constant factor, and variable amounts. It also discusses insertion sort, binary search, and Euclid's algorithm as examples of decrease-and-conquer approaches.
This document summarizes a lecture on Fourier series and basis functions. It introduces Fourier series representation of periodic time functions using a basis of complex exponentials. A periodic signal can be expressed as a sum of these basis functions multiplied by coefficients. The coefficients can be determined by integrating the signal multiplied by basis functions over one period. Complex exponentials are eigenfunctions of linear time-invariant systems, and the corresponding eigenvalues can be used to determine the output of such systems when the input is an eigenfunction.
Towards Error-Corrected Quantum Computing with Neutral AtomsYuval Boger
This document summarizes research on using neutral atoms for quantum computing. It describes how individual atoms can be deterministically trapped and arranged using optical tweezers and feedback. Quantum gates between atoms are performed using Rydberg interactions. High fidelity single and two-qubit gates have been achieved. Logical qubits are implemented using error correction codes like surface codes to protect against errors. Circuits with many logical qubits have been demonstrated, including GHZ states of 5 logical qubits and sampling circuits with 12 logical qubits. The goal is to scale up to thousands of physical qubits and hundreds of high-fidelity logical qubits for running quantum algorithms.
Infinite sequence & series 1st lecture Mohsin Ramay
The document is a lecture presentation on computational physics from Dr. Tariq Mahmood at the University of the Punjab. It includes:
- An introduction and qualifications of Dr. Tariq Mahmood as the instructor
- Details about the computational physics course such as classes, assignments, exams, and textbooks
- An overview of the course syllabus covering topics like limits of sequences, infinite series, Taylor and Maclaurin series
- Examples of how infinite sequences and series are used in physics and materials science applications
- Definitions and examples of key concepts like sequences, recursion formulas, convergent and divergent sequences
1) The document discusses placing rooks on a chessboard such that no two rooks share the same row or column, called non-attacking rooks.
2) It provides examples of how many ways there are to place different numbers (k) of rooks on sample chessboards, represented as polynomials.
3) The key idea is that the rooks polynomial for a chessboard made of disjoint subboards is the product of the rooks polynomials of the individual subboards.
Division algorithm involves dividing a dividend by a divisor to obtain a quotient and remainder. There are two types of division algorithms: restoring division and non-restoring division. Non-restoring division was demonstrated by dividing 8 by 3 in binary form using a divisor of 0011, a minuend of 1000, and a running difference stored in a accumulator to iteratively obtain the quotient 1000 and keep the division process non-negative.
The document discusses different decrease-and-conquer algorithms. It explains that decrease-and-conquer works by establishing a relationship between solving a problem for an instance of size n and solving a smaller instance of size n-c, where c is some constant. It then decomposes the problem size recursively until reaching a base case. The document provides examples of decrease by a constant, constant factor, and variable amounts. It also discusses insertion sort, binary search, and Euclid's algorithm as examples of decrease-and-conquer approaches.
Este documento presenta una introducción a los algoritmos cuánticos más representativos, incluyendo los algoritmos de Deutsch, Deutsch-Josza, Simon, Shor y Grover. Explica conceptos básicos de computación cuántica como qubits y puertas lógicas. También describe la caminata cuántica y cómo puede usarse como herramienta para crear algoritmos cuánticos para búsquedas y verificación de productos de matrices. El autor concluye destacando el potencial de los algoritmos cuánticos y la caminata cuántica para
Este documento presenta una colección de preguntas de exámenes de ingeniería de control, incluyendo teoría y problemas. Las preguntas teóricas cubren temas como la fórmula de Ackermann, retenedores de orden 0, errores en estado estacionario y más. Los problemas implican diseñar controladores digitales para sistemas dados y analizar su estabilidad y comportamiento.
El documento resume conceptos clave de sistemas de control discreto y estabilidad de sistemas. Describe la modelación de sistemas de control discretos, incluyendo la función de transferencia discreta y el uso de retenedores de orden cero. También explica la estabilidad de sistemas lineales mediante el círculo unitario de estabilidad y el criterio de estabilidad de Jury.
Este documento presenta una breve introducción a los lenguajes de programación cuánticos. Explica conceptos básicos de la mecánica cuántica como qubits, operaciones cuánticas y principales algoritmos cuánticos como Shor y Grover. También describe varios lenguajes de programación cuántica como Quipper, una librería Haskell; Qutip, un framework Python; y herramientas de Mathematica y MATLAB. Por último, introduce IBM Quantum Experience, una plataforma que permite componer circuitos cuánticos y ejecutarlos tanto en
El documento describe los conceptos básicos de los autómatas y máquinas de estado finito. Explica que los autómatas son sistemas secuenciales síncronos que pueden encontrarse en uno de un número finito de estados y que generan salidas en función de las entradas y el estado actual. También describe los dos tipos principales de autómatas, Mealy y Moore, y cómo se pueden implementar máquinas de estado finito utilizando biestables y circuitos combinacionales. Además, presenta una metodología paso a paso para dise
Practica 1 de ingeniería de control: Análisis de la respuesta transitoria de ...SANTIAGO PABLO ALBERTO
Este documento describe un experimento para analizar la respuesta transitoria de sistemas de primer y segundo orden. Se analizará experimentalmente y con Matlab la respuesta de un circuito RC (primer orden) y un circuito RLC (segundo orden). Se medirán parámetros como el período de la respuesta, tiempo de retardo, elevación y establecimiento para diferentes valores de amortiguamiento y se compararán con los resultados de Matlab.
Registros_Problemas de circuitos digitales.pdfssuserf46a26
Este documento presenta 5 problemas relacionados con circuitos secuenciales como registros de desplazamiento y generadores de secuencias. El primer problema explica cómo diseñar un registro de 3 bits con biestables J-K y T. El segundo problema pide diseñar un generador de la secuencia 10101. El tercer problema analiza la evolución temporal de las salidas de un circuito con registro durante 11 ciclos. El cuarto problema explica que el circuito funciona como un contador Gray o divisor de frecuencia por 2.
El documento describe los principales elementos de un sistema de control de datos discretos, incluyendo el muestreador, filtro y proceso controlado. Explica conceptos como muestreo periódico, cuantización, reconstrucción de señales continuas a partir de señales discretas usando retenedores, y diferentes tipos de señales y sistemas discretos como estáticos, dinámicos, causales y no causales.
El documento describe diferentes tipos de biestables, circuitos secuenciales de memoria utilizados en computadoras para almacenar bits de información. Explica biestables RS y JK asíncronos y síncronos, disparados por nivel o flanco, y sus tablas de transición de estados. También cubre biestables D síncronos por nivel y los problemas de entrada prohibida en algunos diseños que pueden dar lugar a oscilaciones.
Introducción a la computación cuantica de forma divulgativa para los estudiantes del grado de ingenieria industrial de la Universidad Politecnica de Valencía.(UPV), dentro de la iniciativa LideraT.
Este documento describe una máquina de estado finito (FSM) para modelar el comportamiento de un semáforo en una intersección de una carretera y un camino vecinal. La FSM tiene 5 estados que controlan los colores de los semáforos (verde, amarillo, rojo) para la carretera y el camino en respuesta a una señal de sensor. Un contador implementa los tiempos de 10 y 20 segundos entre los estados. La FSM se describe con VHDL usando procesos concurrentes para la lógica de estado, salida y contador.
Este documento describe diferentes métodos para el modelado de sistemas dinámicos utilizando modelos difusos. Explica conceptos como modelos de Takagi-Sugeno, estimación de parámetros, agrupamiento difuso, simplificación de reglas y redundancia en modelos difusos. También incluye un ejemplo de aplicación de un modelo difuso de Takagi-Sugeno para la predicción de la concentración de clorofila en lagos.
Este documento describe los diferentes tipos de controladores en sistemas de control en tiempo continuo, incluyendo control proporcional, proporcional derivativo, proporcional integral y proporcional integral derivativo. Explica las características del control proporcional, como que no puede eliminar errores estacionarios y que aumentar su ganancia empeora la respuesta transitoria pero reduce errores. Incluye un ejemplo numérico para ilustrar estas propiedades.
Este documento presenta conceptos básicos sobre control automático. Explica que el control se enfoca en comprender el comportamiento dinámico de sistemas para alterar su comportamiento de una manera deseada. Define los elementos básicos de un sistema de control de lazo cerrado y los tipos de señales continuas y discretas. Finalmente, introduce conceptos como diagramas de bloques y modelado de sistemas eléctricos, mecánicos y neumáticos.
Este documento introduce los conceptos de redes neuronales y lógica difusa aplicadas a sistemas de control. Brevemente describe los conceptos clave de control moderno, lógica difusa, redes neuronales y neurocontrol, y luego se enfoca en el problema clásico del control del péndulo invertido como un ejemplo para ilustrar estas técnicas. Finalmente, explica los pasos básicos para implementar un sistema de control difuso, incluida la fuzzificación, reglas difusas, operaciones difusas y defuzzificación.
Este documento trata sobre la cinemática inversa de los robots. Explica que la cinemática inversa resuelve la configuración que debe adoptar el robot para posicionar y orientar su efectuador final en una posición y orientación conocidas. Describe algunos métodos para resolver la cinemática inversa como los métodos geométricos, el uso de matrices de transformación homogénea y el desacoplamiento cinemático. También menciona algunos de los retos de resolver la cinemática inversa como la no linealidad de las ecuaciones y la
El documento trata sobre el concepto de muestreo y sistemas de control digital. Explica que el control digital implementa algoritmos de control usando lógica programada. Describe el proceso de muestreo, donde una señal analógica se convierte en una secuencia digital de valores mediante conversores A/D. También analiza problemas como el aliasing que ocurren cuando la frecuencia de muestreo es insuficiente. Además, introduce conceptos como secuencias discretas y sistemas discretos que mapean una secuencia de entrada a otra de salida.
Este documento presenta una introducción a los algoritmos cuánticos más representativos, incluyendo los algoritmos de Deutsch, Deutsch-Josza, Simon, Shor y Grover. Explica conceptos básicos de computación cuántica como qubits y puertas lógicas. También describe la caminata cuántica y cómo puede usarse como herramienta para crear algoritmos cuánticos para búsquedas y verificación de productos de matrices. El autor concluye destacando el potencial de los algoritmos cuánticos y la caminata cuántica para
Este documento presenta una colección de preguntas de exámenes de ingeniería de control, incluyendo teoría y problemas. Las preguntas teóricas cubren temas como la fórmula de Ackermann, retenedores de orden 0, errores en estado estacionario y más. Los problemas implican diseñar controladores digitales para sistemas dados y analizar su estabilidad y comportamiento.
El documento resume conceptos clave de sistemas de control discreto y estabilidad de sistemas. Describe la modelación de sistemas de control discretos, incluyendo la función de transferencia discreta y el uso de retenedores de orden cero. También explica la estabilidad de sistemas lineales mediante el círculo unitario de estabilidad y el criterio de estabilidad de Jury.
Este documento presenta una breve introducción a los lenguajes de programación cuánticos. Explica conceptos básicos de la mecánica cuántica como qubits, operaciones cuánticas y principales algoritmos cuánticos como Shor y Grover. También describe varios lenguajes de programación cuántica como Quipper, una librería Haskell; Qutip, un framework Python; y herramientas de Mathematica y MATLAB. Por último, introduce IBM Quantum Experience, una plataforma que permite componer circuitos cuánticos y ejecutarlos tanto en
El documento describe los conceptos básicos de los autómatas y máquinas de estado finito. Explica que los autómatas son sistemas secuenciales síncronos que pueden encontrarse en uno de un número finito de estados y que generan salidas en función de las entradas y el estado actual. También describe los dos tipos principales de autómatas, Mealy y Moore, y cómo se pueden implementar máquinas de estado finito utilizando biestables y circuitos combinacionales. Además, presenta una metodología paso a paso para dise
Practica 1 de ingeniería de control: Análisis de la respuesta transitoria de ...SANTIAGO PABLO ALBERTO
Este documento describe un experimento para analizar la respuesta transitoria de sistemas de primer y segundo orden. Se analizará experimentalmente y con Matlab la respuesta de un circuito RC (primer orden) y un circuito RLC (segundo orden). Se medirán parámetros como el período de la respuesta, tiempo de retardo, elevación y establecimiento para diferentes valores de amortiguamiento y se compararán con los resultados de Matlab.
Registros_Problemas de circuitos digitales.pdfssuserf46a26
Este documento presenta 5 problemas relacionados con circuitos secuenciales como registros de desplazamiento y generadores de secuencias. El primer problema explica cómo diseñar un registro de 3 bits con biestables J-K y T. El segundo problema pide diseñar un generador de la secuencia 10101. El tercer problema analiza la evolución temporal de las salidas de un circuito con registro durante 11 ciclos. El cuarto problema explica que el circuito funciona como un contador Gray o divisor de frecuencia por 2.
El documento describe los principales elementos de un sistema de control de datos discretos, incluyendo el muestreador, filtro y proceso controlado. Explica conceptos como muestreo periódico, cuantización, reconstrucción de señales continuas a partir de señales discretas usando retenedores, y diferentes tipos de señales y sistemas discretos como estáticos, dinámicos, causales y no causales.
El documento describe diferentes tipos de biestables, circuitos secuenciales de memoria utilizados en computadoras para almacenar bits de información. Explica biestables RS y JK asíncronos y síncronos, disparados por nivel o flanco, y sus tablas de transición de estados. También cubre biestables D síncronos por nivel y los problemas de entrada prohibida en algunos diseños que pueden dar lugar a oscilaciones.
Introducción a la computación cuantica de forma divulgativa para los estudiantes del grado de ingenieria industrial de la Universidad Politecnica de Valencía.(UPV), dentro de la iniciativa LideraT.
Este documento describe una máquina de estado finito (FSM) para modelar el comportamiento de un semáforo en una intersección de una carretera y un camino vecinal. La FSM tiene 5 estados que controlan los colores de los semáforos (verde, amarillo, rojo) para la carretera y el camino en respuesta a una señal de sensor. Un contador implementa los tiempos de 10 y 20 segundos entre los estados. La FSM se describe con VHDL usando procesos concurrentes para la lógica de estado, salida y contador.
Este documento describe diferentes métodos para el modelado de sistemas dinámicos utilizando modelos difusos. Explica conceptos como modelos de Takagi-Sugeno, estimación de parámetros, agrupamiento difuso, simplificación de reglas y redundancia en modelos difusos. También incluye un ejemplo de aplicación de un modelo difuso de Takagi-Sugeno para la predicción de la concentración de clorofila en lagos.
Este documento describe los diferentes tipos de controladores en sistemas de control en tiempo continuo, incluyendo control proporcional, proporcional derivativo, proporcional integral y proporcional integral derivativo. Explica las características del control proporcional, como que no puede eliminar errores estacionarios y que aumentar su ganancia empeora la respuesta transitoria pero reduce errores. Incluye un ejemplo numérico para ilustrar estas propiedades.
Este documento presenta conceptos básicos sobre control automático. Explica que el control se enfoca en comprender el comportamiento dinámico de sistemas para alterar su comportamiento de una manera deseada. Define los elementos básicos de un sistema de control de lazo cerrado y los tipos de señales continuas y discretas. Finalmente, introduce conceptos como diagramas de bloques y modelado de sistemas eléctricos, mecánicos y neumáticos.
Este documento introduce los conceptos de redes neuronales y lógica difusa aplicadas a sistemas de control. Brevemente describe los conceptos clave de control moderno, lógica difusa, redes neuronales y neurocontrol, y luego se enfoca en el problema clásico del control del péndulo invertido como un ejemplo para ilustrar estas técnicas. Finalmente, explica los pasos básicos para implementar un sistema de control difuso, incluida la fuzzificación, reglas difusas, operaciones difusas y defuzzificación.
Este documento trata sobre la cinemática inversa de los robots. Explica que la cinemática inversa resuelve la configuración que debe adoptar el robot para posicionar y orientar su efectuador final en una posición y orientación conocidas. Describe algunos métodos para resolver la cinemática inversa como los métodos geométricos, el uso de matrices de transformación homogénea y el desacoplamiento cinemático. También menciona algunos de los retos de resolver la cinemática inversa como la no linealidad de las ecuaciones y la
El documento trata sobre el concepto de muestreo y sistemas de control digital. Explica que el control digital implementa algoritmos de control usando lógica programada. Describe el proceso de muestreo, donde una señal analógica se convierte en una secuencia digital de valores mediante conversores A/D. También analiza problemas como el aliasing que ocurren cuando la frecuencia de muestreo es insuficiente. Además, introduce conceptos como secuencias discretas y sistemas discretos que mapean una secuencia de entrada a otra de salida.
ESPERAMOS QUE ESTA INFOGRAFÍA SEA UNA HERRAMIENTA ÚTIL Y EDUCATIVA QUE INSPIRE A MÁS PERSONAS A ADENTRARSE EN EL APASIONANTE CAMPO DE LA INGENIERÍA CIVIŁ. ¡ACOMPAÑANOS EN ESTE VIAJE DE APRENDIZAJE Y DESCUBRIMIENTO
Los puentes son estructuras esenciales en la infraestructura de transporte, permitiendo la conexión entre diferentes
puntos geográficos y facilitando el flujo de bienes y personas.
1. Diseño y simulación de un
procesador cuántico
Jaime Mª Coello de Portugal Vázquez
Ingeniería Informática
1
Proyecto Informático
Dirigido por José Luis Guisado Lizar
3 de Julio de 2013
3. Información cuántica
Física clásica
Física cuántica
Miniaturización
El ¿límite? en la miniaturización
Partículas bien definidas
Sistemas fácilmente observables
Estados robustos
¿Partícula u onda?
Estados extremadamente frágiles
Observar un sistema lo modifica
Posición y velocidad
Probabilidad
3
4. Información cuántica
Energía
Física clásica Física cuántica
Partícula
Es imposible que la partícula
supere la barrera
Partícula
La partícula tiene una cierta
probabilidad de superar la barrera
El efecto túnel
Efecto
túnel
4
5. Richard Feynman
Información cuántica
Inicios
Los computadores son incapaces de imitar a
la física cuántica eficientemente
Si fabricamos un ordenador que utilice la
física cuántica podrá imitarla con facilidad
Los computadores cuánticos serán
superiores
5
7. Información cuántica
El procesador clásico-cuántico
Computador clásico
Computador cuántico
Muy general
Muy lento en algunos casos
Fácil de construir y manejar
Muy específico
Muy rápido en algunos casos
Difícil de construir y manejar
Computador
clásico-cuántico
7
9. Computación cuántica
El qubit
Quantum bit
o qubit
Dos dimensiones
complejas
El más simple de los
espacios de estados
| 0
| 1
Base 𝛼|0 + β|1
Estados
𝛼
𝛽
Base
computacional
1
2
|0 +
1
2
|1
Es un
estado válido
Paralelismo
cuántico
9
12. Los postulados de la mecánica cuántica
Las medidas
El sistema deja de ser cerrado
1
2
|0 −
3
2
|1
|0
|1
Medida
|0
|1
|0
|1
Medida
𝑐𝑜𝑛 𝑝𝑟𝑜𝑏𝑎𝑏𝑖𝑙𝑖𝑑𝑎𝑑
1
2
2
=
1
4
𝑐𝑜𝑛 𝑝𝑟𝑜𝑏𝑎𝑏𝑖𝑙𝑖𝑑𝑎𝑑 −
3
2
2
=
3
4
La función de onda colapsa
12
13. Los sistemas multiqubit
|Ψ
|Φ
Combinados |Ψ ⨂|Φ , o simplemente |ΨΦ
Dos qubits 𝛼 00 + β 01 + 𝛾 10 + 𝛿 11
Tres qubits 𝛼 000 + β 001 + 𝛾 010 + 𝛿 011 +…
𝟐𝒏ú𝒎𝒆𝒓𝒐 𝒅𝒆 𝒒𝒖𝒃𝒊𝒕𝒔
Grados de libertad
Computación cuántica
13
14. Los circuitos cuánticos
Qubit
Puerta cuántica X H Y
Medida
|𝑐
|𝑡
Puertas controladas
=
|𝑐
|𝑡 X
X
|0
|0
|0
|1
X |1
|1
Tiempo
𝐶𝑁𝑂𝑇 |𝑐𝑡 = 𝑠𝑖(|𝑐 = 1) → 𝑋|𝑡
Computación cuántica
14
16. Simulación de estados cuánticos
Simulación de
hardware
Simulación de circuitos
cuánticos
Simulación del procesador
clásico-cuántico
Qubit101 qMIPS
Simulación
Los simuladores
16
18. Simulación
Motor de simulación de estados cuánticos
Puerta P sobre
qubit q del
estado |Ψ
𝑋 0, 000 → 1 → 100 → 1
Subrutina P(q, Ψ)
𝑋 2, 100 → 1 → 101 → 1
18
19. Simulación
Motor de simulación de circuitos
H
H
H
Array{ Etapa 0 Etapa 1 Etapa 2 Etapa 3 }
Circuito =
Etapa =
H
H
Puerta 0
Puerta 1
Array
{
}
|𝑒𝑛𝑡𝑟𝑎𝑑𝑎 |𝑠𝑎𝑙𝑖𝑑𝑎
19
29. El algoritmo de Deutsch
El problema de Deutsch
Las cuatro funciones binarias de un bit
𝐶𝑜𝑛𝑠𝑡𝑎𝑛𝑡𝑒 𝑎 0: 𝑓 𝑥 = 0
𝐶𝑜𝑛𝑠𝑡𝑎𝑛𝑡𝑒 𝑎 1: 𝑓 𝑥 = 1
𝐼𝑑𝑒𝑛𝑡𝑖𝑑𝑎𝑑: 𝑓 𝑥 = 𝑥
𝑁𝑒𝑔𝑎𝑐𝑖ó𝑛: 𝑓 𝑥 = 𝑥
Constantes Equilibradas
“Dado un oráculo (o caja negra) que ejecuta una de las
cuatro funciones binarias de un bit, decidir si esta es
constante o equilibrada”
29
30. El algoritmo de Deutsch
Un intento clásico
Se llama al oráculo mandándole un 0 como entrada.
Se obtiene una respuesta f(0) = a
Como necesitamos más información llamamos al oráculo mandándole un 1
Se obtiene una respuesta f(1) = b
Si a = b la función es constante y si a ≠ b la función es equilibrada
Son necesarias 2 llamadas al oráculo
El algoritmo cuántico lo consigue con tan solo una llamada
30
34. El algoritmo de Deutsch
Último paso: medida
± |0
1
2
|0 − |1 𝑠𝑖 𝑓 0 = 𝑓(1)
± |1
1
2
|0 − |1 𝑠𝑖 𝑓 0 ≠ 𝑓(1)
0 si el oráculo es constante 1 si el oráculo es equilibrado
Con tan solo una llamada al oráculo
34
38. Conclusiones
38
qMIPS
• Simulación de una arquitectura clásico-cuántica
• Versatilidad a la hora de programar
• Experimentación de la implementación física de los algoritmos
• Herramienta didáctica sobre computación cuántica
Qubit101
• Simulación de circuitos cuánticos
• Facilidad para construir circuitos de alta complejidad
• Muy eficiente
• Banco de desarrollo y pruebas de algoritmos cuánticos
40. Información cuántica
¿Por qué un límite?
Superposición de
estados cuánticos
Entrelazamiento
cuántico
Colapso de la
función de onda
Paralelismo cuántico
Envío más rápido de
información
Comunicaciones
totalmente seguras
40
41. Los postulados de la mecánica cuántica
Primer postulado: el espacio de estados
Bases
Estado
Espacio de estados
Espacio vectorial complejo
Producto interno definido (espacio de Hilbert)
El vector de estado define completamente el sistema
|Ψ
Estado arbitrario
| 𝑛 𝑙 𝑚𝑙 𝑚𝑠
Electrón orbitando un núcleo
| 0 2 1 4
Representación número de partículas
41
42. Los postulados de la mecánica cuántica
Segundo postulado: la evolución de los estados
|Ψ(𝑡1) |Ψ(𝑡2)
𝑈(𝑡1, 𝑡2)
Podemos hacer evolucionar los estados a voluntad
Sistema cuántico cerrado
𝑈†
𝑈 = 𝑈𝑈†
= 𝐼
Si 𝑈†
𝑈 = 𝑈𝑈†
= 𝐼 → 𝑈−1
= 𝑈†
Siempre existe operador inverso
Las computaciones tienen
que ser reversibles
42
43. Arquitectura qMIPS
Las instrucciones cuánticas de control
qoff Rs si Rs = 7
qcnt Rs si Rs = 5 Todas las puertas siguientes
controladas por Q5
43