Entangling Power in the Deterministic Quantum Computation with One Qubit

The deterministic quantum computing with one qubit (DQC1) is a mixed-state quantum computation algorithm that evaluates the normalized trace of a unitary matrix and is more powerful than the classical counterpart. We find that the normalized trace of the unitary matrix can be directly described by the entangling power of the quantum circuit of the DQC1, so the nontrivial DQC1 is always accompanied with the non-vanishing entangling power. In addition, it is shown that the entangling power also determines the intrinsic complexity of this quantum computation algorithm, i.e., the larger entangling power corresponds to higher complexity. Besides, it is also shown that the non-vanishing entangling power does always exist in other similar tasks of DQC1.Comment: 6 pages and 1 figur

Synthesizing Short-Circuiting Validation of Data Structure Invariants

This paper presents incremental verification-validation, a novel approach for checking rich data structure invariants expressed as separation logic assertions. Incremental verification-validation combines static verification of separation properties with efficient, short-circuiting dynamic validation of arbitrarily rich data constraints. A data structure invariant checker is an inductive predicate in separation logic with an executable interpretation; a short-circuiting checker is an invariant checker that stops checking whenever it detects at run time that an assertion for some sub-structure has been fully proven statically. At a high level, our approach does two things: it statically proves the separation properties of data structure invariants using a static shape analysis in a standard way but then leverages this proof in a novel manner to synthesize short-circuiting dynamic validation of the data properties. As a consequence, we enable dynamic validation to make up for imprecision in sound static analysis while simultaneously leveraging the static verification to make the remaining dynamic validation efficient. We show empirically that short-circuiting can yield asymptotic improvements in dynamic validation, with low overhead over no validation, even in cases where static verification is incomplete

An Intelligent Auxiliary Vacuum Brake System

The purpose of this paper focuses on designing an intelligent, compact, reliable, and robust auxiliary vacuum brake system (VBS) with Kalman filter and self-diagnosis scheme. All of the circuit elements in the designed system are integrated into one programmable system-on-chip (PSoC) with entire computational algorithms implemented by software. In this system, three main goals are achieved: (a) Kalman filter and hysteresis controller algorithms are employed within PSoC chip by software to surpass the noises and disturbances from hostile surrounding in a vehicle. (b) Self-diagnosis scheme is employed to identify any breakdown element of the auxiliary vacuum brake system. (c) Power MOSFET is utilized to implement PWM pump control and compared with relay control. More accurate vacuum pressure control has been accomplished as well as power energy saving. In the end, a prototype has been built and tested to confirm all of the performances claimed above

Dark Matter Mini-halo around the Compact Objects: the Formation, Evolution and Possible Contribution to the Cosmic Ray Electrons/Positrons

Dark matter particles may be captured by a star and then thermalized in the star's core. At the end of its life a massive star collapses suddenly and a compact object is formed. The dark matter particles redistribute accordingly. In the inelastic dark matter model, an extended dense dark matter mini-halo surrounding the neutron star may be formed. Such mini-halos may be common in the Galaxy. The electron/positron flux resulting in the annihilation of dark matter particles, however, is unable to give rise to observable signal unless a nascent mini-halo is within a distance \sim a few 0.1 pc from the Earth.Comment: 12 pages, 4 figures, Accepted for publication by JCA

AMS-02 positron excess: new bounds on dark matter models and hint for primary electron spectrum hardening

The data collected by ATIC, CREAM and PAMELA all display remarkable cosmic-ray-nuclei spectrum hardening above the magnetic rigidity $\sim$ 240 GV. One natural speculation is that the primary electron spectrum also gets hardened (possibly at $\sim 80$ GV) and the hardening partly accounts for the electron/positron total spectrum excess discovered by ATIC, HESS and Fermi-LAT. If it is the case, the increasing behavior of the subsequent positron-to-electron ratio will get flattened and the spectrum hardening should be taken into account in the joint fit of the electron/psoitron data otherwise the inferred parameters will be biased. Our joint fits to the latest AMS-02 positron fraction data together with the PAMELA/Fermi-LAT electron/positron spectrum data suggest that the primary electron spectrum hardening is needed in most though not all modelings. The bounds on dark matter models have also been investigated. In the presence of spectrum hardening of primary electrons, the amount of dark-matter-originated electron/positron pairs needed in the modeling is smaller. Even with such a modification, the annihilation channel $\chi\chi \rightarrow \mu^{+}\mu^{-}$ has been tightly constrained by the Fermi-LAT Galactic diffuse emission data. The decay channel $\chi\rightarrow \mu^{+}\mu^{-}$ is found to be viable.Comment: 8 pages, including 3 figures and 2 table

A Leaf Recognition Algorithm for Plant Classification Using Probabilistic Neural Network

In this paper, we employ Probabilistic Neural Network (PNN) with image and data processing techniques to implement a general purpose automated leaf recognition algorithm. 12 leaf features are extracted and orthogonalized into 5 principal variables which consist the input vector of the PNN. The PNN is trained by 1800 leaves to classify 32 kinds of plants with an accuracy greater than 90%. Compared with other approaches, our algorithm is an accurate artificial intelligence approach which is fast in execution and easy in implementation.Comment: 6 pages, 3 figures, 2 table

Very Old Isolated Compact Objects as Dark Matter Probes

Very old isolated neutron stars and white dwarfs have been suggested to be probes of dark matter. To play such a role, two requests should be fulfilled, i.e., the annihilation luminosity of the captured dark matter particles is above the thermal emission of the cooling compact objects (request-I) and also dominate over the energy output due to the accretion of normal matter onto the compact objects (request-II). Request-I calls for very dense dark matter medium and the critical density sensitively depends on the residual surface temperature of the very old compact objects. The accretion of interstellar/intracluster medium onto the compact objects is governed by the physical properties of the medium and by the magnetization and rotation of the stars and may outshine the signal of dark matter annihilation. Only in a few specific scenarios both requests are satisfied and the compact objects are dark matter burners. The observational challenges are discussed and a possible way to identify the dark matter burners is outlined.Comment: 9 pages including 1 Figure, to appear in Phys. Rev.