Towards quantum computational logics

Quantum computational logics have recently stirred increasing attention (Cattaneoetal.inMath.Slovaca54:87–108,2004;Leddaetal.inStud.Log.82(2):245–270,2006; Giuntini et al. in Stud. Log. 87(1):99–128, 2007). In this paper we outline their motivations and report on the state of the art of the approach to the logic of quantum computation that has been recently taken up and developed by our research group

Entanglement as a semantic resource

The characteristic holistic features of the quantum theoretic formalism and the intriguing notion of entanglement can be applied to a field that is far from microphysics: logical semantics. Quantum computational logics are new forms of quantum logic that have been suggested by the theory of quantum logical gates in quantum computation. In the standard semantics of these logics, sentences denote quantum information quantities: systems of qubits (quregisters) or, more generally, mixtures of quregisters (qumixes), while logical connectives are interpreted as special quantum logical gates (which have a characteristic reversible and dynamic behavior). In this framework, states of knowledge may be entangled, in such a way that our information about the whole determines our information about the parts; and the procedure cannot be, generally, inverted. In spite of its appealing properties, the standard version of the quantum computational semantics is strongly "Hilbert-space dependent". This certainly represents a shortcoming for all applications, where real and complex numbers do not generally play any significant role (as happens, for instance, in the case of natural and of artistic languages). We propose an abstract version of quantum computational semantics, where abstract qumixes, quregisters and registers are identified with some special objects (not necessarily living in a Hilbert space), while gates are reversible functions that transform qumixes into qumixes. In this framework, one can give an abstract definition of the notions of superposition and of entangled pieces of information, quite independently of any numerical values. We investigate three different forms of abstract holistic quantum computational logic

State of the art: the treatment of systemic lupus erythematosus

Purpose of reviewSystemic lupus erythematosus (SLE) is a systemic autoimmune disease with dysregulated cells in the immune system. The disease affects organs like kidneys, nervous system, joints, and skin. To manage SLE effectively, novel treatments targeting immune system components have been developed. This review investigates the therapeutic potential of existing targeted therapies and explores future innovative approaches for well tolerated, personalized treatment.Recent findingsSLE treatment involves cytokine targets and specific immunologic pathways, with even small molecules involved.SummaryThe advanced therapeutic options in SLE management give clinicians more tools to control disease activity according to personalized medicine

Giant cell arteritis and innovative treatments

Purpose of reviewGiant cell arteritis (GCA) is an idiopathic and persistent condition characterized by granulomatous vasculitis of the medium and large vessels with overlapping phenotypes, including conventional cranial arteritis and extra-cranial GCA, also known as large-vessel GCA. Vascular problems linked with large vessel involvement may partly be caused by delayed diagnosis, emphasizing the necessity of early detection and the fast beginning of appropriate therapy. Glucocorticoids are the cornerstone of treatment for GCA, but using them for an extended period has numerous, often severe, side effects.Recent findingsclinical practice and novel discoveries on the pathogenic pathways suggest that steroid-free biologic treatments may be efficient and safe for GCA patients.Summarysince now, only Tocilizumab is approved for GCA treatment, but several drugs are currently used, and ongoing trials could give both researchers and patients novel therapeutic strategies for induction, maintenance, and prevention of relapse of GCA. The aims of this work is to synthesize evidence from current studies present in scientific literature about innovative treatment of Giant cell artheritis

Transport across thin membranes: Effective solute flux jump

A model to describe the transport across membranes of chemical species dissolved in an incompressible flow is developed via homogenization. The asymptotic matching between the microscopic and macroscopic solute concentration fields leads to a solute flux jump across the membrane, quantified through the solution of diffusion problems at the microscale. The predictive model, written in a closed form, covers a wide range of membrane behaviors, in the limit of negligible Reynolds and Péclet numbers inside the membrane. The closure problem at the microscale, found via homogenization, allows one to link the membrane microstructure to its effective macroscopic properties, such as solvent permeability and solute diffusivity. After a validation of the model through comparison with the corresponding full-scale solution, an immediate application is provided, where the membrane behavior is a priori predicted through an analysis of its microscopic properties. The introduced tools and considerations may find applications in the design of thin microstructured membranes

Instability of a thin viscous film flowing under an inclined substrate: steady patterns

The flow of a thin film coating the underside of an inclined substrate is studied. We measure experimentally spatial growth rates and compare them to the linear stability analysis of a flat film modelled by the lubrication equation. When forced by a stationary localized perturbation, a front develops that we predict with the group velocity of the unstable wave packet. We compare our experimental measurements with numerical solutions of the nonlinear lubrication equation with complete curvature. Streamwise structures dominate and saturate after some distance. We recover their profile with a one-dimensional lubrication equation suitably modified to ensure an invariant profile along the streamwise direction and compare them with the solution of a purely two-dimensional pendent drop, showing overall a very good agreement. Finally, those different profiles agree also with a two-dimensional simulation of the Stokes equations

Flow dynamics in a model of a dilated thoracic aorta prior to and following prosthetic replacement

We numerically investigate the flow dynamics in a model of a dilated thoracic aorta, and compare the flow features with the case of a prosthetic replacement in its ascending part. The flow is characterized by an inlet jet which impacts the aortic walls and sweeps toward the aortic arch. Secondary flows generated by the transvalvular jet evolve downstream into a helical flow. The small curvature radius at the end of the aortic arch induces flow separation and vortex shedding in the initial part of the descending aorta, during the systole. The implantation of a prosthesis determines several modifications in the global and local flow patterns. An increase of the pulse wave velocity in the aorta leads to larger pressures inside the vessel, due to the geometrical and rigidity modifications. The sweeping jet is more aligned along the axial direction and propagates faster along the aortic arch. Consequently, a stronger separation of the flow downstream of the aortic arch is observed. By also exploiting manifold analysis, we identify regions characterized by near-wall disordered flows which may present intense accumulation and drop of concentration of biochemicals. These regions are localized downstream of the prosthetic replacement, in the aortic arch, and may be more prone to a new emergence of vessel dilation

Dripping down the rivulet

This paper is associated with a video winner of a 2018 American Physical Society's Division of Fluid Dynamics (DFD) Milton van Dyke Award for work presented at the DFD Gallery of Fluid Motion. The original video is available online at the Gallery of Fluid Motion, https://doi.org/10.1103/APS.DFD.2018.GFM.V0070

Can wall shear-stress topology predict proliferative vitreoretinopathy localization following pars plana vitrectomy?

We numerically study the fluid dynamics of oil tamponade in models of vitrectomized eyes prompted by a subset of daily activities corresponding to movements on the horizontal plane with the patient in a standing position. Bulk flow features are related to near-wall flow topology and transport at the retinal surface through a wall shear-stress-based analysis. Proliferative VitreoRetinopathy (PVR) is the leading cause of retinal re-detachment occurring in about 20% of all cases due to the accumulation of inflammatory cells in discrete retinal regions. Signalling soluble mediators stimulate inflammatory cells’ chemotaxis and studying their distribution across the retinal surface may acquire clinical relevance. In all the investigated cases, persistent and elongated regions along the retina, potentially prone to accumulate chemo-attractants and cells are observed. Gradients of soluble inflammation mediators present in the aqueous are known responsible for the so-called epithelial-mesenchymal transition that initiates PVR and favours recurrent retinal detachment prompting the proliferation of inflammatory cells with collagen matrix deposition and its contraction. The surgical apposition of encircling scleral buckling elements, known for over a century to influence PVR formation and localization, modifies the attracting regions, possibly causing an accumulation of molecules and cells along approximately vertical lines that follow the rising menisci due to the cerclage indentation. The resulting spatial pattern is compatible with clinical observations. This study may open toward rational analyses of near-wall transport to predict PVR pathogenesis by relating biochemical accumulation in certain areas of the retina to clinical conditions