RosneT: a block tensor algebra library for out-of-core quantum computing simulation

With recent Quantum Devices showing increasing capabilities to perform controlled operations, further development on Quantum Algorithms may benefit from Quantum Simulations on classical hardware. Among important applications one finds verification and debugging of Quantum Algorithms, and elucidating the frontier for real Quantum Advantage of new devices [1]. Tensor Networks are regarded as an efficient numerical representation of a Quantum Circuit, but exponential growth forces tensors to be distributed among computing nodes. A number of methods and libraries have appeared recently to implement Quantum Simulators with Tensor Networks [2], [3] intended for HPC clusters. In this work we develop a Python library called RosneT using a task-based programming model able to extend all tensor operations into distributed systems, and prepared for existing and upcoming Exascale supercomputers. It is compatible with the Python ecosystem, and offers a simple programming interface for developers

Adjustable Portable Makeup Chair

This Final Design Report (FDR) presents the development and evaluation of our adjustable portable makeup chair that is designed to meet the specific needs of makeup artists. To remedy the lack of height adjusting and compact makeup chairs in the market currently, our senior design project planned on creating a height adjusting and portable makeup chair that will be suitable for makeup artists of different heights and is easily transported from one location to another, ideally in the makeup artists car backseat. After finalizing our design, through CAD (SolidWorks), dimensions, equipment and materials which were needed to create our chair, we ordered our materials through different vendors and started building in the machine shops available to us. We used various manufacturing processes such as metal saw cutting, welding, hydraulic tube bending, and 3D printing. The main gas spring we were planning on using to be the main mechanism to activate the height adjusting feature of the chair as well as make it compact was unavailable due to time and manufacturing constraints, so a 3D printed telescoping cylinder was used. Some tolerancing issues also arose when it came time to build the chair. These issues while creating obstacles led us to refine our design and learn from them in order to improve the manufacturing and building of the chair for future production. There was also some instability in the chair that might cause it to tip over and this observation was important to us to make some recommendations or let our sponsor know this might be an aspect that needs refining as well to make a more stable chair. After manufacturing we finished our prototype that showed the functionality of the chair and that it would be compact. Again, without the spring we could not lock the chair at various heights, but our prototype showed it could be compact and ideally it would be suitable to be height adjusted if a proper mechanism could be locked at a certain height

COBERTURA DE RIESGO DE MERCADO PARA PYMES MEDIANTE EL USO DE UNA OPCIÓN EXÓTICA SOBRE EMPRESAS LÍDERES

In the automotive market, the profits of auto parts SMEs depend on profitability of the main brands. This financial dependence generates a liquidity problem when automotive firms enter a period of low production in an extreme case, this could bring to bankruptcy. Therefore, it would be important to have some coverage for these contingencies in the market. The contingency in question is that fluctuation in automaker´s stock price can impact a business (especially SMEs). This paper uses a stochastic model to calculate the premium that the SME must pay for hedge against these losses. Mathematically, it calculates the probability at time cero of automaker´s stock price hitting a specific barrier before the option expires. We could arrive at a formula with known parameters which describes the premium auto parts should pay to be covered for periods in which their profits are seriously affected.En el mercado automotor, las ganancias de las pymes autopartistas dependen de la rentabilidad del negocio de la marca vinculada a aquellas, la cual se explica en parte por su evolución en la bolsa. Esta dependencia genera un problema de liquidez cuando la marca de automotores entra en un período de producción baja, pues la pyme recibirá menos órdenes de compra, con las consecuentes y múltiples pérdidas que esto implica. En un caso extremo, esto podría llevarla a la quiebra. Por lo anterior, sería importante contar con alguna cobertura para estas contingencias en el mercado. La contingencia en cuestión es que la acción de la empresa automotriz alcance un valor mínimo, provocando un problema financiero a la autopartista. Este trabajo presenta el desarrollo matemático de un modelo estocástico que permite obtener el valor de una prima de riesgo a pagar para estar cubierto frente a la contingencia presentada. Se modeliza una opción de compra exótica, denominada “Opción de barrera”, cuya principal característica es que paga si dicha acción de la marca toca, antes del vencimiento de la acción, un valor crítico predeterminado. Se logra hallar una fórmula con parámetros conocidos que describe la prima que deberían pagar dichas autopartistas para estar cubierto ante períodos en los que se vean gravemente afectadas sus ganancias

Understanding the applicability of terahertz flow-guided nano-networksfor medical applications

Terahertz-based nano-networks are emerging as a groundbreaking technology able to play a decisive role in future medical applications owing to their ability to precisely quantify figures, such as the viral load in a patient or to predict sepsis shock or heart attacks before they occur. Due to the extremely limited size of the devices composing these nano-networks, the use of the Terahertz (THz) band has emerged as the enabling technology for their communication. However, the characteristics of the THz band, which strictly reduce the communication range inside the human body, together with the energy limitations of nano-nodes make the in-body deployment of nano-nodes a challenging task. To overcome these problems, we propose a novel in-body flow-guided nano-network architecture consisting of three different devices: i) nano-node, ii) nano-router, and iii) bio-sensor. As the performance of this type of nano-network has not been previously explored, a theoretical framework capturing all its particularities is derived to properly model its behavior and evaluate its feasibility in real medical applications. Employing this analytical model, a thorough sensitivity study of its key parameters is accomplished. Finally, we analyze the terahertz flow-guided nano-network design to satisfy the requirements of several medical applications of interest

Detecting semantic violations of lock-free data structures through C++ contracts

The use of synchronization mechanisms in multithreaded applications is essential on shared-memory multi-core architectures. However, debugging parallel applications to avoid potential failures, such as data races or deadlocks, can be challenging. Race detectors are key to spot such concurrency bugs; nevertheless, if lock-free data structures are used, these may emit a significant number of false positives. In this paper, we present a framework for semantic violation detection of lock-free data structures which makes use of contracts, a novel feature of the upcoming C++20, and a customized version of the ThreadSanitizer race detector. We evaluate the detection accuracy of the framework in terms of false positives and false negatives leveraging some synthetic benchmarks which make use of the SPSC and MPMC lock-free queue structures from the Boost C++ library. Thanks to this framework, we are able to check the correct use of lock-free data structures, thus reducing the number of false positives.This work has been partially funded by the Spanish Ministry of Economy and Competitiveness through Project Grant TIN2016-79637-P (BigHPC - Towards Unification of HPC and Big Data Paradigms) and the European Commission through Grant No. 801091 (ASPIDE - Exascale programmIng models for extreme data processing)

La satisfacción del servicio en el transporte público exclusivo para mujeres

Como parte del desarrollo del sistema de transporte público, este ha presentado problemas de sobrecupo, lo cual se ha traducido en impactos negativos particularmente sobre las mujeres, en especial en lo relativo a los niveles de seguridad, en relación con lo que aquellas han reportado diferentes agresiones. Entre las medidas para reducir lo anterior se implementaron los servicios de transporte exclusivos para mujeres (TEPM) –etiquetados como “transporte rosa”–. En este documento se muestran los resultados de cuantificar la satisfacción de las usuarias del TEPM para el caso del Sistema de Transporte Colectivo (metro) de la ciudad de México. Para alcanzar este objetivo, se diseñó y aplicó una encuesta de satisfacción, a partir de la cual se obtuvo información acerca de los niveles de satisfacción de tres factores del TEPM: cobertura, disponibilidad de asientos, y agresiones sufridas. Los resultados muestran que las características del TEPM no están alineadas con las necesidades de las usuarias, y esto lleva a redefinir los objetivos del transporte exclusivo. Palabras clave: satisfacción del servicio, transporte exclusivo para mujere

Operating with Quantum Integers: an Efficient 'Multiples of' Oracle

Quantum algorithms are a very promising field. However, creating and manipulating these kind of algorithms is a very complex task, specially for software engineers used to work at higher abstraction levels. The work presented here is part of a broader research focused on providing operations of a higher abstraction level to manipulate integers codified as a superposition. These operations are designed to be composable and efficient, so quantum software developers can reuse them to create more complex solutions. Specifically, in this paper we present a 'multiples of' operation. To validate this operation we show several examples of quantum circuits and their simulations, including its composition possibilities. A theoretical analysis proves that both the complexity of the required classical calculations and the depth of the circuit scale linearly with the number of qubits. Hence, the 'multiples of' oracle is efficient in terms of complexity and depth. Finally, an empirical study of the circuit depth is conducted to further reinforce the theoretical analysis.Comment: 19 pages, 18 figures, preprint submitted to SummerSOC 202

Some Initial Guidelines for Building Reusable Quantum Oracles

The evolution of quantum hardware is highlighting the need for advances in quantum software engineering that help developers create quantum software with good quality attributes. Specifically, reusability has been traditionally considered an important quality attribute in terms of efficiency of cost and effort. Increasing the reusability of quantum software will help developers create more complex solutions, by reusing simpler components, with better quality attributes, as long as the reused components have also these attributes. This work focuses on the reusability of oracles, a well-known pattern of quantum algorithms that can be used to perform functions used as input by other algorithms. In particular, in this work, we present several guidelines for making reusable quantum oracles. These guidelines include three different levels for oracle reuse: the ideas inspiring the oracle, the function which creates the oracle, and the oracle itself. To demonstrate these guidelines, two different implementations of a range of integers oracle have been built by reusing simpler oracles. The quality of these implementations is evaluated in terms of functionality and quantum circuit depth. Then, we provide an example of documentation following the proposed guidelines for both implementations to foster reuse of the provided oracles. This work aims to be a first point of discussion towards quantum software reusability. Additional work is needed to establish more specific criteria for quantum software reusability.Comment: 10 page