arXiv subjects

Ying Jiang

Publications and source records attributed to Ying Jiang.

At least 55 records · Page 3Linked to original sources

arXiv2023

Universal approach to deterministic spatial search via alternating quantum walks

Spatial search is an important problem in quantum computation, which aims to find a marked vertex on a graph. We propose a novel approach for designing deterministic quantum search algorithms on a variety of graphs via alternating quantum walks. Our approach is universal because it does not require an instance-specific analysis for different graphs. We highlight the flexibility of our approach by proving that for Johnson graphs, rook graphs, complete-square graphs and complete bipartite graphs, our quantum algorithms can find the marked vertex with $100\%$ success probability and achieve quadratic speedups over classical algorithms. This not only gives an alternative succinct way to prove the existing results, but also leads to new interesting findings on more general graphs.

quant-ph↗

arXiv2023

iEDA: An Open-Source Intelligent Physical Implementation Toolkit and Library

Open-source EDA shows promising potential in unleashing EDA innovation and lowering the cost of chip design. This paper presents an open-source EDA project, iEDA, aiming for building a basic infrastructure for EDA technology evolution and closing the industrial-academic gap in the EDA area. iEDA now covers the whole flow of physical design (including Floorplan, Placement, CTS, Routing, Timing Optimization etc.), and part of the analysis tools (Static Timing Analysis and Power Analysis). To demonstrate the effectiveness of iEDA, we implement and tape out three chips of different scales (from 700k to 1.5M gates) on different process nodes (110nm and 28nm) with iEDA. iEDA is publicly available from the project home page http://ieda.oscc.cc.

cs.AR↗

arXiv2023

Eigenvariables, bracketing and the decidability of positive minimal predicate logic

We give a new proof of a theorem of Mints that the positive fragment of minimal predicate logic is decidable. The idea of the proof is to replace the eigenvariable condition of sequent calculus by an appropriate scoping mechanism. The algorithm given by this proof seems to be more practical than that given by the original proof. A naive implementation is given at the end of the paper. Another contribution is to show that this result extends to a large class of theories, including simple type theory (higherorder logic) and second-order propositional logic. We obtain this way a new proof of the decidability of the inhabitation problem for positive types in system F.

cs.LO↗

arXiv2023

Enumerating proofs of positive formulae

We provide a semi-grammatical description of the set of normal proofs of positive formulae in minimal predicate logic, i.e. a grammar that generates a set of schemes, from each of which we can produce a finite number of normal proofs. This method is complete in the sense that each normal proof-term of the formula is produced by some scheme generated by the grammar. As a corollary, we get a similar description of the set of normal proofs of positive formulae for a large class of theories including simple type theory and System F.

cs.LO↗

arXiv2023

On the Expressive Power of Schemes

We present a calculus, called the scheme-calculus, that permits to express natural deduction proofs in various theories. Unlike $λ$-calculus, the syntax of this calculus sticks closely to the syntax of proofs, in particular, no names are introduced for the hypotheses. We show that despite its non-determinism, some typed scheme-calculi have the same expressivity as the corresponding typed $λ$-calculi.

cs.LO↗

arXiv2023

Machine learning aided atomic structure identification of interfacial ionic hydrates from atomic force microscopy images

Relevant to broad applied fields and natural processes, interfacial ionic hydrates has been widely studied by ultrahigh-resolution atomic force microscopy (AFM). However, the complex relationship between AFM signal and the investigated system makes it difficult to determine the atomic structure of such complex system from AFM images alone. Using machine learning, we achieved precise identification of the atomic structures of interfacial water/ionic hydrates based on AFM images, including the position of each atom and the orientation of water molecules. Furthermore, it was found that structure prediction of ionic hydrates can be achieved cost-effectively by transfer learning using neural network (NN) trained with easily available interfacial water data. Thus, this work provides an efficient and economical methodology which not only opens up avenues to determine atomic structures of more complex systems from AFM images, but may also help to interpret other science-wide studies involving sophisticated experimental results.

cond-mat.mes-hall↗

arXiv2023

Complementation: a bridge between finite and infinite proofs

When a proposition has no proof in an inference system, it is sometimes useful to build a counter-proof explaining, step by step, the reason of this non-provability. In general, this counter-proof is a (possibly) infinite co-inductive proof in a different inference system. In this paper, we show that, for some decidable inference systems, this (possibly) infinite proof has a representation as a finite proof in yet another system, equivalent to the previous one.

cs.LO↗

arXiv2023

Multifunctional fiber-based optoacoustic emitter for non-genetic bidirectional neural communication

A bidirectional brain interface with both "write" and "read" functions can be an important tool for fundamental studies and potential clinical treatments for neurological diseases. Here we report a miniaturized multifunctional fiber based optoacoustic emitter (mFOE) that first integrates simultaneous non-genetic optoacoustic stimulation for "write" and electrophysiology recording of neural circuits for "read". The non-genetic feature addresses the challenges of the viral transfection required by optogenetics in primates and human. The orthogonality between optoacoustic waves and electrical field provides a solution to avoid the interference between electrical stimulation and recording. We first validated the non-genetic stimulation function of the mFOE in rat cultured neurons using calcium imaging. In vivo application of mFOE for successful simultaneous optoacoustic stimulation and electrical recording of brain activities was confirmed in mouse hippocampus in both acute and chronical applications up to 1 month. Minimal brain tissue damage has been confirmed after these applications. The capability of non-genetic neural stimulation and recording enabled by mFOE opens up new possibilities for the investigation of neural circuits and brings new insights into the study of ultrasound neurostimulation.

q-bio.NC↗

arXiv2022

The Chain Flexibility Effects on the Self-assembly of Diblock Copolymer in Thin Film

We investigate the effects of chain flexibility on the self-assembly behavior of symmetric diblock copolymers (BCPs) when they are confined as a thin film between two surfaces. Employing worm-like chain (WLC) self-consistent field theory, we study the relative stability of parallel (L$_{\parallel}$) and perpendicular (L$_{\perp}$) orientations of BCP lamellar phases, ranging in chain flexibility from flexible Gaussian chains to semi-flexible and rigid chains. For flat and neutral bounding surfaces (no surface preference for one of the two BCP components), the stability of the L$_{\perp}$ lamellae increases with chain rigidity. When the top surface is flat and the bottom substrate is corrugated, increasing the surface roughness enhances the stability of the L$_{\perp}$ lamellae for flexible Gaussian chains. However, an opposite behavior is observed for rigid chains, where the L$_{\perp}$ stability decreases as the substrate roughness increases. We further show that as the substrate roughness increases, the critical value of the substrate preference, $u^{*}$, corresponding to an L$_{\perp}$-to-L$_{\parallel}$ transition, decreases for rigid chains, while it increases for flexible Gaussian chains. Our results highlight the physical mechanism of tailoring the orientation of lamellar phases in thin-film setups. This is of importance, in particular, for short (semi-flexible or rigid) chains that are in high demand in emerging nanolithography and other industrial applications.

cond-mat.soft↗

arXiv2022

Optically-generated focused ultrasound for noninvasive brain stimulation with ultrahigh precision

High precision neuromodulation is a powerful tool to decipher neurocircuits and treat neurological diseases. Current non-invasive neuromodulation methods offer limited precision at the millimeter level. Here, we report optically-generated focused ultrasound (OFUS) for non-invasive brain stimulation with ultrahigh precision. OFUS is generated by a soft optoacoustic pad (SOAP) fabricated through embedding candle soot nanoparticles in a curved polydimethylsiloxane film. SOAP generates a transcranial ultrasound focus at 15 MHz with an ultrahigh lateral resolution of 83 um, which is two orders of magnitude smaller than that of conventional transcranial-focused ultrasound (tFUS). Here, we show effective OFUS neurostimulation in vitro with a single ultrasound cycle. We demonstrate submillimeter transcranial stimulation of the mouse motor cortex in vivo. An acoustic energy of 0.6 mJ/cm^2, four orders of magnitude less than that of tFUS, is sufficient for successful OFUS neurostimulation. OFUS offers new capabilities for neuroscience studies and disease treatments by delivering a focus with ultrahigh precision non-invasively.

q-bio.NC↗

arXiv2022

High-performance non-Fermi-liquid metallic thermoelectric materials

Searching for high-performance thermoelectric (TE) materials in the paradigm of narrow-bandgap semiconductors has lasted for nearly 70 years and is obviously hampered by a bottleneck of research now. Here we report on the discovery of a few metallic compounds, TiFexCu2x-1Sb and TiFe1.33Sb, showing the thermopower exceeding many TE semiconductors and the dimensionless figure of merits comparable with the state-of-the-art TE materials. A quasi-linear temperature (T) dependence of electrical resistivity in 2 K - 700 K and the logarithmic T-dependent electronic specific heat at low temperature are also observed to coexist with the high thermopower, highlighting the strong intercoupling of the non-Fermi-liquid (NFL) quantum critical behavior of electrons with TE transports. Electronic structure analysis reveals the existence of fluctuating Fe-eg-related local magnetic moments, Fe-Fe antiferromagnetic (AFM) interaction at the nearest 4c-4d sites, and two-fold degenerate eg orbitals antiferromagnetically coupled with the dual-type itinerant electrons close to the Fermi level, all of which infer to a competition between the AFM ordering and Kondo-like spin compensation as well as a parallel two-channel Kondo effect. These effects are both strongly meditated by the structural disorder due to the random filling of Fe/Cu at the equivalent 4c/4d sites of the Heusler crystal lattice. The magnetic susceptibility deviates from ideal antiferromagnetism but can be fitted well by x(T) = 1/(θ + BTα), seemingly being consistent with the quantum critical scenario of strong local correlation as discussed before. Our work not only breaks the dilemma that the promising TE materials should be heavily-doped semiconductors, but also demonstrates the correlation among high TE performance, NFL quantum criticality, and magnetic fluctuation, which opens up new directions for future research.

cond-mat.str-el↗

arXiv2022

Phonon transition across an isotopic interface

Natural materials usually consist of isotopic mixtures, for which different isotopic ratios can lead to distinct material properties such as thermal conductivity and nucleation process. However, the knowledge of isotopic interface remains largely unexplored mainly due to the challenges in isotopic identification and property measurement at an atomic scale. Here, by using monochromated electron energy-loss spectroscopy in a scanning transmission electron microscope, we reveal momentum-transfer-dependent lattice vibration behavior at an artificial h-10BN/h-11BN heterostructure with sub-unit-cell resolution. We find the vibrational energy changes across the isotopic interface gradually, featuring a wide transition regime, which suggests strong delocalization of the out-of-plane optical phonons at the interface. In addition, we identify phonons near the Brillouin zone center have a transition regime ~3.34 nm (10 atomic layers), whereas phonons at the Brillouin zone boundary transition in ~1.66 nm (5 atomic layers). We propose that the isotope-induced charge effect at the interface accounts for the distinct delocalization behavior. Moreover, intra-atomic layer variation of vibration energy is also sensitive to the momentum transfer, thus at the interface it depends on both of momentum transfer and mass change. The revealed lattice vibration behavior at an isotopic interface provides new insights to understand the isotopic effects on properties in natural materials.

cond-mat.mtrl-sci↗

arXiv2022

Machine learning glass caging order parameters with an artificial nested neural network

Around a glass transition, the dynamics of a supercooled liquid dramatically slow down, exhibited by caging of particles, while the structural changes remain subtle. In alternative to recent machine learning studies searching for structural predictors of glassy dynamics, here we propose to learn directly particle caging features defined purely according to dynamics. We focus on three transitions in a simulated hard sphere glass model, the melting of ultra-stable glasses, the Gardner transition and the liquid to ordinary glass transition. Implementing the machine learning algorithm based on a two-level nested neural network, we attain not only proper caging order parameters for all three transitions, but also a phase classification for input samples. A finite-size scaling analysis of the phase classification results identifies the order of melting (first) and Gardner (second) transitions. A false positive is avoided, as the liquid to glass transition is indicated as a crossover, rather than a phase transition with a well-defined transition point. This study paves the way to a generic approach for learning dynamical features in glassy systems, with a minimum requirement of system-specific knowledge.

cond-mat.dis-nn↗

arXiv2022

Non-neglectable entropy effect on sintering of supported nanoparticles

Sintering refers to particle coalescence by heat, which has been known as a thermal phenomenon involving all aspects of natural science for centuries. It is particularly important in heterogeneous catalysis because normally sintering results in deactivation of the catalysts. In previous studies, the enthalpy contribution was considered to be dominant in sintering and the entropy effect is generally considered neglectable. However, we unambiguously demonstrate in this work that entropy could prevail over the enthalpy contribution to dominate the sintering behavior of supported nanoparticles (NPs) by designed experiments and improved theoretical framework. Using in situ Cs-corrected environmental scanning transmission electron microscopy and synchrotron-based ambient pressure X-ray photoelectron spectroscopy, we observe the unprecedent entropy-driven phenomenon that supported NPs reversibly redisperse upon heating and sinter upon cooling in three systems (Pd-CeO2, Cu-TiO2, Ag-TiO2). We quantitatively show that the configurational entropy of highly dispersed ad-atoms is large enough to reverse their sintering tendency at the elevated temperature. This work reshapes the basic understanding of sintering at the nanoscale and opens the door for various de-novo designs of thermodynamically stable nanocatalysts.

cond-mat.mtrl-sci↗

arXiv2021

New source for tuning the effective Rabi frequency discovered in multiphoton ionization

The Autler-Townes effect due to near resonance transition between 4s-4p states in potassium atoms is mapped out in the photo-electron-momentum distribution and manifests itself as a splitting in the photo-electron kinetic energy spectra. The energy splitting fits well with the calculated Rabi frequency at low laser intensities and shows clear deviation at laser intensities above 1.5x10^11 W/cm^2. An effective Rabi frequency formulae including the ionization process explains the observed results. Our results reveal the possibility to tune the effective coupling strength with the cost of the number of level-populations.

physics.atom-ph↗

arXiv2021

Determining the nonequilibrium criticality of a Gardner transition via a hybrid study of molecular simulations and machine learning

Apparent critical phenomena, typically indicated by growing correlation lengths and dynamical slowing-down, are ubiquitous in non-equilibrium systems such as supercooled liquids, amorphous solids, active matter and spin glasses. It is often challenging to determine if such observations are related to a true second-order phase transition as in the equilibrium case, or simply a crossover, and even more so to measure the associated critical exponents. Here, we show that the simulation results of a hard-sphere glass in three dimensions, are consistent with the recent theoretical prediction of a Gardner transition, a continuous non-equilibrium phase transition. Using a hybrid molecular simulation-machine learning approach, we obtain scaling laws for both finite-size and aging effects, and determine the critical exponents that traditional methods fail to estimate. Our study provides a novel approach that is useful to understand the nature of glass transitions, and can be generalized to analyze other non-equilibrium phase transitions.

cond-mat.soft↗

arXiv2020

Non-genetic acoustic stimulation of single neurons by a tapered fiber optoacoustic emitter

As an emerging technology, transcranial focused ultrasound has been demonstrated to successfully evoke motor responses in mice, rabbits, and sensory/motor responses in humans. Yet, the spatial resolution of ultrasound does not allow for high-precision stimulation. Here, we developed a tapered fiber optoacoustic emitter (TFOE) for optoacoustic stimulation of neurons with an unprecedented spatial resolution of 20 microns, enabling selective activation of single neurons or subcellular structures, such as axons and dendrites. A single acoustic pulse of 1 microsecond converted by the TFOE from a single laser pulse of 3 nanoseconds is shown as the shortest acoustic stimuli so far for successful neuron activation. The highly localized ultrasound generated by the TFOE made it possible to integrate the optoacoustic stimulation and highly stable patch clamp recording on single neurons. Direct measurements of electrical response of single neurons to acoustic stimulation, which is difficult for conventional ultrasound stimulation, have been demonstrated for the first time. By coupling TFOE with ex vivo brain slice electrophysiology, we unveil cell-type-specific response of excitatory and inhibitory neurons to acoustic stimulation. These results demonstrate that TFOE is a non-genetic single-cell and sub-cellular modulation technology, which could shed new insights into the mechanism of neurostimulation.

q-bio.NC↗

arXiv2020

Nanoscale electric-field imaging based on a quantum sensor and its charge-state control under ambient condition

Nitrogen-vacancy (NV) centers in diamond can be used as quantum sensors to image the magnetic field with nanoscale resolution. However, nanoscale electric-field mapping has not been achieved so far because of the relatively weak coupling strength between NV and electric field. Using individual shallow NVs, here we succeeded to quantitatively image the contours of electric field from a sharp tip of a qPlus-based atomic force microscope (AFM), and achieved a spatial resolution of ~10 nm. Through such local electric fields, we demonstrated electric control of NV's charge state with sub-5 nm precision. This work represents the first step towards nanoscale scanning electrometry based on a single quantum sensor and may open up new possibility of quantitatively mapping local charge, electric polarization, and dielectric response in a broad spectrum of functional materials at nanoscale.

cond-mat.mes-hall↗