Searcharxiv⌕ Search

arXiv subjects

Qi Zhou

Publications and source records attributed to Qi Zhou.

At least 181 records · Page 10Linked to original sources
arXiv2021

Blockchain-Enabled Internet-of-Things Platform for End-to-End Industrial Hemp Supply Chain

After being legalized as an agricultural commodity by the 2018 U.S. Farm Bill, the Industrial Hemp production is moved from limited pilot programs to a regulated agriculture production system, and the market keeps increasing since then. However, Industrial Hemp Supply Chain (IHSC) faces several critical challenges, including high complexity and variability, data tampering, and lack of immutable information tracking system. In this paper, we develop a blockchain enabled internet-of-things (IoT) platform for IHSC to support process tracking, scalability, interoperability, and risk management. Basically, we create a two-layer blockchain with proof-of-authority based smart contract, which can leverage local authorities with state/federal regulators to ensure and accelerate quality control verification and regulatory compliance. Then, we develop a user-friendly mobile app so that each participant can use smart phone to real-time collect and upload their data to the cloud, and further share the process verification and tracking information through the blockchain network. Our study indicates the proposed platform can support interoperability, improve the efficiency of quality control verification, and ensure the safety of regulated IHSC.

cs.CR↗
arXiv2021

Testing DBMS Performance with Mutations

Because database systems are the critical component of modern data-intensive applications, it is important to ensure that they operate correctly. To this end, developers extensively test these systems to eliminate bugs that negatively affect functionality. In addition to functional bugs, however, there is another important class of bugs: performance bugs. These bugs negatively affect the response time of a database system and can therefore affect the overall performance of the system. Despite their impact on end-user experience, performance bugs have received considerably less attention than functional bugs. In this paper, we present AMOEBA, a system for automatically detecting performance bugs in database systems. The core idea behind AMOEBA is to construct query pairs that are semantically equivalent to each other and then compare their response time on the same database system. If the queries exhibit a significant difference in their runtime performance, then the root cause is likely a performance bug in the system. We propose a novel set of structure and predicate mutation rules for constructing query pairs that are likely to uncover performance bugs. We introduce feedback mechanisms for improving the efficacy and computational efficiency of the tool. We evaluate AMOEBA on two widely-used DBMSs, namely PostgreSQL and CockroachDB. AMOEBA has discovered 20 previously-unknown performance bugs, among which developers have already confirmed 14 and fixed 4.

cs.DB↗
arXiv2021

1-d Quantum Harmonic Oscillator with Time Quasi-periodic Quadratic Perturbation: Reducibility and Growth of Sobolev Norms

For a family of 1-d quantum harmonic oscillator with a perturbation which is $C^2$ parametrized by $E\in{\mathcal I}\subset{\Bbb R}$ and quadratic on $x$ and $-{\rm i}\partial_x$ with coefficients quasi-periodically depending on time $t$, we show the reducibility (i.e., conjugation to time-independent) for a.e. $E$. As an application of reducibility, we describe the behaviors of solution in Sobolev space: -- Boundedness w.r.t. $t$ is always true for "most" $E\in{\mathcal I}$. -- For "generic" time-dependent perturbation, polynomial growth and exponential growth to infinity w.r.t. $t$ occur for $E$ in a "small" part of ${\mathcal I}$. Concrete examples are given for which the growths of Sobolev norm do occur.

math.AP↗
arXiv2021

Manipulating anyons in quantum Hall droplets of light using dissipations

Whereas anyons are the building blocks in topological quantum computation, it remains challenging to create and control each anyon individually. Here, we point out that dissipative dynamics in cavities deterministically deliver droplets of light in desired fractional quantum Hall states. In these quantum Hall droplets, both the number and locations of anyons are precisely controllable without requiring extra potentials to imprint and localize such quasiparticles. Using the density profile of light, the anyonic statistics is readily accessible. Moreover, entangling a quantum spin valve with these quantum Hall droplets establishes a direct readout of the braiding statistics. Our work unfolds a promising route for quantum optics to solve challenging problems in quantum Hall physics.

cond-mat.quant-gas↗
arXiv2021

Localization transition, spectrum structure and winding numbers for one-dimensional non-Hermitian quasicrystals

By analyzing the Lyapunov exponent (LE), we develop a rigorous, fundamental scheme for the study of general non-Hermitian quasicrystals with both complex phase factor and non-reciprocal hopping. Specially, the localization-delocalization transition point, $\mathcal{PT}$-symmetry-breaking point and the winding number transition points are determined by LEs of its dual Hermitian model. The analysis was based on Avila's global theory, and we found that winding number is directly related to the acceleration, the slope of the LE, while quantization of acceleration is the crucial ingredient of Avila's global theory. This result applies as well to the models with higher winding, not only the simplest Aubry-André model. As typical examples, we obtain the analytical phase boundaries of localization transition for non-Hermitian Aubry-André model in the whole parameter space, and the complete phase diagram is straightforwardly determined. For the non-Hermitian Soukoulis-Economou model, a high winding model, we show how the phase boundaries of localization transition and winding number transitions relate to the LEs of its dual Hermitian model. Moreover, we discover an intriguing feature of robust spectrum, i.e., the spectrum keeps invariant when one changes the complex phase parameter $h$ or non-reciprocal parameter $g$ in the region of $h<|h_c|$ or $g<|g_c|$ if the system is in the extended or localized state, respectively.

cond-mat.dis-nn↗
arXiv2021

Traveling fronts for Fisher-KPP lattice equations in almost periodic media

This paper investigates the existence of almost periodic traveling fronts for Fisher-KPP lattice equations in one-dimensional almost periodic media. By the Lyapunov exponent of the linearized operator near the unstable steady state, we give sufficient condition of the existence of minimal speed of traveling fronts. Furthermore, it is showed that almost periodic traveling fronts share the same recurrence property as the structure of the media. As applications, we give some typical examples which have minimal speed, and the proof of this depends on dynamical system approach to almost periodic Schrodinger operator.

math.AP↗
arXiv2021

EvaLDA: Efficient Evasion Attacks Towards Latent Dirichlet Allocation

As one of the most powerful topic models, Latent Dirichlet Allocation (LDA) has been used in a vast range of tasks, including document understanding, information retrieval and peer-reviewer assignment. Despite its tremendous popularity, the security of LDA has rarely been studied. This poses severe risks to security-critical tasks such as sentiment analysis and peer-reviewer assignment that are based on LDA. In this paper, we are interested in knowing whether LDA models are vulnerable to adversarial perturbations of benign document examples during inference time. We formalize the evasion attack to LDA models as an optimization problem and prove it to be NP-hard. We then propose a novel and efficient algorithm, EvaLDA to solve it. We show the effectiveness of EvaLDA via extensive empirical evaluations. For instance, in the NIPS dataset, EvaLDA can averagely promote the rank of a target topic from 10 to around 7 by only replacing 1% of the words with similar words in a victim document. Our work provides significant insights into the power and limitations of evasion attacks to LDA models.

cs.LG↗
arXiv2021

Anti-crosstalk high-fidelity state discrimination for superconducting qubits

Measurement for qubits plays a key role in quantum computation. Current methods for classifying states of single qubit in a superconducting multi-qubit system produce fidelities lower than expected due to the existence of crosstalk, especially in case of frequency crowding. Here, We make the digital signal processing (DSP) system used in measurement into a shallow neural network and train it to be an optimal classifier to reduce the impact of crosstalk. The experiment result shows the crosstalk-induced readout error deceased by 100% after a 3-second optimization applied on the 6-qubit superconducting quantum chip.

quant-ph↗
arXiv2021

Special-Purpose Quantum Processor Design

Full connectivity of qubits is necessary for most quantum algorithms, which is difficult to directly implement on Noisy Intermediate-Scale Quantum processors. However, inserting swap gate to enable the two-qubit gates between uncoupled qubits significantly decreases the computation result fidelity. To this end, we propose a Special-Purpose Quantum Processor Design method that can design suitable structures for different quantum algorithms. Our method extends the processor structure from two-dimensional lattice graph to general planar graph and arranges the physical couplers according to the two-qubit gate distribution between the logical qubits of the quantum algorithm and the physical constraints. Experimental results show that our design methodology, compared with other methods, could reduce the number of extra swap gates per two-qubit gate by at least 104.2% on average. Also, our method's advantage over other methods becomes more obvious as the depth and qubit number increase. The result reveals that our method is competitive in improving computation result fidelity and it has the potential to demonstrate quantum advantage under the technical conditions.

quant-ph↗
arXiv2021

Global rigidity for ultra-differentiable quasiperiodic cocycles and its spectral applications

For quasiperiodic Schrödinger operators with one-frequency analytic potentials, from dynamical systems side, it has been proved that the corresponding quasiperiodic Schrödinger cocycle is either rotations reducible or has positive Lyapunov exponent for all irrational frequency and almost every energy. From spectral theory side, the "Schrödinger conjecture" and the "Last's intersection spectrum conjecture" have been verified. The proofs of above results crucially depend on the analyticity of the potentials. People are curious about if the analyticity is essential for those problems, see open problems by Fayad-Krikorian and Jitomirskaya-Mar. In this paper, we prove the above mentioned results for ultra-differentiable potentials.

math.DS↗
arXiv2021

A Symbolic Approach to Proving Query Equivalence Under Bag Semantics

In database-as-a-service platforms, automated verification of query equivalence helps eliminate redundant computation in the form of overlapping sub-queries. Researchers have proposed two pragmatic techniques to tackle this problem. The first approach consists of reducing the queries to algebraic expressions and proving their equivalence using an algebraic theory. The limitations of this technique are threefold. It cannot prove the equivalence of queries with significant differences in the attributes of their relational operators. It does not support certain widely-used SQL features. Its verification procedure is computationally intensive. The second approach transforms this problem to a constraint satisfaction problem and leverages a general-purpose solver to determine query equivalence. This technique consists of deriving the symbolic representation of the queries and proving their equivalence by determining the query containment relationship between the symbolic expressions. While the latter approach addresses all the limitations of the former technique, it only proves the equivalence of queries under set semantics. However, in practice, database applications use bag semantics. In this paper, we introduce a novel symbolic approach for proving query equivalence under bag semantics. We transform the problem of proving query equivalence under bag semantics to that of proving the existence of a bijective, identity map between tuples returned by the queries on all valid inputs. We implement this symbolic approach in SPES and demonstrate that SPES proves the equivalence of a larger set of query pairs (95/232) under bag semantics compared to the state-of-the-art tools based on algebraic (30/232) and symbolic approaches (67/232) under set and bag semantics, respectively. Furthermore, SPES is 3X faster than the symbolic tool that proves equivalence under set semantics.

cs.DB↗
arXiv2020

Anosov-Katok constructions for quasi-periodic $\mathrm{SL}(2,R)$ cocycles

We prove that if the frequency of the quasi-periodic $\mathrm{SL}(2,\R)$ cocycle is Diophantine, then the following properties are dense in the subcritical regime: for any $\frac{1}{2}<κ<1$, the Lyapunov exponent is exactly $κ$-Hölder continuous; the extended eigenstates of the potential have optimal sub-linear growth; and the dual operator associated a subcritical potential has power-law decay eigenfunctions. The proof is based on fibered Anosov-Katok constructions for quasi-periodic $\mathrm{SL}(2,\R)$ cocycles.

math.DS↗
arXiv2020

Evidence for Bosonization in a three-dimensional gas of SU($N$) fermions

Blurring the boundary between bosons and fermions lies at the heart of a wide range of intriguing quantum phenomena in multiple disciplines, ranging from condensed matter physics and atomic, molecular and optical physics to high energy physics. One such example is a multi-component Fermi gas with SU($N$) symmetry that is expected to behave like spinless bosons in the large $N$ limit, where the large number of internal states weakens constraints from the Pauli exclusion principle. However, bosonization in SU($N$) fermions has never been established in high dimensions where exact solutions are absent. Here, we report direct evidence for bosonization in a SU($N$) fermionic ytterbium gas with tunable $N$ in three dimensions (3D). We measure contacts, the central quantity controlling dilute quantum gases, from the momentum distribution, and find that the contact per spin approaches a constant with a 1/$N$ scaling in the low fugacity regime consistent with our theoretical prediction. This scaling signifies the vanishing role of the fermionic statistics in thermodynamics, and allows us to verify bosonization through measuring a single physical quantity. Our work delivers a highly controllable quantum simulator to exchange the bosonic and fermionic statistics through tuning the internal degrees of freedom in any generic dimensions. It also suggests a new route towards exploring multi-component quantum systems and their underlying symmetries with contacts.

cond-mat.quant-gas↗
arXiv2020

Efimov-like states and quantum funneling effects on synthetic hyperbolic surfaces

Engineering lattice models with tailored inter-site tunnelings and onsite energies could synthesize essentially arbitrary Riemannian surfaces with highly tunable local curvatures. Here, we point out that discrete synthetic Poincaré half-planes and Poincaré disks, which are created by lattices in flat planes, support infinitely degenerate eigenstates for any nonzero eigenenergies. Such Efimov-like states exhibit a discrete scaling symmetry and imply an unprecedented apparatus for studying quantum anomaly using hyperbolic surfaces. Furthermore, all eigenstates are exponentially localized in the hyperbolic coordinates, signifying the first example of quantum funneling effects in Hermitian systems. As such, any initial wave packet travels towards the edge of the Poincaré half-plane or its equivalent on the Poincaré disk, delivering an efficient scheme to harvest light and atoms in two dimensions. Our findings unfold the intriguing properties of hyperbolic spaces and suggest that Efimov states may be regarded as a projection from a curved space with an extra dimension.

cond-mat.quant-gas↗
arXiv2020

Localization on a synthetic Hall cylinder

By engineering laser-atom interactions, both Hall ribbons and Hall cylinders as fundamental theoretical tools in condensed matter physics have recently been synthesized in laboratories. Here, we show that turning a synthetic Hall ribbon into a synthetic Hall cylinder could naturally lead to localization. Unlike a Hall ribbon, a Hall cylinder hosts an intrinsic lattice, which arises due to the periodic boundary condition in the azimuthal direction, in addition to the external periodic potential imposed by extra lasers. When these two lattices are incommensurate, localization may occur on a synthetic Hall cylinder. Near the localization-delocalization transitions, the dependence of physical observables on the axial magnetic flux allows us to tackle a fundamental question of determining the accuracy of rational approximation of irrational numbers. In the irrational limit, physical observables are no longer affected by fluctuations of the axial flux.

cond-mat.quant-gas↗
arXiv2020

Geometrizing quantum dynamics of a Bose-Einstein condensate

We show that quantum dynamics of Bose-Einstein condensates in the weakly interacting regime can be geometrized by a Poincaré disk. Each point on such a disk represents a thermofield double state, the overlap between which equals the metric of this hyperbolic space. This approach leads to a unique geometric interpretation of stable and unstable modes as closed and open trajectories on the Poincaré disk, respectively. The resonant modes that follow geodesics naturally equate fundamental quantities including the time, the length, and the temperature. Our work suggests a new geometric framework to coherently control quantum systems and reverse their dynamics using SU(1,1) echoes. In the presence of perturbations breaking the SU(1,1) symmetry, SU(1,1) echoes deliver a new means to measure these perturbations such as the interactions between excited particles.

cond-mat.quant-gas↗
arXiv2020

SU(1,1) echoes for breathers in quantum gases

Though the celebrated spin echoes have been widely used to reverse quantum dynamics, they are not applicable to systems whose constituents are beyond the control of the su(2) algebra. Here, we design echoes to reverse quantum dynamics of breathers in three-dimensional unitary fermions and two-dimensional bosons and fermions with contact interactions, which are governed by an underlying su(1,1) algebra. Geometrically, SU(1,1) echoes produce closed trajectories on a single or multiple Poincare disks and thus could recover any initial states without changing the sign of the Hamiltonian. In particular, the initial shape of a breather determines the superposition of trajectories on multiple Poincare disks and whether the revival time has period multiplication. Our work provides physicists with a recipe to tailor collective excitations of interacting many-body systems.

cond-mat.quant-gas↗