title: Feedback game on $3$-chromatic Eulerian triangulations of surfaces

abstract: In this paper, we study the feedback game on $3$-chromatic Eulerian triangulations of surfaces. We prove that the winner of the game on every $3$-chromatic Eulerian triangulation of a surface all of whose vertices have degree $0$ modulo $4$ is always fixed. Moreover, we also study the case of $3$-chromatic Eulerian triangulations of surfaces which have at least two vertices whose degrees are $2$ modulo $4$, and in particular, we determine the winner of the game on a concrete class of such graphs, called an octahedral path.


title: Multi-Grid Schemes for Multi-Scale Coordination of Energy Systems

abstract: We discuss how multi-grid computing schemes can be used to design hierarchical coordination architectures for energy systems. These hierarchical architectures can be used to manage multiple temporal and spatial scales and mitigate fundamental limitations of centralized and decentralized architectures. We present the basic elements of a multi-grid scheme, which includes a smoothing operator (a high-resolution decentralized coordination layer that targets phenomena at high frequencies) and a coarsening operator (a low-resolution centralized coordination layer that targets phenomena at low frequencies). For smoothing, we extend existing convergence results for Gauss-Seidel schemes by applying them to systems that cover unstructured domains. This allows us to target problems with multiple timescales and arbitrary networks. The proposed coordination schemes can be used to guide transactions in decentralized electricity markets. We present a storage control example and a power flow diffusion example to illustrate the developments.


title: On the Optimization of Multi-Cloud Virtualized Radio Access Networks

abstract: We study the important and challenging problem of virtualized radio access network (vRAN) design in its most general form. We develop an optimization framework that decides the number and deployment locations of central/cloud units (CUs); which distributed units (DUs) each of them will serve; the functional split that each BS will implement; and the network paths for routing the traffic to CUs and the network core. Our design criterion is to minimize the operator's expenditures while serving the expected traffic. To this end, we combine a linearization technique with a cutting-planes method in order to expedite the exact solution of the formulated problem. We evaluate our framework using real operational networks and system measurements, and follow an exhaustive parameter-sensitivity analysis. We find that the benefits when departing from single-CU deployments can be as high as 30% for our networks, but these gains diminish with the further addition of CUs. Our work sheds light on the vRAN design from a new angle, highlights the importance of deploying multiple CUs, and offers a rigorous framework for optimizing the costs of Multi-CUs vRAN.


title: On an integral identity

abstract: We give three elementary proofs of a nice equality of definite integrals, which arises from the theory of bivariate hypergeometric functions, and has connections with irrationality proofs in number theory. We furthermore provide a generalization together with an equally elementary proof and discuss some consequences.


title: Evidence for a magnetic-field induced ideal type-II Weyl state in antiferromagnetic topological insulator Mn(Bi1-xSbx)2Te4

abstract: The discovery of Weyl semimetals (WSMs) has fueled tremendous interest in condensed matter physics. WSMs require breaking of either inversion symmetry (IS) or time-reversal symmetry (TRS); they can be categorized into type-I and type-II WSMs, characterized by un-tilted and strongly tilted Weyl cones respectively. Type-I WSMs with breaking of IS or TRS and type-II WSMs with IS breaking have been realized experimentally, but TRS-breaking type-II WSM still remains elusive. In this article, we report an ideal TRS-breaking type-II WSM with only one pair of Weyl nodes observed in the antiferromagnetic topological insulator Mn(Bi1-xSbx)2Te4 under magnetic fields. This state is manifested by a large intrinsic anomalous Hall effect, a non-trivial $\mathrm{{\pi}}$ Berry phase of the cyclotron orbit and a large positive magnetoresistance in the ferromagnetic phase at an optimal sample composition. Our results establish a promising platform for exploring the physics underlying the long-sought, ideal TRS breaking type-II WSM.


abstract: In this paper, we confirm a conjecture of Orlik-Randell from 1977 on the Seifert form of chain type invertible singularities. We use Lefschetz bifibration techniques as developed by Seidel (inspired by Arnold and Donaldson) and take advantage of the symmetries at hand. We believe that our method will be useful in understanding the homological/categorical version of Berglundt-Hubsch mirror conjecture for invertible singularities.


title: Bifurcation of periodic orbits by perturbing $n$-dimensional piecewise smooth differential systems with two switching planes

abstract: In this paper, the general perturbation problem of piecewise smooth integrable differential systems with two switching planes is considered. Firstly, when the unperturbed system has a family of periodic orbits, the first order Melnikov vector function is derived which can be used to study the number of periodic orbits bifurcated from the period annuli. Then, by using the obtained Melnikov vector function, we get an upper bound of the number of periodic orbits of a concrete $n$-dimensional piecewise smooth differential system.


title: Globally Optimal Contrast Maximisation for Event-based Motion Estimation

abstract: Contrast maximisation estimates the motion captured in an event stream by maximising the sharpness of the motion compensated event image. To carry out contrast maximisation, many previous works employ iterative optimisation algorithms, such as conjugate gradient, which require good initialisation to avoid converging to bad local minima. To alleviate this weakness, we propose a new globally optimal event-based motion estimation algorithm. Based on branch-and-bound (BnB), our method solves rotational (3DoF) motion estimation on event streams, which supports practical applications such as video stabilisation and attitude estimation. Underpinning our method are novel bounding functions for contrast maximisation, whose theoretical validity is rigorously established. We show concrete examples from public datasets where globally optimal solutions are vital to the success of contrast maximisation. Despite its exact nature, our algorithm is currently able to process a 50,000 event input in 300 seconds (a locally optimal solver takes 30 seconds on the same input), and has the potential to be further speeded-up using GPUs.


title: Protocol Proxy: An FTE-based Covert Channel

abstract: In a hostile network environment, users must communicate without being detected. This involves blending in with the existing traffic. In some cases, a higher degree of secrecy is required. We present a proof-of-concept format transforming encryption (FTE)-based covert channel for tunneling TCP traffic through protected static protocols. Protected static protocols are UDP-based protocols with variable fields that cannot be blocked without collateral damage, such as power grid failures. We (1) convert TCP traffic to UDP traffic, (2) introduce observation-based FTE, and (3) model interpacket timing with a deterministic Hidden Markov Model (HMM). The resulting Protocol Proxy has a very low probability of detection and is an alternative to current covert channels. We tunnel a TCP session through a UDP protocol and guarantee delivery. Observation-based FTE ensures traffic cannot be detected by traditional rule-based analysis or DPI. A deterministic HMM ensures the Protocol Proxy accurately models interpacket timing to avoid detection by side-channel analysis. Finally, the choice of a protected static protocol foils stateful protocol analysis and causes collateral damage with false positives.


title: A metric Suite for Systematic Quality Assessment of Linked Open Data

abstract: Abstract- The vision of the Linked Open Data (LOD) initiative is to provide a distributed model for publishing and meaningfully interlinking open data. The realization of this goal depends strongly on the quality of the data that is published as a part of the LOD. This paper focuses on the systematic quality assessment of datasets prior to publication on the LOD cloud. To this end, we identify important quality deficiencies that need to be avoided and/or resolved prior to the publication of a dataset. We then propose a set of metrics to measure these quality deficiencies in a dataset. This way, we enable the assessment and identification of undesirable quality characteristics of a dataset through our proposed metrics. This will help publishers to filter out low-quality data based on the quality assessment results, which in turn enables data consumers to make better and more informed decisions when using the open datasets.


title: A Theory of Usable Information Under Computational Constraints

abstract: We propose a new framework for reasoning about information in complex systems. Our foundation is based on a variational extension of Shannon's information theory that takes into account the modeling power and computational constraints of the observer. The resulting \emph{predictive $\mathcal{V}$-information} encompasses mutual information and other notions of informativeness such as the coefficient of determination. Unlike Shannon's mutual information and in violation of the data processing inequality, $\mathcal{V}$-information can be created through computation. This is consistent with deep neural networks extracting hierarchies of progressively more informative features in representation learning. Additionally, we show that by incorporating computational constraints, $\mathcal{V}$-information can be reliably estimated from data even in high dimensions with PAC-style guarantees. Empirically, we demonstrate predictive $\mathcal{V}$-information is more effective than mutual information for structure learning and fair representation learning.


title: Searching the solution landscape by generalized high-index saddle dynamics

abstract: We introduce a generalized numerical algorithm to construct the solution landscape, which is a pathway map consisting of all stationary points and their connections. Based on the high-index optimization-based shrinking dimer (HiOSD) method for gradient systems, a generalized high-index saddle dynamics (GHiSD) is proposed to compute any-index saddles of dynamical systems. Linear stability of the index-$k$ saddle point can be proved for the GHiSD system. A combination of the downward search algorithm and the upward search algorithm is applied to systematically construct the solution landscape, which not only provides a powerful and efficient way to compute multiple solutions without tuning initial guesses, but also reveals the relationships between different solutions. Numerical examples, including a three-dimensional example and the phase field model, demonstrate the novel concept of the solution landscape by showing the connected pathway maps.


title: Singularities of the dual curve of a certain plane curve in positive characteristic

abstract: It is well known that the Gauss map for a complex plane curve is birational, whereas the Gauss map in positive characteristic is not always birational. Let $q$ be a power of a prime integer. We study a certain plane curve of degree $q^2+q+1$ for which the Gauss map is inseparable with inseparable degree $q$. As a special case, we show a relation between the dual curve of the Fermat curve of degree $q^2+q+1$ and the Ballico-Hefez curve.


title: Globular Clusters of the Galaxy: Chemical Composition vs Kinematics

abstract: A comprehensive statistical analysis of the relationship between the chemical and spatially kinematic parameters of the globular clusters of the Galaxy has been performed. The data of the author's compilation catalog contain astrophysical parameters for 157 clusters and the relative abundances of {\alpha}-elements for 69 clusters. For 121 clusters, the data are supplemented by spatially kinematic parameters taken from the literature. The phenomenon of reddening of horizontal branches of low-metal accreted globular clusters is discussed. We consider the contradiction between the criteria for clusters to belong to the subsystems of the thick disk and the halo in terms of chemical and kinematic properties. It consists in the fact that, regardless of belonging to the galactic subsystems by kinematics, almost all metallic ([Fe/H] >-1.0) clusters are located close to the center and plane of the Galaxy, while among the less metallic of both subsystems there are many distant ones. Differences in the abundances of {\alpha}-elements in the stellar objects of the Galaxy and the surrounding low-mass dwarf satellite galaxies confirm the well-known conclusion that all globular clusters and field stars of the accreted halo are remnants of galaxies of higher mass than the current environment of the Galaxy. A possible exception is a distant low-metal cluster with low relative abundance of {\alpha}-elements Rup 106.


title: General elephants for threefold extremal contractions with one-dimensional fibers: exceptional case

abstract: Let $(X, C)$ be a germ of a threefold $X$ with terminal singularities along a connected reduced complete curve $C$ with a contraction $f : (X, C) \to (Z, o)$ such that $C = f^{-1} (o)_{\mathrm{red}}$ and $-K_X$ is $f$-ample. Assume that each irreducible component of $C$ contains at most one point of index $>2$. We prove that a general member $D\in |{-}K_X|$ is a normal surface with Du Val singularities.


title: The asymptotic value of energy for matrices with degree-distance-based entries of random graphs

abstract: For a graph $G=(V, E)$ and $i, j\in V$, denote the distance between $i$ and $j$ in $G$ by $D(i, j)$ and the degrees of $i$, $j$ by $d_i$, $d_j$, respectively. Let $f(D(i, j), d_{i}, d_{j})$ be a function symmetric in $i$ and $j$. Define a matrix $W_f(G)$, called the weighted distance matrix, of $G$, with the $ij$-entry $W_f(G)(i, j)=f(D(i, j), d_{i}, d_{j})$ if $i\neq j$ and $W_f(G)(i, j)=0$ if $i=j$. In this paper, we prove that if the symmetric function $f$ satisfies that $f(D(i, j), (1+o(1))np, (1+o(1))np)=(1+o(1))f(D(i, j), np, np)$, then for almost all graphs $G_p$ in the $Erd\ddot{o}s$-$R\acute{e}nyi$ random graph model $\mathcal{G}_{n, p}$, the energy of $W_f(G_p)$ is $\{(\frac{8}{3\pi}\sqrt{p(1-p)}+o(1))\cdot|f(1, np, np)-f(2, np, np)|+o(|f(2, np, np)|)\}\cdot n^{3/2}$. As a consequence, we give the asymptotic values of energies of a variety of weighted distance matrices with function $f$ from distance-based only and mixed with degree-distance-based topological indices of chemical use. This generalizes our former result with only degree-based weights.


title: Multimodal Transformer with Pointer Network for the DSTC8 AVSD Challenge

abstract: Audio-Visual Scene-Aware Dialog (AVSD) is an extension from Video Question Answering (QA) whereby the dialogue agent is required to generate natural language responses to address user queries and carry on conversations. This is a challenging task as it consists of video features of multiple modalities, including text, visual, and audio features. The agent also needs to learn semantic dependencies among user utterances and system responses to make coherent conversations with humans. In this work, we describe our submission to the AVSD track of the 8th Dialogue System Technology Challenge. We adopt dot-product attention to combine text and non-text features of input video. We further enhance the generation capability of the dialogue agent by adopting pointer networks to point to tokens from multiple source sequences in each generation step. Our systems achieve high performance in automatic metrics and obtain 5th and 6th place in human evaluation among all submissions.


title: Human Perception-Optimized Planning for Comfortable VR-Based Telepresence

abstract: This paper introduces an emerging motion planning problem by considering a human that is immersed into the viewing perspective of a remote robot. The challenge is to make the experience both effective (such as delivering a sense of presence) and comfortable (such as avoiding adverse sickness symptoms, including nausea). We refer to this challenging new area as human perception-optimized planning and propose a general multiobjective optimization framework that can be instantiated in many envisioned scenarios. We then consider a specific VR telepresence task as a case of human perception-optimized planning, in which we simulate a robot that sends 360 video to a remote user to be viewed through a head-mounted display. In this particular task, we plan trajectories that minimize VR sickness (and thereby maximize comfort). An A* type method is used to create a Pareto-optimal collection of piecewise linear trajectories while taking into account criteria that improve comfort. We conducted a study with human subjects touring a virtual museum, in which paths computed by our algorithm are compared against a reference RRT-based trajectory. Generally, users suffered less from VR sickness and preferred the paths created by the presented algorithm.


title: Forming Diverse Teams from Sequentially Arriving People

abstract: Collaborative work often benefits from having teams or organizations with heterogeneous members. In this paper, we present a method to form such diverse teams from people arriving sequentially over time. We define a monotone submodular objective function that combines the diversity and quality of a team and propose an algorithm to maximize the objective while satisfying multiple constraints. This allows us to balance both how diverse the team is and how well it can perform the task at hand. Using crowd experiments, we show that, in practice, the algorithm leads to large gains in team diversity. Using simulations, we show how to quantify the additional cost of forming diverse teams and how to address the problem of simultaneously maximizing diversity for several attributes (e.g., country of origin, gender). Our method has applications in collaborative work ranging from team formation, the assignment of workers to teams in crowdsourcing, and reviewer allocation to journal papers arriving sequentially. Our code is publicly accessible for further research.


title: Hierarchical Conditional Relation Networks for Video Question Answering

abstract: Video question answering (VideoQA) is challenging as it requires modeling capacity to distill dynamic visual artifacts and distant relations and to associate them with linguistic concepts. We introduce a general-purpose reusable neural unit called Conditional Relation Network (CRN) that serves as a building block to construct more sophisticated structures for representation and reasoning over video. CRN takes as input an array of tensorial objects and a conditioning feature, and computes an array of encoded output objects. Model building becomes a simple exercise of replication, rearrangement and stacking of these reusable units for diverse modalities and contextual information. This design thus supports high-order relational and multi-step reasoning. The resulting architecture for VideoQA is a CRN hierarchy whose branches represent sub-videos or clips, all sharing the same question as the contextual condition. Our evaluations on well-known datasets achieved new SoTA results, demonstrating the impact of building a general-purpose reasoning unit on complex domains such as VideoQA.


title: On the univalence of polyanalytic functions

abstract: A continuous complex-valued function $F$ in a domain $D\subseteq\mathbf{C}$ is Poly-analytic of order $\alpha$ if it satisfies $\partial^{\alpha}_{\overline{z}}F=0.$ One can show that $F$ has the form $F(z)={\displaystyle\sum\limits_{0}^{n-1}}\overline{z}^{k}A_{k}(z)$, where each $A_k$ is an analytic function$.$ In this paper, we prove the existence of a Landau constant for Poly-analytic functions and the special Bi-analytic case. We also establish the Bohr's inequality for poly-analytic and bi-analytic functions which map $U$ into $U$. In addition, we give an estimate for the arclength over the class of poly-analytic mappings and consider the problem of minimizing moments of order $p$.


title: Shuffling functors and spherical twists on $D^\mathrm b(\mathcal O_0)$

abstract: For a semisimple complex Lie algebra $\mathfrak g$, the BGG category $\mathcal{O}$ is of particular interest in representation theory. It is known that Irving's shuffling functors $\mathrm{Sh}_{w}$, indexed by elements $w\in W$ of the Weyl group, induce an action of the braid group $B_W$ associated to $W$ on the derived categories $D^\mathrm{b}(\mathcal{O}_\lambda)$ of blocks of $\mathcal{O}$. We show that for maximal parabolic subalgebras $\mathfrak{p}$ of $\mathfrak{sl}_n$ corresponding to the parabolic subgroup $W_\mathfrak{p}=S_{n-1}\times S_1$ of $S_n$, the derived shuffling functors $\mathbf{L}\mathrm{Sh}{s_i}$ are instances of Seidel and Thomas' spherical twist functors. Namely, we show that certain parabolic indecomposable projectives $P^\mathfrak{p}(w)$ are spherical objects, and the associated twist functors are naturally isomorphic to $\mathbf{L}\mathrm{Sh}{w}[1]$ as auto-equivalences of $D^\mathrm{b}(\mathcal{O}^\mathfrak{p})$. We give an overview of the main properties of the BGG category $\mathcal{O}$, the construction of shuffling and spherical twist functors, and give some examples how to determine images of both. To this end, we employ the equivalence of blocks of $\mathcal{O}$ and the module categories of certain path algebras.


title: FPConv: Learning Local Flattening for Point Convolution

abstract: We introduce FPConv, a novel surface-style convolution operator designed for 3D point cloud analysis. Unlike previous methods, FPConv doesn't require transforming to intermediate representation like 3D grid or graph and directly works on surface geometry of point cloud. To be more specific, for each point, FPConv performs a local flattening by automatically learning a weight map to softly project surrounding points onto a 2D grid. Regular 2D convolution can thus be applied for efficient feature learning. FPConv can be easily integrated into various network architectures for tasks like 3D object classification and 3D scene segmentation, and achieve comparable performance with existing volumetric-type convolutions. More importantly, our experiments also show that FPConv can be a complementary of volumetric convolutions and jointly training them can further boost overall performance into state-of-the-art results.


title: Optimizing User Interface Layouts via Gradient Descent

abstract: Automating parts of the user interface (UI) design process has been a longstanding challenge. We present an automated technique for optimizing the layouts of mobile UIs. Our method uses gradient descent on a neural network model of task performance with respect to the model's inputs to make layout modifications that result in improved predicted error rates and task completion times. We start by extending prior work on neural network based performance prediction to 2-dimensional mobile UIs with an expanded interaction space. We then apply our method to two UIs, including one that the model had not been trained on, to discover layout alternatives with significantly improved predicted performance. Finally, we confirm these predictions experimentally, showing improvements up to 9.2 percent in the optimized layouts. This demonstrates the algorithm's efficacy in improving the task performance of a layout, and its ability to generalize and improve layouts of new interfaces.


title: G\"odel's Sentence Is An Adversarial Example But Unsolvable

abstract: In recent years, different types of adversarial examples from different fields have emerged endlessly, including purely natural ones without perturbations. A variety of defenses are proposed and then broken quickly. Two fundamental questions need to be asked: What's the reason for the existence of adversarial examples and are adversarial examples unsolvable? In this paper, we will show the reason for the existence of adversarial examples is there are non-isomorphic natural explanations that can all explain data set. Specifically, for two natural explanations of being true and provable, G\"odel's sentence is an adversarial example but ineliminable. It can't be solved by the re-accumulation of data set or the re-improvement of learning algorithm. Finally, from the perspective of computability, we will prove the incomputability for adversarial examples, which are unrecognizable.


title: Fair and Truthful Mechanisms for Dichotomous Valuations

abstract: We consider the problem of allocating a set on indivisible items to players with private preferences in an efficient and fair way. We focus on valuations that have dichotomous marginals, in which the added value of any item to a set is either 0 or 1, and aim to design truthful allocation mechanisms (without money) that maximize welfare and are fair. For the case that players have submodular valuations with dichotomous marginals, we design such a deterministic truthful allocation mechanism. The allocation output by our mechanism is Lorenz dominating, and consequently satisfies many desired fairness properties, such as being envy-free up to any item (EFX), and maximizing the Nash Social Welfare (NSW). We then show that our mechanism with random priorities is envy-free ex-ante, while having all the above properties ex-post. Furthermore, we present several impossibility results precluding similar results for the larger class of XOS valuations. To gauge the robustness of our positive results, we also study $\epsilon$-dichotomous valuations, in which the added value of any item to a set is either non-positive, or in the range $[1, 1 + \epsilon]$. We show several impossibility results in this setting, and also a positive result: for players that have additive $\epsilon$-dichotomous valuations with sufficiently small $\epsilon$, we design a randomized truthful mechanism with strong ex-post guarantees. For $\rho = \frac{1}{1 + \epsilon}$, the allocations that it produces generate at least a $\rho$-fraction of the maximum welfare, and enjoy $\rho$-approximations for various fairness properties, such as being envy-free up to one item (EF1), and giving each player at least her maximin share.


title: Fock-space relativistic coupled-cluster calculation of hyperfine induced $\bf {^1S_0 \rightarrow {^3P^o_0}}$ clock transition in Al$^+$

abstract: We have developed an all-particle Fock-space relativistic coupled-cluster method to calculate the properties of two-valence atoms and ions. Using the method we compute the properties associated with hyperfine induced $^1S_0 - ^3P^o_0$ clock transition in Al$^+$. Our result of the $^3P^o_0$ metastable state life time, $20.20 \pm 0.91$ s, is in excellent agreement with the experimental value, $20.60 \pm 1.4$ s [Phys. Rev. Lett. {\bf 98}, 220801 (2007)]. Our studies show that the contributions from the triple excitations, and the corrections from the Breit interaction and QED effects are essential to obtain accurate clock properties in Al$^+$.


title: Bayesian Poroelastic Aquifer Characterization from InSAR Surface Deformation Data. Part I: Maximum A Posteriori Estimate

abstract: Characterizing the properties of groundwater aquifers is essential for predicting aquifer response and managing groundwater resources. In this work, we develop a high-dimensional scalable Bayesian inversion framework governed by a three-dimensional quasi-static linear poroelastic model to characterize lateral permeability variations in groundwater aquifers. We determine the maximum a posteriori (MAP) point of the posterior permeability distribution from centimeter-level surface deformation measurements obtained from Interferometric Synthetic Aperture Radar (InSAR). The scalability of our method to high parameter dimension is achieved through the use of adjoint-based derivatives, inexact Newton methods to determine the MAP point, and a Mat\'ern class sparse prior precision operator. Together, these guarantee that the MAP point is found at a cost, measured in number of forward/adjoint poroelasticity solves, that is independent of the parameter dimension. We apply our methodology to a test case for a municipal well in Mesquite, Nevada, in which InSAR and GPS surface deformation data are available. We solve problems with up to 320,824 state variable degrees of freedom (DOFs) and 16,896 parameter DOFs. A consistent treatment of noise level is employed so that the aquifer characterization result does not depend on the pixel spacing of surface deformation data. Our results show that the use of InSAR data significantly improves characterization of lateral aquifer heterogeneity, and the InSAR-based aquifer characterization recovers complex lateral displacement trends observed by independent daily GPS measurements.


title: Third Generation Gamma Camera SPECT System

abstract: Single Photon Emission Computed Tomography (SPECT) is a non-invasive imaging modality, frequently used in myocardial perfusion imaging. The biggest challenges facing the majority of clinical SPECT systems are low sensitivity, poor resolution, and the relatively high radiation dose to the patient. New generation systems (GE Discovery, DSPECT) dedicated to cardiac imaging improve sensitivity by a factor of 5-8. The purpose of this work is to investigate a new gamma camera design with 21 hemi-ellipsoid detectors each with a pinhole collimator for Cardiac SPECT for further improvement in sensitivity, resolution, imaging time, and radiation dose. To evaluate the resolution of our hemi-ellipsoid system, GATE Monte-Carlo simulations were performed on point-sources, rod-sources, and NCAT phantoms. The purpose of point-source simulation is to obtain operating pinhole diameter by comparing the average FWHM (Full width half-maximum) of flat-detector system with curved hemi-ellipsoid detector system. The operating pinhole diameter for the curved hemi-ellipsoid detector was found to be 8.68mm. System resolution is evaluated using reconstructed rod-sources equally spaced within the region of interest. The results were compared with results of GE discovery system available in the literature. The system performance was also evaluated using the mathematical anthropomorphic NCAT (NURBSbased Cardiac Torso) phantom with a full (clinical) dose acquisition (25mCi) for 2 mins and an ultra-low-dose acquisition of 3mCi for 5.44mins.


title: Controllable Sequence-To-Sequence Neural TTS with LPCNET Backend for Real-time Speech Synthesis on CPU

abstract: State-of-the-art sequence-to-sequence acoustic networks, that convert a phonetic sequence to a sequence of spectral features with no explicit prosody prediction, generate speech with close to natural quality, when cascaded with neural vocoders, such as Wavenet. However, the combined system is typically too heavy for real-time speech synthesis on a CPU. In this work we present a sequence-to-sequence acoustic network combined with lightweight LPCNet neural vocoder, designed for real-time speech synthesis on a CPU. In addition, the system allows sentence-level pace and expressivity control at inference time. We demonstrate that the proposed system can synthesize high quality 22 kHz speech in real-time on a general-purpose CPU. In terms of MOS score degradation relative to PCM, the system attained as low as 6.1-6.5% for quality and 6.3- 7.0% for expressiveness, reaching equivalent or better quality when compared to a similar system with a Wavenet vocoder backend.


title: Missing Data Imputation for Classification Problems

abstract: Imputation of missing data is a common application in various classification problems where the feature training matrix has missingness. A widely used solution to this imputation problem is based on the lazy learning technique, $k$-nearest neighbor (kNN) approach. However, most of the previous work on missing data does not take into account the presence of the class label in the classification problem. Also, existing kNN imputation methods use variants of Minkowski distance as a measure of distance, which does not work well with heterogeneous data. In this paper, we propose a novel iterative kNN imputation technique based on class weighted grey distance between the missing datum and all the training data. Grey distance works well in heterogeneous data with missing instances. The distance is weighted by Mutual Information (MI) which is a measure of feature relevance between the features and the class label. This ensures that the imputation of the training data is directed towards improving classification performance. This class weighted grey kNN imputation algorithm demonstrates improved performance when compared to other kNN imputation algorithms, as well as standard imputation algorithms such as MICE and missForest, in imputation and classification problems. These problems are based on simulated scenarios and UCI datasets with various rates of missingness.


title: End-to-end Emotion-Cause Pair Extraction via Learning to Link

abstract: Emotion-cause pair extraction (ECPE), as an emergent natural language processing task, aims at jointly investigating emotions and their underlying causes in documents. It extends the previous emotion cause extraction (ECE) task, yet without requiring a set of pre-given emotion clauses as in ECE. Existing approaches to ECPE generally adopt a two-stage method, i.e., (1) emotion and cause detection, and then (2) pairing the detected emotions and causes. Such pipeline method, while intuitive, suffers from two critical issues, including error propagation across stages that may hinder the effectiveness, and high computational cost that would limit the practical application of the method. To tackle these issues, we propose a multi-task learning model that can extract emotions, causes and emotion-cause pairs simultaneously in an end-to-end manner. Specifically, our model regards pair extraction as a link prediction task, and learns to link from emotion clauses to cause clauses, i.e., the links are directional. Emotion extraction and cause extraction are incorporated into the model as auxiliary tasks, which further boost the pair extraction. Experiments are conducted on an ECPE benchmarking dataset. The results show that our proposed model outperforms a range of state-of-the-art approaches.


title: Searching for Winograd-aware Quantized Networks

abstract: Lightweight architectural designs of Convolutional Neural Networks (CNNs) together with quantization have paved the way for the deployment of demanding computer vision applications on mobile devices. Parallel to this, alternative formulations to the convolution operation such as FFT, Strassen and Winograd, have been adapted for use in CNNs offering further speedups. Winograd convolutions are the fastest known algorithm for spatially small convolutions, but exploiting their full potential comes with the burden of numerical error, rendering them unusable in quantized contexts. In this work we propose a Winograd-aware formulation of convolution layers which exposes the numerical inaccuracies introduced by the Winograd transformations to the learning of the model parameters, enabling the design of competitive quantized models without impacting model size. We also address the source of the numerical error and propose a relaxation on the form of the transformation matrices, resulting in up to 10% higher classification accuracy on CIFAR-10. Finally, we propose wiNAS, a neural architecture search (NAS) framework that jointly optimizes a given macro-architecture for accuracy and latency leveraging Winograd-aware layers. A Winograd-aware ResNet-18 optimized with wiNAS for CIFAR-10 results in 2.66x speedup compared to im2row, one of the most widely used optimized convolution implementations, with no loss in accuracy.


title: Degrees of incomputability, realizability and constructive reverse mathematics

abstract: There is a way of assigning a realizability notion to each degree of incomputability. In our setting, we make use of Weihrauch degrees (degrees of incomputability/discontinuity of partial multi-valued functions) to obtain Lifschitz-like relative realizability predicates. In this note, we present sample examples on how to lift some separation results on Weihrauch degrees to those over intuitionistic Zermelo-Fraenkel set theory ${\bf IZF}$.


title: Photoproduction of massive gauge bosons in $pp$, $pPb$ and $PbPb$ collisions

abstract: In this letter we present, for the first time, the results for the photoproduction of massive gauge bosons in proton -- proton, proton -- Lead and Lead -- Lead collisions at the Large Hadron Collider (LHC), High -- Energy LHC (HE -- LHC) and Future Circular Collider (FCC). Predictions for the rapidity distributions and total cross sections are presented. We predict a large number of events in the rapidity range probed by the LHC detectors, which implies that this process can be used to probe the photoproduction of massive gauge bosons as well to perform the search of Beyond Standard Model physics.


title: A Universal Route to Explosive Phenomena

abstract: Critical transitions are observed in many complex systems. This includes the onset of synchronization in a network of coupled oscillators or the emergence an epidemic state within a population. "Explosive" first-order transitions have caught particular attention in a variety of systems when classical models are generalized by incorporating additional effects. Here we give a mathematical argument that the emergence of such first-order transitions is not surprising but rather a universally expected effect: Varying a classical model along a generic two-parameter family must lead to a change of the criticality. To illustrate our framework, we give three explicit examples of the effect in distinct physical systems: a model of adaptive epidemic dynamics, for a generalization of the Kuramoto model, and for a percolation transition.

categories: nlin.AO cond-mat.stat-mech math-ph math.DS math.MP


title: The Brouwer invariance theorems in reverse mathematics

abstract: In his book, John Stillwell wrote "finding the exact strength of the Brouwer invariance theorems seems to me one of the most interesting open problems in reverse mathematics." In this article, we solve Stillwell's problem by showing that (some forms of) the Brouwer invariance theorems are equivalent to weak K\"onig's lemma over the base system ${\sf RCA}_0$. In particular, there exists an explicit algorithm which, whenever weak K\"onig's lemma is false, constructs a topological embedding of $\mathbb{R}^4$ into $\mathbb{R}^3$.


title: Understanding and Mitigating the Tradeoff Between Robustness and Accuracy

abstract: Adversarial training augments the training set with perturbations to improve the robust error (over worst-case perturbations), but it often leads to an increase in the standard error (on unperturbed test inputs). Previous explanations for this tradeoff rely on the assumption that no predictor in the hypothesis class has low standard and robust error. In this work, we precisely characterize the effect of augmentation on the standard error in linear regression when the optimal linear predictor has zero standard and robust error. In particular, we show that the standard error could increase even when the augmented perturbations have noiseless observations from the optimal linear predictor. We then prove that the recently proposed robust self-training (RST) estimator improves robust error without sacrificing standard error for noiseless linear regression. Empirically, for neural networks, we find that RST with different adversarial training methods improves both standard and robust error for random and adversarial rotations and adversarial $\ell_\infty$ perturbations in CIFAR-10.


title: ASASSN-16oh: A nova outburst with no mass ejection -- A new type of supersoft X-ray source in old populations

abstract: ASASSN-16oh is a peculiar transient supersoft X-ray source without a mass-ejection signature in the field of the Small Magellanic Cloud. Maccarone et al. (2019) concluded that ASASSN-16oh is the first dwarf nova with supersoft X-ray that originated from an equatorial accretion belt on a white dwarf (WD). Hillman et al. (2019) proposed a thermonuclear runaway model that both the X-rays and $V$/$I$ photons are emitted from the hot WD. We calculated the same parameter models as Hillman et al.'s and found that they manipulated on/off the mass-accretion, and their best fit $V$ light curves are 6 mag fainter, and decay about 10 times slower, than that of ASASSN-16oh. We propose a nova model induced by a high rate of mass accretion during a dwarf nova outburst, i.e., the X-rays originate from the surface of the hydrogen-burning WD whereas the $V/I$ photons are from the irradiated disk. Our model explains the main observational properties of ASASSN-16oh. We also obtained thermonuclear runaway models with no mass ejection for a wide range of parameters of the WD mass and mass accretion rates including both natural and forced novae in low-metal environments of $Z=0.001$ and $Z=0.0001$. They are a new type of periodic supersoft X-ray sources with no mass ejection, and also a bright transient in $V$/$I$ bands if they have a large disk. We suggest that such objects are candidates of Type Ia supernova progenitors because its mass is increasing at a very high efficiency $(\sim 100 \%)$.


title: Denoising IMU Gyroscopes with Deep Learning for Open-Loop Attitude Estimation

abstract: This paper proposes a learning method for denoising gyroscopes of Inertial Measurement Units (IMUs) using ground truth data, and estimating in real time the orientation (attitude) of a robot in dead reckoning. The obtained algorithm outperforms the state-of-the-art on the (unseen) test sequences. The obtained performances are achieved thanks to a well-chosen model, a proper loss function for orientation increments, and through the identification of key points when training with high-frequency inertial data. Our approach builds upon a neural network based on dilated convolutions, without requiring any recurrent neural network. We demonstrate how efficient our strategy is for 3D attitude estimation on the EuRoC and TUM-VI datasets. Interestingly, we observe our dead reckoning algorithm manages to beat top-ranked visual-inertial odometry systems in terms of attitude estimation although it does not use vision sensors. We believe this paper offers new perspectives for visual-inertial localization and constitutes a step toward more efficient learning methods involving IMUs. Our open-source implementation is available at https://github.com/mbrossar/denoise-imu-gyro.


title: A Decomposition Method by Interaction Prediction for the Optimization of Maintenance Scheduling

abstract: Optimizing maintenance scheduling is a major issue to improve the performance of hydropower plants. We study a system of several physical components of the same family: either a set of turbines, a set of transformers or a set of generators. The components share a common stock of spare parts and experience random failures that occur according to known failure distributions. We seek a deterministic preventive maintenance strategy that minimizes an expected cost depending on maintenance and forced outages of the system. The Auxiliary Problem Principle is used to decompose the original large-scale optimization problem into a sequence of independent subproblems of smaller dimension while ensuring their coordination. Each subproblem consists in optimizing the maintenance on a single component. Decomposition-coordination techniques are based on variational techniques but the maintenance optimization problem is a mixed-integer problem. Therefore, we relax the dynamics and the cost functions of the system. The resulting algorithm iteratively solves the subproblems on the relaxed system with a blackbox method and coordinates the components. Relaxation parameters have an important influence on the optimization and must be appropriately chosen. An admissible maintenance strategy is then derived from the resolution of the relaxed problem. We apply the decomposition algorithm on a system with 80 components. It outperforms the reference blackbox method applied directly on the original problem.


title: Partially hyperbolic diffeomorphisms and Lagrangian contact structures

abstract: In this paper, we classify the three-dimensional contact partially hyperbolic diffeomorphisms whose stable, unstable and central distributions are smooth, and whose non-wandering set equals the whole manifold. We prove that up to a finite quotient or a finite power, they are smoothly conjugated either to the time-one map of an algebraic contact-Anosov flow, or to an affine partially hyperbolic automorphism of a nil-manifold. The rigid geometric structure induced by the three invariant distributions plays a fundamental role in the proof.


title: Generalization of Rellich-Kondrachov theorem and trace compacteness in the framework of irregular and fractal boundaries

abstract: We present a survey of recent results of the functional analysis allowing to solve PDEs in a large class of domains with irregular boundaries. We extend the previously introduced concept of admissible domains with a d-set boundary on the domains with the boundaries on which the measure is not necessarily Ahlfors regular d-measure. This gives a generalization of Rellich-Kondrachov theorem and the compactness of the trace operator, allowing to obtain, as for a regular classical case the unicity/existence of weak solutions of Poisson boundary valued problem with the Robin boundary condition and to obtain the usual properties of the associated spectral problem.


title: CAKE: An Efficient Group Key Management for Dynamic Groups

abstract: With rapid increase of mobile computing and wireless network linkage, the information exchange between connected systems and within groups increases heavily. Exchanging confidential information within groups via unsecured communication channels is a high security threat. In order to prevent third parties from accessing this data, it is essential to encrypt it. For this purpose, the group participants need a common group key to enable encrypted broadcast messages. But efficient key management of secured group communication is a challenging task, if participants rely on low performance hardware and small bandwidth. For coordination and distribution, we present the modular group key management procedure CAKE that is centrally organized and meets strict security requirements. The lightweight G-IKEv2 protocol in combination with the key exchange concept of CAKE leads to an efficiently integrated solution. The hybrid approach combines the advantages of the existing protocols with the objective to reduce the computation and communication effort. It is shown that the procedure is more suitable for changing MANET groups than the existing ones. Moreover, the exchanged group key can be used for any services which provides a wide range of applications.


title: Determinantal point processes and fermion quasifree states

abstract: Determinantal point processes are characterized by a special structural property of the correlation functions: they are given by minors of a correlation kernel. However, unlike the correlation functions themselves, this kernel is not defined intrinsically, and the same determinantal process can be generated by many different kernels. The non-uniqueness of a correlation kernel causes difficulties in studying determinantal processes. We propose a formalism which allows to find a distinguished correlation kernel under certain additional assumptions. The idea is to exploit a connection between determinantal processes and quasifree states on CAR, the algebra of canonical anticommutation relations. We prove that the formalism applies to discrete N-point orthogonal polynomial ensembles and to some of their large-N limits including the discrete sine process and the determinantal processes with the discrete Hermite, Laguerre, and Jacobi kernels investigated by Alexei Borodin and the author in [Commun. Math. Phys. 353 (2017), 853-903; arXiv:1608.01564]. As an application we resolve the equivalence/disjointness dichotomy for some of those processes.


title: Evolution of anisotropic diffusion in two-dimensional heterogeneous environments

abstract: We consider a system of two competing populations in two-dimensional heterogeneous environments. The populations are assumed to move horizontally and vertically with different probabilities, but are otherwise identical. We regard these probabilities as dispersal strategies. We show that the evolutionarily stable strategies are to move in one direction only. Our results predict that it is more beneficial for the species to choose the direction with smaller variation in the resource distribution. This finding seems to be in agreement with the classical results of Hasting [15] and Dockery et al. [11] for the evolution of slow dispersal, i.e. random diffusion is selected against in spatially heterogeneous environments. These conclusions also suggest that broader dispersal strategies should be considered regarding the movement in heterogeneous habitats.


title: Experimental Test of Tight State-Independent Preparation Uncertainty Relations for Qubits

abstract: The well-known Robertson-Schroedinger uncertainty relations miss an irreducible lower bound. This is widely attributed to the lower bound's state-dependence. Therefore, Abbott \emph{et al.} introduced a general approach to derive tight state-independent uncertainty relations for qubit measurements [Mathematics 4, 8 (2016)]. The relations are expressed in two measures of uncertainty, which are standard deviation and entropy, both functions of the expectation value. Here, we present a neutron optical test of the tight state-independent preparation uncertainty relations for non-commuting Pauli spin observables with mixed spin states. The final results, obtained in a polarimetric experiment, reproduce the theoretical predictions evidently for arbitrary initial states of variable degree of polarization.


title: Statistically Preconditioned Accelerated Gradient Method for Distributed Optimization

abstract: We consider the setting of distributed empirical risk minimization where multiple machines compute the gradients in parallel and a centralized server updates the model parameters. In order to reduce the number of communications required to reach a given accuracy, we propose a \emph{preconditioned} accelerated gradient method where the preconditioning is done by solving a local optimization problem over a subsampled dataset at the server. The convergence rate of the method depends on the square root of the relative condition number between the global and local loss functions. We estimate the relative condition number for linear prediction models by studying \emph{uniform} concentration of the Hessians over a bounded domain, which allows us to derive improved convergence rates for existing preconditioned gradient methods and our accelerated method. Experiments on real-world datasets illustrate the benefits of acceleration in the ill-conditioned regime.


title: Technical report: Kidney tumor segmentation using a 2D U-Net followed by a statistical post-processing filter

abstract: Each year, there are about 400'000 new cases of kidney cancer worldwide causing around 175'000 deaths. For clinical decision making it is important to understand the morphometry of the tumor, which involves the time-consuming task of delineating tumor and kidney in 3D CT images. Automatic segmentation could be an important tool for clinicians and researchers to also study the correlations between tumor morphometry and clinical outcomes. We present a segmentation method which combines the popular U-Net convolutional neural network architecture with post-processing based on statistical constraints of the available training data. The full implementation, based on PyTorch, and the trained weights can be found on GitHub.


title: Separate silicate and carbonaceous solids formed from mixed atomic and molecular species diffusing in neon ice

abstract: The formation and growth of refractory matter on pre-existing interstellar dust grain surfaces was studied experimentally by annealing neon-ice matrices in which potential precursors of silicate grains (Mg and Fe atoms, SiO and SiO$_2$ molecules) and of solid carbon (C$_n$ molecules, $n$ = 2-10) were initially isolated. Other molecules, mainly O$_3$, CO, CO$_2$, C$_3$O, and H$_2$O, were embedded at the same time in the matrices. The annealing procedure caused the cold dopants to diffuse and interact in the neon ice. Monitoring the procedure in situ with infrared spectroscopy revealed the disappearance of the silicon oxide and carbon molecules at temperatures lower than 13 K, and the rise of the Si-O stretching band of silicates. Ex situ electron microscopy confirmed the formation of silicate grains and showed that their structure was amorphous. It also showed that amorphous carbon matter was formed simultaneously next to the silicate grains, the two materials being chemically separated. The results of the experiments support the hypothesis that grains of complex silicates and of carbonaceous materials are re-formed in the cold ISM, as suggested by astronomical observations and evolution models of cosmic dust masses. Moreover, they show that the potential precursors of one material do not combine with those of the other at cryogenic temperatures, providing us with a clue as to the separation of silicates and carbon in interstellar grains.


title: Inconsistency of Chemical Properties of Stellar Populations in the Thick Disk Subsystem of Our Galaxy

abstract: Using modern published data on velocities and spectroscopic definitions of chemical elements in stellar objects of the Galaxy, we investigated the relationship of chemical composition with the kinematics of different populations. The paper shows that the old stellar populations of the Galaxy, belonging (by the kinematic criterion) to the thick disk subsystem---globular clusters, field variables of the type RR Lyrae (lyrids), as well as close F--G dwarfs and field giants, have different chemical composition. In particular, the dwarfs and giants of the field are on average more metallic than the globular clusters and lyrids of the field. Moreover, the relative abundances of $\alpha$-elements in the range $\rm{[Fe/H]} > -1.0$ are the highest for globular clusters, and are the lowest for for field variables of the RR Lyrae type. Based on the analysis of the nature of the dependences of [$\alpha$/Fe] on [Fe/H] for these objects it was suggested that the thick disk subsystem in the Galaxy is composite and at least three components exist independently within it. The oldest one includes metal-rich globular clusters that formed from a single proto-galactic cloud shortly after the start of type Ia supernovae outbursts. Then the subsystem of field stars of a thick disk was formed as a result of ``heating'' of stars of already formed thin disk of the Galaxy by a rather massive dwarf satellite galaxy that fell on it. And finally, subsystems of field stars with the kinematics of not only a thick, but even a thin disk that fell on the Galaxy from this captured satellite galaxy.


title: The conical Radon transform with vertices on triple lines

abstract: We study the inversion of the conical Radon which integrates a function in three-dimensional space from integrals over circular cones. The conical Radon recently got significant attention due to its relevance in various imaging applications such as Compton camera imaging and single scattering optical tomography. The unrestricted conical Radon transform is over-determined because the manifold of all cones depends on six variables: the center position, the axis orientation and the opening angle of the cone. In this work, we consider a particular restricted transform using triple line sensors where integrals over a three-dimensional set of cones are collected, determined by a one-dimensional vertex set, a one-dimensional set of central axes, and the one-dimensional set of opening angle. As the main result in this paper, we derive an analytic inversion formula for the restricted conical Radon transform. Along that way we define a certain ray transform adapted to the triple line sensor for which we establish an analytic inversion formula.


title: Measuring Basic Load-Balancing and Fail-Over Setups for Email Delivery via DNS MX Records

abstract: The domain name system (DNS) has long provided means to assure basic load-balancing and fail-over (BLBFO) for email delivery. A traditional method uses multiple mail exchanger (MX) records to distribute the load across multiple email servers. Round-robin DNS is the common alternative to this MX-based balancing. Despite the classical nature of these two solutions, neither one has received particular attention in Internet measurement research. To patch this gap, this paper examines BLBFO configurations with an active measurement study covering over 2.7 million domains from which about 2.1 million have MX records. Of these MX-enabled domains, about 60% are observed to use BLBFO, and MX-based balancing seems more common than round-robin DNS. Email hosting services offer one explanation for this adoption rate. Many domains seem to also prefer fine-tuned configurations instead of relying on randomization assumptions. Furthermore, about 27% of the domains have at least one exchanger with a valid IPv6 address. Finally, some misconfigurations and related oddities are visible.


title: LoRa beyond ALOHA: An Investigation of Alternative Random Access Protocols

abstract: We present a stochastic geometry-based model to investigate alternative medium access choices for LoRaWAN---a widely adopted low-power wide-area networking (LPWAN) technology for the Internet-of-things (IoT). LoRaWAN adoption is driven by its simplified network architecture, air interface, and medium access. The physical layer, known as LoRa, provides quasi-orthogonal virtual channels through spreading factors (SFs) and time-power capture gains. However, the adopted pure ALOHA access mechanism suffers, in terms of scalability, under the same-channel same-SF transmissions from a large number of devices. In this paper, our objective is to explore access mechanisms beyond-ALOHA for LoRaWAN. Using recent results on time- and power-capture effects of LoRa, we develop a unified model for the comparative study of other choices, i.e., slotted ALOHA and carrier-sense multiple access (CSMA). The model includes the necessary design parameters of these access mechanisms, such as guard time and synchronization accuracy for slotted ALOHA, carrier sensing threshold for CSMA. It also accounts for the spatial interaction of devices in annular-shaped regions, characteristic of LoRa, for CSMA. The performance derived from the model in terms of coverage probability, channel throughput, and energy efficiency are validated using Monte-Carlo simulations. Our analysis shows that slotted ALOHA indeed has higher reliability than pure ALOHA but at the cost of lower energy efficiency for low device densities. Whereas, CSMA outperforms slotted ALOHA at smaller SFs in terms of reliability and energy efficiency, with its performance degrading to pure ALOHA at higher SFs.


title: (De)Randomized Smoothing for Certifiable Defense against Patch Attacks

abstract: Patch adversarial attacks on images, in which the attacker can distort pixels within a region of bounded size, are an important threat model since they provide a quantitative model for physical adversarial attacks. In this paper, we introduce a certifiable defense against patch attacks that guarantees for a given image and patch attack size, no patch adversarial examples exist. Our method is related to the broad class of randomized smoothing robustness schemes which provide high-confidence probabilistic robustness certificates. By exploiting the fact that patch attacks are more constrained than general sparse attacks, we derive meaningfully large robustness certificates against them. Additionally, in contrast to smoothing-based defenses against L_p and sparse attacks, our defense method against patch attacks is de-randomized, yielding improved, deterministic certificates. Compared to the existing patch certification method proposed by Chiang et al. (2020), which relies on interval bound propagation, our method can be trained significantly faster, achieves high clean and certified robust accuracy on CIFAR-10, and provides certificates at ImageNet scale. For example, for a 5-by-5 patch attack on CIFAR-10, our method achieves up to around 57.6% certified accuracy (with a classifier with around 83.8% clean accuracy), compared to at most 30.3% certified accuracy for the existing method (with a classifier with around 47.8% clean accuracy). Our results effectively establish a new state-of-the-art of certifiable defense against patch attacks on CIFAR-10 and ImageNet. Code is available at https://github.com/alevine0/patchSmoothing.


title: The Deligne-Mumford operad as a trivialization of the circle action

abstract: We prove that the tree-like Deligne-Mumford operad is a homotopical model for the trivialization of the circle in the higher-genus framed little discs operad. Our proof is based on a geometric argument involving nodal annuli. We use Riemann surfaces with analytically parametrized boundary as a model for higher-genus framed little discs.


title: Floer theory of higher rank quiver 3-folds

abstract: We study threefolds $Y$ fibred by $A_m$-surfaces over a curve $S$ of positive genus. An ideal triangulation of $S$ defines, for each rank $m$, a quiver $Q(\Delta_m)$, hence a $CY_3$-category $(C,W)$ for any potential $W$ on $Q(\Delta_m)$. We show that for $\omega$ in an open subset of the K\"ahler cone, a subcategory of a sign-twisted Fukaya category of $(Y,\omega)$ is quasi-isomorphic to $(C,W_{[\omega]})$ for a certain generic potential $W_{[\omega]}$. This partially establishes a conjecture of Goncharov concerning `categorifications' of cluster varieties of framed $PGL_{m+1}$-local systems on $S$, and gives a symplectic geometric viewpoint on results of Gaiotto, Moore and Neitzke.


title: Double-Spend Counterattacks: Threat of Retaliation in Proof-of-Work Systems

abstract: Proof-of-Work mining is intended to provide blockchains with robustness against double-spend attacks. However, an economic analysis that follows from Budish (2018), which considers free entry conditions together with the ability to rent sufficient hashrate to conduct an attack, suggests that the resulting block rewards can make an attack cheap. We formalize a defense to double-spend attacks. We show that when the victim can counterattack in the same way as the attacker, this leads to a variation on the classic game-theoretic War of Attrition model. The threat of this kind of counterattack induces a subgame perfect equilibrium in which no attack occurs in the first place.


title: The HSC-SSP Transient Survey: Implications from Early Photometry and Rise Time of Normal Type Ia Supernovae

abstract: With a booming number of Type Ia supernovae (SNe Ia) discovered within a few days of their explosions, a fraction of SNe Ia that show luminosity excess in the early phase (early-excess SNe Ia) have been confirmed. In this article, we report early-phase observations of seven photometrically normal SNe Ia (six early detections and one deep non-detection limit) at the COSMOS field through a half-year transient survey as a part of the Hyper Suprime-Cam Subaru Strategic Program (HSC SSP). In particular, a blue light-curve excess was discovered for HSC17bmhk, a normal SN Ia with rise time longer than 18.8 days, during the first four days after the discovery. The blue early excess in optical wavelength can be explained not only by interactions with a non-degenerate companion or surrounding dense circumstellar matter but also radiation powered by radioactive decays of $^{56}$Ni at the surface of the SN ejecta. Given the growing evidence of the early-excess discoveries in normal SNe Ia that have longer rise times than the average and a similarity in the nature of the blue excess to a luminous SN Ia subclass, we infer that early excess discovered in HSC17bmhk and other normal SNe Ia are most likely attributed to radioactive $^{56}$Ni decay at the surface of the SN ejecta. In order to successfully identify normal SNe Ia with early excess similar to that of HSC17bmhk, early UV photometries or high-cadence blue-band surveys are necessary.


title: Off-Policy Deep Reinforcement Learning with Analogous Disentangled Exploration

abstract: Off-policy reinforcement learning (RL) is concerned with learning a rewarding policy by executing another policy that gathers samples of experience. While the former policy (i.e. target policy) is rewarding but in-expressive (in most cases, deterministic), doing well in the latter task, in contrast, requires an expressive policy (i.e. behavior policy) that offers guided and effective exploration. Contrary to most methods that make a trade-off between optimality and expressiveness, disentangled frameworks explicitly decouple the two objectives, which each is dealt with by a distinct separate policy. Although being able to freely design and optimize the two policies with respect to their own objectives, naively disentangling them can lead to inefficient learning or stability issues. To mitigate this problem, our proposed method Analogous Disentangled Actor-Critic (ADAC) designs analogous pairs of actors and critics. Specifically, ADAC leverages a key property about Stein variational gradient descent (SVGD) to constraint the expressive energy-based behavior policy with respect to the target one for effective exploration. Additionally, an analogous critic pair is introduced to incorporate intrinsic rewards in a principled manner, with theoretical guarantees on the overall learning stability and effectiveness. We empirically evaluate environment-reward-only ADAC on 14 continuous-control tasks and report the state-of-the-art on 10 of them. We further demonstrate ADAC, when paired with intrinsic rewards, outperform alternatives in exploration-challenging tasks.


title: RR-DnCNN v2.0: Enhanced Restoration-Reconstruction Deep Neural Network for Down-Sampling Based Video Coding

abstract: Integrating deep learning techniques into the video coding framework gains significant improvement compared to the standard compression techniques, especially applying super-resolution (up-sampling) to down-sampling based video coding as post-processing. However, besides up-sampling degradation, the various artifacts brought from compression make super-resolution problem more difficult to solve. The straightforward solution is to integrate the artifact removal techniques before super-resolution. However, some helpful features may be removed together, degrading the super-resolution performance. To address this problem, we proposed an end-to-end restoration-reconstruction deep neural network (RR-DnCNN) using the degradation-aware technique, which entirely solves degradation from compression and sub-sampling. Besides, we proved that the compression degradation produced by Random Access configuration is rich enough to cover other degradation types, such as Low Delay P and All Intra, for training. Since the straightforward network RR-DnCNN with many layers as a chain has poor learning capability suffering from the gradient vanishing problem, we redesign the network architecture to let reconstruction leverages the captured features from restoration using up-sampling skip connections. Our novel architecture is called restoration-reconstruction u-shaped deep neural network (RR-DnCNN v2.0). As a result, our RR-DnCNN v2.0 outperforms the previous works and can attain 17.02% BD-rate reduction on UHD resolution for all-intra anchored by the standard H.265/HEVC. The source code is available at https://minhmanho.github.io/rrdncnn/.


title: Optimal Switching of Controlled Rectifiers

abstract: This paper discusses a linear programming approach for designing switching signals for controlled rectifiers to achieve a low input current & output voltage total harmonic distortions. The focus here is on fully controlled rectifiers made with four-quadrant MOSFET based switches. This topology, unlike thyristor based rectifiers, can be turned ON or OFF anytime. Yet another assumption made here is that the current drawn by the load is constant. The basic idea for designing the waveform is to first time discretize its one period. This discretization, along with Parsevals identity lead to a linear programming formulation for minimizing a weighted sum of total harmonic distortions of the input current and the output voltages. The LPs so obtained can be solved efficiently using standard solvers to obtain the switching instants. The method can be used for both single phase and three-phase rectifiers. Simulations are provided for corroboration.


title: A note on asymptotically good extensions in which infinitely many primes split completely

abstract: Let p be a prime number, and let K be a number field. For p=2, assume moreover K totally imaginary. In this note we prove the existence of asymptotically good extensions L{K of cohomological dimension 2 in which infinitely many primes split completely. Our result is inspired by a recent work of Hajir, Maire, and Ramakrishna [7].


title: Injecting Domain Knowledge in Neural Networks: a Controlled Experiment on a Constrained Problem

abstract: Given enough data, Deep Neural Networks (DNNs) are capable of learning complex input-output relations with high accuracy. In several domains, however, data is scarce or expensive to retrieve, while a substantial amount of expert knowledge is available. It seems reasonable that if we can inject this additional information in the DNN, we could ease the learning process. One such case is that of Constraint Problems, for which declarative approaches exists and pure ML solutions have obtained mixed success. Using a classical constrained problem as a case study, we perform controlled experiments to probe the impact of progressively adding domain and empirical knowledge in the DNN. Our results are very encouraging, showing that (at least in our setup) embedding domain knowledge at training time can have a considerable effect and that a small amount of empirical knowledge is sufficient to obtain practically useful results.


title: Non-central sections of the simplex, the cross-polytope and the cube

abstract: We determine the maximal hyperplane sections of the regular $n$-simplex, if the distance of the hyperplane to the centroid is fairly large, i.e. larger than the distance of the centroid to the midpoint of edges. Similar results for the n-cube and the l_1-ball were obtained by Moody, Stone, Zach and Zvavitch and by Liu and Tkocz. The maximal hyperplanes in these three cases are perpendicular to the vectors from the centroid to the vertices. For smaller distances -- in a well-defined range -- we show that these hyperplane sections are at least locally maximal. We also determine the hyperplane sections of the simplex, the cross-polytope and the cube which have maximal perimeter, i.e. maximal volume intersection with the boundary of the convex body.


title: Generation of Delaney-Dress graphs

abstract: We introduce an algorithm for the efficient generation of cubic pregraphs which have a 2-factor in which each component is a quotient of $C_4$. This class of pregraphs is of particular interest, since it corresponds to the class of uncoloured graphs that are the underlying graphs of Delaney-Dress graphs. We also extend the algorithm to generate Delaney-Dress graphs.


title: Extended Short-Range Order Determines the Overall Structure of Liquid Gallium

abstract: Polyvalent metal melts (gallium, tin, bismuth, etc.) have microscopic structural features, which are detected by neutron and X-ray diffraction and which are absent in simple liquids. Based on neutron and X-ray diffraction data and results of \textit{ab initio} molecular dynamics simulations for liquid gallium, we examine the structure of this liquid metal at atomistic level. Time-resolved cluster analysis allows one to reveal that the short-range structural order in liquid gallium is determined by a range of the correlation lengths. This analysis performed over set of independent samples corresponding to equilibrium liquid phase discloses that there are no stable crystalline domains as well as molecule-like Ga$_2$ dimers typical for crystal phases of gallium. Structure of liquid gallium can be reproduced by the simplified model of the close-packed system of soft quasi-spheres. The results can be applied to analyze the fine structure of other polyvalent liquid metals.

categories: cond-mat.soft cond-mat.mtrl-sci cond-mat.stat-mech physics.chem-ph physics.comp-ph


title: Sources of multiparticle correlations: a microscopic perspective

abstract: Multiparticle correlations is a hallmark measurement characterizing the behaviour of the assumed Quark Gluon Plasma in heavy ion collisions. In these proceedings an alternative, microscopic approach is resented, based on interacting strings and multiparton interactions.


title: No Entropy Production in Quantum Thermodynamics

abstract: In this work we will show that there exists a fundamental difference between microscopic quantum thermodynamics and macroscopic classical thermodynamics. It will be proved that the entropy production in quantum thermodynamics always vanishes for both closed and open quantum thermodynamic systems. This novel and very surprising result is derived based on the genuine reasoning Clausius used to establish the science of thermodynamics in the first place. This result will interestingly lead to define the generalized temperature for any non-equilibrium quantum system.


title: Point transformations: exact solutions of the quantum time-dependent mass nonstationary oscillator

abstract: In this note we address the exact solutions of a time-dependent Hamiltonian composed by an oscillator-like interaction with both a frequency and a mass term that depend on time. The latter is achieved by constructing the appropriate point transformation such that it deforms the Schr\"odinger equation of a stationary oscillator into the one of the time-dependent model. Thus, the solutions of the latter can be seen as deformations of the well known solutions of the stationary oscillator, and thus an orthogonal set of solutions can be determined in a straightforward way. The latter is possible since the inner product structure is preserved by the point transformation. Also, any invariant operator of the stationary oscillator is transformed into an invariant of the time-dependent model. This property leads to a straightforward way to determine constants of motion without requiring to use ansatz.


title: MPM: Joint Representation of Motion and Position Map for Cell Tracking

abstract: Conventional cell tracking methods detect multiple cells in each frame (detection) and then associate the detection results in successive time-frames (association). Most cell tracking methods perform the association task independently from the detection task. However, there is no guarantee of preserving coherence between these tasks, and lack of coherence may adversely affect tracking performance. In this paper, we propose the Motion and Position Map (MPM) that jointly represents both detection and association for not only migration but also cell division. It guarantees coherence such that if a cell is detected, the corresponding motion flow can always be obtained. It is a simple but powerful method for multi-object tracking in dense environments. We compared the proposed method with current tracking methods under various conditions in real biological images and found that it outperformed the state-of-the-art (+5.2\% improvement compared to the second-best).


title: Determining the nature of quantum resonances by probing elastic and reactive scattering in cold collisions

abstract: Scattering resonances play a central role in collision processes in physics and chemistry. They help building an intuitive understanding of the collision dynamics due to the spatial localization of the scattering wavefunctions. For resonances that are localized in the reaction region, located at short separation behind the centrifugal barrier, sharp peaks in the reaction rates are the characteristic signature, observed recently with state-of-the-art experiments in low energy collisions. If, however, the localization occurs outside of the reaction region, mostly the elastic scattering is modified. This may occur due to above barrier resonances, the quantum analogue of classical orbiting. By probing both elastic and inelastic scattering of metastable helium with deuterium molecules in merged beam experiments, we differentiate between the nature of quantum resonances -- tunneling vs above barrier -- and corroborate our findings by calculating the corresponding scattering wavefunctions.


title: Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities

abstract: Directed fuzzing focuses on automatically testing specific parts of the code by taking advantage of additional information such as (partial) bug stack trace, patches or risky operations. Key applications include bug reproduction, patch testing and static analysis report verification. Although directed fuzzing has received a lot of attention recently, hard-to-detect vulnerabilities such as Use-After-Free (UAF) are still not well addressed, especially at the binary level. We propose UAFuzz, the first (binary-level) directed greybox fuzzer dedicated to UAF bugs. The technique features a fuzzing engine tailored to UAF specifics, a lightweight code instrumentation and an efficient bug triage step. Experimental evaluation for bug reproduction on real cases demonstrates that UAFuzz significantly outperforms state-of-the-art directed fuzzers in terms of fault detection rate, time to exposure and bug triaging. UAFuzz has also been proven effective in patch testing, leading to the discovery of 30 new bugs (7 CVEs) in programs such as Perl, GPAC and GNU Patch. Finally, we provide to the community a large fuzzing benchmark dedicated to UAF, built on both real codes and real bugs.


title: Analysis of Amnesiac Flooding

abstract: The broadcast operation in distributed systems is used to spread information located at some nodes to all other nodes. This operation is often realized by flooding, where the source nodes send a message containing the information to all neighbors. Each node receiving the message for the first time forwards it to all other neighbors. A stateless variant of flooding for synchronous systems is called amnesiac flooding. In this case, every time a node receives a message, it forwards it to those neighbors, from which it did not receive the message in the current round. The algorithm is oblivious and therefore scales very well. Stateless protocols are advantageous in high volume applications, increasing performance by removing the load caused by retention of session information and by providing crash tolerance. In this paper we analyze the termination time of amnesiac flooding. We define the (k,c)-flooding problem, which aims at finding a set $S$ of size $k$, such that amnesiac flooding when started concurrently by all nodes of $S$ terminates in a minimal number of rounds. We prove that this problem is NP-complete. We provide sharp upper and lower bounds for the time complexity of amnesiac flooding and reveal a discrepancy between bipartite and non-bipartite graphs. All results are based on the insight, that for every non-bipartite graph there exists a bipartite graph such that the execution of amnesiac flooding on both graphs is strongly correlated. This construction considerably simplifies existing proofs for amnesiac flooding and allows to analyze the (k,c)-flooding problem.


title: Bias-field-free spin Hall nano-oscillators with an out-of-plane precession mode

abstract: Spin Hall nano-oscillators (SHNOs) are promising candidates for new microwave oscillators with high durability due to a small driving current. However, conventional SHNOs with an in-plane precession (IPP) mode require a bias field for stable oscillations which is not favored in certain applications such as neuromorphic computing. Here, we propose and theoretically analyze a bias-field-free SHNO with an in-plane hard axis and an out-of-plane precession (OPP) mode by solving the Landau-Lifshitz-Gilbert (LLG) equation analytically and numerically. We derive formulas for driving currents and precession frequency, and show that they are in good agreement with numerical simulation results. We show that our proposed SHNOs can be driven by much smaller bias current than conventional spin torque nano-oscillators.


title: Green kernel and Martin kernel of Schr\"odinger operators with singular potential and application to the B.V.P. for linear elliptic equations

abstract: Let $\Omega \subset \mathbb{R}^N$ ($N \geq 3$) be a $C^2$ bounded domain and $K \subset \Omega$ be a compact, $C^2$ submanifold in $\mathbb{R}^N$ without boundary, of dimension $k$ with $0\leq k < N-2$. We consider the Schr\"odinger operator $L_\mu = \Delta + \mu d_K^{-2}$ in $\Omega \setminus K$, where $d_K(x) = \text{dist}(x,K)$. The optimal Hardy constant $H=(N-k-2)/2$ is deeply involved in the study of $-L_\mu$. When $\mu \leq H^2$, we establish sharp, two-sided estimates for Green kernel and Martin kernel of $-L_\mu$. We use these estimates to prove the existence, uniqueness and a priori estimates of the solution to the boundary value problem with measures for linear equations associated to $-L_\mu$


title: Coloring triangle-free L-graphs with $O(\log\log n)$ colors

abstract: It is proved that triangle-free intersection graphs of $n$ L-shapes in the plane have chromatic number $O(\log\log n)$. This improves the previous bound of $O(\log n)$ (McGuinness, 1996) and matches the known lower bound construction (Pawlik et al., 2013).


title: Euler integral and perihelion librations

abstract: We discuss dynamical aspects of an analysis of the two--centre problem started in [15]. The perturbative nature of our approach allows us to foresee applications to the three--body problem.


title: Edge-Enhanced Graph Convolution Networks for Event Detection with Syntactic Relation

abstract: Event detection (ED), a key subtask of information extraction, aims to recognize instances of specific event types in text. Previous studies on the task have verified the effectiveness of integrating syntactic dependency into graph convolutional networks. However, these methods usually ignore dependency label information, which conveys rich and useful linguistic knowledge for ED. In this paper, we propose a novel architecture named Edge-Enhanced Graph Convolution Networks (EE-GCN), which simultaneously exploits syntactic structure and typed dependency label information to perform ED. Specifically, an edge-aware node update module is designed to generate expressive word representations by aggregating syntactically-connected words through specific dependency types. Furthermore, to fully explore clues hidden in dependency edges, a node-aware edge update module is introduced, which refines the relation representations with contextual information. These two modules are complementary to each other and work in a mutual promotion way. We conduct experiments on the widely used ACE2005 dataset and the results show significant improvement over competitive baseline methods.


title: Network-Density-Controlled Decentralized Parallel Stochastic Gradient Descent in Wireless Systems

abstract: This paper proposes a communication strategy for decentralized learning on wireless systems. Our discussion is based on the decentralized parallel stochastic gradient descent (D-PSGD), which is one of the state-of-the-art algorithms for decentralized learning. The main contribution of this paper is to raise a novel open question for decentralized learning on wireless systems: there is a possibility that the density of a network topology significantly influences the runtime performance of D-PSGD. In general, it is difficult to guarantee delay-free communications without any communication deterioration in real wireless network systems because of path loss and multi-path fading. These factors significantly degrade the runtime performance of D-PSGD. To alleviate such problems, we first analyze the runtime performance of D-PSGD by considering real wireless systems. This analysis yields the key insights that dense network topology (1) does not significantly gain the training accuracy of D-PSGD compared to sparse one, and (2) strongly degrades the runtime performance because this setting generally requires to utilize a low-rate transmission. Based on these findings, we propose a novel communication strategy, in which each node estimates optimal transmission rates such that communication time during the D-PSGD optimization is minimized under the constraint of network density, which is characterized by radio propagation property. The proposed strategy enables to improve the runtime performance of D-PSGD in wireless systems. Numerical simulations reveal that the proposed strategy is capable of enhancing the runtime performance of D-PSGD.


title: Subcycling of particle orbits in variational, geometric electromagnetic particle-in-cell methods

abstract: This paper investigates subcycling of particle orbits in variational, geometric particle-in-cell methods addressing the Vlasov--Maxwell system in magnetized plasmas. The purpose of subcycling is to allow different time steps for different particle species and, ideally, time steps longer than the electron gyroperiod for the global field solves while sampling the local cyclotron orbits accurately. The considered algorithms retain the electromagnetic gauge invariance of the discrete action, guaranteeing a local charge conservation law, while the variational approach provides a bounded long-time energy behavior.

categories: physics.comp-ph cs.NA math.NA physics.plasm-ph


title: Phononic waveguide assisted steady state entanglement of SiV centers

abstract: Multiparticle entanglement is of great significance for quantum metrology and quantum information processing. We here present an efficient scheme to generate stable multiparticle entanglement in a solid state setup, where an array of silicon-vacancy centers are embedded in a quasi-one-dimensional acoustic diamond waveguide. In this scheme, the continuum of phonon modes induces a controllable dissipative coupling among the SiV centers. We show that, by an appropriate choice of the distance between the SiV centers, the dipole-dipole interactions can be switched off due to destructive interferences, thus realizing a Dicke superradiance model. This gives rise to an entangled steady state of SiV centers with high fidelities. The protocol provides a feasible setup for the generation of multiparticle entanglement in a solid state system.


title: Some notes on concentration for $\alpha$-subexponential random variables

abstract: We prove extensions of classical concentration inequalities for random variables which have $\alpha$-subexponential tail decay for any $\alpha \in (0,2]$. This includes Hanson--Wright type and convex concentration inequalities. We also provide some applications of these results. This includes uniform Hanson--Wright inequalities and concentration results for simple random tensors in the spirit of previous work by Klochkov--Zhivotovskiy and Vershynin.


title: Fourth-order Coronagraph for High-Contrast Imaging of Exoplanets with Off-axis Segmented Telescopes

abstract: We propose a coronagraphic system with fourth-order null for off-axis segmented telescopes, which is sufficiently insensitive to the telescope pointing errors and finite angular diameter of the host star to enable high-contrast imaging of potentially habitable planets. The inner working angle of the coronagraphic system is close to $1\lambda/D$, and there is no outer limit. The proposed coronagraphic system is made up of a new focal plane mask and an optimized Lyot stop with the second-order null. The new focal plane mask is an extension of the band-limited masks with a phase modulation. We construct a coronagraphic system with fourth-order null by placing two of the new coronagraph systems in succession to be orthogonal to each other. The proposed system is limited to narrow-band usage. The characteristics of the proposed coronagraph system are derived analytically, which includes: (1)the leak of stellar lights due to finite stellar diameter and pointing jitter of a telescope, and (2)the peak throughput. We achieve the performance simulations of this coronagraphic system based on these analytical expressions, considering a monochromatic light of 0.75$\mathrm{\mu}$m and off-axis primary mirror with a diameter of 8.5m. Thanks to the wide working area of the mask, the result shows that terrestrial planets orbiting K and G-dwarfs can be detected under the condition that the telescope pointing jitter is less than $0.01\lambda/D\approx240$as. The proposed coronagraphic system is promising for detection of potentially habitable planets with future space off-axis hexagonally segmented telescopes.


title: Capacitance-Voltage (C-V) Characterization of Graphene-Silicon Heterojunction Photodiodes

abstract: Heterostructures of two-dimensional (2D) and three-dimensional (3D) materials form efficient devices for utilizing the properties of both classes of materials. Graphene/silicon (G/Si) Schottky diodes have been studied extensively with respect to their optoelectronic properties. Here, we introduce a method to analyze measured capacitance-voltage data of G/Si Schottky diodes connected in parallel with G/silicon dioxide/Si (GIS) capacitors. We also demonstrate the accurate extraction of the built-in potential ($\Phi$$_{bi}$) and the Schottky barrier height from the measurement data independent of the Richardson constant.


title: FairRec: Two-Sided Fairness for Personalized Recommendations in Two-Sided Platforms

abstract: We investigate the problem of fair recommendation in the context of two-sided online platforms, comprising customers on one side and producers on the other. Traditionally, recommendation services in these platforms have focused on maximizing customer satisfaction by tailoring the results according to the personalized preferences of individual customers. However, our investigation reveals that such customer-centric design may lead to unfair distribution of exposure among the producers, which may adversely impact their well-being. On the other hand, a producer-centric design might become unfair to the customers. Thus, we consider fairness issues that span both customers and producers. Our approach involves a novel mapping of the fair recommendation problem to a constrained version of the problem of fairly allocating indivisible goods. Our proposed FairRec algorithm guarantees at least Maximin Share (MMS) of exposure for most of the producers and Envy-Free up to One item (EF1) fairness for every customer. Extensive evaluations over multiple real-world datasets show the effectiveness of FairRec in ensuring two-sided fairness while incurring a marginal loss in the overall recommendation quality.


title: Unified scaling law for rate factor of crystallization kinetics

abstract: Features of the crystallization kinetics define directly the rate characteristics: the crystal nucleation rate, the crystal growth rate and the so-called kinetic rate factor known also as the attachment rate (of particles to the surface of a crystalline nucleus). We show that the kinetic rate factor as function of the reduced temperature follows a unified scaled power law. This scenario is confirmed by our simulation results for model atomistic systems (crystallizing volumetric liquids and liquid thin film) and by available experimental data for crystallizing polymers. We find that the exponent of this unified scaling law is associated with a measure of the glass-forming ability of a system. The results of the present study extend the idea of a unified description of the rate characteristics of the crystal nucleation and growth kinetics by means of the scaling relations.

categories: cond-mat.mtrl-sci cond-mat.soft cond-mat.stat-mech physics.chem-ph physics.comp-ph


title: Teaching the Old Dog New Tricks: Supervised Learning with Constraints

abstract: Adding constraint support in Machine Learning has the potential to address outstanding issues in data-driven AI systems, such as safety and fairness. Existing approaches typically apply constrained optimization techniques to ML training, enforce constraint satisfaction by adjusting the model design, or use constraints to correct the output. Here, we investigate a different, complementary, strategy based on "teaching" constraint satisfaction to a supervised ML method via the direct use of a state-of-the-art constraint solver: this enables taking advantage of decades of research on constrained optimization with limited effort. In practice, we use a decomposition scheme alternating master steps (in charge of enforcing the constraints) and learner steps (where any supervised ML model and training algorithm can be employed). The process leads to approximate constraint satisfaction in general, and convergence properties are difficult to establish; despite this fact, we found empirically that even a na\"ive setup of our approach performs well on ML tasks with fairness constraints, and on classical datasets with synthetic constraints.


title: Sequence-to-Sequence Imputation of Missing Sensor Data

abstract: Although the sequence-to-sequence (encoder-decoder) model is considered the state-of-the-art in deep learning sequence models, there is little research into using this model for recovering missing sensor data. The key challenge is that the missing sensor data problem typically comprises three sequences (a sequence of observed samples, followed by a sequence of missing samples, followed by another sequence of observed samples) whereas, the sequence-to-sequence model only considers two sequences (an input sequence and an output sequence). We address this problem by formulating a sequence-to-sequence in a novel way. A forward RNN encodes the data observed before the missing sequence and a backward RNN encodes the data observed after the missing sequence. A decoder decodes the two encoders in a novel way to predict the missing data. We demonstrate that this model produces the lowest errors in 12% more cases than the current state-of-the-art.


title: A Type Ia supernova at the heart of superluminous transient SN 2006gy

abstract: Superluminous supernovae radiate up to 100 times more energy than normal supernovae. The origin of this energy and the nature of their stellar progenitors are poorly understood. We identify neutral iron lines in the spectrum of one such transient, SN 2006gy, and show that they require a large mass of iron (>~0.3 Msun) expanding at 1500 km/s. We demonstrate that a model of a standard Type Ia supernova hitting a shell of circumstellar material produces a light curve and late-time iron-dominated spectrum that match SN 2006gy. In such a scenario, common envelope evolution of the progenitor system can synchronize envelope ejection and supernova explosion and may explain these bright transients.


title: Can speed up the convergence rate of stochastic gradient methods to $\mathcal{O}(1/k^2)$ by a gradient averaging strategy?

abstract: In this paper we consider the question of whether it is possible to apply a gradient averaging strategy to improve on the sublinear convergence rates without any increase in storage. Our analysis reveals that a positive answer requires an appropriate averaging strategy and iterations that satisfy the variance dominant condition. As an interesting fact, we show that if the iterative variance we defined is always dominant even a little bit in the stochastic gradient iterations, the proposed gradient averaging strategy can increase the convergence rate $\mathcal{O}(1/k)$ to $\mathcal{O}(1/k^2)$ in probability for the strongly convex objectives with Lipschitz gradients. This conclusion suggests how we should control the stochastic gradient iterations to improve the rate of convergence.


title: ScopeFlow: Dynamic Scene Scoping for Optical Flow

abstract: We propose to modify the common training protocols of optical flow, leading to sizable accuracy improvements without adding to the computational complexity of the training process. The improvement is based on observing the bias in sampling challenging data that exists in the current training protocol, and improving the sampling process. In addition, we find that both regularization and augmentation should decrease during the training protocol. Using an existing low parameters architecture, the method is ranked first on the MPI Sintel benchmark among all other methods, improving the best two frames method accuracy by more than 10%. The method also surpasses all similar architecture variants by more than 12% and 19.7% on the KITTI benchmarks, achieving the lowest Average End-Point Error on KITTI2012 among two-frame methods, without using extra datasets.


title: Cosmic microwave background bounds on primordial black holes including dark matter halo accretion

abstract: Even if massive ($10\,M_\odot \lesssim M \lesssim 10^4 M_\odot$) primordial black holes (PBHs) can only account for a small fraction of the dark matter (DM) in the universe, they may still be responsible for a sizable fraction of the coalescence events measured by LIGO/Virgo, and/or act as progenitors of the supermassive black holes (SMBHs) observed already at high redshift ($z\gtrsim 6$). In presence of a dominant, non-PBH DM component, the bounds set by CMB via an altered ionization history are modified. We revisit the cosmological accretion of a DM halo around PBHs via toy models and dedicated numerical simulations, deriving updated CMB bounds which also take into account the last Planck data release. We prove that these constraints dominate over other constraints available in the literature at masses $M\gtrsim 20-50\,M_\odot$ (depending on uncertainty in accretion physics), reaching the level $f_{\rm PBH}<3\times 10^{-9}$ around $M\sim 10^{4}\,M_\odot$. These tight bounds are nonetheless consistent with the hypothesis of a primordial origin of the SMBH massive seeds.