Wellposedness of an elliptic-dispersive coupled system for MEMS

In this work, we study the local wellposedness of the solution to a nonlinear elliptic-dispersive coupled system which serves as a model for a Micro-Electro-Mechanical System (MEMS). A simple electrostatically actuated MEMS capacitor device consists of two parallel plates separated by a gas-filled thin gap. The nonlinear elliptic-dispersive coupled system modelling the device combines a linear elliptic equation for the gas pressure with a semilinear dispersive equation for the gap width. We show the local-in-time existence of strict solutions for the system, by combining elliptic regularity results for the elliptic equation, Lipschitz continuous dependence of its solution on that of the dispersive equation, and then local-in-time existence for a resulting abstract dispersive problem. Semigroup approaches are key to solve the abstract dispersive problem.Comment: 27 page

Data-driven spatial-temporal analysis of highway traffic volume considering weather and festival impacts

This paper aims to discover the relationships among the weather, holidays, and the traffic volume using multisource data from the Guangdong-Hong Kong-Macao Greater Bay Area (GBA) and to reveal the corresponding regional spatial–temporal traffic and migration patterns. Using accurate hourly weather and traffic volume data, this study examines the traffic volume from the origin to the destination county by considering traffic factors, weather factors, and temporal factors. A Random-effect regression model and a random forest model are established to analyze the above factors and identify the factors that contribute to the annual variation in traffic patterns. An RER + RF fusion prediction model based on ridge regression is proposed to predict the hourly traffic volume from origin to destination county, and is adopted in the spatial–temporal submodels. The results show that the impact of rainfall on traffic volume varies as the rainfall varies, and a rain-induced traffic pattern shift towards highway travel is found, which interacts with the negative effect of rainfall on highway traffic volumes. The Spring Festival holiday witnesses a V-shaped traffic volume curve during the study period. Some traffic pattern differences are also found in different spatial–temporal submodels. The RER + RF fusion model performs better in predicting in parent model and most of the spatial–temporal submodels, which validates the proposed model in predicting the traffic volume. The findings can provide transport agencies, urban planning agencies, and urban agglomeration travelers with valuable information for highway transport activity analysis considering the effects of weather and festival events

Observation of plateau regions for zero bias peaks within 5% of the quantized conductance value 2e2/h2e^2/h

Probing an isolated Majorana zero mode is predicted to reveal a tunneling conductance quantized at $2e^2/h$ at zero temperature. Experimentally, a zero-bias peak (ZBP) is expected and its height should remain robust against relevant parameter tuning, forming a quantized plateau. Here, we report the observation of large ZBPs in a thin InAs-Al hybrid nanowire device. The ZBP height can stick close to $2e^2/h$, mostly within 5% tolerance, by sweeping gate voltages and magnetic field. We further map out the phase diagram and identify two plateau regions in the phase space. Our result constitutes a step forward towards establishing Majorana zero modes.Comment: Raw data and processing codes within this paper are available at https://doi.org/10.5281/zenodo.654697

In situ tuning of dynamical Coulomb blockade on Andreev bound states in hybrid nanowire devices

Electron interactions in quantum devices can exhibit intriguing phenomena. One example is assembling an electronic device in series with an on-chip resistor. The quantum laws of electricity of the device is modified at low energies and temperatures by dissipative interactions induced by the resistor, a phenomenon known as dynamical Coulomb blockade (DCB). The DCB strength is usually non-adjustable in a fixed environment defined by the resistor. Here, we design an on-chip circuit for InAs-Al hybrid nanowires where the DCB strength can be gate-tuned in situ. InAs-Al nanowires could host Andreev or Majorana zero-energy states. This technique enables tracking the evolution of the same state while tuning the DCB strength from weak to strong. We observe the transition from a zero-bias conductance peak to split peaks for Andreev zero-energy states. Our technique opens the door to in situ tuning interaction strength on zero-energy states

Gate-Compatible Circuit QED in a Three-Dimensional Cavity Architecture

Semiconductor-based superconducting qubits offer a versatile platform for studying hybrid quantum devices in circuit quantum electrodynamics (cQED) architecture. Most of these cQED experiments utilize coplanar waveguides, where the incorporation of DC gate lines is straightforward. Here, we present a technique for probing gate-tunable hybrid devices using a three-dimensional (3D) microwave cavity. A recess is machined inside the cavity wall for the placement of devices and gate lines. We validate this design using a hybrid device based on an InAs-Al nanowire Josephson junction. The coupling between the device and the cavity is facilitated by a long superconducting strip, the antenna. The Josephson junction and the antenna together form a gatemon qubit. We further demonstrate the gate-tunable cavity shift and two-tone qubit spectroscopy. This technique could be used to probe various quantum devices and materials in a 3D cQED architecture that requires DC gate voltages

Hard superconducting gap in PbTe nanowires

Semiconductor nanowires coupled to a superconductor provide a powerful testbed for quantum device physics such as Majorana zero modes and gate-tunable hybrid qubits. The performance of these quantum devices heavily relies on the quality of the induced superconducting gap. A hard gap, evident as vanishing subgap conductance in tunneling spectroscopy, is both necessary and desired. Previously, a hard gap has been achieved and extensively studied in III-V semiconductor nanowires (InAs and InSb). In this study, we present the observation of a hard superconducting gap in PbTe nanowires coupled to a superconductor Pb. The gap size ($\Delta$) is $\sim$ 1 meV (maximally 1.3 meV in one device). Additionally, subgap Andreev bound states can also be created and controlled through gate tuning. Tuning a device into the open regime can reveal Andreev enhancement of the subgap conductance, suggesting a remarkable transparent superconductor-semiconductor interface, with a transparency of $\sim$ 0.96. These results pave the way for diverse superconducting quantum devices based on PbTe nanowires

Epitaxial Indium on PbTe Nanowires for Quantum Devices

Superconductivity in semiconductor nanostructures contains fascinating physics due to the interplay between Andreev reflection, spin, and orbital interactions. New material hybrids can access new quantum regimes and phenomena. Here, we report the realization of epitaxial indium thin films on PbTe nanowires.The film is continuous and forms an atomically sharp interface with PbTe.Tunneling devices reveal a hard superconducting gap.The gap size, 1.08 to 1.18 meV, is twice as large as bulk indium (around 0.5 meV), due to the presence of PbTe. A similar enhancement is also observed in the critical temperature of In on a PbTe substrate. Zero bias conductance peaks appear at finite magnetic fields. The effective g-factor (15 to 45) is notably enhanced compared to bare PbTe wires (less than 10) due to the presence of In, differing from Al-hybrids. Josephson devices exhibit gate-tunable supercurrents. The PbTe-In hybrid enhances the properties of both, the superconductivity of In and g-factors of PbTe, and thus may enable exotic phases of matter such as topological superconductivity

FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving

This is the first paper in a series of work we have accomplished over the past three years. In this paper, we have constructed a consistent formal plane geometry system. This will serve as a crucial bridge between IMO-level plane geometry challenges and readable AI automated reasoning. Within this formal framework, we have been able to seamlessly integrate modern AI models with our formal system. AI is now capable of providing deductive reasoning solutions to IMO-level plane geometry problems, just like handling other natural languages, and these proofs are readable, traceable, and verifiable. We propose the geometry formalization theory (GFT) to guide the development of the geometry formal system. Based on the GFT, we have established the FormalGeo, which consists of 88 geometric predicates and 196 theorems. It can represent, validate, and solve IMO-level geometry problems. we also have crafted the FGPS (formal geometry problem solver) in Python. It serves as both an interactive assistant for verifying problem-solving processes and an automated problem solver. We've annotated the formalgeo7k and formalgeo-imo datasets. The former contains 6,981 (expand to 133,818 through data augmentation) geometry problems, while the latter includes 18 (expand to 2,627 and continuously increasing) IMO-level challenging geometry problems. All annotated problems include detailed formal language descriptions and solutions. Implementation of the formal system and experiments validate the correctness and utility of the GFT. The backward depth-first search method only yields a 2.42% problem-solving failure rate, and we can incorporate deep learning techniques to achieve lower one. The source code of FGPS and datasets are available at https://github.com/BitSecret/FGPS.Comment: 44 page

Ballistic PbTe Nanowire Devices

Disorder is the primary obstacle in current Majorana nanowire experiments. Reducing disorder or achieving ballistic transport is thus of paramount importance. In clean and ballistic nanowire devices, quantized conductance is expected with plateau quality serving as a benchmark for disorder assessment. Here, we introduce ballistic PbTe nanowire devices grown using the selective-area-growth (SAG) technique. Quantized conductance plateaus in units of $2e^2/h$ are observed at zero magnetic field. This observation represents an advancement in diminishing disorder within SAG nanowires, as none of the previously studied SAG nanowires (InSb or InAs) exhibit zero-field ballistic transport. Notably, the plateau values indicate that the ubiquitous valley degeneracy in PbTe is lifted in nanowire devices. This degeneracy lifting addresses an additional concern in the pursuit of Majorana realization. Moreover, these ballistic PbTe nanowires may enable the search for clean signatures of the spin-orbit helical gap in future devices

Reducing disorder in PbTe nanowires for Majorana research

Material challenges are the key issue in Majorana nanowires where surface disorder constrains device performance. Here, we tackle this challenge by embedding PbTe nanowires within a latticematched crystal, an oxide-free environment. The wire edges are shaped by self-organized growth instead of lithography, resulting in nearly-atomic-flat facets along both cross-sectional and longitudinal directions. Quantized conductance plateaus are observed at zero magnetic field with channel lengths reaching 1.54 $\mu$m, significantly surpassing the state-of-the-art of III-V nanowires (nearly an order-of-magnitude improvement compared to InSb). Coupling PbTe to a Pb film unveils a flat interface spanning microns and a large superconducting gap of 1 meV. Our results meet the stringent low-disorder requirement for the definitive observation of Majoranas