Quantum Advantage for All

We show that the algorithmic complexity of any classical algorithm written in a Turing-complete programming language polynomially bounds the number of quantum bits that are required to run and even symbolically execute the algorithm on a quantum computer. In particular, we show that any classical algorithm $A$ that runs in $\mathcal{O}(f(n))$ time and $\mathcal{O}(g(n))$ space requires no more than $\mathcal{O}(f(n)\cdot g(n))$ quantum bits to execute, even symbolically, on a quantum computer. With $\mathcal{O}(1)\leq\mathcal{O}(g(n))\leq\mathcal{O}(f(n))$ for all $n$, the quantum bits required to execute $A$ may therefore not exceed $\mathcal{O}(f(n)^2)$ and may come down to $\mathcal{O}(f(n))$ if memory consumption by $A$ is bounded by a constant. Our construction works by encoding symbolic execution of machine code in a finite state machine over the satisfiability-modulo-theory (SMT) of bitvectors, for modeling CPU registers, and arrays of bitvectors, for modeling main memory. The FSM is linear in the size of the code, independent of execution time and space, and represents the reachable machine states for any given input. The FSM may be explored by bounded model checkers using SMT and SAT solvers as backend. However, for the purpose of this paper, we focus on quantum computing by unrolling and bit-blasting the FSM into (1)~satisfiability-preserving quadratic unconstrained binary optimization (QUBO) models targeting adiabatic forms of quantum computing such as quantum annealing, and (2)~semantics-preserving quantum circuits (QCs) targeting gate-model quantum computers. With our compact QUBOs, real quantum annealers can now execute simple but real code even symbolically, yet only with potential but no guarantee for exponential speedup, and with our QCs as oracles, Grover's algorithm applies to symbolic execution of arbitrary code, guaranteeing at least in theory a quadratic speedup

A Scalable, Correct Time-stamped Stack

Concurrent data-structures, such as stacks, queues, and deques, often implicitly enforce a total order over elements in their underlying memory layout. However, much of this order is unnecessary: linearizability only requires that elements are ordered if the insert methods ran in sequence. We propose a new approach which uses timestamping to avoid unnecessary ordering. Pairs of elements can be left unordered if their associated insert operations ran concurrently, and order imposed as necessary at the eventual removal. We realise our approach in a new non-blocking datastructure, the TS (timestamped) stack. Using the same approach, we can define corresponding queue and deque datastructures. In experiments on x86, the TS stack outperforms and outscales all its competitors – for example, it outperforms the elimination-backoff stack by factor of two. In our approach, more concurrency translates into less ordering, giving less-contended removal and thus higher performance and scalability. Despite this, the TS stack is linearizable with respect to stack semantics. The weak internal ordering in the TS stack presents a challenge when establishing linearizability: standard techniques such as linearization points work well when there exists a total internal order. We present a new stack theorem, mechanised in Isabelle, which characterises the orderings sufficient to establish stack semantics. By applying our stack theorem, we show that the TS stack is indeed linearizable. Our theorem constitutes a new, generic proof technique for concurrent stacks, and it paves the way for future weakly ordered data-structure designs

High-level real-time programming in Java

Real-time systems have reached a level of complexity beyond the scaling capability of the low-level or restricted languages traditionally used for real-time programming. While Metronome garbage collection has made it practical to use Java to implement real-time systems, many challenges remain for the construction of complex real-time systems, some specic to the use of Java and others simply due to the change in scale of such systems. The goal of our research is the creation of a comprehensive Java-based programming environment and methodology for the creation of complex real-time systems. Our goals include construction of a provably correct real-time garbage collec-tor capable of providing worst case latencies of 100 s, capa-ble of scaling from sensor nodes up to large multiprocessors; specialized programming constructs that retain the safety and simplicity of Java, and yet provide sub-microsecond la-tencies; the extension of Java's \write once, run anywhere" principle from functional correctness to timing behavior; on-line analysis and visualization that aids in the understanding of complex behaviors; and a principled probabilistic analy-sis methodology for bounding the behavior of the resulting systems. While much remains to be done, this paper describes the progress we have made towards these goals

Adding flavour to the Polchinski-Strassler background

As an extension of holography with flavour, we analyze in detail the embedding of a D7-brane probe into the Polchinski-Strassler gravity background, in which the breaking of conformal symmetry is induced by a 3-form flux G_3. This corresponds to giving masses to the adjoint chiral multiplets. We consider the N=2 supersymmetric case in which one of the adjoint chiral multiplets is kept massless while the masses of the other two are equal. This setup requires a generalization of the known expressions for the backreaction of G_3 in the case of three equal masses to generic mass values. We work to second order in the masses to obtain the embedding of D7-brane probes in the background. At this order, the 2-form potentials corresponding to the background flux induce an 8-form potential which couples to the worldvolume of the D7-branes. We show that the embeddings preserve an SU(2) x SU(2) symmetry. We study possible embeddings both analytically in a particular approximation, as well as numerically. The embeddings preserve supersymmetry, as we investigate using the approach of holographic renormalization. The meson spectrum associated to one of the embeddings found reflects the presence of the adjoint masses by displaying a mass gap.Comment: LaTeX, 50 pages, 9 figure

Research of molybdenum carbide by raman spectroscopy

Molybdenum carbides crystalline phases are well-known polymorphs with useful technological applications including sensors, electronics, and catalysis. According to Mo-C known phase diagram, several polymorphs can exist under ambient conditions. One of the promising synthesis techniques is DC arc plasma. Nowadays, recent trends focus on the non-vacuum arcing procedure in ambient conditions which is possible due to carbon monoxide generation during the synthesis process. This phenomenon as a result of graphite electrodes usage can prevent the oxidation of the synthesis products. As an advantage of this method should be noted the possible cost benefits through the lower energy consumption, also the productivity can be increased by our approach. In this contribution, the arc plasma method is investigated for the crystalline molybdenum carbides synthesis. According to the X-ray diffraction results, the Mo2C and Mo1.2C0.8 crystalline phases were synthesized. Raman spectroscopy confirms the presence and high crystallinity of these MoC phases. This work shows an inexpensive and promising way to obtain molybdenum carbides with potential in optoelectronics, environmental, and energy applications

Sex-Specific Interaction Between Cortisol and Striato-Limbic Responses to Psychosocial Stress

Although women and men differ in psychological and endocrine stress responses as well as prevalence rates of stress-related disorders, knowledge on sex differences regarding stress regulation in the brain is scarce.Therefore, we performed an in-depth analysis of data from 67 healthy participants (31 women, taking oral contraceptives), who were exposed to the ScanSTRESS paradigm in an fMRI study. Changes in cortisol, affect, heart rate, and neural activation in response to psychosocial stress were examined in women and men as well as potential sex-specific interactions between stress response domains.Stress exposure led to significant cortisol increases with men exhibiting higher levels than women. Dependent on sex, cortisol elevations were differently associated with stress-related responses in striato-limbic structures: Higher increases were associated with activations in men but with deactivations in women. Regarding affect or heart rate responses, no sex differences emerged.Although women and men differ in their overall stress reactivity, our findings do not support the idea of distinct neural networks as base of this difference. Instead, we found differential stress reactions for women and men in identical structures. We propose considering quantitative predictors like sex-specific cortisol increases when exploring neural response differences of women and men

Neural responses to acute stress predict chronic stress perception in daily life over 13 months

The importance of amygdala, hippocampus, and medial prefrontal cortex (mPFC) for the integration of neural, endocrine, and affective stress processing was shown in healthy participants and patients with stress-related disorders. The present manuscript which reports on one study-arm of the LawSTRESS project, aimed at investigating the predictive value of acute stress responses in these regions for biopsychological consequences of chronic stress in daily life. The LawSTRESS project examined law students either in preparation for their first state examination (stress group [SG]) or in the mid-phase of their study program (control group [CG]) over 13 months. Ambulatory assessments comprising perceived stress measurements and the cortisol awakening response (CAR) were administered on six sampling points (t1 = − 1 year, t2 = − 3 months, t3 = − 1 week, t4 = exam, t5 =  + 1 week, t6 =  + 1 month). In a subsample of 124 participants (SG: 61; CG: 63), ScanSTRESS was applied at baseline. In the SG but not in the CG, amygdala, hippocampus, and (post-hoc analyzed) right mPFC activation changes during ScanSTRESS were significantly associated with the trajectory of perceived stress but not with the CAR. Consistent with our finding in the total LawSTRESS sample, a significant increase in perceived stress and a blunted CAR over time could be detected in the SG only. Our findings suggest that more pronounced activation decreases of amygdala, hippocampus, and mPFC in response to acute psychosocial stress at baseline were related to a more pronounced increase of stress in daily life over the following year