Majorana Fermions on Zigzag Edge of Monolayer Transition Metal Dichalcogenides

Majorana fermions, quantum particles with non-Abelian exchange statistics, are not only of fundamental importance, but also building blocks for fault-tolerant quantum computation. Although certain experimental breakthroughs for observing Majorana fermions have been made recently, their conclusive dection is still challenging due to the lack of proper material properties of the underlined experimental systems. Here we propose a new platform for Majorana fermions based on edge states of certain non-topological two-dimensional semiconductors with strong spin-orbit coupling, such as monolayer group-VI transition metal dichalcogenides (TMD). Using first-principles calculations and tight-binding modeling, we show that zigzag edges of monolayer TMD can host well isolated single edge band with strong spin-orbit coupling energy. Combining with proximity induced s-wave superconductivity and in-plane magnetic fields, the zigzag edge supports robust topological Majorana bound states at the edge ends, although the two-dimensional bulk itself is non-topological. Our findings points to a controllable and integrable platform for searching and manipulating Majorana fermions.Comment: 12 pages, 7 figure

Stochastic mathematical programs with hybrid equilibrium constraints

AbstractThis paper considers a stochastic mathematical program with hybrid equilibrium constraints (SMPHEC), which includes either “here-and-now” or “wait-and-see” type complementarity constraints. An example is given to describe the necessity to study SMPHEC. In order to solve the problem, the sampling average approximation techniques are employed to approximate the expectations and smoothing and penalty techniques are used to deal with the complementarity constraints. Limiting behaviors of the proposed approach are discussed. Preliminary numerical experiments show that the proposed approach is applicable

Reliability assessment for distributed systems via communication abstraction and refinement

Distributed systems like cloud-based services are ever more popular. Assessing the reliability of distributed systems is highly non-trivial. Particularly, the order of executions among distributed components adds a dimension of non-determinism, which invalidates existing reliability assessment methods based on Markov chains. Probabilistic model checking based on models like Markov decision processes is designed to deal with scenarios involving both probabilistic behavior (e.g., reliabilities of system components) and non-determinism. However, its application is currently limited by state space explosion, which makes reliability assessment of distributed system particularly difficult. In this work, we improve the probabilistic model checking through a method of abstraction and reduction, which controls the communications among system components and actively reduces the size of each component. We prove the soundness and completeness of the proposed approach. Through an implementation in a software toolkit and evaluations with several systems, we show that our approach often reduces the size of the state space by several orders of magnitude, while still producing sound and accurate assessment.No Full Tex

Cylindrical smoothed particle hydrodynamics simulations of water entry

This paper presents a smoothed particle hydrodynamics (SPH) modeling technique based on the cylindrical coordinates for axisymmetrical hydrodynamic applications, thus to avoid a full three-dimensional (3D) numerical scheme as required in the Cartesian coordinates. In this model, the governing equations are solved in an axisymmetric form and the SPH approximations are modified into a two-dimensional cylindrical space. The proposed SPH model is first validated by a dam-break flow induced by the collapse of a cylindrical column of water with different water height to semi-base ratios. Then, the model is used to two benchmark water entry problems, i.e., cylindrical disk and circular sphere entry. In both cases, the model results are favorably compared with the experimental data. The convergence of model is demonstrated by comparing with the different particle resolutions. Besides, the accuracy and efficiency of the present cylindrical SPH are also compared with a fully 3D SPH computation. Extensive discussions are made on the water surface, velocity, and pressure fields to demonstrate the robust modeling results of the cylindrical SPH

Effect of a poloxamer 407-based thermosensitive gel on minimization of thermal injury to diaphragm during microwave ablation of the liver.

AIM: To assess the insulating effect of a poloxamer 407 (P407)-based gel during microwave ablation of liver adjacent to the diaphragm. METHODS: We prepared serial dilutions of P407, and 22.5% (w/w) concentration was identified as suitable for ablation procedures. Subsequently, microwave ablations were performed on the livers of 24 rabbits (gel, saline, control groups, n = 8 in each). The P407 solution and 0.9% normal saline were injected into the potential space between the diaphragm and liver in experimental groups. No barriers were applied to the controls. After microwave ablations, the frequency, size and degree of thermal injury were compared histologically among the three groups. Subsequently, another 8 rabbits were injected with the P407 solution and microwave ablation was performed. The levels of alanine aminotransferase (ALT), aspartate aminotransferase (AST), blood urea nitrogen (BUN) and creatinine (Cr) in serum were tested at 1 d before microwave ablation and 3 and 7 d after operation. RESULTS: In vivo ablation thermal injury to the adjacent diaphragm was evaluated in the control, saline and 22.5% P407 gel groups (P = 0.001-0.040). However, there was no significant difference in the volume of ablation zone among the three groups (P \u3e 0.05). Moreover, there were no statistical differences among the preoperative and postoperative gel groups according to the levels of ALT, AST, BUN and Cr in serum (all P \u3e 0.05). CONCLUSION: Twenty-two point five percent P407 gel could be a more effective choice during microwave ablation of hepatic tumors adjacent to the diaphragm. Further studies for clinical translation are warranted

SCC-based improved reachability analysis for Markov decision processes

Markov decision processes (MDPs) are extensively used to model systems with both probabilistic and nondeterministic behavior. The problem of calculating the probability of reaching certain system states (hereafter reachability analysis) is central to the MDP-based system analysis. It is known that existing approaches on reachability analysis for MDPs are often inefficient when a given MDP contains a large number of states and loops, especially with the existence of multiple probability distributions. In this work, we propose a method to eliminate strongly connected components (SCCs) in an MDP using a divide-and-conquer algorithm, and actively remove redundant probability distributions in the MDP based on the convex property. With the removal of loops and parts of probability distributions, the probabilistic reachability analysis can be accelerated, as evidenced by our experiment results.No Full Tex