title: Momentum distribution of Vinen turbulence in trapped atomic Bose-Einstein condensates

abstract: The decay of multicharged vortices in trapped Bose-Einstein condensates may lead to a disordered vortex state consistent with the Vinen regime of turbulence, characterized by an absence of large-scale flow and an incompressible kinetic energy spectrum $E\propto k^{-1}$. In this work, we study numerically the dynamics of a three-dimensional harmonically trapped Bose-Einstein condensate excited to a Vinen regime of turbulence through the decay of two doubly-charged vortices. First, we study the momentum distribution and observe the emergence of a power-law behavior $n(k)\propto k^{-3}$ consistent with the coexistence of wave turbulence. We also study the kinetic energy and particle fluxes, which allows us to identify a direct particle cascade associated with the turbulent stage.


title: Asymptotic Boundary Observability for the Schr\"odinger Equation on Simplices

abstract: We consider the Schr\"{o}dinger equation $(i\partial_t+\Delta)u=0$ on an $n$-dimensional simplex with Dirichlet boundary conditions. We use a commutator argument along with integration by parts to obtain an observability asymptotic for any one face of the simplex. Rather than the typical observability inequality, we are able to do better as we instead prove a large-time asymptotic.


title: EinsteinPy: A Community Python Package for General Relativity

abstract: This paper presents EinsteinPy (version 0.3), a community-developed Python package for gravitational and relativistic astrophysics. Python is a free, easy to use a high-level programming language which has seen a huge expansion in the number of its users and developers in recent years. Specifically, a lot of recent studies show that the use of Python in Astrophysics and general physics has increased exponentially. We aim to provide a very high level of abstraction, an easy to use interface and pleasing user experience. EinsteinPy is developed keeping in mind the state of a theoretical gravitational physicist with little or no background in computer programming and trying to work in the field of numerical relativity or trying to use simulations in their research. Currently, EinsteinPy supports simulation of time-like and null geodesics and calculates trajectories in different background geometries some of which are Schwarzschild, Kerr, and KerrNewmann along with coordinate inter-conversion pipeline. It has a partially developed pipeline for plotting and visualization with dependencies on libraries like Plotly, matplotlib, etc. One of the unique features of EinsteinPy is a sufficiently developed symbolic tensor manipulation utilities which are a great tool in itself for teaching yourself tensor algebra which for many beginner students can be overwhelmingly tricky. EinsteinPy also provides few utility functions for hypersurface embedding of Schwarzschild spacetime which further will be extended to model gravitational lensing simulation.


title: Spatial Indexing for System-Level Evaluation of 5G Heterogeneous Cellular Networks

abstract: System level simulations of large 5G networks are essential to evaluate and design algorithms related to network issues such as scheduling, mobility management, interference management, and cell planning. In this paper, we look back to the idea of spatial indexing and its advantages, applications, and future potentials in accelerating large 5G network simulations. We introduce a multi-level inheritance based architecture which is used to index all elements of a heterogeneous network (HetNet) on a single geometry tree. Then, we define spatial queries to accelerate searches in distance, azimuth, and elevation. We demonstrate that spatial indexing can accelerate location-based searches by 3 orders of magnitude. Further, the proposed design is implemented as an open source platform freely available to all.


title: Internal Parametricity for Cubical Type Theory

abstract: We define a computational type theory combining the contentful equality structure of cartesian cubical type theory with internal parametricity primitives. The combined theory supports both univalence and its relational equivalent, which we call relativity. We demonstrate the use of the theory by analyzing polymorphic functions between higher inductive types, observe how cubical equality regularizes parametric type theory, and examine the similarities and discrepancies between cubical and parametric type theory, which are closely related. We also abstract a formal interface to the computational interpretation and show that this also has a presheaf model.


title: Torsion free instanton sheaves on the blow-up of $\mathbb{P}^{3}$ at a point

abstract: We consider an extension of the instanton bundles definition, given by Casnati-Coskun-Genk-Malaspina, for Fano threefolds, in order to include non locally-free ones on the blow-up $\widetilde{\mathbb{P}^{3}},$ of the projective $3-$space at a point. With the proposed definition, we prove that any reflexive instanton sheaf must be locally free, and that the strictly torsion free instanton sheaves have singularities of pure dimension $1.$ We construct examples and study their $\mu-$stability. Furthermore, these sheaves will play a role in (partially) compactifying the t'Hooft component of the moduli space of instantons, on $\widetilde{\mathbb{P}^{3}}.$ Finally, examples of these are shown to be smooth and smoothable.


title: Properties of La$_{0.7}$Ca$_{0.3}$MnO$_3$ Under Extreme Tensile Strain

abstract: The complex phase diagram of manganites with simultaneously active spin, charge, orbital, and lattice degrees of freedom continues providing surprises. In a recent groundbreaking experiment, membranes of the perovskite manganite La$_{0.7}$Ca$_{0.3}$MnO$_3$ (LCMO) deposited on a flexible polymer layer were strained up to 8\% [S.~S. Hong {\it et al.}, Science {\bf 368}, 71 (2020)], much more than achieved by regular strain induced by a rigid substrate. By increasing this strain a metal-insulator transition was reported. Here we reproduce the results of the experiments using Monte Carlo simulations of the two-orbital double-exchange model including Jahn-Teller distortions, at hole density $x=1/3$. The full phase diagram with varying temperature and Jahn-Teller coupling $\lambda$ is presented. When the bandwidth $W$ of mobile electrons is reduced, thus when the effective Jahn-Teller coupling $\lambda/W$ is increased, a metal-insulator transition is found in our simulations, between a ferromagnetic metallic state with uniform charge distribution and an insulator with diagonal charge stripes that retains its ferromagnetic character. In between the hole-rich diagonals, staggered orbital order occurs. We also report resistivity and magnetization measurements alongside with spin correlations and charge structure factors. Our overall conclusions are in agreement with the recent experimental and density functional theory results by Hong {\it et al.}, and we confirm much earlier ground state predictions of striped ferromagnetic order using energy optimization techniques by T. Hotta {\it et al.}, Phys. Rev. Lett. {\bf 86}, 4922 (2001). The experimental observation of one of the states predicted by theory suggests that diagonal stripes could be achieved at other hole densities as well, such as $x=1/4$, if LCMO membranes with that hole doping were subject to similar strains.


title: The HST PanCET Program: An Optical to Infrared Transmission Spectrum of HAT-P-32Ab

abstract: We present a 0.3-5 micron transmission spectrum of the hot Jupiter HAT-P-32Ab observed with the Space Telescope Imaging Spectrograph (STIS) and Wide Field Camera 3 (WFC3) instruments mounted on the Hubble Space Telescope, combined with Spitzer Infrared Array Camera (IRAC) photometry. The spectrum is composed of 51 spectrophotometric bins with widths ranging between 150 and 400 \AA, measured to a median precision of 215 ppm. Comparisons of the observed transmission spectrum to a grid of 1D radiative-convective equilibrium models indicate the presence of clouds/hazes, consistent with previous transit observations and secondary eclipse measurements. To provide more robust constraints on the planet's atmospheric properties, we perform the first full optical to infrared retrieval analysis for this planet. The retrieved spectrum is consistent with a limb temperature of 1248$\pm$92 K, a thick cloud deck, enhanced Rayleigh scattering, and $\sim$10x solar H2O abundance. We find log($Z/Z_{\odot}$) = 2.41$_{-0.07}^{+0.06}$, in agreement with the mass-metallicity relation derived for the Solar System.


title: QCI Qbsolv Delivers Strong Classical Performance for Quantum-Ready Formulation

abstract: Many organizations that vitally depend on computation for their competitive advantage are keen to exploit the expected performance of quantum computers (QCs) as soon as quantum advantage is achieved. The best approach to deliver hardware quantum advantage for high-value problems is not yet clear. This work advocates establishing quantum-ready applications and underlying tools and formulations, so that software development can proceed now to ensure being ready for quantum advantage. This work can be done independently of which hardware approach delivers quantum advantage first. The quadratic unconstrained binary optimization (QUBO) problem is one such quantum-ready formulation. We developed the next generation of qbsolv, a tool that is widely used for sampling QUBOs on early QCs, focusing on its performance executing purely classically, and deliver it as a cloud service today. We find that it delivers highly competitive results in all of quality (low energy value), speed (time to solution), and diversity (variety of solutions). We believe these results give quantum-forward users a reason to switch to quantum-ready formulations today, reaping immediate benefits in performance and diversity of solution from the quantum-ready formulation,preparing themselves for quantum advantage, and accelerating the development of the quantum computing ecosystem.


title: From ImageNet to Image Classification: Contextualizing Progress on Benchmarks

abstract: Building rich machine learning datasets in a scalable manner often necessitates a crowd-sourced data collection pipeline. In this work, we use human studies to investigate the consequences of employing such a pipeline, focusing on the popular ImageNet dataset. We study how specific design choices in the ImageNet creation process impact the fidelity of the resulting dataset---including the introduction of biases that state-of-the-art models exploit. Our analysis pinpoints how a noisy data collection pipeline can lead to a systematic misalignment between the resulting benchmark and the real-world task it serves as a proxy for. Finally, our findings emphasize the need to augment our current model training and evaluation toolkit to take such misalignments into account. To facilitate further research, we release our refined ImageNet annotations at https://github.com/MadryLab/ImageNetMultiLabel.


title: Long short-term memory embedded nudging schemes for nonlinear data assimilation of geophysical flows

abstract: Reduced rank nonlinear filters are increasingly utilized in data assimilation of geophysical flows, but often require a set of ensemble forward simulations to estimate forecast covariance. On the other hand, predictor-corrector type nudging approaches are still attractive due to their simplicity of implementation when more complex methods need to be avoided. However, optimal estimate of nudging gain matrix might be cumbersome. In this paper, we put forth a fully nonintrusive recurrent neural network approach based on a long short-term memory (LSTM) embedding architecture to estimate the nudging term, which plays a role not only to force the state trajectories to the observations but also acts as a stabilizer. Furthermore, our approach relies on the power of archival data and the trained model can be retrained effectively due to power of transfer learning in any neural network applications. In order to verify the feasibility of the proposed approach, we perform twin experiments using Lorenz 96 system. Our results demonstrate that the proposed LSTM nudging approach yields more accurate estimates than both extended Kalman filter (EKF) and ensemble Kalman filter (EnKF) when only sparse observations are available. With the availability of emerging AI-friendly and modular hardware technologies and heterogeneous computing platforms, we articulate that our simplistic nudging framework turns out to be computationally more efficient than either the EKF or EnKF approaches.


title: The Fallibility of Contact-Tracing Apps

abstract: Since the onset of the COVID-19's global spread we have been following the debate around contact tracing apps -- the tech-enabled response to the pandemic. As corporations, academics, governments, and civil society discuss the right way to implement these apps, we noticed recurring implicit assumptions. The proposed solutions are designed for a world where Internet access and smartphone ownership are a given, people are willing and able to install these apps, and those who receive notifications about potential exposure to the virus have access to testing and can isolate safely. In this work we challenge these assumptions. We not only show that there are not enough smartphones worldwide to reach required adoption thresholds but also highlight a broad lack of internet access, which affects certain groups more: the elderly, those with lower incomes, and those with limited ability to socially distance. Unfortunately, these are also the groups that are at the highest risks from COVID-19. We also report that the contact tracing apps that are already deployed on an opt-in basis show disappointing adoption levels. We warn about the potential consequences of over-extending the existing state and corporate surveillance powers. Finally, we describe a multitude of scenarios where contact tracing apps will not help regardless of access or policy. In this work we call for a comprehensive and equitable policy response that prioritizes the needs of the most vulnerable, protects human rights, and considers long term impact instead of focusing on technology-first fixes.


title: Effect of the nearby levels on the resonance fluorescence spectrum of the atom-field interaction

abstract: We study the resonance fluorescence in the Jaynes-Cummings model when nearby levels are taking into account. We show that the Stark shift produced by such levels generates a displacement of the peaks of the resonance fluorescence due to an induced effective detuning and also induces an asymmetry. Specific results are presented assuming a coherent and a thermal fields.


title: Dualities for spin representations

abstract: Let $S$ be the spinor representation of $U_q\mathfrak{so}_N$, for $N$ odd and $q^2$ not a rooot of unity. We show that the commutant of its action on $S^{\otimes n}$ is given by a representation of the nonstandard quantum group $U'_{-q^2}\mathfrak{so}_n$. For $N$ even, an analogous statement also holds for $S=S_+\oplus S_-$ the direct sum of the irreducible spinor representations of $U'_q\mathfrak{so}_N$, with the commutant given by $U'_{-q}\mathfrak{o}_n$, a $\mathbb{Z}/2$-extension of $U'_{-q}\mathfrak{so}_n$. Similar statements also hold for fusion tensor categories with $q$ a root of unity.


title: Model Evidence with Fast Tree Based Quadrature

abstract: High dimensional integration is essential to many areas of science, ranging from particle physics to Bayesian inference. Approximating these integrals is hard, due in part to the difficulty of locating and sampling from regions of the integration domain that make significant contributions to the overall integral. Here, we present a new algorithm called Tree Quadrature (TQ) that separates this sampling problem from the problem of using those samples to produce an approximation of the integral. TQ places no qualifications on how the samples provided to it are obtained, allowing it to use state-of-the-art sampling algorithms that are largely ignored by existing integration algorithms. Given a set of samples, TQ constructs a surrogate model of the integrand in the form of a regression tree, with a structure optimised to maximise integral precision. The tree divides the integration domain into smaller containers, which are individually integrated and aggregated to estimate the overall integral. Any method can be used to integrate each individual container, so existing integration methods, like Bayesian Monte Carlo, can be combined with TQ to boost their performance. On a set of benchmark problems, we show that TQ provides accurate approximations to integrals in up to 15 dimensions; and in dimensions 4 and above, it outperforms simple Monte Carlo and the popular Vegas method.


title: Analytic SU(N) Skyrmions at finite Baryon density

abstract: We construct analytic (3+1)-dimensional Skyrmions living at finite Baryon density in the SU(N) Skyrme model that are not trivial embeddings of SU(2) into SU(N). We used Euler angles decomposition for arbitrary N and the generalized hedgehog Ansatz at finite Baryon density. The Skyrmions of high topological charge that we find represent smooth Baryonic layers whose properties can be computed explicitly. In particular, we determine the energy to Baryon charge ratio for any N showing the smoothness of the large N limit. The closeness to the BPS bound of these configurations can also be analyzed. The energy density profiles of these finite density Skyrmions have \textit{lasagna-like} shape in agreement with recent experimental findings. The shear modulus can be precisely estimated as well and our analytical result is close to recent numerical studies in the literature.


title: Why are most COVID-19 infection curves linear?

abstract: Many countries have passed their first COVID-19 epidemic peak. Traditional epidemiological models describe this as a result of non-pharmaceutical interventions that pushed the growth rate below the recovery rate. In this new phase of the pandemic many countries show an almost linear growth of confirmed cases for extended time-periods. This new containment regime is hard to explain by traditional models where infection numbers either grow explosively until herd immunity is reached, or the epidemic is completely suppressed (zero new cases). Here we offer an explanation of this puzzling observation based on the structure of contact networks. We show that for any given transmission rate there exists a critical number of social contacts, $D_c$, below which linear growth and low infection prevalence must occur. Above $D_c$ traditional epidemiological dynamics takes place, as e.g. in SIR-type models. When calibrating our corresponding model to empirical estimates of the transmission rate and the number of days being contagious, we find $D_c\sim 7.2$. Assuming realistic contact networks with a degree of about 5, and assuming that lockdown measures would reduce that to household-size (about 2.5), we reproduce actual infection curves with a remarkable precision, without fitting or fine-tuning of parameters. In particular we compare the US and Austria, as examples for one country that initially did not impose measures and one that responded with a severe lockdown early on. Our findings question the applicability of standard compartmental models to describe the COVID-19 containment phase. The probability to observe linear growth in these is practically zero.


title: Nonparametric inverse probability weighted estimators based on the highly adaptive lasso

abstract: Inverse probability weighted estimators are the oldest and potentially most commonly used class of procedures for the estimation of causal effects. By adjusting for selection biases via a weighting mechanism, these procedures estimate an effect of interest by constructing a pseudo-population in which selection biases are eliminated. Despite their ease of use, these estimators require the correct specification of a model for the weighting mechanism, are known to be inefficient, and suffer from the curse of dimensionality. We propose a class of nonparametric inverse probability weighted estimators in which the weighting mechanism is estimated via undersmoothing of the highly adaptive lasso, a nonparametric regression function proven to converge at $n^{-1/3}$-rate to the true weighting mechanism. We demonstrate that our estimators are asymptotically linear with variance converging to the nonparametric efficiency bound. Unlike doubly robust estimators, our procedures require neither derivation of the efficient influence function nor specification of the conditional outcome model. Our theoretical developments have broad implications for the construction of efficient inverse probability weighted estimators in large statistical models and a variety of problem settings. We assess the practical performance of our estimators in simulation studies and demonstrate use of our proposed methodology with data from a large-scale epidemiologic study.


title: Neural Bipartite Matching

abstract: Graph neural networks (GNNs) have found application for learning in the space of algorithms. However, the algorithms chosen by existing research (sorting, Breadth-First search, shortest path finding, etc.) usually align perfectly with a standard GNN architecture. This report describes how neural execution is applied to a complex algorithm, such as finding maximum bipartite matching by reducing it to a flow problem and using Ford-Fulkerson to find the maximum flow. This is achieved via neural execution based only on features generated from a single GNN. The evaluation shows strongly generalising results with the network achieving optimal matching almost 100% of the time.


title: How to Project onto an Arbitrary Single-Photon Wavepacket

abstract: The time-frequency degree of freedom of the electromagnetic field is the final frontier for single-photon measurements. The temporal and spectral distribution a measurement retrodicts (that is, the state it projects onto) is determined by the detector's intrinsic resonance structure. In this paper, we construct ideal and more realistic positive operator-valued measures (POVMs) that project onto arbitrary single-photon wavepackets with high efficiency and low noise. We discuss applications to super-resolved measurements and quantum communication. In doing so we will give a fully quantum description of the entire photo detection process, give prescriptions for (in principle) performing single-shot Heisenberg-limited time-frequency measurements of single photons, and discuss fundamental limits and trade-offs inherent to single-photon detection.


title: Dewetted Au nanoparticles on TiO$_2$ surfaces -- Evidence of a size-independent plasmonic photo-electrochemical response

abstract: Flat TiO$_2$ layers are deposited by magnetron sputtering on Ti/Si wafers. The TiO$_2$ surfaces are then sputter-coated with thin Au films of a nominal thickness of 0.5-10 nm that are converted by solid-state dewetting into Au nanoparticles of tuneable size and spacing; the Au nanoparticle size can be tuned over a broad range, i.e. ca. 3-200 nm. The Au-decorated TiO$_2$ surfaces enable plasmonic photo-electrochemical water splitting under visible light illumination (450-750 nm). The water splitting performance reaches a maximum for TiO$_2$ layers decorated with ~ 30 nm-sized Au particles. As expected, optical absorption measurements show a red shift of the plasmonic extinction band with increasing the Au nanoparticle size. However, the plasmonic photocurrent is found to peak at ~ 600 nm regardless of the size of the Au nanoparticles, i.e. the plasmonic photocurrent band position is size-independent. Such a remarkable observation can be ascribed to a hot electron injection cut-off effect.


title: Algebraic Global Gadgetry for Surjective Constraint Satisfaction

abstract: The constraint satisfaction problem (CSP) on a finite relational structure B is to decide, given a set of constraints on variables where the relations come from B, whether or not there is a assignment to the variables satisfying all of the constraints; the surjective CSP is the variant where one decides the existence of a surjective satisfying assignment onto the universe of B. We present an algebraic framework for proving hardness results on surjective CSPs; essentially, this framework computes global gadgetry that permits one to present a reduction from a classical CSP to a surjective CSP. We show how to derive a number of hardness results for surjective CSP in this framework, including the hardness of the disconnected cut problem, of the no-rainbow 3-coloring problem, and of the surjective CSP on all 2-element structures known to be intractable (in this setting). Our framework thus allows us to unify these hardness results, and reveal common structure among them; we believe that our hardness proof for the disconnected cut problem is more succinct than the original. In our view, the framework also makes very transparent a way in which classical CSPs can be reduced to surjective CSPs.


title: An online convex optimization algorithm for controlling linear systems with state and input constraints

abstract: This paper studies the problem of controlling linear dynamical systems subject to point-wise-in-time constraints. We present an algorithm similar to online gradient descent, that can handle time-varying and a priori unknown convex cost functions while restraining the system states and inputs to polytopic constraint sets. Analysis of the algorithm's performance, measured by dynamic regret, reveals that sublinear regret is achieved if the variation of the cost functions is sublinear in time. Finally, we present a simple example to illustrate implementation details as well as the algorithm's performance and show that the proposed algorithm ensures constraint satisfaction.


title: Examples and non-examples of integral categories and the admissible intersection property

abstract: Integral categories form a sub-class of pre-abelian categories whose systematic study was initiated by Rump in 2001. In the first part of this article we determine whether several categories of topological and bornological vector spaces are integral. Moreover, we establish that the class of integral categories is not contained in the class of quasi-abelian categories, and that there exist semi-abelian categories that are neither integral nor quasi-abelian. In the last part of the article we show that a category is quasi-abelian if and only if it has admissible intersections, in the sense considered recently by Br{\"u}stle, Hassoun and Tattar. This exhibits that a rich class of non-abelian categories having this property arises naturally in functional analysis.


title: On the connection between quark propagation and hadronization

abstract: We investigate the properties and structure of the recently discussed "fully inclusive jet correlator", namely, the gauge-invariant field correlator characterizing the final state hadrons produced by a free quark as this propagates in the vacuum. Working at the operator level, we connect this object to the single-hadron fragmentation correlator of a quark, and exploit a novel gauge invariant spectral decomposition technique to derive a complete set of momentum sum rules for quark fragmentation functions up to twist-3 level; known results are recovered, and new sum rules proposed. We then show how one can explicitly connect quark hadronization and dynamical quark mass generation by studying the inclusive jet's gauge-invariant mass term. This mass is, on the one hand, theoretically related to the integrated chiral-odd spectral function of the quark, and, on the other hand, is experimentally accessible through the $E$ and $\tilde{E}$ twist-3 fragmentation function sum rules. Thus, measurements of these fragmentation functions in deep inelastic processes provide one with an experimental gateway into the dynamical generation of mass in Quantum Chromodynamics.


title: Observation of Hermitian and Non-Hermitian Diabolic Points and Exceptional Rings in Parity-Time symmetric ZRC and RLC Dimers

abstract: We present the observation of diabolic points in Hermitian and non-Hermitian electronics dimers. The condition of unbreakable Parity-time symmetry is established for both PT-symmetric ZRC and RLC dimers. We show how appears non-Hermitian degeneracy points in the spectrum and how they are protected against a Hermitian perturbation. When a non- Hermitian perturbation is added in the setup, the non-Hermitian diabolic point (NHDP) turns into a ring of exceptional points as in some Dirac and Weyl semimetals. Some experimental simulations of oscillations around these particular points in LTspice are in perfect accordance with the one predicted analytically and numerically. This work opens a gold road for investigations on topological electrical circuits for robust transport of information at room temperature.


title: A simple bijective proof of a familiar derangement recurrence

abstract: It is well known that the derangement numbers $d_n$, which count permutations of length $n$ with no fixed points, satisfy the recurrence $d_n=nd_{n-1}+(-1)^n$ for $n\ge1$. Combinatorial proofs of this formula have been given by Remmel, Wilf, D\'esarm\'enien and Benjamin--Ornstein. Here we present yet another, arguably simpler, bijective proof.


title: Comparative Study of Machine Learning Models and BERT on SQuAD

abstract: This study aims to provide a comparative analysis of performance of certain models popular in machine learning and the BERT model on the Stanford Question Answering Dataset (SQuAD). The analysis shows that the BERT model, which was once state-of-the-art on SQuAD, gives higher accuracy in comparison to other models. However, BERT requires a greater execution time even when only 100 samples are used. This shows that with increasing accuracy more amount of time is invested in training the data. Whereas in case of preliminary machine learning models, execution time for full data is lower but accuracy is compromised.


title: Boundary RG Flows for Fermions and the Mod 2 Anomaly

abstract: Boundary conditions for Majorana fermions in d=1+1 dimensions fall into one of two SPT phases, associated to a mod 2 anomaly. Here we consider boundary conditions for 2N Majorana fermions that preserve a $U(1)^N$ symmetry. In general, the left-moving and right-moving fermions carry different charges under this symmetry, and implementation of the boundary condition requires new degrees of freedom, which manifest themselves in a boundary central charge, $g$. We follow the boundary RG flow induced by turning on relevant boundary operators. We identify the infra-red boundary state. In many cases, the boundary state flips SPT class, resulting in an emergent Majorana mode needed to cancel the anomaly. We show that the ratio of UV and IR boundary central charges is given by $g^2_{IR} / g^2_{UV} = {\rm dim}\,({\cal O})$, the dimension of the perturbing boundary operator. Any relevant operator necessarily has ${\rm dim}({\cal O}) < 1$, ensuring that the central charge decreases in accord with the g-theorem.


title: Java Decompiler Diversity and its Application to Meta-decompilation

abstract: During compilation from Java source code to bytecode, some information is irreversibly lost. In other words, compilation and decompilation of Java code is not symmetric. Consequently, decompilation, which aims at producing source code from bytecode, relies on strategies to reconstruct the information that has been lost. Different Java decompilers use distinct strategies to achieve proper decompilation. In this work, we hypothesize that the diverse ways in which bytecode can be decompiled has a direct impact on the quality of the source code produced by decompilers. In this paper, we assess the strategies of eight Java decompilers with respect to three quality indicators: syntactic correctness, syntactic distortion and semantic equivalence modulo inputs. Our results show that no single modern decompiler is able to correctly handle the variety of bytecode structures coming from real-world programs. The highest ranking decompiler in this study produces syntactically correct, and semantically equivalent code output for 84%, respectively 78%, of the classes in our dataset. Our results demonstrate that each decompiler correctly handles a different set of bytecode classes. We propose a new decompiler called Arlecchino that leverages the diversity of existing decompilers. To do so, we merge partial decompilation into a new one based on compilation errors. Arlecchino handles 37.6% of bytecode classes that were previously handled by no decompiler. We publish the sources of this new bytecode decompiler.


title: On the radial acceleration of disk galaxies

abstract: The physical processes defining the dynamics of disk galaxies are still poorly understood. Hundreds of articles have appeared in the literature over the last decades without arriving at an understanding within a consistent gravitational theory. Dark matter (DM) scenarios or a modification of Newtonian dynamics (MOND) are employed to model the non-Keplerian rotation curves in most of the studies, but the nature of DM and its interaction with baryonic matter remains an open question and MOND formulates a mathematical concept without a physical process. We have continued our attempts to use the impact theory of gravitation for a description of the peculiar acceleration and velocity curves and have considered five more galaxies. Using published data of the galaxies NGC 3198, NGC 2403, NGC 1090, UGC 3205 and NGC 1705, it has been possible to find good fits without DM for the observed disk velocities and, as example, also for the extraplanar matter of NGC 3198.


title: Privacy-Preserving Clustering of Unstructured Big Data for Cloud-Based Enterprise Search Solutions

abstract: Cloud-based enterprise search services (e.g., Amazon Kendra) are enchanting to big data owners by providing them with convenient search solutions over their enterprise big datasets. However, individuals and businesses that deal with confidential big data (eg, credential documents) are reluctant to fully embrace such services, due to valid concerns about data privacy. Solutions based on client-side encryption have been explored to mitigate privacy concerns. Nonetheless, such solutions hinder data processing, specifically clustering, which is pivotal in dealing with different forms of big data. For instance, clustering is critical to limit the search space and perform real-time search operations on big datasets. To overcome the hindrance in clustering encrypted big data, we propose privacy-preserving clustering schemes for three forms of unstructured encrypted big datasets, namely static, semi-dynamic, and dynamic datasets. To preserve data privacy, the proposed clustering schemes function based on statistical characteristics of the data and determine (A) the suitable number of clusters and (B) appropriate content for each cluster. Experimental results obtained from evaluating the clustering schemes on three different datasets demonstrate between 30% to 60% improvement on the clusters' coherency compared to other clustering schemes for encrypted data. Employing the clustering schemes in a privacy-preserving enterprise search system decreases its search time by up to 78%, while increases the search accuracy by up to 35%.


title: A De-biased Direct Question Approach to Measuring Consumers' Willingness to Pay

abstract: Knowledge of consumers' willingness to pay (WTP) is a prerequisite to profitable price-setting. To gauge consumers' WTP, practitioners often rely on a direct single question approach in which consumers are asked to explicitly state their WTP for a product. Despite its popularity among practitioners, this approach has been found to suffer from hypothetical bias. In this paper, we propose a rigorous method that improves the accuracy of the direct single question approach. Specifically, we systematically assess the hypothetical biases associated with the direct single question approach and explore ways to de-bias it. Our results show that by using the de-biasing procedures we propose, we can generate a de-biased direct single question approach that is accu-rate enough to be useful for managerial decision-making. We validate this approach with two studies in this paper.


title: Adaptive Network Response to Line Failures in Power Systems

abstract: Transmission line failures in power systems propagate and cascade non-locally. In this work, we propose an adaptive control strategy that offers strong guarantees in both the mitigation and localization of line failures. Specifically, we leverage the properties of network bridge-block decomposition and a frequency regulation method called the unified control. If the balancing areas over which the unified control operates coincide with the bridge-blocks of the network, the proposed strategy drives the post-contingency system to a steady state where the impact of initial line outages is localized within the areas where they occurred whenever possible, stopping the cascading process. When the initial line outages cannot be localized, the proposed control strategy provides a configurable design that progressively involves and coordinates more balancing areas. We compare the proposed control strategy with the classical Automatic Generation Control (AGC) on the IEEE 118-bus and 2736-bus test networks. Simulation results show that our strategy greatly improves overall reliability in terms of the N-k security standard, and localizes the impact of initial failures in the majority of the simulated contingencies. Moreover, the proposed framework incurs significantly less load loss, if any, compared to AGC, in all our case studies.


title: Line Failure Localization of Power Networks Part II: Cut Set Outages

abstract: Transmission line failure in power systems prop-agate non-locally, making the control of the resulting outages extremely difficult. In Part II of this paper, we continue the study of line failure localizability in transmission networks and characterize the impact of cut set outages. We establish a Simple Path Criterion, showing that the propagation pattern due to bridge outages, a special case of cut set failures, are fully determined by the positions in the network of the buses that participate in load balancing. We then extend our results to general cut set outages. In contrast to non-cut outages discussed in Part I whose subsequent line failures are contained within the original blocks, cut set outages typically impact the whole network, affecting the power flows on all remaining lines. We corroborate our analytical results in both parts using the IEEE 118-bus test system, in which the failure propagation patterns exhibit a clear block-diagonal structure predicted by our theory, even when using full AC power flow equations.


title: Decay of the pseudoscalar glueball into vector, axial-vector, scalar and pseudoscalar mesons

abstract: We resume the investigation of the ground-state pseudoscalar glueball, $J^{PC}=0^{-+}$, by computing its two- and three-body decays into vector and axial-vector quark-antiquark meson fields additional to scalar and pseudoscalar mesons through the construction of an interaction chiral Lagrangian that produces these decays. We evaluate the branching ratio, via a parameter-free calculation, by setting the mass of the pseudoscalar glueball to $2.6$ GeV as predicted by lattice QCD simulations. We duplicate the computation for the branching ratios for a pseudoscalar glueball mass $2.37$ GeV which matches to the measured mass of the resonance $X(2370)$ in the BESIII experiment. The present channels and states are potentially reached and are interesting for the running BESIII and Belle-II experiments and the planned PANDA experiment at FAIR/GSI which will be able to detect the pseudoscalar glueball within the accessible energy range.


title: Implications of a Quillen Model Structures-Based Framework for Locality under Logical Equivalence

abstract: In [15] a homotopic variation for locality of logics was presented, namely a Quillen model category-based framework for locality under logical equivalence, for every primitive-positive sentence of quantifier-rank $k$. In this paper, we will present some of the implications and possible themes for investigations that arise from the aforementioned framework.


title: The Great Escape: Tunneling out of Microstate Geometries

abstract: We compute the quasi-normal frequencies of scalars in asymptotically-flat microstate geometries that have the same charge as a D1-D5-P black hole, but whose long BTZ-like throat ends in a smooth cap. In general the wave equation is not separable, but we find a class of geometries in which the non-separable term is negligible and we can compute the quasi-normal frequencies using WKB methods. We argue that our results are a universal property of all microstate geometries with deeply-capped BTZ throats. These throats generate large redshifts, which lead to exceptionally-low-energy states with extremely long decay times, set by the central charge of the dual CFT to the power of twice the dimension of the operator dual to the mode. While these decay times are extremely long, we also argue that the energy decay is bounded, at large $t$, by $(log~t)^{-2}$ and is comparable with the behavior of ultracompact stars, as one should expect for microstate geometries.


title: Cyclic spacetimes through singularity scattering maps. The laws of quiescent bounces

abstract: For spacetimes containing quiescent singularity hypersurfaces we propose a general notion of junction conditions based on a prescribed singularity scattering map, as we call it, and we introduce the notion of a cyclic spacetime (also called a multiverse) consisting of spacetime domains bounded by spacelike or timelike singularity hypersurfaces, across which our scattering map is applied. A local existence theory is established here while, in a companion paper, we construct plane-symmetric cyclic spacetimes. We study the singularity data space consisting of the suitably rescaled metric, extrinsic curvature, and matter fields which can be prescribed on each side of the singularity, and for the class of so-called quiescent singularities we establish restrictions that a singularity scattering map must satisfy. We obtain a full characterization of all scattering maps that are covariant and ultralocal, in a sense we define and, in particular, we distinguish between, on the one hand, three laws of bouncing cosmology of universal nature and, on the other hand, model-dependent junction conditions. The theory proposed in this paper applies to spacelike and timelike hypersurfaces and without symmetry restriction. It encompasses bouncing-cosmology scenarios, both in string theory and in loop quantum cosmology, and puts strong restrictions on their possible explicit realizations.


title: Thermalization of large energy release in the early Universe

abstract: Spectral distortions of the cosmic microwave background (CMB) provide a unique tool for learning about the early phases of cosmic history, reaching deep into the primordial Universe. At redshifts $z<10^6$, thermalization processes become inefficient and existing limits from COBE/FIRAS imply that no more than $\Delta \rho/\rho<6\times 10^{-5}$ (95% c.l.) of energy could have been injected into the CMB. However, at higher redshifts, when thermalization is efficient, the constraint weakens and $\Delta \rho/\rho \simeq 0.01-0.1$ could in principle have occurred. Existing computations for the evolution of distortions commonly assume $\Delta \rho/\rho \ll 1$ and thus become inaccurate in this case. Similarly, relativistic temperature corrections become relevant for large energy release, but have previously not been modeled as carefully. Here we study the evolution of distortions and the thermalization process after single large energy release at $z>10^5$. We show that for large distortions the thermalization efficiency is significantly reduced and that the distortion visibility is sizeable to much earlier times. This tightens spectral distortions constraints on low-mass primordial black holes with masses $M_{\rm PBH} < 6\times 10^{11}$ g. Similarly, distortion limits on the amplitude of the small-scale curvature power spectrum at wavenumbers $k>10^4\,{\rm Mpc}^{-1}$ and short-lived decaying particles with lifetimes $t_X< 10^7$ s are tightened, however, these still require a more detailed time-dependent treatment. We also briefly discuss the constraints from measurements of the effective number of relativistic degrees of freedom and light element abundances and how these complement spectral distortion limits.


title: Quantifying Density-Ionization Correlations with the 21cm Power Spectrum

abstract: The Epoch of Reionization (EoR)---when neutral hydrogen in the intergalactic medium was systematically ionized---is a period in our Universe's history that is currently poorly understood. However, a key prediction of most models is a correlation between the density and ionization field during the EoR. This has consequences for the 21cm power spectrum. Here, we propose a parametrization for the density-ionization correlation and study the dependence of the 21cm power spectrum on this parameterization. We use this formalism to forecast the ability of current and future observations to constrain these correlations. We find that upper limits on the dimensionless power spectrum at redshifts $7.5 < z < 8.5$ using $k$ bins between $0.1\,\textrm{Mpc}^{-1} < k < 0.75\,\textrm{Mpc}^{-1}$ with error bars at the level of $\sim\!\!20\,\textrm{mK}^2$ about our fiducial model would rule out uncorrelated reionization at $99\%$ credibility. Beyond upper limits, we find that at its full sensitivity, the Hydrogen Epoch of Reionization Array (HERA) will be able to place strong constraints on the sign and magnitude of density-ionization correlations.


title: Phenomenology of NNLO jet production at the LHC and its impact on parton distributions

abstract: We present a systematic investigation of jet production at hadron colliders from a phenomenological point of view, with the dual aim of providing a validation of theoretical calculations and guidance to future determinations of parton distributions (PDFs). We account for all available inclusive jet and dijet production measurements from ATLAS and CMS at 7 and 8 TeV by including them in a global PDF determination, and comparing to theoretical predictions at NNLO QCD supplemented by electroweak (EW) corrections. We assess the compatibility of the PDFs, specifically the gluon, obtained before and after inclusion of the jet data. We compare the single-inclusive jet and dijet observables in terms of perturbative behaviour upon inclusion of QCD and EW corrections, impact on the PDFs, and global fit quality. In the single-inclusive case, we also investigate the role played by different scale choices and the stability of the results upon changes in modelling of the correlated experimental systematics.


title: Cosmic Inflation in Minimal $U(1)_{B-L}$ Model: Implications for (Non) Thermal Dark Matter and Leptogenesis

abstract: We study the possibility of realising cosmic inflation, dark matter (DM), baryon asymmetry of the universe (BAU) and light neutrino masses in non-supersymmetric minimal gauged $B-L$ extension of the standard model with three right handed neutrinos. The singlet scalar field responsible for spontaneous breaking of $B-L$ gauge symmetry also plays the role of inflaton by virtue of its non-minimal coupling to gravity. While the lightest right handed neutrino is the DM candidate, being stabilised by an additional $Z_2$ symmetry, we show by performing a detailed renormalisation group evolution (RGE) improved study of inflationary dynamics that thermal DM is generally overproduced due to insufficient annihilations through gauge and scalar portals. This happens due to strict upper limits obtained on gauge and other dimensionless couplings responsible for DM annihilation while assuming the non-minimal coupling to gravity to be at most of order unity. The non-thermal DM scenario is viable, with or without $Z_2$ symmetry, although in such a case the $B-L$ gauge sector remains decoupled from the inflationary dynamics due to tiny couplings. We also show that the reheat temperature predicted by the model prefers non-thermal leptogenesis with hierarchical right handed neutrinos while being consistent with other requirements.


title: A Systematic Approach to K\"ahler Moduli Stabilisation

abstract: Achieving full moduli stabilisation in type IIB string compactifications for generic Calabi-Yau threefolds with hundreds of K\"ahler moduli is notoriously hard. This is due not just to the very fast increase of the computational complexity with the number of moduli, but also to the fact that the scalar potential depends in general on the supergravity variables only implicitly. In fact, the supergravity chiral coordinates are 4-cycle volume moduli but the K\"ahler potential is an explicit function of the 2-cycle moduli and inverting between these two variables is in general impossible. In this paper we propose a general method to fix all type IIB K\"ahler moduli in a systematic way by working directly in terms of 2-cycle moduli: on one side we present a `master formula' for the scalar potential which can depend on an arbitrary number of K\"ahler moduli, while on the other we perform a computer-based search for critical points, introducing a hybrid Genetic/Clustering/Amoeba algorithm and other computational techniques. This allows us to reproduce several known minima, but also to discover new examples of both KKLT and LVS models, together with novel classes of LVS minima without diagonal del Pezzo divisors and hybrid vacua which share some features with KKLT and other with LVS solutions.


title: Observed sizes of planet-forming disks trace viscous evolution

abstract: The evolution of protoplanetary disks is dominated by the conservation of angular momentum, where the accretion of material onto the central star is driven by viscous expansion of the outer disk or by disk winds extracting angular momentum without changing the disk size. Studying the time evolution of disk sizes allows us therefore to distinguish between viscous stresses or disk winds as the main mechanism of disk evolution. Observationally, estimates of the disk gaseous outer radius are based on the extent of the CO rotational emission, which, during the evolution, is also affected by the changing physical and chemical conditions in the disk. We use physical-chemical DALI models to study how the extent of the CO emission changes with time in a viscously expanding disk and investigate to what degree this observable gas outer radius is a suitable tracer of viscous spreading and whether current observations are consistent with viscous evolution. We find that the gas outer radius (R_co) measured from our models matches the expectations of a viscously spreading disk: R_co increases with time and for a given time R_co is larger for a disk with a higher viscosity alpha_visc. However, in the extreme case where the disk mass is low (less than 10^-4 Msun) and alpha_visc is high (larger than 10^-2), R_co will instead decrease with time as a result of CO photodissociation in the outer disk. For most disk ages R_co is up to 12x larger than the characteristic size R_c of the disk, and R_co/R_c is largest for the most massive disk. As a result of this difference, a simple conversion of R_co to alpha_visc will overestimate the true alpha_visc of the disk by up to an order of magnitude. We find that most observed gas outer radii in Lupus can be explained using a viscously evolving disk that starts out small (R_c = 10 AU) and has a low viscosity (alpha_visc = 10^-4 - 10^-3).


title: Highlights of Exoplanetary Science from Spitzer

abstract: Observations of extrasolar planets were not projected to be a significant part of the Spitzer Space Telescope's mission when it was conceived and designed. Nevertheless, Spitzer was the first facility to detect thermal emission from a hot Jupiter, and the range of Spitzer's exoplanetary investigations grew to encompass transiting planets, microlensing, brown dwarfs, and direct imaging searches and astrometry. Spitzer used phase curves to measure the longitudinal distribution of heat as well as time-dependent heating on hot Jupiters. Spitzer's secondary eclipse observations strongly constrained the dayside thermal emission spectra and corresponding atmospheric compositions of hot Jupiters, and the timings of eclipses were used for studies of orbital dynamics. Spitzer's sensitivity to carbon-based molecules such as methane and carbon monoxide was key to atmospheric composition studies of transiting exoplanets as well as imaging spectroscopy of brown dwarfs, and complemented Hubble spectroscopy at shorter wavelengths. Spitzer's capability for long continuous observing sequences enabled searches for new transiting planets around cool stars, and helped to define the architectures of planetary systems like TRAPPIST-1. Spitzer measured masses for small planets at large orbital distances using microlensing parallax. Spitzer observations of brown dwarfs probed their temperatures, masses, and weather patterns. Imaging and astrometry from Spitzer was used to discover new planetary mass brown dwarfs and to measure distances and space densities of many others.


title: Thermodynamics of a two-step electroweak phase transition

abstract: New field content beyond that of the Standard Model of particle physics can alter the thermal history of electroweak symmetry breaking in the early universe. In particular, the symmetry breaking may have occurred through a sequence of successive phase transitions. We study the thermodynamics of such scenario in a real triplet extension of the Standard Model, using nonperturbative lattice simulations. Two-step electroweak phase transition is found to occur in a narrow region of allowed parameter space with the second transition always being first order. The first transition into the phase of non-vanishing triplet vacuum expectation value is first order in a non-negligible portion of the two-step parameter space. A comparison with 2-loop perturbative calculation is provided and significant discrepancies with the nonperturbative results are identified.


title: Evolution of gas disc-embedded intermediate mass ratio inspirals in the LISA band

abstract: Among the potential milliHz gravitational wave (GW) sources for the upcoming space-based interferometer LISA are extreme- or intermediate-mass ratio inspirals (EMRI/IMRIs). These events involve the coalescence of supermassive black holes in the mass range $10^5 M_{\odot} \lesssim M \lesssim 10^7 M_{\odot}$ with companion BHs of much lower masses. A subset of E/IMRIs are expected to occur in the accretion discs of active galactic nuclei (AGN), where torques exerted by the disc can interfere with the inspiral and cause a phase shift in the GW waveform. Here we use a suite of two-dimensional hydrodynamical simulations with the moving-mesh code DISCO to present a systematic study of disc torques. We measure torques on an inspiraling BH and compute the corresponding waveform deviations as a function of the binary mass ratio $q\equiv M_2/M_1$, the disc viscosity ($\alpha$), and gas temperature (or equivalently Mach number; $\mathcal{M}$). We find that the absolute value of the gas torques is within an order of magnitude of previously determined planetary migration torques, but their precise value and sign depends non-trivially on the combination of these parameters. The gas imprint is detectable by LISA for binaries embedded in AGN discs with surface densities above $\Sigma_0\ge10^{4-6} \rm \, g cm^{-2}$, depending on $q$, $\alpha$ and $\mathcal{M}$. Deviations are most pronounced in discs with higher viscosities, and for E/IMRIs detected at frequencies where LISA is most sensitive. Torques in colder discs exhibit a noticeable dependence on the GW-driven inspiral rate as well as strong fluctuations at late stages of the inspiral. Our results further suggest that LISA may be able to place constraints on AGN disc parameters and the physics of disc-satellite interaction.


title: On the impact of non-factorisable corrections in VBF single and double Higgs production

abstract: We study the factorisable and non-factorisable QCD corrections to Vector-Boson Fusion single and double Higgs production and show the combined corrections for both processes at $\mathcal{O}(\alpha_s^2)$. We investigate the validity of the eikonal approximation with and without selection cuts, and carry out an in-depth study of the relative size of the non-factorisable next-to-next-to-leading order corrections compared to the factorisable ones. In the case of single Higgs production, after selection cuts are applied, the non-factorisable corrections are found to be mostly contained within the factorisable scale uncertainty bands. When no cuts are applied, instead, the non-factorisable corrections are slightly outside the scale uncertainty band. Interestingly, for double Higgs production, we find that both before and after applying cuts, non-factorisable corrections are enhanced compared to the single Higgs case. We trace this enhancement to the existence of delicate cancellations between the various leading-order Feynman diagrams, which are partly spoiled by radiative corrections. All the studied contributions have been implemented in proVBFH v1.2.0 and proVBFHH v1.1.0.


title: Single-Agent Optimization Through Policy Iteration Using Monte-Carlo Tree Search

abstract: The combination of Monte-Carlo Tree Search (MCTS) and deep reinforcement learning is state-of-the-art in two-player perfect-information games. In this paper, we describe a search algorithm that uses a variant of MCTS which we enhanced by 1) a novel action value normalization mechanism for games with potentially unbounded rewards (which is the case in many optimization problems), 2) defining a virtual loss function that enables effective search parallelization, and 3) a policy network, trained by generations of self-play, to guide the search. We gauge the effectiveness of our method in "SameGame"---a popular single-player test domain. Our experimental results indicate that our method outperforms baseline algorithms on several board sizes. Additionally, it is competitive with state-of-the-art search algorithms on a public set of positions.


title: On the minimum number of Fox Colorings of Knots

abstract: We investigate Fox colorings of knots that are 17-colorable. Precisely, we prove that any 17-colorable knot has a diagram such that exactly 6 among the seventeen colors are assigned to the arcs of the diagram.


title: Assessment of the Performance of Ionospheric Models with NavIC Observations during Geomagnetic Storms

abstract: The paper presents an assessment of the performances of the global empirical models: International Reference Ionosphere (IRI)-2016 and the NeQuick2 model derived ionospheric Total Electron Content (TEC) with respect to the Navigation with Indian Constellation (NavIC)/ Indian Regional Navigation Satellite System(IRNSS) estimated TEC under geomagnetic storm conditions. The present study is carried out over Indore (Geographic: 22.52$^{\circ}$N 75.92$^{\circ}$E and Magnetic Dip: 32.23$^{\circ}$N, located close to the northern crest of the Equatorial Ionization Anomaly (EIA) region of the Indian sector). Analysis has been performed for an intense storm (September 6-10, 2017), a moderate storm (September 26-30, 2017) and a mild storm (January 17-21, 2018) that fall in the declining phase of the present solar cycle. It is observed that both IRI-2016 and NeQuick2 derived TEC are underestimates when compared with the observed TEC from NavIC and therefore fail to predict storm time changes in TEC over this region and requires real data inclusion from NavIC for better prediction over the variable Indian longitude sector.

categories: physics.space-ph astro-ph.EP astro-ph.SR physics.geo-ph physics.plasm-ph


title: R\'enyi entropies and area operator from gravity with Hayward term

abstract: In the context of the holographic duality, the entanglement entropy of ordinary QFT in a subregion in the boundary is given by a quarter of the area of an minimal surface embedded in the bulk spacetime. This rule has been also extended to a suitable one-parameter generalization of the von-Neuman entropy $\hat{S}_n$ that is related to the R\'enyi entropies $S_n$, as given by the area of a \emph{cosmic brane} minimally coupled with gravity, with a tension related to $n$ that vanishes as $n\to1$, and moreover, this parameter can be analytically extended to arbitrary real values. However, the brane action plays no role in the duality and cannot be considered a part of the theory of gravity, thus it is used as an auxiliary tool to find the correct background geometry. In this work we study the construction of the gravitational (reduced) density matrix from holographic states, whose wave-functionals are described as euclidean path integrals with arbitrary conditions on the asymptotic boundaries, and argue that in general, a non-trivial Hayward term must be haven into account. So we propose that the gravity model with a coupled Nambu-Goto action is not an artificial tool to account for the R\'enyi entropies, but it is present in the own gravity action through a Hayward term. As a result we show that the computations using replicas simplify considerably and we recover the holographic prescriptions for the measures of entanglement entropy; in particular, derive an area law for the original R\'enyi entropies ($S_n$) related to a minimal surface in the $n$ replicated spacetime. Moreover, we show that the gravitational modular flow contains the area operator and can explain the Jafferis-Lewkowycz-Maldacena-Suh proposal.


title: Flavor Broken QCD$_3$ at Large N

abstract: We examine the vacuum structure of QCD$_3$ with flavor group $U(f)\times U(N_f-f)$ in the limit $N\to\infty$ with $g^2N=$fixed. We find that, generically, the resolution of critical points into a series of first order pahse transitions persists at special locations in the phase diagram. In particular, the number of Grassmannians that one traverses and their locations in the phase diagram is a function of $f$.


title: Impossibility of memory in hidden-signaling models for quantum correlations

abstract: We consider a toy model for non-local quantum correlations in which nature resorts to some form of hidden signaling (i.e., signaling between boxes but not available to the users) to generate correlations. We show that if such a model also had memory, the parties would be able to exploit the hidden-signaling and use it to send a message, achieving faster-than-light communication. Given that memory is a resource easily available for any physical system, our results add evidence against hidden signaling as the mechanism behind nature's non-local behavior


title: Pulmonary Nodule Malignancy Classification Using its Temporal Evolution with Two-Stream 3D Convolutional Neural Networks

abstract: Nodule malignancy assessment is a complex, time-consuming and error-prone task. Current clinical practice requires measuring changes in size and density of the nodule at different time-points. State of the art solutions rely on 3D convolutional neural networks built on pulmonary nodules obtained from single CT scan per patient. In this work, we propose a two-stream 3D convolutional neural network that predicts malignancy by jointly analyzing two pulmonary nodule volumes from the same patient taken at different time-points. Best results achieve 77% of F1-score in test with an increment of 9% and 12% of F1-score with respect to the same network trained with images from a single time-point.


title: Superconducting Kondo phase in an orbitally-separated bilayer

abstract: The nature of superconductivity in heavy-fermion materials is a subject under intense debate, and controlling this many-body state is central for its eventual understanding. Here, we examine how proximity effects may change this phenomenon, by investigating the effects of an additional metallic layer on the top of a Kondo-lattice, and allowing for pairing in the former. We analyze a bilayer Kondo Lattice Model with an on-site Hubbard interaction, $-U$, on the additional layer, using a mean-field approach. For $U=0$, we notice a drastic change in the density-of-states due to multiple-orbital singlet resonating combinations. It destroys the well-known Kondo insulator at half filling, leading to a metallic ground state, which, in turn, enhances antiferromagnetism through the polarization of the conduction electrons. For $U\neq 0$, a superconducting Kondo state sets in at zero temperature, with the occurrence of unconventional pairing amplitudes involving $f$-electrons. We establish that this remarkable feature is only possible due to the proximity effects of the additional layer. At finite temperatures we find that the critical superconducting temperature, $T_c$, decreases with the interlayer hybridization. We have also established that a zero temperature superconducting amplitude tracks $T_c$, which reminisces the BCS proportionality between the superconducting gap and $T_c$.


title: Mathematical analysis and potential therapeutic implications of a novel HIV-1 model of basal and activated transcription in T-cells and macrophages

abstract: HIV-1 affects tens of millions of people worldwide. Current treatments often involve a cocktail of antiretroviral drugs, which are effective in reducing the virus and extending life spans. However, there is currently no FDA-approved HIV-1 transcription inhibitor. Furthermore, there have only been a few attempts to model the transcription process in HIV-1. In this work, we extend a novel three-state model of HIV-1 transcription introduced in DeMarino et al. (2020) that has been developed and validated against experimental data. After fitting this model to in vitro data, significant differences in the transcription process of HIV-1 in T-cells and macrophages have been observed. In particular, the activation of the HIV-1 promoter in T-cells appears to take place rapidly as the Tat protein approaches a critical threshold. In contrast, the same process occurs smoother in macrophages. In this work, we carry out systematic mathematical analyses of the model to complement experimental data fitting and sensitivity analysis performed earlier. We derive explicit solutions of the model to obtain exact transcription process decay rates for the original model and then study the effect of nonlinearity on the system behavior, including the existence and the local and global stability of the positive equilibrium. We were able to show the stability of the positive steady state in limiting cases, with the global stability in the general case remaining an open question. By modeling the effect of transcription-inhibiting drug therapy, we provide a nontrivial condition for it to be effective in reducing viral load. Moreover, our numerical simulations and analysis point out that the effect of the transcription-inhibitor can be enhanced by synchronizing with standard treatments, such as combination antiretroviral therapy, to allow the reduction of total dosages and toxicity.


title: The Discussion Tracker Corpus of Collaborative Argumentation

abstract: Although Natural Language Processing (NLP) research on argument mining has advanced considerably in recent years, most studies draw on corpora of asynchronous and written texts, often produced by individuals. Few published corpora of synchronous, multi-party argumentation are available. The Discussion Tracker corpus, collected in American high school English classes, is an annotated dataset of transcripts of spoken, multi-party argumentation. The corpus consists of 29 multi-party discussions of English literature transcribed from 985 minutes of audio. The transcripts were annotated for three dimensions of collaborative argumentation: argument moves (claims, evidence, and explanations), specificity (low, medium, high) and collaboration (e.g., extensions of and disagreements about others' ideas). In addition to providing descriptive statistics on the corpus, we provide performance benchmarks and associated code for predicting each dimension separately, illustrate the use of the multiple annotations in the corpus to improve performance via multi-task learning, and finally discuss other ways the corpus might be used to further NLP research.


title: Spectral analysis of the quiescent low-mass X-ray binary in the globular cluster M30

abstract: We present a recent Chandra observation of the quiescent low-mass X-ray binary containing a neutron star, located in the globular cluster M30. We fit the thermal emission from the neutron star to extract its mass and radius. We find no evidence of flux variability between the two observations taken in 2001 and 2017, nor between individual 2017 observations, so we analyse them together to increase the signal to noise. We perform simultaneous spectral fits using standard light-element composition atmosphere models (hydrogen or helium), including absorption by the interstellar medium, correction for pile-up of X-ray photons on the detector, and a power-law for count excesses at high photon energy. Using a Markov-chain Monte Carlo approach, we extract mass and radius credible intervals for both chemical compositions of the atmosphere: $R_{\textrm{NS}}=7.94^{+0.76}_{-1.21}$ km and $M_{\textrm{NS}}<1.19$ M$_{\odot}$ assuming pure hydrogen, and $R_{\textrm{NS}}=10.50^{+2.88}_{-2.03}$ km and $M_{\textrm{NS}}<1.78$ M$_{\odot}$ for helium, where the uncertainties represent the 90% credible regions. For H, the small radius is difficult to reconcile with most current nuclear physics models (especially for nucleonic equations of state) and with other measurements of neutron star radii, with recent preferred values generally in the 11-14 km range. Whereas for He, the measured radius is consistent with this range. We discuss possible sources of systematic uncertainty that may result in an underestimation of the radius, identifying the presence of surface temperature inhomogeneities as the most relevant bias. According to this, we conclude that either the atmosphere is composed of He, or it is a H atmosphere with a significant contribution of hot spots to the observed radiation.


title: The maximum modulus set of a quasiregular map

abstract: We study, for the first time, the maximum modulus set of a quasiregular map. It is easy to see that these sets are necessarily closed, and contain at least one point of each modulus. Blumenthal showed that for entire maps these sets are either the whole plane, or a countable union of analytic curves. We show that in the quasiregular case, by way of contrast, any closed set containing at least one point of each modulus can be attained as the maximum modulus set of a quasiregular map. These examples are all of polynomial type. We also show that, subject to an additional constraint, such sets can even be attained by quasiregular maps of transcendental type.


title: SentPWNet: A Unified Sentence Pair Weighting Network for Task-specific Sentence Embedding

abstract: Pair-based metric learning has been widely adopted to learn sentence embedding in many NLP tasks such as semantic text similarity due to its efficiency in computation. Most existing works employed a sequence encoder model and utilized limited sentence pairs with a pair-based loss to learn discriminating sentence representation. However, it is known that the sentence representation can be biased when the sampled sentence pairs deviate from the true distribution of all sentence pairs. In this paper, our theoretical analysis shows that existing works severely suffered from a good pair sampling and instance weighting strategy. Instead of one time pair selection and learning on equal weighted pairs, we propose a unified locality weighting and learning framework to learn task-specific sentence embedding. Our model, SentPWNet, exploits the neighboring spatial distribution of each sentence as locality weight to indicate the informative level of sentence pair. Such weight is updated along with pair-loss optimization in each round, ensuring the model keep learning the most informative sentence pairs. Extensive experiments on four public available datasets and a self-collected place search benchmark with 1.4 million places clearly demonstrate that our model consistently outperforms existing sentence embedding methods with comparable efficiency.


title: Microphone Array Based Surveillance Audio Classification

abstract: The work assessed seven classical classifiers and two beamforming algorithms for detecting surveillance sound events. The tests included the use of AWGN with -10 dB to 30 dB SNR. Data Augmentation was also employed to improve algorithms' performance. The results showed that the combination of SVM and Delay-and-Sum (DaS) scored the best accuracy (up to 86.0\%), but had high computational cost ($\approx $ 402 ms), mainly due to DaS. The use of SGD also seems to be a good alternative since it has achieved good accuracy either (up to 85.3\%), but with quicker processing time ($\approx$ 165 ms).


title: Exploring Hilbert space on a budget: Novel benchmark set and performance metric for testing electronic structure methods in the regime of strong correlation

abstract: This work explores the ability of classical electronic structure methods to efficiently represent (compress) the information content of full configuration interaction (FCI) wave functions. We introduce a benchmark set of four hydrogen model systems of different dimensionality and distinctive electronic structures: a 1D chain, a 1D ring, a 2D triangular lattice, and a 3D close-packed pyramid. To assess the ability of a computational method to produce accurate and compact wave functions, we introduce the accuracy volume, a metric that measures the number of variational parameters necessary to achieve a target energy error. Using this metric and the hydrogen models, we examine the performance of three classical deterministic methods: i) selected configuration interaction (sCI) realized both via an a posteriori and variational selection of the most important determinants, ii) rank-reduced FCI, obtained by an a posteriori singular value decomposition of the FCI tensor (SVD-FCI), and iii) the matrix product state representation obtained via the density matrix renormalization group (DMRG). We find that DMRG generally gives the most efficient wave function representation for all systems, particularly in the 1D chain with a localized basis. For the 2D and 3D systems, all methods perform best with a delocalized basis, and the efficiency of sCI is closer to that of DMRG, with the former having and accuracy volume approximately twice as large in the strong correlation regime. Compared to sCI, the SVD-FCI scheme is generally found to require a slightly larger number of parameters to achieve the same energy accuracy.


title: Influence of Dimensionality on the Charge Density Wave Phase of 2H-TaSe$_{2}$

abstract: Metallic transition metal dichalcogenides like tantalum diselenide (TaSe$_{2}$) exhibit exciting behaviors at low temperatures, including the emergence of charge density wave (CDW) states. In this work, density functional theory (DFT) is used to investigate how structural, electronic, and Raman spectral properties of the CDW configuration change as a function of thickness. Such findings highlight the influence of dimensionality change (from 2D to 3D) and van der Waals (vdW) interactions on the system properties. The vdW effect is most strongly present in bulk TaSe$_{2}$ in the spectral range 165 cm$^{-1}$ to 215 cm$^{-1}$. The phonons seen in the experimental Raman spectra are compared with the results calculated from the DFT models as a function of temperature and layer number. The matching of data and calculations substantiates the model's description of the CDW structural formation as a function of thickness, which is shown in depth for 1L through 6L systems. These results highlight the importance of understanding interlayer interactions, which are pervasive in many quantum phenomena involving two-dimensional confinement.


title: Logarithmic Models for Non-Dicritical Foliations

abstract: We show the existence of an essentially unique logarithmic model for any germ of non-dicritical singular holomorphic foliation of codimension one in $({\mathbb C}^n,0)$ without saddle-nodes.


title: A template-free approach for waveform extraction of gravitational wave events

abstract: We develop a general data-driven and template-free method for the extraction of event waveforms in the presence of background noise. Recent gravitational-wave observations provide one of the significant scientific areas requiring data analysis and waveform extraction capability. We use our method to find the waveforms for the reported events from the first, second, and third LIGO observation runs (O1, O2, and O3). Using the instantaneous frequencies derived by the Hilbert transform of the extracted waveforms, we provide the physical time delays between the arrivals of gravitational waves to the detectors.


title: A Tree Architecture of LSTM Networks for Sequential Regression with Missing Data

abstract: We investigate regression for variable length sequential data containing missing samples and introduce a novel tree architecture based on the Long Short-Term Memory (LSTM) networks. In our architecture, we employ a variable number of LSTM networks, which use only the existing inputs in the sequence, in a tree-like architecture without any statistical assumptions or imputations on the missing data, unlike all the previous approaches. In particular, we incorporate the missingness information by selecting a subset of these LSTM networks based on "presence-pattern" of a certain number of previous inputs. From the mixture of experts perspective, we train different LSTM networks as our experts for various missingness patterns and then combine their outputs to generate the final prediction. We also provide the computational complexity analysis of the proposed architecture, which is in the same order of the complexity of the conventional LSTM architectures for the sequence length. Our method can be readily extended to similar structures such as GRUs, RNNs as remarked in the paper. In the experiments, we achieve significant performance improvements with respect to the state-of-the-art methods for the well-known financial and real life datasets.


title: Size-Selective Optical Printing of Silicon Nanoparticles through Their Dipolar Magnetic Resonance

abstract: Silicon nanoparticles possess unique size-dependent optical properties due to their strong electric and magnetic resonances in the visible range. However, their widespread application has been limited, in comparison to other (e.g. metallic) nanoparticles, because their preparation on monodisperse colloids remains challenging. Exploiting the unique properties of Si nanoparticles in nano- and micro-devices calls for methods able to sort and organize them from a colloidal suspension onto specific positions of solid substrates with nanometric precision. Here, we demonstrate that surfactant-free Silicon nanoparticles of a predefined and narrow ($\sigma$ < 10 nm) size range can be selectively immobilized on a substrate by optical printing from a polydisperse colloidal suspension. The size selectivity is based on differential optical forces that can be applied on nanoparticles of different sizes by tuning the light wavelength to the size-dependent magnetic dipolar resonance of the nanoparticles.


title: Towards Open Domain Event Trigger Identification using Adversarial Domain Adaptation

abstract: We tackle the task of building supervised event trigger identification models which can generalize better across domains. Our work leverages the adversarial domain adaptation (ADA) framework to introduce domain-invariance. ADA uses adversarial training to construct representations that are predictive for trigger identification, but not predictive of the example's domain. It requires no labeled data from the target domain, making it completely unsupervised. Experiments with two domains (English literature and news) show that ADA leads to an average F1 score improvement of 3.9 on out-of-domain data. Our best performing model (BERT-A) reaches 44-49 F1 across both domains, using no labeled target data. Preliminary experiments reveal that finetuning on 1% labeled data, followed by self-training leads to substantial improvement, reaching 51.5 and 67.2 F1 on literature and news respectively.


title: Pressure-induced suppression of ferromagnetism in the itinerant ferromagnet LaCrSb$_3$

abstract: We have performed an extensive pressure-dependent structural, spectroscopic, and electrical transport study of LaCrSb$_3$. The ferromagnetic phase (T$_C$ = 120 K at p = 0 GPa) is fully suppressed by p = 26.5 GPa and the Cr-moment decreases steadily with increasing pressure. The unit cell volume decreases smoothly up to p = 55 GPa. We find that the bulk modulus and suppression of the magnetism are in good agreement with theoretical predictions, but the Cr-moment decreases smoothly with pressure, in contrast to steplike drops predicted by theory. The ferromagnetic ordering temperature appears to be driven by the Cr-moment.


title: Accelerate Cycle-Level Full-System Simulation of Multi-Core RISC-V Systems with Binary Translation

abstract: It has always been difficult to balance the accuracy and performance of ISSs. RTL simulators or systems such as gem5 are used to execute programs in a cycle-accurate manner but are often prohibitively slow. In contrast, functional simulators such as QEMU can run large benchmarks to completion in a reasonable time yet capture few performance metrics and fail to model complex interactions between multiple cores. This paper presents a novel multi-purpose simulator that exploits binary translation to offer fast cycle-level full-system simulations. Its functional simulation mode outperforms QEMU and, if desired, it is possible to switch between functional and timing modes at run-time. Cycle-level simulations of RISC-V multi-core processors are possible at more than 20 MIPS, a useful middle ground in terms of accuracy and performance with simulation speeds nearly 100 times those of more detailed cycle-accurate models.


title: Quantifying the Immediate Effects of the COVID-19 Pandemic on Scientists

abstract: The COVID-19 pandemic has undoubtedly disrupted the scientific enterprise, but we lack empirical evidence on the nature and magnitude of these disruptions. Here we report the results of a survey of approximately 4,500 Principal Investigators (PIs) at U.S.- and Europe-based research institutions. Distributed in mid-April 2020, the survey solicited information about how scientists' work changed from the onset of the pandemic, how their research output might be affected in the near future, and a wide range of individuals' characteristics. Scientists report a sharp decline in time spent on research on average, but there is substantial heterogeneity with a significant share reporting no change or even increases. Some of this heterogeneity is due to field-specific differences, with laboratory-based fields being the most negatively affected, and some is due to gender, with female scientists reporting larger declines. However, among the individuals' characteristics examined, the largest disruptions are connected to a usually unobserved dimension: childcare. Reporting a young dependent is associated with declines similar in magnitude to those reported by the laboratory-based fields and can account for a significant fraction of gender differences. Amidst scarce evidence about the role of parenting in scientists' work, these results highlight the fundamental and heterogeneous ways this pandemic is affecting the scientific workforce, and may have broad relevance for shaping responses to the pandemic's effect on science and beyond.


title: Real scalar field, non-relativistic limit, and cosmological expansion

abstract: The existing transformation from a relativistic real scalar field to a complex non-relativistic scalar field by Namjoo, Guth, and Kaiser is generalized from Minkowski space to a more general background metric. In that case the transformation is not purely algebraic any more but determined by a differential equation. We apply the generalized transformation to a real scalar with $\phi^4$ interaction on an Friedmann-Lema\^itre-Robertson-Walker cosmologically expanding background and calculate the resulting non-relativistic action up to second order in small parameters. We also show that the transformation can be interpreted as a Bogoliubov transformation between relativistic and non-relativistic creation and annihilation operators and comment on emerging symmetries in the non-relativistic theory.


title: Periodic quantum graphs with predefined spectral gaps

abstract: Let $\Gamma$ be an arbitrary $\mathbb{Z}^n$-periodic metric graph, which does not coincide with a line. We consider the Hamiltonian $\mathcal{H}_\varepsilon$ on $\Gamma$ with the action $-\varepsilon^{-1}{\mathrm{d}^2/\mathrm{d} x^2}$ on its edges; here $\varepsilon>0$ is a small parameter. Let $m\in\mathbb{N}$. We show that under a proper choice of vertex conditions the spectrum $\sigma(\mathcal{H}^\varepsilon)$ of $\mathcal{H}^\varepsilon$ has at least $m$ gaps as $\varepsilon$ is small enough. We demonstrate that the asymptotic behavior of these gaps and the asymptotic behavior of the bottom of $\sigma(\mathcal{H}^\varepsilon)$ as $\varepsilon\to 0$ can be completely controlled through a suitable choice of coupling constants standing in those vertex conditions. We also show how to ensure for fixed (small enough) $\varepsilon$ the precise coincidence of the left endpoints of the first $m$ spectral gaps with predefined numbers.


title: Photo-degradation Protection in 2D In-Plane Heterostructures Revealed by Hyperspectral Nanoimaging: the Role of Nano-Interface 2D Alloys

abstract: Single-layer heterostructures exhibit striking quasiparticle properties and many-body interaction effects that hold promise for a range of applications. However, their properties can be altered by intrinsic and extrinsic defects, thus diminishing their applicability. Therefore, it is of paramount importance to identify defects and understand 2D materials' degradation over time using advanced multimodal imaging techniques as well as stabilize degradation via built-in interface protection. Here we implemented a liquid-phase precursor approach to synthesize 2D in-plane MoS2-WS2 heterostructures exhibiting nanoscale alloyed interfaces and map exotic interface effects during photo-degradation using a novel combination of hyperspectral tip-enhanced photoluminescence, Raman and near-field nanoscopy. Surprisingly, 2D alloyed regions exhibit remarkable thermal and photo-degradation stability providing protection against oxidation. Coupled with surface and interface strain, 2D alloy regions create localized potential wells that concentrate excitonic species via a charge carrier funneling effect. These results provide a clear understanding of the importance of 2D alloys as systems able to withstand degradation effects over time, and could be now used to stabilize optoelectronic devices based on 2D materials.


title: Stable and expressive recurrent vision models

abstract: Primate vision depends on recurrent processing for reliable perception. A growing body of literature also suggests that recurrent connections improve the learning efficiency and generalization of vision models on classic computer vision challenges. Why then, are current large-scale challenges dominated by feedforward networks? We posit that the effectiveness of recurrent vision models is bottlenecked by the standard algorithm used for training them, "back-propagation through time" (BPTT), which has O(N) memory-complexity for training an N step model. Thus, recurrent vision model design is bounded by memory constraints, forcing a choice between rivaling the enormous capacity of leading feedforward models or trying to compensate for this deficit through granular and complex dynamics. Here, we develop a new learning algorithm, "contractor recurrent back-propagation" (C-RBP), which alleviates these issues by achieving constant O(1) memory-complexity with steps of recurrent processing. We demonstrate that recurrent vision models trained with C-RBP can detect long-range spatial dependencies in a synthetic contour tracing task that BPTT-trained models cannot. We further show that recurrent vision models trained with C-RBP to solve the large-scale Panoptic Segmentation MS-COCO challenge outperform the leading feedforward approach, with fewer free parameters. C-RBP is a general-purpose learning algorithm for any application that can benefit from expansive recurrent dynamics. Code and data are available at https://github.com/c-rbp.


title: A Catalog of Prominence Eruptions Detected Automatically in the SDO/AIA 304 \r{A} Images

abstract: We report on a statistical study of prominence eruptions (PEs) using a catalog of these events routinely imaged by the Atmospheric Imaging Assembly (AIA) on board the Solar Dynamics Observatory (SDO) in the 304 \r{A} pass band. Using an algorithm developed as part of an LWS project, we have detected PEs in 304 \r{A} synoptic images with 2-min cadence since May 2010. A catalog of these PEs is made available online (https://cdaw.gsfc.nasa.gov/CME_list/autope/). The 304 \r{A} images are polar-transformed and divided by a background map (pixels with minimum intensity during one day) to get the ratio maps above the limb. The prominence regions are defined as pixels with a ratio $\ge$2. Two prominence regions with more than 50% of pixels overlapping are considered the same prominence. If the height of a prominence increases monotonically in 5 successive images, it is considered eruptive. All the PEs seen above the limb are detected by the routine, but only PEs with width $\ge$15{\deg} are included in the catalog to eliminate polar jets and other small-scale mass motions. The identifications are also cross-checked with the PEs identified in Nobeyama Radioheliograph images (http://solar.nro.nao.ac.jp/norh/html/prominence/). The catalog gives the date, time, central position angle, latitude, and width of the eruptive prominence. The catalog also provides links to JavaScript movies that combine SDO/AIA images with GOES soft X-ray data to identify the associated flares, and with SOHO/LASCO C2 images to identify the associated coronal mass ejections. We examined the statistical properties of the PEs and found that the high-latitude PE speed decreased with the decreasing of the average polar magnetic field strength of the previous cycle.


title: Open-Retrieval Conversational Question Answering

abstract: Conversational search is one of the ultimate goals of information retrieval. Recent research approaches conversational search by simplified settings of response ranking and conversational question answering, where an answer is either selected from a given candidate set or extracted from a given passage. These simplifications neglect the fundamental role of retrieval in conversational search. To address this limitation, we introduce an open-retrieval conversational question answering (ORConvQA) setting, where we learn to retrieve evidence from a large collection before extracting answers, as a further step towards building functional conversational search systems. We create a dataset, OR-QuAC, to facilitate research on ORConvQA. We build an end-to-end system for ORConvQA, featuring a retriever, a reranker, and a reader that are all based on Transformers. Our extensive experiments on OR-QuAC demonstrate that a learnable retriever is crucial for ORConvQA. We further show that our system can make a substantial improvement when we enable history modeling in all system components. Moreover, we show that the reranker component contributes to the model performance by providing a regularization effect. Finally, further in-depth analyses are performed to provide new insights into ORConvQA.


title: Sharp negative differential resistance from vibrational mode softening in molecular junctions

abstract: We unravel the critical role of vibrational mode softening in single-molecule electronic devices at high bias. Our theoretical analysis is carried out with a minimal model for molecular junctions, with mode softening arising due to quadratic electron-vibration couplings, and by developing a mean-field approach. We discover that the negative sign of the quadratic electron-vibration coupling coefficient can realize at high voltage a sharp negative differential resistance (NDR) effect with a large peak-to-valley ratio. Calculated current-voltage characteristics, obtained based on ab initio parameters for a nitro-substituted oligo(phenylene ethynylene) junction, agree very well with measurements. Our results establish that vibrational mode softening is a crucial effect at high voltage, underlying NDR, a substantial diode effect, and the breakdown of current-carrying molecular junctions.


title: Empowering Multilevel DSMLs with Integrated Runtime Verification

abstract: Within Model-Driven Software Engineering, Domain-Specific Modelling has proven to be a powerful technique to specify systems and systems' behaviour in a formal, yet understandable way. Runtime verification (RV) has been successfully used to verify the correctness of such behaviour. Specifying behaviour requires managing various levels of abstractions, making multilevel modelling (MLM) a suitable approach for this task. In this paper, we present an approach to combine MLM and RV with an example from the domain of distributed real-time systems. The semantics of the specified behaviour as well as the evaluation of correctness properties are given by model transformation rules. This facilitates simulation of the system and checking against real-time temporal logic correctness properties.


title: Mixed Hodge structures in log symplectic geometry

abstract: We study the cohomology rings of snc log symplectic pairs $(X,Y)$ which have log symplectic forms of pure weight. We show that under a certain natural condition, the cohomology ring of $X \setminus Y$ exhibits the curious hard Lefschetz property. Analogous results are shown to hold for limit mixed Hodge structures associated to good degenerations of projective irreducible holomorphic symplectic manifolds. We provide several examples of log symplectic pairs of pure weight including a class of cluster-type varieties, and examples coming from the work of Feigin and Odesski. We show that the components of the central fiber of good degenerations of projective irreducible holomorphic symplectic manifolds produce log symplectic pairs.


title: Gleason Grading of Histology Prostate Images through Semantic Segmentation via Residual U-Net

abstract: Worldwide, prostate cancer is one of the main cancers affecting men. The final diagnosis of prostate cancer is based on the visual detection of Gleason patterns in prostate biopsy by pathologists. Computer-aided-diagnosis systems allow to delineate and classify the cancerous patterns in the tissue via computer-vision algorithms in order to support the physicians' task. The methodological core of this work is a U-Net convolutional neural network for image segmentation modified with residual blocks able to segment cancerous tissue according to the full Gleason system. This model outperforms other well-known architectures, and reaches a pixel-level Cohen's quadratic Kappa of 0.52, at the level of previous image-level works in the literature, but providing also a detailed localisation of the patterns.


title: Large-Scale Co-Simulation of Power Grid and Communication Network Models with Software in the Loop

abstract: Power grids are transitioning from an infrastructure model based on reactive electronics towards a smart grid that features complex software stacks with intelligent, pro-active and decentralized control. As the power grid infrastructure becomes a platform for software, so does the need for a reliable roll-out of software updates on a large scale. In order to validate resilient large-scale software roll-out protocols, corresponding test beds are needed, which mirror not only ICT networks, but also include the actual software being deployed, and show the interaction between the power grid and the ICT network during the roll-out, and especially during roll-out failures. In this paper, we describe the design implementation of a large-scale co-simulation test bed that combines ICT and power grid simulators. We pay specific attention to the details of integrating containerized software in the simulation loop.


title: Extremum Seeking Approach for Nonholonomic Systems with Multiple Time Scale Dynamics

abstract: In this paper, a class of nonlinear driftless control-affine systems satisfying the bracket generating condition is considered. A gradient-free optimization algorithm is developed for the minimization of a cost function along the trajectories of the controlled system. The algorithm comprises an approximation scheme with fast oscillating controls for the nonholonomic dynamics and a model-free extremum seeking component with respect to the output measurements. Exponential convergence of the trajectories to an arbitrary neighborhood of the optimal point is established under suitable assumptions on time scale parameters of the extended system. The proposed algorithm is tested numerically with the Brockett integrator for different choices of generating functions.