title: How To Backdoor Federated Learning

abstract: Federated learning enables thousands of participants to construct a deep learning model without sharing their private training data with each other. For example, multiple smartphones can jointly train a next-word predictor for keyboards without revealing what individual users type. We demonstrate that any participant in federated learning can introduce hidden backdoor functionality into the joint global model, e.g., to ensure that an image classifier assigns an attacker-chosen label to images with certain features, or that a word predictor completes certain sentences with an attacker-chosen word. We design and evaluate a new model-poisoning methodology based on model replacement. An attacker selected in a single round of federated learning can cause the global model to immediately reach 100% accuracy on the backdoor task. We evaluate the attack under different assumptions for the standard federated-learning tasks and show that it greatly outperforms data poisoning. Our generic constrain-and-scale technique also evades anomaly detection-based defenses by incorporating the evasion into the attacker's loss function during training.


title: Transition to high-dimensional chaos in nonsmooth dynamical systems

abstract: We uncover a route from low-dimensional to high-dimensional chaos in nonsmooth dynamical systems as a bifurcation parameter is continuously varied. The striking feature is the existence of a finite parameter interval of periodic attractors in between the regimes of low- and high-dimensional chaos. That is, the emergence of high-dimensional chaos is preceded by the system's settling into a totally nonchaotic regime. This is characteristically distinct from the situation in smooth dynamical systems where high-dimensional chaos emerges directly and smoothly from low-dimensional chaos. We carry out an analysis to elucidate the underlying mechanism for the abrupt emergence and disappearance of the periodic attractors and provide strong numerical support for the typicality of the transition route in the pertinent two-dimensional parameter space. The finding has implications to applications where high-dimensional and robust chaos is desired.


title: Debiasing representations by removing unwanted variation due to protected attributes

abstract: We propose a regression-based approach to removing implicit biases in representations. On tasks where the protected attribute is observed, the method is statistically more efficient than known approaches. Further, we show that this approach leads to debiased representations that satisfy a first order approximation of conditional parity. Finally, we demonstrate the efficacy of the proposed approach by reducing racial bias in recidivism risk scores.


title: ColdRoute: Effective Routing of Cold Questions in Stack Exchange Sites

abstract: Routing questions in Community Question Answer services (CQAs) such as Stack Exchange sites is a well-studied problem. Yet, cold-start -- a phenomena observed when a new question is posted is not well addressed by existing approaches. Additionally, cold questions posted by new askers present significant challenges to state-of-the-art approaches. We propose ColdRoute to address these challenges. ColdRoute is able to handle the task of routing cold questions posted by new or existing askers to matching experts. Specifically, we use Factorization Machines on the one-hot encoding of critical features such as question tags and compare our approach to well-studied techniques such as CQARank and semantic matching (LDA, BoW, and Doc2Vec). Using data from eight stack exchange sites, we are able to improve upon the routing metrics (Precision$@1$, Accuracy, MRR) over the state-of-the-art models such as semantic matching by $159.5\%$,$31.84\%$, and $40.36\%$ for cold questions posted by existing askers, and $123.1\%$, $27.03\%$, and $34.81\%$ for cold questions posted by new askers respectively.


title: Primordial Black Holes from Affleck-Dine Mechanism

abstract: The recent observations of the gravitational waves (GWs) by LIGO-Virgo collaboration infer the increasing possibility of the primordial black holes (PBHs). Recently it was pointed out that sufficient PBHs are produced by the Affleck-Dine mechanism where inhomogeneous baryogenesis takes place due to change of the Hubble induced mass during and after inflation and forms high baryon bubbles (HBBs). The produced HBBs have large density contrasts through the QCD phase transition or stable Q-ball formation, which leads to formation of the LIGO PBHs. Furthermore, in this model stringent constraints from CMB $\mu$-distortion and pulsar timing array (PTA) experiments are completely absent. In this paper, we study the model in full details based on gravity and gauge mediated supersymmetry breaking scenarios and show that the model can explain the current GWs events evading observational constraints.


title: Leveraging the Channel as a Sensor: Real-time Vehicle Classification Using Multidimensional Radio-fingerprinting

abstract: Upcoming Intelligent Transportation Systems (ITSs) will transform roads from static resources to dynamic Cyber Physical Systems (CPSs) in order to satisfy the requirements of future vehicular traffic in smart city environments. Up-to-date information serves as the basis for changing street directions as well as guiding individual vehicles to a fitting parking slot. In this context, not only abstract indicators like traffic flow and density are required, but also data about mobility parameters and class information of individual vehicles. Consequently, accurate and reliable systems that are capable of providing these kinds of information in real-time are highly demanded. In this paper, we present a system for classifying vehicles based on their radio-fingerprints which applies cutting-edge machine learning models and can be non-intrusively installed into the existing road infrastructure in an ad-hoc manner. In contrast to other approaches, it is able to provide accurate classification results without causing privacy-violations or being vulnerable to challenging weather conditions. Moreover, it is a promising candidate for large-scale city deployments due to its cost-efficient installation and maintenance properties. The proposed system is evaluated in a comprehensive field evaluation campaign within an experimental live deployment on a German highway, where it is able to achieve a binary classification success ratio of more than 99% and an overall accuracy of 89.15% for a fine-grained classification task with nine different classes.


title: On the explicit calculation of Hirzebruch-Milnor classes of hyperplane arrangements

abstract: The Hirzebruch-Milnor class is given by the difference between the homology Hirzebruch characteristic class and the virtual one. It is known that the Hirzebruch-Milnor class for a certain singular hypersurface can be calculated by using the Hodge spectrum of each stratum of singular locus. So far there is no explicit calculation of this invariant for any non-trivial examples, and we calculate this invariant by two different ways for low dimmensional hyperplane arrangements.


title: Quaternionic loci in Siegel's modular threefold

abstract: Let $\mathcal Q_D$ be the set of moduli points on Siegel's modular threefold whose corresponding principally polarized abelian surfaces have quaternionic multiplication by a maximal order $\mathcal O$ in an indefinite quaternion algebra of discriminant $D$ over $\mathbb Q$ such that the Rosati involution coincides with a positive involution of the form $\alpha\mapsto\mu^{-1}\overline\alpha\mu$ on $\mathcal O$ for some $\mu\in\mathcal O$ with $\mu^2+D=0$. In this paper, we first give a formula for the number of irreducible components in $\mathcal Q_D$, strengthening an earlier result of Rotger. Then for each irreducible component of genus $0$, we determine its rational parameterization in terms of a Hauptmodul of the associated Shimura curve.


title: Estimation of Large Motion in Lung CT by Integrating Regularized Keypoint Correspondences into Dense Deformable Registration

abstract: We present a novel algorithm for the registration of pulmonary CT scans. Our method is designed for large respiratory motion by integrating sparse keypoint correspondences into a dense continuous optimization framework. The detection of keypoint correspondences enables robustness against large deformations by jointly optimizing over a large number of potential discrete displacements, whereas the dense continuous registration achieves subvoxel alignment with smooth transformations. Both steps are driven by the same normalized gradient fields data term. We employ curvature regularization and a volume change control mechanism to prevent foldings of the deformation grid and restrict the determinant of the Jacobian to physiologically meaningful values. Keypoint correspondences are integrated into the dense registration by a quadratic penalty with adaptively determined weight. Using a parallel matrix-free derivative calculation scheme, a runtime of about 5 min was realized on a standard PC. The proposed algorithm ranks first in the EMPIRE10 challenge on pulmonary image registration. Moreover, it achieves an average landmark distance of 0.82 mm on the DIR-Lab COPD database, thereby improving upon the state of the art in accuracy by 15%. Our algorithm is the first to reach the inter-observer variability in landmark annotation on this dataset.


title: Automated Directed Fairness Testing

abstract: Fairness is a critical trait in decision making. As machine-learning models are increasingly being used in sensitive application domains (e.g. education and employment) for decision making, it is crucial that the decisions computed by such models are free of unintended bias. But how can we automatically validate the fairness of arbitrary machine-learning models? For a given machine-learning model and a set of sensitive input parameters, our AEQUITAS approach automatically discovers discriminatory inputs that highlight fairness violation. At the core of AEQUITAS are three novel strategies to employ probabilistic search over the input space with the objective of uncovering fairness violation. Our AEQUITAS approach leverages inherent robustness property in common machine-learning models to design and implement scalable test generation methodologies. An appealing feature of our generated test inputs is that they can be systematically added to the training set of the underlying model and improve its fairness. To this end, we design a fully automated module that guarantees to improve the fairness of the underlying model. We implemented AEQUITAS and we have evaluated it on six state-of-the-art classifiers, including a classifier that was designed with fairness constraints. We show that AEQUITAS effectively generates inputs to uncover fairness violation in all the subject classifiers and systematically improves the fairness of the respective models using the generated test inputs. In our evaluation, AEQUITAS generates up to 70% discriminatory inputs (w.r.t. the total number of inputs generated) and leverages these inputs to improve the fairness up to 94%.


title: q-Stability conditions on Calabi-Yau-X categories

abstract: We introduce $q$-stability conditions $(\sigma,s)$ on Calabi-Yau-$\mathbb{X}$ categories $\mathcal{D}_\mathbb{X}$, where $\sigma$ is a stability condition on $\mathcal{D}_\mathbb{X}$ and $s$ a complex number. We prove the corresponding deformation theorem, that $\operatorname{QStab}_s\mathcal{D}_\mathbb{X}$ is a complex manifold of dimension $n$ for fixed $s$, where $n$ is the rank of the Grotendieck group of $\mathcal{D}_\mathbb{X}$ over $\mathbb{Z}[q^{\pm 1}]$. When $s=N$ is an integer, we show that the $q$-stability conditions can be identified with the stability conditions on $\mathcal{D}_N$, provided the orbit category $\mathcal{D}_N=\mathcal{D}_\mathbb{X}/[\mathbb{X}-N]$ is well defined. To attack the questions on existence and deformation along $s$ direction, we introduce the inducing method. Sufficient and necessary conditions are given, for a stability condition on an $\mathbb{X}$-baric heart (that is, an usual triangulated category) of $\mathcal{D}_\mathbb{X}$ to induce $q$-stability conditions on $\mathcal{D}_\mathbb{X}$. As a consequence, we show that the space $\operatorname{QStab}^\oplus\mathcal{D}_\mathbb{X}$ of (induced) open $q$-stability conditions is a complex manifold of dimension $n+1$. Our motivating examples for $\mathcal{D}_\mathbb{X}$ are coming from Calabi-Yau-$\mathbb{X}$ completions of dg algebras. In the case of smooth projective varieties, the $\mathbb{C}^*$-equivariant coherent sheaves on canonical bundles provide the Calabi-Yau-$\mathbb{X}$ categories. Another application is that we show the prefect derived categories can be realized as cluster-$\mathbb{X}$ categories for acyclic quivers.


title: Exact solution to an extremal problem on graphic sequences with a realization containing every $2$-tree on $k$ vertices

abstract: A simple graph $G$ is an {\it 2-tree} if $G=K_3$, or $G$ has a vertex $v$ of degree 2, whose neighbors are adjacent, and $G-v$ is an 2-tree. Clearly, if $G$ is an 2-tree on $n$ vertices, then $|E(G)|=2n-3$. A non-increasing sequence $\pi=(d_1,\ldots,d_n)$ of nonnegative integers is a {\it graphic sequence} if it is realizable by a simple graph $G$ on $n$ vertices. Yin and Li (Acta Mathematica Sinica, English Series, 25(2009)795--802) proved that if $k\ge 2$, $n\ge \frac{9}{2}k^2+\frac{19}{2}k$ and $\pi=(d_1,\ldots,d_n)$ is a graphic sequence with $\sum\limits_{i=1}^n d_i>(k-2)n$, then $\pi$ has a realization containing every 1-tree (the usual tree) on $k$ vertices. Moreover, the lower bound $(k-2)n$ is the best possible. This is a variation of a conjecture due to Erd\H{o}s and S\'{o}s. In this paper, we investigate an analogue problem for $2$-trees and prove that if $k\ge 3$ is an integer with $k\equiv i(\mbox{mod }3)$, $n\geq20\lfloor\frac{k}{3}\rfloor^2+31\lfloor\frac{k}{3}\rfloor+12$ and $\pi=(d_1,\ldots,d_n)$ is a graphic sequence with $\sum\limits_{i=1}^n d_i>\max\{(k-1)(n-1),2\lfloor\frac{2k}{3}\rfloor n-2n-\lfloor\frac{2k}{3}\rfloor^2+\lfloor\frac{2k}{3}\rfloor+1-(-1)^i\}$, then $\pi$ has a realization containing every 2-tree on $k$ vertices. Moreover, the lower bound $\max\{(k-1)(n-1),2\lfloor\frac{2k}{3}\rfloor n-2n-\lfloor\frac{2k}{3}\rfloor^2+\lfloor\frac{2k}{3}\rfloor+1-(-1)^i\}$ is the best possible. This result implies a conjecture due to Zeng and Yin (Discrete Math. Theor. Comput. Sci., 17(3)(2016), 315--326).


title: Unified Scheduling for Predictable Communication Reliability in Cellular Networks with D2D Links

abstract: Cellular networks with D2D links are increasingly being explored for mission-critical applications (e.g., real-time control and AR/VR) which require predictable communication reliability. Thus it is critical to control interference among concurrent transmissions in a predictable manner to ensure the required communication reliability. To this end, we propose a Unified Cellular Scheduling (UCS) framework that, based on the Physical-Ratio-K (PRK) interference model, schedules uplink, downlink, and D2D transmissions in a unified manner to ensure predictable communication reliability while maximizing channel spatial reuse. UCS also provides a simple, effective approach to mode selection that maximizes the communication capacity for each involved communication pair. UCS effectively uses multiple channels for high throughput as well as resilience to channel fading and external interference. Leveraging the availability of base stations (BSes) as well as high-speed, out-of-band connectivity between BSes, UCS effectively orchestrates the functionalities of BSes and user equipment (UE) for light-weight control signaling and ease of incremental deployment and integration with existing cellular standards. We have implemented UCS using the open-source, standards-compliant cellular networking platform OpenAirInterface. We have validated the OpenAirInterface implementation using USRP B210 software-defined radios and lab deployment. We have also evaluated UCS through high-fidelity, at-scale simulation studies; we observe that UCS ensures predictable communication reliability while achieving a higher channel spatial reuse rate than existing mechanisms, and that the distributed UCS framework enables a channel spatial reuse rate statistically equal to that in the state-of-the-art centralized scheduling algorithm iOrder.


title: Linear algebraic structure of zero-determinant strategies in repeated games

abstract: Zero-determinant (ZD) strategies, a recently found novel class of strategies in repeated games, has attracted much attention in evolutionary game theory. A ZD strategy unilaterally enforces a linear relation between average payoffs of players. Although existence and evolutional stability of ZD strategies have been studied in simple games, their mathematical properties have not been well-known yet. For example, what happens when more than one players employ ZD strategies have not been clarified. In this paper, we provide a general framework for investigating situations where more than one players employ ZD strategies in terms of linear algebra. First, we theoretically prove that a set of linear relations of average payoffs enforced by ZD strategies always has solutions, which implies that incompatible linear relations are impossible. Second, we prove that linear payoff relations are independent of each other under some conditions. These results hold for general games with public monitoring including perfect-monitoring games. Furthermore, we provide a simple example of a two-player game in which one player can simultaneously enforce two linear relations, that is, simultaneously control her and her opponent's average payoffs. All of these results elucidate general mathematical properties of ZD strategies.


title: On the vertex cover number of 3 uniform hypergraph

abstract: Given a hypergraph H(V;E), a set of vertices S in V is a vertex cover if every edge has at least a vertex in S. The vertex cover number is the minimum cardinality of a vertex cover, denoted by t(H). In this paper, we prove that for every 3 uniform connected hypergraph H(V;E), t(H)<=(2m+1)/3 holds on where m is the number of edges. Furthermore, the equality holds on if and only if H(V;E) is a hypertree with perfect matching.


title: Information theoretic limits of state-dependent networks

abstract: We investigate the information theoretic limits of two types of state-dependent models in this dissertation. These models capture a wide range of wireless communication scenarios where there are interference cognition among transmitters. Hence, information theoretic studies of these models provide useful guidelines for designing new interference cancellation schemes in practical wireless networks. In particular, we first study the two-user state-dependent Gaussian multiple access channel (MAC) with a helper. Inner and outer bounds on the capacity region are first derived, which improve the state-of-the-art bounds given in the literature. Further comparison of these bounds yields either segments on the capacity region boundary or the full capacity region by considering various regimes of channel parameters. We then study the two-user Gaussian state-dependent Z-IC and state-dependent IC. Three interference regimes are studied, and the capacity region or the sum capacity boundary is characterized either fully or partially under various channel parameters. The impact of the correlation between the states on the cancellation of state and interference as well as the achievability of the capacity is demonstrated via numerical analysis. Numerical investigation indicates that for the regular IC, the correlation between states impacts the achievability of the channel capacity in a different way from that of the Z-IC.


title: Wandering subspace property for homogeneous invariant subspaces

abstract: For graded Hilbert spaces $H$ and shift-like commuting tuples $T \in B(H)^n$, we show that each homogeneous joint invariant subspace $M$ of $T$ has finite index and is generated by its wandering subspace. Under suitable conditions on the grading $(H_k)_{k\geq 0}$ of $H$ the algebraic direct sum $\tilde{M} = \oplus_{k\geq 0} M \cap H_k$ becomes a finitely generated module over the polynomial ring $\mathbb C[z]$. We show that the wandering subspace $W_T(M)$ of $M$ is contained in $\tilde{M}$ and that each linear basis of $W_T(M)$ forms a minimal set of generators for the $\mathbb C[z]$-module $\tilde{M}$. We describe an algorithm that transforms each set of homogeneous generators of $\tilde{M}$ into a minimal set of generators and can be used in particular to compute minimal sets of generators for homogeneous ideals $I \subset \mathbb C[z]$. We prove that each $\gamma$-graded commuting row contraction $T \in B(H)^n$ admits a finite weak resolution in the sense of Arveson or Douglas and Misra.


title: Quantum algorithm for visual tracking

abstract: Visual tracking (VT) is the process of locating a moving object of interest in a video. It is a fundamental problem in computer vision, with various applications in human-computer interaction, security and surveillance, robot perception, traffic control, etc. In this paper, we address this problem for the first time in the quantum setting, and present a quantum algorithm for VT based on the framework proposed by Henriques et al. [IEEE Trans. Pattern Anal. Mach. Intell., 7, 583 (2015)]. Our algorithm comprises two phases: training and detection. In the training phase, in order to discriminate the object and background, the algorithm trains a ridge regression classifier in the quantum state form where the optimal fitting parameters of ridge regression are encoded in the amplitudes. In the detection phase, the classifier is then employed to generate a quantum state whose amplitudes encode the responses of all the candidate image patches. The algorithm is shown to be polylogarithmic in scaling, when the image data matrices have low condition numbers, and therefore may achieve exponential speedup over the best classical counterpart. However, only quadratic speedup can be achieved when the algorithm is applied to implement the ultimate task of Henriques's framework, i.e., detecting the object position. We also discuss two other important applications related to VT: (1) object disappearance detection and (2) motion behavior matching, where much more significant speedup over the classical methods can be achieved. This work demonstrates the power of quantum computing in solving computer vision problems.


title: BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof

abstract: New trusted computing primitives such as Intel SGX have shown the feasibility of running user-level applications in enclaves on a commodity trusted processor without trusting a large OS. However, the OS can still compromise the integrity of an enclave by tampering with the system call return values. In fact, it has been shown that a subclass of these attacks, called Iago attacks, enables arbitrary logic execution in enclave programs. Existing enclave systems have very large TCB and they implement ad-hoc checks at the system call interface which are hard to verify for completeness. To this end, we present BesFS--the first filesystem interface which provably protects the enclave integrity against a completely malicious OS. We prove 167 lemmas and 2 key theorems in 4625 lines of Coq proof scripts, which directly proves the safety properties of the BesFS specification. BesFS comprises of 15 APIs with compositional safety and is expressive enough to support 31 real applications we test. BesFS integrates into existing SGX-enabled applications with minimal impact to TCB. BesFS can serve as a reference implementation for hand-coded API checks.


title: TY Pup: a low-mass-ratio and deep contact binary as a progenitor candidate of luminous red novae

abstract: TY Pup is a well-known bright eclipsing binary in southern hemisphere with an orbital period of 0.8192 days. New light curves in $B, V, (RI)_C$ bands were obtained with the 0.61-m reflector robotic telescope (PROMPT-8) at CTIO in Chile from January to February 2015 and from March to April 2017. By analyzing those photometric data with the W-D method, it is found that TY Pup is a low-mass-ratio ($q \sim$ 0.184) and deep contact binary with a high fill-out factor ($84.3\,\%$). An investigation of all available times of minimum light including three new ones obtained with the 60-cm and the 1.0-m telescopes at Yunnan Observatories in China indicates that the period change of TY Pup is complex. An upward parabolic variation in the $O-C$ diagram is detected to be superimposed on a cyclic oscillation. The upward parabolic change reveals a long-term continuous increase in the orbital period at a rate of $\mathrm{d}P/\mathrm{d}t = 5.57(\pm 0.08)\times10^{-8}$ d $\textrm{yr}^{-1}$. The period increase can be explained by mass transfer from the less massive component ($M_2 \sim 0.3 M_{\odot}$) to the more massive one ($M_1 \sim 1.65 M_{\odot}$) and the mass ratio of the binary system will become more smaller. In this way, the binary will be merging when it meets the criterion that the orbital angular momentum is less than 3 times the total spin angular momentum, i.e., $J_{orb} < 3J_{rot}$. This suggests that the system will finally merge into a rapid-rotating single star and may produce a luminous red nova. The cyclic oscillation in the $O-C$ diagram can be interpreted by the light-travel time effect (LITE) via the presence of an additional companion.


title: Perfectly Controllable Multi-Agent Networks

abstract: This note investigates how to design topology structures to ensure the controllability of multi-agent networks (MASs) under any selection of leaders. We put forward a concept of perfect controllability, which means that a multi-agent system is controllable with no matter how the leaders are chosen. In this situation, both the number and the locations of leader agents are arbitrary. A necessary and sufficient condition is derived for the perfect controllability. Moreover, a step-by-step design procedure is proposed by which topologies are constructed and are proved to be perfectly controllable. The principle of the proposed design method is interpreted by schematic diagrams along with the corresponding topology structures from simple to complex. We show that the results are valid for any number and any location of leaders. Both the construction process and the corresponding topology structures are clearly outlined.


title: FATE: Fast and Accurate Timing Error Prediction Framework for Low Power DNN Accelerator Design

abstract: Deep neural networks (DNN) are increasingly being accelerated on application-specific hardware such as the Google TPU designed especially for deep learning. Timing speculation is a promising approach to further increase the energy efficiency of DNN accelerators. Architectural exploration for timing speculation requires detailed gate-level timing simulations that can be time-consuming for large DNNs that execute millions of multiply-and-accumulate (MAC) operations. In this paper we propose FATE, a new methodology for fast and accurate timing simulations of DNN accelerators like the Google TPU. FATE proposes two novel ideas: (i) DelayNet, a DNN based timing model for MAC units; and (ii) a statistical sampling methodology that reduces the number of MAC operations for which timing simulations are performed. We show that FATE results in between 8 times-58 times speed-up in timing simulations, while introducing less than 2% error in classification accuracy estimates. We demonstrate the use of FATE by comparing to conventional DNN accelerator that uses 2's complement (2C) arithmetic with an alternative implementation that uses signed magnitude representations (SMR). We show that that the SMR implementation provides 18% more energy savings for the same classification accuracy than 2C, a result that might be of independent interest.


title: The perfect matching association scheme

abstract: We revisit the Bose-Mesner algebra of the perfect matching association scheme. Our main results are: 1. An inductive algorithm, based on solving linear equations, to compute the eigenvalues of the orbital basis elements given the central characters of the symmetric groups. 2. Universal formulas, as content evaluations of symmetric functions, for the eigenvalues of fixed orbitals. 3. An inductive construction of an eigenvector (the so called first Gelfand-Tsetlin vector) in each eigenspace leading to a different inductive algorithm (not using central characters) for the eigenvalues of the orbital basis elements.


title: Tap-based User Authentication for Smartwatches

abstract: This paper presents TapMeIn, an eyes-free, two-factor authentication method for smartwatches. It allows users to tap a memorable melody (tap-password) of their choice anywhere on the touchscreen to unlock their watch. A user is verified based on the tap-password as well as her physiological and behavioral characteristics when tapping. Results from preliminary experiments with 41 participants show that TapMeIn could achieve an accuracy of 98.7% with a False Positive Rate of only 0.98%. In addition, TapMeIn retains its performance in different conditions such as sitting and walking. In terms of speed, TapMeIn has an average authentication time of 2 seconds. A user study with the System Usability Scale (SUS) tool suggests that TapMeIn has a high usability score.


title: Interacting holographic Ricci dark energy as running vacuum

abstract: Earlier studies have shown that, in a two component model of the universe with dark matter and the running vacuum energy which is phenomenologically a combination of $H^2$ and $\dot{H},$ produces either eternal deceleration or acceleration in the absence of a bare constant in the density of the running vacuum. In this paper we have shown that, in the interaction scenario, where the interaction between matter and vacuum is introduced through a phenomenological term, the two component model is capable of causing a transition from a prior decelerated to a later accelerated epoch without a bare constant in the running vacuum density. On contrasting the model with the cosmological data, we have found that the interaction coupling constant, is small enough, for a slow decay of the running vacuum. The model is subjected to dynamical system analysis which revealed that the end de Sitter phase of the model is a stable one. We did an analysis on the thermal behavior of the system, which shows that the entropy is bounded at the end stage so that the system is behaving like an ordinary macroscopic system. Apart from these we have also performed the state finder diagnostic analysis which implies the quintessence nature of running vacuum and confirms that the model will approach the standard $\Lambda$CDM in the future.


title: Approximate Convex Intersection Detection with Applications to Width and Minkowski Sums

abstract: Approximation problems involving a single convex body in $d$-dimensional space have received a great deal of attention in the computational geometry community. In contrast, works involving multiple convex bodies are generally limited to dimensions $d \leq 3$ and/or do not consider approximation. In this paper, we consider approximations to two natural problems involving multiple convex bodies: detecting whether two polytopes intersect and computing their Minkowski sum. Given an approximation parameter $\varepsilon > 0$, we show how to independently preprocess two polytopes $A,B$ into data structures of size $O(1/\varepsilon^{(d-1)/2})$ such that we can answer in polylogarithmic time whether $A$ and $B$ intersect approximately. More generally, we can answer this for the images of $A$ and $B$ under affine transformations. Next, we show how to $\varepsilon$-approximate the Minkowski sum of two given polytopes defined as the intersection of $n$ halfspaces in $O(n \log(1/\varepsilon) + 1/\varepsilon^{(d-1)/2 + \alpha})$ time, for any constant $\alpha > 0$. Finally, we present a surprising impact of these results to a well studied problem that considers a single convex body. We show how to $\varepsilon$-approximate the width of a set of $n$ points in $O(n \log(1/\varepsilon) + 1/\varepsilon^{(d-1)/2 + \alpha})$ time, for any constant $\alpha > 0$, a major improvement over the previous bound of roughly $O(n + 1/\varepsilon^{d-1})$ time.


title: Collision-avoiding in the singular Cucker-Smale model with nonlinear velocity couplings

abstract: Collision avoidance is an interesting feature of the Cucker-Smale (CS) model of flocking that has been studied in many works, e.g. [1, 2, 4, 6, 7, 20, 21, 22]. In particular, in the case of singular interactions between agents, as is the case of the CS model with communication weights of the type $\psi(s)=s^{-\alpha}$ for $\alpha \geq 1$, it is important for showing global well-posedness of the underlying particle dynamics. In [4], a proof of the non-collision property for singular interactions is given in the case of the linear CS model, i.e. when the velocity coupling between agents $i,j$ is $v_{j}-v_{i}$. This paper can be seen as an extension of the analysis in [4]. We show that particles avoid collisions even when the linear coupling in the CS system has been substituted with the nonlinear term $\Gamma(\cdot)$ introduced in [12] (typical examples being $\Gamma(v)=v|v|^{2(\gamma -1)}$ for $\gamma \in (\frac{1}{2},\frac{3}{2})$), and prove that no collisions can happen in finite time when $\alpha \geq 1$. We also show uniform estimates for the minimum inter-particle distance, for a communication weight with expanded singularity $\psi_{\delta}(s)=(s-\delta)^{-\alpha}$, when $\alpha \geq 2\gamma$, $\delta \geq 0$.


title: Exit problems for positive self-similar Markov processes with one-sided jumps

abstract: A systematic exposition of scale functions is given for positive self-similar Markov processes (pssMp) with one-sided jumps. The scale functions express as convolution series of the usual scale functions associated with spectrally one-sided L\'evy processes that underly the pssMp through the Lamperti transform. This theory is then brought to bear on solving the spatio-temporal: (i) two-sided exit problem; (ii) joint first passage problem upwards for the the pssMp and its multiplicative drawdown (resp. drawup) in the spectrally negative (resp. positive) case.


title: An initial study on estimating area of a leaf using image processing

abstract: Calculating leaf area is very important. Computer aided image processing can make this faster and more accurate. This include scanning the leaf , converting it to binary image and calculation of number of pixels covered. Later this is converted to mm2.


title: A Simple but Effective Classification Model for Grammatical Error Correction

abstract: We treat grammatical error correction (GEC) as a classification problem in this study, where for different types of errors, a target word is identified, and the classifier predicts the correct word form from a set of possible choices. We propose a novel neural network based feature representation and classification model, trained using large text corpora without human annotations. Specifically we use RNNs with attention to represent both the left and right context of a target word. All feature embeddings are learned jointly in an end-to-end fashion. Experimental results show that our novel approach outperforms other classifier methods on the CoNLL-2014 test set (F0.5 45.05%). Our model is simple but effective, and is suitable for industrial production.


title: Rate of Convergence to the Circular Law via Smoothing Inequalities for Log-Potentials

abstract: The aim of this note is to investigate the Kolmogorov distance of the Circular Law to the empirical spectral distribution of non-Hermitian random matrices with independent entries. The optimal rate of convergence is determined by the Ginibre ensemble and is given by $n^{-1/2}$. A smoothing inequality for complex measures that quantitatively relates the uniform Kolmogorov-like distance to the concentration of logarithmic potentials is shown. Combining it with results from Local Circular Laws, we apply it to prove nearly optimal rate of convergence to the Circular Law in Kolmogorov distance. Furthermore we show that the same rate of convergence holds for the empirical measure of the roots of Weyl random polynomials.


title: Effects of quantum statistics on relic density of Dark Radiation

abstract: The freeze-out of massless particles is investigated. The effects due to quantum statistics, Fermi-Dirac or Bose-Einstein, of all particles relevant for the process are analyzed. Solutions of appropriate Boltzmann equation are compared with those obtained using some popular approximate methods. As an application of general results the relic density of dark radiation in Weinberg's Higgs portal model is discussed.


title: Multi-Armed Bandit Learning in IoT Networks: Learning helps even in non-stationary settings

abstract: Setting up the future Internet of Things (IoT) networks will require to support more and more communicating devices. We prove that intelligent devices in unlicensed bands can use Multi-Armed Bandit (MAB) learning algorithms to improve resource exploitation. We evaluate the performance of two classical MAB learning algorithms, UCB1 and Thompson Sampling, to handle the decentralized decision-making of Spectrum Access, applied to IoT networks; as well as learning performance with a growing number of intelligent end-devices. We show that using learning algorithms does help to fit more devices in such networks, even when all end-devices are intelligent and are dynamically changing channel. In the studied scenario, stochastic MAB learning provides a up to 16% gain in term of successful transmission probabilities, and has near optimal performance even in non-stationary and non-i.i.d. settings with a majority of intelligent devices.


title: Lifespan estimates via Neumann heat kernel

abstract: This paper studies the lower bound of the lifespan $T^{*}$ for the heat equation $u_t=\Delta u$ in a bounded domain $\Omega\subset\mathbb{R}^{n}(n\geq 2)$ with positive initial data $u_{0}$ and a nonlinear radiation condition on partial boundary: the normal derivative $\partial u/\partial n=u^{q}$ on $\Gamma_1\subseteq \partial\Omega$ for some $q>1$, while $\partial u/\partial n=0$ on the other part of the boundary. Previously, under the convexity assumption of $\Omega$, the asymptotic behaviors of $T^{*}$ on the maximum $M_{0}$ of $u_{0}$ and the surface area $|\Gamma_{1}|$ of $\Gamma_{1}$ were explored. In this paper, without the convexity requirement of $\Omega$, we will show that as $M_{0}\rightarrow 0^{+}$, $T^{*}$ is at least of order $M_{0}^{-(q-1)}$ which is optimal. Meanwhile, we will also prove that as $|\Gamma_{1}|\rightarrow 0^{+}$, $T^{*}$ is at least of order $|\Gamma_{1}|^{-\frac{1}{n-1}}$ for $n\geq 3$ and $|\Gamma_{1}|^{-1}\big/\ln\big(|\Gamma_{1}|^{-1}\big)$ for $n=2$. The order on $|\Gamma_{1}|$ when $n=2$ is almost optimal. The proofs are carried out by analyzing the representation formula of $u$ in terms of the Neumann heat kernel.


title: Active Testing: An Efficient and Robust Framework for Estimating Accuracy

abstract: Much recent work on visual recognition aims to scale up learning to massive, noisily-annotated datasets. We address the problem of scaling- up the evaluation of such models to large-scale datasets with noisy labels. Current protocols for doing so require a human user to either vet (re-annotate) a small fraction of the test set and ignore the rest, or else correct errors in annotation as they are found through manual inspection of results. In this work, we re-formulate the problem as one of active testing, and examine strategies for efficiently querying a user so as to obtain an accu- rate performance estimate with minimal vetting. We demonstrate the effectiveness of our proposed active testing framework on estimating two performance metrics, Precision@K and mean Average Precision, for two popular computer vision tasks, multi-label classification and instance segmentation. We further show that our approach is able to save significant human annotation effort and is more robust than alternative evaluation protocols.


title: Nontrivial quantum observables can always be optimized via some form of coherence

abstract: In this paper we consider quantum resources required to maximize the mean values of any nontrivial quantum observable. We show that the task of maximizing the mean value of an observable is equivalent to maximizing some form of coherence, up to the application of an incoherent operation. As such, for any nontrivial observable, there exists a set of preferred basis states where the superposition between such states is always useful for optimizing a quantum observable. The usefulness of such states is expressed in terms of an infinitely large family of valid coherence measures which is then shown to be efficiently computable via a semidefinite program. We also show that these coherence measures respect a hierarchy that gives the robustness of coherence and the $l_1$ norm of coherence additional operational significance in terms of such optimization tasks.


title: Simulating twisted mass fermions at physical light, strange and charm quark masses

abstract: We present the QCD simulation of the first gauge ensemble of two degenerate light quarks, a strange and a charm quark with all quark masses tuned to their physical values within the twisted mass fermion formulation. Results for the pseudoscalar masses and decay constants confirm that the produced ensemble is indeed at the physical parameters of the theory. This conclusion is corroborated by a complementary analysis in the baryon sector. We examine cutoff and isospin breaking effects and demonstrate that they are suppressed through the presence of a clover term in the action.


title: The size distribution of cities: a kinetic explanation

abstract: We present a kinetic approach to the formation of urban agglomerations which is based on simple rules of immigration and emigration. In most cases, the Boltzmann-type kinetic description allows to obtain, within an asymptotic procedure, a Fokker--Planck equation with variable coefficients of diffusion and drift, which describes the evolution in time of some probability density of the city size. It is shown that, in dependence of the microscopic rules of migration, the equilibrium density can follow both a power law for large values of the size variable, which contains as particular case a Zipf's law behavior, and a lognormal law for middle and low values of the size variable. In particular, connections between the value of Pareto index of the power law at equilibrium and the disposal of the population to emigration are outlined. The theoretical findings are tested with recent data of the populations of Italy and Switzerland.


title: Transformations and singularities of polarized curves

abstract: We study the limiting behaviour of Darboux and Calapso transforms of polarized curves in the conformal n-dimensional sphere, when the polarization has a pole of first or second order at some point. We prove that for a pole of first order, as the singularity is approached all Darboux transforms converge to the original curve and all Calapso transforms converge. For a pole of second order, a generic Darboux transform converges to the original curve while a Calapso transform has a limit point or a limit circle, depending on the value of the transformation parameter. In particular, our results apply to Darboux and Calapso transforms of isothermic surfaces when a singular umbilic with index 1/2 or 1 is approached along a curvature line.


title: Estimating Phenotypic Traits From UAV Based RGB Imagery

abstract: In many agricultural applications one wants to characterize physical properties of plants and use the measurements to predict, for example biomass and environmental influence. This process is known as phenotyping. Traditional collection of phenotypic information is labor-intensive and time-consuming. Use of imagery is becoming popular for phenotyping. In this paper, we present methods to estimate traits of sorghum plants from RBG cameras on board of an unmanned aerial vehicle (UAV). The position and orientation of the imagery together with the coordinates of sparse points along the area of interest are derived through a new triangulation method. A rectified orthophoto mosaic is then generated from the imagery. The number of leaves is estimated and a model-based method to analyze the leaf morphology for leaf segmentation is proposed. We present a statistical model to find the location of each individual sorghum plant.


title: Personalized Radiotherapy Design for Glioblastoma: Integrating Mathematical Tumor Models, Multimodal Scans and Bayesian Inference

abstract: Glioblastoma is a highly invasive brain tumor, whose cells infiltrate surrounding normal brain tissue beyond the lesion outlines visible in the current medical scans. These infiltrative cells are treated mainly by radiotherapy. Existing radiotherapy plans for brain tumors derive from population studies and scarcely account for patient-specific conditions. Here we provide a Bayesian machine learning framework for the rational design of improved, personalized radiotherapy plans using mathematical modeling and patient multimodal medical scans. Our method, for the first time, integrates complementary information from high resolution MRI scans and highly specific FET-PET metabolic maps to infer tumor cell density in glioblastoma patients. The Bayesian framework quantifies imaging and modeling uncertainties and predicts patient-specific tumor cell density with confidence intervals. The proposed methodology relies only on data acquired at a single time point and thus is applicable to standard clinical settings. An initial clinical population study shows that the radiotherapy plans generated from the inferred tumor cell infiltration maps spare more healthy tissue thereby reducing radiation toxicity while yielding comparable accuracy with standard radiotherapy protocols. Moreover, the inferred regions of high tumor cell densities coincide with the tumor radioresistant areas, providing guidance for personalized dose-escalation. The proposed integration of multimodal scans and mathematical modeling provides a robust, non-invasive tool to assist personalized radiotherapy design.


title: A Cylindrical GEM Inner Tracker for the BESIII experiment at IHEP

abstract: The Beijing Electron Spectrometer III (BESIII) is a multipurpose detector that collects data provided by the collision in the Beijing Electron Positron Collider II (BEPCII), hosted at the Institute of High Energy Physics of Beijing. Since the beginning of its operation, BESIII has collected the world largest sample of J/{\psi} and {\psi}(2s). Due to the increase of the luminosity up to its nominal value of 10^33 cm-2 s-1 and aging effect, the MDC decreases its efficiency in the first layers up to 35% with respect to the value in 2014. Since BESIII has to take data up to 2022 with the chance to continue up to 2027, the Italian collaboration proposed to replace the inner part of the MDC with three independent layers of Cylindrical triple-GEM (CGEM). The CGEM-IT project will deploy several new features and innovation with respect the other current GEM based detector: the {\mu}TPC and analog readout, with time and charge measurements will allow to reach the 130 {\mu}m spatial resolution in 1 T magnetic field requested by the BESIII collaboration. In this proceeding, an update of the status of the project will be presented, with a particular focus on the results with planar and cylindrical prototypes with test beams data. These results are beyond the state of the art for GEM technology in magnetic field.


title: Discrete orderings in the real spectrum

abstract: We study discrete orderings in the real spectrum of a commutative ring by defining discrete prime cones and give an algebro-geometric meaning to some kind of diophantine problems over discretely ordered rings. Also for a discretely ordered ring $M$ and a real closed field $R$ containing $M$ we prove a theorem on the distribution of the discrete orderings of $M[X_1,\dots,X_n]$ in $\Spec(R[X_1,\dots,X_n])$ in geometric terms. To be more precise, we prove that any ball $\mathbb{B}(\alpha,r)$ in $\Spec(R[X_1,\dots,X_n]$) with center $\alpha$ and radius $r$ (defined via Robson's metric) contains a discrete ordering of $M[X_1,\dots,X_n]$ whenever $r$ is non-infinitesimal and $\alpha$ is away from all hyperplanes over $M$ passing through the origin.


title: Leveraging Uncertainty Estimates for Predicting Segmentation Quality

abstract: The use of deep learning for medical imaging has seen tremendous growth in the research community. One reason for the slow uptake of these systems in the clinical setting is that they are complex, opaque and tend to fail silently. Outside of the medical imaging domain, the machine learning community has recently proposed several techniques for quantifying model uncertainty (i.e.~a model knowing when it has failed). This is important in practical settings, as we can refer such cases to manual inspection or correction by humans. In this paper, we aim to bring these recent results on estimating uncertainty to bear on two important outputs in deep learning-based segmentation. The first is producing spatial uncertainty maps, from which a clinician can observe where and why a system thinks it is failing. The second is quantifying an image-level prediction of failure, which is useful for isolating specific cases and removing them from automated pipelines. We also show that reasoning about spatial uncertainty, the first output, is a useful intermediate representation for generating segmentation quality predictions, the second output. We propose a two-stage architecture for producing these measures of uncertainty, which can accommodate any deep learning-based medical segmentation pipeline.


title: Peaks and cusps: anomalous thresholds and LHC physics

abstract: The behavior of scattering amplitudes in the vicinity of a physical-region Landau singularity is considered. The impact on LHC processes is discussed.


title: Deep Reasoning with Knowledge Graph for Social Relationship Understanding

abstract: Social relationships (e.g., friends, couple etc.) form the basis of the social network in our daily life. Automatically interpreting such relationships bears a great potential for the intelligent systems to understand human behavior in depth and to better interact with people at a social level. Human beings interpret the social relationships within a group not only based on the people alone, and the interplay between such social relationships and the contextual information around the people also plays a significant role. However, these additional cues are largely overlooked by the previous studies. We found that the interplay between these two factors can be effectively modeled by a novel structured knowledge graph with proper message propagation and attention. And this structured knowledge can be efficiently integrated into the deep neural network architecture to promote social relationship understanding by an end-to-end trainable Graph Reasoning Model (GRM), in which a propagation mechanism is learned to propagate node message through the graph to explore the interaction between persons of interest and the contextual objects. Meanwhile, a graph attentional mechanism is introduced to explicitly reason about the discriminative objects to promote recognition. Extensive experiments on the public benchmarks demonstrate the superiority of our method over the existing leading competitors.


title: Knowledge-Embedded Representation Learning for Fine-Grained Image Recognition

abstract: Humans can naturally understand an image in depth with the aid of rich knowledge accumulated from daily lives or professions. For example, to achieve fine-grained image recognition (e.g., categorizing hundreds of subordinate categories of birds) usually requires a comprehensive visual concept organization including category labels and part-level attributes. In this work, we investigate how to unify rich professional knowledge with deep neural network architectures and propose a Knowledge-Embedded Representation Learning (KERL) framework for handling the problem of fine-grained image recognition. Specifically, we organize the rich visual concepts in the form of knowledge graph and employ a Gated Graph Neural Network to propagate node message through the graph for generating the knowledge representation. By introducing a novel gated mechanism, our KERL framework incorporates this knowledge representation into the discriminative image feature learning, i.e., implicitly associating the specific attributes with the feature maps. Compared with existing methods of fine-grained image classification, our KERL framework has several appealing properties: i) The embedded high-level knowledge enhances the feature representation, thus facilitating distinguishing the subtle differences among subordinate categories. ii) Our framework can learn feature maps with a meaningful configuration that the highlighted regions finely accord with the nodes (specific attributes) of the knowledge graph. Extensive experiments on the widely used Caltech-UCSD bird dataset demonstrate the superiority of our KERL framework over existing state-of-the-art methods.


title: Resumming subleading Sudakov logarithms in saturation regime

abstract: We investigate the scale dependence of transverse momentum dependent(TMD) gluon distribution in saturation regime. We found that in the Collins-2011 scheme, the scale dependence of small x gluon TMD is governed by the same renormalization group(RG) equation that holds at moderate or large $x$. Following the standard procedure, one then can resum both double leading logarithm and single leading logarithm in saturation regime by jointly solving the Collins-Soper equation and the RG equation.


title: A SAT Encoding for the $n$-Fractions Problem

abstract: This note describes a SAT encoding for the $n$-fractions puzzle which is problem 041 of the CSPLib. Using a SAT solver we obtain a solution for two of the six remaining open instances of this problem.


title: An explicit upper bound for the least prime ideal in the Chebotarev density theorem

abstract: Lagarias, Montgomery, and Odlyzko proved that there exists an effectively computable absolute constant $A_1$ such that for every finite extension $K$ of ${\mathbb{Q}}$, every finite Galois extension $L$ of $K$ with Galois group $G$ and every conjugacy class $C$ of $G$, there exists a prime ideal $\mathfrak{p}$ of $K$ which is unramified in $L$, for which $\left[\frac{L/K}{\mathfrak{p}}\right]=C$, for which $N_{K/{\mathbb Q}}\,\mathfrak{p}$ is a rational prime, and which satisfies $N_{K/{\mathbb Q}}\,{\mathfrak{p}} \leq 2 {d_L}^{A_1}$. In this paper we show without any restriction that $N_{K/{\mathbb Q}}\,{\mathfrak{p}} \leq {d_L}^{12577}$ if $L \neq {\mathbb Q}$, using the approach developed by Lagarias, Montgomery, and Odlyzko.


title: Ultrafast population coding and axo-somatic compartmentalization

abstract: Cortical neurons in the fluctuation driven regime can realize ultrafast population encoding. The underlying biophysical mechanisms, however, are not well understood. Reducing the sharpness of the action potential onset can impair ultrafast population encoding, but it is not clear whether a sharp action potential onset is sufficient for ultrafast population encoding. One hypothesis proposes that the sharp action potential onset is caused by the electrotonic separation of the site of action potential initiation from the soma, and that this spatial separation also results in ultrafast population encoding. Here we examined this hypothesis by studying the linear response properties of model neurons with a defined initiation site. We find that placing the initiation site at different axonal positions has only a weak impact on the linear response function of the model. It fails to generate the ultrafast response and high bandwidth that is observed in cortical neurons. Furthermore, the high frequency regime of the linear response function of this model is insensitive to correlation times of the input current contradicting empirical evidence. When we increase the voltage sensitivity of sodium channels at the initiation site, the two empirically observed phenomena can be recovered. We provide an explanation for the dissociation of sharp action potential onset and ultrafast response. By investigating varying soma sizes, we furthermore highlight the effect of neuron morphology on the linear response. Our results show that a sharp onset of action potentials is not sufficient for the ultrafast response. In the light of recent reports of activity-dependent repositioning of the axon initial segment, our study predicts that a more distal initiation site can lead to an increased sharpness of the somatic waveform but it does not affect the linear response of a population of neurons.


title: On The Feasibility Of Using Neutrino Intensity Interferometry To Measure Proto-Neutron Star Radii

abstract: It has recently been demonstrated analytically that the two-point correlation function for pairs of neutrinos may contain information about the size of the proto-neutron star formed in a Galactic core-collapse supernova. The information about the size of the source emerges via the neutrino equivalent of intensity interferometry originally used by Hanbury-Brown and Twiss with photons to measure the radii of stars. However the analytic demonstration of neutrino intensity interferometry with supernova neutrinos made a number of approximations: that the two neutrinos had equal energies, the neutrinos were emitted at simultaneous times from two points and were detected simultaneously at two detection points that formed a plane with the emission points. These approximations need to be relaxed in order to better determine the feasibility of neutrino intensity interferometry for supernovae neutrinos in a more realistic scenario. In this paper we further investigate the feasibility of intensity interferometry for supernova neutrinos by relaxing all the approximations made in the earlier study. We find that, while relaxing any one assumption reduces the correlation signal, the relaxation of the assumption of equal times of detection is by far the largest detrimental factor. For neutrino energies of order $\sim$15 MeV and a supernova distance of L = 10 kpc, we show that in order to observe the interference pattern in the two-point correlation function of the neutrino pairs, the timing resolution of a detector needs to be on the order of $\lesssim 10^{-21}\;{\rm s}$ if the initial neutrino wave packet has a size of $\sigma_x \sim 10^{-11}\;{\rm cm}$.


title: COSMO: Contextualized Scene Modeling with Boltzmann Machines

abstract: Scene modeling is very crucial for robots that need to perceive, reason about and manipulate the objects in their environments. In this paper, we adapt and extend Boltzmann Machines (BMs) for contextualized scene modeling. Although there are many models on the subject, ours is the first to bring together objects, relations, and affordances in a highly-capable generative model. For this end, we introduce a hybrid version of BMs where relations and affordances are introduced with shared, tri-way connections into the model. Moreover, we contribute a dataset for relation estimation and modeling studies. We evaluate our method in comparison with several baselines on object estimation, out-of-context object detection, relation estimation, and affordance estimation tasks. Moreover, to illustrate the generative capability of the model, we show several example scenes that the model is able to generate.


title: Optimal Assignments with Supervisions

abstract: In this paper we provide a new graph theoretic proof of the tropical Jacobi identity, recently obtained in [AGN16]. We also develop an application of this theorem to optimal assignments with supervisions. That is, optimally assigning multiple tasks to one team, or daily tasks to multiple teams, where each team has a supervisor task or a supervised task.


title: A Lenient Causal Arrow of Time?

abstract: One of the basic assumptions underlying Bell's theorem is the causal arrow of time, having to do with temporal order rather than spatial separation. Nonetheless, the physical assumptions regarding causality are seldom studied in this context, and often even go unmentioned, in stark contrast with the many different possible locality conditions which have been studied and elaborated. In the present work, some retrocausal toy-models which reproduce the predictions of Quantum Mechanics for Bell-type correlations are reviewed. It is pointed out that a certain toy-model which is ostensibly superdeterministic -- based on denying the free-variable status of some of Quantum Mechanics' input parameters -- actually contains within it a complete retrocausal toy-model. Occam's razor thus indicates that the superdeterministic point of view is superfluous. A challenge is to generalize the retrocausal toy-models to a full theory -- a reformulation of Quantum Mechanics -- in which the standard causal arrow of time would be replaced by a more lenient one: an arrow of time applicable only to macroscopically-available information. In discussing such a reformulation, one finds that many of the perplexing features of Quantum Mechanics could arise naturally, especially in the context of stochastic theories.


title: "Blinking eigenvalues" of the Steklov problem generate the continuous spectrum in a cuspidal domain

abstract: We study the Steklov spectral problem for the Laplace operator in a bounded domain $\Omega \subset \mathbb{R}^d$, $d \geq 2$, with a cusp such that the continuous spectrum of the problem is non-empty, and also in the family of bounded domains $\Omega^\varepsilon \subset \Omega$, $\varepsilon > 0$, obtained from $\Omega$ by blunting the cusp at the distance of $\varepsilon$ from the cusp tip. While the spectrum in the blunted domain $\Omega^\varepsilon$ consists for a fixed $\varepsilon$ of an unbounded positive sequence $\{ \lambda_j^\varepsilon \}_{j=1}^\infty$ of eigenvalues, we single out different types of behavior of some eigenvalues as $\varepsilon \to +0$: in particular, stable, blinking, and gliding families of eigenvalues are found. We also describe a mechanism which transforms the family of the eigenvalue sequences into the continuous spectrum of the problem in $\Omega$, when $\varepsilon \to +0$.


title: Automatic Software Repair: a Bibliography

abstract: This article presents a survey on automatic software repair. Automatic software repair consists of automatically finding a solution to software bugs without human intervention. This article considers all kinds of repairs. First, it discusses behavioral repair where test suites, contracts, models, and crashing inputs are taken as oracle. Second, it discusses state repair, also known as runtime repair or runtime recovery, with techniques such as checkpoint and restart, reconfiguration, and invariant restoration. The uniqueness of this article is that it spans the research communities that contribute to this body of knowledge: software engineering, dependability, operating systems, programming languages, and security. It provides a novel and structured overview of the diversity of bug oracles and repair operators used in the literature.


title: Balanced Distribution Adaptation for Transfer Learning

abstract: Transfer learning has achieved promising results by leveraging knowledge from the source domain to annotate the target domain which has few or none labels. Existing methods often seek to minimize the distribution divergence between domains, such as the marginal distribution, the conditional distribution or both. However, these two distances are often treated equally in existing algorithms, which will result in poor performance in real applications. Moreover, existing methods usually assume that the dataset is balanced, which also limits their performances on imbalanced tasks that are quite common in real problems. To tackle the distribution adaptation problem, in this paper, we propose a novel transfer learning approach, named as Balanced Distribution \underline{A}daptation~(BDA), which can adaptively leverage the importance of the marginal and conditional distribution discrepancies, and several existing methods can be treated as special cases of BDA. Based on BDA, we also propose a novel Weighted Balanced Distribution Adaptation~(W-BDA) algorithm to tackle the class imbalance issue in transfer learning. W-BDA not only considers the distribution adaptation between domains but also adaptively changes the weight of each class. To evaluate the proposed methods, we conduct extensive experiments on several transfer learning tasks, which demonstrate the effectiveness of our proposed algorithms over several state-of-the-art methods.


title: Women also Snowboard: Overcoming Bias in Captioning Models (Extended Abstract)

abstract: Most machine learning methods are known to capture and exploit biases of the training data. While some biases are beneficial for learning, others are harmful. Specifically, image captioning models tend to exaggerate biases present in training data. This can lead to incorrect captions in domains where unbiased captions are desired, or required, due to over reliance on the learned prior and image context. We investigate generation of gender specific caption words (e.g. man, woman) based on the person's appearance or the image context. We introduce a new Equalizer model that ensures equal gender probability when gender evidence is occluded in a scene and confident predictions when gender evidence is present. The resulting model is forced to look at a person rather than use contextual cues to make a gender specific prediction. The losses that comprise our model, the Appearance Confusion Loss and the Confident Loss, are general, and can be added to any description model in order to mitigate impacts of unwanted bias in a description dataset. Our proposed model has lower error than prior work when describing images with people and mentioning their gender and more closely matches the ground truth ratio of sentences including women to sentences including men.


title: App Store 2.0: From Crowd Information to Actionable Feedback in Mobile Ecosystems

abstract: Given the increasing competition in mobile app ecosystems, improving the experience of users has become a major goal for app vendors. This article introduces a visionary app store, called APP STORE 2.0, which exploits crowdsourced information about apps, devices and users to increase the overall quality of the delivered mobile apps. We sketch a blueprint architecture of the envisioned app stores and discuss the different kinds of actionable feedbacks that app stores can generate using crowdsourced information.


title: A gentle introduction to Schwinger's formulation of quantum mechanics: The groupoid picture

abstract: In this short letter we review Schwinger's formulation of Quantum Mechanics and we argue that the mathematical structure behind Schwinger's "Symbolism of Atomic Measurements" is that of a groupoid. In this framework, both the Hilbert space (Schr\"{o}dinger picture) and the $C^{*}$-algebra (Heisenberg picture) of the system turn out to be derived concepts, that is, they arise from the underlying groupoid structure.


title: Extremes of Gaussian chaos processes with Trend

abstract: Let $\boldsymbol{X}(t)=(X_1(t),\ldots,X_d(t)), t\in [0,S]$ be a Gaussian vector process and let $g(\boldsymbol{x}),\boldsymbol{x}\in\mathbb{R}^d$ be a continuous homogeneous function. In this paper we are concerned with the exact tail asymptotics of the chaos process $g(\boldsymbol{X}(t))+ h(t),t\in [0,S]$ with trend function $h$. Both scenarios $\boldsymbol{X}(t)$ is locally-stationary and $\boldsymbol{X}(t)$ is non-stationary are considered. Important examples include the product of Gaussian processes and chi-processes.


title: Quantum Simulation of Klein Gordon Equation and Observation of Klein Paradox in IBM Quantum Computer

abstract: The Klein Gordon equation was the first attempt at unifying special relativity and quantum mechanics. While initially discarded this equation of "many fathers" can be used in understanding spinless particles that consequently led to the discovery of pions and other subatomic particles. The equation leads to the development of Dirac equation and hence quantum field theory. It shows interesting quantum relativistic phenomena like Klein Paradox and "Zitterbewegung", a rapid vibrating movement of quantum relativistic particles. The simulation of such quantum equations initially motivated Feynman to propose the idea of quantum computation. While many such simulations have been done till date in various physical setups, this is the first time a digital quantum simulation of Klein Gordon equation is proposed on IBM's quantum computer. Here we simulate the time-dependent Klein Gordon equation in a barrier potential and clearly observe the tunnelling of the particle and anti-particle through a strong potential claiming Klein Paradox. The simulation technique used here inspires the quantum computing community for further studying Klein Gordon equation and applying it to more complicated quantum mechanical systems.


title: Orientations and bijections for toroidal maps with prescribed face-degrees and essential girth

abstract: We present unified bijections for maps on the torus with control on the face-degrees and essential girth (girth of the periodic planar representation). A first step is to show that for d>=3 every toroidal d-angulation of essential girth d can be endowed with a certain "canonical" orientation (formulated as a weight-assignment on the half-edges). Using an adaptation of a construction by Bernardi and Chapuy, we can then derive a bijection between face-rooted toroidal d-angulations of essential girth d (with the condition that, apart from the root-face contour, no other closed walk of length d encloses the root-face) and a family of decorated unicellular maps. The orientations and bijections can then be generalized, for any d>=1, to toroidal face-rooted maps of essential girth d with a root-face of degree d (and with the same root-face contour condition as for d-angulations), and they take a simpler form in the bipartite case, as a parity specialization. On the enumerative side we obtain explicit algebraic expressions for the generating functions of rooted essentially simple triangulations and bipartite quadrangulations on the torus. Our bijective constructions can be considered as toroidal counterparts of those obtained by Bernardi and the first author in the planar case, and they also build on ideas introduced by Despr\'e, Gon\c{c}alves and the second author for essentially simple triangulations, of imposing a balancedness condition on the orientations in genus 1.


title: Data for Refugees: The D4R Challenge on Mobility of Syrian Refugees in Turkey

abstract: The Data for Refugees (D4R) Challenge is a non-profit challenge initiated to improve the conditions of the Syrian refugees in Turkey by providing a special database to scientific community for enabling research on urgent problems concerning refugees, including health, education, unemployment, safety, and social integration. The collected database is based on anonymised mobile Call Detail Record (CDR) of phone calls and SMS messages from one million Turk Telekom customers. It indicates broad activity and mobility patterns of refugees and citizens in Turkey for one year. The data collection period is from 1 January 2017 to 31 December 2017. The project is initiated by Turk Telekom, in partnership with the Turkish Academic and Research Council (TUBITAK) and Bogazici University, and in collaboration with several academic and non-governmental organizations, including UNHCR Turkey, UNICEF, and International Organization for Migration.


title: Infinite families of inequivalent real circle actions on affine four-space

abstract: The main result of this article is to construct infinite families of non-equivalent equivariant real forms of linear C*-actions on affine four-space. We consider the real form of C* whose fixed point is a circle. In [F-MJ] one example of a non-linearizable circle action was constructed. Here, this result is generalized by developing a new approach which allows us to compare different real forms. The constructions of these forms are based on the structure of equivariant O2(C)-vector bundles.


title: A tunable time-resolved spontaneous Raman spectroscopy setup for probing ultrafast collective excitation and quasiparticle dynamics in quantum materials

abstract: We present a flexible and efficient ultrafast time-resolved spontaneous Raman spectroscopy setup to study collective excitation and quasi-particle dynamics in quantum matter. The setup has a broad energy tuning range extending from the visible to near infrared spectral regions for both the pump excitation and Raman probe pulses. Additionally, the balance between energy and time-resolution can be controlled. A high light collecting efficiency is realized by high numerical aperture collection optics and a high-throughput flexible spectrometer. We demonstrate the functionality of the setup with a study of the zone-center longitudinal optical phonon and hole continuum dynamics in silicon, and discuss the role of the Raman tensor in time-resolved Raman scattering. In addition, we show evidence for unequal phonon softening rates at different high symmetry points in the Brillouin zone of silicon by means of detecting pump-induced changes in the two-phonon overtone spectrum. Demagnetization dynamics in the helimagnet Cu2OSeO3 is studied by observing softening and broadening of a magnon after photo-excitation, underlining the unique power of measuring transient dynamics in the frequency domain, and the feasibility to study phase transitions in quantum matter.


title: Time-Variability of equivalent width of 6.4 keV line from the Arches Complex: reflected X-rays or charged particles?

abstract: Molecular gas in Arches cloud located near the Arches cluster is one of the emitters of K-$\alpha$ line of neutral iron and X-ray continuum in the Galactic center (GC). Similarly to the cloud Sgr B2, another well-known emitter of the iron line in the GC, the Arches cloud demonstrates temporal decline of the X-ray emission. The most natural origin of this emission is irradiation of primary photons of an X-ray flare from a distant source, most likely Sgr A*. However, recent observations of the Arches cloud discovered variations of equivalent width of the 6.4 keV iron line, which indicated that the X-ray emission from the cloud is a combination of two components with different origin and different equivalent width, one of which is time-variable, while the other is stationary during the period of observations. We considered two different scenarios: a) this emission is formed by reflection from two clouds, which are at some distance from each other, when they are irradiated by two different flares; and b) the other scenario assumes a combination of X-ray fluxes produced in the same cloud by reflection of primary photons and by subrelativistic cosmic rays. We present restrictions for both model and conditions at which these scenarios can be realized. Although none of the models can be completely ruled out, we find that the X-ray reflection model requires less assumption and therefore is the most viable.


title: Bottom-up versus top-down control and the transfer of information in complex model ecosystems

abstract: Ecological systems are emergent features of ecological and adaptive dynamics of a community of interacting species. By natural selection through the abiotic environment and by co-adaptation within the community, species evolve, thereby giving rise to the ecological networks we regard as ecosystems. This reductionist perspective can be contrasted with the view that as species have to fit in the surrounding system, the system itself exerts selection pressure on the evolutionary pathways of the species. This interplay of bottom-up and top-down control in the development and growth of ecological systems has long been discussed, however empirical ecosystem data is scarce and a comprehensive mathematical framework is lacking. We present a way of quantifying the relative weight of natural selection and coadaptation grounded in information theory, to assess the relative role of bottom-up and top-down control in the evolution of ecological systems, and analyse the information transfer in an individual based stochastic complex systems model, the Tangled Nature Model of evolutionary ecology. We show that ecological communities evolve from mainly bottom-up controlled early-successional systems to more strongly top-down controlled late-successional systems, as coadaptation progresses. Species which have a high influence on selection are also generally more abundant. Hence our findings imply that ecological communities are shaped by a dialogue of bottom-up and top-down control, where the role of the systemic selection and integrity becomes more pronounced the further the ecosystem is developed.


title: Constraints on the nuclear equation of state and the neutron star structure from crustal torsional oscillations

abstract: We systematically examine torsional shear oscillations of neutron star crusts by newly taking into account the possible presence of the phase of cylindrical nuclei. In this study, we neglect an effect of magnetic fields, under which the shear oscillations can be damped by the magnetic interaction. First, by identifying the low frequency quasi-periodic oscillations (QPOs) observed in the soft-gamma repeaters (SGRs) as the fundamental torsional oscillations, we constrain the slope parameter of the nuclear symmetry energy, $L$, for reasonable values of the star's mass $M$ and radius $R$. Meanwhile, we find that the 1st overtone of torsional oscillations obtained for given $M$ and $R$ can be expressed well as a function of a new parameter $\varsigma\equiv (K_0^4 L^5)^{1/9}$, where $K_0$ is the incompressibility of symmetric nuclear matter. Assuming that the lowest of the QPO frequencies above 500 Hz observed in SGR 1806-20 comes from the 1st overtone, we can constrain the value of $\varsigma$. Then, for each neutron star model, such a value of $L$ as can be obtained from the observed low frequency QPOs translates to the optimal value of $K_0$ via the above constraint on $\varsigma$. Finally, its consistency with allowed values of $K_0$ from empirical giant monopole resonances leads to neutron star models with relatively low mass and large radius, which are qualitatively similar to the prediction in earlier investigations. This result suggests that $L\simeq 58-73$ MeV, even when uncertainties in the neutron superfluid density inside the phase of cylindrical nuclei are allowed for.


title: Stochastic model specification in Markov switching vector error correction models

abstract: This paper proposes a hierarchical modeling approach to perform stochastic model specification in Markov switching vector error correction models. We assume that a common distribution gives rise to the regime-specific regression coefficients. The mean as well as the variances of this distribution are treated as fully stochastic and suitable shrinkage priors are used. These shrinkage priors enable to assess which coefficients differ across regimes in a flexible manner. In the case of similar coefficients, our model pushes the respective regions of the parameter space towards the common distribution. This allows for selecting a parsimonious model while still maintaining sufficient flexibility to control for sudden shifts in the parameters, if necessary. We apply our modeling approach to real-time Euro area data and assume transition probabilities between expansionary and recessionary regimes to be driven by the cointegration errors. The results suggest that the regime allocation is governed by a subset of short-run adjustment coefficients and regime-specific variance-covariance matrices. These findings are complemented by an out-of-sample forecast exercise, illustrating the advantages of the model for predicting Euro area inflation in real time.


title: Light Dark Matter Showering under Broken Dark $U(1)$ -- Revisited

abstract: It was proposed recently that different chiralities of the dark matter (DM) fermion under a broken dark U(1) gauge group can lead to distinguishable signatures at the LHC through shower patterns, which may reveal the mass origin of the dark sector. We study this subject further by examining the dark shower of two simplified models, the dubbed Chiral Model and the Vector Model. We derive a more complete set of collinear splitting functions with power corrections, specifying the helicities of the initial DM fermion and including the contribution from an extra degree of freedom, the dark Higgs boson. The dark shower is then implemented with these splitting functions, and the new features resulting from its correct modelling are emphasized. It is shown that the DM fermion chirality can be differentiated by measuring dark shower patterns, especially the DM jet energy profile, which is almost independent of the DM energy.


title: Gaia Calibrated UV Luminous Stars in LAMOST

abstract: We take advantage of the Gaia data release 2 to present 275 and 1,774 ultraviolet luminous stars in the FUV and the NUV. These stars are 5$\sigma$ exceeding the centers of the reference frame that is built with over one million UV stars in the log $g$ vs $T_\textrm{eff}$ diagram. The Galactic extinction is corrected with the 3D dusty map. In order to limit the Lutz-Kelker effect to an insignificant level, we select the stars with the relative uncertainties of the luminosity less than 40% and the trigonometric parallaxes less than 20%. We cross-identified our sample with the catalogs of RR Lyr stars and possible white dwarf main-sequence binaries, and find they compose $\sim$ 62% and $\sim$ 16% of our sample in the FUV and NUV, respectively. This catalog provides a unique sample to study stellar activity, spectrally unresolved compact main-sequence binaries and variable stars.


title: Threshold of non-potential magnetic helicity ratios at the onset of solar eruptions

abstract: The relative magnetic helicity is a quantity that is often used to describe the level of entanglement of non-isolated magnetic fields, such as the magnetic field of solar active regions.The aim of this paper is to investigate how different kinds of photospheric boundary flows accumulate relative magnetic helicity in the corona and if and how-well magnetic helicity related quantities identify the onset of an eruption. We use a series of three-dimensional, parametric magnetohydrodynamic simulations of the formation and eruption of magnetic flux ropes. All the simulations are performed on the same grid, using the same parameters, but they are characterized by different driving photospheric flows, i.e., shearing, convergence, stretching, peripheral- and central- dispersion flows. For each of the simulations, the instant of the onset of the eruption is carefully identified by using a series of relaxation runs. We find that magnetic energy and total relative helicity are mostly injected when shearing flows are applied at the boundary, while the magnetic energy and helicity associated with the coronal electric currents increase regardless of the kind of photospheric flows. We also find that, at the onset of the eruptions, the ratio between the non-potential magnetic helicity and the total relative magnetic helicity has the same value for all the simulations, suggesting the existence of a threshold in this quantity. Such threshold is not observed for other quantities as, for example, those related to the magnetic energy.


title: Terahertz light-matter interaction beyond unity coupling strength

abstract: Achieving control over light-matter interaction in custom-tailored nanostructures is at the core of modern quantum electrodynamics [1-15]. In ultrastrongly coupled systems [5-15], excitation is repeatedly exchanged between a resonator and an electronic transition at a rate known as the vacuum Rabi frequency $\Omega_R$. For $\Omega_R$ approaching the resonance frequency $\omega_c$, novel quantum phenomena including squeezed states [16], Dicke superradiant phase transitions [17,18], the collapse of the Purcell effect [19], and a population of the ground state with virtual photon pairs [16,20] are predicted. Yet, the experimental realization of optical systems with $\Omega_R$/$\omega_c$ has remained elusive. Here, we introduce a paradigm change in the design of light-matter coupling by treating the electronic and the photonic components of the system as an entity instead of optimizing them separately. Using the electronic excitation to not only boost the oscillator strength but furthermore tailor the shape of the vacuum mode, we push $\Omega_R$/$\omega_c$ of cyclotron resonances ultrastrongly coupled to metamaterials far beyond unity. As one prominent illustration of the unfolding possibilities, we calculate a ground state population of 0.37 virtual photons for our best structure with $\Omega_R$/$\omega_c$ = 1.43, and suggest a realistic experimental scenario for measuring vacuum radiation by cutting-edge terahertz quantum detection [21,22].


title: Using network science to analyze football passing networks: dynamics, space, time and the multilayer nature of the game

abstract: From the diversity of applications of Network Science, in this Opinion Paper we are concerned about its potential to analyze one of the most extended group sports: Football (soccer in U.S. terminology). As we will see, Network Science allows addressing different aspects of the team organization and performance not captured by classical analyses based on the performance of individual players. The reason behind relies on the complex nature of the game, which, paraphrasing the foundational paradigm of complexity sciences "can not be analyzed by looking at its components (i.e., players) individually but, on the contrary, considering the system as a whole" or, in the classical words of after-match interviews "it's not just me, it's the team".


title: Outer automorphisms of adjoint groups of type D and non-rational adjoint groups of outer type A

abstract: For a classical group $G$ of type $\mathsf D_n$ over a field $k$ of characteristic different from $2$, we show the existence of a finitely generated regular extension $R$ of $k$ such that $G$ admits outer automorphisms over $R$. Using this result and a construction of groups of type $\mathsf A$ from groups of type $\mathsf D$, we construct new examples of groups of type $^2\mathsf A_n$ with $n\equiv 3\bmod 4$ and the first examples of type $^2\mathsf A_n$ with $n\equiv 1\bmod 4$ $(n\geq 5)$ that are not $R$-trivial, hence not rational (nor stably rational).


title: Weakly nonlinear surface waves in magnetohydrodynamics

abstract: This work is devoted to the construction of weakly nonlinear, highly oscillating, current vortex sheet solutions to the incompressible magnetohydrodynamics equations. Current vortex sheets are piecewise smooth solutions to the incompressible magnetohydrodynamics equations that satisfy suitable jump conditions for the velocity and magnetic field on the (free) discontinuity surface. In this work, we complete an earlier work by Ali and Hunter and construct approximate solutions at any arbitrarily large order of accuracy to the free boundary problem in three space dimensions when the initial discontinuity displays high frequency oscillations. As evidenced in earlier works, high frequency oscillations of the current vortex sheet give rise to `surface waves' on either side of the sheet. Such waves decay exponentially in the normal direction to the current vortex sheet and, in the weakly nonlinear regime that we consider here, their leading amplitude is governed by a nonlocal Hamilton-Jacobitype equation known as the `HIZ equation' (standing for Hamilton-Il'insky-Zabolotskaya) in the context of Rayleigh waves in elastodynamics. The main achievement of our work is to develop a systematic approach for constructing arbitrarily many correctors to the leading amplitude. Based on a suitable duality formula, we exhibit necessary and sufficient solvability conditions for the corrector equations that need to be solved iteratively. Theverification of these solvability conditions is based on a combination of mere algebra and arguments of combinatorial analysis. The construction of arbitrarily many correctors enables us to produce infinitely accurate approximate solutions to the free boundary problem. Eventually, we show that the rectification phenomenon exhibited by Marcou in the context of Rayleigh waves does not arise in the same way for the current vortex sheet problem.


title: SphereReID: Deep Hypersphere Manifold Embedding for Person Re-Identification

abstract: Many current successful Person Re-Identification(ReID) methods train a model with the softmax loss function to classify images of different persons and obtain the feature vectors at the same time. However, the underlying feature embedding space is ignored. In this paper, we use a modified softmax function, termed Sphere Softmax, to solve the classification problem and learn a hypersphere manifold embedding simultaneously. A balanced sampling strategy is also introduced. Finally, we propose a convolutional neural network called SphereReID adopting Sphere Softmax and training a single model end-to-end with a new warming-up learning rate schedule on four challenging datasets including Market-1501, DukeMTMC-reID, CHHK-03, and CUHK-SYSU. Experimental results demonstrate that this single model outperforms the state-of-the-art methods on all four datasets without fine-tuning or re-ranking. For example, it achieves 94.4% rank-1 accuracy on Market-1501 and 83.9% rank-1 accuracy on DukeMTMC-reID. The code and trained weights of our model will be released.


title: Convergence of Levy-Lieb to Thomas-Fermi density functional

abstract: We prove that the Levy-Lieb density functional Gamma-converges to the Thomas-Fermi functional in the semiclassical mean-field limit. In particular, this aides an easy alternative proof of the validity of the atomic Thomas-Fermi theory which was first established by Lieb and Simon.


title: Search for Higgs boson decays into a pair of light bosons in the $bb\mu\mu$ final state in $pp$ collision at $\sqrt{s} = $13 TeV with the ATLAS detector

abstract: A search for decays of the Higgs boson into a pair of new spin-zero particles, $H \to aa$, where the $a$-bosons decay into a $b$-quark pair and muon pair, is presented. The search uses 36.1 fb$^{-1}$ of proton-proton collision data at $\sqrt{s}=13$ TeV recorded by the ATLAS experiment at the LHC in 2015 and 2016. No significant deviation from the Standard Model prediction is observed. Upper limits at 95% confidence level are placed on the branching ratio $(\sigma_H / \sigma_{SM}) \times B(H\to aa\to bb\mu\mu)$, ranging from $2\times 10^{-4}$ to $10^{-3}$ in the $a$-boson mass range of 20-60 GeV. Model-independent limits are set on the visible production cross-section times the branching ratio to the $bb\mu\mu$ final state for new physics, $\sigma_{vis}(X) \times B(X\to bb\mu\mu)$, ranging from 0.1 fb to 0.73 fb for $m_{\mu\mu}$ between 18 and 62 GeV.


title: Sharp estimates of unimodular Fourier multipliers on Wiener amalgam spaces

abstract: We study the boundedness on the Wiener amalgam spaces $W^{p,q}_s$ of Fourier multipliers with symbols of the type $e^{i\mu(\xi)}$, for some real-valued functions $\mu(\xi)$ whose prototype is $|\xi|^{\beta}$ with $\beta\in (0,2]$. Under some suitable assumptions on $\mu$, we give the characterization of $W^{p,q}_s\rightarrow W^{p,q}$ boundedness of $e^{i\mu(D)}$, for arbitrary pairs of $0< p,q\leq \infty$. Our results are an essential improvement of the previous known results, for both sides of sufficiency and necessity, even for the special case $\mu(\xi)=|\xi|^{\beta}$ with $1<\beta<2$.


title: One-point function estimates for loop-erased random walk in three dimensions

abstract: In this work, we consider loop-erased random walk (LERW) in three dimensions and give an asymptotic estimate on the one-point function for LERW and the non-intersection probability of LERW and simple random walk in three dimensions for dyadic scales. These estimates will be crucial to the characterization of the convergence of LERW to its scaling limit in natural parametrization. As a step in the proof, we also obtain a coupling of two pairs of LERW and SRW with different starting points conditioned to avoid each other.


title: DNA capture into the ClyA nanopore: diffusion-limited versus reaction-limited processes

abstract: The capture and translocation of biomolecules through nanometer-scale pores are processes with a potential large number of applications, and hence they have been intensively studied in the recent years. The aim of this paper is to review existing models of the capture process by a nanopore, together with some recent experimental data of short single- and double-stranded DNA captured by Cytolysin A (ClyA) nanopore. ClyA is a transmembrane protein of bacterial origin which has been recently engineered through site-specific mutations, to allow the translocation of double- and single-stranded DNA. A comparison between theoretical estimations and experiments suggests that for both cases the capture is a reaction-limited process. This is corroborated by the observed salt dependence of the capture rate, which we find to be in quantitative agreement with the theoretical predictions.


title: Punctuation Prediction Model for Conversational Speech

abstract: An ASR system usually does not predict any punctuation or capitalization. Lack of punctuation causes problems in result presentation and confuses both the human reader andoff-the-shelf natural language processing algorithms. To overcome these limitations, we train two variants of Deep Neural Network (DNN) sequence labelling models - a Bidirectional Long Short-Term Memory (BLSTM) and a Convolutional Neural Network (CNN), to predict the punctuation. The models are trained on the Fisher corpus which includes punctuation annotation. In our experiments, we combine time-aligned and punctuated Fisher corpus transcripts using a sequence alignment algorithm. The neural networks are trained on Common Web Crawl GloVe embedding of the words in Fisher transcripts aligned with conversation side indicators and word time infomation. The CNNs yield a better precision and BLSTMs tend to have better recall. While BLSTMs make fewer mistakes overall, the punctuation predicted by the CNN is more accurate - especially in the case of question marks. Our results constitute significant evidence that the distribution of words in time, as well as pre-trained embeddings, can be useful in the punctuation prediction task.


title: Eigenvectors of Laplacian or signless Laplacian of Hypergraphs Associated with Zero Eigenvalue

abstract: Let $G$ be a connected $m$-uniform hypergraph. In this paper we mainly consider the eigenvectors of the Laplacian or signless Laplacian tensor of $G$ associated with zero eigenvalue, called the first Laplacian or signless Laplacian eigenvectors of $G$. By means of the incidence matrix of $G$, the number of first Laplacian or signless Laplaican (H- or N-)eigenvectors can be get explicitly by solving the Smith normal form of the incidence matrix over $\mathbb{Z}_m$ or $\mathbb{Z}_2$. Consequently, we prove that the number of first Laplacian (H-)eigenvectors is equal to the number of first signless Laplacian (H-)eigenvectors when zero is an (H-)eigenvalue of the signless Laplacian tensor. We establish a connection between first Laplacian (signless Laplacian) H-eigenvectors and the even (odd) bipartitions of $G$.


title: Broken-symmetry phases of interacting nested Weyl and Dirac loops

abstract: We study interaction-induced broken symmetry phases that can arise in metallic or semimetallic band structures with two nested Weyl or Dirac loops. The odered phases can be of the charge or (pseudo)spin density wave type, or superconductivity from interloop pairing. A general analysis for two types of Weyl loops is given, according to whether a local reflection symmetry in momentum space exists or not, for Hamiltonians having a global PT symmetry. The resulting density-wave phases always have lower total energy, and can be metallic, insulating, or semimetallic (with nodal loops), depending on both the reflection symmetry of the loops and the symmetry transformation that maps one loop onto the other. We extend this study to nested $\mathbb{Z}_2$ nodal lines, for which the ordered phases include also nodal point and nodal chain semimetals, and to spinful Dirac nodal lines. Superconductivity from interloop pairing can be fully gapped only if the initial double loop system is semimetallic.


title: Clustering with Temporal Constraints on Spatio-Temporal Data of Human Mobility

abstract: Extracting significant places or places of interest (POIs) using individuals' spatio-temporal data is of fundamental importance for human mobility analysis. Classical clustering methods have been used in prior work for detecting POIs, but without considering temporal constraints. Usually, the involved parameters for clustering are difficult to determine, e.g., the optimal cluster number in hierarchical clustering. Currently, researchers either choose heuristic values or use spatial distance-based optimization to determine an appropriate parameter set. We argue that existing research does not optimally address temporal information and thus leaves much room for improvement. Considering temporal constraints in human mobility, we introduce an effective clustering approach - namely POI clustering with temporal constraints (PC-TC) - to extract POIs from spatio-temporal data of human mobility. Following human mobility nature in modern society, our approach aims to extract both global POIs (e.g., workplace or university) and local POIs (e.g., library, lab, and canteen). Based on two publicly available datasets including 193 individuals, our evaluation results show that PC-TC has much potential for next place prediction in terms of granularity (i.e., the number of extracted POIs) and predictability.