arXiv subjects

Giuseppe Greco

Publications and source records attributed to Giuseppe Greco.

At least 37 records · Page 2Linked to original sources

arXiv2021

Ohmic contacts on n-type and p-type cubic silicon carbide (3C-SiC) grown on silicon

This paper is a report on Ohmic contacts on n-type and p-type type cubic silicon carbide (3C-SiC) layers grown on silicon substrates. In particular, the morphological, electrical and structural properties of annealed Ni and Ti/Al/Ni contacts has been studied employing several characterization techniques. Ni films annealed at 950°C form Ohmic contacts on moderately n-type doped 3C-SiC (ND ~ 1x1017cm-3), with a specific contact resistance of 3.7x10-3 Ωcm2. The main phase formed upon annealing in this contact was nickel silicide (Ni2Si), with randomly dispersed carbon in the reacted layer. In the case of a p-type 3C-SiC with a high doping level (NA ~ 5x1019cm-3), Ti/Al/Ni contacts were preferable to Ni ones, as they gave much lower values of the specific contact resistance (1.8x10-5 Ωcm2). Here, an Al3Ni2 layer was formed in the uppermost part of the contact, while TiC was detected at the interface. For this system, a temperature dependent electrical characterization allowed to establish that the thermionic field emission rules the current transport at the interface. All these results can be useful for the further development of a devices technology based on the 3C-SiC polytype.

physics.app-ph↗

arXiv2021

Effect of high temperature annealing (T > 1650°C) on the morphological and electrical properties of p-type implanted 4H-SiC layers

This work reports on the effect of high temperature annealing on the electrical properties of p-type implanted 4H-SiC. Ion implantations of Aluminium (Al) at different energies (30 - 200 keV) were carried out to achieve 300 nm thick acceptor box profiles with a concentration of about 1020 at/cm3. The implanted samples were annealed at high temperatures (1675-1825 °C). Morphological analyses of the annealed samples revealed only a slight increase of the surface roughness RMS up to 1775°C, while this increase becomes more significant at 1825°C (RMS=1.2nm). Room temperature Hall measurements resulted in a hole concentration in the range 0.65-1.34x1018/cm3 and mobility values in the order of 21-27 cm2V-1s-1. The temperature dependent electrical measurements allowed to estimate an activation energy of the Al-implanted specie of about 110 meV (for the post-implantation annealing at 1675°C) and a fraction of active p-type Al-dopant ranging between 39% and 56%. The results give useful indications for the fabrication of 4H-SiC JBS and MOSFETs.

physics.app-ph↗

arXiv2021

Ni Schottky barrier on heavily doped phosphorous implanted 4H-SiC

The electrical behavior of Ni Schottky barrier formed onto heavily doped (ND>1019 cm-3) n-type phosphorous implanted silicon carbide (4H-SiC) was investigated, with a focus on the current transport mechanisms in both forward and reverse bias. The forward current-voltage characterization of Schottky diodes showed that the predominant current transport is a thermionic-field emission mechanism. On the other hand, the reverse bias characteristics could not be described by a unique mechanism. In fact, under moderate reverse bias, implantation-induced damage is responsible for the temperature increase of the leakage current, while a pure field emission mechanism is approached with bias increasing. The potential application of metal/4H-SiC contacts on heavily doped layers in real devices are discussed.

cond-mat.mtrl-sci↗

arXiv2021

The MBTA Pipeline for Detecting Compact Binary Coalescences in the Third LIGO-Virgo Observing Run

We describe the Multi-Band Template Analysis (MBTA) search for gravitational waves signals from coalescences of compact objects in the LIGO-Virgo data, at the time of the third observing run (2019-2020), both for low-latency detections and for offline analysis. Details are given on the architecture and functioning of the pipeline, including transient noise mitigation strategies, parameter space for the searched signals, detection of candidates and evaluation of a false alarm rate associated to them. The performance of the low-latency search is demonstrated based on the LIGO-Virgo third observing run, during which MBTA has contributed to 42 alerts, submitting candidates with a median latency of 36 seconds. The performance of the offline search is illustrated on a subset of data collected during the second LIGO-Virgo observation run in 2017, and are quantified based on injections of simulated signal events on the same data.

gr-qc↗

arXiv2021

Syntactic completeness of proper display calculi

A recent strand of research in structural proof theory aims at exploring the notion of analytic calculi (i.e. those calculi that support general and modular proof-strategies for cut elimination), and at identifying classes of logics that can be captured in terms of these calculi. In this context, Wansing introduced the notion of proper display calculi as one possible design framework for proof calculi in which the analiticity desiderata are realized in a particularly transparent way. Recently, the theory of properly displayable logics (i.e. those logics that can be equivalently presented with some proper display calculus) has been developed in connection with generalized Sahlqvist theory (aka unified correspondence). Specifically, properly displayable logics have been syntactically characterized as those axiomatized by analytic inductive axioms, which can be equivalently and algorithmically transformed into analytic structural rules so that the resulting proper display calculi enjoy a set of basic properties: soundness, completeness, conservativity, cut elimination and subformula property. In this context, the proof that the given calculus is complete w.r.t. the original logic is usually carried out syntactically, i.e. by showing that a (cut free) derivation exists of each given axiom of the logic in the basic system to which the analytic structural rules algorithmically generated from the given axiom have been added. However, so far this proof strategy for syntactic completeness has been implemented on a case-by-case base, and not in general. In this paper, we address this gap by proving syntactic completeness for properly displayable logics in any normal (distributive) lattice expansion signature. Specifically, we show that for every analytic inductive axiom a cut free derivation can be effectively generated which has a specific shape, referred to as pre-normal form.

cs.LO↗

arXiv2021

First demonstration of early warning gravitational wave alerts

Gravitational-wave observations became commonplace in Advanced LIGO-Virgo's recently concluded third observing run. 56 non-retracted candidates were identified and publicly announced in near real time. Gravitational waves from binary neutron star mergers, however, remain of special interest since they can be precursors to high-energy astrophysical phenomena like $γ$-ray bursts and kilonovae. While late-time electromagnetic emissions provide important information about the astrophysical processes within, the prompt emission along with gravitational waves uniquely reveals the extreme matter and gravity during - and in the seconds following - merger. Rapid communication of source location and properties from the gravitational-wave data is crucial to facilitate multi-messenger follow-up of such sources. This is especially enabled if the partner facilities are forewarned via an early-warning (pre-merger) alert. Here we describe the commissioning and performance of such a low-latency infrastructure within LIGO-Virgo. We present results from an end-to-end mock data challenge that detects binary neutron star mergers and alerts partner facilities before merger. We set expectations for these alerts in future observing runs.

astro-ph.HE↗

arXiv2020

Lambek-Grishin Calculus: Focusing, Display and Full Polarization

\emph{Focused sequent calculi} are a refinement of sequent calculi, where additional side-conditions on the applicability of inference rules force the implementation of a proof search strategy. Focused cut-free proofs exhibit a special normal form that is used for defining identity of sequent calculi proofs. We introduce a novel focused display calculus fD.LG and a fully polarized algebraic semantics FP.LG for Lambek-Grishin logic by generalizing the theory of \emph{multi-type calculi} and their algebraic semantics with \emph{heterogenous consequence relations}. The calculus fD.LG has \emph{strong focalization} and it is \emph{sound and complete} w.r.t. FP.LG. This completeness result is in a sense stronger than completeness with respect to standard polarized algebraic semantics (see e.g. the phase semantics of Bastenhof for Lambek-Grishin logic or Hamano and Takemura for linear logic), insofar we do not need to quotient over proofs with consecutive applications of shifts over the same formula. We plan to investigate the connections, if any, between this completeness result and the notion of \emph{full completeness} introduced by Abramsky et al. We also show a number of additional results. fD.LG is sound and complete w.r.t. LG-algebras: this amounts to a semantic proof of the so-called \emph{completeness of focusing}, given that the standard (display) sequent calculus for Lambek-Grishin logic is complete w.r.t. LG-algebras. fD.LG and the focused calculus f.LG of Moortgat and Moot are equivalent with respect to proofs, indeed there is an effective translation from f.LG-derivations to fD.LG-derivations and vice versa: this provides the link with operational semantics, given that every f.LG-derivation is in a Curry-Howard correspondence with a directional $\overlineλμ\widetildeμ$-term.

math.LO↗

arXiv2020

Non-normal logics: semantic analysis and proof theory (extended version)

We introduce proper display calculi for basic monotonic modal logic, the conditional logic CK and a number of their axiomatic extensions. These calculi are sound, complete, conservative and enjoy cut elimination and subformula property. Our proposal applies the multi-type methodology in the design of proper display calculi, starting from a semantic analysis which motivates syntactic translations from single-type non-normal modal logics to multi-type normal poly-modal logics.

math.LO↗

arXiv2020

Thermal Annealing Effect on Electrical and Structural Properties of Tungsten Carbide Schottky Contacts on AlGaN/GaN heterostructures

Tungsten carbide (WC) contacts have been investigated as a novel gold-free Schottky metallization for AlGaN/GaN heterostructures. The evolution of the electrical and structural/compositional properties of the WC/AlGaN contact has been monitored as a function of the annealing temperature in the range from 400 to 800°C. The Schottky barrier height ($Φ$B) at WC/AlGaN interface, extracted from the forward current-voltage characteristics of the diode, decreased from 0.8 eV in the as-deposited and 400°C annealed sample, to 0.56 eV after annealing at 800 °C. This large reduction of $Φ$B was accompanied by a corresponding increase of the reverse bias leakage current. Transmission electron microscopy coupled to electron energy loss spectroscopy analyses revealed the presence of oxygen (O) uniformly distributed in the WC layer, both in the as-deposited and 400°C annealed sample. Conversely, oxygen accumulation in a 2-3 nm thin W-O-C layer at the interface with AlGaN was observed after the annealing at 800 °C, as well as the formation of W2C grains within the film (confirmed by X-ray diffraction analyses). The formation of this interfacial W-O-C layer is plausibly the main origin of the decreased $Φ$B and the increased leakage current in the 800°C annealed Schottky diode, whereas the decreased O content inside the WC film can explain the reduced resistivity of the metal layer. The results provide an assessment of the processing conditions for the application of WC as Schottky contact for AlGaN/GaN heterostructures.

physics.app-ph↗

arXiv2020

Electrical properties of inhomogeneous tungsten carbide Schottky barrier on 4H-SiC

In this paper, the electrical behavior of tungsten carbide (WC) Schottky barrier on 4H-SiC was investigated. First, a statistical current-voltage (I-V) analysis in forward bias, performed on a set of equivalent diodes, showed a symmetric Gaussian-like distribution of the barrier heights after annealing at 700°C, where a low Schottky barrier height ($Φ$B=1.05 eV) and an ideality factor n=1.06 were measured. The low value of the barrier height makes such a WC contact an interesting candidate to reduce the conduction losses in 4H-SiC Schottky diodes. A deeper characterization has been carried out, by monitoring the temperature dependence of the I-V characteristics and the behavior of the relevant parameters $Φ$B and n. The increase of the barrier height and decrease of the ideality factor with increasing temperature indicated a lateral inhomogeneity of the WC/4H-SiC Schottky contact, which was described by invoking the Tung's model. Interestingly, the temperature dependence of the leakage current under reverse bias could be described by considering in the thermionic field emission model the temperature dependent barrier height related to the inhomogeneity. These results can be useful to predict the behavior of WC/4H-SiC Schottky diodes under operative conditions.

physics.app-ph↗

arXiv2020

Processing issues in SiC and GaN power devices technology: the cases of 4H-SiC planar MOSFET and recessed hybrid GaN MISHEMT

This paper aims to give a short overview on some relevant processing issues existing in SiC and GaN power devices technology. The main focus is put on the importance of the channel mobility in transistors, which is one of the keys to reduce RON and power dissipation. Specifically, in the case of the 4H-SiC planar MOSFETs the most common solutions and recent trends to improve the channel mobility are presented. In the case of GaN, the viable routes to achieve normally-off HEMTs operation are briefly introduced, giving emphasis to the case of the recessed hybrid MISHEMT.

physics.app-ph↗

arXiv2019

Non normal logics: semantic analysis and proof theory

We introduce proper display calculi for basic monotonic modal logic,the conditional logic CK and a number of their axiomatic extensions. These calculi are sound, complete, conservative and enjoy cut elimination and subformula property. Our proposal applies the multi-type methodology in the design of display calculi, starting from a semantic analysis based on the translation from monotonic modal logic to normal bi-modal logic.

math.LO↗

arXiv2018

Logics for Rough Concept Analysis

Taking an algebraic perspective on the basic structures of Rough Concept Analysis as the starting point, in this paper we introduce some varieties of lattices expanded with normal modal operators which can be regarded as the natural rough algebra counterparts of certain subclasses of rough formal contexts, and introduce proper display calculi for the logics associated with these varieties which are sound, complete, conservative and with uniform cut elimination and subformula property. These calculi modularly extend the multi-type calculi for rough algebras to a `nondistributive' (i.e. general lattice-based) setting.

math.LO↗

arXiv2018

Semi De Morgan logic properly displayed

In the present paper, we endow a family of axiomatic extensions of semi De Morgan logic with proper multi-type display calculi which are sound, complete, conservative, and enjoy cut elimination and subformula property. Our proposal builds on an algebraic analysis of semi De Morgan algebras and its subvarieties and applies the guidelines of the multi-type methodology in the design of display calculi.

math.LO↗

arXiv2018

Proper Multi-Type Display Calculi for Rough Algebras

In the present paper, we endow the logics of topological quasi Boolean algebras, topological quasi Boolean algebras 5, intermediate algebras of types 1-3, and pre-rough algebras with proper multi-type display calculi which are sound, complete, conservative, and enjoy cut elimination and subformula property. Our proposal builds on an algebraic analysis and applies the principles of the multi-type methodology in the design of display calculi.

math.LO↗

arXiv2018

Kleene algebras, adjunction and structural control

In the present paper, we introduce a multi-type calculus for the logic of measurable Kleene algebras, for which we prove soundness, completeness, conservativity, cut elimination and subformula property. Our proposal imports ideas and techniques developed in formal linguistics around the notion of structural control.

math.LO↗

arXiv2018

A Proof-Theoretic Semantic Analysis of Dynamic Epistemic Logic

The present paper provides an analysis of the existing proof systems for dynamic epistemic logic from the viewpoint of proof-theoretic semantics. Dynamic epistemic logic is one of the best known members of a family of logical systems which have been successfully applied to diverse scientific disciplines, but the proof theoretic treatment of which presents many difficulties. After an illustration of the proof-theoretic semantic principles most relevant to the treatment of logical connectives, we turn to illustrating the main features of display calculi, a proof-theoretic paradigm which has been successfully employed to give a proof-theoretic semantic account of modal and substructural logics. Then, we review some of the most significant proposals of proof systems for dynamic epistemic logics, and we critically reflect on them in the light of the previously introduced proof-theoretic semantic principles. The contributions of the present paper include a generalisation of Belnap's cut elimination metatheorem for display calculi, and a revised version of the display-style calculus D.EAK. We verify that the revised version satisfies the previously mentioned proof-theoretic semantic principles, and show that it enjoys cut elimination as a consequence of the generalised metatheorem.

math.LO↗

arXiv2018

Multi-type Display Calculus for Dynamic Epistemic Logic

In the present paper, we introduce a multi-type display calculus for dynamic epistemic logic, which we refer to as Dynamic Calculus. The display-approach is suitable to modularly chart the space of dynamic epistemic logics on weaker-than-classical propositional base. The presence of types endows the language of the Dynamic Calculus with additional expressivity, allows for a smooth proof-theoretic treatment, and paves the way towards a general methodology for the design of proof systems for the generality of dynamic logics, and certainly beyond dynamic epistemic logic. We prove that the Dynamic Calculus adequately captures Baltag-Moss-Solecki's dynamic epistemic logic, and enjoys Belnap-style cut elimination.

math.LO↗