title: Inadequate Risk Analysis Might Jeopardize The Functional Safety of Modern Systems

abstract: In the early 90s, researchers began to focus on security as an important property to address in combination with safety. Over the years, researchers have proposed approaches to harmonize activities within the safety and security disciplines. Despite the academic efforts to identify interdependencies and to propose combined approaches for safety and security, there is still a lack of integration between safety and security practices in the industrial context, as they have separate standards and independent processes often addressed and assessed by different organizational teams and authorities. Specifically, security concerns are generally not covered in any detail in safety standards potentially resulting in successfully safety-certified systems that still are open for security threats from e.g., malicious intents from internal and external personnel and hackers that may jeopardize safety. In recent years security has again received an increasing attention of being an important issue also in safety assurance, as the open interconnected nature of emerging systems makes them susceptible to security threats at a much higher degree than existing more confined products.This article presents initial ideas on how to extend safety work to include aspects of security during the context establishment and initial risk assessment procedures. The ambition of our proposal is to improve safety and increase efficiency and effectiveness of the safety work within the frames of the current safety standards, i.e., raised security awareness in compliance with the current safety standards. We believe that our proposal is useful to raise the security awareness in industrial contexts, although it is not a complete harmonization of safety and security disciplines, as it merely provides applicable guidance to increase security awareness in a safety context.


title: Seeking leptoquarks in the $\bf t\bar{t}$ plus missing energy channel at the high-luminosity LHC

abstract: The $t\bar t$ plus missing energy channel is one of the most efficient to detect third-generation leptoquarks (LQs). It offers an important test to models which explain flavor anomalies in $B$ meson decays. We outline a search strategy in the channel, relying on tagging the tops and on observables constructed out of the tops, and we assess the reach on LQs of the future high-luminosity LHC program. We find that with 3 ab$^{-1}$ a vector (scalar) LQ decaying 50% (100%) to top and neutrino can be excluded up to masses of 1.96 TeV (1.54 TeV). We also indicate several observables that, in case of a future discovery in the channel, can be used to distinguish a scalar LQ from a vector LQ. The implications of our findings to models addressing the recent flavor anomalies are finally discussed.


title: Direct prediction of corner state configurations from edge winding numbers in 2D and 3D chiral-symmetric lattice systems

abstract: Higher-order topological phases feature topologically protected boundary states in lower dimensions. Specifically, the zero-dimensional corner states are protected by the $d$th-order topology of a $d$-dimension system. In this work, we propose to predict different configurations of corner states from winding numbers defined for one-dimensional edges of the system. We first demonstrate the winding number characterization with a generalized two-dimensional square lattice belonging to the BDI symmetry class. In addition to the second-order topological insulating phase, the system may also be a nodal point semimetal or a weak topological insulator with topologically protected one-dimensional edge states coexisting with the corner states at zero energy. A three-dimensional cubic lattice with richer configurations of corner states is also studied. We further discuss several experimental implementations of our models with photonic lattices or electric circuits.


title: On the Kirwan map for moduli of Higgs bundles

abstract: Let $C$ be a smooth complex projective curve and $G$ a connected complex reductive group. We prove that if the center $Z(G)$ of $G$ is disconnected, then the Kirwan map $H^*\big(\operatorname{Bun}(G,C),\mathbb{Q}\big)\rightarrow H^*\big(\mathcal{M}_{\operatorname{Higgs}}^{\operatorname{ss}},\mathbb{Q}\big)$ from the cohomology of the moduli stack of $G$-bundles to the moduli stack of semistable $G$-Higgs bundles, fails to be surjective: more precisely, the "variant cohomology" (and variant intersection cohomology) of the stack $\mathcal{M}_{\operatorname{Higgs}}^{\operatorname{ss}}$ of semistable $G$-Higgs bundles, is always nontrivial. We also show that the image of the pullback map $H^*\big(M_{\operatorname{Higgs}}^{\operatorname{ss}},\mathbb{Q}\big)\rightarrow H^*\big(\mathcal{M}_{\operatorname{Higgs}}^{\operatorname{ss}},\mathbb{Q}\big)$, from the cohomology of the moduli space of semistable $G$-Higgs bundles to the stack of semistable $G$-Higgs bundles, cannot be contained in the image of the Kirwan map. The proof uses a Borel-Quillen--style localization result for equivariant cohomology of stacks to reduce to an explicit construction and calculation.


title: Logic for approximate entailment in ordered universes of discourse

abstract: The Logic of Approximate Entailment (LAE) is a graded counterpart of classical propositional calculus, where conclusions that are only approximately correct can be drawn. This is achieved by equipping the underlying set of possible worlds with a similarity relation. When using this logic in applications, however, a disadvantage must be accepted; namely, in LAE it is not possible to combine conclusions in a conjunctive way. In order to overcome this drawback, we propose in this paper a modification of LAE where, at the semantic level, the underlying set of worlds is moreover endowed with an order structure. The chosen framework is designed in view of possible applications.


title: ROI-based Robotic Grasp Detection for Object Overlapping Scenes

abstract: Grasp detection with consideration of the affiliations between grasps and their owner in object overlapping scenes is a necessary and challenging task for the practical use of the robotic grasping approach. In this paper, a robotic grasp detection algorithm named ROI-GD is proposed to provide a feasible solution to this problem based on Region of Interest (ROI), which is the region proposal for objects. ROI-GD uses features from ROIs to detect grasps instead of the whole scene. It has two stages: the first stage is to provide ROIs in the input image and the second-stage is the grasp detector based on ROI features. We also contribute a multi-object grasp dataset, which is much larger than Cornell Grasp Dataset, by labeling Visual Manipulation Relationship Dataset. Experimental results demonstrate that ROI-GD performs much better in object overlapping scenes and at the meantime, remains comparable with state-of-the-art grasp detection algorithms on Cornell Grasp Dataset and Jacquard Dataset. Robotic experiments demonstrate that ROI-GD can help robots grasp the target in single-object and multi-object scenes with the overall success rates of 92.5% and 83.8% respectively.


title: Diagrammatic proof of the large $N$ melonic dominance in the SYK model

abstract: A crucial result on the celebrated Sachdev-Ye-Kitaev model is that its large $N$ limit is dominated by melonic graphs. In this letter we offer a rigorous, diagrammatic proof of that result by direct, combinatorial analysis of its Feynman graphs.


title: Deep Learning for Quality Control of Subcortical Brain 3D Shape Models

abstract: We present several deep learning models for assessing the morphometric fidelity of deep grey matter region models extracted from brain MRI. We test three different convolutional neural net architectures (VGGNet, ResNet and Inception) over 2D maps of geometric features. Further, we present a novel geometry feature augmentation technique based on a parametric spherical mapping. Finally, we present an approach for model decision visualization, allowing human raters to see the areas of subcortical shapes most likely to be deemed of failing quality by the machine. Our training data is comprised of 5200 subjects from the ENIGMA Schizophrenia MRI cohorts, and our test dataset contains 1500 subjects from the ENIGMA Major Depressive Disorder cohorts. Our final models reduce human rater time by 46-70%. ResNet outperforms VGGNet and Inception for all of our predictive tasks.


title: Fully Dynamic MIS in Uniformly Sparse Graphs

abstract: We consider the problem of maintaining a maximal independent set (MIS) in a dynamic graph subject to edge insertions and deletions. Recently, Assadi, Onak, Schieber and Solomon (STOC 2018) showed that an MIS can be maintained in sublinear (in the dynamically changing number of edges) amortized update time. In this paper we significantly improve the update time for uniformly sparse graphs. Specifically, for graphs with arboricity $\alpha$, the amortized update time of our algorithm is $O(\alpha^2 \cdot \log^2 n)$, where $n$ is the number of vertices. For low arboricity graphs, which include, for example, minor-free graphs as well as some classes of `real world' graphs, our update time is polylogarithmic. Our update time improves the result of Assadi et al. for all graphs with arboricity bounded by $m^{3/8 - \epsilon}$, for any constant $\epsilon > 0$. This covers much of the range of possible values for arboricity, as the arboricity of a general graph cannot exceed $m^{1/2}$.


title: Rees coextensions of finite, negative tomonoids

abstract: A totally ordered monoid, or tomonoid for short, is a monoid endowed with a compatible total order. We deal in this paper with tomonoids that are finite and negative, where negativity means that the monoidal identity is the top element. Examples can be found, for instance, in the context of finite-valued fuzzy logic. By a Rees coextension of a negative tomonoid $S$, we mean a negative tomonoid $T$ such that a Rees quotient of $T$ is isomorphic to $S$. We characterise the set of all those Rees coextensions of a finite, negative tomonoid that are by one element larger. We thereby define a method of generating all such tomonoids in a stepwise fashion. Our description relies on the level-set representation of tomonoids, which allows us to identify the structures in question with partitions of a certain type.


title: Truncated triangular diffraction lattices and orbital-angular-momentum detection of vortex SU(2) geometric modes

abstract: We for the first time report the truncated diffraction with a triangular aperture of the SU(2) geometric modes and propose a method to detect the complicated orbital angular momentum (OAM) of an SU(2) wave-packet, to the best of our knowledge. As a special vortex beam, a nonplanar SU(2) mode carrying special intensity and OAM distributions brings exotic patterns in truncated diffraction lattice. A meshy structure is unveiled therein by adjusting the illuminated aperture in vicinity of the partial OAM regions, which can be elaborately used to evaluate the partial topological charge and OAM of an SU(2) wave-packet by counting the dark holes in the mesh. Moreover, through controlling the size and position of the aperture at the center region, the truncated triangular lattice can be close to the classical spot-array lattice for measuring the center OAM. These effects being fully validated by theoretical simulations greatly extend the versatility of topological structures detection of special beams.


title: Coulomb gauge QCD from flow gauge at three loops

abstract: We study the consistency of the non-Abelian Coulomb gauge. There are energy divergences in individual diagrams, which are known to cancel at 2-loop order when suitable sets of diagrams are summed. We investigate to 3-loop order the inclusion of UV divergent sub-graphs into the energy divergences. In all the examples we study, we find sets of graphs which are free of energy divergences. We make use of an interpolating gauge to regularise the energy divergences while integrals are manipulated. We comment on radiative corrections to the Christ-Lee terms in the Hamiltonian.


title: Logic of Approximate Entailment in quasimetric spaces

abstract: The logic LAE discussed in this paper is based on an approximate entailment relation. LAE generalises classical propositional logic to the effect that conclusions can be drawn with a quantified imprecision. To this end, properties are modelled by subsets of a distance space and statements are of the form that one property implies another property within a certain limit of tolerance. We adopt the conceptual framework defined by E. Ruspini; our work is towards a contribution to the investigation of suitable logical calculi. LAE is based on the assumption that the distance function is a quasimetric. We provide a proof calculus for LAE and we show its soundness and completeness for finite theories. As our main tool for showing completeness, we use a representation of proofs by means of weighted directed graphs.


title: Niemeier lattices, smooth 4-manifolds and instantons

abstract: We show that the set of even positive definite lattices that arise from smooth, simply-connected 4-manifolds bounded by a fixed homology 3-sphere can depend on more than the ranks of the lattices. We provide two homology 3-spheres with distinct sets of such lattices, each containing a distinct nonempty subset of the rank 24 Niemeier lattices.


title: PPF-FoldNet: Unsupervised Learning of Rotation Invariant 3D Local Descriptors

abstract: We present PPF-FoldNet for unsupervised learning of 3D local descriptors on pure point cloud geometry. Based on the folding-based auto-encoding of well known point pair features, PPF-FoldNet offers many desirable properties: it necessitates neither supervision, nor a sensitive local reference frame, benefits from point-set sparsity, is end-to-end, fast, and can extract powerful rotation invariant descriptors. Thanks to a novel feature visualization, its evolution can be monitored to provide interpretable insights. Our extensive experiments demonstrate that despite having six degree-of-freedom invariance and lack of training labels, our network achieves state of the art results in standard benchmark datasets and outperforms its competitors when rotations and varying point densities are present. PPF-FoldNet achieves $9\%$ higher recall on standard benchmarks, $23\%$ higher recall when rotations are introduced into the same datasets and finally, a margin of $>35\%$ is attained when point density is significantly decreased.


title: Axion-Like Particles at Future Colliders

abstract: Axion-like particles (ALPs) are pseudo Nambu-Goldstone bosons of spontaneously broken global symmetries in high-energy extensions of the Standard Model (SM). This makes them a prime target for future experiments aiming to discover new physics which addresses some of the open questions of the SM. While future high-precision experiments can discover ALPs with masses well below the GeV scale, heavier ALPs can be searched for at future high-energy lepton and hadron colliders. We discuss the reach of the different proposed colliders, focusing on resonant ALP production, ALP production in the decay of heavy SM resonances, and associate ALP production with photons, Z bosons or Higgs bosons. We consider the leading effective operators mediating interactions between the ALP and SM particles and discuss search strategies for ALPs decaying promptly as well as ALPs with delayed decays. Projections for the high-luminosity run of the LHC and its high-energy upgrade, CLIC, the future $e^+e^-$ ring-colliders CEPC and FCC-ee, the future pp colliders SPPC and FCC-hh, and for the MATHUSLA surface array are presented. We further discuss the constraining power of future measurements of electroweak precision parameters on the relevant ALP couplings.


title: Real coextensions as a tool for constructing triangular norms

abstract: We present in this paper a universal method of constructing left-continuous triangular norms (l.-c. t-norms). The starting point is an arbitrary, possibly finite, totally ordered monoid fulfilling the conditions that are characteristic for l.-c. t-norms: commutativity, negativity, and quanticity. We show that, under suitable conditions, we can extend this structure by substituting each element for a real interval. The process can be iterated and if the final structure obtained in this way is order-isomorphic to a closed real interval, its monoidal operation can, up to isomorphism, be identified with a l.-c. t-norm. We specify the constituents needed for the construction in an explicit way. We furthermore illustrate the method on the basis of a number of examples.


title: Dust in the Jupiter system outside the rings

abstract: Jupiter is one of the major targets for planetary exploration, and dust in the Jovian system is of great interest to researchers in the field of planetary science. In this paper, we review the five dust populations outside the ring system: grains in the region of the Galilean moons, potential dust from plumes on Europa, Jovian stream particles, particles in the outer region of the Jovian system ejected from the irregular satellites, and dust in the region of the Trojan asteroids. The physical environment for the dust dynamics is described, including the gravity, the magnetic field and the plasma environment. For each population, the dust sources are described, and the relevant perturbation forces are discussed. Observations and results from modeling are reviewed, and the distributions of the individual dust populations are shown. The understanding of the Jovian dust environment allows to assess the dust hazard to spacecraft, and to characterize the material exchange between the Jovian moons, their surface properties and distribution of non-icy constituents.


title: Generalize Symbolic Knowledge With Neural Rule Engine

abstract: As neural networks have dominated the state-of-the-art results in a wide range of NLP tasks, it attracts considerable attention to improve the performance of neural models by integrating symbolic knowledge. Different from existing works, this paper investigates the combination of these two powerful paradigms from the knowledge-driven side. We propose Neural Rule Engine (NRE), which can learn knowledge explicitly from logic rules and then generalize them implicitly with neural networks. NRE is implemented with neural module networks in which each module represents an action of a logic rule. The experiments show that NRE could greatly improve the generalization abilities of logic rules with a significant increase in recall. Meanwhile, the precision is still maintained at a high level.


title: Ramsey Interferometry in Correlated Quantum Noise Environments

abstract: We quantify the impact of spatio-temporally correlated Gaussian quantum noise on frequency estimation by Ramsey interferometry. While correlations in a classical noise environment can be exploited to reduce uncertainty relative to the uncorrelated case, we show that quantum noise environments with frequency asymmetric spectra generally introduce additional sources of uncertainty due to uncontrolled entanglement of the sensing system mediated by the bath. For the representative case of collective noise from bosonic sources, and experimentally relevant collective spin observables, we find that the uncertainty can increase exponentially with the number of probes. As a concrete application, we show that correlated quantum noise due to a lattice vibrational mode can preclude superclassical precision scaling in current amplitude sensing experiments with trapped ions.


title: Asymptotically Optimal Codes Correcting Fixed-Length Duplication Errors in DNA Storage Systems

abstract: A (tandem) duplication of length $ k $ is an insertion of an exact copy of a substring of length $ k $ next to its original position. This and related types of impairments are of relevance in modeling communication in the presence of synchronization errors, as well as in several information storage applications. We demonstrate that Levenshtein's construction of binary codes correcting insertions of zeros is, with minor modifications, applicable also to channels with arbitrary alphabets and with duplication errors of arbitrary (but fixed) length $ k $. Furthermore, we derive bounds on the cardinality of optimal $ q $-ary codes correcting up to $ t $ duplications of length $ k $, and establish the following corollaries in the asymptotic regime of growing block-length: 1.) the presented family of codes is optimal for every $ q, t, k $, in the sense of the asymptotic scaling of code redundancy; 2.) the upper bound, when specialized to $ q = 2 $, $ k = 1 $, improves upon Levenshtein's bound for every $ t \geq 3 $; 3.) the bounds coincide for $ t = 1 $, thus yielding the exact asymptotic behavior of the size of optimal single-duplication-correcting codes.


title: Gauge Coupling Unification without Supersymmetry

abstract: We investigate the prospects to achieve unification of the gauge couplings in models without supersymmetry. We restrict our discussion to $SU(5), SO(10)$ and $E_6$ models that mimic the structure of the Standard Model as much as possible ("conservative models"). One possible reason for the non-unification of the standard model gauge couplings are threshold corrections which are necessary when the masses of the superheavy fields are not exactly degenerate. We calculate the threshold corrections in conservative models with a Grand Desert between the electroweak and the unification scale. We argue that only in conservative $E_6$ models the corrections can be sufficiently large to explain the mismatch and, at the same time, yield a long-enough proton lifetime. A second possible reason for the mismatch are particles at an intermediate scale. We therefore also study systematically the impact of additional light scalars, gauge bosons and fermions on the running of the gauge coupling. We argue that for each of these possibilities there is a viable scenario with just one intermediate scale.


title: Reasoning with graded information: the case of diagnostic rating scales in healthcare

abstract: In medicine one frequently deals with vague information. As a tool for reasoning in this area, fuzzy logic suggests itself. In this paper we explore the applicability of the basic ideas of fuzzy set theory in the context of medical assessment questionnaires, which are commonly used, for instance, to support the diagnosis of psychological disorders. The items of a questionnaire are answered in a graded form; patients are asked to choose an element on a linear scale. The derived diagnostic hypotheses are graded as well. This leads to the question whether there is a logical formalism that is suitable to capture the score calculation of medical assessment questionnaires and thereby provides a mathematical justification of the way in which the calculation is typically done. We elaborate two alternative approaches to this problem. First, we follow the lines of mathematical fuzzy logic. For the proposed logic, which can deal with the formation of mean values, we present a Hilbert-style deduction system. In addition, we consider a variant of the prototype approach to vagueness. In this case we are led to a framework for which to obtain a logical calculus turns out to be difficult, yet our gain is a model that is conceptually comparably well-justifiable.


title: The [C II] emission as a molecular gas mass tracer in galaxies at low and high redshift

abstract: We present ALMA Band 9 observations of the [C II]158um emission for a sample of 10 main-sequence galaxies at redshift z ~ 2, with typical stellar masses (log M*/Msun ~ 10.0 - 10.9) and star formation rates (~ 35 - 115 Msun/yr). Given the strong and well understood evolution of the interstellar medium from the present to z = 2, we investigate the behaviour of the [C II] emission and empirically identify its primary driver. We detect [C II] from six galaxies (four secure, two tentative) and estimate ensemble averages including non detections. The [C II]-to-infrared luminosity ratio (L[C II]/LIR) of our sample is similar to that of local main-sequence galaxies (~ 2 x 10^-3), and ~ 10 times higher than that of starbursts. The [C II] emission has an average spatial extent of 4 - 7 kpc, consistent with the optical size. Complementing our sample with literature data, we find that the [C II] luminosity correlates with galaxies' molecular gas mass, with a mean absolute deviation of 0.2 dex and without evident systematics: the [C II]-to-H2 conversion factor (alpha_[C II] ~ 30 Msun/Lsun) is largely independent of galaxies' depletion time, metallicity, and redshift. [C II] seems therefore a convenient tracer to estimate galaxies' molecular gas content regardless of their starburst or main-sequence nature, and extending to metal-poor galaxies at low and high redshifts. The dearth of [C II] emission reported for z > 6 - 7 galaxies might suggest either a high star formation efficiency or a small fraction of UV light from star formation reprocessed by dust.


title: Computational study of geometric effects of bottom wall microgrooves on cell docking inside microfluidic devices

abstract: Single cell and regularly cells docking inside the microstructure of microfluidic systems are advantageous in different analyses of single cells exposed to equal drug concentration and mechanical stimulus. In this study, we investigated bottom wall microgrooves with semicircular and rectangular geometries with different sizes which are suitable for single cell docking along the length of the microgroove in x direction and numerous cells docking regularly in one line inside the microgroove in a 3D microchannel. We used computational fluid dynamics to analyze the fluid recirculation area inside different microgrooves. The height of recirculation area in the bottom of microgroove can affect the cell attachment, and also materials delivery to attached cells, so the height of recirculation area has to be optimum amount. In addition, we analyzed the fluid drag force on cell movement toward the microgroove. This parameter was proportional to the fluid velocities in x and y directions changing in different microgrooves geometries. In different microgrooves geometries the fluid velocity in y direction does not change. If the fluid velocity in x direction decreases inside the microgroove, the cell movement time inside the microgroove will increase, and also the drag force in y direction can push the cells toward the bottom due to the lower drag force in x direction. The percentages of negative shear stress and average shear stress on the adhered cell surface were also calculated. The lower average shear stress, and negative shear stress around 50% on the cell surface are against cell detachment from the substrate. The results indicated that at the constant fluid inlet velocity and microchannel height, microgroove geometry and ratio of cell size to the microgroove size play pivotal roles in the cell initial adhesion to the substrate as well as the cell detachment.


title: Growth Pattern of Magnetic Field Treated Bacteria

abstract: A study of the induced effect of different types of weak magnetic field exposure on bacterial growth is performed, comparing the relative changes after removal from the magnetic fields. This investigation is relevant to understand the effect of magnetic field exposure on human beings due to electronic devices. For this purpose, we use four species of common bacteria in reference to human health and safety including Escherichia coli, Staphylococcus aureus, Staphylococcus epidermidis, and Pseudomonas aeruginosa. The choice of these four bacteria also allows us to check for effects which rely upon the Gram-staining properties or shapes of bacterial species. These species were initially exposed to static, non-homogeneous and alternating weak magnetic fields, and then they were grown in incubators in the same environment at 37 {\deg}C simultaneously. Comparative measurements of optical density are then used to track the sustained impact on bacterial growth in the experimental samples. Bacteria was first grown in different weak magnetic fields on a plain glass surface both in liquid and solid media. Magnetic field treated bacteria were then transferred into similar test tubes to grow in an incubator concurrently. Bacterial cultures in liquid nutrient broth on plain glass proliferated faster in most species. Different magnetic fields affect the growth pattern of bacteria differently, depending on the bacterial strain. The weak magnetic field seems to decelerate the growth rate, even after the magnetic field is removed. With application of this study, we can potentially investigate the effect of weak field exposures on Eukaryotic cells and gene dynamics.


title: Duck Traps: Two-dimensional Critical Manifolds in Planar Systems

abstract: In this work we consider two-dimensional critical manifolds in planar fast-slow systems near fold and so-called canard (=`duck') points. These higher-dimension, and lower-codimension, situation is directly motivated by the case of hysteresis operators limiting onto fast-slow systems as well as by systems with constraints. We use geometric desingularization via blow-up to investigate two situations for the slow flow: generic fold (or jump) points, and canards in one-parameter families. We directly prove that the fold case is analogous to the classical fold involving a one-dimensional critical manifold. However, for the canard case, considerable differences and difficulties appear. Orbits can get trapped in the two-dimensional manifold after a canard-like passage thereby preventing small-amplitude oscillations generated by the singular Hopf bifurcation occurring in the classical canard case, as well as certain jump escapes.


title: Temperature Dependence of the Vacancy Formation Energy in Solid $^4$He

abstract: We studied the thermal effects on the behavior of incommensurate solid $^4$He at low temperatures using the path integral Monte Carlo method. Below a certain temperature, depending on the density and the structure of the crystal, the vacancies delocalize and a finite condensate fraction appears. We calculated the vacancy formation energy as a function of the temperature and observed a behavior compatible with a two-step structure, with a gap of few K appearing at the onset temperature of off-diagonal long-range order. Estimation of the energy cost of creating two vacancies seems to indicate an effective attractive interaction among the vacancies but the large error inherent to its numerical estimation precludes a definitive statement.


title: Distinguishing between statistical and systematic errors in quantum process tomography

abstract: It is generally assumed that every process in quantum physics can be described mathematically by a completely positive map. However, experimentally reconstructed processes are not necessarily completely positive due to statistical or systematic errors. In this paper, we introduce a test for discriminating statistical from systematic errors which is necessary to interpret experimentally reconstructed, non-completely positive maps.Wedemonstrate the significance of the test using several examples given by experiments and simulations. In particular, we demonstrate experimentally how an initial correlation between the system to be measured and its environment leads to an experimentally reconstructed map with negative eigenvalues. These experiments are carried out using atomic 171Yb+ ions confined in a linear Paul trap, addressed and coherently manipulated by radio frequency radiation.


title: Efficiency of radiation friction losses in laser-driven "hole boring" of dense targets

abstract: In the interaction of laser pulses of extreme intensity ($>10^{23}~{\rm W cm}^{-2}$) with high-density, thick plasma targets, simulations show significant radiation friction losses, in contrast to thin targets for which such losses are negligible. We present an analytical calculation, based on classical radiation friction modeling, of the conversion efficiency of the laser energy into incoherent radiation in the case when a circularly polarized pulse interacts with a thick plasma slab of overcritical initial density. By accounting for three effects including the influence of radiation losses on the single electron trajectory, the global `hole boring' motion of the laser-plasma interaction region under the action of radiation pressure, and the inhomogeneity of the laser field in both longitudinal and transverse direction, we find a good agreement with the results of three-dimensional particle-in-cell simulations. Overall, the collective effects greatly reduce radiation losses with respect to electrons driven by the same laser pulse in vacuum, which also shift the reliability of classical calculations up to higher intensities.


title: The equality of generalized matrix functions on the set of all symmetric matrices

abstract: A generalized matrix function $d_\chi^G : M_n(\mathbb{C}) \rightarrow \mathbb{C}$ is a function constructed by a subgroup $G$ of $S_n$ and a complex valued function $\chi$ of $G$. The main purpose of this paper is to find a necessary and sufficient condition for the equality of two generalized matrix functions on the set of all symmetric matrices, $\mathbb{S}_n(\mathbb{C})$. In order to fulfill the purpose, a symmetric matrix $S_\sigma$ is constructed and $d_\chi^G(S_\sigma)$ is evaluated for each $\sigma \in S_n$. By applying the value of $d_\chi^G(S_\sigma)$, it is shown that $d_\chi^G(AB) = d_\chi^G(A)d_\chi^G(B)$ for each $A, B \in \mathbb{S}_n(\mathbb{C})$ if and only if $d_\chi^G = \det$. Furthermore, a criterion when $d_\chi^G(AB) = d_\chi^G(BA)$ for every $A, B \in \mathbb{S}_n(\mathbb{C})$, is established.


title: An extended locally constant field approximation for nonlinear Compton scattering

abstract: The locally constant field approximation (LCFA) has to date underpinned the numerical simulation of quantum processes in laser-plasma physics and astrophysics, but its validity has recently been questioned in the parameter regime of current laser experiments. While improvements are needed, literature corrections to the LCFA show inherent problems. Using nonlinear Compton scattering in laser fields to illustrate, we show here how to overcome the problems in LCFA corrections. We derive an "LCFA+" which, comparing with the full QED result, shows an improvement over the LCFA across the whole photon emission spectrum. We also demonstrate an implementation of our results in the type of numerical code used to design and analyse intense laser experiments.


title: A Coordinate-Free Construction of Scalable Natural Gradient

abstract: Most neural networks are trained using first-order optimization methods, which are sensitive to the parameterization of the model. Natural gradient descent is invariant to smooth reparameterizations because it is defined in a coordinate-free way, but tractable approximations are typically defined in terms of coordinate systems, and hence may lose the invariance properties. We analyze the invariance properties of the Kronecker-Factored Approximate Curvature (K-FAC) algorithm by constructing the algorithm in a coordinate-free way. We explicitly construct a Riemannian metric under which the natural gradient matches the K-FAC update; invariance to affine transformations of the activations follows immediately. We extend our framework to analyze the invariance properties of K-FAC applied to convolutional networks and recurrent neural networks, as well as metrics other than the usual Fisher metric.


title: Accelerating the calculation of dipolar interactions in particle based simulations with open boundary conditions by means of the P2NFFT method

abstract: Magnetic gels are soft elastic materials consisting of magnetic particles embedded in a polymer network. Their shape and elasticity can be controlled by an external magnetic field, which gives rise to both, engineering and biomedical applications. Computer simulations are a commonly used tool to study these materials. A well-known bottleneck of these simulations is the demanding calculation of dipolar interactions. Under periodic boundary conditions established algorithms are available for doing this, however, at the expense of restricting the way in which the gels can deform in an external magnetic field. Moreover, the magnetic properties depend on the sample shape, ruling out periodic boundary conditions entirely for some research questions. In this article we will employ the recently developed dipolar variant of the P$^2$NFFT method that is able to calculate dipolar interactions under open boundary conditions with an $N \log N$ scaling in the number of particles, rather than the expensive $N^2$ scaling of a direct summation of pair forces. The dipolar P$^2$NFFT method has been implemented within the ScaFaCoS library. The molecular dynamics software ESPResSo has been extended to make use of the library. After a short summary of the method, we will discuss its value for studying magnetic soft matter systems. A particular focus is put on developing a tuning strategy to reach the best performance of the method at a predefined accuracy, and lastly applying the method to a magnetic gel model. Here, adapting to the gel's change in shape during the course of a simulation is of particular interest.


title: Update on the recent progress of the CUORE experiment

abstract: CUORE is a 741 kg array of 988 TeO$_2$ bolometeric crystals designed to search for the neutrinoless double beta decay of $^{130}$Te and other rare processes. CUORE has been taking data since summer 2017, and as of summer 2018 collected a total of 86.3 kg$\cdot$yr of TeO$_2$ exposure. Based on this exposure, we were able to set a limit on the $0\nu\beta\beta$ half-life of $^{130}$Te of $T^{0\nu}_{1/2}>1.5\times10^{25}$ yr at 90% C.L. At this conference, we showed the decomposition of the CUORE background and were able to extract a $^{130}$Te $2\nu\beta\beta$ half-life of $T_{1/2}^{2\nu}=[7.9\pm0.1 \mathrm{(stat.)}\pm0.2 \mathrm{(syst.)}]\times10^{20}$ yr. This is the most precise measurement of this half-life and is consistent with previous measurements.


title: Blow-up for the pointwise NLS in dimension two: absence of critical power

abstract: We consider the Schr\"odinger equation in dimension two with a fixed, pointwise, focusing nonlinearity and show the occurrence of a blow-up phenomenon with two peculiar features: first, the energy threshold under which all solutions blow up is strictly negative and coincides with the infimum of the energy of the standing waves. Second, there is no critical power nonlinearity, i.e. for every power there exist blow-up solutions. This last property is uncommon among the conservative Schr\"odinger equations with local nonlinearity.


title: Mapping the Conditions for Hydrodynamic Instability on Steady State Accretion Models of Protoplanetary Disks

abstract: Hydrodynamical instabilities in disks around young stars depend on the thermodynamic stratification of the disk and on the local rate of thermal relaxation. Here, we map the spatial extent of unstable regions for the Vertical Shear Instability (VSI), the Convective OverStability (COS), and the amplification of vortices via the Subcritical Baroclinic Instability (SBI). We use steady state accretion disk models, including stellar irradiation, accretion heating and radiative transfer. We determine the local radial and vertical stratification and thermal relaxation rate in the disk, in dependence of the stellar mass, disk mass and mass accretion rate. We find that passive regions of disks - i.e. the midplane temperature dominated by irradiation - are COS unstable about one pressure scale height above the midplane and VSI unstable at radii $> 10 \, \text{au}$. Vortex amplification via SBI should operate in most parts of active and passive disks. For active parts of disks (midplane temperature determined by accretion power) COS can become active down to the midplane. Same is true for the VSI because of the vertically adiabatic stratification of an internally heated disk. If hydro instabilities or other non-ideal MHD processes are able to create $\alpha$-stresses ($> 10^{-5}$) and released accretion energy leads to internal heating of the disk, hydrodynamical instabilities are likely to operate in significant parts of the planet forming zones in disks around young stars, driving gas accretion and flow structure formation. Thus hydro-instabilities are viable candidates to explain the rings and vortices observed with ALMA and VLT.


title: Protecting temporal correlations of two-qubit states using quantum channels with memory

abstract: Quantum temporal correlations exhibited by violations of Leggett-Garg Inequality (LGI) and Temporal Steering Inequality (TSI) are in general found to be non-increasing under decoherence channels when probed on two-qubit pure entangled states. We study the action of decoherence channels, such as amplitude damping, phase-damping and depolarising channels when partial memory is introduced in a way such that two consecutive uses of the channels are time-correlated. We show that temporal correlations demonstrated by violations of the above temporal inequalities can be protected against decoherence using the effect of memory.


title: A categorification of biclosed sets of strings

abstract: We consider the closure space on the set of strings of a gentle algebra of finite representation type. Palu, Pilaud, and Plamondon proved that the collection of all biclosed sets of strings forms a lattice, and moreover, that this lattice is congruence-uniform. Many interesting examples of finite congruence-uniform lattices may be represented as the lattice of torsion classes of an associative algebra. We introduce a generalization, the lattice of torsion shadows, and we prove that the lattice of biclosed sets of strings is isomorphic to a lattice of torsion shadows. Finite congruence-uniform lattices admit an alternate partial order known as the shard intersection order. In many cases, the shard intersection order of a congruence-uniform lattice is isomorphic to a lattice of wide subcategories of an associative algebra. Analogous to torsion shadows, we introduce wide shadows, and prove that the shard intersection order of the lattice of biclosed sets is isomorphic to a lattice of wide shadows.


title: Determining interface dielectric losses in superconducting coplanar waveguide resonators

abstract: Superconducting quantum computing architectures comprise resonators and qubits that experience energy loss due to two-level systems (TLS) in bulk and interfacial dielectrics. Understanding these losses is critical to improving performance in superconducting circuits. In this work, we present a method for quantifying the TLS losses of different bulk and interfacial dielectrics present in superconducting coplanar waveguide (CPW) resonators. By combining statistical characterization of sets of specifically designed CPW resonators on isotropically etched silicon substrates with detailed electromagnetic modeling, we determine the separate loss contributions from individual material interfaces and bulk dielectrics. This technique for analyzing interfacial TLS losses can be used to guide targeted improvements to qubits, resonators, and their superconducting fabrication processes.


title: Discretely decomposable restrictions of $(\mathfrak{g},K)$-modules for Klein four symmetric pairs of exceptional Lie groups of Hermitian type

abstract: Let $(G,G^\Gamma)$ be a Klein four symmetric pair. The author wants to classify all the Klein four symmetric pairs $(G,G^\Gamma)$ such that there exists at least one nontrivial unitarizable simple $(\mathfrak{g},K)$-module $\pi_K$ that is discretely decomposable as a $(\mathfrak{g}^\Gamma,K^\Gamma)$-module. In this article, three assumptions will be made. Firstly, $G$ is an exceptional Lie group of Hermitian type, i.e., $G=\mathrm{E}_{6(-14)}$ or $\mathrm{E}_{7(-25)}$. Secondly, $G^\Gamma$ is noncompact. Thirdly, there exists an element $\sigma\in\Gamma$ corresponding to a symmetric pair of anti-holomorphic type such that $\pi_K$ is discretely decomposable as a $(\mathfrak{g}^\sigma,K^\sigma)$-module.


title: Optimal constraints on primordial gravitational waves from the lensed CMB

abstract: We demonstrate how to obtain optimal constraints on a primordial gravitational wave component in lensed Cosmic Microwave Background (CMB) data under ideal conditions. We first derive an estimator of the tensor-to-scalar ratio, $r$, by using an error-controlled close approximation to the exact posterior, under the assumption of Gaussian primordial CMB and lensing deflection potential. This combines fast internal iterative lensing reconstruction with optimal recovery of the unlensed CMB. We evaluate its performance on simulated low-noise polarization data targeted at the recombination peak. We carefully demonstrate our $r$-posterior estimate is optimal and shows no significant bias, making it the most powerful estimator of primordial gravitational waves from the CMB. We compare these constraints to those obtained from $B$-mode band-power likelihood analyses on the same simulated data, before and after map-level quadratic estimator delensing, and iterative delensing. Internally, iteratively delensed band powers are only slightly less powerful on average (by less than 10\%), promising close-to-optimal constraints from a stage IV CMB experiment.


title: IEA: Inner Ensemble Average within a convolutional neural network

abstract: Ensemble learning is a method of combining multiple trained models to improve model accuracy. We propose the usage of such methods, specifically ensemble average, inside Convolutional Neural Network (CNN) architectures by replacing the single convolutional layers with Inner Average Ensembles (IEA) of multiple convolutional layers. Empirical results on different benchmarking datasets show that CNN models using IEA outperform those with regular convolutional layers. A visual and a similarity score analysis of the features generated from IEA explains why it boosts the model performance.


title: Large-Scale Cover Song Detection in Digital Music Libraries Using Metadata, Lyrics and Audio Features

abstract: Cover song detection is a very relevant task in Music Information Retrieval (MIR) studies and has been mainly addressed using audio-based systems. Despite its potential impact in industrial contexts, low performances and lack of scalability have prevented such systems from being adopted in practice for large applications. In this work, we investigate whether textual music information (such as metadata and lyrics) can be used along with audio for large-scale cover identification problem in a wide digital music library. We benchmark this problem using standard text and state of the art audio similarity measures. Our studies shows that these methods can significantly increase the accuracy and scalability of cover detection systems on Million Song Dataset (MSD) and Second Hand Song (SHS) datasets. By only leveraging standard tf-idf based text similarity measures on song titles and lyrics, we achieved 35.5% of absolute increase in mean average precision compared to the current scalable audio content-based state of the art methods on MSD. These experimental results suggests that new methodologies can be encouraged among researchers to leverage and identify more sophisticated NLP-based techniques to improve current cover song identification systems in digital music libraries with metadata.


title: A structure theorem for stochastic processes indexed by the discrete hypercube

abstract: Let $A$ be a finite set with $|A|\geqslant 2$, let $n$ be a positive integer, and let $A^n$ denote the discrete $n$-dimensional hypercube (that is, $A^n$ is the Cartesian product of $n$ many copies of $A$). Given a family $\langle D_t:t\in A^n\rangle$ of measurable events in a probability space (a stochastic process), what structural information can be obtained assuming that the events $\langle D_t:t\in A^n\rangle$ are not behaving as if they were independent? We obtain an answer to this problem (in a strong quantitative sense) subject to a mild "stationarity" condition. Our result has a number of combinatorial consequences, including a new (and the most informative so far) proof of the density Hales--Jewett theorem.


title: Baikal-GVD: status and prospects

abstract: Baikal-GVD is a next generation, kilometer-scale neutrino telescope under construction in Lake Baikal. It is designed to detect astrophysical neutrino fluxes at energies from a few TeV up to 100 PeV. GVD is formed by multi-megaton subarrays (clusters). The array construction started in 2015 by deployment of a reduced-size demonstration cluster named "Dubna". The first cluster in its baseline configuration was deployed in 2016, the second in 2017 and the third in 2018. The full scale GVD will be an array of ~10000 light sensors with an instrumented volume of about 2 cubic km. The first phase (GVD-1) is planned to be completed by 2020-2021. It will comprise 8 clusters with 2304 light sensors in total. We describe the design of Baikal-GVD and present selected results obtained in 2015-2017.

categories: astro-ph.IM hep-ex hep-ph physics.ins-det


title: Valence Quark Transversity at Small $x$

abstract: In our previous work we established a formalism which allows one to determine the small-$x$ asymptotics of any transverse momentum-dependent parton distribution function (TMD PDF) of the proton at small values of strong coupling. In this paper we apply this formalism to the valence quark transversity TMD. We relate the valence quark transversity to the transversely polarized dipole scattering amplitude, written in terms of the fundamental transversely-polarized "Wilson line" operator, an expression for which we derive explicitly as well. We then write down the evolution equation for the transversely polarized dipole amplitude. Solving that equation we arrive at the following small-$x$ asymptotics of the valence quark transversity in the large-$N_c$ limit: \begin{align} h_{1T}^v (x, k_T^2) \sim h_{1T}^{\perp \, v} (x, k_T^2) \sim \left( \frac{1}{x} \right)^{-1 + 2 \, \sqrt{\frac{\alpha_s \, N_c}{2 \, \pi}} } . \notag \end{align} This result is in agreement with one of the two possible small-$x$ asymptotics for the transverse structure function found previously by Kirschner, Mankiewicz, Sch\"{a}fer, and Szymanowski.


title: An Exponential Cox-Ingersoll-Ross Process as Discounting Factor

abstract: We consider an economic agent (a household or an insurance company) modelling its surplus process by a deterministic process or by a Brownian motion with drift. The goal is to maximise the expected discounted spendings/dividend payments, given that the discounting factor is given by an exponential CIR process. In the deterministic case, we are able to find explicit expressions for the optimal strategy and the value function. For the Brownian motion case, we offer a method allowing to show that for a small volatility the optimal strategy is a constant-barrier strategy.


title: Gaussian Mixture Generative Adversarial Networks for Diverse Datasets, and the Unsupervised Clustering of Images

abstract: Generative Adversarial Networks (GANs) have been shown to produce realistically looking synthetic images with remarkable success, yet their performance seems less impressive when the training set is highly diverse. In order to provide a better fit to the target data distribution when the dataset includes many different classes, we propose a variant of the basic GAN model, called Gaussian Mixture GAN (GM-GAN), where the probability distribution over the latent space is a mixture of Gaussians. We also propose a supervised variant which is capable of conditional sample synthesis. In order to evaluate the model's performance, we propose a new scoring method which separately takes into account two (typically conflicting) measures - diversity vs. quality of the generated data. Through a series of empirical experiments, using both synthetic and real-world datasets, we quantitatively show that GM-GANs outperform baselines, both when evaluated using the commonly used Inception Score, and when evaluated using our own alternative scoring method. In addition, we qualitatively demonstrate how the \textit{unsupervised} variant of GM-GAN tends to map latent vectors sampled from different Gaussians in the latent space to samples of different classes in the data space. We show how this phenomenon can be exploited for the task of unsupervised clustering, and provide quantitative evaluation showing the superiority of our method for the unsupervised clustering of image datasets. Finally, we demonstrate a feature which further sets our model apart from other GAN models: the option to control the quality-diversity trade-off by altering, post-training, the probability distribution of the latent space. This allows one to sample higher quality and lower diversity samples, or vice versa, according to one's needs.


title: Structure and bases of modular space sequences $(M_{2k}(\Gamma_0(N)))_{k\in \mathbb{N}^*}$ and $(S_{2k}(\Gamma_0(N)))_{k\in \mathbb{N}^*}$. Part I : Strong modular units

abstract: The modular discriminant $\Delta$ is known to structure the sequence of modular forms $(M_{2k}(SL_2(\mathbb{Z})))_{k\in \; \mathbb{N}^*}$ at level $1$.\\ For all positive integer $N$, we define a strong modular unit $\Delta_N$ at level $N$ which enables one to structure the sequence $(M_{2k}(\Gamma_0(N)))_{k\in \; \mathbb{N}^*}$ in an identical way. We will apply this result to the bases search for each of the spaces $(M_{2k}(\Gamma_0(N)))_{k\in \; \mathbb{N}^*}$.\\ This article is the first in a series of three. In the second part we will propose explicit bases of $(M_{2k}(\Gamma_0(N)))_{k\in \; \mathbb{N}^*}$ for $1\leq N \leq 10$. Finally, in a third part, we will apply the results obtained in the first two parts to $(S_{2k}(\Gamma_0(N)))_{k\in \; \mathbb{N}^*}$.


title: Asymptotic optimality of degree-greedy discovering of independent sets in Configuration Model graphs

abstract: Finding independent sets of maximum size in fixed graphs is well known to be an NP-hard task. Using scaling limits, we characterise the asymptotics of sequential degree-greedy explorations and provide sufficient conditions for this algorithm to find an independent set of asymptotically optimal size in large sparse random graphs with given degree sequences. In the special case of sparse Erd\"os-R\'enyi graphs, our results allow to give a simple proof of the so-called $e$-phenomenon identified by Karp and Sipser for matchings and to give an alternative characterisation of the asymptotic independence number.


title: Pathwise Uniqueness for SDEs with Singular Drift and Nonconstant Diffusion: A simple proof

abstract: A new proof of pathwise uniqueness for SDEs with Sobolev diffusion and integrable drift term is introduced by extending a method from E. Fedrizzi and F. Flandoli (Pathwise uniqueness and continuous dependence of SDEs with non-regular drift, Stochastics 83 (2011), pp. 241--257) to the case of nonconstant diffusion.


title: Quantum state identification of qutrits via a nonlinear protocol

abstract: We propose a probabilistic quantum protocol to realize a nonlinear transformation of qutrit states, which by iterative applications on ensembles can be used to distinguish two types of pure states. The protocol involves single-qutrit and two-qutrit unitary operations as well as post-selection according to the results obtained in intermediate measurements. We utilize the nonlinear transformation in an algorithm to identify a quantum state provided it belongs to an arbitrary known finite set. The algorithm is based on dividing the known set of states into two appropriately designed subsets which can be distinguished by the nonlinear protocol. In most cases this is accompanied by the application of some properly defined physical (unitary) operation on the unknown state. Then, by the application of the nonlinear protocol one can decide which of the two subsets the unknown state belongs to thus reducing the number of possible candidates. By iteratively continuing this procedure until a single possible candidate remains, one can identify the unknown state.


title: Rheology and microrheology of deformable droplet suspensions

abstract: Dense suspensions of soft colloidal particles display a broad range of physical and rheological properties which are still far from being fully understood. To elucidate the role of deformability on colloidal flow, we employ computer simulations to measure the apparent viscosity of a system of droplets of variable surface tension subjected to a pressure-driven flow. We confirm that our suspension generically undergoes discontinuous shear thinning, and determine the dependence of the onset of the discontinuity on surface tension. We find that the effective viscosity of the suspension is mainly determined by a capillary number. We present active microrheology simulations, where a single droplet is dragged through the suspension. These also show a dynamical phase transition, analogous to the one associated with discontinuous shear thinning in our interpretation. Such a transition is signalled by a discontinuity in the droplet velocity versus applied force.


title: Complete characterization of sink-strengths for mutually 1D-mobile defect clusters: Extension to diffusion anisotropy analog cases

abstract: Simulating more than seconds of microstructure evolution in systems involving almost athermally or very fast diffusing species such as self-interstitial atom (SIA) clusters currently relies on mean-field or coarse-graining techniques. Rate-equation cluster dynamics (RECD) is the most popular of those when dealing with irradiated microstructure or second phase precipitation. The important input parameters of RECD are the absorption rates, also called cluster sink-strengths (CSS). These quantities crucially depend on the way clusters interact and diffuse and notably on the dimensionality of the involved random diffusion processes. As expected theoretically and experimentally confirmed, SIA clusters migrate in a one-dimensional fashion (possibly with random orientation changes). This complicates the calculation of the related CSS. When involving a 1D-mobile specie and an immobile reaction partner (a "1D-0" reaction) the expressions are quite well known as well as the extension including random rotations (a "1DR-0" reaction). Expressions of CSS for absorptions between identical 1D-mobile species were proposed in the literature, but the general case of 1D-1D absorptions between different cluster classes is unknown. Here we propose such general expressions which turn out to depend on capture radii of interacting clusters populations, concentrations and notably on the ratio of their respective diffusion coefficients through a power-law. The same power-law formulation is found for 1D-3D absorptions but with different exponents, which thus appear as signatures of the dimensionality of the involved random motions. These limiting cases of CSS being established, they are finally implemented in an RECD calculation. The comparison with time consuming kinetic Monte-Carlo simulations completely validates their expression and without any need of multi-sink terms.


title: IDE-Independent Program Comprehension Tools via Source File Overwriting

abstract: Traditionally, we have two possibilities to design tools for program comprehension and analysis. The first option is to create a standalone program, independent of any source code editor. This way, the act of source code editing is separated from the act of viewing the code analysis results. The second option is to create a plugin for a specific IDE (integrated development environment) - in this case, a separate version must be created for each IDE. We propose an approach where information about source code elements is written directly into source files as annotations or special comments. Before committing to a version control system, the annotations are removed from the source code to avoid code pollution. We briefly evaluate the approach and delineate its limitations.


title: Algorithms and Bounds for Drawing Directed Graphs

abstract: In this paper we present a new approach to visualize directed graphs and their hierarchies that completely departs from the classical four-phase framework of Sugiyama and computes readable hierarchical visualizations that contain the complete reachability information of a graph. Additionally, our approach has the advantage that only the necessary edges are drawn in the drawing, thus reducing the visual complexity of the resulting drawing. Furthermore, most problems involved in our framework require only polynomial time. Our framework offers a suite of solutions depending upon the requirements, and it consists of only two steps: (a) the cycle removal step (if the graph contains cycles) and (b) the channel decomposition and hierarchical drawing step. Our framework does not introduce any dummy vertices and it keeps the vertices of a channel vertically aligned. The time complexity of the main drawing algorithms of our framework is $O(kn)$, where $k$ is the number of channels, typically much smaller than $n$ (the number of vertices).


title: Spectral Kurtosis Based RFI Mitigation for CHIME

abstract: We present the implementation of a spectral kurtosis based Radio Frequency Interference detection system on the CHIME instrument and its reduced-scale pathfinder. Our implementation extends single-receiver formulations to the case of a compact array, combining samples from multiple receivers to improve the confidence with which RFI is detected. Through comparison between on-sky data and simulations, we show that the statistical properties of the canonical spectral kurtosis estimator are functionally unchanged by cross-array integration. Moreover, by comparison of simultaneous data from CHIME and the Pathfinder, we evaluate our implementation's capacity for interference discrimination for compact arrays of various size. We conclude that a spectral kurtosis based implementation provides a scalable, high cadence RFI discriminator for compact multi-receiver arrays.


title: $\beta$-Stars or On Extending a Drawing of a Connected Subgraph

abstract: We consider the problem of extending the drawing of a subgraph of a given plane graph to a drawing of the entire graph using straight-line and polyline edges. We define the notion of star complexity of a polygon and show that a drawing $\Gamma_H$ of an induced connected subgraph $H$ can be extended with at most $\min\{ h/2, \beta + \log_2(h) + 1\}$ bends per edge, where $\beta$ is the largest star complexity of a face of $\Gamma_H$ and $h$ is the size of the largest face of $H$. This result significantly improves the previously known upper bound of $72|V(H)|$ [5] for the case where $H$ is connected. We also show that our bound is worst case optimal up to a small additive constant. Additionally, we provide an indication of complexity of the problem of testing whether a star-shaped inner face can be extended to a straight-line drawing of the graph; this is in contrast to the fact that the same problem is solvable in linear time for the case of star-shaped outer face [9] and convex inner face [13].


title: Parametric Topology Optimization with Multi-Resolution Finite Element Models

abstract: We present a methodical procedure for topology optimization under uncertainty with multi-resolution finite element models. We use our framework in a bi-fidelity setting where a coarse and a fine mesh corresponding to low- and high-resolution models are available. The inexpensive low-resolution model is used to explore the parameter space and approximate the parameterized high-resolution model and its sensitivity where parameters are considered in both structural load and stiffness. We provide error bounds for bi-fidelity finite element (FE) approximations and their sensitivities and conduct numerical studies to verify these theoretical estimates. We demonstrate our approach on benchmark compliance minimization problems where we show significant reduction in computational cost for expensive problems such as topology optimization under manufacturing variability while generating almost identical designs to those obtained with single resolution mesh. We also compute the parametric Von-Mises stress for the generated designs via our bi-fidelity FE approximation and compare them with standard Monte Carlo simulations. The implementation of our algorithm which extends the well-known 88-line topology optimization code in MATLAB is provided.


title: Multiparameter singular integrals on the Heisenberg group: uniform estimates

abstract: We consider a class of multiparameter singular Radon integral operators on the Heisenberg group ${\mathbb H}^1$ where the underlying variety is the graph of a polynomial. A remarkable difference with the euclidean case, where Heisenberg convolution is replaced by euclidean convolution, is that the operators on the Heisenberg group are always $L^2$ bounded. This is not the case in the euclidean setting where $L^2$ boundedness depends on the polynomial defining the underlying surface. Here we uncover some new, interesting phenomena. For example, although the Heisenberg group operators are always $L^2$ bounded, the bounds are {\it not} uniform in the coefficients of polynomials with fixed degree. When we ask for which polynoimals uniform $L^2$ bounds hold, we arrive at the {\it same} class where uniform bounds hold in the euclidean case.


title: Robot_gym: accelerated robot training through simulation in the cloud with ROS and Gazebo

abstract: Rather than programming, training allows robots to achieve behaviors that generalize better and are capable to respond to real-world needs. However, such training requires a big amount of experimentation which is not always feasible for a physical robot. In this work, we present robot_gym, a framework to accelerate robot training through simulation in the cloud that makes use of roboticists' tools, simplifying the development and deployment processes on real robots. We unveil that, for simple tasks, simple 3DoF robots require more than 140 attempts to learn. For more complex, 6DoF robots, the number of attempts increases to more than 900 for the same task. We demonstrate that our framework, for simple tasks, accelerates the robot training time by more than 33% while maintaining similar levels of accuracy and repeatability.


title: Improved approximation algorithms for hitting 3-vertex paths

abstract: We study the problem of deleting a minimum cost set of vertices from a given vertex-weighted graph in such a way that the resulting graph has no induced path on three vertices. This problem is often called cluster vertex deletion in the literature and admits a straightforward 3-approximation algorithm since it is a special case of the vertex cover problem on a 3-uniform hypergraph. Recently, You, Wang, and Cao described an efficient 5/2-approximation algorithm for the unweighted version of the problem. Our main result is a 9/4-approximation algorithm for arbitrary weights, using the local ratio technique. We further conjecture that the problem admits a 2-approximation algorithm and give some support for the conjecture. This is in sharp contrast with the fact that the similar problem of deleting vertices to eliminate all triangles in a graph is known to be UGC-hard to approximate to within a ratio better than 3, as proved by Guruswami and Lee.


title: Metallic glasses for spintronics: anomalous temperature dependence and giant enhancement of inverse spin Hall effect

abstract: Spin-charge conversion via inverse spin Hall effect (ISHE) is essential for enabling various applications of spintronics. The spin Hall response usually follows a universal scaling relation with longitudinal electric resistivity and has mild temperature dependence because elementary excitations play only a minor role in resistivity and hence ISHE. Here we report that the ISHE of metallic glasses shows nearly two orders of magnitude enhancements with temperature increase from a threshold of 80-100 K to glass transition points. As electric resistivity changes only marginally in the temperature range, the anomalous temperature dependence is in defiance of the prevailing scaling law. Such a giant temperature enhancement can be well described by a two-level thermal excitation model of glasses and disappears after crystallization, suggesting a new mechanism which involves unique thermal excitations of glasses. This finding may pave new ways to achieve high spin-charge conversion efficiency at room and higher temperatures for spintronic devices and to detect structure and dynamics of glasses using spin currents.


title: Algebras of Toeplitz operators on the $n$-dimensional unit ball

abstract: We study $C^*$-algebras generated by Toeplitz operators acting on the standard weighted Bergman space $\mathcal{A}_{\lambda}^2(\mathbb{B}^n)$ over the unit ball $\mathbb{B}^n$ in $\mathbb{C}^n$. The symbols $f_{ac}$ of generating operators are assumed to be of a certain product type. By choosing $a$ and $c$ in different function algebras $\mathcal{S}_a$ and $\mathcal{S}_c$ over lower dimensional unit balls $\mathbb{B}^{\ell}$ and $\mathbb{B}^{n-\ell}$, respectively, and by assuming the invariance of $a\in \mathcal{S}_a$ under some torus action we obtain $C^*$-algebras $\boldsymbol{\mathcal{T}}_{\lambda}(\mathcal{S}_a, \mathcal{S}_c)$ whose structural properties can be described. In the case of $k$-quasi-radial functions $\mathcal{S}_a$ and bounded uniformly continuous or vanishing oscillation symbols $\mathcal{S}_c$ we describe the structure of elements from the algebra $\boldsymbol{\mathcal{T}}_{\lambda}(\mathcal{S}_a, \mathcal{S}_c)$, derive a list of irreducible representations of $\boldsymbol{\mathcal{T}}_{\lambda}(\mathcal{S}_a, \mathcal{S}_c)$, and prove completeness of this list in some cases. Some of these representations originate from a `quantization effect', induced by the representation of $\mathcal{A}_{\lambda}^2(\mathbb{B}^n)$ as the direct sum of Bergman spaces over a lower dimensional unit ball with growing weight parameter. As an application we derive the essential spectrum and index formulas for matrix-valued operators.


title: The $B^+ \to J/\psi \omega K^+ $ reaction and $D^*\bar{D}^*$ molecular states

abstract: We study the $B^+ \to J/\psi \omega K^+ $ reaction, measured by the LHCb collaboration, and show that it is driven by the presence of two resonances, the $X(3940)$ and $X(3930)$, that are of molecular nature and couple most strongly to $D^* \bar{D}^*$, but also to $J/\psi\omega$. Because of that, in the $J/\psi\omega$ mass distribution we find a peak related to the excitation of the resonances and a cusp with large strength at the $D^* \bar{D}^*$ threshold.


title: LOFAR MSSS: Flattening low-frequency radio continuum spectra of nearby galaxies

abstract: The shape of low-frequency radio continuum spectra of normal galaxies is not well understood, the key question being the role of physical processes such as thermal absorption in shaping them. In this work we take advantage of the LOFAR Multifrequency Snapshot Sky Survey (MSSS) to investigate such spectra for a large sample of nearby star-forming galaxies. Using the measured 150MHz flux densities from the LOFAR MSSS survey and literature flux densities at various frequencies we have obtained integrated radio spectra for 106 galaxies. The spectra are explained through the use of a three-dimensional model of galaxy radio emission, and radiation transfer dependent on the galaxy viewing angle and absorption processes. Spectra of our galaxies are generally flatter at lower compared to higher frequencies but as there is no tendency for the highly inclined galaxies to have more flattened low-frequency spectra, we argue that the observed flattening is not due to thermal absorption, contradicting the suggestion of Israel & Mahoney (1990). According to our modelled radio maps for M51-like galaxies, the free-free absorption effects can be seen only below 30MHz and in the global spectra just below 20MHz, while in the spectra of starburst galaxies, like M82, the flattening due to absorption is instead visible up to higher frequencies of about 150MHz. Locally, within galactic disks, the absorption effects are distinctly visible in M51-like galaxies as spectral flattening around 100-200MHz in the face-on objects, and as turnovers in the edge-on ones, while in M82-like galaxies there are strong turnovers at frequencies above 700MHz, regardless of viewing angle. Our modelling suggests that the weak spectral flattening observed in the nearby galaxies studied here results principally from synchrotron spectral curvature due to cosmic ray energy losses and propagation effects.


title: High-Performance Multi-Mode Ptychography Reconstruction on Distributed GPUs

abstract: Ptychography is an emerging imaging technique that is able to provide wavelength-limited spatial resolution from specimen with extended lateral dimensions. As a scanning microscopy method, a typical two-dimensional image requires a number of data frames. As a diffraction-based imaging technique, the real-space image has to be recovered through iterative reconstruction algorithms. Due to these two inherent aspects, a ptychographic reconstruction is generally a computation-intensive and time-consuming process, which limits the throughput of this method. We report an accelerated version of the multi-mode difference map algorithm for ptychography reconstruction using multiple distributed GPUs. This approach leverages available scientific computing packages in Python, including mpi4py and PyCUDA, with the core computation functions implemented in CUDA C. We find that interestingly even with MPI collective communications, the weak scaling in the number of GPU nodes can still remain nearly constant. Most importantly, for realistic diffraction measurements, we observe a speedup ranging from a factor of $10$ to $10^3$ depending on the data size, which reduces the reconstruction time remarkably from hours to typically about 1 minute and is thus critical for real-time data processing and visualization.

categories: physics.comp-ph cond-mat.mes-hall cs.DC physics.optics


title: A Product Expansion for Toeplitz Operators on the Fock Space

abstract: We study the asymptotic expansion of the product of two Toeplitz operators on the Fock space. In comparison to earlier results we require significantly less derivatives and get the expansion to arbitrary order. This, in particular, improves a result of Borthwick related to Toeplitz quantization. In addition, we derive an intertwining identity between the Berezin star product and the sharp product.


title: Influence of target material impurities on physical results in relativistic heavy-ion collisions

abstract: This paper presents the studies on the influence of the target material impurities on physical observables registered in heavy ion collisions collected by fixed target experiments. It mainly concerns the measures of multiplicity fluctuations which can be used to searches for critical point of strongly interacting matter, e.g. in the {NA61/SHINE} fixed-target experiment at CERN SPS. The elemental composition of the targets used in the NA61/SHINE experiment was determined applying wavelength dispersive X-ray fluorescence (WDXRF) technique. The influence of measured target impurities on multiplicity distributions and scaled variance was estimated using simulation events. The modification of the standard analysis was proposed to reduce this influence.


title: Digitization of Scalar Fields for Quantum Computing

abstract: Qubit, operator and gate resources required for the digitization of lattice $\lambda\phi^4$ scalar field theories onto quantum computers are considered, building upon the foundational work by Jordan, Lee and Preskill, with a focus towards noisy intermediate-scale quantum (NISQ) devices. The Nyquist-Shannon sampling theorem, introduced in this context by Macridin, Spentzouris, Amundson and Harnik building on the work of Somma, provides a guide with which to evaluate the efficacy of two field-space bases, the eigenstates of the field operator, as used by Jordan, Lee and Preskill, and eigenstates of a harmonic oscillator, to describe $0+1$- and $d+1$-dimensional scalar field theory. We show how techniques associated with improved actions, which are heavily utilized in Lattice QCD calculations to systematically reduce lattice-spacing artifacts, can be used to reduce the impact of the field digitization in $\lambda\phi^4$, but are found to be inferior to a complete digitization-improvement of the Hamiltonian using a Quantum Fourier Transform. When the Nyquist-Shannon sampling theorem is satisfied, digitization errors scale as $|\log|\log |\epsilon_{\rm dig}|||\sim n_Q$ (number of qubits describing the field at a given spatial site) for the low-lying states, leaving the familiar power-law lattice-spacing and finite-volume effects that scale as $|\log |\epsilon_{\rm latt}||\sim N_Q$ (total number of qubits in the simulation). For localized(delocalized) field-space wavefunctions, it is found that $n_Q\sim4(7)$ qubits per spatial lattice site are sufficient to reduce theoretical digitization errors below error contributions associated with approximation of the time-evolution operator and noisy implementation on near-term quantum devices.


title: Asymptotic analysis of the Friedkin-Johnsen model when the matrix of the susceptibility weights approaches the identity matrix

abstract: In this paper we analyze the Friedkin-Johnsen model of opinions when the coefficients weighting the agent susceptibilities to interpersonal influence approach 1. We will show that in this case, under suitable assumptions, the model converges to a quasi-consensus condition among the agents. In general the achieved consensus value will be different to the one obtained by the corresponding DeGroot model


abstract: We prove that every graph $G$ contains either $k$ edge-disjoint $K_4$-subdivisions or a set $X$ of at most $O(k^8 \log k)$ edges such that $G-X$ does not contain any $K_4$-subdivision. This shows that $K_4$-subdivisions have the edge-Erd\H{o}s-P\'osa property.


title: The Kinematics of Cluster Galaxies via Velocity Dispersion Profiles

abstract: We present an analysis of the kinematics of a sample of 14 galaxy clusters via velocity dispersion profiles (VDPs), compiled using cluster parameters defined within the X-Ray Galaxy Clusters Database (BAX) cross-matched with data from the Sloan Digital Sky Survey (SDSS). We determine the presence of substructure in the clusters from the sample as a proxy for recent core mergers, resulting in 4 merging and 10 non-merging clusters to allow for comparison between their respective dynamical states. We create VDPs for our samples and divide them by mass, colour and morphology to assess how their kinematics respond to the environment. To improve the signal-to-noise ratio our galaxy clusters are normalised and co-added to a projected cluster radius at $0.0 - 2.5$ $r_{200}$. We find merging cluster environments possess an abundance of a kinematically-active (rising VDP) mix of red and blue elliptical galaxies, which is indicative of infalling substructures responsible for pre-processing galaxies. Comparatively, in non-merging cluster environments galaxies generally decline in kinematic activity as a function of increasing radius, with bluer galaxies possessing the highest velocities, likely as a result of fast infalling field galaxies. However, the variance in kinematic activity between blue and red cluster galaxies across merging and non-merging cluster environments suggests galaxies exhibit differing modes of galaxy accretion onto a cluster potential as a function of the presence of a core merger.


title: Si-doped Defect in Monolayer Graphene: Magnetic Quantization

abstract: We explore the rich and unique magnetic quantization of Si-doped graphene defect systems with various concentrations and configurations using the generalized tight-binding model. This model takes into account simultaneously the non-uniform bond lengths, site energies and hopping integrals, and a uniform perpendicular magnetic field (${B_z\hat z}$). The magnetic quantized Landau levels (LLs) are classified into four different kinds based on the probability distributions and oscillation modes. The main characteristics of LLs are clearly reflected in the magneto-optical selection rules which cover the dominating ${\Delta\,n=|n^v-n^c|=0}$, the coexistent ${\Delta\,n=0}$ $\&$ ${\Delta\,n=1}$, and the specific ${\Delta\,n=1}$. These rules for inter-LLs excitations come from the non-equivalence or equivalence of the A$_i$ and B$_i$ sublattices in a supercell.


title: Deep Chronnectome Learning via Full Bidirectional Long Short-Term Memory Networks for MCI Diagnosis

abstract: Brain functional connectivity (FC) extracted from resting-state fMRI (RS-fMRI) has become a popular approach for disease diagnosis, where discriminating subjects with mild cognitive impairment (MCI) from normal controls (NC) is still one of the most challenging problems. Dynamic functional connectivity (dFC), consisting of time-varying spatiotemporal dynamics, may characterize "chronnectome" diagnostic information for improving MCI classification. However, most of the current dFC studies are based on detecting discrete major brain status via spatial clustering, which ignores rich spatiotemporal dynamics contained in such chronnectome. We propose Deep Chronnectome Learning for exhaustively mining the comprehensive information, especially the hidden higher-level features, i.e., the dFC time series that may add critical diagnostic power for MCI classification. To this end, we devise a new Fully-connected Bidirectional Long Short-Term Memory Network (Full-BiLSTM) to effectively learn the periodic brain status changes using both past and future information for each brief time segment and then fuse them to form the final output. We have applied our method to a rigorously built large-scale multi-site database (i.e., with 164 data from NCs and 330 from MCIs, which can be further augmented by 25 folds). Our method outperforms other state-of-the-art approaches with an accuracy of 73.6% under solid cross-validations. We also made extensive comparisons among multiple variants of LSTM models. The results suggest high feasibility of our method with promising value also for other brain disorder diagnoses.


title: Long-term orbital and rotational motions of Ceres and Vesta

abstract: Context. The dwarf planet Ceres and the asteroid Vesta have been studied by the Dawn space mission. They are the two heaviest bodies of the main asteroid belt and have different characteristics. Notably, Vesta appears to be dry and inactive with two large basins at its south pole. Ceres is an ice-rich body with signs of cryovolcanic activity. Aims. The aim of this paper is to determine the obliquity variations of Ceres and Vesta and to study their rotational stability. Methods. The orbital and rotational motions have been integrated by symplectic integration. The rotational stability has been studied by integrating secular equations and by computing the diffusion of the precession frequency. Results. The obliquity variations of Ceres over $[-20:0]\,\mathrm{Myr}$ are between $2$ and $20{\deg}$ and the obliquity variations of Vesta are between $21$ and $45{\deg}$. The two giant impacts suffered by Vesta modified the precession constant and could have put Vesta closer to the resonance with the orbital frequency $2s_6-s_V$. Given the uncertainty on the polar moment of inertia, the present Vesta could be in this resonance where the obliquity variations can vary between $17$ and $48{\deg}$. Conclusions. Although Ceres and Vesta have precession frequencies close to the secular orbital frequencies of the inner planets, their long-term rotations are relatively stable. The perturbations of Jupiter and Saturn dominate the secular orbital dynamics of Ceres and Vesta and the perturbations of the inner planets are much weaker. The secular resonances with the inner planets also have smaller widths and do not overlap, contrary to the case of the inner planets.


title: On stability of ground states for finite crystals in the Schroedinger-Poisson model

abstract: We consider the Schr\"odinger-Poisson-Newton equations for finite crystals under periodic boundary conditions with one ion per cell of a lattice. The electrons are described by one-particle Schr\"odinger equation. Our main results are i) the global dynamics with moving ions; ii) the orbital stability of periodic ground state under a novel Jellium and Wiener-type conditions on the ion charge density. Under the Jellium condition both ionic and electronic charge densities for the ground state are uniform.


title: Decay and vanishing of some D-solutions of the Navier-Stokes equations

abstract: An old problem since Leray \cite{Le:1} asks whether homogeneous D solutions of the 3 dimensional Navier-Stokes equation in $\mathbb{R}^3$ or some noncompact domains are 0. In this paper, we give a positive solution to the problem in two special cases: (1) when the solution is axially symmetric and periodic in the vertical variable; (2) full 3 dimensional slab case $\mathbb{R}^2 \times [0, 1]$ with Dirichlet boundary condition. Other partial results are also presented. The paper is self contained comparing with the first part \cite{CPZ:1} although the general idea is related.


title: Compensated de Casteljau algorithm in $K$ times the working precision

abstract: In computer aided geometric design a polynomial is usually represented in Bernstein form. This paper presents a family of compensated algorithms to accurately evaluate a polynomial in Bernstein form with floating point coefficients. The principle is to apply error-free transformations to improve the traditional de Casteljau algorithm. At each stage of computation, round-off error is passed on to first order errors, then to second order errors, and so on. After the computation has been "filtered" $(K - 1)$ times via this process, the resulting output is as accurate as the de Casteljau algorithm performed in $K$ times the working precision. Forward error analysis and numerical experiments illustrate the accuracy of this family of algorithms.


title: A plausible explanation of the repeated "noise" pattern in the data of arXiv:1807.08572: quantum confinement and surface phonon modes

abstract: A key point from the experiment related to the "noise" pattern in figure 3(a) of arXive:1807.08572 is that it is a function of temperature. We put forward a possible explanation. We argue that it is the elasto-magnetic coupling in which the diamagnetic surface currents on the surface of nanoparticles couple to surface phonon modes. As the temperature is increased (say from 210 K to 220 K), successive phonon modes are excited, one by one. This is due to quantum confinement where phonon modes take discrete values of energy (in bulk, the modes are quasi-continuous). One by one excitation of phonon modes modulates the surface currents on nano-particles that led to a fluctuating magnetization thus "noise" in the lower part of the susceptibility data where the system is in the superconducting state.


title: Types of Fireballs (Extended Version)

abstract: The good properties of Plotkin's call-by-value lambda-calculus crucially rely on the restriction to weak evaluation and closed terms. Open call-by-value is the more general setting where evaluation is weak but terms may be open. Such an extension is delicate, and the literature contains a number of proposals. Recently, Accattoli and Guerrieri provided detailed operational and implementative studies of these proposals, showing that they are equivalent from the point of view of termination, and also at the level of time cost models. This paper explores the denotational semantics of open call-by-value, adapting de Carvalho's analysis of call-by-name via multi types (aka non-idempotent intersection types). Our type system characterises normalisation and thus provides an adequate relational semantics. Moreover, type derivations carry quantitative information about the cost of evaluation: their size bounds the number of evaluation steps and the size of the normal form, and we also characterise derivations giving exact bounds. The study crucially relies on a new, refined presentation of the fireball calculus, the simplest proposal for open call-by-value, that is more apt to denotational investigations.


title: A platform for nanomagnetism - assembled ferromagnetic and antiferromagnetic dipolar tubes

abstract: We report an interesting case where magnetic phenomena can transcend mesoscopic scales. Our system consists of tubes created by assembly of dipolar spheres. The cylindrical topology results in the breakup of degeneracy observed in the planar square and triangular packings. As far as the ground state is concerned, tubes switch from circular to axial magnetization with increasing tube length. All magnetostatic properties found in magnetic nanotubes, in which the dipolar interaction is comparable or dominate over the exchange interaction, are reproduced by the dipolar tubes including an intermediary helically magnetized state. Besides, we discuss antiferromagnetic phases and an interesting intermediary vortex state resulting from the square arrangement of the dipolar spheres.


title: Entanglement entropy on finitely ramified graphs

abstract: We compute the entanglement entropy in a composite system separated by a finitely ramified boundary with the structure of a self-similar lattice graph. We derive the entropy as a function of the decimation factor which determines the spectral dimension, the latter being generically different from the topological dimension. For large decimations, the graph becomes increasingly dense, yielding a gain in the entanglement entropy which, in the asymptotically smooth limit, approaches a constant value. Conversely, a small decimation factor decreases the entanglement entropy due to a large number of spectral gaps which regulate the amount of information crossing the boundary. In line with earlier studies, we also comment on similarities with certain holographic formulations. Finally, we calculate the higher order corrections in the entanglement entropy which possess a log-periodic oscillatory behavior.

categories: quant-ph cond-mat.stat-mech hep-th math-ph math.MP


title: Schoenflies solutions of conformal boundary values may fail to be Sobolev

abstract: We show that there exists a planar Jordan domains $\Omega$ with boundary of Hausdorff dimension $1$ such that, for any conformal maps $\varphi \colon \mathbb D \to \Omega$, any homeomorphic extension of $\varphi$ or $\varphi^{-1}$ to the entire plane is not in $W^{1,\,1}_{\rm loc}$ (or even not in $BV_{\rm loc}$).


title: Learning End-to-end Autonomous Driving using Guided Auxiliary Supervision

abstract: Learning to drive faithfully in highly stochastic urban settings remains an open problem. To that end, we propose a Multi-task Learning from Demonstration (MT-LfD) framework which uses supervised auxiliary task prediction to guide the main task of predicting the driving commands. Our framework involves an end-to-end trainable network for imitating the expert demonstrator's driving commands. The network intermediately predicts visual affordances and action primitives through direct supervision which provide the aforementioned auxiliary supervised guidance. We demonstrate that such joint learning and supervised guidance facilitates hierarchical task decomposition, assisting the agent to learn faster, achieve better driving performance and increases transparency of the otherwise black-box end-to-end network. We run our experiments to validate the MT-LfD framework in CARLA, an open-source urban driving simulator. We introduce multiple non-player agents in CARLA and induce temporal noise in them for realistic stochasticity.


title: Symbolic regression based genetic approximations of the Colebrook equation for flow friction

abstract: Widely used in hydraulics, the Colebrook equation for flow friction relates implicitly to the input parameters; the Reynolds number, and the relative roughness of inner pipe surface, with the output unknown parameter; the flow friction factor. In this paper, a few explicit approximations to the Colebrook equation are generated using the ability of artificial intelligence to make inner patterns to connect input and output parameters in explicit way not knowing their nature or the physical law that connects them, but only knowing raw numbers. The fact that the used genetic programming tool does not know the structure of the Colebrook equation which is based on computationally expensive logarithmic law, is used to obtain better structure of the approximations which is less demanding for calculation but also enough accurate. All generated approximations are with low computational cost because they contain a limited number of logarithmic forms used although for normalization of input parameters or for acceleration, but they are also sufficiently accurate. The relative error regarding the friction factor in best case is up to 0.13% with only two logarithmic forms used. As the second logarithm can be accurately approximated by the Pade approximation, practically the same error is obtained also using only one logarithm.


title: Lyashko-Looijenga morphisms and primitive factorizations of the Coxeter element

abstract: In a seminal work, Bessis gave a geometric interpretation of the noncrossing lattice $NC(W)$ associated to a well-generated complex reflection group $W$. Chief component of this was the trivialization theorem, a fundamental correspondence between families of chains of $NC(W)$ and the fibers of a finite quasi-homogeneous morphism, the $LL$ map. We consider a variant of the $LL$ map, prescribed by the trivialization theorem, and apply it to the study of finer enumerative and structural properties of $NC(W)$. In particular, we extend work of Bessis and Ripoll and enumerate the so-called "primitive factorizations" of the Coxeter element $c$. That is, length additive factorizations of the form $c=w\cdot t_1\cdots t_k$, where $w$ belongs to a given conjugacy class and the $t_i$'s are reflections.


title: A Unified Analysis of Stochastic Momentum Methods for Deep Learning

abstract: Stochastic momentum methods have been widely adopted in training deep neural networks. However, their theoretical analysis of convergence of the training objective and the generalization error for prediction is still under-explored. This paper aims to bridge the gap between practice and theory by analyzing the stochastic gradient (SG) method, and the stochastic momentum methods including two famous variants, i.e., the stochastic heavy-ball (SHB) method and the stochastic variant of Nesterov's accelerated gradient (SNAG) method. We propose a framework that unifies the three variants. We then derive the convergence rates of the norm of gradient for the non-convex optimization problem, and analyze the generalization performance through the uniform stability approach. Particularly, the convergence analysis of the training objective exhibits that SHB and SNAG have no advantage over SG. However, the stability analysis shows that the momentum term can improve the stability of the learned model and hence improve the generalization performance. These theoretical insights verify the common wisdom and are also corroborated by our empirical analysis on deep learning.


title: Modeling Selective Intergranular Oxidation of Binary Alloys

abstract: Intergranular attack of alloys under hydrothermal conditions is a complex problem that depends on metal and oxygen transport kinetics via solid-state and channel-like pathways to an advancing oxidation front. Experiments reveal very different rates of intergranular attack and minor element depletion distances ahead of the oxidation front for nickel-based binary alloys depending on the minor element. For example, a significant Cr depletion up to 9 microns ahead of grain boundary crack tips were documented for Ni-5Cr binary alloy, in contrast to relatively moderate Al depletion for Ni-5Al (~100s of nm). We present a mathematical kinetics model that adapts Wagner's model for thick film growth to intergranular attack of binary alloys. The transport coefficients of elements O, Ni, Cr, and Al in bulk alloys and along grain boundaries were estimated from the literature. For planar surface oxidation, a critical concentration of the minor element can be determined from the model where the oxide of minor element becomes dominant over the major element. This generic model for simple grain boundary oxidation can predict oxidation penetration velocities and minor element depletion distances ahead of the advancing front that are comparable to experimental data. The significant distance of depletion of Cr in Ni-5Cr in contrast to the localized Al depletion in Ni-5Al can be explained by the model due to the combination of the relatively faster diffusion of Cr along the grain boundary and slower diffusion in bulk grains, relative to Al.


title: Phase conjugation and mode conversion in stimulated parametric down-conversion with orbital angular momentum: a geometrical interpretation

abstract: We report on an experiment that investigates the spatial mode conversion in the process of parametric down-conversion seeded by a light beam in a superposition of orbital angular momentum modes. This process is interpreted in terms of a geometric representation of first-order spatial modes in a Poincar\'e sphere, providing an intuitive image of the phase conjugation and the topological charge conservation. We also make a comparison with the analogous phenomenon for optical parametric oscillators.


title: Modeling Empathy and Distress in Reaction to News Stories

abstract: Computational detection and understanding of empathy is an important factor in advancing human-computer interaction. Yet to date, text-based empathy prediction has the following major limitations: It underestimates the psychological complexity of the phenomenon, adheres to a weak notion of ground truth where empathic states are ascribed by third parties, and lacks a shared corpus. In contrast, this contribution presents the first publicly available gold standard for empathy prediction. It is constructed using a novel annotation methodology which reliably captures empathy assessments by the writer of a statement using multi-item scales. This is also the first computational work distinguishing between multiple forms of empathy, empathic concern, and personal distress, as recognized throughout psychology. Finally, we present experimental results for three different predictive models, of which a CNN performs the best.