Statistical Assertions for Validating Patterns and Finding Bugs in Quantum Programs

In support of the growing interest in quantum computing experimentation, programmers need new tools to write quantum algorithms as program code. Compared to debugging classical programs, debugging quantum programs is difficult because programmers have limited ability to probe the internal states of quantum programs; those states are difficult to interpret even when observations exist; and programmers do not yet have guidelines for what to check for when building quantum programs. In this work, we present quantum program assertions based on statistical tests on classical observations. These allow programmers to decide if a quantum program state matches its expected value in one of classical, superposition, or entangled types of states. We extend an existing quantum programming language with the ability to specify quantum assertions, which our tool then checks in a quantum program simulator. We use these assertions to debug three benchmark quantum programs in factoring, search, and chemistry. We share what types of bugs are possible, and lay out a strategy for using quantum programming patterns to place assertions and prevent bugs.Comment: In The 46th Annual International Symposium on Computer Architecture (ISCA '19). arXiv admin note: text overlap with arXiv:1811.0544

Consumer Awareness of the Degree of Industrial Food Processing and the Association with Healthiness—A Pilot Study

Consumption of ultraprocessed foods (UPFs) has been associated with lower diet quality, obesity, and adverse health effects. Not much is known about how consumers evaluate the degree of processing of a food product and how they relate this to healthiness. An online questionnaire was completed by a total of 277 Dutch, 204 Italian, and 181 Brazilian consumers. Consumers were aged 18–65 year, mean 38 ± 13 year, 31% were males, and 71% were highly educated. Pictures of several common food products were evaluated on the degree of industrial processing and healthiness. Thirteen food categories were included, each including one minimally processed food (MPF), one High NS_UPF (Nutri-Score A or B), and one Low NS_UPF (Nutri-Score D or E). Lastly, knowledge and attitude about UPFs were assessed. Ultraprocessing was perceived as unhealthy by the majority of consumers (Dutch, Italian: 55%; Brazilian: 75%) and contributed to weight gain according to: 38% Dutch, 51% Italian, and 70% Brazilian consumers. Low NS_UPFs were correctly rated toward “processed” and “not healthy” in all countries. High NS_UPF were rated as processed but showed large variations in healthiness scores. In conclusion, consumers rated UPFs relatively low in healthiness compared with MPFs with similar Nutri-Scores within the same food category. These preliminary findings suggest that consumers incorporate, to some extent, the degree of industrial processing while assessing the healthiness of food products

How Cell Geometry and Cellular Patterning Influence Tissue Stiffness

Cell growth in plants occurs due to relaxation of the cell wall in response to mechanical forces generated by turgor pressure. Growth can be anisotropic, with the principal direction of growth often correlating with the direction of lower stiffness of the cell wall. However, extensometer experiments on onion epidermal peels have shown that the tissue is stiffer in the principal direction of growth. Here, we used a combination of microextensometer experiments on epidermal onion peels and finite element method (FEM) modeling to investigate how cell geometry and cellular patterning affects mechanical measurements made at the tissue level. Simulations with isotropic cell-wall material parameters showed that the orientation of elongated cells influences tissue apparent stiffness, with the tissue appearing much softer in the transverse versus the longitudinal directions. Our simulations suggest that although extensometer experiments show that the onion tissue is stiffer when stretched in the longitudinal direction, the effect of cellular geometry means that the wall is in fact softer in this direction, matching the primary growth direction of the cells

Future large-scale water-Cherenkov detector

MEMPHYS (MEgaton Mass PHYSics) is a proposed large-scale water-Cherenkov experiment to be performed deep underground. It is dedicated to nucleon decay searches and the detection of neutrinos from supernovae, solar, and atmospheric neutrinos, as well as neutrinos from a future beam to measure the CP violating phase in the leptonic sector and the mass hierarchy. This paper provides an overview of the latest studies on the expected performance of MEMPHYS in view of detailed estimates of its physics reach, mainly concerning neutrino beams

A novel ceRNA regulatory network involving the long non-coding antisense RNA SPACA6P-AS, miR-125a and its mRNA targets in hepatocarcinoma cells

MicroRNAs (miRNA), and more recently long non-coding RNAs (lncRNA), are emerging as a driving force for hepatocellular carcinoma (HCC), one of the leading causes of cancer-related death. In this work, we investigated a possible RNA regulatory network involving two oncosuppressive miRNAs, miR-125a and let-7e, and a long non-coding antisense RNA, SPACA6P-AS (SP-AS), all transcribed from the same locus, with SP-AS in the opposite direction and thus carrying complementary sequences to the miRNAs. In vitro experiments validated the binding of the miRNAs to SP-AS. Then, the boosting of either the miRNAs or SP-AS levels demonstrated their reciprocal inhibition. In addition, overexpression of SP-AS resulted in a reduced silencing activity of miR-125a and let-7e toward their key oncogenic targets, i.e., Lin28b, MMP11, SIRT7, Zbtb7a, Cyclin D1, CDC25B, HMGA2, that resulted significantly upregulated. Finally, the analysis of 374 HCC samples in comparison to 50 normal liver tissues showed an upregulation of SP-AS and a reverse expression of miR-125a, not observed for let-7e; consistently, miR-125a oncogenic targets were upregulated. Overall, the data depict a novel competing endogenous RNA (ceRNA) network, ceRNET, whereby miR-125a can regulate the expression of SP-AS, which in turn regulates the miRNA by competing with the binding to the mRNA targets. We speculate that the unbalancing of any network component may contribute to hepatocarcinogenesis

Study of the performance of a large scale water-Cherenkov detector (MEMPHYS)

MEMPHYS (MEgaton Mass PHYSics) is a proposed large-scale water Cherenkov experiment to be performed deep underground. It is dedicated to nucleon decay searches, neutrinos from supernovae, solar and atmospheric neutrinos, as well as neutrinos from a future Super-Beam or Beta-Beam to measure the CP violating phase in the leptonic sector and the mass hierarchy. A full simulation of the detector has been performed to evaluate its performance for beam physics. The results are given in terms of "Migration Matrices" of reconstructed versus true neutrino energy, taking into account all the experimental effects.Comment: Updated after JCAP's referee's comment

The quantum speed up as advanced knowledge of the solution

With reference to a search in a database of size N, Grover states: "What is the reason that one would expect that a quantum mechanical scheme could accomplish the search in O(square root of N) steps? It would be insightful to have a simple two line argument for this without having to describe the details of the search algorithm". The answer provided in this work is: "because any quantum algorithm takes the time taken by a classical algorithm that knows in advance 50% of the information that specifies the solution of the problem". This empirical fact, unnoticed so far, holds for both quadratic and exponential speed ups and is theoretically justified in three steps: (i) once the physical representation is extended to the production of the problem on the part of the oracle and to the final measurement of the computer register, quantum computation is reduction on the solution of the problem under a relation representing problem-solution interdependence, (ii) the speed up is explained by a simple consideration of time symmetry, it is the gain of information about the solution due to backdating, to before running the algorithm, a time-symmetric part of the reduction on the solution; this advanced knowledge of the solution reduces the size of the solution space to be explored by the algorithm, (iii) if I is the information acquired by measuring the content of the computer register at the end of the algorithm, the quantum algorithm takes the time taken by a classical algorithm that knows in advance 50% of I, which brings us to the initial statement.Comment: 23 pages, to be published in IJT

Slaughter performance and meat quality of Milanino chickens reared according to a specific free-range program

ABSTRACT The study aimed to characterize meat quality traits of Milanino chickens reared according to a specific free-range farming program. A total of 120 birds was reared straight-run in outdoor pens (8 m2/bird) from 35 d of life and fed ad libitum a low (16%) protein diet. At 180 d of age, 20 birds (10 birds/sex) were slaughtered, and carcass weight data were recorded. After processing, carcasses were refrigerated at 4°C for 24 hours. Then, the right breast and thigh with skin were collected and color parameters, pH, water-holding capacity (WHC), and chemical composition were determined. The left breast and thigh were stored at −20°C until cooking loss and tenderness evaluation. Milanino was confirmed to be a heavy breed with a sexual dimorphism in relation to adult body weight. A high general carcass yield was recorded. Milanino meat was characterized by high protein and low fat contents compared with the standard broiler meat. Differences in meat composition were recorded according to the sex: females presented higher values of dry matter (breast and thigh), protein (breast), and fat (breast and thigh) contents. The meat with skin presented an intense luminosity, and this trait was higher in the females. The muscle color was characterized by high redness and yellowness indices with differences according to the sex: Higher yellowness index was observed in female carcasses, while higher redness index was detected in male breast samples. The pH muscle values were similar to those reported in other autochthonous breeds. WHC values did not show variation between sexes. In contrast, cooking loss values recorded in thigh samples were lower in males compared to females. The degree of tenderness of Milanino meat was not affected by the sex. However, the potential loss of water and the toughness in Milanino meat were low compared to other local chicken breed meat. The present results support the breeding of Milanino chickens for meat production according to its specific straight-run free-range system

Green function approach for scattering quantum walks

In this work a Green function approach for scattering quantum walks is developed. The exact formula has the form of a sum over paths and always can be cast into a closed analytic expression for arbitrary topologies and position dependent quantum amplitudes. By introducing the step and path operators, it is shown how to extract any information about the system from the Green function. The method relevant features are demonstrated by discussing in details an example, a general diamond-shaped graph.Comment: 13 pages, 6 figures, this article was selected by APS for Virtual Journal of Quantum Information, Vol 11, Iss 11 (2011

Effect of n-methylacetamide concentration and thawing rate on chicken sperm quality after cryopreservation

In seeking alternative cryoprotectants to glycerol for a reference chicken semen freezing procedure, the aim of the present study was to compare the effect of two concentrations of N-Methylacetamide (MA) and two thawing rates on the quality of frozen-thawed semen. Semen samples were diluted in Lake pre-freezing extender, including 0.1 M trehalose in presence of 6% or 9% MA, loaded into straws, frozen in nitrogen vapors, and stored in liquid nitrogen. The following thawing treatments were used: 5 \ub0C for 100 s and 38 \ub0C for 30 s. Sperm quality (cell membrane integrity, motility and kinetic parameters) was assessed before and after cryopreservation. The decrease of MA concentration from 9 to 6% improved sperm quality after freezing/thawing and this effect was dependent on thawing temperature. Decreasing the MA concentration from 9 to 6% improved the proportion of undamaged membrane, motile, and progressive motile sperm recovered after thawing at 5 \ub0C for 100 s; in contrast, no effect of the MA concentration was observed thawing at 38 \ub0C for 30 s. Therefore, the treatment with 6% MA and thawing at 5 \ub0C for 100 s has given the best cryoprotective action. These results contribute to improve the efficacy of the current chicken semen cryopreservation procedures