title: Random Assignment Under Bi-Valued Utilities: Analyzing Hylland-Zeckhauser, Nash-Bargaining, and other Rules

abstract: The Hylland-Zeckhauser (HZ) rule is a well-known rule for random assignment of items. The complexity of the rule has received renewed interest recently with Vazirani and Yannakakis (2020) proposing a strongly polynomial-time algorithm for the rule under bi-valued utilities, and making several general insights. We study the rule under the case of agents having bi-valued utilities. We point out several characterizations of the HZ rule, drawing clearer relations with several well-known rules in the literature. As a consequence, we point out alternative strongly polynomial-time algorithms for the HZ solution. We also give reductions from computing the HZ solution to computing well-known solutions based on leximin or Nash social welfare. An interesting contrast is that the HZ rule is group-strategyproof whereas the unconstrained competitive equilibrium with equal incomes rule is not even strategyproof. We clarify which results change when moving from 1-0 utilities to the more general bi-valued utilities. Finally, we prove that the closely related Nash bargaining solution violates envy-freeness and strategyproofness even under 1-0 utilities.


title: Tuning the magneto-electrical properties of multiferroic multilayers through interface strain and disorder

abstract: Artificially engineered superlattices were designed and fabricated to induce different growth mechanisms and structural characteristics. DC sputtering was used to grow ferromagnetic (La$_{0.8}$Ba$_{0.2}$MnO$_3$) / ferroelectric (Ba$_{0.25}$Sr$_{0.75}$TiO$_3$ or BaTiO$_3$) superlattices. We systematically modified the thickness of the ferromagnetic layer to analyze dimensional and structural effects on the superlattices with different structural characteristics. The crystalline structure was characterized by X-Ray diffraction and transmission electron microscopy. The magnetic and electronic properties were investigated by SQUID magnetometry and resistance measurements. The results show that both strain and structural disorder can significantly affect the physical properties of the systems. Compressive strain tends to increase the competition between the magnetic interactions decreasing the ferromagnetism of the samples and the localization of the charge carrier through the electron-phonon interaction. Tensile strain reduces the charge carrier localization, increasing the ferromagnetic transition temperature. Structural defects have a stronger influence on the magnetic properties than on the transport properties, reducing the ferromagnetic transition temperature while increasing the magnetic hardness of the superlattices. These results help to further understand the role of strain and interface effects in the magnetic and transport properties of manganite based multiferroic systems.


title: Extreme Suppression of Antiferromagnetic Order and Critical Scaling in a Two-Dimensional Random Quantum Magnet

abstract: Sr$_2$CuTeO$_6$ is a square-lattice N\'eel antiferromagnet with superexchange between first-neighbor $S=1/2$ Cu spins mediated by plaquette centered Te ions. Substituting Te by W, the affected impurity plaquettes have predominantly second-neighbor interactions, thus causing local magnetic frustration. Here we report a study of Sr$_2$CuTe$_{1-x}$W$_x$O$_6$ using neutron diffraction and $\mu$SR techniques, showing that the N\'eel order vanishes already at $x = 0.025 \pm 0.005$. We explain this extreme order suppression using a two-dimensional Heisenberg spin model, demonstrating that a W-type impurity induces a deformation of the order parameter that decays with distance as $1/r^2$ at temperature $T=0$. The associated logarithmic singularity leads to loss of order for any $x>0$. Order for small $x>0$ and $T>0$ is induced by weak interplane couplings. In the nonmagnetic phase of Sr$_2$CuTe$_{1-x}$W$_x$O$_6$, the $\mu$SR relaxation rate exhibits quantum critical scaling with a large dynamic exponent, $z \approx 3$, consistent with a random-singlet state.


title: Access-based Intuitionistic Knowledge

abstract: We introduce the concept of access-based intuitionistic knowledge which relies on the intuition that agent $i$ knows $\varphi$ if $i$ has found access to a proof of $\varphi$. Basic principles are distribution and factivity of knowledge as well as $\square\varphi\rightarrow K_i\varphi$ and $K_i(\varphi\vee\psi) \rightarrow (K_i\varphi\vee K_i\psi)$, where $\square\varphi$ reads `$\varphi$ is proved'. The formalization extends a family of classical modal logics designed in [Lewitzka 2015, 2017, 2019] as combinations of $IPC$ and $CPC$ and as systems for the reasoning about proof, i.e. intuitionistic truth. We adopt a formalization of common knowledge from [Lewitzka 2011] and interpret it here as access-based common knowledge. We compare our proposal with recent approaches to intuitionistic knowledge [Artemov and Protopopescu 2016; Lewitzka 2017, 2019] and bring together these different concepts in a unifying semantic framework based on Heyting algebra expansions.


title: Optimal and Quantized Mechanism Design for Fresh Data Acquisition

abstract: The proliferation of real-time applications has spurred much interest in data freshness, captured by the {\it age-of-information} (AoI) metric. When strategic data sources have private market information, a fundamental economic challenge is how to incentivize them to acquire fresh data and optimize the age-related performance. In this work, we consider an information update system in which a destination acquires, and pays for, fresh data updates from multiple sources. The destination incurs an age-related cost, modeled as a general increasing function of the AoI. Each source is strategic and incurs a sampling cost, which is its private information and may not be truthfully reported to the destination. The destination decides on the price of updates, when to get them, and who should generate them, based on the sources' reported sampling costs. We show that a benchmark that naively trusts the sources' reports can lead to an arbitrarily bad outcome compared to the case where sources truthfully report. To tackle this issue, we design an optimal (economic) mechanism for timely information acquisition following Myerson's seminal work. To this end, our proposed optimal mechanism minimizes the sum of the destination's age-related cost and its payment to the sources, while ensuring that the sources truthfully report their private information and will voluntarily participate in the mechanism. However, finding the optimal mechanisms may suffer from \textit{prohibitively expensive computational overheads} as it involves solving a nonlinear infinite-dimensional optimization problem. We further propose a quantized version of the optimal mechanism that achieves asymptotic optimality, maintains the other economic properties, and enables one to tradeoff between optimality and computational overheads.


title: On the degeneration of asymptotically conical Calabi-Yau metrics

abstract: We study the degenerations of asymptotically conical Ricci-flat K\"ahler metrics as the K\"ahler class degenerates to a semi-positive class. We show that under appropriate assumptions, the Ricci-flat K\"ahler metrics converge to a incomplete smooth Ricci-flat K\"ahler metric away from a compact subvariety. As a consequence, we construct singular Calabi-Yau metrics with asymptotically conical behaviour at infinity on certain quasi-projective varieties and we show that the metric geometry of these singular metrics are homeomorphic to the topology of the singular variety. Finally, we will apply our results to study several classes of examples of geometric transitions between Calabi-Yau manifolds.


title: Neural Time Warping For Multiple Sequence Alignment

abstract: Multiple sequences alignment (MSA) is a traditional and challenging task for time-series analyses. The MSA problem is formulated as a discrete optimization problem and is typically solved by dynamic programming. However, the computational complexity increases exponentially with respect to the number of input sequences. In this paper, we propose neural time warping (NTW) that relaxes the original MSA to a continuous optimization and obtains the alignments using a neural network. The solution obtained by NTW is guaranteed to be a feasible solution for the original discrete optimization problem under mild conditions. Our experimental results show that NTW successfully aligns a hundred time-series and significantly outperforms existing methods for solving the MSA problem. In addition, we show a method for obtaining average time-series data as one of applications of NTW. Compared to the existing barycenters, the mean time series data retains the features of the input time-series data.


title: Confidence-rich grid mapping

abstract: Representing the environment is a fundamental task in enabling robots to act autonomously in unknown environments. In this work, we present confidence-rich mapping (CRM), a new algorithm for spatial grid-based mapping of the 3D environment. CRM augments the occupancy level at each voxel by its confidence value. By explicitly storing and evolving confidence values using the CRM filter, CRM extends traditional grid mapping in three ways: first, it partially maintains the probabilistic dependence among voxels. Second, it relaxes the need for hand-engineering an inverse sensor model and proposes the concept of sensor cause model that can be derived in a principled manner from the forward sensor model. Third, and most importantly, it provides consistent confidence values over the occupancy estimation that can be reliably used in collision risk evaluation and motion planning. CRM runs online and enables mapping environments where voxels might be partially occupied. We demonstrate the performance of the method on various datasets and environments in simulation and on physical systems. We show in real-world experiments that, in addition to achieving maps that are more accurate than traditional methods, the proposed filtering scheme demonstrates a much higher level of consistency between its error and the reported confidence, hence, enabling a more reliable collision risk evaluation for motion planning.


title: Controlled Creation and Decay of Singly-Quantized Vortices in a Polar Magnetic Phase

abstract: We experimentally and theoretically explore the creation and time evolution of vortex lines in the polar magnetic phase of a trapped spin-1 $^{87}$Rb Bose-Einstein condensate. A process of phase-imprinting a nonsingular vortex, its decay into a pair of singular spinor vortices, and a rapid exchange of magnetic phases creates a pair of three-dimensional, singular singly-quantized vortex lines with core regions that are filled with atoms in the ferromagnetic phase. Atomic interactions guide the subsequent vortex dynamics, leading to core structures that suggest the decay of the singly-quantized vortices into half-quantum vortices.


title: Age of Information in Ultra-Dense IoT Systems: Performance and Mean-Field Game Analysis

abstract: In this paper, a dense Internet of Things (IoT) monitoring system is considered in which a large number of IoT devices contend for channel access so as to transmit timely status updates to the corresponding receivers using a carrier sense multiple access (CSMA) scheme. Under two packet management schemes with and without preemption in service, the closed-form expressions of the average age of information (AoI) and the average peak AoI of each device is characterized. It is shown that the scheme with preemption in service always leads to a smaller average AoI and a smaller average peak AoI, compared to the scheme without preemption in service. Then, a distributed noncooperative medium access control game is formulated in which each device optimizes its waiting rate so as to minimize its average AoI or average peak AoI under an average energy cost constraint on channel sensing and packet transmitting. To overcome the challenges of solving this game for an ultra-dense IoT, a mean-field game (MFG) approach is proposed to study the asymptotic performance of each device for the system in the large population regime. The accuracy of the MFG is analyzed, and the existence, uniqueness, and convergence of the mean-field equilibrium (MFE) are investigated. Simulation results show that the proposed MFG is accurate even for a small number of devices; and the proposed CSMA-type scheme under the MFG analysis outperforms three baseline schemes with fixed and dynamic waiting rates. Moreover, it is observed that the average AoI and the average peak AoI under the MFE do not necessarily decrease with the arrival rate.


title: Exploring Optimal Control With Observations at a Cost

abstract: There has been a current trend in reinforcement learning for healthcare literature, where in order to prepare clinical datasets, researchers will carry forward the last results of the non-administered test known as the last-observation-carried-forward (LOCF) value to fill in gaps, assuming that it is still an accurate indicator of the patient's current state. These values are carried forward without maintaining information about exactly how these values were imputed, leading to ambiguity. Our approach models this problem using OpenAI Gym's Mountain Car and aims to address when to observe the patient's physiological state and partly how to intervene, as we have assumed we can only act after following an observation. So far, we have found that for a last-observation-carried-forward implementation of the state space, augmenting the state with counters for each state variable tracking the time since last observation was made, improves the predictive performance of an agent, supporting the notion of "informative missingness", and using a neural network based Dynamics Model to predict the most probable next state value of non-observed state variables instead of carrying forward the last observed value through LOCF further improves the agent's performance, leading to faster convergence and reduced variance.


title: Neutron polarisation correction to triple-axis data with analytical derivations

abstract: Polarised neutron scattering is the method of choice to study magnetism in condensed matter. Polarised neutrons are typically very low in flux, and complex experimental configurations further reduce the count rate. Neutron polarisation corrections would therefore be needed. Here we analytically derive formulae of the corrected partial differential scattering cross-sections. The analytical method is designed for the longitudinal polarisation analysis, and the correction generally holds for time-independent polarised neutrons with a triple-axis spectrometer. We then apply the correction to recent results of our $P_x$ experiment on Y$_3$Fe$_5$O$_{12}$. Although there is a difficulty with the experimental determination of inefficiency parameters of neutron spin polarisers and flippers, the correction appears to work properly.


title: EmotionNet Nano: An Efficient Deep Convolutional Neural Network Design for Real-time Facial Expression Recognition

abstract: While recent advances in deep learning have led to significant improvements in facial expression classification (FEC), a major challenge that remains a bottleneck for the widespread deployment of such systems is their high architectural and computational complexities. This is especially challenging given the operational requirements of various FEC applications, such as safety, marketing, learning, and assistive living, where real-time requirements on low-cost embedded devices is desired. Motivated by this need for a compact, low latency, yet accurate system capable of performing FEC in real-time on low-cost embedded devices, this study proposes EmotionNet Nano, an efficient deep convolutional neural network created through a human-machine collaborative design strategy, where human experience is combined with machine meticulousness and speed in order to craft a deep neural network design catered towards real-time embedded usage. Two different variants of EmotionNet Nano are presented, each with a different trade-off between architectural and computational complexity and accuracy. Experimental results using the CK+ facial expression benchmark dataset demonstrate that the proposed EmotionNet Nano networks demonstrated accuracies comparable to state-of-the-art in FEC networks, while requiring significantly fewer parameters (e.g., 23$\times$ fewer at a higher accuracy). Furthermore, we demonstrate that the proposed EmotionNet Nano networks achieved real-time inference speeds (e.g. $>25$ FPS and $>70$ FPS at 15W and 30W, respectively) and high energy efficiency (e.g. $>1.7$ images/sec/watt at 15W) on an ARM embedded processor, thus further illustrating the efficacy of EmotionNet Nano for deployment on embedded devices.


title: Enhancing strength of MICP-treated sandy soils: from micro to macro scale

abstract: Microbial-Induced Calcium carbonate (CaCO3) Precipitation (MICP) has been extensively studied for soil improvement in geotechnical engineering. The properties of calcium carbonate crystals such as size and quantity affect the strength of MICP-treated soil. This study demonstrates how the data from micro-scale microfluidic experiments that examine the effects of injection intervals and concentration of cementation solution on the properties of calcium carbonate crystals can be used to optimise the MICP treatment of macro-scale sand soil column experiments for effective strength enhancement. The micro-scale experiments reveal that, due to Ostwald ripening, longer injection intervals allow smaller crystals to dissolve and reprecipitate into larger crystals regardless of the concentration of cementation solution. By applying this finding in the macro-scale experiments, a treatment duration of 6 days, where injection intervals were 12 h, 24 h, and 48 h for cementation solution concentration of 0.25 M, 0.5 M and 1.0 M, respectively, was long enough to precipitate crystals large enough for effective strength enhancement. This was indicated by the fact that significantly higher soil strength and larger crystals were produced when treatment duration increased from 3 days to 6 days, but not when it increased from 6 days to 12 days.


title: Spaces of commuting elements in the classical groups

abstract: Let $G$ be the classical group, and let Hom$(\mathbb{Z}^m,G)$ denote the space of commuting $m$-tuples in $G$. First, we refine the formula for the Poincar\'e series of Hom$(\mathbb{Z}^m,G)$ due to Ramras and Stafa by assigning (signed) integer partitions to (signed) permutations. Using the refined formula, we determine the top term of the Poincar\'e series, and apply it to prove the dependence of the topology of Hom$(\mathbb{Z}^m,G)$ on the parity of $m$ and the rational hyperbolicity of Hom$(\mathbb{Z}^m,G)$ for $m\ge 2$. Next, we give a minimal generating set of the cohomology of Hom$(\mathbb{Z}^m,G)$ and determine the cohomology in low dimensions. We apply these results to prove homological stability for Hom$(\mathbb{Z}^m,G)$ with the best possible stable range. Baird proved that the cohomology of Hom$(\mathbb{Z}^m,G)$ is identified with a certain ring of invariants of the Weyl group of $G$, and our approach is a direct calculation of this ring of invariants.


title: Empirically Verifying Hypotheses Using Reinforcement Learning

abstract: This paper formulates hypothesis verification as an RL problem. Specifically, we aim to build an agent that, given a hypothesis about the dynamics of the world, can take actions to generate observations which can help predict whether the hypothesis is true or false. Existing RL algorithms fail to solve this task, even for simple environments. In order to train the agents, we exploit the underlying structure of many hypotheses, factorizing them as {pre-condition, action sequence, post-condition} triplets. By leveraging this structure we show that RL agents are able to succeed at the task. Furthermore, subsequent fine-tuning of the policies allows the agent to correctly verify hypotheses not amenable to the above factorization.


title: Structural Landmarking and Interaction Modelling: on Resolution Dilemmas in Graph Classification

abstract: Graph neural networks are promising architecture for learning and inference with graph-structured data. Yet difficulties in modelling the ``parts'' and their ``interactions'' still persist in terms of graph classification, where graph-level representations are usually obtained by squeezing the whole graph into a single vector through graph pooling. From complex systems point of view, mixing all the parts of a system together can affect both model interpretability and predictive performance, because properties of a complex system arise largely from the interaction among its components. We analyze the intrinsic difficulty in graph classification under the unified concept of ``resolution dilemmas'' with learning theoretic recovery guarantees, and propose ``SLIM'', an inductive neural network model for Structural Landmarking and Interaction Modelling. It turns out, that by solving the resolution dilemmas, and leveraging explicit interacting relation between component parts of a graph to explain its complexity, SLIM is more interpretable, accurate, and offers new insight in graph representation learning.


title: General relativistic simulations of the quasi-circular inspiral and merger of charged black holes: GW150914 and fundamental physics implications

abstract: We perform general-relativistic simulations of charged black holes targeting GW150914. We show that the inspiral is most efficient for detecting black hole charge through gravitational waves and that GW150914 is compatible with having charge-to-mass ratio as high as 0.3. Our work applies to electric and magnetic charge, and to theories with black holes endowed with U(1) (hidden or dark) charges. Using our results we place an upper bound on the deviation from general relativity in the dynamical, strong-field regime of the so-called theory of MOdified Gravity (MOG).


title: The prescribed Ricci curvature problem for naturally reductive metrics on non-compact simple Lie groups

abstract: We investigate the prescribed Ricci curvature problem in the class of left-invariant naturally reductive Riemannian metrics on a non-compact simple Lie group. We obtain a number of conditions for the solvability of the underlying equations and discuss several examples.


title: Heteroskedastic and Imbalanced Deep Learning with Adaptive Regularization

abstract: Real-world large-scale datasets are heteroskedastic and imbalanced -- labels have varying levels of uncertainty and label distributions are long-tailed. Heteroskedasticity and imbalance challenge deep learning algorithms due to the difficulty of distinguishing among mislabeled, ambiguous, and rare examples. Addressing heteroskedasticity and imbalance simultaneously is under-explored. We propose a data-dependent regularization technique for heteroskedastic datasets that regularizes different regions of the input space differently. Inspired by the theoretical derivation of the optimal regularization strength in a one-dimensional nonparametric classification setting, our approach adaptively regularizes the data points in higher-uncertainty, lower-density regions more heavily. We test our method on several benchmark tasks, including a real-world heteroskedastic and imbalanced dataset, WebVision. Our experiments corroborate our theory and demonstrate a significant improvement over other methods in noise-robust deep learning.


title: Telling Solar Neutrinos from Solar Axions When You Can't Shut Off the Sun

abstract: The XENON1T experiment recently reported an excess of events at low electron recoil energies, which may be due to interactions of solar neutrinos inside the detector via a large neutrino magnetic moment. We point out that a $^{51}$Cr neutrino source placed close to the detector can directly test this hypothesis.


title: Towards meaningful, grounded conversations with intelligent agents

abstract: As conversational agents become integral parts of many aspects of our lives, current approaches are reaching bottlenecks of performance that require increasing amounts of data or increasingly powerful models. It is also becoming clear that such agents are here to stay and accompany us for long periods of time. If we are, therefore, to design agents that can deeply understand our world and evolve with it, we need to take a step back and revisit the trade-offs we have made in the current state of the art models. This paper argues that a) we need to shift from slot filling into a more realistic conversation paradigm; and b) that, to realize that paradigm, we need models that are able to handle concrete and abstract entities as well as evolving relations between them.


title: Spin-polarized Weyl cones and gigantic anomalous Nernst effect in ferromagnetic Heusler films

abstract: Weyl semimetals are characterized by the presence of massless band dispersion in momentum space. When a Weyl semimetal meets magnetism, large anomalous transport properties emerge as a consequence of its topological nature. Here, using $in-situ$ spin- and angle-resolved photoelectron spectroscopy combined with $ab\ initio$ calculations, we visualize the spin-polarized Weyl cone and flat-band surface states of ferromagnetic Co$_2$MnGa films with full remanent magnetization. We demonstrate that the anomalous Hall and Nernst conductivities systematically grow when the magnetization-induced massive Weyl cone at a Lifshitz quantum critical point approaches the Fermi energy, until a high anomalous Nernst thermopower of $\sim 6.2$ $\rm \mu V K^{-1}$ is realized at room temperature. Given this topological quantum state and full remanent magnetization, Co$_2$MnGa films are promising for realizing high efficiency heat flux and magnetic field sensing devices operable at room temperature and zero-field.


title: Many-body Resonance in a Correlated Topological Kagome Antiferromagnet

abstract: We use scanning tunneling microscopy/spectroscopy (STM/S) to elucidate the atomically resolved electronic structure in strongly correlated topological kagome magnet Mn$_3$Sn. In stark contrast to its broad single-particle electronic structure, we observe a pronounced resonance with a Fano line shape at the Fermi level resembling the many-body Kondo resonance. We find that this resonance does not arise from the step edges or atomic impurities, but the intrinsic kagome lattice. Moreover, the resonance is robust against the perturbation of a vector magnetic field, but broadens substantially with increasing temperature, signaling strongly interacting physics. We show that this resonance can be understood as the result of geometrical frustration and strong correlation based on the kagome lattice Hubbard model. Our results point to the emergent many-body resonance behavior in a topological kagome magnet.


title: Active Ensemble Deep Learning for Polarimetric Synthetic Aperture Radar Image Classification

abstract: Although deep learning has achieved great success in image classification tasks, its performance is subject to the quantity and quality of training samples. For classification of polarimetric synthetic aperture radar (PolSAR) images, it is nearly impossible to annotate the images from visual interpretation. Therefore, it is urgent for remote sensing scientists to develop new techniques for PolSAR image classification under the condition of very few training samples. In this letter, we take the advantage of active learning and propose active ensemble deep learning (AEDL) for PolSAR image classification. We first show that only 35\% of the predicted labels of a deep learning model's snapshots near its convergence were exactly the same. The disagreement between snapshots is non-negligible. From the perspective of multiview learning, the snapshots together serve as a good committee to evaluate the importance of unlabeled instances. Using the snapshots committee to give out the informativeness of unlabeled data, the proposed AEDL achieved better performance on two real PolSAR images compared with standard active learning strategies. It achieved the same classification accuracy with only 86% and 55% of the training samples compared with breaking ties active learning and random selection for the Flevoland dataset.


title: Multi-sided Exposure Bias in Recommendation

abstract: Academic research in recommender systems has been greatly focusing on the accuracy-related measures of recommendations. Even when non-accuracy measures such as popularity bias, diversity, and novelty are studied, it is often solely from the users' perspective. However, many real-world recommenders are often multi-stakeholder environments in which the needs and interests of several stakeholders should be addressed in the recommendation process. In this paper, we focus on the popularity bias problem which is a well-known property of many recommendation algorithms where few popular items are over-recommended while the majority of other items do not get proportional attention and address its impact on different stakeholders. Using several recommendation algorithms and two publicly available datasets in music and movie domains, we empirically show the inherent popularity bias of the algorithms and how this bias impacts different stakeholders such as users and suppliers of the items. We also propose metrics to measure the exposure bias of recommendation algorithms from the perspective of different stakeholders.


title: Positive curvature and bosons

abstract: Positive curvature and bosons Compact positive curvature Riemannian manifolds M with symmetry group G allow Conner-Kobayashi reductions M to N, where N is the fixed point set of the symmetry G. The set N is a union of smaller-dimensional totally geodesic positive curvature manifolds each with even co-dimension. By Berger, N is not empty. By Lefschetz, M and N have the same Euler characteristic. By Frankel, the sum of dimension of any two components in N is smaller than the dimension of M. Reverting the process N to M allows to build up positive curvature manifolds from smaller ones using division algebras and the geodesic flow. From dimension 6 to 24, only four exceptional manifolds have appeared so far, some of them being flag manifolds and related to the special unitary group in three dimensions. We can now draw a periodic system of elements of the known even-dimensional positive curvature manifolds and observe that the list of even-dimensional known positive curvature manifolds has an affinity with the list of known force carriers in physics. Positive mass of the boson matches up with the existence of of two linearly independent harmonic k-forms on the manifold. This motivates to compute more quantities of the exceptional positive curvature manifolds like the lowest non-zero eigenvalues of the Hodge Laplacian L=d d*+d* d or properties of the pairs (u,v) of harmonic 2,4 or 8 forms in the positive mass case.


title: OGLE-2018-BLG-1269Lb: A Jovian Planet With A Bright, $I=16$ Host

abstract: We report the discovery of a planet in the microlensing event OGLE-2018-BLG-1269, with planet-host mass ratio $q \sim 6\times10^{-4}$, i.e., $0.6$ times smaller than the Jupiter/Sun mass ratio. Combined with the $Gaia$ parallax and proper motion, a strong one-dimensional constraint on the microlens parallax vector allows us to significantly reduce the uncertainties of lens physical parameters. A Bayesian analysis that ignores any information about light from the host yields that the planet is a cold giant $(M_{2} = 0.69_{-0.22}^{+0.44}\,M_{\rm J})$ orbiting a Sun-like star $(M_{1} = 1.13_{-0.35}^{+0.72}\,M_{\odot})$ at a distance of $D_{\rm L} = 2.56_{-0.62}^{+0.92}\,{\rm kpc}$. The projected planet-host separation is $a_{\perp} = 4.61_{-1.17}^{+1.70}\,{\rm au}$. Using {\it Gaia} astrometry, we show that the blended light lies $\lesssim 12\,$mas from the host and therefore must be either the host star or a stellar companion to the host. An isochrone analysis favors the former possibility at $>99.6\%$. The host is therefore a subgiant. For host metallicities in the range of $0.0 \leq {\rm [Fe/H]} \leq +0.3$, the host and planet masses are then in the range of $1.16 \leq M_{1}/M_{\odot} \leq 1.38$ and $0.74 \leq M_{2}/M_{\rm J} \leq 0.89$, respectively. Low host metallicities are excluded. The brightness and proximity of the lens make the event a strong candidate for spectroscopic followup both to test the microlensing solution and to further characterize the system.


title: Odd-Parity Spin-Triplet Superconductivity in Centrosymmetric Antiferromagnetic Metals

abstract: We propose a route to achieve odd-parity spin-triplet superconductivity in metallic collinear antiferromagnets with inversion symmetry. Owing to the existence of hidden antiunitary symmetry, which we call the effective time-reversal symmetry (eTRS), the Fermi surfaces of ordinary antiferromagnetic metals are generally spin-degenerate, and spin-singlet pairing is favored. However, by introducing a local inversion symmetry breaking perturbation that also breaks the eTRS, we can lift the degeneracy to obtain spin-polarized Fermi surfaces. In the weak-coupling limit, the spin-polarized Fermi surfaces constrain the electrons to form spin-triplet Cooper pairs with odd-parity. Interestingly, all the odd-parity superconducting ground states we obtained host nontrivial band topologies manifested as chiral topological superconductors, second-order topological superconductors, and nodal superconductors. We propose that layered double-perovskites with collinear antiferromagnetism, sandwiched by conventional superconductors, are promising candidate systems where our theoretical ideas can be applied to.


title: Leray's backward self-similar solutions to the 3D Navier-Stokes equations in Morrey spaces

abstract: In this paper, it is shown that there does not exist a non-trivial Leray's backward self-similar solution to the 3D Navier-Stokes equations with profiles in Morrey spaces $\dot{\mathcal{M}}^{q,1}(\mathbb{R}^{3})$ provided $3/2<q<6$, or in $\dot{\mathcal{M}}^{q,l}(\mathbb{R}^{3})$ provided $6\leq q<\infty$ and $2<l\leq q$. This generalizes the corresponding results obtained by Ne\v{c}as-R\r{a}u\v{z}i\v{c}ka-\v{S}ver\'{a}k [19, Acta.Math. 176 (1996)] in $L^{3}(\mathbb{R}^{3})$, Tsai [25, Arch. Ration. Mech. Anal. 143 (1998)] in $L^{p}(\mathbb{R}^{3})$ with $p\geq3$,, Chae-Wolf [3, Arch. Ration. Mech. Anal. 225 (2017)] in Lorentz spaces $L^{p,\infty}(\mathbb{R}^{3})$ with $p>3/2$, and Guevara-Phuc [11, SIAM J. Math. Anal. 12 (2018)] in $\dot{\mathcal{M}}^{q,\frac{12-2q}{3}}(\mathbb{R}^{3})$ with $12/5\leq q<3$ and in $L^{q, \infty}(\mathbb{R}^3)$ with $12/5\leq q<6$.


title: Pyroptosis: Physiological roles in viral infection

abstract: The current review focuses on important aspects of pyroptosis, such as morphological features of inflammasomes, as well as on knowledge about coronavirus infection mechanisms and the association between SARS-CoV-2 infection and cell pyroptosis. The application of immunomodulation therapies to Covid-19 patients is the most promising treatment under investigation nowadays. The possibilities of assistance to help protecting patients from infections are also addressed in the present study.


title: High-resolution spectroscopy of a quantum dot driven bichromatically by two strong coherent fields

abstract: We present spectroscopic experiments and theory of a quantum dot driven bichromatically by two strong coherent lasers. In particular, we explore the regime where the drive strengths are substantial enough to merit a general non-perturbative analysis, resulting in a rich higher-order Floquet dressed-state energy structure. We show high resolution spectroscopy measurements with a variety of laser detunings performed on a single InGaAs quantum dot, with the resulting features well explained with a time-dependent quantum master equation and Floquet analysis. Notably, driving the quantum dot resonance and one of the subsequent Mollow triplet sidepeaks, we observe the disappearance and subsequent reappearance of the central transition and transition resonant with detuned-laser at high detuned-laser pump strengths and additional higher-order effects, e.g. emission triplets at higher harmonics and signatures of higher order Floquet states. For a similar excitation condition but with an off-resonant primary laser, we observe similar spectral features but with an enhanced inherent spectral asymmetry.


title: Efficient Nonmyopic Bayesian Optimization via One-Shot Multi-Step Trees

abstract: Bayesian optimization is a sequential decision making framework for optimizing expensive-to-evaluate black-box functions. Computing a full lookahead policy amounts to solving a highly intractable stochastic dynamic program. Myopic approaches, such as expected improvement, are often adopted in practice, but they ignore the long-term impact of the immediate decision. Existing nonmyopic approaches are mostly heuristic and/or computationally expensive. In this paper, we provide the first efficient implementation of general multi-step lookahead Bayesian optimization, formulated as a sequence of nested optimization problems within a multi-step scenario tree. Instead of solving these problems in a nested way, we equivalently optimize all decision variables in the full tree jointly, in a ``one-shot'' fashion. Combining this with an efficient method for implementing multi-step Gaussian process ``fantasization,'' we demonstrate that multi-step expected improvement is computationally tractable and exhibits performance superior to existing methods on a wide range of benchmarks.


title: Treatment Effects in Interactive Fixed Effects Models with a Small Number of Time Periods

abstract: This paper considers identifying and estimating the Average Treatment Effect on the Treated (ATT) when untreated potential outcomes are generated by an interactive fixed effects model. That is, in addition to time-period and individual fixed effects, we consider the case where there is an unobserved time invariant variable whose effect on untreated potential outcomes may change over time and which can therefore cause outcomes (in the absence of participating in the treatment) to follow different paths for the treated group relative to the untreated group. The models that we consider in this paper generalize many commonly used models in the treatment effects literature including difference in differences and individual-specific linear trend models. Unlike the majority of the literature on interactive fixed effects models, we do not require the number of time periods to go to infinity to consistently estimate the ATT. Our main identification result relies on having the effect of some time invariant covariate (e.g., race or sex) not vary over time. Using our approach, we show that the ATT can be identified with as few as three time periods and with panel or repeated cross sections data.


title: Variational quantum eigensolvers by variance minimization

abstract: Variational quantum eigensolver(VQE) typically minimizes energy with hybrid quantum-classical optimization, which aims to find the ground state. Here, we propose a VQE by minimizing energy variance, which is called as variance-VQE(VVQE). The VVQE can be viewed as an self-verifying eigensolver for arbitrary eigenstate by designing, since an eigenstate for a Hamiltonian should have zero energy variance. We demonstrate properties and advantages of VVQE for solving a set of excited states with quantum chemistry problems. Remarkably, we show that optimization of a combination of energy and variance may be more efficient to find low-energy excited states than those of minimizing energy or variance alone. We further reveal that the optimization can be boosted with stochastic gradient descent by Hamiltonian sampling, which uses only a few terms of the Hamiltonian and thus significantly reduces the quantum resource for evaluating variance and its gradients.


title: Flexible IoT Datapath Programming using P4

abstract: The progress of the network and device technologies enables any device to be connected to the Internet thereby forming an Internet of Things (IoT) architecture. Internet-related activities based on the IoT services can inevitably generate a lot of real-time data which leads a big data phenomenon. To efficiently handle such big IoT data, software-defined networking (SDN) techniques could come into play. Among SDN techniques, P4 is a highlevel language for programming protocol-independent packet processors. This paper presents our preliminary work on how we can use P4 to achieve flexible datapath programming for large scale IoT streaming data streaming. As a case study, we describe the implementation of dynamic MST-based datapath programing for IoT data collection in an arbitrary network topology.


title: Light-emitting diode excitation for upconversion microscopy: a quantitative assessment

abstract: Lanthanide-based upconversion nanoparticles (UCNPs) generally require high power laser excitation. Here we report wide-field upconversion microscopy at single-nanoparticle sensitivity using incoherent excitation of a 970-nm light-emitting diode (LED). We show that due to its broad emission spectrum, LED excitation is about 3 times less effective for UCNPs and generates high background compared to laser illumination. To counter this, we use time-gated luminescence detection to eliminate the residual background from the LED source, so that individual UCNPs with high sensitizer (Yb3+) doping and inert shell protection become clearly identified under LED excitation at 1.18 W cm-2, as confirmed by correlated electron microscopy images. Hydrophilic UCNPs are obtained by polysaccharide coating via a facile ligand exchange protocol to demonstrate imaging of cellular uptake using LED excitation. These results suggest a viable approach to bypassing the limitations associated with high-power lasers when applying UCNPs and upconversion microscopy to life science research.


title: Counting Phylogenetic Networks with Few Reticulation Vertices: Exact Enumeration and Corrections

abstract: In previous work, we gave asymptotic counting results for the number of tree-child and normal networks with $k$ reticulation vertices and explicit exponential generating functions of the counting sequences for $k=1,2,3$. The purpose of this note is two-fold. First, we make some corrections to our previous approach which overcounted the above numbers and thus gives erroneous exponential generating functions (however, the overcounting does not effect our asymptotic counting results). Secondly, we use our (corrected) exponential generating functions to derive explicit formulas for the number of tree-child and normal networks with $k=1,2,3$ reticulation vertices. This re-derives recent results of Carona and Zhang, answers their question for normal networks with $k=2$, and adds new formulas in the case $k=3$.


title: A No-Free-Lunch Theorem for MultiTask Learning

abstract: Multitask learning and related areas such as multi-source domain adaptation address modern settings where datasets from $N$ related distributions $\{P_t\}$ are to be combined towards improving performance on any single such distribution ${\cal D}$. A perplexing fact remains in the evolving theory on the subject: while we would hope for performance bounds that account for the contribution from multiple tasks, the vast majority of analyses result in bounds that improve at best in the number $n$ of samples per task, but most often do not improve in $N$. As such, it might seem at first that the distributional settings or aggregation procedures considered in such analyses might be somehow unfavorable; however, as we show, the picture happens to be more nuanced, with interestingly hard regimes that might appear otherwise favorable. In particular, we consider a seemingly favorable classification scenario where all tasks $P_t$ share a common optimal classifier $h^*,$ and which can be shown to admit a broad range of regimes with improved oracle rates in terms of $N$ and $n$. Some of our main results are as follows: $\bullet$ We show that, even though such regimes admit minimax rates accounting for both $n$ and $N$, no adaptive algorithm exists; that is, without access to distributional information, no algorithm can guarantee rates that improve with large $N$ for $n$ fixed. $\bullet$ With a bit of additional information, namely, a ranking of tasks $\{P_t\}$ according to their distance to a target ${\cal D}$, a simple rank-based procedure can achieve near optimal aggregations of tasks' datasets, despite a search space exponential in $N$. Interestingly, the optimal aggregation might exclude certain tasks, even though they all share the same $h^*$.


title: Statistical Foundation of Variational Bayes Neural Networks

abstract: Despite the popularism of Bayesian neural networks in recent years, its use is somewhat limited in complex and big data situations due to the computational cost associated with full posterior evaluations. Variational Bayes (VB) provides a useful alternative to circumvent the computational cost and time complexity associated with the generation of samples from the true posterior using Markov Chain Monte Carlo (MCMC) techniques. The efficacy of the VB methods is well established in machine learning literature. However, its potential broader impact is hindered due to a lack of theoretical validity from a statistical perspective. However there are few results which revolve around the theoretical properties of VB, especially in non-parametric problems. In this paper, we establish the fundamental result of posterior consistency for the mean-field variational posterior (VP) for a feed-forward artificial neural network model. The paper underlines the conditions needed to guarantee that the VP concentrates around Hellinger neighborhoods of the true density function. Additionally, the role of the scale parameter and its influence on the convergence rates has also been discussed. The paper mainly relies on two results (1) the rate at which the true posterior grows (2) the rate at which the KL-distance between the posterior and variational posterior grows. The theory provides a guideline of building prior distributions for Bayesian NN models along with an assessment of accuracy of the corresponding VB implementation.


title: Experimental constraint on axion-like particle coupling over seven orders of magnitude in mass

abstract: We use our recent electric dipole moment (EDM) measurement data to constrain the possibility that the HfF$^+$ EDM oscillates in time due to interactions with candidate dark matter axion-like particles (ALPs). We employ a Bayesian analysis method which accounts for both the look-elsewhere effect and the uncertainties associated with stochastic density fluctuations in the ALP field. We find no evidence of an oscillating EDM over a range spanning from 27 nHz to 400 mHz, and we use this result to constrain the ALP-gluon coupling over the mass range $10^{-22}-10^{-15}$ eV. This is the first laboratory constraint on the ALP-gluon coupling in the $10^{-17}-10^{-15}$ eV range, and the first laboratory constraint to properly account for the stochastic nature of the ALP field.


title: Measurements of Quantum Hamiltonians with Locally-Biased Classical Shadows

abstract: Obtaining precise estimates of quantum observables is a crucial step of variational quantum algorithms. We consider the problem of estimating expectation values of molecular Hamiltonians, obtained on states prepared on a quantum computer. We propose a novel estimator for this task, which is locally optimised with knowledge of the Hamiltonian and a classical approximation to the underlying quantum state. Our estimator is based on the concept of classical shadows of a quantum state, and has the important property of not adding to the circuit depth for the state preparation. We test its performance numerically for molecular Hamiltonians of increasing size, finding a sizable reduction in variance with respect to current measurement protocols that do not increase circuit depths.


title: A Benchmark dataset for both underwater image enhancement and underwater object detection

abstract: Underwater image enhancement is such an important vision task due to its significance in marine engineering and aquatic robot. It is usually work as a pre-processing step to improve the performance of high level vision tasks such as underwater object detection. Even though many previous works show the underwater image enhancement algorithms can boost the detection accuracy of the detectors, no work specially focus on investigating the relationship between these two tasks. This is mainly because existing underwater datasets lack either bounding box annotations or high quality reference images, based on which detection accuracy or image quality assessment metrics are calculated. To investigate how the underwater image enhancement methods influence the following underwater object detection tasks, in this paper, we provide a large-scale underwater object detection dataset with both bounding box annotations and high quality reference images, namely OUC dataset. The OUC dataset provides a platform for researchers to comprehensive study the influence of underwater image enhancement algorithms on the underwater object detection task.


title: Detection of the microquasar V404 Cygni at gamma-rays revisited: short flaring events in quiescence

abstract: The microquasar V404 Cygni (also known as GS 2023+338) was previously reported to have weak GeV gamma-ray emission in sub-day time periods during its 2015 outburst. In order to provide more detailed information at the high energy range for this black hole binary system, we conduct analysis to the data obtained with the Large Area Telescope (LAT) onboard the Fermi Gamma-ray Space Telescope (Fermi). Both LAT database and source catalog used are the latest. In addition to the previously reported detection at the peak of the 2015 outburst, we find possible detection ($\sim 4\sigma$) of the source during 3-day time period of 2015 Aug. 17--19 (at the end of the 2015 outburst) and one convincing detection ($\simeq 7\sigma$) in 2016 Aug. 23--25. The latter high-significance detection shows that the gamma-ray emission of the source is soft with photon index $\Gamma\sim 2.9$. As gamma-ray emission from microquasars is considered to be associated with their jet activity, we discuss the results by comparing with those well studied cases, namely Cyg X-3 and Cyg X-1. The detection helps identify V404 Cygni as a microquasar with detectable gamma-ray emission in its quiescent state, and adds interesting features to the microquasar group, or in a more general context to X-ray binaries with jets.


title: Probabilistic Classification Vector Machine for Multi-Class Classification

abstract: The probabilistic classification vector machine (PCVM) synthesizes the advantages of both the support vector machine and the relevant vector machine, delivering a sparse Bayesian solution to classification problems. However, the PCVM is currently only applicable to binary cases. Extending the PCVM to multi-class cases via heuristic voting strategies such as one-vs-rest or one-vs-one often results in a dilemma where classifiers make contradictory predictions, and those strategies might lose the benefits of probabilistic outputs. To overcome this problem, we extend the PCVM and propose a multi-class probabilistic classification vector machine (mPCVM). Two learning algorithms, i.e., one top-down algorithm and one bottom-up algorithm, have been implemented in the mPCVM. The top-down algorithm obtains the maximum a posteriori (MAP) point estimates of the parameters based on an expectation-maximization algorithm, and the bottom-up algorithm is an incremental paradigm by maximizing the marginal likelihood. The superior performance of the mPCVMs, especially when the investigated problem has a large number of classes, is extensively evaluated on synthetic and benchmark data sets.


title: Aharonov-Bohm interference as a probe of Majorana fermions

abstract: Majorana fermions act as their own antiparticle, and they have long been thought to be confined to the realm of pure theory. However, interest in them has recently resurfaced, as it was realized through the work of Kitaev that some experimentally accessible condensed matter systems can host these exotic excitations as bound states on the boundaries of 1D chains, and that their topological and non-abelian nature holds promise for quantum computation. Unambiguously detecting the experimental signatures of Majorana bound states has turned out to be challenging, as many other phenomena lead to similar experimental behaviour. Here, we computationally study a ring comprised of two Kitaev model chains with tunnel coupling between them, where an applied magnetic field allows for Aharonov-Bohm interference in transport through the resulting ring structure. We use a non-equilibrium Green's function technique to analyse the transport properties of the ring in both the presence and absence of Majorana zero modes. Further, we show that these results are robust against weak disorder in the presence of an applied magnetic field. This computational model suggests another signature for the presence of these topologically protected bound states can be found in the magnetic field dependence of devices with loop geometries.


title: Generalized semi-analytical solution for coupled multispecies advection-dispersion equations in multilayer porous media

abstract: Multispecies contaminant transport in the Earth's subsurface is commonly modelled using advection-dispersion equations coupled via first-order reactions. Analytical and semi-analytical solutions for such problems are highly sought after but currently limited to either one species, homogeneous media, certain reaction networks, specific boundary conditions or a combination thereof. In this paper, we develop a semi-analytical solution for the case of a heterogeneous layered medium and a general first-order reaction network. Our approach combines a transformation method to decouple the multispecies equations with a recently developed semi-analytical solution for the single-species advection-dispersion-reaction equation in layered media. The generalized solution is valid for arbitrary numbers of species and layers, general Robin-type conditions at the inlet and outlet and accommodates both distinct retardation factors across layers or distinct retardation factors across species. Four test cases are presented to demonstrate the solution approach with the reported results in agreement with previously published results and numerical results obtained via finite volume discretisation. MATLAB code implementing the generalized semi-analytical solution is made available.


title: CanaryTrap: Detecting Data Misuse by Third-Party Apps on Online Social Networks

abstract: Online social networks support a vibrant ecosystem of third-party apps that get access to personal information of a large number of users. Despite several recent high-profile incidents, methods to systematically detect data misuse by third-party apps on online social networks are lacking. We propose CanaryTrap to detect misuse of data shared with third-party apps. CanaryTrap associates a honeytoken to a user account and then monitors its unrecognized use via different channels after sharing it with the third-party app. We design and implement CanaryTrap to investigate misuse of data shared with third-party apps on Facebook. Specifically, we share the email address associated with a Facebook account as a honeytoken by installing a third-party app. We then monitor the received emails and use Facebook's ad transparency tool to detect any unrecognized use of the shared honeytoken. Our deployment of CanaryTrap to monitor 1,024 Facebook apps has uncovered multiple cases of misuse of data shared with third-party apps on Facebook including ransomware, spam, and targeted advertising.


title: Combine Convolution with Recurrent Networks for Text Classification

abstract: Convolutional neural network (CNN) and recurrent neural network (RNN) are two popular architectures used in text classification. Traditional methods to combine the strengths of the two networks rely on streamlining them or concatenating features extracted from them. In this paper, we propose a novel method to keep the strengths of the two networks to a great extent. In the proposed model, a convolutional neural network is applied to learn a 2D weight matrix where each row reflects the importance of each word from different aspects. Meanwhile, we use a bi-directional RNN to process each word and employ a neural tensor layer that fuses forward and backward hidden states to get word representations. In the end, the weight matrix and word representations are combined to obtain the representation in a 2D matrix form for the text. We carry out experiments on a number of datasets for text classification. The experimental results confirm the effectiveness of the proposed method.


title: X-ray Hotspots in the Northwest Shell of the Supernova Remnant RX J1713.7$-$3946

abstract: The supernova remnant (SNR) RX J1713.7$-$3946 is one of the best-studied accelerators of cosmic rays because of its strong nonthermal X-ray and gamma-ray radiation. We have analyzed accumulated \chandra\ observations with a total exposure time of $\sim$266 ks in the northwest rim of RX J1713.7$-$3946. We detect a substantially large number of point-like sources, referred to as ``hotspots'', which are likely associated with the remnant. The spectra of the hotspots are well described by an absorbed power-law model. The spectral properties ($10^{21}\ \mathrm{cm^{-2}}\lesssim N_H \lesssim 10^{23}\ \mathrm{cm^{-2}}$ and $ 0.5\lesssim \Gamma \lesssim 6$) are different from diffuse X-ray emission in RX J1713.7$-$3946, and the harder hotspot tends to have the larger $N_H$. We also confirm yearly and monthly variabilities of flux for some hotspots. We propose that RX J1713.7$-$3946 is embedded in a complex surroundings where some dense molecular clumps and cores exist inside a wind-blown cavity, and that the hotspot traces synchrotron emission caused by an interaction of shock waves of the SNR and dense molecular cores with a number density of $10^{5}-10^{7}~ \mathrm{cm}^{-3}$. The X-ray radiation of the hotspot might be emitted from both primary electrons accelerated at the shocks and secondary electrons produced by the interaction of accelerated protons with the cores.


title: Asymptotic enumeration of digraphs and bipartite graphs by degree sequence

abstract: We provide asymptotic formulae for the numbers of bipartite graphs with given degree sequence, and of loopless digraphs with given in- and out-degree sequences, for a wide range of parameters. Our results cover medium range densities and close the gaps between the results known for the sparse and dense ranges. In the case of bipartite graphs, these results were proved by Greenhill, McKay and Wang in 2006 and by Canfield, Greenhill and McKay in 2008, respectively. Our method also essentially covers the sparse range, for which much less was known in the case of loopless digraphs. For the range of densities which our results cover, they imply that the degree sequence of a random bipartite graph with m edges is accurately modelled by a sequence of independent binomial random variables, conditional upon the sum of variables in each part being equal to m. A similar model also holds for loopless digraphs.


title: Semileptonic Decay of $D_s^+\to \pi^0 \ell^+ \nu_\ell$ Via Neutral Meson Mixing

abstract: Based on the mechanism of neutral meson mixing, we predict the branching fraction of the semileptonic decay of $D_s^+\to \pi^0 \ell^+ \nu_\ell$ ($\ell=e$, $\mu$) using recently measured branching fraction of $D_s^+\to \eta e^+\nu_e$ by BESIII experiment . We also give a formula that can describe the neutral meson mixing of $\pi^0$, $\eta$, $\eta'$ and a pseudoscalar gluonium $G$ in a unified way. The predicted branching fraction of $D_s^+\to\pi^0 e^+\nu_e$ decay is $\mathcal{B}(D_s^+\to\pi^0 e^+\nu_e)=(2.65\pm 0.38)\times 10^{-5}$. It is important to search for the decay $D_s^+\to \pi^0 \ell^+ \nu_\ell$ in experiment, in order to understand the mechanism of $\pi^0$ production in $D_s^+\to\pi^0$ transition in semileptonic decay. We also estimate the branching fraction of $D_s^+\to \pi^0\tau^+\nu_\tau$, which is the only kinematically allowed semi-tauonic decay mode of the charmed meson, since the mass value of $D_s^+$ meson is just slightly above the threshold of $\pi^0\tau^+$ generation in the semi-tauonic decay.


title: Conditional Classification: A Solution for Computational Energy Reduction

abstract: Deep convolutional neural networks have shown high efficiency in computer visions and other applications. However, with the increase in the depth of the networks, the computational complexity is growing exponentially. In this paper, we propose a novel solution to reduce the computational complexity of convolutional neural network models used for many class image classification. Our proposed technique breaks the classification task into two steps: 1) coarse-grain classification, in which the input samples are classified among a set of hyper-classes, 2) fine-grain classification, in which the final labels are predicted among those hyper-classes detected at the first step. We illustrate that our proposed classifier can reach the level of accuracy reported by the best in class classification models with less computational complexity (Flop Count) by only activating parts of the model that are needed for the image classification.


title: Vanishing discount problem and the additive eigenvalues on changing domains

abstract: We study the asymptotic behavior, as $\lambda\rightarrow 0^+$, of the state-constraint Hamilton--Jacobi equation $\phi(\lambda) u_\lambda(x) + H(x,Du_\lambda(x)) = 0$ in $(1+r(\lambda))\Omega$ and the corresponding additive eigenvalues, or ergodic constant $H(x,Dv(x)) = c(\lambda)$ in $(1+r(\lambda))\Omega$ with state-constraint. Here, $\Omega$ is a bounded domain of $ \mathbb{R}^n$, $\phi(\lambda), r(\lambda):(0,\infty)\rightarrow \mathbb{R}$ are continuous functions such that $\phi$ is nonnegative and $\lim_{\lambda\rightarrow 0^+} \phi(\lambda) = \lim_{\lambda\rightarrow 0^+} r(\lambda) = 0$. We obtain both convergence and non-convergence results in the convex setting. Moreover, we provide a very first result on the asymptotic expansion of the additive eigenvalue $c(\lambda)$ as $\lambda\rightarrow 0^+$. The main tool we use is a duality representation of solution with viscosity Mather measures.


title: A self-sustaining process theory for uniform momentum zones and internal shear layers in high Reynolds number shear flows

abstract: Many exact coherent states (ECS) arising in wall-bounded shear flows have an asymptotic structure at extreme Reynolds number Re in which the effective Reynolds number governing the streak and roll dynamics is O(1). Consequently, these viscous ECS are not suitable candidates for quasi-coherent structures away from the wall that necessarily are inviscid in the mean. Specifically, viscous ECS cannot account for the singular nature of the inertial domain, where the flow self-organizes into uniform momentum zones (UMZs) separated by internal shear layers and the instantaneous streamwise velocity develops a staircase-like profile. In this investigation, a large-Re asymptotic analysis is performed to explore the potential for a three-dimensional, short streamwise- and spanwise-wavelength instability of the embedded shear layers to sustain a spatially-distributed array of much larger-scale, effectively inviscid streamwise roll motions. In contrast to other self-sustaining process theories, the rolls are sufficiently strong to differentially homogenize the background shear flow, thereby providing a mechanistic explanation for the formation and maintenance of UMZs and interlaced shear layers that respects the leading-order balance structure of the mean dynamics.


title: A shared neural encoding model for the prediction of subject-specific fMRI response

abstract: The increasing popularity of naturalistic paradigms in fMRI (such as movie watching) demands novel strategies for multi-subject data analysis, such as use of neural encoding models. In the present study, we propose a shared convolutional neural encoding method that accounts for individual-level differences. Our method leverages multi-subject data to improve the prediction of subject-specific responses evoked by visual or auditory stimuli. We showcase our approach on high-resolution 7T fMRI data from the Human Connectome Project movie-watching protocol and demonstrate significant improvement over single-subject encoding models. We further demonstrate the ability of the shared encoding model to successfully capture meaningful individual differences in response to traditional task-based facial and scenes stimuli. Taken together, our findings suggest that inter-subject knowledge transfer can be beneficial to subject-specific predictive models.


title: Ocean Worlds Exploration and the Search for Life

abstract: This is a community white paper submitted to the Decadal Survey in Planetary Science and Astrobiology, reflecting the views of the NASA Astrobiology Program's Research Coordination Network for Ocean Worlds (NOW). We recommend the establishment of a dedicated Ocean Worlds Exploration Program within NASA to provide sustained funding support for the science, engineering, research, development, and mission planning needed to implement a multi-decadal, multi-mission program to explore Ocean Worlds for life and understand the conditions for habitability. The two new critical flagship missions within this program would 1) land on Europa or Enceladus in the decade 2023-2032 to investigate geophysical and geochemical environments while searching for biosignatures, and 2) access a planetary ocean to directly search for life in the decade 2033-2042. The technological solutions for a landed mission are already in-hand, evidenced by the successful delta-Mission Concept Review of the Europa Lander pre-flight project in the fall of 2018. Following an initial landed mission, an ocean access mission will require substantial research, development, and analog testing this decade to enable the initiation of a pre-flight project at the start of the following decade.


title: Lowest-degree robust finite element scheme for a fourth-order elliptic singular perturbation problem on rectangular grids

abstract: In this paper, a piecewise quadratic nonconforming finite element method on rectangular grids for a fourth-order elliptic singular perturbation problem is presented. This proposed method is robustly convergent with respect to the perturbation parameter. Numerical results are presented to verify the theoretical findings. The new method uses piecewise quadratic polynomials, and is of the lowest degree possible. Optimal order approximation property of the finite element space is proved by means of a locally-averaged interpolation operator newly constructed. This interpolator, however, is not a projection. Indeed, we establish a general theory and show that no locally defined interpolation associated with the locally supported basis functions can be projective for the finite element space in use. Particularly, the general theory gives an answer to a long-standing open problem presented in [Demko, J. Approx. Theory, $\bf{43}$(2):151--156, 1985].


title: Higher-order fluctuations in dense random graph models

abstract: Our main results are quantitative bounds in the multivariate normal approximation of centred subgraph counts in random graphs generated by a general graphon and independent vertex labels. We are interested in these statistics because they are key to understanding fluctuations of regular subgraph counts -- a cornerstone of dense graph limit theory. We also identify the resulting limiting Gaussian stochastic measures by means of the theory of generalised $U$-statistics and Gaussian Hilbert spaces, which we think is a suitable framework to describe and understand higher-order fluctuations in dense random graph models. With this article, we believe we answer the question "What is the central limit theorem of dense graph limit theory?". We complement the theory with some statistical applications to illustrate the use of centred subgraph counts in network modelling.


title: Natural Gradient for Combined Loss Using Wavelets

abstract: Natural gradients have been widely used in optimization of loss functionals over probability space, with important examples such as Fisher-Rao gradient descent for Kullback-Leibler divergence, Wasserstein gradient descent for transport-related functionals, and Mahalanobis gradient descent for quadratic loss functionals. This note considers the situation in which the loss is a convex linear combination of these examples. We propose a new natural gradient algorithm by utilizing compactly supported wavelets to diagonalize approximately the Hessian of the combined loss. Numerical results are included to demonstrate the efficiency of the proposed algorithm.


title: Using Reinforcement Learning to Herd a Robotic Swarm to a Target Distribution

abstract: In this paper, we present a reinforcement learning approach to designing a control policy for a "leader" agent that herds a swarm of "follower" agents, via repulsive interactions, as quickly as possible to a target probability distribution over a strongly connected graph. The leader control policy is a function of the swarm distribution, which evolves over time according to a mean-field model in the form of an ordinary difference equation. The dependence of the policy on agent populations at each graph vertex, rather than on individual agent activity, simplifies the observations required by the leader and enables the control strategy to scale with the number of agents. Two Temporal-Difference learning algorithms, SARSA and Q-Learning, are used to generate the leader control policy based on the follower agent distribution and the leader's location on the graph. A simulation environment corresponding to a grid graph with 4 vertices was used to train and validate the control policies for follower agent populations ranging from 10 to 100. Finally, the control policies trained on 100 simulated agents were used to successfully redistribute a physical swarm of 10 small robots to a target distribution among 4 spatial regions.


title: Theoretical analysis on droplet vaporization at elevated temperatures and pressures

abstract: Droplet vaporization has a great impact on combustion of liquid fuels and might greatly affects the engine performance. Physical understanding and theoretical interpretation of the droplet vaporization behavior are decisive to constitute appropriate models for spray combustion. In this work, we proposed a fully transient formulation for the droplet vaporization at wide ranges of temperature and pressure. The governing equations are solved analytically by means of suitable coordinate transformations. The droplet surface temperature and mass fraction of fuel vapor are determined by the matching conditions at the liquid-gas interface. Accordingly, a theoretical model, characterizing the time change of droplet size during its vaporization, is proposed in terms of the unsteadiness factor and droplet vaporization lifetime. The theoretical model successfully reveals the conventional recognition of droplet vaporization characteristics, and its predicted droplet size history agrees well with experimental results reported in the literature. Besides, based on the present theoretical analysis, the experimentally observed dual effect of pressure upon droplet vaporization is analyzed with help of an explicit formula for enthalpy of vaporization indicating its temperature-dependence.


title: Pileup corrections on higher-order cumulants

abstract: We propose a method to remove the contributions of pileup events from higher-order cumulants and moments of event-by-event particle distributions. Assuming that the pileup events are given by the superposition of two independent single-collision events, we show that the true moments in each multiplicity bin can be obtained recursively from lower multiplicity events. In the correction procedure the necessary information are only the probabilities of pileup events. Other terms are extracted from the experimental data. We demonstrate that the true cumulants can be reconstructed successfully by this method in simple models. Systematics on trigger inefficiencies and correction parameters are discussed.


title: Solitary beam propagation in a nonlinear optical resonator enables high-efficiency pulse compression and mode self-cleaning

abstract: Generating intense ultrashort pulses with high-quality spatial modes is crucial for ultrafast and strong-field science. This can be accomplished by controlling propagation of femtosecond pulses under the influence of Kerr nonlinearity and achieving stable propagation with high intensity. In this work, we propose that the generation of spatial solitons in periodic layered Kerr media can provide an optimum condition for supercontinuum generation and pulse compression using multiple thin plates. With both the experimental and theoretical investigations, we successfully identify these solitary modes and reveal a universal relationship between the beam size and the critical nonlinear phase. Space-time coupling is shown to strongly influence the spectral, spatial and temporal profiles of femtosecond pulses. Taking advantage of the unique characters of these solitary modes, we demonstrate single-stage supercontinuum generation and compression of femtosecond pulses from initially 170 fs down to 22 fs with an efficiency ~90%. We also provide evidence of efficient mode self-cleaning which suggests rich spatial-temporal self-organization processes of laser beams in a nonlinear resonator.


title: Revision by Conditionals: From Hook to Arrow

abstract: The belief revision literature has largely focussed on the issue of how to revise one's beliefs in the light of information regarding matters of fact. Here we turn to an important but comparatively neglected issue: How might one extend a revision operator to handle conditionals as input? Our approach to this question of 'conditional revision' is distinctive insofar as it abstracts from the controversial details of how to revise by factual sentences. We introduce a 'plug and play' method for uniquely extending any iterated belief revision operator to the conditional case. The flexibility of our approach is achieved by having the result of a conditional revision by a Ramsey Test conditional ('arrow') determined by that of a plain revision by its corresponding material conditional ('hook'). It is shown to satisfy a number of new constraints that are of independent interest.


title: Statistical-Query Lower Bounds via Functional Gradients

abstract: We give the first statistical-query lower bounds for agnostically learning any non-polynomial activation with respect to Gaussian marginals (e.g., ReLU, sigmoid, sign). For the specific problem of ReLU regression (equivalently, agnostically learning a ReLU), we show that any statistical-query algorithm with tolerance $n^{-(1/\epsilon)^b}$ must use at least $2^{n^c} \epsilon$ queries for some constant $b, c > 0$, where $n$ is the dimension and $\epsilon$ is the accuracy parameter. Our results rule out general (as opposed to correlational) SQ learning algorithms, which is unusual for real-valued learning problems. Our techniques involve a gradient boosting procedure for "amplifying" recent lower bounds due to Diakonikolas et al. (COLT 2020) and Goel et al. (ICML 2020) on the SQ dimension of functions computed by two-layer neural networks. The crucial new ingredient is the use of a nonstandard convex functional during the boosting procedure. This also yields a best-possible reduction between two commonly studied models of learning: agnostic learning and probabilistic concepts.


title: Higher-spin symmetry vs. boundary locality, and a rehabilitation of dS/CFT

abstract: We consider the holographic duality between 4d type-A higher-spin gravity and a 3d free vector model. It is known that the Feynman diagrams for boundary correlators can be encapsulated in an HS-algebraic twistorial expression. This expression can be evaluated not just on separate boundary insertions, but on entire finite source distributions. We do so for the first time, and find that the result Z_HS disagrees with the usual CFT partition function. While such disagreement was expected due to contact corrections, it persists even in their absence. We ascribe it to a confusion between on-shell and off-shell boundary calculations. In Lorentzian boundary signature, this manifests via wrong relative signs for Feynman diagrams with different permutations of the source points. In Euclidean, the signs are instead ambiguous, spoiling would-be linear superpositions. Framing the situation as a conflict between boundary locality and HS symmetry, we sacrifice locality and choose to take Z_HS seriously. We are rewarded by the dissolution of a long-standing pathology in higher-spin dS/CFT. Though we lose the connection to the local CFT, the precise form of Z_HS can be recovered from first principles, by demanding a spin-local boundary action.


title: Construction of a series of new $\nu=2/5$ fractional quantum Hall wave functions by conformal field theory

abstract: In this paper, a series of $\nu=2/5$ fractional quantum Hall wave functions are constructed from conformal field theory(CFT). They share the same topological properties with states constructed by Jain's composite fermion approach. Upon exact lowest Landau level(LLL) projection, some of Jain composite fermion states would not survive if constraints on Landau level indices given in the appendices of this paper were not satisfied. By contrast, states constructed from CFT always stay in LLL. These states are characterized by different topological shifts and multibody relative angular momenta. As a by-product, in the appendices we prove the necessary conditions for general $ \nu=p/(2p+1) $ composite fermion states to have nonvanishing LLL projection.


title: Adaptive Inertia: Disentangling the Effects of Adaptive Learning Rate and Momentum

abstract: Adaptive Moment Estimation (Adam), which combines Adaptive Learning Rate and Momentum, would be the most popular stochastic optimizer for accelerating the training of deep neural networks. However, it is empirically known that Adam often generalizes worse than Stochastic Gradient Descent (SGD). The purpose of this paper is to unveil the mystery of this behavior in the diffusion theoretical framework. Specifically, we disentangle the effects of Adaptive Learning Rate and Momentum of the Adam dynamics on saddle-point escaping and flat minima selection. We prove that Adaptive Learning Rate can escape saddle points efficiently, but cannot select flat minima as SGD does. In contrast, Momentum provides a drift effect to help the training process pass through saddle points, and almost does not affect flat minima selection. This partly explains why SGD (with Momentum) generalizes better, while Adam generalizes worse but converges faster. Furthermore, motivated by the analysis, we design a novel adaptive optimization framework named Adaptive Inertia, which uses parameter-wise adaptive inertia to accelerate the training and provably favors flat minima as well as SGD. Our extensive experiments demonstrate that the proposed adaptive inertia method can generalize significantly better than SGD and conventional adaptive gradient methods.


title: On maximizing VAM for a given power: Slope, cadence, force and gear-ratio considerations

abstract: The velocit\`a ascensionale media (VAM) is measurement that quantifies a cyclist's climbing ability. It depends on both the ground speed of a bicycle-cyclist system and the slope of an incline. To maximize the ascent speed, the solution to the brachistochrone problem determines that the optimal curve for the incline is a straight line, which is a hill with a constant slope. The maximum obtainable VAM value by a cyclist increases monotonically with the slope of the incline, but is limited by the maximum sustainable power. These properties -- which are theorems stemming from a standard mathematical model to account for the power required to propel a bicycle -- constitute a mathematical-physics background upon which various strategies for the VAM maximization can be examined in the context of the maximum sustainable power as a function of both the gear ratio and cadence. Recently established records provide an empirical support for these analytical results, which are based on theoretical considerations.


title: Power variations in fractional Sobolev spaces for a class of parabolic stochastic PDEs

abstract: We consider a class of parabolic stochastic PDEs on bounded domains $D\subseteq\mathbb{R}^d$ that includes the stochastic heat equation, but with a fractional power $\gamma$ of the Laplacian. Viewing the solution as a process with values in a scale of fractional Sobolev spaces $H_r$, with $r < \gamma - d/2$, we study its power variations in $H_r$ along regular partitions of the time-axis. As the mesh size tends to zero, we find a phase transition at $r=-d/2$: the solutions have a nontrivial quadratic variation when $r<-d/2$ and a nontrivial $p$th order variation for $p= 2\gamma/(\gamma-d/2-r)>2$ when $r>-d/2$. More generally, suitably normalized power variations of any order satisfy a genuine law of large numbers in the first case and a degenerate limit theorem in the second case. When $r<-d/2$, the quadratic variation is given explicitly via an expression that involves the spectral zeta function, which reduces to the Riemann zeta function when $d=1$ and $D$ is an interval.


title: Highly ordered lead-free double perovskite halides by design

abstract: Lead-free double perovskite halides are emerging optoelectronic materials that are alternatives to lead-based perovskite halides. Recently, single-crystalline double perovskite halides were synthesized, and their intriguing functional properties were demonstrated. Despite such pioneering works, lead-free double perovskite halides with better crystallinity are still in demand for applications to novel optoelectronic devices. Here, we realized highly crystalline Cs2AgBiBr6 single crystals with a well-defined atomic ordering on the microscopic scale. We avoided the formation of Ag vacancies and the subsequent secondary Cs3Bi2Br9 by manipulating the initial chemical environments in hydrothermal synthesis. The suppression of Ag vacancies allows us to reduce the trap density in the as-grown crystals and to enhance the carrier mobility further. Our design strategy is applicable for fabricating other lead-free halide materials with high crystallinity.


title: Cosmic rays across the star-forming galaxy sequence. I: Cosmic ray pressures and calorimetry

abstract: In the Milky Way, cosmic rays (CRs) are dynamically important in the interstellar medium, contribute to hydrostatic balance, and may help regulate star formation. However, we know far less about the importance of CRs in galaxies whose gas content or star formation rate differ significantly from those of the Milky Way. Here we construct self-consistent models for hadronic CR transport, losses, and contribution to pressure balance as a function of galaxy properties, covering a broad range of parameters from dwarfs to extreme starbursts. While the CR energy density increases from $\sim 1$ eV cm$^{-3}$ to $\sim 1$ keV cm$^{-3}$ over the range from sub-Milky Way dwarfs to bright starbursts, strong hadronic losses render CRs increasingly unimportant dynamically as the star formation rate surface density increases. In Milky Way-like systems, CR pressure is typically comparable to turbulent gas and magnetic pressure at the galactic midplane, but the ratio of CR pressure to gas pressure drops to $\sim 10^{-3}$ in dense starbursts. Galaxies also become increasingly CR calorimetric and gamma-ray bright in this limit. The degree of calorimetry at fixed galaxy properties is sensitive to the assumed model for CR transport, and in particular to the time CRs spend interacting with neutral ISM, where they undergo strong streaming losses. We also find that in some regimes of parameter space hydrostatic equilibrium discs cannot exist, and in Paper II of this series we use this result to derive a critical surface in the plane of star formation surface density and gas surface density beyond which CRs may drive large-scale galactic winds.


title: Retro*: Learning Retrosynthetic Planning with Neural Guided A* Search

abstract: Retrosynthetic planning is a critical task in organic chemistry which identifies a series of reactions that can lead to the synthesis of a target product. The vast number of possible chemical transformations makes the size of the search space very big, and retrosynthetic planning is challenging even for experienced chemists. However, existing methods either require expensive return estimation by rollout with high variance, or optimize for search speed rather than the quality. In this paper, we propose Retro*, a neural-based A*-like algorithm that finds high-quality synthetic routes efficiently. It maintains the search as an AND-OR tree, and learns a neural search bias with off-policy data. Then guided by this neural network, it performs best-first search efficiently during new planning episodes. Experiments on benchmark USPTO datasets show that, our proposed method outperforms existing state-of-the-art with respect to both the success rate and solution quality, while being more efficient at the same time.


title: Cosmic rays across the star-forming galaxy sequence. II: Stability limits and the onset of cosmic ray-driven outflows

abstract: Cosmic rays (CRs) are a plausible mechanism for launching winds of cool material from the discs of star-forming galaxies. However, there is no consensus on what types of galaxies likely host CR-driven winds, or what role these winds might play in regulating galaxies' star formation rates. Using a detailed treatment of the transport and losses of hadronic CRs developed in the previous paper in this series, here we develop a semi-analytic model that allows us to assess the viability of using CRs to launch cool winds from galactic discs. In particular, we determine the critical CR fluxes -- and corresponding star formation rate surface densities -- above which hydrostatic equilibrium within a given galaxy is precluded because CRs drive the gas off in a wind or otherwise render it unstable. We show that, for star-forming galaxies with lower gas surface densities typical of the Galaxy and local dwarfs, the locus of this CR stability curve patrols the high side of the observed distribution of galaxies in the Kennicutt-Schmidt parameter space of star formation rate versus gas surface density. However, hadronic losses render CRs unable to drive winds in galaxies with higher surface densities. Our results show that quiescent, low surface density galaxies like the Milky Way are poised on the cusp of instability, such that small changes to ISM parameters can lead to the launching of CR-driven outflows, and we suggest that, as a result, CR feedback sets an ultimate limit to the star formation efficiency of most modern galaxies.


title: Semi-annihilating $Z_3$ Dark Matter for XENON1T Excess

abstract: The recently reported result from XENON1T experiment indicates that there is an excess with $3.5\sigma$ significance in the electronic recoil events. Interpreted as new physics, new sources are needed to account for the electronic scattering. We show that a dark fermion $\psi$ with mass about $ \mathcal{O}\left(10\right)$ MeV from semi-annihilation of $Z_3$ dark matter $X$ and subsequent decay of a dark gauge boson $V_\mu$ may be responsible for the excess. The relevant semi-annihilation process is $X+X\rightarrow \overline{X}+V_\mu (\rightarrow \psi + \overline{\psi})$, in which the final $\psi$ has a box-shape energy spectrum. The fast-moving $\psi$ can scatter with electron through an additional gauge boson that mixes with photon kinetically. The shape of the signals in this model can be consistent with the observed excess. The additional interaction with proton makes this model testable in future searches for nucleus recoil as well. Because of the lightness of invisible particle introduced, this scenario requires non-standard cosmology to accommodate the additional radiation component.


title: Robust Product Markovian Quantization

abstract: Recursive marginal quantization (RMQ) allows the construction of optimal discrete grids for approximating solutions to stochastic differential equations in d-dimensions. Product Markovian quantization (PMQ) reduces this problem to d one-dimensional quantization problems by recursively constructing product quantizers, as opposed to a truly optimal quantizer. However, the standard Newton-Raphson method used in the PMQ algorithm suffers from numerical instabilities, inhibiting widespread adoption, especially for use in calibration. By directly specifying the random variable to be quantized at each time step, we show that PMQ, and RMQ in one dimension, can be expressed as standard vector quantization. This reformulation allows the application of the accelerated Lloyd's algorithm in an adaptive and robust procedure. Furthermore, in the case of stochastic volatility models, we extend the PMQ algorithm by using higher-order updates for the volatility or variance process. We illustrate the technique for European options, using the Heston model, and more exotic products, using the SABR model.


title: Smart Contract-based Computing ResourcesTrading in Edge Computing

abstract: In recent years, there is an emerging trend that some computing services are moving from cloud to the edge of the networks. Compared to cloud computing, edge computing can provide services with faster response, lower expense, and more security. The massive idle computing resources closing to the edge also enhance the deployment of edge services. Instead of using cloud services from some primary providers, edge computing provides people with a great chance to actively join the market of computing resources. However, edge computing also has some critical impediments that we have to overcome. In this paper, we design an edge computing service platform that can receive and distribute the computing resources from the end-users in a decentralized way. Without centralized trade control, we propose a novel hierarchical smart contract-based decentralized technique to establish the trading trust among users and provide flexible smart contract interfaces to satisfy users. Our system also considers and resolves a variety of security and privacy challenges when utilizing the encryption and distributed access control mechanism. We implement our system and conduct extensive experiments to show the feasibility and effectiveness of our proposed system.


title: On the stringy Hodge numbers of mirrors of quasi-smooth Calabi-Yau hypersurfaces

abstract: Mirrors $X^{\vee}$ of quasi-smooth Calabi-Yau hypersurfaces $X$ in weighted projective spaces ${\Bbb P}(w_0, \ldots, w_d)$ can be obtained as Calabi-Yau compactifications of non-degenerate affine toric hypersurfaces defined by Laurent polynomials whose Newton polytope is the lattice simplex spanned by $d+1$ lattice vectors $v_i$ satisfying the relation $\sum_i w_i v_i =0$. In this paper, we compute the stringy $E$-function of mirrors $X^\vee$ and compare it with the Vafa's orbifold $E$-function of quasi-smooth Calabi-Yau hypersurfaces $X$. As a result, we prove the equalities of Hodge numbers $h^{p,q}_{\rm str}(X^{\vee}) = h^{d-1-p,q}_{\rm orb}(X)$ for all $p, q$ and $d$ as it is expected in mirror symmetry.


title: Towards Learning-automation IoT Attack Detection through Reinforcement Learning

abstract: As a massive number of the Internet of Things (IoT) devices are deployed, the security and privacy issues in IoT arouse more and more attention. The IoT attacks are causing tremendous loss to the IoT networks and even threatening human safety. Compared to traditional networks, IoT networks have unique characteristics, which make the attack detection more challenging. First, the heterogeneity of platforms, protocols, software, and hardware exposes various vulnerabilities. Second, in addition to the traditional high-rate attacks, the low-rate attacks are also extensively used by IoT attackers to obfuscate the legitimate and malicious traffic. These low-rate attacks are challenging to detect and can persist in the networks. Last, the attackers are evolving to be more intelligent and can dynamically change their attack strategies based on the environment feedback to avoid being detected, making it more challenging for the defender to discover a consistent pattern to identify the attack. In order to adapt to the new characteristics in IoT attacks, we propose a reinforcement learning-based attack detection model that can automatically learn and recognize the transformation of the attack pattern. Therefore, we can continuously detect IoT attacks with less human intervention. In this paper, we explore the crucial features of IoT traffics and utilize the entropy-based metrics to detect both the high-rate and low-rate IoT attacks. Afterward, we leverage the reinforcement learning technique to continuously adjust the attack detection threshold based on the detection feedback, which optimizes the detection and the false alarm rate. We conduct extensive experiments over a real IoT attack dataset and demonstrate the effectiveness of our IoT attack detection framework.


title: IoTGaze: IoT Security Enforcement via Wireless Context Analysis

abstract: Internet of Things (IoT) has become the most promising technology for service automation, monitoring, and interconnection, etc. However, the security and privacy issues caused by IoT arouse concerns. Recent research focuses on addressing security issues by looking inside platform and apps. In this work, we creatively change the angle to consider security problems from a wireless context perspective. We propose a novel framework called IoTGaze, which can discover potential anomalies and vulnerabilities in the IoT system via wireless traffic analysis. By sniffing the encrypted wireless traffic, IoTGaze can automatically identify the sequential interaction of events between apps and devices. We discover the temporal event dependencies and generate the Wireless Context for the IoT system. Meanwhile, we extract the IoT Context, which reflects user's expectation, from IoT apps' descriptions and user interfaces. If the wireless context does not match the expected IoT context, IoTGaze reports an anomaly. Furthermore, IoTGaze can discover the vulnerabilities caused by the inter-app interaction via hidden channels, such as temperature and illuminance. We provide a proof-of-concept implementation and evaluation of our framework on the Samsung SmartThings platform. The evaluation shows that IoTGaze can effectively discover anomalies and vulnerabilities, thereby greatly enhancing the security of IoT systems.


title: Erasable signature of Majorana bound state due to coupling with the T-shaped quantum-dot structure

abstract: We theoretically study the transport properties in the T-shaped double-quantum-dot structure, by introducing the Majorana bound state (MBS) to couple to the dot in the main channel. It is found that the side-coupled dot governs the effect of the MBS on the transport behavior. When its level is consistent with the energy zero point, the MBS contributes little to the conductance spectrum. Otherwise, the linear conductance exhibits notable changes according to the inter-MBS coupling manners. In the case of Majorana zero mode, the linear conductance value keeps equal to $e^2\over 2h$ when the level of the side-coupled dot departs from the energy zero point. However, the linear conductance is always analogous to the MBS-absent case once the inter-MBS coupling comes into play. These findings provide new information about the interplay between the MBSs and electron states in the quantum dots.


title: High-acoustic-index-contrast phononic circuits: numerical modeling

abstract: We numerically model key building blocks of a phononic integrated circuit that enable phonon routing in high-acoustic-index waveguides. Our particular focus is on Gallium Nitride-on-sapphire phononic platform which has recently demonstrated high acoustic confinement in its top layer without the use of suspended structures. We start with systematic simulation of various transverse phonon modes supported in strip waveguides and ring resonators with sub-wavelength cross-section. Mode confinement and quality factors of phonon modes are numerically investigated with respect to geometric parameters. Quality factor up to $10^{8}$ is predicted in optimized ring resonators. We next study the design of the phononic directional couplers, and present key design parameters for achieving strong evanescent couplings between modes propagating in parallel waveguides. Last, interdigitated transducer electrodes are included in the simulation for direct excitation of a ring resonator and critical coupling between microwave input and phononic dissipation. Our work provides comprehensive numerical characterization of phonon modes and functional phononic components in high-acoustic-index phononic circuits, which supplements previous theories and contributes to the emerging field of phononic integrated circuits.


title: Answering Questions on COVID-19 in Real-Time

abstract: The recent outbreak of the novel coronavirus is wreaking havoc on the world and researchers are struggling to effectively combat it. One reason why the fight is difficult is due to the lack of information and knowledge. In this work, we outline our effort to contribute to shrinking this knowledge vacuum by creating covidAsk, a question answering (QA) system that combines biomedical text mining and QA techniques to provide answers to questions in real-time. Our system also leverages information retrieval (IR) approaches to provide entity-level answers that are complementary to QA models. Evaluation of covidAsk is carried out by using a manually created dataset called COVID-19 Questions which is based on information from various sources, including the CDC and the WHO. We hope our system will be able to aid researchers in their search for knowledge and information not only for COVID-19, but for future pandemics as well.