Un marco de contribución funcional para la Ingeniería de Software Cuántico
DOI:
https://doi.org/10.24215/15146774e091Palabras clave:
ingeniería de software cuántico, valores de Shapley, atribución funcionalResumen
La Ingeniería de Software Cuántico (Q-SE) requiere herramientas que permitan analizar de manera reproducible y cuantitativael comportamiento funcional de algoritmos cuánticos, más allá de su corrección global. En este trabajo se presenta SMEF (Software Engineering Module Evaluation Framework), un marco de atribución funcional basado en valores de Shapley, orientado a cuantificar la contribución de bloques funcionales dentro de una implementación cuántica bajo métricas explícitas definidas por el analista.
El marco evalúa configuraciones parciales del circuito que preservan el orden físico de ejecución, permitiendo descomponer el comportamiento global en contribuciones funcionales atribuibles a cada bloque, en coherencia con la semántica operacional del algoritmo y con las propiedades axiomáticas del mecanismo de atribución empleado. SMEF no busca reinterpretar la dinámica cuántica subyacente, sino proporcionar métricas funcionales reproducibles y comparables, útiles para actividades propias de la Q-SE, tales como auditoría, validación, comparación sistemática de implementaciones y detección de anomalías funcionales.
La propuesta se valida mediante dos casos de estudio: (i) la búsqueda sobre hipercubos del algoritmo SKW y (ii) la etapa de estimación de fase (QPE) del algoritmo de Shor. En ambos casos, los perfiles de contribución obtenidos resultan coherentes con el rol funcional esperado de los bloques analizados y permiten identificar desviaciones funcionales sin necesidad de inspeccionar el circuito a nivel de compuertas.
Referencias
Aharonov, D., Ambainis, A., Kempe, J. y Vazirani, U. (2001). Quantum walks on graphs. Proceedings of the 33rd Annual ACM Symposium on Theory of Computing, STOC '01, 50-59. https://doi.org/10.1145/380752.380758
Burge, I., Barbeau, M. y García-Alfaro, J. (2023). A quantum algorithm for Shapley value estimation. arXiv, 2301.04727. https://doi.org/10.48550/arXiv.2301.04727
Castro, J., Gómez, D. y Tejada, J. (2009). Polynomial calculation of the Shapley value based on sampling. Computers & Operations Research, 36(5), 1726-1730. https://doi.org/10.1016/j.cor.2008.04.004
Fatima, S. S., Wooldridge, M. y Jennings, N. R. (2008). A linear approximation method for the Shapley value. Artificial Intelligence, 172(14), 1673-1699. https://doi.org/10.1016/j.artint.2008.04.003
Heese, R., Gerlach, T., Mücke, S., Müller, S., Jakobs, M. y Piatkowski, N. (2025). Explaining quantum circuits with Shapley values: Towards explainable quantum machine learning. Quantum Machine Intelligence, 7(1), 27. https://doi.org/10.1007/s42484-025-00254-8
Huang, Y. y Martonosi, M. (2019). Statistical assertions for validating patterns and finding bugs in quantum programs. Proceedings of the 46th International Symposium on Computer Architecture (ISCA), ISCA '19, 541-553. https://doi.org/10.1145/3307650.3322213
Johnston, E., Harrigan, N. y Gimeno-Segovia, M. (2019). Programming quantum computers: Essential algorithms and code samples. O’Reilly Media.
Kempe, J. (2003). Quantum random walks: An introductory overview. Contemporary Physics, 44(4), 307-327. https://doi.org/10.1080/00107151031000110776
Nielsen, M. A. y Chuang, I. L. (2011). Quantum computation and quantum information. (10ª ed.). Cambridge University Press.
Paltenghi, R. y Pradel, M. (2024). Analyzing quantum programs with LintQ: A static analysis framework. Proceedings of the ACM on Software Engineering, 1(FSE), 95. https://doi.org/10.1145/3660802
Portugal, R. (2013). Quantum walks and search algorithms. Springer.
Shapley, L. (1953) A value for n-person games. En H. Kuhn y A. Tucker (Eds.), Contributions to the theory of games (vol. II, pp. 307-317). Princeton University Press. https://doi.org/10.1515/9781400881970-018
Shenvi, N., Kempe, J. y Whaley, K. B. (2003). Quantum random-walk search algorithm. Physical Review A, 67(5), 052307. https://doi.org/10.1103/PhysRevA.67.052307
Shor, P. W. (1997). Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. En Proceedings of the 37th Annual Symposium on Foundations of Computer Science (pp. 56-65). IEEE. https://doi.org/10.1109/SFCS.1994.365700
Young, H. P. (1985). Monotonic solutions of cooperative games. International Journal of Game Theory, 14(2), 65-72. https://doi.org/10.1007/BF01769885
Descargas
Publicado
Número
Sección
Licencia
Derechos de autor 2026 María Cecilia Pezzini, Claudia Pons, Luis Mariano Bibbo
Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial-CompartirIgual 4.0.
Aquellos autores/as que tengan publicaciones con esta revista, aceptan los términos siguientes:
- Los autores/as conservarán sus derechos de autor y garantizarán a la revista el derecho de primera publicación de su obra, el cuál estará simultáneamente sujeto a la Creative Commons Atribución-NoComercial-CompartirIgual 4.0 Internacional (CC BY-NC-SA 4.0) que permite a terceros compartir la obra siempre que se indique su autor y su primera publicación esta revista, no hagan uso comercial de ella y las obras derivadas de hagan bajo la misma licencia.
- Los autores/as podrán adoptar otros acuerdos de licencia no exclusiva de distribución de la versión de la obra publicada (p. ej.: depositarla en un archivo telemático institucional o publicarla en un volumen monográfico) siempre que se indique la publicación inicial en esta revista.
- Se permite y recomienda a los autores/as difundir su obra a través de Internet (p. ej.: en archivos telemáticos institucionales o en su página web) antes y durante el proceso de envío, lo cual puede producir intercambios interesantes y aumentar las citas de la obra publicada. (Véase El efecto del acceso abierto).
