arXiv subjects

Wei Ren

Publications and source records attributed to Wei Ren.

At least 163 records · Page 9Linked to original sources

arXiv2021

Two-dimensional charge density wave TaX$_2$ (X=S, Se, Te) from first principles

Transition metal dichalcogenides are rich in their structural phases, e.g. 1T-TaS2 and 1T-TaSe2 form charge density wave (CDW) under low temperature with interesting and exotic properties. Here, we present a systematic study of different structures in two-dimensional TaX2 (X=S, Se, Te) using density functional theory calculations with consideration of van der Waals interaction. All the normal phases present metal characteristics with various ground state and magnetic properties. The lattice reconstruction of CDW drastically affects the electronic and structural characteristics of 1T-TaS2 and 1T-TaSe2, leading to a transition from metal to insulator and an emergence of magnetic moment within periodic atomic clusters called the Star of David. The evaluated Heisenberg couplings indicate the weak ferromagnetic coupling between the clusters in monolayer. Furthermore, in bilayer commensurate CDW cases, we find intriguing phenomenon of the varying magnetic properties with different stacking orders. The magnetic moment in each layer disappears when two layers are coupled, but may sustain in certain stackings of interlayer antiferromagnetic configurations.

cond-mat.mtrl-sci↗

arXiv2021

Effective Model for Rare-earth Kitaev Materials and its Classical Monte Carlo Simulation

Recently, the family of rare-earth chalcohalides were proposed as candidate compounds to realize the Kitaev spin liquid (KSL). In the present work, we firstly propose an effective spin Hamiltonian consistents with the symmetry group of the crystal structure. Then we apply classical Monte Carlo simulations to preliminarily study the model and establish a phase diagram. When approaching to the low temperature limit, several magnetic long range orders are observed, including the stripe, the zigzag, the antiferromagnetic (AFM), the ferromagnetic (FM), the incommensurate spiral (IS), the Multi-$\pmb {Q}$ and the 120°. We further calculate the thermodynamic properties of the system, such as the temperature dependence of the magnetic susceptibility and the heat capacity. The ordering transition temperatures reflected in the two quantities agree with each other. For most interaction regions, the system is magnetically more susceptible in the $ab$-plane than in the $c$-direction. The stripe phase is special, where the susceptibility is fairly isotropic in the whole temperature region. These features provide useful information to understand the magnetic properties of related materials.

cond-mat.str-el↗

arXiv2021

Rare-earth chalcohalides: A family of van der Waals layered Kitaev spin liquid candidates

Kitaev spin liquid (KSL) system has attracted tremendous attention in past years because of its fundamental significance in condensed matter physics and promising applications in fault-tolerant topological quantum computation. Material realization of such a system remains a major challenge in the field due to the unusual configuration of anisotropic spin interactions, though great effort has been made before. Here we reveal that rare-earth chalcohalides REChX (RE=rare earth, Ch=O, S, Se, Te, X=F, Cl, Br, I) can serve as a family of KSL candidates. Most family members have the typical SmSI-type structure with a high symmetry of R-3m and rare-earth magnetic ions form an undistorted honeycomb lattice. The strong spin-orbit coupling of 4f electrons intrinsically offers anisotropic spin interactions as required by Kitaev model. We have grown the crystals of YbOCl and synthesized the polycrystals of SmSI, ErOF, HoOF and DyOF, and made careful structural characterizations. We carry out magnetic and heat capacity measurements down to 1.8 K and find no obvious magnetic transition in all the samples but DyOF. The van der Waals interlayer coupling highlights the true two-dimensionality of the family which is vital for the exact realization of Abelian/non-Abelian anyons, and the graphene-like feature will be a prominent advantage for developing miniaturized devices. The family is expected to act as an inspiring material platform for the exploration of KSL physics.

cond-mat.str-el↗

arXiv2021

Stability and $\mathcal{H}_{\infty}$ Performance Analysis of Stochastic Linear Networked and Quantized Control Systems

This paper studies the stability and $\mathcal{H}_{\infty}$ performance analysis problem for linear networked and quantized control systems with both communication delays random packet losses. To deal with the network-induced uncertainties and random packet dropouts, a novel discrete-time stochastic system model is developed for continuous-time networked control systems, and further overapproximated via a polytopic system with norm-bounded uncertainty. Based on the overapproximated system model, sufficient conditions are established for linear networked and quantized control systems in different cases to guarantee input-to-state stability and $\mathcal{H}_{\infty}$ performance with respect to the network-induced errors. Finally, a numerical example is presented to illustrated the developed results.

eess.SY↗

arXiv2021

Ultrastrong Magnon-Magnon Coupling Dominated by Antiresonant Interactions

Exotic quantum vacuum phenomena are predicted in cavity quantum electrodynamics (QED) systems with ultrastrong light-matter interactions. Their ground states are predicted to be vacuum squeezed states with suppressed quantum fluctuations. The source of such phenomena are antiresonant terms in the Hamiltonian, yet antiresonant interactions are typically negligible compared to resonant interactions in light-matter systems. We report an unusual coupled matter-matter system of magnons that can simulate a unique cavity QED Hamiltonian with coupling strengths that are easily tunable into the ultrastrong coupling regime and with dominant antiresonant terms. We found a novel regime where vacuum Bloch-Siegert shifts, the hallmark of antiresonant interactions, greatly exceed analogous frequency shifts from resonant interactions. Further, we theoretically explored the system's ground state and calculated up to 5.9 dB of quantum fluctuation suppression. These observations demonstrate that magnonic systems provide an ideal platform for simulating exotic quantum vacuum phenomena predicted in ultrastrongly coupled light-matter systems.

quant-ph↗

arXiv2020

A Differential-Cascaded Paradigm for Control of Nonlinear Systems

This paper focuses on developing a new paradigm motivated by investigating the consensus problem of networked Lagrangian systems with time-varying delay and switching topologies. We present adaptive controllers with piecewise continuous or arbitrary times differentiable control torques for realizing consensus of Lagrangian systems, extending the results in the literature. This specific study motivates the formulation of a new paradigm referred to as forwardstepping, which is shown to be a systematic tool for solving various nonlinear control problems. One distinctive point associated with forwardstepping is that the order of the reference dynamics is typically specified to be equal to or higher than that of the original nonlinear system, and the reference dynamics and the nonlinear system are governed by a differential/dynamic-cascaded structure. The order invariance or increment of the specified reference dynamics with respect to the nonlinear system and their differential/dynamic-cascaded structure expands significantly the design freedom and thus facilitates the seeking of solutions to many nonlinear control problems which would otherwise often be intractable.

eess.SY↗

arXiv2020

Two-photon MINFLUX with doubled localization precision

Achieving localization with molecular precision has been of great interest for extending fluorescence microscopy to nanoscopy. MINFLUX pioneers this transition through point spread function (PSF) engineering, yet its performance is primarily limited by the signal-to-background ratio. Here we demonstrate that applying two-photon excitation to MINFLUX would double its localization precision through PSF engineering by nonlinear effect. Cramér-Rao Bound (CRB) is studied as the maximum localization precision, and CRB of two-photon MINFLUX is halved compared to single-photon MINFLUX in all three dimensions. Meanwhile, in order to achieve same localization precision with single-photon MINFLUX, two-photon MINFLUX requires only 1/4 of fluorescence photons, contributing to a possible 4-fold temporal resolution. Benefitted from two-photon excitation, registration-free multicolor nanoscopy and ultrafast color tracking can be achieved. Localization precision of MINFLUX can also be doubled using excitation with second-order Laguerre-Gaussian beams but would suffer from high fluorescence background compared to single-photon and two-photon first-order MINFLUX.

physics.optics↗

arXiv2020

Symbolic Abstractions for Nonlinear Control Systems via Feedback Refinement Relation

This paper studies the construction of symbolic abstractions for nonlinear control systems via feedback refinement relation. Both the delay-free and time-delay cases are addressed. For the delay-free case, to reduce the computational complexity, we propose a new approximation approach for the state and input sets based on a static quantizer, and then a novel symbolic model is constructed such that the original system and the symbolic model satisfy the feedback refinement relation. For the time-delay case, both static and dynamic quantizers are combined to approximate the state and input sets. This leads to a novel dynamic symbolic model for time-delay control systems, and a feedback refinement relation is established between the original system and the symbolic model. Finally, a numerical example is presented to illustrate the obtained results.

eess.SY↗

arXiv2020

Dynamic Quantization based Symbolic Abstractions for Nonlinear Control Systems

This paper studies the construction of dynamic symbolic abstractions for nonlinear control systems via dynamic quantization. Since computational complexity is a fundamental problem in the use of discrete abstractions, a dynamic quantizer with a time-varying quantization parameter is first applied to deal with this problem. Due to the dynamic quantizer, a dynamic approximation approach is proposed for the state and input sets. Based on the dynamic approximation, dynamic symbolic abstractions are constructed for nonlinear control systems, and an approximate bisimulation relation is guaranteed for the original system and the constructed dynamic symbolic abstraction. Finally, the obtained results are illustrated through a numerical example from path planning of mobile robots.

eess.SY↗

arXiv2020

Logarithmic Quantization based Symbolic Abstractions for Nonlinear Control Systems

This paper studies symbolic abstractions for nonlinear control systems using logarithmic quantization. With a logarithmic quantizer, we approximate the state and input sets, and then construct a novel discrete abstraction for nonlinear control systems. A feedback refinement relation between the constructed discrete abstraction and the original system is established. Using the constructed discrete abstraction, the safety controller synthesis problem is studied. With the discrete abstraction and the abstract specification, the existence of a safety controller is investigated, and the algorithm is proposed to compute the abstract controller. Finally, a numerical example is given to illustrate the obtained results.

eess.SY↗

arXiv2020

Predicting the Structural, Electronic and Magnetic Properties of Few Atomic-layer Polar Perovskite

Density functional theory (DFT) calculations are performed to predict the structural, electronic and magnetic properties of electrically neutral or charged few-atomic-layer (AL) oxides whose parent systems are based on polar perovskite $KTaO_{3}$. Their properties vary greatly with the number of ALs ($n_{AL}$) and the stoichiometric ratio. In the few-AL limit ($n_{AL}\leqslant 14$), the even AL (EL) systems with chemical formula $(KTaO_{3})_{n}$ are semiconductors, while the odd AL (OL) systems with formula ($K_{n+1}Ta_{n}O_{3n+1}$ or $K_{n}Ta_{n+1}O_{3n+2}$) are half-metal except for the unique $KTa_{2}O_{5}$ case which is a semiconductor due to the large Peierls distortions. After reaching certain critical thickness ($n_{AL}>14$), the EL systems show ferromagnetic surface states, while ferromagnetism disappears in the OL systems. These predictions from fundamental complexity of polar perovskite when approaching the two-dimensional (2D) limit may be helpful for interpreting experimental observations later.

cond-mat.mtrl-sci↗

arXiv2020

An Energy Efficient Authentication Scheme using Chebyshev Chaotic Map for Smart Grid Environment

As one of the important applications of Smart grid, charging between electric vehicles has attracted much attention. However, authentication between vehicle users and an aggregator may be vulnerable to various attacks due to the usage of wireless communications. In order to reduce the computational costs yet preserve required security, the Chebyshev chaotic map based authentication schemes are proposed. However, the security requirements of Chebyshev polynomials bring a new challenge to the design of authentication schemes based on Chebyshev chaotic maps. To solve this issue, we propose a practical Chebyshev polynomial algorithm by using a binary exponentiation algorithm based on square matrix to achieve secure and efficient Chebyshev polynomial computation. We further apply the proposed algorithm to construct an energy-efficient authentication and key agreement scheme for smart grid environments. Compared with state-of-the-art schemes, the proposed authentication scheme effectively reduces the computational costs and communication costs by adopting the proposed Chebyshev polynomial algorithm. Furthermore, the ProVerif tool is employed to analyze the security of the proposed authentication scheme. Our experimental results justified that our proposed authentication scheme can outperform state-of-the-art schemes in terms of the computational overhead while achieving privacy protection.

cs.CR↗

arXiv2020

Tunable Magnetism and Insulator-Metal Transition in Bilayer Perovskites

Two-dimensional (2D) transition-metal oxide perovskites greatly expand the field of available 2D multifunctional material systems. Here, based on density functional theory calculations, we predicted the presence of ferromagnetism orders accompanying with an insulator-metal phase transition in bilayer $KNbO_{3}$ and $KTaO_{3}$ by applying strain engineering and/or external electric field. Our results will contribute to the applications of few-layer transition metal oxide perovskites in the emerging spintronics and straintronics.

cond-mat.mtrl-sci↗

arXiv2020

Fair and autonomous sharing of federate learning models in mobile Internet of Things

Federate learning can conduct machine learning as well as protect the privacy of self-owned training data on corresponding ends, instead of having to upload to a central trusted data aggregation server. In mobile scenarios, a centralized trusted server may not be existing, and even though it exists, the delay will not be manageable, e.g., smart driving cars. Thus, mobile federate learning at the edge with privacy-awareness is attracted more and more attentions. It then imposes a problem - after data are trained on a mobile terminal to obtain a learned model, how to share the model parameters among others to create more accurate and robust accumulative final model. This kind of model sharing confronts several challenges, e.g., the sharing must be conducted without a third trusted party (autonomously), and the sharing must be fair as model training (by training data)is valuable. To tackle the above challenges, we propose a smart contract and IPFS (Inter-Planetary File System) based model sharing protocol and algorithms to address the challenges. The proposed protocol does not rely on a trusted third party, where individual-learned models are shared/stored in corresponding ends. Conducted through extensive experiments, three main steps of the proposed protocol are evaluated. The average executive time of the three steps are 0.059s, 0.060s and 0.032s, demonstrating its efficiency.

cs.CR↗

arXiv2020

Quillen equivalence of singular model categories

Let $R$ be a left-Gorenstein ring. We show that there is a Quillen equivalence between singular contraderived model category and singular coderived model category. Consequently, an equivalence between the homotopy category of exact complexes of projective modules and the homotopy category of exact complexes of injective modules is given.

math.KT↗

arXiv2020

Applications of cotorsion triples

We study homotopy categories of model categories arising from a cotorsion triple, and the equivalences between corresponding stable categories. We characterize homological dimensions with respect to a cotorsion triple. Then, we lift cotorsion triple to complexes, and get the equivalence of homotopy categories of complexes via Quillen equivalence of model categories. Finally, we specify to Gorenstein cotorsion triple $(\mathcal{GP}, \mathcal{W}, \mathcal{GI})$. By Quillen equivalence, it is shown that for a left-Gorenstein ring, there is an equivalence $\mathrm{K}(\mathcal{GP})\simeq \mathrm{K}(\mathcal{GI})$, which restricts to an equivalence $\mathrm{K}(\mathcal{P})\simeq \mathrm{K}(\mathcal{I})$ (compare to [J. Algebra, 2010, 324:2718-2731]); a new proof for Bennis and Mahdou's equality of Gorenstein global dimension is also given.

math.KT↗

arXiv2020

Distributed Continuous-Time Optimization with Time-Varying Objective Functions and Inequality Constraints

This paper is devoted to the distributed continuous-time optimization problem with time-varying objective functions and time-varying nonlinear inequality constraints. Different from most studied distributed optimization problems with time-invariant objective functions and constraints, the optimal solution in this paper is time varying and forms a trajectory. To minimize the global time-varying objective function subject to time-varying local constraint functions using only local information and local interaction, we present a distributed control algorithm that consists of a sliding-mode part and a Hessian-based optimization part. The asymptotical convergence of the proposed algorithm to the optimal solution is studied under suitable assumptions. The effectiveness of the proposed scheme is demonstrated through a simulation example.

math.OC↗

arXiv2020

Frobenius functors and Gorenstein homological properties

We prove that any faithful Frobenius functor between abelian categories preserves the Gorenstein projective dimension of objects. Consequently, it preserves and reflects Gorenstein projective objects. We give conditions on when a Frobenius functor preserves the stable categories of Gorenstein projective objects, the singularity categories and the Gorenstein defect categories, respectively. In the appendix, we give a direct proof of the following known result: for an abelian category with enough projectives and injectives, its global Gorenstein projective dimension coincides with its global Gorenstein injective dimension.

math.RT↗