title: On the Efficiency of Decentralized File Storage for Personal Information Management Systems

abstract: This paper presents an architecture, based on Distributed Ledger Technologies (DLTs) and Decentralized File Storage (DFS) systems, to support the use of Personal Information Management Systems (PIMS). DLT and DFS are used to manage data sensed by mobile users equipped with devices with sensing capability. DLTs guarantee the immutability, traceability and verifiability of references to personal data, that are stored in DFS. In fact, the inclusion of data digests in the DLT makes it possible to obtain an unalterable reference and a tamper-proof log, while remaining compliant with the regulations on personal data, i.e. GDPR. We provide an experimental evaluation on the feasibility of the use of DFS. Three different scenarios have been studied: i) a proprietary IPFS approach with a dedicated node interfacing with the data producers, ii) a public IPFS service and iii) Sia Skynet. Results show that through proper configuration of the system infrastructure, it is viable to build a decentralized Personal Data Storage (PDS).


title: Hierarchical nucleation in deep neural networks

abstract: Deep convolutional networks (DCNs) learn meaningful representations where data that share the same abstract characteristics are positioned closer and closer. Understanding these representations and how they are generated is of unquestioned practical and theoretical interest. In this work we study the evolution of the probability density of the ImageNet dataset across the hidden layers in some state-of-the-art DCNs. We find that the initial layers generate a unimodal probability density getting rid of any structure irrelevant for classification. In subsequent layers density peaks arise in a hierarchical fashion that mirrors the semantic hierarchy of the concepts. Density peaks corresponding to single categories appear only close to the output and via a very sharp transition which resembles the nucleation process of a heterogeneous liquid. This process leaves a footprint in the probability density of the output layer where the topography of the peaks allows reconstructing the semantic relationships of the categories.


title: A Discrete Convex Min-Max Formula for Box-TDI Polyhedra

abstract: A min-max formula is proved for the minimum of an integer-valued separable discrete convex function where the minimum is taken over the set of integral elements of a box total dual integral (box-TDI) polyhedron. One variant of the theorem uses the notion of conjugate function (a fundamental concept in non-linear optimization) but we also provide another version that avoids conjugates, and its spirit is conceptually closer to the standard form of classic min-max theorems in combinatorial optimization. The presented framework provides a unified background for separable convex minimization over the set of integral elements of the intersection of two integral base-polyhedra, submodular flows, L-convex sets, and polyhedra defined by totally unimodular (TU) matrices. As an unexpected application, we show how a wide class of inverse combinatorial optimization problems can be covered by this new framework.


title: Derivation of the homogeneous kinetic wave equation: longer time scales

abstract: We consider the nonlinear Schr\"odinger equation set on a flat torus, in the regime which is conjectured to lead to the kinetic wave equation; in particular, the data are random, and spread up to high frequency in a weakly nonlinear regime. We pursue the investigations of our previous paper, and show that, in the case where the torus is the standard one, only the scaling considered there allows convergence of the Dyson series up to the kinetic time scale. We also show that, for generic quadratic dispersion relations (non rectangular tori), the Dyson series converges on significantly longer time scales; we are able to reach the kinetic time up to an arbitrarily small polynomial error for a larger set of scalings. These results show the importance of the exact structure of the dispersion relation, more specifically of equidistribution properties of some bilinear quantities akin to pair correlations derived from it.


title: Understanding the Impact of Model Incoherence on Convergence of Incremental SGD with Random Reshuffle

abstract: Although SGD with random reshuffle has been widely-used in machine learning applications, there is a limited understanding of how model characteristics affect the convergence of the algorithm. In this work, we introduce model incoherence to characterize the diversity of model characteristics and study its impact on convergence of SGD with random reshuffle under weak strong convexity. Specifically, minimizer incoherence measures the discrepancy between the global minimizers of a sample loss and those of the total loss and affects the convergence error of SGD with random reshuffle. In particular, we show that the variable sequence generated by SGD with random reshuffle converges to a certain global minimizer of the total loss under full minimizer coherence. The other curvature incoherence measures the quality of condition numbers of the sample losses and determines the convergence rate of SGD. With model incoherence, our results show that SGD has a faster convergence rate and smaller convergence error under random reshuffle than those under random sampling, and hence provide justifications to the superior practical performance of SGD with random reshuffle.


title: Duality of moduli in regular toroidal metric spaces

abstract: We generalize a result of Freedman and He, concerning the duality of moduli and capacities in solid tori, to sufficiently regular metric spaces. This is a continuation of the work of the author and K. Rajala on the corresponding duality in condensers.


title: Estimating Generalization under Distribution Shifts via Domain-Invariant Representations

abstract: When machine learning models are deployed on a test distribution different from the training distribution, they can perform poorly, but overestimate their performance. In this work, we aim to better estimate a model's performance under distribution shift, without supervision. To do so, we use a set of domain-invariant predictors as a proxy for the unknown, true target labels. Since the error of the resulting risk estimate depends on the target risk of the proxy model, we study generalization of domain-invariant representations and show that the complexity of the latent representation has a significant influence on the target risk. Empirically, our approach (1) enables self-tuning of domain adaptation models, and (2) accurately estimates the target error of given models under distribution shift. Other applications include model selection, deciding early stopping and error detection.


title: On $\mathbb{A}$-numerical radius inequalities for $2\times2$ operator matrices-II

abstract: The main goal of this article is to establish several new upper and lower bounds for the $\mathbb{A}$-numerical radius of $2\times 2$ operator matrices, where $\mathbb{A}$ be the $2\times 2$ diagonal operator matrix whose diagonal entries are positive bounded operator $A$.


title: Distance-Geometric Graph Convolutional Network (DG-GCN) for Three-Dimensional (3D) Graphs

abstract: The distance-geometric graph representation adopts a unified scheme (distance) for representing the geometry of three-dimensional(3D) graphs. It is invariant to rotation and translation of the graph and it reflects pair-wise node interactions and their generally local nature. To facilitate the incorporation of geometry in deep learning on 3D graphs, we propose a message-passing graph convolutional network based on the distance-geometric graph representation: DG-GCN (distance-geometric graph convolution network). It utilizes continuous-filter convolutional layers, with filter-generating networks, that enable learning of filter weights from distances, thereby incorporating the geometry of 3D graphs in graph convolutions. Our results for the ESOL and FreeSolv datasets show major improvement over those of standard graph convolutions. They also show significant improvement over those of geometric graph convolutions employing edge weight / edge distance power laws. Our work demonstrates the utility and value of DG-GCN for end-to-end deep learning on 3D graphs, particularly molecular graphs.


title: Imitation Learning Approach for AI Driving Olympics Trained on Real-world and Simulation Data Simultaneously

abstract: In this paper, we describe our winning approach to solving the Lane Following Challenge at the AI Driving Olympics Competition through imitation learning on a mixed set of simulation and real-world data. AI Driving Olympics is a two-stage competition: at stage one, algorithms compete in a simulated environment with the best ones advancing to a real-world final. One of the main problems that participants encounter during the competition is that algorithms trained for the best performance in simulated environments do not hold up in a real-world environment and vice versa. Classic control algorithms also do not translate well between tasks since most of them have to be tuned to specific driving conditions such as lighting, road type, camera position, etc. To overcome this problem, we employed the imitation learning algorithm and trained it on a dataset collected from sources both from simulation and real-world, forcing our model to perform equally well in all environments.


title: Two comments on adhesion

abstract: The adhesion paradox refers to the observation that for most solid objects no adhesion can be detected when they are separated from a state of molecular contact. The adhesion paradox results from surface roughness, and we present experimental and theoretical results which shows that adhesion in most cases is "killed" by the longest wavelength roughness. Adhesion experiments between a human finger and a clean glass plate were carried out, and for a dry finger, no macroscopic adhesion occurred. We suggest that the observed decrease in the contact area with increasing shear force results from non-adhesive finger-glass contact mechanics, involving large deformations of a complex layered material.


title: Understanding the second quantization of fermions in Clifford and in Grassmann space -- New way of second quantization of fermions, Part II

abstract: We present in Part II the description of the internal degrees of freedom of fermions by the superposition of odd products of the Clifford algebra elements, either $\gamma^a$'s or $\tilde{\gamma}^a$'s, which determine with their oddness the anticommuting properties of the creation and annihilation operators of the second quantized fermion fields in even $d$-dimensional space-time, as we do in Part I of this paper by the Grassmann algebra elements $\theta^a$'s and $\frac{\partial}{\partial \theta_a}$'s. We discuss: {\bf i.} The properties of the two kinds of the odd Clifford algebras, forming two independent spaces, both expressible with the Grassmann algebra of $\theta^{a}$'s and $\frac{\partial}{\partial \theta_{a}}$'s. {\bf ii.} The freezing out procedure of one of the two kinds of the odd Clifford objects, enabling that the remaining Clifford objects determine with their oddness in the tensor products of the finite number of the Clifford basis vectors and the infinite number of momentum basis, the creation and annihilation operators carrying the family quantum numbers and fulfilling the anticommutation relations of the second quantized fermions: on the vacuum state, and on the whole Hilbert space defined by the sum of infinite number of "Slater determinants" of empty and occupied single fermion states. {\bf iii.} The relation between the second quantized fermions as postulated by Dirac and the ones following from our Clifford algebra creation and annihilation operators, what offers the explanation for the Dirac postulates.


title: Understanding the second quantization of fermions in Clifford and in Grassmann space -- New way of second quantization of fermions, Part I

abstract: Both algebras, Clifford and Grassmann, offer "basis vectors" for describing the internal degrees of freedom of fermions. The oddness of the "basis vectors", transferred to the creation operators, which are tensor products of the finite number of "basis vectors" and the infinite number of momentum basis, and to their Hermitian conjugated partners annihilation operators, offers the second quantization of fermions without postulating the conditions proposed by Dirac, enabling the explanation of the Dirac's postulates. But while the Clifford fermions manifest the half integer spins -- in agreement with the observed properties of quarks and leptons and antiquarks and antileptons -- the "Grassmann fermions" manifest the integer spins. In Part I properties of the creation and annihilation operators of integer spins "Grassmann fermions" are presented and the proposed equations of motion solved. The anticommutation relations of second quantized integer spin fermions are shown when applying on the vacuum state as well as when applying on the Hilbert space of the infinite number of "Slater determinants" with all the possibilities of empty and occupied "fermion states". In Part II the conditions are discussed under which the Clifford algebras offer the appearance of the second quantized fermions, enabling as well the appearance of families. In both parts, Part I and Part II, the relation between the Dirac way and our way of the second quantization of fermions is presented.


title: Parallel SFC-based mesh partitioning and load balancing

abstract: Modern supercomputers allow the simulation of complex phenomena with increased accuracy. Eventually, this requires finer geometric discretizations with larger numbers of mesh elements. In this context, and extrapolating to the Exascale paradigm, meshing operations such as generation, adaptation or partition, become a critical bottleneck within the simulation workflow. In this paper, we focus on mesh partitioning. In particular, we present some improvements carried out on an in-house parallel mesh partitioner based on the Hilbert Space-Filling Curve. Additionally, taking advantage of its performance, we present the application of the SFC-based partitioning for dynamic load balancing. This method is based on the direct monitoring of the imbalance at runtime and the subsequent re-partitioning of the mesh. The target weights for the optimized partitions are evaluated using a least-squares approximation considering all measurements from previous iterations. In this way, the final partition corresponds to the average performance of the computing devices engaged.


title: GateNet: Gating-Enhanced Deep Network for Click-Through Rate Prediction

abstract: Advertising and feed ranking are essential to many Internet companies such as Facebook. Among many real-world advertising and feed ranking systems, click through rate (CTR) prediction plays a central role. In recent years, many neural network based CTR models have been proposed and achieved success such as Factorization-Machine Supported Neural Networks, DeepFM and xDeepFM. Many of them contain two commonly used components: embedding layer and MLP hidden layers. On the other side, gating mechanism is also widely applied in many research fields such as computer vision(CV) and natural language processing(NLP). Some research has proved that gating mechanism improves the trainability of non-convex deep neural networks. Inspired by these observations, we propose a novel model named GateNet which introduces either the feature embedding gate or the hidden gate to the embedding layer or hidden layers of DNN CTR models, respectively. The feature embedding gate provides a learnable feature gating module to select salient latent information from the feature-level. The hidden gate helps the model to implicitly capture the high-order interaction more effectively. Extensive experiments conducted on three real-world datasets demonstrate its effectiveness to boost the performance of various state-of-the-art models such as FM, DeepFM and xDeepFM on all datasets.


title: A Survey of State-of-the-Art on Blockchains: Theories, Modelings, and Tools

abstract: To draw a roadmap of current research activities of the blockchain community, we first conduct a brief overview of state-of-the-art blockchain surveys published in the recent 5 years. We found that those surveys are basically studying the blockchain-based applications, such as blockchain-assisted Internet of Things (IoT), business applications, security-enabled solutions, and many other applications in diverse fields. However, we think that a comprehensive survey towards the essentials of blockchains by exploiting the state-of-the-art theoretical modelings, analytic models, and useful experiment tools is still missing. To fill this gap, we perform a thorough survey by identifying and classifying the most recent high-quality research outputs that are closely related to the theoretical findings and essential mechanisms of blockchain systems and networks. Several promising open issues are also summarized finally for future research directions. We wish this survey can serve as a useful guideline for researchers, engineers, and educators about the cutting-edge development of blockchains in the perspectives of theories, modelings, and tools.


title: Direct observation of homogeneous cavitation in nanopores

abstract: We report on the evaporation of hexane from porous alumina and silicon membranes. These membranes contain billions of independent nanopores tailored to an ink-bottle shape, where a cavity several tens of nanometers in diameter is separated from the bulk vapor by a constriction. For alumina membranes with narrow enough constrictions, we demonstrate that cavity evaporation proceeds by cavitation. Measurements of the pressure dependence of the cavitation rate follow the predictions of the bulk, homogeneous, classical nucleation theory, definitively establishing the relevance of homogeneous cavitation as an evaporation mechanism in mesoporous materials. Our results imply that porous alumina membranes are a promising new system to study liquids in a deeply metastable state.


title: Offline Runtime Verification of Safety Requirements using CSP

abstract: Dynamic formal verification is a key tool for providing ongoing confidence that a system is meeting its requirements while in use, especially when paired with static formal verification before the system is in use. This paper presents a workflow and Runtime Verification (RV) toolchain, Varanus, and their application to an industrial case study. Using the workflow we manually derive a Communicating Sequential Processes (CSP) model from natural-language safety requirements documents, which Varanus uses as the monitor oracle. This reuse of the model means that the monitor oracle does not have to be developed separately, risking inconsistencies between it and the model for static verification. The approach is demonstrated by the offline RV of a teleoperated manipulation system, called MASCOT, which enables remote operations inside the Joint European Torus (JET) fusion reactor. We describe our model of the MASCOT safety design documents (including how the modelling process revealed an underspecification in the design) and evaluate the Varanus toolchain's utility. The workflow and tool provide validation of the safety documents, traceability of the safety properties from the documentation to the system, and a verified oracle for RV.


title: On the duality of moduli in arbitrary codimension

abstract: We study the duality of moduli of k- and (n-k)-dimensional slices of euclidean n-cubes, and establish the optimal upper bound 1.


title: Solvable two-particle systems with time-asymmetric interactions in de Sitter space

abstract: The two-particle models in de Sitter space-time with time-asymmetric retarded-advanced interactions are constructed. Particular cases of the field-type electromagnetic and scalar interactions are considered. The manifestly covariant descriptions of the models within the Lagrangian and Hamiltonian formalisms with constraints are proposed. It is shown that the models are de Sitter-invariant and integrable. An explicit solution of equations of motion is derived in quadratures by means of projection operator technique.


title: Automatic Plane Adjustment of Orthopedic Intraoperative Flat Panel Detector CT-Volumes

abstract: Flat panel computed tomography is used intraoperatively to assess the result of surgery. Due to workflow issues, the acquisition typically cannot be carried out in such a way that the axis aligned multiplanar reconstructions (MPR) of the volume match the anatomically aligned MPRs. This needs to be performed manually, adding additional effort during viewing the datasets. A PoseNet convolutional neural network (CNN) is trained such that parameters of anatomically aligned MPR planes are regressed. Different mathematical approaches to describe plane rotation are compared, as well as a cost function is optimized to incorporate orientation constraints. The CNN is evaluated on two anatomical regions. For one of these regions, one plane is not orthogonal to the other two planes. The plane's normal can be estimated with a median accuracy of 5{\deg}, the in-plane rotation with an accuracy of 6{\deg}, and the position with an accuracy of 6 mm. Compared to state-of-the-art algorithms the labeling effort for this method is much lower as no segmentation is required. The computation time during inference is less than 0.05 s.


title: Grover search with smaller oracles

abstract: Grover search is one of the most important quantum algorithms. In this paper, we consider a kind of search that the conditions of satisfaction $T$ can be rewritten as $T=T_1\bigcap T_2$. Then we present a new Grover search with smaller oracles. The time complexity of this algorithm $O(\frac{\pi}{4}\sqrt{\frac{N}{b\lambda}}+\frac{\pi}{4}\sqrt{\frac{b}{\tau}})$, which is smaller than the time complexity of original Grover search, i.e. $O(\frac{\pi}{4}\sqrt{\frac{N}{M}})$.


title: Non-intrusive PODI-ROM for patient-specific aortic blood flow in presence of a LVAD device

abstract: Left ventricular assist devices (LVADs) are used to provide haemodynamic support to patients with critical cardiac failure. Severe complications can occur because of the modifications of the blood flow in the aortic region. In this work, the effect of a continuous flow LVAD device on the aortic flow is investigated by means of a non-intrusive reduced order model (ROM) built using the proper orthogonal decomposition with interpolation (PODI) method. The full order model (FOM) is represented by the incompressible Navier-Stokes equations discretized by using a Finite Volume (FV) technique, coupled with three-element Windkessel models to enforce outlet boundary conditions in a multi-scale approach. A patient-specific framework is proposed: a personalized geometry reconstructed from Computed Tomography (CT) images is used and the individualization of the coefficients of the three-element Windkessel models is based on experimental data provided by the Right Heart Catheterization (RCH) and Echocardiography (ECHO) tests. Pre-surgery configuration is also considered at FOM level in order to further validate the model. A parametric study with respect to the LVAD flow rate is considered. The accuracy of the reduced order model is assessed against results obtained with the full order model.


title: Breaking the logarithmic barrier in Roth's theorem on arithmetic progressions

abstract: We show that if $A\subset \{1,\ldots,N\}$ contains no non-trivial three-term arithmetic progressions then $\lvert A\rvert \ll N/(\log N)^{1+c}$ for some absolute constant $c>0$. In particular, this proves the first non-trivial case of a conjecture of Erd\H{o}s on arithmetic progressions.


title: Formation of Transient High-$\beta$ Plasmas in a Magnetized, Weakly Collisional Regime

abstract: We present experimental data providing evidence for the formation of transient ($\sim 20~\mu$s) plasmas that are simultaneously weakly magnetized (i.e., Hall magnetization parameter $\omega \tau > 1$) and dominated by thermal pressure (i.e., ratio of thermal-to-magnetic pressure $\beta > 1$). Particle collisional mean free paths are an appreciable fraction of the overall system size. These plasmas are formed via the head-on merging of two plasmas launched by magnetized coaxial guns. The ratio $\lambda_{gun}=\mu_0 I_{gun}/\psi_{gun}$ of gun current $I_{gun}$ to applied magnetic flux $\psi_{gun}$ is an experimental knob for exploring the parameter space of $\beta$ and $\omega \tau$. These experiments were conducted on the Big Red Ball at the Wisconsin Plasma Physics Laboratory. The transient formation of such plasmas can potentially open up new regimes for the laboratory study of weakly collisional, magnetized, high-$\beta$ plasma physics; processes relevant to astrophysical objects and phenomena; and novel magnetized plasma targets for magneto-inertial fusion.


title: Sailing Towards the Stars Close to the Speed of Light

abstract: The authors describe the general motion of radiation-pushed sails accelerated near the speed of light with directed energy propulsion. Practical applications of the model are also given, including the interstellar flyby mission to the Alpha Centauri star system envisioned by the Breakthrough Starshot program. Any misalignment between the driving light beam and the direction of the sail's motion is naturally swept away during acceleration toward relativistic speed, yet leads to a deviation of about 80 A.U. in the case of an initial misalignment of 1 arc sec for a sail accelerated up to 0.2c toward Alpha Centauri. Then, the huge proper acceleration felt by the probes (of order 2500 g), the tremendous energy cost (of about 13 kt per probe) for poor efficiency (of about 3 \%), the trip duration (between 22 and 33 years), the temperature at thermodynamic equilibrium (about 1500 K), and the time dilation aboard (about 160-days difference) are all presented and their variation with the sail's reflectivity is discussed. We also present an application to single trips within the Solar System using double-stage light sails. A spaceship of mass 24 tons can start from Earth and stop at Mars in about seven months with a peak velocity of 30 km/s but at the price of a huge energy cost of about $5.3\times 10^4$ GWh due to extremely low efficiency of the directed energy system, around $10^{-4}$ in this low-velocity case.

categories: physics.pop-ph gr-qc physics.class-ph physics.space-ph


title: Economically Viable Randomness

abstract: We study the problem of providing blockchain applications with \emph{economically viable randomness} (EVR), namely, randomness that has significant economic consequences. Applications of EVR include blockchain-based lotteries and gambling. An EVR source guarantees (i) secrecy, assuring that the random bits are kept secret until some predefined condition indicates that they are safe to reveal (e.g., the lottery's ticket sale closes), and (ii) robustness, guaranteeing that the random bits are published once the condition holds. We formalize the EVR problem and solve it on top of an Ethereum-like blockchain abstraction, which supports smart contracts and a transferable native coin. Randomness is generated via a distributed open commit-reveal scheme by game-theoretic agents who strive to maximize their coin holdings. Note that in an economic setting, such agents might profit from breaking secrecy or robustness, and may engage in side agreements (via smart contracts) to this end. Our solution creates an incentive structure that counters such attacks. We prove that following the protocol gives rise to a stable state, called Coalition-Proof Nash Equilibrium, from which no coalition comprised of a subset of the players can agree to deviate. In this stable state, robustness and secrecy are satisfied. Finally, we implement our EVR source over Ethereum.


title: 3D Topology Transformation with Generative Adversarial Networks

abstract: Generation and transformation of images and videos using artificial intelligence have flourished over the past few years. Yet, there are only a few works aiming to produce creative 3D shapes, such as sculptures. Here we show a novel 3D-to-3D topology transformation method using Generative Adversarial Networks (GAN). We use a modified pix2pix GAN, which we call Vox2Vox, to transform the volumetric style of a 3D object while retaining the original object shape. In particular, we show how to transform 3D models into two new volumetric topologies - the 3D Network and the Ghirigoro. We describe how to use our approach to construct customized 3D representations. We believe that the generated 3D shapes are novel and inspirational. Finally, we compare the results between our approach and a baseline algorithm that directly convert the 3D shapes, without using our GAN.


title: A Federated F-score Based Ensemble Model for Automatic Rule Extraction

abstract: In this manuscript, we propose a federated F-score based ensemble tree model for automatic rule extraction, namely Fed-FEARE. Under the premise of data privacy protection, Fed-FEARE enables multiple agencies to jointly extract set of rules both vertically and horizontally. Compared with that without federated learning, measures in evaluating model performance are highly improved. At present, Fed-FEARE has already been applied to multiple business, including anti-fraud and precision marketing, in a China nation-wide financial holdings group.


title: Hyperbolic self avoiding walk

abstract: Expected ballisticity of a continuous self avoiding walk on hyperbolic spaces $\mathbb{H}^d$ is established.


title: Light Field Image Super-Resolution Using Deformable Convolution

abstract: Light field (LF) cameras can record scenes from multiple perspectives, and thus introduce beneficial angular information for image super-resolution (SR). However, it is challenging to incorporate angular information due to disparities among LF images. In this paper, we propose a deformable convolution network (i.e., LF-DFnet) to handle the disparity problem for LF image SR. Specifically, we design an angular deformable alignment module (ADAM) for feature-level alignment. Based on ADAM, we further propose a collect-and-distribute approach to perform bidirectional alignment between the center-view feature and each side-view feature. Using our approach, angular information can be well incorporated and encoded into features of each view, which benefits the SR reconstruction of all LF images. Moreover, we develop a baseline-adjustable LF dataset to evaluate SR performance under different disparity variations. Experiments on both public and our self-developed datasets have demonstrated the superiority of our method. Our LF-DFnet can generate high-resolution images with more faithful details and achieve state-of-the-art reconstruction accuracy. Besides, our LF-DFnet is more robust to disparity variations, which has not been well addressed in literature.


title: Inverse-Compton scattering in the resolved jet of the high-redshift quasar PKS J1421-0643

abstract: Despite the fact that kpc-scale inverse-Compton (iC) scattering of cosmic microwave background (CMB) photons into the X-ray band is mandated, proof of detection in resolved quasar jets is often insecure. High redshift provides favourable conditions due to the increased energy density of the CMB, and it allows constraints to be placed on the radio synchrotron-emitting electron component at high energies that are otherwise inaccessible. We present new X-ray, optical and radio results from Chandra, HST and the VLA for the core and resolved jet in the $z=3.69$ quasar PKS J1421-0643. The X-ray jet extends for about $4.5''$ (32 kpc projected length). The jet's radio spectrum is abnormally steep and consistent with electrons being accelerated to a maximum Lorentz factor of about 5000. Results argue in favour of the detection of inverse-Compton X-rays for modest magnetic field strength of a few nT, Doppler factor of about 4, and viewing angle of about $15^\circ$, and predict the jet to be largely invisible in most other spectral bands including the far- and mid-infrared and high-energy gamma-ray. The jet power is estimated to be about $3 \times 10^{46}$ erg s$^{-1}$ which is of order a tenth of the quasar bolometric power, for an electron--positron jet. The jet radiative power is only about 0.07 per cent of the jet power, with a smaller radiated power ratio if the jet contains heavy particles, so most of the jet power is available for heating the intergalactic medium.


title: Enhanced electrocatalytic oxygen evolution activity in geometrically designed SrRuO3 thin films

abstract: For generation of sustainable, clean and highly efficient energy, the electrocatalytic oxygen evolution reaction represents an attractive platform, thus inviting immense research activities in recent years. However, designing the catalyst with enhanced electrocatalytic activity remains one of the major challenges. Here, we examined the oxygen evolution reaction activities of geometrically designed (with and without step-textured morphology) thin films of an electrocatalytically active correlated metallic SrRuO3 perovskite grown on c- and r-plane sapphire substrates. On c-plane sapphire, as compared to the uniform surface, the step-textured films endowed with active Ru-sites show remarkable decrease in the overpotential (25 mV). Interestingly, the behavior is opposite for the r-plane case, highlighting the significance of the active sites, in addition with the polar surface termination of selective crystal facets. Density functional theory calculation confirms the favorable energy reaction pathway for the active site dependent enhancement in OER. Our strategy might pave the way towards designing the surfaces of various oxide thin films for high performance energy conversion based devices.


title: Meta Corrupted Pixels Mining for Medical Image Segmentation

abstract: Deep neural networks have achieved satisfactory performance in piles of medical image analysis tasks. However the training of deep neural network requires a large amount of samples with high-quality annotations. In medical image segmentation, it is very laborious and expensive to acquire precise pixel-level annotations. Aiming at training deep segmentation models on datasets with probably corrupted annotations, we propose a novel Meta Corrupted Pixels Mining (MCPM) method based on a simple meta mask network. Our method is targeted at automatically estimate a weighting map to evaluate the importance of every pixel in the learning of segmentation network. The meta mask network which regards the loss value map of the predicted segmentation results as input, is capable of identifying out corrupted layers and allocating small weights to them. An alternative algorithm is adopted to train the segmentation network and the meta mask network, simultaneously. Extensive experimental results on LIDC-IDRI and LiTS datasets show that our method outperforms state-of-the-art approaches which are devised for coping with corrupted annotations.


title: Corrections to Wigner-Eckart Relations by Spontaneous Symmetry Breaking

abstract: The matrix elements of operators transforming as irreducible representations of an unbroken symmetry group $G$ are governed by the well-known Wigner-Eckart relations. In the case of infinitely-extended systems, with $G$ spontaneously broken, we prove that the corrections to such relations are provided by symmetry breaking Ward identities, and simply reduce to a tadpole term involving Goldstone bosons. The analysis extends to the case in which an explicit symmetry breaking term is present in the Hamiltonian, with the tadpole term now involving pseudo Goldstone bosons. An explicit example is discussed, illustrating the two cases.


title: A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages

abstract: We propose a new symbolic trace semantics for register automata (extended finite state machines) which records both the sequence of input symbols that occur during a run as well as the constraints on input parameters that are imposed by this run. Our main result is a generalization of the classical Myhill-Nerode theorem to this symbolic setting. Our generalization requires the use of three relations to capture the additional structure of register automata. Location equivalence $\equiv_l$ captures that symbolic traces end in the same location, transition equivalence $\equiv_t$ captures that they share the same final transition, and a partial equivalence relation $\equiv_r$ captures that symbolic values $v$ and $v'$ are stored in the same register after symbolic traces $w$ and $w'$, respectively. A symbolic language is defined to be regular if relations $\equiv_l$, $\equiv_t$ and $\equiv_r$ exist that satisfy certain conditions, in particular, they all have finite index. We show that the symbolic language associated to a register automaton is regular, and we construct, for each regular symbolic language, a register automaton that accepts this language. Our result provides a foundation for grey-box learning algorithms in settings where the constraints on data parameters can be extracted from code using e.g. tools for symbolic/concolic execution or tainting. We believe that moving to a grey-box setting is essential to overcome the scalability problems of state-of-the-art black-box learning algorithms.


title: scb-mt-en-th-2020: A Large English-Thai Parallel Corpus

abstract: The primary objective of our work is to build a large-scale English-Thai dataset for machine translation. We construct an English-Thai machine translation dataset with over 1 million segment pairs, curated from various sources, namely news, Wikipedia articles, SMS messages, task-based dialogs, web-crawled data and government documents. Methodology for gathering data, building parallel texts and removing noisy sentence pairs are presented in a reproducible manner. We train machine translation models based on this dataset. Our models' performance are comparable to that of Google Translation API (as of May 2020) for Thai-English and outperform Google when the Open Parallel Corpus (OPUS) is included in the training data for both Thai-English and English-Thai translation. The dataset, pre-trained models, and source code to reproduce our work are available for public use.


title: Moir\'e, Euler, and self-similarity -- the lattice parameters of twisted hexagonal crystals

abstract: A real-space approach for the calculation of the Moir\'e lattice parameters for superstructures formed by a set of rotated hexagonal 2D crystals such as graphene or transition-metal dichalcogenides, is presented. Apparent Moir\'e lattices continuously form for all rotation angles, and their lattice parameter in a good approximation follows a hyperbolical angle dependence. Moir\'e crystals, i.e. Moir\'e lattices decorated with a basis, require more crucial assessment of the commensurabilities and lead to discrete solutions and a non-continuous angle dependence of the Moir\'e-crystal lattice parameter. In particular, this lattice parameter critically depends on the rotation angle, and continuous variation of the angle can lead to apparently erratic changes of the lattice parameter. The solutions form a highly complex pattern, which reflects number-theoretical relations between formation parameters of the Moir\'e crystal. The analysis also provides insight into the special case of a 30{\deg} rotation of the constituting lattices, for which a dodecagonal quasicrystalline structure forms.


title: Longer lifespan for many solutions of the Kirchhoff equation

abstract: We consider the Kirchhoff equation $$ \partial_{tt} u - \Delta u \Big( 1 + \int_{\mathbb T^d} |\nabla u|^2 \Big) = 0 $$ on the $d$-dimensional torus $\mathbb T^d$, and its Cauchy problem with initial data $u(0,x)$, $\partial_t u(0,x)$ of size $\varepsilon$ in Sobolev class. The effective equation for the dynamics at the quintic order, obtained in previous papers by quasilinear normal form, contains resonances corresponding to nontrivial terms in the energy estimates. Such resonances cannot be avoided by tuning external parameters (simply because the Kirchhoff equation does not contain parameters). In this paper we introduce nonresonance conditions on the initial data of the Cauchy problem and prove a lower bound $\varepsilon^{-6}$ for the lifespan of the corresponding solutions (the standard local theory gives $\varepsilon^{-2}$, and the normal form for the cubic terms gives $\varepsilon^{-4}$). The proof relies on the fact that, under these nonresonance conditions, the growth rate of the "superactions" of the effective equations on large time intervals is smaller (by a factor $\varepsilon^2$) than its a priori estimate based on the normal form for the cubic terms. The set of initial data satisfying such nonresonance conditions contains several nontrivial examples that are discussed in the paper.


title: Charge disproportionation and nano phase separation in $R$SrNiO$_4$

abstract: We have successfully grown centimeter-sized layered $R$SrNiO$_4$ single crystals under high oxygen pressures of 120 bar by the floating zone technique. This enabled us to perform neutron scattering experiments where we observe close to quarter-integer magnetic peaks below $\sim$77 K that are accompanied by steep upwards dispersing spin excitations. Within the high-frequency Ni-O bond stretching phonon dispersion, a softening at the propagation vector for a checkerboard modulation can be observed. Together with our spin wave simulations these observations reveal that this Ni$^{3+}$ system exhibits charge disproportionation with charges segregating into a checkerboard pattern within a nano phase separation scenario rather than showing a Jahn-Teller effect.


title: Network Embedding with Completely-imbalanced Labels

abstract: Network embedding, aiming to project a network into a low-dimensional space, is increasingly becoming a focus of network research. Semi-supervised network embedding takes advantage of labeled data, and has shown promising performance. However, existing semi-supervised methods would get unappealing results in the completely-imbalanced label setting where some classes have no labeled nodes at all. To alleviate this, we propose two novel semi-supervised network embedding methods. The first one is a shallow method named RSDNE. Specifically, to benefit from the completely-imbalanced labels, RSDNE guarantees both intra-class similarity and inter-class dissimilarity in an approximate way. The other method is RECT which is a new class of graph neural networks. Different from RSDNE, to benefit from the completely-imbalanced labels, RECT explores the class-semantic knowledge. This enables RECT to handle networks with node features and multi-label setting. Experimental results on several real-world datasets demonstrate the superiority of the proposed methods.


title: Self-dual varieties and networks in the lattice of varieties of completely regular semigroups

abstract: The kernel relation $K$ on the lattice $\mathcal{L}(\mathcal{CR})$ of varieties of completely regular semigroups has been a central component in many investigations into the structure of $\mathcal{L}(\mathcal{CR})$. However, apart from the $K$-class of the trivial variety, which is just the lattice of varieties of bands, the detailed structure of kernel classes has remained a mystery until recently. Kad'ourek [RK2] has shown that for two large classes of subvarieties of $\mathcal{CR}$ their kernel classes are singletons. Elsewhere (see [RK1], [RK2], [RK3]) we have provided a detailed analysis of the kernel classes of varieties of abelian groups. Here we study more general kernel classes. We begin with a careful development of the concept of duality in the lattice of varieties of completely regular semigroups and then show that the kernel classes of many varieties, including many self-dual varieties, of completely regular semigroups contain multiple copies of the lattice of varieties of bands as sublattices.


title: Multivariate Time Series Classification Using Spiking Neural Networks

abstract: There is an increasing demand to process streams of temporal data in energy-limited scenarios such as embedded devices, driven by the advancement and expansion of Internet of Things (IoT) and Cyber-Physical Systems (CPS). Spiking neural network has drawn attention as it enables low power consumption by encoding and processing information as sparse spike events, which can be exploited for event-driven computation. Recent works also show SNNs' capability to process spatial temporal information. Such advantages can be exploited by power-limited devices to process real-time sensor data. However, most existing SNN training algorithms focus on vision tasks and temporal credit assignment is not addressed. Furthermore, widely adopted rate encoding ignores temporal information, hence it's not suitable for representing time series. In this work, we present an encoding scheme to convert time series into sparse spatial temporal spike patterns. A training algorithm to classify spatial temporal patterns is also proposed. Proposed approach is evaluated on multiple time series datasets in the UCR repository and achieved performance comparable to deep neural networks.


title: Breaking and Fixing Destructive Code Read Defenses

abstract: Just-in-time return-oriented programming (JIT-ROP) is a powerful memory corruption attack that bypasses various forms of code randomization. Execute-only memory (XOM) can potentially prevent these attacks, but requires source code. In contrast, destructive code reads (DCR) provide a trade-off between security and legacy compatibility. The common belief is that DCR provides strong protection if combined with a high-entropy code randomization. The contribution of this paper is twofold: first, we demonstrate that DCR can be bypassed regardless of the underlying code randomization scheme. To this end, we show novel, generic attacks that infer the code layout for highly randomized program code. Second, we present the design and implementation of BGDX (Byte-Granular DCR and XOM), a novel mitigation technique that protects legacy binaries against code inference attacks. BGDX enforces memory permissions on a byte-granular level allowing us to combine DCR and XOM for legacy, off-the-shelf binaries. Our evaluation shows that BGDX is not only effective, but highly efficient, imposing only a geometric mean performance overhead of 3.95% on SPEC.


title: An Exploratory Analysis of Microcode as a Building Block for System Defenses

abstract: Microcode is an abstraction layer used by modern x86 processors that interprets user-visible CISC instructions to hardware-internal RISC instructions. The capability to update x86 microcode enables a vendor to modify CPU behavior in-field, and thus patch erroneous microarchitectural processes or even implement new features. Most prominently, the recent Spectre and Meltdown vulnerabilities were mitigated by Intel via microcode updates. Unfortunately, microcode is proprietary and closed source, and there is little publicly available information on its inner workings. In this paper, we present new reverse engineering results that extend and complement the public knowledge of proprietary microcode. Based on these novel insights, we show how modern system defenses and tools can be realized in microcode on a commercial, off-the-shelf AMD x86 CPU. We demonstrate how well-established system security defenses such as timing attack mitigations, hardware-assisted address sanitization, and instruction set randomization can be realized in microcode. We also present a proof-of-concept implementation of a microcode-assisted instrumentation framework. Finally, we show how a secure microcode update mechanism and enclave functionality can be implemented in microcode to realize a small trusted execution environment. All microcode programs and the whole infrastructure needed to reproduce and extend our results are publicly available.


title: Detile: Fine-Grained Information Leak Detection in Script Engines

abstract: Memory disclosure attacks play an important role in the exploitation of memory corruption vulnerabilities. By analyzing recent research, we observe that bypasses of defensive solutions that enforce control-flow integrity or attempt to detect return-oriented programming require memory disclosure attacks as a fundamental first step. However, research lags behind in detecting such information leaks. In this paper, we tackle this problem and present a system for fine-grained, automated detection of memory disclosure attacks against scripting engines. The basic insight is as follows: scripting languages, such as JavaScript in web browsers, are strictly sandboxed. They must not provide any insights about the memory layout in their contexts. In fact, any such information potentially represents an ongoing memory disclosure attack. Hence, to detect information leaks, our system creates a clone of the scripting engine process with a re-randomized memory layout. The clone is instrumented to be synchronized with the original process. Any inconsistency in the script contexts of both processes appears when a memory disclosure was conducted to leak information about the memory layout. Based on this detection approach, we have designed and implemented Detile (\underline{det}ection of \underline{i}nformation \underline{le}aks), a prototype for the JavaScript engine in Microsoft's Internet Explorer 10/11 on Windows 8.0/8.1. An empirical evaluation shows that our tool can successfully detect memory disclosure attacks even against this proprietary software.


title: Unveiling operator growth in SYK quench dynamics

abstract: We study non-equilibrium dynamics induced by a sudden quench of strongly correlated Hamiltonians with all-to-all interactions. By relying on a Sachdev-Ye-Kitaev (SYK) based quench protocol, we show that the time evolution of simple spin-spin correlation functions is highly sensitive to the degree of locality of the corresponding operators, once an appropriate set of fundamental fields is identified. By tracking the time-evolution of specific spin-spin correlation functions and their decay, we argue that it is possible to distinguish between operator hopping and operator growth dynamics; the latter being a hallmark of quantum chaos in many-body quantum systems. Such observation, in turn, could constitute a promising tool to probe the emergence of chaotic behavior, rather accessible in state-of-the-art quench setups.


title: Genuine Einstein-Podolsky-Rosen steering of three-qubit states by multiple sequential observers

abstract: We investigate the possibility of multiple use of a single copy of three-qubit states for genuine tripartite Einstein-Podolsky-Rosen (EPR) steering. A pure three-qubit state of either the Greenberger-Horne-Zeilinger (GHZ)-type or W-type is shared between two fixed observers in two wings and a sequence of multiple observers in the third wing who perform unsharp or non-projective measurements. The choice of measurement settings for each of the multiple observers in the third wing is independent and uncorrelated with the measurement settings and outcomes of the previous observers. We investigate all possible types of (2->1) and (1->2) genuine tripartite steering in the above set-up. For each case, we obtain an upper limit on the number of observers on the third wing who can demonstrate genuine EPR steering through violation of a tripartite steering inequality. We show that the GHZ state allows for a higher number of observers compared to that for W state. Additionally, (1->2) steering is possible for a larger range of the sharpness parameter compared to that for the (2->1) steering cases.


title: Is the standard quantum mechanics a completely nondeterministic theory?

abstract: It is argued that although quantum theory isn't an absolutely deterministic theory, it is partially deterministic. The approach followed here is in the framework of the standard (Copenhagen interpretation of) quantum mechanics without any additional assumption or alternative interpretation. The argument is based on the conceptual meaning of determinism and by means of some well-known phenomena in the quantum world (measurement of a quantum particle spin, energy values and spatial states of an electron in atoms, the so-called wavefunction collapse problem) which are usually considered in rejecting determinism.


title: Subnormalizers and solvability in finite groups

abstract: For a finite group $G$, we study the probability $sp(G)$ that, given two elements $x,y \in G$, the cyclic subgroup $\langle x \rangle$ is subnormal in the subgroup $\langle x, y \rangle$. This can be seen as an intermediate invariant between the probability that two elements generate a nilpotent subgroup and the probability that two elements generate a solvable subgroup. We prove that $sp(G) \leq 1/6$ for every nonsolvable group $G$.


title: Physics-Based Deep Neural Networks for Beam Dynamics in Charged Particle Accelerators

abstract: This paper presents a novel approach for constructing neural networks which model charged particle beam dynamics. In our approach, the Taylor maps arising in the representation of dynamics are mapped onto the weights of a polynomial neural network. The resulting network approximates the dynamical system with perfect accuracy prior to training and provides a possibility to tune the network weights on additional experimental data. We propose a symplectic regularization approach for such polynomial neural networks that always restricts the trained model to Hamiltonian systems and significantly improves the training procedure. The proposed networks can be used for beam dynamics simulations or for fine-tuning of beam optics models with experimental data. The structure of the network allows for the modeling of large accelerators with a large number of magnets. We demonstrate our approach on the examples of the existing PETRA III and the planned PETRA IV storage rings at DESY.


title: Natural family-free genomic distance

abstract: A classical problem in comparative genomics is to compute the rearrangement distance, that is the minimum number of large-scale rearrangements required to transform a given genome into another given genome. While the most traditional approaches in this area are family-based, i.e., require the classification of DNA fragments into families, more recently an alternative family-free approach was proposed, and consists of studying the rearrangement distances without prior family assignment. On the one hand the computation of genomic distances in the family-free setting helps to match occurrences of duplicated genes and find homologies, but on the other hand this computation is NP-hard. In this paper, by letting structural rearrangements be represented by the generic double cut and join (DCJ) operation and also allowing insertions and deletions of DNA segments, we propose a new and more general family-free genomic distance, providing an efficient ILP formulation to solve it. Our experiments show that the ILP produces accurate results and can handle not only bacterial genomes, but also fungi and insects, or subsets of chromosomes of mammals and plants.


title: Squarefree words with interior disposable factors

abstract: We give a partial answer to a problem of Harju by constructing an infinite ternary squarefree word $w$ with the property that for every $k \geq 3312$ there is an interior length-$k$ factor of $w$ that can be deleted while still preserving squarefreeness. We also examine Thue's famous squarefree word (generated by iterating the map $0 \to 012$, $1 \to 02$, $2 \to 1$) and characterize the positions $i$ for which deleting the symbol appearing at position $i$ preserves squarefreeness.


title: Circle packings, kissing reflection groups and critically fixed anti-rational maps

abstract: In this paper, we establish an explicit correspondence between kissing reflection groups and critically fixed anti-rational maps. The correspondence, which is expressed using simple planar graphs, has several dynamical consequences. As an application of this correspondence, we give complete answers to geometric mating problems for critically fixed anti-rational maps.


title: Theory of optical tweezing of dielectric microspheres in chiral host media and its applications

abstract: We report for the first time the theory of optical tweezers of spherical dielectric particles embedded in a chiral medium. We develop a partial-wave (Mie) expansion to calculate the optical force acting on a dielectric microsphere illuminated by a circularly-polarized, highly focused laser beam. When choosing a polarization with the same handedness of the medium, the axial trap stability is improved, thus allowing for tweezing of high-refractive-index particles. When the particle is displaced off-axis by an external force, its equilibrium position is rotated around the optical axis by the mechanical effect of an optical torque. Both the optical torque and the angle of rotation are greatly enhanced in the presence of a chiral host medium when considering radii a few times larger than the wavelength. In this range, the angle of rotation depends strongly on the microsphere radius and the chirality parameter of the host medium, opening the way for a quantitative characterization of both parameters. Measurable angles are predicted even in the case of naturally occurring chiral solutes, allowing for a novel all-optical method to locally probe the chiral response at the nanoscale.


title: Single Shot Video Object Detector

abstract: Single shot detectors that are potentially faster and simpler than two-stage detectors tend to be more applicable to object detection in videos. Nevertheless, the extension of such object detectors from image to video is not trivial especially when appearance deterioration exists in videos, \emph{e.g.}, motion blur or occlusion. A valid question is how to explore temporal coherence across frames for boosting detection. In this paper, we propose to address the problem by enhancing per-frame features through aggregation of neighboring frames. Specifically, we present Single Shot Video Object Detector (SSVD) -- a new architecture that novelly integrates feature aggregation into a one-stage detector for object detection in videos. Technically, SSVD takes Feature Pyramid Network (FPN) as backbone network to produce multi-scale features. Unlike the existing feature aggregation methods, SSVD, on one hand, estimates the motion and aggregates the nearby features along the motion path, and on the other, hallucinates features by directly sampling features from the adjacent frames in a two-stream structure. Extensive experiments are conducted on ImageNet VID dataset, and competitive results are reported when comparing to state-of-the-art approaches. More remarkably, for $448 \times 448$ input, SSVD achieves 79.2% mAP on ImageNet VID, by processing one frame in 85 ms on an Nvidia Titan X Pascal GPU. The code is available at \url{https://github.com/ddjiajun/SSVD}.


title: Partial H\"{o}lder Regularity for Bounded Solutions of a Class of Cross-Diffusion Systems with Entropy Structure

abstract: In this contribution we obtain partial $C^{0,\alpha}$-regularity for bounded solutions of a certain class of cross-diffusion systems, which are strongly coupled, degenerate quasilinear parabolic systems. Under slightly more restrictive assumptions, we obtain partial $C^{1,\alpha}$-regularity. The cross-diffusion systems that we consider have a formal gradient flow structure, in the sense that they are formally identical to the gradient flow of a convex entropy functional. Furthermore, we assume that the cross-diffusion systems are not volume-filling. The main novel tool that we introduce in this contribution is a "glued entropy density," which allows us to emulate the classical theory of partial H\"{o}lder regularity for nonlinear parabolic systems by Giaquinta and Struwe within this new setting. To demonstrate the applicability of our results, we give two examples of well-studied cross-diffusion systems that satisfy our assumptions --one of which is the two component Shigesada-Kawasaki-Teramoto (SKT) model for population dynamics.


title: A Distributed Cubic-Regularized Newton Method for Smooth Convex Optimization over Networks

abstract: We propose a distributed, cubic-regularized Newton method for large-scale convex optimization over networks. The proposed method requires only local computations and communications and is suitable for federated learning applications over arbitrary network topologies. We show a $O(k^{{-}3})$ convergence rate when the cost function is convex with Lipschitz gradient and Hessian, with $k$ being the number of iterations. We further provide network-dependent bounds for the communication required in each step of the algorithm. We provide numerical experiments that validate our theoretical results.


title: Edge modes of gravity -- II: Corner metric and Lorentz charges

abstract: In this second paper of the series we continue to spell out a new program for quantum gravity, grounded in the notion of corner symmetry algebra and its representations. Here we focus on tetrad gravity and its corner symplectic potential. We start by performing a detailed decomposition of the various geometrical quantities appearing in BF theory and tetrad gravity. This provides a new decomposition of the symplectic potential of BF theory and the simplicity constraints. We then show that the dynamical variables of the tetrad gravity corner phase space are the internal normal to the spacetime foliation, which is conjugated to the boost generator, and the corner coframe field. This allows us to derive several key results. First, we construct the corner Lorentz charges. In addition to sphere diffeomorphisms, common to all formulations of gravity, these charges add a local $\mathfrak{sl}(2,\mathbb{C})$ component to the corner symmetry algebra of tetrad gravity. Second, we also reveal that the corner metric satisfies a local $\mathfrak{sl}(2,\mathbb{R})$ algebra, whose Casimir corresponds to the corner area element. Due to the space-like nature of the corner metric, this Casimir belongs to the unitary discrete series, and its spectrum is therefore quantized. This result, which reconciles discreteness of the area spectrum with Lorentz invariance, is proven in the continuum and without resorting to a bulk connection. Third, we show that the corner phase space explains why the simplicity constraints become non-commutative on the corner. This fact requires a reconciliation between the bulk and corner symplectic structures, already in the classical continuum theory. Understanding this leads inevitably to the introduction of edge modes.


title: Colored props for large scale graphical reasoning

abstract: The prop formalism allows representation of processes withstring diagrams and has been successfully applied in various areas such as quantum computing, electric circuits and control flow graphs. However, these graphical approaches suffer from scalability problems when it comes to writing large diagrams. A proposal to tackle this issue has been investigated for ZX-calculus using colored props. This paper extends the approach to any prop, making it a general tool for graphical languages manipulation.


title: Evidence for primordial black hole dark matter from LIGO/Virgo merger rates

abstract: The LIGO/Virgo collaboration has by now observed or constrained the gravitational merger rates of different classes of compact objects. We consider the possibility that the bulk of these mergers are primordial black hole (PBH) mergers of PBHs formed during the QCD epoch making up the entirety of the dark matter. Having shown in a companion paper that mergers due to the initial binary population formed in the early Universe are likely negligible, we compute current merger rates in PBH clusters in which the typical PBH resides. We consider two scenarios: (i) the PBH mass function dictated by the QCD equation of state and (ii) the PBH mass function dictated by the existence of a peak in the inflationary perturbation spectrum. In the first scenario, which is essentially parameter free, we reproduce very well the merger rates for heavy BHs, the merger rate of mass-asymmetric BHs such as GW190814, a recently discovered merger of a 23$M_{\odot}$ black hole with a $2.6M_{\odot}$ object, and can naturally explain why LIGO/Virgo has not yet observed mergers of two light PBHs from the dominant $\sim 1\,M_{\odot}$ PBH population. In the second scenario, which has some parameter freedom, we match well the observed rate of heavy PBHs, but can currently not explain the rate for mass-asymmetric events. In either case it is tantalizing that in both scenarios PBH merger rates made with a minimum of assumptions match most LIGO/Virgo observed rates very well.


title: Topological susceptibility and information theory

abstract: In this note we address the question of the $\theta$ dependence in non abelian gauge theories from a pure quantum information point of view. The main result is that the topological susceptibility is the quantum Fisher information of the ground state and that the maximally efficient quantum estimator of $\theta$ can be identified with the physical axion. In this setup the low energy dynamics of the axion is fully determined by quantum estimation theory.


title: Flavor anomalies from asymptotically safe gravity

abstract: We use the framework of asymptotically safe quantum gravity to derive predictions for scalar leptoquark solutions to the $b \to s$ and $b\to c$ flavor anomalies. The presence of an interactive UV fixed point in the system of gauge and Yukawa couplings imposes a set of boundary conditions at the Planck scale, which allows one to determine low-energy values of the leptoquark Yukawa matrix elements. As a consequence, the allowed leptoquark mass range can be significantly narrowed down. We find that a consistent gravity-driven solution to the $b\to s$ anomalies predicts a leptoquark with the mass of 4-7 TeV, entirely within the reach of a future hadron-hadron collider with $\sqrt{s}=100$ TeV. Conversely, in the case of the $b\to c$ anomalies the asymptotically safe gravity framework predicts a leptoquark mass at the edge of the current LHC bounds. Complementary signatures appear in flavor observables, namely the (semi)leptonic decays of B and D mesons and kaons.


title: Superiority of Simplicity: A Lightweight Model for Network Device Workload Prediction

abstract: The rapid growth and distribution of IT systems increases their complexity and aggravates operation and maintenance. To sustain control over large sets of hosts and the connecting networks, monitoring solutions are employed and constantly enhanced. They collect diverse key performance indicators (KPIs) (e.g. CPU utilization, allocated memory, etc.) and provide detailed information about the system state. Storing such metrics over a period of time naturally raises the motivation of predicting future KPI progress based on past observations. Although, a variety of time series forecasting methods exist, forecasting the progress of IT system KPIs is very hard. First, KPI types like CPU utilization or allocated memory are very different and hard to be expressed by the same model. Second, system components are interconnected and constantly changing due to soft- or firmware updates and hardware modernization. Thus a frequent model retraining or fine-tuning must be expected. Therefore, we propose a lightweight solution for KPI series prediction based on historic observations. It consists of a weighted heterogeneous ensemble method composed of two models - a neural network and a mean predictor. As ensemble method a weighted summation is used, whereby a heuristic is employed to set the weights. The modelling approach is evaluated on the available FedCSIS 2020 challenge dataset and achieves an overall $R^2$ score of 0.10 on the preliminary 10% test data and 0.15 on the complete test data. We publish our code on the following github repository: https://github.com/citlab/fed_challenge


title: Information-theoretic convergence of extreme values to the Gumbel distribution

abstract: We show how convergence to the Gumbel distribution in an extreme value setting can be understood in an information-theoretic sense. We introduce a new type of score function which behaves well under the maximum operation, and which implies simple expressions for entropy and relative entropy. We show that, assuming certain properties of the von Mises representation, convergence to the Gumbel can be proved in the strong sense of relative entropy.


title: Crossterm-Free Time-Frequency Representation Exploiting Deep Convolutional Neural Network

abstract: Bilinear time-frequency representations (TFRs) provide high-resolution time-varying frequency characteristics of nonstationary signals. However, they suffer from crossterms due to the bilinear nature. Existing crossterm-reduced TFRs focus on optimized kernel design which amounts to low-pass weighting or masking in the ambiguity function domain. Optimization of fixed and adaptive kernels are difficult, particularly for complicated signals whose autoterms and crossterms overlap in the ambiguity function. In this letter, we develop a new method to offer high-resolution TFRs of nonstationary signals with crossterms effectively suppressed. The proposed method exploits a deep convolutional neural network which is trained to construct crossterm-free TFRs. The effectiveness of the proposed method is verified by simulation results which clearly show desirable autoterm preservation and crossterm mitigation capabilities. The proposed technique significantly outperforms state-of-the-art time-frequency analysis algorithms based on adaptive kernels and compressive sensing techniques.


title: A Natural Discrete One Parameter Polynomial Exponential Distribution

abstract: In this paper, a new natural discrete version of the one parameter polynomial exponential family of distributions have been proposed and studied. The distribution is named as Natural Discrete One Parameter Polynomial Exponential (NDOPPE) distribution. Structural and reliability properties have been studied. Estimation procedure of the parameter of the distribution have been mentioned. Compound NDOPPE distribution in the context of collective risk model have been obtained in closed form. The new compound distribution has been compared with the classical compound Poisson, compound Negative binomial, compound discrete Lindley, compound xgamma-I and compound xgamma-II distributions regarding suitability of modelling extreme data with the help of some automobile claim.


title: Robust Structured Statistical Estimation via Conditional Gradient Type Methods

abstract: Structured statistical estimation problems are often solved by Conditional Gradient (CG) type methods to avoid the computationally expensive projection operation. However, the existing CG type methods are not robust to data corruption. To address this, we propose to robustify CG type methods against Huber's corruption model and heavy-tailed data. First, we show that the two Pairwise CG methods are stable, i.e., do not accumulate error. Combined with robust mean gradient estimation techniques, we can therefore guarantee robustness to a wide class of problems, but now in a projection-free algorithmic framework. Next, we consider high dimensional problems. Robust mean estimation based approaches may have an unacceptably high sample complexity. When the constraint set is a $\ell_0$ norm ball, Iterative-Hard-Thresholding-based methods have been developed recently. Yet extension is non-trivial even for general sets with $O(d)$ extreme points. For setting where the feasible set has $O(\text{poly}(d))$ extreme points, we develop a novel robustness method, based on a new condition we call the Robust Atom Selection Condition (RASC). When RASC is satisfied, our method converges linearly with a corresponding statistical error, with sample complexity that scales correctly in the sparsity of the problem, rather than the ambient dimension as would be required by any approach based on robust mean estimation.


title: regvis.net -- A Visual Bibliography of Regulatory Visualization

abstract: Information visualization and visual analytics technology has attracted significant attention from the financial regulation community. In this research, we present regvis.net, a visual survey of regulatory visualization that allows researchers from both the computing and financial communities to review their literature of interest. We have collected and manually tagged more than 80 regulation visualization related publications. To the best of our knowledge, this is the first publication set tailored for regulatory visualization. We have provided a webpage (http://regvis.net) for interactive searches and filtering. Each publication is represented by a thumbnail of the representative system interface or key visualization chart, and users can conduct multi-condition screening explorations and fixed text searches.


title: Provably Safe PAC-MDP Exploration Using Analogies

abstract: A key challenge in applying reinforcement learning to safety-critical domains is understanding how to balance exploration (needed to attain good performance on the task) with safety (needed to avoid catastrophic failure). Although a growing line of work in reinforcement learning has investigated this area of "safe exploration," most existing techniques either 1) do not guarantee safety during the actual exploration process; and/or 2) limit the problem to a priori known and/or deterministic transition dynamics with strong smoothness assumptions. Addressing this gap, we propose Analogous Safe-state Exploration (ASE), an algorithm for provably safe exploration in MDPs with unknown, stochastic dynamics. Our method exploits analogies between state-action pairs to safely learn a near-optimal policy in a PAC-MDP sense. Additionally, ASE also guides exploration towards the most task-relevant states, which empirically results in significant improvements in terms of sample efficiency, when compared to existing methods.


title: Resolving Head-On Conflicts for Multi-Agent Path Finding with Conflict-Based Search

abstract: Conflict-Based Search (CBS) is a popular framework for solving the Multi-Agent Path Finding problem. Some of the conflicts incur a foreseeable conflict in one or both of the children nodes when splitting on them. This paper introduces a new technique, namely the head-on technique that finds out such conflicts, so they can be processed more efficiently by resolving the conflict with the potential conflict all together in one split. The proposed technique applies to all CBS-based solvers. Experimental results show that the head-on technique improves the state-of-the-art MAPF solver CBSH.


title: Algorithm 1019: A Task-based Multi-shift QR/QZ Algorithm with Aggressive Early Deflation

abstract: The QR algorithm is one of the three phases in the process of computing the eigenvalues and the eigenvectors of a dense nonsymmetric matrix. This paper describes a task-based QR algorithm for reducing an upper Hessenberg matrix to real Schur form. The task-based algorithm also supports generalized eigenvalue problems (QZ algorithm) but this paper concentrates on the standard case. The task-based algorithm adopts previous algorithmic improvements, such as tightly-coupled multi-shifts and Aggressive Early Deflation (AED), and also incorporates several new ideas that significantly improve the performance. This includes, but is not limited to, the elimination of several synchronization points, the dynamic merging of previously separate computational steps, the shortening and the prioritization of the critical path, and experimental GPU support. The task-based implementation is demonstrated to be multiple times faster than multi-threaded LAPACK and ScaLAPACK in both single-node and multi-node configurations on two different machines based on Intel and AMD CPUs. The implementation is built on top of the StarPU runtime system and is part of the open-source StarNEig library.


title: The Scikit HEP Project -- overview and prospects

abstract: Scikit-HEP is a community-driven and community-oriented project with the goal of providing an ecosystem for particle physics data analysis in Python. Scikit-HEP is a toolset of approximately twenty packages and a few "affiliated" packages. It expands the typical Python data analysis tools for particle physicists. Each package focuses on a particular topic, and interacts with other packages in the toolset, where appropriate. Most of the packages are easy to install in many environments; much work has been done this year to provide binary "wheels" on PyPI and conda-forge packages. The Scikit-HEP project has been gaining interest and momentum, by building a user and developer community engaging collaboration across experiments. Some of the packages are being used by other communities, including the astroparticle physics community. An overview of the overall project and toolset will be presented, as well as a vision for development and sustainability.


title: A Vision-based Social Distancing and Critical Density Detection System for COVID-19

abstract: Social distancing has been proven as an effective measure against the spread of the infectious COronaVIrus Disease 2019 (COVID-19). However, individuals are not used to tracking the required 6-feet (2-meters) distance between themselves and their surroundings. An active surveillance system capable of detecting distances between individuals and warning them can slow down the spread of the deadly disease. Furthermore, measuring social density in a region of interest (ROI) and modulating inflow can decrease social distancing violation occurrence chance. On the other hand, recording data and labeling individuals who do not follow the measures will breach individuals' rights in free-societies. Here we propose an Artificial Intelligence (AI) based real-time social distancing detection and warning system considering four important ethical factors: (1) the system should never record/cache data, (2) the warnings should not target the individuals, (3) no human supervisor should be in the detection/warning loop, and (4) the code should be open-source and accessible to the public. Against this backdrop, we propose using a monocular camera and deep learning-based real-time object detectors to measure social distancing. If a violation is detected, a non-intrusive audio-visual warning signal is emitted without targeting the individual who breached the social distancing measure. Also, if the social density is over a critical value, the system sends a control signal to modulate inflow into the ROI. We tested the proposed method across real-world datasets to measure its generality and performance. The proposed method is ready for deployment, and our code is open-sourced.


title: HKR For Handwritten Kazakh & Russian Database

abstract: In this paper, we present a new Russian and Kazakh database (with about 95% of Russian and 5% of Kazakh words/sentences respectively) for offline handwriting recognition. A few pre-processing and segmentation procedures have been developed together with the database. The database is written in Cyrillic and shares the same 33 characters. Besides these characters, the Kazakh alphabet also contains 9 additional specific characters. This dataset is a collection of forms. The sources of all the forms in the datasets were generated by \LaTeX which subsequently was filled out by persons with their handwriting. The database consists of more than 1400 filled forms. There are approximately 63000 sentences, more than 715699 symbols produced by approximately 200 different writers. It can serve researchers in the field of handwriting recognition tasks by using deep and machine learning.


title: Using Semantic Web Services for AI-Based Research in Industry 4.0

abstract: The transition to Industry 4.0 requires smart manufacturing systems that are easily configurable and provide a high level of flexibility during manufacturing in order to achieve mass customization or to support cloud manufacturing. To realize this, Cyber-Physical Systems (CPSs) combined with Artificial Intelligence (AI) methods find their way into manufacturing shop floors. For using AI methods in the context of Industry 4.0, semantic web services are indispensable to provide a reasonable abstraction of the underlying manufacturing capabilities. In this paper, we present semantic web services for AI-based research in Industry 4.0. Therefore, we developed more than 300 semantic web services for a physical simulation factory based on Web Ontology Language for Web Services (OWL-S) and Web Service Modeling Ontology (WSMO) and linked them to an already existing domain ontology for intelligent manufacturing control. Suitable for the requirements of CPS environments, our pre- and postconditions are verified in near real-time by invoking other semantic web services in contrast to complex reasoning within the knowledge base. Finally, we evaluate our implementation by executing a cyber-physical workflow composed of semantic web services using a workflow management system.


title: Expressiveness of SETAFs and Support-Free ADFs under 3-valued Semantics

abstract: Generalizing the attack structure in argumentation frameworks (AFs) has been studied in different ways. Most prominently, the binary attack relation of Dung frameworks has been extended to the notion of collective attacks. The resulting formalism is often termed SETAFs. Another approach is provided via abstract dialectical frameworks (ADFs), where acceptance conditions specify the relation between arguments; restricting these conditions naturally allows for so-called support-free ADFs. The aim of the paper is to shed light on the relation between these two different approaches. To this end, we investigate and compare the expressiveness of SETAFs and support-free ADFs under the lens of 3-valued semantics. Our results show that it is only the presence of unsatisfiable acceptance conditions in support-free ADFs that discriminate the two approaches.


title: Surfaces have (asymptotic) dimension 2

abstract: The asymptotic dimension is an invariant of metric spaces introduced by Gromov in the context of geometric group theory. When restricted to graphs and their shortest paths metric, the asymptotic dimension can be seen as a large scale version of weak diameter colorings (also known as weak diameter network decompositions), i.e. colorings in which each monochromatic component has small weak diameter. In this paper, we prove that for any $p$, the class of graphs excluding $K_{3,p}$ as a minor has asymptotic dimension at most 2. This implies that the class of all graphs embeddable on any fixed surface (and in particular the class of planar graphs) has asymptotic dimension 2, which gives a positive answer to a recent question of Fujiwara and Papasoglu. Our result extends from graphs to Riemannian surfaces. We also prove that graphs of bounded pathwidth have asymptotic dimension at most 1 and graphs of bounded layered pathwidth have asymptotic dimension at most 2. We give some applications of our techniques to graph classes defined in a topological or geometrical way, and to graph classes of polynomial growth. Finally we prove that the class of bounded degree graphs from any fixed proper minor-closed class has asymptotic dimension at most 2. This can be seen as a large scale generalization of the result that bounded degree graphs from any fixed proper minor-closed class are 3-colorable with monochromatic components of bounded size. This also implies that (infinite) Cayley graphs avoiding some minor have asymptotic dimension at most 2, which solves a problem raised by Ostrovskii and Rosenthal.


title: Search for gravitational waves from high-mass-ratio compact-binary mergers of stellar mass and sub-solar mass black holes

abstract: We present the first search for gravitational waves from the coalescence of stellar mass and sub-solar mass black holes with masses between $20 - 100~\mathrm{M}_{\odot}$ and $0.01 - 1~\mathrm{M}_{\odot}~($10 - 10^3$~\mathrm{M}_{J})$, respectively. The observation of a single sub-solar mass black hole would establish the existence of primordial black holes and a possible component of dark matter. We search the $\sim 164$ days of public LIGO data from 2015-2017 when LIGO-Hanford and LIGO-Livingston were simultaneously observing. We find no significant candidate gravitational-wave signals. Using this non-detection, we place a $90\%$ upper limit on the rate of $30-0.01~\mathrm{M}_{\odot}$ and $30-0.1~\mathrm{M}_{\odot}$ mergers at $<1.2\times10^{6}$ and $<1.6\times10^{4} ~\mathrm{Gpc}^{-3} \mathrm{yr}^{-1}$, respectively. If we consider binary formation through direct gravitational-wave braking, this kind of merger would be exceedingly rare if only the lighter black hole were primordial in origin ($<10^{-4}~\mathrm{Gpc}^{-3}\mathrm{yr}^{-1}$). If both black holes are primordial in origin, we constrain the contribution of $1 (0.1)~\mathrm{M}_{\odot}$ black holes to dark matter to $< 0.3 (3)\%$.


title: STADB: A Self-Thresholding Attention Guided ADB Network for Person Re-identification

abstract: Recently, Batch DropBlock network (BDB) has demonstrated its effectiveness on person image representation and re-identification task via feature erasing. However, BDB drops the features \textbf{randomly} which may lead to sub-optimal results. In this paper, we propose a novel Self-Thresholding attention guided Adaptive DropBlock network (STADB) for person re-ID which can \textbf{adaptively} erase the most discriminative regions. Specifically, STADB first obtains an attention map by channel-wise pooling and returns a drop mask by thresholding the attention map. Then, the input features and self-thresholding attention guided drop mask are multiplied to generate the dropped feature maps. In addition, STADB utilizes the spatial and channel attention to learn a better feature map and iteratively trains the feature dropping module for person re-ID. Experiments on several benchmark datasets demonstrate that the proposed STADB outperforms many other related methods for person re-ID. The source code of this paper is released at: \textcolor{red}{\url{https://github.com/wangxiao5791509/STADB_ReID}}.


title: On the harmonic mean representation of the implied volatility

abstract: It is well know that, in the short maturity limit, the implied volatility approaches the integral harmonic mean of the local volatility with respect to log-strike, see [Berestycki et al., Asymptotics and calibration of local volatility models, Quantitative Finance, 2, 2002]. This paper is dedicated to a complementary model-free result: an arbitrage-free implied volatility in fact is the harmonic mean of a positive function for any fixed maturity. We investigate the latter function, which is tightly linked to Fukasawa's invertible map $f_{1/2}$ [Fukasawa, The normalizing transformation of the implied volatility smile, Mathematical Finance, 22, 2012], and its relation with the local volatility surface. It turns out that the log-strike transformation $z = f_{1/2}(k)$ defines a new coordinate system in which the short-dated implied volatility approaches the arithmetic (as opposed to harmonic) mean of the local volatility. As an illustration, we consider the case of the SSVI parameterization: in this setting, we obtain an explicit formula for the volatility swap from options on realized variance.


title: Isotropic Grassmannians, Pl\"ucker and Cartan maps

abstract: This work is motivated by the relation between the KP and BKP integrable hierarchies, whose $\tau$-functions may be viewed as sections of dual determinantal and Pfaffian line bundles over infinite dimensional Grassmannians. In finite dimensions, we show how to relate the Cartan map which, for a vector space $V$ of dimension $N$, embeds the Grassmannian ${\mathrm {Gr}}^0_V(V+V^*)$ of maximal isotropic subspaces of $V+ V^*$, with respect to the natural scalar product, into the projectivization of the exterior space $\Lambda(V)$, and the Pl\"ucker map, which embeds the Grassmannian ${\mathrm {Gr}}_V(V+ V^*)$ of all $N$-planes in $V+ V^*$ into the projectivization of $\Lambda^N(V + V^*)$. The Pl\"ucker coordinates on ${\mathrm {Gr}}^0_V(V+V^*)$ are expressed bilinearly in terms of the Cartan coordinates, which are holomorphic sections of the dual Pfaffian line bundle ${\mathrm {Pf}}^* \rightarrow {\mathrm {Gr}}^0_V(V+V^*, Q)$. In terms of affine coordinates on the big cell, this is equivalent to an identity of Cauchy-Binet type, expressing the determinants of square submatrices of a skew symmetric $N \times N$ matrix as bilinear sums over the Pfaffians of their principal minors.


title: Self-Organized Critical Coexistence Phase in Repulsive Active Particles

abstract: We revisit motility-induced phase separation in two models of active particles interacting by pairwise repulsion. We show that the resulting dense phase contains gas bubbles distributed algebraically up to a typically large cutoff scale. At large enough system size and/or global density, all the gas may be contained inside the bubbles, at which point the system is microphase-separated with a finite cut-off bubble scale. We observe that the ordering is anomalous, with different dynamics for the coarsening of the dense phase and of the gas bubbles. This phenomenology is reproduced by a "reduced bubble model" that implements the basic idea of reverse Ostwald ripening put forward in Tjhung et al. [Phys. Rev. X 8, 031080 (2018)].


title: Quantum paraelectric varactors for radio-frequency measurements at mK temperatures

abstract: Radio-frequency reflectometry allows for fast and sensitive electrical readout of charge and spin qubits hosted in quantum dot devices coupled to resonant circuits. Optimizing readout, however, requires frequency tuning of the resonators and impedance matching. This is difficult to achieve using conventional semiconductor or ferroelectric-based varactors in the detection circuit as their performance degrades significantly in the mK temperature range relevant for solid-state quantum devices. Here we explore a different type of material, strontium titanate, a quantum paraelectric with exceptionally large field-tunable permittivity at low temperatures. Using strontium titanate varactors we demonstrate perfect impedance matching and resonator frequency tuning at 6 mK and characterize the varactors at this temperature in terms of their capacitance tunability, dissipative losses and magnetic field sensitivity. We show that this allows us to optimize the radio-frequency readout signal-to-noise ratio of carbon nanotube quantum dot devices to achieve a charge sensitivity of 4.8 $\mu$e/Hz$^{1/2}$ and capacitance sensitivity of 0.04 aF/Hz$^{1/2}$.


title: Approximate Search for Known Gene Clusters in New Genomes Using PQ-Trees

abstract: We define a new problem in comparative genomics, denoted PQ-Tree Search, that takes as input a PQ-tree $T$ representing the known gene orders of a gene cluster of interest, a gene-to-gene substitution scoring function $h$, integer parameters $d_T$ and $d_S$, and a new genome $S$. The objective is to identify in $S$ approximate new instances of the gene cluster that could vary from the known gene orders by genome rearrangements that are constrained by $T$, by gene substitutions that are governed by $h$, and by gene deletions and insertions that are bounded from above by $d_T$ and $d_S$, respectively. We prove that the PQ-Tree Search problem is NP-hard and propose a parameterized algorithm that solves the optimization variant of PQ-Tree Search in $O^*(2^{\gamma})$ time, where $\gamma$ is the maximum degree of a node in $T$ and $O^*$ is used to hide factors polynomial in the input size. The algorithm is implemented as a search tool, denoted PQFinder, and applied to search for instances of chromosomal gene clusters in plasmids, within a dataset of 1,487 prokaryotic genomes. We report on 29 chromosomal gene clusters that are rearranged in plasmids, where the rearrangements are guided by the corresponding PQ-tree. One of these results, coding for a heavy metal efflux pump, is further analysed to exemplify how PQFinder can be harnessed to reveal interesting new structural variants of known gene clusters. The code for the tool as well as all the data needed to reconstruct the results are publicly available on GitHub (github.com/GaliaZim/PQFinder).


title: Signatures of Ultralight Dark Matter in Neutrino Oscillation Experiments

abstract: We study how neutrino oscillations could probe the existence of ultralight bosonic dark matter. Three distinct signatures on neutrino oscillations are identified, depending on the mass of the dark matter and the specific experimental setup. These are time modulation signals, oscillation probability distortions due to fast modulations, and fast varying matter effects. We provide all the necessary information to perform a bottom-up, model-independent experimental analysis to probe such scenarios. Using the future DUNE experiment as an example, we estimate its sensitivity to ultralight scalar dark matter. Our results could be easily used by any other oscillation experiment.


title: Semiclassical $p$-branes in hyperbolic space

abstract: The one-loop effects to the Dirac action of $p$-branes in a hyperbolic background from the path integral and the solution of the Wheeler-DeWitt equation are analysed. The objective of comparing the equivalent quantization procedures is to study in detail the validity of the semiclassical approximation and divergences associated to one-loop corrections. This is in line with a bottom-up approach to holographic Wilson loops. We employ the heat kernel regularization method for both quantization procedures and we study in great detail one-loop corrections to geodesics in a 2-dimensional hyperbolic space and semi-spheres in a 3-dimensional hyperbolic space. We show that the divergences, given by the high energy expansion of the heat kernel, can be classified by their compatibility with the semiclassical approximation and geometric nature.


title: Adaptive Cascade Submodular Maximization

abstract: In this paper, we propose and study the cascade submodular maximization problem under the adaptive setting. The input of our problem is a set of items, each item is in a particular state (i.e., the marginal contribution of an item) which is drawn from a known probability distribution. However, we can not know its actual state before selecting it. As compared with existing studies on stochastic submodular maximization, one unique setting of our problem is that each item is associated with a continuation probability which represents the probability that one is allowed to continue to select the next item after selecting the current one. Intuitively, this term captures the externality of selecting one item to all its subsequent items in terms of the opportunity of being selected. Therefore, the actual set of items that can be selected by a policy depends on the specific ordering it adopts to select items, this makes our problem fundamentally different from classical submodular set optimization problems. Our objective is to identify the best sequence of selecting items so as to maximize the expected utility of the selected items. We propose a class of stochastic utility functions, \emph{adaptive cascade submodular functions}, and show that the objective functions in many practical application domains satisfy adaptive cascade submodularity. Then we develop a $0.12$ approximation algorithm to the adaptive cascade submodular maximization problem.


title: Instance Segmentation for Whole Slide Imaging: End-to-End or Detect-Then-Segment

abstract: Automatic instance segmentation of glomeruli within kidney Whole Slide Imaging (WSI) is essential for clinical research in renal pathology. In computer vision, the end-to-end instance segmentation methods (e.g., Mask-RCNN) have shown their advantages relative to detect-then-segment approaches by performing complementary detection and segmentation tasks simultaneously. As a result, the end-to-end Mask-RCNN approach has been the de facto standard method in recent glomerular segmentation studies, where downsampling and patch-based techniques are used to properly evaluate the high resolution images from WSI (e.g., >10,000x10,000 pixels on 40x). However, in high resolution WSI, a single glomerulus itself can be more than 1,000x1,000 pixels in original resolution which yields significant information loss when the corresponding features maps are downsampled via the Mask-RCNN pipeline. In this paper, we assess if the end-to-end instance segmentation framework is optimal for high-resolution WSI objects by comparing Mask-RCNN with our proposed detect-then-segment framework. Beyond such a comparison, we also comprehensively evaluate the performance of our detect-then-segment pipeline through: 1) two of the most prevalent segmentation backbones (U-Net and DeepLab_v3); 2) six different image resolutions (from 512x512 to 28x28); and 3) two different color spaces (RGB and LAB). Our detect-then-segment pipeline, with the DeepLab_v3 segmentation framework operating on previously detected glomeruli of 512x512 resolution, achieved a 0.953 dice similarity coefficient (DSC), compared with a 0.902 DSC from the end-to-end Mask-RCNN pipeline. Further, we found that neither RGB nor LAB color spaces yield better performance when compared against each other in the context of a detect-then-segment framework. Detect-then-segment pipeline achieved better segmentation performance compared with End-to-end method.