title: Langevin Dynamics for Adaptive Inverse Reinforcement Learning of Stochastic Gradient Algorithms

abstract: Inverse reinforcement learning (IRL) aims to estimate the reward function of optimizing agents by observing their response (estimates or actions). This paper considers IRL when noisy estimates of the gradient of a reward function generated by multiple stochastic gradient agents are observed. We present a generalized Langevin dynamics algorithm to estimate the reward function $R(\theta)$; specifically, the resulting Langevin algorithm asymptotically generates samples from the distribution proportional to $\exp(R(\theta))$. The proposed IRL algorithms use kernel-based passive learning schemes. We also construct multi-kernel passive Langevin algorithms for IRL which are suitable for high dimensional data. The performance of the proposed IRL algorithms are illustrated on examples in adaptive Bayesian learning, logistic regression (high dimensional problem) and constrained Markov decision processes. We prove weak convergence of the proposed IRL algorithms using martingale averaging methods. We also analyze the tracking performance of the IRL algorithms in non-stationary environments where the utility function $R(\theta)$ jump changes over time as a slow Markov chain.


title: Electroosmotic flow in small-scale channels induced by surface-acoustic waves

abstract: Numerical simulations of the Navier-Stokes, Nernst-Planck, and the Poisson equations are employed to describe the transport processes in an aqueous electrolyte in a parallel-plate nanochannel, where surface-acoustic waves (SAWs) are standing or traveling along (piezo-active) channel walls. It is found that -- in addition to the conventional acoustic streaming flow -- a time-averaged electroosmotic flow is induced. Employing the stream function-vorticity formulation, it is shown that the Maxwell stress term causes an electroosmotic propulsion that is qualitatively identical to the one discussed in the context of alternating current (AC) electroosmosis (EOF). Differences arise mainly due to the high actuation frequencies of SAWs, which are in the MHz range rather than in the kHz regime typical for ACEOF. Moreover, the instantaneous spatial periodicity of the EOF in the travel direction of the SAW is intrinsically linked to the dispersion relation of the latter rather than a free geometric parameter. This leads to a specific frequency band where an EOF of sizable magnitude can be found. On the low frequency end, the ratio between the electric double layer (EDL) thickness and the SAW wavelength becomes extremely small so that the net force leading to a non-vanishing time-averaged flow becomes equally small. On the high frequency end, the RC time of the EDL is much larger than the inverse of the SAW frequency leading to a vanishing effective charge density of the EDL. For a parallel-plate channel, the EOF can be maximized by using two SAWs on both channel walls that have the same frequency but are phase-shifted by $180^\circ$. It appears that the SAW-EOF is the dominant pumping mechanism for such a scenario. The proposed actuation might be a viable alternative for driving liquid electrolytes through narrow ducts and channels, without the need for electric interconnects and electrodes.


title: Statistical Frameworks for Oncology Dose-Finding Designs with Late-Onset Toxicities: A Review

abstract: In oncology dose-finding trials, due to staggered enrollment, it might be desirable to make dose-assignment decisions in real-time in the presence of pending toxicity outcomes, for example, when the dose-limiting toxicity is late-onset. Patients' time-to-event information may be utilized to facilitate such decisions. We review statistical frameworks for time-to-event modeling in dose-finding trials and summarize existing designs into two classes: TITE designs and POD designs. TITE designs are based on inference on toxicity probabilities, while POD designs are based on inference on dose-finding decisions. These two classes of designs contain existing individual designs as special cases and also give rise to new designs. We discuss and study the theoretical properties of these designs, including large-sample convergence properties, coherence principles, and the underlying decision rules. To facilitate the use of these designs in practice, we introduce efficient computational algorithms and review common practical considerations, such as safety rules and suspension rules. Finally, the operating characteristics of several designs are evaluated and compared through computer simulations.


title: Asymptotically Optimal Exact Minibatch Metropolis-Hastings

abstract: Metropolis-Hastings (MH) is a commonly-used MCMC algorithm, but it can be intractable on large datasets due to requiring computations over the whole dataset. In this paper, we study minibatch MH methods, which instead use subsamples to enable scaling. We observe that most existing minibatch MH methods are inexact (i.e. they may change the target distribution), and show that this inexactness can cause arbitrarily large errors in inference. We propose a new exact minibatch MH method, TunaMH, which exposes a tunable trade-off between its batch size and its theoretically guaranteed convergence rate. We prove a lower bound on the batch size that any minibatch MH method must use to retain exactness while guaranteeing fast convergence-the first such bound for minibatch MH-and show TunaMH is asymptotically optimal in terms of the batch size. Empirically, we show TunaMH outperforms other exact minibatch MH methods on robust linear regression, truncated Gaussian mixtures, and logistic regression.


title: On the growth of $\mu$-invariant in Iwasawa theory of supersingular Elliptic curves

abstract: In this article, we provide a relation between the $\mu$-invariants of the dual plus and minus Selmer groups for supersingular elliptic curves when we ascend from the cyclotomic $\mathbb{Z}_p$-extension to a $\mathbb{Z}_p^2$-extension over an imaginary quadratic field. Furthermore we show that the supersingular $\mathfrak{M}_H(G)$-conjecture is equivalent to the fact that the $\mu$-invariants doesn't change as we go up the tower.


title: Entropic Risk Constrained Soft-Robust Policy Optimization

abstract: Having a perfect model to compute the optimal policy is often infeasible in reinforcement learning. It is important in high-stakes domains to quantify and manage risk induced by model uncertainties. Entropic risk measure is an exponential utility-based convex risk measure that satisfies many reasonable properties. In this paper, we propose an entropic risk constrained policy gradient and actor-critic algorithms that are risk-averse to the model uncertainty. We demonstrate the usefulness of our algorithms on several problem domains.


title: A Forward Multiparticle Spectrometer for the LHC: Hadron spectra and Long-lived particle search

abstract: I describe a possible Forward Multiparticle Spectrometer (FMS) that could be installed downstream of the superconducting recombination dipole D1 in Run 4, from z = 96 m - 126 m to measure multi-TeV hadron spectra in low luminosity p + p collisions at Rt(s) = 14 TeV, as well as p + O and O + O collisions as relevant for cosmic ray showers. Light antinuclei and charmed hadrons at high Feynman xF can be measured, both of importance for astrophysics. At the full high luminosity HL-LHC a search for new long-lived neutral particles (LLPs) decaying in a 20 m long, 70 cm diameter vacuum pipe to visible decay modes (including gamma+gamma, e+e-, mu+mu-, tau+tau-, ccbar and jets) can be made. The FMS is especially well suited for LLPs with 1 GeV < M(X)< 10 GeV and lifetimes c.tau from about 10 m to several km. I discuss this as a possible addition to CMS but it has no formal approval yet, therefore the talk is not given on behalf of CMS.


title: Gasdynamic Flow Control by Superfast Local Heating in a Strongly Nonequilibrium Pulse Plasma

abstract: Paper presents a review of modern works on the gasdynamic flow control using a heat release in highly nonequilibrium pulsed plasma. The major attention is paid to the effects based on ultrafast (on nanosecond time scale at atmospheric pressure) local heating of the gas, since at present the main successes in high-speed flow control using gas discharges are associated with namely this thermal effect. The physical mechanisms that control the interaction of the discharges with gas flows are considered in detail. The first part of the review briefly describes the most popular approaches in plasma aerodynamics for the pulsed localized energy deposition: nanosecond surface barrier discharges, pulsed spark discharges, and nanosecond/femtosecond laser discharges. The mechanisms of ultrafast heating of air at high electric fields realized in these discharges, as well as during the decay of a discharge plasma, are analyzed. The second part of the review contains numerous examples of plasma control of gasdynamic flows. The control of the shock waves configuration in front of a supersonic object and control of its trajectory; the control of quasistationary separated flows and layers; the control of a laminar-turbulent transition; the control of static and dynamic separation of the boundary layer at large angles of attack; as well as the operation of plasma actuators in various weather conditions; and the use of plasma as an anti-icing tool for flying objects are analyzed.


title: Electrical detection of the inverse Edelstein effect on the surface of SmB$_6$

abstract: We report the measurement of spin current induced charge accumulation, the inverse Edelstein effect (IEE), on the surface of a candidate topological Kondo insulator SmB6 single crystal. Robust surface conduction channel of SmB6 has been shown to exhibit large degree of spin-momentum locking, and spin polarized current through an external ferromagnetic contact induces the spin dependent charge accumulation on the surface of SmB6. The dependences of the IEE signal on the bias current, an external magnetic field direction and temperature are consistent with the anticlockwise spin texture for the surface band in SmB6 in the momentum space, and the direction and magnitude of the effect compared with the normal Edelstein signal are clearly explained by the Onsager reciprocal relation. Furthermore, we estimate spin-to-charge conversion efficiency, the IEE length, as 4.46 nm that is an order of magnitude larger than the efficiency found in other typical Rashba interfaces, implying that the Rashba contribution to the IEE signal could be small. Building upon existing reports on the surface charge and spin conduction nature on this material, our results provide additional evidence that the surface of SmB6 supports spin polarized conduction channel.


title: Reinforcement Learning for Mean Field Games with Strategic Complementarities

abstract: Mean Field Games (MFG) are the class of games with a very large number of agents and the standard equilibrium concept is a Mean Field Equilibrium (MFE). Algorithms for learning MFE in dynamic MFGs are unknown in general. Our focus is on an important subclass that possess a monotonicity property called Strategic Complementarities (MFG-SC). We introduce a natural refinement to the equilibrium concept that we call Trembling-Hand-Perfect MFE (T-MFE), which allows agents to employ a measure of randomization while accounting for the impact of such randomization on their payoffs. We propose a simple algorithm for computing T-MFE under a known model. We also introduce a model-free and a model-based approach to learning T-MFE and provide sample complexities of both algorithms. We also develop a fully online learning scheme that obviates the need for a simulator. Finally, we empirically evaluate the performance of the proposed algorithms via examples motivated by real-world applications.


title: To Explain or Not to Explain: A Study on the Necessity of Explanations for Autonomous Vehicles

abstract: Explainable AI, in the context of autonomous systems, like self-driving cars, has drawn broad interests from researchers. Recent studies have found that providing explanations for autonomous vehicles' actions has many benefits (e.g., increased trust and acceptance), but put little emphasis on when an explanation is needed and how the content of explanation changes with driving context. In this work, we investigate which scenarios people need explanations and how the critical degree of explanation shifts with situations and driver types. Through a user experiment, we ask participants to evaluate how necessary an explanation is and measure the impact on their trust in self-driving cars in different contexts. Moreover, we present a self-driving explanation dataset with first-person explanations and associated measures of the necessity for 1103 video clips, augmenting the Berkeley Deep Drive Attention dataset. Our research reveals that driver types and driving scenarios dictate whether an explanation is necessary. In particular, people tend to agree on the necessity for near-crash events but hold different opinions on ordinary or anomalous driving situations.


title: An Empirical Process Approach to the Union Bound: Practical Algorithms for Combinatorial and Linear Bandits

abstract: This paper proposes near-optimal algorithms for the pure-exploration linear bandit problem in the fixed confidence and fixed budget settings. Leveraging ideas from the theory of suprema of empirical processes, we provide an algorithm whose sample complexity scales with the geometry of the instance and avoids an explicit union bound over the number of arms. Unlike previous approaches which sample based on minimizing a worst-case variance (e.g. G-optimal design), we define an experimental design objective based on the Gaussian-width of the underlying arm set. We provide a novel lower bound in terms of this objective that highlights its fundamental role in the sample complexity. The sample complexity of our fixed confidence algorithm matches this lower bound, and in addition is computationally efficient for combinatorial classes, e.g. shortest-path, matchings and matroids, where the arm sets can be exponentially large in the dimension. Finally, we propose the first algorithm for linear bandits in the the fixed budget setting. Its guarantee matches our lower bound up to logarithmic factors.


title: Digital personal health libraries: a systematic literature review

abstract: Objective: This paper gives context on recent literature regarding the development of digital personal health libraries (PHL) and provides insights into the potential application of consumer health informatics in diverse clinical specialties. Materials and Methods: A systematic literature review was conducted following the Preferred Reporting Items for Systematic Reviews and Meta-Analyses (PRISMA) statement. Here, 2,850 records were retrieved from PubMed and EMBASE in March 2020 using search terms: personal, health, and library. Information related to the health topic, target population, study purpose, library function, data source, data science method, evaluation measure, and status were extracted from each eligible study. In addition, knowledge discovery methods, including co-occurrence analysis and multiple correspondence analysis, were used to explore research trends of PHL. Results: After screening, this systematic review focused on a dozen articles related to PHL. These encompassed health topics such as infectious diseases, congestive heart failure, electronic prescribing. Data science methods included relational database, information retrieval technology, ontology construction technology. Evaluation measures were heterogeneous regarding PHL functions and settings. At the time of writing, only one of the PHLs described in these articles is available for the public while the others are either prototypes or in the pilot stage. Discussion: Although PHL researches have used different methods to address problems in diverse health domains, there is a lack of an effective PHL to meet the needs of older adults. Conclusion: The development of PHLs may create an unprecedented opportunity for promoting the health of older consumers by providing diverse health information.


title: PFP Data Structures

abstract: Prefix-free parsing (PFP) was introduced by Boucher et al. (2019) as a preprocessing step to ease the computation of Burrows-Wheeler Transforms (BWTs) of genomic databases. Given a string $S$, it produces a dictionary $D$ and a parse $P$ of overlapping phrases such that $\mathrm{BWT} (S)$ can be computed from $D$ and $P$ in time and workspace bounded in terms of their combined size $|\mathrm{PFP} (S)|$. In practice $D$ and $P$ are significantly smaller than $S$ and computing $\mathrm{BWT} (S)$ from them is more efficient than computing it from $S$ directly, at least when $S$ consists of genomes from individuals of the same species. In this paper, we consider $\mathrm{PFP} (S)$ as a {\em data structure} and show how it can be augmented to support the following queries quickly, still in $O (|\mathrm{PFP} (S)|)$ space: longest common extension (LCE), suffix array (SA), longest common prefix (LCP) and BWT. Lastly, we provide experimental evidence that the PFP data structure can be efficiently constructed for very large repetitive datasets: it takes one hour and 54 GB peak memory for $1000$ variants of human chromosome 19, initially occupying roughly 56 GB.


title: Orbit and Orbit Closure Containments for Cubic Surfaces

abstract: Given two elements of a vector space acted on by a reductive group, we ask whether they lie in the same orbit, and if not, whether one lies in the orbit closure of the other. We develop techniques to optimize the orbit and orbit closure algorithms and apply these to give a partial classification of orbit closure containments in the case of cubic surfaces with infinitely many singular points, which are known to fall into 13 normal forms. We also discuss the computational obstructions to completing this classification, and discuss tools for future work in this direction.


title: Clinically Relevant Mediation Analysis using Controlled Indirect Effect

abstract: Mediation analysis allows one to use observational data to estimate the importance of each potential mediating pathway involved in the causal effect of an exposure on an outcome. However, current approaches to mediation analysis with multiple mediators either involve assumptions not verifiable by experiments, or estimate the effect when mediators are manipulated jointly which precludes the practical design of experiments due to curse of dimensionality, or are difficult to interpret when arbitrary causal dependencies are present. We propose a method for mediation analysis for multiple manipulable mediators with arbitrary causal dependencies. The proposed method is clinically relevant because the decomposition of the total effect does not involve effects under cross-world assumptions and focuses on the effects after manipulating (i.e. treating) one single mediator, which is more relevant in a clinical scenario. We illustrate the approach using simulated data, the "framing" dataset from political science, and the HIV-Brain Age dataset from a clinical retrospective cohort study. Our results provide potential guidance for clinical practitioners to make justified choices to manipulate one of the mediators to optimize the outcome.


title: Generic doublings of almost complete intersections of codimension 3

abstract: We study Gorenstein ideals of codimension $4$ derived from generic doublings of almost complete intersection perfect ideals of codimension $3$. We also investigate spinor coordinates of such Gorenstein ideals with $8$ and $9$ generators. For an ideal $J$ of commutative ring $R$, the $R/J$ module $J/J^2$ is called conormal module and $R/J$-dual of $J/J^2$ is called normal module. We study properties of conormal and normal modules of almost complete intersection perfect ideals of codimension $3$.


title: Radiation effects on NDL prototype LGAD sensors after proton irradiation

abstract: We study the radiation effects of the Low Gain Avalanche Detector (LGAD) sensors developed by the Institute of High Energy Physics (IHEP) and the Novel Device Laboratory (NDL) of Beijing Normal University in China. These new sensors have been irradiated at the China Institute of Atomic Energy (CIAE) using 100 MeV proton beam with five different fluences from 7$\times10^{14}$ $n_{eq}/cm^2$ up to 4.5$\times10^{15}$ $n_{eq}/cm^2$. The result shows the effective doping concentration in the gain layer decreases with the increase of irradiation fluence, as expected by the acceptor removal mechanism. By comparing data and model gives the acceptor removal coefficient $c_{A}$ = $(6.07\pm0.70)\times10^{-16}~cm^2$, which indicates the NDL sensor has fairly good radiation resistance.


title: Semi-Supervised Object Detection with Sparsely Annotated Dataset

abstract: In training object detector based on convolutional neural networks, selection of effective positive examples for training is an important factor. However, when training an anchor-based detectors with sparse annotations on an image, effort to find effective positive examples can hinder training performance. When using the anchor-based training for the ground truth bounding box to collect positive examples under given IoU, it is often possible to include objects from other classes in the current training class, or objects that are needed to be trained can only be sampled as negative examples. We used two approaches to solve this problem: 1) the use of an anchorless object detector and 2) a semi-supervised learning-based object detection using a single object tracker. The proposed technique performs single object tracking by using the sparsely annotated bounding box as an anchor in the temporal domain for successive frames. From the tracking results, dense annotations for training images were generated in an automated manner and used for training the object detector. We applied the proposed single object tracking-based semi-supervised learning to the Epic-Kitchens dataset. As a result, we were able to achieve \textbf{runner-up} performance in the Unseen section while achieving the first place in the Seen section of the Epic-Kitchens 2020 object detection challenge under IoU > 0.5 evaluation


title: Dense-Captioning Events in Videos: SYSU Submission to ActivityNet Challenge 2020

abstract: This technical report presents a brief description of our submission to the dense video captioning task of ActivityNet Challenge 2020. Our approach follows a two-stage pipeline: first, we extract a set of temporal event proposals; then we propose a multi-event captioning model to capture the event-level temporal relationships and effectively fuse the multi-modal information. Our approach achieves a 9.28 METEOR score on the test set.


title: Integrating Industrial Artifacts and Agents Through Apache Camel

abstract: There are many challenges for building up the smart factory, among them to deal with distributed data, high volume of information, and wide diversity of devices and applications. In this sense, Cyber-Physical System (CPS) concept emerges to virtualize and integrate factory resources. Based on studies that use Multi-Agent System as the core of a CPS, in this paper, we show that many resources of the factories can be modelled following the well-known Agents and Artifacts method of integrating agents and their environment. To enhance the interoperability of this system, we use Apache Camel framework, a middleware to define routes allowing the integration with a wide range of endpoints using different protocols. Finally, we present a Camel component for artifacts, designed in this research, illustrating its use.


title: Uncertainty-Aware (UNA) Bases for Deep Bayesian Regression Using Multi-Headed Auxiliary Networks

abstract: Neural Linear Models (NLM) are deep Bayesian models that produce predictive uncertainties by learning features from the data and then performing Bayesian linear regression over these features. Despite their popularity, few works have focused on methodically evaluating the predictive uncertainties of these models. In this work, we demonstrate that traditional training procedures for NLMs drastically underestimate uncertainty on out-of-distribution inputs, and that they therefore cannot be naively deployed in risk-sensitive applications. We identify the underlying reasons for this behavior and propose a novel training framework that captures useful predictive uncertainties for downstream tasks.


title: Chemical Variation among Protostellar Cores: Dependence on Prestellar Core Conditions

abstract: Hot corino chemistry and warm carbon chain chemistry (WCCC) are driven by gas-grain interactions in star-forming cores: radical-radical recombination reactions to form complex organic molecules (COMs) in the ice mantle, sublimation of CH$_4$ and COMs, and their subsequent gas-phase reactions. These chemical features are expected to depend on the composition of ice mantle which is set in the prestellar phase. We calculated the gas-grain chemical reaction network considering a layered ice-mantle structure in star-forming cores, to investigate how the hot corino chemistry and WCCC depend on the physical condition of the static phase before the onset of gravitational collapse. We found that WCCC becomes more active, if the temperature is lower, or the visual extinction is lower in the static phase, or the static phase is longer. Dependence of hot corino chemistry on the static-phase condition is more complex. While CH$_3$OH is less abundant in the models with warmer static phase, some COMs are formed efficiently in those warm models, since there are various formation paths of COMs. If the visual extinction is lower, photolysis makes COMs less abundant in the static phase. Once the collapse starts and visual extinction increases, however, COMs can be formed efficiently. Duration of the static phase does not largely affect COM abundances. Chemical diversity between prototypical hot corinos and hybrid sources, in which both COMs and carbon chains are reasonably abundant, can be explained by the variation of prestellar conditions. Deficiency of gaseous COMs in prototypical WCCC sources is, however, hard to reproduce within our models.


title: Fast and Accurate: Structure Coherence Component for Face Alignment

abstract: In this paper, we propose a fast and accurate coordinate regression method for face alignment. Unlike most existing facial landmark regression methods which usually employ fully connected layers to convert feature maps into landmark coordinate, we present a structure coherence component to explicitly take the relation among facial landmarks into account. Due to the geometric structure of human face, structure coherence between different facial parts provides important cues for effectively localizing facial landmarks. However, the dense connection in the fully connected layers overuses such coherence, making the important cues unable to be distinguished from all connections. Instead, our structure coherence component leverages a dynamic sparse graph structure to passing features among the most related landmarks. Furthermore, we propose a novel objective function, named Soft Wing loss, to improve the accuracy. Extensive experiments on three popular benchmarks, including WFLW, COFW and 300W, demonstrate the effectiveness of the proposed method, achieving state-of-the-art performance with fast speed. Our approach is especially robust to challenging cases resulting in impressively low failure rate (0% and 2.88%) in COFW and WFLW datasets.


title: The Gaussian Transform

abstract: We introduce the Gaussian transform (GT), an optimal transport inspired iterative method for denoising and enhancing latent structures in datasets. Under the hood, GT generates a new distance function (GT distance) on a given dataset by computing the $\ell^2$-Wasserstein distance between certain Gaussian density estimates obtained by localizing the dataset to individual points. Our contribution is twofold: (1) theoretically, we establish firstly that GT is stable under perturbations and secondly that in the continuous case, each point possesses an asymptotically ellipsoidal neighborhood with respect to the GT distance; (2) computationally, we accelerate GT both by identifying a strategy for reducing the number of matrix square root computations inherent to the $\ell^2$-Wasserstein distance between Gaussian measures, and by avoiding redundant computations of GT distances between points via enhanced neighborhood mechanisms. We also observe that GT is both a generalization and a strengthening of the mean shift (MS) method, and it is also a computationally efficient specialization of the recently proposed Wasserstein Transform (WT) method. We perform extensive experimentation comparing their performance in different scenarios.


title: Brauer and Etale Homotopy Obstructions to Rational Points on Open Covers

abstract: In 2010, Poonen gave the first example of failure of the local-global principle that cannot be explained by Skorobogatov's \'etale Brauer-Manin obstruction. Motivated by this example, we show that the Brauer-Manin obstruction detects non-existence of rational points on a sufficiently fine Zariski open cover of any variety over an imaginary quadratic or totally real field. We provide some evidence for why this is expected to happen more generally over any number field, some of which relates to the section conjecture in anabelian geometry. We then prove a result about the behavior of the \'etale Brauer obstruction in fibrations of varieties using the \'etale homotopy obstruction of Harpaz and the second author. We finally use that result and other techniques to further analyze Poonen's example in light of our general results.


title: Rigidity and stability estimates for minimal submanifolds in the hyperbolic space

abstract: In this paper we establish conditions on the length of the second fundamental form of a complete minimal submanifold $M^n$ in the hyperbolic space $\mathbb{H}^{n+m}$ in order to show that $M^n$ is totally geodesic. We also obtain sharp upper bounds estimates for the first eigenvalue of the super stability operator in the case of $M$ is a surface in $\mathbb{H}^{4}$.


title: Lucas' theorem modulo $p^2$

abstract: Lucas' theorem describes how to reduce a binomial coefficient $\binom{a}{b}$ modulo $p$ by breaking off the least significant digits of $a$ and $b$ in base $p$. We characterize the pairs of these digits for which Lucas' theorem holds modulo $p^2$. This characterization is naturally expressed using symmetries of Pascal's triangle.


title: A Universal Representation Transformer Layer for Few-Shot Image Classification

abstract: Few-shot classification aims to recognize unseen classes when presented with only a small number of samples. We consider the problem of multi-domain few-shot image classification, where unseen classes and examples come from diverse data sources. This problem has seen growing interest and has inspired the development of benchmarks such as Meta-Dataset. A key challenge in this multi-domain setting is to effectively integrate the feature representations from the diverse set of training domains. Here, we propose a Universal Representation Transformer (URT) layer, that meta-learns to leverage universal features for few-shot classification by dynamically re-weighting and composing the most appropriate domain-specific representations. In experiments, we show that URT sets a new state-of-the-art result on Meta-Dataset. Specifically, it achieves top-performance on the highest number of data sources compared to competing methods. We analyze variants of URT and present a visualization of the attention score heatmaps that sheds light on how the model performs cross-domain generalization. Our code is available at https://github.com/liulu112601/URT.


title: Fluorescence-detected Fourier transform electronic spectroscopy by phase-tagged photon counting

abstract: Fluorescence-detected Fourier transform (FT) spectroscopy is a technique in which the relative paths of an optical interferometer are controlled to excite a material sample, and the ensuing fluorescence is detected as a function of the interferometer path delay and relative phase. A common approach to enhance the signal-to-noise ratio in these experiments is to apply a continuous phase sweep to the relative optical path, and to detect the resulting modulated fluorescence using a phase-sensitive lock-in amplifier. In many important situations, the fluorescence signal is too weak to be measured using a lock-in amplifier, so that photon counting techniques are preferred. Here we introduce an approach to low-signal fluorescence-detected FT spectroscopy, in which individual photon counts are assigned to a modulated interferometer phase ('phase-tagged photon counting,' or PTPC), and the resulting data are processed to construct optical spectra. We studied the fluorescence signals of a molecular sample excited resonantly by a pulsed coherent laser over a range of photon flux and visibility levels. We compare the performance of PTPC to standard lock-in detection methods and establish the range of signal parameters over which meaningful measurements can be carried out. We find that PTPC generally outperforms the lock-in detection method, with the dominant source of measurement uncertainty being associated with the statistics of the finite number of samples of the photon detection rate.


title: Hierarchical Reinforcement Learning for Deep Goal Reasoning: An Expressiveness Analysis

abstract: Hierarchical DQN (h-DQN) is a two-level architecture of feedforward neural networks where the meta level selects goals and the lower level takes actions to achieve the goals. We show tasks that cannot be solved by h-DQN, exemplifying the limitation of this type of hierarchical framework (HF). We describe the recurrent hierarchical framework (RHF), generalizing architectures that use a recurrent neural network at the meta level. We analyze the expressiveness of HF and RHF using context-sensitive grammars. We show that RHF is more expressive than HF. We perform experiments comparing an implementation of RHF with two HF baselines; the results corroborate our theoretical findings.


title: UO2/BeO interfacial thermal resistance and its effect on fuel thermal conductivity

abstract: UO2/BeO interfacial thermal resistance (ITR) is calculated by diffuse mismatch model (DMM) and the effects of ITR on UO2-BeO thermal conductivity are investigated. ITR predicted by DMM is on the order of 10-9 m2K/W. Using this ITR, UO2-BeO thermal conductivities are calculated by theoretical models and compared with experimental data. The results indicate that DMM prediction is applicable to the interface between UO2 and dispersed BeO, while not applicable to the interface between UO2 and continuous BeO. If the thermal conductivity of UO2 containing continuous BeO was to be in agreement with experimental data, its ITR should be on the order of 10-6 - 10-5 m2K/W. Therefore, the vibrational mismatch between UO2 and BeO considered by DMM is the major mechanism for attenuating the heat flux through UO2/dispersed-BeO interface, but not for UO2/continuous-BeO interface. Furthermore, it is found that the presence of ITR leads to the dependence of the thermal conductivity of UO2 containing dispersed BeO on BeO size. With the decrease in BeO size, UO2-BeO thermal conductivity decreases. When BeO size is smaller than a critical value, UO2-BeO thermal conductivity becomes even smaller than UO2 thermal conductivity. For UO2 containing continuous BeO, the thermal conductivity decreases with the decrease in the size of UO2 granule surrounded by BeO, but not necessarily smaller than UO2 thermal conductivity. Under a critical temperature, UO2-BeO thermal conductivity is always larger than UO2 thermal conductivity. Above the critical temperature, UO2-BeO thermal conductivity is larger than UO2 thermal conductivity only when UO2 granule size is large enough. The conditions for achieving the targeted enhancement of UO2 thermal conductivity by doping with BeO are derived. These conditions can be used to design and optimize the distribution, content, size of BeO, and the size of UO2 granule.


title: Exploiting Contextual Information with Deep Neural Networks

abstract: Context matters! Nevertheless, there has not been much research in exploiting contextual information in deep neural networks. For most part, the entire usage of contextual information has been limited to recurrent neural networks. Attention models and capsule networks are two recent ways of introducing contextual information in non-recurrent models, however both of these algorithms have been developed after this work has started. In this thesis, we show that contextual information can be exploited in 2 fundamentally different ways: implicitly and explicitly. In the DeepScore project, where the usage of context is very important for the recognition of many tiny objects, we show that by carefully crafting convolutional architectures, we can achieve state-of-the-art results, while also being able to implicitly correctly distinguish between objects which are virtually identical, but have different meanings based on their surrounding. In parallel, we show that by explicitly designing algorithms (motivated from graph theory and game theory) that take into considerations the entire structure of the dataset, we can achieve state-of-the-art results in different topics like semi-supervised learning and similarity learning. To the best of our knowledge, we are the first to integrate graph-theoretical modules, carefully crafted for the problem of similarity learning and that are designed to consider contextual information, not only outperforming the other models, but also gaining a speed improvement while using a smaller number of parameters.


title: Solar Flare-CME Coupling Throughout Two Acceleration Phases of a Fast CME

abstract: Solar flares and coronal mass ejections (CMEs) are closely coupled through magnetic reconnection. CMEs are usually accelerated impulsively within the low solar corona, synchronized with the impulsive flare energy release. We investigate the dynamic evolution of a fast CME and its associated X2.8 flare occurring on 2013 May 13. The CME experiences two distinct phases of enhanced acceleration, an impulsive one with a peak value of ~5 km s$^{-2}$ followed by an extended phase with accelerations up to 0.7 km s$^{-2}$. The two-phase CME dynamics is associated with a two-episode flare energy release. While the first episode is consistent with the "standard" eruption of a magnetic flux rope, the second episode of flare energy release is initiated by the reconnection of a large-scale loop in the aftermath of the eruption and produces stronger nonthermal emission up to $\gamma$-rays. In addition, this long-duration flare reveals clear signs of ongoing magnetic reconnection during the decay phase, evidenced by extended HXR bursts with energies up to 100--300 keV and intermittent downflows of reconnected loops for >4 hours. The observations reveal that the two-step flare reconnection substantially contributes to the two-phase CME acceleration, and the impulsive CME acceleration precedes the most intense flare energy release. The implications of this non-standard flare/CME observation are discussed.


title: Mapping Low-Resolution Images To Multiple High-Resolution Images Using Non-Adversarial Mapping

abstract: Several methods have recently been proposed for the Single Image Super-Resolution (SISR) problem. The current methods assume that a single low-resolution image can only yield a single high-resolution image. In addition, all of these methods use low-resolution images that were artificially generated through simple bilinear down-sampling. We argue that, first and foremost, the problem of SISR is an one-to-many mapping problem between the low-resolution and all possible candidate high-resolution images and we address the challenging task of learning how to realistically degrade and down-sample high-resolution images. To circumvent this problem, we propose SR-NAM which utilizes the Non-Adversarial Mapping (NAM) technique. Furthermore, we propose a degradation model that learns how to transform high-resolution images to low-resolution images that resemble realistically taken low-resolution photos. Finally, some qualitative results for the proposed method along with the weaknesses of SR-NAM are included.


title: Stable Phase Retrieval from Locally Stable and Conditionally Connected Measurements

abstract: This paper is concerned with stable phase retrieval for a family of phase retrieval models we name "locally stable and conditionally connected" (LSCC) measurement schemes. For every signal $f$, we associate a corresponding weighted graph $G_f$, defined by the LSCC measurement scheme, and show that the phase retrievability of the signal $f$ is determined by the connectivity of $G_f$. We then characterize the phase retrieval stability of the signal $f$ by two measures that are commonly used in graph theory to quantify graph connectivity: the Cheeger constant of $G_f$ for real valued signals, and the algebraic connectivity of $G_f$ for complex valued signals. We use our results to study the stability of two phase retrieval models that can be cast as LSCC measurement schemes, and focus on understanding for which signals the "curse of dimensionality" can be avoided. The first model we discuss is a finite-dimensional model for locally supported measurements such as the windowed Fourier transform. For signals "without large holes", we show the stability constant exhibits only a mild polynomial growth in the dimension, in stark contrast with the exponential growth which uniform stability constants tend to suffer from; more precisely, in $R^d$ the constant grows proportionally to $d^{1/2}$, while in $C^d$ it grows proportionally to $d$. We also show the growth of the constant in the complex case cannot be reduced, suggesting that complex phase retrieval is substantially more difficult than real phase retrieval. The second model we consider is an infinite-dimensional phase retrieval problem in a principal shift invariant space. We show that despite the infinite dimensionality of this model, signals with monotone exponential decay will have a finite stability constant. In contrast, the stability bound provided by our results will be infinite if the signal's decay is polynomial.


title: Rotational properties of annulus dusty plasma in a strong magnetic field

abstract: The collective dynamics of annulus dusty plasma formed between a co-centric conducting (non-conducting) disk and ring configuration is studied in a strongly magnetized radio-frequency (rf) discharge. A superconducting electromagnet is used to introduce a homogeneous magnetic field to the dusty plasma medium. In absence of the magnetic field, dust grains exhibit thermal motion around their equilibrium position. The dust grains start to rotate in anticlockwise direction with increasing magnetic field (B $>$ 0.02 T), and the constant value of the angular frequency at various strengths of magnetic field confirms the rigid body rotation. The angular frequency of dust grains linearly increases up to a threshold magnetic field (B $>$ 0.6 T) and after that its value remains nearly constant in a certain range of magnetic field. Further increase in magnetic field (B $>$ 1 T) lowers the angular frequency. Low value of angular frequency is expected by reducing the width of annulus dusty plasma or the input rf power. The azimuthal ion drag force due to the magnetic field is assumed to be the energy source which drives the rotational motion. The resultant radial electric field in the presence of magnetic field determines the direction of rotation. The variation of floating (plasma) potential across the annular region at given magnetic field explains the rotational properties of the annulus dusty plasma in the presence of magnetic field.

categories: physics.plasm-ph physics.class-ph physics.flu-dyn physics.pop-ph


title: Resilient Consensus Against Mobile Malicious Agents

abstract: This paper addresses novel consensus problems in the presence of adversaries that can move within the network and induce faulty behaviors in the attacked agents. By adopting several mobile adversary models from the computer science literature, we develop protocols which can mitigate the influence of such malicious agents. The algorithms follow the class of mean subsequence reduced (MSR) algorithms, under which agents ignore the suspicious values received from neighbors during their state updates. Different from the static adversary models, even after the adversaries move away, the infected agents may remain faulty in their values, whose effects must be taken into account. We develop conditions on the network structures for both the complete and non-complete graph cases, under which the proposed algorithms are guaranteed to attain resilient consensus. Extensive simulations are carried out over random graphs to verify the effectiveness of our approach under uncertainties in the systems.


title: Charting Lattice Thermal Conductivity of Inorganic Crystals

abstract: Thermal conductivity is a fundamental material property but challenging to predict, with less than 5% out of about $10^5$ synthesized inorganic materials being documented. In this work, we extract the structural chemistry that governs lattice thermal conductivity, by combining graph neural networks and random forest approaches. We show that both mean and variation of unit-cell configurational properties, such as atomic volume and bond length, are the most important features, followed by mass and elemental electronegativity. We chart the structural chemistry of lattice thermal conductivity into extended van-Arkel triangles, and predict the thermal conductivity of all known inorganic materials in the Inorganic Crystal Structure Database. For the latter, we develop a transfer learning framework extendable for other applications.


title: Graphs of relational structures: restricted types

abstract: The algebraic approach to the Constraint Satisfaction Problem (CSP) uses high order symmetries of relational structures -- polymorphisms -- to study the complexity of the CSP. In this paper we further develop one of the methods the algebraic approach can be implemented, and apply it to some kinds of the CSP. This method was introduced in our LICS 2004 paper and involves the study of the local structure of finite algebras and relational structures. It associates with an algebra A or a relational structure S a graph, whose vertices are the elements of A (or S), the edges represent subsets of A such that the restriction of some term operation of A is `good' on the subset, that is, act as an operation of one of the 3 types: semilattice, majority, or affine. In this paper we use this theory and consider algebras with edges from a restricted set of types. We prove type restrictions are preserved under the standard algebraic constructions. Then we show that if the types edges in a relational structure are restricted, then the corresponding CSP can be solved in polynomial time by specific algorithms. In particular, we give a new, somewhat more intuitive proof of the Bounded Width Theorem: the CSP over algebra A has bounded width if and only if A does not contain affine edges. Actually, this result shows that bounded width implies width (2,3). Finally, we prove that algebras without semilattice edges have few subalgebras of powers, that is, the CSP over such algebras is also polynomial time. The methods and results obtained in this paper are important ingredients of the 2017 proof of the Dichotomy Conjecture by the author. The Dichotomy Conjecture was also proved independently by Zhuk.


title: Off-Policy Self-Critical Training for Transformer in Visual Paragraph Generation

abstract: Recently, several approaches have been proposed to solve language generation problems. Transformer is currently state-of-the-art seq-to-seq model in language generation. Reinforcement Learning (RL) is useful in solving exposure bias and the optimisation on non-differentiable metrics in seq-to-seq language learning. However, Transformer is hard to combine with RL as the costly computing resource is required for sampling. We tackle this problem by proposing an off-policy RL learning algorithm where a behaviour policy represented by GRUs performs the sampling. We reduce the high variance of importance sampling (IS) by applying the truncated relative importance sampling (TRIS) technique and Kullback-Leibler (KL)-control concept. TRIS is a simple yet effective technique, and there is a theoretical proof that KL-control helps to reduce the variance of IS. We formulate this off-policy RL based on self-critical sequence training. Specifically, we use a Transformer-based captioning model as the target policy and use an image-guided language auto-encoder as the behaviour policy to explore the environment. The proposed algorithm achieves state-of-the-art performance on the visual paragraph generation and improved results on image captioning.


title: Indirect inference for locally stationary ARMA processes with stable innovations

abstract: The class of locally stationary processes assumes that there is a time-varying spectral representation, that is, the existence of finite second moment. We propose the $\alpha$-stable locally stationary process by modifying the innovations into stable distributions and the indirect inference to estimate this type of model. Due to the infinite variance, some of interesting properties such as time-varying auto-correlation cannot be defined. However, since the $\alpha$-stable family of distributions is closed under linear combination which includes the possibility of handling asymmetry and thicker tails, the proposed model has the same tail behavior throughout the time. In this paper, we propose this new model, present theoretical properties of the process and carry out simulations related to the indirect inference in order to estimate the parametric form of the model. Finally, an empirical application is illustrated.


title: Learning compact generalizable neural representations supporting perceptual grouping

abstract: Work at the intersection of vision science and deep learning is starting to explore the efficacy of deep convolutional networks (DCNs) and recurrent networks in solving perceptual grouping problems that underlie primate visual recognition and segmentation. Here, we extend this line of work to investigate the compactness and generalizability of DCN solutions to learning low-level perceptual grouping routines involving contour integration. We introduce V1Net, a bio-inspired recurrent unit that incorporates lateral connections ubiquitous in cortical circuitry. Feedforward convolutional layers in DCNs can be substituted with V1Net modules to enhance their contextual visual processing support for perceptual grouping. We compare the learning efficiency and accuracy of V1Net-DCNs to that of 14 carefully selected feedforward and recurrent neural architectures (including state-of-the-art DCNs) on MarkedLong -- a synthetic forced-choice contour integration dataset of 800,000 images we introduce here -- and the previously published Pathfinder contour integration benchmarks. We gauged solution generalizability by measuring the transfer learning performance of our candidate models trained on MarkedLong that were fine-tuned to learn PathFinder. Our results demonstrate that a compact 3-layer V1Net-DCN matches or outperforms the test accuracy and sample efficiency of all tested comparison models which contain between 5x and 1000x more trainable parameters; we also note that V1Net-DCN learns the most compact generalizable solution to MarkedLong. A visualization of the temporal dynamics of a V1Net-DCN elucidates its usage of interpretable grouping computations to solve MarkedLong. The compact and rich representations of V1Net-DCN also make it a promising candidate to build on-device machine vision algorithms as well as help better understand biological cortical circuitry.


title: Unitarity of Entanglement and Islands in Two-Sided Janus Black Holes

abstract: We explore the entanglement evolution of boundary intervals in eternal Janus black holes that can be embedded consistently into string theory in the low-energy limit. By studying the geodesics we show that there is a transition in the entanglement characteristic around the Page time, which manifests the unitarity of the evolution. We reproduce and reinterpret these bulk results from two different lower-dimensional perspectives: first as an interface CFT in the usual AdS/CFT correspondence and second as an effective gravity theory in one lower dimension coupled to a radiation background. In the limit where the number of interface degrees of freedom becomes large, we obtain an effective theory on appropriate branes that replace the deep interior region in the bulk, coined the shadow region. In this effective theory, we also identify the island of the radiation entanglement wedge and verify the newly proposed quantum extremization method. Our model clarifies that double holography with gravity in two higher dimensions can be realized in a concrete and consistent way and that the occurrence of islands is natural in one higher dimension. Furthermore, our model reveals that there can be a transitional behavior of the Page curve before the Page time, which is related to the emergence of new matter degrees of freedom on the branes.


title: Pose Trainer: Correcting Exercise Posture using Pose Estimation

abstract: Fitness exercises are very beneficial to personal health and fitness; however, they can also be ineffective and potentially dangerous if performed incorrectly by the user. Exercise mistakes are made when the user does not use the proper form, or pose. In our work, we introduce Pose Trainer, an application that detects the user's exercise pose and provides personalized, detailed recommendations on how the user can improve their form. Pose Trainer uses the state of the art in pose estimation to detect a user's pose, then evaluates the vector geometry of the pose through an exercise to provide useful feedback. We record a dataset of over 100 exercise videos of correct and incorrect form, based on personal training guidelines, and build geometric-heuristic and machine learning algorithms for evaluation. Pose Trainer works on four common exercises and supports any Windows or Linux computer with a GPU.


title: Match$^2$: A Matching over Matching Model for Similar Question Identification

abstract: Community Question Answering (CQA) has become a primary means for people to acquire knowledge, where people are free to ask questions or submit answers. To enhance the efficiency of the service, similar question identification becomes a core task in CQA which aims to find a similar question from the archived repository whenever a new question is asked. However, it has long been a challenge to properly measure the similarity between two questions due to the inherent variation of natural language, i.e., there could be different ways to ask a same question or different questions sharing similar expressions. To alleviate this problem, it is natural to involve the existing answers for the enrichment of the archived questions. Traditional methods typically take a one-side usage, which leverages the answer as some expanded representation of the corresponding question. Unfortunately, this may introduce unexpected noises into the similarity computation since answers are often long and diverse, leading to inferior performance. In this work, we propose a two-side usage, which leverages the answer as a bridge of the two questions. The key idea is based on our observation that similar questions could be addressed by similar parts of the answer while different questions may not. In other words, we can compare the matching patterns of the two questions over the same answer to measure their similarity. In this way, we propose a novel matching over matching model, namely Match$^2$, which compares the matching patterns between two question-answer pairs for similar question identification. Empirical experiments on two benchmark datasets demonstrate that our model can significantly outperform previous state-of-the-art methods on the similar question identification task.


title: On functor-quotients and their isomorphism theorems

abstract: The notion of a categorical quotient can be generalized since its standard categorical concept does not recover the expected quotients in certain categories. We present a more general formulation in the form of $\mathcal{F}$-quotients in a category $\mathbf{C}$, which are relativized to a faithful functor $\mathcal{F}\colon \mathbf{C} \to \mathbf{D}$. The isomorphism theorems of universal algebras generalize to this setting, and we additionally find important links between $\mathcal{F}$-quotients in the concrete category of first-order structures, and quotients defined for model-theoretic equivalence classes. By first working in this categorical setting, some quotient-related results for first-order structures can be naturally obtained. In particular, we are able to prove some isomorphism theorems in the context of model theory directly from their corresponding categorical isomorphism theorems.


title: Measurement of Hubble Constant: Do Different Cosmological Probes Provide Different Values?

abstract: Different measurements of the Hubble constant ($H_{0}$) are not consistent and a tension between the CMB based methods and cosmic distance ladder based methods has been observed. Measurements from various distance based methods are also inconsistent. To aggravate the problem, same cosmological probe (Type Ia SNe for instance) calibrated through different methods also provide different value of $H_{0}$. We compare various distance ladder based methods through the already available unique data obtained from Hubble Space Telescope (HST). Our analysis is based on parametric (T-test) as well as non-parametric statistical methods such as the Mann-Whitney U test and Kolmogorov-Smirnov test. Our results show that different methods provide different values of $H_0$ and the differences are statistically significant. The biases in the calibration would not account for these differences as the data has been taken from a single telescope with common calibration scheme. The unknown physical effects or issues with the empirical relations of distance measurement from different probes could give rise to these differences.


title: Type-II Superconductivity below 4K in Sn0.4Sb0.6

abstract: In this article, we report the occurrence of superconductivity in Sn0.4Sb0.6 single crystal at below 4K. Rietveld refined Powder XRD data confirms the phase purity of as grown crystal, crystallizing in rhombohedral R-3m space group with an elongated (2xc) unit cell in c-direction. Scanning Electron Microscope (SEM) image and EDAX measurement confirm the laminar growth and near to desired stoichiometry ratio. Raman Spectroscopy data shows the vibrational modes of Sn-Sb and Sb-Sb modes at 110 and 135cm-1. ZFC (Zero-Field-Cooled) magnetization measurements done at 10Oe showed sharp superconducting transitions at 4K along with a minor step at 3.5K. On the other hand, Paramagnetic Meissner Effect (PME) is observed in FC measurements. Magnetization vs applied field (M-H) plots at 2, 2.2, 2.5, 2.7, 3, 3.2, 3.5, and 3.7K shows typical Type-II nature of observed superconductivity with lower and upper critical fields (Hc1 and Hc2) at 69.42Oe and 630Oe respectively at 2K. Type-II superconductivity is also confirmed by calculated Ginzburg-Landau Kappa parameter value of 3.55. Characteristics length viz. coherence length and penetration depth are also calculated. Weak granular coupling is observed from R-T plot, in which resistance is not dropping to zero down to 2K.


title: Precobordism and cobordism

abstract: The purpose of this article is to compare several versions of bivariant algebraic cobordism constructed previously by the author and others. In particular, we show that a simple construction based on the universal precobordism theory of Annala--Yokura agrees with the more complicated theory of bivariant derived algebraic cobordism constructed earlier by the author, and that both of these theories admit a Grothendieck transformation to operational cobordism constructed by Luis Gonz\'alez--Karu over fields of characteristic 0. The proofs are partly based on convenient universal characterizations of several cobordism theories, which should be of independent interest. Using similar techniques, we also strengthen a result of Vezzosi on operational derived $K$-theory. In the appendix, we give a detailed construction of virtual pullbacks in algebraic bordism, filling the gaps in the construction of Lowrey--Sch\"urg.


title: Experimental demonstration of structural robustness of spatially partially coherent fields in turbulence

abstract: Structured fields that are spatially completely coherent have been extensively studied in the context of long-distance optical communication as the structure in the intensity profile of such fields is used for encoding information. This method of doing optical communication works very well in the absence of turbulence. However, in the presence of turbulence, the intensity structures of such fields start to degrade because of the complete spatial coherence of the field, and this structural degradation increases with the increase in the turbulence strength. On the other hand, several theoretical studies have now shown that the structured fields that are spatially only partially coherent are less affected by turbulence. However, no such experimental demonstration has been reported until now. In this letter, we experimentally demonstrate the structural robustness of partially coherent fields in the presence of turbulence, and we show that for a given turbulence strength the structural robustness of a partially coherent field increases as the spatial coherence length of the field is decreased.


title: A particle model with extra dimensions from Coadjoint Poincare' Symmetry

abstract: Starting from the coadjoint Poincar\'e algebra we construct a point particle relativistic model with an interpretation in terms of extra-dimensional variables. The starting coadjoint Poincar\'e algebra is able to induce a mechanism of dimensional reduction between the usual coordinates of the Minkowski space and the extra-dimensional variables which turn out to form an antisymmetric tensor under the Lorentz group. Analysing the dynamics of this model, we find that, in a particular limit, it is possible to integrate out the extra variables and determine their effect on the dynamics of the material point in the usual space time. The model describes a particle in $D$ dimensions subject to a harmonic motion when one of the parameters of the model is negative. The result can be interpreted as a modification to the flat Minkowski metric with non trivial Riemann, Ricci tensors and scalar curvature


title: Continuous Submodular Maximization: Beyond DR-Submodularity

abstract: In this paper, we propose the first continuous optimization algorithms that achieve a constant factor approximation guarantee for the problem of monotone continuous submodular maximization subject to a linear constraint. We first prove that a simple variant of the vanilla coordinate ascent, called Coordinate-Ascent+, achieves a $(\frac{e-1}{2e-1}-\varepsilon)$-approximation guarantee while performing $O(n/\varepsilon)$ iterations, where the computational complexity of each iteration is roughly $O(n/\sqrt{\varepsilon}+n\log n)$ (here, $n$ denotes the dimension of the optimization problem). We then propose Coordinate-Ascent++, that achieves the tight $(1-1/e-\varepsilon)$-approximation guarantee while performing the same number of iterations, but at a higher computational complexity of roughly $O(n^3/\varepsilon^{2.5} + n^3 \log n / \varepsilon^2)$ per iteration. However, the computation of each round of Coordinate-Ascent++ can be easily parallelized so that the computational cost per machine scales as $O(n/\sqrt{\varepsilon}+n\log n)$.


title: Affine symmetries and neural network identifiability

abstract: We address the following question of neural network identifiability: Suppose we are given a function $f:\mathbb{R}^m\to\mathbb{R}^n$ and a nonlinearity $\rho$. Can we specify the architecture, weights, and biases of all feed-forward neural networks with respect to $\rho$ giving rise to $f$? Existing literature on the subject suggests that the answer should be yes, provided we are only concerned with finding networks that satisfy certain "genericity conditions". Moreover, the identified networks are mutually related by symmetries of the nonlinearity. For instance, the $\tanh$ function is odd, and so flipping the signs of the incoming and outgoing weights of a neuron does not change the output map of the network. The results known hitherto, however, apply either to single-layer networks, or to networks satisfying specific structural assumptions (such as full connectivity), as well as to specific nonlinearities. In an effort to answer the identifiability question in greater generality, we consider arbitrary nonlinearities with potentially complicated affine symmetries, and we show that the symmetries can be used to find a rich set of networks giving rise to the same function $f$. The set obtained in this manner is, in fact, exhaustive (i.e., it contains all networks giving rise to $f$) unless there exists a network $\mathcal{A}$ "with no internal symmetries" giving rise to the identically zero function. This result can thus be interpreted as an analog of the rank-nullity theorem for linear operators. We furthermore exhibit a class of "$\tanh$-type" nonlinearities (including the tanh function itself) for which such a network $\mathcal{A}$ does not exist, thereby solving the identifiability question for these nonlinearities in full generality. Finally, we show that this class contains nonlinearities with arbitrarily complicated symmetries.


title: Prototyping of a 25 Gbps optical transmitter for applications in high-energy physics experiments

abstract: Development of optical links with 850 nm multi-mode vertical-cavity surface-emitting lasers (VCSELs) has advanced to 25 Gbps in speed. For applications in high-energy experiments, the transceivers are required to be tolerant in radiation and particle fields. We report on prototyping of a miniature transmitter named MTx+, which is developed for high speed transmission with the dual-channel laser driver LOCld65 and 850 nm VCSELs packaged in TOSA format. The LOCld65 is fabricated in the TSMC 65 nm process and is packaged in the QFN-40 for assembly. The MTx+ modules and test kits were first made with PCB and components qualified for 10 Gbps applications, and were tested for achieving 14 Gbps. The data transfer rate of the MTx+ module is investigated further for the speed of up to 25 Gbps. The LOCld65 is examined with post-layout simulation and the module design upgraded with components including the TOSA qualified for 25 Gbps applications. The PCB material is replaced by the Panasonic MEGTRON6. The revised MTx+ is tested at 25 Gbps and the eye-diagram shows a mask margin of 22 %.


title: Kiwifruit detection in challenging conditions

abstract: Accurate and reliable kiwifruit detection is one of the biggest challenges in developing a selective fruit harvesting robot. The vision system of an orchard robot faces difficulties such as dynamic lighting conditions and fruit occlusions. This paper presents a semantic segmentation approach with two novel image prepossessing techniques designed to detect kiwifruit under the harsh lighting conditions found in the canopy. The performance of the presented system is evaluated on a 3D real-world image set of kiwifruit under different lighting conditions (typical, glare, and overexposed). Alone the semantic segmentation approach achieves an F1_score of 0.82 on the typical lighting image set, but struggles with harsh lighting with an F1_score of 0.13. Utilising the prepossessing techniques the vision system under harsh lighting improves to an F1_score 0.42. To address the fruit occlusion challenge, the overall approach was found to be capable of detecting 87.0% of non-occluded and 30.0% of occluded kiwifruit across all lighting conditions.


title: High-Resolution Channel Estimation for Intelligent Reflecting Surface-Assisted MmWave Communications

abstract: In this paper, we study the high-resolution channel estimation problem for intelligent reflecting surface (IRS)-assisted millimeter wave (mmWave) multiple-input-multiple-output (MIMO) communications, which is a prerequisite to guarantee further high-rate data transmission. Considering the typical sparsity of mmWave channels, we formulate the cascaded channel estimation problem from a sparse signal recovery perspective, and then propose a novel two-step cascaded channel estimation protocol to estimate the cascaded user-IRS-base station channel with high-resolution for IRS-assisted mmWave MIMO communications. More specifically, the first step is to estimate the coarse angular domain information (ADI) and further establish the robust uplink by beam training. In the second step, by exploiting the coarse ADI, an adaptive grid matching pursuit (AGMP) algorithm is proposed to estimate the high-resolution cascaded channel state information (CSI) with low complexity. Simulation results verify that the proposed two-step channel estimation protocol significantly outperforms the state-of-the-art scheme, i.e., beam training based channel estimation, and meanwhile can reap near-optimal system performance achieved by perfect CSI.


title: The necessary and sufficient condition for the uncertain control gain in active disturbance rejection control

abstract: Considering the control problem for nonlinear uncertain systems, the tolerable range of uncertain control input gain is a fundamental issue. The paper presents the necessary and sufficient condition for the well-performed closed-loop system based on active disturbance rejection control (ADRC) design. Via the proposed necessary and sufficient condition, the maximum tolerable range of the uncertain control gain is quantitatively presented, which reveals the capability of ADRC to handle the uncertainties related with control input. Moreover, under the proposed necessary and sufficient condition, both the transient performance and the steady state property of the ADRC based closed-loop system are rigorously analyzed.


title: On Solvable Lie and Leibniz Superalgebras with maximal codimension of nilradical

abstract: Along this paper we show that under certain conditions the method for describing of solvable Lie and Leibniz algebras with maximal codimension of nilradical is also extensible to Lie and Leibniz superalgebras, respectively. In particular, we totally determine the solvable Lie and Leibniz superalgebras with maximal codimension of model filiform and model nilpotent nilradicals. Finally, it is established that the superderivations of the obtained superalgebras are inner.


title: Stability of symmetric powers of vector bundles of rank two with even degree on a curve

abstract: This paper treats the strict semi-stability of the symmetric powers $S^k E$ of a stable vector bundle $E$ of rank $2$ with even degree on a smooth projective curve $C$ of genus $g \geq 2$. The strict semi-stability of $S^2 E$ is equivalent to the orthogonality of $E$ or the existence of a bisection on the ruled surface $\mathbb{P}_C(E)$ whose self-intersection number is zero. A relation between the two interpretations is investigated in this paper through elementary transformations. This paper also gives a classification of $E$ with strictly semi-stable $S^3 E$. Moreover, it is shown that when $S^2 E$ is stable, every symmetric power $S^k E$ is stable for all but a finite number of $E$ in the moduli of stable vector bundles of rank $2$ with fixed determinant of even degree on $C$.


title: Starlikeness of certain analytic functions

abstract: Let $f$ and $g$ be analytic functions on the open unit disk of the complex plane with $f/g$ belonging to the class $\mathcal{P} $ of functions with positive real part consisting of functions $p$ with $p(0)=1$ and $\operatorname{Re} p(z)>0$ or to its subclass consisting of functions $p$ with $|p(z)-1|<1$. We obtain the sharp radius constants for the function $f$ to be starlike of order $\alpha$, parabolic starlike, etc. when $g/k\in\mathcal{P}$ where $k$ denotes the Koebe function defined by $k(z)=z/(1-z)^2$.


title: Efficient Integer-Arithmetic-Only Convolutional Neural Networks

abstract: Integer-arithmetic-only networks have been demonstrated effective to reduce computational cost and to ensure cross-platform consistency. However, previous works usually report a decline in the inference accuracy when converting well-trained floating-point-number (FPN) networks into integer networks. We analyze this phonomenon and find that the decline is due to activation quantization. Specifically, when we replace conventional ReLU with Bounded ReLU, how to set the bound for each neuron is a key problem. Considering the tradeoff between activation quantization error and network learning ability, we set an empirical rule to tune the bound of each Bounded ReLU. We also design a mechanism to handle the cases of feature map addition and feature map concatenation. Based on the proposed method, our trained 8-bit integer ResNet outperforms the 8-bit networks of Google's TensorFlow and NVIDIA's TensorRT for image recognition. We also experiment on VDSR for image super-resolution and on VRCNN for compression artifact reduction, both of which serve for regression tasks that natively require high inference accuracy. Our integer networks achieve equivalent performance as the corresponding FPN networks, but have only 1/4 memory cost and run 2x faster on modern GPUs. Our code and models can be found at github.com/HengRuiZ/brelu.


title: Large and Infinitary Quotient Inductive-Inductive Types

abstract: Quotient inductive-inductive types (QIITs) are generalized inductive types which allow sorts to be indexed over previously declared sorts, and allow usage of equality constructors. QIITs are especially useful for algebraic descriptions of type theories and constructive definitions of real, ordinal and surreal numbers. We develop new metatheory for large QIITs, large elimination, recursive equations and infinitary constructors. As in prior work, we describe QIITs using a type theory where each context represents a QIIT signature. However, in our case the theory of signatures can also describe its own signature, modulo universe sizes. We bootstrap the model theory of signatures using self-description and a Church-coded notion of signature, without using complicated raw syntax or assuming an existing internal QIIT of signatures. We give semantics to described QIITs by modeling each signature as a finitely complete CwF (category with families) of algebras. Compared to the case of finitary QIITs, we additionally need to show invariance under algebra isomorphisms in the semantics. We do this by modeling signature types as isofibrations. Finally, we show by a term model construction that every QIIT is constructible from the syntax of the theory of signatures.


title: Verifying Individual Fairness in Machine Learning Models

abstract: We consider the problem of whether a given decision model, working with structured data, has individual fairness. Following the work of Dwork, a model is individually biased (or unfair) if there is a pair of valid inputs which are close to each other (according to an appropriate metric) but are treated differently by the model (different class label, or large difference in output), and it is unbiased (or fair) if no such pair exists. Our objective is to construct verifiers for proving individual fairness of a given model, and we do so by considering appropriate relaxations of the problem. We construct verifiers which are sound but not complete for linear classifiers, and kernelized polynomial/radial basis function classifiers. We also report the experimental results of evaluating our proposed algorithms on publicly available datasets.


title: Acquiring a dimension: from topology to convergence theory

abstract: Convergence theory is an extension of general topology. In contrast with topology, it is closed under some important operations, like exponentiation. With all its advantages, convergence theory remains rather unknown. It is an aim of this paper to make it more familiar to the mathematical community.


title: Achieving Better Kinship Recognition Through Better Baseline

abstract: Recognizing blood relations using face images can be seen as an application of face recognition systems with additional restrictions. These restrictions proved to be difficult to deal with, however, recent advancements in face verification show that there is still much to gain using more data and novel ideas. As a result face recognition is a great source domain from which we can transfer the knowledge to get better performance in kinship recognition as a source domain. We present a new baseline for an automatic kinship recognition task and relatives search based on RetinaFace[1] for face registration and ArcFace[2] face verification model. With the approach described above as the foundation, we constructed a pipeline that achieved state-of-the-art performance on two tracks in the recent Recognizing Families In the Wild Data Challenge.


title: An Entropy-based Proof of Threshold Saturation for Nonbinary SC-LDPC Ensembles on the BEC

abstract: In this paper we are concerned with the asymptotic analysis of nonbinary spatially-coupled low-density parity-check (SC-LDPC) ensembles defined over GL$\left(2^{m}\right)$ (the general linear group of degree $m$ over GF$\left(2\right)$). Our purpose is to prove threshold saturation when the transmission takes place on the binary erasure channel (BEC). To this end, we establish the duality rule for entropy for nonbinary variable-node (VN) and check-node (CN) convolutional operators to accommodate the nonbinary density evolution (DE) analysis. Based on this, we construct the explicit forms of the potential functions for uncoupled and coupled DE recursions. In addition, we show that these functions exhibit similar monotonicity properties as those for binary LDPC and SC-LDPC ensembles over general binary memoryless symmetric (BMS) channels. This leads to the threshold saturation theorem and its converse for nonbinary SC-LDPC ensembles on the BEC, following the proof technique developed by S. Kumar et al.


title: Isometric Gaussian Process Latent Variable Model for Dissimilarity Data

abstract: We present a probabilistic model where the latent variable respects both the distances and the topology of the modeled data. The model leverages the Riemannian geometry of the generated manifold to endow the latent space with a well-defined stochastic distance measure, which is modeled locally as Nakagami distributions. These stochastic distances are sought to be as similar as possible to observed distances along a neighborhood graph through a censoring process. The model is inferred by variational inference based on observations of pairwise distances. We demonstrate how the new model can encode invariances in the learned manifolds.


title: Estimates for initial coefficients of certain bi-univalent functions

abstract: Estimates are obtained for the initial coefficients of a normalized analytic function $f$ in the unit disk $\mathbb{D}$ such that $f$ and the analytic extension of $f^{-1}$ to $\mathbb{D}$ belong to certain subclasses of univalent functions. The bounds obtained improve some existing known bounds.


title: Competitively orientable complete multipartite graphs

abstract: We say that a digraph $D$ is competitive if any pair of vertices has a common out-neighbor in $D$ and that a graph $G$ is competitively orientable if there exists a competitive orientation of $G$. The notion of competitive digraphs arose while studying digraph whose competition graphs are complete. We derive some useful properties of competitively orientable graphs and show that a complete graph of order $n$ is competitively orientable if and only if $n \geq 7$. Then we completely characterize a competitively orientable complete multipartite graph in terms of the sizes of its partite sets. Moreover, we present a way to build a competitive multipartite tournament in each of competitively orientable cases.


title: Radius of Starlikeness for Classes of Analytic Functions

abstract: We consider normalized analytic function $f$ on the open unit disk for which either $\operatorname{Re} f(z)/g(z)>0$, $|f(z) /g(z) - 1|<1$ or $\operatorname{Re} (1-z^2) f(z) /z>0$ for some analytic function $g$ with $\operatorname{Re} (1-z^2) g(z) /z>0$. We have obtained the radii for these functions to belong to various subclasses of starlike functions. The subclasses considered include the classes of starlike functions of order $\alpha$, lemniscate starlike functions and parabolic starlike functions.


title: Eichler-Shimura Relations for Shimura Varieties of Hodge Type

abstract: We show Eicher-Shimura relations for some Shimura varieties of Hodge type, proving a conjecture of Blasius and Rogawski in this case. We show this using a parabolic reduction strategy on the Hecke action on irreducible components of affine Deligne-Lusztig varieties.


title: Wide-field fluorescent nanodiamond spin measurements toward real-time large-area intracellular quantum thermometry

abstract: In this study, we analyze the operational process of nanodiamond (ND) quantum thermometry based on wide-field detection of optically detected magnetic resonance (ODMR) of nitrogen vacancy centers, and compare its performance with that of confocal ODMR detection. We found that (1) the thermometry results are significantly affected by the shape and size of the camera region of interest (ROI) surrounding the target NDs and that (2) by properly managing the ROI and acquisition parameters of the camera, a temperature precision comparable to confocal detection in living cells can be obtained by wide-field ODMR. Our results are significant to the development of camera-based real-time large-area quantum thermometry of living cells.


title: Weak Supervision and Referring Attention for Temporal-Textual Association Learning

abstract: A system capturing the association between video frames and textual queries offer great potential for better video analysis. However, training such a system in a fully supervised way inevitably demands a meticulously curated video dataset with temporal-textual annotations. Therefore we provide a Weak-Supervised alternative with our proposed Referring Attention mechanism to learn temporal-textual association (dubbed WSRA). The weak supervision is simply a textual expression (e.g., short phrases or sentences) at video level, indicating this video contains relevant frames. The referring attention is our designed mechanism acting as a scoring function for grounding the given queries over frames temporally. It consists of multiple novel losses and sampling strategies for better training. The principle in our designed mechanism is to fully exploit 1) the weak supervision by considering informative and discriminative cues from intra-video segments anchored with the textual query, 2) multiple queries compared to the single video, and 3) cross-video visual similarities. We validate our WSRA through extensive experiments for temporally grounding by languages, demonstrating that it outperforms the state-of-the-art weakly-supervised methods notably.


title: Limit theorems for toral translations

abstract: We discuss some classical and recent results and open problems on the statistical behavior of ergodic sums above toral translations, and their applications to Diophantine approximations and to ergodic properties of systems related to quasi-periodic dynamics such as skew products, cylindrical cascades and special flows.


title: Shifting Policy Strategy in Keynesianism

abstract: This paper analyzes the evolution of Keynesianism making use of concepts offered by Imre Lakatos. The Keynesian "hard core" lies in its views regarding the instability of the market economy, its "protective belt" in the policy strategy for macroeconomic stabilization using fiscal policy and monetary policy. Keynesianism developed as a policy program to counter classical liberalism, which attributes priority to the autonomy of the market economy and tries to limit the role of government. In general, the core of every policy program consists in an unfalsifiable worldview and a value judgment that remain unchanged. On the other hand, a policy strategy with a protective belt inevitably evolves owing to changes in reality and advances in scientific knowledge. This is why the Keynesian policy strategy has shifted from being fiscal-led to one that is monetary-led because of the influence of monetarism; further, the Great Recession has even led to their integration.


title: The Economic Costs of Containing a Pandemic

abstract: The coronavirus disease (COVID-19) has caused one of the most serious social and economic losses to countries around the world since the Spanish influenza pandemic of 1918 (during World War I). It has resulted in enormous economic as well as social costs, such as increased deaths from the spread of infection in a region. This is because public regulations imposed by national and local governments to deter the spread of infection inevitably involves a deliberate suppression of the level of economic activity. Given this trade-off between economic activity and epidemic prevention, governments should execute public interventions to minimize social and economic losses from the pandemic. A major problem regarding the resultant economic losses is that it unequally impacts certain strata of the society. This raises an important question on how such economic losses should be shared equally across the society. At the same time, there is some antipathy towards economic compensation by means of public debt, which is likely to increase economic burden in the future. However, as Paul Samuelson once argued, much of the burden, whether due to public debt or otherwise, can only be borne by the present generation, and not by future generations.


title: Sample Factory: Egocentric 3D Control from Pixels at 100000 FPS with Asynchronous Reinforcement Learning

abstract: Increasing the scale of reinforcement learning experiments has allowed researchers to achieve unprecedented results in both training sophisticated agents for video games, and in sim-to-real transfer for robotics. Typically such experiments rely on large distributed systems and require expensive hardware setups, limiting wider access to this exciting area of research. In this work we aim to solve this problem by optimizing the efficiency and resource utilization of reinforcement learning algorithms instead of relying on distributed computation. We present the "Sample Factory", a high-throughput training system optimized for a single-machine setting. Our architecture combines a highly efficient, asynchronous, GPU-based sampler with off-policy correction techniques, allowing us to achieve throughput higher than $10^5$ environment frames/second on non-trivial control problems in 3D without sacrificing sample efficiency. We extend Sample Factory to support self-play and population-based training and apply these techniques to train highly capable agents for a multiplayer first-person shooter game. The source code is available at https://github.com/alex-petrenko/sample-factory


title: A method of composition orthogonality and new sequences of orthogonal polynomials and functions for non-classical weights

abstract: A new method of composition orthogonality is introduced. It is applied to generate new sequences of orthogonal polynomials and functions. In particular, classical orthogonal polynomials are interpreted in the sense of composition orthogonality. Finally, new sequences of orthogonal polynomials with respect to the weight function $x^\alpha \rho^2_\nu(x), \rho_{\nu}(x)= 2 x^{\nu/2} K_\nu(2\sqrt x),\ x >0, \nu \ge 0, \alpha > -1$, where $K_\nu(z)$ is the modified Bessel function or Macdonald function, are investigated. Differential properties, recurrence relations, explicit representations, generating functions and Rodrigues-type formulae are obtained. The corresponding multiple orthogonal polynomials are exhibited.


title: The $*$-Markov equation for Laurent polynomials

abstract: We consider the $*$-Markov equation for the symmetric Laurent polynomials in three variables with integer coefficients, which is an equivariant analog of the classical Markov equation for integers. We study how the properties of the Markov equation and its solutions are reflected in the properties of the $*$-Markov equation and its solutions.


title: Regression and Causality

abstract: The causal effect of an intervention (treatment/exposure) on an outcome can be estimated by: i) specifying knowledge about the data-generating process; ii) assessing under what assumptions a target quantity, such as for example a causal odds ratio, can be identified given the specified knowledge (and given the measured data); and then, iii) using appropriate statistical estimation techniques to estimate the desired parameter of interest. As regression is the cornerstone of statistical analysis, it seems obvious to ask: is it appropriate to use estimated regression parameters for causal effect estimation? It turns out that using regression for effect estimation is possible, but typically requires more assumptions than competing methods. This manuscript provides a comprehensive summary of the assumptions needed to identify and estimate a causal parameter using regression and, equally important, discusses the resulting implications for statistical practice.


title: Anomalous Platelet Transport & Fat-Tailed Distributions

abstract: The transport of platelets in blood is commonly assumed to obey an advection-diffusion equation. Here we propose a disruptive view, by showing that the random part of their velocity is governed by a fat-tailed probability distribution, usually referred to as a L\'evy flight. Although for small spatio-temporal scales, it is hard to distinguish it from the generally accepted "red blood cell enhanced" Brownian motion, for larger systems this effect is dramatic as the standard approach may underestimate the flux of platelets by several orders of magnitude, compromising in particular the validity of current platelet function tests.


title: On the boundary properties of Bernstein estimators on the simplex

abstract: In this paper, we study the asymptotic properties (bias, variance, mean squared error) of Bernstein estimators for cumulative distribution functions and density functions near and on the boundary of the $d$-dimensional simplex. Our results generalize those found by Leblanc (2012), who treated the case $d=1$, and complement the results from Ouimet (2021) in the interior of the simplex. Since the "edges" of the $d$-dimensional simplex have dimensions going from $0$ (vertices) up to $d - 1$ (facets) and our kernel function is multinomial, the asymptotic expressions for the bias, variance and mean squared error are not straightforward extensions of one-dimensional asymptotics as they would be for product-type estimators studied by almost all past authors in the context of Bernstein estimators or asymmetric kernel estimators. This point makes the mathematical analysis much more interesting.


title: Methodology for Building Synthetic Datasets with Virtual Humans

abstract: Recent advances in deep learning methods have increased the performance of face detection and recognition systems. The accuracy of these models relies on the range of variation provided in the training data. Creating a dataset that represents all variations of real-world faces is not feasible as the control over the quality of the data decreases with the size of the dataset. Repeatability of data is another challenge as it is not possible to exactly recreate 'real-world' acquisition conditions outside of the laboratory. In this work, we explore a framework to synthetically generate facial data to be used as part of a toolchain to generate very large facial datasets with a high degree of control over facial and environmental variations. Such large datasets can be used for improved, targeted training of deep neural networks. In particular, we make use of a 3D morphable face model for the rendering of multiple 2D images across a dataset of 100 synthetic identities, providing full control over image variations such as pose, illumination, and background.


title: Electromagnetic pulse emission from target holders during short-pulse laser interactions

abstract: For the first time, a global model of electromagnetic pulse (EMP) emission connects charge separation in the laser target to quantitative measurements of the electromagnetic field. We present a frequency-domain dipole antenna model which predicts the quantity of charge accumulated in a laser target as well as the EMP amplitude and frequency. The model is validated against measurements from several high-intensity laser facilities, providing insight into target physics and informing the design of next-generation ultra-intense laser facilities. EMP amplitude is proportional to the total charge accumulated on the target, but we demonstrate that it is not directly affected by target charging time (and therefore the laser pulse duration) provided the charging time is shorter than the antenna characteristic time. We propose two independent methods for estimating the charging time based on the laser pulse duration. We also investigate the impact of target holder geometry on EMPs using cylindrical, conical and helical holders.


title: Conditional Normal Extreme-Value Copulas

abstract: We propose a new class of extreme-value copulas which are extreme-value limits of conditional normal models. Conditional normal models are generalizations of conditional independence models, where the dependence among observed variables is modeled using one unobserved factor. Conditional on this factor, the distribution of these variables is given by the Gaussian copula. This structure allows one to build flexible and parsimonious models for data with complex dependence structures, such as data with spatial dependence or factor structure. We study the extreme-value limits of these models and show some interesting special cases of the proposed class of copulas. We develop estimation methods for the proposed models and conduct a simulation study to assess the performance of these algorithms. Finally, we apply these copula models to analyze data on monthly wind maxima and stock return minima.


title: Feasibility and physics potential of detecting $^8$B solar neutrinos at JUNO

abstract: The Jiangmen Underground Neutrino Observatory~(JUNO) features a 20~kt multi-purpose underground liquid scintillator sphere as its main detector. Some of JUNO's features make it an excellent experiment for $^8$B solar neutrino measurements, such as its low-energy threshold, its high energy resolution compared to water Cherenkov detectors, and its much large target mass compared to previous liquid scintillator detectors. In this paper we present a comprehensive assessment of JUNO's potential for detecting $^8$B solar neutrinos via the neutrino-electron elastic scattering process. A reduced 2~MeV threshold on the recoil electron energy is found to be achievable assuming the intrinsic radioactive background $^{238}$U and $^{232}$Th in the liquid scintillator can be controlled to 10$^{-17}$~g/g. With ten years of data taking, about 60,000 signal and 30,000 background events are expected. This large sample will enable an examination of the distortion of the recoil electron spectrum that is dominated by the neutrino flavor transformation in the dense solar matter, which will shed new light on the tension between the measured electron spectra and the predictions of the standard three-flavor neutrino oscillation framework. If $\Delta m^{2}_{21}=4.8\times10^{-5}~(7.5\times10^{-5})$~eV$^{2}$, JUNO can provide evidence of neutrino oscillation in the Earth at the about 3$\sigma$~(2$\sigma$) level by measuring the non-zero signal rate variation with respect to the solar zenith angle. Moveover, JUNO can simultaneously measure $\Delta m^2_{21}$ using $^8$B solar neutrinos to a precision of 20\% or better depending on the central value and to sub-percent precision using reactor antineutrinos. A comparison of these two measurements from the same detector will help elucidate the current tension between the value of $\Delta m^2_{21}$ reported by solar neutrino experiments and the KamLAND experiment.


title: Circuit implementation of bucket brigade qRAM for quantum state preparation

abstract: In this short review I aim to explain how we can construct a circuit implementation of the bucketbrigade qRAM first proposed in [1]. Used with classical data, this qRAM model can be used incombination with the quantum accessible data structure [2] to prepare arbitrary quantum statesquickly and repeatedly, once the data to be prepared is in memory