• ### Generation and Detection of Surface Plasmon Polaritons by Transition Metal Dichalcogenides for Chip-level Electronic-Photonic Integrated Circuits(1507.01974)

The monolithic integration of electronics and photonics has attracted enormous attention due to its potential applications. However, the realization of such hybrid circuits has remained a challenge because it requires optical communication at nanometer scales. A major challenge to this integration is the identification of a suitable material. After discussing the material aspect of the challenge, we identified atomically thin transition metal dichalcogenides (TMDs) as a perfect material platform to implement the circuit. The selection of TMDs is based on their very distinct property: monolayer TMDs are able to emit and absorb light at the same wavelength determined by direct exciton transitions. To prove the concept, we fabricated simple devices consisting of silver nanowires as plasmonic waveguides and monolayer TMDs as active optoelectronic media. Using photoexcitation, direct optical imaging and spectral analysis, we demonstrated generation and detection of surface plasmon polaritons by monolayer TMDs. Regarded as novel materials for electronics and photonics, transition metal dichalcogenides are expected to find new applications in next generation integrated circuits.
• ### Quantum advice enhances social optimality in three-party conflicting interest games(1510.06918)

March 26, 2016 quant-ph
Quantum pseudo-telepathy games are good examples of explaining the strangeness of quantum mechanics and demonstrating the advantage of quantum resources over classical resources. Most of the quantum pseudo-telepathy games are common interest games, nevertheless conflicting interest games are more widely used to model real world situations. Recently Pappa et al. (Phys. Rev. Lett. 114, 020401, 2015) proposed the first two-party conflicting interest game where quantum advice enhances social optimality. In the present paper we give two new three-party conflicting interest games and show that quantum advice can enhance social optimality in a three-party setting. The first game we propose is based on the famous GHZ game which is a common interest game. The second game we propose is related to the Svetlichny inequality which demonstrates quantum mechanics cannot be explained by the local hidden variable model in a three-party setting.
• ### Structurally Stable Singularities for a Nonlinear Wave Equation(1503.08807)

March 30, 2015 math.AP
For the nonlinear wave equation $u_{tt} - c(u)\big(c(u) u_x\big)_x~=~0$, it is well known that solutions can develop singularities in finite time. For an open dense set of initial data, the present paper provides a detailed asymptotic description of the solution in a neighborhood of each singular point, where $|u_x|\to\infty$. The different structure of conservative and dissipative solutions is analyzed.

• ### A holographic p-wave superfluid(1410.5243)

Dec. 12, 2014 hep-th
In the probe limit, we numerically construct a holographic p-wave superfluid model in the 4D and 5D AdS black holes coupled to a Maxwell-complex vector field. We find that, for the condensate with the fixed superfluid velocity, the results are similar to the s-wave cases in both 4D and 5D spacetimes. In particular, "The Cave of Winds" and the phase transition always being the second order take place in the 5D case. Moreover, we find the second-first order translating point $\frac{S_y}{\mu}$ increases with the mass squared. Furthermore, for the supercurrent with the fixed temperature, the results agree with the GL prediction near the critical temperature. In addition, this complex vector superfluid model is still a generalization of the SU(2) superfluid model, and also provides a holographic realization of the $He_3$ superfluid system.
• ### Structural Stability of Supersonic Contact Discontinuities in Three-Dimensional Compressible Steady Flows(1407.1464)

July 6, 2014 math.AP
In this paper, we study the structurally nonlinear stability of supersonic contact discontinuities in three-dimensional compressible isentropic steady flows. Based on the weakly linear stability result and the $L^2$-estimates obtained by the authors in J. Diff. Equ. 255(2013), for the linearized problems of three-dimensional compressible isentropic steady equations at a supersonic contact discontinuity satisfying certain stability conditions, we first derive tame estimates of solutions to the linearized problem in higher order norms by exploring the behavior of vorticities. Since the supersonic contact discontinuities are only weakly linearly stable, so the tame estimates of solutions to the linearized problems have loss of regularity with respect to both of background states and initial data, so to use the tame estimates to study the nonlinear problem we adapt the Nash-Moser-H\"ormander iteration scheme to conclude that weakly linearly stable supersonic contact discontinuities in three-dimensional compressible steady flows are also structurally nonlinearly stable.
• ### Proceedings 13th International Workshop on Verification of Infinite-State Systems(1111.2678)

Nov. 11, 2011 cs.LO, cs.SE
This volume contains the proceedings of the 13th International Workshop on Verification of Infinite-State Systems (INFINITY 2011). The workshop was held in Taipei, Taiwan on October 10, 2011, as a satellite event to the 9th International Symposium on Automated Technology for Verification and Analysis (ATVA). The INFINITY workshop aims at providing a forum for researchers who are interested in the development of formal methods and algorithmic techniques for the analysis of systems with infinitely many states, and their application in automated verification of complex software and hardware systems.
• ### TCTL Inevitability Analysis of Dense-time Systems(cs/0304003)

May 20, 2003 cs.SC
Inevitability properties in branching temporal logics are of the syntax forall eventually \phi, where \phi is an arbitrary (timed) CTL formula. In the sense that "good things will happen", they are parallel to the "liveness" properties in linear temporal logics. Such inevitability properties in dense-time logics can be analyzed with greatest fixpoint calculation. We present algorithms to model-check inevitability properties both with and without requirement of non-Zeno computations. We discuss a technique for early decision on greatest fixpoints in the temporal logics, and experiment with the effect of non-Zeno computations on the evaluation of greatest fixpoints. We also discuss the TCTL subclass with only universal path quantifiers which allows for the safe abstraction analysis of inevitability properties. Finally, we report our implementation and experiments to show the plausibility of our ideas.
• ### Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems(cs/0303027)

March 25, 2003 cs.SE, cs.SC
Three numerical coverage metrics for the symbolic simulation of dense-time systems and their estimation methods are presented. Special techniques to derive numerical estimations of dense-time state-spaces have also been developed. Properties of the metrics are also discussed with respect to four criteria. Implementation and experiments are then reported.