cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Solving Recurrence Relations using Machine Learning, with Application to Cost Analysis
Creators: name: Klemen, Maximiliano
name: Carreira-Perpiñán, Miguel Á.
name: Lopez-Garcia, Pedro
Publisher: name: arXiv
Year: 2023
Subjects: subject: Programming Languages (cs.PL)
subject: Machine Learning (cs.LG)
subject: FOS: Computer and information sciences
subject: F.3.2; F.3.1; F.4.1; I.2.6 ; D.1.6

description: Automatic static cost analysis infers information about the resources used by programs without actually running them with concrete data, and presents such information as functions of input data sizes. Most of the analysis tools for logic programs (and other languages) are based on setting up recurrence relations representing (bounds on) the computational cost of predicates, and solving them to find closed-form functions that are equivalent to (or a bound on) them. Such recurrence solving is a bottleneck in current tools: many of the recurrences that arise during the analysis cannot be solved with current solvers, such as Computer Algebra Systems (CASs), so that specific methods for different classes of recurrences need to be developed. We address such a challenge by developing a novel, general approach for solving arbitrary, constrained recurrence relations, that uses machine-learning sparse regression techniques to guess a candidate closed-form function, and a combination of an SMT-solver and a CAS to check whether such function is actually a solution of the recurrence. We have implemented a prototype and evaluated it with recurrences generated by a cost analysis system (the one in CiaoPP). The experimental results are quite promising, showing that our approach can find closed-form solutions, in a reasonable time, for classes of recurrences that cannot be solved by such a system, nor by current CASs.
description: In Proceedings ICLP 2023, arXiv:2308.14898
Effects of brake wear nanoparticles on the protection and repair functions of the airway epithelium
Creators: name: Puisney-Dakhli, Chloé
name: Tarraud, Mickael
name: Sivry, Yann
name: Berret, Jean-François
name: Squiban, Armelle Baeza
Publisher: name: arXiv
Year: 2023
Subjects: subject: Medical Physics (physics.med-ph)
subject: Materials Science (cond-mat.mtrl-sci)
subject: Biological Physics (physics.bio-ph)
subject: FOS: Physical sciences

description: Long term exposure to particulate air pollution is known to increase respiratory morbidity and mortality. In urban areas with dense traffic most of these particles are generated by vehicles, via engine exhaust or wear processes. Non-exhaust particles come from wear processes such as those concerning brakes and their toxicity is little studied. To improve our understanding of the lung toxicity mechanisms of the nanometric fraction of brake wear nanoparticles (BWNPs), we studied whether these particles affect the barrier properties of the respiratory epithelium considering particle translocation, mucus production and repair efficiency. The Calu-3 cell line grown in two-compartment chambers was used to mimic the bronchial epithelial barrier. BWNPs detected by single-particle ICP-MS were shown to cross the epithelial tissue in small amounts without affecting the barrier integrity properties, because the permeability to Lucifer yellow was not increased and there was no cytotoxicity as assessed by the release of lactate-dehydrogenase. The interaction of BWNPs with the barrier did not induce a pro-inflammatory response, but increased the expression and production of MU5AC, a mucin, by a mechanism involving the epidermal growth factor receptor pathway. During a wound healing assay, BWNP-loaded cells exhibited the same ability to migrate, but those at the edge of the wound showed higher 5-ethynyl-2'-deoxyuridine incorporation, suggesting a higher proliferation rate. Altogether these results showed that BWNPs do not exert overt cytotoxicity and inflammation but can translocate through the epithelial barrier in small amounts and increase mucus production, a key feature of acute inflammatory and chronic obstructive pulmonary diseases. Their loading in epithelial cells may impair the repair process through increased proliferation.
description: 16 pages, 6 figures
Intranight Optical Variability of Radio-Quiet Weak Emission Line Quasars-IV
Creators: name: Kumar, Parveen
name: Chand, Hum
name: Gopal-Krishna
Publisher: name: arXiv
Year: 2016
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: We report an extension of our program to search for radio-quiet BL Lac candidates using intra-night optical variability (INOV) as a probe. The present INOV observations cover a well-defined representative set of 10 `radio-quiet weak-emission-line quasars' (RQWLQs), selected from a newly published sample of 46 such sources, derived from the Sloan Digital Sky Survey (Data release 7). Intra-night CCD monitoring of the 10 RQWLQs was carried out in 18 sessions lasting at least 3.5 hours. For each session, differential light curves (DLCs) of the target RQWLQ were derived relative to two steady comparison stars monitored simultaneously. Combining these new data with those already published by us for 15 RQWLQs monitored in 30 sessions, we estimate an INOV duty cycle of $\sim 3\%$ for the RQWLQs, which appears inconsistent with BL Lacs. However, the observed INOV events (which occurred in just two of the sessions) are strong (with a fractional variability amplitude $ψ>$ 10\%), hence blazar-like. We briefly point out the prospects of an appreciable rise in the estimated INOV duty cycle for RQWLQs with a relatively modest increase in sensitivity for monitoring these rather faint objects.
description: 8 pages, 2 figures, accepted in MNRAS
Resurrection of large lepton number asymmetries from neutrino flavor oscillations
Creators: name: Barenboim, Gabriela
name: Kinney, William H.
name: Park, Wan-Il
Publisher: name: arXiv
Year: 2016
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: We numerically solve the evolution equations of neutrino three-flavor density matrices, and show that, even if neutrino oscillations mix neutrino flavors, large lepton number asymmetries are still allowed in certain limits by Big Bang Nucleosynthesis (BBN).
description: 5 pages, 4 figures
Service Level Agreements for Communication Networks: A Survey
Creators: name: Akbari-Moghanjoughi, Ayyoub
name: Amazonas, José Roberto de Almeida
name: Santos-Boada, Germán
name: Solé-Pareta, Josep
Publisher: name: arXiv
Year: 2023
Subjects: subject: Networking and Internet Architecture (cs.NI)
subject: FOS: Computer and information sciences

description: Information and Communication Technology (ICT) is being provided to the variety of end-users demands, thereby providing a better and improved management of services is crucial. Therefore, Service Level Agreements (SLAs) are essential and play a key role to manage the provided services among the network entities. This survey identifies the state of the art covering concepts, approaches and open problems of the SLAs establishment, deployment and management. This paper is organised in a way that the reader can access a variety of proposed SLA methods and models addressed and provides an overview of the SLA actors and elements. It also describes SLAs' characteristics and objectives. SLAs' existing methodologies are explained and categorised followed by the Service Quality Categories (SQD) and Quality-Based Service Descriptions (QSD). SLA modelling and architectures are discussed, and open research problems and future research directions are introduced. The establishment of a reliable, safe and QoE-aware computer networking needs a group of services that goes beyond pure networking services. Therefore, within the paper this broader set of services are taken into consideration and for each Service Level Objective (SLO) the related services domains will be indicated. The purpose of this survey is to identify existing research gaps in utilising SLA elements to develop a generic methodology, considering all quality parameters beyond the Quality of Service (QoS) and what must or can be taken into account to define, establish and deploy an SLA. This study is still an active research on how to specify and develop an SLA to achieve the win-win agreements among all actors.
description: 25 Pages, 4 Figures
Finite-dimensional colored fluctuation-dissipation theorem for spin systems
Creators: name: Nicolis, Stam
name: Thibaudeau, Pascal
name: Tranchida, Julien
Publisher: name: arXiv
Year: 2016
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: High Energy Physics - Lattice (hep-lat)
subject: Mathematical Physics (math-ph)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: When nano-magnets are coupled to random external sources, their magnetization becomes a random variable, whose properties are defined by an induced probability density, that can be reconstructed from its moments, using the Langevin equation, for mapping the noise to the dynamical degrees of freedom. When the spin dynamics is discretized in time, a general fluctuation-dissipation theorem, valid for non-Markovian noise, can be established, even when zero modes are present. We discuss the subtleties that arise, when Gilbert damping is present and the mapping between noise and spin degrees of freedom is non--linear.
description: 3 pages LaTeX2e. Presentation for MMM2016, New Orleans
Poster-Side effects of atypical antipsychotics. A systematic review
Creators: name: García Bravo, Joseph
name: Flores Mosquera, Karem Manuela
name: Cueva, Melisa
name: Erazo, María José
name: Trujillo, Anthony
name: Icaza Cortez, Melany Dalila
name: Zúñiga Carrasco, Danny Raúl
Publisher: name: figshare
Year: 2023
Subjects: classificationCode: 320221
subject: Psychiatry (incl. psychotherapy)

description: Atypical antipsychotics, also known as second-generation antipsychotics, have demonstrated efficacy in controlling both positive and negative symptoms of schizophrenia, as well as in the treatment of other psychotic disorders. However, despite their therapeutic benefits, atypical antipsychotics are also associated with a range of side effects.In this review, we aim to examine the most common adverse effects associated with the use of atypical antipsychotics in patients. It is important to note that the incidence and severity of these effects may vary among different atypical antipsychotic agents and also among individuals receiving treatment. However, there are some adverse effects that have been reported more frequently and warrant special attention.One of the most common adverse effects is weight gain and alteration of lipid metabolism. Certain atypical antipsychotics, such as olanzapine and clozapine, have been associated with an increased risk of weight gain, dyslipidemia, and the development of metabolic syndrome. These effects may predispose patients to cardiovascular diseases and type 2 diabetes, needing careful monitoring and appropriate management strategies.
Femtosecond X-Ray Scattering Study of Ultrafast Photoinduced Structural Dynamics in Solvated [Co(terpy)2]2+
Creators: name: Biasin, Elisa
name: van Driel, Tim Brandt
name: Kjær, Kasper S.
name: Dohn, Asmus O.
name: Christensen, Morten
name: Harlang, Tobias
name: Chabera, Pavel
name: Liu, Yizhu
name: Uhlig, Jens
name: Pápai, Mátyás
name: Németh, Zoltán
name: Hartsock, Robert
name: Liang, Winnie
name: Zhang, Jianxin
name: Alonso-Mori, Roberto
name: Chollet, Matthieu
name: Glownia, James M.
name: Nelson, Silke
name: Sokaras, Dimosthenis
name: Assefa, Tadesse A.
name: Britz, Alexander
name: Galler, Andreas
name: Gawelda, Wojciech
name: Bressler, Christian
name: Gaffney, Kelly J.
name: Lemke, Henrik T.
name: Møller, Klaus B.
name: Nielsen, Martin M.
name: Sundström, Villy
name: Vankó, György
name: Wärnmark, Kenneth
name: Canton, Sophie E.
name: Haldrup, Kristoffer
Publisher: name: arXiv
Year: 2016
Subjects: subject: Chemical Physics (physics.chem-ph)
subject: FOS: Physical sciences

description: We study the structural dynamics of photoexcited [Co(terpy)2]2+ in an aqueous solution with ultrafast x-ray diffuse scattering experiments conducted at the Linac Coherent Light Source. Through direct comparisons with density functional theory calculations, our analysis shows that the photoexcitation event leads to elongation of the Co-N bonds, followed by coherent Co-N bond length oscillations arising from the impulsive excitation of a vibrational mode dominated by the symmetrical stretch of all six Co-N bonds. This mode has a period of 0.33 ps and decays on a subpicosecond time scale. We find that the equilibrium bond-elongated structure of the high spin state is established on a single-picosecond time scale and that this state has a lifetime of ~ 7 ps.
Near-IR imaging towards a puzzling YSO precessing jet
Creators: name: Paron, S.
name: Fariña, C.
name: Ortega, M. E.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: At present there are many studies concerning jets towards low-mass young stellar objects, while equivalent studies towards massive or intermediate-mass young stellar objects are scarce. In a previous study, we found highly misaligned molecular outflows towards the infrared point source IRS. Using near-IR data acquired with Gemini-NIRI at the JHKs-broad-bands and narrow-bands centered at the emission lines of [FeII], H2 1-0 S(1), H2 2-1 S(1), Br-gamma, and CO 2-0 (bh), we studied the circumstellar environment of IRS with an angular resolution between 0.35" and 0.45". The emission in the JHKs-broad-bands shows, with great detail, the presence of a cone-like shape nebula extending to the north/northeast of the point source, which appears to be attached to it by a jet-like structure. In the three bands the nebula is resolved in a twisted-shaped feature composed by two arc-like features and a bow shock-like structure seen mainly in the Ks-band, which strongly suggests the presence of a precessing jet. An analysis of proper motions based on our Gemini observations and UKIDSS data gives additional support to the precession scenario. We are presenting one of the best resolved cone-like nebula likely related to a precessing jet up to date. The analysis of the observed near-infrared lines shows that the H2 is collisionally excited, and the spatially coincidence of the [FeII] and H2 emissions in the closer arc-like feature suggests that this region is affected by a J-shock. The second arc-like feature presents H2 emission without [FeII] which suggests the presence of a nondisociative C-shock or a less energetic J-shock. The H2 1-0 S(1) continuum subtracted image, reveals several knots and filaments at a larger spatial scale around IRS, in perfect matching with the distribution of the red and blueshifted molecular outflows discovered in our previous work.
description: Accepted to be published in A&A (August 3, 2016)
High-efficiency photoelectric detector based on a p-n homojunction of monolayer black phosphorus
Creators: name: Zuo, Xueying
name: Cheng, Jingjing
name: Liang, Yulin
name: Xu, Fuming
name: Xing, Yanxia
Publisher: name: arXiv
Year: 2023
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: We numerically investigate the high-efficiency photovoltaic effect in lateral p-n homojunction based on monolayer black phosphorus (MBP) by using the non-equilibrium Green's function combined with the density functional theory. Due to the built-in electric field of the p-n junction and the wrinkle structure of MBP, the photocurrent excited by either linearly or elliptically polarized light is significantly enhanced in a wide photon energy range. Moreover, because of the electron-photon interaction, the photocurrent is related to atomic orbitals through the polarizing angle of polarized light. Therefore, we can read the orbital information of the band structure from the polarizing angular distribution of photocurrent. These findings suggest the promising application of MBP-based p-n homojunction in high-efficiency photoelectric devices and orbital-resolved photovoltaic detection.
Enhanced superconductivity accompanying a Lifshitz transition in electron-doped FeSe monolayer
Creators: name: Shi, X.
name: Han, Z. -Q.
name: Peng, X. -L.
name: Richard, P.
name: Qian, T.
name: Wu, X. -X.
name: Qiu, M. -W.
name: Wang, S. C.
name: Hu, J. P.
name: Sun, Y. -J.
name: Ding, H.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: The origin of enhanced superconductivity over 50 K in the recently discovered FeSe monolayer films grown on SrTiO$_{3}$ (STO), as compared to 8 K in bulk FeSe, is intensely debated. As with the ferrochalcogenides A$_{x}$Fe$_{2-y}$Se$_{2}$ and potassium doped FeSe, which also have a relatively high superconducting critical temperature ($T_c$), the Fermi surface (FS) of the FeSe/STO monolayer films is free of hole-like FS, suggesting that a Lifshitz transition by which these hole FSs vanish may help increasing $T_c$. However, the fundamental reasons explaining this increase of $T_c$ remain unclear. Here we report a 15 K jump of $T_c$ accompanying a second Lifshitz transition, characterized by the emergence of an electron pocket at the Brillouin zone (BZ) centre, that is triggered by high electron doping following in-situ deposition of potassium on FeSe/STO monolayer films. Our results suggest that the pairing interactions are orbital-dependent with the $d_{xy}$ orbital playing a determining role in generating enhanced superconductivity in FeSe.
description: 20 pages, 8 figures
KMOS view of the Galactic Centre - II. Metallicity distribution of late-type stars
Creators: name: Feldmeier-Krause, A.
name: Kerzendorf, W.
name: Neumayer, N.
name: Schödel, R.
name: Nogueras-Lara, F.
name: Do, T.
name: de Zeeuw, P. T.
name: Kuntschner, H.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: Knowing the metallicity distribution of stars in the Galactic Centre has important implications for the formation history of the Milky Way nuclear star cluster. However, this distribution is not well known, and is currently based on a small sample of fewer than 100 stars. We obtained near-infrared K-band spectra of more than 700 late-type stars in the central 4 pc^2 of the Milky Way nuclear star cluster with the integral-field spectrograph KMOS (VLT). We analyse the medium-resolution spectra using a full-spectral fitting method employing the Göttingen Spectral library of synthetic PHOENIX spectra. The derived stellar metallicities range from metal-rich [M/H]>+0.3 dex to metal-poor [M/H]0 dex) a globular cluster origin can be ruled out. As there is only a very low fraction of metal-poor stars in the central 4 pc^2 of the Galactic Centre, we believe that our data can discard a scenario in which the Milky Way nuclear star cluster is purely formed from infalling globular clusters.
description: 18 pages, 9 Figures, accepted for publication in MNRAS
Holographically emulating sequential versus instantaneous disappearance of vector mesons in a hot environment
Creators: name: Zöllner, Rico
name: Kampfer, Burkhard
Publisher: name: arXiv
Year: 2016
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: Descent extensions of the soft-wall model are used to accommodate two variants of Regge trajectories of vector meson excitations. At non-zero temperatures, various options for either sequential or instantaneous disappearance of vector mesons as normalisable modes are found, thus emulating deconfinement at a certain temperature in the order of the (pseudo-) critical temperature of QCD. The crucial role of the blackness function, which steers the thermodynamic properties of the considered system, is highlighted.
description: 11 pages
Superadiabatic forces in the dynamics of the one-dimensional Gaussian core model
Creators: name: Bernreuther, Elias
name: Schmidt, Matthias
Publisher: name: arXiv
Year: 2016
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: FOS: Physical sciences
subject: 82-C05

description: Using Brownian dynamics computer simulations we investigate the dynamics of the one-body density and one-body current in a one-dimensional system of particles that interact with a repulsive Gaussian pair potential. We systematically split the internal force distribution into an adiabatic part, which originates from the equilibrium free energy, and a superadiabatic contribution, which is neglected in dynamical density functional theory. We find a strong dependence of the magnitude and phase of the superadiabatic force distribution on the initial state of the system. While the magnitude of the superadiabatic force is small if the system evolves from an equilibrium state inside of a parabolic external potential, it is large for particles with equidistant initial separations at high temperature. We analyze these findings in the light of the known mean-field behavior of Gaussian core particles and discuss a multi-occupancy mechanism which generates superadiabatic forces that are out of phase with respect to the adiabatic force.
description: 13 pages, 7 figures
Timing Observations of PSR J1023+0038 During a Low-Mass X-ray Binary State
Creators: name: Jaodand, Amruta
name: Archibald, Anne M.
name: Hessels, Jason W. T.
name: Bogdanov, Slavko
name: D'Angelo, Caroline R.
name: Patruno, Alessandro
name: Bassa, Cees
name: Deller, Adam T.
Publisher: name: arXiv
Year: 2016
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: Transitional millisecond pulsars (tMSPs) switch, on roughly multi-year timescales, between rotation-powered radio millisecond pulsar (RMSP) and accretion-powered low-mass X-ray binary (LMXB) states. The tMSPs have raised several questions related to the nature of accretion flow in their LMXB state and the mechanism that causes the state switch. The discovery of coherent X-ray pulsations from PSR J1023+0038 (while in the LMXB state) provides us with the first opportunity to perform timing observations and to compare the neutron star's spin variation during this state to the measured spin-down in the RMSP state. Whereas the X-ray pulsations in the LMXB state likely indicate that some material is accreting onto the neutron star's magnetic polar caps, radio continuum observations indicate the presence of an outflow. The fraction of the inflowing material being ejected is not clear, but it may be much larger than that reaching the neutron star's surface. Timing observations can measure the total torque on the neutron star. We have phase-connected nine XMM-Newton observations of PSR J1023+0038 over the last 2.5 years of the LMXB state to establish a precise measurement of spin evolution. We find that the average spin-down rate as an LMXB is 26.8+/-0.4% faster than the rate (-2.39x10^-15 Hz s-1) determined during the RMSP state. This shows that negative angular momentum contributions (dipolar magnetic braking and outflow) exceed positive ones (accreted material), and suggests that the pulsar wind continues to operate at a largely unmodified level. We discuss implications of this tight observational constraint in the context of possible accretion models.
description: 19 pages, 7 Figures, Accepted for publication in the Astrophysical Journal
Regularized Pel-Recursive Motion Estimation Using Generalized Cross-Validation and Spatial Adaptation
Creators: name: Estrela, Vania V.
name: Rivera, Luis A.
name: Beggio, Paulo C.
name: Lopes, Ricardo T.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: FOS: Computer and information sciences

description: The computation of 2-D optical flow by means of regularized pel-recursive algorithms raises a host of issues, which include the treatment of outliers, motion discontinuities and occlusion among other problems. We propose a new approach which allows us to deal with these issues within a common framework. Our approach is based on the use of a technique called Generalized Cross-Validation to estimate the best regularization scheme for a given pixel. In our model, the regularization parameter is a matrix whose entries can account for diverse sources of error. The estimation of the motion vectors takes into consideration local properties of the image following a spatially adaptive approach where each moving pixel is supposed to have its own regularization matrix. Preliminary experiments indicate that this approach provides robust estimates of the optical flow.
description: 8 pages, 6 figures in Proceedings of the XVI Brazilian Symposium on Computer Graphics and Image Processing, 2003. SIBGRAPI 2003. IEEE. arXiv admin note: text overlap with arXiv:1403.7365, arXiv:1611.00960
Phase-flip chimera induced by environmental nonlocal coupling
Creators: name: Chandrasekar, V. K.
name: Gopal, R.
name: Senthilkumar, D. V.
name: Lakshmanan, M.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Adaptation and Self-Organizing Systems (nlin.AO)
subject: FOS: Physical sciences

description: We report the emergence of a collective dynamical state, namely phase-flip chimera, from an en- semble of identical nonlinear oscillators that are coupled indirectly via the dynamical variables from a common environment, which in turn are nonlocally coupled. The phase-flip chimera is character- ized by the coexistence of two adjacent out-of-phase synchronized coherent domains interspersed by an incoherent domain, in which the nearby oscillators are in out-of-phase synchronized states. At- tractors of the coherent domains are either from the same or different basins of attractions depending on whether they are periodic or chaotic. Conventional chimera precedes the phase-flip chimera in general. Further, the phase-flip chimera emerges after the completely synchronized evolution of the ensemble in contrast to conventional chimeras which emerge as an intermediate state between completely incoherent and coherent states. We have also characterized the observed dynamical transitions using the strength of incoherence, probability distribution of correlation coefficient and the framework of master stability function.
description: 11pages,12 figures, Accepted for publication in Phys. Rev. E
Nonadiabatic holonomic quantum computation based on commutation relation
Creators: name: Zhao, P. Z.
name: Tong, D. M.
Publisher: name: arXiv
Year: 2023
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Nonadiabatic holonomic quantum computation has received increasing attention due to the merits of both robustness against control errors and high-speed implementation. A crucial step in realizing nonadiabatic holonomic quantum computation is to remove the dynamical phase from the total phase. For this reason, previous schemes of nonadiabatic holonomic quantum computation have to resort to the parallel transport condition, i.e., requiring the instantaneous dynamical phase to be always zero. In this paper, we put forward a strategy to design nonadiabatic holonomic quantum computation, which is based on a commutation relation rather than the parallel transport condition. Instead of requiring the instantaneous dynamical phase to be always zero, the dynamical part of the total phase is separated from the geometric part and then removed by properly choosing evolution parameters. This strategy enhances the flexibility to realize nonadiabatic holonomic quantum computation as the commutation relation is more relaxed than the parallel transport condition. It provides more options for realizing nonadiabatic holonomic quantum computation and hence allows us to optimize realizations such as the evolution time and evolution paths.
description: 7 pages, 2 figures
New Moduli for Banach Spaces
Creators: name: Ivanov, Grigiry
name: Martini, Horst
Publisher: name: arXiv
Year: 2016
Subjects: subject: Functional Analysis (math.FA)
subject: FOS: Mathematics

description: Modifying the moduli of supporting convexity and supporting smoothness, we introduce new moduli for Banach spaces which occur, e.g., as lengths of catheti of right-angled triangles (defined via so-called quasi-orthogonality). These triangles have two boundary points of the unit ball of a Banach space as endpoints of their hypotenuse, and their third vertex lies in a supporting hyperplane of one of the two other vertices. Among other things it is our goal to quantify via such triangles the local deviation of the unit sphere from its supporting hyperplanes. We prove respective Day-Nordlander type results, involving generalizations of the modulus of convexity and the modulus of Banaś.
Deriving Abstract Interpreters from Skeletal Semantics
Creators: name: Jensen, Thomas
name: Rébiscoul, Vincent
name: Schmitt, Alan
Publisher: name: arXiv
Year: 2023
Subjects: subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences
subject: F.3.1

description: This paper describes a methodology for defining an executable abstract interpreter from a formal description of the semantics of a programming language. Our approach is based on Skeletal Semantics and an abstract interpretation of its semantic meta-language. The correctness of the derived abstract interpretation can be established by compositionality provided that correctness properties of the core language-specific constructs are established. We illustrate the genericness of our method by defining a Value Analysis for a small imperative language based on its skeletal semantics.
description: In Proceedings EXPRESS/SOS2023, arXiv:2309.05788
Timed Actors and Their Formal Verification
Creators: name: Sirjani, Marjan
name: Khamespanah, Ehsan
Publisher: name: arXiv
Year: 2023
Subjects: subject: Programming Languages (cs.PL)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: In this paper we review the actor-based language, Timed Rebeca, with a focus on its formal semantics and formal verification techniques. Timed Rebeca can be used to model systems consisting of encapsulated components which communicate by asynchronous message passing. Messages are put in the message buffer of the receiver actor and can be seen as events. Components react to these messages/events and execute the corresponding message/event handler. Real-time features, like computation delay, network delay and periodic behavior, can be modeled in the language. We explain how both Floating-Time Transition System (FTTS) and common Timed Transition System (TTS) can be used as the semantics of such models and the basis for model checking. We use FTTS when we are interested in event-based properties, and it helps in state space reduction. For checking the properties based on the value of variables at certain point in time, we use the TTS semantics. The model checking toolset supports schedulability analysis, deadlock and queue-overflow check, and assertion based verification of Timed Rebeca models. TCTL model checking based on TTS is also possible but is not integrated in the tool.
description: In Proceedings EXPRESS/SOS2023, arXiv:2309.05788
EXPRESSing Session Types
Creators: name: Castellani, Ilaria
name: Dardha, Ornela
name: Padovani, Luca
name: Sangiorgi, Davide
Publisher: name: arXiv
Year: 2023
Subjects: subject: Programming Languages (cs.PL)
subject: Distributed, Parallel, and Cluster Computing (cs.DC)
subject: FOS: Computer and information sciences

description: To celebrate the 30th edition of EXPRESS and the 20th edition of SOS we overview how session types can be expressed in a type theory for the standard $π$-calculus by means of a suitable encoding. The encoding allows one to reuse results about the $π$-calculus in the context of session-based communications, thus deepening the understanding of sessions and reducing redundancies in their theoretical foundations. Perhaps surprisingly, the encoding has practical implications as well, by enabling refined forms of deadlock analysis as well as allowing session type inference by means of a conventional type inference algorithm.
description: In Proceedings EXPRESS/SOS2023, arXiv:2309.05788
MUFASA: Galaxy star formation, gas, and metal properties across cosmic time
Creators: name: Davé, Romeel
name: Rafieferantsoa, Mika H.
name: Thompson, Robert J.
name: Hopkins, Philip F.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We examine galaxy star formation rates (SFRs), metallicities, and gas contents predicted by the MUFASA cosmological hydrodynamic simulations, which employ meshless hydrodynamics and novel feedback prescriptions that yield a good match to observed galaxy stellar mass assembly. We combine 50, 25, and 12.5 Mpc/h boxes with a quarter billion particles each to show that MUFASA broadly reproduces a wide range of relevant observations, including SFR and specific SFR functions, the mass-metallicity relation, HI and H2 fractions, HI (21 cm) and CO luminosity functions, and cosmic gas density evolution. There are mild but significant discrepancies, such as too many high-SFR galaxies, overly metal-rich and HI-poor galaxies at M*>10^{10} Mo, and sSFRs that are too low at z~1-2. The HI mass function increases by x2 out to z~1 then steepens to higher redshifts, while the CO luminosity function computed using the Narayanan et al. conversion factor shows a rapid increase of CO-bright galaxies out to z~2 in accord with data. Omega_HI and Omega_H2 both scale roughly as (1+z)^0.7 out to z~3, comparable to the rise in HI and H2 fractions. MUFASA galaxies with high SFR at a given M* have lower metallicities and higher HI and H2 fractions, following observed trends; we make quantitative predictions for how fluctuations in the baryon cycle drive correlated scatter around galaxy scaling relations. Most of these trends are well converged with numerical resolution. These successes highlight MUFASA as a viable platform to study many facets of cosmological galaxy evolution.
description: 19 pages, MNRAS submitted
The Way We Were: Structural Operational Semantics Research in Perspective
Creators: name: Aceto, Luca
name: Crescenzi, Pierluigi
name: Ingólfsdóttir, Anna
name: Mousavi, Mohammad Reza
Publisher: name: arXiv
Year: 2023
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences
subject: D.3.1; F.3.1

description: This position paper on the (meta-)theory of Structural Operational Semantic (SOS) is motivated by the following two questions: (1) Is the (meta-)theory of SOS dying out as a research field? (2) If so, is it possible to rejuvenate this field with a redefined purpose? In this article, we will consider possible answers to those questions by first analysing the history of the EXPRESS/SOS workshops and the data concerning the authors and the presentations featured in the editions of those workshops as well as their subject matters. The results of our quantitative and qualitative analyses all indicate a diminishing interest in the theory of SOS as a field of research. Even though `all good things must come to an end', we strive to finish this position paper on an upbeat note by addressing our second motivating question with some optimism. To this end, we use our personal reflections and an analysis of recent trends in two of the flagship conferences in the field of Programming Languages (namely POPL and PDLI) to draw some conclusions on possible future directions that may rejuvenate research on the (meta-)theory of SOS. We hope that our musings will entice members of the research community to breathe new life into a field of research that has been kind to three of the authors of this article.
description: In Proceedings EXPRESS/SOS2023, arXiv:2309.05788
Mode-decomposition based on crystallographic symmetry in the band-unfolding method
Creators: name: Ikeda, Yuji
name: Carreras, Abel
name: Seko, Atsuto
name: Togo, Atsushi
name: Tanaka, Isao
Publisher: name: arXiv
Year: 2016
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: The band-unfolding method is widely used to calculate the effective band structures of a disordered system from its supercell model. The unfolded band structures show the crystallographic symmetry of the underlying structure, where the difference of chemical components and the local atomic relaxation are ignored. It has been, however, still difficult to decompose the unfolded band structures into the modes based on the crystallographic symmetry of the underlying structure, and therefore detailed analyses of the unfolded band structures have been restricted. In this study, we develop a procedure to decompose the unfolded band structures according to the small representations (SRs) of the little groups. For this purpose, we derive the projection operators for SRs based on the group representation theory. We also introduce another type of projection operators for chemical elements, which enables us to decompose the unfolded band structures into the contributions of different combinations of chemical elements. Using the current method, we investigate the phonon band structure of disordered face-centered cubic Cu0.75Au0.25, which has large variations of atomic masses and force constants among the atomic sites due to the chemical disorder. We find several peculiar behaviors such as discontinuous and split branches in the unfolded phonon band structure. They are found to occur because different combinations of the chemical elements contribute to different regions of frequency.
Gas kinematics in powerful radio galaxies at z~2: Energy supply from star formation, AGN, and radio jet
Creators: name: Nesvadba, N.
name: Drouart, G.
name: De Breuck, C.
name: Best, P.
name: Seymour, N.
name: Vernet, J.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We compare the kinetic energy and momentum injection rates from intense star formation, bolometric AGN radiation, and radio jets with the kinetic energy and momentum observed in the warm ionized gas in 24 powerful radio galaxies at z~2. These galaxies are amongst our best candidates for being massive galaxies near the end of their active formation period, when intense star formation, quasar activity, and powerful radio jets all co-exist. All galaxies have VLT/SINFONI imaging spectroscopy of the rest-frame optical line emission, showing emission-line regions with large velocity offsets (up to 1500 km/s) and line widths (typically 800-1000 km/s) consistent with very turbulent, often outflowing gas. As part of the HeRGE sample, they also have FIR estimates of the star formation and quasar activity obtained with Herschel/PACS and SPIRE, which enables us to measure the relative energy and momentum release from each of the three main sources of feedback in massive, star-forming AGN host galaxies during their most rapid formation phase. We find that star formation falls short by factors 10-1000 of providing the energy and momentum necessary to power the observed gas kinematics. The obscured quasars in the nuclei of these galaxies provide enough energy and momentum in about half of the sample, however, only if these are transfered to the gas relatively efficiently. We compare with theoretical and observational constraints on the efficiency of the energy and momentum transfer from jet and AGN radiation, which advocates that the radio jet is the main driver of the gas kinematics.
description: A&A accepted. Comments welcome
Quantum Simulation of single-qubit thermometry using linear optics
Creators: name: Mancino, Luca
name: Sbroscia, Marco
name: Gianani, Ilaria
name: Roccia, Emanuele
name: Barbieri, Marco
Publisher: name: arXiv
Year: 2016
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Standard thermometry employs the thermalisation of a probe with the system of interest. This approach can be extended by incorporating the possibility of using the non-equilibrium states of the probe, and the presence of coherence. Here, we illustrate how these concepts apply to the single-qubit thermometer introduced by Jevtic et al. by performing a simulation of the qubit-environment interaction in a linear-optical device. We discuss the role of the coherence, and how this affects the usefulness of non-equilibrium conditions. The origin of the observed behaviour is traced back to the propensity to thermalisation, as captured by the Helmholtz free energy.
description: 6 pages, 6 figures
Root Cross Z-Complementary Pairs with Large ZCZ Width
Creators: name: Das, Shibsankar
name: Banerjee, Adrish
name: Liu, Zilong
Publisher: name: arXiv
Year: 2023
Subjects: subject: Information Theory (cs.IT)
subject: FOS: Computer and information sciences

description: In this paper, we present a new family of cross $Z$-complementary pairs (CZCPs) based on generalized Boolean functions and two roots of unity. Our key idea is to consider an arbitrary partition of the set $\{1,2,\cdots, n\}$ with two subsets corresponding to two given roots of unity for which two truncated sequences of new alphabet size determined by the two roots of unity are obtained. We show that these two truncated sequences form a new $q$-ary CZCP with flexible sequence length and large zero-correlation zone width. Furthermore, we derive an enumeration formula by considering the Stirling number of the second kind for the partitions and show that the number of constructed CZCPs increases significantly compared to the existing works.
description: This work has been presented in 2022 IEEE International Symposium on Information Theory (ISIT), Espoo, Finland
Analysis of the distribution of precipitable water vapor in the Chajnantor area
Creators: name: Cortés, Fernando
name: Reeves, Rodrigo
name: Bustos, Ricardo
Publisher: name: arXiv
Year: 2016
Subjects: subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: FOS: Physical sciences

description: In this work, we present results from a long-term precipitable water vapor (PWV) study in the Chajnantor area, in northern Chile. Data from several instruments located at relevant sites for sub-millimeter and mid-infrared astronomy were processed to obtain relations between the atmospheric conditions among the sites. The data used for this study can be considered the richest dataset to date, because of the geographical sampling of the region, including sites at different altitudes, a time span from 2005 to 2014, and the different techniques and instruments used for the measurements. We validate a method to convert atmospheric opacity from 350 $μ$m tipper radiometers to PWV. An average of 0.68 PWV ratio between Cerro Chajnantor and Llano of Chajnantor was found.
description: Published in Radio Science , 9 pages, 9 figures
Once more on parastatistics
Creators: name: Tolstoy, V. N.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Mathematical Physics (math-ph)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: Equivalence between algebraic structures generated by parastatisticstriple relations of Green (1953) and Greenberg -- Messiah (1965), and certain orthosymplectic $\mathbb{Z}_2\times \mathbb{Z}_2$-graded Lie superalgebras is found explicitly. Moreover, it is shown that such superalgebras give more complex para-Fermi and para-Bose systems then ones of Green -- Greenberg -- Messiah.
description: 8 pages, International Workshop "Supersymmetries and Quantum Symmetries - SQS'2013 ", Dubna, Russia, 2013
A Cancellation Law for Probabilistic Processes
Creators: name: van Glabbeek, Rob
name: Groote, Jan Friso
name: de Vink, Erik
Publisher: name: arXiv
Year: 2023
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.3.1

description: We show a cancellation property for probabilistic choice. If distributions mu + rho and nu + rho are branching probabilistic bisimilar, then distributions mu and nu are also branching probabilistic bisimilar. We do this in the setting of a basic process language involving non-deterministic and probabilistic choice and define branching probabilistic bisimilarity on distributions. Despite the fact that the cancellation property is very elegant and concise, we failed to provide a short and natural combinatorial proof. Instead we provide a proof using metric topology. Our major lemma is that every distribution can be unfolded into an equivalent stable distribution, where the topological arguments are required to deal with uncountable branching.
description: In Proceedings EXPRESS/SOS2023, arXiv:2309.05788
Using Pi-Calculus Names as Locks
Creators: name: Hirschkoff, Daniel
name: Prebet, Enguerrand
Publisher: name: arXiv
Year: 2023
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences
subject: F.3.2

description: Locks are a classic data structure for concurrent programming. We introduce a type system to ensure that names of the asynchronous pi-calculus are used as locks. Our calculus also features a construct to deallocate a lock once we know that it will never be acquired again. Typability guarantees two properties: deadlock-freedom, that is, no acquire operation on a lock waits forever; and leak-freedom, that is, all locks are eventually deallocated. We leverage the simplicity of our typing discipline to study the induced typed behavioural equivalence. After defining barbed equivalence, we introduce a sound labelled bisimulation, which makes it possible to establish equivalence between programs that manipulate and deallocate locks.
description: In Proceedings EXPRESS/SOS2023, arXiv:2309.05788
Parallel Pushdown Automata and Commutative Context-Free Grammars in Bisimulation Semantics (Extended Abstract)
Creators: name: Baeten, Jos C. M.
name: Luttik, Bas
Publisher: name: arXiv
Year: 2023
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.1.1; F.4.2

description: A classical theorem states that the set of languages given by a pushdown automaton coincides with the set of languages given by a context-free grammar. In previous work, we proved the pendant of this theorem in a setting with interaction: the set of processes given by a pushdown automaton coincides with the set of processes given by a finite guarded recursive specification over a process algebra with actions, choice, sequencing and guarded recursion, if and only if we add sequential value passing. In this paper, we look what happens if we consider parallel pushdown automata instead of pushdown automata, and a process algebra with parallelism instead of sequencing.
description: In Proceedings EXPRESS/SOS2023, arXiv:2309.05788. arXiv admin note: text overlap with arXiv:2203.01713
Uncertainty relation and inseparability criterion
Creators: name: Goswami, Ashutosh K.
name: Panigrahi, Prasanta K.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We investigate the Peres-Horodecki positive partial transpose (PPT) criterion in the context of conserved quantities and derive a condition of in- separability for a composite bipartite system depending only on the dimen- sions of its subsystems, which leads to a bi-linear entanglement witness for the two qubit system. A separability inequality using generalized Schrodinger- Robertson uncertainty relation taking suitable operators, has been derived, which proves to be stronger than the bi-linear entanglement witness operator. In the case of mixed density matrices, it identically distinguishes the separable and non separable Werner states.
description: 7 pages