Quantum Algorithm for Dynamic Programming Approach for DAGs. Applications for Zhegalkin Polynomial Evaluation and Some Problems on DAGs

In this paper, we present a quantum algorithm for dynamic programming approach for problems on directed acyclic graphs (DAGs). The running time of the algorithm is $O(\sqrt{\hat{n}m}\log \hat{n})$, and the running time of the best known deterministic algorithm is $O(n+m)$, where $n$ is the number of vertices, $\hat{n}$ is the number of vertices with at least one outgoing edge; $m$ is the number of edges. We show that we can solve problems that use OR, AND, NAND, MAX and MIN functions as the main transition steps. The approach is useful for a couple of problems. One of them is computing a Boolean formula that is represented by Zhegalkin polynomial, a Boolean circuit with shared input and non-constant depth evaluating. Another two are the single source longest paths search for weighted DAGs and the diameter search problem for unweighted DAGs.Comment: UCNC2019 Conference pape

Adrift upon a salinity-stratified sea

The structure and variability of upper-ocean properties in the Bay of Bengal (BoB) modulate air-sea interactions, which profoundly influence the pattern and intensity of monsoonal precipitation across the Indian subcontinent. In turn, the bay receives a massive amount of freshwater through river input at its boundaries and from heavy local rainfall, leading to a salinity-stratified surface ocean and shallow mixed layers. Small-scale oceanographic processes that drive variability in near-surface BoB waters complicate the tight coupling between ocean and atmosphere implicit in this seasonal feedback. Unraveling these ocean dynamics and their impact on air-sea interactions is critical to improving the forecasting of intraseasonal variability in the southwest monsoon. To that end, we deployed a wave-powered, rapidly profiling system capable of measuring the structure and variability of the upper 100 m of the BoB. The evolution of upper-ocean structure along the trajectory of the instrument’s roughly two-week drift, along with direct estimates of vertical fluxes of salt and heat, permit assessment of the contributions of various phenomena to temporal and spatial variability in the surface mixed layer depth. Further, these observations suggest that the particular “barrier-layer” stratification found in the BoB may decrease the influence of the wind on mixing processes in the interior, thus isolating the upper ocean from the interior below, and tightening its coupling to the atmosphere abov

Multi frequency evaporative cooling to BEC in a high magnetic field

We demonstrate a way to circumvent the interruption of evaporative cooling observed at high bias field for $^{87}$Rb atoms trapped in the (F=2, m=+2) ground state. Our scheme uses a 3-frequencies-RF-knife achieved by mixing two RF frequencies. This compensates part of the non linearity of the Zeeman effect, allowing us to achieve BEC where standard 1-frequency-RF-knife evaporation method did not work. We are able to get efficient evaporative cooling, provided that the residual detuning between the transition and the RF frequencies in our scheme is smaller than the power broadening of the RF transitions at the end of the evaporation ramp.Comment: 12 pages, 2 figure

Exponential Separation of Quantum and Classical Online Space Complexity

Although quantum algorithms realizing an exponential time speed-up over the best known classical algorithms exist, no quantum algorithm is known performing computation using less space resources than classical algorithms. In this paper, we study, for the first time explicitly, space-bounded quantum algorithms for computational problems where the input is given not as a whole, but bit by bit. We show that there exist such problems that a quantum computer can solve using exponentially less work space than a classical computer. More precisely, we introduce a very natural and simple model of a space-bounded quantum online machine and prove an exponential separation of classical and quantum online space complexity, in the bounded-error setting and for a total language. The language we consider is inspired by a communication problem (the set intersection function) that Buhrman, Cleve and Wigderson used to show an almost quadratic separation of quantum and classical bounded-error communication complexity. We prove that, in the framework of online space complexity, the separation becomes exponential.Comment: 13 pages. v3: minor change

Imaging the Two Gaps of the High-TC Superconductor Pb-Bi2Sr2CuO6+x

The nature of the pseudogap state, observed above the superconducting transition temperature TC in many high temperature superconductors, is the center of much debate. Recently, this discussion has focused on the number of energy gaps in these materials. Some experiments indicate a single energy gap, implying that the pseudogap is a precursor state. Others indicate two, suggesting that it is a competing or coexisting phase. Here we report on temperature dependent scanning tunneling spectroscopy of Pb-Bi2Sr2CuO6+x. We have found a new, narrow, homogeneous gap that vanishes near TC, superimposed on the typically observed, inhomogeneous, broad gap, which is only weakly temperature dependent. These results not only support the two gap picture, but also explain previously troubling differences between scanning tunneling microscopy and other experimental measurements.Comment: 6 page

Least Upper Delay Bound for VBR Flows in Networks-on- Chip with Virtual Channels

Real-time applications such as multimedia and gaming require stringent performance guarantees, usually enforced by a tight upper bound on the maximum end-to-end delay. For FIFO multiplexed on-chip packet switched networks we consider worst-case delay bounds for Variable Bit-Rate (VBR) flows with aggregate scheduling, which schedules multiple flows as an aggregate flow. VBR Flows are characterized by a maximum transfer size, peak rate, burstiness, and average sustainable rate. Based on network calculus, we present and prove theorems to derive per-flow end-to-end Equivalent Service Curves (ESC) which are in turn used for computing Least Upper Delay Bounds (LUDBs) of individual flows. In a realistic case study we find that the end-to-end delay bound is up to 46.9% more accurate than the case without considering the traffic peak behavior. Likewise, results also show similar improvements for synthetic traffic patterns. The proposed methodology is implemented in C++ and has low run-time complexity, enabling quick evaluation for large and complex SoCs

Ferritins: furnishing proteins with iron

Ferritins are a superfamily of iron oxidation, storage and mineralization proteins found throughout the animal, plant, and microbial kingdoms. The majority of ferritins consist of 24 subunits that individually fold into 4-α-helix bundles and assemble in a highly symmetric manner to form an approximately spherical protein coat around a central cavity into which an iron-containing mineral can be formed. Channels through the coat at inter-subunit contact points facilitate passage of iron ions to and from the central cavity, and intrasubunit catalytic sites, called ferroxidase centers, drive Fe2+ oxidation and O2 reduction. Though the different members of the superfamily share a common structure, there is often little amino acid sequence identity between them. Even where there is a high degree of sequence identity between two ferritins there can be major differences in how the proteins handle iron. In this review we describe some of the important structural features of ferritins and their mineralized iron cores and examine in detail how three selected ferritins oxidise Fe2+ in order to explore the mechanistic variations that exist amongst ferritins. We suggest that the mechanistic differences reflect differing evolutionary pressures on amino acid sequences, and that these differing pressures are a consequence of different primary functions for different ferritins

Forensics in Industrial Control System: A Case Study

Industrial Control Systems (ICS) are used worldwide in critical infrastructures. An ICS system can be a single embedded system working stand-alone for controlling a simple process or ICS can also be a very complex Distributed Control System (DCS) connected to Supervisory Control And Data Acquisition (SCADA) system(s) in a nuclear power plant. Although ICS are widely used to-day, there are very little research on the forensic acquisition and analyze ICS artefacts. In this paper we present a case study of forensics in ICS where we de-scribe a method of safeguarding important volatile artefacts from an embedded industrial control system and several other source

The origin of the anomalously strong influence of out-of-plane disorder on high-Tc superconductivity

The electronic structure of Bi2Sr2-xRxCuOy(R=La, Eu) near the (pi,0) point of the first Brillouin zone was studied by means of angle-resolved photoemission spectroscopy (ARPES). The temperature T* above which the pseudogap structure in the ARPES spectrum disappears was found to have an R dependence that is opposite to that ofthe superconducting transition temperature Tc. This indicates that the pseudogap state is competing with high-Tc superconductivity, and the large Tc suppression observed with increasing the out-of-plane disorder is due to the stabilization of the pseudogap state.Comment: 4 pages, 4 figure