SearcharxivSearch

arXiv subjects

Jialiang Chang

Publications and source records attributed to Jialiang Chang.

2 recordsLinked to original sources

Quantum Tomography of Suspended Carbon Nanotubes

We propose and analyze an all-mechanical route to coherent control and quantum-state reconstruction of the fundamental flexural mode of a suspended carbon nanotube (CNT) operated in the anharmonic (Duffing/Kerr). A nearby atomic force microscope (AFM) provides a single, localized actuator that applies calibrated, time-dependent forces to the CNT. In the presence of mechanical anharmonicity this enables spectrally selective control of the lowest vibrational transition and thus supports effective two-level protocols such as Rabi oscillations and Ramsey interferometry. The same actuator also implements phase-space displacements required for Wigner function tomography via displaced-parity sampling, thereby unifying control and tomography without optical heating and without dedicated on-chip microwave drive lines at the CNT resonator. We develop explicit pulse sequences and a master equation framework that connect experimentally accessible signals to energy relaxation and phase coherence times and to parity-based quantum signatures, including negative regions of the Wigner function. The approach is compatible with multiple readout modalities, including direct AFM-based detection and dispersive coupling to superconducting circuitry such as Cooper-pair box, and/or a microwave cavity. Together, these techniques provide complete access to populations, coherence, and parity within a single device architecture. This minimal scheme provides a practical route to all-mechanical quantum control and state-resolved characterization of decoherence in mesoscopic mechanical systems.

quant-ph

sCompile: Critical Path Identification and Analysis for Smart Contracts

Ethereum smart contracts are an innovation built on top of the blockchain technology, which provides a platform for automatically executing contracts in an anonymous, distributed, and trusted way. The problem is magnified by the fact that smart contracts, unlike ordinary programs, cannot be patched easily once deployed. It is important for smart contracts to be checked against potential vulnerabilities. In this work, we propose an alternative approach to automatically identify critical program paths (with multiple function calls including inter-contract function calls) in a smart contract, rank the paths according to their criticalness, discard them if they are infeasible or otherwise present them with user friendly warnings for user inspection. We identify paths which involve monetary transaction as critical paths, and prioritize those which potentially violate important properties. For scalability, symbolic execution techniques are only applied to top ranked critical paths. Our approach has been implemented in a tool called sCompile, which has been applied to 36,099 smart contracts. The experiment results show that sCompile is efficient, i.e., 5 seconds on average for one smart contract. Furthermore, we show that many known vulnerabilities can be captured if user inspects as few as 10 program paths generated by sCompile. Lastly, sCompile discovered 224 unknown vulnerabilities with a false positive rate of 15.4% before user inspection.

cs.CR