title: Growth on multiple interactive-essential resources in a self-cycling fermentor: An impulsive differential equations approach

abstract: We introduce a model of the growth of a single microorganism in a self-cycling fermentor in which an arbitrary number of resources are limiting, and impulses are triggered when the concentration of one specific substrate reaches a predetermined level. The model is in the form of a system of impulsive differential equations. We consider the operation of the reactor to be successful if it cycles indefinitely without human intervention and derive conditions for this to occur. In this case, the system of impulsive differential equations has a periodic solution. We show that success is equivalent to the convergence of solutions to this periodic solution. We provide conditions that ensure that a periodic solution exists. When it exists, it is unique and attracting. However, we also show that whether a solution converges to this periodic solution, and hence whether the model predicts that the reactor operates successfully, is initial condition dependent. The analysis is illustrated with numerical examples.


title: Pulse-assisted magnetization switching in magnetic nanowires at picosecond and nanosecond timescales with low energy

abstract: Detailed understanding of spin dynamics in magnetic nanomaterials is necessary for developing ultrafast, low-energy and high-density spintronic logic and memory. Here, we develop micromagnetic models and analytical solutions to elucidate the effect of increasing damping and uniaxial anisotropy on magnetic field pulse-assisted switching time, energy and field requirements of nanowires with perpendicular magnetic anisotropy and yttrium iron garnet-like spin transport properties. A nanowire is initially magnetized using an external magnetic field pulse (write) and self-relaxation. Next, magnetic moments exhibit deterministic switching upon receiving 2.5 ns-long external magnetic pulses in both vertical polarities. Favorable damping ({\alpha}~0.1-0.5) and anisotropy energies (10^4-10^5 J m^-3) allow for as low as picosecond magnetization switching times. Magnetization reversal with fields below coercivity was observed using spin precession instabilities. A competition or a nanomagnetic trilemma arises among the switching rate, energy cost and external field required. Developing magnetic nanowires with optimized damping and effective anisotropy could reduce the switching energy barrier down to 3163kBT at room temperature. Thus, pulse-assisted picosecond and low energy switching in nanomagnets could enable ultrafast nanomagnetic logic and cellular automata.


title: Dynamo action in sliding plates of anisotropic electrical conductivity

abstract: With materials of anisotropic electrical conductivity, it is possible to generate a dynamo with a simple velocity field, of the type precluded by Cowling's theorems with isotropic materials. Following a previous study by Ruderman and Ruzmaikin [1] who considered the dynamo effect induced by a uniform shear flow, we determine the conditions for the dynamo threshold when a solid plate is sliding over another one, both with anisotropic electrical conductivity. We obtain numerical solutions for a general class of anisotropy and obtain the conditions for the lowest magnetic Reynolds number, using a collocation Chebyshev method. In a particular geometry of anisotropy and wavenumber, we also derive an analytical solution, where the eigenvectors are just combinations of four exponential functions. An explicit analytical expression is obtained for the critical magnetic Reynold number. Above the critical magnetic Reynold number, we have also derived an analytical expression for the growth rate showing that this is a 'very fast' dynamo, extrapolating on the 'slow' and 'fast' terminology introduced by Vainshtein and Zeldovich [2].


title: Thouless conductances of a three-dimensional quantum Hall system

abstract: We investigate the longitudinal conductance of a disordered three-dimensional (3D) quantum Hall system within a tight-binding lattice model using numerical Thouless conductance calculations. For the bulk, we confirm that the mobility edges are independent of the propagating directions in this anisotropic system. As disorder increases, the conductance peak of the lowest subband in the horizontal direction floats to the central subband as in the two-dimensional (2D) case, while there is no clear evidence of floating in the vertical direction. We thus conclude that for extended states, the longitudinal conductance in the vertical direction behaves like a quasi-one-dimensional (1D) normal metal, while the longitudinal conductance in the horizontal direction is controlled by layered conducting states stacked coherently. Inside the quantum Hall gap, we study the novel 2D chiral surface states at the sidewalls of the sample. We demonstrate the crossover of the surface states between the quasi-1D metal and insulator regimes, which can be achieved by modifying the interlayer hopping strength and the disorder strength in the model. The typical behaviors of the Thouless conductance and the wave functions of the surface states in these two regimes are investigated. Finally, in order to predict the regime of the surface states for arbitrary parameters, we determine an explicit relationship between the localization length of surface states and the microscopic parameters of the model.


title: Congestion-aware Evacuation Routing using Augmented Reality Devices

abstract: We present a congestion-aware routing solution for indoor evacuation, which produces real-time individual-customized evacuation routes among multiple destinations while keeping tracks of all evacuees' locations. A population density map, obtained on-the-fly by aggregating locations of evacuees from user-end Augmented Reality (AR) devices, is used to model the congestion distribution inside a building. To efficiently search the evacuation route among all destinations, a variant of A* algorithm is devised to obtain the optimal solution in a single pass. In a series of simulated studies, we show that the proposed algorithm is more computationally optimized compared to classic path planning algorithms; it generates a more time-efficient evacuation route for each individual that minimizes the overall congestion. A complete system using AR devices is implemented for a pilot study in real-world environments, demonstrating the efficacy of the proposed approach.


title: Hierarchical Multi Task Learning with Subword Contextual Embeddings for Languages with Rich Morphology

abstract: Morphological information is important for many sequence labeling tasks in Natural Language Processing (NLP). Yet, existing approaches rely heavily on manual annotations or external software to capture this information. In this study, we propose using subword contextual embeddings to capture the morphological information for languages with rich morphology. In addition, we incorporate these embeddings in a hierarchical multi-task setting which is not employed before, to the best of our knowledge. Evaluated on Dependency Parsing (DEP) and Named Entity Recognition (NER) tasks, which are shown to benefit greatly from morphological information, our final model outperforms previous state-of-the-art models on both tasks for the Turkish language. Besides, we show a net improvement of 18.86% and 4.61% F-1 over the previously proposed multi-task learner in the same setting for the DEP and the NER tasks, respectively. Empirical results for five different MTL settings show that incorporating subword contextual embeddings brings significant improvements for both tasks. In addition, we observed that multi-task learning consistently improves the performance of the DEP component.


title: Joint Inference of States, Robot Knowledge, and Human (False-)Beliefs

abstract: Aiming to understand how human (false-)belief--a core socio-cognitive ability--would affect human interactions with robots, this paper proposes to adopt a graphical model to unify the representation of object states, robot knowledge, and human (false-)beliefs. Specifically, a parse graph (pg) is learned from a single-view spatiotemporal parsing by aggregating various object states along the time; such a learned representation is accumulated as the robot's knowledge. An inference algorithm is derived to fuse individual pg from all robots across multi-views into a joint pg, which affords more effective reasoning and inference capability to overcome the errors originated from a single view. In the experiments, through the joint inference over pg-s, the system correctly recognizes human (false-)belief in various settings and achieves better cross-view accuracy on a challenging small object tracking dataset.


title: Majorana bound states and zero-bias conductance peaks in superconductor/semiconductor nanowire devices

abstract: Theoretical research suggests a emergence of the Majorana bound states at the ends of the nanowires. Experimental verifications of said concept has already been executed, e.g., in superconductor/semiconductor nanowire devices where interplay between superconducting gap, spin-orbit coupling and external magnetic field allows for creation of zero-energy bound states. Recent experiments propose a topological phase diagram by local modification of the effective chemical potential. We discuss this possibility, using a model of experimental system in form of semi-infinite S/N junction. We calculate the zero--bias differential conductance $G$ in the case of the homogeneous system, as well as in the presence of the gate voltage. Relation between conductance and the effective gap in the system is investigated. We show that $G$ can reproduce the topological phase diagram in magnetic field vs. gate voltage space of parameters.


title: Agent-Level Pandemic Simulation (ALPS) for Analyzing Effects of Lockdown Measures

abstract: This paper develops an agent-level simulation model, termed ALPS, for simulating the spread of an infectious disease in a confined community. The mechanism of transmission is agent-to-agent contact, using parameters reported for Corona COVID-19 pandemic. The main goal of the ALPS simulation is analyze effects of preventive measures -- imposition and lifting of lockdown norms -- on the rates of infections, fatalities and recoveries. The model assumptions and choices represent a balance between competing demands of being realistic and being efficient for real-time inferences. The model provides quantification of gains in reducing casualties by imposition and maintenance of restrictive measures in place.


title: Regimes of thermo-compositional convection and related dynamos in rotating spherical shells

abstract: Convection and magnetic field generation in the Earth and planetary interiors are driven by both thermal and compositional gradients. In this work numerical simulations of finite-amplitude double-diffusive convection and dynamo action in rapidly rotating spherical shells full of incompressible two-component electrically-conducting fluid are reported. Four distinct regimes of rotating double-diffusive convection identified in a recent linear analysis (Silva et al., 2019, Geophys. Astrophys. Fluid Dyn., doi:10.1080/03091929.2019.1640875) are found to persist significantly beyond the onset of instability while their regime transitions remain abrupt. In the semi-convecting and the fingering regimes characteristic flow velocities are small compared to those in the thermally- and compositionally-dominated overturning regimes, while zonal flows remain weak in all regimes apart from the thermally-dominated one. Compositionally-dominated overturning convection exhibits significantly narrower azimuthal structures compared to all other regimes while differential rotation becomes the dominant flow component in the thermally-dominated case as driving is increased. Dynamo action occurs in all regimes apart from the regime of fingering convection. While dynamos persist in the semi-convective regime they are very much impaired by small flow intensities and very weak differential rotation in this regime which makes poloidal to toroidal field conversion problematic. The dynamos in the thermally-dominated regime include oscillating dipolar, quadrupolar and multipolar cases similar to the ones known from earlier parameter studies. Dynamos in the compositionally-dominated regime exhibit subdued temporal variation and remain predominantly dipolar due to weak zonal flow in this regime. These results significantly enhance our understanding of the primary drivers of planetary core flows and magnetic fields.


title: Calculation of the Optimal Installation Angle for Seasonal Adjusting of PV Panels Based on Solar Radiation Prediction

abstract: An important parameter that affects PV panel performance of a solar power system is the incident solar radiation with the panel or panel's area of exposure to the sun. The direction and tilt angle of a PV panel are two important factors in PV system design. This paper itself presents the calculation of the optimum installation angles for the seasonal adjusting of solar cell panels considering apparent motion of the sun. Daily adjusting for optimal tilt angle can increase the received energy from the sun. However, making trade-off is required because changing the panel angle daily costs lots of endeavour, so we designed seasonal angles for installation of panels.


title: Mechanical and thermodynamical properties of $\beta-Cu-Al-Mn$ alloys along the $Cu_3Al \to Cu_2AlMn$ compositional line

abstract: The elastic properties of $Cu-Al-Mn$ alloys with compositions along the $Cu_3Al \to Cu_2AlMn$ line and $bcc$-based structures, are studied by means of first-principles calculations. From the calculated elastic constants, the Zener's anisotropy, sound velocities and Debye temperature are determined. The theoretical results compare well with the available experimental data. The influence of vibrations is introduced through the quasi-harmonic Debye model, and different properties are studied as functions of temperature and composition.


title: Privacy in Deep Learning: A Survey

abstract: The ever-growing advances of deep learning in many areas including vision, recommendation systems, natural language processing, etc., have led to the adoption of Deep Neural Networks (DNNs) in production systems. The availability of large datasets and high computational power are the main contributors to these advances. The datasets are usually crowdsourced and may contain sensitive information. This poses serious privacy concerns as this data can be misused or leaked through various vulnerabilities. Even if the cloud provider and the communication link is trusted, there are still threats of inference attacks where an attacker could speculate properties of the data used for training, or find the underlying model architecture and parameters. In this survey, we review the privacy concerns brought by deep learning, and the mitigating techniques introduced to tackle these issues. We also show that there is a gap in the literature regarding test-time inference privacy, and propose possible future research directions.


title: TPNet: Trajectory Proposal Network for Motion Prediction

abstract: Making accurate motion prediction of the surrounding traffic agents such as pedestrians, vehicles, and cyclists is crucial for autonomous driving. Recent data-driven motion prediction methods have attempted to learn to directly regress the exact future position or its distribution from massive amount of trajectory data. However, it remains difficult for these methods to provide multimodal predictions as well as integrate physical constraints such as traffic rules and movable areas. In this work we propose a novel two-stage motion prediction framework, Trajectory Proposal Network (TPNet). TPNet first generates a candidate set of future trajectories as hypothesis proposals, then makes the final predictions by classifying and refining the proposals which meets the physical constraints. By steering the proposal generation process, safe and multimodal predictions are realized. Thus this framework effectively mitigates the complexity of motion prediction problem while ensuring the multimodal output. Experiments on four large-scale trajectory prediction datasets, i.e. the ETH, UCY, Apollo and Argoverse datasets, show that TPNet achieves the state-of-the-art results both quantitatively and qualitatively.


title: A Self-powered Analog Sensor-data-logging Device based on Fowler-Nordheim Dynamical Systems

abstract: Continuous, battery-free operation of sensor nodes requires ultra-low-power sensing and data-logging techniques. Here we report that by directly coupling a sensor/transducer signal into globally asymptotically stable monotonic dynamical systems based on Fowler-Nordheim quantum tunneling, one can achieve self-powered sensing at an energy budget that is currently unachievable using conventional energy harvesting methods. The proposed device uses a differential architecture to compensate for environmental variations and the device can retain sensed information for durations ranging from hours to days. With a theoretical operating energy budget less than 10 attojoules, we demonstrate that when integrated with a miniature piezoelectric transducer the proposed sensor-data-logger can measure cumulative "action" due to ambient mechanical acceleration without any additional external power.


title: An Evertse-Ferretti Nevanlinna constant and its consequences

abstract: In this paper, we introduce the notion of an Evertse-Ferretti Nevanlinna constant and compare it with the birational Nevanlinna constant introduced by the authors in a recent joint paper. We then use it to recover several previously known results. This includes a 1999 example of Faltings from his Baker's Garden article.


title: How to hide a clique?

abstract: In the well known planted clique problem, a clique (or alternatively, an independent set) of size $k$ is planted at random in an Erdos-Renyi random $G(n, p)$ graph, and the goal is to design an algorithm that finds the maximum clique (or independent set) in the resulting graph. We introduce a variation on this problem, where instead of planting the clique at random, the clique is planted by an adversary who attempts to make it difficult to find the maximum clique in the resulting graph. We show that for the standard setting of the parameters of the problem, namely, a clique of size $k = \sqrt{n}$ planted in a random $G(n, \frac{1}{2})$ graph, the known polynomial time algorithms can be extended (in a non-trivial way) to work also in the adversarial setting. In contrast, we show that for other natural settings of the parameters, such as planting an independent set of size $k=\frac{n}{2}$ in a $G(n, p)$ graph with $p = n^{-\frac{1}{2}}$, there is no polynomial time algorithm that finds an independent set of size $k$, unless NP has randomized polynomial time algorithms.


title: Evolving Pinched Submanifolds of the Sphere by Mean Curvature Flow

abstract: In this paper, we prove convergence of the high codimension mean curvature flow in the sphere to either a round point or a totally geodesic sphere assuming a pinching condition between the norm squared of the second fundamental form and the norm squared of the mean curvature and the background curvature of the sphere. We show that this pinching is sharp for dimension $n\geq 4$ but is not sharp for dimension $n=2,3$. For dimension $n=2$ and codimension $2$, we consider an alternative pinching condition which includes the normal curvature of the normal bundle. Finally, we sharpen the Chern-do Carmo-Kobayashi curvature condition for surfaces in the four sphere - this curvature condition is sharp for minimal surfaces and we conjecture it to be sharp for curvature flows in the sphere.


title: Learning to Autofocus

abstract: Autofocus is an important task for digital cameras, yet current approaches often exhibit poor performance. We propose a learning-based approach to this problem, and provide a realistic dataset of sufficient size for effective learning. Our dataset is labeled with per-pixel depths obtained from multi-view stereo, following "Learning single camera depth estimation using dual-pixels". Using this dataset, we apply modern deep classification models and an ordinal regression loss to obtain an efficient learning-based autofocus technique. We demonstrate that our approach provides a significant improvement compared with previous learned and non-learned methods: our model reduces the mean absolute error by a factor of 3.6 over the best comparable baseline algorithm. Our dataset and code are publicly available.


title: Enabling Fast and Universal Audio Adversarial Attack Using Generative Model

abstract: Recently, the vulnerability of DNN-based audio systems to adversarial attacks has obtained the increasing attention. However, the existing audio adversarial attacks allow the adversary to possess the entire user's audio input as well as granting sufficient time budget to generate the adversarial perturbations. These idealized assumptions, however, makes the existing audio adversarial attacks mostly impossible to be launched in a timely fashion in practice (e.g., playing unnoticeable adversarial perturbations along with user's streaming input). To overcome these limitations, in this paper we propose fast audio adversarial perturbation generator (FAPG), which uses generative model to generate adversarial perturbations for the audio input in a single forward pass, thereby drastically improving the perturbation generation speed. Built on the top of FAPG, we further propose universal audio adversarial perturbation generator (UAPG), a scheme crafting universal adversarial perturbation that can be imposed on arbitrary benign audio input to cause misclassification. Extensive experiments show that our proposed FAPG can achieve up to 167X speedup over the state-of-the-art audio adversarial attack methods. Also our proposed UAPG can generate universal adversarial perturbation that achieves much better attack performance than the state-of-the-art solutions.


title: Transmission electron microscopy of organic-inorganic hybrid perovskites: myths and truths

abstract: Organic-inorganic hybrid perovskites (OIHPs) have attracted extensive research interest as a promising candidate for efficient and inexpensive solar cells. Transmission electron microscopy characterizations that can benefit the fundamental understanding and the degradation mechanism are widely used for these materials. However, their sensitivity to the electron beam illumination and hence structural instabilities usually prevent us from obtaining the intrinsic information or even lead to significant artifacts. Here, we systematacially investigate the structural degradation behaviors under different experimental factors to reveal the optimized conditions for TEM characterizations of OIHPs by using low-dose electron diffraction and imaging techniques. We find that a low temperature does not slow down the beam damage but instead induces a rapid amorphization for OIHPs. Moreover, a less severe damage is observed at a higher accelerating voltage. The beam-sensitivity is found to be facet-dependent that a (100) exposed MAPbI3 surface is more stable than (001) surface. With these guidance, we successfully acquire the atomic structure of pristine MAPbI3 and identify the characterization window that is very narrow. These findings are helpful to guide future electron microscopy characterization of these beam-sensitive materials, which are also useful for finding strategies to improve the stability and the performance of the perovskite solar cells.


title: Global Dynamics and Existence of Traveling Wave Solutions for A Three-Species Models

abstract: In this work, we investigate the system of three species ecological model involving one predator-prey subsystem coupling with a generalist predator with negative effect on the prey. Without diffusive terms, all global dynamics of its corresponding reaction equations are proved analytically for all classified parameters. With diffusive terms, the transitions of different spatial homogeneous solutions, the traveling wave solutions, are showed by higher dimensional shooting method, the Wazewski method. Some interesting numerical simulations are performed, and biological implications are given.


title: A novel encryption algorithm using multiple semifield S-boxes based on permutation of symmetric group

abstract: With the tremendous benefits of internet and advanced communications, there is a serious threat from the data security perspective. There is a need of secure and robust encryption algorithm that can be implemented on each and diverse software and hardware platforms. Also, in block symmetric encryption algorithms, substitution boxes are the most vital part. In this paper, we investigate semifield substitution boxes using permutation of symmetric group on a set of size 8 S_8 and establish an effective procedure for generating S_8 semifield substitution boxes having same algebraic properties. Further, the strength analysis of the generated substitution boxes is carried out using the well-known standards namely bijectivity, nonlinearity, strict avalanche criterion, bit independence criterion, XOR table and differential invariant. Based on the analysis results, it is shown that the cryptographic strength of generated substitution boxes is on par with the best known $8\times 8$ substitution boxes. As application, an encryption algorithm is proposed that can be employed to strengthen any kind of secure communication. The presented algorithm is mainly based on the Shannon idea of (S-P) network where the process of substitution is performed by the proposed S_8 semifield substitution boxes and permutation operation is performed by the binary cyclic shift of substitution box transformed data. In addition, the proposed encryption algorithm utilizes two different chaotic maps. In order to ensure the appropriate utilization of these chaotic maps, we carry out in-depth analyses of their behavior in the context of secure communication and apply the pseudo-random sequences of chaotic maps in the proposed image encryption algorithm accordingly. The statistical and simulation results imply that our encryption scheme is secure against different attacks and can resist linear and differential cryptanalysis.


title: Causal Mediation Analysis for Interpreting Neural NLP: The Case of Gender Bias

abstract: Common methods for interpreting neural models in natural language processing typically examine either their structure or their behavior, but not both. We propose a methodology grounded in the theory of causal mediation analysis for interpreting which parts of a model are causally implicated in its behavior. It enables us to analyze the mechanisms by which information flows from input to output through various model components, known as mediators. We apply this methodology to analyze gender bias in pre-trained Transformer language models. We study the role of individual neurons and attention heads in mediating gender bias across three datasets designed to gauge a model's sensitivity to gender bias. Our mediation analysis reveals that gender bias effects are (i) sparse, concentrated in a small part of the network; (ii) synergistic, amplified or repressed by different components; and (iii) decomposable into effects flowing directly from the input and indirectly through the mediators.


title: Muon conversion to electron in nuclei in Minimal R-symmetric Supersymmetric Standard Model

abstract: We analyze the lepton flavor violating process $\mu-e$ conversion in the framework of the minimal R-symmetric supersymmetric standard model. The theoretical predictions are determined by considering the experimental constraint on parameter $\delta^{12}$ from the lepton flavor violating decay $\mu\rightarrow e \gamma$. The numerical results show that $\gamma$ penguins and Z penguins dominate the predictions on CR($\mu-e$,Nucleus), and the contributions from Higgs penguins and box diagrams are insignificant. The theoretical predictions on conversion rate CR($\mu-e$,Nucleus) in a Al or Ti target can be enhanced close to the future experimental sensitivities and are very promising to be observed in near future experiment.


title: Early Optical Observations of GRB 150910A: Bright Jet Optical Afterglow and X-ray Dipole Radiation from a Magnetar Central Engine

abstract: Gamma-ray burst (GRB) 150910A was detected by {\it Swift}/BAT, and then rapidly observed by {\it Swift}/XRT, {\it Swift}/UVOT, and ground-based telescopes. We report Lick Observatory spectroscopic and photometric observations of GRB~150910A, and we investigate the physical origins of both the optical and X-ray afterglows, incorporating data obtained with BAT and XRT. The light curves show that the jet emission episode lasts $\sim 360$~s with a sharp pulse from BAT to XRT (Episode I). In Episode II, the optical emission has a smooth onset bump followed by a normal decay ($\alpha_{\rm R,2} \approx -1.36$), as predicted in the standard external shock model, while the X-ray emission exhibits a plateau ($\alpha_{\rm X,1} \approx -0.36$) followed by a steep decay ($\alpha_{\rm X,2} \approx -2.12$). The light curves show obvious chromatic behavior with an excess in the X-ray flux. Our results suggest that GRB 150910A is an unusual GRB driven by a newly-born magnetar with its extremely energetic magnetic dipole (MD) wind in Episode II, which overwhelmingly dominates the observed early X-ray plateau. The radiative efficiency of the jet prompt emission is $\eta_{\gamma} \approx 11\%$. The MD wind emission was detected in both the BAT and XRT bands, making it the brightest among the current sample of MD winds seen by XRT. We infer the initial spin period ($P_0$) and the surface polar cap magnetic field strength ($B_p$) of the magnetar as $1.02 \times 10^{15}~{\rm G} \leq B_{p} \leq 1.80 \times 10^{15}~{\rm G}$ and 1~ms $\leq P_{0}v\leq 1.77$~ms, and the radiative efficiency of the wind is $\eta_w \geq 32\%$.


title: Quasi-Monte Carlo finite element analysis for wave propagation in heterogeneous random media

abstract: We propose and analyze a quasi-Monte Carlo (QMC) algorithm for efficient simulation of wave propagation modeled by the Helmholtz equation in a bounded region in which the refractive index is random and spatially heterogenous. Our focus is on the case in which the region can contain multiple wavelengths. We bypass the usual sign-indefiniteness of the Helmholtz problem by switching to an alternative sign-definite formulation recently developed by Ganesh and Morgenstern (Numerical Algorithms, 83, 1441-1487, 2020). The price to pay is that the regularity analysis required for QMC methods becomes much more technical. Nevertheless we obtain a complete analysis with error comprising stochastic dimension truncation error, finite element error and cubature error, with results comparable to those obtained for the diffusion problem.


title: Convergence of viscosity solutions of generalized contact Hamilton-Jacobi equations

abstract: For any compact connected manifold $M$, we consider the generalized contact Hamiltonian $H(x,p,u)$ defined on $T^*M\times\mathbb R$ which is conex in $p$ and monotonically increasing in $u$. Let $u_\epsilon^-:M\rightarrow\mathbb R$ be the viscosity solution of the parametrized contact Hamilton-Jacobi equation \[ H(x,\partial_x u_\epsilon^-(x),\epsilon u_\epsilon^-(x))=c(H) \] with $c(H)$ being the Ma\~n\'e Critical Value. We prove that $u_\epsilon^-$ converges uniformly, as $\epsilon\rightarrow 0_+$, to a specfic viscosity solution $u_0^-$ of the critical equation \[ H(x,\partial_x u_0^-(x),0)=c(H) \] which can be characterized as a minimal combination of associated Peierls barrier functions.


title: Development of a High Fidelity Simulator for Generalised Photometric Based Space Object Classification using Machine Learning

abstract: This paper presents the initial stages in the development of a deep learning classifier for generalised Resident Space Object (RSO) characterisation that combines high-fidelity simulated light curves with transfer learning to improve the performance of object characterisation models that are trained on real data. The classification and characterisation of RSOs is a significant goal in Space Situational Awareness (SSA) in order to improve the accuracy of orbital predictions. The specific focus of this paper is the development of a high-fidelity simulation environment for generating realistic light curves. The simulator takes in a textured geometric model of an RSO as well as the objects ephemeris and uses Blender to generate photo-realistic images of the RSO that are then processed to extract the light curve. Simulated light curves have been compared with real light curves extracted from telescope imagery to provide validation for the simulation environment. Future work will involve further validation and the use of the simulator to generate a dataset of realistic light curves for the purpose of training neural networks.


title: Low-Complexity Switch Scheduling Algorithms: Delay Optimality in Heavy Traffic

abstract: Motivated by applications in data center networks, in this paper, we study the problem of scheduling in an input queued switch. While throughput maximizing algorithms in a switch are well-understood, delay analysis was developed only recently. It was recently shown that the well-known MaxWeight algorithm achieves optimal scaling of mean queue lengths in steady state in the heavy-traffic regime, and is within a factor less than $2$ of a universal lower bound. However, MaxWeight is not used in practice because of its high time complexity. In this paper, we study several low complexity algorithms and show that their heavy-traffic performance is identical to that of MaxWeight. We first present a negative result that picking a random schedule does not have optimal heavy-traffic scaling of queue lengths even under uniform traffic. We then show that if one picks the best among two matchings or modifies a random matching even a little, using the so-called flip operation, it leads to MaxWeight like heavy-traffic performance under uniform traffic. We then focus on the case of non-uniform traffic and show that a large class of low time complexity algorithms have the same heavy-traffic performance as MaxWeight, as long as it is ensured that a MaxWeight matching is picked often enough. We also briefly discuss the performance of these algorithms in the large scale heavy-traffic regime when the size of the switch increases simultaneously with the load. Finally, we perform empirical study on a new algorithm to compare its performance with some existing algorithms.


title: Mass distribution of magnetized quark-nugget dark matter and comparison with observations

abstract: Quark nuggets are a candidate for dark matter consistent with the Standard Model. Previous models of quark nuggets have investigated properties arising from their being composed of strange, up, and down quarks and have not included any effects caused by their self-magnetic field. However, Tatsumi found that the core of a magnetar star may be a quark nugget in a ferromagnetic state with core magnetic field B between $10^{ 11}$ T and $10^{ 13}$ T. We apply Tatsumi$'$s result to quark-nugget dark-matter and report results on aggregation of magnetized quark nuggets (MQNs) after formation from the quark-gluon plasma until expansion of the universe freezes out the mass distribution to include $10^{ -24}$ kg to $10^{ 14}$ kg. Aggregation overcomes weak-interaction decay. Computed mass distributions show MQNs are consistent with requirements for dark matter and indicate that geologic detectors (craters in peat bogs) and space-based detectors (satellites measuring radio-frequency emissions after passage through normal matter) should be able to detect MQN dark matter. Null and positive observations narrow the range of a key parameter B to between $10^{ 11}$ T and 3 $10^{ 13}$ T.


title: Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach

abstract: The vulnerability of artificial intelligence (AI) and machine learning (ML) against adversarial disturbances and attacks significantly restricts their applicability in safety-critical systems including cyber-physical systems (CPS) equipped with neural network components at various stages of sensing and control. This paper addresses the reachable set estimation and safety verification problems for dynamical systems embedded with neural network components serving as feedback controllers. The closed-loop system can be abstracted in the form of a continuous-time sampled-data system under the control of a neural network controller. First, a novel reachable set computation method in adaptation to simulations generated out of neural networks is developed. The reachability analysis of a class of feedforward neural networks called multilayer perceptrons (MLP) with general activation functions is performed in the framework of interval arithmetic. Then, in combination with reachability methods developed for various dynamical system classes modeled by ordinary differential equations, a recursive algorithm is developed for over-approximating the reachable set of the closed-loop system. The safety verification for neural network control systems can be performed by examining the emptiness of the intersection between the over-approximation of reachable sets and unsafe sets. The effectiveness of the proposed approach has been validated with evaluations on a robotic arm model and an adaptive cruise control system.


title: Show, Describe and Conclude: On Exploiting the Structure Information of Chest X-Ray Reports

abstract: Chest X-Ray (CXR) images are commonly used for clinical screening and diagnosis. Automatically writing reports for these images can considerably lighten the workload of radiologists for summarizing descriptive findings and conclusive impressions. The complex structures between and within sections of the reports pose a great challenge to the automatic report generation. Specifically, the section Impression is a diagnostic summarization over the section Findings; and the appearance of normality dominates each section over that of abnormality. Existing studies rarely explore and consider this fundamental structure information. In this work, we propose a novel framework that exploits the structure information between and within report sections for generating CXR imaging reports. First, we propose a two-stage strategy that explicitly models the relationship between Findings and Impression. Second, we design a novel cooperative multi-agent system that implicitly captures the imbalanced distribution between abnormality and normality. Experiments on two CXR report datasets show that our method achieves state-of-the-art performance in terms of various evaluation metrics. Our results expose that the proposed approach is able to generate high-quality medical reports through integrating the structure information.


title: Citation Cascade and the Evolution of Topic Relevance

abstract: Citation analysis, as a tool for quantitative studies of science, has long emphasized direct citation relations, leaving indirect or high order citations overlooked. However, a series of early and recent studies demonstrate the existence of indirect and continuous citation impact across generations. Adding to the literature on high order citations, we introduce the concept of a citation cascade: the constitution of a series of subsequent citing events initiated by a certain publication. We investigate this citation structure by analyzing more than 450,000 articles and over 6 million citation relations. We show that citation impact exists not only within the three generations documented in prior research, but also in much further generations. Still, our experimental results indicate that two to four generations are generally adequate to trace a work's scientific impact. We also explore specific structural properties such as depth, width, structural virality, and size, which account for differences among individual citation cascades. Finally, we find evidence that it is more important for a scientific work to inspire trans domain (or indirectly related domain) works than to receive only intra domain recognition in order to achieve high impact. Our methods and findings can serve as a new tool for scientific evaluation and the modeling of scientific history.


title: Fashionpedia: Ontology, Segmentation, and an Attribute Localization Dataset

abstract: In this work we explore the task of instance segmentation with attribute localization, which unifies instance segmentation (detect and segment each object instance) and fine-grained visual attribute categorization (recognize one or multiple attributes). The proposed task requires both localizing an object and describing its properties. To illustrate the various aspects of this task, we focus on the domain of fashion and introduce Fashionpedia as a step toward mapping out the visual aspects of the fashion world. Fashionpedia consists of two parts: (1) an ontology built by fashion experts containing 27 main apparel categories, 19 apparel parts, 294 fine-grained attributes and their relationships; (2) a dataset with everyday and celebrity event fashion images annotated with segmentation masks and their associated per-mask fine-grained attributes, built upon the Fashionpedia ontology. In order to solve this challenging task, we propose a novel Attribute-Mask RCNN model to jointly perform instance segmentation and localized attribute recognition, and provide a novel evaluation metric for the task. We also demonstrate instance segmentation models pre-trained on Fashionpedia achieve better transfer learning performance on other fashion datasets than ImageNet pre-training. Fashionpedia is available at: https://fashionpedia.github.io/home/index.html.


title: An Extension of LIME with Improvement of Interpretability and Fidelity

abstract: While deep learning makes significant achievements in Artificial Intelligence (AI), the lack of transparency has limited its broad application in various vertical domains. Explainability is not only a gateway between AI and real world, but also a powerful feature to detect flaw of the models and bias of the data. Local Interpretable Model-agnostic Explanation (LIME) is a widely-accepted technique that explains the prediction of any classifier faithfully by learning an interpretable model locally around the predicted instance. As an extension of LIME, this paper proposes an high-interpretability and high-fidelity local explanation method, known as Local Explanation using feature Dependency Sampling and Nonlinear Approximation (LEDSNA). Given an instance being explained, LEDSNA enhances interpretability by feature sampling with intrinsic dependency. Besides, LEDSNA improves the local explanation fidelity by approximating nonlinear boundary of local decision. We evaluate our method with classification tasks in both image domain and text domain. Experiments show that LEDSNA's explanation of the back-box model achieves much better performance than original LIME in terms of interpretability and fidelity.


title: Spin soliton of Holstein model with spin-orbit coupling in one-dimensional conjugated polymers

abstract: For Holstein model with Rashba spin-orbit coupling (SOC) we establish the nonlinear Schr\"odinger equations and obtain exact soliton solution analytically. It is found that the soliton is spin polarized determined both by the SOC and the electron-phonon (e-ph) interaction. The soliton can be used to describe the spin transport or spin current in organic semiconductors.


title: Energy Scaling and Asymptotic Properties of One-Dimensional Discrete System with Generalized Lennard--Jones $(m,n)$ Interaction

abstract: It is well known that elastic effects can cause surface instability. In this paper, we analyze a one-dimensional discrete system which can reveal pattern formation mechanism resembling the "step-bunching" phenomena for epitaxial growth on vicinal surfaces. The surface steps are subject to long-range pairwise interactions taking the form of a general Lennard--Jones (LJ) type potential. It is characterized by two exponents $m$ and $n$ describing the singular and decaying behaviors of the interacting potential at small and large distances, and henceforth are called generalized LJ $(m,n)$ potential. We provide a systematic analysis of the asymptotic properties of the step configurations and the value of the minimum energy, in particular, their dependence on $m$ and $n$ and an additional parameter $\alpha$ indicating the interaction range. Our results show that there is a phase transition between the bunching and non-bunching regimes. Moreover, some of our statements are applicable for any critical points of the energy, not necessarily minimizers. This work extends the technique and results of [Luo et al, SIAM MMS, 2016] which concentrates on the case of LJ (0,2) potential (originated from the elastic force monopole and dipole interactions between the steps). As a by-product, our result also leads to the well-known fact that the classical LJ (6,12) potential does not demonstrate step-bunching type phenomena.


title: Minimal-Variance Distributed Deadline Scheduling

abstract: Many modern schedulers can dynamically adjust their service capacity to match the incoming workload. At the same time, however, unpredictability and instability in service capacity often incur operational and infrastructure costs. In this paper, we seek to characterize optimal distributed algorithms that maximize the predictability, stability, or both when scheduling jobs with deadlines. Specifically, we show that Exact Scheduling minimizes both the stationary mean and variance of the service capacity subject to strict demand and deadline requirements. For more general settings, we characterize the minimal-variance distributed policies with soft demand requirements, soft deadline requirements, or both. The performance of the optimal distributed policies is compared to that of the optimal centralized policy by deriving closed-form bounds and by testing centralized and distributed algorithms using real data from the Caltech electrical vehicle charging facility and many pieces of synthetic data from different arrival distribution. Moreover, we derive the Pareto-optimality condition for distributed policies that balance the variance and mean square of the service capacity. Finally, we discuss a scalable partially-centralized algorithm that uses centralized information to boost performance and a method to deal with missing information on service requirements.


title: A Point Cloud-Based Method for Automatic Groove Detection and Trajectory Generation of Robotic Arc Welding Tasks

abstract: In this paper, in order to pursue high-efficiency robotic arc welding tasks, we propose a method based on point cloud acquired by an RGB-D sensor. The method consists of two parts: welding groove detection and 3D welding trajectory generation. The actual welding scene could be displayed in 3D point cloud format. Focusing on the geometric feature of the welding groove, the detection algorithm is capable of adapting well to different welding workpieces with a V-type welding groove. Meanwhile, a 3D welding trajectory involving 6-DOF poses of the welding groove for robotic manipulator motion is generated. With an acceptable error in trajectory generation, the robotic manipulator could drive the welding torch to follow the trajectory and execute welding tasks. In this paper, details of the integrated robotic system are also presented. Experimental results prove application value of the presented welding robotic system.


title: Constructibility of a Causal/Impulse Free NDS Using Descriptor Form Subsystems

abstract: Requirements are investigated in this paper for each descriptor form subsystem, with which a causal/impulse free networked dynamic system (NDS) can be constructed. For this purpose, a matrix rank based necessary and sufficient condition is at first derived for the causality/impulse freeness of an NDS, in which the associated matrix depends affinely on subsystem connections. From this result, a necessary and sufficient condition is derived for each subsystem, such that there exists a subsystem connection matrix that leads to a causal/impulse free NDS. This condition further leads to a necessary and sufficient condition for the existence of a local static output feedback that guarantees the construction of a causal/impulse free NDS. A prominent property of these conditions are that all the involved numerical computations are performed independently on each individual subsystem, which is quite attractive in reducing computation costs and improving numerical stability for large scale NDS analysis and synthesis. Situations have also been clarified in which NDS causality/impulse freeness is independent of subsystem connections. It has also been made clear that under some situations, local static output feedbacks are not helpful in constructing a causal NDS.


title: Hierarchical Clustering of World Cuisines

abstract: Cultures across the world have evolved to have unique patterns despite shared ingredients and cooking techniques. Using data obtained from RecipeDB, an online resource for recipes, we extract patterns in 26 world cuisines and further probe for their inter-relatedness. By application of frequent itemset mining and ingredient authenticity we characterize the quintessential patterns in the cuisines and build a hierarchical tree of the world cuisines. This tree provides interesting insights into the evolution of cuisines and their geographical as well as historical relatedness.


title: Enhanced Superconductivity in Quasi-periodic Crystals

abstract: We study superconductivity in a family of one dimensional incommensurate system with $s$-wave pairing interaction. The incommensurate potential can alter the spatial characteristics of electrons in the normal state, leading to either extended, critical, or localized wave functions. We find that superconductivity is significantly enhanced when the electronic wave function exhibits a critical multifractal structure. This criticality also manifests itself in the power-law dependence of superconducting temperature on the pairing strength. As a consequence, an extended superconducting domain is expected to exist around the localization-delocalization transition, which can be induced by either tuning the amplitude of the incommensurate potential, or by varying the chemical potential across a mobility edge. Our results thus suggest a novel approach to enhance superconducting transition temperature through engineering of incommensurate potential.


title: A point-sphere incidence bound in odd dimensions and applications

abstract: In this paper, we prove a new point-sphere incidence bound in vector spaces over finite fields. More precisely, let $P$ be a set of points and $S$ be a set of spheres in $\mathbb{F}_q^d$. Suppose that $|P|, |S|\le N$, we prove that the number of incidences between $P$ and $S$ satisfies \[I(P, S)\le N^2q^{-1}+q^{\frac{d-1}{2}}N,\] under some conditions on $d, q$, and radii. This improves the known upper bound $N^2q^{-1}+q^{\frac{d}{2}}N$ in the literature. As an application, we show that for $A\subset \mathbb{F}_q$ with $q^{1/2}\ll |A|\ll q^{\frac{d^2+1}{2d^2}}$, one has \[\max \left\lbrace |A+A|,~ |dA^2|\right\rbrace \gg \frac{|A|^d}{q^{\frac{d-1}{2}}}.\] This improves earlier results on this sum-product type problem over arbitrary finite fields.


title: Nutritional Profile Estimation in Cooking Recipes

abstract: The availability of an accurate nutrition profile of recipes is an important feature for food databases with several applications including nutritional assistance, recommendation systems, and dietary analytics. Often in online databases, recipes are obtained from diverse sources in an attempt to maximize the number of recipes and variety of the dataset. This leads to an incomplete and often unreliable set of nutritional details. We propose a scalable method for nutritional profile estimation of recipes from their ingredients section using a standard reliable database for the nutritional values. Previous studies have testified the efficiency of string-matching methods on small datasets. To demonstrate the effectiveness of our procedure, we apply the proposed method on a large dataset, RecipeDB, which contains recipes from multiple data sources, using the United States Department of Agriculture Standard Reference (USDA-SR) Database as a reference for computing nutritional profiles. We evaluate our method by calculating the average error across our database of recipes (36 calories per serving) which is well within the range of errors attributable to physical variations.


title: Dynamical crossover in the transient quench dynamics of short-range transverse field Ising models

abstract: Dynamical detection of quantum phases and phase transitions (QPT) in quenched systems with experimentally convenient initial states is a topic of interest from both theoretical and experimental perspectives. Quenched from polarized states, longitudinal magnetization decays exponentially to zero in time for the short-range transverse-field Ising model (TFIM) and hence, has a featureless steady state regime, which prevents it from exhibiting dynamical phase transitions of type-I. In this paper, we ask whether the transient regimes of such non-equilibrium processes probed by single-site observables, that is magnetization per site, could encode information about the underlying QPT. The decay rates of time-dependent and single-site observables exhibit a dynamical crossover that separates two dynamical regions, ordered and disordered, both of which have distinct nonequilibrium responses. We construct a dynamical order parameterlike quantity that exhibits a scaling law at the vicinity of the crossover. Our results reveal that scaling law exponent in short times at the close vicinity of the dynamical crossover is significantly different than the one predicted by analytical theory for long times. When integrability is strongly broken, the crossover boundary turns into a region that separates two other dynamical regions that act like dynamically-ordered and -disordered regimes.


title: Stomach 3D Reconstruction Based on Virtual Chromoendoscopic Image Generation

abstract: Gastric endoscopy is a standard clinical process that enables medical practitioners to diagnose various lesions inside a patient's stomach. If any lesion is found, it is very important to perceive the location of the lesion relative to the global view of the stomach. Our previous research showed that this could be addressed by reconstructing the whole stomach shape from chromoendoscopic images using a structure-from-motion (SfM) pipeline, in which indigo carmine (IC) blue dye sprayed images were used to increase feature matches for SfM by enhancing stomach surface's textures. However, spraying the IC dye to the whole stomach requires additional time, labor, and cost, which is not desirable for patients and practitioners. In this paper, we propose an alternative way to achieve whole stomach 3D reconstruction without the need of the IC dye by generating virtual IC-sprayed (VIC) images based on image-to-image style translation trained on unpaired real no-IC and IC-sprayed images. We have specifically investigated the effect of input and output color channel selection for generating the VIC images and found that translating no-IC green-channel images to IC-sprayed red-channel images gives the best SfM reconstruction result.


title: Deep k-NN for Noisy Labels

abstract: Modern machine learning models are often trained on examples with noisy labels that hurt performance and are hard to identify. In this paper, we provide an empirical study showing that a simple $k$-nearest neighbor-based filtering approach on the logit layer of a preliminary model can remove mislabeled training data and produce more accurate models than many recently proposed methods. We also provide new statistical guarantees into its efficacy.


title: Sojourns of Stationary Gaussian Processes over a Random Interval

abstract: We investigate asymptotics of the tail distribution of sojourn time $$ \int_0^T \mathbb{I}(X(t)> u)dt, $$ as $u\to\infty$, where $X$ is a centered stationary Gaussian process and $T$ is an independent of $X$ nonnegative random variable. The heaviness of the tail distribution of $T$ impacts the form of the asymptotics, leading to four scenarios: the case of integrable $T$, the case of regularly varying $T$ with index $\lambda=1$ and index $\lambda\in(0,1)$ and the case of slowly varying tail distribution of $T$. The derived findings are illustrated by the analysis of the class of fractional Ornstein-Uhlenbeck processes.


title: Nature of Protected Zero Energy States in Penrose Quasicrystals

abstract: The electronic spectrum of the Penrose rhombus quasicrystal exhibits a macroscopic fraction of exactly degenerate zero energy states. In contrast to other bipartite quasicrystals, such as the kite-and-dart one, these zero energy states cannot be attributed to a global mismatch $\Delta n$ between the number of sites in the two sublattices that form the quasicrystal. Here, we argue that these zero energy states are instead related to a local mismatch $\Delta n(\bf r)$. Although $\Delta n(\bf r)$ averages to zero, its staggered average over self-organized domains gives the correct number of zero energy states. Physically, the local mismatch is related to a hidden structure of nested self-similar domains that support the zero energy states. This allows us to develop a real space renormalization-group scheme, which yields the scaling law for the fraction of zero energy states, $Z$, versus size of their support domain, $N$, as $Z\propto N^{-\eta}$ with $\eta =1-\ln 2/\ln(1+\tau) \approx 0.2798$ (where $\tau$ is the golden ratio). It also reproduces the known total fraction of the zero energy states, $81-50\tau\approx 0.0983$. We also show that the exact degeneracy of these states is protected against a wide variety of local perturbations, such as irregular or random hopping amplitudes, magnetic field, random dilution of the lattice, etc. We attribute this robustness to the hidden domain structure and speculate about its underlying topological origin.


title: AutoHR: A Strong End-to-end Baseline for Remote Heart Rate Measurement with Neural Searching

abstract: Remote photoplethysmography (rPPG), which aims at measuring heart activities without any contact, has great potential in many applications (e.g., remote healthcare). Existing end-to-end rPPG and heart rate (HR) measurement methods from facial videos are vulnerable to the less-constrained scenarios (e.g., with head movement and bad illumination). In this letter, we explore the reason why existing end-to-end networks perform poorly in challenging conditions and establish a strong end-to-end baseline (AutoHR) for remote HR measurement with neural architecture search (NAS). The proposed method includes three parts: 1) a powerful searched backbone with novel Temporal Difference Convolution (TDC), intending to capture intrinsic rPPG-aware clues between frames; 2) a hybrid loss function considering constraints from both time and frequency domains; and 3) spatio-temporal data augmentation strategies for better representation learning. Comprehensive experiments are performed on three benchmark datasets to show our superior performance on both intra- and cross-dataset testing.


title: Classification Trees for Imbalanced and Sparse Data: Surface-to-Volume Regularization

abstract: Classification algorithms face difficulties when one or more classes have limited training data. We are particularly interested in classification trees, due to their interpretability and flexibility. When data are limited in one or more of the classes, the estimated decision boundaries are often irregularly shaped due to the limited sample size, leading to poor generalization error. We propose a novel approach that penalizes the Surface-to-Volume Ratio (SVR) of the decision set, obtaining a new class of SVR-Tree algorithms. We develop a simple and computationally efficient implementation while proving estimation consistency for SVR-Tree and rate of convergence for an idealized empirical risk minimizer of SVR-Tree. SVR-Tree is compared with multiple algorithms that are designed to deal with imbalance through real data applications.


title: High-Pressure Synthesis of Barium Superhydrides: Pseudocubic BaH12

abstract: Following the discovery of high-temperature superconductivity in the La-H system, where for the recently discovered fcc-LaH10 a record critical temperature Tc = 250 K was achieved [Drozdov et al., Nature, 569, 528 (2019) and Somayazulu et al., Phys. Rev. Lett. 122, 027001 (2019)], we studied the formation of new chemical compounds in the barium-hydrogen system at pressures up to 173 GPa. Using in situ generation of hydrogen from NH3BH3, we synthesized previously unknown superhydride BaH12 with a pseudocubic (fcc) Ba sublattice, which was observed in a wide range of pressures from 75 to 173 GPa in four independent experiments. DFT calculations indicate a close agreement between the theoretical and experimental equations of state. In addition to BaH12, we identified previously known P6/mmm BaH2 and possibly BaH10 and BaH6 as impurities in the samples. Ab initio calculations show that newly discovered semimetallic BaH12 contains H2, H3 molecular units and detached H12 chains. Barium dodecahydride is a unique molecular hydride with metallic conductivity which demonstrates a superconducting transition around 20 K at 140 GPa in agreement with calculations (19-32 K). The interpretation of the multiphase XRD data was possible thanks to the development of new Python scripts for postprocessing the results of evolutionary searches. These scripts help quickly identify the theoretical structures that explain the experimental data in the best way, among thousands of candidates.


title: Symmetrized Talagrand Inequalities on Euclidean Spaces

abstract: In this paper, we study the symmetrized Talagrand inequality that was proved by Fathi and has a connection with the Blaschke-Santal\'{o} inequality in convex geometry. As corollaries of our results, we have several refined functional inequalities under some conditions. We also give an alternative proof of Fathi's symmetrized Talagrand inequality on the real line and some applications.


title: Rigidification of dendroidal infinity-operads

abstract: We give an explicit description of the rigidification of an $\infty$-operad as a simplicial operad. This description is based on the notion of dendroidal necklace, extending work of Dugger and Spivak from the categorical context to the operadic context, although with a different framework, which relates constructions involving necklaces to a standard factorization of maps in the category of trees.


title: Beyond 512 Tokens: Siamese Multi-depth Transformer-based Hierarchical Encoder for Long-Form Document Matching

abstract: Many natural language processing and information retrieval problems can be formalized as the task of semantic matching. Existing work in this area has been largely focused on matching between short texts (e.g., question answering), or between a short and a long text (e.g., ad-hoc retrieval). Semantic matching between long-form documents, which has many important applications like news recommendation, related article recommendation and document clustering, is relatively less explored and needs more research effort. In recent years, self-attention based models like Transformers and BERT have achieved state-of-the-art performance in the task of text matching. These models, however, are still limited to short text like a few sentences or one paragraph due to the quadratic computational complexity of self-attention with respect to input text length. In this paper, we address the issue by proposing the Siamese Multi-depth Transformer-based Hierarchical (SMITH) Encoder for long-form document matching. Our model contains several innovations to adapt self-attention models for longer text input. In order to better capture sentence level semantic relations within a document, we pre-train the model with a novel masked sentence block language modeling task in addition to the masked word language modeling task used by BERT. Our experimental results on several benchmark datasets for long-form document matching show that our proposed SMITH model outperforms the previous state-of-the-art models including hierarchical attention, multi-depth attention-based hierarchical recurrent neural network, and BERT. Comparing to BERT based baselines, our model is able to increase maximum input text length from 512 to 2048. We will open source a Wikipedia based benchmark dataset, code and a pre-trained checkpoint to accelerate future research on long-form document matching.


title: Triangulated categories of logarithmic motives over a field

abstract: In this work we develop a theory of motives for logarithmic schemes over fields in the sense of Fontaine, Illusie, and Kato. Our construction is based on the notion of finite log correspondences, the dividing Nisnevich topology on log schemes, and the basic idea of parameterizing homotopies by $\overline{\square}$, i.e. the projective line with respect to its compactifying logarithmic structure at infinity. We show that Hodge cohomology of log schemes is a $\overline{\square}$-invariant theory that is representable in the category of logarithmic motives. Our category is closely related to Voevodsky's category of motives and $\mathbb{A}^{1}$-invariant theories: assuming resolution of singularities, we identify the latter with the full subcategory comprised of $\mathbb{A}^{1}$-local objects in the category of logarithmic motives. Fundamental properties such as $\overline{\square}$-homotopy invariance, Mayer-Vietoris for coverings, the analogs of the Gysin sequence and the Thom space isomorphism as well as a blow-up formula and a projective bundle formula witness the robustness of the setup.


title: Dual Learning for Semi-Supervised Natural Language Understanding

abstract: Natural language understanding (NLU) converts sentences into structured semantic forms. The paucity of annotated training samples is still a fundamental challenge of NLU. To solve this data sparsity problem, previous work based on semi-supervised learning mainly focuses on exploiting unlabeled sentences. In this work, we introduce a dual task of NLU, semantic-to-sentence generation (SSG), and propose a new framework for semi-supervised NLU with the corresponding dual model. The framework is composed of dual pseudo-labeling and dual learning method, which enables an NLU model to make full use of data (labeled and unlabeled) through a closed-loop of the primal and dual tasks. By incorporating the dual task, the framework can exploit pure semantic forms as well as unlabeled sentences, and further improve the NLU and SSG models iteratively in the closed-loop. The proposed approaches are evaluated on two public datasets (ATIS and SNIPS). Experiments in the semi-supervised setting show that our methods can outperform various baselines significantly, and extensive ablation studies are conducted to verify the effectiveness of our framework. Finally, our method can also achieve the state-of-the-art performance on the two datasets in the supervised setting. Our code is available at \url{https://github.com/rhythmcao/slu-dual-learning.git}.


title: Joint Radar-Communication-Based Bayesian Predictive Beamforming for Vehicular Networks

abstract: In this paper, we develop a predictive beamforming scheme based on the dual-functional radar-communication (DFRC) technique, where the road-side units estimates the motion parameters of vehicles exploiting the echoes of the DFRC signals. Compared to the conventional feedback-based beam tracking approaches, the proposed method can reduce the signaling overhead and improve the tracking performance. A novel message passing algorithm is proposed, which yields a near optimal performance achieved by the maximum a posteriori estimation. Simulation results have shown the effectiveness of the proposed DFRC based scheme.


title: Blind Data Detection in Massive MIMO via $\ell_3$-norm Maximization over the Stiefel Manifold

abstract: Massive MIMO has been regarded as a key enabling technique for 5G and beyond networks. Nevertheless, its performance is limited by the large overhead needed to obtain the high-dimensional channel information. To reduce the huge training overhead associated with conventional pilot-aided designs, we propose a novel blind data detection method by leveraging the channel sparsity and data concentration properties. Specifically, we propose a novel $\ell_3$-norm-based formulation to recover the data without channel estimation. We prove that the global optimal solution to the proposed formulation can be made arbitrarily close to the transmitted data up to a phase-permutation ambiguity. We then propose an efficient parameter-free algorithm to solve the $\ell_3$-norm problem and resolve the phase permutation ambiguity. We also derive the convergence rate in terms of key system parameters such as the number of transmitters and receivers, the channel noise power, and the channel sparsity level. Numerical experiments will show that the proposed scheme has superior performance with low computational complexity.


title: MATINF: A Jointly Labeled Large-Scale Dataset for Classification, Question Answering and Summarization

abstract: Recently, large-scale datasets have vastly facilitated the development in nearly all domains of Natural Language Processing. However, there is currently no cross-task dataset in NLP, which hinders the development of multi-task learning. We propose MATINF, the first jointly labeled large-scale dataset for classification, question answering and summarization. MATINF contains 1.07 million question-answer pairs with human-labeled categories and user-generated question descriptions. Based on such rich information, MATINF is applicable for three major NLP tasks, including classification, question answering, and summarization. We benchmark existing methods and a novel multi-task baseline over MATINF to inspire further research. Our comprehensive comparison and experiments over MATINF and other datasets demonstrate the merits held by MATINF.


title: Challenge Closed-book Science Exam: A Meta-learning Based Question Answering System

abstract: Prior work in standardized science exams requires support from large text corpus, such as targeted science corpus fromWikipedia or SimpleWikipedia. However, retrieving knowledge from the large corpus is time-consuming and questions embedded in complex semantic representation may interfere with retrieval. Inspired by the dual process theory in cognitive science, we propose a MetaQA framework, where system 1 is an intuitive meta-classifier and system 2 is a reasoning module. Specifically, our method based on meta-learning method and large language model BERT, which can efficiently solve science problems by learning from related example questions without relying on external knowledge bases. We evaluate our method on AI2 Reasoning Challenge (ARC), and the experimental results show that meta-classifier yields considerable classification performance on emerging question types. The information provided by meta-classifier significantly improves the accuracy of reasoning module from 46.6% to 64.2%, which has a competitive advantage over retrieval-based QA methods.


title: Analysis of Evolutionary Algorithms on Fitness Function with Time-linkage Property

abstract: In real-world applications, many optimization problems have the time-linkage property, that is, the objective function value relies on the current solution as well as the historical solutions. Although the rigorous theoretical analysis on evolutionary algorithms has rapidly developed in recent two decades, it remains an open problem to theoretically understand the behaviors of evolutionary algorithms on time-linkage problems. This paper takes the first step to rigorously analyze evolutionary algorithms for time-linkage functions. Based on the basic OneMax function, we propose a time-linkage function where the first bit value of the last time step is integrated but has a different preference from the current first bit. We prove that with probability $1-o(1)$, randomized local search and $(1+1)$ EA cannot find the optimum, and with probability $1-o(1)$, $(\mu+1)$ EA is able to reach the optimum.


title: Sequential hadronization in heavy ion collisions

abstract: Heavy flavor supplies a chance to constrain and improve the hadronization mechanism. We have established a sequential coalescence model with charm conservation and applied it to the charmed hadron production in heavy ion collisions. The charm conservation enhances the earlier hadron production and suppresses the later production. This relative enhancement (suppression) changes significantly the ratios between charmed hadrons in heavy ion collisions.


title: Cells in the box and a hyperplane

abstract: It is well-known that a line can intersect at most $2n-1$ cells of the $n \times n$ chessboard. Here we consider the high dimensional version: how many cells of the $d$-dimensional $n\times \ldots \times n$ box can a hyperplane intersect? We also prove the lattice analogue of the following well-known fact. If $K,L$ are convex bodies in $R^d$ and $K\subset L$, then the surface area of $K$ is smaller than that of $L$.


title: Methods for Computing Legal Document Similarity: A Comparative Study

abstract: Computing similarity between two legal documents is an important and challenging task in the domain of Legal Information Retrieval. Finding similar legal documents has many applications in downstream tasks, including prior-case retrieval, recommendation of legal articles, and so on. Prior works have proposed two broad ways of measuring similarity between legal documents - analyzing the precedent citation network, and measuring similarity based on textual content similarity measures. But there has not been a comprehensive comparison of these existing methods on a common platform. In this paper, we perform the first systematic analysis of the existing methods. In addition, we explore two promising new similarity computation methods - one text-based and the other based on network embeddings, which have not been considered till now.


title: A fractional-order SEIHDR model for COVID-19 with inter-city networked coupling effects

abstract: In this paper, a mathematical model is proposed to analyze the dynamic behavior of COVID-19. Based on inter-city networked coupling effects, a fractional-order SEIHDR system with the real-data from 23 January to 18 March, 2020 of COVID-19 is discussed. Meanwhile, hospitalized individuals and the mortality rates of three types of individuals (exposed, infected and hospitalized) are firstly taken into account in the proposed model. And infectivity of individuals during incubation is also considered in this paper. By applying least squares method and predictor-correctors scheme, the numerical solutions of the proposed system in the absence of the inter-city network and with the inter-city network are stimulated by using the real-data from 23 January to $18-m$ March, 2020 where $m$ is equal to the number of prediction days. Compared with integer-order system ($\alpha=0$), the fractional-order model without network is validated to have a better fitting of the data on Beijing, Shanghai, Wuhan, Huanggang and other cities. In contrast to the case without network, the results indicate that the inter-city network system may be not a significant case to virus spreading for China because of the lock down and quarantine measures, however, it may have an impact on cities that have not adopted city closure. Meanwhile, the proposed model better fits the data from 24 February to 31, March in Italy, and the peak number of confirmed people is also predicted by this fraction-order model. Furthermore, the existence and uniqueness of a bounded solution under the initial condition are considered in the proposed system. Afterwards, the basic reproduction number $R_0$ is analyzed and it is found to hold a threshold: the disease-free equilibrium point is locally asymptotically stable when $R_0\le 1$, which provides a theoretical basis for whether COVID-19 will become a pandemic in the future.


title: Maximum Principle Preserving Schemes for Binary Systems with Long-range Interactions

abstract: We study some maximum principle preserving and energy stable schemes for the Allen-Cahn-Ohta-Kawasaki model with fixed volume constraint. With the inclusion of a nonlinear term in the Ohta-Kawasaki free energy functional, we show that the Allen-Cahn-Ohta-Kawasaki dynamics is maximum principle preserving. We further design some first order energy stable numerical schemes which inherit the maximum principle preservation in both semi-discrete and fully-discrete levels. Furthermore, we apply the maximum principle preserving schemes to a general framework for binary systems with long-range interactions. We also present some numerical results to support our theoretical findings.


title: Time-implicit schemes in fluid dynamics? -- Their advantage in the regime of ultra-relativistic shock fronts

abstract: Relativistic jets are intrinsic phenomena of active galactic nuclei (AGN) and quasars. They have been observed to also emanate from systems containing compact objects, such as white dwarfs, neutron stars and black hole candidates. The corresponding Lorentz factors, $\Gamma$, were found to correlate with the compactness of the central objects. In the case of quasars and AGNs, plasmas with $\Gamma$-factors larger than $8$ were detected. However, numerically consistent modelling of propagating shock-fronts with $\Gamma \geq 4$ is a difficult issue, as the non-linearities underlying the transport operators increase dramatically with $\Gamma$, thereby giving rise to a numerical stagnation of the time-advancement procedure or alternatively they may diverge completely. In this paper, we present a unified numerical solver for modelling the propagation of one-dimensional shock fronts with high Lorentz factors. The numerical scheme is based on the finite-volume formulation with adaptive mesh refinement (AMR) and domain decomposition for parallel computation. It unifies both time-explicit and time-implicit numerical schemes within the framework of the pre-conditioned defect-correction iteration solution procedure. We find that time-implicit solution procedures are remarkably superior over their time-explicit counterparts in the very high $\Gamma$-regime and therefore most suitable for consistent modelling of relativistic outflows in AGNs and micro-quasars.


title: Filter Grafting for Deep Neural Networks: Reason, Method, and Cultivation

abstract: Filter is the key component in modern convolutional neural networks (CNNs). However, since CNNs are usually over-parameterized, a pre-trained network always contain some invalid (unimportant) filters. These filters have relatively small $l_{1}$ norm and contribute little to the output (\textbf{Reason}). While filter pruning removes these invalid filters for efficiency consideration, we tend to reactivate them to improve the representation capability of CNNs. In this paper, we introduce filter grafting (\textbf{Method}) to achieve this goal. The activation is processed by grafting external information (weights) into invalid filters. To better perform the grafting, we develop a novel criterion to measure the information of filters and an adaptive weighting strategy to balance the grafted information among networks. After the grafting operation, the network has fewer invalid filters compared with its initial state, enpowering the model with more representation capacity. Meanwhile, since grafting is operated reciprocally on all networks involved, we find that grafting may lose the information of valid filters when improving invalid filters. To gain a universal improvement on both valid and invalid filters, we compensate grafting with distillation (\textbf{Cultivation}) to overcome the drawback of grafting . Extensive experiments are performed on the classification and recognition tasks to show the superiority of our method. Code is available at \textcolor{black}{\emph{https://github.com/fxmeng/filter-grafting}}.


title: Isovector and isoscalar tensor form factors of $N(1535) \rightarrow N$ transition in light-cone QCD

abstract: We have applied isovector and isoscalar tensor current to evaluate the tensor form factors of the $ N(1535) \rightarrow N $ transition with the help of the light-cone QCD sum rule method. In numerical computations, have used the most general forms of the interpolating current for the nucleon and the tensor current together with two different sets of the input parameters in the DAs of the $N(1535)$ state. We have obtained that the values of $N(1535) \rightarrow N$ transition tensor form factors very sensitive to the input parameters of the distribution amplitudes of the $N(1535)$ state. We have acquired that the $Q^2$ dependence of $N(1535) \rightarrow$ transition tensor form factors is well defined by a p-pole fit function.


title: Graphene-Semiconductor Contact

abstract: A systematic treatment of graphene-semiconductor junction is presented. Finite density of states at the Fermi level of graphene leads to exotic electronic properties at graphene-semiconductor interface. Quite generally, the Schottky-Mott limit and the sum rule of barrier heights are violated due to the internal potential of graphene. By merging the principal characteristics of semiconductor-semiconductor and metal-semiconductor junctions, the graphene-semiconductor contact may be considered as an archetype of unprecedented \emph{semimetal-semiconductor junction}. Generalized interface equations disclose the coupling of junction characteristics with the density of charge carriers in graphene. It will be shown that the well-known effect of tunable barrier height is directly related to the junction capacitance. Furthermore, the relative impact of image-force effect in the presence of barrier tunability is investigated. Experimental methods to gain built-in potential, barrier height, and capacitance of the junction are discussed in detail. Also the development of strong inversion layer at the interface of graphene-silicon samples is uncovered by analyzing experimental data.


title: A Global Benchmark of Algorithms for Segmenting Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging

abstract: Segmentation of cardiac images, particularly late gadolinium-enhanced magnetic resonance imaging (LGE-MRI) widely used for visualizing diseased cardiac structures, is a crucial first step for clinical diagnosis and treatment. However, direct segmentation of LGE-MRIs is challenging due to its attenuated contrast. Since most clinical studies have relied on manual and labor-intensive approaches, automatic methods are of high interest, particularly optimized machine learning approaches. To address this, we organized the "2018 Left Atrium Segmentation Challenge" using 154 3D LGE-MRIs, currently the world's largest cardiac LGE-MRI dataset, and associated labels of the left atrium segmented by three medical experts, ultimately attracting the participation of 27 international teams. In this paper, extensive analysis of the submitted algorithms using technical and biological metrics was performed by undergoing subgroup analysis and conducting hyper-parameter analysis, offering an overall picture of the major design choices of convolutional neural networks (CNNs) and practical considerations for achieving state-of-the-art left atrium segmentation. Results show the top method achieved a dice score of 93.2% and a mean surface to a surface distance of 0.7 mm, significantly outperforming prior state-of-the-art. Particularly, our analysis demonstrated that double, sequentially used CNNs, in which a first CNN is used for automatic region-of-interest localization and a subsequent CNN is used for refined regional segmentation, achieved far superior results than traditional methods and pipelines containing single CNNs. This large-scale benchmarking study makes a significant step towards much-improved segmentation methods for cardiac LGE-MRIs, and will serve as an important benchmark for evaluating and comparing the future works in the field.


title: On types of KKT points in polynomial optimization

abstract: Let $f$ be a real polynomial function with $n$ variables and $S$ be a basic closed semialgebraic set in $\Bbb{R}^n$. In this paper, we are interested in the problem of identifying the type (local minimizer, maximizer or not extremum point) of a given isolated KKT point $x^*$ of $f$ over $S.$ To this end, we investigate some properties of the tangency variety of $f$ on $S$ at $x^*,$ by which we introduce the definition of faithful radius of $f$ over $S$ at $x^*.$ Then, we show that the type of $x^*$ can be determined by the global extrema of $f$ over the intersection of $S$ and the Euclidean ball centered at $x^*$ with a faithful radius. Finally, we propose an algorithm involving algebraic computations to compute a faithful radius of $x^*$ and determine its type.


title: Towards Persona-Based Empathetic Conversational Models

abstract: Empathetic conversational models have been shown to improve user satisfaction and task outcomes in numerous domains. In Psychology, persona has been shown to be highly correlated to personality, which in turn influences empathy. In addition, our empirical analysis also suggests that persona plays an important role in empathetic conversations. To this end, we propose a new task towards persona-based empathetic conversations and present the first empirical study on the impact of persona on empathetic responding. Specifically, we first present a novel large-scale multi-domain dataset for persona-based empathetic conversations. We then propose CoBERT, an efficient BERT-based response selection model that obtains the state-of-the-art performance on our dataset. Finally, we conduct extensive experiments to investigate the impact of persona on empathetic responding. Notably, our results show that persona improves empathetic responding more when CoBERT is trained on empathetic conversations than non-empathetic ones, establishing an empirical link between persona and empathy in human conversations.


title: Online Mapping and Motion Planning under Uncertainty for Safe Navigation in Unknown Environments

abstract: Safe autonomous navigation is an essential and challenging problem for robots operating in highly unstructured or completely unknown environments. Under these conditions, not only robotic systems must deal with limited localisation information, but also their manoeuvrability is constrained by their dynamics and often suffer from uncertainty. In order to cope with these constraints, this manuscript proposes an uncertainty-based framework for mapping and planning feasible motions online with probabilistic safety-guarantees. The proposed approach deals with the motion, probabilistic safety, and online computation constraints by: (i) incrementally mapping the surroundings to build an uncertainty-aware representation of the environment, and (ii) iteratively (re)planning trajectories to goal that are kinodynamically feasible and probabilistically safe through a multi-layered sampling-based planner in the belief space. In-depth empirical analyses illustrate some important properties of this approach, namely, (a) the multi-layered planning strategy enables rapid exploration of the high-dimensional belief space while preserving asymptotic optimality and completeness guarantees, and (b) the proposed routine for probabilistic collision checking results in tighter probability bounds in comparison to other uncertainty-aware planners in the literature. Furthermore, real-world in-water experimental evaluation on a non-holonomic torpedo-shaped autonomous underwater vehicle and simulated trials in the Stairwell scenario of the DARPA Subterranean Challenge 2019 on a quadrotor unmanned aerial vehicle demonstrate the efficacy of the method as well as its suitability for systems with limited on-board computational power.


title: Extracting maximum information from polarised baryon decays via amplitude analysis: the $\Lambda^+_c \to pK^-\pi^+$ case

abstract: We consider which is the maximum information measurable from the decay distributions of polarised baryon decays via amplitude analysis in the helicity formalism. We focus in particular on the analytical study of the $\Lambda^+_c \to pK^-\pi^+$ decay distributions, demonstrating that the full information on its decay amplitudes can be extracted from its distributions, allowing a simultaneous measurement of both helicity amplitudes and the polarisation vector. This opens the possibility to use the $\Lambda^+_c \to pK^-\pi^+$ decay for applications ranging from New Physics searches to low-energy QCD studies, in particular its use as absolute polarimeter for the $\Lambda^+_c$ baryon. This result is valid as well for baryon decays having the same spin structure and it is cross-checked numerically by means of a toy amplitude fit with Monte Carlo pseudo-data.


title: COVID-19 in Africa -- outbreak despite interventions?

abstract: Few African countries have reported COVID-19 case numbers above $1\,000$ as of April 18, 2020, with South Africa reporting $3\,034$ cases being hit hardest in Sub-Saharan Africa. Several African countries, especially South Africa, have already taken strong non-pharmaceutical interventions that include physical distancing, restricted economic, educational and leisure activities and reduced human mobility options. The required strengths and overall effectiveness of such interventions, however, are debated because of simultaneous but opposing interests in most African countries: strongly limited health care capacities and testing capabilities largely conflict with pressured national economies and socio-economic hardships on the individual level, limiting compliance to intervention targets. Here we investigate implications of interventions on the COVID-19 outbreak dynamics, focusing on South Africa before and after the national lockdown enacted on March 27, 2020. Our analysis shows that initial exponential growth of existing case numbers is consistent with doubling times of about $2.5$ days. After lockdown, the growth remains exponential, now with doubling times of 18 days, but still in contrast to subexponential growth reported for Hubei/China after lockdown. Moreover, a scenario analysis of a computational data-driven agent based mobility model for the Nelson Mandela Bay Municipality (with $1.14$ million inhabitants) hints that keeping current levels of intervention measures and compliance until the end of April is of insufficient length and still too weak, too unspecific or too inconsistently complied with to not overload local intensive care capacity. Yet, enduring, slightly stronger, more specific interventions combined with sufficient compliance may constitute a viable option for interventions for regions in South Africa and potentially for large parts of the African continent.


title: Top-down approach to the curved spacetime effective feld theory (cEFT) -- theory and examples

abstract: The effective field theory (EFT) turns out to be an instrument of an immense value in all aspects of modern particle physics being theory, phenomenology or experiment. In the paper I will show how to extend the systematic top down approach to construction of the EFT proposed by Hitoshi Murayama (LBL, Berkeley) and separately by John Ellis (King's Coll. London) groups to the curved spacetime. To this end, I will take advantage of the heat kernel method so far extensively used in obtaining the one-loop effective action in curved spacetime. After an introduction of the formalism I will discuss its application to the problem of an influence of gravity on the stability of the Higgs effective potential.


title: Federated Transfer Learning for EEG Signal Classification

abstract: The success of deep learning (DL) methods in the Brain-Computer Interfaces (BCI) field for classification of electroencephalographic (EEG) recordings has been restricted by the lack of large datasets. Privacy concerns associated with EEG signals limit the possibility of constructing a large EEG-BCI dataset by the conglomeration of multiple small ones for jointly training machine learning models. Hence, in this paper, we propose a novel privacy-preserving DL architecture named federated transfer learning (FTL) for EEG classification that is based on the federated learning framework. Working with the single-trial covariance matrix, the proposed architecture extracts common discriminative information from multi-subject EEG data with the help of domain adaptation techniques. We evaluate the performance of the proposed architecture on the PhysioNet dataset for 2-class motor imagery classification. While avoiding the actual data sharing, our FTL approach achieves 2% higher classification accuracy in a subject-adaptive analysis. Also, in the absence of multi-subject data, our architecture provides 6% better accuracy compared to other state-of-the-art DL architectures.


title: Nonparametric sequential change-point detection for multivariate time series based on empirical distribution functions

abstract: The aim of sequential change-point detection is to issue an alarm when it is thought that certain probabilistic properties of the monitored observations have changed. This work is concerned with nonparametric, closed-end testing procedures based on differences of empirical distribution functions that are designed to be particularly sensitive to changes in the comtemporary distribution of multivariate time series. The proposed detectors are adaptations of statistics used in a posteriori (offline) change-point testing and involve a weighting allowing to give more importance to recent observations. The resulting sequential change-point detection procedures are carried out by comparing the detectors to threshold functions estimated through resampling such that the probability of false alarm remains approximately constant over the monitoring period. A generic result on the asymptotic validity of such a way of estimating a threshold function is stated. As a corollary, the asymptotic validity of the studied sequential tests based on empirical distribution functions is proven when these are carried out using a dependent multiplier bootstrap for multivariate time series. Large-scale Monte Carlo experiments demonstrate the good finite-sample properties of the resulting procedures. The application of the derived sequential tests is illustrated on financial data.


title: Reinforcement Learning assisted Quantum Optimization

abstract: We propose a reinforcement learning (RL) scheme for feedback quantum control within the quan-tum approximate optimization algorithm (QAOA). QAOA requires a variational minimization for states constructed by applying a sequence of unitary operators, depending on parameters living ina highly dimensional space. We reformulate such a minimum search as a learning task, where a RL agent chooses the control parameters for the unitaries, given partial information on the system. We show that our RL scheme finds a policy converging to the optimal adiabatic solution for QAOA found by Mbeng et al. arXiv:1906.08948 for the translationally invariant quantum Ising chain. In presence of disorder, we show that our RL scheme allows the training part to be performed on small samples, and transferred successfully on larger systems.


title: High thermoelectric performance of half-Heusler compound BiBaK with intrinsically low lattice thermal conductivity

abstract: Half-Heusler compounds usually exhibit relatively higher lattice thermal conductivity that is undesirable for thermoelectric applications. Here we demonstrate by first-principles calculations and Boltzmann transport theory that the BiBaK system is an exception, which has rather low thermal conductivity as evidenced by very small phonon group velocity and relaxation time. Detailed analysis indicates that the heavy Bi and Ba atoms form a cage-like structure, inside which the light K atom rattles with larger atomic displacement parameters. In combination with its good electronic transport properties, the BiBaK shows a maximum n-type ZT value of 1.9 at 900 K, which outperforms most half-Heusler thermoelectric materials.


title: Nonlinear variants of a theorem of Kwapie\'n

abstract: A famous result of S. Kwapie\'{n} asserts that a linear operator from a Banach space to a Hilbert space is absolutely $1$-summing whenever its adjoint is absolutely $q$-summing for some $1\leq q<\infty$; this result was recently extended to Lipschitz operators by Chen and Zheng. In the present paper we show that Kwapie\'{n}'s and Chen--Zheng theorems hold in a very relaxed nonlinear environment, under weaker hypotheses. Even when restricted to the original linear case, our result generalizes Kwapie\'{n}'s theorem because it holds when the adjoint is just almost summing. In addition, a variant for $\mathcal{L}_{p}$-spaces, with $p\geq2$, instead of Hilbert spaces is provided.


title: Clocking Out Superradiance Limits

abstract: The superradiant instability of black hole space-times has been used to place limits on ultra-light bosonic particles. We show that these limits are model dependent. While the initial growth of the mode is gravitational and thus model independent, the ability to place a limit on new particles requires the mode to grow unhindered to a large number density. Non-linear interactions between the particle and other light degrees of freedom that are mediated through higher dimension operators can damp this growth, eliminating the limit. However, these non-linearities may also destroy a cosmic abundance of these light particles, an attractive avenue for their discovery in several experiments. We study the specific example of the QCD axion and show that it is easy to construct models where these non-linearities eliminate limits from superradiance while preserving their cosmic abundance.