arXiv subjects

Yichen Yang

Publications and source records attributed to Yichen Yang.

At least 55 records · Page 3Linked to original sources

arXiv2022

On Well-posed Boundary Conditions for the Linear Non-homogeneous Moment Equations in Half-space

We propose a necessary and sufficient condition for the well-posedness of the linear non-homogeneous Grad moment equations in half-space. The Grad moment system is based on Hermite expansion and regarded as an efficient reduction model of the Boltzmann equation. At a solid wall, the moment equations are commonly equipped with a Maxwell-type boundary condition named the Grad boundary condition. We point out that the Grad boundary condition is unstable for the non-homogeneous half-space problem. Thanks to the proposed criteria, we verify the well-posedness of a class of modified boundary conditions. The technique to make sure the existence and uniqueness mainly includes a well-designed preliminary simultaneous transformation of the coefficient matrices and Kreiss' procedure about the linear boundary value problem with characteristic boundaries. The stability is established by a weighted estimate. At the same time, we obtain the analytical expressions of the solution, which may help solve the half-space problem efficiently.

math.AP↗

arXiv2022

Correctness Verification of Neural Networks

We present a novel framework for specifying and verifying correctness globally for neural networks on perception tasks. Most previous works on neural network verification for perception tasks focus on robustness verification. Unlike robustness verification, which aims to verify that the prediction of a network is stable in some local regions around labelled points, our framework provides a way to specify correctness globally in the whole target input space and verify that the network is correct for all target inputs (or find the regions where the network is not correct). We provide a specification through 1) a state space consisting of all relevant states of the world and 2) an observation process that produces neural network inputs from the states of the world. Tiling the state and input spaces with a finite number of tiles, obtaining ground truth bounds from the state tiles and network output bounds from the input tiles, then comparing the ground truth and network output bounds delivers an upper bound on the network output error for any inputs of interest. The presented framework also enables detecting illegal inputs -- inputs that are not contained in (or close to) the target input space as defined by the state space and observation process (the neural network is not designed to work on them), so that we can flag when we don't have guarantees. Results from two case studies highlight the ability of our technique to verify error bounds over the whole target input space and show how the error bounds vary over the state and input spaces.

cs.LG↗

arXiv2022

On the Impact of Player Capability on Congestion Games

We study the impact of player capability on social welfare in congestion games. We introduce a new game, the Distance-bounded Network Congestion game (DNC), as the basis of our study. DNC is a symmetric network congestion game with a bound on the number of edges each player can use. We show that DNC is PLS-complete in contrast to standard symmetric network congestion games which are in P. To model different player capabilities, we propose using programs in a Domain-Specific Language (DSL) to compactly represent player strategies. We define a player's capability as the maximum size of the programs they can use. We introduce two variants of DNC with accompanying DSLs representing the strategy spaces. We propose four capability preference properties to characterize the impact of player capability on social welfare at equilibrium. We then establish necessary and sufficient conditions for the four properties in the context of our DNC variants. Finally, we study a specific game where we derive exact expressions of the social welfare in terms of the capability bound. This provides examples where the social welfare at equilibrium increases, stays the same, or decreases as players become more capable.

cs.GT↗

arXiv2022

Mixed Capability Games

We present a new class of strategic games, mixed capability games, as a foundation for studying how different player capabilities impact the dynamics and outcomes of strategic games. We analyze the impact of different player capabilities via a capability transfer function that characterizes the payoff of each player at equilibrium given capabilities for all players in the game. In this paper, we model a player's capability as the size of the strategy space available to that player. We analyze a mixed capability variant of the Gold and Mines Game recently proposed by Yang et al. and derive its capability transfer function in closed form.

cs.GT↗

arXiv2022

Robust Textual Embedding against Word-level Adversarial Attacks

We attribute the vulnerability of natural language processing models to the fact that similar inputs are converted to dissimilar representations in the embedding space, leading to inconsistent outputs, and we propose a novel robust training method, termed Fast Triplet Metric Learning (FTML). Specifically, we argue that the original sample should have similar representation with its adversarial counterparts and distinguish its representation from other samples for better robustness. To this end, we adopt the triplet metric learning into the standard training to pull words closer to their positive samples (i.e., synonyms) and push away their negative samples (i.e., non-synonyms) in the embedding space. Extensive experiments demonstrate that FTML can significantly promote the model robustness against various advanced adversarial attacks while keeping competitive classification accuracy on original samples. Besides, our method is efficient as it only needs to adjust the embedding and introduces very little overhead on the standard training. Our work shows great potential of improving the textual robustness through robust word embedding.

cs.CL↗

arXiv2022

Dirac nodal lines in the quasi-one-dimensional ternary telluride TaPtTe$_5$

A Dirac nodal-line phase, as a quantum state of topological materials, usually occur in three-dimensional or at least two-dimensional materials with sufficient symmetry operations that could protect the Dirac band crossings. Here, we report a combined theoretical and experimental study on the electronic structure of the quasi-one-dimensional ternary telluride TaPtTe$_5$, which is corroborated as being in a robust nodal-line phase with fourfold degeneracy. Our angle-resolved photoemission spectroscopy measurements show that two pairs of linearly dispersive Dirac-like bands exist in a very large energy window, which extend from a binding energy of $\sim$ 0.75 eV to across the Fermi level. The crossing points are at the boundary of Brillouin zone and form Dirac-like nodal lines. Using first-principles calculations, we demonstrate the existing of nodal surfaces on the $k_y = \pm π$ plane in the absence of spin-orbit coupling (SOC), which are protected by nonsymmorphic symmetry in TaPtTe$_5$. When SOC is included, the nodal surfaces are broken into several nodal lines. By theoretical analysis, we conclude that the nodal lines along $Y$-$T$ and the ones connecting the $R$ points are non-trivial and protected by nonsymmorphic symmetry against SOC.

cond-mat.mtrl-sci↗

arXiv2022

Dimensionality-controlled evolution of charge-transfer energy in digital nickelates superlattices

Fundamental understanding and control of the electronic structure evolution in rare-earth nickelates is a fascinating and meaningful issue, as well as being helpful to understand the mechanism of recently discovered superconductivity. Here we systematically study the dimensionality effect on the ground electronic state in high-quality (NdNiO3)m/(SrTiO3)1 superlattices through transport and soft x-ray absorption spectroscopy. The metal-to-insulator transition temperature decreases with the thickness of the NdNiO3 slab decreasing from bulk to 7 unit cells, then increases gradually as m further reduces to 1 unit cell. Spectral evidence demonstrates that the stabilization of insulating phase can be attributed to the increase of the charge-transfer energy between O 2p and Ni 3d bands. The prominent multiplet feature on the Ni L3 edge develops with the decrease of NdNiO3 slab thickness, suggesting the strengthening of the charge disproportionate state under the dimensional confinement. Our work provides convincing evidence that dimensionality is an effective knob to modulate the charge-transfer energy and thus the collective ground state in nickelates.

cond-mat.mtrl-sci↗

arXiv2022

Type-II Dirac Nodal Lines in double-kagome-layered CsV$_8$Sb$_{12}$

Lorentz-violating type-II Dirac nodal line semimetals (DNLSs), hosting curves of band degeneracy formed by two dispersion branches with the same sign of slope, represent a novel states of matter. While being studied extensively in theory, convincing experimental evidences of type-II DNLSs remain elusive. Recently, Vanadium-based kagome materials have emerged as a fertile ground to study the interplay between lattice symmetry and band topology. In this work, we study the low-energy band structure of double-kagome-layered CsV$_8$Sb$_{12}$ and identify it as a scarce type-II DNLS protected by mirror symmetry. We have observed multiple DNLs consisting of type-II Dirac cones close to or almost at the Fermi level via angle-resolved photoemission spectroscopy (ARPES). First-principle analyses show that spin-orbit coupling only opens a small gap, resulting effectively gapless ARPES spectra, yet generating large spin Berry curvature. These type-II DNLs, together with the interaction between a low-energy van Hove singularity and quasi-1D band as we observed in the same material, suggest CsV$_8$Sb$_{12}$ as an ideal platform for exploring novel transport properties such as chiral anomaly, the Klein tunneling and fractional quantum Hall effect.

cond-mat.str-el↗

arXiv2021

Directed exfoliating and ordered stacking of transition-metal-dichalcogenides

Two-dimensional van der Waals crystals arise limitless scope for designing novel combinations of physical properties via controlling the stacking order or twist angle of individual layers. Lattice orientation between stacked monolayers is significant not only for the engineering symmetry breaking but also for the study of many-body quantum phases and band topology. So far the state-of-art exfoliation approaches focusing on achievements of quality, size, yield, and scalability while lacking sufficient information on lattice orientation. Consequently, interlayer alignment is usually determined by later experiments, such as second harmonic generation spectroscopy, which increased the number of trials and errors for a designed artificial ordering and hampered the efficiency of systematic study. Herein, we report a lattice orientation distinguishable exfoliation method via gold favor epitaxy along the specific atomic step edges, meanwhile, fulfill requirements of high-quality, large-size, and high-yield of monolayers. Hexagonal- and rhombohedral-stacking configurations of bilayer transition metal dichalcogenides are built directly at once result of foreseeing the lattice orientation. Optical spectroscopy, electron diffraction, and angle-resolved photoemission spectroscopy are used to study crystals quality, symmetric breaking, and band tuning, which supports the exfoliating mechanism we proposed. This strategy shows the ability for facilitates the development of ordering stacking especially for multilayers assembling in the future.

cond-mat.mtrl-sci↗

arXiv2021

Tunable intrinsic ferromagnetic topological phases in bulk van der Waals crystal MnSb6Te10

Intrinsic ferromagnetism is a crucial ingredient to realize quantum anomalous Hall effect in quasi two dimensional materials, thus the search of intrinsic ferromagnetic topological materials is one of the most concerned issues in the field of topological phases of matter. In this work, combining magnetotransport measurements, first principles calculations, and angle-resolved photoemission spectroscopy studies, we find that in MnSb6Te10, the n = 2 member of the MnSb2Te4/(Sb2Te3)n family, the strong magnetic competition realizes a fragile ferromagnetic ground state, which whereas easily enters into ferrimagnetic and the Z_2 antiferromagnetic topological insulator phase with warming to higher temperature. Interestingly, the system stays in an inversion-symmetry-protected axion insulator phase in the ferromagnetic ground state as well as in the external magnetic field driven spin-polarized FM phase and can be converted into a Weyl semimetal with multiple Weyl nodes in the valence bands with hole doping, which are manifested by the measured notable intrinsic anomalous Hall effect. Our work thus provides an intrinsic magnetic topological material which is highly tunable into versatile topological phases by temperature, magnetic field, as well as carrier doping.

cond-mat.mtrl-sci↗

arXiv2021

Dirac Nodal Lines and Nodal Loops in a Topological Kagome Superconductor CsV$_3$Sb$_5$

The intertwining of charge order, superconductivity and band topology has promoted the AV$_3$Sb$_5$ (A=K, Rb, Cs) family of materials to the center of attention in condensed matter physics. Underlying those mysterious macroscopic properties such as giant anomalous Hall conductivity (AHC) and chiral charge density wave is their nontrivial band topology. While there have been numerous experimental and theoretical works investigating the nontrivial band structure and especially the van Hove singularities, the exact topological phase of this family remains to be clarified. In this work, we identify CsV$_3$Sb$_5$ as a Dirac nodal line semimetal based on the observation of multiple Dirac nodal lines and loops close to the Fermi level. Combining photoemission spectroscopy and density functional theory, we identify two groups of Dirac nodal lines along $k_z$ direction and one group of Dirac nodal loops in the A-H-L plane. These nodal loops are located at the Fermi level within the instrumental resolution limit. Importantly, our first-principle analyses indicate that these nodal loops may be a crucial source of the mysterious giant AHC observed. Our results not only provide a clear picture to categorize the band structure topology of this family of materials, but also suggest the dominant role of topological nodal loops in shaping their transport behavior.

cond-mat.str-el↗

arXiv2021

Emergence of Quantum Confinement in Topological Kagome Superconductor CsV$_3$Sb$_5$ family

Quantum confinement is a restriction on the motion of electrons in a material to specific region, resulting in discrete energy levels rather than continuous energy bands. In certain materials quantum confinement could dramatically reshape the electronic structure and properties of the surface with respect to the bulk. Here, in the recently discovered kagome superconductor CsV$_3$Sb$_5$ (A=K, Rb, Cs) family of materials, we unveil the dominant role of quantum confinement in determining their surface electronic structure. Combining angle-resolved photoemission spectroscopy (ARPES) measurement and density-functional theory simulation, we report the observations of two-dimensional quantum well states due to the confinement of bulk electron pocket and Dirac cone to the nearly isolated surface layer. The theoretical calculations on the slab model also suggest that the ARPES observed spectra are almost entirely contributed by the top two layers. Our results not only explain the disagreement of band structures between the recent experiments and calculations, but also suggest an equally important role played by quantum confinement, together with strong correlation and band topology, in shaping the electronic properties of this family of materials.

cond-mat.str-el↗

arXiv2021

Regional Adversarial Training for Better Robust Generalization

Adversarial training (AT) has been demonstrated as one of the most promising defense methods against various adversarial attacks. To our knowledge, existing AT-based methods usually train with the locally most adversarial perturbed points and treat all the perturbed points equally, which may lead to considerably weaker adversarial robust generalization on test data. In this work, we introduce a new adversarial training framework that considers the diversity as well as characteristics of the perturbed points in the vicinity of benign samples. To realize the framework, we propose a Regional Adversarial Training (RAT) defense method that first utilizes the attack path generated by the typical iterative attack method of projected gradient descent (PGD), and constructs an adversarial region based on the attack path. Then, RAT samples diverse perturbed training points efficiently inside this region, and utilizes a distance-aware label smoothing mechanism to capture our intuition that perturbed points at different locations should have different impact on the model performance. Extensive experiments on several benchmark datasets show that RAT consistently makes significant improvement on standard adversarial training (SAT), and exhibits better robust generalization.

cs.CV↗

arXiv2021

Natural Language Adversarial Defense through Synonym Encoding

In the area of natural language processing, deep learning models are recently known to be vulnerable to various types of adversarial perturbations, but relatively few works are done on the defense side. Especially, there exists few effective defense method against the successful synonym substitution based attacks that preserve the syntactic structure and semantic information of the original text while fooling the deep learning models. We contribute in this direction and propose a novel adversarial defense method called Synonym Encoding Method (SEM). Specifically, SEM inserts an encoder before the input layer of the target model to map each cluster of synonyms to a unique encoding and trains the model to eliminate possible adversarial perturbations without modifying the network architecture or adding extra data. Extensive experiments demonstrate that SEM can effectively defend the current synonym substitution based attacks and block the transferability of adversarial examples. SEM is also easy and efficient to scale to large models and big datasets.

cs.CL↗

arXiv2021

An Approximate Analytical Solution to Knudsen Layers

We apply moment methods to obtaining an approximate analytical solution to Knudsen layers. Based on the hyperbolic regularized moment system for the Boltzmann equation with the Shakhov collision model, we derive a linearized hyperbolic moment system to model the scenario with the Knudsen layer vicinity to a solid wall with Maxwell boundary condition. We find that the reduced system is in an even-odd parity form that the reduced system proves to be well-posed under all accommodation coefficients. We show that the system may capture the temperature jump coefficient and the thermal Knudsen layer well with only a few moments. With the increasing number of moments used, qualitative convergence of the approximate solution is observed.

math-ph↗

arXiv2021

Emergence of new van Hove singularities in the charge density wave state of a topological kagome metal RbV3Sb5

Quantum materials with layered kagome structures have drawn considerable attention due to their unique lattice geometry, which gives rise to flat bands co-existing with Dirac-like dispersions. The interplay between strong Coulomb correlations and nontrivial band topology in these systems results in various exotic phenomena. Recently, vanadium-based materials with layered kagome structures are discovered to be topological metals, which exhibit charge density wave (CDW) properties, significant anomalous Hall effect, and unusual superconductivity at low temperatures. Here we exploit high-resolution angle-resolved photoemission spectroscopy to investigate the electronic structure evolution induced by the CDW transition in a vanadium-based kagome material RbV3Sb5. A remarkable band renormalization in the CDW state is observed, which is consistent with first principles calculations based on an inverse star-of-David superstructure. The CDW phase transition gives rise to a partial energy gap opening at the Fermi level, a shift in the band dispersion, and most importantly, the emergence of new van Hove singularities associated with large density of states, which are absent in the normal phase and may be related to superconductivity observed at lower temperatures. Our work would shed light on the microscopic mechanisms for the formation of the CDW and superconducting states in these topological kagome metals.

cond-mat.supr-con↗

arXiv2021

Equality Saturation for Tensor Graph Superoptimization

One of the major optimizations employed in deep learning frameworks is graph rewriting. Production frameworks rely on heuristics to decide if rewrite rules should be applied and in which order. Prior research has shown that one can discover more optimal tensor computation graphs if we search for a better sequence of substitutions instead of relying on heuristics. However, we observe that existing approaches for tensor graph superoptimization both in production and research frameworks apply substitutions in a sequential manner. Such sequential search methods are sensitive to the order in which the substitutions are applied and often only explore a small fragment of the exponential space of equivalent graphs. This paper presents a novel technique for tensor graph superoptimization that employs equality saturation to apply all possible substitutions at once. We show that our approach can find optimized graphs with up to 16% speedup over state-of-the-art, while spending on average 48x less time optimizing.

cs.AI↗

arXiv2021

Multiple magnetic topological phases in bulk van der Waals crystal MnSb4Te7

The magnetic van der Waals crystals MnBi2Te4/(Bi2Te3)n have drawn significant attention due to their rich topological properties and the tunability by external magnetic field. Although the MnBi2Te4/(Bi2Te3)n family have been intensively studied in the past few years, their close relatives, the MnSb2Te4/(Sb2Te3)n family, remain much less explored. In this work, combining magnetotransport measurements, angle-resolved photoemission spectroscopy, and first principles calculations, we find that MnSb4Te7, the n = 1 member of the MnSb2Te4/(Sb2Te3)n family, is a magnetic topological system with versatile topological phases which can be manipulated by both carrier doping and magnetic field. Our calculations unveil that its A-type antiferromagnetic (AFM) ground state stays in a Z_2 AFM topological insulator phase, which can be converted to an inversion-symmetry-protected axion insulator phase when in the ferromagnetic (FM) state. Moreover, when this system in the FM phase is slightly carrier doped on either the electron or hole side, it becomes a Weyl semimetal with multiple Weyl nodes in the highest valence bands and lowest conduction bands, which are manifested by the measured notable anomalous Hall effect. Our work thus introduces a new magnetic topological material with different topological phases which are highly tunable by carrier doping or magnetic field.

cond-mat.str-el↗