title: An Eulerian Vlasov-Fokker-Planck Algorithm for Spherical Implosion Simulations of Inertial Confinement Fusion Capsules

abstract: We present a numerical algorithm that enables a phase-space adaptive Eulerian Vlasov-Fokker-Planck (VFP) simulation of an inertial confinement fusion (ICF) capsule implosion. The approach relies on extending a recent mass, momentum, and energy conserving phase-space moving-mesh adaptivity strategy to spherical geometry. In configuration space, we employ a mesh motion partial differential equation (MMPDE) strategy while, in velocity space, the mesh is expanded/contracted and shifted with the plasma's evolving temperature and drift velocity. The mesh motion is dealt with by transforming the underlying VFP equations into a computational (logical) coordinate, with the resulting inertial terms carefully discretized to ensure conservation. To deal with the spatial and temporally varying dynamics in a spherically imploding system, we have developed a novel nonlinear stabilization strategy for MMPDE in the configuration space. The strategy relies on a nonlinear optimization procedure that optimizes between mesh quality and the volumetric rate change of the mesh to ensure both accuracy and stability of the solution. Implosions of ICF capsules are driven by several boundary conditions: 1) an elastic moving wall boundary; 2) a time-dependent Maxwellian Dirichlet boundary; and 3) a pressure-driven Lagrangian boundary. Of these, the pressure-driven Lagrangian boundary driver is new to our knowledge. The implementation of our strategy is verified through a set of test problems, including the Guderley and Van-Dyke implosion problems --the first-ever reported using a Vlasov-Fokker-Planck model.


title: Range of novel black hole phase transitions via massive gravity: Triple points and N-fold reentrant phase transitions

abstract: Massive gravities in anti-de Sitter spacetime can be viewed as effective dual field theories of different phases of condensed matter systems with broken translational symmetry such as solids, (perfect) fluids, and liquid crystals. Motivated by this fact, we explore the black hole chemistry (BHC) of these theories and find a new range of novel phase transitions close to realistic ones in ordinary physical systems. We find that the equation of state of topological black holes (TBHs) at their inflection point(s) in $d$-dimensional spacetime reduces to a polynomial equation of degree $(d-4)$, which yields up to $n=(d-4)$ critical points. As a result, for (neutral) TBHs, we observe triple-point phenomena with the associated first-order phase transitions (in $d \ge 7$), and a new phenomenon we call an $N$-fold reentrant phase transition, in which several ($N$) regions of thermodynamic phase space exhibit distinct reentrant phase transitions, with associated virtual triple points and zeroth-order phase transitions (in $d \ge 8$), as well as Van der Waals transitions (in $d \ge 5$) and reentrant (in $d \ge 6$) behavior. We conclude that BHC in higher-dimensional massive gravity is very likely to offer further new surprises.


title: Efficiency-optimized design of PCB-integrated magnetorquers for CubeSats

abstract: CubeSats are miniature satellites used to carry experimental payloads into orbit, where it is often critical to precisely control their attitude. One way to do this is through the use of magnetorquers, which can be integrated into PCBs. This technique saves considerable space and capital when compared with more common torque-rod magnetorquer systems. Here we derive a method of analyzing different PCB-integrated magnetorquer geometries, parametrizing them such that the magnetic moment and efficiency are optimized. Furthermore, by modulating the trace width, the trace number, and other electrical characteristics of the magnetorquer coil, this paper optimizes the generated magnetic moment. Both constant voltage and constant current sources are analyzed as inputs. These optimizations are then simulated in COMSOL for multiple geometries, and it is found that there exists an optimal geometry, given a specified power dissipation. Simulations verify the general trend and maxima of these derivations, barring small, consistent re-scaling in the magnitude of the coil resistance. It is also found that these PCB-integrated magnetorquers provide a sufficient alternative to commercial coil magnetorquers - particularly in volume-restricted configurations. This study extends such analysis to larger CubeSat configurations, and finds that these larger implementations increase magnetorquer efficiency. Optimizations for common PCB-implementable geometries on small satellites are tabulated in the Appendix.


title: Strategy Proof Mechanisms for Facility Location at Limited Locations

abstract: Facility location problems often permit facilities to be located at any position. But what if this is not the case in practice? What if facilities can only be located at particular locations like a highway exit or close to a bus stop? We consider here the impact of such constraints on the location of facilities on the performance of strategy proof mechanisms for locating facilities.We study four different performance objectives: the total distance agents must travel to their closest facility, the maximum distance any agent must travel to their closest facility, and the utilitarian and egalitarian welfare.We show that constraining facilities to a limited set of locations makes all four objectives harder to approximate in general.


title: Strategy Proof Mechanisms for Facility Location in Euclidean and Manhattan Space

abstract: We study the impact on mechanisms for facility location of moving from one dimension to two (or more) dimensions and Euclidean or Manhattan distances. We consider three fundamental axiomatic properties: anonymity which is a basic fairness property, Pareto optimality which is one of the most important efficiency properties, and strategy proofness which ensures agents do not have an incentive to mis-report. We also consider how well such mechanisms can approximate the optimal welfare. Our results are somewhat negative. Moving from one dimension to two (or more) dimensions often makes these axiomatic properties more difficult to achieve. For example, with two facilities in Euclidean space or with just a single facility in Manhattan space, no mechanism is anonymous, Pareto optimal and strategy proof. By contrast, mechanisms on the line exist with all three properties.We also show that approximation ratios may increase when moving to two (or more) dimensions. All our impossibility results are minimal. If we drop one of the three axioms (anonymity, Pareto optimality or strategy proofness) multiple mechanisms satisfy the other two axioms.


title: Free utility model for explaining the social gravity law

abstract: Social gravity law widely exists in human travel, population migration, commodity trade, information communication, scientific collaboration and so on. Why is there such a simple law in many complex social systems is an interesting question. Although scientists from fields of statistical physics, complex systems, economics and transportation science have explained the social gravity law, a theoretical explanation including two dominant mechanisms, namely individual interaction and bounded rationality, is still lacking. Here we present a free utility model, whose objective function is mathematically consistent with the Helmholtz free energy in physics, from the perspective of individual choice behavior to explain the social gravity law. The basic assumption is that bounded rational individuals interacting with each other will trade off the expected utility and information-processing cost to maximize their own utility. The previous explanations of the social gravity law including the maximum entropy model, the free cost model, the Logit model and the destination choice game model are all special cases under our model. Further, we extend the free utility model to the network. This model not only helps us to better understand the underlying mechanisms of spatial interaction patterns in complex social systems, but also provides a new perspective for understanding the potential function in game theory and the user equilibrium model in transportation science.


title: Bit-Exact ECC Recovery (BEER): Determining DRAM On-Die ECC Functions by Exploiting DRAM Data Retention Characteristics

abstract: Increasing single-cell DRAM error rates have pushed DRAM manufacturers to adopt on-die error-correction coding (ECC), which operates entirely within a DRAM chip to improve factory yield. The on-die ECC function and its effects on DRAM reliability are considered trade secrets, so only the manufacturer knows precisely how on-die ECC alters the externally-visible reliability characteristics. Consequently, on-die ECC obstructs third-party DRAM customers (e.g., test engineers, experimental researchers), who typically design, test, and validate systems based on these characteristics. To give third parties insight into precisely how on-die ECC transforms DRAM error patterns during error correction, we introduce Bit-Exact ECC Recovery (BEER), a new methodology for determining the full DRAM on-die ECC function (i.e., its parity-check matrix) without hardware tools, prerequisite knowledge about the DRAM chip or on-die ECC mechanism, or access to ECC metadata (e.g., error syndromes, parity information). BEER exploits the key insight that non-intrusively inducing data-retention errors with carefully-crafted test patterns reveals behavior that is unique to a specific ECC function. We use BEER to identify the ECC functions of 80 real LPDDR4 DRAM chips with on-die ECC from three major DRAM manufacturers. We evaluate BEER's correctness in simulation and performance on a real system to show that BEER is effective and practical across a wide range of on-die ECC functions. To demonstrate BEER's value, we propose and discuss several ways that third parties can use BEER to improve their design and testing practices. As a concrete example, we introduce and evaluate BEEP, the first error profiling methodology that uses the known on-die ECC function to recover the number and bit-exact locations of unobservable raw bit errors responsible for observable post-correction errors.


title: Strategy Proof Mechanisms for Facility Location with Capacity Limits

abstract: An important feature of many real world facility location problems are capacity limits on the facilities. We show here how capacity constraints make it harder to design strategy proof mechanisms for facility location, but counter-intuitively can improve the guarantees on how well we can approximate the optimal solution.


title: Calculation of Feynman loop integration and phase-space integration via auxiliary mass flow

abstract: We extend the auxiliary-mass-flow (AMF) method originally developed for Feynman loop integration to calculate integrals involving also phase-space integration. Flow of the auxiliary mass from the boundary ($\infty$) to the physical point ($0^+$) is obtained by numerically solving differential equations with respective to the auxiliary mass. For problems with two or more kinematical invariants, the AMF method can be combined with traditional differential equation method by providing systematical boundary conditions and highly nontrivial self-consistent check. The method is described in detail with a pedagogical example of $e^+e^-\rightarrow \gamma^* \rightarrow t\bar{t}+X$ at NNLO. We show that the AMF method can systematically and efficiently calculate integrals to high precision.


title: Deep Collective Learning: Learning Optimal Inputs and Weights Jointly in Deep Neural Networks

abstract: It is well observed that in deep learning and computer vision literature, visual data are always represented in a manually designed coding scheme (eg., RGB images are represented as integers ranging from 0 to 255 for each channel) when they are input to an end-to-end deep neural network (DNN) for any learning task. We boldly question whether the manually designed inputs are good for DNN training for different tasks and study whether the input to a DNN can be optimally learned end-to-end together with learning the weights of the DNN. In this paper, we propose the paradigm of {\em deep collective learning} which aims to learn the weights of DNNs and the inputs to DNNs simultaneously for given tasks. We note that collective learning has been implicitly but widely used in natural language processing while it has almost never been studied in computer vision. Consequently, we propose the lookup vision networks (Lookup-VNets) as a solution to deep collective learning in computer vision. This is achieved by associating each color in each channel with a vector in lookup tables. As learning inputs in computer vision has almost never been studied in the existing literature, we explore several aspects of this question through varieties of experiments on image classification tasks. Experimental results on four benchmark datasets, i.e., CIFAR-10, CIFAR-100, Tiny ImageNet, and ImageNet (ILSVRC2012) have shown several surprising characteristics of Lookup-VNets and have demonstrated the advantages and promise of Lookup-VNets and deep collective learning.


title: A type language for message passing component-based systems

abstract: Component-based development is challenging in a distributed setting, for starters considering programming a task may involve the assembly of loosely-coupled remote components. In order for the task to be fulfilled, the supporting interaction among components should follow a well-defined protocol. In this paper we address a model for message passing component-based systems where components are assembled together with the protocol itself. Components can therefore be independent from the protocol, and reactive to messages in a flexible way. Our contribution is at the level of the type language that allows to capture component behaviour so as to check its compatibility with a protocol. We show the correspondence of component and type behaviours, which entails a progress property for components.


title: An Abstract Framework for Choreographic Testing

abstract: We initiate the development of a model-driven testing framework for message-passing systems. The notion of test for communicating systems cannot simply be borrowed from existing proposals. Therefore, we formalize a notion of suitable distributed tests for a given choreography and devise an algorithm that generates tests as projections of global views. Our algorithm abstracts away from the actual projection operation, for which we only set basic requirements. The algorithm can be instantiated by reusing existing projection operations (designed to generate local implementations of global models) as they satisfy our requirements. Finally, we show the correctness of the approach and validate our methodology via an illustrative example.


title: Towards Refinable Choreographies

abstract: We investigate refinement in the context of choreographies. We introduce refinable global choreographies allowing for the underspecification of protocols, whose interactions can be refined into actual protocols. Arbitrary refinements may spoil well-formedness, that is the sufficient conditions that guarantee a protocol to be implementable. We introduce a typing discipline that enforces well-formedness of typed choreographies. Then we unveil the relation among refinable choregraphies and their admissible refinements in terms of an axiom scheme.


title: Effects of $CP$-violating internucleon interactions in paramagnetic molecules

abstract: We demonstrate that electron electric dipole moment experiments with molecules in paramagnetic state are sensitive to $P,T$-violating nuclear forces and other $CP$-violating parameters in the hadronic sector. These experiments, in particular, measure the coupling constant $C_{SP}$ of the $CP$-odd contact semileptonic interaction. We establish relations between $C_{SP}$ and different $CP$-violating hadronic parameters including strength constants of the $CP$-odd nuclear potentials, $CP$-odd pion-nucleon interactions, quark-chromo EDM and QCD vacuum angle. These relations allow us to find limits on various $CP$-odd hadronic parameters.


title: Topological properties of the dimerized Kitaev chain with long-range hopping and pairing terms

abstract: We investigate the topological properties of a dimerized Kitaev chain with long-range interactions, including the intercell hopping and superconducting pairing terms. It is found that even only when the intercell hopping term appears, the size of the energy gap, the proportion of topological phases, and the topological phase transition can be modulated. The notable result is that they lead to a new Kitaev-like phase featured by the twofold-degenerated Majorana zero-energy edge states. Next in the presence of the intercell superconducting pairing term, this kind of Majorana phase can be magnified. This work provides new proposals to realize the twofold degenerated Majorana modes based on the intercell hopping and superconducting pairing terms of the dimerized Kitaev chain.


title: AAG: Self-Supervised Representation Learning by Auxiliary Augmentation with GNT-Xent Loss

abstract: Self-supervised representation learning is an emerging research topic for its powerful capacity in learning with unlabeled data. As a mainstream self-supervised learning method, augmentation-based contrastive learning has achieved great success in various computer vision tasks that lack manual annotations. Despite current progress, the existing methods are often limited by extra cost on memory or storage, and their performance still has large room for improvement. Here we present a self-supervised representation learning method, namely AAG, which is featured by an auxiliary augmentation strategy and GNT-Xent loss. The auxiliary augmentation is able to promote the performance of contrastive learning by increasing the diversity of images. The proposed GNT-Xent loss enables a steady and fast training process and yields competitive accuracy. Experiment results demonstrate the superiority of AAG to previous state-of-the-art methods on CIFAR10, CIFAR100, and SVHN. Especially, AAG achieves 94.5% top-1 accuracy on CIFAR10 with batch size 64, which is 0.5% higher than the best result of SimCLR with batch size 1024.


title: MoPro: Webly Supervised Learning with Momentum Prototypes

abstract: We propose a webly-supervised representation learning method that does not suffer from the annotation unscalability of supervised learning, nor the computation unscalability of self-supervised learning. Most existing works on webly-supervised representation learning adopt a vanilla supervised learning method without accounting for the prevalent noise in the training data, whereas most prior methods in learning with label noise are less effective for real-world large-scale noisy data. We propose momentum prototypes (MoPro), a simple contrastive learning method that achieves online label noise correction, out-of-distribution sample removal, and representation learning. MoPro achieves state-of-the-art performance on WebVision, a weakly-labeled noisy dataset. MoPro also shows superior performance when the pretrained model is transferred to down-stream image classification and detection tasks. It outperforms the ImageNet supervised pretrained model by +10.5 on 1-shot classification on VOC, and outperforms the best self-supervised pretrained model by +17.3 when finetuned on 1\% of ImageNet labeled samples. Furthermore, MoPro is more robust to distribution shifts. Code and pretrained models are available at https://github.com/salesforce/MoPro.


title: Scattering of axial gravitational wave pulses by monopole black holes and QNMs

abstract: We study scattering of short Gaussian pulses of axial gravitational waves by a black hole that has swallowed one or more global monopoles. We show how the response of the black hole to the impinging pulses depends both on the number of monopoles the black hole has swallowed and on the symmetry breaking scale of the model which gave rise to the monopoles. We determine the corresponding quasinormal modes that get excited by the impinging pulses and that get imprinted in the black hole's response to the pulses. Such modes are also expected to show up in various other dynamical processes such as the ringdown phase of a binary black hole merger in case at least one of the companion black holes of the binary has swallowed one or more global monopoles.


title: An interpretable planning bot for pancreas stereotactic body radiation therapy

abstract: Pancreas stereotactic body radiotherapy treatment planning requires planners to make sequential, time consuming interactions with the treatment planning system (TPS) to reach the optimal dose distribution. We seek to develop a reinforcement learning (RL)-based planning bot to systematically address complex tradeoffs and achieve high plan quality consistently and efficiently. The focus of pancreas SBRT planning is finding a balance between organs-at-risk sparing and planning target volume (PTV) coverage. Planners evaluate dose distributions and make planning adjustments to optimize PTV coverage while adhering to OAR dose constraints. We have formulated such interactions between the planner and the TPS into a finite-horizon RL model. First, planning status features are evaluated based on human planner experience and defined as planning states. Second, planning actions are defined to represent steps that planners would commonly implement to address different planning needs. Finally, we have derived a reward system based on an objective function guided by physician-assigned constraints. The planning bot trained itself with 48 plans augmented from 16 previously treated patients and generated plans for 24 cases in a separate validation set. All 24 bot-generated plans achieve similar PTV coverages compared to clinical plans while satisfying all clinical planning constraints. Moreover, the knowledge learned by the bot can be visualized and interpreted as consistent with human planning knowledge, and the knowledge maps learned in separate training sessions are consistent, indicating reproducibility of the learning process.


title: New Models for Understanding and Reasoning about Speculative Execution Attacks

abstract: Spectre and Meltdown attacks and their variants exploit hardware performance optimization features to cause security breaches. Secret information is accessed and leaked through covert or side channels. New attack variants keep appearing and we do not have a systematic way to capture the critical characteristics of these attacks and evaluate why they succeed or fail. In this paper, we provide a new attack-graph model for reasoning about speculative execution attacks. We model attacks as ordered dependency graphs, and prove that a race condition between two nodes can occur if there is a missing dependency edge between them. We define a new concept, "security dependency", between a resource access and its prior authorization operation. We show that a missing security dependency is equivalent to a race condition between authorization and access, which is a root cause of speculative execution attacks. We show detailed examples of how our attack graph models the Spectre and Meltdown attacks, and is generalizable to all the attack variants published so far. This attack model is also very useful for identifying new attacks and for generalizing defense strategies. We identify several defense strategies with different performance-security tradeoffs. We show that the defenses proposed so far all fit under one of our defense strategies. We also explain how attack graphs can be constructed and point to this as promising future work for tool designers.


title: Distilled One-Shot Federated Learning

abstract: Current federated learning algorithms take tens of communication rounds transmitting unwieldy model weights under ideal circumstances and hundreds when data is poorly distributed. Inspired by recent work on dataset distillation and distributed one-shot learning, we propose Distilled One-Shot Federated Learning (DOSFL) to significantly reduce the communication cost while achieving comparable performance. In just one round, each client distills their private dataset, sends the synthetic data (e.g. images or sentences) to the server, and collectively trains a global model. The distilled data look like noise and are only useful to the specific model weights, i.e., become useless after the model updates. With this weight-less and gradient-less design, the total communication cost of DOSFL is up to three orders of magnitude less than FedAvg while preserving between 93% to 99% performance of a centralized counterpart. Afterwards, clients could switch to traditional methods such as FedAvg to finetune the last few percent to fit personalized local models with local datasets. Through comprehensive experiments, we show the accuracy and communication performance of DOSFL on both vision and language tasks with different models including CNN, LSTM, Transformer, etc. We demonstrate that an eavesdropping attacker cannot properly train a good model using the leaked distilled data, without knowing the initial model weights. DOSFL serves as an inexpensive method to quickly converge on a performant pre-trained model with less than 0.1% communication cost of traditional methods.


title: The Limits of Pan Privacy and Shuffle Privacy for Learning and Estimation

abstract: There has been a recent wave of interest in intermediate trust models for differential privacy that eliminate the need for a fully trusted central data collector, but overcome the limitations of local differential privacy. This interest has led to the introduction of the shuffle model (Cheu et al., EUROCRYPT 2019; Erlingsson et al., SODA 2019) and revisiting the pan-private model (Dwork et al., ITCS 2010). The message of this line of work is that, for a variety of low-dimensional problems -- such as counts, means, and histograms -- these intermediate models offer nearly as much power as central differential privacy. However, there has been considerably less success using these models for high-dimensional learning and estimation problems. In this work, we show that, for a variety of high-dimensional learning and estimation problems, both the shuffle model and the pan-private model inherently incur an exponential price in sample complexity relative to the central model. For example, we show that, private agnostic learning of parity functions over $d$ bits requires $\Omega(2^{d/2})$ samples in these models, and privately selecting the most common attribute from a set of $d$ choices requires $\Omega(d^{1/2})$ samples, both of which are exponential separations from the central model. Our work gives the first non-trivial lower bounds for these problems for both the pan-private model and the general multi-message shuffle model.


title: Fluid pulsation modes from strange stars in a higher-dimensional space-time

abstract: In this work, we make the first step to derive non-radial pulsation equations in extra dimensions and investigate how the $f$- and $p_1$-mode frequencies of strange quark stars, within the Cowling approximation, change with the number of dimensions. In this regard, the study is performed by solving numerically the non-radial pulsation equations, adjusted for a $d$-dimensional space-time $(d\geq4)$. We connect the interior to a Schwarzschild-Tangherlini exterior metric and analyze the $f$- and $p_1$- mode frequencies. We found that the frequencies could become higher than those found in four-dimensional space-time. The $f$-mode frequency is essentially constant and only for large gravitational radius values grows monotonically and fast with the gravitational radius. In a gravitational radius range, where $f$-mode frequencies are constant, they increase for space-time dimensions $4\leq d\leq6$ and decrease for $d\geq7$. Regarding $p_1$-mode frequencies they are always larger for higher dimensions and decay monotonically with the increase of the gravitational radius. In extra dimensions, as it happens for four-dimensional space-time, we found $p_1$-mode frequencies are always larger than the $f$-modes ones. In the Newtonian gravity, for a homogeneous star in $d$ dimensions, we observe that the $f$-mode eigenfrequencies are constant and given by the relation $\omega^2=l\, M\, G_d/R^{d-1}$; where $l$ represents the spherical harmonic index, $M\,G_d$ being the total star mass and $R$ the stellar radius.


title: Planting trees at the right places: Recommending suitable sites for growing trees using algorithm fusion

abstract: Large-scale planting of trees has been proposed as a low-cost natural solution for carbon mitigation, but is hampered by poor selection of plantation sites, especially in developing countries. To aid in site selection, we develop the ePSA (e-Plantation Site Assistant) recommendation system based on algorithm fusion that combines physics-based/traditional forestry science knowledge with machine learning. ePSA assists forest range officers by identifying blank patches inside forest areas and ranking each such patch based on their tree growth potential. Experiments, user studies, and deployment results characterize the utility of the recommender system in shaping the long-term success of tree plantations as a nature climate solution for carbon mitigation in northern India and beyond.


title: Arbitrary Video Style Transfer via Multi-Channel Correlation

abstract: Video style transfer is getting more attention in AI community for its numerous applications such as augmented reality and animation productions. Compared with traditional image style transfer, performing this task on video presents new challenges: how to effectively generate satisfactory stylized results for any specified style, and maintain temporal coherence across frames at the same time. Towards this end, we propose Multi-Channel Correction network (MCCNet), which can be trained to fuse the exemplar style features and input content features for efficient style transfer while naturally maintaining the coherence of input videos. Specifically, MCCNet works directly on the feature space of style and content domain where it learns to rearrange and fuse style features based on their similarity with content features. The outputs generated by MCC are features containing the desired style patterns which can further be decoded into images with vivid style textures. Moreover, MCCNet is also designed to explicitly align the features to input which ensures the output maintains the content structures as well as the temporal continuity. To further improve the performance of MCCNet under complex light conditions, we also introduce the illumination loss during training. Qualitative and quantitative evaluations demonstrate that MCCNet performs well in both arbitrary video and image style transfer tasks.


title: H\"older regularity of the integrated density of states for quasi-periodic long-range operators on $\ell^2(\Z^d)$

abstract: We prove the H\"older continuity of the integrated density of states for a class of quasi-periodic long-range operators on $\ell^2(\Z^d)$ with large trigonometric polynomial potentials and Diophantine frequencies. Moreover, we give the H\"older exponent in terms of the cardinality of the level sets of the potentials, which improves, in the perturbative regime, the result obtained by Goldstein and Schlag \cite{gs2}. Our approach is a combination of Aubry duality, generalized Thouless formula and the regularity of the Lyapunov exponents of analytic quasi-periodic $GL(m,\C)$ cocycles which is proved by quantitative almost reducibility method.


title: Model-based approach for analyzing prevalence of nuclear cataracts in elderly residents

abstract: Recent epidemiological studies have hypothesized that the prevalence of cortical cataracts is closely related to ultraviolet radiation. However, the prevalence of nuclear cataracts is higher in elderly people in tropical areas than in temperate areas. The dominant factors inducing nuclear cataracts have been widely debated. In this study, the temperature increase in the lens due to exposure to ambient conditions was computationally quantified in subjects of 50-60 years of age in tropical and temperate areas, accounting for differences in thermoregulation. A thermoregulatory response model was extended to consider elderly people in tropical areas. The time course of lens temperature for different weather conditions in five cities in Asia was computed. The temperature was higher around the mid and posterior part of the lens, which coincides with the position of the nuclear cataract. The duration of higher temperatures in the lens varied, although the daily maximum temperatures were comparable. A strong correlation (adjusted R2 > 0.85) was observed between the prevalence of nuclear cataract and the computed cumulative thermal dose in the lens. We propose the use of a cumulative thermal dose to assess the prevalence of nuclear cataracts. Cumulative wet-bulb globe temperature, a new metric computed from weather data, would be useful for practical assessment in different cities.


title: Improving Homograph Attack Classification

abstract: A visual homograph attack is a way that the attacker deceives the web users about which domain they are visiting by exploiting forged domains that look similar to the genuine domains. T. Thao et al. (IFIP SEC'19) proposed a homograph classification by applying conventional supervised learning algorithms on the features extracted from a single-character-based Structural Similarity Index (SSIM). This paper aims to improve the classification accuracy by combining their SSIM features with 199 features extracted from a N-gram model and applying advanced ensemble learning algorithms. The experimental result showed that our proposed method could enhance even 1.81% of accuracy and reduce 2.15% of false-positive rate. Furthermore, existing work applied machine learning on some features without being able to explain why applying it can improve the accuracy. Even though the accuracy could be improved, understanding the ground-truth is also crucial. Therefore, in this paper, we conducted an error empirical analysis and could obtain several findings behind our proposed approach.


title: Assessing the contagiousness of mass shootings with nonparametric Hawkes processes

abstract: Gun violence and mass shootings are high-profile epidemiological issues facing the United States with questions regarding their contagiousness gaining prevalence in news media. Through the use of nonparametric Hawkes processes, we examine the evidence for the existence of contagiousness within a catalog of mass shootings and highlight the broader benefits of using such nonparametric point process models in modeling the occurrence of such events.


title: The Boundary Element Method of Peridynamics

abstract: The peridynamic theory brings advantages in dealing with discontinuities, dynamic loading, and non-locality. The integro-differential formulation of peridynamics poses challenges to numerical solutions of complicated and practical problems. Some important issues attract much attention, such as the computation of infinite domains, the treatment of softening of boundaries due to an incomplete horizon, and time error accumulation in dynamic processes. In this work, we develop the \textit{peridynamic boundary element method} (PD-BEM). The numerical examples demonstrate that the PD-BEM exhibits several features. First, for non-destructive cases, the PD-BEM can be one to two orders of magnitude faster than the peridynamic meshless particle method (PD-MPM) that directly discretizes the computational domains; second, it eliminates the time accumulation error, and thus conserves the total energy much better than the PD-MPM; third, it does not exhibit spurious boundary softening phenomena. For destructive cases where new boundaries emerge during the loading process, we propose a coupling scheme where the PD-MPM is applied to the cracked region and the PD-BEM is applied to the un-cracked region such that the time of computation can be significantly reduced.


title: Effect of Stark shift on low-energy interference structure in strong-field ionization

abstract: An improved quantum trajectory Monte Carlo method involving the Stark shift of the initial state, Coulomb potential, and multielectron polarization-induced dipole potential is used to revisit the origin of the low-energy interference structure in the photoelectron momentum distribution of the xenon atom subjected to an intense laser field, and resolve the different contributions of these three effects. In addition to the well-studied radial finger-like interference structure, a ring-like interference structure induced by interference among electron wave packets emitted from multi-cycle time windows of the laser field is found in the low energy part of the photoelectron momentum spectrum. It is attributed to the combined effect of the Coulomb potential and Stark shift. Our finding provides new insight into the imaging of electron dynamics of atoms and molecules with intense laser fields.


title: Tail behavior of stopped L\'evy processes with Markov modulation

abstract: This article concerns the tail probabilities of a light-tailed Markov-modulated L\'evy process stopped at a state-dependent Poisson rate. The tails are shown to decay exponentially at rates given by the unique positive and negative roots of the spectral abscissa of a certain matrix-valued function. We illustrate the use of our results with an application to the stationary distribution of wealth in a simple economic model in which agents with constant absolute risk aversion are subject to random mortality and income fluctuation.


title: Statistical Inference for High-Dimensional Vector Autoregression with Measurement Error

abstract: High-dimensional vector autoregression with measurement error is frequently encountered in a large variety of scientific and business applications. In this article, we study statistical inference of the transition matrix under this model. While there has been a large body of literature studying sparse estimation of the transition matrix, there is a paucity of inference solutions, especially in the high-dimensional scenario. We develop inferential procedures for both the global and simultaneous testing of the transition matrix. We first develop a new sparse expectation-maximization algorithm to estimate the model parameters, and carefully characterize their estimation precisions. We then construct a Gaussian matrix, after proper bias and variance corrections, from which we derive the test statistics. Finally, we develop the testing procedures and establish their asymptotic guarantees. We study the finite-sample performance of our tests through intensive simulations, and illustrate with a brain connectivity analysis example.


title: Deep Momentum Uncertainty Hashing

abstract: Combinatorial optimization (CO) has been a hot research topic because of its theoretic and practical importance. As a classic CO problem, deep hashing aims to find an optimal code for each data from finite discrete possibilities, while the discrete nature brings a big challenge to the optimization process. Previous methods usually mitigate this challenge by binary approximation, substituting binary codes for real-values via activation functions or regularizations. However, such approximation leads to uncertainty between real-values and binary ones, degrading retrieval performance. In this paper, we propose a novel Deep Momentum Uncertainty Hashing (DMUH). It explicitly estimates the uncertainty during training and leverages the uncertainty information to guide the approximation process. Specifically, we model bit-level uncertainty via measuring the discrepancy between the output of a hashing network and that of a momentum-updated network. The discrepancy of each bit indicates the uncertainty of the hashing network to the approximate output of that bit. Meanwhile, the mean discrepancy of all bits in a hashing code can be regarded as image-level uncertainty. It embodies the uncertainty of the hashing network to the corresponding input image. The hashing bit and image with higher uncertainty are paid more attention during optimization. To the best of our knowledge, this is the first work to study the uncertainty in hashing bits. Extensive experiments are conducted on four datasets to verify the superiority of our method, including CIFAR-10, NUS-WIDE, MS-COCO, and a million-scale dataset Clothing1M. Our method achieves the best performance on all of the datasets and surpasses existing state-of-the-art methods by a large margin.


title: Local Uniqueness of Ground States for Rotating Bose-Einstein Condensates with Attractive Interactions

abstract: We study ground states of two-dimensional Bose-Einstein condensates with attractive interactions in a trap $V(x)$ rotating at the velocity $\Omega $. It is known that there exist a critical rotational velocity $0<\Omega ^*:=\Omega^*(V)\leq \infty$ and a critical number $0<a^*<\infty$ such that for any rotational velocity $0\le \Omega <\Omega ^*$, ground states exist if and only if the coupling constant $a$ satisfies $a<a^*$. For a general class of traps $V(x)$, which may not be symmetric, we prove in this paper that up to a constant phase, there exists a unique ground state as $a\nearrow a^*$, where $\Omega\in(0,\Omega^*)$ is fixed. This result extends essentially our recent uniqueness result, where only the radially symmetric traps $V(x)$ could be handled with.


title: 1D and 2D Flow Routing on a Terrain

abstract: An important problem in terrain analysis is modeling how water flows across a terrain creating floods by forming channels and filling depressions. In this paper we study a number of \emph{flow-query} related problems: Given a terrain $\Sigma$, represented as a triangulated $xy$-monotone surface with $n$ vertices, a rain distribution $R$ which may vary over time, determine how much water is flowing over a given edge as a function of time. We develop internal-memory as well as I/O-efficient algorithms for flow queries. This paper contains four main results: (i) We present an internal-memory algorithm that preprocesses $\Sigma$ into a linear-size data structure that for a (possibly time varying) rain distribution $R$ can return the flow-rate functions of all edges of $\Sigma$ in $O(\rho k+|\phi| \log n)$ time, where $\rho$ is the number of sinks in $\Sigma$, $k$ is the number of times the rain distribution changes, and $|\phi|$ is the total complexity of the flow-rate functions that have non-zero values; (ii) We also present an I/O-efficient algorithm for preprocessing $\Sigma$ into a linear-size data structure so that for a rain distribution $R$, it can compute the flow-rate function of all edges using $O(\text{Sort}(|\phi|))$ I/Os and $O(|\phi| \log |\phi|)$ internal computation time. (iii) $\Sigma$ can be preprocessed into a linear-size data structure so that for a given rain distribution $R$, the flow-rate function of an edge $(q,r) \in \Sigma$ under the single-flow direction (SFD) model can be computed more efficiently. (iv) We present an algorithm for computing the two-dimensional channel along which water flows using Manning's equation; a widely used empirical equation that relates the flow-rate of water in an open channel to the geometry of the channel along with the height of water in the channel.


title: Temporally Guided Music-to-Body-Movement Generation

abstract: This paper presents a neural network model to generate virtual violinist's 3-D skeleton movements from music audio. Improved from the conventional recurrent neural network models for generating 2-D skeleton data in previous works, the proposed model incorporates an encoder-decoder architecture, as well as the self-attention mechanism to model the complicated dynamics in body movement sequences. To facilitate the optimization of self-attention model, beat tracking is applied to determine effective sizes and boundaries of the training examples. The decoder is accompanied with a refining network and a bowing attack inference mechanism to emphasize the right-hand behavior and bowing attack timing. Both objective and subjective evaluations reveal that the proposed model outperforms the state-of-the-art methods. To the best of our knowledge, this work represents the first attempt to generate 3-D violinists' body movements considering key features in musical body movement.


title: An Algorithm for Out-Of-Distribution Attack to Neural Network Encoder

abstract: Deep neural networks (DNNs), especially convolutional neural networks, have achieved superior performance on image classification tasks. However, such performance is only guaranteed if the input to a trained model is similar to the training samples, i.e., the input follows the probability distribution of the training set. Out-Of-Distribution (OOD) samples do not follow the distribution of training set, and therefore the predicted class labels on OOD samples become meaningless. Classification-based methods have been proposed for OOD detection; however, in this study we show that this type of method has no theoretical guarantee and is practically breakable by our OOD Attack algorithm because of dimensionality reduction in the DNN models. We also show that Glow likelihood-based OOD detection is breakable as well.


title: A survey on star edge-coloring of graphs

abstract: The star chromatic index of a multigraph $G$, denoted $\chi'_{st}(G)$, is the minimum number of colors needed to properly color the edges of $G$ such that no path or cycle of length four is bicolored. We survey the results of determining the star chromatic index, present the interesting proofs and techniques, and collect many open problems and conjectures.


title: Multi-modal Summarization for Video-containing Documents

abstract: Summarization of multimedia data becomes increasingly significant as it is the basis for many real-world applications, such as question answering, Web search, and so forth. Most existing multi-modal summarization works however have used visual complementary features extracted from images rather than videos, thereby losing abundant information. Hence, we propose a novel multi-modal summarization task to summarize from a document and its associated video. In this work, we also build a baseline general model with effective strategies, i.e., bi-hop attention and improved late fusion mechanisms to bridge the gap between different modalities, and a bi-stream summarization strategy to employ text and video summarization simultaneously. Comprehensive experiments show that the proposed model is beneficial for multi-modal summarization and superior to existing methods. Moreover, we collect a novel dataset and it provides a new resource for future study that results from documents and videos.


title: Detection of a Disk Surrounding the Variably Accreting Young Star HBC722

abstract: We present new ALMA 233 GHz continuum observations of the FU Orionis Object HBC722. With these data we detect HBC722 at millimeter wavelengths for the first time, use this detection to calculate a circumstellar disk mass of 0.024 solar masses, and discuss implications for the burst triggering mechanism.


title: LDNet: End-to-End Lane Marking Detection Approach Using a Dynamic Vision Sensor

abstract: Modern vehicles are equipped with various driver-assistance systems, including automatic lane keeping, which prevents unintended lane departures. Traditional lane detection methods incorporate handcrafted or deep learning-based features followed by postprocessing techniques for lane extraction using frame-based RGB cameras. The utilization of frame-based RGB cameras for lane detection tasks is prone to illumination variations, sun glare, and motion blur, which limits the performance of lane detection methods. Incorporating an event camera for lane detection tasks in the perception stack of autonomous driving is one of the most promising solutions for mitigating challenges encountered by frame-based RGB cameras. The main contribution of this work is the design of the lane marking detection model, which employs the dynamic vision sensor. This paper explores the novel application of lane marking detection using an event camera by designing a convolutional encoder followed by the attention-guided decoder. The spatial resolution of the encoded features is retained by a dense atrous spatial pyramid pooling (ASPP) block. The additive attention mechanism in the decoder improves performance for high dimensional input encoded features that promote lane localization and relieve postprocessing computation. The efficacy of the proposed work is evaluated using the DVS dataset for lane extraction (DET). The experimental results show a significant improvement of $5.54\%$ and $5.03\%$ in $F1$ scores in multiclass and binary-class lane marking detection tasks. Additionally, the intersection over union ($IoU$) scores of the proposed method surpass those of the best-performing state-of-the-art method by $6.50\%$ and $9.37\%$ in multiclass and binary-class tasks, respectively.


title: Tutorial: Gate-based superconducting quantum computing

abstract: In this tutorial, we introduce basic conceptual elements to understand and build a gate-based superconducting quantum computing system.


title: Aspects of Holography of Taub-NUT-AdS4

abstract: In this paper we consider aspects of the holographic interpretation of Taub-NUT-AdS$_4$. We review our earlier results which show that TNAdS$_4$ gives rise to a holographic three-dimensional conformal fluid having constant vorticity. We then study the holographic relevance of the Misner string by considering bulk scalar fluctuations. The scalar fluctuations organize naturally into representations of the $SU(2)\times \mathbb{R}$ isometry algebra. If we require the string's invisibility we obtain a Dirac-like quantization relating the frequency of the scalar field modes to the NUT charge. As the latter quantity determines the total vorticity flux of the boundary fluid, we argue that such an assumption allows for a holographic interpretation of TNAdS$_4$ as a {\it non-dissipative} superfluid whose excitations are quantized vortices. Alternatively, if we regard the Misner string as a physical object, as has recently been advocated for thermodynamically, the aforementioned quantization conditions are removed, and we find that TNAdS$_4$ corresponds to a holographic fluid whose dissipative properties are probed as usual by the complex quasinormal modes of the bulk fluctuations. We show that such quasinormal modes are, perhaps surprisingly, organized into infinite-dimensional non-unitary representations of the isometry algebra.


title: New mixture models for decoy-free false discovery rate estimation in mass-spectrometry proteomics

abstract: Motivation: Accurate estimation of false discovery rate (FDR) of spectral identification is a central problem in mass spectrometry-based proteomics. Over the past two decades, target decoy approaches (TDAs) and decoy-free approaches (DFAs), have been widely used to estimate FDR. TDAs use a database of decoy species to faithfully model score distributions of incorrect peptide-spectrum matches (PSMs). DFAs, on the other hand, fit two-component mixture models to learn the parameters of correct and incorrect PSM score distributions. While conceptually straightforward, both approaches lead to problems in practice, particularly in experiments that push instrumentation to the limit and generate low fragmentation-efficiency and low signal-to-noise-ratio spectra. Results: We introduce a new decoy-free framework for FDR estimation that generalizes present DFAs while exploiting more search data in a manner similar to TDAs. Our approach relies on multi-component mixtures, in which score distributions corresponding to the correct PSMs, best incorrect PSMs, and second-best incorrect PSMs are modeled by the skew normal family. We derive EM algorithms to estimate parameters of these distributions from the scores of best and second-best PSMs associated with each experimental spectrum. We evaluate our models on multiple proteomics datasets and a HeLa cell digest case study consisting of more than a million spectra in total. We provide evidence of improved performance over existing DFAs and improved stability and speed over TDAs without any performance degradation. We propose that the new strategy has the potential to extend beyond peptide identification and reduce the need for TDA on all analytical platforms.


title: Construct Deep Neural Networks Based on Direct Sampling Methods for Solving Electrical Impedance Tomography

abstract: This work investigates the electrical impedance tomography (EIT) problem when only limited boundary measurements are available, which is known to be challenging due to the extreme ill-posedness. Based on the direct sampling method (DSM), we propose deep direct sampling methods (DDSMs) to locate inhomogeneous inclusions in which two types of deep neural networks (DNNs) are constructed to approximate the index function(functional): fully connected neural network(FNN) and convolutional neural network (CNN). The proposed DDSMs are easy to be implemented, capable of incorporating multiple Cauchy data pairs to achieve high-quality reconstruction and highly robust with respect to large noise. Additionally, the implementation of DDSMs adopts offline-online decomposition, which helps to reduce a lot of computational costs and makes DDSMs as efficient as the conventional DSM. The numerical experiments are presented to demonstrate the efficacy and show the potential benefits of combining DNN with DSM.


title: Location-based Behavioral Authentication Using GPS Distance Coherence

abstract: Most of the current user authentication systems are based on PIN code, password, or biometrics traits which can have some limitations in usage and security. Lifestyle authentication has become a new research approach. A promising idea for it is to use the location history since it is relatively unique. Even when people are living in the same area or have occasional travel, it does not vary from day to day. For Global Positioning System (GPS) data, the previous work used the longitude, the latitude, and the timestamp as the features for the classification. In this paper, we investigate a new approach utilizing the distance coherence which can be extracted from the GPS itself without the need to require other information. We applied three ensemble classification RandomForest, ExtraTrees, and Bagging algorithms; and the experimental result showed that the approach can achieve 99.42%, 99.12%, and 99.25% of accuracy, respectively.


title: ShapeAssembly: Learning to Generate Programs for 3D Shape Structure Synthesis

abstract: Manually authoring 3D shapes is difficult and time consuming; generative models of 3D shapes offer compelling alternatives. Procedural representations are one such possibility: they offer high-quality and editable results but are difficult to author and often produce outputs with limited diversity. On the other extreme are deep generative models: given enough data, they can learn to generate any class of shape but their outputs have artifacts and the representation is not editable. In this paper, we take a step towards achieving the best of both worlds for novel 3D shape synthesis. We propose ShapeAssembly, a domain-specific "assembly-language" for 3D shape structures. ShapeAssembly programs construct shapes by declaring cuboid part proxies and attaching them to one another, in a hierarchical and symmetrical fashion. Its functions are parameterized with free variables, so that one program structure is able to capture a family of related shapes. We show how to extract ShapeAssembly programs from existing shape structures in the PartNet dataset. Then we train a deep generative model, a hierarchical sequence VAE, that learns to write novel ShapeAssembly programs. The program captures the subset of variability that is interpretable and editable. The deep model captures correlations across shape collections that are hard to express procedurally. We evaluate our approach by comparing shapes output by our generated programs to those from other recent shape structure synthesis models. We find that our generated shapes are more plausible and physically-valid than those of other methods. Additionally, we assess the latent spaces of these models, and find that ours is better structured and produces smoother interpolations. As an application, we use our generative model and differentiable program interpreter to infer and fit shape programs to unstructured geometry, such as point clouds.


title: DanceIt: Music-inspired Dancing Video Synthesis

abstract: Close your eyes and listen to music, one can easily imagine an actor dancing rhythmically along with the music. These dance movements are usually made up of dance movements you have seen before. In this paper, we propose to reproduce such an inherent capability of the human-being within a computer vision system. The proposed system consists of three modules. To explore the relationship between music and dance movements, we propose a cross-modal alignment module that focuses on dancing video clips, accompanied on pre-designed music, to learn a system that can judge the consistency between the visual features of pose sequences and the acoustic features of music. The learned model is then used in the imagination module to select a pose sequence for the given music. Such pose sequence selected from the music, however, is usually discontinuous. To solve this problem, in the spatial-temporal alignment module we develop a spatial alignment algorithm based on the tendency and periodicity of dance movements to predict dance movements between discontinuous fragments. In addition, the selected pose sequence is often misaligned with the music beat. To solve this problem, we further develop a temporal alignment algorithm to align the rhythm of music and dance. Finally, the processed pose sequence is used to synthesize realistic dancing videos in the imagination module. The generated dancing videos match the content and rhythm of the music. Experimental results and subjective evaluations show that the proposed approach can perform the function of generating promising dancing videos by inputting music.


title: Enhanced magnetocaloric effect and magnetic phase diagrams of single-crystal GdCrO$_3$

abstract: The crystalline structure, magnetism, and magnetocaloric effect of a GdCrO$_3$ single crystal grown with the laser-diode-heated floating-zone technique have been studied. The GdCrO$_3$ single crystal crystallizes into an orthorhombic structure with the space group $Pmnb$ at room temperature. Upon cooling, under a magnetic field of 0.1 T, it undergoes a magnetic phase transition at $T_{\textrm{N-Cr}} =$ 169.28(2) K with Cr$^{3+}$ ions forming a canted antiferromagnetic (AFM) structure, accompanied by a weak ferromagnetism. Subsequently, a spin reorientation takes place at $T_{\textrm{SR}} =$ 5.18(2) K due to Gd$^{3+}$-Cr$^{3+}$ magnetic couplings. Finally, the long-range AFM order of Gd$^{3+}$ ions establishes at $T_{\textrm{N-Gd}} =$ 2.10(2) K. Taking into account the temperature-(in)dependent components of Cr$^{3+}$ moments, we obtained an ideal model for describing the paramagnetic behavior of Gd$^{3+}$ ions within 30--140 K. We observed a magnetic reversal (positive $\rightarrow$ negative $\rightarrow$ positive) at 50 Oe with a minimum centering around 162 K. In the studied temperature range of 1.8-300 K, there exists a strong competition between magnetic susceptibilities of Gd$^{3+}$ and Cr$^{3+}$ ions, leading to puzzling magnetic phenomena. We have built the magnetic-field-dependent phase diagrams of $T_{\textrm{N-Gd}}$, $T_{\textrm{SR}}$, and $T_{\textrm{N-Cr}}$, shedding light on the nature of the intriguing magnetism. Moreover, we calculated the magnetic entropy change and obtained a maximum value at 6 K and ${\Delta}{\mu}_0H$ = 14 T, i.e., -${\Delta}S_{\textrm{M}} \approx$ 57.5 J/kg K. Among all RCrO$_3$ (R = $4f^n$ rare earths, $n =$ 7-14) compounds, the single-crystal GdCrO$_3$ compound exhibits the highest magnetic entropy change, as well as an enhanced adiabatic temperature, creating a prominent magnetocaloric effect for potential application in magnetic refrigeration.


title: Transformative Planetary Science with the US ELT Program

abstract: The proposed US Extremely Large Telescope (ELT) Program would secure national open access to at least 25% of the observing time on the Thirty Meter Telescope in the north and the Giant Magellan Telescope in the south. ELTs would advance solar system science via exceptional angular resolution, sensitivity, and advanced instrumentation. ELT contributions would include the study of interstellar objects, giant planet systems and ocean worlds, the formation of the solar system traced through small objects in the asteroid and Kuiper belts, and the active support of planetary missions. We recommend that (1) the US ELT Program be listed as critical infrastructure for solar system science, that (2) some support from NASA be provided to ensure mission support capabilities, and that (3) the US ELT Program expand solar-system community participation in development, planning, and operations.


title: The impact of COVID-19 on the stock market crash risk in China

abstract: This study investigates the impact of the COVID-19 pandemic on the stock market crash risk in China. For this purpose, we first estimated the conditional skewness of the return distribution from a GARCH with skewness (GARCH-S) model as the proxy for the equity market crash risk of the Shanghai Stock Exchange. We then constructed a fear index for COVID-19 using data from the Baidu Index. Based on the findings, conditional skewness reacts negatively to daily growth in total confirmed cases, indicating that the pandemic increases stock market crash risk. Moreover, the fear sentiment exacerbates such risk, especially with regard to the impact of COVID-19. In other words, when the fear sentiment is high, the stock market crash risk is more strongly affected by the pandemic. Our evidence is robust for the number of daily deaths and global cases.


title: Granular Segregation Mechanisms by Cyclic Shear

abstract: We present an X-ray tomography study of the segregation mechanisms of tracer particles in a three-dimensional cyclically sheared bi-disperse granular medium. Big tracers are dragged by convection to rise to the top surface and then remain trapped there due to the small downward convection cross-section, which leads to segregation. Additionally, we also find that the local structural up-down asymmetry due to arching effect around big tracers will induce the tracers to have a net upward displacement against its smaller neighbors, which is another mechanism for segregation.


title: Strongly refuting all semi-random Boolean CSPs

abstract: We give an efficient algorithm to strongly refute \emph{semi-random} instances of all Boolean constraint satisfaction problems. The number of constraints required by our algorithm matches (up to polylogarithmic factors) the best-known bounds for efficient refutation of fully random instances. Our main technical contribution is an algorithm to strongly refute semi-random instances of the Boolean $k$-XOR problem on $n$ variables that have $\widetilde{O}(n^{k/2})$ constraints. (In a semi-random $k$-XOR instance, the equations can be arbitrary and only the right-hand sides are random.) One of our key insights is to identify a simple combinatorial property of random XOR instances that makes spectral refutation work. Our approach involves taking an instance that does not satisfy this property (i.e., is \emph{not} pseudorandom) and reducing it to a partitioned collection of $2$-XOR instances. We analyze these subinstances using a carefully chosen quadratic form as a proxy, which in turn is bounded via a combination of spectral methods and semidefinite programming. The analysis of our spectral bounds relies only on an off-the-shelf matrix Bernstein inequality. Even for the purely random case, this leads to a shorter proof compared to the ones in the literature that rely on problem-specific trace-moment computations.


title: Voice Controlled Upper Body Exoskeleton: A Development For Industrial Application

abstract: An exoskeleton is a wearable electromechanical structure that is intended to resemble and allow movements in a manner similar to the human skeletal system. They can be used by both disabled and able people alike to increase physical strength in carrying out tasks that would be otherwise difficult, or as a rehabilitation device to aid in physiotherapeutic activities of a weakened body part. This paper intends to introduce a voicecontrolled upper body exoskeleton for industrial applications which can aid workers wearing it by reducing stresses on their arms and shoulders over longer periods and add up to 20kg more strength in lifting applications. The 3D design, calculations and considerations, and load analysis are presented along with brief results of a basic prototype model of the exoskeleton.


title: Towards Fully 8-bit Integer Inference for the Transformer Model

abstract: 8-bit integer inference, as a promising direction in reducing both the latency and storage of deep neural networks, has made great progress recently. On the other hand, previous systems still rely on 32-bit floating point for certain functions in complex models (e.g., Softmax in Transformer), and make heavy use of quantization and de-quantization. In this work, we show that after a principled modification on the Transformer architecture, dubbed Integer Transformer, an (almost) fully 8-bit integer inference algorithm Scale Propagation could be derived. De-quantization is adopted when necessary, which makes the network more efficient. Our experiments on WMT16 En<->Ro, WMT14 En<->De and En->Fr translation tasks as well as the WikiText-103 language modelling task show that the fully 8-bit Transformer system achieves comparable performance with the floating point baseline but requires nearly 4x less memory footprint.


title: Two $q$-supercongruences from Watson's transformation

abstract: Guo and Zudilin [Adv. Math. 346 (2019), 329--358] introduced a new method called `creative microscoping', to prove many $q$-supercongruences in a unified way. In this paper, we apply this method and Watson's ${}_8\phi_7$ transformation formula to prove two $q$-supercongruences, which were recently conjectured by Guo and Schlosser.


title: Magnetic and electronic properties of a topological nodal line semimetal candidate: HoSbTe

abstract: We report the experimental and theoretical studies of a magnetic topological nodal line semimetal candidate HoSbTe. Single crystals of HoSbTe are grown from Sb flux, crystallizing in a tetragonal layered structure (space group: P4/nmm, no.129), in which the Ho-Te bilayer is separated by the square-net Sb layer. The magnetization and specific heat present distinct anomalies at 4 K related to an antiferromagnetic (AFM) phase transition. Meanwhile, with applying magnetic field perpendicular and parallel to the crystallographic c axis, an obvious magnetic anisotropy is observed. Electrical resistivity undergoes a bad-metal-like state below 200 K and reveals a plateau at about 8 K followed by a drop due to the AFM transition. In addition, with the first-principle calculations of band structure, we find that HoSbTe is a topological nodal line semimetal or a weak topological insulator with or without taking the spin-orbit coupling into account, providing a platform to investigate the interplay between magnetic and topological fermionic properties.


title: Word Segmentation from Unconstrained Handwritten Bangla Document Images using Distance Transform

abstract: Segmentation of handwritten document images into text lines and words is one of the most significant and challenging tasks in the development of a complete Optical Character Recognition (OCR) system. This paper addresses the automatic segmentation of text words directly from unconstrained Bangla handwritten document images. The popular Distance transform (DT) algorithm is applied for locating the outer boundary of the word images. This technique is free from generating the over-segmented words. A simple post-processing procedure is applied to isolate the under-segmented word images, if any. The proposed technique is tested on 50 random images taken from CMATERdb1.1.1 database. Satisfactory result is achieved with a segmentation accuracy of 91.88% which confirms the robustness of the proposed methodology.


title: Reconfigurable Intelligent Surface (RIS) Assisted Wireless Coverage Extension: RIS Orientation and Location Optimization

abstract: Recently, reconfigurable intelligent surfaces (RIS) have attracted a lot of attention due to their capability of extending cell coverage by reflecting signals toward the receiver. In this letter, we analyze the coverage of a downlink RIS-assisted network with one base station (BS) and one user equipment (UE). Since the RIS orientation and the horizontal distance between the RIS and the BS have a significant influence on the cell coverage, we formulate an RIS placement optimization problem to maximize the cell coverage by optimizing the RIS orientation and horizontal distance. To solve the formulated problem, a coverage maximization algorithm (CMA) is proposed, where a closed-form optimal RIS orientation is obtained. Numerical results verify our analysis.


title: Discond-VAE: Disentangling Continuous Factors from the Discrete

abstract: In the real-world data, there are common variations shared by all classes (e.g. category label) and exclusive variations of each class. We propose a variant of VAE capable of disentangling both of these variations. To represent these generative factors of data, we introduce two sets of continuous latent variables, private variable and public variable. Our proposed framework models the private variable as a Mixture of Gaussian and the public variable as a Gaussian, respectively. Each mode of the private variable is responsible for a class of the discrete variable. Most of the previous attempts to integrate the discrete generative factors to disentanglement assume statistical independence between the continuous and discrete variables. Our proposed model, which we call Discond-VAE, DISentangles the class-dependent CONtinuous factors from the Discrete factors by introducing the private variables. The experiments show that Discond-VAE can discover the private and public factors from data. Moreover, even under the dataset with only public factors, Discond-VAE does not fail and adapts the private variables to represent the public factors.


title: High-precision target positioning system for unmanned vehicles based on binocular vision

abstract: Unmanned vehicles often need to locate targets with high precision during work. In the unmanned material handling workshop, the unmanned vehicle needs to perform high-precision pose estimation of the workpiece to accurately grasp the workpiece. In this context, this paper proposes a high-precision unmanned vehicle target positioning system based on binocular vision. The system uses a region-based stereo matching algorithm to obtain a disparity map, and uses the RANSAC algorithm to extract position and posture features, which achives the estimation of the position and attitude of a six-degree-of-freedom cylindrical workpiece. In order to verify the effect of the system, this paper collects the accuracy and calculation time of the output results of the cylinder in different poses. The experimental data shows that the position accuracy of the system is 0.61~1.17mm and the angular accuracy is 1.95~5.13{\deg}, which can achieve better high-precision positioning effect.


title: Energy of a graph and Randic index

abstract: We prove that, for any graph $G$, its graph energy is at least twice the Randic index. We show that equality holds if and only if $G$ is the union of complete bipartite graphs.


title: Weak bi-center and critical period bifurcations of a $Z_2$-Equivariant quintic system

abstract: With the help of computer algebra system-\textsc{Mathematica}, this paper considers the weak center problem and local critical periods for bi-center of a $Z_2$-Equivariant quintic system with eight parameters. The order of weak bi-center is identified and the exact maximum number of bifurcation of critical periods generated from the bi-center is given via the combination of symbolic calculation and numerical analysis.


title: Self-supervised pre-training and contrastive representation learning for multiple-choice video QA

abstract: Video Question Answering (Video QA) requires fine-grained understanding of both video and language modalities to answer the given questions. In this paper, we propose novel training schemes for multiple-choice video question answering with a self-supervised pre-training stage and a supervised contrastive learning in the main stage as an auxiliary learning. In the self-supervised pre-training stage, we transform the original problem format of predicting the correct answer into the one that predicts the relevant question to provide a model with broader contextual inputs without any further dataset or annotation. For contrastive learning in the main stage, we add a masking noise to the input corresponding to the ground-truth answer, and consider the original input of the ground-truth answer as a positive sample, while treating the rest as negative samples. By mapping the positive sample closer to the masked input, we show that the model performance is improved. We further employ locally aligned attention to focus more effectively on the video frames that are particularly relevant to the given corresponding subtitle sentences. We evaluate our proposed model on highly competitive benchmark datasets related to multiple-choice video QA: TVQA, TVQA+, and DramaQA. Experimental results show that our model achieves state-of-the-art performance on all datasets. We also validate our approaches through further analyses.


title: Large-Scale Intelligent Microservices

abstract: Deploying Machine Learning (ML) algorithms within databases is a challenge due to the varied computational footprints of modern ML algorithms and the myriad of database technologies each with its own restrictive syntax. We introduce an Apache Spark-based micro-service orchestration framework that extends database operations to include web service primitives. Our system can orchestrate web services across hundreds of machines and takes full advantage of cluster, thread, and asynchronous parallelism. Using this framework, we provide large scale clients for intelligent services such as speech, vision, search, anomaly detection, and text analysis. This allows users to integrate ready-to-use intelligence into any datastore with an Apache Spark connector. To eliminate the majority of overhead from network communication, we also introduce a low-latency containerized version of our architecture. Finally, we demonstrate that the services we investigate are competitive on a variety of benchmarks, and present two applications of this framework to create intelligent search engines, and real-time auto race analytics systems.


title: Identification and Estimation of A Rational Inattention Discrete Choice Model with Bayesian Persuasion

abstract: This paper studies the semi-parametric identification and estimation of a rational inattention model with Bayesian persuasion. The identification requires the observation of a cross-section of market-level outcomes. The empirical content of the model can be characterized by three moment conditions. A two-step estimation procedure is proposed to avoid computation complexity in the structural model. In the empirical application, I study the persuasion effect of Fox News in the 2000 presidential election. Welfare analysis shows that persuasion will not influence voters with high school education but will generate higher dispersion in the welfare of voters with a partial college education and decrease the dispersion in the welfare of voters with a bachelors degree.


title: Condensed groups in product varieties

abstract: A finitely generated group $G$ is said to be condensed if its isomorphism class in the space of finitely generated marked groups has no isolated points. We prove that every product variety $\mathcal{UV}$, where $\mathcal{U}$ (respectively, $\mathcal{V}$) is a non-abelian (respectively, a non-locally-finite) variety, contains a condensed group. In particular, there exist condensed groups of finite exponent. As an application, we obtain some results on the structure of the isomorphism relation and elementary equivalence on the set of finitely generated groups in $\mathcal{UV}$.


title: Empirical Fourier Decomposition: An Accurate Adaptive Signal Decomposition Method

abstract: Signal decomposition is an effective tool to assist the identification of modal information in time-domain signals. Two signal decomposition methods, including the empirical wavelet transform (EWT) and Fourier decomposition method (FDM), have been developed based on Fourier theory. However, the EWT can suffer from a mode mixing problem for signals with closely-spaced modes and decomposition results by FDM can suffer from an inconsistency problem. An accurate adaptive signal decomposition method, called the empirical Fourier decomposition (EFD), is proposed to solve the problems in this work. The proposed EFD combines the uses of an improved Fourier spectrum segmentation technique and an ideal filter bank. The segmentation technique can solve the inconsistency problem by predefining the number of modes in a signal to be decomposed and filter functions in the ideal filter bank have no transition phases, which can solve the mode mixing problem. Numerical investigations are conducted to study the accuracy of the EFD. It is shown that the EFD can yield accurate and consistent decomposition results for signals with multiple non-stationary modes and those with closely-spaced modes, compared with decomposition results by the EWT, FDM, variational mode decomposition and empirical mode decomposition. It is also shown that the EFD can yield accurate time-frequency representation results and it has the highest computational efficiency among the compared methods.


title: High-Throughput Computational-Experimental Screening Protocol for the Discovery of Bimetallic Catalysts

abstract: For decades of catalysis research, the d-band center theory that correlates the d-band center and the adsorbate binding energy has successfully enabled the accelerated discovery of novel catalyst materials. Recent studies indicate that, on top of the d-band center value, the full consideration of the d-band shapes describing higher moments of the d-band as well as sp-band properties can help better capturing surface reactivity. However, the density-of-states (DOS) patterns themselves have never been used as a descriptor in combined computational-experimental studies. Here, we propose the full DOS patterns as a key descriptor in high-throughput screening protocols, and prove its effectiveness. For the hydrogen peroxide (H2O2) synthesis as our demo catalytic reaction, the present study focuses on discovering bimetallic catalysts that can replace the prototypic palladium (Pd) one. Through a series of screening processes based on DOS pattern similarities (evaluated using first-principles calculations) and synthetic feasibility, 9 candidates are finally proposed out of 4,350 bimetallic alloy, which then are expected to have a catalytic performance comparable to that of Pd. The subsequent experimental tests demonstrate that 4 bimetallic catalysts (Ni61Pt39, Au51Pd49, Pt52Pd48, Pd52Ni48) indeed exhibit the catalytic properties comparable to those of Pd. Moreover, we discovered a novel bimetallic (Ni-Pt) catalyst, which has not yet been reported for H2O2 direct synthesis. In particular, Ni61Pt39 outperforms the prototypical Pd catalyst for the chemical reaction and exhibits a 9.5-fold enhancement in cost-normalized productivity. This protocol provides a new opportunity for the catalyst discovery for the replacement or reduction in use of the platinum-group metals.


title: Image Retrieval for Structure-from-Motion via Graph Convolutional Network

abstract: Conventional image retrieval techniques for Structure-from-Motion (SfM) suffer from the limit of effectively recognizing repetitive patterns and cannot guarantee to create just enough match pairs with high precision and high recall. In this paper, we present a novel retrieval method based on Graph Convolutional Network (GCN) to generate accurate pairwise matches without costly redundancy. We formulate image retrieval task as a node binary classification problem in graph data: a node is marked as positive if it shares the scene overlaps with the query image. The key idea is that we find that the local context in feature space around a query image contains rich information about the matchable relation between this image and its neighbors. By constructing a subgraph surrounding the query image as input data, we adopt a learnable GCN to exploit whether nodes in the subgraph have overlapping regions with the query photograph. Experiments demonstrate that our method performs remarkably well on the challenging dataset of highly ambiguous and duplicated scenes. Besides, compared with state-of-the-art matchable retrieval methods, the proposed approach significantly reduces useless attempted matches without sacrificing the accuracy and completeness of reconstruction.


title: Anisotropic and extreme magnetoresistance in the magnetic semimetal candidate Erbium monobismuthide

abstract: Rare-earth monopnictides display rich physical behaviors, featuring most notably spin and orbital orders in their ground state. Here, we grow ErBi single crystal and study its magnetic, thermal and electrical properties. An analysis of the magnetic entropy and magnetization indicates that the weak magnetic anisotropy in ErBi possibly derives from the mixing effect, namely the anisotropic ground state of Er3+ (4f11) mingles with the isotropic excited state through exchange interaction. At low temperature, an extremely large magnetoresistance (~104%) with a parabolic magnetic-field dependence is observed, which can be ascribed to the nearly perfect electron-hole compensation and ultrahigh carrier mobility. When the magnetic field is rotated in the ab (ac) plane and the current flows in the b axis, the angular magnetoresistance in ErBi shows a twofold (fourfold) symmetry. Similar case has been observed in LaBi where the anisotropic Fermi surface dominates the low-temperature transport. Our theoretical calculation suggests that near the Fermi level ErBi shares similarity with LaBi in the electronic band structures. These findings indicate that the angular magnetoresistance of ErBi could be mainly determined by its anisotropic Fermi surface topology. Besides, contributions from several other possibilities, including the spin-dependent scattering, spin-orbit scattering, and demagnetization correlation to the angular magnetoresistance of ErBi are also discussed.


title: The role of dust destruction and dust growth in the evolution of the interstellar medium

abstract: We use Milky Way-like chemodynamical simulations with a new treatment for dust destruction and growth to investigate how these two processes affect the properties of the interstellar medium in galaxies. We focus on the role of two specific parameters: f_des (a new parameter that determines the fraction of dust destroyed in a single gas particle surrounding supernova) and C_s (the probability that a metal atom or ion sticks to the dust grain after colliding, i.e., the sticking coefficient) in regulating the amount and distribution of dust, cold gas and metals in galaxies. We find that simulated galaxies with low f_des and/or high C_s values produce not only more dust, but they also have a shallower correlation between dust surface density and total gas surface density, and a steeper correlation between dust-to-gas ratio and metallicity. Only for values of f_des between 0.01 and 0.02, and of C_s between 0.5 and 1 our simulations produce an average slope of the dust-to-gas ratio versus metallicity relation consistent with observations. f_des values correspond to a range of a total fraction of dust destroyed by a single supernova between 0.42 and 0.44. Lastly, we compare predictions of several simulations (with different star formation recipes, gas fractions, central metallicities, and metallicity gradients) to the spatially resolved M101 galaxy, and conclude that metallicity is the primary driver of the spatial distribution of dust, while dust-to-gas ratio controls the cold gas distribution, as it regulates the atomic-to-molecular hydrogen conversion rate.


title: GeneraLight: Improving Environment Generalization of Traffic Signal Control via Meta Reinforcement Learning

abstract: The heavy traffic congestion problem has always been a concern for modern cities. To alleviate traffic congestion, researchers use reinforcement learning (RL) to develop better traffic signal control (TSC) algorithms in recent years. However, most RL models are trained and tested in the same traffic flow environment, which results in a serious overfitting problem. Since the traffic flow environment in the real world keeps varying, these models can hardly be applied due to the lack of generalization ability. Besides, the limited number of accessible traffic flow data brings extra difficulty in testing the generalization ability of the models. In this paper, we design a novel traffic flow generator based on Wasserstein generative adversarial network to generate sufficient diverse and quality traffic flows and use them to build proper training and testing environments. Then we propose a meta-RL TSC framework GeneraLight to improve the generalization ability of TSC models. GeneraLight boosts the generalization performance by combining the idea of flow clustering and model-agnostic meta-learning. We conduct extensive experiments on multiple real-world datasets to show the superior performance of GeneraLight on generalizing to different traffic flows.


title: The integral monodromy of isolated quasihomogeneous singularities

abstract: The integral monodromy on the Milnor lattice of an isolated quasihomogeneous singularity is subject of an almost untouched conjecture of Orlik from 1972. We prove this conjecture for all iterated Thom-Sebastiani sums of chain type singularities and cycle type singularities. The main part of the paper is purely algebraic. It provides tools for dealing with sums and tensor products of ${\mathbb Z}$-lattices with automorphisms of finite order and with cyclic generators. The calculations are involved. They use fine properties of unit roots, cyclotomic polynomials, their resultants and discriminants.


title: Mapping class group of manifolds which look like $3$-dimensional complete intersections

abstract: In this paper we compute the mapping class group of closed simply-connected 6-manifolds $M$ which look like complete intersections, i.~e.~ $H_2(M;\mathbb Z) \cong \mathbb Z $ and $x^3 \ne 0$ where $x \in H^2(M; \mathbb Z)$ is a generator. We determine some algebraic properties of the mapping class group; for example we compute its abelianization and its center. We show that modulo the center the mapping class group is residually finite and virtually torsion-free. We also study low dimensional homology groups. The results are very similar to the computation of the mapping class group of Riemann surfaces. We give generators of the mapping class group, and generators and relations for the subgroup acting trivially on $\pi_{3}(M)$.


title: Electron ground state $g$ factor in embedded InGaAs quantum dots: An atomistic study

abstract: We present atomistic computations within an empirical pseudopotential framework for the electron $s$-shell ground state $g$ tensor of InGaAs quantum dots (QDs) embedded to host matrices that grant electronic confinement. A large structural set consisting of geometry, size, and molar fraction variations is worked out which also includes a few representative uniform strain cases. The tensor components are observed to display insignificant discrepancies even for the highly anisotropic shapes. The family of $g$-factor curves associated with these parameter combinations coalesces to a single universal one when plotted as a function of the gap energy, thus confirming a recent assertion reached under much restrictive conditions. Our work extends its validity to alloy QDs with various shapes and finite confinement that allows for penetration to the host matrix, placing it on a more realistic basis. Accordingly, the electrons in InGaAs QDs having $s$-shell transition energies close to 1.13 eV will be least susceptible to magnetic field. We also show that low indium concentration offer limited $g$-factor tunability under shape or confinement variations. These findings can be taken into consideration in the fabrication and the use of InGaAs QDs with $g$-near-zero or other targeted $g$ values for spintronic or electron spin resonance-based direct quantum logic applications.


title: Synthesis of Cu mono-component metallic glass by the deposition on amorphous SiO$_2$ substrate: a molecular dynamics study

abstract: In this work, we simulated the physical vapor deposition (PVD) process of Cu atoms on the amorphous SiO$_2$ substrate. The resulting Cu thin layer exhibit amorphous structure. The Cu liquid quenching from 2000 K to 50 K was also simulated with different cooling rate to form the Cu metallic glass for comparison. The Cu glasses from the two different processes (PVD and quenching) revealed the same radial distribution function but different local structure from the Voronoi tessellation analysis. The PVD glass exhibit higher densities and lower potential energy compared with the melt-quenched counterpart, which corresponded to the properties of ultrastable glasses.


title: Persistent mysteries of jet engines, formation, propagation, and particle acceleration: have they been addressed experimentally?

abstract: The physics of astrophysical jets can be divided into three regimes: (i) engine and launch (ii) propagation and collimation, (iii) dissipation and particle acceleration. Since astrophysical jets comprise a huge range of scales and phenomena, practicality dictates that most studies of jets intentionally or inadvertently focus on one of these regimes, and even therein, one body of work may be simply boundary condition for another. We first discuss long standing persistent mysteries that pertain the physics of each of these regimes, independent of the method used to study them. This discussion makes contact with frontiers of plasma astrophysics more generally. While observations theory, and simulations, and have long been the main tools of the trade, what about laboratory experiments? Jet related experiments have offered controlled studies of specific principles, physical processes, and benchmarks for numerical and theoretical calculations. We discuss what has been done to date on these fronts. Although experiments have indeed helped us to understand certain processes, proof of principle concepts, and benchmarked codes, they have yet to solved an astrophysical jet mystery on their own. A challenge is that experimental tools used for jet-related experiments so far, are typically not machines originally designed for that purpose, or designed with specific astrophysical mysteries in mind. This presents an opportunity for a different way of thinking about the development of future platforms: start with the astrophysical mystery and build an experiment to address it.

categories: astro-ph.HE astro-ph.GA astro-ph.IM astro-ph.SR physics.plasm-ph


title: MultAV: Multiplicative Adversarial Videos

abstract: The majority of adversarial machine learning research focuses on additive attacks, which add adversarial perturbation to input data. On the other hand, unlike image recognition problems, only a handful of attack approaches have been explored in the video domain. In this paper, we propose a novel attack method against video recognition models, Multiplicative Adversarial Videos (MultAV), which imposes perturbation on video data by multiplication. MultAV has different noise distributions to the additive counterparts and thus challenges the defense methods tailored to resisting additive adversarial attacks. Moreover, it can be generalized to not only Lp-norm attacks with a new adversary constraint called ratio bound, but also different types of physically realizable attacks. Experimental results show that the model adversarially trained against additive attack is less robust to MultAV.


title: Nonlinear phase estimation enhanced by an actively correlated Mach-Zehnder interferometer

abstract: A nonlinear phase shift is introduced to a Mach-Zehnder interferometer (MZI), and we present a scheme for enhancing the phase sensitivity. In our scheme, one input port of a standard MZI is injected with a coherent state and the other input port is injected with one mode of a two-mode squeezed-vacuum state. The final interference output of the MZI is detected with the method of active correlation output readout. Based on the optimal splitting ratio of beam splitters, the phase sensitivity can beat the standard quantum limit and approach the quantum Cram\'{e}r-Rao bound. The effects of photon loss on phase sensitivity are discussed. Our scheme can also provide some estimates for units of $\chi^{(3)}$, due to the relation between the nonlinear phase shift and the susceptibility $\chi^{(3)}$ of the Kerr medium.


title: Second Harmonic Generation from a Single Plasmonic Nanorod Strongly Coupled to a WSe2 Monolayer

abstract: Monolayer transition metal dichalcogenides, coupled to metal plasmonic nanocavities, have recently emerged as new platforms for strong light-matter interactions. These systems are expected to have nonlinear optical properties that will enable them to be used as entangled photon sources, compact wave-mixing devices, and other elements for classical and quantum photonic technologies. Here we report the first experimental investigation of the nonlinear properties of these strongly coupled systems, by observing second harmonic generation from a WSe2 monolayer strongly coupled to a single gold nanorod. The pump frequency dependence of the second harmonic signal displays a pronounced splitting that can be explained by a coupled oscillator model with second-order nonlinearities. Rigorous numerical simulations utilizing a nonperturbative nonlinear hydrodynamic model of conduction electrons support this interpretation and reproduce experimental results. Our study thus lays the groundwork for understanding the nonlinear properties of strongly coupled nanoscale systems.


title: Certifying Confidence via Randomized Smoothing

abstract: Randomized smoothing has been shown to provide good certified-robustness guarantees for high-dimensional classification problems. It uses the probabilities of predicting the top two most-likely classes around an input point under a smoothing distribution to generate a certified radius for a classifier's prediction. However, most smoothing methods do not give us any information about the confidence with which the underlying classifier (e.g., deep neural network) makes a prediction. In this work, we propose a method to generate certified radii for the prediction confidence of the smoothed classifier. We consider two notions for quantifying confidence: average prediction score of a class and the margin by which the average prediction score of one class exceeds that of another. We modify the Neyman-Pearson lemma (a key theorem in randomized smoothing) to design a procedure for computing the certified radius where the confidence is guaranteed to stay above a certain threshold. Our experimental results on CIFAR-10 and ImageNet datasets show that using information about the distribution of the confidence scores allows us to achieve a significantly better certified radius than ignoring it. Thus, we demonstrate that extra information about the base classifier at the input point can help improve certified guarantees for the smoothed classifier. Code for the experiments is available at https://github.com/aounon/cdf-smoothing.


title: Spectral Flow on the Manifold of SPD Matrices for Multimodal Data Processing

abstract: In this paper, we consider data acquired by multimodal sensors capturing complementary aspects and features of a measured phenomenon. We focus on a scenario in which the measurements share mutual sources of variability but might also be contaminated by other measurement-specific sources such as interferences or noise. Our approach combines manifold learning, which is a class of nonlinear data-driven dimension reduction methods, with the well-known Riemannian geometry of symmetric and positive-definite (SPD) matrices. Manifold learning typically includes the spectral analysis of a kernel built from the measurements. Here, we take a different approach, utilizing the Riemannian geometry of the kernels. In particular, we study the way the spectrum of the kernels changes along geodesic paths on the manifold of SPD matrices. We show that this change enables us, in a purely unsupervised manner, to derive a compact, yet informative, description of the relations between the measurements, in terms of their underlying components. Based on this result, we present new algorithms for extracting the common latent components and for identifying common and measurement-specific components.