909 research outputs found

    Double Andreev Reflections in Type-II Weyl Semimetal-Superconductor Junctions

    Full text link
    We study the Andreev reflections (ARs) at the interface of the type-II Weyl semimetal-superconductor junctions and find double ARs when the superconductor is put in the Weyl semimetal band tilting direction, which is similar to the double reflections of light in anisotropic crystals. The directions of the double (retro and specular) ARs are symmetric about the normal due to the hyperboloidal Fermi surface near the Weyl nodes, but with different AR amplitudes depending on the direction and energy of the incident electron. When the normal direction of the Weyl semimetal-superconductor interface is changed from parallel to perpendicular with the tilt direction, the double ARs gradually evolve from one retro-AR and one specular AR, passing through double retro-ARs, one specular AR and one retro-AR, into one retro AR and one normal reflection, resulting in an anisotropic conductance which can be observed in experiments.Comment: 12 pages, 7 figure

    A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search

    Full text link
    We present a labelled sequent calculus for Boolean BI, a classical variant of O'Hearn and Pym's logic of Bunched Implication. The calculus is simple, sound, complete, and enjoys cut-elimination. We show that all the structural rules in our proof system, including those rules that manipulate labels, can be localised around applications of certain logical rules, thereby localising the handling of these rules in proof search. Based on this, we demonstrate a free variable calculus that deals with the structural rules lazily in a constraint system. A heuristic method to solve the constraints is proposed in the end, with some experimental results

    Crossed Andreev effects in two-dimensional quantum Hall systems

    Full text link
    We study the crossed Andreev effects in two-dimensional conductor/superconductor hybrid systems under a perpendicular magnetic field. Both a graphene/superconductor hybrid system and an electron gas/superconductor one are considered. It is shown that an exclusive crossed Andreev reflection, with other Andreev reflections being completely suppressed, is obtained in a high magnetic field because of the chiral edge states in the quantum Hall regime. Importantly, the exclusive crossed Andreev reflection not only holds for a wide range of system parameters, e.g., the size of system, the width of central superconductor, and the quality of coupling between the graphene and the superconductor, but also is very robust against disorder. When the applied bias is within the superconductor gap, a robust Cooper-pair splitting process with high-efficiency can be realized in this system.Comment: 10 pages, 10 figure

    Optimal Selection of AC Cables for Large Scale Offshore Wind Farms

    Get PDF

    AMERICANO: Argument Generation with Discourse-driven Decomposition and Agent Interaction

    Full text link
    Argument generation is a challenging task in natural language processing, which requires rigorous reasoning and proper content organization. Inspired by recent chain-of-thought prompting that breaks down a complex task into intermediate steps, we propose Americano, a novel framework with agent interaction for argument generation. Our approach decomposes the generation process into sequential actions grounded on argumentation theory, which first executes actions sequentially to generate argumentative discourse components, and then produces a final argument conditioned on the components. To further mimic the human writing process and improve the left-to-right generation paradigm of current autoregressive language models, we introduce an argument refinement module which automatically evaluates and refines argument drafts based on feedback received. We evaluate our framework on the task of counterargument generation using a subset of Reddit/CMV dataset. The results show that our method outperforms both end-to-end and chain-of-thought prompting methods and can generate more coherent and persuasive arguments with diverse and rich contents

    High Performance Computing of Complex Electromagnetic Algorithms Based on GPU/CPU Heterogeneous Platform and Its Applications to EM Scattering and Multilayered Medium Structure

    Get PDF
    The fast and accurate numerical analysis for large-scale objects and complex structures is essential to electromagnetic simulation and design. Comparing to the exploration in EM algorithms from mathematical point of view, the computer programming realization is coordinately significant while keeping up with the development of hardware architectures. Unlike the previous parallel algorithms or those implemented by means of parallel programming on multicore CPU with OpenMP or on a cluster of computers with MPI, the new type of large-scale parallel processor based on graphics processing unit (GPU) has shown impressive ability in various scenarios of supercomputing, while its application in computational electromagnetics is especially expected. This paper introduces our recent work on high performance computing based on GPU/CPU heterogeneous platform and its application to EM scattering problems and planar multilayered medium structure, including a novel realization of OpenMP-CUDA-MLFMM, a developed ACA method and a deeply optimized CG-FFT method. With fruitful numerical examples and their obvious enhancement in efficiencies, it is convincing to keep on deeply investigating and understanding the computer hardware and their operating mechanism in the future
    corecore