SearcharxivSearch

arXiv subjects

Jinpeng Wu

Publications and source records attributed to Jinpeng Wu.

6 recordsLinked to original sources

Negative Charge Transfer: Ground State Precursor towards High Energy Batteries

Modern energy applications, especially electric vehicles, demand high energy batteries. However, despite decades of intensive efforts, the highest energy density and commercially viable batteries are still based on LiCoO2, the very first generation of cathode materials. The technical bottleneck is the stability of oxide-based cathodes at high operating voltages. The fundamental puzzle is that we actually never understood the redox mechanism of LiCoO2. Conventional wisdom generally defines redox to be centered on cations at low voltages, and on anions, i.e. oxygen, at high voltages by forming oxidized chemical states like O2 or peroxo-species. Here, through in-situ and ex-situ spectroscopy coupled with theoretical calculations, we show that high-energy layered cathodes, represented by LiCoO2 and LiNiO2, operate through enhancement of negative charge transfer (NCT) ground states upon charging throughout the whole voltage range - i.e., NCT evolution itself is the intrinsic redox mechanism regardless of voltage ranges. NCT inherently engages high covalency and oxygen holes, leading to optimized performance without conventional redox centers in LiCoO2. The level of NCT, i.e., number of ligand holes, naturally explains many seemingly controversial results. The redefinition of redox mechanism reveals the pathway toward viable high energy battery electrodes.

cond-mat.mtrl-sci

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

Automated Neuron Shape Analysis from Electron Microscopy

Morphology based analysis of cell types has been an area of great interest to the neuroscience community for several decades. Recently, high resolution electron microscopy (EM) datasets of the mouse brain have opened up opportunities for data analysis at a level of detail that was previously impossible. These datasets are very large in nature and thus, manual analysis is not a practical solution. Of particular interest are details to the level of post synaptic structures. This paper proposes a fully automated framework for analysis of post-synaptic structure based neuron analysis from EM data. The processing framework involves shape extraction, representation with an autoencoder, and whole cell modeling and analysis based on shape distributions. We apply our novel framework on a dataset of 1031 neurons obtained from imaging a 1mm x 1mm x 40 micrometer volume of the mouse visual cortex and show the strength of our method in clustering and classification of neuronal shapes.

cs.CV

Fingerprint oxygen redox reactions in batteries through high-efficiency mapping of resonant inelastic X-ray scattering (mRIXS)

Realizing reversible reduction-oxidation (Redox) reactions of lattice oxygen in batteries is a promising way to improve the energy and power density. However, conventional oxygen absorption spectroscopy fails to distinguish the critical oxygen chemistry in oxide-based battery electrodes. Therefore, high-efficiency full-range mapping of resonant inelastic X-ray scattering (mRIXS) has been developed as a reliable probe of oxygen redox reactions. Here, based on mRIXS results collected from a series of Li1.17Ni0.21Co0.08Mn0.54O2 electrodes at different electrochemical states and its comparison with peroxides, we provide a comprehensive analysis of five components observed in the mRIXS results. While almost all the components change upon electrochemical cycling, comparison with peroxide species show that only two evolving features correspond to the critical oxidized oxygen states. One is a specific feature at 531.0eV excitation and 523.7eV emission energy, the other is a low-energy loss feature. We show that both features evolve with electrochemical cycling of Li1.17Ni0.21Co0.08Mn0.54O2 electrodes, and could be used for characterizing oxygen redox states in battery electrodes. This work is the first benchmark for a complete assignment of all the important mRIXS features collected from battery materials, which provides guidelines for future studies in characterization, analysis and theoretical calculation for probing and understanding oxygen redox reactions.

physics.chem-ph

High Reversibility of Lattice Oxygen Redox in Na-ion and Li-ion Batteries Quantified by Direct Bulk Probes of both Anionic and Cationic Redox Reactions

The reversibility and cyclability of anionic redox in battery electrodes hold the key to its practical employments. Here, through mapping of resonant inelastic X-ray scattering (mRIXS), we have independently quantified the evolving redox states of both cations and anions in Na2/3Mg1/3Mn2/3O2. The bulk-Mn redox emerges from initial discharge and is quantified by inverse-partial fluorescence yield (iPFY) from Mn-L mRIXS. Bulk and surface Mn activities likely lead to the voltage fade. O-K super-partial fluorescence yield (sPFY) analysis of mRIXS shows 79% lattice oxygen-redox reversibility during initial cycle, with 87% capacity sustained after 100 cycles. In Li1.17Ni0.21Co0.08Mn0.54O2, lattice-oxygen redox is 76% initial-cycle reversible but with only 44% capacity retention after 500 cycles. These results unambiguously show the high reversibility of lattice-oxygen redox in both Li-ion and Na-ion systems. The contrast between Na2/3Mg1/3Mn2/3O2 and Li1.17Ni0.21Co0.08Mn0.54O2 systems suggests the importance of distinguishing lattice-oxygen redox from other oxygen activities for clarifying its intrinsic properties.

physics.chem-ph

Spectroscopic Signature of Oxidized Oxygen States in Peroxides

Recent debates on the oxygen redox behaviors in battery electrodes have triggered a pressing demand for the reliable detection and understanding of non-divalent oxygen states beyond conventional absorption spectroscopy. Here, enabled by high-efficiency mapping of resonant inelastic X-ray scattering (mRIXS) coupled with first-principles calculations, we report distinct mRIXS features of the oxygen states in Li2O, Li2CO3, and especially, Li2O2, which are successfully reproduced and interpreted theoretically. mRIXS signals are dominated by valence-band decays in Li2O and Li2CO3. However, the oxidized oxygen in Li2O2 leads to partially unoccupied O-2p states that yield a specific intra-band excitonic feature in mRIXS. Such a feature displays a specific emission energy in mRIXS, which disentangles the oxidized oxygen states from the dominating transition-metal/oxygen hybridization features in absorption spectroscopy, thus providing critical hints for both detecting and understanding the oxygen redox reactions in transition-metal oxide based battery materials.

physics.chem-ph