title: Creation of quantum coherence with general measurement processes

abstract: Quantum measurement not only can destroy coherence but also can create it. Here, we estimate the maximum amount of coherence, one can create under a complete non-selective measurement process. For our analysis, we consider projective as well as POVM measurements. Based on our observations, we characterize the measurement processes into two categories, namely, the measurements with the ability to induce coherence and the ones without this ability. Our findings also suggest that the more POVM elements present in a measurement that acts on the quantum system, the less will be its coherence creating ability. We also introduce the notion of raw coherence in the POVMs that helps to create quantum coherence. Finally, we find a trade-off relation between the coherence creation, entanglement generation between system and apparatus, and the mixedness of the system in a general measurement setup.


title: Flexible and Efficient Long-Range Planning Through Curious Exploration

abstract: Identifying algorithms that flexibly and efficiently discover temporally-extended multi-phase plans is an essential step for the advancement of robotics and model-based reinforcement learning. The core problem of long-range planning is finding an efficient way to search through the tree of possible action sequences. Existing non-learned planning solutions from the Task and Motion Planning (TAMP) literature rely on the existence of logical descriptions for the effects and preconditions for actions. This constraint allows TAMP methods to efficiently reduce the tree search problem but limits their ability to generalize to unseen and complex physical environments. In contrast, deep reinforcement learning (DRL) methods use flexible neural-network-based function approximators to discover policies that generalize naturally to unseen circumstances. However, DRL methods struggle to handle the very sparse reward landscapes inherent to long-range multi-step planning situations. Here, we propose the Curious Sample Planner (CSP), which fuses elements of TAMP and DRL by combining a curiosity-guided sampling strategy with imitation learning to accelerate planning. We show that CSP can efficiently discover interesting and complex temporally-extended plans for solving a wide range of physically realistic 3D tasks. In contrast, standard planning and learning methods often fail to solve these tasks at all or do so only with a huge and highly variable number of training samples. We explore the use of a variety of curiosity metrics with CSP and analyze the types of solutions that CSP discovers. Finally, we show that CSP supports task transfer so that the exploration policies learned during experience with one task can help improve efficiency on related tasks.


title: A Significantly Neutral Intergalactic Medium Around the Luminous z=7 Quasar J0252-0503

abstract: Luminous $z\ge7$ quasars provide direct probes of the evolution of supermassive black holes (SMBHs) and the intergalactic medium (IGM) during the epoch of reionization (EoR). The Ly$\alpha$ damping wing absorption imprinted by neutral hydrogen in the IGM can be detected in a single EoR quasar spectrum, allowing the measurement of the IGM neutral fraction towards that line of sight. However, damping wing features have only been detected in two $z>7$ quasars in previous studies. In this paper, we present new high quality optical and near-infrared spectroscopy of the $z=7.00$ quasar DES J025216.64--050331.8 obtained with Keck/NIRES and Gemini/GMOS. By using the MgII single-epoch virial method, we find that it hosts a $\rm (1.39\pm0.16) \times10^{9} ~M_\odot$ SMBH accreting at an Eddington ratio of $\lambda_{\rm Edd}=0.7\pm0.1$, consistent with the values seen in other luminous $z\sim 7$ quasars. Furthermore, the Ly$\alpha$ region of the spectrum exhibits a strong damping wing absorption feature. The lack of associated metal absorption in the quasar spectrum indicates that this absorption is imprinted by a neutral IGM. Using a state-of-the-art model developed by Davies et al., we measure a volume-averaged neutral hydrogen fraction at $z=7$ of $\langle x_{\rm HI} \rangle = 0.70^{+0.20}_{-0.23} (^{+0.28}_{-0.48})$ within 68% (95%) confidence intervals when marginalizing over quasar lifetimes of $10^3\le t_{\rm Q}\le10^8$ yr. This is the highest IGM neutral fraction yet measured using reionization-era quasar spectra.


title: Visible Insights of the Invisible Pandemic: A Scientometric, Altmetric and Topic Trend Analysis

abstract: The recent SARS-COV-2 virus outbreak has created an unprecedented global health crisis! The disease is showing alarming trends with the number of people getting infected with this disease, new cases and death rate are all highlighting the need to control this disease at the earliest. The strategy now for the governments around the globe is how to limit the spread of the virus until the research community develops treatment/drug or vaccination against the virus. The outbreak of this disease has unsurprisingly led to huge volume of research within a short period of time surrounding this disease. It has also led to aggressive social media activity on twitter, Facebook, dedicated blogs, news reports and other online sites actively involved in discussing about the various aspects of and related to this disease. It becomes a useful and challenging exercise to draw from this huge volume of research, the key papers that form the research front, its influence in the research community, and other important research insights. Similarly, it becomes important to discern the key issues that influence the society concerning this disease. The paper is motivated by this. It attempts to distinguish which are the most influential papers, the key knowledge base and major topics surrounding the research covered by COVID-19. Further it attempts to capture the society's perception by discerning key topics that are trending online. The study concludes by highlighting the implications of this study.


title: Electron-Electron Interactions in 2D Semiconductor InSe

abstract: Electron-electron interactions (EEIs) in 2D van der Waals structures is one of the topics with high current interest in physics. We report the observation of a negative parabolic magnetoresistance (MR) in multilayer 2D semiconductor InSe beyond the low-field weak localization/antilocalization regime, and provide evidence for the EEI origin of this MR behavior. Further, we analyze this negative parabolic MR and other observed quantum transport signatures of EEIs (temperature dependent conductance and Hall coefficient) within the framework of Fermi liquid theory and extract the gate voltage tunable Fermi liquid parameter $F_0^\sigma$ which quantifies the electron spin-exchange interaction strength.

categories: cond-mat.mes-hall cond-mat.dis-nn cond-mat.mtrl-sci cond-mat.str-el


title: Tree-optimized directed graphs

abstract: For an additive submonoid $\mathcal{M}$ of $\mathbb{R}_{\ge 0}$, the weight of an $\mathcal{M}$-labeled directed graph is the sum of all of its edge labels, while the content is the product of the labels. Having fixed $\mathcal{M}$ and a directed tree $E$, we prove a general result on the shape of directed $\mathcal{M}$-labeled graphs $\Gamma$ of weight $N\in \mathcal{M}$ maximizing the sum of the contents of all copies $E\subset \Gamma$. This specializes to recover a result of Hajac and Tobolski on the maximal number of length-$k$ paths in a directed acyclic graph. It also applies to prove a conjecture by the same authors on the maximal sum of entries of $A^k$ for a nilpotent $\mathbb{R}_{\ge 0}$-valued square matrix $A$ whose entries add up to $N$. Finally, we apply the same techniques to obtain the maximal number of stars with $a$ arms in a directed graph with $N$ edges.


title: Intrinsic time resolution of 3D-trench silicon pixels for charged particle detection

abstract: In the last years, high-resolution time tagging has emerged as the tool to tackle the problem of high-track density in the detectors of the next generation of experiments at particle colliders. Time resolutions below 50ps and event average repetition rates of tens of MHz on sensor pixels having a pitch of 50$\mu$m are typical minimum requirements. This poses an important scientific and technological challenge on the development of particle sensors and processing electronics. The TIMESPOT initiative (which stands for TIME and SPace real-time Operating Tracker) aims at the development of a full prototype detection system suitable for the particle trackers of the next-to-come particle physics experiments. This paper describes the results obtained on the first batch of TIMESPOT silicon sensors, based on a novel 3D MEMS (micro electro-mechanical systems) design. Following this approach, the performance of other ongoing silicon sensor developments has been matched and overcome, while using a technology which is known to be robust against radiation degradation. A time resolution of the order of 20ps has been measured at room temperature suggesting also possible improvements after further optimisations of the front-end electronics processing stage.


title: How to compare adversarial robustness of classifiers from a global perspective

abstract: Adversarial robustness of machine learning models has attracted considerable attention over recent years. Adversarial attacks undermine the reliability of and trust in machine learning models, but the construction of more robust models hinges on a rigorous understanding of adversarial robustness as a property of a given model. Point-wise measures for specific threat models are currently the most popular tool for comparing the robustness of classifiers and are used in most recent publications on adversarial robustness. In this work, we use recently proposed robustness curves to show that point-wise measures fail to capture important global properties that are essential to reliably compare the robustness of different classifiers. We introduce new ways in which robustness curves can be used to systematically uncover these properties and provide concrete recommendations for researchers and practitioners when assessing and comparing the robustness of trained models. Furthermore, we characterize scale as a way to distinguish small and large perturbations, and relate it to inherent properties of data sets, demonstrating that robustness thresholds must be chosen accordingly. We release code to reproduce all experiments presented in this paper, which includes a Python module to calculate robustness curves for arbitrary data sets and classifiers, supporting a number of frameworks, including TensorFlow, PyTorch and JAX.


title: Constrained Neural Ordinary Differential Equations with Stability Guarantees

abstract: Differential equations are frequently used in engineering domains, such as modeling and control of industrial systems, where safety and performance guarantees are of paramount importance. Traditional physics-based modeling approaches require domain expertise and are often difficult to tune or adapt to new systems. In this paper, we show how to model discrete ordinary differential equations (ODE) with algebraic nonlinearities as deep neural networks with varying degrees of prior knowledge. We derive the stability guarantees of the network layers based on the implicit constraints imposed on the weight's eigenvalues. Moreover, we show how to use barrier methods to generically handle additional inequality constraints. We demonstrate the prediction accuracy of learned neural ODEs evaluated on open-loop simulations compared to ground truth dynamics with bi-linear terms.


title: Microscopy Image Restoration using Deep Learning on W2S

abstract: We leverage deep learning techniques to jointly denoise and super-resolve biomedical images acquired with fluorescence microscopy. We develop a deep learning algorithm based on the networks and method described in the recent W2S paper to solve a joint denoising and super-resolution problem. Specifically, we address the restoration of SIM images from widefield images. Our TensorFlow model is trained on the W2S dataset of cell images and is made accessible online in this repository: https://github.com/mchatton/w2s-tensorflow. On test images, the model shows a visually-convincing denoising and increases the resolution by a factor of two compared to the input image. For a 512 $\times$ 512 image, the inference takes less than 1 second on a Titan X GPU and about 15 seconds on a common CPU. We further present the results of different variations of losses used in training.


title: Mathematical Modeling of COVID-19 Transmission Dynamics with a Case Study of Wuhan

abstract: We propose a compartmental mathematical model for the spread of the COVID-19 disease with special focus on the transmissibility of super-spreaders individuals. We compute the basic reproduction number threshold, we study the local stability of the disease free equilibrium in terms of the basic reproduction number, and we investigate the sensitivity of the model with respect to the variation of each one of its parameters. Numerical simulations show the suitability of the proposed COVID-19 model for the outbreak that occurred in Wuhan, China.


title: Stability-Guaranteed Reinforcement Learning for Contact-rich Manipulation

abstract: Reinforcement learning (RL) has had its fair share of success in contact-rich manipulation tasks but it still lags behind in benefiting from advances in robot control theory such as impedance control and stability guarantees. Recently, the concept of variable impedance control (VIC) was adopted into RL with encouraging results. However, the more important issue of stability remains unaddressed. To clarify the challenge in stable RL, we introduce the term all-the-time-stability that unambiguously means that every possible rollout will be stability certified. Our contribution is a model-free RL method that not only adopts VIC but also achieves all-the-time-stability. Building on a recently proposed stable VIC controller as the policy parameterization, we introduce a novel policy search algorithm that is inspired by Cross-Entropy Method and inherently guarantees stability. Our experimental studies confirm the feasibility and usefulness of stability guarantee and also features, to the best of our knowledge, the first successful application of RL with all-the-time-stability on the benchmark problem of peg-in-hole.


title: Towards Runtime Verification of Programmable Switches

abstract: Is it possible to patch software bugs in P4 programs without human involvement? We show that this is partially possible in many cases due to advances in software testing and the structure of P4 programs. Our insight is that runtime verification can detect bugs, even those that are not detected at compile-time, with machine learning-guided fuzzing. This enables a more automated and real-time localization of bugs in P4 programs using software testing techniques like Tarantula. Once the bug in a P4 program is localized, the faulty code can be patched due to the programmable nature of P4. In addition, platform-dependent bugs can be detected. From P4_14 to P4_16 (latest version), our observation is that as the programmable blocks increase, the patchability of P4 programs increases accordingly. To this end, we design, develop, and evaluate P6 that (a) detects, (b) localizes, and (c) patches bugs in P4 programs with minimal human interaction. P6 tests P4 switch non-intrusively, i.e., requires no modification to the P4 program for detecting and localizing bugs. We used a P6 prototype to detect and patch seven existing bugs in eight publicly available P4 application programs deployed on two different switch platforms: behavioral model (bmv2) and Tofino. Our evaluation shows that P6 significantly outperforms bug detection baselines while generating fewer packets and patches bugs in P4 programs such as switch.p4 without triggering any regressions.


title: Mean-Variance Policy Iteration for Risk-Averse Reinforcement Learning

abstract: We present a mean-variance policy iteration (MVPI) framework for risk-averse control in a discounted infinite horizon MDP optimizing the variance of a per-step reward random variable. MVPI enjoys great flexibility in that any policy evaluation method and risk-neutral control method can be dropped in for risk-averse control off the shelf, in both on- and off-policy settings. This flexibility reduces the gap between risk-neutral control and risk-averse control and is achieved by working on a novel augmented MDP directly. We propose risk-averse TD3 as an example instantiating MVPI, which outperforms vanilla TD3 and many previous risk-averse control methods in challenging Mujoco robot simulation tasks under a risk-aware performance metric. This risk-averse TD3 is the first to introduce deterministic policies and off-policy learning into risk-averse reinforcement learning, both of which are key to the performance boost we show in Mujoco domains.


title: The n$^3$He Experiment: Parity Violation in Polarized Neutron Capture on $^{3}$He

abstract: Significant progress has been made to experimentally determine a complete set of the parity-violating (PV) weak-interaction amplitudes between nucleons. In this paper we describe the design, construction and operation of the n$^3$He experiment that was used to measure the PV asymmetry $A_{\mathrm{PV}}$ in the direction of proton emission in the reaction $\vec{\mathrm{n}} + {^3}\mathrm{He} \rightarrow {^3}\mathrm{H} + \mathrm{p}$, using the capture of polarized cold neutrons in an unpolarized gaseous $^3\mathrm{He}$ target. This asymmetry has was recently calculated \cite{Viviani,Viviani2}, both in the traditional style meson exchange picture, and in effective field theory (EFT), including two-pion exchange. The high precision result (published separately) obtained with the experiment described herein forms an important benchmark for hadronic PV (HPV) theory in few-body systems, where precise calculations are possible. To this day, HPV is still one of the most poorly understood aspects of the electro-weak theory. The calculations estimate the size of the asymmetry to be in the range of $(-9.4 \rightarrow 3.5)\times 10^{-8}$, depending on the framework or model. The small size of the asymmetry and the small overall goal uncertainty of the experiment of $\delta A_{\mathrm{PV}} \simeq 1\times10^{-8}$ places strict requirements on the experiment, especially on the design of the target-detector chamber. In this paper we describe the experimental setup and the measurement methodology as well as the detailed design of the chamber, including results of Garfield++ and Geant4 simulations that form the basis of the chamber design and analysis. We also show data from commissioning and production and define the systematic errors that the chamber contributes to the measured $A_{\mathrm{PV}}$. We give the final uncertainty on the measurement.


title: Remotely projecting states of photonic temporal modes

abstract: Two-photon time-frequency entanglement is a valuable resource in quantum information. Resolving the wavepacket of ultrashort pulsed single-photons, however, is a challenge. Here, we demonstrate remote spectral shaping of single photon states and probe the coherence properties of two-photon quantum correlations in the time-frequency domain, using engineered parametric down-conversion (PDC) and a quantum pulse gate (QPG) in nonlinear waveguides. Through tailoring the joint spectral amplitude function of our PDC source we control the temporal mode structure between the generated photon pairs and show remote state-projections over a range of time-frequency mode superpositions.


title: Combinatorics and real lifts of bitangents to tropical quartic curves

abstract: Smooth algebraic plane quartics over algebraically closed fields have 28 bitangent lines. Their tropical counterparts often have infinitely many bitangents. They are grouped into seven equivalence classes, one for each linear system associated to an effective tropical theta characteristic on the tropical quartic. We show such classes determine tropically convex sets and provide a complete combinatorial classification of such objects into 41 types (up to symmetry). The occurrence of a given class is determined by both the combinatorial type and the metric structure of the input tropical plane quartic. We use this result to provide explicit sign-rules to obtain real lifts for each tropical bitangent class, and confirm that each one has either zero or exactly four real lifts, as previously conjectured by Len and the second author. Furthermore, such real lifts are always totally-real.


title: Simple heuristics for efficient parallel tensor contraction and quantum circuit simulation

abstract: Tensor networks are the main building blocks in a wide variety of computational sciences, ranging from many-body theory and quantum computing to probability and machine learning. Here we propose a parallel algorithm for the contraction of tensor networks using probabilistic graphical models. Our approach is based on the heuristic solution of the $\mu$-treewidth deletion problem in graph theory. We apply the resulting algorithm to the simulation of random quantum circuits and discuss the extensions for general tensor network contractions.


title: Graph isomorphism: Physical resources, optimization models, and algebraic characterizations

abstract: In the $(G,H)$-isomorphism game, a verifier interacts with two non-communicating players (called provers) by privately sending each of them a random vertex from either $G$ or $H$, whose aim is to convince the verifier that two graphs $G$ and $H$ are isomorphic. In recent work along with Atserias, \v{S}\'amal and Severini [Journal of Combinatorial Theory, Series B, 136:89--328, 2019] we showed that a verifier can be convinced that two non-isomorphic graphs are isomorphic, if the provers are allowed to share quantum resources. In this paper we model classical and quantum graph isomorphism by linear constraints over certain complicated convex cones, which we then relax to a pair of tractable convex models (semidefinite programs). Our main result is a complete algebraic characterization of the corresponding equivalence relations on graphs in terms of appropriate matrix algebras. Our techniques are an interesting mix of algebra, combinatorics, optimization, and quantum information.


title: Search for direct production of electroweakinos in final states with missing transverse momentum and a Higgs boson decaying into photons in $pp$ collisions at $\sqrt{s}=13$ TeV with the ATLAS detector

abstract: A search for a chargino$-$neutralino pair decaying via the 125 GeV Higgs boson into photons is presented. The study is based on the data collected between 2015 and 2018 with the ATLAS detector at the LHC, corresponding to an integrated luminosity of 139 fb$^{-1}$ of $pp$ collisions at a centre-of-mass energy of 13 TeV. No significant excess over the expected background is observed. Upper limits at 95% confidence level for a massless $\tilde{\chi}^{0}_{1}$ are set on several electroweakino production cross-sections and the visible cross-section for beyond the Standard Model processes. In the context of simplified supersymmetric models, 95% confidence-level limits of up to 310 GeV in $m(\tilde{\chi}^{\pm}_{1}/\tilde{\chi}^{0}_{2})$, where $m(\tilde{\chi}^{0}_{1})=0.5$ GeV, are set. Limits at 95% confidence level are also set on the $\tilde{\chi}^{\pm}_{1}\tilde{\chi}^{0}_{2}$ cross-section in the mass plane of $m(\tilde{\chi}^{\pm}_{1}/\tilde{\chi}^{0}_{2})$ and $m(\tilde{\chi}^{0}_{1})$, and on scenarios with gravitino as the lightest supersymmetric particle. Upper limits at the 95% confidence-level are set on the higgsino production cross-section. Higgsino masses below 380 GeV are excluded for the case of the higgsino fully decaying into a Higgs boson and a gravitino.


title: An antipodal Vivaldi antenna for improved far-field properties and polarization manipulation of broadband terahertz quantum cascade lasers

abstract: We present an antipodal Vivaldi antenna for broadband double metal waveguide terahertz quantum cascade lasers and frequency combs. Its exponentially curved flare profile results in an adiabatic in-plane mode expansion, producing an improved far-field with a single-lobed beam of (23{\deg}x19{\deg}) full width half maximum with an octave-spanning bandwidth. The antenna also acts as a wave retarder, rotating the polarization from vertical toward horizontal polarization by a frequency-dependent angle. The laser's emission spectrum and current-voltage characteristics are not affected, as well as frequency comb operation. Measurements agree well with numerical simulations, and the proposed antenna covers a broad spectral range (1.5-4.5 THz).


title: Representations of the loop braid groups from braided tensor categories

abstract: The loop braid group is the motion group of unknotted oriented circles in $\mathbb{R}^3$. In this paper, we study their representations through the approach inspired by two dimensional topological phases of matter. In principle, the motion of loops in $\mathbb{R}^3$ reduces to the motions of points in a two dimensional sliced plane. We realize this physical picture in terms of braided tensor categories and their braid group representations.


title: Spontaneous emission of atomic dipoles near two-sided semi-transparent mirrors

abstract: Atom-field interactions near optical interfaces have a wide range of applications in quantum technology. Motivated by this, this paper revisits the spontaneous emission of atomic dipoles in the presence of a two sided semi-transparent mirror. First we review the main properties of the quantised electromagnetic field near a semi-transparent mirror. To do so, we employ a quantum mirror image detector method which maps the experimental setup which we consider here onto analogous free space scenarios. We emphasise that the local density of states of the electromagnetic field depends on the reflection rates of both sides of the mirror surface. Hence it is not surprising that also the spontaneous decay rate of an atomic dipole in front of a semi-transparent mirror depends on both reflectance rates. Although the effect which we describe here only holds for relatively short atom-mirror distances, it can aid the design of novel photonics devices.


title: Qd-tree: Learning Data Layouts for Big Data Analytics

abstract: Corporations today collect data at an unprecedented and accelerating scale, making the need to run queries on large datasets increasingly important. Technologies such as columnar block-based data organization and compression have become standard practice in most commercial database systems. However, the problem of best assigning records to data blocks on storage is still open. For example, today's systems usually partition data by arrival time into row groups, or range/hash partition the data based on selected fields. For a given workload, however, such techniques are unable to optimize for the important metric of the number of blocks accessed by a query. This metric directly relates to the I/O cost, and therefore performance, of most analytical queries. Further, they are unable to exploit additional available storage to drive this metric down further. In this paper, we propose a new framework called a query-data routing tree, or qd-tree, to address this problem, and propose two algorithms for their construction based on greedy and deep reinforcement learning techniques. Experiments over benchmark and real workloads show that a qd-tree can provide physical speedups of more than an order of magnitude compared to current blocking schemes, and can reach within 2X of the lower bound for data skipping based on selectivity, while providing complete semantic descriptions of created blocks.


title: What are We Depressed about When We Talk about COVID19: Mental Health Analysis on Tweets Using Natural Language Processing

abstract: The outbreak of coronavirus disease 2019 (COVID-19) recently has affected human life to a great extent. Besides direct physical and economic threats, the pandemic also indirectly impact people's mental health conditions, which can be overwhelming but difficult to measure. The problem may come from various reasons such as unemployment status, stay-at-home policy, fear for the virus, and so forth. In this work, we focus on applying natural language processing (NLP) techniques to analyze tweets in terms of mental health. We trained deep models that classify each tweet into the following emotions: anger, anticipation, disgust, fear, joy, sadness, surprise and trust. We build the EmoCT (Emotion-Covid19-Tweet) dataset for the training purpose by manually labeling 1,000 English tweets. Furthermore, we propose and compare two methods to find out the reasons that are causing sadness and fear.


title: Lie-Nijenhuis bialgebroids

abstract: We introduce Lie-Nijenhuis bialgebroids as Lie bialgebroids endowed with an additional derivation-like object. They give a complete infinitesimal description of Poisson-Nijenhuis groupoids, and key examples include Poisson-Nijenhuis manifolds, holomorphic Lie bialgebroids and flat Lie bialgebra bundles. To achieve our goal we develop a theory of "generalized derivations" and their duality, extending the well-established theory of derivations on vector bundles.


title: Tracial approximation in simple C*-algebras

abstract: We revisit the notion of tracial approximation for unital simple C*-algebras. We show that a unital simple separable C*-algebra A is asymptotically tracially in the class of C*-algebras with finite nuclear dimension if and only if A is asymptotically tracially in the class of simple nuclear Z-stable C*-algebras.


title: WIYN Open Cluster Study LXXX: HDI CCD $UBVRI$ Photometry of the Old Open Cluster NGC 7142 and Comparison to M67

abstract: We present $UBVRI$ photometry of 8702 stars in a $0.5 ^\circ\times0.5 ^\circ$ field in the direction of NGC 7142, taken with the Half Degree Imager (HDI) at the WIYN 0.9-meter telescope, to improve knowledge of this cluster's basic parameters. Our photometry spans the ranges 10.6 - 20.4 mag in $U$, 10.6 - 22.0 mag in $B$, 10.0 - 21.8 mag in $V$, 9.2 - 20.7 mag in $R$, and 8.5 - 19.9 mag in $I$. Using color-color diagrams that employ all four color combinations that include $U$, versus $B-V$, we derive a reddening-metallicity relation for the cluster, with preferred values $E(B-V$) = 0.338 $\pm$ 0.031 mag for the left-edge fiducial of the main sequence and [Fe/H] = 0.0 $\pm$ 0.1 dex, where the Hyades cluster has been used as an unreddened reference cluster, the extinction relations of Cardelli have been employed, and the metallicity dependence of the Yonsei-Yale ($Y^2$) isochrones has been assumed. Comparison of our data to the $Y^2$ isochrones in multiple color-magnitude diagrams (CMDs) yields distance-metallicity and age-metallicity relations, with preferred values of $m-M\ =\ 12.65\ \pm\ 0.23$ mag and age = $4.0 ^{-0.7}_{+1.3}$ Gyr. Re-evaluation of the parameters of M67 using Stetson's $UBVI$ photometry yields [Fe/H] = -0.02 $\pm$ 0.05 dex, $E(B-V$) = 0.04 $\pm$ 0.01 mag, $m-M$ = 9.75 $\pm$ 0.03 mag, and age = 3.85 $\pm$ 0.17 Gyr; we thus find the metallicity and age of the two clusters to be indistinguishable. A semi-independent analysis adopting the parameters of M67 and shifting the fiducials of the two clusters in six CMDs until they match strongly corroborates the values listed above. The differences between our inferred parallaxes and the Gaia DR2 values are $87\ \pm\ 60$ $\mu$as for NGC 7142 and 48 $\pm$ 15 $\mu$as for M67, consistent with previous studies.


title: Spectral surfaces for operator pairs and Hadamard matrices of F type

abstract: It is well-known that, in general, an appearance of an algebraic hypersurface of finite multiplicity in the projective joint spectrum of an operator tuple does not imply the existence of a finite-dimensional common invariant subspace.We prove that if for a pair of operators A,B the project time joint spectrum of $A, B$ and $AB$ contains the surface $\{[x,y,z,t]\in {\mathbb C}{\mathbb P}^3: x^n+y^n+(-1)^{n-1}z^n-t^n=0\}$, the under some mild conditions this implies the existence of a subspace of dimension $n$ invariant for both $A$ and $B$. Itbis shown that the appearance of this surface has a relation to complex Hadamard matrices. We give a sufficient condition for a Hadamard matrix of F type to generate such pair $A,B$. For dimensions $n=3,4,5$ where there is a complete description of comp[lex Hadamard matrices, this condition proved to be necessary as well. Finally, we prove that a pair $A,B$ such that the projective joint spectrum of $A,B,AB$ and $BA$ contains $\{ [x,y,z_1,z_2,t]\in {mathbb C}{\mathbb P}^4: x^n+y^n+(-1)^{n-1}(e^{2\pi I/n}z_1+z_2)^n-t^n=0\}$, is generated by the Fourier matrix $F_n$.


title: Through the Looking Glass: Neural 3D Reconstruction of Transparent Shapes

abstract: Recovering the 3D shape of transparent objects using a small number of unconstrained natural images is an ill-posed problem. Complex light paths induced by refraction and reflection have prevented both traditional and deep multiview stereo from solving this challenge. We propose a physically-based network to recover 3D shape of transparent objects using a few images acquired with a mobile phone camera, under a known but arbitrary environment map. Our novel contributions include a normal representation that enables the network to model complex light transport through local computation, a rendering layer that models refractions and reflections, a cost volume specifically designed for normal refinement of transparent shapes and a feature mapping based on predicted normals for 3D point cloud reconstruction. We render a synthetic dataset to encourage the model to learn refractive light transport across different views. Our experiments show successful recovery of high-quality 3D geometry for complex transparent shapes using as few as 5-12 natural images. Code and data are publicly released.


title: The non-democratic side of regular sets

abstract: We analyse the role and the possible interpretations of regular sets studied in descriptive set theory and forcing theory from the point of view of social choice theory and we provide some insights about their non-democratic nature. Moreover we also show that equity and Pareto principles can rule out the non-democratic aspects.


title: The Universal de Rham/Spencer Double Complex on a Supermanifold

abstract: The universal Spencer and de Rham complexes of sheaves over a smooth or analytical manifold are well known to play a basic role in the theory of $\mathcal{D}$-modules. In this article we consider a double complex of sheaves generalizing both complexes for an arbitrary supermanifold, and we use it to unify the notions of differential and integral forms on real, complex and algebraic supermanifolds. The associated spectral sequences give the de Rham complex of differential forms and the complex of integral forms at page one. For real and complex supermanifolds both spectral sequences converge at page two to the locally constant sheaf. We use this fact to show that the cohomology of differential forms is isomorphic to the cohomology of integral forms, and they both compute the de Rham cohomology of the reduced manifold. Furthermore, we show that, in contrast with the case of ordinary complex manifolds, the Hodge-to-de Rham (or Fr\"olicher) spectral sequence of supermanifolds with K\"ahler reduced manifold does not converge in general at page one.


title: The Dependence of the Impurity Transport on the Dominant Turbulent Regime in ELM-y H-mode Discharges

abstract: Laser blow-off injections of aluminum and tungsten have been performed on the DIII-D tokamak to investigate the variation of impurity transport in a set of dedicated ion and electron heating scans with a fixed value of the external torque. The particle transport is quantified via the Bayesian inference method, which, constrained by a combination of a charge exchange recombination spectroscopy, soft X-ray measurements, and VUV spectroscopy provides a detailed uncertainty quantification of the transport coefficients. Contrasting discharge phases with a dominant electron and ion heating reveal a factor of 30 increase in midradius impurity diffusion and a 3-fold drop in the impurity confinement time when additional electron heating is applied. Further, the calculated stationary aluminum density profiles reverse from peaked in electron heated to hollow in the ion heated case, following a similar trend as electron and carbon density profiles. Comparable values of a core diffusion have been observed for W and Al ions, while differences in the propagation dynamics of these impurities are attributed to pedestal and edge transport. Modeling of the core transport with non-linear gyrokinetics code CGYRO [J. Candy and E. Belly J. Comput. Phys. 324,73 (2016)], significantly underpredicts the magnitude of the variation in Al transport. The experiment demonstrates a 3-times steeper increase of impurity diffusion with additional electron heat flux and 10-times lower diffusion in ion heated case than predicted by the modeling. However, the CGYRO model correctly predicts that the Al diffusion dramatically increases below the linear threshold for the transition from the ion temperature gradient (ITG) to trapped electron mode (TEM).


title: Taskflow: A Lightweight Parallel and Heterogeneous Task Graph Computing System

abstract: Taskflow aims to streamline the building of parallel and heterogeneous applications using a lightweight task graph-based approach. Taskflow introduces an expressive task graph programming model to assist developers in the implementation of parallel and heterogeneous decomposition strategies on a heterogeneous computing platform. Our programming model distinguishes itself as a very general class of task graph parallelism with in-graph control flow to enable end-to-end parallel optimization. To support our model with high performance, we design an efficient system runtime that solves many of the new scheduling challenges arising out of our models and optimizes the performance across latency, energy efficiency, and throughput. We have demonstrated the promising performance of Taskflow in real-world applications. As an example, Taskflow solves a large-scale machine learning workload up to 29% faster, 1.5x less memory, and 1.9x higher throughput than the industrial system, oneTBB, on a machine of 40 CPUs and 4 GPUs. We have opened the source of Taskflow and deployed it to large numbers of users in the open-source community.


title: Alternating links on surfaces and volume bounds

abstract: Weakly generalised alternating knots are knots with an alternating projection onto a closed surface in a compact irreducible 3-manifold, and they share many hyperbolic geometric properties with usual alternating knots. For example, usual alternating knots have volume bounded above and below by the twist number of the alternating diagram due to Lackenby. Howie and Purcell showed that a similar lower bound holds for weakly generalised alternating knots. In this paper, we show that a generalisation of the upper volume bound does not hold, by producing a family of weakly generalised alternating knots in the 3-sphere with fixed twist number but unbounded volumes. As a corollary, generalised alternating knots can have arbitrarily small cusp density, in contrast with usual alternating knots whose cusp densities are bounded away from zero due to Lackenby and Purcell. On the other hand, we show that the twist number of a weakly generalised alternating projection does gives two sided linear bounds on volume inside a thickened surface; we state some related open questions.


title: Bartlett and Bartlett-type corrections in heteroscedastic symmetric nonlinear regression models

abstract: This paper provides general expression for Bartlett and Bartlett-type correction factors for the likelihood ratio and gradient statistics to test the dispersion parameter in heteroscedastic symmetric nonlinear models. This class of regression models is potentially useful for modeling data containing outlying observations. We consider a partition on the dispersion parameter vector in order to test the parameters of interest. Furthermore, we develop Monte Carlo simulations to compare the finite sample performances of the corrected tests proposed with the usual and modified score tests, likelihood and gradient tests, the Bartlett-type corrected score test and bootstrap corrected tests. Our simulation results favor the score and gradient corrected tests as well as the bootstrap tests. An empirical application is presented for illustrative purposes.


title: Measuring Information Leakage in Non-stochastic Brute-Force Guessing

abstract: We propose an operational measure of information leakage in a non-stochastic setting to formalize privacy against a brute-force guessing adversary. We use uncertain variables, non-probabilistic counterparts of random variables, to construct a guessing framework in which an adversary is interested in determining private information based on uncertain reports. We consider brute-force trial-and-error guessing in which an adversary can potentially check all the possibilities of the private information that are compatible with the available outputs to find the actual private realization. The ratio of the worst-case number of guesses for the adversary in the presence of the output and in the absence of it captures the reduction in the adversary's guessing complexity and is thus used as a measure of private information leakage. We investigate the relationship between the newly-developed measure of information leakage with the existing non-stochastic maximin information and stochastic maximal leakage that are shown arise in one-shot guessing.


title: Symmetries of tropical moduli spaces of curves

abstract: We compute the automorphism group $\mathrm{Aut}(\Delta_{g, n})$ for all $g, n \geq 0$ such that $3g - 3 + n > 0$, where $\Delta_{g, n} \subset M_{g, n}^\mathrm{trop}$ is the moduli space of stable $n$-marked tropical curves of genus $g$ and volume one. In particular, we show that $\mathrm{Aut}(\Delta_{g})$ is trivial for $g \geq 2$, while $\mathrm{Aut}(\Delta_{g, n}) \cong S_n$ when $n \geq 1$ and $(g, n) \neq (0, 4), (1, 2)$. The space $\Delta_{g, n}$ is a symmetric $\Delta$-complex in the sense of Chan, Galatius, and Payne, and is identified with the dual intersection complex of the boundary divisor in the Deligne-Mumford-Knudsen moduli space $\overline{\mathcal{M}}_{g, n}$ of stable curves. After the work of Massarenti, who has shown that $\mathrm{Aut}(\overline{\mathcal{M}}_g)$ is trivial for $g \geq 2$ while $\mathrm{Aut}(\overline{\mathcal{M}}_{g, n}) \cong S_n$ when $n \geq 1$ and $2g - 2 + n \geq 3$, our result implies that the tropical moduli space $\Delta_{g, n}$ faithfully reflects the symmetries of the algebraic moduli space for general $g$ and $n$.


title: Ends of non-metrizable manifolds: a generalized bagpipe theorem

abstract: We initiate the study of ends of non-metrizable manifolds and introduce the notion of short and long ends. Using the theory developed, we provide a characterization of (non-metrizable) surfaces that can be written as the topological sum of a metrizable manifold plus a countable number of "long pipes" in terms of their spaces of ends; this is a direct generalization of Nyikos's bagpipe theorem.


title: Alternating Minimization Converges Super-Linearly for Mixed Linear Regression

abstract: We address the problem of solving mixed random linear equations. We have unlabeled observations coming from multiple linear regressions, and each observation corresponds to exactly one of the regression models. The goal is to learn the linear regressors from the observations. Classically, Alternating Minimization (AM) (which is a variant of Expectation Maximization (EM)) is used to solve this problem. AM iteratively alternates between the estimation of labels and solving the regression problems with the estimated labels. Empirically, it is observed that, for a large variety of non-convex problems including mixed linear regression, AM converges at a much faster rate compared to gradient based algorithms. However, the existing theory suggests similar rate of convergence for AM and gradient based methods, failing to capture this empirical behavior. In this paper, we close this gap between theory and practice for the special case of a mixture of $2$ linear regressions. We show that, provided initialized properly, AM enjoys a \emph{super-linear} rate of convergence in certain parameter regimes. To the best of our knowledge, this is the first work that theoretically establishes such rate for AM. Hence, if we want to recover the unknown regressors upto an error (in $\ell_2$ norm) of $\epsilon$, AM only takes $\mathcal{O}(\log \log (1/\epsilon))$ iterations. Furthermore, we compare AM with a gradient based heuristic algorithm empirically and show that AM dominates in iteration complexity as well as wall-clock time.


title: Doubly-stochastic mining for heterogeneous retrieval

abstract: Modern retrieval problems are characterised by training sets with potentially billions of labels, and heterogeneous data distributions across subpopulations (e.g., users of a retrieval system may be from different countries), each of which poses a challenge. The first challenge concerns scalability: with a large number of labels, standard losses are difficult to optimise even on a single example. The second challenge concerns uniformity: one ideally wants good performance on each subpopulation. While several solutions have been proposed to address the first challenge, the second challenge has received relatively less attention. In this paper, we propose doubly-stochastic mining (S2M ), a stochastic optimization technique that addresses both challenges. In each iteration of S2M, we compute a per-example loss based on a subset of hardest labels, and then compute the minibatch loss based on the hardest examples. We show theoretically and empirically that by focusing on the hardest examples, S2M ensures that all data subpopulations are modelled well.


title: Experimental evidence of monolayer AlB$_2$ with symmetry-protected Dirac cones

abstract: Monolayer AlB$_2$ is composed of two atomic layers: honeycomb borophene and triangular aluminum. In contrast with the bulk phase, monolayer AlB$_2$ is predicted to be a superconductor with a high critical temperature. Here, we demonstrate that monolayer AlB$_2$ can be synthesized on Al(111) via molecular beam epitaxy. Our theoretical calculations revealed that the monolayer AlB$_2$ hosts several Dirac cones along the $\Gamma$--M and $\Gamma$--K directions; these Dirac cones are protected by crystal symmetries and are thus resistant to external perturbations. The extraordinary electronic structure of the monolayer AlB$_2$ was confirmed via angle-resolved photoemission spectroscopy measurements. These results are likely to stimulate further research interest to explore the exotic properties arising from the interplay of Dirac fermions and superconductivity in two-dimensional materials.


title: Flexibility of Planar Graphs -- Sharpening the Tools to Get Lists of Size Four

abstract: A graph where each vertex $v$ has a list $L(v)$ of available colors is $L$-colorable if there is a proper coloring such that the color of $v$ is in $L(v)$ for each $v$. A graph is $k$-choosable if every assignment $L$ of at least $k$ colors to each vertex guarantees an $L$-coloring. Given a list assignment $L$, an $L$-request for a vertex $v$ is a color $c\in L(v)$. In this paper, we look at a variant of the widely studied class of precoloring extension problems from [Z. Dvo\v{r}\'ak, S. Norin, and L. Postle: List coloring with requests. J. Graph Theory 2019], wherein one must satisfy "enough", as opposed to all, of the requested set of precolors. A graph $G$ is $\varepsilon$-flexible for list size $k$ if for any $k$-list assignment $L$, and any set $S$ of $L$-requests, there is an $L$-coloring of $G$ satisfying an $\varepsilon$-fraction of the requests in $S$. It is conjectured that planar graphs are $\varepsilon$-flexible for list size $5$, yet it is proved only for list size $6$ and for certain subclasses of planar graphs. We give a stronger version of the main tool used in the proofs of the aforementioned results. By doing so, we improve upon a result by Masa\v{r}\'ik and show that planar graphs without $K_4^-$ are $\varepsilon$-flexible for list size $5$. We also prove that planar graphs without $4$-cycles and $3$-cycle distance at least 2 are $\varepsilon$-flexible for list size $4$. Finally, we introduce a new (slightly weaker) form of $\varepsilon$-flexibility where each vertex has exactly one request. In that setting, we provide a stronger tool and we demonstrate its usefulness to further extend the class of graphs that are $\varepsilon$-flexible for list size $5$.


title: Energy Management and Trajectory Optimization for UAV-Enabled Legitimate Monitoring Systems

abstract: Thanks to their quick placement and high flexibility, unmanned aerial vehicles (UAVs) can be very useful in the current and future wireless communication systems. With a growing number of smart devices and infrastructure-free communication networks, it is necessary to legitimately monitor these networks to prevent crimes. In this paper, a novel framework is proposed to exploit the flexibility of the UAV for legitimate monitoring via joint trajectory design and energy management. The system includes a suspicious transmission link with a terrestrial transmitter and a terrestrial receiver, and a UAV to monitor the suspicious link. The UAV can adjust its positions and send jamming signal to the suspicious receiver to ensure successful eavesdropping. Based on this model, we first develop an approach to minimize the overall jamming energy consumption of the UAV. Building on a judicious (re-)formulation, an alternating optimization approach is developed to compute a locally optimal solution in polynomial time. Furthermore, we model and include the propulsion power to minimize the overall energy consumption of the UAV. Leveraging the successive convex approximation method, an effective iterative approach is developed to find a feasible solution fulfilling the Karush-Kuhn-Tucker (KKT) conditions. Extensive numerical results are provided to verify the merits of the proposed schemes.


title: TCNN: Triple Convolutional Neural Network Models for Retrieval-based Question Answering System in E-commerce

abstract: Automatic question-answering (QA) systems have boomed during last few years, and commonly used techniques can be roughly categorized into Information Retrieval (IR)-based and generation-based. A key solution to the IR based models is to retrieve the most similar knowledge entries of a given query from a QA knowledge base, and then rerank those knowledge entries with semantic matching models. In this paper, we aim to improve an IR based e-commerce QA system-AliMe with proposed text matching models, including a basic Triple Convolutional Neural Network (TCNN) model and two Attention-based TCNN (ATCNN) models. Experimental results show their effect.


title: Hierarchical Needs Based Self-Adaptive Framework For Cooperative Multi-Robot System

abstract: Research in multi-robot and swarm systems has seen significant interest in cooperation of agents in complex and dynamic environments. To effectively adapt to unknown environments and maximize the utility of the group, robots need to cooperate, share information, and make a suitable plan according to the specific scenario. Inspired by Maslow's hierarchy of human needs and systems theory, we introduce Robot's Need Hierarchy and propose a new solution called Self-Adaptive Swarm System (SASS). It combines multi-robot perception, communication, planning, and execution with the cooperative management of conflicts through a distributed Negotiation-Agreement Mechanism that prioritizes robot's needs. We also decompose the complex tasks into simple executable behaviors through several Atomic Operations, such as selection, formation, and routing. We evaluate SASS through simulating static and dynamic tasks and comparing them with the state-of-the-art collision-aware task assignment method integrated into our framework.


title: Effect of layer thickness on structural, morphological and superconducting properties of Nb$_3$Sn films fabricated by multilayer sequential sputtering

abstract: Superconducting Nb3Sn films can be synthesized by controlling the atomic concentration of Sn. Multilayer sequential sputtering of Nb and Sn thin films followed by high temperature annealing is considered as a method to fabricate Nb3Sn films, where the Sn composition of the deposited films can be controlled by the thickness of alternating Nb and Sn layers. We report on the structural, morphological and superconducting properties of Nb3Sn films fabricated by multilayer sequential sputtering of Nb and Sn films on sapphire substrates followed by annealing at 950 {\deg}C for 3 h. We have investigated the effect of Nb and Sn layer thickness and Nb:Sn ratio on the properties of the Nb3Sn films. The crystal structure, surface morphology, surface topography, and film composition were characterized by X-ray diffraction (XRD), scanning electron microscopy (SEM), atomic force microscopy (AFM), and energy dispersive X-ray spectroscopy (EDS). The results showed Sn loss from the surface due to evaporation during annealing. Superconducting Nb3Sn films of critical temperature up to 17.93 K were fabricated.


title: On a phase transition in general order spline regression

abstract: In the Gaussian sequence model $Y= \theta_0 + \varepsilon$ in $\mathbb{R}^n$, we study the fundamental limit of approximating the signal $\theta_0$ by a class $\Theta(d,d_0,k)$ of (generalized) splines with free knots. Here $d$ is the degree of the spline, $d_0$ is the order of differentiability at each inner knot, and $k$ is the maximal number of pieces. We show that, given any integer $d\geq 0$ and $d_0\in\{-1,0,\ldots,d-1\}$, the minimax rate of estimation over $\Theta(d,d_0,k)$ exhibits the following phase transition: \begin{equation*} \begin{aligned} \inf_{\widetilde{\theta}}\sup_{\theta\in\Theta(d,d_0, k)}\mathbb{E}_\theta\|\widetilde{\theta} - \theta\|^2 \asymp_d \begin{cases} k\log\log(16n/k), & 2\leq k\leq k_0,\\ k\log(en/k), & k \geq k_0+1. \end{cases} \end{aligned} \end{equation*} The transition boundary $k_0$, which takes the form $\lfloor{(d+1)/(d-d_0)\rfloor} + 1$, demonstrates the critical role of the regularity parameter $d_0$ in the separation between a faster $\log \log(16n)$ and a slower $\log(en)$ rate. We further show that, once encouraging an additional '$d$-monotonicity' shape constraint (including monotonicity for $d = 0$ and convexity for $d=1$), the above phase transition is eliminated and the faster $k\log\log(16n/k)$ rate can be achieved for all $k$. These results provide theoretical support for developing $\ell_0$-penalized (shape-constrained) spline regression procedures as useful alternatives to $\ell_1$- and $\ell_2$-penalized ones.


title: The Maximal Generalised Roundness Of Finite Metric Spaces

abstract: We provide two simplifications of Sanchez's formula for the maximum generalised roundness of a finite metric space.


title: PolyLaneNet: Lane Estimation via Deep Polynomial Regression

abstract: One of the main factors that contributed to the large advances in autonomous driving is the advent of deep learning. For safer self-driving vehicles, one of the problems that has yet to be solved completely is lane detection. Since methods for this task have to work in real-time (+30 FPS), they not only have to be effective (i.e., have high accuracy) but they also have to be efficient (i.e., fast). In this work, we present a novel method for lane detection that uses as input an image from a forward-looking camera mounted in the vehicle and outputs polynomials representing each lane marking in the image, via deep polynomial regression. The proposed method is shown to be competitive with existing state-of-the-art methods in the TuSimple dataset while maintaining its efficiency (115 FPS). Additionally, extensive qualitative results on two additional public datasets are presented, alongside with limitations in the evaluation metrics used by recent works for lane detection. Finally, we provide source code and trained models that allow others to replicate all the results shown in this paper, which is surprisingly rare in state-of-the-art lane detection methods. The full source code and pretrained models are available at https://github.com/lucastabelini/PolyLaneNet.


title: Helium Induced Nitrogen Salt at High Pressure

abstract: The energy landscape of helium-nitrogen mixtures is explored by ab initio evolutionary searches, which predicted several stable helium-nitrogen compounds in the pressure range from 25 to 100 GPa. In particular, the monoclinic structure of HeN$_{22}$ consists of neutral He atoms, partially ionic dimers N$_{2}$$^{\delta-}$, and lantern-like cages N$_{20}$$^{\delta+}$. The presence of helium not only greatly enhances structural diversity of nitrogen solids, but also tremendously lowers the formation pressure of nitrogen salt. The unique nitrogen framework of (HeN$_{20}$)$^{\delta+}$N$_{2}$$^{\delta-}$ may be quenchable to ambient pressure even after removing helium. The estimated energy density of N$_{20}$$^{\delta+}$N$_{2}$$^{\delta-}$ (10.44 kJ/g) is $\sim$2.4 times larger than that of trinitrotoluene (TNT), indicating a very promising high-energy-density material.


title: Performance Evaluation of Secure Multi-party Computation on Heterogeneous Nodes

abstract: Secure multi-party computation (MPC) is a broad cryptographic concept that can be adopted for privacy-preserving computation. With MPC, a number of parties can collaboratively compute a function, without revealing the actual input or output of the plaintext to others. The applications of MPC range from privacy-preserving voting, arithmetic calculation, and large-scale data analysis. From the system perspective, each party in MPC can run on one compute node. The compute nodes of multiple parties could be either homogeneous or heterogeneous; however, the distributed workloads from the MPC protocols tend to be always homogeneous (symmetric). In this work, we study a representative MPC framework and a set of MPC applications from the system performance perspective. We show the detailed online computation workflow of a state-of-the-art MPC protocol and analyze the root cause of its stall time and performance bottleneck on homogeneous and heterogeneous compute nodes.


title: Cooperative Perception with Deep Reinforcement Learning for Connected Vehicles

abstract: Sensor-based perception on vehicles are becoming prevalent and important to enhance the road safety. Autonomous driving systems use cameras, LiDAR, and radar to detect surrounding objects, while human-driven vehicles use them to assist the driver. However, the environmental perception by individual vehicles has the limitations on coverage and/or detection accuracy. For example, a vehicle cannot detect objects occluded by other moving/static obstacles. In this paper, we present a cooperative perception scheme with deep reinforcement learning to enhance the detection accuracy for the surrounding objects. By using the deep reinforcement learning to select the data to transmit, our scheme mitigates the network load in vehicular communication networks and enhances the communication reliability. To design, test, and verify the cooperative perception scheme, we develop a Cooperative & Intelligent Vehicle Simulation (CIVS) Platform, which integrates three software components: traffic simulator, vehicle simulator, and object classifier. We evaluate that our scheme decreases packet loss and thereby increases the detection accuracy by up to 12%, compared to the baseline protocol.


title: Recurrent Neural Network Architecture Search for Geophysical Emulation

abstract: Developing surrogate geophysical models from data is a key research topic in atmospheric and oceanic modeling because of the large computational costs associated with numerical simulation methods. Researchers have started applying a wide range of machine learning models, in particular neural networks, to geophysical data for forecasting without these constraints. Constructing neural networks for forecasting such data is nontrivial, however, and often requires trial and error. To address these limitations, we focus on developing proper-orthogonal-decomposition-based long short-term memory networks (POD-LSTMs). We develop a scalable neural architecture search for generating stacked LSTMs to forecast temperature in the NOAA Optimum Interpolation Sea-Surface Temperature data set. Our approach identifies POD-LSTMs that are superior to manually designed variants and baseline time-series prediction methods. We also assess the scalability of different architecture search strategies on up to 512 Intel Knights Landing nodes of the Theta supercomputer at the Argonne Leadership Computing Facility.


title: Modeling ambient temperature and relative humidity sensitivity of respiratory droplets and their role in Covid-19 outbreaks

abstract: One of the many unresolved questions that revolves around the Covid-19 pandemic is whether local outbreaks can depend on ambient conditions like temperature and relative humidity. In this paper, we develop a model that tries to explain and describe the temperature and relative humidity sensitivity of respiratory droplets and their possible connection in determining viral outbreaks. The model has two parts. First, we model the growth rate of the infected population based on a reaction mechanism - the final equations of which are similar to the well-known SIR model. The advantage of modeling the pandemic using the reaction mechanism is that the rate constants have sound physical interpretation. The infection rate constant is derived using collision rate theory and shown to be a function of the respiratory droplet lifetime. In the second part, we have emulated the respiratory droplets responsible for disease transmission as salt solution droplets and computed their evaporation time accounting for droplet cooling, heat and mass transfer and finally crystallization of the salt. The model output favourably compares with the experimentally obtained evaporation characteristics of levitated droplets of pure water and salt solution, respectively, ensuring fidelity of the model. Droplet evaporation/desiccation time is indeed dependent on ambient temperature and relative humidity, considered at both outdoor and indoor conditions. Since the droplet evaporation time determines the infection rate constant, ambient temperature and relative humidity are shown to impact the outbreak growth rates.


title: Measuring the viscoelastic behavior of dilute polymer solutions using high-speed statistical particle microrheology

abstract: The viscoelastic behavior of polymer solutions is commonly measured using oscillating shear rheometry, however, the accuracy of such methods is limited by the oscillating frequency of the equipment and since the relaxation time of the dilute polymer solutions is short, this requires measurement at very high frequencies. Microrheology has been proposed to overcome this technical challenge. Yet the equipment for resolving the statistics of particle displacements in microrheology is expensive. In this work, we measured the viscoelastic behavior of Methocel solutions at various concentrations using a conventional epi-fluorescence microscope coupled to a high-speed intensified camera. Statistical Particle Tracking is used in analyzing the mean-squared displacement of the dispersive particles. Relaxation times ranging from 0.76 - 9.00 ms and viscoelastic moduli, G' between 11.34 and 3.39 are reported for Methocel solutions of concentrations between 0.063 - 0.5%


title: Active Learning for Gaussian Process Considering Uncertainties with Application to Shape Control of Composite Fuselage

abstract: In the machine learning domain, active learning is an iterative data selection algorithm for maximizing information acquisition and improving model performance with limited training samples. It is very useful, especially for the industrial applications where training samples are expensive, time-consuming, or difficult to obtain. Existing methods mainly focus on active learning for classification, and a few methods are designed for regression such as linear regression or Gaussian process. Uncertainties from measurement errors and intrinsic input noise inevitably exist in the experimental data, which further affects the modeling performance. The existing active learning methods do not incorporate these uncertainties for Gaussian process. In this paper, we propose two new active learning algorithms for the Gaussian process with uncertainties, which are variance-based weighted active learning algorithm and D-optimal weighted active learning algorithm. Through numerical study, we show that the proposed approach can incorporate the impact from uncertainties, and realize better prediction performance. This approach has been applied to improving the predictive modeling for automatic shape control of composite fuselage.


title: Constraints on the composition and temperature of LLSVPs from seismic properties of lower mantle minerals

abstract: Here, we provide a reappraisal of potential LLSVPs compositions based on an improved mineralogical model including, for instance, the effects of alumina. We also systematically investigate the effects of six parameters: FeO and Al$_{2}$O$_{3}$ content, proportion of CaSiO$_{3}$ and bridgmanite (so that the proportion of ferropericlase is implicitly investigated), Fe$^{3+}$/$\sum$Fe and temperature contrast between far-field mantle and LLSVPs. From the 81 millions cases studied, only 79000 cases explain the seismic observations. Nevertheless, these successful cases involve a large range of parameters with, for instance, FeO content between 12--25~wt\% and Al$_{2}$O$_{3}$ content between 3--17~wt\%. We then apply a principal component analysis (PCA) to these cases and find two robust results: (i) the proportion of ferropericlase should be low ($<$6vol\%); (ii) the formation of Fe$^{3+}$-bearing bridgmanite is much more favored than other iron-bearing phases. Following these results, we identify two end-member compositions, Bm-rich and CaPv-rich, and discuss their characteristics. Finally, we discuss different scenarios for the formation of LLSVPs and propose that investigating the mineral proportion produced by each scenario is the best way to evaluate their relevance. For instance, the solidification of a primitive magma ocean may produce FeO and Al$_{2}$O$_{3}$ content similar to those suggested by our analysis. However, the mineral proportion of such reservoirs is not well-constrained and may contain a larger proportion of ferropericlase than what is allowed by our results.


title: A Word Communication System with Caregiver Assist for Amyotrophic Lateral Sclerosis Patients in Completely and Almost Completely Locked-in State

abstract: People with heavy physical impairment such as amyotrophic lateral sclerosis (ALS) in a completely locked-in state (CLIS) suffer from inability to express their thoughts to others. To solve this problem, many brain-computer interface (BCI) systems have been developed, but they have not proven sufficient for CLIS. In this paper, we propose a word communication system: a BCI with caregiver assist, in which caregivers play an active role in helping patients express a word. We report here that four ALS patients in almost CLIS and one in CLIS succeeded in expressing their own words (in Japanese) in response to wh-questions that could not be answered "yes/no." Each subject selected vowels (maximum three) contained in the word that he or she wanted to express in a sequential way, by using a "yes/no" communication aid based on near-infrared light. Then, a caregiver entered the selected vowels into a dictionary with vowel entries, which returned candidate words having those vowels. When there were no appropriate words, the caregiver changed one vowel and searched again or started over from the beginning. When an appropriate word was selected, it was confirmed by the subject via "yes/no" answers. Three subjects expressed "yes" for the selected word at least six times out of eight (reliability of 91.0% by a statistical measure), one subject (in CLIS) did so five times out of eight (74.6%), and one subject three times out of four (81.3%). We have thus taken the first step toward a practical word communication system for such patients.


title: YOLOv4: Optimal Speed and Accuracy of Object Detection

abstract: There are a huge number of features which are said to improve Convolutional Neural Network (CNN) accuracy. Practical testing of combinations of such features on large datasets, and theoretical justification of the result, is required. Some features operate on certain models exclusively and for certain problems exclusively, or only for small-scale datasets; while some features, such as batch-normalization and residual-connections, are applicable to the majority of models, tasks, and datasets. We assume that such universal features include Weighted-Residual-Connections (WRC), Cross-Stage-Partial-connections (CSP), Cross mini-Batch Normalization (CmBN), Self-adversarial-training (SAT) and Mish-activation. We use new features: WRC, CSP, CmBN, SAT, Mish activation, Mosaic data augmentation, CmBN, DropBlock regularization, and CIoU loss, and combine some of them to achieve state-of-the-art results: 43.5% AP (65.7% AP50) for the MS COCO dataset at a realtime speed of ~65 FPS on Tesla V100. Source code is at https://github.com/AlexeyAB/darknet


title: Entropy Production in Dissipationless Hydrodynamics with an order parameter

abstract: We study hydrodynamics coupled to order parameter based on linear sigma model. We obtain numerical solutions for both boost invariant and non-boost invariant solutions. Both solutions show the order parameter rises with oscillations, which persist at late time. The temperature drops with correlated oscillations, which can be approximated by a power law at mid-rapidity. We also find the entropy is conserved in the boost invariant case, but entropy production is seen in non-boost invariant solution. We interpret the entropy production as due to smoothening of inhomogeneity in the off-equilibrium state.


title: PERMDNN: Efficient Compressed DNN Architecture with Permuted Diagonal Matrices

abstract: Deep neural network (DNN) has emerged as the most important and popular artificial intelligent (AI) technique. The growth of model size poses a key energy efficiency challenge for the underlying computing platform. Thus, model compression becomes a crucial problem. However, the current approaches are limited by various drawbacks. Specifically, network sparsification approach suffers from irregularity, heuristic nature and large indexing overhead. On the other hand, the recent structured matrix-based approach (i.e., CirCNN) is limited by the relatively complex arithmetic computation (i.e., FFT), less flexible compression ratio, and its inability to fully utilize input sparsity. To address these drawbacks, this paper proposes PermDNN, a novel approach to generate and execute hardware-friendly structured sparse DNN models using permuted diagonal matrices. Compared with unstructured sparsification approach, PermDNN eliminates the drawbacks of indexing overhead, non-heuristic compression effects and time-consuming retraining. Compared with circulant structure-imposing approach, PermDNN enjoys the benefits of higher reduction in computational complexity, flexible compression ratio, simple arithmetic computation and full utilization of input sparsity. We propose PermDNN architecture, a multi-processing element (PE) fully-connected (FC) layer-targeted computing engine. The entire architecture is highly scalable and flexible, and hence it can support the needs of different applications with different model configurations. We implement a 32-PE design using CMOS 28nm technology. Compared with EIE, PermDNN achieves 3.3x~4.8x higher throughout, 5.9x~8.5x better area efficiency and 2.8x~4.0x better energy efficiency on different workloads. Compared with CirCNN, PermDNN achieves 11.51x higher throughput and 3.89x better energy efficiency.


title: On the shock change equations

abstract: We revisit and derive the shock-change equations relating the dynamics of a shock wave with the partial derivatives describing the motion of a reactive fluid with general equation of state in a stream-tube with arbitrary area variation. We specialize these to a perfect gas, in which we obtain all shock-change equations in closed form. These are further simplified for strong shocks. We discuss the general usefulness of these equations in problems of reactive compressible flow and in the development of intrinsic evolution equations for the shock, such as the approximations made by Whitham and Sharma.


title: Theoretical and Experimental Study of Compression Effects on Structural Relaxation of Glass-Forming Liquids

abstract: We develop the elastically collective nonlinear Langevin equation theory of bulk relaxation of glass-forming liquids to investigate molecular mobility under compression conditions. The applied pressure restricts more molecular motion and therefore significantly slows-down the molecular dynamics when increasing the pressure. We quantitatively determine the temperature and pressure dependence of the structural relaxation time. To validate our model, dielectric spectroscopy experiments for three rigid and non-polymeric supramolecules are carried out at ambient and elevated pressures. The numerical results quantitatively agree with experimental data.

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


title: Correlation-driven eightfold magnetic anisotropy in a two-dimensional oxide monolayer

abstract: Engineering magnetic anisotropy in two-dimensional systems has enormous scientific and technological implications. The uniaxial anisotropy universally exhibited by two-dimensional magnets has only two stable spin directions, demanding 180 degrees spin switching between states. We demonstrate a novel eightfold anisotropy in magnetic SrRuO3 monolayers by inducing a spin reorientation in (SrRuO3)1/(SrTiO3)N superlattices, in which the magnetic easy axis of Ru spins is transformed from uniaxial <001> direction (N = 1 and 2) to eightfold <111> directions (N = 3, 4 and 5). This eightfold anisotropy enables 71 and 109 degrees spin switching in SrRuO3 monolayers, analogous to 71 and 109 degrees polarization switching in ferroelectric BiFeO3. First-principle calculations reveal that increasing the SrTiO3 layer thickness induces an emergent correlation-driven orbital ordering, tuning spin-orbit interactions and reorienting the SrRuO3 monolayer easy axis. Our work demonstrates that correlation effects can be exploited to substantially change spin-orbit interactions, stabilizing unprecedented properties in two-dimensional magnets and opening rich opportunities for low-power, multi-state device applications.


title: Partial derivatives, singular integrals and Sobolev Spaces in dyadic settings

abstract: In this note we show that the general theory of vector valued singular integral operators of Calder\'on-Zygmund defined on general metric measure spaces, can be applied to obtain Sobolev type regularity properties for solutions of the dyadic fractional Laplacian. In doing so, we define partial derivatives in terms of Haar multipliers and dyadic homogeneous singular integral operators.


title: Private Query Release Assisted by Public Data

abstract: We study the problem of differentially private query release assisted by access to public data. In this problem, the goal is to answer a large class $\mathcal{H}$ of statistical queries with error no more than $\alpha$ using a combination of public and private samples. The algorithm is required to satisfy differential privacy only with respect to the private samples. We study the limits of this task in terms of the private and public sample complexities. First, we show that we can solve the problem for any query class $\mathcal{H}$ of finite VC-dimension using only $d/\alpha$ public samples and $\sqrt{p}d^{3/2}/\alpha^2$ private samples, where $d$ and $p$ are the VC-dimension and dual VC-dimension of $\mathcal{H}$, respectively. In comparison, with only private samples, this problem cannot be solved even for simple query classes with VC-dimension one, and without any private samples, a larger public sample of size $d/\alpha^2$ is needed. Next, we give sample complexity lower bounds that exhibit tight dependence on $p$ and $\alpha$. For the class of decision stumps, we give a lower bound of $\sqrt{p}/\alpha$ on the private sample complexity whenever the public sample size is less than $1/\alpha^2$. Given our upper bounds, this shows that the dependence on $\sqrt{p}$ is necessary in the private sample complexity. We also give a lower bound of $1/\alpha$ on the public sample complexity for a broad family of query classes, which by our upper bound, is tight in $\alpha$.


title: Spin-$1/2$ invisible particles in heavy meson decays

abstract: The flavor-changing neutral current decay processes of the $B$ and $B_c$ mesons with the final states involving spin-$1/2$ particles are investigated. By considering the background of the Standard Model where $\nu\bar\nu$ contributes the missing energy and the experimental upper bounds for the branching fractions, we get the constraints of the coupling constants of the quark-antiquark and the assumed invisible particles $\chi\bar\chi$. The constraints of the coupling constants are then used to study the similar processes of the $B_c$ meson. At some specific region of $m_\chi$, the upper limit of BR($B_c\to D_{(s)}\chi\bar\chi$) is of the order of $10^{-6}$, while for BR($B_c\to D^\ast_{(s)}\chi\bar\chi$), it is $10^{-5}$. The possibility of distinguishing $\chi$ to be a Majorana or Dirac fermion by the differential branching fractions is also discussed.


title: Distilling Knowledge from Refinement in Multiple Instance Detection Networks

abstract: Weakly supervised object detection (WSOD) aims to tackle the object detection problem using only labeled image categories as supervision. A common approach used in WSOD to deal with the lack of localization information is Multiple Instance Learning, and in recent years methods started adopting Multiple Instance Detection Networks (MIDN), which allows training in an end-to-end fashion. In general, these methods work by selecting the best instance from a pool of candidates and then aggregating other instances based on similarity. In this work, we claim that carefully selecting the aggregation criteria can considerably improve the accuracy of the learned detector. We start by proposing an additional refinement step to an existing approach (OICR), which we call refinement knowledge distillation. Then, we present an adaptive supervision aggregation function that dynamically changes the aggregation criteria for selecting boxes related to one of the ground-truth classes, background, or even ignored during the generation of each refinement module supervision. Experiments in Pascal VOC 2007 demonstrate that our Knowledge Distillation and smooth aggregation function significantly improves the performance of OICR in the weakly supervised object detection and weakly supervised object localization tasks. These improvements make the Boosted-OICR competitive again versus other state-of-the-art approaches.


title: Toward the unambiguous identification of supermassive binary black holes through Bayesian inference

abstract: Supermassive binary black holes at sub-parsec orbital separations have yet to be discovered, with the possible exception of blazar OJ~287. In parallel to the global hunt for nanohertz gravitational waves from supermassive binaries using pulsar timing arrays, there has been a growing sample of candidates reported from electromagnetic surveys, particularly searches for periodic variations in optical light curves of quasars. However, the periodicity search is prone to false positives from quasar red noise and quasi-periodic oscillations from the accretion disc of a single supermassive black hole---especially when the data span fewer than a few signal cycles. We present a Bayesian method for the detection of quasar (quasi-)periodicity in the presence of red noise. We apply this method to the binary candidate PG1302$-$102, and show that a) there is very strong support (Bayes factor $>10^6$) for quasi-periodicity, and b) the data slightly favour a quasi-periodic oscillation over a sinusoidal signal, which we interpret as modest evidence against the binary black hole hypothesis. We also find that the prevalent damped random walk red-noise model is disfavored with more than 99.9\% credibility. Finally, we outline future work that may enable the unambiguous identification of supermassive binary black holes.


title: Searches for Pulsar-like Candidates from Unidentified Objects in the Third Catalog of Hard Fermi-LAT (3FHL) sources with Machine Learning Techniques

abstract: We report the results of searching pulsar-like candidates from the unidentified objects in the $3^{\rm rd}$ Catalog of Hard Fermi-LAT sources (3FHL). Using a machine-learning based classification scheme with a nominal accuracy of $\sim98\%$, we have selected 27 pulsar-like objects from 200 unidentified 3FHL sources for an identification campaign. Using archival data, X-ray sources are found within the $\gamma-$ray error ellipses of 10 3FHL pulsar-like candidates. Within the error circles of the much better constrained X-ray positions, we have also searched for the optical/infrared counterparts and examined their spectral energy distributions. Among our short-listed candidates, the most secure identification is the association of 3FHL J1823.3-1339 and its X-ray counterpart with the globular cluster Mercer 5. The $\gamma-$rays from the source can be contributed by a population of millisecond pulsars residing in the cluster. This makes Mercer 5 as one of the slowly growing hard $\gamma-$ray population of globular clusters with emission $>10$ GeV. Very recently, another candidate picked by our classification scheme, 3FHL J1405.1-6118, has been identified as a new $\gamma-$ray binary with an orbital period of $13.7$ days. Our X-ray analysis with a short Chandra observation has found a possible periodic signal candidate of $\sim1.4$ hrs and a putative extended X-ray tail of $\sim20$ arcsec long. Spectral energy distribution of its optical/infrared counterpart conforms with a blackbody of $T_{\rm bb}\sim40000$ K and $R_{\rm bb}\sim12R_{\odot}$ at a distance of 7.7 kpc. This is consistent with its identification as an early O star as found by infrared spectroscopy.


title: Optimum Location-Based Relay Selection in Wireless Networks

abstract: This paper studies the performance and key structural properties of the optimum location-based relay selection policy for wireless networks consisting of homogeneous Poisson distributed relays. The distribution of the channel quality indicator at the optimum relay location is obtained. A threshold-based distributed selective feedback policy is proposed for the discovery of the optimum relay location with finite average feedback load. It is established that the total number of relays feeding back obeys to a Poisson distribution and an analytical expression for the average feedback load is derived. The analytical expressions for the average rate and outage probability with and without selective feedback are also obtained for general path-loss models. It is shown that the optimum location-based relay selection policy outperforms other common relay selection strategies notably. It is also shown that utilizing location information from a small number of relays is enough to achieve almost the same performance with the infinite feedback load case. As generalizations, full-duplex relays, isotropic Poisson point processes, and heterogeneous source-to-relay and relay-to-destination links are also studied.


title: Tailoring "photonic hook" from Janus dielectric microbar

abstract: A new type of curved subwavelength light beam, a photonic hook (PH), emerged from the diffraction of a light wave at a mesoscale dielectric object with broken internal symmetry (Janus particle) was recently reported. For efficient and technically simpler generation of PHs, we propose a new type of asymmetric Janus microparticles, the orthogonal microbars, composed from materials with different refractive indices. Based on the numerical simulations by means of the Finite Elements Method, we investigate the physical mechanism of PH formation by analyzing the field intensity distribution and the energy fluxes near such particles. The influence of dielectric substrate is also studied for the first time. We show that by changing the refractive index contrast between two parts of Janus bar the shape and curvature of the PHs can be efficiently controlled. The criteria of PH quality for complex characterizing the photonic hook curvature is introduced and discussed as well.


title: Covalency a Pathway for Achieving High Magnetisation in $TMFe_2O_4$ Compounds

abstract: The interplay between covalency and magnetism is non-trivial and can be harnessed for designing new functional magnetic materials. Based on a survey using density functional calculations, we show that $TM\unicode{x2013}O$ bond covalency can increase the total magnetic moment of spinel compounds of $TMFe_2O_4$ composition ($TM = V-Ni, Nb-Pd$) which are isomorphic to the much-researched magnetite. Accordingly, $PdFe_2O_4$ was found to exhibit the highest magnetic moment of 7.809 ${\mu}_B$ per formula unit which is approximately twice that of $Fe_3O_4$ with $T_c$ predicted to be well above ambient. We further propose a practical method for synthesising $PdFe_2O_4$.


title: Study of photothermal effect in core-shell transport microcontainers

abstract: The theoretical study of laser-induced heating of a transport cargo microcontainer constituting a hollow dielectric microcapsule with water filling and a light absorbing polymer shell is presented. By means of FDTD and FEM techniques, the numerical calculations of optical field spatial distribution inside and near the microcapsules are carried out, and the temporal dynamics of temperature profiles of core-shell microparticles of various morphological types (spheres, ellipsoids, boxes, cubes, cylinders) and microcapsule clusters in different configurations is addressed. The spatial configurations of light absorption regions are shown to be substantially dependent on the morphology of the microcapsules. For isolated microcapsules, the most efficient laser heating is realized in capsules of cubic and cylindrical shapes. When the capsules are aggregated into the densely packed cluster, the characteristic heating depth of the whole assembly is higher for cylindrical microcapsules. In sparse microassemblies the square-shaped capsules are preferable for increasing the efficiency of laser heating.


title: A Game-Theoretic Utility Network for Cooperative Multi-Agent Decisions in Adversarial Environments

abstract: Underlying relationships among multi-agent systems (MAS) in hazardous scenarios can be represented as Game-theoretic models. We measure the performance of MAS achieving tasks from the perspective of balancing success probability and system costs. This paper proposes a new network-based model called Game-theoretic Utility Tree (GUT), which decomposes high-level strategies into executable low-level actions for cooperative MAS decisions. This is combined with a new payoff measure based on agent needs for real-time strategy games. We present an Explore game domain to evaluate GUT against the state-of-the-art QMIX decision-making method. Conclusive results on extensive numerical simulations indicate that GUT can organize more complex relationships among MAS cooperation, helping the group achieve challenging tasks with lower costs and a higher winning rate.


title: Optimal execution with liquidity risk in a diffusive order book market

abstract: We study the optimal order placement strategy with the presence of a liquidity cost. In this problem, a stock trader wishes to clear her large inventory by a predetermined time horizon $T$. A trader uses both limit and market orders, and a large market order faces an adverse price movement caused by the liquidity risk. First, we study a single period model where the trader places a limit order and/or a market order at the beginning. We show the behavior of optimal amount of market order, $m^*$, and optimal placement of limit order, $y^*$, under different market conditions. Next, we extend it to a multi-period model, where the trader makes sequential decisions of limit and market orders at multiple time points.


title: Securing Organization's Data: A Role-Based Authorized Keyword Search Scheme with Efficient Decryption

abstract: For better data availability and accessibility while ensuring data secrecy, organizations often tend to outsource their encrypted data to the cloud storage servers, thus bringing the challenge of keyword search over encrypted data. In this paper, we propose a novel authorized keyword search scheme using Role-Based Encryption (RBE) technique in a cloud environment. The contributions of this paper are multi-fold. First, it presents a keyword search scheme which enables only the authorized users, having proper assigned roles, to delegate keyword-based data search capabilities over encrypted data to the cloud providers without disclosing any sensitive information. Second, it supports a multi-organization cloud environment, where the users can be associated with more than one organization. Third, the proposed scheme provides efficient decryption, conjunctive keyword search and revocation mechanisms. Fourth, the proposed scheme outsources expensive cryptographic operations in decryption to the cloud in a secure manner. Fifth, we have provided a formal security analysis to prove that the proposed scheme is semantically secure against Chosen Plaintext and Chosen Keyword Attacks. Finally, our performance analysis shows that the proposed scheme is suitable for practical applications.


title: Stable formulas in ordered structures

abstract: We classify the stable formulas in the theory of Dense Linear Orders without endpoints, the stable formulas in the theory of Divisible Abelian Groups, and the stable formulas without parameters in the theory of Real Closed Fields. The third result, unexpectedly, requires the Hironaka's theorem on resolution of singularities.


title: Disentangling Drift- and Control- Vector Fields for Interpretable Inference of Control-affine Systems

abstract: Many engineered as well as naturally occurring dynamical systems do not have an accurate mathematical model to describe their dynamic behavior. However, in many applications, it is possible to probe the system with external inputs and measure the process variables, resulting in abundant data repositories. Using the time-series data to infer a mathematical model that describes the underlying dynamical process is an important and challenging problem. In this work, we propose a model reconstruction procedure for inferring the dynamics of a class of nonlinear systems governed by an input affine structure. In particular, we propose a data generation and learning strategy to decouple the reconstruction problem associated with the drift- and control- vector fields, and enable quantification of their respective contributions to the dynamics of the system. This learning procedure leads to an interpretable and reliable model inference approach. We present several numerical examples to demonstrate the efficacy and flexibility of the proposed method.


title: Joint Bilateral Learning for Real-time Universal Photorealistic Style Transfer

abstract: Photorealistic style transfer is the task of transferring the artistic style of an image onto a content target, producing a result that is plausibly taken with a camera. Recent approaches, based on deep neural networks, produce impressive results but are either too slow to run at practical resolutions, or still contain objectionable artifacts. We propose a new end-to-end model for photorealistic style transfer that is both fast and inherently generates photorealistic results. The core of our approach is a feed-forward neural network that learns local edge-aware affine transforms that automatically obey the photorealism constraint. When trained on a diverse set of images and a variety of styles, our model can robustly apply style transfer to an arbitrary pair of input images. Compared to the state of the art, our method produces visually superior results and is three orders of magnitude faster, enabling real-time performance at 4K on a mobile phone. We validate our method with ablation and user studies.


title: Few-Shot Class-Incremental Learning

abstract: The ability to incrementally learn new classes is crucial to the development of real-world artificial intelligence systems. In this paper, we focus on a challenging but practical few-shot class-incremental learning (FSCIL) problem. FSCIL requires CNN models to incrementally learn new classes from very few labelled samples, without forgetting the previously learned ones. To address this problem, we represent the knowledge using a neural gas (NG) network, which can learn and preserve the topology of the feature manifold formed by different classes. On this basis, we propose the TOpology-Preserving knowledge InCrementer (TOPIC) framework. TOPIC mitigates the forgetting of the old classes by stabilizing NG's topology and improves the representation learning for few-shot new classes by growing and adapting NG to new training samples. Comprehensive experimental results demonstrate that our proposed method significantly outperforms other state-of-the-art class-incremental learning methods on CIFAR100, miniImageNet, and CUB200 datasets.


title: Effective point-charge analysis of crystal electric fields -- application to rare-earth pyrochlores and tripod kagome magnets R3Mg2Sb3O14

abstract: An indispensable step to understand collective magnetic phenomena in rare-earth compounds is the determination of spatially-anisotropic single-ion properties resulting from spin-orbit coupling and crystal field (CF). The CF Hamiltonian has a discrete energy spectrum -- accessible to spectroscopic probes such as neutron scattering -- controlled by a number of independent parameters reflecting the point-symmetry of the magnetic sites. Determining these parameters in low-symmetry systems is often challenging. Here, we describe a general method to analyze CF excitation spectra using adjustable effective point-charges. We benchmark our method to existing neutron-scattering measurements on pyrochlore rare-earth oxides and obtain a universal point-charge model that describes a large family of related materials. We adapt this model to the newly discovered tripod Kagome magnets ($R_{3}$Mg$_2$Sb$_{3}$O$_{14}$, $R$ = Tb, Ho, Er, Yb) for which we report broadband inelastic neutron-scattering spectra. Analysis of these data using adjustable point-charges yields the CF wave-functions for each compound. From this, we calculate thermomagnetic properties that accurately reflect our measurements on powder samples, and predict the effective gyromagnetic tensor for pseudo-spin degrees of freedom -- a crucial step to understand the exotic collective properties of these kagome magnets at low temperature. We present further applications of our method to other tripod kagome materials and triangular rare-earth compounds $R$MgGaO$_4$ ($R$ =Yb, Tm). Overall, this study establishes a widely applicable methodology to predict CF and single-ion properties of rare-earth compounds based on interpretable and adjustable models of effective point-charges.


title: Constructing Geographic and Long-term Temporal Graph for Traffic Forecasting

abstract: Traffic forecasting influences various intelligent transportation system (ITS) services and is of great significance for user experience as well as urban traffic control. It is challenging due to the fact that the road network contains complex and time-varying spatial-temporal dependencies. Recently, deep learning based methods have achieved promising results by adopting graph convolutional network (GCN) to extract the spatial correlations and recurrent neural network (RNN) to capture the temporal dependencies. However, the existing methods often construct the graph only based on road network connectivity, which limits the interaction between roads. In this work, we propose Geographic and Long term Temporal Graph Convolutional Recurrent Neural Network (GLT-GCRNN), a novel framework for traffic forecasting that learns the rich interactions between roads sharing similar geographic or longterm temporal patterns. Extensive experiments on a real-world traffic state dataset validate the effectiveness of our method by showing that GLT-GCRNN outperforms the state-of-the-art methods in terms of different metrics.