title: Observation of collectivity enhanced magnetoassociation of $^6$Li in the quantum degenerate regime

abstract: The association process of Feshbach molecules is well described by a Landau-Zener (LZ) transition above the Fermi temperature, such that two-body physics dominates the dynamics. However, using $^6$Li atoms and the associated Feshbach resonance at $B_r=834.1$ G, we observe an enhancement of the atom-molecule coupling as the fermionic atoms reach degeneracy, demonstrating the importance of many-body coherence not captured by the conventional LZ model. In the experiment, we apply a linear association ramp ranging from adiabatic to non-equilibrium molecule association for various temperatures. We develop a theoretical model that explains the temperature dependence of the atom-molecule coupling. Furthermore, we characterize this dependence experimentally and extract the atom-molecule coupling coefficient as a function of temperature, finding qualitative agreement between our model and experimental results. In addition, we simulate the dynamics of molecular association during a nonlinear field ramp. We find that, in the non-equilibrium regime, molecular association efficiency can be enhanced by sweeping the magnetic field cubically with time. Accurate measurement of the atom-molecule coupling coefficient is important for both theoretical and experimental studies of molecular association and many-body collective dynamics.


title: KMT-2019-BLG-0797: binary-lensing event occurring on a binary stellar system

abstract: We analyze the microlensing event KMT-2019-BLG-0797. The light curve of the event exhibits two anomalous features from a single-lens single-source model, and we aim to reveal the nature of the anomaly. It is found that a model with two lenses plus a single source (2L1S model) can explain one feature of the anomaly, but the other feature cannot be explained. We test various models and find that both anomalous features can be explained by introducing an extra source to a 2L1S model (2L2S model), making the event the third confirmed case of a 2L2S event, following on MOA-2010-BLG-117 and OGLE-2016-BLG-1003. It is estimated that the extra source comprises $\sim 4\%$ of the $I$-band flux from the primary source. Interpreting the event is subject to a close--wide degeneracy. According to the close solution, the lens is a binary consisting of two brown dwarfs with masses $(M_1, M_2)\sim (0.034, 0.021)~M_\odot$, and it is located at a distance of $\dl\sim 8.2$~kpc. According to the wide solution, on the other hand, the lens is composed of an object at the star/brown-dwarf boundary and an M dwarf with masses $(M_1, M_2)\sim (0.06, 0.33)~M_\odot$ located at $\dl\sim 7.7$~kpc. The source is composed of a late-G-dwarf/early-K-dwarf primary and an early-to-mid M-dwarf companion.


title: Building population models for large-scale neural recordings: opportunities and pitfalls

abstract: Modern recording technologies now enable simultaneous recording from large numbers of neurons. This has driven the development of new statistical models for analyzing and interpreting neural population activity. Here we provide a broad overview of recent developments in this area. We compare and contrast different approaches, highlight strengths and limitations, and discuss biological and mechanistic insights that these methods provide.


title: Schr\"odinger's Cat

abstract: The basic idea here is that observation (or one's experience) is fundamental and the `atomic world' is postulated as the source of such observation. Once this source has been inferred to exist one may attempt to explicitly derive its structure in such a way that the observation itself can be reproduced. And so here is a purely quantum mechanical model of observation coupled to its supposed source, and the observation itself is realised as a projection of this quantum system.


title: Analyzing the Impact of Molecular Re-Radiation on the MIMO Capacity in High-Frequency Bands

abstract: In this paper, we show how the absorption and re-radiation energy from molecules in the air can influence the Multiple Input Multiple Output (MIMO) performance in high-frequency bands, e.g., millimeter wave (mmWave) and terahertz. In more detail, some common atmosphere molecules, such as oxygen and water, can absorb and re-radiate energy in their natural resonance frequencies, such as 60 GHz, 180 GHz and 320 GHz. Hence, when hit by electromagnetic waves, molecules will get excited and absorb energy, which leads to an extra path loss and is known as molecular attenuation. Meanwhile, the absorbed energy will be re-radiated towards a random direction with a random phase. These re-radiated waves also interfere with the signal transmission. Although, the molecular re-radiation was mostly considered as noise in literature, recent works show that it is correlated to the main signal and can be viewed as a composition of multiple delayed or scattered signals. Such a phenomenon can provide non-line-of-sight (NLoS) paths in an environment that lacks scatterers, which increases spatial multiplexing and thus greatly enhances the performance of MIMO systems. Therefore in this paper, we explore the scattering model and noise models of molecular re-radiation to characterize the channel transfer function of the NLoS channels created by atmosphere molecules. Our simulation results show that the re-radiation can increase MIMO capacity up to 3 folds in mmWave and 6 folds in terahertz for a set of realistic transmit power, distance, and antenna numbers. We also show that in the high SNR, the re-radiation makes the open-loop precoding viable, which is an alternative to beamforming to avoid beam alignment sensitivity in high mobility applications.


title: Quantum tasks require islands on the brane

abstract: In recent work, it was argued that quantum computations with inputs and outputs distributed in spacetime, or quantum tasks, impose constraints on entanglement in holographic theories. The resulting constraint was named the connected wedge theorem and can verified by a direct bulk proof using focusing arguments in general relativity. In this article we extend this work to the context of AdS/BCFT, where an end-of-the-world brane is present in the bulk. By considering quantum tasks which exploit information localized to the brane, we find a new connected wedge theorem. We apply this theorem to brane models of black holes, where it relates the formation of islands in the Ryu-Takayanagi formula to causal features of the ambient spacetime. In particular, we find that if the black hole interior is causally connected to the radiation system through the ambient spacetime, then an island forms. For constant tension branes in pure AdS the converse also holds.


title: The Ethical Implications of Shared Medical Decision Making without Providing Adequate Computational Support to the Care Provider and to the Patient

abstract: There is a clear need to involve patients in medical decisions. However, cognitive psychological research has highlighted the cognitive limitations of humans with respect to 1. Probabilistic assessment of the patient state and of potential outcomes of various decisions, 2. Elicitation of the patient utility function, and 3. Integration of the probabilistic knowledge and of patient preferences to determine the optimal strategy. Therefore, without adequate computational support, current shared decision models have severe ethical deficiencies. An informed consent model unfairly transfers the responsibility to a patient who does not have the necessary knowledge, nor the integration capability. A paternalistic model endows with exaggerated power a physician who might not be aware of the patient preferences, is prone to multiple cognitive biases, and whose computational integration capability is bounded. Recent progress in Artificial Intelligence suggests adding a third agent: a computer, in all deliberative medical decisions: Non emergency medical decisions in which more than one alternative exists, the patient preferences can be elicited, the therapeutic alternatives might be influenced by these preferences, medical knowledge exists regarding the likelihood of the decision outcomes, and there is sufficient decision time. Ethical physicians should exploit computational decision support technologies, neither making the decisions solely on their own, nor shirking their duty and shifting the responsibility to patients in the name of informed consent. The resulting three way (patient, care provider, computer) human machine model that we suggest emphasizes the patient preferences, the physician knowledge, and the computational integration of both aspects, does not diminish the physician role, but rather brings out the best in human and machine.


title: Discovering IoT Physical Channel Vulnerabilities

abstract: Smart homes contain diverse sensors and actuators controlled by IoT apps that provide custom automation. Prior works showed that an adversary could exploit physical interaction vulnerabilities among apps and put the users and environment at risk, e.g., to break into a house, an adversary turns on the heater to trigger an app that opens windows when the temperature exceeds a threshold. Currently, the safe behavior of physical interactions relies on either app code analysis or dynamic analysis of device states with manually derived policies by developers. However, existing works fail to achieve sufficient breadth and fidelity to translate the app code into their physical behavior or provide incomplete security policies, causing poor accuracy and false alarms. In this paper, we introduce a new approach, IoTSeer, which efficiently combines app code analysis and dynamic analysis with new security policies to discover physical interaction vulnerabilities. IoTSeer works by first translating sensor events and actuator commands of each app into a physical execution model (PeM) and unifying PeMs to express composite physical execution of apps (CPeM). CPeM allows us to deploy IoTSeer in different smart homes by defining its execution parameters with minimal data collection. IoTSeer supports new security policies with intended/unintended physical channel labels. It then efficiently checks them on the CPeM via falsification, which addresses the undecidability of verification due to the continuous and discrete behavior of IoT devices. We evaluate IoTSeer in an actual house with 14 actuators, six sensors, and 39 apps. IoTSeer discovers 16 unique policy violations, whereas prior works identify only 2 out of 16 with 18 falsely flagged violations. IoTSeer only requires 30 mins of data collection for each actuator to set the CPeM parameters and is adaptive to newly added, removed, and relocated devices.


title: Speech Emotion Recognition with Multiscale Area Attention and Data Augmentation

abstract: In Speech Emotion Recognition (SER), emotional characteristics often appear in diverse forms of energy patterns in spectrograms. Typical attention neural network classifiers of SER are usually optimized on a fixed attention granularity. In this paper, we apply multiscale area attention in a deep convolutional neural network to attend emotional characteristics with varied granularities and therefore the classifier can benefit from an ensemble of attentions with different scales. To deal with data sparsity, we conduct data augmentation with vocal tract length perturbation (VTLP) to improve the generalization capability of the classifier. Experiments are carried out on the Interactive Emotional Dyadic Motion Capture (IEMOCAP) dataset. We achieved 79.34% weighted accuracy (WA) and 77.54% unweighted accuracy (UA), which, to the best of our knowledge, is the state of the art on this dataset.


title: A model-independent framework for determining finite-volume effects of spatially nonlocal operators

abstract: We present a model-independent framework to determine finite-volume corrections of matrix elements of spatially-separated current-current operators. We define these matrix elements in terms of Compton-like amplitudes, i.e. amplitudes coupling single-particle states via two current insertions. We show that the infrared behavior of these matrix elements is dominated by the single-particle pole, which is approximated by the elastic form factors of the lowest-lying hadron. Therefore, given lattice data on the relevant elastic form factors, the finite-volume effects can be estimated non-perturbatively and without recourse to effective field theories. For illustration purposes, we investigate the implications of the proposed formalism for a class of scalar theories in two and four dimensions.


title: TAD: Trigger Approximation based Black-box Trojan Detection for AI

abstract: An emerging amount of intelligent applications have been developed with the surge of Machine Learning (ML). Deep Neural Networks (DNNs) have demonstrated unprecedented performance across various fields such as medical diagnosis and autonomous driving. While DNNs are widely employed in security-sensitive fields, they are identified to be vulnerable to Neural Trojan (NT) attacks that are controlled and activated by the stealthy trigger. We call this vulnerable model adversarial artificial intelligence (AI). In this paper, we target to design a robust Trojan detection scheme that inspects whether a pre-trained AI model has been Trojaned before its deployment. Prior works are oblivious of the intrinsic property of trigger distribution and try to reconstruct the trigger pattern using simple heuristics, i.e., stimulating the given model to incorrect outputs. As a result, their detection time and effectiveness are limited. We leverage the observation that the pixel trigger typically features spatial dependency and propose TAD, the first trigger approximation based Trojan detection framework that enables fast and scalable search of the trigger in the input space. Furthermore, TAD can also detect Trojans embedded in the feature space where certain filter transformations are used to activate the Trojan. We perform extensive experiments to investigate the performance of the TAD across various datasets and ML models. Empirical results show that TAD achieves a ROC-AUC score of 0:91 on the public TrojAI dataset 1 and the average detection time per model is 7:1 minutes.


title: Classical solutions for fractional porous medium flow

abstract: We consider the fractional porous medium flow introduced by Caffarelli-Vazquez and obtain local in time existence, uniqueness, and blow-up criterion for smooth solutions. The proof is based on establishing a commutator estimate involving fractional Laplacian operators.


title: Relaxation to fractional porous medium equation from Euler--Riesz system

abstract: We perform asymptotic analysis for the Euler--Riesz system posed in either $\mathbb{T}^d$ or $\mathbb{R}^d$ in the high-force regime and establish a quantified relaxation limit result from the Euler--Riesz system to the fractional porous medium equation. We provide a unified approach for asymptotic analysis regardless of the presence of pressure, based on the modulated energy estimates, the Wasserstein distance of order $2$, and the bounded Lipschitz distance.


title: Memorization vs. Generalization: Quantifying Data Leakage in NLP Performance Evaluation

abstract: Public datasets are often used to evaluate the efficacy and generalizability of state-of-the-art methods for many tasks in natural language processing (NLP). However, the presence of overlap between the train and test datasets can lead to inflated results, inadvertently evaluating the model's ability to memorize and interpreting it as the ability to generalize. In addition, such data sets may not provide an effective indicator of the performance of these methods in real world scenarios. We identify leakage of training data into test data on several publicly available datasets used to evaluate NLP tasks, including named entity recognition and relation extraction, and study them to assess the impact of that leakage on the model's ability to memorize versus generalize.


title: Multiple self-organized phases and spatial solitons in cold atoms mediated by optical feedback

abstract: We study the transverse self-structuring of a cloud of cold atoms with effective atomic interactions mediated by a coherent driving beam retro-reflected by means of a single mirror. The resulting self-structuring due to optomechanical forces is much richer than that of an effective-Kerr medium, displaying hexagonal, stripe and honeycomb phases depending on the interaction strength parametrized by the linear susceptibility. Phase domains are described by real Ginzburg-Landau amplitude equations. In the stripe phase the system recovers inversion symmetry. Moreover, the subcritical character of the honeycomb phase allows for light-density feedback solitons functioning as self-sustained dark atomic traps with motion controlled by phase gradients in the driving beam.


title: Two-loop leading colour QCD corrections to $q \bar{q} \to \gamma \gamma g$ and $q g \to \gamma \gamma q$

abstract: We present the leading colour and light fermionic planar two-loop corrections for the production of two photons and a jet in the quark-antiquark and quark-gluon channels. In particular, we compute the interference of the two-loop amplitudes with the corresponding tree level ones, summed over colours and polarisations. Our calculation uses the latest advancements in the algorithms for integration-by-parts reduction and multivariate partial fraction decomposition to produce compact and easy-to-use results. We have implemented our results in an efficient C++ numerical code. We also provide their analytic expressions in Mathematica format.


title: A Compartment Model of Human Mobility and Early Covid-19 Dynamics in NYC

abstract: In this paper, we build a mechanistic system to understand the relation between a reduction in human mobility and Covid-19 spread dynamics within New York City. To this end, we propose a multivariate compartmental model that jointly models smartphone mobility data and case counts during the first 90 days of the epidemic. Parameter calibration is achieved through the formulation of a general Bayesian hierarchical model to provide uncertainty quantification of resulting estimates. The open-source probabilistic programming language Stan is used for the requisite computation. Through sensitivity analysis and out-of-sample forecasting, we find our simple and interpretable model provides evidence that reductions in human mobility altered case dynamics.


title: Multi-class probabilistic atlas-based whole heart segmentation method in cardiac CT and MRI

abstract: Accurate and robust whole heart substructure segmentation is crucial in developing clinical applications, such as computer-aided diagnosis and computer-aided surgery. However, segmentation of different heart substructures is challenging because of inadequate edge or boundary information, the complexity of the background and texture, and the diversity in different substructures' sizes and shapes. This article proposes a framework for multi-class whole heart segmentation employing non-rigid registration-based probabilistic atlas incorporating the Bayesian framework. We also propose a non-rigid registration pipeline utilizing a multi-resolution strategy for obtaining the highest attainable mutual information between the moving and fixed images. We further incorporate non-rigid registration into the expectation-maximization algorithm and implement different deep convolutional neural network-based encoder-decoder networks for ablation studies. All the extensive experiments are conducted utilizing the publicly available dataset for the whole heart segmentation containing 20 MRI and 20 CT cardiac images. The proposed approach exhibits an encouraging achievement, yielding a mean volume overlapping error of 14.5 % for CT scans exceeding the state-of-the-art results by a margin of 1.3 % in terms of the same metric. As the proposed approach provides better-results to delineate the different substructures of the heart, it can be a medical diagnostic aiding tool for helping experts with quicker and more accurate results.


title: Partial-dual genus polynomials and signed intersection graphs

abstract: Recently, Gross, Mansour and Tucker introduced the partial-dual genus polynomial of a ribbon graph as a generating function that enumerates the partial duals of the ribbon graph by genus. It is analogous to the extensively-studied polynomial in topological graph theory that enumerates by genus all embeddings of a given graph. To investigate the partial-dual genus polynomial one only needs to focus on bouquets, i.e. ribbon graphs with only one vertex. In this paper, we shall further show that the partial-dual genus polynomial of a bouquet essentially depends on the signed intersection graph of the bouquet rather than on the bouquet itself. That is to say the bouquets with the same signed intersection graph will have the same partial-dual genus polynomial. We then prove that the partial-dual genus polynomial of a bouquet contains non-zero constant term if and only if its signed intersection graph is positive and bipartite. Finally we consider a conjecture posed by Gross, Mansour and Tucker. that there is no orientable ribbon graph whose partial-dual genus polynomial has only one non-constant term, we give a characterization of non-empty bouquets whose partial-dual genus polynomials have only one term by consider non-orientable case and orientable case separately.


title: Dermo-DOCTOR: A framework for concurrent skin lesion detection and recognition using a deep convolutional neural network with end-to-end dual encoders

abstract: Automated skin lesion analysis for simultaneous detection and recognition is still challenging for inter-class homogeneity and intra-class heterogeneity, leading to low generic capability of a Single Convolutional Neural Network (CNN) with limited datasets. This article proposes an end-to-end deep CNN-based framework for simultaneous detection and recognition of the skin lesions, named Dermo-DOCTOR, consisting of two encoders. The feature maps from two encoders are fused channel-wise, called Fused Feature Map (FFM). The FFM is utilized for decoding in the detection sub-network, concatenating each stage of two encoders' outputs with corresponding decoder layers to retrieve the lost spatial information due to pooling in the encoders. For the recognition sub-network, the outputs of three fully connected layers, utilizing feature maps of two encoders and FFM, are aggregated to obtain a final lesion class. We train and evaluate the proposed Dermo-Doctor utilizing two publicly available benchmark datasets, such as ISIC-2016 and ISIC-2017. The achieved segmentation results exhibit mean intersection over unions of 85.0 % and 80.0 % respectively for ISIC-2016 and ISIC-2017 test datasets. The proposed Dermo-DOCTOR also demonstrates praiseworthy success in lesion recognition, providing the areas under the receiver operating characteristic curves of 0.98 and 0.91 respectively for those two datasets. The experimental results show that the proposed Dermo-DOCTOR outperforms the alternative methods mentioned in the literature, designed for skin lesion detection and recognition. As the Dermo-DOCTOR provides better-results on two different test datasets, even with limited training data, it can be an auspicious computer-aided assistive tool for dermatologists.


title: Task Planning on Stochastic Aisle Graphs for Precision Agriculture

abstract: This work addresses task planning under uncertainty for precision agriculture applications whereby task costs are uncertain and the gain of completing a task is proportional to resource consumption (such as water consumption in precision irrigation). The goal is to complete all tasks while prioritizing those that are more urgent, and subject to diverse budget thresholds and stochastic costs for tasks. To describe agriculture-related environments that incorporate stochastic costs to complete tasks, a new Stochastic-Vertex-Cost Aisle Graph (SAG) is introduced. Then, a task allocation algorithm, termed Next-Best-Action Planning (NBA-P), is proposed. NBA-P utilizes the underlying structure enabled by SAG, and tackles the task planning problem by simultaneously determining the optimal tasks to perform and an optimal time to exit (i.e. return to a base station), at run-time. The proposed approach is tested with both simulated data and real-world experimental datasets collected in a commercial vineyard, in both single- and multi-robot scenarios. In all cases, NBA-P outperforms other evaluated methods in terms of return per visited vertex, wasted resources resulting from aborted tasks (i.e. when a budget threshold is exceeded), and total visited vertices.


title: A Computational Framework for Slang Generation

abstract: Slang is a common type of informal language, but its flexible nature and paucity of data resources present challenges for existing natural language systems. We take an initial step toward machine generation of slang by developing a framework that models the speaker's word choice in slang context. Our framework encodes novel slang meaning by relating the conventional and slang senses of a word while incorporating syntactic and contextual knowledge in slang usage. We construct the framework using a combination of probabilistic inference and neural contrastive learning. We perform rigorous evaluations on three slang dictionaries and show that our approach not only outperforms state-of-the-art language models, but also better predicts the historical emergence of slang word usages from 1960s to 2000s. We interpret the proposed models and find that the contrastively learned semantic space is sensitive to the similarities between slang and conventional senses of words. Our work creates opportunities for the automated generation and interpretation of informal language.


title: Impact of Electron-Phonon Interaction on Thermal Transport: A Review

abstract: A thorough understanding of the microscopic picture of heat conduction in solids is critical to a broad range of applications, from thermal management of microelectronics to more efficient thermoelectric materials. The transport properties of phonons, the major microscopic heat carriers in semiconductors and insulators, particularly their scattering mechanisms, have been a central theme in microscale heat conduction research. In the past two decades, significant advancements have been made in computational and experimental efforts to probe phonon-phonon, phonon-impurity, and phonon-boundary scattering channels in detail. In contrast, electron-phonon scatterings were long thought to have negligible effects on thermal transport in most materials under ambient conditions. This article reviews the recent progress in first-principles computations and experimental methods that show clear evidence for a strong impact of electron-phonon interaction on phonon transport in a wide variety of technologically relevant solid-state materials. Under thermal equilibrium conditions, electron-phonon interactions can modify the total phonon scattering rates and renormalize the phonon frequency, as determined by the imaginary part and the real part of the phonon self-energy, respectively. Under nonequilibrium transport conditions, electron-phonon interactions can affect the coupled transport of electrons and phonons in the bulk through the "phonon or electron drag" mechanism as well as the interfacial thermal transport. Based on these recent results, we evaluate the potential use of electron-phonon interactions to control thermal transport in solids. We also provide an outlook on future directions of computational and experimental developments.


title: Analyzing the barren plateau phenomenon in training quantum neural networks with the ZX-calculus

abstract: In this paper, we propose a general scheme to analyze the gradient vanishing phenomenon, also known as the barren plateau phenomenon, in training quantum neural networks with the ZX-calculus. More precisely, we extend the barren plateaus theorem from unitary 2-design circuits to any parameterized quantum circuits under certain reasonable assumptions. The main technical contribution of this paper is representing certain integrations as ZX-diagrams and computing them with the ZX-calculus. The method is used to analyze four concrete quantum neural networks with different structures. It is shown that, for the hardware efficient ansatz and the MPS-inspired ansatz, there exist barren plateaus, while for the QCNN ansatz and the tree tensor network ansatz, there exists no barren plateau.


title: Holographic RG flow triggered by a classically marginal operator

abstract: We study the holographic renormalization group (RG) flow triggered by a classically marginal operator. When a marginal operator deforms a conformal field theory, it does not yield a nontrivial renormalization group flow at the classical level. At the quantum level, however, quantum corrections modify a marginal operator into one of the truly marginal, marginally relevant, and marginally irrelevant operators and can generate a nontrivial RG flow. We investigate the holographic description of a RG flow triggered by a marginal operator with quantum corrections. We look into how the physical quantities of a deformed theory, a coupling constant and the vacuum expectation value, rely on the RG scale. We further discuss the holographic description of the trace anomaly caused by the gluon condensation.


title: Machine learning for improving performance in an evolutionary algorithm for minimum path with uncertain costs given by massively simulated scenarios

abstract: In this work we introduce an implementation for which machine learning techniques helped improve the overall performance of an evolutionary algorithm for an optimization problem, namely a variation of robust minimum-cost path in graphs. In this big data optimization problem, a path achieving a good cost in most scenarios from an available set of scenarios (generated by a simulation process) must be obtained. The most expensive task of our evolutionary algorithm, in terms of computational resources, is the evaluation of candidate paths: the fitness function must calculate the cost of the candidate path in every generated scenario. Given the large number of scenarios, this task must be implemented in a distributed environment. We implemented gradient boosting decision trees to classify candidate paths in order to identify good candidates. The cost of the not-so-good candidates is simply forecasted. We studied the training process, gain performance, accuracy, and other variables. Our computational experiments show that the computational performance was significantly improved at the expense of a limited loss of accuracy.


title: Counterexamples to the maximum force conjecture

abstract: Dimensional analysis shows that the speed of light and Newton's constant of gravitation can be combined to define a quantity $F_* = {c^4\over G_N}$ with the dimensions of force (equivalently, tension). Then in any physical situation we must have $F_{physical} = f \; F_*$, where the quantity $f$ is some dimensionless function of dimensionless parameters. In many physical situations explicit calculation yields $f= O(1)$, and quite often $f \leq {1\over4}$. This has lead multiple authors to suggest a (weak or strong) maximum force/maximum tension conjecture. Working within the framework of standard general relativity, we will instead focus on counter-examples to this conjecture, paying particular attention to the extent to which the counter-examples are physically reasonable. The various counter-examples we shall explore strongly suggest that one should not put too much credence into any universal maximum force/maximum tension conjecture. Specifically, fluid spheres on the verge of gravitational collapse will generically violate the weak (and strong) maximum force conjectures. If one wishes to retain any general notion of "maximum force" then one will have to very carefully specify precisely which forces are to be allowed within the domain of discourse.


title: Optimization meets Big Data: A survey

abstract: This paper reviews recent advances in big data optimization, providing the state-of-art of this emerging field. The main focus in this review are optimization techniques being applied in big data analysis environments. Integer linear programming, coordinate descent methods, alternating direction method of multipliers, simulation optimization and metaheuristics like evolutionary and genetic algorithms, particle swarm optimization, differential evolution, fireworks, bat, firefly and cuckoo search algorithms implementations are reviewed and discussed. The relation between big data optimization and software engineering topics like information work-flow styles, software architectures, and software framework is discussed. Comparative analysis in platforms being used in big data optimization environments are highlighted in order to bring a state-or-art of possible architectures and topologies.


title: Intermolecular vibrational states far above the van der Waals minimum: combination bands of the polar N2O dimer

abstract: Infrared combination bands of the polar isomer of the N2O dimer are observed for the first time, using a tunable infrared laser source to probe a pulsed slit-jet supersonic expansion in the N2O nu1 region (~2240 cm-1). One band involves the torsional (out-of-plane) intermolecular mode and yields a torsional frequency of 19.83 cm-1 if associated with the out-of-phase fundamental (N2O nu1) vibration of the N2O monomers in the dimer. The other band, which is highly perturbed, yields an intermolecular in-plane geared bend frequency of 22.74 cm-1. The results are compared with high level ab initio calculations. The less likely alternate assignment to the in-phase fundamental would give torsional and geared bend frequencies of 17.25 and 20.16 cm-1, respectively.


title: Discovery of Beryllium in White Dwarfs Polluted by Planetesimal Accretion

abstract: The element beryllium is detected for the first time in white dwarf stars. This discovery in the spectra of two helium-atmosphere white dwarfs was made possible only because of the remarkable overabundance of Be relative to all other elements, heavier than He, observed in these stars. The measured Be abundances, relative to chondritic, are by far the largest ever seen in any astronomical object. We anticipate that the Be in these accreted planetary bodies was produced by spallation of one or more of O, C, and N in a region of high fluence of particles of MeV or greater energy.


title: Icy Exomoons Evidenced by Spallogenic Nuclides in Polluted White Dwarfs

abstract: We present evidence that excesses in Be in polluted white dwarfs (WDs) are the result of accretion of icy exomoons that formed in the radiation belts of giant exoplanets. Here we use excess Be in the white dwarf GALEX J2339-0424 as an example. We constrain the parent body abundances of rock-forming elements in GALEX J2339-0424 and show that the overabundance of beryllium in this WD cannot be accounted for by differences in diffusive fluxes through the WD outer envelope nor by chemical fractionations during typical rock-forming processes. We argue instead that the Be was produced by energetic proton irradiation of ice mixed with rock. We demonstrate that the MeV proton fluence required to form the high Be/O ratio in the accreted parent body is consistent with irradiation of ice in the rings of a giant planet within its radiation belt, followed by accretion of the ices to form a moon that is later accreted by the WD. The icy moons of Saturn serve as useful analogs. Our results provide an estimate of spallogenic nuclide excesses in icy moons formed by rings around giant planets in general, including those in the solar system. While excesses in Be have been detected in two polluted WDs to date, including the WD described here, we predict that excesses in the other spallogenic elements Li and B, although more difficult to detect, should also be observed, and that such detections would also indicate pollution by icy exomoons formed in the ring systems of giant planets.


title: Holographic Foam Cosmology: From the Late to the Early Universe

abstract: Quantum fluctuations endow spacetime with a foamy texture. The degree of foaminess is dictated by blackhole physics to be of the holographic type. Applied to cosmology, the holographic foam model predicts the existence of dark energy with critical energy density in the current (late) universe, the quanta of which obey infinite statistics. Furthermore we use the deep similarities between turbulence and the spacetime foam phase of strong quantum gravity to argue that the early universe was in a turbulent regime when it underwent a brief cosmic inflation with a "graceful" transition to a laminar regime. In this scenario, both the late and the early cosmic accelerations have their origins in spacetime foam.


title: Tracking the orbit of unresolved subhalos for semi-analytic models

abstract: We present a model to track the orbital evolution of "unresolved subhaloes" (USHs) in cosmological simulations. USHs are subhaloes that are no longer distinguished by halo finders as self-bound overdensities within their larger host system due to limited mass resolution. These subhaloes would host "orphan galaxies" in semi-analytic models of galaxy formation and evolution (SAMs). Predicting the evolution of the phase-space components of USHs is crucial for the adequate modelling of environmental processes, interactions and mergers implemented in SAMs that affect the baryonic properties of orphan satellites. Our model takes into account dynamical friction drag, mass loss by tidal stripping and merger with the host halo, involving three free parameters. To calibrate this model, we consider two DM-only simulations of different mass resolution (MultiDark simulations). The simulation with higher-mass resolution ({\sc smdpl}; $ m_{\rm DM} = 9.6 \times 10^7 ~ h^{-1}\,\mathrm{M_{\odot}}$) provides information about subhaloes that are not resolved in the lower-mass resolution one ({\sc mdpl2}; $ m_{\rm DM} = 1.5 \times 10^9 ~ h^{-1}\,\mathrm{M_{\odot}}$); the orbit of those USHs is tracked by our model. We use as constraining functions the subhalo mass function (SHMF) and the two-point correlation function (2PCF) obtained from {\sc smdpl}, being the latter a novel aspect of our approach. While the SHMF fails to put tight constraints on the efficiency of dynamical friction and the merger condition, the addition of clustering information helps to specify the parameters of the model related to the spatial distribution of subhaloes. Our model allows to achieve good convergence between the results of simulations of different mass resolution, with a precision better than 10 per cent for both SHMF and 2PCF.


title: Time domain analysis for electromagnetic scattering by an elastic obstacle in a two-layered medium

abstract: In this paper, we consider the scattering of a time-dependent electromagnetic wave by an elastic body immersed in the lower half-space of a two-layered background medium which is separated by an unbounded rough surface. By proposing two exact transparent boundary conditions (TBCs) on the artificial planes, we reformulate the unbounded scattering problem into an equivalent initial-boundary value problem in a strip domain with the well-posedness and stability proved using the Laplace transform, variational method and energy method. A perfectly matched layer (PML) is then introduced to truncate the interaction problem with two finite layers containing the elastic body, leading to a PML problem in a finite strip domain. We further verify the existence, uniqueness and stability estimate of solution for the PML problem. Finally, we establish the exponential convergence in terms of the thickness and parameters of the PML layers via an error estimate on the electric-to-magnetic (EtM) capacity operators between the original problem and the PML problem.


title: On Coding for an Abstracted Nanopore Channel for DNA Storage

abstract: In the emerging field of DNA storage, data is encoded as DNA sequences and stored. The data is read out again by sequencing the stored DNA. Nanopore sequencing is a new sequencing technology that has many advantages over other methods; in particular, it is cheap, portable, and can support longer reads. While several practical coding schemes have been developed for DNA storage with nanopore sequencing, the theory is not well understood. Towards that end, we study a highly abstracted (deterministic) version of the nanopore sequencer, which highlights key features that make its analysis difficult. We develop methods and theory to understand the capacity of our abstracted model, and we propose efficient coding schemes and algorithms.


title: Model Calibration via Distributionally Robust Optimization: On the NASA Langley Uncertainty Quantification Challenge

abstract: We study a methodology to tackle the NASA Langley Uncertainty Quantification Challenge, a model calibration problem under both aleatory and epistemic uncertainties. Our methodology is based on an integration of robust optimization, more specifically a recent line of research known as distributionally robust optimization, and importance sampling in Monte Carlo simulation. The main computation machinery in this integrated methodology amounts to solving sampled linear programs. We present theoretical statistical guarantees of our approach via connections to nonparametric hypothesis testing, and numerical performances including parameter calibration and downstream decision and risk evaluation tasks.


title: Determining Riemannian Manifolds From Nonlinear Wave Observations at a Single Point

abstract: We show that on an a-priori unknown Riemannian manifold $(M,g)$, measuring the source-to-solution map for the semilinear wave equation at a single point determines the topological, differential, and geometric structure.


title: Revisiting the production of $J/\psi+\eta_c$ via the $e^+e^-$ annihilation within the QCD light-cone sum rules

abstract: We make a detailed study on the typical production channel of double charmoniums, $e^+e^-\to J/\psi+\eta_c$, at the center-of-mass collision energy $\sqrt{s}=10.58$ GeV. The key component of the process is the form factor $F_{\rm VP}(q^2)$, which has been calculated within the QCD light-cone sum rules (LCSR). To improve the accuracy of the derived LCSR, we keep the $J/\psi$ light-cone distribution amplitude up to twist-4 accuracy. Total cross sections for $e^+e^-\to J/\psi+\eta_c$ at three typical factorization scales are $\sigma|_{\mu_s} = 22.53^{+3.46}_{-3.49}~{\rm fb}$, $\sigma|_{\mu_k} = 21.98^{+3.35}_{-3.38}~{\rm fb}$ and $\sigma|_{\mu_0} = 21.74^{+3.29}_{-3.33}~{\rm fb}$, respectively. The factorization scale dependence is small, and those predictions are consistent with the BABAR and Belle measurements within errors.


title: Convergence of the uniaxial PML method for time-domain electromagnetic scattering problems

abstract: In this paper, we propose and study the uniaxial perfectly matched layer (PML) method for three-dimensional time-domain electromagnetic scattering problems, which has a great advantage over the spherical one in dealing with problems involving anisotropic scatterers. The truncated uniaxial PML problem is proved to be well-posed and stable, based on the Laplace transform technique and the energy method. Moreover, the $L^2$-norm and $L^{\infty}$-norm error estimates in time are given between the solutions of the original scattering problem and the truncated PML problem, leading to the exponential convergence of the time-domain uniaxial PML method in terms of the thickness and absorbing parameters of the PML layer. The proof depends on the error analysis between the EtM operators for the original scattering problem and the truncated PML problem, which is different from our previous work (SIAM J. Numer. Anal. 58(3) (2020), 1918-1940).


title: Mortality Forecasting using Factor Models: Time-varying or Time-invariant Factor Loadings?

abstract: Many existing mortality models follow the framework of classical factor models, such as the Lee-Carter model and its variants. Latent common factors in factor models are defined as time-related mortality indices (such as $\kappa_t$ in the Lee-Carter model). Factor loadings, which capture the linear relationship between age variables and latent common factors (such as $\beta_x$ in the Lee-Carter model), are assumed to be time-invariant in the classical framework. This assumption is usually too restrictive in reality as mortality datasets typically span a long period of time. Driving forces such as medical improvement of certain diseases, environmental changes and technological progress may significantly influence the relationship of different variables. In this paper, we first develop a factor model with time-varying factor loadings (time-varying factor model) as an extension of the classical factor model for mortality modelling. Two forecasting methods to extrapolate the factor loadings, the local regression method and the naive method, are proposed for the time-varying factor model. From the empirical data analysis, we find that the new model can capture the empirical feature of time-varying factor loadings and improve mortality forecasting over different horizons and countries. Further, we propose a novel approach based on change point analysis to estimate the optimal `boundary' between short-term and long-term forecasting, which is favoured by the local linear regression and naive method, respectively. Additionally, simulation studies are provided to show the performance of the time-varying factor model under various scenarios.


title: Study on multi-fold bunch splitting in a high-intensity medium-energy proton synchrotron

abstract: Bunch splitting is an RF manipulation method of changing the bunch structure, bunch numbers and bunch intensity in the high-intensity synchrotrons that serve as the injector for a particle collider. An efficient way to realize bunch splitting is to use the combination of different harmonic RF systems, such as the two-fold bunch splitting of a bunch with a combination of fundamental harmonic and doubled harmonic RF systems. The two-fold bunch splitting and three-fold bunch splitting methods have been experimentally verified and successfully applied to the LHC/PS. In this paper, a generalized multi-fold bunch splitting method is given. The five-fold bunch splitting method using specially designed multi-harmonic RF systems was studied and tentatively applied to the medium-stage synchrotron (MSS), the third accelerator of the injector chain of the Super Proton-Proton Collider (SPPC), to mitigate the pileup effects and collective instabilities of a single bunch in the SPPC. The results show that the five-fold bunch splitting is feasible and both the bunch population distribution and longitudinal emittance growth after the splitting are acceptable, e.g., a few percent in the population deviation and less than 10% in the total emittance growth.


title: Simulation-Based Decision Making in the NFL using NFLSimulatoR

abstract: In this paper, we introduce an R software package for simulating plays and drives using play-by-play data from the National Football League. The simulations are generated by sampling play-by-play data from previous football seasons.The sampling procedure adds statistical rigor to any decisions or inferences arising from examining the simulations. We highlight that the package is particularly useful as a data-driven tool for evaluating potential in-game strategies or rule changes within the league. We demonstrate its utility by evaluating the oft-debated strategy of $\textit{going for it}$ on fourth down and investigating whether or not teams should pass more than the current standard.


title: An Investigation Between Schema Linking and Text-to-SQL Performance

abstract: Text-to-SQL is a crucial task toward developing methods for understanding natural language by computers. Recent neural approaches deliver excellent performance; however, models that are difficult to interpret inhibit future developments. Hence, this study aims to provide a better approach toward the interpretation of neural models. We hypothesize that the internal behavior of models at hand becomes much easier to analyze if we identify the detailed performance of schema linking simultaneously as the additional information of the text-to-SQL performance. We provide the ground-truth annotation of schema linking information onto the Spider dataset. We demonstrate the usefulness of the annotated data and how to analyze the current state-of-the-art neural models.


title: Polynomial approximation of piecewise analytic functions on quasi-smooth arcs

abstract: For a function $f$ that is piecewise analytic on a quasi-smooth arc $\mathcal{L}$ and any $0<\sigma<1$ we construct a sequence of "near-best" polynomials that converge at a rate $e^{-n^{\sigma}}$ at each point of analyticity of $f$ and are close to the best polynomial approximants on the whole $\mathcal{L}$. Also we give examples of quasi-smooth arcs for which convergence of "near-best" approximants at points of analiticity of $f$ is geometric, i.e. has a rate $e^{-cn}$ with some $c>0$.


title: Invariant theory for the commuting scheme of symplectic Lie algebras

abstract: We prove the Chevalley restriction theorem for the commuting scheme of symplectic Lie algebras. The key step is the construction of the inverse map of the Chevalley restriction map called the spectral data map. Along the way, we establish a certain multiplicative property of the Pfaffian which is of independent interest.


title: UPHDR-GAN: Generative Adversarial Network for High Dynamic Range Imaging with Unpaired Data

abstract: The paper proposes a method to effectively fuse multi-exposure inputs and generate high-quality high dynamic range (HDR) images with unpaired datasets. Deep learning-based HDR image generation methods rely heavily on paired datasets. The ground truth images play a leading role in generating reasonable HDR images. Datasets without ground truth are hard to be applied to train deep neural networks. Recently, Generative Adversarial Networks (GAN) have demonstrated their potentials of translating images from source domain X to target domain Y in the absence of paired examples. In this paper, we propose a GAN-based network for solving such problems while generating enjoyable HDR results, named UPHDR-GAN. The proposed method relaxes the constraint of the paired dataset and learns the mapping from the LDR domain to the HDR domain. Although the pair data are missing, UPHDR-GAN can properly handle the ghosting artifacts caused by moving objects or misalignments with the help of the modified GAN loss, the improved discriminator network and the useful initialization phase. The proposed method preserves the details of important regions and improves the total image perceptual quality. Qualitative and quantitative comparisons against the representative methods demonstrate the superiority of the proposed UPHDR-GAN.


title: Betweenness centrality illuminates intermittent frictional dynamics

abstract: Dense granular systems subjected to an imposed shear stress undergo stick-slip dynamics with systematic patterns of dilation-compaction. During each stick phase, as the frictional strength builds up, the granular system dilates to accommodate shear strain, developing stronger force networks. During each slip event, when the stored energy is released, particles experience large rearrangements and the granular network can significantly change. Here, we use numerical simulations of 3D, sheared frictional packings to show that the mean betweenness centrality -- a property of network of interparticle connections -- follows consistent patterns during the stick-slip dynamics, showing sharp spikes at each slip event. We identify the source of this behavior as arising from the connectivity and contact arrangements of granular network during dilation-compaction cycles, and find that a lower potential for connection between particles leads to an increase of mean betweenness centrality in the system. Furthermore, we show that at high confinements, few particles lose contact during slip events, leading to a smaller change in granular connectivity and betweenness centrality.


title: Organization of a Latent Space structure in VAE/GAN trained by navigation data

abstract: We present a novel artificial cognitive mapping system using generative deep neural networks, called variational autoencoder/generative adversarial network (VAE/GAN), which can map input images to latent vectors and generate temporal sequences internally. The results show that the distance of the predicted image is reflected in the distance of the corresponding latent vector after training. This indicates that the latent space is self-organized to reflect the proximity structure of the dataset and may provide a mechanism through which many aspects of cognition are spatially represented. The present study allows the network to internally generate temporal sequences that are analogous to the hippocampal replay/pre-play ability, where VAE produces only near-accurate replays of past experiences, but by introducing GANs, the generated sequences are coupled with instability and novelty.


title: Enhanced Uplink Quantum Communication with Satellites via Downlink Channels

abstract: In developing the global Quantum Internet, quantum communication with low-Earth-orbit satellites will play a pivotal role. Such communication will need to be two way: effective not only in the satellite-to-ground (downlink) channel but also in the ground-to-satellite channel (uplink). Given that losses on this latter channel are significantly larger relative to the former, techniques that can exploit the superior downlink to enhance quantum communication in the uplink should be explored. In this work we do just that - exploring how continuous variable entanglement in the form of two-mode squeezed vacuum (TMSV) states can be used to significantly enhance the fidelity of ground-to-satellite quantum-state transfer relative to direct uplink-transfer. More specifically, through detailed phase-screen simulations of beam evolution through turbulent atmospheres in both the downlink and uplink channels, we demonstrate how a TMSV teleportation channel created by the satellite can be used to dramatically improve the fidelity of uplink coherent-state transfer relative to direct transfer. We then show how this, in turn, leads to the uplink-transmission of a higher alphabet of coherent states. Additionally, we show how non-Gaussian operations acting on the received component of the TMSV state at the ground station can lead to even further enhancement. Since TMSV states can be readily produced in situ on a satellite platform and form a reliable teleportation channel for most quantum states, our work suggests future satellites forming part of the emerging Quantum Internet should be designed with uplink-communication via TMSV teleportation in mind.


title: Provably Secure Federated Learning against Malicious Clients

abstract: Federated learning enables clients to collaboratively learn a shared global model without sharing their local training data with a cloud server. However, malicious clients can corrupt the global model to predict incorrect labels for testing examples. Existing defenses against malicious clients leverage Byzantine-robust federated learning methods. However, these methods cannot provably guarantee that the predicted label for a testing example is not affected by malicious clients. We bridge this gap via ensemble federated learning. In particular, given any base federated learning algorithm, we use the algorithm to learn multiple global models, each of which is learnt using a randomly selected subset of clients. When predicting the label of a testing example, we take majority vote among the global models. We show that our ensemble federated learning with any base federated learning algorithm is provably secure against malicious clients. Specifically, the label predicted by our ensemble global model for a testing example is provably not affected by a bounded number of malicious clients. Moreover, we show that our derived bound is tight. We evaluate our method on MNIST and Human Activity Recognition datasets. For instance, our method can achieve a certified accuracy of 88% on MNIST when 20 out of 1,000 clients are malicious.


title: Simultaneous recovery of a locally rough interface and the embedded obstacle with its surrounding medium

abstract: Consider the scattering of time-harmonic point sources by an infinite locally rough interface with bounded obstacles embedded in the lower half-space. The model problem is first reduced to an equivalent integral equation formulation defined in a bounded domain, where the well-posedness is obtained in $L^p$ by the classical Fredholm theory. Then a global uniqueness theorem is proved for the inverse problem of recovering the locally rough interface, the embedded obstacles and the wave number in the lower-half space by means of near-field measurements above the interface.


title: A Distributed Active Perception Strategy for Source Seeking and Level Curve Tracking

abstract: Algorithms for multi-agent systems to locate a source or to follow a desired level curve of spatially distributed scalar fields generally require sharing field measurements among the agents for gradient estimation. Yet, in this paper, we propose a distributed active perception strategy that enables swarms of various sizes and graph structures to perform source seeking and level curve tracking without the need to explicitly estimate the field gradient or explicitly share measurements. The proposed method utilizes a consensus-like Principal Component Analysis perception algorithm that does not require explicit communication in order to compute a local body frame. This body frame is used to design a distributed control law where each agent modulates its motion based only on its instantaneous field measurement. Several stability results are obtained within a singular perturbation framework which justifies the convergence and robustness of the strategy. Additionally, efficiency is validated through various computer simulations and robots implementation in $2$-D scalar fields. The active perception strategy leverages the available local information and has the potential to be used in various applications such as modeling information propagation in biological and robotic swarms.


title: A two-dimensional stabilized discontinuous Galerkin method on curvilinear embedded boundary grids

abstract: We propose a state redistribution method for high order discontinuous Galerkin methods on curvilinear embedded boundary grids. State redistribution relaxes the overly restrictive CFL condition that results from arbitrarily small cut cells and explicit time stepping. Thus, the scheme can take time steps that are proportional to the size of cells in the background grid. The discontinuous Galerkin scheme is stabilized by postprocessing the numerical solution after each stage or step of an explicit time stepping method. This is done by temporarily merging the small cells into larger, possibly overlapping neighborhoods using a special weighted inner product. Then, the numerical solution on the neighborhoods is returned to the base grid in a conservative fashion. The advantage of this approach is that it uses only basic mesh information that is already available in many cut cell codes and does not require complex geometric manipulations. Finally, we present a number of test problems that demonstrate the encouraging potential of this technique for applications on curvilinear embedded geometries. Numerical experiments reveal that our scheme converges with order $p+1$ in $L_1$ and between $p$ and $p+1$ in $L_\infty$ for problems with smooth solutions. We also demonstrate that state redistribution is capable of capturing shocks.


title: Estimating the 3D Time Variable Water Vapor Contents of the Troposphere from a Single GNSS Receiver

abstract: We describe here a new algorithm to model the water contents of the atmosphere from GNSS slant wet delays relative to a single receiver. We first make the assumption that the water vapor contents are mainly governed by a scale height (exponential law), and secondly that the departures from this decaying exponential can be mapped as a set of low degree 3D Zernike functions (w.r.t. space) and Tchebyshev polynomials (w.r.t. time.) We give an example of inversion with data acquired over a one day time span at the Geodesy Observatory of Tahiti.


title: BiasFinder: Metamorphic Test Generation to Uncover Bias for Sentiment Analysis Systems

abstract: Artificial Intelligence (AI) software systems, such as Sentiment Analysis (SA) systems, typically learn from large amounts of data that may reflect human biases. Consequently, the machine learning model in such software systems may exhibit unintended demographic bias based on specific characteristics (e.g., gender, occupation, country-of-origin, etc.). Such biases manifest in an SA system when it predicts a different sentiment for similar texts that differ only in the characteristic of individuals described. Existing studies on revealing bias in SA systems rely on the production of sentences from a small set of short, predefined templates. To address this limitation, we present BisaFinder, an approach to discover biased predictions in SA systems via metamorphic testing. A key feature of BisaFinder is the automatic curation of suitable templates based on the pieces of text from a large corpus, using various Natural Language Processing (NLP) techniques to identify words that describe demographic characteristics. Next, BisaFinder instantiates new text from these templates by filling in placeholders with words associated with a class of a characteristic (e.g., gender-specific words such as female names, "she", "her"). These texts are used to tease out bias in an SA system. BisaFinder identifies a bias-uncovering test case when it detects that the SA system exhibits demographic bias for a pair of texts, i.e., it predicts a different sentiment for texts that differ only in words associated with a different class (e.g., male vs. female) of a target characteristic (e.g., gender). Our empirical evaluation showed that BiasFinder can effectively create a larger number of fluent and diverse test cases that uncover various biases in an SA system.


title: L2C: Describing Visual Differences Needs Semantic Understanding of Individuals

abstract: Recent advances in language and vision push forward the research of captioning a single image to describing visual differences between image pairs. Suppose there are two images, I_1 and I_2, and the task is to generate a description W_{1,2} comparing them, existing methods directly model { I_1, I_2 } -> W_{1,2} mapping without the semantic understanding of individuals. In this paper, we introduce a Learning-to-Compare (L2C) model, which learns to understand the semantic structures of these two images and compare them while learning to describe each one. We demonstrate that L2C benefits from a comparison between explicit semantic representations and single-image captions, and generalizes better on the new testing image pairs. It outperforms the baseline on both automatic evaluation and human evaluation for the Birds-to-Words dataset.


title: Factors of certain sums involving central q-binomial coefficients

abstract: Recently, Ni and Pan proved a $q$-congruence on certain sums involving central $q$-binomial coefficients, which was conjectured by Guo. In this paper, we give a generalization of this $q$-congruence and confirm another $q$-congruence, also conjectured by Guo. Our proof uses Ni and Pan's technique and a simple $q$-congruence observed by Guo and Schlosser.


title: Towards Robust Neural Networks via Close-loop Control

abstract: Despite their success in massive engineering applications, deep neural networks are vulnerable to various perturbations due to their black-box nature. Recent study has shown that a deep neural network can misclassify the data even if the input data is perturbed by an imperceptible amount. In this paper, we address the robustness issue of neural networks by a novel close-loop control method from the perspective of dynamic systems. Instead of modifying the parameters in a fixed neural network architecture, a close-loop control process is added to generate control signals adaptively for the perturbed or corrupted data. We connect the robustness of neural networks with optimal control using the geometrical information of underlying data to design the control objective. The detailed analysis shows how the embedding manifolds of state trajectory affect error estimation of the proposed method. Our approach can simultaneously maintain the performance on clean data and improve the robustness against many types of data perturbations. It can also further improve the performance of robustly trained neural networks against different perturbations. To the best of our knowledge, this is the first work that improves the robustness of neural networks with close-loop control.


title: Deep CNNs for large scale species classification

abstract: Large Scale image classification is a challenging problem within the field of computer vision. As the real world contains billions of different objects, understanding the performance of popular techniques and models is vital in order to apply them to real world tasks. In this paper, we evaluate techniques and popular CNN based deep learning architectures to perform large scale species classification on the dataset from iNaturalist 2019 Challenge. Methods utilizing dataset pruning and transfer learning are shown to outperform models trained without either of the two techniques. The ResNext based classifier outperforms other model architectures over 10 epochs and achieves a top-one validation error of 0.68 when classifying amongst the 1,010 species.


title: QuizCram: A Quiz-Driven Lecture Viewing Interface

abstract: QuizCram is an interface for navigating lecture videos that uses quizzes to help users determine what they should view. We developed it in response to observing peaks in video seeking behaviors centered around Coursera's in-video quizzes. QuizCram shows users a question to answer, with an associated video segment. Users can use these questions to navigate through video segments, and find video segments they need to review. We also allow users to review using a timeline of previously answered questions and videos. To encourage users to review the material, QuizCram keeps track of their question-answering and video-watching history and schedules sections they likely have not mastered for review. QuizCram-format materials can be generated from existing lectures with in-video quizzes. Our user study comparing QuizCram to in-video quizzes found that users practice answering and reviewing questions more when using QuizCram, and are better able to remember answers to questions they encountered.


title: Edvertisements: Adding Microlearning to Social News Feeds and Websites

abstract: Many long-term goals, such as learning a language, require people to regularly practice every day to achieve mastery. At the same time, people regularly surf the web and read social news feeds in their spare time. We have built a browser extension that teaches vocabulary to users in the context of Facebook feeds and arbitrary websites, by showing users interactive quizzes they can answer without leaving the website. On Facebook, the quizzes show up as part of the news feed, while on other sites, the quizzes appear where advertisements normally would. In our user study, we examined the effectiveness of inserting microlearning tasks into social news feeds. We compared vocabulary learning rates when we inserted interactive quizzes into feeds, versus inserting links that lead them to a website where they could do the quizzes. Our results suggest that users engage with and learn from our embedded quizzes, and engagement increases when the quizzes can be done directly within their feeds.


title: Aspects of $(d+D)$-dimensional Anisotropic Conformal Gravity

abstract: We discuss various aspects of anisotropic gravity in $(d+D)$-dimensional spacetime where $D$ dimensions are treated as extra dimensions. It is based on the foliation preserving diffeomorphism invariance and anisotropic conformal invariance. The anisotropy is embodied by introducing a factor $z$ which discriminates the scaling degree of the extra $D$ dimensions against the $d$-dimensional base spacetime and Weyl scalar field which mediates the anisotropic scaling symmetry. There is no intrinsic scale but a physical scale $M_*$ emerges as a consequence of spontaneous conformal symmetry breaking. Some vacuum solutions are obtained and we discuss an issue of `size separation' between the base spacetime and the extra dimensions. The size separation means large hierarchy between the scales appearing in the base spacetime and the extra dimensions respectively. We also discuss interesting theories obtained from our model. In the case of (4,1), we propose a resolution of hierarchy problem and discuss comparison with the results of the brane-world model. In a $(d,D)=(2,2)$ case, we suggest a UV-complete unitary quantum gravity which might become Einstein gravity in IR. In a certain (2,1) case, we obtain CGHS-model.


title: Impact of Data Processing on Fairness in Supervised Learning

abstract: We study the impact of pre and post processing for reducing discrimination in data-driven decision makers. We first analyze the fundamental trade-off between fairness and accuracy in a pre-processing approach, and propose a design for a pre-processing module based on a convex optimization program, which can be added before the original classifier. This leads to a fundamental lower bound on attainable discrimination, given any acceptable distortion in the outcome. Furthermore, we reformulate an existing post-processing method in terms of our accuracy and fairness measures, which allows comparing post-processing and pre-processing approaches. We show that under some mild conditions, pre-processing outperforms post-processing. Finally, we show that by appropriate choice of the discrimination measure, the optimization problem for both pre and post processing approaches will reduce to a linear program and hence can be solved efficiently.


title: Causal Collaborative Filtering

abstract: Many of the traditional recommendation algorithms are designed based on the fundamental idea of mining or learning correlative patterns from data to estimate the user-item correlative preference. However, pure correlative learning may lead to Simpson's paradox in predictions, and thus results in sacrificed recommendation performance. Simpson's paradox is a well-known statistical phenomenon, which causes confusions in statistical conclusions and ignoring the paradox may result in inaccurate decisions. Fortunately, causal and counterfactual modeling can help us to think outside of the observational data for user modeling and personalization so as to tackle such issues. In this paper, we propose Causal Collaborative Filtering (CCF) -- a general framework for modeling causality in collaborative filtering and recommendation. We provide a unified causal view of CF and mathematically show that many of the traditional CF algorithms are actually special cases of CCF under simplified causal graphs. We then propose a conditional intervention approach for $do$-operations so that we can estimate the user-item causal preference based on the observational data. Finally, we further propose a general counterfactual constrained learning framework for estimating the user-item preferences. Experiments are conducted on two types of real-world datasets -- traditional and randomized trial data -- and results show that our framework can improve the recommendation performance and reduce the Simpson's paradox problem of many CF algorithms.


title: Kinetic magnetoelectric effect in topological insulators

abstract: The kinetic magnetoelectric effect is an orbital analogue of the Edelstein effect and offers an additional degree of freedom to control magnetisation via the charge current. Here we theoretically propose a gigantic kinetic magnetoelectric effect in topological insulators and interpret the results in terms of topological surface currents. We construct a theory of the kinetic magnetoelectric effect for a surface Hamiltonian of a topological insulator, and show that it well describes the results by direct numerical calculation. This kinetic magnetoelectric effect depends on the details of the surface, meaning that it cannot be defined as a bulk quantity. We propose that Chern insulators and Z_2 topological insulators can be a platform with a large kinetic magnetoelectric effect, compared to metals by 5 - 8 orders of magnitude, because the current flows only along the surface. We demonstrate the presence of said effect in a topological insulator, identifying Cu$_2$ZnSnSe$_4$ as a potential candidate.


title: Australian Square Kilometre Array Pathfinder: I. System Description

abstract: In this paper we describe the system design and capabilities of the Australian Square Kilometre Array Pathfinder (ASKAP) radio telescope at the conclusion of its construction project and commencement of science operations. ASKAP is one of the first radio telescopes to deploy phased array feed (PAF) technology on a large scale, giving it an instantaneous field of view that covers 31 square degrees at 800 MHz. As a two-dimensional array of 36x12m antennas, with baselines ranging from 22m to 6km, ASKAP also has excellent snapshot imaging capability and 10 arcsecond resolution. This, combined with 288 MHz of instantaneous bandwidth and a unique third axis of rotation on each antenna, gives ASKAP the capability to create high dynamic range images of large sky areas very quickly. It is an excellent telescope for surveys between 700 MHz and 1800 MHz and is expected to facilitate great advances in our understanding of galaxy formation, cosmology and radio transients while opening new parameter space for discovery of the unknown.


title: Generation of quasi-monoenergetic positron beams in chirped laser fields

abstract: High energy photons can decay to electron-positron pairs via the nonlinear Breit-Wheeler process when colliding with an intense laser pulse. The energy spectrum of the produced particles is broadened because of the variation of their effective mass in the course of the laser pulse. Applying a suitable chirp to the laser pulse can narrow the energy distribution of the generated electrons and positrons. We present a scenario where a high-energy electron beam is collided with a chirped laser pulse to generate a beam of quasi-monoenergetic $\gamma$-photons, which then decay in a second chirped, UV pulse to produce a quasi-monoenergetic source of high-energy electrons and positrons.


title: Parton collisional effect on the conversion of geometry eccentricities into momentum anisotropies in relativistic heavy-ion collisions

abstract: We explore parton collisional effects on the conversion of geometry eccentricities into azimuthal anisotropies in Pb+Pb collisions at $\sqrt{s_{NN}}$ = 5.02 TeV using a multi-phase transport model. The initial eccentricity $\varepsilon_{n}$ (n = 2,3) and flow harmonics $v_{n}$ (n = 2,3) are investigated as a function of the number of parton collisions ($N_{coll}$) during the source evolution of partonic phase. It is found that partonic collisions leads to generate elliptic flow $v_{2}$ and triangular flow $v_{3}$ in Pb+Pb collisions. On the other hand, partonic collisions also result in an evolution of the eccentricity of geometry. The collisional effect on the flow conversion efficiency is therefore studied. We find that the partons with larger $N_{coll}$ show a lower flow conversion efficiency, which reflect differential behaviors with respect to $N_{coll}$. It provides an additional insight into the dynamics of the space-momentum transformation during the QGP evolution from a transport model point of view.


title: Edge-Detect: Edge-centric Network Intrusion Detection using Deep Neural Network

abstract: Edge nodes are crucial for detection against multitudes of cyber attacks on Internet-of-Things endpoints and is set to become part of a multi-billion industry. The resource constraints in this novel network infrastructure tier constricts the deployment of existing Network Intrusion Detection System with Deep Learning models (DLM). We address this issue by developing a novel light, fast and accurate 'Edge-Detect' model, which detects Distributed Denial of Service attack on edge nodes using DLM techniques. Our model can work within resource restrictions i.e. low power, memory and processing capabilities, to produce accurate results at a meaningful pace. It is built by creating layers of Long Short-Term Memory or Gated Recurrent Unit based cells, which are known for their excellent representation of sequential data. We designed a practical data science pipeline with Recurring Neural Network to learn from the network packet behavior in order to identify whether it is normal or attack-oriented. The model evaluation is from deployment on actual edge node represented by Raspberry Pi using current cybersecurity dataset (UNSW2015). Our results demonstrate that in comparison to conventional DLM techniques, our model maintains a high testing accuracy of 99% even with lower resource utilization in terms of cpu and memory. In addition, it is nearly 3 times smaller in size than the state-of-art model and yet requires a much lower testing time.


title: Learning to identify image manipulations in scientific publications

abstract: Adherence to scientific community standards ensures objectivity, clarity, reproducibility, and helps prevent bias, fabrication, falsification, and plagiarism. To help scientific integrity officers and journal/publisher reviewers monitor if researchers stick with these standards, it is important to have a solid procedure to detect duplication as one of the most frequent types of manipulation in scientific papers. Images in scientific papers are used to support the experimental description and the discussion of the findings. Therefore, in this work we focus on detecting the duplications in images as one of the most important parts of a scientific paper. We propose a framework that combines image processing and deep learning methods to classify images in the articles as duplicated or unduplicated ones. We show that our method leads to a 90% accuracy rate of detecting duplicated images, a ~ 13% improvement in detection accuracy in comparison to other manipulation detection methods. We also show how effective the pre-processing steps are by comparing our method to other state-of-art manipulation detectors which lack these steps.


title: AHAR: Adaptive CNN for Energy-efficient Human Activity Recognition in Low-power Edge Devices

abstract: Human Activity Recognition (HAR) is one of the key applications of health monitoring that requires continuous use of wearable devices to track daily activities. This paper proposes an Adaptive CNN for energy-efficient HAR (AHAR) suitable for low-power edge devices. Unlike traditional early exit architecture that makes the exit decision based on classification confidence, AHAR proposes a novel adaptive architecture that uses an output block predictor to select a portion of the baseline architecture to use during the inference phase. Experimental results show that traditional early exit architectures suffer from performance loss whereas our adaptive architecture provides similar or better performance as the baseline one while being energy-efficient. We validate our methodology in classifying locomotion activities from two datasets- Opportunity and w-HAR. Compared to the fog/cloud computing approaches for the Opportunity dataset, our baseline and adaptive architecture shows a comparable weighted F1 score of 91.79%, and 91.57%, respectively. For the w-HAR dataset, our baseline and adaptive architecture outperforms the state-of-the-art works with a weighted F1 score of 97.55%, and 97.64%, respectively. Evaluation on real hardware shows that our baseline architecture is significantly energy-efficient (422.38x less) and memory-efficient (14.29x less) compared to the works on the Opportunity dataset. For the w-HAR dataset, our baseline architecture requires 2.04x less energy and 2.18x less memory compared to the state-of-the-art work. Moreover, experimental results show that our adaptive architecture is 12.32% (Opportunity) and 11.14% (w-HAR) energy-efficient than our baseline while providing similar (Opportunity) or better (w-HAR) performance with no significant memory overhead.


title: Deep Reinforcement Learning-based Task Offloading in Satellite-Terrestrial Edge Computing Networks

abstract: In remote regions (e.g., mountain and desert), cellular networks are usually sparsely deployed or unavailable. With the appearance of new applications (e.g., industrial automation and environment monitoring) in remote regions, resource-constrained terminals become unable to meet the latency requirements. Meanwhile, offloading tasks to urban terrestrial cloud (TC) via satellite link will lead to high delay. To tackle above issues, Satellite Edge Computing architecture is proposed, i.e., users can offload computing tasks to visible satellites for executing. However, existing works are usually limited to offload tasks in pure satellite networks, and make offloading decisions based on the predefined models of users. Besides, the runtime consumption of existing algorithms is rather high. In this paper, we study the task offloading problem in satellite-terrestrial edge computing networks, where tasks can be executed by satellite or urban TC. The proposed Deep Reinforcement learning-based Task Offloading (DRTO) algorithm can accelerate learning process by adjusting the number of candidate locations. In addition, offloading location and bandwidth allocation only depend on the current channel states. Simulation results show that DRTO achieves near-optimal offloading cost performance with much less runtime consumption, which is more suitable for satellite-terrestrial network with fast fading channel.


title: A one-dimensional flow model enhanced by machine learning for simulation of vocal fold vibration

abstract: We describe a one-dimensional (1D) unsteady and viscous flow model that is derived from the momentum and mass conservation equations, and to enhance this physics-based model, we use a machine learning approach to determine the unknown modeling parameters. Specifically, we first construct an idealized larynx model and perform ten cases of three-dimensional (3D) fluid--structure interaction (FSI) simulations. The flow data are then extracted to train the 1D flow model using a sparse identification approach for nonlinear dynamical systems. As a result of training, we obtain the analytical expressions for the entrance effect and pressure loss in the glottis, which are then incorporated in the flow model to conveniently handle different glottal shapes due to vocal fold vibration. We apply the enhanced 1D flow model in the FSI simulation of both idealized vocal fold geometries and subject-specific anatomical geometries reconstructed from the MRI images of rabbits' larynges. The 1D flow model is evaluated in both of these setups and is shown to have robust performance. Therefore, it provides a fast simulation tool superior to the previous 1D models.


title: Lightweight authenticated quantum key distribution protocols with key recycling

abstract: Quantum key distribution (QKD) has been developed for decades and several different QKD protocols have been proposed. But two difficulties limit the implementation of most QKD protocols. First, the involved participants are required to have heavy quantum capabilities, such as quantum joint operation, quantum register, and so on. Second, a hypothetical authenticated classical channel is used in most of the existing QKD protocols and this assumed channel does not exist in reality. To solve both the above limitations at the same time, this study proposes three lightweight authenticated QKD protocols with key recycling and shows these proposed protocols are robust under the collective attack.


title: Energy-entropy relation for asymptotically Lifshitz spacetimes with universal horizons

abstract: We numerically solve for 2+1 asymptotically Lifshitz universal horizon solutions in Horava-Lifshitz gravity for dynamical exponents $z=2$ through $z=8$. We find that for all $z$ there is a thermodynamical first law and Smarr formula. Furthermore, we find that the energy-entropy relation expected for a thermal state in a two dimensional Lifshitz field theory, $E=\frac{2}{z+2}TS$, is also satisfied for universal horizons, including the correct $z$ scaling.


title: High-throughput discovery of novel cubic crystal materials using deep generative neural networks

abstract: High-throughput screening has become one of the major strategies for the discovery of novel functional materials. However, its effectiveness is severely limited by the lack of quantity and diversity of known materials deposited in the current materials repositories such as ICSD and OQMD. Recent progress in machine learning and especially deep learning have enabled a generative strategy that learns implicit chemical rules for creating chemically valid hypothetical materials with new compositions and structures. However, current materials generative models have difficulty in generating structurally diverse, chemically valid, and stable materials. Here we propose CubicGAN, a generative adversarial network (GAN) based deep neural network model for large scale generation of novel cubic crystal structures. When trained on 375,749 ternary crystal materials from the OQMD database, we show that our model is able to not only rediscover most of the currently known cubic materials but also generate hypothetical materials of new structure prototypes. A total of 506 such new materials (all of them are either ternary or quarternary) have been verified by DFT based phonon dispersion stability check, several of which have been found to potentially have exceptional functional properties. Considering the importance of cubic materials in wide applications such as solar cells and lithium batteries, our GAN model provides a promising approach to significantly expand the current repository of materials, enabling the discovery of new functional materials via screening. The new crystal structures finally verified by DFT are freely accessible at our Carolina Materials Database http://www.carolinamatdb.org.


title: Analysis and Design of Analog Fountain Codes for Short Packet Communications

abstract: In this paper, we focus on the design and analysis of the Analog Fountain Code (AFC) for short packet communications. We first propose a density evolution (DE) based framework, which tracks the evolution of the probability density function of the messages exchanged between variable and check nodes of AFC in the belief propagation decoder. Using the proposed DE framework, we formulate an optimisation problem to find the optimal AFC code parameters, including the weight-set, which minimises the bit error rate at a given signal-to-noise ratio (SNR). Our results show the superiority of our AFC code design compared to existing designs of AFC in the literature and thus the validity of the proposed DE framework in the asymptotically long block length regime. We then focus on selecting the precoder to improve the performance of AFC at short block lengths. Simulation results show that lower precode rates obtain better realised rates over a wide SNR range for short information block lengths. We also discuss the complexity of the AFC decoder and propose a threshold-based decoder to reduce the complexity.


title: Evaluation of Point Pattern Features for Anomaly Detection of Defect within Random Finite Set Framework

abstract: Defect detection in the manufacturing industry is of utmost importance for product quality inspection. Recently, optical defect detection has been investigated as an anomaly detection using different deep learning methods. However, the recent works do not explore the use of point pattern features, such as SIFT for anomaly detection using the recently developed set-based methods. In this paper, we present an evaluation of different point pattern feature detectors and descriptors for defect detection application. The evaluation is performed within the random finite set framework. Handcrafted point pattern features, such as SIFT as well as deep features are used in this evaluation. Random finite set-based defect detection is compared with state-of-the-arts anomaly detection methods. The results show that using point pattern features, such as SIFT as data points for random finite set-based anomaly detection achieves the most consistent defect detection accuracy on the MVTec-AD dataset.


title: Effect of stress on cardiorespiratory synchronization of Ironmen athletes

abstract: The aim of this paper is to investigate the cardiorespiratory synchronization in athletes subjected to extreme physical stress combined with a cognitive stress tasks. ECG and respiration were measured in 14 athletes before and after the Ironmen competition. Stroop test was applied between the measurements before and after the Ironmen competition to induce cognitive stress. Synchrogram and empirical mode decomposition analysis were used for the first time to investigate the effects of physical stress, induced by the Ironmen competition, on the phase synchronization of the cardiac and respiratory systems of Ironmen athletes before and after the competition. A cognitive stress task (Stroop test) was performed both pre- and post-Ironman event in order to prevent the athletes from cognitively controlling their breathing rates. Our analysis showed that cardiorespiratory synchronization increased post-Ironman race compared to pre-Ironman. The results suggest that the amount of stress the athletes are recovering from post-competition is greater than the effects of the Stroop test. This indicates that the recovery phase after the competition is more important for restoring and maintaining homeostasis, which could be another reason for stronger synchronization.


title: DQN-Based Multi-User Power Allocation for Hybrid RF/VLC Networks

abstract: In this paper, a Deep Q-Network (DQN) based multi-agent multi-user power allocation algorithm is proposed for hybrid networks composed of radio frequency (RF) and visible light communication (VLC) access points (APs). The users are capable of multihoming, which can bridge RF and VLC links for accommodating their bandwidth requirements. By leveraging a non-cooperative multi-agent DQN algorithm, where each AP is an agent, an online power allocation strategy is developed to optimize the transmit power for providing users' required data rate. Our simulation results demonstrate that DQN's median convergence time training is 90% shorter than the Q-Learning (QL) based algorithm. The DQN-based algorithm converges to the desired user rate in half duration on average while converging with the rate of 96.1% compared to the QL-based algorithm's convergence rate of 72.3% Additionally, thanks to its continuous state-space definition, the DQN-based power allocation algorithm provides average user data rates closer to the target rates than the QL-based algorithm when it converges.


title: Constraints on New Physics in the Electron g-2 from a Search for Invisible Decays of a Scalar, Pseudoscalar, Vector, and Axial Vector

abstract: We performed a search for a new generic $X$ boson, which could be a scalar ($S$), pseudoscalar ($P$), vector ($V$) or an axial vector ($A$) particle produced in the 100 GeV electron scattering off nuclei, $e^- Z \to e^- Z X$, followed by its invisible decay in the NA64 experiment at CERN. No evidence for such process was found in the full NA64 data set of $2.84\times 10^{11}$ electrons on target. We place new bounds on the $S, P, V, A$ coupling strengths to electrons, and set constraints on their contributions to the electron anomalous magnetic moment $a_e$, $|\Delta a_{X}| \lesssim 10^{-15} - 10^{-13}$ for the $X$ mass region $m_X\lesssim 1$ GeV. These results are an order of magnitude more sensitive compared to the current accuracy on $a_e$ from the electron $g-2$ experiments and recent high-precision determination of the fine structure constant.


title: Learning Diverse-Structured Networks for Adversarial Robustness

abstract: In adversarial training (AT), the main focus has been the objective and optimizer while the model has been less studied, so that the models being used are still those classic ones in standard training (ST). Classic network architectures (NAs) are generally worse than searched NAs in ST, which should be the same in AT. In this paper, we argue that NA and AT cannot be handled independently, since given a dataset, the optimal NA in ST would be no longer optimal in AT. That being said, AT is time-consuming itself; if we directly search NAs in AT over large search spaces, the computation will be practically infeasible. Thus, we propose a diverse-structured network (DS-Net), to significantly reduce the size of the search space: instead of low-level operations, we only consider predefined atomic blocks, where an atomic block is a time-tested building block like the residual block. There are only a few atomic blocks and thus we can weight all atomic blocks rather than find the best one in a searched block of DS-Net, which is an essential trade-off between exploring diverse structures and exploiting the best structures. Empirical results demonstrate the advantages of DS-Net, i.e., weighting the atomic blocks.


title: Llama: A Heterogeneous & Serverless Framework for Auto-Tuning Video Analytics Pipelines

abstract: The proliferation of camera-enabled devices and large video repositories has led to a diverse set of video analytics applications. These applications rely on video pipelines, represented as DAGs of operations, to transform videos, process extracted metadata, and answer questions like, "Is this intersection congested?" The latency and resource efficiency of pipelines can be optimized using configurable knobs for each operation (e.g., sampling rate, batch size, or type of hardware used). However, determining efficient configurations is challenging because (a) the configuration search space is exponentially large, and (b) the optimal configuration depends on users' desired latency and cost targets, (c) input video contents may exercise different paths in the DAG and produce a variable amount intermediate results. Existing video analytics and processing systems leave it to the users to manually configure operations and select hardware resources. We present Llama: a heterogeneous and serverless framework for auto-tuning video pipelines. Given an end-to-end latency target, Llama optimizes for cost efficiency by (a) calculating a latency target for each operation invocation, and (b) dynamically running a cost-based optimizer to assign configurations across heterogeneous hardware that best meet the calculated per-invocation latency target. This makes the problem of auto-tuning large video pipelines tractable and allows us to handle input-dependent behavior, conditional branches in the DAG, and execution variability. We describe the algorithms in Llama and evaluate it on a cloud platform using serverless CPU and GPU resources. We show that compared to state-of-the-art cluster and serverless video analytics and processing systems, Llama achieves 7.8x lower latency and 16x cost reduction on average.


title: PCT Theorem, Wightman Axioms and Conformal Bootstrap

abstract: The axiomatic Wightman formulation for nonderivative conformal field theory is adopted to derive conformal bootstrap equation for the four point function. The equivalence between PCT theorem and {\it weak local commutativity}, due to Jost, play a very crucial role in axiomatic field theory. The theorem is suitably adopted for conformal field theory to derive the desired equations in CFT. We demonstrate that the two Wightman functions are analytic continuation of each other.


title: Multi-Instance Learning by Utilizing Structural Relationship among Instances

abstract: Multi-Instance Learning(MIL) aims to learn the mapping between a bag of instances and the bag-level label. Therefore, the relationships among instances are very important for learning the mapping. In this paper, we propose an MIL algorithm based on a graph built by structural relationship among instances within a bag. Then, Graph Convolutional Network(GCN) and the graph-attention mechanism are used to learn bag-embedding. In the task of medical image classification, our GCN-based MIL algorithm makes full use of the structural relationships among patches(instances) in an original image space domain, and experimental results verify that our method is more suitable for handling medical high-resolution images. We also verify experimentally that the proposed method achieves better results than previous methods on five bechmark MIL datasets and four medical image datasets.