title: A Letter Highlighting Matrix Mapping in Minimal 4D, ${\mathbf {\cal N}}$ = 1 On-Shell Supermultiplet Representations

abstract: On the basis of comparing eigenvalues of an operator ${\hat {\mathbf{\cal C}}}{}^{({\cal R})}$, that proved useful in distinguishing how off-shell 4D, $\cal N$ = 1 supermultiplets become off-shell 4D, $\cal N$ = 2 supermultiplets, the double tensor supermultiplet is shown to be radically different for other known multiplets. This suggests difficulties, if not impossibilities, to embed it into an off-shell structure.


title: Quadratic Transportation Cost Inequality For Scalar Stochastic Conservation Laws

abstract: In this paper, we established a quadratic transportation cost inequality for scalar stochastic conservation laws driven by multiplicative noise. The doubling variables method plays an important role.


title: On traceable iterated line graph and hamiltonian path index

abstract: Xiong and Liu [L. Xiong and Z. Liu, Hamiltonian iterated line graphs, Discrete Math. 256 (2002) 407-422] gave a characterization of the graphs $G$ for which the $n$-th iterated line graph $L^n(G)$ is hamiltonian, for $n\ge2$. In this paper, we study the existence of a hamiltonian path in $L^n(G)$, and give a characterization of $G$ for which $L^n(G)$ has a hamiltonian path. As applications, we use this characterization to give several upper bounds on the hamiltonian path index of a graph.


title: Complexity analysis of Cylindrically Symmetric Self-gravitating Dynamical System in $f(R,T)$ Theory of Gravity

abstract: In this article, we have studied a cylindrically symmetric self-gravitating dynamical object via complexity factor which is obtained through orthogonal splitting of Reimann tensor in $f(R,T)$ theory of gravity. Our study is based on the definition of complexity for dynamical sources, proposed by Herrera \cite{12b}. We actually want to analyze the behavior of complexity factor for cylindrically symmetric dynamical source in modified theory. For this, we define the scalar functions through orthogonal splitting of Reimann tensor in $f(R,T)$ gravity and work out structure scalars for cylindrical geometry. We evaluated the complexity of the structure and also analyzed the complexity of the evolutionary patterns of the system under consideration. In order to present simplest mode of evolution, we explored homologous condition and homogeneous expansion condition in $f(R,T)$ gravity and discussed dynamics and kinematics in the background of a generic viable non-minimally coupled $f(R,T)=\alpha_1 R^m T^n +\alpha_2 T(1+\alpha_3 T^p R^q)$ model. In order to make a comprehensive analysis, we considered three different cases (representing both minimal and non-minimal coupling) of the model under consideration and found that complexity of a system is increased in the presence of higher order curvature terms, even in the simplest modes of evolution. However, higher order trace terms affects the complexity of the system but they are not crucial for simplest modes of evolution in the case of minimal coupling. The stability of vanishing of complexity factor has also been discussed.


title: Detecting COVID-19 from Breathing and Coughing Sounds using Deep Neural Networks

abstract: The COVID-19 pandemic has affected the world unevenly; while industrial economies have been able to produce the tests necessary to track the spread of the virus and mostly avoided complete lockdowns, developing countries have faced issues with testing capacity. In this paper, we explore the usage of deep learning models as a ubiquitous, low-cost, pre-testing method for detecting COVID-19 from audio recordings of breathing or coughing taken with mobile devices or via the web. We adapt an ensemble of Convolutional Neural Networks that utilise raw breathing and coughing audio and spectrograms to classify if a speaker is infected with COVID-19 or not. The different models are obtained via automatic hyperparameter tuning using Bayesian Optimisation combined with HyperBand. The proposed method outperforms a traditional baseline approach by a large margin. Ultimately, it achieves an Unweighted Average Recall (UAR) of 74.9%, or an Area Under ROC Curve (AUC) of 80.7% by ensembling neural networks, considering the best test set result across breathing and coughing in a strictly subject independent manner. In isolation, breathing sounds thereby appear slightly better suited than coughing ones (76.1% vs 73.7% UAR).


title: Feasibility of space-based measurement-device-independent quantum key distribution

abstract: The measurement-device-independent (MDI) QKD is considered to be an alternative to overcome the currently trusted satellite paradigm. However, the feasibility of the space-based MDI-QKD remains unclear in terms of the factors: the high-loss uplink between a ground station and a satellite, the limited duration when two ground stations are simultaneously visible, as well as the rigorous requirements for the two-photon interference when performing the Bell-state Measurement (BSM). In this paper, we present a feasibility assessment of space-based MDI-QKD based on the Micius satellite. Integrated with the orbital dynamics model and atmosphere channel model, a framework is presented to explore the whole parameters space including orbit height, elevation angle, apertures of transceiver and atmospheric turbulence intensity to give the considerations for improving key rates and subsequently provide a relevant parameter tradeoff for the implementation of space-based MDI-QKD. We further investigate the heart of MDI-QKD, the two-photon interference considerations such as the frequency calibration and time synchronization technology against Doppler shift, and the way of performing the intensity optimization method in the dynamic and asymmetric channels. Our work can be used as a pathfinder to support decisions involving as the selection of the future quantum communication satellite missions.


title: Misplaced Subsequences Repairing with Application to Multivariate Industrial Time Series Data

abstract: Both the volume and the collection velocity of time series generated by monitoring sensors are increasing in the Internet of Things (IoT). Data management and analysis requires high quality and applicability of the IoT data. However, errors are prevalent in original time series data. Inconsistency in time series is a serious data quality problem existing widely in IoT. Such problem could be hardly solved by existing techniques. Motivated by this, we define an inconsistent subsequences problem in multivariate time series, and propose an integrity data repair approach to solve inconsistent problems. Our proposed repairing method consists of two parts: (1) we design effective anomaly detection method to discover latent inconsistent subsequences in the IoT time series; and (2) we develop repair algorithms to precisely locate the start and finish time of inconsistent intervals, and provide reliable repairing strategies. A thorough experiment on two real-life datasets verifies the superiority of our method compared to other practical approaches. Experimental results also show that our method captures and repairs inconsistency problems effectively in industrial time series in complex IIoT scenarios.


title: Cascaded Framework for Automatic Evaluation of Myocardial Infarction from Delayed-Enhancement Cardiac MRI

abstract: Automatic evaluation of myocardium and pathology plays an important role in the quantitative analysis of patients suffering from myocardial infarction. In this paper, we present a cascaded convolutional neural network framework for myocardial infarction segmentation and classification in delayed-enhancement cardiac MRI. Specifically, we first use a 2D U-Net to segment the whole heart, including the left ventricle and the myocardium. Then, we crop the whole heart as a region of interest (ROI). Finally, a new 2D U-Net is used to segment the infraction and no-reflow areas in the whole heart ROI. The segmentation method can be applied to the classification task where the segmentation results with the infraction or no-reflow areas are classified as pathological cases. Our method took second place in the MICCAI 2020 EMIDEC segmentation task with Dice scores of 86.28%, 62.24%, and 77.76% for myocardium, infraction, and no-reflow areas, respectively, and first place in the classification task with an accuracy of 92%.


title: Twofold Multiprior Preferences and Failures of Contingent Reasoning

abstract: We propose a model of incomplete \textit{twofold multiprior preferences}, in which an act $f$ is ranked above an act $g$ only when $f$ provides higher utility in a worst-case scenario than what $g$ provides in a best-case scenario. The model explains failures of contingent reasoning, captured through a weakening of the state-by-state monotonicity (or dominance) axiom. Our model gives rise to rich comparative statics results, as well as extension exercises, and connections to choice theory. We present an application to second-price auctions.


title: Gradient Descent Averaging and Primal-dual Averaging for Strongly Convex Optimization

abstract: Averaging scheme has attracted extensive attention in deep learning as well as traditional machine learning. It achieves theoretically optimal convergence and also improves the empirical model performance. However, there is still a lack of sufficient convergence analysis for strongly convex optimization. Typically, the convergence about the last iterate of gradient descent methods, which is referred to as individual convergence, fails to attain its optimality due to the existence of logarithmic factor. In order to remove this factor, we first develop gradient descent averaging (GDA), which is a general projection-based dual averaging algorithm in the strongly convex setting. We further present primal-dual averaging for strongly convex cases (SC-PDA), where primal and dual averaging schemes are simultaneously utilized. We prove that GDA yields the optimal convergence rate in terms of output averaging, while SC-PDA derives the optimal individual convergence. Several experiments on SVMs and deep learning models validate the correctness of theoretical analysis and effectiveness of algorithms.


title: Correlation Across Environments Encoded by Hippocampal Place Cells

abstract: The hippocampus is often attributed to episodic memory formation and storage in the mammalian brain; in particular, Alme et al. showed that hippocampal area CA3 forms statistically independent representations across a large number of environments, even if the environments share highly similar features. This lack of overlap between spatial maps indicates the large capacity of the CA3 circuitry. In this paper, we support the argument for the large capacity of the CA3 network. To do so, we replicate the key findings of Alme et al. and extend the results by perturbing the neural activity encodings with noise and conducting representation similarity analysis (RSA). We find that the correlations between firing rates are partially resistant to noise, and that the spatial representations across cells show similar patterns, even across different environments. Finally, we discuss some theoretical and practical implications of our results.


title: Radio frequency reflectometry in silicon-based quantum dots

abstract: RF reflectometry offers a fast and sensitive method for charge sensing and spin readout in gated quantum dots. We focus in this work on the implementation of RF readout in accumulation-mode gate-defined quantum dots, where the large parasitic capacitance poses a challenge. We describe and test two methods for mitigating the effect of the parasitic capacitance, one by on-chip modifications and a second by off-chip changes. We demonstrate that these methods enable high-performance charge readout in Si/SiGe quantum dots, achieving a fidelity of 99.9% for a measurement time of 1 $\mu$s.


title: Cap the Gap: Solving the Egoistic Dilemma under the Transaction Fee-Incentive Bitcoin

abstract: Bitcoin has witnessed a prevailing transition that employing transaction fees paid by users rather than subsidy assigned by the system as the main incentive for mining.


title: Remarks on minimal mass blow up solutions for a double power nonlinear Schr\"{o}dinger equation

abstract: We consider the following nonlinear Schr\"{o}dinger equation with double power nonlinearity \[ i\frac{\partial u}{\partial t}+\Delta u+|u|^{\frac{4}{N}}u+|u|^{p-1}u=0,\quad 1<p<1+\frac{4}{N} \] in $\mathbb{R}^N$. For $N=1,2,3$, Le Coz-Martel-Rapha\"{e}l (2016) construct a minimal-mass blow-up solution. Moreover, the previous study derives blow-up rate of the blow-up solution. In this paper, we extend this result to the general dimension. Furthermore, we investigate the behaviour of the critical mass blow-up solution near the blow-up time.


title: Random Planted Forest: a directly interpretable tree ensemble

abstract: We introduce a novel interpretable tree based algorithm for prediction in a regression setting. Our motivation is to estimate the unknown regression function from a functional decomposition perspective in which the functional components correspond to lower order interaction terms. The idea is to modify the random forest algorithm by keeping certain leaves after they are split instead of deleting them. This leads to non-binary trees which we refer to as planted trees. An extension to a forest leads to our random planted forest algorithm. Additionally, the maximum number of covariates which can interact within a leaf can be bounded. If we set this interaction bound to one, the resulting estimator is a sum of one-dimensional functions. In the other extreme case, if we do not set a limit, the resulting estimator and corresponding model place no restrictions on the form of the regression function. In a simulation study we find encouraging prediction and visualisation properties of our random planted forest method. We also develop theory for an idealized version of random planted forests in cases where the interaction bound is low. We show that if it is smaller than three, the idealized version achieves asymptotically optimal convergence rates up to a logarithmic factor. Code is available on GitHub https://github.com/PlantedML/randomPlantedForest.


title: Myocardial Segmentation of Cardiac MRI Sequences with Temporal Consistency for Coronary Artery Disease Diagnosis

abstract: Coronary artery disease (CAD) is the most common cause of death globally, and its diagnosis is usually based on manual myocardial segmentation of Magnetic Resonance Imaging (MRI) sequences. As the manual segmentation is tedious, time-consuming and with low applicability, automatic myocardial segmentation using machine learning techniques has been widely explored recently. However, almost all the existing methods treat the input MRI sequences independently, which fails to capture the temporal information between sequences, e.g., the shape and location information of the myocardium in sequences along time. In this paper, we propose a myocardial segmentation framework for sequence of cardiac MRI (CMR) scanning images of left ventricular cavity, right ventricular cavity, and myocardium. Specifically, we propose to combine conventional networks and recurrent networks to incorporate temporal information between sequences to ensure temporal consistent. We evaluated our framework on the Automated Cardiac Diagnosis Challenge (ACDC) dataset. Experiment results demonstrate that our framework can improve the segmentation accuracy by up to 2% in Dice coefficient.


title: Incoherent transport in a classical spin liquid

abstract: We study the energy and spin transport of the classical spin liquid hosted by the pyrochlore Heisenberg antiferromagnet in the large $S$ limit. Molecular dynamics calculation suggests that both the energy and spin diffusion constants approach finite limits as the temperature tends to zero. We explain our results in terms of an effective disorder model, where the energy/spin-carrying normal modes propagate in a quasi-static disordered spin background. The finite zero temperature limits of the diffusion constants are then naturally understood as a result of the finite mean free path of the normal modes due to the effective disorder.


title: Autocratic Strategies of Multi-State Games

abstract: In a single-state repeated game, zero-determinant strategies can unilaterally force functions of the payoffs to take values in particular closed intervals. When the explicit use of a determinant is absent from the analysis, they are instead called autocratic. We extend their study to the setting of finite state games with deterministic transitions. For a given game we find that the endpoints of the intervals of enforceable values must satisfy fixed point equations. From these extreme enforceable values we show it is always possible to construct finite memory strategies to enforce a particular value. An algorithm is presented which will approximate the enforceable values in each state. Finally, we present formulas from which the exact solutions can be recovered from the approximate solution.


title: Ensembled ResUnet for Anatomical Brain Barriers Segmentation

abstract: Accuracy segmentation of brain structures could be helpful for glioma and radiotherapy planning. However, due to the visual and anatomical differences between different modalities, the accurate segmentation of brain structures becomes challenging. To address this problem, we first construct a residual block based U-shape network with a deep encoder and shallow decoder, which can trade off the framework performance and efficiency. Then, we introduce the Tversky loss to address the issue of the class imbalance between different foreground and the background classes. Finally, a model ensemble strategy is utilized to remove outliers and further boost performance.


title: Unlinking Theorem for Symmetric Quasi-convex Polynomials

abstract: Let $\mu_n$ be the standard Gaussian measure on $\mathbb{R}^n$ and $X$ be a random vector on $\mathbb{R}^n$ with the law $\mu_n$. U-conjecture states that if $f$ and $g$ are two polynomials on $\mathbb{R}^n$ such that $f(X)$ and $g(X)$ are independent, then there exist an orthogonal transformation $L$ on $\mathbb{R}^n$ and an integer $k$ such that $f\circ L$ is a function of $(x_1,\cdots,x_k)$ and $g\circ L$ is a function of $(x_{k+1},\cdots,x_n)$. In this case, $f$ and $g$ are said to be unlinked. In this note, we prove that two symmetric, quasi-convex polynomials $f$ and $g$ are unlinked if $f(X)$ and $g(X)$ are independent.


title: MGML: Multi-Granularity Multi-Level Feature Ensemble Network for Remote Sensing Scene Classification

abstract: Remote sensing (RS) scene classification is a challenging task to predict scene categories of RS images. RS images have two main characters: large intra-class variance caused by large resolution variance and confusing information from large geographic covering area. To ease the negative influence from the above two characters. We propose a Multi-granularity Multi-Level Feature Ensemble Network (MGML-FENet) to efficiently tackle RS scene classification task in this paper. Specifically, we propose Multi-granularity Multi-Level Feature Fusion Branch (MGML-FFB) to extract multi-granularity features in different levels of network by channel-separate feature generator (CS-FG). To avoid the interference from confusing information, we propose Multi-granularity Multi-Level Feature Ensemble Module (MGML-FEM) which can provide diverse predictions by full-channel feature generator (FC-FG). Compared to previous methods, our proposed networks have ability to use structure information and abundant fine-grained features. Furthermore, through ensemble learning method, our proposed MGML-FENets can obtain more convincing final predictions. Extensive classification experiments on multiple RS datasets (AID, NWPU-RESISC45, UC-Merced and VGoogle) demonstrate that our proposed networks achieve better performance than previous state-of-the-art (SOTA) networks. The visualization analysis also shows the good interpretability of MGML-FENet.


title: Bose-Einstein condensates in an atom-optomechanical system with effective global non-uniform interaction

abstract: We consider a hybrid atom-optomechanical system consisting of a mechanical membrane inside an optical cavity and an atomic Bose-Einstein condensate outside the cavity. The condensate is confined in an optical lattice potential formed by a traveling laser beam reflected off one cavity mirror. We derive the cavity-mediated effective atom-atom interaction potential, and find that it is non-uniform, site-dependent, and does not decay as the interatomic distance increases. We show that the presence of this effective interaction breaks the Z$_2$ symmetry of the system and gives rise to new quantum phases and phase transitions. When the long-range interaction dominates, the condensate breaks the translation symmetry and turns into a novel self-organized lattice-like state with increasing particle densities for sites farther away from the cavity. We present the phase diagram of the system, and investigate the stabilities of different phases by calculating their respective excitation spectra. The system can serve as a platform to explore various self-organized phenomena induced by the long-range interactions.


title: Rabi oscillations at the exceptional point in anti-parity-time symmetric diffusive systems

abstract: The motivation for this theoretical paper comes from recent experiments of a heat transfer system of two thermally coupled rings rotating in opposite directions with equal angular velocities that present anti-parity-time (APT) symmetry. The theoretical model predicted a rest-to-motion temperature distribution phase transition during the symmetry breaking for a particular rotation speed. In this work we show that the system exhibits a parity-time ($\mathcal{PT}$) phase transition at the exceptional point in which eigenvalues and eigenvectors of the corresponding non-Hermitian Hamiltonian coalesce. We analytically solve the heat diffusive system at the exceptional point and show that one can pass through the phase transition that separates the unbroken and broken phases by changing the radii of the rings. In the case of unbroken $\mathcal{PT}$ symmetry the temperature profiles exhibit damped Rabi oscillations at the exceptional point. Our results unveils the behavior of the system at the exceptional point in heat diffusive systems.


title: Piezo-optic effect of high-harmonic generation in semiconductors

abstract: We theoretically investigate the piezo-optic effect of high-harmonic generation (HHG) in shear-strained semiconductors. By focusing on a typical semiconductor, GaAs, we show that there is optical activity, meaning different responses to right-handed and left-handed elliptically polarized electric fields. We also show that this optical activity is more pronounced for higher harmonics whose perturbative order exceeds the band-gap energy. These findings point to a useful pathway for strain engineering of nonlinear optics to control the reciprocity of HHG.


title: Formal Statement of the Decision-making Support Problem in the Management of Municipal Social and Economic Development

abstract: This article deals with the process of managing the social and economic development of municipal formations. It highlights characteristics and key issues that arise during management at the municipal level. In order to minimize the impact of the described issues, it is suggested to consider municipal social and economic development as a semistructured system which is modelled using a semantic network. As a result, it is concluded that a rating of indicators for assessing social and economic development needs to be created in order to determine the effectiveness and correlation with the targeted indicators.


title: A Differentially Private Multi-Output Deep Generative Networks Approach For Activity Diary Synthesis

abstract: In this work, we develop a privacy-by-design generative model for synthesizing the activity diary of the travel population using state-of-art deep learning approaches. This proposed approach extends literature on population synthesis by contributing novel deep learning to the development and application of synthetic travel data while guaranteeing privacy protection for members of the sample population on which the synthetic populations are based. First, we show a complete de-generalization of activity diaries to simulate the socioeconomic features and longitudinal sequences of geographically and temporally explicit activities. Second, we introduce a differential privacy approach to control the level of resolution disclosing the uniqueness of survey participants. Finally, we experiment using the Generative Adversarial Networks (GANs). We evaluate the statistical distributions, pairwise correlations and measure the level of privacy guaranteed on simulated datasets for varying noise. The results of the model show successes in simulating activity diaries composed of multiple outputs including structured socio-economic features and sequential tour activities in a differentially private manner.


title: Cabibbo-favored $\Lambda^+_c\to\Lambda a_{0}(980)^+$ decay in the final state interaction

abstract: The anti-triplet charmed baryon decays with the light scalar mesons are rarely measured, whereas the recent observation of the Cabibbo-favored $\Lambda_c^+\to \Lambda\eta\pi^+$ decay hints a possible $\Lambda_c^+\to\Lambda a_0(980)^+,a_0(980)^+\to \eta\pi^+$ process. We hence study the $\Lambda_c^+\to\Lambda a_0(980)^+$ decay. Particularly, it is found that the final state interaction can give a significant contribution, where $\Sigma^{+}(1385)$ and $\eta$ in $\Lambda_c^+\to \Sigma^{+}(1385)\eta$ by exchanging a charged pion are transformed as $\Lambda$ and $a_0(980)^+$, respectively. Accordingly, we predict ${\cal B}(\Lambda_c^+\to\Lambda a_0(980)^+)=(1.7^{+2.8}_{-1.0}\pm 0.3)\times 10^{-3}$, accessible to the BESIII, BELLEII and LHCb experiments.


title: Dynamical Systems based Obstacle Avoidance with Workspace Constraint for Manipulators

abstract: In this paper, based on Dynamical Systems (DS), we present an obstacle avoidance method that take into account workspace constraint for serial manipulators. Two modulation matrices that consider the effect of an obstacle and the workspace of a manipulator are determined when the obstacle does not intersect the workspace boundary and when the obstacle intersects the workspace boundary respectively. Using the modulation matrices, an original DS is deformed. The proposed approach can ensure that the trajectory of the manipulator computed according to the deformed DS neither penetrate the obstacle nor go out of the workspace. We validate the effectiveness of the approach in the simulations and experiments on the left arm of the UBTECH humanoid robot.


title: Expansion of Ultracold Neutral Plasmas with Exponentially Decaying Density Distributions

abstract: We present a study of the expansion of an ultracold neutral plasma (UCNP) with an initial density distribution that decays exponentially in space, created by photoionizing atoms shortly after their release from a quadrupole (or biconic cusp) magnetic trap. A characteristic ion acoustic timescale is evident in the evolution of the plasma size and velocity, indicating the dynamics are reasonably well described by a model of hydrodynamic expansion of a quasi-neutral plasma. However, for low plasma density and high initial electron temperature, excess ion kinetic energy in the vicinity of the central density peak suggests significant local non-neutrality at early times. Observations are compared to the well-understood self-similar expansion of an UCNP with an initial Gaussian density distribution, and a similar scaling law describes the evolution of plasma size for both cases.


title: Real-time Whole-body Obstacle Avoidance for 7-DOF Redundant Manipulators

abstract: Mainly because of the heavy computational costs, the real-time whole-body obstacle avoidance for the redundant manipulators has not been well implemented. This paper presents an approach that can ensure that the whole-body of a redundant manipulator can avoid moving obstacles in real-time during the execution of a task. The manipulator is divided into end-effector and non-end-effector portion. Based on dynamical systems (DS), the real-time end-effector obstacle avoidance is obtained. Besides, the end-effector can reach the given target. By using null-space velocity control, the real-time non-endeffector obstacle avoidance is achieved. Finally, a controller is designed to ensure the whole-body obstacle avoidance. We validate the effectiveness of the method in the simulations and experiments on the 7-DOF arm of the UBTECH humanoid robot.


title: Dispersive Riemann problem for the Benjamin-Bona-Mahony equation

abstract: Long time dynamics of the smoothed step initial value problem or dispersive Riemann problem for the Benjamin-Bona-Mahony (BBM) equation $u_t + uu_x = u_{xxt}$ are studied using asymptotic methods and numerical simulations. The catalog of solutions of the dispersive Riemann problem for the BBM equation is much richer than for the related, integrable, Korteweg-de Vries equation $u_t + uu_x + u_{xxx} =0.$ The transition width of the initial smoothed step is found to significantly impact the dynamics. Narrow width gives rise to rarefaction and dispersive shock wave (DSW) solutions that are accompanied by the generation of two-phase linear wavetrains, solitary wave shedding, and expansion shocks. Both narrow and broad initial widths give rise to two-phase nonlinear wavetrains or DSW implosion and a new kind of dispersive Lax shock for symmetric data. The dispersive Lax shock is described by an approximate self-similar solution of the BBM equation whose limit as $t \to \infty$ is a stationary, discontinuous weak solution. By introducing a slight asymmetry in the data for the dispersive Lax shock, the generation of an incoherent solitary wavetrain is observed. Further asymmetry leads to the DSW implosion regime that is effectively described by a pair of coupled nonlinear Schr\"{o}dinger equations. The complex interplay between nonlocality, nonlinearity and dispersion in the BBM equation underlies the rich variety of nonclassical dispersive hydrodynamic solutions to the dispersive Riemann problem.


title: Synchronization with prescribed transient behavior: Heterogeneous multi-agent systems under funnel coupling Extended arXiv version

abstract: In this paper, we introduce a nonlinear time-varying coupling law, which can be designed in a fully decentralized manner and achieves approximate synchronization with arbitrary precision, under only mild assumptions on the individual vector fields and the underlying (undirected) graph structure. The proposed coupling law is motivated by the so-called funnel control method studied in adaptive control under the observation that arbitrary precision synchronization can be achieved for heterogeneous multi-agent systems by a high-gain coupling; consequently we call our novel synchronization method `(node-wise) funnel coupling.' By adjusting the conventional proof technique in the funnel control study, we are even able to obtain asymptotic synchronization with the same funnel coupling law. Moreover, the emergent collective behavior that arises for a heterogeneous multi-agent system when enforcing arbitrary precision synchronization by the proposed funnel coupling law, is analyzed in this paper. In particular, we introduce a single scalar dynamics called `emergent dynamics' which describes the emergent synchronized behavior of the multi-agent system under funnel coupling. Characterization of the emergent dynamics is important because, for instance, one can design the emergent dynamics first such that the solution trajectory behaves as desired, and then, provide a design guideline to each agent so that the constructed vector fields yield the desired emergent dynamics. We illustrate this idea via the example of a distributed median solver based on funnel coupling.


title: Prosocial Norm Emergence in Multiagent Systems

abstract: Multiagent systems provide a basis for developing systems of autonomous entities and thus find application in a variety of domains. We consider a setting where not only the member agents are adaptive but also the multiagent system viewed as an entity in its own right is adaptive. Specifically, the social structure of a multiagent system can be reflected in the social norms among its members. It is well recognized that the norms that arise in society are not always beneficial to its members. We focus on prosocial norms, which help achieve positive outcomes for society and often provide guidance to agents to act in a manner that takes into account the welfare of others. Specifically, we propose Cha, a framework for the emergence of prosocial norms. Unlike previous norm emergence approaches, Cha supports continual change to a system (agents may enter and leave) and dynamism (norms may change when the environment changes). Importantly, Cha agents incorporate prosocial decision making based on inequity aversion theory, reflecting an intuition of guilt arising from being antisocial. In this manner, Cha brings together two important themes in prosociality: decision making by individuals and fairness of system-level outcomes. We demonstrate via simulation that Cha can improve aggregate societal gains and fairness of outcomes.


title: Explainable Reactive Synthesis

abstract: Reactive synthesis transforms a specification of a reactive system, given in a temporal logic, into an implementation. The main advantage of synthesis is that it is automatic. The main disadvantage is that the implementation is usually very difficult to understand. In this paper, we present a new synthesis process that explains the synthesized implementation to the user. The process starts with a simple version of the specification and a corresponding simple implementation. Then, desired properties are added one by one, and the corresponding transformations, repairing the implementation, are explained in terms of counterexample traces. We present SAT-based algorithms for the synthesis of repairs and explanations. The algorithms are evaluated on a range of examples including benchmarks taken from the SYNTCOMP competition.


title: Understanding and Improving Lexical Choice in Non-Autoregressive Translation

abstract: Knowledge distillation (KD) is essential for training non-autoregressive translation (NAT) models by reducing the complexity of the raw data with an autoregressive teacher model. In this study, we empirically show that as a side effect of this training, the lexical choice errors on low-frequency words are propagated to the NAT model from the teacher model. To alleviate this problem, we propose to expose the raw data to NAT models to restore the useful information of low-frequency words, which are missed in the distilled data. To this end, we introduce an extra Kullback-Leibler divergence term derived by comparing the lexical choice of NAT model and that embedded in the raw data. Experimental results across language pairs and model architectures demonstrate the effectiveness and universality of the proposed approach. Extensive analyses confirm our claim that our approach improves performance by reducing the lexical choice errors on low-frequency words. Encouragingly, our approach pushes the SOTA NAT performance on the WMT14 English-German and WMT16 Romanian-English datasets up to 27.8 and 33.8 BLEU points, respectively. The source code will be released.


title: Annotation-Efficient Learning for Medical Image Segmentation based on Noisy Pseudo Labels and Adversarial Learning

abstract: Despite that deep learning has achieved state-of-the-art performance for medical image segmentation, its success relies on a large set of manually annotated images for training that are expensive to acquire. In this paper, we propose an annotation-efficient learning framework for segmentation tasks that avoids annotations of training images, where we use an improved Cycle-Consistent Generative Adversarial Network (GAN) to learn from a set of unpaired medical images and auxiliary masks obtained either from a shape model or public datasets. We first use the GAN to generate pseudo labels for our training images under the implicit high-level shape constraint represented by a Variational Auto-encoder (VAE)-based discriminator with the help of the auxiliary masks, and build a Discriminator-guided Generator Channel Calibration (DGCC) module which employs our discriminator's feedback to calibrate the generator for better pseudo labels. To learn from the pseudo labels that are noisy, we further introduce a noise-robust iterative learning method using noise-weighted Dice loss. We validated our framework with two situations: objects with a simple shape model like optic disc in fundus images and fetal head in ultrasound images, and complex structures like lung in X-Ray images and liver in CT images. Experimental results demonstrated that 1) Our VAE-based discriminator and DGCC module help to obtain high-quality pseudo labels. 2) Our proposed noise-robust learning method can effectively overcome the effect of noisy pseudo labels. 3) The segmentation performance of our method without using annotations of training images is close or even comparable to that of learning from human annotations.


title: Electric dipole moments in the extended scotogenic models

abstract: Electric dipole moments (EDMs) of charged leptons arise from a new source of CP violation in the lepton sector. In this paper, we calculate the EDMs of the charged leptons in the minimal scotogenic model with two singlet fermions, and the models extended with one or two triplet fermions instead of the singlet fermions, taking into account the constraints of the neutrino oscillation data, the charged lepton flavor violation and perturbative unitarity bound for the Yukawa couplings. We show that the hybrid model with one singlet and one triplet fermions predicts an electron EDM larger than the other models in both normal and inverted neutrino mass hierarchy. We find some parameter space has already been ruled out by the current upper bound of the electron EDM and further parameter space can be explored by future experiments.


title: Canonical Representations of k-Safety Hyperproperties

abstract: Hyperproperties elevate the traditional view of trace properties form sets of traces to sets of sets of traces and provide a formalism for expressing information-flow policies. For trace properties, algorithms for verification, monitoring, and synthesis are typically based on a representation of the properties as omega-automata. For hyperproperties, a similar, canonical automata-theoretic representation is, so far, missing. This is a serious obstacle for the development of algorithms, because basic constructions, such as learning algorithms, cannot be applied. In this paper, we present a canonical representation for the widely used class of regular k-safety hyperproperties, which includes important polices such as noninterference. We show that a regular k-safety hyperproperty S can be represented by a finite automaton, where each word accepted by the automaton represents a violation of S. The representation provides an automata-theoretic approach to regular k-safety hyperproperties and allows us to compare regular k-safety hyperproperties, simplify them, and learn such hyperproperties. We investigate the problem of constructing automata for regular k-safety hyperproperties in general and from formulas in HyperLTL, and provide complexity bounds for the different translations. We also present a learning algorithm for regular k-safety hyperproperties based on the L* learning algorithm for deterministic finite automata.


title: AU-Expression Knowledge Constrained Representation Learning for Facial Expression Recognition

abstract: Recognizing human emotion/expressions automatically is quite an expected ability for intelligent robotics, as it can promote better communication and cooperation with humans. Current deep-learning-based algorithms may achieve impressive performance in some lab-controlled environments, but they always fail to recognize the expressions accurately for the uncontrolled in-the-wild situation. Fortunately, facial action units (AU) describe subtle facial behaviors, and they can help distinguish uncertain and ambiguous expressions. In this work, we explore the correlations among the action units and facial expressions, and devise an AU-Expression Knowledge Constrained Representation Learning (AUE-CRL) framework to learn the AU representations without AU annotations and adaptively use representations to facilitate facial expression recognition. Specifically, it leverages AU-expression correlations to guide the learning of the AU classifiers, and thus it can obtain AU representations without incurring any AU annotations. Then, it introduces a knowledge-guided attention mechanism that mines useful AU representations under the constraint of AU-expression correlations. In this way, the framework can capture local discriminative and complementary features to enhance facial representation for facial expression recognition. We conduct experiments on the challenging uncontrolled datasets to demonstrate the superiority of the proposed framework over current state-of-the-art methods. Codes and trained models are available at https://github.com/HCPLab-SYSU/AUE-CRL.


title: Variation of Magnetic Flux Ropes Through Major Solar Flares

abstract: It remains unclear how solar flares are triggered and in what conditions they can be eruptive with coronal mass ejections. Magnetic flux ropes (MFRs) has been suggested as the central magnetic structure of solar eruptions, and their ideal instabilities including mainly the kink instability (KI) and torus instability (TI) provide important candidates for triggering mechanisms. Here using magnetic field extrapolations from observed photospheric magnetograms, we systematically studied the variation of coronal magnetic fields, focusing on MFRs, through major flares including 29 eruptive and 16 confined events. We found that nearly 90\% events possess MFR before flare and 70\% have MFR even after flare. We calculated the controlling parameters of KI and TI, including the MFR's maximum twist number and the decay index of its strapping field. Using the KI and TI thresholds empirically derived from solely the pre-flare MFRs, two distinct different regimes are shown in the variation of the MFR controlling parameters through flares. For the events with both parameters below their thresholds before flare, we found no systematic change of the parameters after the flares, in either the eruptive or confined events. In contrast, for the events with any of the two parameters exceeding their threshold before flare (most of them are eruptive), there is systematic decrease in the parameters to below their thresholds after flares. These results provide a strong constraint for the values of the instability thresholds and also stress the necessity of exploring other eruption mechanisms in addition to the ideal instabilities.


title: Sample size re-estimation in Phase 2 Dose-Finding: Conditional power vs. Bayesian predictive power

abstract: Unblinded sample size re-estimation (SSR) is often planned in a clinical trial when there is large uncertainty about the true treatment effect. For Proof-of Concept (PoC) in a Phase II dose finding study, contrast test can be adopted to leverage information from all treatment groups. In this article, we propose two-stage SSR designs using frequentist conditional power and Bayesian posterior predictive power for both single and multiple contrast tests. The Bayesian SSR can be implemented under a wide range of prior settings to incorporate different prior knowledge. Taking the adaptivity into account, all type I errors of final analysis in this paper are rigorously protected. Simulation studies are carried out to demonstrate the advantages of unblinded SSR in multi-arm trials.


title: Approximate Automata for Omega-Regular Languages

abstract: Automata over infinite words, also known as omega-automata, play a key role in the verification and synthesis of reactive systems. The spectrum of omega-automata is defined by two characteristics: the acceptance condition (e.g. B\"uchi or parity) and the determinism (e.g., deterministic or nondeterministic) of an automaton. These characteristics play a crucial role in applications of automata theory. For example, certain acceptance conditions can be handled more efficiently than others by dedicated tools and algorithms. Furthermore, some applications, such as synthesis and probabilistic model checking, require that properties are represented as some type of deterministic omega-automata. However, properties cannot always be represented by automata with the desired acceptance condition and determinism. In this paper we study the problem of approximating linear-time properties by automata in a given class. Our approximation is based on preserving the language up to a user-defined precision given in terms of the size of the finite lasso representation of infinite executions that are preserved. We study the state complexity of different types of approximating automata, and provide constructions for the approximation within different automata classes, for example, for approximating a given automaton by one with a simpler acceptance condition.


title: Advanced Differential Equations: Asymptotics & Perturbations

abstract: Approximation techniques have been historically important for solving differential equations, both as initial value problems and boundary value problems. The integration of numerical, analytic and perturbation methods and techniques can help produce meaningful approximate solutions for many modern problems in the engineering and physical sciences. An overview of such methods is given here, focusing on the use of perturbation techniques for revealing many key properties and behaviors exhibited in practice across diverse scientific disciplines.


title: Synthesizing Approximate Implementations for Unrealizable Specifications

abstract: The unrealizability of a specification is often due to the assumption that the behavior of the environment is unrestricted. In this paper, we present algorithms for synthesis in bounded environments, where the environment can only generate input sequences that are ultimately periodic words (lassos) with finite representations of bounded size. We provide automata-theoretic and symbolic approaches for solving this synthesis problem, and also study the synthesis of approximative implementations from unrealizable specifications. Such implementations may violate the specification in general, but are guaranteed to satisfy the specification on at least a specified portion of the bounded-size lassos. We evaluate the algorithms on different arbiter specifications.


title: A Kinetic Approach to Studying Low-Frequency Molecular Fluctuations in a One-Dimensional Shock

abstract: Low-frequency molecular fluctuations in the translational nonequilibrium zone of one-dimensional strong shock waves are characterised for the first time in a kinetic collisional framework in the Mach number range $2\le M\le 10$. Our analysis draws upon the well-known bimodal nature of the probability density function (PDF) of gas particles in the shock, as opposed to their Maxwellian distribution in the freestream, the latter exhibiting an order of magnitude higher dominant frequencies than the former. Inside the (finite-thickness) shock region, the strong correlation between perturbations in the bimodal PDF and fluctuations in the normal stress suggests introducing a novel two-bin model to describe the reduced-order dynamics of a large number of collision interactions of gas particles. Our model correctly predicts the order-of-magnitude difference in fluctuation frequencies in the shock versus those in the freestream and is consistent with the small-amplitude fluctuations obtained from the highly resolved Direct Simulation Monte Carlo (DSMC) computations of the same configuration. The variation of low-frequency fluctuations with changes in the conditions upstream of the shock revealed that these fluctuations can be described by a Strouhal number, based on the bulk velocity upstream of the shock and the shock-thickness based on the maximum density-gradient inside the shock, that remains practically independent of Mach number in the range examined. Our results are expected to have far-reaching implications for boundary conditions employed in the vicinity of shocks in the framework of flow instability and laminar-turbulent transition studies of flows containing both unsteady and nominally stationary shocks.


title: On Approximation Algorithm for Orthogonal Low-Rank Tensor Approximation

abstract: The goal of this work is to fill a gap in [Yang, SIAM J. Matrix Anal. Appl, 41 (2020), 1797--1825]. In that work, an approximation procedure was proposed for orthogonal low-rank tensor approximation; however, the approximation lower bound was only established when the number of orthonormal factors is one. To this end, by further exploring the multilinearity and orthogonality of the problem, we introduce a modified approximation algorithm. Approximation lower bound is established, either in deterministic or expected sense, no matter how many orthonormal factors there are. In addition, a major feature of the new algorithm is its flexibility to allow either deterministic or randomized procedures to solve a key step of each latent orthonormal factor involved in the algorithm. This feature can reduce the computation of large SVDs, making the algorithm more efficient. Some numerical studies are provided to validate the usefulness of the proposed algorithm.


title: Sparse PCA via $l_{2,p}$-Norm Regularization for Unsupervised Feature Selection

abstract: In the field of data mining, how to deal with high-dimensional data is an inevitable problem. Unsupervised feature selection has attracted more and more attention because it does not rely on labels. The performance of spectral-based unsupervised methods depends on the quality of constructed similarity matrix, which is used to depict the intrinsic structure of data. However, real-world data contain a large number of noise samples and features, making the similarity matrix constructed by original data cannot be completely reliable. Worse still, the size of similarity matrix expands rapidly as the number of samples increases, making the computational cost increase significantly. Inspired by principal component analysis, we propose a simple and efficient unsupervised feature selection method, by combining reconstruction error with $l_{2,p}$-norm regularization. The projection matrix, which is used for feature selection, is learned by minimizing the reconstruction error under the sparse constraint. Then, we present an efficient optimization algorithm to solve the proposed unsupervised model, and analyse the convergence and computational complexity of the algorithm theoretically. Finally, extensive experiments on real-world data sets demonstrate the effectiveness of our proposed method.


title: Spin-$\frac{3}{2}$ doubly charmed baryon contribution to the magnetic moments of the spin-$\frac{1}{2}$ doubly charmed baryons

abstract: We have systematically investigated the magnetic moments of spin-$\frac{1}{2}$ doubly charmed baryons in the framework of the heavy baryon chiral perturbation theory. In this paper, one loop corrections with intermediate spin-$\frac{1}{2}$ and spin-$\frac{3}{2}$ doubly charmed baryon states are considered. The numerical results are calculated to next-to-leading order: $\mu_{\Xi^{++}_{cc}}=0.35\mu_{N}$, $\mu_{\Xi^{+}_{cc}}=0.62\mu_{N}$, $\mu_{\Omega^{+}_{cc}}=0.41\mu_{N}$. Our results may be useful for future experiment and chiral extrapolation of the lattice QCD.


title: Hierarchical Representation via Message Propagation for Robust Model Fitting

abstract: In this paper, we propose a novel hierarchical representation via message propagation (HRMP) method for robust model fitting, which simultaneously takes advantages of both the consensus analysis and the preference analysis to estimate the parameters of multiple model instances from data corrupted by outliers, for robust model fitting. Instead of analyzing the information of each data point or each model hypothesis independently, we formulate the consensus information and the preference information as a hierarchical representation to alleviate the sensitivity to gross outliers. Specifically, we firstly construct a hierarchical representation, which consists of a model hypothesis layer and a data point layer. The model hypothesis layer is used to remove insignificant model hypotheses and the data point layer is used to remove gross outliers. Then, based on the hierarchical representation, we propose an effective hierarchical message propagation (HMP) algorithm and an improved affinity propagation (IAP) algorithm to prune insignificant vertices and cluster the remaining data points, respectively. The proposed HRMP can not only accurately estimate the number and parameters of multiple model instances, but also handle multi-structural data contaminated with a large number of outliers. Experimental results on both synthetic data and real images show that the proposed HRMP significantly outperforms several state-of-the-art model fitting methods in terms of fitting accuracy and speed.


title: Vertex reinforced random walks with exponential interaction on complete graphs

abstract: We describe a model for $m$ vertex reinforced interacting random walks on complete graphs with $d\geq 2$ vertices. The transition probability of a random walk to a given vertex depends exponentially on the proportion of visits made by all walks to that vertex. The individual proportion of visits is modulated by a strength parameter that can be set equal to any real number. This model covers a large variety of interactions including different vertex repulsion and attraction strengths between any two random walks as well as self-reinforced interactions. We show that the process of empirical vertex occupation measures defined by the interacting random walks converges (a.s.) to the limit set of the flow induced by a smooth vector field. Further, if the set of equilibria of the field is formed by isolated points, then the vertex occupation measures converge (a.s.) to an equilibrium of the field. These facts are shown by means of the construction of a strict Lyapunov function. We show that if the absolute value of the interaction strength parameters are smaller than a certain upper bound, then, for any number of random walks ($m\geq 2$) on any graph ($d \geq 2$), the vertex occupation measure converges toward a unique equilibrium. We provide two additional examples of repelling random walks for the cases $m=d=2$ and $m=3$, $d=2$. The latter is used to study some properties of three exponentially repelling random walks on $\mathbb{Z}$.


title: Linear Quadratic Stackelberg Stochastic Differential Games: Closed-Loop Solvability

abstract: This paper is concerned with the closed-loop solvability of one kind of linear-quadratic Stackelberg stochastic differential game, where the coefficients are deterministic. The notion of the closed-loop solvability is introduced, which require to be independent of the initial state. The follower's problem is solved first, and the closed-loop optimal strategy is characterized by a Riccati equation, together with an adapted solution to a linear backward stochastic differential equation. Then the necessary conditions of the existence of the leader's nonanticipating closed-loop optimal strategy is obtained via a system of cross-coupled Riccati equations. The sufficiency is open since the completion-of-square method is invalid.


title: A Comprehensive Guide to CAN IDS Data & Introduction of the ROAD Dataset

abstract: Although ubiquitous in modern vehicles, Controller Area Networks (CANs) lack basic security properties and are easily exploitable. A rapidly growing field of CAN security research has emerged that seeks to detect intrusions on CANs. Producing vehicular CAN data with a variety of intrusions is out of reach for most researchers as it requires expensive assets and expertise. To assist researchers, we present the first comprehensive guide to the existing open CAN intrusion datasets, including a quality analysis of each dataset and an enumeration of each's benefits, drawbacks, and suggested use case. Current public CAN IDS datasets are limited to real fabrication (simple message injection) attacks and simulated attacks often in synthetic data, which lack fidelity. In general, the physical effects of attacks on the vehicle are not verified in the available datasets. Only one dataset provides signal-translated data but not a corresponding raw binary version. Overall, the available data pigeon-holes CAN IDS works into testing on limited, often inappropriate data (usually with attacks that are too easily detectable to truly test the method), and this lack data has stymied comparability and reproducibility of results. As our primary contribution, we present the ROAD (Real ORNL Automotive Dynamometer) CAN Intrusion Dataset, consisting of over 3.5 hours of one vehicle's CAN data. ROAD contains ambient data recorded during a diverse set of activities, and attacks of increasing stealth with multiple variants and instances of real fuzzing, fabrication, and unique advanced attacks, as well as simulated masquerade attacks. To facilitate benchmarking CAN IDS methods that require signal-translated inputs, we also provide the signal time series format for many of the CAN captures. Our contributions aim to facilitate appropriate benchmarking and needed comparability in the CAN IDS field.


title: Emergent Symbols through Binding in External Memory

abstract: A key aspect of human intelligence is the ability to infer abstract rules directly from high-dimensional sensory data, and to do so given only a limited amount of training experience. Deep neural network algorithms have proven to be a powerful tool for learning directly from high-dimensional data, but currently lack this capacity for data-efficient induction of abstract rules, leading some to argue that symbol-processing mechanisms will be necessary to account for this capacity. In this work, we take a step toward bridging this gap by introducing the Emergent Symbol Binding Network (ESBN), a recurrent network augmented with an external memory that enables a form of variable-binding and indirection. This binding mechanism allows symbol-like representations to emerge through the learning process without the need to explicitly incorporate symbol-processing machinery, enabling the ESBN to learn rules in a manner that is abstracted away from the particular entities to which those rules apply. Across a series of tasks, we show that this architecture displays nearly perfect generalization of learned rules to novel entities given only a limited number of training examples, and outperforms a number of other competitive neural network architectures.


title: Is human scoring the best criteria for summary evaluation?

abstract: Normally, summary quality measures are compared with quality scores produced by human annotators. A higher correlation with human scores is considered to be a fair indicator of a better measure. We discuss observations that cast doubt on this view. We attempt to show a possibility of an alternative indicator. Given a family of measures, we explore a criterion of selecting the best measure not relying on correlations with human scores. Our observations for the BLANC family of measures suggest that the criterion is universal across very different styles of summaries.


title: Performance Analysis of 2-Step Random Access with CDMA in Machine-Type Communication

abstract: There is a growing interest in the transition from 4-step random access to 2-step random access in machine-type communication (MTC), since 2-step random access is well-suited to short message delivery in various Internet of Things (IoT) applications. In this paper, we study a 2-step random access approach that uses code division multiple access (CDMA) to form multiple channels for data packet transmissions with a spreading factor less than the number of channels. As a result, the length of data transmission phase in 2-step random access can be shorter at the cost of multiuser interference. To see how the decrease of the length of data transmission phase can improve the spectral efficiency, we derive the throughput as well as the spectral efficiency. From the results of analysis, we can show that the 2-step CDMA-based random access approach can have a higher spectral efficiency than conventional 2-step approach with orthogonal channel allocations, which means that the performance of MTC can be improved by successfully transmitting more data packets per unit time using CDMA. This is also confirmed by simulation results.


title: Increasing the dimension of the maximal pure coherent subspace of a state via incoherent operations

abstract: Quantum states transformation under free operations plays a central role in the resource theory of coherence. In this paper, we investigate the transformation from a mixed coherent state into a pure one by using both incoherent operations and stochastic incoherent operations. We show that contrary to the strictly incoherent operations and the stochastic strictly incoherent operations, both the incoherent operations and the stochastic incoherent operations can increase the dimension of the maximal pure coherent subspace of a state. This means that the incoherent operations are generally stronger than the strictly incoherent operations when we want to transform a mixed coherent state into a pure coherent one. Our findings can also be interpreted as confirming the ability of incoherent operations to enhance the coherence of mixed states relative to certain coherence monotones under strictly incoherent operations.


title: One-hour coherent optical storage in an atomic frequency comb memory

abstract: Photon loss in optical fibers prevents long-distance distribution of quantum information on the ground. Quantum repeater is proposed to overcome this problem, but the communication distance is still limited so far because of the system complexity of the quantum repeater scheme. Alternative solutions include transportable quantum memory and quantum-memory-equipped satellites, where long-lived optical quantum memories are the key components to realize global quantum communication. However, the longest storage time of the optical memories demonstrated so far is approximately 1 minute. Here, by employing a zero-first-order-Zeeman magnetic field and dynamical decoupling to protect the spin coherence in a solid, we demonstrate coherent storage of light in an atomic frequency comb memory over 1 hour, leading to a promising future for large-scale quantum communication based on long-lived solid-state quantum memories.


title: Scalable hyperfine qubit state detection via electron shelving in the ${}^2$D$_{5/2}$ and ${}^2$F$_{7/2}$ manifolds in ${}^{171}$Yb$^{+}$

abstract: Qubits encoded in hyperfine states of trapped ions are ideal for quantum computation given their long lifetimes and low sensitivity to magnetic fields, yet they suffer from off-resonant scattering during detection often limiting their measurement fidelity. In ${}^{171}$Yb$^{+}$ this is exacerbated by a low fluorescence yield, which leads to a need for complex and expensive hardware - a problematic bottleneck especially when scaling up the number of qubits. We demonstrate a detection routine based on electron shelving to address this issue in ${}^{171}$Yb$^{+}$ and achieve a 5.6$\times$ reduction in single-ion detection error on an avalanche photodiode to $1.8(2)\times10^{-3}$ in a 100 $\mu$s detection period, and a 4.3$\times$ error reduction on an electron multiplying CCD camera, with $7.7(2)\times10^{-3}$ error in 400 $\mu$s. We further improve the characterization of a repump transition at 760 nm to enable a more rapid reset of the auxiliary $^2$F$_{7/2}$ states populated after shelving. Finally, we examine the detection fidelity limit using the long-lived $^2$F$_{7/2}$ state, achieving a further 300$\times$ and 12$\times$ reduction in error to $6(7)\times10^{-6}$ and $6.3(3)\times10^{-4}$ in 1 ms on the respective detectors. While shelving-rate limited in our setup, we suggest various techniques to realize this detection method at speeds compatible with quantum information processing, providing a pathway to ultra-high fidelity detection in ${}^{171}$Yb$^{+}$.


title: Model-independent constraints on cosmic curvature: implication from the future gravitational wave observation DECIGO

abstract: A model-independent test of the cosmic curvature parameter $\Omega_k$ is very important in cosmology. In order to estimate cosmic curvature from cosmological probes like standard candles, one has to be able to measure the luminosity distance $D_L(z)$, it's derivative with respect to redshift $D'_L(z)$ and independently know the expansion rate $H(z)$ at the same redshift. In this paper, we study how such an idea could be implemented with the future generation of space-based DECi-hertz Interferometer Gravitational-wave Observatory (DECIGO), in combination with cosmic chronometers providing cosmology-independent $H(z)$ data. Our results show that for the Hubble diagram of simulated DECIGO data acting as a new type of standard siren, it would be able to constrain cosmic curvature with the precision of $\Delta \Omega_k= 0.09$ with the currently available sample of 31 measurements of Hubble parameters. In the framework of the third generation ground-based gravitational wave detectors, the spatial curvature is constrained to be $\Delta\Omega_k= 0.13$ for Einstein Telescope (ET). More interestingly, compared to other approaches aiming for model-independent estimations of spatial curvature, our analysis also achieves the reconstruction of the evolution of $\Omega_k(z)$, in the framework of a model-independent method of Gaussian processes (GP) without assuming a specific form. Therefore, one can expect that the newly emerged gravitational wave astronomy can become useful in local measurements of cosmic curvature using distant sources.


title: Dynamics of transmission in disordered topological insulators

abstract: Here we show in simulations of the Haldane model that pulse propagation in disordered topological insulators is robust throughout the central portion of the band gap where localized modes do not arise. Since transmission is robust in topological insulators, the essential field variable is the phase of the transmitted field, or, equivalently, its spectral derivative, which is the transmission time. Except near resonances with bulk localized modes that couple the upper and lower edges of a topological insulator, the transmission time in a topological insulator is proportional to the density of states and to the energy excited within the sample. The average transmission time is enhanced in disordered TIs near the band edge and slightly suppressed in the center of the band gap. The variance of the transmission time at the band edge for a random ensemble with moderate disorder is dominated by fluctuations at resonances with localized states, and initially scales quadratically. When modes are absent, such as in the center of the band gap, the transmission time self-averages and its variance scales linearly. This leads to significant sample-to-sample fluctuations in the transmission time. However, because the transmission time is the sum of contributions from the continuum edge mode, which stretches across the band gap, and far-off-resonance modes near the band edge, there are no sharp features in the spectrum of transmission time in the center of the band gap. As a result, ultrashort, broadband pulses are faithfully transmitted in the center of the band gap of topological insulators with moderate disorder and bent paths. This allows for robust signal propagation in complex topological metawaveguides for applications in high-speed optoelectronics and telecommunications.


title: Local Operator Entanglement in Spin Chains

abstract: Understanding how and whether local perturbations can affect the entire quantum system is a fundamental step in understanding non-equilibrium phenomena such as thermalization. This knowledge of non-equilibrium phenomena is applicable for quantum computation, as many quantum computers employ non-equilibrium processes for computations. In this paper, we investigate the evolution of bi- and tripartite operator mutual information of the time-evolution operator and the Pauli spin operators in the one-dimensional Ising model with magnetic field and the disordered Heisenberg model to study the properties of quantum circuits. In the Ising model, the early-time evolution qualitatively follows an effective light cone picture, and the late-time value is well described by Page's value for a random pure state. In the Heisenberg model with strong disorder, we find that many-body localization prevents the information from propagating and being delocalized. We also find an effective Ising Hamiltonian that describes the time evolution of bi- and tripartite operator mutual information for the Heisenberg model in the large disorder regime.

categories: cond-mat.dis-nn cond-mat.str-el hep-th quant-ph


title: UniK-QA: Unified Representations of Structured and Unstructured Knowledge for Open-Domain Question Answering

abstract: We study open-domain question answering with structured, unstructured and semi-structured knowledge sources, including text, tables, lists and knowledge bases. Departing from prior work, we propose a unifying approach that homogenizes all sources by reducing them to text and applies the retriever-reader model which has so far been limited to text sources only. Our approach greatly improves the results on knowledge-base QA tasks by 11 points, compared to latest graph-based methods. More importantly, we demonstrate that our unified knowledge (UniK-QA) model is a simple and yet effective way to combine heterogeneous sources of knowledge, advancing the state-of-the-art results on two popular question answering benchmarks, NaturalQuestions and WebQuestions, by 3.5 and 2.6 points, respectively. The code of UniK-QA is available at: https://github.com/facebookresearch/UniK-QA.


title: The structure of generic automorphisms of the random poset

abstract: We examine properties of generic automorphisms of the random poset, with the goal of explicitly characterizing them. We associate to each automorphism an auxiliary first-order structure, consisting of the random poset equipped with an infinite sequence of binary relations which encode the action of the automorphism. We then explicitly characterize generic automorphisms in terms of properties of this structure. Two notable such properties are ultrahomogeneity, and universality for a certain class of finite structures in this language. As this auxiliary structure seems to be new, we also address some model-theoretic questions. In particular, this structure fails to be saturated, and its theory neither is $\omega$-categorical nor admits quantifier-elimination, in contrast to many known ultrahomogeneous structures in finite languages. We also examine orbitals -- order-convex hulls of orbits -- and their use in describing automorphisms. In particular, we introduce and use new orders on the space of orbitals.


title: Global-in-time dynamics of the two--phase fluid model in a bounded domain

abstract: In this work, we study the global existence of strong solutions and large-time behavior of a two-phase fluid model in a bounded domain. The model consists of the isothermal Euler equations and the isentropic compressible Navier--Stokes equations, coupled via the drag force. It was derived in [13[ from a kinetic-fluid model describing the dynamics of particles subject to local alignment force and Brownian noises immersed in a compressible viscous fluid. For this system, we extend the local existence theory for strong solutions developed in [13] to obtain the global existence of strong solutions to the system. Moreover, we use the Lyapunov functional associated with the system to get large-time behavior estimates for global classical solutions.


title: A Nondiagonal Pair of Majorana Particles at $e^+e^-$ Colliders

abstract: We perform a comprehensive and model-independent analysis for characterizing the spin and dynamical structure of the production of a non-diagonal pair of Majorana particles with different masses and arbitrary spins, $e^-e^+\to X_2 X_1$, followed by a sequential two-body decay, $X_2\to Z X_1$, of the heavier particle $X_2$ into a $Z$ gauge boson and the lighter particle $X_1$ escaping undetected at high-energy $e^+e^-$ colliders. Standard leptonic $Z$-boson decays, $Z\to \ell^-\ell^+$ with $\ell=e$ or $\mu$, are employed for precisely diagnosing the $Z$ polarization influenced by the production and decay processes. Based on helicity formalism and Wick helicity rotation for describing the correlated production-decay amplitudes and distributions, we work out the implications on the amplitudes and distributions of discrete CP symmetry and the Majorana condition that two particles are their own anti-particles. For the sake of a concrete illustration, an example of this type in the minimal supersymmetric Standard Model is investigated in detail.


title: A Survey of Parameter and State Estimation in Queues

abstract: We present a broad literature survey of parameter and state estimation for queueing systems. Our approach is based on various inference activities, queueing models, observations schemes, and statistical methods. We categorize these into branches of research that we call estimation paradigms. These include: the classical sampling approach, inverse problems, inference for non-interacting systems, inference with discrete sampling, inference with queueing fundamentals, queue inference engine problems, Bayesian approaches, online prediction, implicit models, and control, design, and uncertainty quantification. For each of these estimation paradigms, we outline the principles and ideas, while surveying key references. We also present various simple numerical experiments. In addition to some key references mentioned here, a periodically-updated comprehensive list of references dealing with parameter and state estimation of queues will be kept in an accompanying annotated bibliography.


title: DeePKS-kit: a package for developing machine learning-based chemically accurate energy and density functional models

abstract: We introduce DeePKS-kit, an open-source software package for developing machine learning based energy and density functional models. DeePKS-kit is interfaced with PyTorch, an open-source machine learning library, and PySCF, an ab initio computational chemistry program that provides simple and customized tools for developing quantum chemistry codes. It supports the DeePHF and DeePKS methods. In addition to explaining the details in the methodology and the software, we also provide an example of developing a chemically accurate model for water clusters.


title: Hybrid-order topological insulators in a phononic crystal

abstract: Topological phases, including the conventional first-order and higher-order topological insulators and semimetals, have emerged as a thriving topic in the fields of condensed-matter physics and material science. Usually, a topological insulator is characterized by a fixed order topological invariant and exhibits associated bulk-boundary correspondence. Here, we realize a new type of topological insulator in a bilayer phononic crystal, which hosts simultaneously the first-order and second-order topologies, referred here as the hybrid-order topological insulator. The one-dimensional gapless helical edge states, and zero-dimensional corner states coexist in the same system. The new hybrid-order topological phase may produce novel applications in topological acoustic devices.


title: An Efficient Generation Method based on Dynamic Curvature of the Reference Curve for Robust Trajectory Planning

abstract: Trajectory planning is a fundamental task on various autonomous driving platforms, such as social robotics and self-driving cars. Many trajectory planning algorithms use a reference curve based Frenet frame with time to reduce the planning dimension. However, there is a common implicit assumption in classic trajectory planning approaches, which is that the generated trajectory should follow the reference curve continuously. This assumption is not always true in real applications and it might cause some undesired issues in planning. One issue is that the projection of the planned trajectory onto the reference curve maybe discontinuous. Then, some segments on the reference curve are not the image of any part of the planned path. Another issue is that the planned path might self-intersect when following a simple reference curve continuously. The generated trajectories are unnatural and suboptimal ones when these issues happen. In this paper, we firstly demonstrate these issues and then introduce an efficient trajectory generation method which uses a new transformation from the Cartesian frame to Frenet frames. Experimental results on a simulated street scenario demonstrated the effectiveness of the proposed method.


title: FPCC: Fast Point Cloud Clustering based Instance Segmentation for Industrial Bin-picking

abstract: Instance segmentation is an important pre-processing task in numerous real-world applications, such as robotics, autonomous vehicles, and human-computer interaction. Compared with the rapid development of deep learning for two-dimensional (2D) image tasks, deep learning-based instance segmentation of 3D point cloud still has a lot of room for development. In particular, distinguishing a large number of occluded objects of the same class is a highly challenging problem, which is seen in a robotic bin-picking. In a usual bin-picking scene, many identical objects are stacked together and the model of the objects is known. Thus, the semantic information can be ignored; instead, the focus in the bin-picking is put on the segmentation of instances. Based on this task requirement, we propose a Fast Point Cloud Clustering (FPCC) for instance segmentation of bin-picking scene. FPCC includes a network named FPCC-Net and a fast clustering algorithm. FPCC-net has two subnets, one for inferring the geometric centers for clustering and the other for describing features of each point. FPCC-Net extracts features of each point and infers geometric center points of each instance simultaneously. After that, the proposed clustering algorithm clusters the remaining points to the closest geometric center in feature embedding space. Experiments show that FPCC also surpasses the existing works in bin-picking scenes and is more computationally efficient. Our code and data are available at https://github.com/xyjbaal/FPCC.


title: MS-GWNN:multi-scale graph wavelet neural network for breast cancer diagnosis

abstract: Breast cancer is one of the most common cancers in women worldwide, and early detection can significantly reduce the mortality rate of breast cancer. It is crucial to take multi-scale information of tissue structure into account in the detection of breast cancer. And thus, it is the key to design an accurate computer-aided detection (CAD) system to capture multi-scale contextual features in a cancerous tissue. In this work, we present a novel graph convolutional neural network for histopathological image classification of breast cancer. The new method, named multi-scale graph wavelet neural network (MS-GWNN), leverages the localization property of spectral graph wavelet to perform multi-scale analysis. By aggregating features at different scales, MS-GWNN can encode the multi-scale contextual interactions in the whole pathological slide. Experimental results on two public datasets demonstrate the superiority of the proposed method. Moreover, through ablation studies, we find that multi-scale analysis has a significant impact on the accuracy of cancer diagnosis.


title: Strongly modulated ultrafast demagnetization and magnetization precession dynamics in ferrimagnetic Gdx(CoFe)1-x alloys via 3d-4f intersublattice exchange coupling

abstract: Manipulation of the intersublattice interaction strengh (JRE-TM) in rare earth (RE)-transition metal (TM) alloys is a key issue to understand how efficiently the laser-induced angular momentum transfers from 3d to 4f spins and to have a better control of the ultrafast spin dynamics. In this work, the relationships between laser-induced demagnetization process and the intersublattice 3d-4f interaction for the GdCoFe alloys were systematically studied. The ultrafast two-stage demagnetization process could change into a one-stage mode as the angular momentum transferring channel between 3d and 4f spins is switched off, which could be modulated by JRE-TM. Furthermore, both the effective g-factor and damping constant deduced by the subsequently laser-induced magnetization precession process diverge at the angular momentum compensation point based on the ferromagnetic resonance method with the LLG equations. The results provide an alternative way to efficiently manipulate the ultrafast demagnetization time for practical applications.


title: Quasi-streamwise vortices and enhanced dissipation for the incompressible 3D Navier-Stokes equations

abstract: We consider the 3D incompressible Navier-Stokes equations under the following $2+\frac{1}{2}$-dimensional situation: vertical vortex blob (quasi-streamwise vortices) being stretched by two-dimensional shear flow. We prove enhanced dissipation induced by such quasi-streamwise vortices.


title: Construction and On-site Performance of the LHAASO WFCTA Camera

abstract: The focal plane camera is the core component of the Wide Field-of-view Cherenkov/fluorescence Telescope Array (WFCTA) of the Large High-Altitude Air Shower Observatory (LHAASO). Because of the capability of working under moonlight without aging, silicon photomultipliers (SiPM) have been proven to be not only an alternative but also an improvement to conventional photomultiplier tubes (PMT) in this application. Eighteen SiPM-based cameras with square light funnels have been built for WFCTA. The telescopes have collected more than 100 million cosmic ray events and preliminary results indicate that these cameras are capable of working under moonlight. The characteristics of the light funnels and SiPMs pose challenges (e.g. dynamic range, dark count rate, assembly techniques). In this paper, we present the design features, manufacturing techniques and performances of these cameras. Finally, the test facilities, the test methods and results of SiPMs in the cameras are reported here.


title: The Communication Complexity of Payment Computation

abstract: Let $(f,P)$ be an incentive compatible mechanism where $f$ is the social choice function and $P$ is the payment function. In many important settings, $f$ uniquely determines $P$ (up to a constant) and therefore a common approach is to focus on the design of $f$ and neglect the role of the payment function. Fadel and Segal [JET, 2009] question this approach by taking the lenses of communication complexity: can it be that the communication complexity of an incentive compatible mechanism that implements $f$ (that is, computes both the output and the payments) is much larger than the communication complexity of computing the output? I.e., can it be that $cc_{IC}(f)>>cc(f)$? Fadel and Segal show that for every $f$, $cc_{IC}(f)\leq exp(cc(f))$. They also show that fully computing the incentive compatible mechanism is strictly harder than computing only the output: there exists a social choice function $f$ such that $cc_{IC}(f)=cc(f)+1$. In a follow-up work, Babaioff, Blumrosen, Naor, and Schapira [EC'08] provide a social choice function $f$ such that $cc_{IC}(f)=\Theta(n\cdot cc(f))$, where $n$ is the number of players. The question of whether the exponential upper bound of Fadel and Segal is tight remained wide open. In this paper we solve this question by explicitly providing an $f$ such that $cc_{IC}(f)= exp(cc(f))$. In fact, we establish this via two very different proofs. In contrast, we show that if the players are risk-neutral and we can compromise on a randomized truthful-in-expectation implementation (and not on deterministic ex-post implementation) gives that $cc_{TIE}(f)=poly(n,cc(f))$ for every function $f$, as long as the domain of $f$ is single parameter or a convex multi-parameter domain. We also provide efficient algorithms for deterministic computation of payments in several important domains.


title: Deferrable Load Scheduling under Demand Charge: A Block Model-Predictive Control Approach

abstract: Optimal scheduling of deferrable electrical loads can reshape the aggregated load profile to achieve higher operational efficiency and reliability. This paper studies deferrable load scheduling under demand charge that imposes a penalty on the peak consumption over a billing period. Such a terminal cost poses challenges in real-time dispatch when demand forecasts are inaccurate. A block model-predictive control approach is proposed by breaking demand charge into a sequence of stage costs. The problem of charging electric vehicles is used to illustrate the efficacy of the proposed approach. Numerical examples show that the block model-predictive control outperforms benchmark methods in various settings.


title: The VIP Gallery for Video Processing Education

abstract: Digital video pervades daily life. Mobile video, digital TV, and digital cinema are now ubiquitous, and as such, the field of Digital Video Processing (DVP) has experienced tremendous growth. Digital video systems also permeate scientific and engineering disciplines including but not limited to astronomy, communications, surveillance, entertainment, video coding, computer vision, and vision research. As a consequence, educational tools for DVP must cater to a large and diverse base of students. Towards enhancing DVP education we have created a carefully constructed gallery of educational tools that is designed to complement a comprehensive corpus of online lectures by providing examples of DVP on real-world content, along with a user-friendly interface that organizes numerous key DVP topics ranging from analog video, to human visual processing, to modern video codecs, etc. This demonstration gallery is currently being used effectively in the graduate class ``Digital Video'' at the University of Texas at Austin. Students receive enhanced access to concepts through both learning theory from highly visual lectures and watching concrete examples from the gallery, which captures the beauty of the underlying principles of modern video processing. To better understand the educational value of these tools, we conducted a pair of questionaire-based surveys to assess student background, expectations, and outcomes. The survey results support the teaching efficacy of this new didactic video toolset.


title: Adaptive optics design status of MAORY, the MCAO system of European ELT

abstract: MAORY is the Multi-conjugate Adaptive Optics RelaY for the European ELT aimed at providing a 1 arcmin corrected field to MICADO, a near-infrared spectro-imager with a focus on astrometry. In this paper we re-view the main requirements and analysis that justify the current adaptive optics architecture and subsystem requirements. We discuss the wavefront error budget allocation focusing on the worst offenders terms and on a statistical analysis of their dependence on atmospheric and sodium profiles. We present an updated revision of the trade-off studies on the main AO parameters that, along with considerations coming from optical and mechanical subsystems, are used to define the preliminary design of the instrument.


title: Curvature formulas related to a family of stable Higgs bundles

abstract: In this paper, we investigate the geometry of the base complex manifold of an effectively parametrized holomorphic family of stable Higgs bundles over a fixed compact K\"{a}hler manifold. The starting point of our study is Schumacher-Toma/Biswas-Schumacher's curvature formulas for Weil-Petersson-type metrics, in Sect. 2, we give some applications of their formulas on the geometric properties of the base manifold. In Sect. 3, we calculate the curvature on the higher direct image bundle, which recovers Biswas-Schumacher's curvature formula. In Sect. 4, we construct a smooth and strongly pseudo-convex complex Finsler metric for the base manifold, the corresponding holomorphic sectional curvature is calculated explicitly.


title: Age-metallicity dependent stellar kinematics of the Milky Way disc from LAMOST and Gaia

abstract: We investigate the stellar kinematics of the Galactic disc in 7 $<$ $R$ $<$ 13\,kpc using a sample of 118\,945 red giant branch (RGB) stars from LAMOST and Gaia. We characterize the median, dispersion and skewness of the distributions of the 3D stellar velocities, actions and orbital parameters across the age-metallicity and the disc $R$ -- $Z$ plane. Our results reveal abundant but clear stellar kinematic patterns and structures in the age -- metallicity and the disc $R$ -- $Z$ plane. The most prominent feature is the strong variations of the velocity, action, and orbital parameter distributions from the young, metal-rich thin disc to the old, metal-poor thick disc, a number of smaller-scale structures -- such as velocity streams, north-south asymmetries, and kinematic features of spiral arms -- are clearly revealed. Particularly, the skewness of $V_{\phi}$ and $J_{\phi}$ reveals a new substructure at $R\simeq12$\,kpc and $Z\simeq0$\,kpc, possibly related to dynamical effects of spiral arms in the outer disc. We further study the stellar migration through analysing the stellar orbital parameters and stellar birth radii. The results suggest that the thick disc stars near the solar radii and beyond are mostly migrated from the inner disc of $R\sim4 - 6$\,kpc due to their highly eccentrical orbits. Stellar migration due to dynamical processes with angular momentum transfer (churning) are prominent for both the old, metal-rich stars (outward migrators) and the young metal-poor stars (inward migrators). The spatial distribution in the $R$ -- $Z$ plane for the inward migrators born at a Galactocentric radius of $>$12\,kpc show clear age stratifications, possibly an evidence that these inward migrators are consequences of splashes triggered by merger events of satellite galaxies that have been lasted in the past few giga years.


title: TrustMAE: A Noise-Resilient Defect Classification Framework using Memory-Augmented Auto-Encoders with Trust Regions

abstract: In this paper, we propose a framework called TrustMAE to address the problem of product defect classification. Instead of relying on defective images that are difficult to collect and laborious to label, our framework can accept datasets with unlabeled images. Moreover, unlike most anomaly detection methods, our approach is robust against noises, or defective images, in the training dataset. Our framework uses a memory-augmented auto-encoder with a sparse memory addressing scheme to avoid over-generalizing the auto-encoder, and a novel trust-region memory updating scheme to keep the noises away from the memory slots. The result is a framework that can reconstruct defect-free images and identify the defective regions using a perceptual distance network. When compared against various state-of-the-art baselines, our approach performs competitively under noise-free MVTec datasets. More importantly, it remains effective at a noise level up to 40% while significantly outperforming other baselines.


title: One-sided topological conjugacy of topological Markov shifts, continuous full groups and Cuntz--Krieger algebras

abstract: We will characterize topological conjugate one-sided topological Markov shifts in terms of their subgroups of continuous full groups and subalgebras of Cuntz--Krieger algebras.


title: Multi-task Learning based Pre-trained Language Model for Code Completion

abstract: Code completion is one of the most useful features in the Integrated Development Environments (IDEs), which can accelerate software development by suggesting the next probable token based on the contextual code in real-time. Recent studies have shown that statistical language modeling techniques can improve the performance of code completion tools through learning from large-scale software repositories. However, these models suffer from two major drawbacks: a) Existing research uses static embeddings, which map a word to the same vector regardless of its context. The differences in the meaning of a token in varying contexts are lost when each token is associated with a single representation; b) Existing language model based code completion models perform poor on completing identifiers, and the type information of the identifiers is ignored in most of these models. To address these challenges, in this paper, we develop a multi-task learning based pre-trained language model for code understanding and code generation with a Transformer-based neural architecture. We pre-train it with hybrid objective functions that incorporate both code understanding and code generation tasks. Then we fine-tune the pre-trained model on code completion. During the completion, our model does not directly predict the next token. Instead, we adopt multi-task learning to predict the token and its type jointly and utilize the predicted type to assist the token prediction. Experiments results on two real-world datasets demonstrate the effectiveness of our model when compared with state-of-the-art methods.


title: Testing Product Distributions: A Closer Look

abstract: We study the problems of identity and closeness testing of $n$-dimensional product distributions. Prior works by Canonne, Diakonikolas, Kane and Stewart (COLT 2017) and Daskalakis and Pan (COLT 2017) have established tight sample complexity bounds for non-tolerant testing over a binary alphabet: given two product distributions $P$ and $Q$ over a binary alphabet, distinguish between the cases $P = Q$ and $d_{\mathrm{TV}}(P, Q) > \epsilon$. We build on this prior work to give a more comprehensive map of the complexity of testing of product distributions by investigating tolerant testing with respect to several natural distance measures and over an arbitrary alphabet. Our study gives a fine-grained understanding of how the sample complexity of tolerant testing varies with the distance measures for product distributions. In addition, we also extend one of our upper bounds on product distributions to bounded-degree Bayes nets.


title: Supermodularity and valid inequalities for quadratic optimization with indicators

abstract: We study the minimization of a rank-one quadratic with indicators and show that the underlying set function obtained by projecting out the continuous variables is supermodular. Although supermodular minimization is, in general, difficult, the specific set function for the rank-one quadratic can be minimized in linear time. We show that the convex hull of the epigraph of the quadratic can be obtaining from inequalities for the underlying supermodular set function by lifting them into nonlinear inequalities in the original space of variables. Explicit forms of the convex-hull description are given, both in the original space of variables and in an extended formulation via conic quadratic-representable inequalities, along with a polynomial separation algorithm. Computational experiments indicate that the lifted supermodular inequalities in conic quadratic form are quite effective in reducing the integrality gap for quadratic optimization with indicators.


title: EMCCD for Pyramid wavefront sensor: laboratory characterization

abstract: Electro-Multiplying CCDs offer a unique combination of speed, sub-electron noise and quantum efficiency. These features make them extremely attractive for astronomical adaptive optics. The SOUL project selected the Ocam2k from FLI as camera upgrade for the pyramid wavefront sensor of the LBT SCAO systems. Here we present results from the laboratory characterization of the 3 of the custom Ocam2k cameras for the SOUL project. The cameras showed very good noise ($0.4e^-$ and $0.4-0.7e^-$ for binned modes) and dark current values ($1.5e^-$). We measured the camera gain and identified the dependency on power cycle and frame rate. Finally, we estimated the impact of these gain variation in the SOUL adaptive optics system. The impact on the SOUL performance resulted to be negligible.


title: Sensifi: A Wireless Sensing System for Ultra-High-Rate Applications

abstract: Wireless Sensor Networks (WSNs) are being used in various applications such as structural health monitoring and industrial control. Since energy efficiency is one of the major design factors, the existing WSNs primarily rely on low-power, low-rate wireless technologies such as 802.15.4 and Bluetooth. In this paper, we strive to tackle the challenges of developing ultra-high-rate WSNs based on 802.11 (WiFi) standard by proposing Sensifi. As an illustrative application of this system, we consider vibration test monitoring of spacecraft and identify system design requirements and challenges. Our main contributions are as follows. First, we propose packet encoding methods to reduce the overhead of assigning accurate timestamps to samples. Second, we propose energy efficiency methods to enhance the system's lifetime. Third, we reduce the overhead of processing outgoing packets through network stack to enhance sampling rate and mitigate sampling rate instability. Fourth, we study and reduce the delay of processing incoming packets through network stack to enhance the accuracy of time synchronization among nodes. Fifth, we propose a low-power node design for ultra-high-rate applications. Sixth, we use our node design to empirically evaluate the system.