title: Uniform point variance bounds in classical beta ensembles

abstract: In this paper, we give bounds on the variance of the number of points of the circular and the Gaussian $\beta$ ensemble in arcs of the unit circle or intervals of the real line. These bounds are logarithmic with respect to the renormalized length of these sets, which is expected to be optimal up to a multiplicative constant depending only on $\beta$.


title: A Novel Malware Detection System Based On Machine Learning and Binary Visualization

abstract: The continued evolution and diversity of malware constitutes a major threat in modern systems. It is well proven that security defenses currently available are ineffective to mitigate the skills and imagination of cyber-criminals necessitating the development of novel solutions. Deep learning algorithms and artificial intelligence (AI) are rapidly evolving with remarkable results in many application areas. Following the advances of AI and recognizing the need for efficient malware detection methods, this paper presents a new approach for malware detection based on binary visualization and self-organizing incremental neural networks. The proposed method's performance in detecting malicious payloads in various file types was investigated and the experimental results showed that a detection accuracy of 91.7% and 94.1% was achieved for ransomware in .pdf and .doc files respectively. With respect to other formats of malicious code and other file types, including binaries, the proposed method behaved well with an incremental detection rate that allows efficiently detecting unknown malware at real-time.


title: Accessible quantitative phase imaging in confocal microscopy with sinusoidal-phase synthetic optical holography

abstract: We present a technically simple implementation of quantitative phase imaging in confocal microscopy based on synthetic optical holography with sinusoidal-phase reference waves. Using a Mirau interference objective and low-amplitude vertical sample vibration with a piezo-controlled stage, we record synthetic holograms on commercial confocal microscopes (Nikon, model: A1R; Zeiss: model: LSM-880), from which quantitative phase images are reconstructed. We demonstrate our technique by stain-free imaging of cervical (HeLa) and ovarian (ES-2) cancer cells and stem cell (mHAT9a) samples. Our technique has the potential to extend fluorescence imaging applications in confocal microscopy by providing label-free cell finding, monitoring cell morphology, as well as non-perturbing long-time observation of live cells based on quantitative phase contrast.


title: Dual-Time Smoothed Particle Hydrodynamics for Incompressible Fluid Simulation

abstract: In this paper we propose a dual-time stepping scheme for the Smoothed Particle Hydrodynamics (SPH) method. Dual-time stepping has been used in the context of other numerical methods for the simulation of incompressible fluid flows. Here we provide a scheme that combines the entropically damped artificial compressibility (EDAC) along with dual-time stepping. The method is accurate, robust, and demonstrates up to seven times better performance than the standard weakly-compressible formulation. We demonstrate several benchmarks showing the applicability of the scheme. In addition, we provide a completely open source implementation and a reproducible manuscript.


title: Observation of Local Symmetry in a Photonic System

abstract: The concept of local symmetry is a powerful tool in predicting complex transport phenomena in aperiodic media. A nonlocal continuity formalism reveals how local symmetries are encoded into the dynamics of light propagation in discrete waveguide arrays governed by a Schr\"odinger equation. However, the experimental demonstration is elusive so far. We fabricate representative examples of locally symmetric, globally symmetric and fully non-symmetric configurations in fs laser-written photonic arrays and probe their dynamics. Our approach allows to distinguish all three types of structures.


title: DefectNET: multi-class fault detection on highly-imbalanced datasets

abstract: As a data-driven method, the performance of deep convolutional neural networks (CNN) relies heavily on training data. The prediction results of traditional networks give a bias toward larger classes, which tend to be the background in the semantic segmentation task. This becomes a major problem for fault detection, where the targets appear very small on the images and vary in both types and sizes. In this paper we propose a new network architecture, DefectNet, that offers multi-class (including but not limited to) defect detection on highly-imbalanced datasets. DefectNet consists of two parallel paths, which are a fully convolutional network and a dilated convolutional network to detect large and small objects respectively. We propose a hybrid loss maximising the usefulness of a dice loss and a cross entropy loss, and we also employ the leaky rectified linear unit (ReLU) to deal with rare occurrence of some targets in training batches. The prediction results show that our DefectNet outperforms state-of-the-art networks for detecting multi-class defects with the average accuracy improvement of approximately 10% on a wind turbine.


title: Tree Search Network for Sparse Regression

abstract: We consider the classical sparse regression problem of recovering a sparse signal $x_0$ given a measurement vector $y = \Phi x_0+w$. We propose a tree search algorithm driven by the deep neural network for sparse regression (TSN). TSN improves the signal reconstruction performance of the deep neural network designed for sparse regression by performing a tree search with pruning. It is observed in both noiseless and noisy cases, TSN recovers synthetic and real signals with lower complexity than a conventional tree search and is superior to existing algorithms by a large margin for various types of the sensing matrix $\Phi$, widely used in sparse regression.


title: Non-linear aggregation of filters to improve image denoising

abstract: We introduce a novel aggregation method to efficiently perform image denoising. Preliminary filters are aggregated in a non-linear fashion, using a new metric of pixel proximity based on how the pool of filters reaches a consensus. We provide a theoretical bound to support our aggregation scheme, its numerical performance is illustrated and we show that the aggregate significantly outperforms each of the preliminary filters.


title: Relaxation-rate formula for the entropic lattice Boltzmann method

abstract: An elegant and uniform relaxation-rate formula is presented for the entropic lattice Boltzmann method (ELBM). The formula not only guarantees the discrete time H-theorem at numerical level but also gives full consideration to the consistency with hydrodynamics. With this novel formula, the computational cost of the ELBM is significantly reduced and the method now can be efficiently used for a broad range of hydrodynamics applications including high Renolds number flows. Moreover, we demonstrate that the grid points where flow fields change drastically are effectively marked by the formula.


title: Dynamical topological quantum phase transitions in nonintegrable models

abstract: We consider sudden quenches across quantum phase transitions in the $S=1$ XXZ model starting from the Haldane phase. We demonstrate that dynamical phase transitions may occur during these quenches that are identified by nonanalyticities in the rate function for the return probability. In addition, we show that the temporal behavior of the string order parameter is intimately related to the subsequent dynamical phase transitions. We furthermore find that the dynamical quantum phase transitions can be accompanied by enhanced two-site entanglement.


title: Feasibility vs. Optimality in Distributed AC OPF - A Case Study Considering ADMM and ALADIN

abstract: This paper investigates the role of feasible initial guesses and large consensus-violation penalization in distributed optimization for Optimal Power Flow (OPF) problems. Specifically, we discuss the behavior of the Alternating Direction of Multipliers Method (ADMM). We show that in case of large consensus-violation penalization ADMM might exhibit slow progress. We support this observation by an analysis of the algorithmic properties of ADMM. Furthermore, we illustrate our findings considering the IEEE 57 bus system and we draw upon a comparison of ADMM and the Augmented Lagrangian Alternating Direction Inexact Newton (ALADIN) method.


title: Room Geometry Estimation from Room Impulse Responses using Convolutional Neural Networks

abstract: We describe a new method to estimate the geometry of a room given room impulse responses. The method utilises convolutional neural networks to estimate the room geometry and uses the mean square error as the loss function. In contrast to existing methods, we do not require the position or distance of sources or receivers in the room. The method can be used with only a single room impulse response between one source and one receiver for room geometry estimation. The proposed estimation method can achieve an average of six centimetre accuracy. In addition, the proposed method is shown to be computationally efficient compared to state-of-the-art methods.


title: Rotating magnetic field driven antiferromagnetic domain wall motion: Role of Dzyaloshinskii-Moriya interaction

abstract: In this work, we study the rotating magnetic field driven domain wall (DW) motion in antiferromagnetic nanowires, using the micromagnetic simulations of the classical Heisenberg spin model. We show that in low frequency region, the rotating field alone could efficiently drive the DW motion even in the absence of Dzyaloshinskii-Moriya interaction (DMI). In this case, the DW rotates synchronously with the magnetic field, and a stable precession torque is available and drives the DW motion with a steady velocity. In large frequency region, the DW only oscillates around its equilibrium position and cannot propagate. The dependences of the velocity and critical frequency differentiating the two motion modes on several parameters are investigated in details, and the direction of the DW motion can be controlled by modulating the initial phase of the field. Interestingly, a unidirectional DW motion is predicted attributing to the bulk DMI, and the nonzero velocity for high frequency is well explained. Thus, this work does provide useful information for further antiferromagnetic spintronics applications.


title: Adversarial-Residual-Coarse-Graining: Applying machine learning theory to systematic molecular coarse-graining

abstract: We utilize connections between molecular coarse-graining approaches and implicit generative models in machine learning to describe a new framework for systematic molecular coarse-graining (CG). Focus is placed on the formalism encompassing generative adversarial networks. The resulting method enables a variety of model parameterization strategies, some of which show similarity to previous CG methods. We demonstrate that the resulting framework can rigorously parameterize CG models containing CG sites with no prescribed connection to the reference atomistic system (termed virtual sites); however, this advantage is offset by the lack of a closed-form expression for the CG Hamiltonian at the resolution obtained after integration over the virtual CG sites. Computational examples are provided for cases in which these methods ideally return identical parameters as Relative Entropy Minimization (REM) CG but where traditional REM CG optimization equations are not applicable.


title: Exploring the molecular scenario of $P_c(4312)$, $P_c(4440)$, and $P_c(4457)$

abstract: In the present work, we assign the newly observed $P_c(4312)$ as a $I(J^P)= \frac{1}{2} (\frac{1}{2})^-$ molecular state composed of $\Sigma_c \bar{D}$, while $P_c(4440)$ and $P_c(4457)$ as $\Sigma_c \bar{D}^\ast$ molecular states with $I(J^P)= \frac{1}{2} (\frac{1}{2})^-$ and $\frac{1}{2} (\frac{3}{2})^-$, respectively. In this molecular scenario, we investigate the $P_c\to J/\psi p$ process of these three states and further predict the ratios of the $\mathcal B(P_c\to J/\psi p)$ and those of $\mathcal B(\Lambda_b\to P_c K)$ between these three states, which could serve as a crucial test of the present molecular scenario.


title: The Petersson-Knopp identity and Farey neighbours

abstract: We study Dedekind sums $S(a,b)$ near Farey points of the interval $[0,b]$. Each of these Dedekind sums is connected with a set of other Dedekind sums by the Petersson-Knopp identity. In the case considered here, this identity has a very specific interpretation, inasmuch as each Dedekind occurring in this identity is close to a certain expected value. Conversely, each of these expected values occurs with a certain frequency, a frequency that is consistent with the Petersson-Knopp identity.


title: Far-ranging generalist top predators enhance the stability of meta-foodwebs

abstract: Identifying stabilizing factors in foodwebs is a long standing challenge with wide implications for community ecology and conservation. Here, we investigate the stability of spatially resolved meta-foodwebs with far-ranging super-predators for whom the whole meta-foodwebs appears to be a single habitat. By using a combination of generalised modeling with a master stability function approach, we are able to efficiently explore the asymptotic stability of large classes of realistic many-patch meta-foodwebs. We show that meta-foodwebs with far-ranging top predators are more stable than those with localized top predators. Moreover, adding far-ranging generalist top predators to a system can have a net stabilizing effect, despite increasing the food web size. These results highlight the importance of top predator conservation.


title: The Large Space of Information Structures

abstract: We revisit the question of modeling incomplete information among 2 Bayesian players, following an ex-ante approach based on values of zero-sum games. $K$ being the finite set of possible parameters, an information structure is defined as a probability distribution $u$ with finite support over $K\times \mathbb{N} \times \mathbb{N}$ with the interpretation that: $u$ is publicly known by the players, $(k,c,d)$ is selected according to $u$, then $c$ (resp. $d$) is announced to player 1 (resp. player 2). Given a payoff structure $g$, composed of matrix games indexed by the state, the value of the incomplete information game defined by $u$ and $g$ is denoted $\mathrm{val}(u,g)$. We evaluate the pseudo-distance $d(u,v)$ between 2 information structures $u$ and $v$ by the supremum of $|\mathrm{val}(u,g)-\mathrm{val}(v,g)|$ for all $g$ with payoffs in $[-1,1]$, and study the metric space $Z^*$ of equivalent information structures. We first provide a tractable characterization of $d(u,v)$, as the minimal distance between 2 polytopes, and recover the characterization of Peski (2008) for $u \succeq v$, generalizing to 2 players Blackwell's comparison of experiments via garblings. We then show that $Z^*$, endowed with a weak distance $d_W$, is homeomorphic to the set of consistent probabilities with finite support over the universal belief space of Mertens and Zamir. Finally we show the existence of a sequence of information structures, where players acquire more and more information, and of $\varepsilon>0$ such that any two elements of the sequence have distance at least $\varepsilon$: having more and more information may lead now here. As a consequence, the completion of $(Z^*,d)$ is not compact, hence not homeomorphic to the set of consistent probabilities over the states of the world {\it \`a la} Mertens and Zamir. This example answers by the negative the second (and last unsolved) of the three problems posed by J.F. Mertens in his paper ``Repeated Games", ICM 1986.


title: Significance-aware Information Bottleneck for Domain Adaptive Semantic Segmentation

abstract: For unsupervised domain adaptation problems, the strategy of aligning the two domains in latent feature space through adversarial learning has achieved much progress in image classification, but usually fails in semantic segmentation tasks in which the latent representations are overcomplex. In this work, we equip the adversarial network with a "significance-aware information bottleneck (SIB)", to address the above problem. The new network structure, called SIBAN, enables a significance-aware feature purification before the adversarial adaptation, which eases the feature alignment and stabilizes the adversarial training course. In two domain adaptation tasks, i.e., GTA5 -> Cityscapes and SYNTHIA -> Cityscapes, we validate that the proposed method can yield leading results compared with other feature-space alternatives. Moreover, SIBAN can even match the state-of-the-art output-space methods in segmentation accuracy, while the latter are often considered to be better choices for domain adaptive segmentation task.


title: X-ray spectroscopy of current-induced spin-orbit torques and spin accumulation in Pt/3d transition metal bilayers

abstract: An electric current flowing in Pt, a material with strong spin-orbit coupling, leads to spins accumulating at the interfaces by virtue of the spin Hall effect and interfacial charge-spin conversion. We measure the influence of these interfacial magnetic moments onto adjacent 3d transition metal layers by x-ray absorption spectroscopy and x-ray magnetic circular dichroism in a quantitative and element-selective way, with sensitivity below $10^{-5}~\mu_B$ per atom. In Pt(6 nm)/Co(2.5 nm), the accumulated spins cause a deviation of the Co magnetization direction, which corresponds to an effective spin-Hall angle of 0.08. The spin and orbital magnetic moments of Co are affected in equal proportion by the absorption of the spin current, showing that the transfer of orbital momentum from the recently predicted orbital Hall effect is either below our detection limit, or not directed to the 3d states of Co. For Pt/NM (NM = Ti, Cr, Cu), we find upper limits for the amount of injected spins corresponding to about $3\times 10^{-6}~\mu_B$ per atom.


title: Relativistic PT-symmetric fermionic theories in 1+1 and 3+1 dimensions

abstract: Relativistic PT-symmetric fermionic interacting systems are studied in 1+1 and 3+1 dimensions. The objective is to include non-Hermitian PT-symmetric interaction terms that give {\it real} spectra. Such interacting systems could describe new physics. The simplest non-Hermitian Lagrangian density is $L=L_0+L_{int}=\bar\psi(i\not\partial-m)\psi-g\bar\psi\gamma^5\psi$. The associated relativistic Dirac equation is PT invariant in 1+1 dimensions and the associated Hamiltonian commutes with PT. However, the dispersion relation $p^2=m^2-g^2$ shows that the PT symmetry is broken in the chiral limit $m\to0$. For interactions $L_{int}=-g(\bar\psi\gamma^5\psi)^N$ with N=2,3, if the associated Dirac equation is PT invariant, the dispersion relation gives complex energies as $m\to0$. Other models are studied in which x-dependent PT-symmetric potentials such as $ix^3$, $-x^4$, $i\kappa/x$, Hulth\'en, or periodic potentials are coupled to $\psi$ and the classical trajectories plane are examined. Some combinations of these potentials give a real spectrum. In 3+1 dimensions, the simplest system $L=L_0+L_{int}=\bar\psi(i\not\partial-m)\psi-g\bar\psi\gamma^5\psi$ resembles the 1+1-dimensional case but the Dirac equation is not PT invariant because $T^2=-1$. This explains the appearance of complex eigenvalues as $m\to0$. Other Lorentz-invariant 2-point and 4-point interactions give non-Hermitian PT-symmetric terms in the Dirac equation. Only the axial vector and tensor Lagrangian interactions $L_{int}=-i\bar\psi\tilde B_\mu\gamma^5\gamma^\mu\psi$ and $L_{int}=-i\bar\psi T_{\mu\nu}\sigma^{\mu\nu}\psi$ fulfil both requirements of PT invariance of the associated Dirac equation and non-Hermiticity. Both models give complex spectra as $m\to0$. The effect on the spectrum of the additional constraint of selfadjointness of the Hamiltonian with respect to the PT inner product is investigated.


title: Erd\"os-P\'osa property of minor-models with prescribed vertex sets

abstract: A minor-model of a graph $H$ in a graph $G$ is a subgraph of $G$ that can be contracted to $H$. We prove that for a positive integer $\ell$ and a non-empty planar graph $H$ with at least $\ell-1$ connected components, there exists a function $f_{H, \ell}:\mathbb{N}\rightarrow \mathbb{R}$ satisfying the property that every graph $G$ with a family of vertex subsets $Z_1, \ldots, Z_m$ contains either $k$ pairwise vertex-disjoint minor-models of $H$ each intersecting at least $\ell$ sets among prescribed vertex sets, or a vertex subset of size at most $f_{H, \ell}(k)$ that meets all such minor-models of $H$. This function $f_{H, \ell}$ is independent with the number $m$ of given sets, and thus, our result generalizes Mader's $\mathcal S$-path Theorem, by applying $\ell=2$ and $H$ to be the one-vertex graph. We prove that such a function $f_{H, \ell}$ does not exist if $H$ consists of at most $\ell-2$ connected components.


title: An Approach to Identity Management in Clouds without Trusted Third Parties

abstract: The management of sensitive data, including identity management (IDM), is an important problem in cloud computing, fundamental for authentication and fine-grained service access control. Our goal is creating an efficient and robust IDM solution that addresses critical issues in cloud computing. The proposed IDM scheme does not rely on trusted third parties (TTPs) or trusted dealers. The scheme is a multiparty interactive solution that combines RSA distributed key generation and attribute-based encryption. We believe that it will be a robust IDM privacy-preserving solution in cloud computing, because it has the following features: (i) protects sensitive data on untrusted hosts using active bundle; (ii) supports the minimum disclosure property; (iii) minimizes authentication overhead by providing single sign-on; (iv) supports authentication with encrypted credentials; (v) avoids using trusted third parties (TTPs_, incl. using TTPs for key management; (vi) supports revocation and delegation of access right; and (vii) supports revocation of user credentials. The scheme should also be efficient because it exploits parallelism.


title: Multivariate Normal Approximation for functionals of random polytopes

abstract: Consider the random polytope, that is given by the convex hull of a Poisson point process on a smooth convex body in $\mathbb{R}^d$. We prove central limit theorems for continuous motion invariant valuations including the Will's functional and the intrinsic volumes of this random polytope. Additionally we derive a central limit theorem for the oracle estimator, that is an unbiased an minimal variance estimator for the volume of a convex set. Finally we obtain a multivariate limit theorem for the intrinsic volumes and the components of the $\mathbf{f}$-vector of the random polytope.


title: QCD and electroweak corrections to WZ scattering at the LHC

abstract: We present the first computation of the full next-to-leading-order QCD and electroweak corrections to the WZ scattering process at the LHC. All off-shell, gauge-boson-decay, and interference effects are taken into account for the process $\mathrm{p} \mathrm{p} \to \mu^+\mu^-\mathrm{e}^+\nu_\mathrm{e} \mathrm{j} \mathrm{j} + X$ at the orders $\mathcal{O}{\left( \alpha_\mathrm{s} \alpha^6 \right)}$ and $\mathcal{O}{\left( \alpha^7 \right)}$. The electroweak corrections feature the typical Sudakov behaviour towards high energy and amount to $-16\%$ relative to the electroweak contribution to the integrated cross section. Moreover, the corrections induce significant shape distortions in differential distributions. The next-to-leading-order analysis of the quark- and gluon-induced channels is supplemented by a leading-order study of all possible contributions to the full $4\ell+2\mbox{jets}$ production cross section in a realistic fiducial phase-space volume.


title: Optically coherent nitrogen-vacancy centers in {\mu}m-thin etched diamond membranes

abstract: Diamond membrane devices containing optically coherent nitrogen-vacancy (NV) centers are key to enable novel cryogenic experiments such as optical ground-state cooling of hybrid spin-mechanical systems and efficient entanglement distribution in quantum networks. Here, we report on the fabrication of a (3.4 $\pm$ 0.2) {\mu}m thin, smooth (surface roughness r$_q$ < 0.4 nm over an area of 20 {\mu}m by 30 {\mu}m diamond membrane containing individually resolvable, narrow linewidth (< 100 MHz) NV centers. We fabricate this sample via a combination of high energy electron irradiation, high temperature annealing, and an optimized etching sequence found via a systematic study of the diamond surface evolution on the microscopic level in different etch chemistries. While our particular device dimensions are optimized for cavity-enhanced entanglement generation between distant NV centers in open, tuneable micro-cavities, our results have implications for a broad range of quantum experiments that require the combination of narrow optical transitions and {\mu}m-scale device geometry.


title: Early dark energy constraints on growing neutrino quintessence cosmologies

abstract: We investigate cosmological models in which dynamical dark energy consists of a scalar field whose present-day value is controlled by a coupling to the neutrino sector. The behaviour of the scalar field depends on three functions: a kinetic function, the scalar field potential, and the scalar field-neutrino coupling function. We present an analytic treatment of the background evolution during radiation- and matter-domination for exponential and inverse power law potentials, and find a relaxation of constraints compared to previous work on the amount of early dark energy in the exponential case. We then carry out a numerical analysis of the background cosmology for both types of potential and various illustrative choices of the kinetic and coupling functions. By applying bounds from Planck on the amount of early dark energy, we are able to constrain the magnitude of the kinetic function at early times.


title: Bubbling of quasiregular maps

abstract: We give a version of Gromov's compactess theorem for pseudoholomorphic curves in the case of quasiregular mappings between closed manifolds. More precisely we show that, given $K\ge 1$ and $D\ge 1$, any sequence $(f_n \colon M \to N)$ of $K$-quasiregular mappings of degree $D$ between closed Riemannian $d$-manifolds has a subsequence which converges to a $K$-quasiregular mapping $f\colon X\to N$ of degree $D$ on a nodal $d$-manifold $X$.


title: Homotopical categories: from model categories to $(\infty,1)$-categories

abstract: This chapter, written for "Stable categories and structured ring spectra," edited by Andrew J. Blumberg, Teena Gerhardt, and Michael A. Hill, surveys the history of homotopical categories, from Gabriel and Zisman's categories of fractions to Quillen's model categories, through Dwyer and Kan's simplicial localizations and culminating in $(\infty,1)$-categories, first introduced through concrete models and later re-conceptualized in a model-independent framework. This reader is not presumed to have prior acquaintance with any of these concepts. Suggested exercises are included to fertilize intuitions and copious references point to external sources with more details. A running theme of homotopy limits and colimits is included to explain the kinds of problems homotopical categories are designed to solve as well as technical approaches to these problems.


title: Adversarial Defense by Restricting the Hidden Space of Deep Neural Networks

abstract: Deep neural networks are vulnerable to adversarial attacks, which can fool them by adding minuscule perturbations to the input images. The robustness of existing defenses suffers greatly under white-box attack settings, where an adversary has full knowledge about the network and can iterate several times to find strong perturbations. We observe that the main reason for the existence of such perturbations is the close proximity of different class samples in the learned feature space. This allows model decisions to be totally changed by adding an imperceptible perturbation in the inputs. To counter this, we propose to class-wise disentangle the intermediate feature representations of deep networks. Specifically, we force the features for each class to lie inside a convex polytope that is maximally separated from the polytopes of other classes. In this manner, the network is forced to learn distinct and distant decision regions for each class. We observe that this simple constraint on the features greatly enhances the robustness of learned models, even against the strongest white-box attacks, without degrading the classification performance on clean images. We report extensive evaluations in both black-box and white-box attack scenarios and show significant gains in comparison to state-of-the art defenses.


title: Self-organization of swimmers drives long-range fluid transport in bacterial colonies

abstract: Bacteria commonly live in structured communities that affect human health and influence ecological systems. Heterogeneous populations, such as motile and non-motile populations, often coexist in bacteria communities. Motile subpopulations in microbial communities are believed to be important to dispersal, quest for food, and material transport. However, except in circumstances where motile cells drive colony expansion (e.g. bacterial swarming), the physiological functions of motile subpopulations in bacterial communities are largely unclear. Here we discovered that motile cells in routinely cultured sessile colonies of peritrichously flagellated bacteria can self-organize into two adjacent, centimeter-scale motile rings surrounding the entire colony. The motile rings arise from spontaneous segregation of a homogeneous swimmer suspension that mimics a phase separation; the process is mediated by intercellular interactions and shear-induced depletion. As a result of this self-organization, cells drive fluid flows to circulate around the colony at a constant peak speed of approximately 30 microns per second, providing a stable and high-speed avenue for directed material transport at the macroscopic scale. These findings present a unique form of bacterial self-organization that influences population structure and material distribution in bacterial communities.


title: Key.Net: Keypoint Detection by Handcrafted and Learned CNN Filters

abstract: We introduce a novel approach for keypoint detection task that combines handcrafted and learned CNN filters within a shallow multi-scale architecture. Handcrafted filters provide anchor structures for learned filters, which localize, score and rank repeatable features. Scale-space representation is used within the network to extract keypoints at different levels. We design a loss function to detect robust features that exist across a range of scales and to maximize the repeatability score. Our Key.Net model is trained on data synthetically created from ImageNet and evaluated on HPatches benchmark. Results show that our approach outperforms state-of-the-art detectors in terms of repeatability, matching performance and complexity.


title: Momentum and liquidity in cryptocurrencies

abstract: The goal of this paper is to explore the relationship between momentum effects and liquidity in cryptocurrency markets. Portfolios based on momentum-liquidity bivariate sorts are formed and rebalanced on a varying number of cryptocurrencies through time. We find a strong momentum effect in the most liquid cryptocurrencies, which supports the theories of investor herding behavior. Moreover, we propose two profitable long-only strategies: the illiquid losers and liquid winners, which exhibit improved risk adjusted performance over the market capitalization weighted portfolio.


title: Gaussian approximation for penalized Wasserstein barycenters

abstract: In this work we consider regularized Wasserstein barycenters (average in Wasserstein distance) in Fourier basis. We prove that random Fourier parameters of the barycenter converge to some Gaussian random vector by distribution. The convergence rate has been derived in finite-sample case with explicit dependence on measures count ($n$) and the dimension of parameters ($p$).


title: A Center Manifold Reduction Technique for a System of Randomly Coupled Oscillators

abstract: In dynamical systems theory, a fixed point of the dynamics is called nonhyperbolic if the linearization of the system around the fixed point has at least one eigenvalue with zero real part. The center manifold existence theorem guarantees the local existence of an invariant subspace of the dynamics, known as a center manifold, around such nonhyperbolic fixed points. A growing number of theoretical and experimental studies suggest that some neural systems utilize nonhyperbolic fixed points and corresponding center manifolds to display complex, nonlinear dynamics and to flexibly adapt to wide-ranging sensory input parameters. In this paper, we present a technique to study the statistical properties of high-dimensional, nonhyperbolic dynamical systems with random connectivity and examine which statistical properties determine both the shape of the center manifold and the corresponding reduced dynamics on it. This technique also gives us constraints on the family of center manifold models that could arise from a large-scale random network. We demonstrate this approach on an example network of randomly coupled damped oscillators.

categories: math.DS physics.bio-ph q-bio.NC q-bio.QM


title: Quantum bath control with nuclear spin state selectivity via pulse-adjusted dynamical decoupling

abstract: Dynamical decoupling (DD) is a powerful method for controlling arbitrary open quantum systems. In quantum spin control, DD generally involves a sequence of timed spin flips ($\pi$ rotations) arranged to average out or selectively enhance coupling to the environment. Experimentally, errors in the spin flips are inevitably introduced, motivating efforts to optimise error-robust DD. Here we invert this paradigm: by introducing particular control "errors" in standard DD, namely a small constant deviation from perfect $\pi$ rotations (pulse adjustments), we show we obtain protocols that retain the advantages of DD while introducing the capabilities of quantum state readout and polarisation transfer. We exploit this nuclear quantum state selectivity on an ensemble of nitrogen-vacancy centres in diamond to efficiently polarise the $^{13}$C quantum bath. The underlying physical mechanism is generic and paves the way to systematic engineering of pulse-adjusted protocols with nuclear state selectivity for quantum control applications.


title: Quantum $SL_2$, Infinite curvature and Pitman's 2M-X theorem

abstract: The classical theorem by Pitman states that a Brownian motion minus twice its running infimum enjoys the Markov property. On the one hand, Biane understood that Pitman's theorem is intimately related to the representation theory of the quantum group $\mathcal{U}_q\left( \mathfrak{sl}_2 \right)$, in the so-called crystal regime $q \rightarrow 0$. On the other hand, Bougerol and Jeulin showed the appearance of exactly the same Pitman transform in the infinite curvature limit $r \rightarrow \infty$ of a Brownian motion on the hyperbolic space $\mathbb{H}^3 = SL_2(\mathbb{C})/SU_2$. This paper aims at understanding this phenomenon by giving a unifying point of view. In order to do so, we exhibit a presentation $\mathcal{U}_q^\hbar\left( \mathfrak{sl}_2 \right)$ of the Jimbo-Drinfeld quantum group which isolates the role of curvature $r$ and that of the Planck constant $\hbar$. The simple relationship between parameters is $q=e^{-r}$. The semi-classical limits $\hbar \rightarrow 0$ are the Poisson-Lie groups dual to $SL_2(\mathbb{C})$ with varying curvatures $r \in \mathbb{R}_+$. We also construct classical and quantum random walks, drawing a full picture which includes Biane's quantum walks and the construction of Bougerol-Jeulin. Taking the curvature parameter $r$ to infinity leads indeed to the crystal regime at the level of representation theory ($\hbar>0$) and to the Bougerol-Jeulin construction in the classical world ($\hbar=0$). All these results are neatly in accordance with the philosophy of Kirillov's orbit method.


title: Choiceless L\"owenheim-Skolem property and uniform definability of grounds

abstract: In this paper, without the axiom of choice, we show that if a certain downward L\"owenheim-Skolem property holds then all grounds are uniformly definable. We also prove that the axiom of choice is forceable if and only if the universe is a small extension of some transitive model of $\mathsf{ZFC}$.


title: Towards a precise determination of the equation of state of QCD at high-temperature

abstract: We present preliminary results towards a fully non-perturbative determination of the equation of state of QCD at very high-temperatures, $T\approx 3-80\,{\rm GeV}$. The key ingredient is the lattice formulation of QCD in a moving reference frame, which allows us for a neat determination of the entropy density from simple expectation values of the momentum-components of the energy-momentum tensor. For the computation we employ $N_{\rm f}=3$ flavours of non-perturbatively O($a$)-improved Wilson-fermions. We present an analysis of the O($a$)-improvement of the expectation values entering the determination, and show how these can be accurately computed in simulations.


title: Synchrony breakdown and noise-induced oscillation death in ensembles of serially connected spin-torque oscillators

abstract: We consider collective dynamics in the ensemble of serially connected spin-torque oscillators governed by the Landau-Lifshitz-Gilbert-Slonczewski magnetization equation. Proximity to homoclinicity hampers synchronization of spin-torque oscillators: when the synchronous ensemble experiences the homoclinic bifurcation, the Floquet multiplier, responsible for the temporal evolution of small deviations from the ensemble mean, diverges. Depending on the configuration of the contour, sufficiently strong common noise, exemplified by stochastic oscillations of the current through the circuit, may suppress precession of the magnetic field for all oscillators. We derive the explicit expression for the threshold amplitude of noise, enabling this suppression.


title: Functional Liftings of Vectorial Variational Problems with Laplacian Regularization

abstract: We propose a functional lifting-based convex relaxation of variational problems with Laplacian-based second-order regularization. The approach rests on ideas from the calibration method as well as from sublabel-accurate continuous multilabeling approaches, and makes these approaches amenable for variational problems with vectorial data and higher-order regularization, as is common in image processing applications. We motivate the approach in the function space setting and prove that, in the special case of absolute Laplacian regularization, it encompasses the discretization-first sublabel-accurate continuous multilabeling approach as a special case. We present a mathematical connection between the lifted and original functional and discuss possible interpretations of minimizers in the lifted function space. Finally, we exemplarily apply the proposed approach to 2D image registration problems.


title: Evolution of Coronal Cavity from Quiescent to Eruptive Phase in Association with Coronal Mass Ejection

abstract: We present the evolution of a coronal cavity encompassing its quiescent and eruptive phases in the lower corona. Using the multi-vantage point observations from the SDO/AIA, STEREO SECCHI/EUVI and PROBA2/SWAP EUV imagers, we capture the sequence of quasi-static equilibria of the quiescent cavity which exhibited a slow rise and expansion phase during its passage on the solar disc from 2010 May 30 to 2010 June 13. By comparing the decay-index profiles of the cavity system during the different stages of its quiescent and pre-eruptive phases we find that the decay-index value at the cavity centroid height can be used as a good indicator to predict the cavity eruption in the context of torus instability. Combining the observations of SWAP and LASCO C2/C3 we show the evolution of the EUV cavity into the white-light cavity as a three-part structure of the associated CME observed to erupt on 2010 June 13. By applying successive geometrical fits to the cavity morphology we find that the cavity exhibited non self-similar expansion in the lower corona, below 2.2 +/- 0.2 Rs, which points to the spatial scale for the radius of source surface where the coronal magnetic field lines are believed to become radial. Furthermore, the kinematic study of the erupting cavity captures both the "impulsive" and "residual" phases of acceleration along with a strong deflection of the cavity at 1.3 Rs. We also discuss the role of driving forces behind the dynamics of the morphological and kinematic evolution of the cavity.


title: Scaling Index $\alpha = \frac{1}{2}$ In Turbulent Area Law

abstract: We analyze the Minimal Area solution to the Loop Equations in turbulence \cite{M93}. As it follows from the new derivation in the recent paper \cite{M19}, the vorticity is represented as a normal vector to the minimal surface not just at the edge, like it was assumed before, but all over the surface. As it was pointed in that paper, the self-consistency relation for mean vorticity leads to $\alpha=\frac{1}{2}$, however the similar conditions for product of two and more vorticities cannot be satisfied without extra terms, which were left undetermined in that paper. In this paper we find these missing terms -- they are delta functions at coinciding points which must be taken into considerations in surface integrals. We compare this value of $\alpha$ with new measurements of the same team which confirmed the area law \cite{S19} and we find that asymptotic formula $\lambda(p) \approx 2 \alpha p + \beta \ln p$, with $\alpha =0.49 \pm 0.02, \beta= 0.92 \pm 0.01 $, fits all data at $p=3,...10$ within error bars.


title: On the plane into plane mappings of hydrodynamic type. Parabolic case

abstract: Singularities of plane into plane mappings described by parabolic two-component systems of quasi-liner partial differential equations of the first order are studied. Impediments arising in the application of the original Whitney's approach to such case are discussed. Hierarchy of singularities is analysed by double-scaling expansion method for the simplest $2$-component Jordan system. It is shown that flex is the lowest singularity while higher singularities are given by $(k+1,k+2)$ curves which are of cusp type for $k=2n+1$, $n=1,2,3,\dots$. Regularization of these singularities by deformation of plane into plane mappings into surface $S^{2+k} (\subset \mathbb{R}^{2+k} ) $ to plane is discussed. Applicability of the proposed approach to other parabolic type mappings is noted.


title: Contractions of the Maxwell algebra

abstract: We construct all the possible non-relativistic, non-trivial, Galilei and Carroll k-contractions also known as k-1 p-brane contractions of the Maxwell algebra in $D+1$ space-time dimensions. $k$ has to do with the number of space-time dimensions one is contracting.


title: Quantumness and memory of one qubit in a dissipative cavity under classical control

abstract: Hybrid quantum-classical systems constitute a promising architecture for useful control strategies of quantum systems by means of a classical device. Here we provide a comprehensive study of the dynamics of various manifestations of quantumness with memory effects, identified by non-Markovianity, for a qubit controlled by a classical field and embedded in a leaky cavity. We consider both Leggett-Garg inequality and quantum witness as experimentally-friendly indicators of quantumness, also studying the geometric phase of the evolved (noisy) quantum state. We show that, under resonant qubit-classical field interaction, a stronger coupling to the classical control leads to enhancement of quantumness despite a disappearance of non-Markovianity. Differently, increasing the qubit-field detuning (out-of-resonance) reduces the nonclassical behavior of the qubit while recovering non-Markovian features. We then find that the qubit geometric phase can be remarkably preserved irrespective of the cavity spectral width via strong coupling to the classical field. The controllable interaction with the classical field inhibits the effective time-dependent decay rate of the open qubit. These results supply practical insights towards a classical harnessing of quantum properties in a quantum information scenario.


title: An Atomistic Machine Learning Package for Surface Science and Catalysis

abstract: We present work flows and a software module for machine learning model building in surface science and heterogeneous catalysis. This includes fingerprinting atomic structures from 3D structure and/or connectivity information, it includes descriptor selection methods and benchmarks, and it includes active learning frameworks for atomic structure optimization, acceleration of screening studies and for exploration of the structure space of nano particles, which are all atomic structure problems relevant for surface science and heterogeneous catalysis. Our overall goal is to provide a repository to ease machine learning model building for catalysis, to advance the models beyond the chemical intuition of the user and to increase autonomy for exploration of chemical space.

categories: physics.chem-ph cs.LG physics.comp-ph physics.data-an


title: ZETH: On Integrating Zerocash on Ethereum

abstract: Transaction privacy is a hard problem on an account-based blockchain such as Ethereum. While Ben-Sasson et al. presented the Zerocash protocol [BCG+14] as a decentralized anonymous payment (DAP) scheme standing on top of Bitcoin, no study about the integration of such DAP on top of a ledger defined in the account model was provided. In this paper we aim to fill this gap and propose ZETH, an adaptation of Zerocash that can be deployed on top of Ethereum without making any change to the base layer. Our study shows that not only ZETH could be used to transfer Ether, the base currency of Ethereum, but it could also be used to transfer other types of smart contract-based digital assets. We propose an analysis of ZETH's privacy promises and argue that information leakages intrinsic to the use of this protocol are controlled and well-defined, which makes it a viable solution to support private transactions in the context of public and permissioned chains.


title: Spherical U-Net on Cortical Surfaces: Methods and Applications

abstract: Convolutional Neural Networks (CNNs) have been providing the state-of-the-art performance for learning-related problems involving 2D/3D images in Euclidean space. However, unlike in the Euclidean space, the shapes of many structures in medical imaging have a spherical topology in a manifold space, e.g., brain cortical or subcortical surfaces represented by triangular meshes, with large inter-subject and intrasubject variations in vertex number and local connectivity. Hence, there is no consistent neighborhood definition and thus no straightforward convolution/transposed convolution operations for cortical/subcortical surface data. In this paper, by leveraging the regular and consistent geometric structure of the resampled cortical surface mapped onto the spherical space, we propose a novel convolution filter analogous to the standard convolution on the image grid. Accordingly, we develop corresponding operations for convolution, pooling, and transposed convolution for spherical surface data and thus construct spherical CNNs. Specifically, we propose the Spherical U-Net architecture by replacing all operations in the standard U-Net with their spherical operation counterparts. We then apply the Spherical U-Net to two challenging and neuroscientifically important tasks in infant brains: cortical surface parcellation and cortical attribute map development prediction. Both applications demonstrate the competitive performance in the accuracy, computational efficiency, and effectiveness of our proposed Spherical U-Net, in comparison with the state-of-the-art methods.


title: Effect of viscosity and thermal conductivity on the radial oscillation and relaxation of relativistic stars

abstract: In this paper we present a generic formulation of the linearized dynamical equations governing small adiabatic radial oscillations of relativistic stars. The dynamical equations are derived by taking into consideration those effects of viscosity and thermal conductivity of neutron-star matter which directly determine the minimum period of observable pulsars. A variational principle is applied to determine a discrete set of eigenfunctions with complex eigenvalues. The real and imaginary parts of eigenvalues represent the squared natural frequencies and relaxation time of radial oscillations of non-rotating neutron stars, respectively. We provide a suitable framework which may be supplemented with various potential species of cold-nuclear-matter models to compute the spectra of the normalized eigenfrequencies with a certain numerical precision. In the last section, we provide a qualitative estimation of the rate at which viscosity and thermal conductivity drain the kinetic energy of radial oscillation mode in reasonably uniform neutron stars, without relying on explicit numerical computations.


title: Pair formation in quenched unitary Bose gases

abstract: We study a degenerate Bose gas quenched to unitarity by solving a many-body model including three-body losses and correlations up to second order. As the gas evolves in this strongly-interacting regime, the buildup of correlations leads to the formation of extended pairs bound purely by many-body effects, analogous to the phenomenon of Cooper pairing in the BCS regime of the Fermi gas. Through fast sweeps away from unitarity, we detail how the correlation growth and formation of bound pairs emerge in the fraction of unbound atoms remaining post sweep, finding quantitative agreement with experiment. We comment on the possible role of higher-order effects in explaining the deviation of our theoretical results from experiment for slower sweeps and longer times spent in the unitary regime.


title: 51V-NMR study on the S=1/2 square lattice antiferromagnet K2V3O8

abstract: Static and dynamic properties of the quasi-two-dimensional antiferromagnet K$_2$V$_3$O$_8$ have been investigated by $^{51}$V-NMR experiments on nonmagnetic V$^{5+}$ sites. Above the structural transition temperature $T_{\rm{S}}$ = 115 K, NMR spectra are fully compatible with the $P4bm$ space group symmetry. The formation of superstructure below $T_{\rm{S}}$ causes splitting of the NMR lines, which get broadened at lower temperatures so that individual peaks are not well resolved. Evolution of NMR spectra with magnetic field along $c$-axis below the magnetic transition temperature $T_{\rm{N}} \sim 4$ K is qualitatively consistent with a simple N\'{e}el order and a spin flop transition. However, broad feature of the spectra does not rule out possible incommensurate spin structure. The spin-lattice relaxation rate $1/T_1$ below $T_{\rm{N}}$ shows huge enhancement for a certain range of magnetic field, which is independent of temperature and attributed to cross relaxation due to anomalously large nuclear spin-spin coupling between V$^{5+}$ and magnetic V$^{4+}$ sites. The results indicate strong gapless spin fluctuations, which could arise from incommesurate orders or complex spin textures.


title: A quantum algorithm for evolving open quantum dynamics on quantum computing devices

abstract: Designing quantum algorithms for simulating quantum systems has seen enormous progress, yet few studies have been done to develop quantum algorithms for open quantum dynamics despite its importance in modeling the system-environment interaction found in most realistic physical models. In this work we propose and demonstrate a general quantum algorithm to evolve open quantum dynamics on quantum computing devices. The Kraus operators governing the time evolution can be converted into unitary matrices with minimal dilation guaranteed by the Sz.-Nagy theorem. This allows the evolution of the initial state through unitary quantum gates, while using significantly less resource than required by the conventional Stinespring dilation. We demonstrate the algorithm on an amplitude damping channel using the IBM Qiskit quantum simulator and the IBM Q 5 Tenerife quantum device. The proposed algorithm does not require particular models of dynamics or decomposition of the quantum channel, and thus can be easily generalized to other open quantum dynamical models.


title: No hair theorem for massless scalar fields outside asymptotically flat horizonless reflecting compact stars

abstract: In a recent paper, Hod started a study on no scalar hair theorem for asymptotically flat spherically symmetric neutral horizonless reflecting compact stars. In fact, Hod's approach only rules out massive scalar fields. In the present paper, for massless scalar fields outside neutral horizonless reflecting compact stars, we provide a rigorous mathematical proof on no hair theorem. We show that asymptotically flat spherically symmetric neutral horizonless reflecting compact stars cannot support exterior massless scalar field hairs.


title: The RGB-D Triathlon: Towards Agile Visual Toolboxes for Robots

abstract: Deep networks have brought significant advances in robot perception, enabling to improve the capabilities of robots in several visual tasks, ranging from object detection and recognition to pose estimation, semantic scene segmentation and many others. Still, most approaches typically address visual tasks in isolation, resulting in overspecialized models which achieve strong performances in specific applications but work poorly in other (often related) tasks. This is clearly sub-optimal for a robot which is often required to perform simultaneously multiple visual recognition tasks in order to properly act and interact with the environment. This problem is exacerbated by the limited computational and memory resources typically available onboard to a robotic platform. The problem of learning flexible models which can handle multiple tasks in a lightweight manner has recently gained attention in the computer vision community and benchmarks supporting this research have been proposed. In this work we study this problem in the robot vision context, proposing a new benchmark, the RGB-D Triathlon, and evaluating state of the art algorithms in this novel challenging scenario. We also define a new evaluation protocol, better suited to the robot vision setting. Results shed light on the strengths and weaknesses of existing approaches and on open issues, suggesting directions for future research.


title: Universal physics of bound states of a few charged particles

abstract: We study few-body bound states of charged particles subject to attractive zero-range/short-range plus repulsive Coulomb interparticle forces. The characteristic length scales of the system at zero energy are set by the Coulomb length scale $D$ and the Coulomb-modified effective range $r_{\mathrm{eff}}$. We study shallow bound states of charged particles with $D\gg r_{\mathrm{eff}}$ and show that these systems obey universal scaling laws different from neutral particles. An accurate description of these states requires both the Coulomb-modified scattering length and the effective range unless the Coulomb interaction is very weak ($D\to \infty$). Our findings are relevant for bound states whose spatial extent is significantly larger than the range of the attractive potential. These states enjoy universality -- their character is independent of the shape of the short-range potential.


title: Unveiling the nature of compact object in the LMXB MAXI J1957+032 using Swift-XRT

abstract: MAXI J1957+032 is a transient Low-mass X-ray binary (LMXB) that underwent four short outbursts in 1.5 years since its discovery in 2015. The nature of the compact object in MAXI J1957+032 is not clear, but it was proposed to be a neutron star based on the short-duration of its outbursts. Here, we report the results obtained after performing spectral analysis using data obtained with the X-ray telescope aboard the Neil Gehrels Swift satellite. When describing the spectrum with an absorbed power law, we found that the spectra softens (the power-law index increases from $\sim$ 1.8 to 2.5) as the luminosity decreases. Near the end of its outbursts the observed value of power-law index ($\Gamma$) is $\sim$ 2.5. To identify the nature of the compact object in this system, we used $\Gamma$ as a tracer of the spectral evolution with luminosity. We found that for the distance of 4 kpc, our results suggest that the source harbours a neutron star.


title: Evidence for a Vestigial Nematic State in the Cuprate Pseudogap Phase

abstract: The CuO$_2$ antiferromagnetic insulator is transformed by hole-doping into an exotic quantum fluid usually referred to as the pseudogap (PG) phase. Its defining characteristic is a strong suppression of the electronic density-of-states D(E) for energies |E|<$\Delta^*$, where $\Delta^*$ is the pseudogap energy. Unanticipated broken-symmetry phases have been detected by a wide variety of techniques in the PG regime, most significantly a finite Q density-wave (DW) state and a Q=0 nematic (NE) state. Sublattice-phase-resolved imaging of electronic structure allows the doping and energy dependence of these distinct broken symmetry states to be visualized simultaneously. Using this approach, we show that, even though their reported ordering temperatures T$_{DW}$ and T$_{NE}$ are unrelated to each other, both the DW and NE states always exhibit their maximum spectral intensity at the same energy, and using independent measurements that this is the pseudogap energy $\Delta^*$. Moreover, no new energy-gap opening coincides with the appearance of the DW state (which should theoretically open an energy gap on the Fermi-surface), while the observed pseudogap opening coincides with the appearance of the NE state (which should theoretically be incapable of opening a Fermi-surface gap). We demonstrate how this perplexing phenomenology of thermal transitions and energy-gap opening at the breaking of two highly distinct symmetries can be understood as the natural consequence of a vestigial nematic state , within the pseudogap phase of Bi$_2$Sr$_2$CaCu$_2$O$_8$.


title: Geometry and topology of the Kerr photon region in the phase space

abstract: We study the set of trapped photons of a subcritical (a<M) Kerr spacetime as a subset of the phase space. First, we present an explicit proof that the photons of constant Boyer--Lindquist coordinate radius are the only photons in the Kerr exterior region that are trapped in the sense that they stay away both from the horizon and from spacelike infinity. We then proceed to identify the set of trapped photons as a subset of the (co-)tangent bundle of the subcritical Kerr spacetime. We give a new proof showing that this set is a smooth 5-dimensional submanifold of the (co-)tangent bundle with topology $SO(3)\times\mathbb R^2$ using results about the classification of 3-manifolds and of Seifert fiber spaces. Both results are covered by the rigorous analysis of Dyatlov [5]; however, the methods we use are very different and shed new light on the results and possible applications.


title: Asymptotic independence and support detection techniques for heavy-tailed multivariate data

abstract: One of the central objectives of modern risk management is to find a set of risks where the probability of multiple simultaneous catastrophic events is negligible. That is, risks are taken only when their joint behavior seems sufficiently independent. This paper aims to help to identify asymptotically independent risks by providing additional tools for describing dependence structures of multiple risks when the individual risks can obtain very large values. The study is performed in the setting of multivariate regular variation. We show how asymptotic independence is connected to properties of the support of the angular measure and present an asymptotically consistent estimator of the support. The estimator generalizes to any dimension $N\geq 2$ and requires no prior knowledge of the support. The validity of the support estimate can be rigorously tested under mild assumptions by an asymptotically normal test statistic.


title: Semimetallic features in quantum transport through a gate-defined point contact in bilayer graphene

abstract: We demonstrate that, at the onset of conduction, an electrostatically defined quantum wire in bilayer graphene (BLG) with an interlayer asymmetry gap may act as a 1D semimetal, due to the multiple minivalley dispersion of its lowest subband. Formation of a non-monotonic subband coincides with a near-degeneracy between the bottom edges of the lowest two subbands in the wire spectrum, suggesting an $8e^2/h$ step at the conduction threshold, and the semimetallic behaviour of the lowest subband in the wire would be manifest as resonance transmission peaks on an $8e^2/h$ conductance plateau.


title: A Deterministic Method to Calculate the AIS Trauma Score from a Finite Element Organ Trauma Model (OTM)

abstract: Traumatic injuries are measured using the Abbreviated Injury Scale (AIS), which is a risk to life scale. New human computer models use stresses and strains to evaluate whether serious or fatal injuries are reached, unfortunately these tensors bear no direct relation to AIS. This paper proposes to overcome this deficiency and suggests a unique Organ Trauma Model (OTM) able to calculate the risk to life based on the severity on any organ injury, focussing on real-life pedestrian accidents. The OTM uses a power method, named Peak Virtual Power (PVP), and calculates the risk to life of brain white and grey matters as a function of impact direction and impact speed. The OTM firstly calibrates PVP against the medical critical AIS threshold observed in each part of the head as a function of speed. This base PVP critical trauma function is then scaled and banded across all AIS levels using the confirmed property that AIS and the probability of death is statistically and numerically a cubic one. The OTM model has been tested against four real-life pedestrian accidents and proven to be able to predict pedestrian head trauma severity. In some cases, the method did however under-estimate the head trauma by 1 AIS level, because of post-impact haemorrhage which cannot be captured with the employed Lagrangian Finite Element (FE) solver. It is also shown that the location of the injury predictions using PVP coincide with the post mortem reports and are different to the predictions made using maximum principal strain.


title: Balanced frames: a useful tool in signal processing with good properties

abstract: So far there has not been paid attention to frames that are balanced, i.e. those frames which sum is zero. In this paper we consider balanced frames, and in particular balanced unit norm tight frames, in finite dimensional Hilbert spaces. Here we discover various advantages of balanced unit norm tight frames in signal processing. They give an exact reconstruction in the presence of systematic errors in the transmitted coefficients, and are optimal when these coefficients are corrupted with noises that can have non-zero mean. Moreover, using balanced frames we can know that the transmitted coefficients were perturbed, and we also have an indication of the source of the error. We analyze several properties of these types of frames. We define an equivalence relation in the set of the dual frames of a balanced frame, and use it to show that we can obtain all the duals from the balanced ones. We study the problem of finding the nearest balanced frame to a given frame, characterizing completely its existence and giving its expression. We introduce and study a concept of complement for balanced frames. Finally, we present many examples and methods for constructing balanced unit norm tight frames.


title: The complexity of Orion: an ALMA view III. The explosion impact

abstract: The chemistry of complex organic molecules in interstellar dark clouds is still highly uncertain in part because of the lack of constraining observations. Orion is the closest massive star-forming region, and observations making use of ALMA allow us to separate the emission regions of various complex organic molecules (COMs) in both velocity and space. Orion also benefits from an exceptional situation, in that it is the site of a powerful explosive event that occurred 550 years ago. We show that the closely surrounding Kleinmann-Low region has clearly been influenced by this explosion; some molecular species have been pushed away from the densest parts while others have remained in close proximity. This dynamical segregation reveals the time dependence of the chemistry and, therefore allows us to better constrain the formation sequence of COMs and other species, including deuterated molecules.


title: On Gravitational Casimir Effect and Stefan-Boltzmann Law at Finite Temperature

abstract: Gravitons are described by the propagator in Teleparallel gravity in nearly flat space-time. Finite temperature is introduced by using Thermo Field Dynamics formalism. The Gravitational Casimir effect and Stefan-Boltzmann law are calculated as a function of temperature. Then an equation of state for gravitons is determined.


title: Robustness of 3D Deep Learning in an Adversarial Setting

abstract: Understanding the spatial arrangement and nature of real-world objects is of paramount importance to many complex engineering tasks, including autonomous navigation. Deep learning has revolutionized state-of-the-art performance for tasks in 3D environments; however, relatively little is known about the robustness of these approaches in an adversarial setting. The lack of comprehensive analysis makes it difficult to justify deployment of 3D deep learning models in real-world, safety-critical applications. In this work, we develop an algorithm for analysis of pointwise robustness of neural networks that operate on 3D data. We show that current approaches presented for understanding the resilience of state-of-the-art models vastly overestimate their robustness. We then use our algorithm to evaluate an array of state-of-the-art models in order to demonstrate their vulnerability to occlusion attacks. We show that, in the worst case, these networks can be reduced to 0% classification accuracy after the occlusion of at most 6.5% of the occupied input space.


title: ${\it Ab~initio}$ constraints on thermal effects of the nuclear equation of state

abstract: We exploit the many-body self-consistent Green's function method to analyze finite-temperature properties of infinite nuclear matter and to explore the behavior of the thermal index used to simulate thermal effects in equations of state for astrophysical applications. We show how the thermal index is both density and temperature dependent, unlike often considered, and we provide an error estimate based on our ${\it ab~initio}$ calculations. The inclusion of many-body forces is found to be critical for the density dependence of the thermal index. We also compare our results to a parametrization in terms of the density dependence of the nucleon effective mass. Our study questions the validity of predictions made for the gravitational-wave signal from neutron-star merger simulations with a constant thermal index.


title: Comment on "Is a Trineutron Resonance Lower in Energy than a Tetraneutron Resonance?" [arXiv:1612.01502]

abstract: The quantum Monte Carlo study [S. Gandolfi, H.-W. Hammer, P. Klos, J. E. Lynn, and A. Schwenk, Phys. Rev. Lett. {\bf 118}, 232501 (2017), arXiv:1612.01502] of few-neutron resonant states provided results incompatible with rigorous few-body calculations. In this Comment we point out serious shortcomings in the work by Gandolfi et al, leading to misinterpretation of unbound few-body systems.


abstract: Index transforms with the product of the associated Legendre functions are introduced. Mapping properties are investigated in the Lebesgue spaces. Inversion formulas are proved. The results are applied to solve a boundary value problem in a wedge for a third order partial differential equation.


title: SCFT/VOA correspondence via $\Omega$-deformation

abstract: We investigate an alternative approach to the correspondence of four-dimensional $\mathcal{N}=2$ superconformal theories and two-dimensional vertex operator algebras, in the framework of the $\Omega$-deformation of supersymmetric gauge theories. The two-dimensional $\Omega$-deformation of the holomorphic-topological theory on the product four-manifold is constructed at the level of supersymmetry variations and the action. The supersymmetric localization is performed to achieve a two-dimensional chiral CFT. The desired vertex operator algebra is recovered as the algebra of local operators of the resulting CFT. We also discuss the identification of the Schur index of the $\mathcal{N}=2$ superconformal theory and the vacuum character of the vertex operator algebra at the level of their path integral representations, using our $\Omega$-deformation point of view on the correspondence.


title: Exploring the Trade-Off between Privacy and Coordination in Millimeter Wave Spectrum Sharing

abstract: The synergetic gains of spectrum sharing and millimeter wave communication networks have recently attracted attention, owing to the interference canceling benefits of highly-directional beamforming in such systems. In principle, fine-tuned coordinated scheduling and beamforming can drastically reduce cross-operator interference. However, this goes at the expense of the exchange of global channel state information, which is not realistic in particular when considering inter-operator coordination. Indeed, such an exchange of information is expensive in terms of backhaul infrastructure, and besides, it raises sensitive privacy issues between otherwise competing operators. In this paper, we expose the existence of a trade-off between coordination and privacy. We propose an algorithm capable of balancing spectrum sharing performance with privacy preservation based on the sharing of a low-rate beam-related information. Such information is subject to a data obfuscation mechanism borrowed from the digital security literature so as to control the privacy, measured in terms of information-theoretical equivocation.


title: Unsupervised Abbreviation Disambiguation Contextual disambiguation using word embeddings

abstract: Abbreviations often have several distinct meanings, often making their use in text ambiguous. Expanding them to their intended meaning in context is important for Machine Reading tasks such as document search, recommendation and question answering. Existing approaches mostly rely on manually labeled examples of abbreviations and their correct long-forms. Such data sets are costly to create and result in trained models with limited applicability and flexibility. Importantly, most current methods must be subjected to a full empirical evaluation in order to understand their limitations, which is cumbersome in practice. In this paper, we present an entirely unsupervised abbreviation disambiguation method (called UAD) that picks up abbreviation definitions from unstructured text. Creating distinct tokens per meaning, we learn context representations as word vectors. We demonstrate how to further boost abbreviation disambiguation performance by obtaining better context representations using additional unstructured text. Our method is the first abbreviation disambiguation approach with a transparent model that allows performance analysis without requiring full-scale evaluation, making it highly relevant for real-world deployments. In our thorough empirical evaluation, UAD achieves high performance on large real-world data sets from different domains and outperforms both baseline and state-of-the-art methods. UAD scales well and supports thousands of abbreviations with multiple different meanings within a single model. In order to spur more research into abbreviation disambiguation, we publish a new data set, that we also use in our experiments.


title: Lost in Interpretation: Predicting Untranslated Terminology in Simultaneous Interpretation

abstract: Simultaneous interpretation, the translation of speech from one language to another in real-time, is an inherently difficult and strenuous task. One of the greatest challenges faced by interpreters is the accurate translation of difficult terminology like proper names, numbers, or other entities. Intelligent computer-assisted interpreting (CAI) tools that could analyze the spoken word and detect terms likely to be untranslated by an interpreter could reduce translation error and improve interpreter performance. In this paper, we propose a task of predicting which terminology simultaneous interpreters will leave untranslated, and examine methods that perform this task using supervised sequence taggers. We describe a number of task-specific features explicitly designed to indicate when an interpreter may struggle with translating a word. Experimental results on a newly-annotated version of the NAIST Simultaneous Translation Corpus (Shimizu et al., 2014) indicate the promise of our proposed method.


title: Longtime behavior for a generalized Cahn-Hilliard system with fractional operators

abstract: In this contribution, we deal with the longtime behavior of the solutions to the fractional variant of the Cahn-Hilliard system, with possibly singular potentials, that we have recently investigated in the paper `Well-posedness and regularity for a generalized fractional Cahn-Hilliard system' (see arXiv:1804.11290). More precisely, we study the omega-limit of the phase parameter and characterize it completely. Our characterization depends on the first eigenvalue of one of the operators involved: if it is positive, then the chemical potential vanishes at infinity and every element of the omega-limit is a stationary solution to the phase equation; if, instead, the first eigenvalue is 0, then every element of the omega-limit satisfies a problem containing a real function related to the chemical potential. Such a function is nonunique and time dependent, in general, as we show by an example. However, we give sufficient conditions in order that this function be uniquely determined and constant.


title: Ultrafast molecular dynamics in terahertz-STM experiments: Theoretical analysis using Anderson-Holstein model

abstract: We analyze ultrafast tunneling experiments in which electron transport through a localized orbital is induced by a single cycle THz pulse. We include both electron-electron and electron-phonon interactions on the localized orbital using the Anderson-Holstein model and consider two possible filling factors, the singly occupied Kondo regime and the doubly occupied regime relevant to recent experiments with a pentacene molecule. Our analysis is based on variational non-Gaussian states and provides the accurate description of the degrees of freedom at very different energies, from the high microscopic energy scales to the Kondo temperature $T_K$. To establish the validity of the new method we apply this formalism to study the Anderson model in the Kondo regime in the absence of coupling to phonons. We demonstrate that it correctly reproduces key properties of the model, including the screening of the impurity spin, formation of the resonance at the Fermi energy, and a linear conductance of $2e^2/h$. We discuss the suppression of the Kondo resonance by the electron-phonon interaction on the impurity site. When analyzing THz STM experiments we compute the time dependence of the key physical quantities, including current, the number of electrons on the localized orbital, and the number of excited phonons. We find long-lived oscillations of the phonon that persist long after the end of the pulse. We compare the results for the interacting system to the non-interacting resonant level model.


title: Edge states of a three dimensional kicked rotor

abstract: Edge localization is a fascinating quantum phenomenon. In this paper, the underlying mechanism generating it is presented analytically and verified numerically for a weakly kicked three-dimensional rotor. Analogy to tight binding model in solid state physics is used. The edge states result of the edge at zero angular momentum of the three-dimensional kicked rotor.


title: A More General Theory of Static Approximations for Conjunctive Queries

abstract: Conjunctive query (CQ) evaluation is NP-complete, but becomes tractable for fragments of bounded hypertreewidth. Approximating a hard CQ by a query from such a fragment can thus allow for an efficient approximate evaluation. While underapproximations (i.e., approximations that return correct answers only) are well-understood, the dual notion of overapproximations (i.e, approximations that return complete - but not necessarily sound - answers), and also a more general notion of approximation based on the symmetric difference of query results, are almost unexplored. In fact, the decidability of the basic problems of evaluation, identification, and existence of those approximations has been open. This article establishes a connection between overapproximations and existential pebble games that allows for studying such problems systematically. Building on this connection, it is shown that the evaluation and identification problem for overapproximations can be solved in polynomial time. While the general existence problem remains open, the problem is shown to be decidable in 2EXPTIME over the class of acyclic CQs and in PTIME for Boolean CQs over binary schemata. Additionally we propose a more liberal notion of overapproximations to remedy the known shortcoming that queries might not have an overapproximation, and study how queries can be overapproximated in the presence of tuple generating and equality generating dependencies. The techniques are then extended to symmetric difference approximations and used to provide several complexity results for the identification, existence, and evaluation problem for this type of approximations.


title: STYLE-ANALYZER: fixing code style inconsistencies with interpretable unsupervised algorithms

abstract: Source code reviews are manual, time-consuming, and expensive. Human involvement should be focused on analyzing the most relevant aspects of the program, such as logic and maintainability, rather than amending style, syntax, or formatting defects. Some tools with linting capabilities can format code automatically and report various stylistic violations for supported programming languages. They are based on rules written by domain experts, hence, their configuration is often tedious, and it is impractical for the given set of rules to cover all possible corner cases. Some machine learning-based solutions exist, but they remain uninterpretable black boxes. This paper introduces STYLE-ANALYZER, a new open source tool to automatically fix code formatting violations using the decision tree forest model which adapts to each codebase and is fully unsupervised. STYLE-ANALYZER is built on top of our novel assisted code review framework, Lookout. It accurately mines the formatting style of each analyzed Git repository and expresses the found format patterns with compact human-readable rules. STYLE-ANALYZER can then suggest style inconsistency fixes in the form of code review comments. We evaluate the output quality and practical relevance of STYLE-ANALYZER by demonstrating that it can reproduce the original style with high precision, measured on 19 popular JavaScript projects, and by showing that it yields promising results in fixing real style mistakes. STYLE-ANALYZER includes a web application to visualize how the rules are triggered. We release STYLE-ANALYZER as a reusable and extendable open source software package on GitHub for the benefit of the community.


title: Experimental Comparison of Visual-Aided Odometry Methods for Rail Vehicles

abstract: Today, rail vehicle localization is based on infrastructure-side Balises (beacons) together with on-board odometry to determine whether a rail segment is occupied. Such a coarse locking leads to a sub-optimal usage of the rail networks. New railway standards propose the use of moving blocks centered around the rail vehicles to increase the capacity of the network. However, this approach requires accurate and robust position and velocity estimation of all vehicles. In this work, we investigate the applicability, challenges and limitations of current visual and visual-inertial motion estimation frameworks for rail applications. An evaluation against RTK-GPS ground truth is performed on multiple datasets recorded in industrial, sub-urban, and forest environments. Our results show that stereo visual-inertial odometry has a great potential to provide a precise motion estimation because of its complementing sensor modalities and shows superior performance in challenging situations compared to other frameworks.


title: Early Diagnosis of Pneumonia with Deep Learning

abstract: Pneumonia has been one of the fatal diseases and has the potential to result in severe consequences within a short period of time, due to the flow of fluid in lungs, which leads to drowning. If not acted upon by drugs at the right time, pneumonia may result in death of individuals. Therefore, the early diagnosis is a key factor along the progress of the disease. This paper focuses on the biological progress of pneumonia and its detection by x-ray imaging, overviews the studies conducted on enhancing the level of diagnosis, and presents the methodology and results of an automation of xray images based on various parameters in order to detect the disease at very early stages. In this study we propose our deep learning architecture for the classification task, which is trained with modified images, through multiple steps of preprocessing. Our classification method uses convolutional neural networks and residual network architecture for classifying the images. Our findings yield an accuracy of 78.73%, surpassing the previously top scoring accuracy of 76.8%.


title: LUTNet: Rethinking Inference in FPGA Soft Logic

abstract: Research has shown that deep neural networks contain significant redundancy, and that high classification accuracies can be achieved even when weights and activations are quantised down to binary values. Network binarisation on FPGAs greatly increases area efficiency by replacing resource-hungry multipliers with lightweight XNOR gates. However, an FPGA's fundamental building block, the K-LUT, is capable of implementing far more than an XNOR: it can perform any K-input Boolean operation. Inspired by this observation, we propose LUTNet, an end-to-end hardware-software framework for the construction of area-efficient FPGA-based neural network accelerators using the native LUTs as inference operators. We demonstrate that the exploitation of LUT flexibility allows for far heavier pruning than possible in prior works, resulting in significant area savings while achieving comparable accuracy. Against the state-of-the-art binarised neural network implementation, we achieve twice the area efficiency for several standard network models when inferencing popular datasets. We also demonstrate that even greater energy efficiency improvements are obtainable.


title: Variational problems involving unequal dimensional optimal transport

abstract: This paper is devoted to variational problems on the set of probability measures which involve optimal transport between unequal dimensional spaces. In particular, we study the minimization of a functional consisting of the sum of a term reflecting the cost of (unequal dimensional) optimal transport between one fixed and one free marginal, and another functional of the free marginal (of various forms). Motivating applications include Cournot-Nash equilibria where the strategy space is lower dimensional than the space of agent types. For a variety of different forms of the term described above, we show that a nestedness condition, which is known to yield much improved tractability of the optimal transport problem, holds for any minimizer. Depending on the exact form of the functional, we exploit this to find local differential equations characterizing solutions, prove convergence of an iterative scheme to compute the solution, and prove regularity results.


title: Bs mixing observables and Vtd/Vts from sum rules

abstract: We consider the effects of a non-vanishing strange-quark mass in the determination of the full basis of dimension six matrix elements for $B_{s}$ mixing, in particular we get for the ratio of the $V-A$ Bag parameter in the $B_s$ and $B_d$ system: $\overline{B}^s_{Q_1} / \overline{B}^d_{Q_1} = 0.987^{+0.007}_{-0.009}$. Combining these results with the most recent lattice values for the ratio of decay constants $f_{B_s} / f_{B_d}$ we obtain the most precise determination of the ratio $\xi = f_{B_s} \sqrt{\overline{B}^s_{Q_1}}/ f_{B_d} \sqrt{\overline{B}^d_{Q_1}} = 1.2014^{+0.0065}_{-0.0072}$ in agreement with recent lattice determinations. We find $\Delta M_s=(18.5_{-1.5}^{+1.2})\text{ps}^{-1}$ and $\Delta M_d=(0.547_{-0.046}^{+0.035})\text{ps}^{-1}$ to be consistent with experiments at below one sigma. Assuming the validity of the SM, our calculation can be used to directly determine the ratio of CKM elements $|V_{td} / V_{ts} | = 0.2045^{+0.0012}_{-0.0013}$, which is compatible with the results from the CKM fitting groups, but again more precise.


title: Classical Nucleation Theory for the Crystallization Kinetics in Sheared Liquids

abstract: While statistical mechanics provides a comprehensive framework for the understanding of equilibrium phase behavior, predicting the kinetics of phase transformations remains a challenge. Classical nucleation theory (CNT) provides a thermodynamic framework to relate the nucleation rate to thermodynamic quantities such as pressure difference and interfacial tension through the nucleation work necessary to spawn critical nuclei. However, it remains unclear whether such an approach can be extended to the crystallization of driven melts that are subjected to mechanical stresses and flows. Here, we demonstrate numerically for hard spheres that the impact of simple shear on the crystallization rate can be rationalized within the CNT framework by an additional elastic work proportional to the droplet volume. We extract the local stress and strain inside solid droplets, which yield size-dependent values for the shear modulus that are about half of the bulk value. Finally, we show that for a complete description one also has to take into account the change of interfacial work between the strained droplet and the sheared liquid. From scaling reasons, we expect this extra contribution to dominate the work formation of small nuclei but become negligible compared to the elastic work for droplets composed of a few hundreds particles.


title: Controlling for Biasing Signals in Images for Prognostic Models: Survival Predictions for Lung Cancer with Deep Learning

abstract: Deep learning has shown remarkable results for image analysis and is expected to aid individual treatment decisions in health care. To achieve this, deep learning methods need to be promoted from the level of mere associations to being able to answer causal questions. We present a scenario with real-world medical images (CT-scans of lung cancers) and simulated outcome data. Through the sampling scheme, the images contain two distinct factors of variation that represent a collider and a prognostic factor. We show that when this collider can be quantified, unbiased individual prognosis predictions are attainable with deep learning. This is achieved by (1) setting a dual task for the network to predict both the outcome and the collider and (2) enforcing independence of the activation distributions of the last layer with ordinary least squares. Our method provides an example of combining deep learning and structural causal models for unbiased individual prognosis predictions.


title: Distributed Metropolis Sampler with Optimal Parallelism

abstract: The Metropolis-Hastings algorithm is a fundamental Markov chain Monte Carlo (MCMC) method for sampling and inference. With the advent of Big Data, distributed and parallel variants of MCMC methods are attracting increased attention. In this paper, we give a distributed algorithm that can correctly simulate sequential single-site Metropolis chains without any bias in a fully asynchronous message-passing model. Furthermore, if a natural Lipschitz condition is satisfied by the Metropolis filters, our algorithm can simulate $N$-step Metropolis chains within $O(N/n+\log n)$ rounds of asynchronous communications, where $n$ is the number of variables. For sequential single-site dynamics, whose mixing requires $\Omega(n\log n)$ steps, this achieves an optimal linear speedup. For several well-studied important graphical models, including proper graph coloring, hardcore model, and Ising model, our condition for linear speedup is weaker than the respective uniqueness (mixing) conditions. The novel idea in our algorithm is to resolve updates in advance: the local Metropolis filters can often be executed correctly before the full information about neighboring spins is available. This achieves optimal parallelism without introducing any bias.


title: Retracing and assessing the CEP project

abstract: The last decade witnessed a renewed interest in the development of the Italian computer industry and in the role of the Fifties pioneers in Rome, Milan, Ivrea, and Pisa. The aim of the paper is to retrace some steps of the CEP project, carried out by the University of Pisa in collaboration with Olivetti, by reassessing the documents preserved in the University archives. The project was a seminal enterprise for Italy, and among its accomplishments it delivered in 1957 the first Italian computer. The mix of public sector funding and industrial foretelling witnessed by the project is one of the leading examples in Italy of best practices, and its success paved the way for the birth of Computer Science in the country as an industry as well as a scientific discipline.


title: Analytic Form of the Planar Two-Loop Five-Parton Scattering Amplitudes in QCD

abstract: We present the analytic form of all leading-color two-loop five-parton helicity amplitudes in QCD. The results are analytically reconstructed from exact numerical evaluations over finite fields. Combining a judicious choice of variables with a new approach to the treatment of particle states in $D$ dimensions for the numerical evaluation of amplitudes, we obtain the analytic expressions with a modest computational effort. Their systematic simplification using multivariate partial-fraction decomposition leads to a particularly compact form. Our results provide all two-loop amplitudes required for the calculation of next-to-next-to-leading order QCD corrections to the production of three jets at hadron colliders in the leading-color approximation.


title: Does the hiding mechanism for Stack Overflow comments work well? No!

abstract: Stack Overflow has accumulated millions of answers. Informative comments can strengthen their associated answers (e.g., providing additional information). Currently, Stack Overflow hides comments that are ranked beyond the top 5. Stack Overflow aims to display more informative comments (i.e., the ones with higher scores) and hide less informative ones using this mechanism. As a result, 4.4 million comments are hidden under their answer threads. Therefore, it is very important to understand how well the current comment hiding mechanism works. In this study, we investigate whether the mechanism can effectively deliver informative comments while hiding uninformative comments. We find that: 1) Hidden comments are as informative as displayed comments; more than half of the comments (both hidden and displayed) are informative (e.g., providing alternative answers, or pointing out flaws in their associated answers). 2) The current comment hiding mechanism tends to rank and hide comments based on their creation time instead of their score in most cases due to the large amount of tie-scored comments (e.g., 87% of the comments have 0-score). 3) In 97.3% of answers that have hidden comments, at least one comment is hidden while there is another comment with the same score is displayed (i.e., we refer to such cases as unfairly hidden comments). Among such unfairly hidden comments, the longest unfairly hidden comment is more likely to be informative than the shortest unfairly displayed comments. Our findings suggest that Stack Overflow should consider adjusting their current comment hiding mechanism, e.g., displaying longer unfairly hidden comments to replace shorter unfairly displayed comments. We also recommend that users examine all comments, in case they would miss informative details such as software obsolescence, code error reports, or notices of security vulnerability in hidden comments.


title: Thermodynamic Approach to the Self-Diffusiophoresis of Colloidal Janus Particles

abstract: Most available theoretical predictions for the self-diffusiophoretic motion of colloidal particles are based on the hydrodynamic thin boundary layer approximation in combination with a solvent body force due to a self-generated local solute gradient. This gradient is enforced through specifying boundary conditions, typically without accounting for the thermodynamic cost to maintain the gradient. Here we present an alternative thermodynamic approach that exploits a direct link between dynamics and entropy production: the local detailed balance condition. We study two cases: First, we revisit self-propulsion in a demixing binary solvent. At variance with a slip velocity, we find that propulsion is due to forces at the poles that are perpendicular to the particle surface. Second, for catalytic swimmers driven through liberating chemical free energy we recover previous expressions. In both cases we argue that propulsion is due to asymmetric dissipation and not simply due to an asymmetric concentration of molecular solutes.


title: The Historical Perspective of Botnet tools

abstract: Bot as it is popularly called is an inherent attributes of botnet tool. Botnet is a group of malicious tools acting as an entity. Furthermore, history has it that the aim of what gave rise to botnet was the idea to simplify the method of message exchange within networking platform. However, this has led to several botnet tools ravaging the server environments in recent times. The working principle of these botnet tools is to get client systems that are vulnerable and thereafter, steal valuable credentials. This work is part of a comprehensive research work into botnet detection mechanism but, on this paper it primarily look at how botnet as threat tool began, the trend since inception and as well as few approaches that have been used to curb it.


title: SiPMs for cryogenic temperature

abstract: The DarkSide-20k collaboration is preparing to equip 20 m^2 of SiPMs working in liquid argon at 86 K for the direct search of WIMPs. The collaboration had to solve many technological aspects, such as the development of SiPM optimized for operation in liquid argon, the readout of large SiPM-based detectors, the reliable packaging of more than 200000 SiPMs using radiopure materials. The packaging solutions available for cryogenic applications and the performances of the newest cryogenic extended gain SiPMs from FBK will be discussed.


title: The Mathieu Differential Equation and Generalizations to Infinite Fractafolds

abstract: One of the well-studied equations in the theory of ODEs is the Mathieu differential equation. A common approach for obtaining solutions is to seek solutions via Fourier series by converting the equation into an infinite system of linear equations for the Fourier coefficients. We study the asymptotic behavior of these Fourier coefficients and discuss the ways in which to numerically approximate solutions. We present both theoretical and numerical results pertaining to the stability of the Mathieu differential equation and the properties of solutions. Further, based on the idea of using Fourier series, we provide a method in which the Mathieu differential equation can be generalized to be defined on the infinite Sierpinski gasket. We discuss the stability of solutions to this fractal differential equation and describe further results concerning properties and behavior of these solutions.


title: Algebraic, combinatorial and topological properties of singular virtual braid monoids

abstract: In this paper we discuss algebraic, combinatorial and topological properties of singular virtual braids. On the algebraic side we state the relations between classical and virtual singular objects, in addition we discuss a Birman-like conjecture for the virtual case. On the topological and combinatorial side, we prove that there is a bijection between singular abstract braids, horizontal Gauss diagrams and singular virtual braids, in particular using horizontal Gauss diagrams we obtain a presentation of the singular pure virtual braid monoid.