Showing 1–28 of 28 results for author: Genco, A

Femtosecond switching of strong light-matter interactions in microcavities with two-dimensional semiconductors

Authors: Armando Genco, Charalambos Louca, Cristina Cruciano, Kok Wee Song, Chiara Trovatello, Giuseppe Di Blasio, Giacomo Sansone, Sam Randerson, Peter Claronino, Rahul Jayaprakash, Kenji Watanabe, Takashi Taniguchi, David G. Lidzey, Oleksandr Kyriienko, Stefano Dal Conte, Alexander I. Tartakovskii, Giulio Cerullo

Abstract: Ultrafast all-optical logic devices based on nonlinear light-matter interactions hold the promise to overcome the speed limitations of conventional electronic devices. Strong coupling of excitons and photons inside an optical resonator enhances such interactions and generates new polariton states which give access to unique nonlinear phenomena, such as Bose-Einstein condensation, used for all-opti… ▽ More Ultrafast all-optical logic devices based on nonlinear light-matter interactions hold the promise to overcome the speed limitations of conventional electronic devices. Strong coupling of excitons and photons inside an optical resonator enhances such interactions and generates new polariton states which give access to unique nonlinear phenomena, such as Bose-Einstein condensation, used for all-optical ultrafast polariton transistors. However, the pulse energies required to pump such devices range from tens to hundreds of pJ, making them not competitive with electronic transistors. Here we introduce a new paradigm for all-optical switching based on the ultrafast transition from the strong to the weak coupling regime in microcavities embedding atomically thin transition metal dichalcogenides. Employing single and double stacks of hBN-encapsulated MoS$_2$ homobilayers with high optical nonlinearities and fast exciton relaxation times, we observe a collapse of the 55-meV polariton gap and its revival in less than one picosecond, lowering the threshold for optical switching below 4 pJ per pulse, while retaining ultrahigh switching frequencies. As an additional degree of freedom, the switching can be triggered pumping either the intra- or the interlayer excitons of the bilayers at different wavelengths, speeding up the polariton dynamics, owing to unique interspecies excitonic interactions. Our approach will enable the development of compact ultrafast all-optical logical circuits and neural networks, showcasing a new platform for polaritonic information processing based on manipulating the light-matter coupling. △ Less

Submitted 31 July, 2024; originally announced August 2024.

A Strongly Normalising System of Dependent Types for Transparent and Opaque Probabilistic Computation

Authors: Francesco A. Genco

Abstract: We define an extension of lambda-calculus with dependents types that enables us to encode transparent and opaque probabilistic programs and prove a strong normalisation result for it by a reducibility technique. While transparent non-deterministic programs are formalised in a rather usual way, opaque non-deterministic programs are formalised by introducing in the syntax oracle constants, the behav… ▽ More We define an extension of lambda-calculus with dependents types that enables us to encode transparent and opaque probabilistic programs and prove a strong normalisation result for it by a reducibility technique. While transparent non-deterministic programs are formalised in a rather usual way, opaque non-deterministic programs are formalised by introducing in the syntax oracle constants, the behaviour of which is governed by oracular functions. The generality of these functions and the fact that their values are determined by the form of the whole term inside which the relative oracle occurs also enable us to simulate learning-like behaviours. △ Less

Submitted 24 June, 2024; originally announced June 2024.

Evaluating AI fairness in credit scoring with the BRIO tool

Authors: Greta Coraglia, Francesco A. Genco, Pellegrino Piantadosi, Enrico Bagli, Pietro Giuffrida, Davide Posillipo, Giuseppe Primiero

Abstract: We present a method for quantitative, in-depth analyses of fairness issues in AI systems with an application to credit scoring. To this aim we use BRIO, a tool for the evaluation of AI systems with respect to social unfairness and, more in general, ethically undesirable behaviours. It features a model-agnostic bias detection module, presented in \cite{DBLP:conf/beware/CoragliaDGGPPQ23}, to which a… ▽ More We present a method for quantitative, in-depth analyses of fairness issues in AI systems with an application to credit scoring. To this aim we use BRIO, a tool for the evaluation of AI systems with respect to social unfairness and, more in general, ethically undesirable behaviours. It features a model-agnostic bias detection module, presented in \cite{DBLP:conf/beware/CoragliaDGGPPQ23}, to which a full-fledged unfairness risk evaluation module is added. As a case study, we focus on the context of credit scoring, analysing the UCI German Credit Dataset \cite{misc_statlog_(german_credit_data)_144}. We apply the BRIO fairness metrics to several, socially sensitive attributes featured in the German Credit Dataset, quantifying fairness across various demographic segments, with the aim of identifying potential sources of bias and discrimination in a credit scoring model. We conclude by combining our results with a revenue analysis. △ Less

Submitted 5 June, 2024; originally announced June 2024.

A Logic of Knowledge and Justifications, with an Application to Computational Trust

Authors: Francesco A. Genco

Abstract: We present a logical framework that enables us to define a formal theory of computational trust in which this notion is analysed in terms of epistemic attitudes towards the possible objects of trust and in relation to existing evidence in favour of the trustworthiness of these objects. The framework is based on a quantified epistemic and justification logic featuring a non-standard handling of ide… ▽ More We present a logical framework that enables us to define a formal theory of computational trust in which this notion is analysed in terms of epistemic attitudes towards the possible objects of trust and in relation to existing evidence in favour of the trustworthiness of these objects. The framework is based on a quantified epistemic and justification logic featuring a non-standard handling of identities. Thus, the theory is able to account for the hyperintensional nature of computational trust. We present a proof system and a frame semantics for the logic, we prove soundness and completeness results and we introduce the syntactical machinery required to define a theory of trust. △ Less

Submitted 24 May, 2024; originally announced May 2024.

Resonant band hybridization in alloyed transition metal dichalcogenide heterobilayers

Authors: Alessandro Catanzaro, Armando Genco, Charalambos Louca, David A. Ruiz-Tijerina, Daniel J. Gillard, Luca Sortino, Aleksey Kozikov, Evgeny M. Alexeev, Riccardo Pisoni, Lee Hague, Kenji Watanabe, Takashi Taniguchi, Klauss Ensslin, Kostya S. Novoselov, Vladimir Fal'ko, Alexander I. Tartakovskii

Abstract: Bandstructure engineering using alloying is widely utilised for achieving optimised performance in modern semiconductor devices. While alloying has been studied in monolayer transition metal dichalcogenides, its application in van der Waals heterostructures built from atomically thin layers is largely unexplored. Here, we fabricate heterobilayers made from monolayers of WSe$_2$ (or MoSe$_2$) and M… ▽ More Bandstructure engineering using alloying is widely utilised for achieving optimised performance in modern semiconductor devices. While alloying has been studied in monolayer transition metal dichalcogenides, its application in van der Waals heterostructures built from atomically thin layers is largely unexplored. Here, we fabricate heterobilayers made from monolayers of WSe$_2$ (or MoSe$_2$) and Mo$_x$W$_{1-x}$Se$_2$ alloy and observe nontrivial tuning of the resultant bandstructure as a function of concentration $x$. We monitor this evolution by measuring the energy of photoluminescence (PL) of the interlayer exciton (IX) composed of an electron and hole residing in different monolayers. In Mo$_x$W$_{1-x}$Se$_2$/WSe$_2$, we observe a strong IX energy shift of $\approx$100 meV for $x$ varied from 1 to 0.6. However, for $x<0.6$ this shift saturates and the IX PL energy asymptotically approaches that of the indirect bandgap in bilayer WSe$_2$. We theoretically interpret this observation as the strong variation of the conduction band K valley for $x>0.6$, with IX PL arising from the K-K transition, while for $x<0.6$, the bandstructure hybridization becomes prevalent leading to the dominating momentum-indirect K-Q transition. This bandstructure hybridization is accompanied with strong modification of IX PL dynamics and nonlinear exciton properties. Our work provides foundation for bandstructure engineering in van der Waals heterostructures highlighting the importance of hybridization effects and opening a way to devices with accurately tailored electronic properties. △ Less

Submitted 23 September, 2023; originally announced September 2023.

Comments: Supporting Information can be found downloading and extracting the gzipped tar source file listed under "Other formats"

Grounding Operators: Transitivity and Trees, Logicality and Balance

Authors: Francesco A. Genco

Abstract: We formally investigate immediate and mediate grounding operators from an inferential perspective. We discuss the differences in behaviour displayed by several grounding operators and consider a general distinction between grounding and logical operators. Without fixing a particular notion of grounding or grounding relation, we present inferential rules that define, once a base grounding calculus… ▽ More We formally investigate immediate and mediate grounding operators from an inferential perspective. We discuss the differences in behaviour displayed by several grounding operators and consider a general distinction between grounding and logical operators. Without fixing a particular notion of grounding or grounding relation, we present inferential rules that define, once a base grounding calculus has been fixed, three grounding operators: an operator for immediate grounding, one for mediate grounding (corresponding to the transitive closure of the immediate grounding one) and a grounding tree operator, which enables us to internalise chains of immediate grounding claims without loosing any information about them. We then present an in-depth proof-theoretical study of the introduced rules by focusing, in particular, on the question whether grounding operators can be considered as logical operators and whether balanced rules for grounding operators can be defined. △ Less

Submitted 5 April, 2023; originally announced April 2023.

Strong Coupling of Coherent Phonons to Excitons in Semiconducting Monolayer MoTe$_2$

Authors: Charles J. Sayers, Armando Genco, Chiara Trovatello, Stefano Dal Conte, Vladislav Khaustov, Jorge Cervantes-Villanueva, Davide Sangalli, Alejandro Molina-Sanchez, Camilla Coletti, Christoph Gadermaier, Giulio Cerullo

Abstract: The coupling of the electron system to lattice vibrations and their time-dependent control and detection provides unique insight into the non-equilibrium physics of semiconductors. Here, we investigate the ultrafast transient response of semiconducting monolayer 2$H$-MoTe$_2$ encapsulated with $h$BN using broadband optical pump-probe microscopy. The sub-40-fs pump pulse triggers extremely intense… ▽ More The coupling of the electron system to lattice vibrations and their time-dependent control and detection provides unique insight into the non-equilibrium physics of semiconductors. Here, we investigate the ultrafast transient response of semiconducting monolayer 2$H$-MoTe$_2$ encapsulated with $h$BN using broadband optical pump-probe microscopy. The sub-40-fs pump pulse triggers extremely intense and long-lived coherent oscillations in the spectral region of the A' and B' exciton resonances, up to $\sim$20% of the maximum transient signal, due to the displacive excitation of the out-of-plane $A_{1g}$ phonon. Ab-initio calculations reveal a dramatic rearrangement of the optical absorption of monolayer MoTe$_2$ induced by an out-of-plane stretching and compression of the crystal lattice, consistent with an $A_{1g}$-type oscillation. Our results highlight the extreme sensitivity of the optical properties of monolayer TMDs to small structural modifications and their manipulation with light. △ Less

Submitted 15 February, 2023; originally announced February 2023.

Comments: 27 pages, 4 figures, supporting information

Journal ref: Nano Letters 2023 23 (20), 9235-9242

A Typed Lambda-Calculus for Establishing Trust in Probabilistic Programs

Authors: Francesco A. Genco, Giuseppe Primiero

Abstract: The extensive deployment of probabilistic algorithms has radically changed our perspective on several well-established computational notions. Correctness is probably the most basic one. While a typical probabilistic program cannot be said to compute the correct result, we often have quite strong expectations about the frequency with which it should return certain outputs. In these cases, trust as… ▽ More The extensive deployment of probabilistic algorithms has radically changed our perspective on several well-established computational notions. Correctness is probably the most basic one. While a typical probabilistic program cannot be said to compute the correct result, we often have quite strong expectations about the frequency with which it should return certain outputs. In these cases, trust as a generalisation of correctness fares better. One way to understand it is to say that a probabilistic computational process is trustworthy if the frequency of its outputs is compliant with a probability distribution which models its expected behaviour. We present a formal computational framework that formalises this idea. In order to do so, we define a typed lambda-calculus that features operators for conducting experiments at runtime on probabilistic programs and for evaluating whether they compute outputs as determined by a target probability distribution. After proving some fundamental computational properties of the calculus, such as progress and termination, we define a static notion of confidence that allows to prove that our notion of trust behaves correctly with respect to the basic tenets of probability theory. △ Less

Submitted 2 February, 2023; originally announced February 2023.

Nonlinear interactions of dipolar excitons and polaritons in MoS2 bilayers

Authors: Charalambos Louca, Armando Genco, Salvatore Chiavazzo, Thomas P. Lyons, Sam Randerson, Chiara Trovatello, Peter Claronino, Rahul Jayaprakash, Kenji Watanabe, Takashi Taniguchi, Stefano Dal Conte, David G. Lidzey, Giulio Cerullo, Oleksandr Kyriienko, Alexander I. Tartakovskii

Abstract: Nonlinear interactions between excitons strongly coupled to light are key for accessing quantum many-body phenomena in polariton systems. Atomically-thin two-dimensional semiconductors provide an attractive platform for strong light-matter coupling owing to many controllable excitonic degrees of freedom. Among these, the recently emerged exciton hybridization opens access to unexplored excitonic s… ▽ More Nonlinear interactions between excitons strongly coupled to light are key for accessing quantum many-body phenomena in polariton systems. Atomically-thin two-dimensional semiconductors provide an attractive platform for strong light-matter coupling owing to many controllable excitonic degrees of freedom. Among these, the recently emerged exciton hybridization opens access to unexplored excitonic species, with a promise of enhanced interactions. Here, we employ hybridized interlayer excitons (hIX) in bilayer MoS2 to achieve highly nonlinear excitonic and polaritonic effects. Such interlayer excitons possess an out-of-plane electric dipole as well as an unusually large oscillator strength allowing observation of dipolar polaritons(dipolaritons) in bilayers in optical microcavities. Compared to excitons and polaritons in MoS2 monolayers, both hIX and dipolaritons exhibit about 8 times higher nonlinearity, which is further strongly enhanced when hIX and intralayer excitons, sharing the same valence band, are excited simultaneously. This gives rise to a highly nonlinear regime which we describe theoretically by introducing a concept of hole crowding. The presented insight into many-body interactions provides new tools for accessing few-polariton quantum correlations. △ Less

Submitted 1 April, 2022; originally announced April 2022.

Giant effective Zeeman splitting in a monolayer semiconductor realized by spin-selective strong light-matter coupling

Authors: T. P. Lyons, D. J. Gillard, C. Leblanc, J. Puebla, D. D. Solnyshkov, L. Klompmaker, I. A. Akimov, C. Louca, P. Muduli, A. Genco, M. Bayer, Y. Otani, G. Malpuech, A. I. Tartakovskii

Abstract: Strong coupling between light and the fundamental excitations of a two-dimensional electron gas (2DEG) are of foundational importance both to pure physics and to the understanding and development of future photonic nanotechnologies. Here we study the relationship between spin polarization of a 2DEG in a monolayer semiconductor, MoSe$_2$, and light-matter interactions modified by a zero-dimensional… ▽ More Strong coupling between light and the fundamental excitations of a two-dimensional electron gas (2DEG) are of foundational importance both to pure physics and to the understanding and development of future photonic nanotechnologies. Here we study the relationship between spin polarization of a 2DEG in a monolayer semiconductor, MoSe$_2$, and light-matter interactions modified by a zero-dimensional optical microcavity. We find robust spin-susceptibility of the 2DEG to simultaneously enhance and suppress trion-polariton formation in opposite photon helicities. This leads to observation of a giant effective valley Zeeman splitting for trion-polaritons (g-factor >20), exceeding the purely trionic splitting by over five times. Going further, we observe robust effective optical non-linearity arising from the highly non-linear behaviour of the valley-specific strong light-matter coupling regime, and allowing all-optical tuning of the polaritonic Zeeman splitting from 4 to >10 meV. Our experiments lay the groundwork for engineering quantum-Hall-like phases with true unidirectionality in monolayer semiconductors, accompanied by giant effective photonic non-linearities rooted in many-body exciton-electron correlations. △ Less

Submitted 13 September, 2021; originally announced September 2021.

Journal ref: Nature Photonics (2022)

Transition metal dichalcogenide dimer nano-antennas with ultra-small gaps

Authors: Panaiot G. Zotev, Yue Wang, Luca Sortino, Toby Severs Millard, Nic Mullin, Donato Conteduca, Mostafa Shagar, Armando Genco, Jamie K. Hobbs, Thomas F. Krauss, Alexander I. Tartakovskii

Abstract: Transition metal dichalcogenides have emerged as promising materials for nano-photonic resonators due to their large refractive index, low absorption within a large portion of the visible spectrum and compatibility with a wide range of substrates. Here we use these properties to fabricate WS$_2$ double-pillar nano-antennas in a variety of geometries enabled by the anisotropy in the crystal structu… ▽ More Transition metal dichalcogenides have emerged as promising materials for nano-photonic resonators due to their large refractive index, low absorption within a large portion of the visible spectrum and compatibility with a wide range of substrates. Here we use these properties to fabricate WS$_2$ double-pillar nano-antennas in a variety of geometries enabled by the anisotropy in the crystal structure. Using dark field spectroscopy, we reveal multiple Mie resonances, to which we couple WSe$_2$ monolayer photoluminescence and achieve Purcell enhancement and an increased fluorescence by factors up to 240. We introduce post-fabrication atomic force microscope repositioning and rotation of dimer nano-antennas, achieving gaps as small as 10$\pm$5 nm, opening the possibility to a host of potential applications including strong Purcell enhancement of single photon emitters and optical trapping, which we study in simulations. Our findings highlight the advantages of using transition metal dichalcogenides for nano-photonics by exploring new applications enabled by their unique properties. △ Less

Submitted 2 December, 2021; v1 submitted 19 May, 2021; originally announced May 2021.

Journal ref: ACS Nano 2022 16(4), 6493-6505

Strong Exciton-Photon Coupling in Large Area MoSe$_2$ and WSe$_2$ Heterostructures Fabricated from Two-Dimensional Materials Grown by Chemical Vapor Deposition

Authors: Daniel J. Gillard, Armando Genco, Seongjoon Ahn, Thomas P. Lyons, Kyung Yeol Ma, A-Rang Jang, Toby Severs Millard, Aurelien A. P. Trichet, Rahul Jayaprakash, Kyriacos Georgiou, David G. Lidzey, Jason M. Smith, Hyeon Suk Shin, Alexander I. Tartakovskii

Abstract: Two-dimensional semiconducting transition metal dichalcogenides embedded in optical microcavities in the strong exciton-photon coupling regime may lead to promising applications in spin and valley addressable polaritonic logic gates and circuits. One significant obstacle for their realization is the inherent lack of scalability associated with the mechanical exfoliation commonly used for fabricati… ▽ More Two-dimensional semiconducting transition metal dichalcogenides embedded in optical microcavities in the strong exciton-photon coupling regime may lead to promising applications in spin and valley addressable polaritonic logic gates and circuits. One significant obstacle for their realization is the inherent lack of scalability associated with the mechanical exfoliation commonly used for fabrication of two-dimensional materials and their heterostructures. Chemical vapor deposition offers an alternative scalable fabrication method for both monolayer semiconductors and other two-dimensional materials, such as hexagonal boron nitride. Observation of the strong light-matter coupling in chemical vapor grown transition metal dichalcogenides has been demonstrated so far in a handful of experiments with monolayer molybdenum disulfide and tungsten disulfide. Here we instead demonstrate the strong exciton-photon coupling in microcavities comprising large area transition metal dichalcogenide / hexagonal boron nitride heterostructures made from chemical vapor deposition grown molybdenum diselenide and tungsten diselenide encapsulated on one or both sides in continuous few-layer boron nitride films also grown by chemical vapor deposition. These transition metal dichalcogenide / hexagonal boron nitride heterostructures show high optical quality comparable with mechanically exfoliated samples, allowing operation in the strong coupling regime in a wide range of temperatures down to 4 Kelvin in tunable and monolithic microcavities, and demonstrating the possibility to successfully develop large area transition metal dichalcogenide based polariton devices. △ Less

Submitted 20 August, 2020; originally announced August 2020.

Spin-valley dynamics in alloy-based transition metal dichalcogenide heterobilayers

Authors: V. Kravtsov, A. D. Liubomirov, R. V. Cherbunin, A. Catanzaro, A. Genco, D. Gillard, E. M. Alexeev, T. Ivanova, E. Khestanova, I. A. Shelykh, I. V. Iorsh, A. I. Tartakovskii, M. S. Skolnick, D. N. Krizhanovskii

Abstract: Van der Waals heterobilayers based on 2D transition metal dichalcogenides have been recently shown to support robust and long-lived valley polarization for potential valleytronic applications. However, the role of the band structure and alignment of the constituent layers in the underlying dynamics remains largely unexplored. Here we study spin--valley relaxation dynamics in heterobilayers with di… ▽ More Van der Waals heterobilayers based on 2D transition metal dichalcogenides have been recently shown to support robust and long-lived valley polarization for potential valleytronic applications. However, the role of the band structure and alignment of the constituent layers in the underlying dynamics remains largely unexplored. Here we study spin--valley relaxation dynamics in heterobilayers with different band structures engineered via the use of alloyed monolayer semiconductors. Through a combination of time-resolved Kerr rotation spectroscopic measurements and theoretical modelling for Mo$_{1-x}$W$_{x}$Se$_2$/WSe$_2$ samples with different chemical compositions and stacking angles, we uncover the roles of interlayer exciton recombination and charge carrier spin depolarization in the overall valley dynamics. Our results provide insights into the microscopic spin--valley polarization mechanisms in van der Waals heterostructures for the development of future 2D valleytronic devices. △ Less

Submitted 7 July, 2020; v1 submitted 27 May, 2020; originally announced May 2020.

Dielectric nano-antennas for strain engineering in atomically thin two-dimensional semiconductors

Authors: Luca Sortino, Matthew Brooks, Panaiot G. Zotev, Armando Genco, Javier Cambiasso, Sandro Mignuzzi, Stefan A. Maier, Guido Burkard, Riccardo Sapienza, Alexander I. Tartakovskii

Abstract: Atomically thin two-dimensional semiconducting transition metal dichalcogenides (TMDs) can withstand large levels of strain before their irreversible damage occurs. This unique property offers a promising route for control of the optical and electronic properties of TMDs, for instance by depositing them on nano-structured surfaces, where position-dependent strain can be produced on the nano-scale.… ▽ More Atomically thin two-dimensional semiconducting transition metal dichalcogenides (TMDs) can withstand large levels of strain before their irreversible damage occurs. This unique property offers a promising route for control of the optical and electronic properties of TMDs, for instance by depositing them on nano-structured surfaces, where position-dependent strain can be produced on the nano-scale. Here, we demonstrate strain-induced modifications of the optical properties of mono- and bilayer TMD WSe$_2 $ placed on photonic nano-antennas made from gallium phosphide (GaP). Photoluminescence (PL) from the strained areas of the TMD layer is enhanced owing to the efficient coupling with the confined optical mode of the nano-antenna. Thus, by following the shift of the PL peak, we deduce the changes in the strain in WSe$_2$ deposited on the nano-antennas of different radii. In agreement with the presented theory, strain up to $\approx 1.4 \%$ is observed for WSe$_2$ monolayers. We also estimate that $>3\%$ strain is achieved in bilayers, accompanied with the emergence of a direct bandgap in this normally indirect-bandgap semiconductor. At cryogenic temperatures, we find evidence of the exciton confinement in the most strained nano-scale parts of the WSe$_2$ layers, as also predicted by our theoretical model. Our results, of direct relevance for both dielectric and plasmonic nano-antennas, show that strain in atomically thin semiconductors can be used as an additional parameter for engineering light-matter interaction in nano-photonic devices. △ Less

Submitted 29 June, 2021; v1 submitted 11 February, 2020; originally announced February 2020.

Comments: peer-reviewed version, 4 figures main text, 5 figures supporting information

Journal ref: ACS Photonics 2020 7 (9), 2413-2422

Electrically pumped WSe$_2$-based light-emitting van der Waals heterostructures embedded in monolithic dielectric microcavities

Authors: O. Del Pozo-Zamudio, A. Genco, S. Schwarz, F. Withers, P. M. Walker, T. Godde, R. C. Schofield, A. P. Rooney, E. Prestat, K. Watanabe, T. Taniguchi, C. Clark, S. J. Haigh, D. N. Krizhanovskii, K. S. Novoselov, A. I. Tartakovskii

Abstract: Vertical stacking of atomically thin layered materials opens new possibilities for the fabrication of heterostructures with favorable optoelectronic properties. The combination of graphene, hexagonal boron nitride and semiconducting transition metal dichalcogenides allows fabrication of electroluminescence (EL) devices, compatible with a wide range of substrates. Here, we demonstrate a full integr… ▽ More Vertical stacking of atomically thin layered materials opens new possibilities for the fabrication of heterostructures with favorable optoelectronic properties. The combination of graphene, hexagonal boron nitride and semiconducting transition metal dichalcogenides allows fabrication of electroluminescence (EL) devices, compatible with a wide range of substrates. Here, we demonstrate a full integration of an electroluminescent van der Waals heterostructure in a monolithic optical microcavity made of two high reflectivity dielectric distributed Bragg reflectors (DBRs). Owing to the presence of graphene and hexagonal boron nitride protecting the WSe$_2$ during the top mirror deposition, we fully preserve the optoelectronic behaviour of the device. Two bright cavity modes appear in the EL spectrum featuring Q-factors of 250 and 580 respectively: the first is attributed directly to the monolayer area, while the second is ascribed to the portion of emission guided outside the WSe$_2$ island. By embedding the EL device inside the microcavity structure, a significant modification of the directionality of the emitted light is achieved, with the peak intensity increasing by nearly two orders of magnitude at the angle of the maximum emission compared with the same EL device without the top DBR. Furthermore, the coupling of the WSe$_2$ EL to the cavity mode with a dispersion allows a tuning of the peak emission wavelength exceeding 35 nm (80 meV) by varying the angle at which the EL is observed from the microcavity. This work provides a route for the development of compact vertical-cavity surface-emitting devices based on van der Waals heterostructures. △ Less

Submitted 4 June, 2020; v1 submitted 15 November, 2019; originally announced November 2019.

Journal ref: O. Del Pozo-Zamudio et al. 2D materials 7 (2020) 3, 031006

Large Area Automated Characterisation of Chemical Vapour Deposition Grown Monolayer Transition Metal Dichalcogenides Through Photoluminescence Imaging

Authors: T. Severs Millard, A. Genco, E. M. Alexeev, S. Randerson, S. Ahn, A. Jang, H. S. Shin, A. I. Tartakovskii

Abstract: CVD growth is capable of producing multiple single crystal islands of atomically thin TMDs over large area substrates, with potential control of their morphology, lateral size, and epitaxial alignment to substrates with hexagonal symmetry. Subsequent merging of epitaxial domains can lead to single-crystal monolayer sheets - a step towards scalable production of high quality TMDs. For CVD growth to… ▽ More CVD growth is capable of producing multiple single crystal islands of atomically thin TMDs over large area substrates, with potential control of their morphology, lateral size, and epitaxial alignment to substrates with hexagonal symmetry. Subsequent merging of epitaxial domains can lead to single-crystal monolayer sheets - a step towards scalable production of high quality TMDs. For CVD growth to be effectively used for such production it is necessary to be able to rapidly assess the quality of material across entire large area substrates. To date characterisation has been limited to sub 0.1 mm2 areas, where the properties measured are not necessarily representative of an entire sample. Here, we apply photoluminescence (PL) imaging and computer vision techniques to create an automated analysis for large area samples of semiconducting TMDs, measuring the properties of island size, density of islands, relative PL intensity and homogeneity, and orientation of triangular domains. The analysis is applied to 20x magnification optical microscopy images that completely map samples of WSe2 on hBN, 5.0 mm x 5.0 mm in size, and MoSe2-WS2 on SiO2/Si, 11.2 mm x 5.8 mm in size. For the latter sample 100,245 objects were identified and their properties measured, with an orientation extracted from 27,779 objects that displayed a triangular morphology. In the substrates studied, two prevailing orientations of epitaxial growth were observed in WSe2 grown on hBN and four predominant orientations were observed in MoSe2, initially grown on c-plane sapphire. The proposed analysis will greatly reduce the time needed to study freshly synthesised material over large area substrates and provide feedback to optimise growth conditions, advancing techniques to produce high quality TMD monolayer sheets for commercial applications. △ Less

Submitted 9 November, 2019; originally announced November 2019.

Comments: 32 pages including Supplementary Information, 6 figures

Journal ref: npj 2D Materials and Applications 4, Article number: 12 (2020)

$\unicode{8523}$ means Parallel: Multiplicative Linear Logic Proofs as Concurrent Functional Programs

Authors: Federico Aschieri, Francesco A. Genco

Abstract: Along the lines of the Abramsky ``Proofs-as-Processes'' program, we present an interpretation of multiplicative linear logic as typing system for concurrent functional programming. In particular, we study a linear multiple-conclusion natural deduction system and show it is isomorphic to a simple and natural extension of $λ$-calculus with parallelism and communication primitives, called… ▽ More Along the lines of the Abramsky ``Proofs-as-Processes'' program, we present an interpretation of multiplicative linear logic as typing system for concurrent functional programming. In particular, we study a linear multiple-conclusion natural deduction system and show it is isomorphic to a simple and natural extension of $λ$-calculus with parallelism and communication primitives, called $λ_{\unicode{8523}}$. We shall prove that $λ_{\unicode{8523}}$ satisfies all the desirable properties for a typed programming language: subject reduction, progress, strong normalization and confluence. △ Less

Submitted 8 July, 2019; originally announced July 2019.

Enhanced light-matter interaction in an atomically thin semiconductor coupled with dielectric nano-antennas

Authors: L. Sortino, P. G. Zotev, S. Mignuzzi, J. Cambiasso, D. Schmidt, A. Genco, M. Aßmann, M. Bayer, S. A. Maier, R. Sapienza, A. I. Tartakovskii

Abstract: Unique structural and optical properties of atomically thin two-dimensional semiconducting transition metal dichalcogenides enable in principle their efficient coupling to photonic cavities with optical modes volumes close to or below the diffraction limit. Recently, it has become possible to make all-dielectric nano-cavities with reduced mode volumes and negligible non-radiative losses. Here, we… ▽ More Unique structural and optical properties of atomically thin two-dimensional semiconducting transition metal dichalcogenides enable in principle their efficient coupling to photonic cavities with optical modes volumes close to or below the diffraction limit. Recently, it has become possible to make all-dielectric nano-cavities with reduced mode volumes and negligible non-radiative losses. Here, we realise low-loss high-refractive-index dielectric gallium phosphide (GaP) nano-antennas with small mode volumes coupled to atomic mono- and bilayers of WSe$_2$. We observe a photoluminescence enhancement exceeding 10$^4$ compared with WSe$_2$ placed on planar GaP, and trace its origin to a combination of enhancement of the spontaneous emission rate, favourable modification of the photoluminescence directionality and enhanced optical excitation efficiency. A further effect of the coupling is observed in the photoluminescence polarisation dependence and in the Raman scattering signal enhancement exceeding 10$^3$. Our findings reveal dielectric nano-antennas as a promising platform for engineering light-matter coupling in two-dimensional semiconductors. △ Less

Submitted 11 November, 2019; v1 submitted 20 June, 2019; originally announced June 2019.

Comments: peer-reviewed version (9 pages main text, 4 Figures) with supporting information (7 pages, 6 Figures)

Journal ref: Nature Communications Volume 10, Article number: 5119 (2019)

A typed parallel λ-calculus via 1-depth intermediate proofs

Authors: Federico Aschieri, Agata Ciabattoni, Francesco A. Genco

Abstract: We introduce a Curry-Howard correspondence for a large class of intermediate logics characterized by intuitionistic proofs with non-nested applications of rules for classical disjunctive tautologies (1-depth intermediate proofs). The resulting calculus, we call it $λ_{\parallel}$, is a strongly normalizing parallel extension of the simply typed $λ$-calculus. Although simple, the $λ_{\parallel}$ re… ▽ More We introduce a Curry-Howard correspondence for a large class of intermediate logics characterized by intuitionistic proofs with non-nested applications of rules for classical disjunctive tautologies (1-depth intermediate proofs). The resulting calculus, we call it $λ_{\parallel}$, is a strongly normalizing parallel extension of the simply typed $λ$-calculus. Although simple, the $λ_{\parallel}$ reduction rules can model arbitrary process network topologies, and encode interesting parallel programs ranging from numeric computation to algorithms on graphs. △ Less

Submitted 21 April, 2020; v1 submitted 11 February, 2019; originally announced February 2019.

Comments: LPAR23

Classical Proofs as Parallel Programs

Authors: Federico Aschieri, Agata Ciabattoni, Francesco Antonio Genco

Abstract: We introduce a first proofs-as-parallel-programs correspondence for classical logic. We define a parallel and more powerful extension of the simply typed lambda calculus corresponding to an analytic natural deduction based on the excluded middle law. The resulting functional language features a natural higher-order communication mechanism between processes, which also supports broadcasting. The no… ▽ More We introduce a first proofs-as-parallel-programs correspondence for classical logic. We define a parallel and more powerful extension of the simply typed lambda calculus corresponding to an analytic natural deduction based on the excluded middle law. The resulting functional language features a natural higher-order communication mechanism between processes, which also supports broadcasting. The normalization procedure makes use of reductions that implement novel techniques for handling and transmitting process closures. △ Less

Submitted 9 September, 2018; originally announced September 2018.

Comments: In Proceedings GandALF 2018, arXiv:1809.02416. arXiv admin note: text overlap with arXiv:1607.05120

Journal ref: EPTCS 277, 2018, pp. 43-57

Hypersequents and Systems of Rules: Embeddings and Applications

Authors: Agata Ciabattoni, Francesco A. Genco

Abstract: We define a bi-directional embedding between hypersequent calculi and a subclass of systems of rules (2-systems). In addition to showing that the two proof frameworks have the same expressive power, the embedding allows for the recovery of the benefits of locality for 2-systems, analyticity results for a large class of such systems, and a rewriting of hypersequent rules as natural deduction rules. We define a bi-directional embedding between hypersequent calculi and a subclass of systems of rules (2-systems). In addition to showing that the two proof frameworks have the same expressive power, the embedding allows for the recovery of the benefits of locality for 2-systems, analyticity results for a large class of such systems, and a rewriting of hypersequent rules as natural deduction rules. △ Less

Submitted 13 May, 2018; originally announced May 2018.

Comments: 32 pages, the final publication is available at ACM DL via https://dl.acm.org/citation.cfm?id=3180075

Journal ref: ACM Transactions on Computational Logic (TOCL). Volume 19, Issue 2, Article No. 11. 2018

Disjunctive Axioms and Concurrent $λ$-Calculi: a Curry-Howard Approach

Authors: F. Aschieri, A. Ciabattoni, F. A. Genco

Abstract: We add to intuitionistic logic infinitely many classical disjunctive tautologies and use the Curry--Howard correspondence to obtain typed concurrent $λ$-calculi; each of them features a specific communication mechanism, including broadcasting and cyclic message-exchange, and enhanced expressive power with respect to the $λ$-calculus. Moreover they all implement forms of code mobility. Our results… ▽ More We add to intuitionistic logic infinitely many classical disjunctive tautologies and use the Curry--Howard correspondence to obtain typed concurrent $λ$-calculi; each of them features a specific communication mechanism, including broadcasting and cyclic message-exchange, and enhanced expressive power with respect to the $λ$-calculus. Moreover they all implement forms of code mobility. Our results provide a first concurrent computational interpretation for many propositional intermediate logics, classical logic included. △ Less

Submitted 13 February, 2018; v1 submitted 3 February, 2018; originally announced February 2018.

Bright polariton OLEDs operating in the ultra-strong coupling regime

Authors: Armando Genco, Alessandro Ridolfo, Salvatore Savasta, Salvatore Patanè, Giuseppe Gigli, Marco Mazzeo

Abstract: The generation and control of exotic phenomena in organic electroluminescent microcavities, such as polariton lasing and non-linear optical effects, operating in strong and ultra-strong coupling regimes, is still a great challenge. The main obstacles originate from the small number of molecular classes investigated as well as from the absence of an efficient strategy aiming at the maximization of… ▽ More The generation and control of exotic phenomena in organic electroluminescent microcavities, such as polariton lasing and non-linear optical effects, operating in strong and ultra-strong coupling regimes, is still a great challenge. The main obstacles originate from the small number of molecular classes investigated as well as from the absence of an efficient strategy aiming at the maximization of polariton states population. Here we report on bright polariton organic light emitting diodes made of a coumarin fluorescent dye emitting layer, working in the ultra-strong coupling regime up to a coupling strength of 33%. Owing to a high radiative decay emission, a large Stokes shift and a fine cavity-exciton tuning, the radiative pumping mechanism of polariton states has been fully optimized, leading a large portion (25%) of the emissive electrically pumped excitons to be converted in polariton emission. The resulting polariton OLEDs showed electro-optical performances up to 0.2% of external quantum efficiency and 700 cd/m2 of luminance, corresponding to the highest values reported so far for this class of devices. Our work gives clear indications for an effective exploitation of organic polariton dynamics towards the development of novel quantum optoelectronic devices. △ Less

Submitted 27 December, 2017; originally announced December 2017.

Comments: 21 pages, 8 figures

Mīmā\d{m}sā deontic logic: proof theory and applications

Authors: Agata Ciabattoni, Elisa Freschi, Francesco A. Genco, Björn Lellmann

Abstract: Starting with the deontic principles in Mīmā\d{m}sā texts we introduce a new deontic logic. We use general proof-theoretic methods to obtain a cut-free sequent calculus for this logic, resulting in decidability, complexity results and neighbourhood semantics. The latter is used to analyse a well known example of conflicting obligations from the Vedas. Starting with the deontic principles in Mīmā\d{m}sā texts we introduce a new deontic logic. We use general proof-theoretic methods to obtain a cut-free sequent calculus for this logic, resulting in decidability, complexity results and neighbourhood semantics. The latter is used to analyse a well known example of conflicting obligations from the Vedas. △ Less

Submitted 9 May, 2017; originally announced May 2017.

Comments: 16 pages, published in the proceedings of Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, TABLEAUX 2015, Wrocław, Poland, September 21-24, 2015. The final publication is available at Springer via http//dx.doi.org/10.1007/978-3-319-24312-2_22

Journal ref: In Hans de Nivelle (ed.), Proceedings of TABLEAUX 2015. Pages 323-338. 2015

Gödel Logic: from Natural Deduction to Parallel Computation

Authors: Federico Aschieri, Agata Ciabattoni, Francesco A. Genco

Abstract: Propositional Gödel logic extends intuitionistic logic with the non-constructive principle of linearity $A\rightarrow B\ \lor\ B\rightarrow A$. We introduce a Curry-Howard correspondence for this logic and show that a particularly simple natural deduction calculus can be used as a typing system. The resulting functional language enriches the simply typed lambda calculus with a synchronous communic… ▽ More Propositional Gödel logic extends intuitionistic logic with the non-constructive principle of linearity $A\rightarrow B\ \lor\ B\rightarrow A$. We introduce a Curry-Howard correspondence for this logic and show that a particularly simple natural deduction calculus can be used as a typing system. The resulting functional language enriches the simply typed lambda calculus with a synchronous communication mechanism between parallel processes. Our normalization proof employs original termination arguments and sophisticated proof transformations with a meaningful computational reading. Our results provide a computational interpretation of Gödel logic as a logic of communicating parallel processes, thus proving Avron's 1991 conjecture. △ Less

Submitted 18 June, 2017; v1 submitted 18 July, 2016; originally announced July 2016.

Localized surface resonances of J-aggregate nanostructures

Authors: Claudia Triolo, Adriano Cacciola, Omar Di Stefano, Armando Genco, Marco Mazzeo, Salvatore Patanè, Rosalba Saija, Salvatore Savasta

Abstract: Metallic nanostructures are able to concentrate light into volumes far below the diffraction limit. Here we show, by accurate scattering calculations, that nanostructures obtained from thin films of J-aggregate dyes, concentrate the electromagnetic field at optical frequencies. Moreover, in contrast to metal nanoparticles, these molecular aggregates display highly attractive nonlinear optical prop… ▽ More Metallic nanostructures are able to concentrate light into volumes far below the diffraction limit. Here we show, by accurate scattering calculations, that nanostructures obtained from thin films of J-aggregate dyes, concentrate the electromagnetic field at optical frequencies. Moreover, in contrast to metal nanoparticles, these molecular aggregates display highly attractive nonlinear optical properties that can be exploited for the realization of ultracompact devices for switching light by light on the nanoscale without the need of additional nonlinear materials. These results open new perspectives in plasmonic based nanophotonics. △ Less

Submitted 24 June, 2015; v1 submitted 25 March, 2015; originally announced March 2015.

Comments: 8 pages 4 figures

Ultrafast flow of interacting organic polaritons

Authors: Giovanni Lerario, Dario Ballarini, Antonio Fieramosca, Alessandro Cannavale, Armando Genco, Federica Mangione, Salvatore Gambino, Lorenzo Dominici, Milena De Giorgi, Giuseppe Gigli, Daniele Sanvitto

Abstract: The strong-coupling of an excitonic transition with an electromagnetic mode results in composite quasi-particles called exciton-polaritons, which have been shown to combine the best properties of their bare components in semiconductor microcavities. However, the physics and applications of polariton flows in organic materials and at room temperature are still unexplored because of the poor photon… ▽ More The strong-coupling of an excitonic transition with an electromagnetic mode results in composite quasi-particles called exciton-polaritons, which have been shown to combine the best properties of their bare components in semiconductor microcavities. However, the physics and applications of polariton flows in organic materials and at room temperature are still unexplored because of the poor photon confinement in such structures. Here we demonstrate that polaritons formed by the hybridization of organic excitons with a Bloch Surface Wave are able to propagate for hundreds of microns showing remarkable third-order nonlinear interactions upon high injection density. These findings pave the way for the studies of organic nonlinear light-matter fluxes and for a technological promising route of dissipation-less on-chip polariton devices working at room temperature. △ Less

Submitted 27 January, 2016; v1 submitted 2 February, 2015; originally announced February 2015.

Comments: Improved version with polariton-polariton interactions. 13 pages, 4 figures, supporting 6 pages, 6 figures

Journal ref: Light: Science & Applications 6, e16212 (2017)

Polariton Induced Enhanced Emission from an Organic Dye under Strong Coupling Regime

Authors: Dario Ballarini, Milena De Giorgi, Salvatore Gambino, Giovanni Lerario, Marco Mazzeo, Armando Genco, Gianluca Accorsi, Carlo Giansante, Silvia Colella, Stefania D'Agostino, Paolo Cazzato, Daniele Sanvitto, Giuseppe Gigli

Abstract: Exciton-polaritons in semiconductors are quasi-particles which have recently shown the capability to undergo phase transition into a coherent hybrid state of light and matter. The observation of such quasi-particles in organic microcavities has attracted increasing attention for their characteristic of reaching condensation at room temperature. In this work we demonstrate that the emission propert… ▽ More Exciton-polaritons in semiconductors are quasi-particles which have recently shown the capability to undergo phase transition into a coherent hybrid state of light and matter. The observation of such quasi-particles in organic microcavities has attracted increasing attention for their characteristic of reaching condensation at room temperature. In this work we demonstrate that the emission properties of organic polaritons do not depend on the overlap between the absorption and emission states of the molecule and that the emission dynamics are modified in the strong coupling regime, showing a significant enhancement of the photoluminescence intensity as compared to the bare dye. This paves the way to the investigation of molecules with large absorption coefficients but poor emission efficiencies for the realization of polariton condensates and organic electrically injected lasers by exploiting strong exciton-photon coupling regimes. △ Less

Submitted 20 October, 2014; originally announced October 2014.

Journal ref: Advanced Optical Materials (2014)