title: Electroweak Multiplet Dark Matter at Future Lepton Colliders

abstract: An electroweak multiplet stable due to a new global symmetry is a simple and well-motivated candidate for thermal dark matter. We study how direct searches at a future linear collider, such as the proposed CLIC, can constrain scalar and fermion triplets, quintets and septets, as well as a fermion doublet. The phenomenology is highly sensitive to charged state lifetimes and thus the mass splitting between the members of the multiplet. We include both radiative corrections and the effect of non-renormalisable operators on this splitting. In order to explore the full range of charged state lifetimes, we consider signals including long-lived charged particles, disappearing tracks, and monophotons. By combining the different searches we find discovery and exclusion contours in the mass-lifetime plane. In particular, when the mass splitting is generated purely through radiative corrections, we can exclude the pure-Higgsino doublet below 310 GeV, the pure-wino triplet below 775 GeV, and the minimal dark matter fermion quintet below 1025 GeV. The scenario where the thermal relic abundance of a Higgsino accounts for the whole dark matter of the Universe can be excluded if the mass splitting between the charged and neutral states is less than 230 MeV. Finally, we discuss possible improvements to these limits by using associated hard leptons to idenify the soft visible decay products of the charged members of the dark matter multiplet.


title: A possible observational bias in the estimation of the virial parameter in virialized clumps

abstract: The dynamics of massive clumps, the environment where massive stars originate, is still unclear. Many theories predict that these regions are in a state of near-virial equilibrium, or near energy equi-partition, while others predict that clumps are in a sub-virial state. Observationally, the majority of the massive clumps are in a sub-virial state with a clear anti-correlation between the virial parameter $\alpha_{vir}$ and the mass of the clumps $M_{c}$, which suggests that the more massive objects are also the more gravitationally bound. Although this trend is observed at all scales, from massive clouds down to star-forming cores, theories do not predict it. In this work we show how, starting from virialized clumps, an observational bias is introduced in the specific case where the kinetic and the gravitational energies are estimated in different volumes within clumps and how it can contribute to the spurious $\alpha_{vir}-M_{c}$ anti-correlation in these data. As a result, the observed effective virial parameter $\tilde{\alpha}_{eff}<\alpha_{vir}$, and in some circumstances it might not be representative of the virial state of the observed clumps.


title: Vibrational modes of Skyrmions

abstract: We study the vibrational modes of Skyrmions with baryon numbers one through eight in the standard Skyrme model. The vibrational modes are found in the harmonic approximation around the classical soliton solution and the real parts of the frequencies of the modes are extracted. We further classify the vibrational modes into representations of the symmetries possessed by the Skyrmion solutions. We find that there are approximately 7B low-lying modes for a Skyrmion with baryon number B, in addition to an infinite continuum of scattering modes. This result suggests that the instanton moduli space, which is 8B-dimensional, does not accurately describe the deformation space of Skyrmions as previously conjectured.


title: Dropping an impurity into a Chern insulator: a polaron view on topological matter

abstract: We investigate the properties of an impurity particle interacting with a Fermi gas in a Chern-insulating state. The interaction leads to the formation of an exotic polaron, which consists of a coherent superposition of the topologically-trivial impurity and the surrounding topological cloud. We characterize this intriguing topologically-composite object by calculating its transverse (Hall) conductivity, using diagrammatic as well as variational methods. The "polaronic Hall conductivity" is shown to be non-zero whenever the surrounding cloud is prepared in a non-trivial Chern insulating state, which we attribute to the transverse drag exerted by the dressing cloud on the impurity. In this way, the polaron partially inherits the topological properties of the Chern insulator through genuine interaction effects. This is also analysed at the microscopic level of wave functions, by identifying a "composite Berry curvature" for the polaron, which closely mimics the Berry curvature of the Chern insulator's band structure. Finally, we discuss how this interplay between topology and many-body correlations can be studied in cold-atom experiments, using available technologies.


title: Geometry from Brackets Consistency

abstract: We argue for Brackets Consistency to be a `Pillar of Geometry', i.e. a foundational approach, other Pillars being 1) Euclid's constructive approach, 2) the algebraic approach, 3) the projective approach, and 4) the geometrical automorphism groups `Erlangen' approach. We proceed via a distinct Pillar 5) - Killing's computational route to Erlangen's groups - firstly by picking out the ensuing geometrically significant brackets subalgebras as consistent possibilities. Secondly, by considering which generators, arising piecemeal from different generalized Killing equations, combine brackets-consistently, recovering the affine-conformal and projective-conformal alternatives. Thirdly, we cease to rest on Killing's Pillar altogether, replacing it by mere polynomial ans\"{a}taze as source of generators. Even in this case - demanding (Lie) Brackets Consistency - suffices to recover notions of geometry, as indicated by the below alternative just dropping out of the ensuing brackets algebra, and is thus declared to be Pillar 6. The current article is further motivated, firstly, by the gradually accumulating successes in reformulating Theoretical Physics to run on the Dirac Algorithm for classical constraint algebraic structure consistency. Secondly, this is sufficiently driven by Brackets Consistency alone to transcend to whichever context possesses such brackets. Thirdly, we derive the conformal-or-projective alternative in top-automorphism-group $d \geq 3$ Flat Geometry. In a manner by now familiar in Dirac Algorithm applications, a) these two top geometries moreover arise side by side as roots of a merely algebraic quadratic equation. b) This equation arises from requiring that the self-bracket of a general ansatz for generators be strongly zero. c) For, if not, an infinite cascade of generators would follow, by which the ansatz would not support a finite Shape Theory.


title: Competition between static and dynamic magnetism in the Kitaev spin liquid material Cu2IrO3

abstract: Anyonic excitations emerging from a Kitaev spin liquid can form a basis for quantum computers. Searching for such excitations motivated intense research on the honeycomb iridate materials. However, access to a spin liquid ground state has been hindered by magnetic ordering. Cu2IrO3 is a new honeycomb iridate without thermodynamic signatures of a long-range order. Here, we use muon spin relaxation to uncover the magnetic ground state of Cu2IrO3. We find a two-component depolarization with slow and fast relaxation rates corresponding to distinct regions with dynamic and static magnetism, respectively. X-ray absorption spectroscopy and first principles calculations identify a mixed copper valence as the origin of this behavior. Our results suggest that a minority of Cu2+ ions nucleate regions of static magnetism whereas the majority of Cu+/Ir4+ on the honeycomb lattice give rise to a Kitaev spin liquid.


title: Fault-tolerant magic state preparation with flag qubits

abstract: Magic state distillation is one of the leading candidates for implementing universal fault-tolerant logical gates. However, the distillation circuits themselves are not fault-tolerant, so there is additional cost to first implement encoded Clifford gates with negligible error. In this paper we present a scheme to fault-tolerantly and directly prepare magic states using flag qubits. One of these schemes uses a single extra ancilla, even with noisy Clifford gates. We compare the physical qubit and gate cost of this scheme to the magic state distillation protocol of Meier, Eastin, and Knill, which is efficient and uses a small stabilizer circuit. In some regimes, we show that the overhead can be improved by several orders of magnitude.


title: Radio galaxies - the TeV challenge

abstract: Over the past decade, our knowledge of the \gamma-ray sky has been revolutionized by ground- and space-based observatories by detecting photons up to several hundreds of tera-electron volt (TeV) energies. A major population of the $\gamma$-ray bright objects are active galactic nuclei (AGN) with their relativistic jets pointed along our line-of-sight. Gamma-ray emission is also detected from nearby mis-aligned AGN such as radio galaxies. While the TeV-detected radio galaxies (TeVRad) only form a small fraction of the \gamma-ray detected AGN, their multi-wavelength study offers a unique opportunity to probe and pinpoint the high-energy emission processes and sites. Even in the absence of substantial Doppler beaming TeVRad are extremely bright objects in the TeV sky (luminosities detected up to 10^{45} erg/s), and exhibit flux variations on timescales shorter than the event-horizon scales (flux doubling timescale less than 5 minutes). Thanks to the recent advancement in the imaging capabilities of high-resolution radio interferometry (millimeter very long baseline interferometry, mm-VLBI), one can probe the scales down to less than 10 gravitational radii in TeVRad, making it possible not only to test jet launching models but also to pinpoint the high-energy emission sites and to unravel the emission mechanisms. This review provides an overview of the high-energy observations of TeVRad with a focus on the emitting sites and radiation processes. Some recent approaches in simulations are also sketched. Observations by the near-future facilities like Cherenkov Telescope Array, short millimeter-VLBI, and high-energy polarimetry instruments will be crucial for discriminating the competing high-energy emission models.


title: On the geometry of star-shaped curves in $\mathbb{R}^n$

abstract: The manifold $\mathcal{M}$ of star-shaped curves in $\mathbb{R}^n$ is considered via the theory of connections on vector bundles, and cyclic $\mathcal{D}$-modules. The appropriate notion of an "integral curve" (i.e. certain admissible deformations) on $\mathcal{M}$ is defined, and the resulting space of admissible deformations is classified via iso-spectral flows, which are shown to be described by equations from the $n$-KdV hierarchy.


title: Co(CO)n/Cu(001): Towards understanding chemical control of the Kondo effect

abstract: The Kondo effect is a many-body phenomenon allowing insight into the electronic and atomistic structure of spin-polarized adsorbates on metal surfaces. Its chemical control is intriguing because it deepens such insight, but the underlying mechanisms are only partly understood. We study the effect of increasing the number of CO ligands attached to a cobalt adatom on copper(001), which correlates with an increase in the Kondo temperature $T_K$ experimentally (P. Wahl et al, Phy. Rev. Lett. 95, 166601 (2005)), by solving an Anderson impurity model parametrized by density functional theory (DFT++). Our results suggest that the orbital responsible for the Kondo effect is $d_{x^2-y^2}$ for the tetracarbonyl, and its combination with $d_{z^2}$ for the dicarbonyl. The molecular structures depend considerably on the approximate exchange--correlation functional, which may be related to the known difficulty of describing CO binding to metal surfaces. These structural variations strongly affect the Kondo properties, which is not only a concern for predictive studies, but also of interest for detecting mechanical deformations and for understanding the effect of tip--adsorbate interactions in the scanning tunneling microscope. Still, by constraining the tetracarbonyl to $C_{4v}$ symmetry, as suggested by experimental data, we find structures compatible with the experimental trend for $T_K$ (employing BLYP-D3+U). This is not possible for the tricarbonyl despite the range of computational parameters scanned. For the tetra- and dicarbonyl, the increased $T_K$ correlates with a larger hybridization function at the Fermi level, which we trace back to an increased interaction of the Co $3d$ orbitals with the ligands.


title: On Difficulties of Cross-Lingual Transfer with Order Differences: A Case Study on Dependency Parsing

abstract: Different languages might have different word orders. In this paper, we investigate cross-lingual transfer and posit that an order-agnostic model will perform better when transferring to distant foreign languages. To test our hypothesis, we train dependency parsers on an English corpus and evaluate their transfer performance on 30 other languages. Specifically, we compare encoders and decoders based on Recurrent Neural Networks (RNNs) and modified self-attentive architectures. The former relies on sequential information while the latter is more flexible at modeling word order. Rigorous experiments and detailed analysis shows that RNN-based architectures transfer well to languages that are close to English, while self-attentive models have better overall cross-lingual transferability and perform especially well on distant languages.


title: 3-omega method for thermal properties of thin film multilayers

abstract: Short review on the different models for the electro-thermal 3-omega method. We present the deduction of the fundamental relation between the 3-omega voltage with the temperature rise to determine the thermal conductivity. The usage of the anisotropy of the films allows a smooth transition between 1D and 2D models. A comparison between the multilayer methods and analytical solutions are presented.


title: Matrix Completion with Side Information using Manifold Optimization

abstract: We solve the Matrix Completion (MC) problem based on manifold optimization by incorporating the side information under which the columns of the intended matrix are drawn from a union of low dimensional subspaces. It is proved that this side information leads us to construct new manifolds, as $\it{embedded}$ submanifold of the manifold of constant rank matrices, using which the MC problem is solved more accurately. The required geometrical properties of the aforementioned manifold are then presented for matrix completion. Simulation results show that the proposed method outperforms some recent techniques either based on side information or not.


title: Tropical Modeling of Weighted Transducer Algorithms on Graphs

abstract: Weighted Finite State Transducers (WFSTs) are versatile data structures that can model a great number of problems, ranging from Automatic Speech Recognition to DNA sequencing. Traditional computer science algorithms are employed when working with these structures in order to optimise their size, but also the runtime of decoding algorithms. However, these algorithms are not unified under a common framework that would allow for their treatment as a whole. Moreover, the inherent geometrical representation of WFSTs, coupled with the topology-preserving algorithms that operate on them make the structures ideal for tropical analysis. The benefits of such analysis have a twofold nature; first, matrix operations offer a connection to nonlinear vector space and spectral theory, and, second, tropical algebra offers a connection to tropical geometry. In this work we model some of the most frequently used algorithms in WFSTs by using tropical algebra; this provides a theoretical unification and allows us to also analyse aspects of their tropical geometry. Further, we provide insights via numerical examples.


title: Burst occurrence in young massive stellar objects

abstract: Episodic accretion-driven outbursts are an extreme manifestation of accretion variability. It has been proposed that the development of gravitational instabilities in the proto-circumstellar medium of massive young stellar objects (MYSOs) can lead to such luminous bursts, when clumps of fragmented accretion discs migrate onto the star. We simulate the early evolution of MYSOs formed by the gravitational collapse of rotating 100 M pre-stellar cores and analyze the characteristics of the bursts that episodically accompany their strongly time-variable protostellar lightcurve. We predict that MYSOs spend ~ 10^3 yr (~ 1.7\%) of their modelled early 60 kyr experiencing eruptive phases, during which the peak luminosity exceeds the quiescent pre-burst values by factors from 2.5 to more than 40. Throughout these short time periods, they can acquire a substential fraction (up to ~ 50 \%) of their zero-age-main sequence mass. Our findings show that fainter bursts are more common than brighter ones. We discuss our results in the context of the known bursting MYSOs, e.g. NGC6334I-MM1 and S255IR-NIRS3, and propose that these monitored bursts are part of a long-time ongoing series of eruptions, which might, in the future, be followed by other luminous flares.


title: Interacting fermions in an expanding spacetime

abstract: We evaluate the effect of quantum electrodynamics on the correlations between Dirac field modes corresponding electron-positron pairs of opposite momenta generated by expansion of an asymptotically flat Friedmann-Robertson-Walker (FRW) universe. The mutual information of out-going electron-positron pairs is evaluated to leading order in the coupling strength and compared with the free case. It is shown a decrease in the mutual information between the electron and positron. In addition, it is found that the change in the electron-positron mutual information depends on how the momentum is distributed between the positron and photon modes.


title: Connections between physics, mathematics and deep learning

abstract: Starting from the Fermat's principle of least action, which governs classical and quantum mechanics and from the theory of exterior differential forms, which governs the geometry of curved manifolds, we show how to derive the equations governing neural networks in an intrinsic, coordinate invariant way, where the loss function plays the role of the Hamiltonian. To be covariant, these equations imply a layer metric which is instrumental in pretraining and explains the role of conjugation when using complex numbers. The differential formalism also clarifies the relation of the gradient descent optimizer with Aristotelian and Newtonian mechanics and why large learning steps break the logic of the linearization procedure. We hope that this formal presentation of the differential geometry of neural networks will encourage some physicists to dive into deep learning, and reciprocally, that the specialists of deep learning will better appreciate the close interconnection of their subject with the foundations of classical and quantum field theory.


title: Functional Nonlinear Sparse Models

abstract: Signal processing is rich in inherently continuous and often nonlinear applications, such as spectral estimation, optical imaging, and super-resolution microscopy, in which sparsity plays a key role in obtaining state-of-the-art results. Coping with the infinite dimensionality and non-convexity of these problems typically involves discretization and convex relaxations, e.g., using atomic norms. Nevertheless, grid mismatch and other coherence issues often lead to discretized versions of sparse signals that are not sparse. Even if they are, recovering sparse solutions using convex relaxations requires assumptions that may be hard to meet in practice. What is more, problems involving nonlinear measurements remain non-convex even after relaxing the sparsity objective. We address these issues by directly tackling the continuous, nonlinear problem cast as a sparse functional optimization program. We prove that when these problems are non-atomic, they have no duality gap and can therefore be solved efficiently using duality and~(stochastic) convex optimization methods. We illustrate the wide range of applications of this approach by formulating and solving problems from nonlinear spectral estimation and robust classification.


title: Abelian groups are polynomially stable

abstract: In recent years, there has been a considerable amount of interest in stability of equations and their corresponding groups. Here, we initiate the systematic study of the quantitative aspect of this theory. We develop a novel method, inspired by the Ornstein-Weiss quasi-tiling technique, to prove that abelian groups are polynomially stable with respect to permutations, under the normalized Hamming metrics on the groups $\operatorname{Sym}(n)$. In particular, this means that there exists $D\geq 1$ such that for $A,B\in \operatorname{Sym}(n)$, if $AB$ is $\delta$-close to $BA$, then $A$ and $B$ are $\epsilon$-close to a commuting pair of permutations, where $\epsilon\leq O(\delta^{1/D})$. We also observe a property-testing reformulation of this result, yielding efficient testers for certain permutation properties.


title: Absorbing Boundary Conditions for Time-dependent Schr\"{o}dinger equations: A Density-matrix Formulation

abstract: This paper presents some absorbing boundary conditions (ABC) for simulations based on the time-dependent density-functional theory (TDDFT). The boundary conditions are expressed in terms of the elements of the density-matrix, and it is derived from the full model over a much larger domain. To make the implementation much more efficient, several approximations for the convolution integral will be constructed with guaranteed stability. These approximations lead to modified density-matrix equations at the boundary. The effectiveness is examined via numerical tests.


title: Note on the space group selection rule for closed strings on orbifolds

abstract: It is well-known that the space group selection rule constrains the interactions of closed strings on orbifolds. For some examples, this rule has been described by an effective Abelian symmetry that combines with a permutation symmetry to a non-Abelian flavor symmetry like $D_4$ or $\Delta(54)$. However, the general case of the effective Abelian symmetries was not yet fully understood. In this work, we formalize the computation of the Abelian symmetry that results from the space group selection rule by imposing two conditions only: (i) well-defined discrete charges and (ii) their conservation. The resulting symmetry, which we call the space group flavor symmetry $D_S$, is uniquely specified by the Abelianization of the space group. For all Abelian orbifolds with $N=1$ supersymmetry we compute $D_S$ and identify new cases, for example, where $D_S$ contains a $Z_2$ dark matter-parity with charges 0 and 1 for massless and massive strings, respectively.


title: A Kerr-microresonator optical clockwork

abstract: Kerr microresonators generate interesting and useful fundamental states of electromagnetic radiation through nonlinear interactions of continuous-wave (CW) laser light. Using photonic-integration techniques, functional devices with low noise, small size, low-power consumption, scalable fabrication, and heterogeneous combinations of photonics and electronics can be realized. Kerr solitons, which stably circulate in a Kerr microresonator, have emerged as a source of coherent, ultrafast pulse trains and ultra-broadband optical-frequency combs. Using the f-2f technique, Kerr combs support carrier-envelope-offset phase stabilization for optical synthesis and metrology. In this paper, we introduce a Kerr-microresonator optical clockwork based on optical-frequency division (OFD), which is a powerful technique to transfer the fractional-frequency stability of an optical clock to a lower frequency electronic clock signal. The clockwork presented here is based on a silicon-nitride (Si$_3$N$_4$) microresonator that supports an optical-frequency comb composed of soliton pulses at 1 THz repetition rate. By electro-optic phase modulation of the entire Si$_3$N$_4$ comb, we arbitrarily generate additional CW modes between the Si$_3$N$_4$ comb modes; operationally, this reduces the pulse train repetition frequency and can be used to implement OFD to the microwave domain. Our experiments characterize the residual frequency noise of this Kerr-microresonator clockwork to one part in $10^{17}$, which opens the possibility of using Kerr combs with high performance optical clocks. In addition, the photonic integration and 1 THz resolution of the Si$_3$N$_4$ frequency comb makes it appealing for broadband, low-resolution liquid-phase absorption spectroscopy, which we demonstrate with near infrared measurements of water, lipids, and organic solvents.


title: Wellposedness of the two-sided variable coefficient Caputo flux fractional diffusion equation and error estimate of its spectral approximation

abstract: In this article a two-sided variable coefficient fractional diffusion equation (FDE) is investigated, where the variable coefficient occurs outside of the fractional integral operator. Under a suitable transformation the variable coefficient equation is transformed to a constant coefficient equation. Then, using the spectral decomposition approach with Jacobi polynomials, we proved the wellposedness of the model and the regularity of its solution. A spectral approximation scheme is proposed and the accuracy of its approximation studied. Two numerical experiments are presented to demonstrate the derived error estimates.


title: Excited State Specific Multi-Slater Jastrow Wave Functions

abstract: We combine recent advances in excited state variational principles, fast multi-Slater Jastrow methods, and selective configuration interaction to create multi-Slater Jastrow wave function approximations that are optimized for individual excited states. In addition to the Jastrow variables and linear expansion coefficients, this optimization includes state-specific orbital relaxations in order to avoid the compromises necessary in state-averaged approaches. We demonstrate that, when combined with variance matching to help balance the quality of the approximation across different states, this approach delivers accurate excitation energies even when using very modest multi-Slater expansions. Intriguingly, this accuracy is maintained even when studying a difficult chlorine-anion-to-$\pi^{*}$ charge transfer in which traditional state-averaged multi-reference methods must contend with different states that require drastically different orbital relaxations.


title: On Kodaira fibrations with invariant cohomology

abstract: A Kodaira fibration is a compact, complex surface admitting a holomorphic submersion onto a complex curve, such that the fibers have nonconstant moduli. We consider Kodaira fibrations X with nontrivial invariant rational cohomology in degree 1, proving that if the dimension of the holomorphic invariants is 1 or 2, then X admits a branch covering over a product of curves inducing an isomorphism on rational cohomology in degree 1. We also study the class of Kodaira fibrations possessing a holomorphic section, and demonstrate that having a section imposes no restriction on possible monodromies.


title: Vacuum stability conditions of the economical 3-3-1 model from copositivity

abstract: By applying copositivity criterion to the scalar potential of the economical $3-3-1$ model, we derive necessary and sufficient bounded-from-below conditions at tree level. Although these are a large number of intricate inequalities for the dimensionless parameters of the scalar potential, we present general enlightening relations in this work. Additionally, we use constraints coming from the minimization of the scalar potential by means of the orbit space method, the positivity of the squared masses of the extra scalars, the Higgs boson mass, the $Z'$ gauge boson mass and its mixing angle with the SM $Z$ boson in order to further restrict the parameter space of this model.


title: Multilingual Embeddings Jointly Induced from Contexts and Concepts: Simple, Strong and Scalable

abstract: Word embeddings induced from local context are prevalent in NLP. A simple and effective context-based multilingual embedding learner is Levy et al. (2017)'s S-ID (sentence ID) method. Another line of work induces high-performing multilingual embeddings from concepts (Dufter et al., 2018). In this paper, we propose Co+Co, a simple and scalable method that combines context-based and concept-based learning. From a sentence aligned corpus, concepts are extracted via sampling; words are then associated with their concept ID and sentence ID in embedding learning. This is the first work that successfully combines context-based and concept-based embedding learning. We show that Co+Co performs well for two different application scenarios: the Parallel Bible Corpus (1000+ languages, low-resource) and EuroParl (12 languages, high-resource). Among methods applicable to both corpora, Co+Co performs best in our evaluation setup of six tasks.


title: Avoided crossing and sub-Fourier sensitivity in driven quantum systems

abstract: The response of a linear system to an external perturbation is governed by the Fourier limit, with the inverse of the interaction time constituting a lower limit for the system bandwidth. This does not hold for nonlinear systems, which can thus exhibit sub-Fourier behavior. The present work identifies a mechanism for sub-Fourier sensitivity in driven quantum systems, which relies on avoided crossing between Floquet states. Features up to three orders of magnitude finer than the Fourier limit are presented.


title: Event shape variables measured using multijet final states in proton-proton collisions at $\sqrt{s} =$ 13 TeV

abstract: The study of global event shape variables can provide sensitive tests of predictions for multijet production in proton-proton collisions. This paper presents a study of several event shape variables calculated using jet four momenta in proton-proton collisions at a centre-of-mass energy of 13 TeV and uses data recorded with the CMS detector at the LHC corresponding to an integrated luminosity of 2.2 fb$^{-1}$. After correcting for detector effects, the resulting distributions are compared with several theoretical predictions. The agreement generally improves as the energy, represented by the average transverse momentum of the two leading jets, increases.


title: Holomorphic SCFTs with small index

abstract: We observe that every self-dual ternary code determines a holomorphic N=1 superconformal field theory. This provides ternary constructions of some well-known holomorphic N=1 SCFTs, including Duncan's "supermoonshine" model and the fermionic "beauty and the beast" model of Dixon, Ginsparg, and Harvey. Along the way, we clarify some issues related to orbifolds of fermionic holomorphic CFTs. We give a simple coding-theoretic description of the supersymmetric index and conjecture that for every self-dual ternary code this index is divisible by 24; we are able to prove this conjecture except in the case when the code has length 12 mod 24. Lastly, we discuss a conjecture of Stolz and Teichner relating N=1 SCFTs with Topological Modular Forms. This conjecture implies constraints on the supersymmetric indexes of arbitrary holomorphic SCFTs, and suggests (but does not require) that there should be, for each k, a holomorphic N=1 SCFT of central charge 12k and index 24/gcd(k,24). We give ternary code constructions of SCFTs realizing this suggestion for k \leq 5.


title: Modeling tropotaxis in ant colonies: recruitment and trail formation

abstract: We propose an active walker model for the motion of individual ants communicating via chemical signals. It is assumed that communication takes the form of a time-dependent pheromone field that feedbacks into the motion ants through tropotaxis: individuals can sense the gradient of the pheromone concentration field and adjust their orientation accordingly. The individual model takes the form of a Langevin system of equations in polar coordinates driven by two-dimensional Gaussian fluctuations and with orientation changes in response to two pheromone fields: one emanating from the nest, and other actively produced by ants in their nest-bound journey after finding a food source. We explicitly track the evolution of both fields in three dimensions. The proposed tropotaxis model relating the pheromone field to the orientation changes is similar to Weber's law, but depends explicitly only on the gradient of the pheromone concentration. We identify ranges of values for the model parameters that yield the emergence of two key foraging patterns: successful recruitment to newly found sources, and colony-wide trail networks.


title: Defining a Metric Space of Host Logs and Operational Use Cases

abstract: Host logs, in particular, Windows Event Logs, are a valuable source of information often collected by security operation centers (SOCs). The semi-structured nature of host logs inhibits automated analytics, and while manual analysis is common, the sheer volume makes manual inspection of all logs impossible. Although many powerful algorithms for analyzing time-series and sequential data exist, utilization of such algorithms for most cyber security applications is either infeasible or requires tailored, research-intensive preparations. In particular, basic mathematic and algorithmic developments for providing a generalized, meaningful similarity metric on system logs is needed to bridge the gap between many existing sequential data mining methods and this currently available but under-utilized data source. In this paper, we provide a rigorous definition of a metric product space on Windows Event Logs, providing an embedding that allows for the application of established machine learning and time-series analysis methods. We then demonstrate the utility and flexibility of this embedding with multiple use-cases on real data: (1) comparing known infected to new host log streams for attack detection and forensics, (2) collapsing similar streams of logs into semantically-meaningful groups (by user, by role), thereby reducing the quantity of data but not the content, (3) clustering logs as well as short sequences of logs to identify and visualize user behaviors and background processes over time. Overall, we provide a metric space framework for general host logs and log sequences that respects semantic similarity and facilitates a wide variety of data science analytics to these logs without data-specific preparations for each.


title: Power System Transient Stability Analysis Using Truncated Taylor Expansion Systems

abstract: Small signal analysis is a special case of analytical approaches using Taylor expansions of power system differential equations with the truncation performed at order one. The truncated Taylor expansions (TTEs) at higher orders can lead to better approaches for stability analysis by considering higher order nonlinearities, e.g. normal form, modal series and nonlinear modal decoupling. This paper presents fundamental studies on how accurate transient stability analysis results can be obtained from the TTE systems compared to that on the original system. The analytical investigation is conducted on single-machine-infinite-bus power systems. Conclusions are drawn from there and verified on two multi-machine power systems by extensive numerical simulations.


title: Dynamics of drainage under stochastic rainfall in river networks

abstract: We consider a linearized dynamical system modelling the flow rate of water along the rivers and hillslopes of an arbitrary watershed. The system is perturbed by a random rainfall in the form of a compound Poisson process. The model describes the evolution, at daily time scales, of an interconnected network of linear reservoirs and takes into account the differences in flow celerity between hillslopes and streams as well as their spatial variation. The resulting stochastic process is a piece-wise deterministic Markov process of the Orstein-Uhlembeck type. We provide an explicit formula for the Laplace transform of the invariant density of streamflow in terms of the geophysical parameters of the river network and the statistical properties of the precipitation field. As an application, we include novel formulas for the invariant moments of the streamflow at the watershed's outlet, as well as the asymptotic behavior of extreme discharge events.


title: Automatic sequences are orthogonal to aperiodic multiplicative functions

abstract: Given a finite alphabet $\mathbb{A}$ and a primitive substitution $\theta:\mathbb{A}\to\mathbb{A}^\lambda$ (of constant length $\lambda$), let $(X_\theta,S)$ denote the corresponding dynamical system, where $X_{\theta}$ is the closure of the orbit via the left shift $S$ of a fixed point of the natural extension of $\theta$ to a self-map of $\mathbb{A}^{\mathbb{Z}}$. The main result of the paper is that all continuous observables in $X_{\theta}$ are orthogonal to any bounded, aperiodic, multiplicative function $\mathbf{u}:\mathbb{N}\to\mathbb{C}$, i.e. \[ \lim_{N\to\infty}\frac1N\sum_{n\leq N}f(S^nx)\mathbf{u}(n)=0\] for all $f\in C(X_{\theta})$ and $x\in X_{\theta}$. In particular, each primitive automatic sequence, that is, a sequence read by a primitive finite automaton, is orthogonal to any bounded, aperiodic, multiplicative function.


title: Light vectors coupled to bosonic currents

abstract: New spin-1 particles with masses below the weak scale are present in many theories of beyond Standard Model (SM) physics. In this work, we extend previous analyses by systematically considering the couplings of such a vector to the bosonic sector of the SM, focusing on models that lead to mass-mixing with the Z boson. These couplings generically lead to enhanced emission of the vector's longitudinal mode, both in Higgs decays and in flavor changing meson decays. We present bounds in the SM+X effective theory and investigate their model-dependence. For the case of Higgs decays, we point out that tree-level vector emission is, depending on the model, not always enhanced, affecting the constraints. For meson decays, which are the dominant constraints at small vector masses, we find that while $B$ decay constraints can be weakened by fine-tuning UV parameters, it is generically difficult to suppress the stringent constraints from kaon decays.


title: Variational Dropout via Empirical Bayes

abstract: We study the Automatic Relevance Determination procedure applied to deep neural networks. We show that ARD applied to Bayesian DNNs with Gaussian approximate posterior distributions leads to a variational bound similar to that of variational dropout, and in the case of a fixed dropout rate, objectives are exactly the same. Experimental results show that the two approaches yield comparable results in practice even when the dropout rates are trained. This leads to an alternative Bayesian interpretation of dropout and mitigates some of the theoretical issues that arise with the use of improper priors in the variational dropout model. Additionally, we explore the use of the hierarchical priors in ARD and show that it helps achieve higher sparsity for the same accuracy.


title: Capsule Networks for Brain Tumor Classification based on MRI Images and Course Tumor Boundaries

abstract: According to official statistics, cancer is considered as the second leading cause of human fatalities. Among different types of cancer, brain tumor is seen as one of the deadliest forms due to its aggressive nature, heterogeneous characteristics, and low relative survival rate. Determining the type of brain tumor has significant impact on the treatment choice and patient's survival. Human-centered diagnosis is typically error-prone and unreliable resulting in a recent surge of interest to automatize this process using convolutional neural networks (CNNs). CNNs, however, fail to fully utilize spatial relations, which is particularly harmful for tumor classification, as the relation between the tumor and its surrounding tissue is a critical indicator of the tumor's type. In our recent work, we have incorporated newly developed CapsNets to overcome this shortcoming. CapsNets are, however, highly sensitive to the miscellaneous image background. The paper addresses this gap. The main contribution is to equip CapsNet with access to the tumor surrounding tissues, without distracting it from the main target. A modified CapsNet architecture is, therefore, proposed for brain tumor classification, which takes the tumor coarse boundaries as extra inputs within its pipeline to increase the CapsNet's focus. The proposed approach noticeably outperforms its counterparts.


title: Mitigating mode-matching loss in nonclassical laser interferometry

abstract: Strongly squeezed states of light are a key technology in boosting the sensitivity of interferometric setups, such as in gravitational-wave detectors. However, the practical use of squeezed states is limited by optical loss, which reduces the observable squeeze factor. Here we experimentally demonstrate that introducing squeezed states in additional, higher-order spatial modes can significantly improve the observed nonclassical sensitivity improvement when the loss is due to mode-matching deficiencies. Our results could be directly applied to gravitational-wave detectors, where this type of loss is a major contribution.


title: Physics Potential of a Radio Surface Array at the South Pole (ARENA 2018)

abstract: A surface array of radio antennas will enhance the performance of the IceTop array and enable new, complementary science goals. First, the accuracy for cosmic-ray air showers will be increased since the radio array provides a calorimetric measurement of the electromagnetic component and is sensitive to the position of the shower maximum. This enhanced accuracy can be used to better measure the mass composition, to search for possible mass-dependent anisotropies in the arrival directions of cosmic rays, and for more thorough tests of hadronic interaction models. Second, the sensitivity of the radio array to inclined showers will increase the sky coverage for cosmic-ray measurements. Third, the radio array can be used to search for PeV photons from the Galactic Center. Since IceTop is planned to be enhanced by a scintillator array in the near future, a radio extension sharing the same infrastructure can be installed with minimal additional effort and excellent scientific prospects. The combination of ice-Cherenkov, scintillation, and radio detectors at IceCube will provide unprecedented accuracy for the study of highenergy Galactic cosmic rays.


title: Collision-Free Kinematics for Redundant Manipulators in Dynamic Scenes using Optimal Reciprocal Velocity Obstacles

abstract: We present a novel algorithm for collision-free kinematics of multiple manipulators in a shared workspace with moving obstacles. Our optimization-based approach simultaneously handles collision-free constraints based on reciprocal velocity obstacles and inverse kinematics constraints for high-DOF manipulators. We present an efficient method based on particle swarm optimization that can generate collision-free configurations for each redundant manipulator. Furthermore, our approach can be used to compute safe and oscillation-free trajectories in a few milli-seconds. We highlight the real-time performance of our algorithm on multiple Baxter robots with 14-DOF manipulators operating in a workspace with dynamic obstacles. Videos are available at https://sites.google.com/view/collision-free-kinematics


title: Monopoles and the Sen Conjecture: Part I

abstract: We describe compactifications of the moduli spaces of SU(2) monopoles on R3 as manifolds with corners, with respect to which the hyperKaehler metrics admit asymptotic expansions up to each boundary face. The boundary faces encode monopoles of charge k decomposing into widely separated monopoles of lower charge, and the leading order asymptotic of the metric generalizes the one obtained by Gibbons, Manton and Bielawski in the case of complete decomposition into monopoles of unit charge. From the structure of the compactifications, we prove part of Sen's conjecture for the L2 cohomology of the strongly centered moduli spaces by adapting an argument of Segal and Selby.


title: VizRec: A framework for secure data exploration via visual representation

abstract: Visual representations of data (visualizations) are tools of great importance and widespread use in data analytics as they provide users visual insight to patterns in the observed data in a simple and effective way. However, since visualizations tools are applied to sample data, there is a a risk of visualizing random fluctuations in the sample rather than a true pattern in the data. This problem is even more significant when visualization is used to identify interesting patterns among many possible possibilities, or to identify an interesting deviation in a pair of observations among many possible pairs, as commonly done in visual recommendation systems. We present VizRec, a framework for improving the performance of visual recommendation systems by quantifying the statistical significance of recommended visualizations. The proposed methodology allows to control the probability of misleading visual recommendations using both classical statistical testing procedures and a novel application of the Vapnik Chervonenkis (VC) dimension method which is a fundamental concept in statistical learning theory.


title: On Lipschitz Retraction of Finite Subsets of Normed Spaces

abstract: If $X$ is a metric space, then its finite subset spaces $X(n)$ form a nested sequence under natural isometric embeddings $X = X(1)\subset X(2) \subset \cdots$. It was previously established, by Kovalev when $X$ is a Hilbert space and, by Ba\v{c}\'{a}k and Kovalev when $X$ is a CAT(0) space, that this sequence admits Lipschitz retractions $X(n)\rightarrow X(n-1)$ for all $n\geq 2$. We prove that when $X$ is a normed space, the above sequence admits Lipschitz retractions $X(n)\rightarrow X$, $X(n)\rightarrow X(2)$, as well as concrete retractions $X(n)\rightarrow X(n-1)$ that are Lipschitz if $n=2,3$ and H\"older-continuous on bounded sets if $n>3$. We also prove that if $X$ is a geodesic metric space, then each $X(n)$ is a $2$-quasiconvex metric space. These results are relevant to certain questions in the aforementioned previous work which asked whether Lipschitz retractions $X(n)\rightarrow X(n-1)$, $n\geq 2$, exist for $X$ in more general classes of Banach spaces.


title: Newton polygon stratification of the Torelli locus in PEL-type Shimura varieties

abstract: We study the intersection of the Torelli locus with the Newton polygon stratification of the modulo $p$ reduction of certain PEL-type Shimura varieties. We develop a clutching method to show that the intersection of the open Torelli locus with some Newton polygon strata is non-empty. This allows us to give a positive answer, under some compatibility conditions, to a question of Oort about smooth curves in characteristic $p$ whose Newton polygons are an amalgamate sum. As an application, we produce infinitely many new examples of Newton polygons that occur for smooth curves that are cyclic covers of the projective line. Most of these arise in inductive systems which demonstrate unlikely intersections of the open Torelli locus with the Newton polygon stratification in Siegel modular varieties. In addition, for the twenty special PEL-type Shimura varieties found in Moonen's work, we prove that all Newton polygon strata intersect the open Torelli locus (if $p>>0$ in the supersingular cases).


title: The nature of fast radio bursts

abstract: Physical constraints on the sources of fast radio bursts are few, and therefore viable theoretical models are many. However, no one model can match all the available observational characteristics, meaning that these radio bursts remain one of the most mysterious phenomena in astrophysics.


title: DeepTileBars: Visualizing Term Distribution for Neural Information Retrieval

abstract: Most neural Information Retrieval (Neu-IR) models derive query-to-document ranking scores based on term-level matching. Inspired by TileBars, a classical term distribution visualization method, in this paper, we propose a novel Neu-IR model that handles query-to-document matching at the subtopic and higher levels. Our system first splits the documents into topical segments, "visualizes" the matchings between the query and the segments, and then feeds an interaction matrix into a Neu-IR model, DeepTileBars, to obtain the final ranking scores. DeepTileBars models the relevance signals occurring at different granularities in a document's topic hierarchy. It better captures the discourse structure of a document and thus the matching patterns. Although its design and implementation are light-weight, DeepTileBars outperforms other state-of-the-art Neu-IR models on benchmark datasets including the Text REtrieval Conference (TREC) 2010-2012 Web Tracks and LETOR 4.0.


title: Exploring the Equivalence between Dynamic Dataflow Model and Gamma - General Abstract Model for Multiset mAnipulation

abstract: With the increase of the search for computational models where the expression of parallelism occurs naturally, some paradigms arise as options for the next generation of computers. In this context, dynamic Dataflow and Gamma - General Abstract Model for Multiset mAnipulation) - emerge as interesting computational models choices. In the dynamic Dataflow model, operations are performed as soon as their associated operators are available, without rely on a Program Counter to dictate the execution order of instructions. The Gamma paradigm is based on a parallel multiset rewriting scheme. It provides a non-deterministic execution model inspired by an abstract chemical machine metaphor, where operations are formulated as reactions that occur freely among matching elements belonging to the multiset. In this work, equivalence relations between the dynamic Dataflow and Gamma paradigms are exposed and explored, while methods to convert from Dataflow to Gamma paradigm and vice versa are provided. It is shown that vertices and edges of a dynamic Dataflow graph can correspond, respectively, to reactions and multiset elements in the Gamma paradigm. Implementation aspects of execution environments that could be mutually beneficial to both models are also discussed. This work provides the scientific community with the possibility of taking profit of both parallel programming models, contributing with a versatility component to researchers and developers. Finally, it is important to state that, to the best of our knowledge, the similarity relations between both dynamic Dataflow and Gamma models presented here have not been reported in any previous work.


title: Oscillating about coplanarity in the 4 body problem

abstract: For the Newtonian 4-body problem in space we prove that any zero angular momentum bounded solution suffers infinitely many coplanar instants, that is, times at which all 4 bodies lie in the same plane. This result generalizes a known result for collinear instants ("syzygies") in the zero angular momentum planar 3-body problem, and extends to the $d+1$ body problem in $d$-space. The proof, for $d=3$, starts by identifying the center-of-mass zero configuration space with real $3 \times 3$ matrices, the coplanar configurations with matrices whose determinant is zero, and the mass metric with the Frobenius (standard Euclidean) norm. Let $S$ denote the signed distance from a matrix to the hypersurface of matrices with determinant zero. The proof hinges on establishing a harmonic oscillator type ODE for $S$ along solutions. Bounds on inter-body distances then yield an explicit lower bound $\omega$ for the frequency of this oscillator, guaranteeing a degeneration within every time interval of length $\pi/\omega$. The non-negativity of the curvature of oriented shape space (the quotient of configuration space by the rotation group) plays a crucial role in the proof.


title: An application of the BHV theorem to a new conjecture on exponential diophantine equations

abstract: Let $A$, $B$ be fixed positive integers such that $\min\{A,B\} > 1$, $\gcd(A,B) = 1$ and $AB \equiv 0 \bmod 2$, and let $n$ be a positive integer with $n>1$. In this paper, using a deep result on the existence of primitive divisors of Lucas numbers due to Y. Bilu, G. Hanrot and P. M. Voutier \cite{BHV}, we prove that if $A > 8 B^3$, then the equation $(*) \quad (A^2 n)^x + (B^2 n)^y = ((A^2 + B^2)n)^z$ has no positive integer solutions $(x,y,z)$ with $x > z > y$. Combining the above conclusion with some existing results, we can deduce that if $A >8 B^3$ and $B \equiv 2 \bmod 4$, then (*) has only the positive integer solution $(x,y,z) = (1,1,1)$.


title: The origin of negative charging in amorphous Al$_2$O$_3$ films: The role of native defects

abstract: Amorphous aluminum oxide Al$_2$O$_3$ (a-Al$_2$O$_3$) layers grown by various deposition techniques contain a significant density of negative charges. In spite of several experimental and theoretical studies, the origin of these charges still remains unclear. We report the results of extensive Density Functional Theory (DFT) calculations of native defects - O and Al vacancies and interstitials, as well as H interstitial centers - in different charge states in both crystalline $\alpha$-Al$_2$O$_3$ and in a-Al$_2$O$_3$. The results demonstrate that both the charging process and the energy distribution of traps responsible for negative charging of a-Al$_2$O$_3$ films [M. B. Zahid et al., IEEE Trans. Electron Devices 57, 2907 (2010)] can be understood assuming that the negatively charged O$_{\textrm{i}}$ and V$_{\textrm{Al}}$ defects are nearly compensated by the positively charged H$_{\textrm{i}}$, V$_{\textrm{O}}$ and Al$_{\textrm{i}}$ defects in as prepared samples. Following electron injection, the states of Al$_{\textrm{i}}$, V$_{\textrm{O}}$ or H$_{\textrm{i}}$ in the band gap become occupied by electrons and sample becomes negatively charged. The optical excitation energies from these states into the oxide conduction band agree with the results of exhaustive photo-depopulation spectroscopy (EPDS) measurements [M. B. Zahid et al., IEEE Trans. Electron Devices 57, 2907 (2010)]. This new understanding of the origin of negative charging of a-Al$_2$O$_3$ films is important for further development of nanoelectronic devices and solar cells.


title: Switching internal times and a new perspective on the 'wave function of the universe'

abstract: Despite its importance in general relativity, a quantum notion of general covariance has not yet been established in quantum gravity and cosmology, where, given the a priori absence of coordinates, it is necessary to replace classical frames with dynamical quantum reference systems. As such, quantum general covariance bears on the ability to consistently switch between the descriptions of the same physics relative to arbitrary choices of quantum reference system. Recently, a systematic approach for such switches has been developed (arXiv:1809.00556, 1809.05093, 1810.04153). It links the descriptions relative to different choices of quantum reference system, identified as the correspondingly reduced quantum theories, via the reference-system-neutral Dirac quantization, in analogy to coordinate changes on a manifold. In this work, we apply this method to a simple cosmological model to demonstrate how to consistently switch between different internal time choices in quantum cosmology. We substantiate the argument that the conjunction of Dirac and reduced quantized versions of the theory defines a complete relational quantum theory that not only admits a quantum general covariance, but, we argue, also suggests a new perspective on the 'wave function of the universe'. It assumes the role of a perspective-neutral global state, without immediate physical interpretation, that, however, encodes all the descriptions of the universe relative to all possible choices of reference system at once and constitutes the crucial link between these internal perspectives. While, for simplicity, we use the Wheeler-DeWitt formulation, the method and arguments might be also adaptable to loop quantum cosmology.


title: Zipf's, Heaps' and Taylor's laws are determined by the expansion into the adjacent possible

abstract: Zipf's, Heaps' and Taylor's laws are ubiquitous in many different systems where innovation processes are at play. Together, they represent a compelling set of stylized facts regarding the overall statistics, the innovation rate and the scaling of fluctuations for systems as diverse as written texts and cities, ecological systems and stock markets. Many modeling schemes have been proposed in literature to explain those laws, but only recently a modeling framework has been introduced that accounts for the emergence of those laws without deducing the emergence of one of the laws from the others or without ad hoc assumptions. This modeling framework is based on the concept of adjacent possible space and its key feature of being dynamically restructured while its boundaries get explored, i.e., conditional to the occurrence of novel events. Here, we illustrate this approach and show how this simple modelling framework, instantiated through a modified Polya's urn model, is able reproduce Zipf's, Heaps' and Taylor's laws within a unique self-consistent scheme. In addition the same modelling scheme embraces other less common evolutionary laws (Hoppe's model and Dirichlet processes) as particular cases.


title: Shifting the Baseline: Single Modality Performance on Visual Navigation & QA

abstract: We demonstrate the surprising strength of unimodal baselines in multimodal domains, and make concrete recommendations for best practices in future research. Where existing work often compares against random or majority class baselines, we argue that unimodal approaches better capture and reflect dataset biases and therefore provide an important comparison when assessing the performance of multimodal techniques. We present unimodal ablations on three recent datasets in visual navigation and QA, seeing an up to 29% absolute gain in performance over published baselines.


title: Exploring Semantic Incrementality with Dynamic Syntax and Vector Space Semantics

abstract: One of the fundamental requirements for models of semantic processing in dialogue is incrementality: a model must reflect how people interpret and generate language at least on a word-by-word basis, and handle phenomena such as fragments, incomplete and jointly-produced utterances. We show that the incremental word-by-word parsing process of Dynamic Syntax (DS) can be assigned a compositional distributional semantics, with the composition operator of DS corresponding to the general operation of tensor contraction from multilinear algebra. We provide abstract semantic decorations for the nodes of DS trees, in terms of vectors, tensors, and sums thereof; using the latter to model the underspecified elements crucial to assigning partial representations during incremental processing. As a working example, we give an instantiation of this theory using plausibility tensors of compositional distributional semantics, and show how our framework can incrementally assign a semantic plausibility measure as it parses phrases and sentences.


title: Classical Limits and Contextuality in a Scenario of Multiple Observers

abstract: Contextuality is regarded as a non-classical feature, challenging our everyday intuition; quantum contextuality is currently seen as a resource for many applications in quantum computation, being responsible for quantum advantage over classical analogs. In our work, we adapt the $N$-cycle scenarios with odd $N$ to multiple independent observers which measure the system sequentially. We analyze the possibility of violating the inequalities as a function of the number of observers and under different measurement protocols. We then reinterpret the results as an open quantum system where the environment is divided into fragments. In this context, the results show the emergence of non-contextuality in such a setting, bringing together the quantum behavior to our classical experience. We then compare such emergence of non-contextuality with that of objectivity under the `Environment as a Witness paradigm'.


title: Photonic integration of an optical atomic clock

abstract: Laboratory optical atomic clocks achieve remarkable accuracy (now counted to 18 digits or more), opening possibilities to explore fundamental physics and enable new measurements. However, their size and use of bulk components prevent them from being more widely adopted in applications that require precision timing. By leveraging silicon-chip photonics for integration and to reduce component size and complexity, we demonstrate a compact optical-clock architecture. Here a semiconductor laser is stabilized to an optical transition in a microfabricated rubidium vapor cell, and a pair of interlocked Kerr-microresonator frequency combs provide fully coherent optical division of the clock laser to generate an electronic 22 GHz clock signal with a fractional frequency instability of one part in 10^13. These results demonstrate key concepts of how to use silicon-chip devices in future portable and ultraprecise optical clocks.


title: Newhouse Laminations

abstract: Newhouse laminations occur in unfoldings of rank-one homoclinic tangencies. Namely, in these unfoldings, there exist codimension $2$ laminations of maps with infinitely many sinks which move simultaneously along the leaves. As consequence, in the space of real polynomial maps, there are examples of: H\'enon maps, in any dimension, with infinitely many sinks, quadratic H\'enon-like maps with infinitely many sinks and a period doubling attractor, quadratic H\'enon-like maps with infinitely many sinks and a strange attractor, non trivial analytic families of polynomial maps with infinitely many sinks.


title: Weighted norm inequalities for the bilinear maximal operator on variable Lebesgue spaces

abstract: We extend the theory of weighted norm inequalities on variable Lebesgue spaces to the case of bilinear operators. We introduce a bilinear version of the variable $\A_\pp$ condition, and show that it is necessary and sufficient for the bilinear maximal operator to satisfy a weighted norm inequality. Our work generalizes the linear results of the first author, Fiorenza and Neugebauer \cite{dcu-f-nPreprint2010} in the variable Lebesgue spaces and the bilinear results of Lerner {\em et al.} \cite{MR2483720} in the classical Lebesgue spaces. As an application we prove weighted norm inequalities for bilinear singular integral operators in the variable Lebesgue spaces.


title: An $O(n \log n)$ time Algorithm for computing the Path-length Distance between Trees

abstract: Tree comparison metrics have proven to be an invaluable aide in the reconstruction and analysis of phylogenetic (evolutionary) trees. The path-length distance between trees is a particularly attractive measure as it reflects differences in tree shape as well as differences between branch lengths. The distance equals the sum, over all pairs of taxa, of the squared differences between the lengths of the unique path connecting them in each tree. We describe an $O(n \log n)$ time for computing this distance, making extensive use of tree decomposition techniques introduced by Brodal et al. (2004).


title: Efficient Online Hyperparameter Optimization for Kernel Ridge Regression with Applications to Traffic Time Series Prediction

abstract: Computational efficiency is an important consideration for deploying machine learning models for time series prediction in an online setting. Machine learning algorithms adjust model parameters automatically based on the data, but often require users to set additional parameters, known as hyperparameters. Hyperparameters can significantly impact prediction accuracy. Traffic measurements, typically collected online by sensors, are serially correlated. Moreover, the data distribution may change gradually. A typical adaptation strategy is periodically re-tuning the model hyperparameters, at the cost of computational burden. In this work, we present an efficient and principled online hyperparameter optimization algorithm for Kernel Ridge regression applied to traffic prediction problems. In tests with real traffic measurement data, our approach requires as little as one-seventh of the computation time of other tuning methods, while achieving better or similar prediction accuracy.


title: Improving Adversarial Robustness by Encouraging Discriminative Features

abstract: Deep neural networks (DNNs) have achieved state-of-the-art results in various pattern recognition tasks. However, they perform poorly on out-of-distribution adversarial examples i.e. inputs that are specifically crafted by an adversary to cause DNNs to misbehave, questioning the security and reliability of applications. In this paper, we encourage DNN classifiers to learn more discriminative features by imposing a center loss in addition to the regular softmax cross-entropy loss. Intuitively, the center loss encourages DNNs to simultaneously learns a center for the deep features of each class, and minimize the distances between the intra-class deep features and their corresponding class centers. We hypothesize that minimizing distances between intra-class features and maximizing the distances between inter-class features at the same time would improve a classifier's robustness to adversarial examples. Our results on state-of-the-art architectures on MNIST, CIFAR-10, and CIFAR-100 confirmed that intuition and highlight the importance of discriminative features.


title: Packing a fixed number of identical circles in a circular container with circular prohibited areas

abstract: In this paper we consider the problem of packing a fixed number of identical circles inside the unit circle container, where the packing is complicated by the presence of fixed size circular prohibited areas. Here the objective is to maximise the radius of the identical circles. We present a heuristic for the problem based upon formulation space search. Computational results are given for six test problems involving the packing of up to 100 circles. One test problem has a single prohibited area made up from the union of circles of different sizes. Four test problems are annular containers, which have a single inner circular prohibited area. One test problem has circular prohibited areas that are disconnected.


title: Attractive Interaction between Vortex and Anti-vortex in Holographic Superfluid

abstract: Annihilation process of a pair of vortices in holographic superfluid is numerically simulated. The process is found to consist of two stages which are amazingly separated by vortex size $2r$. The separation distance $\delta(t)$ between vortex and anti-vortex as a function of time is well fitted by $\alpha (t_{0}-t)^{n}$, where the scaling exponent $n=1/2$ for $\delta (t)>2r$, and $n=2/5$ for $\delta(t)<2r$. Then the approaching velocity and acceleration as functions of time and as functions of separation distance are obtained. Thus the attractive force between vortex and anti-vortex is derived as $f(\delta)\propto 1/\delta^{3}$ for the first stage, and $f(\delta)\propto 1/\delta^{4}$ for the second stage. In the end, we explained why the annihilation rate of vortices in turbulent superfluid system obeys the two-body decay law when the vortex density is low.


title: User-Directed Loop-Transformations in Clang

abstract: Directives for the compiler such as pragmas can help programmers to separate an algorithm's semantics from its optimization. This keeps the code understandable and easier to optimize for different platforms. Simple transformations such as loop unrolling are already implemented in most mainstream compilers. We recently submitted a proposal to add generalized loop transformations to the OpenMP standard. We are also working on an implementation in LLVM/Clang/Polly to show its feasibility and usefulness. The current prototype allows applying patterns common to matrix-matrix multiplication optimizations.


title: Incorporating Structured Commonsense Knowledge in Story Completion

abstract: The ability to select an appropriate story ending is the first step towards perfect narrative comprehension. Story ending prediction requires not only the explicit clues within the context, but also the implicit knowledge (such as commonsense) to construct a reasonable and consistent story. However, most previous approaches do not explicitly use background commonsense knowledge. We present a neural story ending selection model that integrates three types of information: narrative sequence, sentiment evolution and commonsense knowledge. Experiments show that our model outperforms state-of-the-art approaches on a public dataset, ROCStory Cloze Task , and the performance gain from adding the additional commonsense knowledge is significant.


title: Action convergence of operators and graphs

abstract: We present a new approach to graph limit theory which unifies and generalizes the two most well developed directions, namely dense graph limits (even the more general $L^p$ limits) and Benjamini--Schramm limits (even in the stronger local-global setting). We illustrate by examples that this new framework provides a rich limit theory with natural limit objects for graphs of intermediate density. Moreover, it provides a limit theory for bounded operators (called $P$-operators) of the form $L^\infty(\Omega)\to L^1(\Omega)$ for probability spaces $\Omega$. We introduce a metric to compare $P$-operators (for example finite matrices) even if they act on different spaces. We prove a compactness result which implies that in appropriate norms, limits of uniformly bounded $P$-operators can again be represented by $P$-operators. We show that limits of operators representing graphs are self-adjoint, positivity-preserving $P$-operators called graphops. Graphons, $L^p$ graphons and graphings (known from graph limit theory) are special examples for graphops. We describe a new point of view on random matrix theory using our operator limit framework.


title: The effect of avoiding known infected neighbors on the persistence of a recurring infection process

abstract: We study a generalization of the classical contact process (SIS epidemic model) in a directed graph $G$. Our model is a continuous-time interacting particle system in which at every time, each vertex is either healthy or infected, and each oriented edge is either active or inactive. Infected vertices become healthy at rate $1$, and pass the infection along each active outgoing edge at rate $\lambda$. At rate $\alpha$, healthy individuals deactivate each incoming edge from their infected neighbors. We study the persistence time of this epidemic model on the lattice $\mathbb{Z}$, the $n$-cycle $\mathbb{Z}_n$, and the $n$-star graph. We show that on $\mathbb{Z}$, for every $\alpha>0$, there is a phase transition in $\lambda$ between almost sure extinction and positive probability of indefinite survival; on $\mathbb{Z}_n$ we show that there is a phase transition between poly-logarithmic and exponential survival time as the size of the graph increases. On the star graph, we show that the survival time is $n^{\Delta+o(1)}$ for an explicit function $\Delta(\alpha,\lambda)$ whenever $\alpha>0$ and $\lambda>0$. In the cases of $\mathbb{Z}$ and $\mathbb{Z}_n$, our results qualitatively match what has been shown for the classical contact process, while in the case of the star graph, the classical contact process exhibits exponential survival for all $\lambda > 0$, which is qualitatively different from our result. This model presents a challenge because, unlike the classical contact process, it has not been shown to be monotonic in the infection parameter $\lambda$ or the initial infected set.


title: Independent Vector Analysis for Data Fusion Prior to Molecular Property Prediction with Machine Learning

abstract: Due to its high computational speed and accuracy compared to ab-initio quantum chemistry and forcefield modeling, the prediction of molecular properties using machine learning has received great attention in the fields of materials design and drug discovery. A main ingredient required for machine learning is a training dataset consisting of molecular features\textemdash for example fingerprint bits, chemical descriptors, etc. that adequately characterize the corresponding molecules. However, choosing features for any application is highly non-trivial. No "universal" method for feature selection exists. In this work, we propose a data fusion framework that uses Independent Vector Analysis to exploit underlying complementary information contained in different molecular featurization methods, bringing us a step closer to automated feature generation. Our approach takes an arbitrary number of individual feature vectors and automatically generates a single, compact (low dimensional) set of molecular features that can be used to enhance the prediction performance of regression models. At the same time our methodology retains the possibility of interpreting the generated features to discover relationships between molecular structures and properties. We demonstrate this on the QM7b dataset for the prediction of several properties such as atomization energy, polarizability, frontier orbital eigenvalues, ionization potential, electron affinity, and excitation energies. In addition, we show how our method helps improve the prediction of experimental binding affinities for a set of human BACE-1 inhibitors. To encourage more widespread use of IVA we have developed the PyIVA Python package, an open source code which is available for download on Github.


title: Localized peaking regimes for quasilinear doubly degenerate parabolic equations

abstract: Regimes with a singular peaking for a wide class of quasilinear second order parabolic equations are studied. On the basis of energy methods, precise estimates of a final profile of a weak solution in a neighborhood of the peaking time are established depending on the rate of increase of a global energy of this solution. Key words: quasilinear parabolic equations, peaking regimes, energy solutions.


title: Galois scaffolds and semistable extensions

abstract: Let $K$ be a local field and let $L/K$ be a totally ramified Galois extension of degree $p^n$. Being semistable and possessing a Galois scaffold are two conditions which facilitate the computation of the additive Galois module structure of $L/K$. In this note we show that $L/K$ is semistable if and only if $L/K$ has a Galois scaffold. We also give sufficient conditions in terms of Galois scaffolds for the extension $L/K$ to be stable.


title: MDFS - MultiDimensional Feature Selection

abstract: Identification of informative variables in an information system is often performed using simple one-dimensional filtering procedures that discard information about interactions between variables. Such approach may result in removing some relevant variables from consideration. Here we present an R package MDFS (MultiDimensional Feature Selection) that performs identification of informative variables taking into account synergistic interactions between multiple descriptors and the decision variable. MDFS is an implementation of an algorithm based on information theory. Computational kernel of the package is implemented in C++. A high-performance version implemented in CUDA C is also available. The applications of MDFS are demonstrated using the well-known Madelon dataset that has synergistic variables by design. The dataset comes from the UCI Machine Learning Repository. It is shown that multidimensional analysis is more sensitive than one-dimensional tests and returns more reliable rankings of importance.


title: Loop Optimization Framework

abstract: The LLVM compiler framework supports a selection of loop transformations such as vectorization, distribution and unrolling. Each transformation is carried-out by specialized passes that have been developed independently. In this paper we propose an integrated approach to loop optimizations: A single dedicated pass that mutates a Loop Structure DAG. Each transformation can make use of a common infrastructure such as dependency analysis, transformation preconditions, etc.


title: Embedding Individual Table Columns for Resilient SQL Chatbots

abstract: Most of the world's data is stored in relational databases. Accessing these requires specialized knowledge of the Structured Query Language (SQL), putting them out of the reach of many people. A recent research thread in Natural Language Processing (NLP) aims to alleviate this problem by automatically translating natural language questions into SQL queries. While the proposed solutions are a great start, they lack robustness and do not easily generalize: the methods require high quality descriptions of the database table columns, and the most widely used training dataset, WikiSQL, is heavily biased towards using those descriptions as part of the questions. In this work, we propose solutions to both problems: we entirely eliminate the need for column descriptions, by relying solely on their contents, and we augment the WikiSQL dataset by paraphrasing column names to reduce bias. We show that the accuracy of existing methods drops when trained on our augmented, column-agnostic dataset, and that our own method reaches state of the art accuracy, while relying on column contents only.


title: SDFW: SDN-based Stateful Distributed Firewall

abstract: SDN provides a programmable command and control networking system in a multi-tenant cloud network using control and data plane separation. However, separating the control and data planes make it difficult for incorporating some security services (e.g., firewalls) into SDN framework. Most of the existing solutions use SDN switches as packet filters and rely on SDN controllers to implement firewall policy management functions, which is impractical for implementing stateful firewalls since SDN switches only send session's initial packets and statistical data of flows to their controllers. For a data center networking environment, applying a Distributed FireWall (DFW) system to prevent attacker's lateral movements is highly desired, in which designing and implementing an SDN-based Stateful DFW (SDFW) demand a scalable distributed states management solution at the data plane to track packets and flow states. Our performance results show that SDFW achieves scalable security against data plane attacks with a marginal performance hit ~ 1.6% reduction in network bandwidth.


title: TRUFL: Distributed Trust Management framework in SDN

abstract: Software Defined Networking (SDN) has emerged as a revolutionary paradigm to manage cloud infrastructure. SDN lacks scalable trust setup and verification mechanism between Data Plane-Control Plane elements, Control Plane elements, and Control Plane-Application Plane. Trust management schemes like Public Key Infrastructure (PKI) used currently in SDN are slow for trust establishment in a larger cloud environment. We propose a distributed trust mechanism - TRUFL to establish and verify trust in SDN. The distributed framework utilizes parallelism in trust management, in effect faster transfer rates and reduced latency compared to centralized trust management. The TRUFL framework scales well with the number of OpenFlow rules when compared to existing research works.


title: Spectral Signatures in Backdoor Attacks

abstract: A recent line of work has uncovered a new form of data poisoning: so-called \emph{backdoor} attacks. These attacks are particularly dangerous because they do not affect a network's behavior on typical, benign data. Rather, the network only deviates from its expected output when triggered by a perturbation planted by an adversary. In this paper, we identify a new property of all known backdoor attacks, which we call \emph{spectral signatures}. This property allows us to utilize tools from robust statistics to thwart the attacks. We demonstrate the efficacy of these signatures in detecting and removing poisoned examples on real image sets and state of the art neural network architectures. We believe that understanding spectral signatures is a crucial first step towards designing ML systems secure against such backdoor attacks


title: Constraining the mass density of free-floating black holes using razor-thin lensing arcs

abstract: Strong lensing of active galactic nuclei in the radio can result in razor-thin arcs, with a thickness of less than a milli-arcsecond, if observed at the resolution achievable with very long baseline interferometry (VLBI). Such razor-thin arcs provide a unique window on the coarseness of the matter distribution between source and observer. In this paper, we investigate to what extent such razor-thin arcs can constrain the number density and mass function of `free-floating' black holes, defined as black holes that do not, or no longer, reside at the centre of a galaxy. These can be either primordial in origin or arise as by-products of the evolution of super-massive black holes in galactic nuclei. When sufficiently close to the line of sight, free-floating black holes cause kink-like distortions in the arcs, which are detectable by eye in the VLBI images as long as the black hole mass exceeds $\sim 1000$ Solar masses. Using a crude estimate for the detectability of such distortions, we analytically compute constraints on the matter density of free-floating black holes resulting from null-detections of distortions along a realistic, fiducial arc, and find them to be comparable to those from quasar milli-lensing. We also use predictions from a large hydrodynamical simulation for the demographics of free-floating black holes that are not primordial in origin, and show that their predicted mass density is roughly four orders of magnitude below the constraints achievable with a single razor-thin arc.


title: Simple Sensitivity Analysis for Differential Measurement Error

abstract: Simple sensitivity analysis results are given for differential measurement error of either the exposure or the outcome. In the case of differential measurement error of the outcome it is shown that the true effect of the exposure on the outcome on the risk ratio scale must be at least as large as the observed association between the exposure and the mis-measured outcome divided by the maximum strength of differential measurement error, assessed as the risk ratio of the controlled direct effect of the exposure on mis-measured outcome not through the true outcome. In the case of differential measurement error of the exposure it is shown that the true effect on the risk ratio scale of the exposure on the outcome must be at least as large as the observed association between the mis-measured exposure measurement and the outcome divided by the maximum strength of differential measurement error, assessed as the risk ratio of the effect of the outcome on mis-measured exposure measurement conditional on the true exposure. The results can also be immediately used to indicate the minimum strength of differential measurement error that would be needed to explain away an observed association between an exposure measurement and an outcome measurement.


title: Stochastic Normalizations as Bayesian Learning

abstract: In this work we investigate the reasons why Batch Normalization (BN) improves the generalization performance of deep networks. We argue that one major reason, distinguishing it from data-independent normalization methods, is randomness of batch statistics. This randomness appears in the parameters rather than in activations and admits an interpretation as a practical Bayesian learning. We apply this idea to other (deterministic) normalization techniques that are oblivious to the batch size. We show that their generalization performance can be improved significantly by Bayesian learning of the same form. We obtain test performance comparable to BN and, at the same time, better validation losses suitable for subsequent output uncertainty estimation through approximate Bayesian posterior.


title: A Multidimensional Fatou Lemma for Conditional Expectations

abstract: The classical multidimensional version of Fatou's lemma (Schmeidler 1970) originally obtained for unconditional expectations and the standard non-negative cone in a finite-dimensional linear space is extended to conditional expectations and general closed pointed cones.


title: Online Embedding Compression for Text Classification using Low Rank Matrix Factorization

abstract: Deep learning models have become state of the art for natural language processing (NLP) tasks, however deploying these models in production system poses significant memory constraints. Existing compression methods are either lossy or introduce significant latency. We propose a compression method that leverages low rank matrix factorization during training,to compress the word embedding layer which represents the size bottleneck for most NLP models. Our models are trained, compressed and then further re-trained on the downstream task to recover accuracy while maintaining the reduced size. Empirically, we show that the proposed method can achieve 90% compression with minimal impact in accuracy for sentence classification tasks, and outperforms alternative methods like fixed-point quantization or offline word embedding compression. We also analyze the inference time and storage space for our method through FLOP calculations, showing that we can compress DNN models by a configurable ratio and regain accuracy loss without introducing additional latency compared to fixed point quantization. Finally, we introduce a novel learning rate schedule, the Cyclically Annealed Learning Rate (CALR), which we empirically demonstrate to outperform other popular adaptive learning rate algorithms on a sentence classification benchmark.


title: Comparative Study of Simulated Nebulized and Spray Particle Deposition in Chronic Rhinosinusitis Patients

abstract: Introduction: Topical intranasal drugs are widely prescribed for Chronic Rhinosinusitis (CRS), although delivery can vary with device type and droplet size. The study objective was to compare nebulized and sprayed droplet deposition in the paranasal sinuses and ostiomeatal complex (OMC) across multiple droplet sizes in CRS patients using computational fluid dynamics (CFD). Methods: Three-dimensional models of sinonasal cavities were constructed from computed tomography (CT) scans of three subjects with CRS refractory to medical therapy using imaging software. Assuming steady-state inspiratory airflow at resting rate, CFD was used to simulate 1-120 {\mu}m sprayed droplet deposition in the left and right sinuses and OMC with spray nozzle positioning as in current nasal spray use instructions. Zero-velocity nebulization simulations were performed for 1-30 {\mu}m droplet sizes, maximal sinus and OMC deposition fractions (MSDF) were obtained, and sizes that achieved at least 50% of MSDF were identified. Nebulized MSDF was compared to sprayed droplet deposition. We also validated CFD framework through in vitro experiments. Results: Among nebulized droplet sizes, 11-14 {\mu}m droplets achieved at least 50% of MSDF in all six sinonasal cavities. Five of six sinonasal cavities had greater sinus and OMC deposition with nebulized droplets than with sprayed droplets at optimal sizes. Conclusions: Nebulized droplets may target the sinuses and OMC more effectively than sprayed particles at sizes achieving best deposition. Further studies are needed to confirm our preliminary findings. Several commercial nasal nebulizers have average particle sizes outside the optimal nebulized droplet size range found here, suggesting potential for product enhancement.


title: An Approximation Algorithm for Active Friending in Online Social Networks

abstract: Guiding users to actively expanding their online social circles is one of the primary strategies for enhancing user participation and growing online social networks. In this paper, we study the active friending problem which aims at providing users with the strategy for methodically sending invitations to successfully build a friendship with target users. We consider the prominent linear threshold model for the friending process and formulate the active friending problem as an optimization problem. The key observation is the relationship between the active friending problem and the minimum subset cover problem, based on which we present the first randomized algorithm with a data-independent approximation ratio and a controllable success probability for general graphs. The performance of the proposed algorithm is theoretically analyzed and supported by encouraging simulation results done on extensive datasets.


title: Analyzing and learning the language for different types of harassment

abstract: Disclaimer: This paper is concerned with violent online harassment. To describe the subject at an adequate level of realism, examples of our collected tweets involve violent, threatening, vulgar and hateful speech language in the context of racial, sexual, political, appearance and intellectual harassment. The presence of a significant amount of harassment in user-generated content and its negative impact calls for robust automatic detection approaches. This requires that we can identify different forms or types of harassment. Earlier work has classified harassing language in terms of hurtfulness, abusiveness, sentiment, and profanity. However, to identify and understand harassment more accurately, it is essential to determine the context that represents the interrelated conditions in which they occur. In this paper, we introduce the notion of contextual type to harassment involving five categories: (i) sexual, (ii) racial, (iii) appearance-related, (iv) intellectual and (v) political. We utilize an annotated corpus from Twitter distinguishing these types of harassment. To study the context for each type that sheds light on the linguistic meaning, interpretation, and distribution, we conduct two lines of investigation: an extensive linguistic analysis, and a statistical distribution of unigrams. We then build type-ware classifiers to automate the identification of type-specific harassment. Our experiments demonstrate that these classifiers provide competitive accuracy for identifying and analyzing harassment on social media. We present extensive discussion and major observations about the effectiveness of type-aware classifiers using a detailed comparison setup providing insight into the role of type-dependent features.


title: The Holdout Randomization Test for Feature Selection in Black Box Models

abstract: We propose the holdout randomization test (HRT), an approach to feature selection using black box predictive models. The HRT is a specialized version of the conditional randomization test (CRT; Candes et al., 2018) that uses data splitting for feasible computation. The HRT works with any predictive model and produces a valid $p$-value for each feature. To make the HRT more practical, we propose a set of extensions to maximize power and speed up computation. In simulations, these extensions lead to greater power than a competing knockoffs-based approach, without sacrificing control of the error rate. We apply the HRT to two case studies from the scientific literature where heuristics were originally used to select important features for predictive models. The results illustrate how such heuristics can be misleading relative to principled methods like the HRT. Code is available at https://github.com/tansey/hrt.


title: The discreteness-driven relaxation of collisionless gravitating systems: entropy evolution in external potentials, N-dependence and the role of chaos

abstract: We investigate the old problem of the fast relaxation of collisionless $N$-body systems which are collapsing or perturbed, emphasizing the importance of (non-collisional) discreteness effects. We integrate orbit ensembles in fixed external potentials, estimating the entropy of the ensemble to analyze the time evolution of the distribution function. We show that these estimates capture the correct physical behavior expected from the 2nd Law of Thermodynamics, without any spurious entropy production. For self-consistent (i.e. stationary) samples, the entropy is conserved, while for non-self-consistent samples, it increases within a few dynamical times up to a maximum where it stabilizes (even in integrable potentials). Our results shed light on the main ingredients for this fast collisionless relaxation. The fundamental ingredient is the discreteness (finite $N$) of gravitational systems in any potential. Additionally, in non-integrable potentials, the presence of chaotic orbits accelerates the entropy production. Contrary to the traditional violent relaxation scenario, our results indicate that a time-dependent potential is not necessary for this fast relaxation. For the first time, in connection with the Nyquist-Shannon theorem we determine the $N$-dependence of this discreteness-driven relaxation, deriving a typical relaxation time $T/\tau_{cr}\approx 0.1 N^{1/6}$, with slightly weaker $N$-dependencies for non-integrable potentials with substantial fractions of chaotic orbits. This timescale is much smaller than the collisional timescale even for small-$N$ systems such as open clusters and represents an upper limit for real collisionless $N$-body systems. Additionally, our results reinforce the conclusion draw in Beraldo e Silva et al. (2017) that the Vlasov equation does not provide an adequate kinetic description of the fast relaxation of collapsing collisionless $N$-body systems.


title: Tailoring Interdigitated Back Contacts for High-performance Bifacial Silicon Solar Cells

abstract: Photovoltaic (PV) cells have become one of the most promising renewable energy technologies. To make PV more competitive with incumbent technologies, higher power output densities are needed. One promising approach is to add bifaciality to existing monofacial PV devices, allowing more output power from the additional reflection of sunlight from the ground (albedo). For example, bifaciality can be added to Silicon Heterojunction (SHJ) solar cell with Interdigitated Back Contacts (IBC) by opening up the gaps between the back metal contacts, but the optimum gap that maximizes power output is unknown. In this paper we show that that the optimum gap that maximizes IBC SHJ bifacial power output, where is the ratio of output power density to power loss due to shadowing and Joule heating, The results are validated by self consistent finite element device modeling. For a typical albedo factor of 0.3, an optimized bifacial IBC SHJ cell will produce 17% more power output than state-of-the-art monofacial IBC SHJ cells. The results encourage development of bifacial IBC solar cells as a next generation PV technology.


title: Prediction Error Meta Classification in Semantic Segmentation: Detection via Aggregated Dispersion Measures of Softmax Probabilities

abstract: We present a method that "meta" classifies whether seg-ments predicted by a semantic segmentation neural networkintersect with the ground truth. For this purpose, we employ measures of dispersion for predicted pixel-wise class probability distributions, like classification entropy, that yield heat maps of the input scene's size. We aggregate these dispersion measures segment-wise and derive metrics that are well-correlated with the segment-wise IoU of prediction and ground truth. This procedure yields an almost plug and play post-processing tool to rate the prediction quality of semantic segmentation networks on segment level. This is especially relevant for monitoring neural networks in online applications like automated driving or medical imaging where reliability is of utmost importance. In our tests, we use publicly available state-of-the-art networks trained on the Cityscapes dataset and the BraTS2017 dataset and analyze the predictive power of different metrics as well as different sets of metrics. To this end, we compute logistic LASSO regression fits for the task of classifying IoU=0 vs. IoU>0 per segment and obtain AUROC values of up to 91.55%. We complement these tests with linear regression fits to predict the segment-wise IoU and obtain prediction standard deviations of down to 0.130 as well as $R^2$ values of up to 84.15%. We show that these results clearly outperform standard approaches.


title: Comparative Analysis of the Main Nasal Cavity and the Paranasal Sinuses in Chronic Rhinosinusitis: An Anatomic Study of Maximal Medical Therapy

abstract: Objective: Minimal literature exists investigating changes in inflammation with respect to the main nasal cavity (MNC) and paranasal sinuses (PS) before and after maximal medical therapy (MMT) for chronic rhinosinusitis (CRS). We hypothesized that MMT produces a differential level of change in the volume of air space in the MNC and PS, and that resolution of mucosal disease associated with the osteomeatal complex (OMC) influences clinical response to MMT. Study Design: Retrospective study of 12 pre- and post-MMT sinus-CT scans from 6 subjects with CRS, of which three succeeded and three failed therapy. Methods: Mimics was used to create 3D-models of the MNC and PS, and then analysis of the models was performed. Results: Mean differences in the sinonasal volume were 7866.5+/-4339.9 mm3 and 17869.10+/-19472.70 mm3, amongst the failures and successes, respectively. There is wide variability in the contribution of PS and MNC airspace volume change to the overall change in the sinonasal volume. In two subjects, the direction of volume change in the MNC and PS diverged with respect to the overall change in volume. Line-of-sight analysis demonstrated that successful responders to MMT had more patent MNC with direct access to the OMC. Conclusions: There is a differential contribution to sinonasal, airspace volume change after MMT, when comparing the MNC and PS. Response to MMT may not be solely attributable to PS change and may include a function of MNC change. Line-of-sight models suggest that direct access to the OMC may impact response to MMT.