title: Mapping the narrow-line Seyfert 1 galaxy 1H 0323+342

abstract: Taking advantage of the most recent measurements by means of high-resolution radio observations and other multiwavelength campaigns, it is possible to elaborate a detailed map of the narrow-line Seyfert 1 Galaxy 1H 0323+342. This map will open the possibility of intriguing hypotheses about the generation of high-energy gamma rays in the narrow-line region.


title: The support of singular stochastic PDEs

abstract: We obtain a generalisation of the Stroock-Varadhan support theorem for a large class of systems of subcritical singular stochastic PDEs driven by a noise that is either white or approximately self-similar. The main problem that we face is the presence of renormalisation. In particular, it may happen in general that different renormalisation procedures yield solutions with different supports. One of the main steps in our construction is the identification of a subgroup $\mathcal{H}$ of the renormalisation group such that any renormalisation procedure determines a unique coset $g\circ\mathcal{H}$. The support of the solution then only depends on this coset and is obtained by taking the closure of all solutions obtained by replacing the driving noises by smooth functions in the equation that is renormalised by some element of $g\circ\mathcal{H}$. One immediate corollary of our results is that the $\Phi^4_3$ measure in finite volume has full support and that the associated Langevin dynamic is exponentially ergodic.


title: Inspecting adversarial examples using the Fisher information

abstract: Adversarial examples are slight perturbations that are designed to fool artificial neural networks when fed as an input. In this work the usability of the Fisher information for the detection of such adversarial attacks is studied. We discuss various quantities whose computation scales well with the network size, study their behavior on adversarial examples and show how they can highlight the importance of single input neurons, thereby providing a visual tool for further analyzing (un-)reasonable behavior of a neural network. The potential of our methods is demonstrated by applications to the MNIST, CIFAR10 and Fruits-360 datasets.


title: MOSS: End-to-End Dialog System Framework with Modular Supervision

abstract: A major bottleneck in training end-to-end task-oriented dialog system is the lack of data. To utilize limited training data more efficiently, we propose Modular Supervision Network (MOSS), an encoder-decoder training framework that could incorporate supervision from various intermediate dialog system modules including natural language understanding, dialog state tracking, dialog policy learning, and natural language generation. With only 60% of the training data, MOSS-all (i.e., MOSS with supervision from all four dialog modules) outperforms state-of-the-art models on CamRest676. Moreover, introducing modular supervision has even bigger benefits when the dialog task has a more complex dialog state and action space. With only 40% of the training data, MOSS-all outperforms the state-of-the-art model on a complex laptop network troubleshooting dataset, LaptopNetwork, that we introduced. LaptopNetwork consists of conversations between real customers and customer service agents in Chinese. Moreover, MOSS framework can accommodate dialogs that have supervision from different dialog modules at both the framework level and model level. Therefore, MOSS is extremely flexible to update in a real-world deployment.


title: Deep neural network for X-ray photoelectron spectroscopy data analysis

abstract: In this work, we characterize the performance of a deep convolutional neural network designed to detect and quantify chemical elements in experimental X-ray photoelectron spectroscopy data. Given the lack of a reliable database in literature, in order to train the neural network we computed a large ($>$100 k) dataset of synthetic spectra, based on randomly generated materials covered with a layer of adventitious carbon. The trained net performs as good as standard methods on a test set of $\approx$ 500 well characterized experimental X-ray photoelectron spectra. Fine details about the net layout, the choice of the loss function and the quality assessment strategies are presented and discussed. Given the synthetic nature of the training set, this approach could be applied to the automatization of any photoelectron spectroscopy system, without the need of experimental reference spectra and with a low computational effort.


title: Reinforcing Edge Computing with Multipath TCP Enabled Mobile Device Clouds

abstract: In recent years, enormous growth has been witnessed in the computational and storage capabilities of mobile devices. However, much of this computational and storage capabilities are not always fully used. On the other hand, popularity of mobile edge computing which aims to replace the traditional centralized powerful cloud with multiple edge servers is rapidly growing. In particular, applications having strict latency requirements can be best served by the mobile edge clouds due to a reduced round-trip delay. In this paper we propose a Multi-Path TCP (MPTCP) enabled mobile device cloud (MDC) as a replacement to the existing TCP based or D2D device cloud techniques, as it effectively makes use of the available bandwidth by providing much higher throughput as well as ensures robust wireless connectivity. We investigate the congestion in mobile-device cloud formation resulting mainly due to the message passing for service providing nodes at the time of discovery, service continuity and formation of cloud composition. We propose a user space agent called congestion handler that enable offloading of packets from one sub-flow to the other under link quality constraints. Further, we discuss the benefits of this design and perform preliminary analysis of the system.


title: Differential Approximation and Sprinting for Multi-Priority Big Data Engines

abstract: Today's big data clusters based on the MapReduce paradigm are capable of executing analysis jobs with multiple priorities, providing differential latency guarantees. Traces from production systems show that the latency advantage of high-priority jobs comes at the cost of severe latency degradation of low-priority jobs as well as daunting resource waste caused by repetitive eviction and re-execution of low-priority jobs. We advocate a new resource management design that exploits the idea of differential approximation and sprinting. The unique combination of approximation and sprinting avoids the eviction of low-priority jobs and its consequent latency degradation and resource waste. To this end, we designed, implemented and evaluated DiAS, an extension of the Spark processing engine to support deflate jobs by dropping tasks and to sprint jobs. Our experiments on scenarios with two and three priority classes indicate that DiAS achieves up to 90% and 60% latency reduction for low- and high-priority jobs, respectively. DiAS not only eliminates resource waste but also (surprisingly) lowers energy consumption up to 30% at only a marginal accuracy loss for low-priority jobs.


title: Moduli of roots of hyperbolic polynomials and Descartes' rule of signs

abstract: A real univariate polynomial with all roots real is called hyperbolic. By Descartes' rule of signs for hyperbolic polynomials (HPs) with all coefficients nonvanishing, a HP with $c$ sign changes and $p$ sign preservations in the sequence of its coefficients has exactly $c$ positive and $p$ negative roots. For $c=2$ and for degree $6$ HPs, we discuss the question: When the moduli of the $6$ roots of a HP are arranged in the increasing order on the real half-line, at which positions can be the moduli of its two positive roots depending on the positions of the two sign changes in the sequence of coefficients?


title: Birth of de Sitter Universe from time crystal

abstract: We show that a simple sub-class of Horndeski theory can describe a time crystal Universe. The time crystal Universe can be regarded as a baby Universe nucleated from a flat space, which is mediated by an extension of Giddings-Strominger instanton in a 2-form theory dual to the Horndeski theory. Remarkably, when a cosmological constant is included, de Sitter Universe can be created by tunneling from the time crystal Universe. It gives rise to a past completion of an inflationary Universe.


title: Inflation of 430-parsec bipolar radio bubbles in the Galactic Centre by an energetic event

abstract: The Galactic Centre contains a supermassive black hole with a mass of 4 million suns within an environment that differs markedly from that of the Galactic disk. While the black hole is essentially quiescent in the broader context of active galactic nuclei, X-ray observations have provided evidence for energetic outbursts from its surroundings. Also, while the levels of star formation in the Galactic Centre have been approximately constant over the last few hundred Myr, there is evidence of elevated short-duration bursts, strongly influenced by interaction of the black hole with the enhanced gas density present within the ring-like Central Molecular Zone at Galactic longitude |l| < 0.7 degrees and latitude |b| < 0.2 degrees. The inner 200 pc region is characterized by large amounts of warm molecular gas, a high cosmic ray ionization rate, unusual gas chemistry, enhanced synchrotron emission, and a multitude of radio-emitting magnetised filaments, the origin of which has not been established. Here we report radio imaging that reveals bipolar bubbles spanning 1 degree x 3 degrees (140 parsecs x 430 parsecs), extending above and below the Galactic plane and apparently associated with the Galactic Centre. The structure is edge-brightened and bounded, with symmetry implying creation by an energetic event in the Galactic Centre. We estimate the age of the bubbles to be a few million years, with a total energy of 7 x 10^52 ergs. We postulate that the progenitor event was a major contributor to the increased cosmic-ray density in the Galactic Centre, and is in turn the principal source of the relativistic particles required to power the synchrotron emission of the radio filaments within and in the vicinity of the bubble cavities.


title: $\mathcal{Z}$-symmetries of $(\epsilon)$-para-Sasakian 3-manifolds

abstract: The object of this paper is study $(\epsilon)$-para-Sasakian 3-manifolds satisfying certain conditions on the $\mathcal{Z}$ tensor. We characterize, $\mathcal{Z}$-symmetric; $\mathcal{Z}$-semisymmetric; $\mathcal{Z}$-pseudosymmetric; and projectively $\mathcal{Z}$-semisymmetric conditions on an $(\epsilon)$-para-Sasakian 3-manifold.


title: Pattern formation in a driven Bose-Einstein Condensate

abstract: Pattern formation is ubiquitous in nature from morphogenesis and cloud formation to galaxy filamentation. More often than not, patterns arise in a medium driven far from equilibrium due to the interplay of dynamical instability and nonlinear wave mixing. We report, based on momentum and real space pattern recognition, formation of density patterns with two- (D$_2$), four- (D$_4$) and six-fold (D$_6$) symmetries in Bose-Einstein condensates (BECs) with atomic interactions driven at two frequencies. The symmetry of the pattern is controlled by the ratio of the frequencies. The D$_6$ density waves, in particular, arise from a resonant wave mixing process that coherently correlates and enhances the excitations that respect the symmetry.


title: Tasks in Modular Proofs of Concurrent Algorithms

abstract: Proving correctness of distributed or concurrent algorithms is a mind-challenging and complex process. Slight errors in the reasoning are difficult to find, calling for computer-checked proof systems. In order to build computer-checked proofs with usual tools, such as Coq or TLA+, having sequential specifications of all base objects that are used as building blocks in a given algorithm is a requisite to provide a modular proof built by composition. Alas, many concurrent objects do not have a sequential specification. This article describes a systematic method to transform any task, a specification method that captures concurrent one-shot distributed problems, into a sequential specification involving two calls, Set and Get. This transformation allows system designers to compose proofs, thus providing a framework for modular computer-checked proofs of algorithms designed using tasks and sequential objects as building blocks. The Moir&Anderson implementation of renaming using splitters is an iconic example of such algorithms designed by composition.


title: Observing and Controlling a Tamm Plasmon at the Interface with a Metasurface

abstract: We demonstrate experimentally that Tamm plasmons in the near-IR can be supported by a dielectric mirror interfaced with a metasurface, a discontinuous thin metal film periodically patterned on the sub-wavelength scale. More crucially, not only do Tamm plasmons survive the nano-patterning of the metal film, but they also become sensitive to external perturbations, as a result. In particular, by depositing a nematic liquid crystal on the outer side of the metasurface we were able to red-shift the spectral position of Tamm plasmon by 35 nm, while electrical switching of the liquid crystal enabled us to tune the wavelength of this notoriously inert excitation within a 10 nm range.


title: Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs

abstract: The fundamental model-checking problem, given as input a model and a specification, asks for the algorithmic verification of whether the model satisfies the specification. Two classical models for reactive systems are graphs and Markov decision processes (MDPs). A basic specification formalism in the verification of reactive systems is the strong fairness (aka Streett) objective, where given different types of requests and corresponding grants, the requirement is that for each type, if the request event happens infinitely often, then the corresponding grant event must also happen infinitely often. All omega-regular objectives can be expressed as Streett objectives and hence they are canonical in verification. Consider graphs/MDPs with n vertices, m edges, and a Streett objectives with k pairs, and let b denote the size of the description of the Streett objective for the sets of requests and grants. The current best-known algorithm for the problem requires time $O(min(n^2, m \sqrt{m \log n}) + b \log n)$. In this work, we present randomized near-linear time algorithms, with expected running time $\widetilde{O}(m + b)$, where the $\widetilde{O}$ notation hides poly-log factors. Our randomized algorithms are near-linear in the size of the input, and hence optimal up to poly-log factors.


title: Trigger developments for the fluorescence detector of EUSO-TA and EUSO-SPB2

abstract: The JEM-EUSO program aims at detecting Ultra High Energy Cosmic Rays (UHECRs) by observing the fluorescence light produced by extensive air showers (EAS) in the Earth's atmosphere. Within this program, a new generation of missions is being built, including (i) Mini-EUSO that will be installed on board the ISS in August 2019, (ii) an upgrade to the ground-based telescope EUSO-TA and (iii) the second super pressure balloon flight (EUSO-SPB2). All these detectors will have a dedicated trigger system based on a board equipped with a Xilinx Zynq device that will be able to detect different types of events on three different time-scales: a microsecond time-scale for cosmic ray detection (L1), a hundreds of microsecond time-scale for slower events like transient luminous events (TLEs) (L2), and a tens of millisecond time-scale used to produce a continuous monitoring, for even slower events like meteors or nuclearites. The L1 trigger logic for the upgrade of EUSO-TA and EUSO-SPB2 are being developed taking into account the peculiarity of each detector (optic system, FOV, frame length) starting from the logic already developed for Mini-EUSO. In particular, every pixel will have an independent threshold that will be dynamically adapted to the level of the background; a predetermined condition on the number, the position and the time distribution of pixels above threshold has to be satisfied in order to issue a trigger. This contribution will summarize the L1 trigger logics and the tests currently performed.


title: A birational Torelli theorem with a Brauer class

abstract: Let $\text{M}_C( 2, \mathcal{O}_C) \cong \mathbb{P}^3$ denote the coarse moduli space of semistable vector bundles of rank $2$ with trivial determinant over a smooth projective curve $C$ of genus $2$ over $\mathbb{C}$. Let $\beta_C$ denote the natural Brauer class over the stable locus. We prove that if $f^*( \beta_{C'}) = \beta_C$ for some birational map $f$ from $\text{M}_C( 2, \mathcal{O}_C)$ to $\text{M}_{C'}( 2, \mathcal{O}_{C'})$, then the Jacobians of $C$ and of $C'$ are isomorphic as abelian varieties. If moreover these Jacobians do not admit real multiplication, then the curves $C$ and $C'$ are isomorphic. Similar statements hold for Kummer surfaces in $\mathbb{P}^3$ and for quadratic line complexes.


title: Quantile regression methods for first-price auctions

abstract: The paper proposes a quantile-regression inference framework for first-price auctions with symmetric risk-neutral bidders under the independent private-value paradigm. It is first shown that a private-value quantile regression generates a quantile regression for the bids. The private-value quantile regression can be easily estimated from the bid quantile regression and its derivative with respect to the quantile level. This also allows to test for various specification or exogeneity null hypothesis using the observed bids in a simple way. A new local polynomial technique is proposed to estimate the latter over the whole quantile level interval. Plug-in estimation of functionals is also considered, as needed for the expected revenue or the case of CRRA risk-averse bidders, which is amenable to our framework. A quantile-regression analysis to USFS timber is found more appropriate than the homogenized-bid methodology and illustrates the contribution of each explanatory variables to the private-value distribution. Linear interactive sieve extensions are proposed and studied in the Appendices.


title: CP asymmetry in $\tau\to K_S\pi\nu_\tau$ decays within the Standard Model and beyond

abstract: Motivated by the $2.8\sigma$ discrepancy observed between the BaBar measurement and the Standard Model prediction of the CP asymmetry in $\tau\to K_S\pi\nu_\tau$ decays, as well as the prospects of future measurements at Belle II, we revisit this observable in this paper. Firstly, we reproduce the known CP asymmetry due to $K^0 -\bar{K}^0$ mixing by means of the reciprocal basis, which is convenient when a $K_{S(L)}$ is involved in the final state. As the $K\pi$ tensor form factor plays a crucial role in generating a non-zero direct CP asymmetry that can arise only from the interference of vector and tensor operators, we then present a dispersive representation of this form factor, with its phase obtained in the context of chiral theory with resonances, which fulfills the requirements of unitarity and analyticity. Finally, the $\tau\to K_S\pi\nu_\tau$ decays are analyzed both within a model-independent low-energy effective theory framework and in a scalar leptoquark scenario. It is observed that the CP anomaly can be accommodated in the model-independent framework, even at the $1\sigma$ level, together with the constraint from the branching ratio of $\tau^-\to K_S\pi^-\nu_\tau$ decay; it can be, however, marginally reconciled only at the $2\sigma$ level, due to the specific relation between the scalar and tensor operators in the scalar leptoquark scenario. Once the combined constraints from the branching ratio and the decay spectrum of this decay are taken into account, these possibilities are however both excluded, even without exploiting further the stronger bounds from the (semi-)leptonic kaon decays under the assumption of lepton-flavour universality, as well as from the neutron electric dipole moment and $D-\bar{D}$ mixing under the assumption of $SU(2)$ invariance of the weak interactions.


title: On the hamiltonian formulation of an octonionic integrable extension for the Korteweg-de Vries equation

abstract: We present in this work the hamiltonian formulation of an octonionic extension for the Korteweg-de Vries equation. The formulation takes into account the non commmutativity and non associativity of the implicit algebra which defines the equation. We also analize the Poisson structure of the hamiltonian formulation. We propose a parametric master Lagrangian which contains the two hamiltonian structures of the integrable octonionic equation.


title: A characterization of the nowhere differentiable functions of the Generalized Takagi Class

abstract: In this paper, we prove that for some Generalized Takagi Classes, in particular for the Takagi-Van der Waerden Class, the functions are nowhere differentiable if, and only if, the sequence of weights does not belong to $c_0$.


title: Learning First-Order Symbolic Representations for Planning from the Structure of the State Space

abstract: One of the main obstacles for developing flexible AI systems is the split between data-based learners and model-based solvers. Solvers such as classical planners are very flexible and can deal with a variety of problem instances and goals but require first-order symbolic models. Data-based learners, on the other hand, are robust but do not produce such representations. In this work we address this split by showing how the first-order symbolic representations that are used by planners can be learned from non-symbolic inputs that encode the structure of the state space. The representation learning problem is formulated as the problem of inferring planning instances over a common but unknown first-order domain that account for the structure of the observed state space. This means to infer a complete first-order representation (i.e. general action schemas, relational symbols, and objects) that explains the observed state space structures. The inference problem is cast as a two-level combinatorial search where the outer level searches for values of a small set of hyperparameters and the inner level, solved via SAT, searches for a first-order symbolic model. The framework is shown to produce general and correct first-order representations for standard problems like Gripper, Blocksworld, and Hanoi from input graphs that encode the flat state-space structure of a single instance.


title: Boundary element methods for acoustic scattering by fractal screens

abstract: We study boundary element methods for time-harmonic scattering in $\mathbb{R}^n$ ($n=2,3$) by a fractal planar screen, assumed to be a non-empty bounded subset $\Gamma$ of the hyperplane $\Gamma_\infty=\mathbb{R}^{n-1}\times \{0\}$. We consider two distinct cases: (i) $\Gamma$ is a relatively open subset of $\Gamma_\infty$ with fractal boundary (e.g.\ the interior of the Koch snowflake in the case $n=3$); (ii) $\Gamma$ is a compact fractal subset of $\Gamma_\infty$ with empty interior (e.g.\ the Sierpinski triangle in the case $n=3$). In both cases our numerical simulation strategy involves approximating the fractal screen $\Gamma$ by a sequence of smoother "prefractal" screens, for which we compute the scattered field using boundary element methods that discretise the associated first kind boundary integral equations. We prove sufficient conditions on the mesh sizes guaranteeing convergence to the limiting fractal solution, using the framework of Mosco convergence. We also provide numerical examples illustrating our theoretical results.


title: Classification of anomaly-free 2HDMs with a gauged U(1)' symmetry

abstract: Two-Higgs-doublet models (2HDMs) with a flavored U(1)' gauge symmetry are a popular extension to the Standard Model (SM), yet they currently lack a complete survey. In this paper, we present a full classification of anomaly-free 2HDMs within the SM fermion content, resulting in a total of eleven distinct models. Four of these are relatively well-studied, while the rest either partially, or entirely, lack previous treatment. We study these textures under a variety of experimental bounds, focusing mainly on the previously unexplored models. This work is intended to act as a catalog to models worth considering in greater detail.


title: Gaussian Random Measures Generated by Berry's Nodal Sets

abstract: We consider vectors of random variables, obtained by restricting the length of the nodal set of Berry's random wave model to a finite collection of (possibly overlapping) smooth compact subsets of $\mathbb{R}^2$. Our main result shows that, as the energy diverges to infinity and after an adequate normalisation, these random elements converge in distribution to a Gaussian vector, whose covariance structure reproduces that of a homogeneous independently scattered random measure. A by-product of our analysis is that, when restricted to rectangles, the dominant chaotic projection of the nodal length field weakly converges to a standard Wiener sheet, in the Banach space of real-valued continuous mappings over a fixed compact set. An analogous study is performed for complex-valued random waves, in which case the nodal set is a locally finite collection of random points.


title: Height variation of magnetic field and plasma flows in isolated bright points

abstract: The expansion with height of the solar photospheric magnetic field and the plasma flows is investigated for three isolated bright points (BPs). The BPs were observed simultaneously with 3 instruments at the GREGOR telescope: (1) filtergrams in the blue with HiFI, (2) imaging spectroscopy of Na I D2 at 5890 A with GFPI, and (3) slit spectropolarimetry with GRIS. Inversions were carried out for the Si I 10827 A Stokes profiles. BPs are identified in Ca II H and blue continuum filtergrams. They are also detected in the blue wing of Na I D2 and Si I 10827 A, as well as in Ca I 10839 A line-core images. We carried out two studies to validate the expansion of the magnetic field with height. First, we compare the photospheric Stokes V signals of two different spectral lines that are sensitive to different optical depths (Ca I vs. Si I). The area at which the Stokes V signal is significantly large is almost three times larger for the Si I line - sensitive to higher layers - than for the Ca I one. Second, the inferred line-of-sight (LOS) magnetic fields at two optical depths (log tau = -1.0 vs. -2.5) from the Si I line reveal spatially broader fields in the higher layer, up to 51% more extensive in one of the BPs. The dynamics of BPs are tracked along the Na I D2 and Si I lines. The inferred flows from Na I D2 Doppler shifts are slow in BPs (< 1 km/s). The Si I line shows intriguing Stokes profiles with important asymmetries. The analysis of these profiles unveils the presence of two components, a fast and a slow one, within the same resolution element. The faster one, with a smaller filling factor of 0.3, exhibits LOS velocities of about 6 km/s. The slower component is slightly blueshifted. The present work provides observational evidence for the expansion of the magnetic field with height. Moreover, fast flows are likely present in BPs but are often hidden because of observational limitations.


title: Using Lagrangian descriptors to uncover invariant structures in Chesnavich's Isokinetic Model with application to roaming

abstract: Complementary to existing applications of Lagrangian descriptors as an exploratory method, we use Lagrangian descriptors to find invariant manifolds in a system where some invariant structures have already been identified. In this case we use the parametrisation of a periodic orbit to construct a Lagrangian descriptor that will be locally minimised on its invariant manifolds. The procedure is applicable (but not limited) to systems with highly unstable periodic orbits, such as the isokinetic Chesnavich CH4+ model subject to a Hamiltonian isokinetic theromostat. Aside from its low computational requirements, the method enables us to study the invariant structures responsible for roaming in the isokinetic Chesnavich CH4+ model.


title: GUP black hole remnants in quadratic gravity

abstract: The Hawking radiation of static, spherically symmetric, asymptotically flat solutions in quadratic gravity, is here explored. The emitted fermions are governed by the Dirac equation in the generalized uncertainty principle (GUP) context, that probes the spacetime (quantum) nature. The Hawking thermal spectrum is scrutinized out of the tunnelling method and the WKB procedure. The Hawking flux is shown to vanish for small black holes, for a precise combination of the GUP parameter and the coupling constants that drive the gravitational interaction in quadratic gravity, yielding absolutely stable black hole remnants.


title: CUNI System for the Building Educational Applications 2019 Shared Task: Grammatical Error Correction

abstract: In this paper, we describe our systems submitted to the Building Educational Applications (BEA) 2019 Shared Task (Bryant et al., 2019). We participated in all three tracks. Our models are NMT systems based on the Transformer model, which we improve by incorporating several enhancements: applying dropout to whole source and target words, weighting target subwords, averaging model checkpoints, and using the trained model iteratively for correcting the intermediate translations. The system in the Restricted Track is trained on the provided corpora with oversampled "cleaner" sentences and reaches 59.39 F0.5 score on the test set. The system in the Low-Resource Track is trained from Wikipedia revision histories and reaches 44.13 F0.5 score. Finally, we finetune the system from the Low-Resource Track on restricted data and achieve 64.55 F0.5 score, placing third in the Unrestricted Track.


title: Cubic surfaces on the singular locus of the Eckardt hypersurface

abstract: The Eckardt hypersurface in $\mathbb{P}^{19}$ parameterizes smooth cubic surfaces with an Eckardt point, which is a point common to three of the $27$ lines on a smooth cubic surface. We describe the cubic surfaces lying on the singular locus of the model of this hypersurface in $\mathbb{P}^4$, obtained via restriction to the space of cubic surfaces possessing a so-called Sylvester form. We prove that inside the moduli of cubics, the singular locus corresponds to a reducible surface with two rational irreducible components intersecting along two rational curves. The two curves intersect in two points corresponding to the Clebsch and the Fermat cubic surfaces. We observe that the cubic surfaces parameterized by the two components or the two rational curves are distinguished by the number of Eckardt points and automorphism groups.


title: Ground based observation of ZZ Ceti stars and the discovery of four new variables

abstract: We perform ground based photometric observations of 22 DA white dwarf stars, 10 already known ZZ Cetis and 12 candidates with atmospheric parameters inside the classical instability strip. We report on the discovery of four new variable DA white dwarf stars. Two objects are near the middle of the instability strip, SDSS J082804.63+094956.6 and SDSS J094929.09+101918.8, and two red edge pulsators, GD 195 and L495-82. In addition, we classified four objects as possible variables, since evidence of variability was detected in the light curve, but the S/N was not sufficient to establish a definite detection. Follow-up observations were performed for 10 know ZZ Ceti stars to verify period stability and search for new periodicities. For each confirmed variable, we perform a detailed asteroseismological fit and compare the structural parameters obtained from the best fit models with those obtained from spectroscopy and photometry from Gaia. Finally we present a study of the asteroseismological properties of a sample of 91 ZZ Ceti stars.


title: Choreography of divisors on algebraic curves

abstract: For a non-singular real algebraic projective curve, topological restrictions on a closed motion of a simple real divisor in its linear equivalence class are found.


title: Modular Meta-Learning with Shrinkage

abstract: Many real-world problems, including multi-speaker text-to-speech synthesis, can greatly benefit from the ability to meta-learn large models with only a few task-specific components. Updating only these task-specific modules then allows the model to be adapted to low-data tasks for as many steps as necessary without risking overfitting. Unfortunately, existing meta-learning methods either do not scale to long adaptation or else rely on handcrafted task-specific architectures. Here, we propose a meta-learning approach that obviates the need for this often sub-optimal hand-selection. In particular, we develop general techniques based on Bayesian shrinkage to automatically discover and learn both task-specific and general reusable modules. Empirically, we demonstrate that our method discovers a small set of meaningful task-specific modules and outperforms existing meta-learning approaches in domains like few-shot text-to-speech that have little task data and long adaptation horizons. We also show that existing meta-learning methods including MAML, iMAML, and Reptile emerge as special cases of our method.


title: Self-powered sensors enabled by wide-bandgap perovskite indoor photovoltaic cells

abstract: We present a new approach to ubiquitous sensing for indoor applications, using high-efficiency and low-cost indoor perovksite photovoltaic cells as external power sources for backscatter sensors. We demonstrate wide-bandgap perovskite photovoltaic cells for indoor light energy harvesting with the 1.63eV and 1.84 eV devices demonstrate efficiencies of 21% and 18.5% respectively under indoor compact fluorescent lighting, with a champion open-circuit voltage of 0.95 V in a 1.84 eV cell under a light intensity of 0.16 mW/cm2. Subsequently, we demonstrate a wireless temperature sensor self-powered by a perovskite indoor light-harvesting module. We connect three perovskite photovoltaic cells in series to create a module that produces 14.5 uW output power under 0.16 mW/cm2 of compact fluorescent illumination with an efficiency of 13.2%. We use this module as an external power source for a battery-assisted RFID temperature sensor and demonstrate a read range by of 5.1 meters while maintaining very high frequency measurements every 1.24 seconds. Our combined indoor perovskite photovoltaic modules and backscatter radio-frequency sensors are further discussed as a route to ubiquitous sensing in buildings given their potential to be manufactured in an integrated manner at very low-cost, their lack of a need for battery replacement and the high frequency data collection possible.


title: Critical intermittency in rational maps

abstract: Intermittent dynamics is characterized by long periods of different types of dynamical characteristics, for instance almost periodic dynamics alternated by chaotic dynamics. Critical intermittency is intermittent dynamics that can occur in iterated function systems, and involves a superattracting periodic orbit. This paper will provide and study examples of iterated function systems by two rational maps on the Riemann sphere that give rise to critical intermittency. The main ingredient for this is a superattracting fixed point for one map that is mapped onto a common repelling fixed point by the other map. We include a study of topological properties such as topological transitivity.


title: Estimation and Applications of Quantile Regression for Binary Longitudinal Data

abstract: This paper develops a framework for quantile regression in binary longitudinal data settings. A novel Markov chain Monte Carlo (MCMC) method is designed to fit the model and its computational efficiency is demonstrated in a simulation study. The proposed approach is flexible in that it can account for common and individual-specific parameters, as well as multivariate heterogeneity associated with several covariates. The methodology is applied to study female labor force participation and home ownership in the United States. The results offer new insights at the various quantiles, which are of interest to policymakers and researchers alike.


title: The Mass Inflow and Outflow Rates of the Milky Way

abstract: We present new calculations of the mass inflow and outflow rates around the Milky Way, derived from a catalog of ultraviolet metal-line high velocity clouds (HVCs). These calculations are conducted by transforming the HVC velocities into the Galactic Standard of Rest (GSR) reference frame, identifying inflowing (v_GSR < 0 km/s) and outflowing (v_GSR > 0 km/s) populations, and using observational constraints on the distance, metallicity, dust content, covering fractions, and total hydrogen column density of each population. After removing HVCs associated with the Magellanic Stream and the Fermi Bubbles, we find inflow and outflow rates in cool (T~10^4 K) ionized gas of dM_in/dt >~ 0.53+/-0.17 (d/12 kpc) (Z/0.2 Z_sun)^-1 M_sun/yr and dM_out/dt >~ 0.16+/-0.06 (d/12 kpc) (Z/0.5 Z_sun)^-1 M_sun/yr. The excess of inflowing over outflowing gas suggests that the Milky Way is currently in an inflow-dominated phase, but the presence of substantial mass flux in both directions supports a Galactic fountain model, in which gas is constantly recycled between the disk and the halo. We also find that the metal flux in both directions (in and out) is indistinguishable. By comparing the outflow rate to the Galactic star formation rate, we present the first estimate of the mass loading factor (etc_HVC) of the disk-wide Milky Way wind, finding eta_HVC >~ 0.10+/-0.06 (d/12 kpc) (Z/0.5 Z_sun)^-1. Including the contributions from low- and intermediate-velocity clouds and from hot gas would increase these inflow and outflow estimates.


title: Reducibility of the quantum harmonic oscillator in $d$-dimensions with finitely differentiable perturbations

abstract: In this paper, the $d$-dimensional quantum harmonic oscillator with a pseudo-differential time quasi-periodic perturbation \begin{equation}\label{0} \text{i}\dot{\psi}=(-\Delta+V(x)+\epsilon W(\omega t,x,-\text{i}\nabla))\psi,\ \ \ \ \ x\in\mathbb{R}^d \end{equation} is considered, where $\omega\in(0,2\pi)^n$, $V(x):=\sum_{j=1}^d v_j^2x_j^2, v_j\geq v_0>0$, and $W(\theta,x,\xi)$ is a real polynomial in $(x,\xi)$ of degree at most two, with coefficients belonging to $C^{\ell}$ in $\theta\in\mathbb{T}^n$ for the order $\ell$ satisfying $\ell\geq 2n-1+\beta,\ 0<\beta<1$. Using techniques developed by Bambusi-Gr\'ebert-Maspero-Robert [\emph{{Anal. PDE. 11(3):775-799, 2018}}] and R\"ussmann [\emph{pages 598--624. Lecture Notes in Phys., Vol. 38, 1975}], the paper shows that for any $|\epsilon|\leq \epsilon_{\star}(n,\ell)$, there is a set $\mathcal{D}_{\epsilon}\subset (0,2\pi)^n$ with big Lebesgue measure, such that for any $\omega \in\mathcal{D}_{\epsilon}$, the system is reducible.


title: An algorithm for DNA read alignment on quantum accelerators

abstract: With small-scale quantum processors transitioning from experimental physics labs to industrial products, these processors allow us to efficiently compute important algorithms in various fields. In this paper, we propose a quantum algorithm to address the challenging field of big data processing for genome sequence reconstruction. This research describes an architecture-aware implementation of a quantum algorithm for sub-sequence alignment. A new algorithm named QiBAM (quantum indexed bidirectional associative memory) is proposed, that uses approximate pattern-matching based on Hamming distances. QiBAM extends the Grover's search algorithm in two ways to allow for: (1) approximate matches needed for read errors in genomics, and (2) a distributed search for multiple solutions over the quantum encoding of DNA sequences. This approach gives a quadratic speedup over the classical algorithm. A full implementation of the algorithm is provided and verified using the OpenQL compiler and QX simulator framework. This represents a first exploration towards a full-stack quantum accelerated genome sequencing pipeline design. The open-source implementation can be found on https://github.com/prince-ph0en1x/QAGS.


title: Magneto-transport and Shubnikov-de Haas oscillations in the layered ternary telluride Ta3SiTe6 topological semimetal

abstract: Topological semimetals characterize a novel class of quantum materials hosting Dirac/Weyl fermions. The important features of topological fermions can be exhibited by quantum oscillations. Here we report the magnetoresistance and Shubnikov-de Haas (SdH) quantum oscillation of longitudinal resistance in the single crystal of topological semimetal Ta3SiTe6 with the magnetic field up to 38 T. Periodic amplitude of the oscillations reveals related information about the Fermi surface. The fast Fourier transformation spectra represent a single oscillatory frequency. The analysis of the oscillations shows the Fermi pocket with a cross-section area of 0.13 angstrom power minus 2. Combining magneto-transport measurements and the first-principles calculation, we find that these oscillations come from the hole pocket. Hall resistivity and the SdH oscillations recommend that Ta3SiTe6 is a hole dominated system.


title: The Maxwell-Volterra reciprocity law in electrodynamics

abstract: Use is made of the theory of elliptic equations with measures data to prove the Maxwell-Volterra reciprocity law. A simple one-dimensional example is also given.


title: The consequence of substrates of large-scale rigidity on actin network tension in adherent cells

abstract: There is compelling evidence that substrate stiffness affects cell adhesion as well as cytoskeleton organization and contractile activity. This work was designed to study the cytoskeletal contractile activity of cells plated on microposts of different stiffness using a numerical model simulating the intracellular tension of individual cells. We allowed cells to adhere onto micropost substrates of various rigidities and used experimental traction force data to infer cell contractility using a numerical model. The model discriminates between the influence of substrate stiffness on cell tension and shows that higher substrate stiffness leads to an increase in intracellular tension. The strength of this model is its ability to calculate the mechanical state of each cell in accordance to its individual cytoskeletal structure. This is achieved by regenerating a numerical cytoskeleton based


title: The rise and fall of an extraordinary Ca-rich transient -- The discovery of ATLAS19dqr/SN 2019bkc

abstract: This work presents the observations and analysis of ATLAS19dqr/SN 2019bkc, an extraordinary rapidly evolving transient event located in an isolated environment, tens of kiloparsecs from any likely host. Its light curves rise to maximum light in $5-6$ d and then display a decline of $\Delta m_{15} \sim5$ mag. With such a pronounced decay, it has one of the most rapidly evolving light curves known for a stellar explosion. The early spectra show similarities to normal and `ultra-stripped' type Ic SNe, but the early nebular phase spectra, which were reached just over two weeks after explosion, display prominent calcium lines, marking SN 2019bkc as a Ca-rich transient. The Ca emission lines at this phase show an unprecedented and unexplained blueshift of 10,000 -- 12,000 km/s. Modelling of the light curve and the early spectra suggests that the transient had a low ejecta mass of $0.2 - 0.4$ M$_\odot$ and a low kinetic energy of $ (2-4)\times 10^{50}$ erg, giving a specific kinetic energy $\sim1$ [$10^{51}$ erg]/M$_\odot$. The origin of this event cannot be unambiguously defined. While the abundance distribution used to model the spectra marginally favours a progenitor of white dwarf origin through the tentative identification of \ArII, the specific kinetic energy, which is defined by the explosion mechanism, is found to be more similar to an ultra-stripped core-collapse events. SN 2019bkc adds to the diverse range of physical properties shown by Ca-rich events.


title: On the Effect of Observed Subject Biases in Apparent Personality Analysis from Audio-visual Signals

abstract: Personality perception is implicitly biased due to many subjective factors, such as cultural, social, contextual, gender and appearance. Approaches developed for automatic personality perception are not expected to predict the real personality of the target, but the personality external observers attributed to it. Hence, they have to deal with human bias, inherently transferred to the training data. However, bias analysis in personality computing is an almost unexplored area. In this work, we study different possible sources of bias affecting personality perception, including emotions from facial expressions, attractiveness, age, gender, and ethnicity, as well as their influence on prediction ability for apparent personality estimation. To this end, we propose a multi-modal deep neural network that combines raw audio and visual information alongside predictions of attribute-specific models to regress apparent personality. We also analyse spatio-temporal aggregation schemes and the effect of different time intervals on first impressions. We base our study on the ChaLearn First Impressions dataset, consisting of one-person conversational videos. Our model shows state-of-the-art results regressing apparent personality based on the Big-Five model. Furthermore, given the interpretability nature of our network design, we provide an incremental analysis on the impact of each possible source of bias on final network predictions.


title: Refined Analysis of Asymptotically-Optimal Kinodynamic Planning in the State-Cost Space

abstract: We present a novel analysis of AO-RRT: a tree-based planner for motion planning with kinodynamic constraints, originally described by Hauser and Zhou (AO-X, 2016). AO-RRT explores the state-cost space and has been shown to efficiently obtain high-quality solutions in practice without relying on the availability of a computationally-intensive two-point boundary-value solver. Our main contribution is an optimality proof for the single-tree version of the algorithm---a variant that was not analyzed before. Our proof only requires a mild and easily-verifiable set of assumptions on the problem and system: Lipschitz-continuity of the cost function and the dynamics. In particular, we prove that for any system satisfying these assumptions, any trajectory having a piecewise-constant control function and positive clearance from the obstacles can be approximated arbitrarily well by a trajectory found by AO-RRT. We also discuss practical aspects of AO-RRT and present experimental comparisons of variants of the algorithm.


title: Sharp Large Deviations for empirical correlation coefficients

abstract: We study Sharp Large Deviations for Pearson's empirical correlation coefficients in the Spherical and Gaussian cases


title: Present criteria for prophylactic ICD implantation: Insights from the EU-CERT-ICD (Comparative Effectiveness Research to Assess the Use of Primary ProphylacTic Implantable Cardioverter Defibrillators in EUrope) project

abstract: BACKGROUND. The clinical effectiveness of primary prevention implantable cardioverter defibrillator (ICD) therapy is under debate. It is urgently needed to better identify patients who benefit from prophylactic ICD therapy. The EUropean Comparative Effectiveness Research to Assess the Use of Primary ProphylacTic Implantable Cardioverter Defibrillators (EU-CERT-ICD) completed in 2019 will assess this issue. SUMMARY. The EU-CERT-ICD is a prospective investigator-initiated non-randomized, controlled, multicenter observational cohort study done in 44 centers across 15 European countries. A total of 2327 patients with heart failure due to ischemic heart disease or dilated cardiomyopathy indicated for primary prophylactic ICD implantation were recruited between 2014 and 2018 (>1500 patients at first ICD implantation, >750 patients non-randomized non-ICD control group). The primary endpoint was all-cause mortality, first appropriate shock was co-primary endpoint. At baseline, all patients underwent 12-lead ECG and Holter-ECG analysis using multiple advanced methods for risk stratification as well as documentation of clinical characteristics and laboratory values. The EU-CERT-ICD data will provide much needed information on the survival benefit of preventive ICD therapy and expand on previous prospective risk stratification studies which showed very good applicability of clinical parameters and advanced risk stratifiers in order to define patient subgroups with above or below average ICD benefit. CONCLUSION. The EU-CERT-ICD study will provide new and current data about effectiveness of primary prophylactic ICD implantation. The study also aims for improved risk stratification and patient selection using clinical risk markers in general, and advanced ECG risk markers in particular.


title: Current and future applications of Reverberation-mapped quasars in Cosmology

abstract: Reverberation mapping technique is an important milestone in AGN demographics, kinematics and the structure of the Broad Line Region (BLR) based on the time-delay response between the continuum and emission line. The time delay is directly related to the size of BLR which is related to the continuum luminosity of the source, producing the well-known Radius-Luminosity (RL) relation. The majority of sources have been monitored for their H$\beta$ emission line in low redshift sources ($z<0.1$), while there are some attempts using the MgII line for higher redshifts. We present a recent MgII monitoring for the quasar CTS C30.10 ($z=0.90$) observed with the 10-meter SALT, for which RL scaling based on MgII holds within measurement and time-delay uncertainties. One of the most important advantages of reverberation mapping technique is the independent determination to the distant source, and considering the large range of redshifts and luminosities found in AGNs, their application to cosmology is promising. However, recently it has been found that highly accreting sources show the time delays shorter than expected from RL relation. We propose correction for this effect using a sample of 117 H$\beta$ reverberating-mapped AGNs with $0.02<z<0.9$, recovering the low scatter along with the relation. We are able to determine the cosmological constants, $\Omega_m$ and $\Omega_\Lambda$ within 2$\sigma$ confidence level. We present the first steps in modelling of light curves for H$\beta$ and MgII and discuss the quasar selection in the context of photometric reverberation mapping with Large Synoptic Survey Telescope (LSST). With the onset of the LSST era, we expect a huge rise in the overall quasar counts and redshift range covered ($z\lesssim 7.0$), which will provide a better constraint of AGN properties with cosmological purposes.


title: Computational model combined with in vitro experiments to analyse mechanotransduction during mesenchymal stem cell adhesion

abstract: The shape that stem cells reach at the end of adhesion process influences their differentiation. Rearrangement of cytoskeleton and modification of intracellular tension may activate mechanotransduction pathways controlling cell commitment. In the present study, the mechanical signals involved in cell adhesion were computed in in vitro stem cells of different shapes using a single cell model, the so-called Cytoskeleton Divided Medium (CDM) model. In the CDM model, the filamentous cytoskeleton and nucleoskeleton networks were represented as a mechanical system of multiple tensile and compressive interactions between the nodes of a divided medium. The results showed that intracellular tonus, focal adhesion forces as well as nuclear deformation increased with cell spreading. The cell model was also implemented to simulate the adhesion process of a cell that spreads on protein-coated substrate by emitting filopodia and creating new distant focal adhesion points. As a result, the cell model predicted cytoskeleton reorganisation and reinforcement during cell spreading. The present model quantitatively computed the evolution of certain elements of mechanotransduction and may be a powerful tool for understanding cell mechanobiology and designing biomaterials with specific surface properties to control cell adhesion and differentiation.


title: Spectropolarimetry of the Solar Mg II h and k Lines

abstract: We report on spectropolarimetric observations across the Mg II h and k-lines at 2800 angstrom made by the Ultraviolet Spectrometer and Polarimeter onboard the Solar Maximum Mission satellite. Our analysis confirms the strong linear polarization in the wings of both lines observed near the limb, as previously reported, but also demonstrates the presence of a negatively (i.e., radially oriented) polarized signal between the two lines. We find evidence for fluctuations of the polarization pattern over a broad spectral range, resulting in some depolarization with respect to the pure scattering case when observed at very low spatial and temporal resolutions. This is consistent with recent theoretical modeling that predicts this to be the result of redistribution effects, quantum interference between the atomic levels of the upper term, and magneto-optical effects. A first attempt at a quantitative exploitation of these signals for the diagnosis of magnetic fields in the chromosphere is attempted. In active regions, we present observations of circular polarization dominated by the Zeeman effect. We are able to constrain the magnetic field strength in the upper active chromosphere using an analysis based on the magnetograph formula, as justified by theoretical modeling. We inferred a significantly strong magnetic field (~500 G) at the 2.5 sigma level on an exceptionally active, flaring region.


title: Multi-rater delta: extending the delta nominal measure of agreement between two raters to many raters

abstract: The need to measure the degree of agreement among R raters who independently classify n subjects within K nominal categories is frequent in many scientific areas. The most popular measures are Cohen's kappa (R = 2), Fleiss' kappa, Conger's kappa and Hubert's kappa (R $\geq$ 2) coefficients, which have several defects. In 2004, the delta coefficient was defined for the case of R = 2, which did not have the defects of Cohen's kappa coefficient. This article extends the coefficient delta from R = 2 raters to R $\geq$ 2. The coefficient multi-rater delta has the same advantages as the coefficient delta with regard to the type kappa coefficients: i) it is intuitive and easy to interpret, because it refers to the proportion of replies that are concordant and non random; ii) the summands which give its value allow the degree of agreement in each category to be measured accurately, with no need to be collapsed; and iii) it is not affected by the marginal imbalance.


title: Fully Anonymous Shared Memory Algorithms

abstract: Process anonymity has been studied for a long time. Memory anonymity is more recent. In an anonymous memory system, there is no a priori agreement among the processes on the names of the shared registers they access. This article introduces the fully anonymous model, namely a model in which both the processes and the memory are anonymous. It is shown that fundamental problems such as mutual exclusion, consensus, and its weak version called set agreement, can be solved despite full anonymity, the first in a failure-free system, the others in the presence of any number of process crashes.


title: Ecosystem-level stabilizing effects of biodiversity via nutrient-diversity feedbacks in multitrophic systems

abstract: Statistical averaging and asynchronous population dynamics as portfolio mechanisms are considered as the most important processes with which biodiversity contributes to ecosystem stability. However, portfolio theories usually regard biodiversity as a fixed property, but overlook the dynamics of biodiversity altered by other ecosystem components. Here, we proposed a new mechanistic food chain model with nutrient-diversity feedback to investigate how dynamics of phytoplankton species diversity determines ecosystem stability. Our model focuses on nutrient, community biomass of phytoplankton and zooplankton, and phytoplankton species richness. The model assumes diversity effects of phytoplankton on trophic interaction strength along plankton food chain: phytoplankton diversity influences nutrient uptake by phytoplankton and zooplankton grazing on phytoplankton, which subsequently affects nutrient level and community biomass of phytoplankton and zooplankton. The nutrient level in turn affects phytoplankton diversity. These processes collectively form feedbacks between phytoplankton diversity and dynamics of plankton and nutrient. More importantly, nutrient-diversity feedback introduced additional temporal variabilities in community biomass, which apparently implies a destabilizing effect of phytoplankton diversity on ecosystem. However, the variabilities made ecosystems more robust against extinction of plankton because increasing phytoplankton diversity facilitates resource consumptions when consumers prone to extinct; while, reducing diversity weakens destabilizing dynamics caused by over-growth. Our results suggest the presence of a novel stabilizing effect of biodiversity acting through nutrient-diversity feedback, being independent of portfolio mechanisms.


title: Efficient and Robust Equilibrium Strategies of Utilities in Day-ahead Market with Load Uncertainty

abstract: We consider the scenario where $N$ utilities strategically bid for electricity in the day-ahead market and balance the mismatch between the committed supply and actual demand in the real-time market, with uncertainty in demand and local renewable generation in consideration. We model the interactions among utilities as a non-cooperative game, in which each utility aims at minimizing its per-unit electricity cost. We investigate utilities' optimal bidding strategies and show that all utilities bidding according to (net load) prediction is a unique pure strategy Nash Equilibrium with two salient properties. First, it incurs no loss of efficiency; hence, competition among utilities does not increase the social cost. Second, it is robust and (0, $N-1$) fault immune. That is, fault behaviors of irrational utilities only help to reduce other rational utilities' costs. The expected market supply-demand mismatch is minimized simultaneously, which improves the planning and supply-and-demand matching efficiency of the electricity supply chain. We prove the results hold under the settings of correlated prediction errors and a general class of real-time spot pricing models, which capture the relationship between the spot price, the day-ahead clearing price, and the market-level mismatch. Simulations based on real-world traces corroborate our theoretical findings. Our study adds new insights to market mechanism design. In particular, we derive a set of fairly general sufficient conditions for the market operator to design real-time pricing schemes so that the interactions among utilities admit the desired equilibrium.


title: Determinantal representations of the cubic discriminant

abstract: We compute and study two determinantal representations of the discriminant of a cubic quaternary form. The first representation is the Chow form of the $2$-uple embedding of $\mathbb{P}^3$ and is computed as the Pfaffian of the Chow form of a rank 2 Ulrich bundle on this Veronese variety. We then consider the determinantal representation described by Nanson. We investigate the geometric nature of cubic surfaces whose discriminant matrices satisfy certain rank conditions. As a special case of interest, we use certain minors of this matrix to suggest equations vanishing on the locus of $k$-nodal cubic surfaces.


title: An Empirical Investigation of Randomized Defenses against Adversarial Attacks

abstract: In recent years, Deep Neural Networks (DNNs) have had a dramatic impact on a variety of problems that were long considered very difficult, e. g., image classification and automatic language translation to name just a few. The accuracy of modern DNNs in classification tasks is remarkable indeed. At the same time, attackers have devised powerful methods to construct specially-crafted malicious inputs (often referred to as adversarial examples) that can trick DNNs into mis-classifying them. What is worse is that despite the many defense mechanisms proposed to protect DNNs against adversarial attacks, attackers are often able to circumvent these defenses, rendering them useless. This state of affairs is extremely worrying, especially since machine learning systems get adopted at scale. In this paper, we propose a scientific evaluation methodology aimed at assessing the quality, efficacy, robustness and efficiency of randomized defenses to protect DNNs against adversarial examples. Using this methodology, we evaluate a variety of defense mechanisms. In addition, we also propose a defense mechanism we call Randomly Perturbed Ensemble Neural Networks (RPENNs). We provide a thorough and comprehensive evaluation of the considered defense mechanisms against a white-box attacker model, six different adversarial attack methods and using the ILSVRC2012 validation data set.


title: Which of My Transient Type Checks Are Not (Almost) Free?

abstract: One form of type checking used in gradually typed language is transient type checking: whenever an object 'flows' through code with a type annotation, the object is dynamically checked to ensure it has the methods required by the annotation. Just-in-time compilation and optimisation in virtual machines can eliminate much of the overhead of run-time transient type checks. Unfortunately this optimisation is not uniform: some type checks will significantly decrease, or even increase, a program's performance. In this paper, we refine the so called "Takikawa" protocol, and use it to identify which type annotations have the greatest effects on performance. In particular, we show how graphing the performance of such benchmarks when varying which type annotations are present in the source code can be used to discern potential patterns in performance. We demonstrate our approach by testing the Moth virtual machine: for many of the benchmarks where Moth's transient type checking impacts performance, we have been able to identify one or two specific type annotations that are the likely cause. Without these type annotations, the performance impact of transient type checking becomes negligible. Using our technique programmers can optimise programs by removing expensive type checks, and VM engineers can identify new opportunities for compiler optimisation.


title: A taxonomy of estimator consistency on discrete estimation problems

abstract: We describe a four-level hierarchy mapping both all discrete estimation problems and all estimators on these problems, such that the hierarchy describes each estimator's consistency guarantees on each problem class. We show that no estimator is consistent for all estimation problems, but that some estimators, such as Maximum A Posteriori, are consistent for the widest possible class of discrete estimation problems. For Maximum Likelihood and Approximate Maximum Likelihood estimators we show that they do not provide consistency on as wide a class, but define a sub-class of problems characterised by their consistency. Lastly, we show that some popular estimators, specifically Strict Minimum Message Length, do not provide consistency guarantees even within the sub-class.


title: Minimizing Margin of Victory for Fair Political and Educational Districting

abstract: In many practical scenarios, a population is divided into disjoint groups for better administration, e.g., electorates into political districts, employees into departments, students into school districts, and so on. However, grouping people arbitrarily may lead to biased partitions, raising concerns of gerrymandering in political districting, racial segregation in schools, etc. To counter such issues, in this paper, we conceptualize such problems in a voting scenario, and propose FAIR DISTRICTING problem to divide a given set of people having preference over candidates into k groups such that the maximum margin of victory of any group is minimized. We also propose the FAIR CONNECTED DISTRICTING problem which additionally requires each group to be connected. We show that the FAIR DISTRICTING problem is NP-complete for plurality voting even if we have only 3 candidates but admits polynomial time algorithms if we assume k to be some constant or everyone can be moved to any group. In contrast, we show that the FAIR CONNECTED DISTRICTING problem is NP-complete for plurality voting even if we have only 2 candidates and k = 2. Finally, we propose heuristic algorithms for both the problems and show their effectiveness in UK political districting and in lowering racial segregation in public schools in the US.


title: Large deviation inequalities for martingales in Banach spaces

abstract: Let $(X_i, \mathcal{F}_i)_{i\geq1}$ be a martingale difference sequence in a smooth Banach space. Let $S_n=\sum_{i=1}^nX_i, n\geq 1,$ be the partial sums of $(X_i, \mathcal{F}_i)_{i\geq 1}$. We give upper bounds on the quantity $\mathbb{P}\left(\max_{1\leq k\leq n}\lVert S_k\rVert>nx\right)$ in terms of $ n\geq 1$ and $x>0$ in two different situations: when the martingale differences have uniformly bounded exponential moments and when the decay of the tail of the increments is polynomial.


title: Unique continuation of the normal operator of the X-ray transform and applications in geophysics

abstract: We show that the normal operator of the X-ray transform in $\mathbb{R}^d$, $d\geq 2$, has a unique continuation property in the class of compactly supported distributions. This immediately implies uniqueness for the X-ray tomography problem with partial data and generalizes some earlier results to higher dimensions. Our proof also gives a unique continuation property for certain Riesz potentials in the space of rapidly decreasing distributions. We present applications to local and global seismology. These include linearized travel time tomography with half-local data and global tomography based on shear wave splitting in a weakly anisotropic elastic medium.


title: Particle Production via Strings and Baryon Stopping within a Hadronic Transport Approach

abstract: The stopping of baryons in heavy ion collisions at beam momenta of $p_{\rm lab} = 20-160A$ GeV is lacking a quantitative description within theoretical calculations. Heavy ion reactions at these energies are experimentally explored at the Super Proton Synchrotron (SPS) and the Relativistic Heavy Ion Collider (RHIC) and will be studied at future facilities such as FAIR and NICA. Since the net baryon density is determined by the amount of stopping, this is the pre-requisiste for any investigation of other observables related to structures in the QCD phase diagram such as a first-order phase transition or a critical endpoint. In this work we employ a string model for treating hadron-hadron interactions within a hadronic transport approach (SMASH, Simulating Many Accelerated Strongly-interacting Hadrons). Free parameters of the string excitation and decay are tuned to match experimental measurements in elementary proton-proton collisions, where some mismatch in the $x_F$ distribution of protons is still present. Afterwards, the model is applied to heavy ion collisions, where the experimentally observed change of the shape of the proton rapidity spectrum from a single peak structure to a double peak structure with increasing beam energy is reproduced. Heavy ion collisions provide the opportunity to study the formation process of string fragments in terms of formation times and reduced interaction cross-sections for pre-formed hadrons. A good agreement with the measured rapidity spectra of protons and pions is achieved while insights on the fragmentation process are obtained. In the future, the presented approach can be used to create event-by-event initial conditions for hybrid calculations.


title: Human-Machine Collaborative Design for Accelerated Design of Compact Deep Neural Networks for Autonomous Driving

abstract: An effective deep learning development process is critical for widespread industrial adoption, particularly in the automotive sector. A typical industrial deep learning development cycle involves customizing and re-designing an off-the-shelf network architecture to meet the operational requirements of the target application, leading to considerable trial and error work by a machine learning practitioner. This approach greatly impedes development with a long turnaround time and the unsatisfactory quality of the created models. As a result, a development platform that can aid engineers in greatly accelerating the design and production of compact, optimized deep neural networks is highly desirable. In this joint industrial case study, we study the efficacy of the GenSynth AI-assisted AI design platform for accelerating the design of custom, optimized deep neural networks for autonomous driving through human-machine collaborative design. We perform a quantitative examination by evaluating 10 different compact deep neural networks produced by GenSynth for the purpose of object detection via a NASNet-based user network prototype design, targeted at a low-cost GPU-based accelerated embedded system. Furthermore, we quantitatively assess the talent hours and GPU processing hours used by the GenSynth process and three other approaches based on the typical industrial development process. In addition, we quantify the annual cloud cost savings for comprehensive testing using networks produced by GenSynth. Finally, we assess the usability and merits of the GenSynth process through user feedback. The findings of this case study showed that GenSynth is easy to use and can be effective at accelerating the design and production of compact, customized deep neural network.


title: On the meaning of the wave function of the Universe

abstract: The meaning of the wave function of the Universe was actively discussed in 1980s. In most works on quantum cosmology it is accepted that the wave function is a probability amplitude for the Universe to have some space geometry, or to be found in some point of the Wheeler superspace. It seems that the wave function gives maximally objective description compatible with quantum theory. However, the probability distribution does not depend on time and does not take into account the existing of our macroscopic evolving Universe. What we wish to know is how quantum processes in the Early Universe determined the state of the present Universe in which we are able to observe macroscopic consequences of these quantum processes. As an alternative to the Wheeler - DeWitt quantum geometrodynamics we consider the picture that can be obtained in the extended phase space approach to quantization of gravity. The wave function in this approach describes different states of the Universe which correspond to different stages of its evolution.


title: The volume of simplices in high-dimensional Poisson-Delaunay tessellations

abstract: Typical weighted random simplices $Z_{\mu}$, $\mu\in(-2,\infty)$, in a Poisson-Delaunay tessellation in $\mathbb{R}^n$ are considered, where the weight is given by the $(\mu+1)$st power of the volume. As special cases this includes the typical ($\mu=-1$) and the usual volume-weighted ($\mu=0$) Poisson-Delaunay simplex. By proving sharp bounds on cumulants it is shown that the logarithmic volume of $Z_{\mu}$ satisfies a central limit theorem in high dimensions, that is, as $n\to\infty$. In addition, rates of convergence are provided. In parallel, concentration inequalities as well as moderate deviations are studied. The set-up allows the weight $\mu=\mu(n)$ to depend on the dimension $n$ as well. A number of special cases are discussed separately. For fixed $\mu$ also mod-$\phi$ convergence and the large deviations behaviour of the logarithmic volume of $Z_{\mu}$ are investigated.


title: Critical percolation on scale-free random graphs: New universality class for the configuration model

abstract: In this paper, we study the critical behavior of percolation on a configuration model with degree distribution satisfying an infinite second-moment condition, which includes power-law degrees with exponent $\tau \in (2,3)$. It is well known that, in this regime, many canonical random graph models, such as the configuration model, are robust in the sense that the giant component is not destroyed when the percolation probability stays bounded away from zero. Thus, the critical behavior is observed when the percolation probability tends to zero with the network size, despite of the fact that the average degree remains bounded. In this paper, we initiate the study of critical random graphs in the infinite second-moment regime by identifying the critical window for the configuration model. We prove scaling limits for component sizes and surplus edges, and show that the maximum diameter the critical components is of order $\log n$, which contrasts with the previous universality classes arising in the literature. This introduces a third and novel universality class for the critical behavior of percolation on random networks, that is not covered by the multiplicative coalescent framework due to Aldous and Limic (1998). We also prove concentration of the component sizes outside the critical window, and that a unique, complex giant component emerges after the critical window. This completes the picture for the percolation phase transition on the configuration model.


title: Discrete choice prox-functions on the simplex

abstract: We derive new prox-functions on the simplex from additive random utility models of discrete choice. They are convex conjugates of the corresponding surplus functions. In particular, we explicitly derive the convexity parameter of discrete choice prox-functions associated with generalized extreme value models, and specifically with generalized nested logit models. Incorporated into subgradient schemes, discrete choice prox-functions lead to natural probabilistic interpretations of the iteration steps. As illustration we discuss an economic application of discrete choice prox-functions in consumer theory. The dual averaging scheme from convex programming naturally adjusts demand within a consumption cycle.


title: Topological optimization and minimal compliance in linear elasticity

abstract: We investigate a fixed domain approach in shape optimization, using a regularization of the Heaviside function both in the cost functional and in the state system. We consider the compliance minimization problem in linear elasticity, a well known application in this area of research. The optimal design problem is approached by an optimal control problem defined in a prescribed domain including all the admissible unknown domains. This approximating optimization problem has good differentiability properties and a gradient algorithm can be applied. Moreover, the paper also includes several numerical experiments that demonstrate the descent of the obtained cost values and show the topological and the boundary variations of the computed domains. The proposed approximation technique is new and can be applied to state systems given by various boundary value problems.


title: Quantum of the bare cosmological constant

abstract: We show that there exist scalar field theories with plausible one-particle states in general $D$ dimensional nonstationary curved spacetimes whose propagating modes are localized on $d\le D$ dimensional hypersurfaces, and the corresponding stress tensor resembles the bare cosmological constant $\lambda_B$ in the $D$ dimensional bulk. We show that nontrivial $d=1$ dimensional solutions correspond to $\lambda_B< 0$. Considering free scalar theories we find that for $d=2$ the symmetry of the parameter space of classical solutions corresponding to $\lambda_B\neq 0$ is $O(1,1)$ which enhances to $\mathbb{Z}_2\times{\rm Diff}(\mathbb{R}^1)$ at $\lambda_B=0$. For $d>2$ we obtain $O(d-1,1)$, $O(d-1)\times {\rm Diff}(\mathbb{R}^1)$ and $O(d-1,1)\times O(d-2)\times {\rm Diff}(\mathbb{R}^1)$ corresponding to, respectively, $\lambda_B<0$, $\lambda_B=0$ and $\lambda_B>0$.


title: Time between the maximum and the minimum of a stochastic process

abstract: We present an exact solution for the probability density function $P(\tau=t_{\min}-t_{\max}|T)$ of the time-difference between the minimum and the maximum of a one-dimensional Brownian motion of duration $T$. We then generalise our results to a Brownian bridge, i.e. a periodic Brownian motion of period $T$. We demonstrate that these results can be directly applied to study the position-difference between the minimal and the maximal height of a fluctuating $(1+1)$-dimensional Kardar-Parisi-Zhang interface on a substrate of size $L$, in its stationary state. We show that the Brownian motion result is universal and, asymptotically, holds for any discrete-time random walk with a finite jump variance. We also compute this distribution numerically for L\'evy flights and find that it differs from the Brownian motion result.

categories: cond-mat.stat-mech math-ph math.MP math.PR


title: A parylene coating system specifically designed for producing ultra-thin films for nanoscale device applications

abstract: We report on a parylene chemical vapor deposition system custom designed for producing ultra-thin parylene films (5-100 nm thickness) for use as an electrical insulator in nanoscale electronic devices, including as the gate insulator in transistors. The system features a small deposition chamber that can be isolated and purged for process termination, a quartz crystal microbalance for monitoring deposition, and a rotating angled stage to increase coating conformity. The system was mostly built from off-the-shelf vacuum fittings allowing for easy modification and reduced cost compared to commercial parylene coating systems. The production of ultra-thin parylene films for device applications is a niche not well catered to by commercial coating systems, which are typically designed to give thicker coatings (microns) with high uniformity over much larger areas. An added advantage of our design for nanoscale device applications is that the small deposition chamber is readily removable for transfer to a glovebox to enable parylene deposition onto pristine surfaces prepared in oxygen/water-free environments with minimal contamination.


title: Nondestructive classification of quantum states using an algorithmic quantum computer

abstract: Methods of processing quantum data become more important as quantum computing devices improve their quality towards fault tolerant universal quantum computers. These methods include discrimination and filtering of quantum states given as an input to the device that may find numerous applications in quantum information technologies. In the present paper, we address a scheme of a classification of input states, which is nondestructive and deterministic for certain inputs, while probabilistic, in general case. This can be achieved by incorporating phase estimation algorithm into the hybrid quantum-classical computation scheme, where quantum block is trained classically. We perform proof-of-principle implementation of this idea using superconducting quantum processor of IBM Quantum Experience. Another aspect we are interested in is a mitigation of errors occurring due to the quantum device imperfections. We apply a series of heuristic tricks at the stage of classical postprocessing in order to improve raw experimental data and to recognize patterns in them. These ideas may find applications in other realization of hybrid quantum-classical computations with noisy quantum machines.


title: Evaluation of Temporal Complexity Reduction Techniques Applied to Storage Expansion Planning in Power System Models

abstract: The growing share of renewable energy makes the optimization of power flows in power system models computationally more complicated, due to the widely distributed weather-dependent electricity generation. This article evaluates two methods to reduce the temporal complexity of a power transmission grid model with storage expansion planning. The goal of the reduction techniques is to accelerate the computation of the linear optimal power flow of the grid model. This is achieved by choosing a small number of representative time periods to represent one whole year. To select representative time periods, a hierarchical clustering is used to aggregate either adjacent hours chronologically or independently distributed coupling days into clusters of time series. The aggregation efficiency is evaluated by means of the error of the objective value and the computational time reduction. Further, both the influence of the network size and the efficiency of parallel computation in the optimization process are analysed. As a test case, the transmission grid of the northernmost German federal state of Schleswig-Holstein with a scenario corresponding to the year 2035 is considered. The considered scenario is characterized by a high share of installed renewables.


title: Quantitative Assessment of Carrier Density by Cathodoluminescence. I. GaAs thin films and modeling

abstract: Doping is a fundamental property of semiconductors and constitutes the basis of modern microelectronic and optoelectronic devices. Their miniaturization requires contactless characterization of doping with nanometer scale resolution. Here, we use low- and room-temperature cathodoluminescence (CL) measurements to analyze p-type and n-type GaAs thin films over a wide range of carrier densities ($2\times 10^{17}$ to $1\times 10^{19}$ cm$^{-3}$). The spectral shift and broadening of CL spectra induced by shallow dopant states and band filling are the signature doping. We fit the whole spectral lineshapes with the generalized Planck's law and refined absorption models to extract the bandgap narrowing (BGN) and the band tail for both doping types, and the electron Fermi level for n doping. This work provides a rigorous method for the quantitative assessment of p-type and n-type carrier density using CL. Taking advantage of the high spatial resolution of CL, it can be used to map the doping in GaAs nanostructures, and it could be extended to other semiconductor materials.


title: Inflation, Dark Energy and Dark Matter in Supergravity

abstract: The Dark Side of the Universe, which includes the cosmological inflation in the early Universe, the current dark energy and dark matter, can be theoretically described by supergravity, though it is non-trivial. We recall the arguments pro and contra supersymmetry and supergravity, and define the viable supergravity models describing the Dark Side of the Universe in agreement with all current observations. Our approach to inflation is based on the Starobinsky model, the dark energy is identified with the positive cosmological constant (de Sitter vacuum), and the dark matter particle is given by the lightest supersymmetric particle identified with the supermassive gravitino. The key role is played by spontaneous supersymmetry breaking.


title: The Fast and Free Memory Method for the efficient computation of convolution kernels

abstract: We introduce the Fast Free Memory method (FFM), a new fast method for the numerical evaluation of convolution products. Inheriting from the Fast Multipole Method, the FFM is a descent-only and kernel-independent algorithm. We give the complete algorithm and the relevant complexity analysis. While dense matrices arise normally in such computations, the linear storage complexity and the quasi-linear computational complexity enable the evaluation of convolution products featuring up to one billion entries. We show how we are able to solve complex scattering problems using Boundary Integral Equations with dozen of millions of unknowns. Our implementation is made freely available within the Gypsilab framework under the GPL 3.0 license.


title: Space Debris detection and tracking with the techniques of cosmic ray physics

abstract: Space Debris (SD) consist of non-operational artificial objects orbiting around the Earth, which could possibly damage space vehicles, such as the International Space Station (ISS) or other manned spacecrafts. The vast majority of such objects are cm-sized, not catalogued and usually the tracking data are not precise enough. Here we present the feasibility study of SD detection and tracking with techniques usually employed in cosmic-ray physics. For this purpose, we have evaluated the possibility of using Mini-EUSO, a space-borne fluorescence telescope to be deployed on the ISS, to track SD illuminated by the Sun. By means of ESAF (EUSO Simulation and analysis Framework) simulation and by developing the trigger algorithms, we estimated the minimum size and maximum distances of detectable SD. We then studied the number of possible SD detections using an ESA software called MASTER (Meteoroid and SD Terrestrial Environment Reference). With the Mini-EUSO Engineering Model (Mini-EUSO EM), we performed some measurements to estimate the reflectance of the most common SD materials and to demonstrate the ability of Mini-EUSO to detect SD events. We also performed some tests in open-sky conditions, identifying and tracking fast-moving objects. In particular, the detection of a rocket body allowed us to confirm the simulation outcomes predictions and the expected performance of the detector.


title: Quantitative Assessment of Carrier Density by Cathodoluminescence. II. GaAs nanowires

abstract: Precise control of doping in single nanowires (NWs) is essential for the development of NW-based devices. Here, we investigate a series of MBE-grown GaAs NWs with Be (p-type) and Si (n-type) doping using high-resolution cathodoluminescence (CL) mapping at low- and room-temperature. CL spectra are analyzed selectively in different regions of the NWs. Room-temperature luminescence is fitted with the generalized Planck law and an absorption model, and the bandgap and band tail width are extracted. For Be-doped GaAs NWs, the bandgap narrowing provides a quantitative determination of the hole concentration ranging from about $1\times 10^{18}$ to $2\times 10^{19}$~cm$^{-3}$, in good agreement with the targeted doping levels. High-resolution maps of the hole concentration demonstrate the homogeneous doping in the pure zinc-blende segment. For Si-doped GaAs NWs, the electron Fermi level and the full-width at half maximum of low-temperature CL spectra are used to assess the electron concentration to approximately $3\times 10^{17}$ to $6\times 10^{17}$~cm$^{-3}$. These findings confirm the difficulty to obtain highly-doped n-type GaAs NWs, maybe due to doping compensation. Notably, signatures of high concentration (5--9$\times 10^{18}$~cm$^{-3}$) at the very top of NWs are unveiled.


title: The Adaptive Tobit Kalman Filter: Tracking Position with Censored Measurements in the IoT

abstract: In the Internet of Things (IoT) paradigm, distributed sensors and actuators can observe and act on their environment, communicating wirelessly. In this context, filtering the observations and tracking the network and environment state over time is extremely important, and the Kalman Filter (KF) is one of the most common tools for this. Several of these applications deal with censored data, either because of sensor saturation or limited detection regions: when censoring happens, all measurements below a certain threshold are clipped to the threshold value. The recently proposed Tobit Kalman Filter (TKF) is an adjusted version of the KF that can deal with censored measurements. However, like the traditional KF, it needs full knowledge of the process and measurement noise covariances to work, which are not always available in practice. In this work, we relax this assumption and propose the Adaptive Tobit Kalman Filter (ATKF), which can dynamically estimate the process and measurement noise along with the hidden state of the system from the censored measurements. We apply our solution to navigation and positioning IoT scenarios, obtaining a negligible performance loss with regard to the TKF, even with no a priori knowledge of the noise statistics.


title: The Emergence of Innovation Complexity at Different Geographical and Technological Scales

abstract: We define a novel quantitative strategy inspired by the ecological notion of nestedness to single out the scale at which innovation complexity emerges from the aggregation of specialized building blocks. Our analysis not only suggests that the innovation space can be interpreted as a natural system in which advantageous capabilities are selected by evolutionary pressure, but also that the emerging structure of capabilities is not independent of the scale of observation at which they are observed. Expanding on this insight allows us to understand whether the capabilities characterizing the innovation space at a given scale are compatible with a complex evolutionary dynamics or, rather, a set of essentially independent activities allowing to reduce the system at that scale to a set of disjoint non interacting sub-systems. This yields a measure of the innovation complexity of the system, i.e. of the degree of interdependence between the sets of capabilities underlying the system's building blocks.

categories: econ.GN nlin.AO physics.soc-ph q-bio.PE q-fin.EC


title: Dynamic Structures of Monomials on $p$-adic Integers for Small Primes $p$

abstract: We study the dynamic structures of the monomial $x^m$ over the ring of $p$-adic integers for every positive integer $m$ and for primes $p=2,3$ and $5$. The dynamic structures are described by investigating minimal decompositions which consist of minimal subsystems and attracting basins.


title: Weighing the Darkness: Astrometric Mass Measurement of Hidden Stellar Companions using Gaia

abstract: In astrometric binaries, the presence of a dark, unseen star can be inferred from the gravitational pull it induces on its luminous binary companion. While the orbit of such binaries can be characterized with precise astrometric measurements, constraints made from astrometry alone are not enough to measure the component masses. In this work, we determine the precision with which Gaia can astrometrically measure the orbits and -- with additional observations -- the component masses, for luminous stars hosting hidden companions. Using realistic mock Gaia observations, we find that Gaia can precisely measure the orbits of binaries hosting hidden brown-dwarfs out to tens of pc and hidden white dwarf and neutron star companions at distances as far as several hundred pc. Heavier black hole companions may be measured out to 1 kpc or farther. We further determine how orbital period affects this precision, finding that Gaia can characterize orbits with periods as short as 10 days and as long as a few 10$^3$ days, with the best measured orbits having periods just short of Gaia's mission lifetime. Extending Gaia's nominal five-year mission lifetime by an additional five years not only allows for the measurement of longer period orbits, but those longer period binaries can be seen at even greater distances.


title: Asymptotic normality for random polytopes in non-Euclidean geometries

abstract: Asymptotic normality for the natural volume measure of random polytopes generated by random points distributed uniformly in a convex body in spherical or hyperbolic spaces is proved. Also the case of Hilbert geometries is treated and central limit theorems in Lutwak's dual Brunn--Minkowski theory are established. The results follow from a central limit theorem for weighted random polytopes in Euclidean spaces. In the background are Stein's method for normal approximation and geometric properties of weighted floating bodies.


title: ABSApp: A Portable Weakly-Supervised Aspect-Based Sentiment Extraction System

abstract: We present ABSApp, a portable system for weakly-supervised aspect-based sentiment extraction. The system is interpretable and user friendly and does not require labeled training data, hence can be rapidly and cost-effectively used across different domains in applied setups. The system flow includes three stages: First, it generates domain-specific aspect and opinion lexicons based on an unlabeled dataset; second, it enables the user to view and edit those lexicons (weak supervision); and finally, it enables the user to select an unlabeled target dataset from the same domain, classify it, and generate an aspect-based sentiment report. ABSApp has been successfully used in a number of real-life use cases, among them movie review analysis and convention impact analysis.


title: On the spectral radius and the energy of eccentricity matrix of a graph

abstract: The eccentricity matrix $\varepsilon(G)$ of a graph $G$ is obtained from the distance matrix by retaining the eccentricities (the largest distance) in each row and each column. In this paper, we give a characterization of the star graph, among the trees, in terms of invertibility of the associated eccentricity matrix. The largest eigenvalue of $\varepsilon(G)$ is called the $\varepsilon$-spectral radius, and the eccentricity energy (or the $\varepsilon$-energy) of $G$ is the sum of the absolute values of the eigenvalues of $\varepsilon(G)$. We establish some bounds for the $\varepsilon$-spectral radius and characterize the extreme graphs. Two graphs are said to be $\varepsilon$-equienergetic if they have the same $\varepsilon$-energy. For any $n \geq 5$, we construct a pair of $\varepsilon$-equienergetic graphs on $n$ vertices, which are not $\varepsilon$-cospectral.


title: On the Importance of NNLO QCD and Isospin-breaking Corrections in $\varepsilon'/\varepsilon$

abstract: Following the 1999 analysis of Gambino, Haisch and one of us, we stress that all the recent NLO analyses of $\varepsilon'/\varepsilon$ in the Standard Model (SM) suffer from the renormalization scheme dependence present in the electroweak penguin contributions as well as from scale uncertainties in them related to the matching scale $\mu_W$ and in particular to $\mu_t$ in $m_t(\mu_t)$. We also reemphasize the important role of isospin-breaking and QED effects in the evaluation of $\varepsilon'/\varepsilon$. Omitting all these effects, as done in the 2015 analysis by RBC-UKQCD collaboration, and choosing as an example the QCD penguin ($Q_6$) and electroweak penguin ($Q_8$) parameters $B_6^{(1/2)}$ and $B_8^{(3/2)}$ to be $B_6^{(1/2)} = 0.80 \pm 0.08$ and $B_8^{(3/2)} = 0.76 \pm 0.04$ at $\mu = m_c = 1.3$ GeV, we find $(\varepsilon'/\varepsilon)_\text{SM} = (9.4 \pm 3.5) \times 10^{-4}$, whereas including them results in $(\varepsilon'/\varepsilon)_\text{SM} = (5.6\pm 2.4) \times 10^{-4}$. This is an example of an anomaly at the $3.3\,\sigma$ level, which would be missed without these corrections. NNLO QCD contributions to QCD penguins are expected to further enhance this anomaly. We provide a table for $\varepsilon'/\varepsilon$ for different values of $B_6^{(1/2)}$ and the isospin-breaking parameter $\hat{\Omega}_\text{eff}$, that should facilitate monitoring the values of $\varepsilon'/\varepsilon$ in the SM when the RBC-UKQCD calculations of hadronic matrix elements including isospin-breaking corrections and QED effects will improve with time.


title: On the Role of Flexibility in Linker-Mediated DNA Hydrogels

abstract: Three-dimensional DNA networks, composed of tri- or higher valent nanostars with sticky, single-stranded DNA overhangs, have been previously studied in the context of designing thermally responsive, viscoelastic hydrogels. In this work, we use linker-mediated gels, where the sticky ends of two trivalent nanostars are connected through the complementary sticky ends of a linear DNA duplex. We can design this connection to be either rigid or flexible by introducing flexible, non-binding bases. The additional flexiblity provided by these non-binding bases influences the effective elasticity of the percolating gel formed at low temperatures. Here we show that by choosing the right length of the linear duplex and non-binding flexible joints, we obtain a completely different phase behaviour to that observed for rigid linkers. In particular, we use dynamic light scattering as microrheological tool to monitor the self-assembly of DNA nanostars with linear linkers as a function of temperature. While we observe classical gelation when using rigid linkers, the presence of flexible joints leads to a cluster fluid with reduced viscosity. Using both the oxDNA model and a coarse-grained simulation to investigate the nanostar-linker topology, we hypothesise on the possible structure formed by the DNA clusters.


title: The Curie-Weiss model -- an approach using moments

abstract: We prove laws of large numbers as well as central and non-central limit theorems for the Curie-Weiss model of magnetism. The rather elementary proofs are based on the method of moments.


title: Observables on synaptic algebras

abstract: Synaptic algebras, introduced by D. Foulis, generalize different algebraic structures used so far as mathematical models of quantum mechanics: the traditional Hilbert space approach, order unit spaces, Jordan algebras, effect algebras, MV-algebras, orthomodular lattices. We study sharp and fuzzy observables on two special classes of synaptic algebras: on the so called generalized Hermitian algebras and on synaptic algebras which are Banach space duals. Relations between fuzzy and sharp observables on these two types of synaptic algebras are shown.


title: Observations on MIMOSIS-0, the first dedicated CPS prototype for the CBM MVD

abstract: The Micro Vertex Detector (MVD) of the future Compressed Baryonic Matter (CBM) experiment at FAIR will have to provide a spatial precision of $\sim 5~\rm \mu m$ in combination with a material budget of 0.3\% - 0.5\% X$_0$ for a full detector station. Simultaneously, it will have to handle the rate and radiation load of operating the fixed target experiment at an average collision rate of 100 kHz (4 - 10 AGeV Au+Au collisions) or 10 MHz (up to 28 GeV p-A collisions). The harsh requirements call for a dedicated detector technology, which is the next generation CMOS Monolithic Active Pixel Sensor MIMOSIS. We report about the requirements for the sensor, introduce the design approach being followed to cope with it and show first test results from a first sensor prototype called MIMOSIS-0 .