title: Characterizing Big Data Management

abstract: Big data management is a reality for an increasing number of organizations in many areas and represents a set of challenges involving big data modeling, storage and retrieval, analysis and visualization. However, technological resources, people and processes are crucial to facilitate the management of big data in any kind of organization, allowing information and knowledge from a large volume of data to support decision-making. Big data management can be supported by these three dimensions: technology, people and processes. Hence, this article discusses these dimensions: the technological dimension that is related to storage, analytics and visualization of big data; the human aspects of big data; and, in addition, the process management dimension that involves in a technological and business approach the aspects of big data management.


title: From policy to prediction: Forecasting COVID-19 dynamics under imperfect vaccination

abstract: Understanding the joint impact of vaccination and non-pharmaceutical interventions on COVID-19 development is important for making public health decisions that control the pandemic. Recently, we created a method in forecasting the daily number of confirmed cases of infectious diseases by combining a mechanistic ordinary differential equation (ODE) model for infectious classes and a generalized boosting machine learning model (GBM) for predicting how public health policies and mobility data affect the transmission rate in the ODE model [WWR+]. In this paper, we extend the method to the post-vaccination period, accordingly obtain a retrospective forecast of COVID-19 daily confirmed cases in the US, and identify the relative influence of the policies used as the predictor variables. In particular, our ODE model contains both partially and fully vaccinated compartments and accounts for the breakthrough cases, that is, vaccinated individuals can still get infected. Our results indicate that the inclusion of data on non-pharmaceutical interventions can significantly improve the accuracy of the predictions. With the use of policy data, the model predicts the number of daily infected cases up to 35 days in the future, with an average mean absolute percentage error of 34%, which is further improved to 21% if combined with human mobility data. Moreover, similar to the pre-vaccination study, the most influential predictor variable remains the policy of restrictions on gatherings. The modeling approach used in this work can help policymakers design control measures as variant strains threaten public health in the future.


title: On eliminating blocking interference of RFID unauthorized reader detection system

abstract: RFID as an important component technology of IoT faces important security risks while being rapidly applied, among which the discovery of unauthorized readers in space is crucial. There are some researches proposed the unauthorized reader detection algorithm based on commercial off the shell(COTS) devices, but these detection algorithms are often easily affected by moving objects blocking interference in space, causing false alarms. We propose a new method of eliminating moving object interference, which can reduce the system false alarm rate to less than 7.9% by experimental testing


title: Joint Planning of Distributed Generations and Energy Storage in Active Distribution Networks: A Bi-Level Programming Approach

abstract: In order to improve the penetration of renewable energy resources for distribution networks, a joint planning model of distributed generations (DGs) and energy storage is proposed for an active distribution network by using a bi-level programming approach in this paper. In this model, the upper-level aims to seek the optimal location and capacity of DGs and energy storage, while the lower-level optimizes the operation of energy storage devices. To solve this model, an improved binary particle swarm optimization (IBPSO) algorithm based on chaos optimization is developed, and the optimal joint planning is achieved through alternating iterations between the two levels. The simulation results on the PG & E 69-bus distribution system demonstrate that the presented approach manages to reduce the planning deviation caused by the uncertainties of DG outputs and remarkably improve the voltage profile and operational economy of distribution systems.


title: "I Can't Keep It Up." A Dataset from the Defunct Voat.co News Aggregator

abstract: Voat.co was a news aggregator website that shut down on December 25, 2020. The site had a troubled history and was known for hosting various banned subreddits. This paper presents a dataset with over 2.3M submissions and 16.2M comments posted from 113K users in 7.1K subverses (the equivalent of subreddit for Voat). Our dataset covers the whole lifetime of Voat, from its developing period starting on November 8, 2013, the day it was founded, April 2014, up until the day it shut down (December 25, 2020). This work presents the largest and most complete publicly available Voat dataset, to the best of our knowledge. Along with the release of this dataset, we present a preliminary analysis covering posting activity and daily user and subverse registration on the platform so that researchers interested in our dataset can know what to expect. Our data may prove helpful to false news dissemination studies as we analyze the links users share on the platform, finding that many communities rely on alternative news press, like Breitbart and GatewayPundit, for their daily discussions. In addition, we perform network analysis on user interactions finding that many users prefer not to interact with subverses outside their narrative interests, which could be helpful to researchers focusing on polarization and echo chambers. Also, since Voat was one of the platforms banned Reddit communities migrated to, we are confident our dataset will motivate and assist researchers studying deplatforming. Finally, many hateful and conspiratorial communities were very popular on Voat, which makes our work valuable for researchers focusing on toxicity, conspiracy theories, cross-platform studies of social networks, and natural language processing.


title: The applicability of hydrodynamics in heavy ion collisions at $\sqrt{s_{\rm NN}}$= 2.4-7.7 GeV

abstract: To assess the degree of equilibration of the matter created in heavy-ion reactions at low to intermediate beam energies, a hadronic transport approach (SMASH) is employed. By using a coarse-graining method, we compute the energy momentum tensor of the system at fixed time steps and evaluate the degree of isotropy of the diagonal terms and the relative magnitude of the off-diagonal terms. This study focuses mostly on Au+Au collisions in the energy range $\sqrt{s_{\rm NN}}$ = 2.4-7.7 GeV, but central collisions of lighter ions like C+C, Ar+KCl and Ag+Ag are considered as well. We find that the conditions concerning local equilibration for a hydrodynamic description are reasonably satisfied in a large portion of the system for a significant amount of time (several fm/c) when considering the average evolution of many events, yet they are rarely fulfilled on an event by event basis. This is relevant for the application of hybrid approaches at low beam energies as they are or will be reached by the HADES experiment at GSI, the future CBM experiment at FAIR as well as the beam energy scan program at RHIC.


title: Quasi-Newton acceleration of EM and MM algorithms via Broyden$'$s method

abstract: The principle of majorization-minimization (MM) provides a general framework for eliciting effective algorithms to solve optimization problems. However, they often suffer from slow convergence, especially in large-scale and high-dimensional data settings. This has drawn attention to acceleration schemes designed exclusively for MM algorithms, but many existing designs are either problem-specific or rely on approximations and heuristics loosely inspired by the optimization literature. We propose a novel, rigorous quasi-Newton method for accelerating any valid MM algorithm, cast as seeking a fixed point of the MM \textit{algorithm map}. The method does not require specific information or computation from the objective function or its gradient and enjoys a limited-memory variant amenable to efficient computation in high-dimensional settings. By connecting our approach to Broyden's classical root-finding methods, we establish convergence guarantees and identify conditions for linear and super-linear convergence. These results are validated numerically and compared to peer methods in a thorough empirical study, showing that it achieves state-of-the-art performance across a diverse range of problems.


title: A Unified View on Semantic Information and Communication: A Probabilistic Logic Approach

abstract: This article aims to provide a unified and technical approach to semantic information, communication, and their interplay through the lens of probabilistic logic. To this end, on top of the existing technical communication (TC) layer, we additionally introduce a semantic communication (SC) layer that exchanges logically meaningful clauses in knowledge bases. To make these SC and TC layers interact, we propose various measures based on the entropy of a clause in a knowledge base. These measures allow us to delineate various technical issues on SC such as a message selection problem for improving the knowledge at a receiver. Extending this, we showcase selected examples in which SC and TC layers interact with each other while taking into account constraints on physical channels.


title: Coherent coupling of two remote magnonic resonators mediated by superconducting circuits

abstract: We demonstrate microwave-mediated distant magnon-magnon coupling on a superconducting circuit platform, incorporating chip-mounted single-crystal Y$_3$Fe$_5$O$_{12}$ (YIG) spheres. Coherent level repulsion and dissipative level attraction between the magnon modes of the two YIG spheres are demonstrated. The former is mediated by cavity photons of a superconducting resonator, and the latter is mediated by propagating photons of a coplanar waveguide. Our results open new avenues towards exploring integrated hybrid magnonic networks for coherent information processing on a quantum-compatible superconducting platform.


title: GradTail: Learning Long-Tailed Data Using Gradient-based Sample Weighting

abstract: We propose GradTail, an algorithm that uses gradients to improve model performance on the fly in the face of long-tailed training data distributions. Unlike conventional long-tail classifiers which operate on converged - and possibly overfit - models, we demonstrate that an approach based on gradient dot product agreement can isolate long-tailed data early on during model training and improve performance by dynamically picking higher sample weights for that data. We show that such upweighting leads to model improvements for both classification and regression models, the latter of which are relatively unexplored in the long-tail literature, and that the long-tail examples found by gradient alignment are consistent with our semantic expectations.


title: Algorithmic Authority: The Case of Bitcoin

abstract: In this paper, I propose a new concept for understanding the role of algorithms in daily life: algorithmic authority. Algorithmic authority is the legitimate power of algorithms to direct human action and to impact which information is considered true. I use this concept to examine the culture of users of Bitcoin, a crypto-currency and payment platform. Through Bitcoin, I explore what it means to trust in algorithmic authority. My study of the Bitcoin community utilizes interview and survey data. I found that Bitcoin users prefer algorithmic authority to the authority of conventional institutions which they see as untrustworthy. However, I argue that Bitcoin users do not have blind faith in algorithms; rather, they acknowledge the need for mediating algorithmic authority with human judgment. I examine the tension between members of the Bitcoin community who would prefer to integrate Bitcoin with existing institutions and those who would prefer to resist integration.


title: High Resolution Search for KBO Binaries from New Horizons

abstract: Using the New Horizons LORRI camera, we searched for satellites near five Kuiper belt objects (KBOs): four cold classicals (CCs: 2011 JY31, 2014 OS393, 2014 PN70, 2011 HZ102) and one scattered disk object (SD: 2011 HK103). These objects were observed at distances of 0.092-0.290 au from the New Horizons spacecraft, achieving spatial resolutions of 136-430 km (resolution is ~2 camera pixels), much higher than possible from any other facilities. Here we report that CC 2011 JY31 is a binary system with roughly equal brightness components, CC 2014 OS393 is likely an equal brightness binary system, while the three other KBOs did not show any evidence of binarity. The 2011 JY31 binary has a semi-major axis of 198.6 +/- 2.9 km, an orbital inclination of 61.34 +/- 1.34 deg, and an orbital period of 1.940 +/- 0.002 d. The 2014 OS393 binary objects have an apparent separation of ~150 km, making 2011 JY31 and 2014 OS393 the tightest KBO binary systems ever resolved. Both 2011 HK103 and 2011 HZ102 were detected with SNR~10, and our observations rule out equal brightness binaries with separations larger than ~430 km and ~260 km, respectively. The spatial resolution for 2014 PN70 was ~200 km, but this object had SNR~2.5-3, which limited our ability to probe its binarity. The binary frequency for the CC binaries probed in our small survey (67%, not including 2014 PN70) is consistent with the high binary frequency suggested by larger surveys of CCs (Fraser et al. 2017, Noll et al. 2020) and recent planetesimal formation models (Nesvorny et al. 2021), but we extend the results to smaller orbit semi-major axes and smaller objects than previously possible.


title: Simplifying matrix differential equations with general coefficients

abstract: We show that the $n\times n$ matrix differential equation $\delta(Y)=AY$ with $n^2$ general coefficients cannot be simplified to an equation in less than $n$ parameters by using gauge transformations whose coefficients are rational functions in the matrix entries of $A$ and their derivatives. Our proof uses differential Galois theory and a differential analogue of essential dimension. We also bound the minimum number of parameters needed to describe some generic Picard-Vessiot extensions.


title: First comparison of composite 0.52-55 keV ENA spectra observed by IBEX and Cassini/INCA with simulated ENAs inferred by proton hybrid simulations downstream of the termination shock

abstract: We present a first comparison of Energetic Neutral Atom (ENA) heliosheath measurements, remotely sensed by the Interstellar Boundary Explorer (IBEX) mission and the Ion and Neutral Camera (INCA) on the Cassini mission, with modeled ENA inferred from interstellar pickup protons that have been accelerated at the termination shock, using hybrid simulations. The observed ENA intensities are an average value over the time period from 2009 to the end of 2012, along the Voyager 2 trajectory. The hybrid simulations parameters for the solar wind, interstellar pickup ions (PUIs), and magnetic field upstream of the termination shock, where Voyager 2 crossed, are based on observations. We report an energy dependent discrepancy between observed and simulated ENA fluxes, with the observed ENA fluxes, being consistently higher than the simulated ones, and discuss possible causes of this discrepancy.


title: TriLock: IC Protection with Tunable Corruptibility and Resilience to SAT and Removal Attacks

abstract: Sequential logic locking has been studied over the last decade as a method to protect sequential circuits from reverse engineering. However, most of the existing sequential logic locking techniques are threatened by increasingly more sophisticated SAT-based attacks, efficiently using input queries to a SAT solver to rule out incorrect keys, as well as removal attacks based on structural analysis. In this paper, we propose TriLock, a sequential logic locking method that simultaneously addresses these vulnerabilities. TriLock can achieve high, tunable functional corruptibility while still guaranteeing exponential queries to the SAT solver in a SAT-based attack. Further, it adopts a state re-encoding method to obscure the boundary between the original state registers and those inserted by the locking method, thus making it more difficult to detect and remove the locking-related components.


title: Anisotropic spin generalization of elliptic Macdonald-Ruijsenaars operators and R-matrix identities

abstract: We propose commuting set of matrix-valued difference operators in terms of the elliptic Baxter-Belavin $R$-matrix in the fundamental representation of ${\rm GL}_M$. In the scalar case $M=1$ these operators are the elliptic Macdonald-Ruijsenaars operators, while in the general case they can be viewed as anisotropic versions of the quantum spin Ruijsenaars Hamiltonians. We show that commutativity of the operators for any $M$ is equivalent to a set of $R$-matrix identities. The proof of identities is based on the properties of elliptic $R$-matrix including the quantum and the associative Yang-Baxter equations. As an application of our results, we introduce elliptic generalization of q-deformed Haldane-Shastry model.


title: Explaining Cognitive Computing Through the Information Systems Lens

abstract: Cognitive computing (COC) aims to embed human cognition into computerized models. However, there is no scientific classification that delineates the nature of Cognitive Computing. Unlike the medical and computer science fields, Information Systems (IS) has conducted very little research on COC. Although the potential to make important research contributions in this area is great, we argue that the lack of a cohesive interpretation of what constitutes COC has led to inferior COC research in IS. Therefore, we need first to clearly identify COC as a phenomenon to be able to identify and guide prospective research areas in IS. In this research, a phenomenological approach is adopted using thematic analysis to the published literature in COC research. Then, we discuss how IS may contribute to the development of design science artifacts under the COC umbrella. In addition, the paper raises important questions for future research by highlighting how IS researchers could make meaningful contributions to this emerging topic.


title: Understanding Political Polarization via Jointly Modeling Users, Connections and Multimodal Contents on Heterogeneous Graphs

abstract: Understanding political polarization on social platforms is important as public opinions may become increasingly extreme when they are circulated in homogeneous communities, thus potentially causing damage in the real world. Automatically detecting the political ideology of social media users can help better understand political polarization. However, it is challenging due to the scarcity of ideology labels, complexity of multimodal contents, and cost of time-consuming data collection process. In this study, we adopt a heterogeneous graph neural network to jointly model user characteristics, multimodal post contents as well as user-item relations in a bipartite graph to learn a comprehensive and effective user embedding without requiring ideology labels. We apply our framework to online discussions about economy and public health topics. The learned embeddings are then used to detect political ideology and understand political polarization. Our framework outperforms the unimodal, early/late fusion baselines, and homogeneous GNN frameworks by a margin of at least 9% absolute gain in the area under the receiver operating characteristic on two social media datasets. More importantly, our work does not require a time-consuming data collection process, which allows faster detection and in turn allows the policy makers to conduct analysis and design policies in time to respond to crises. We also show that our framework learns meaningful user embeddings and can help better understand political polarization. Notable differences in user descriptions, topics, images, and levels of retweet/quote activities are observed. Our framework for decoding user-content interaction shows wide applicability in understanding political polarization. Furthermore, it can be extended to user-item bipartite information networks for other applications such as content and product recommendation.


title: Universal Online Learning: an Optimistically Universal Learning Rule

abstract: We study the subject of universal online learning with non-i.i.d. processes for bounded losses. The notion of an universally consistent learning was defined by Hanneke in an effort to study learning theory under minimal assumptions, where the objective is to obtain low long-run average loss for any target function. We are interested in characterizing processes for which learning is possible and whether there exist learning rules guaranteed to be universally consistent given the only assumption that such learning is possible. The case of unbounded losses is very restrictive, since the learnable processes almost surely visit a finite number of points and as a result, simple memorization is optimistically universal. We focus on the bounded setting and give a complete characterization of the processes admitting strong and weak universal learning. We further show that k-nearest neighbor algorithm (kNN) is not optimistically universal and present a novel variant of 1NN which is optimistically universal for general input and value spaces in both strong and weak setting. This closes all COLT 2021 open problems posed by Hanneke on universal online learning.


title: Strict domain monotonicity of the principal eigenvalue and a characterization of lower boundedness for the Friedrichs extension of four-coefficient Sturm-Liouville operators

abstract: Using the variational characterization of the principal (i.e., smallest) eigenvalue below the essential spectrum of a lower semibounded self-adjoint operator, we prove strict domain monotonicity (with respect to changing the finite interval length) of the principal eigenvalue of the Friedrichs extension $T_F$ of the minimal operator for regular four-coefficient Sturm--Liouville differential expressions. In the more general singular context, these four-coefficient differential expressions act according to \[ \tau f = \frac{1}{r} \left( - \big(f^{[1]}\big)' + s f^{[1]} + qf\right)\,\text{ with $f^{[1]} = p [f' + s f]$ on $(a,b) \subseteq \mathbb{R}$}, \] where the coefficients $p$, $q$, $r$, $s$ are real-valued and Lebesgue measurable on $(a,b)$, with $p > 0$, $r>0$ a.e.\ on $(a,b)$, and $p^{-1}$, $q$, $r$, $s \in L^1_{loc}((a,b); dx)$, and $f$ is supposed to satisfy \[ f \in AC_{loc}((a,b)), \; p[f' + s f] \in AC_{loc}((a,b)). \] This setup is sufficiently general so that $\tau$ permits certain distributional potential coefficients $q$, including potentials in $H^{-1}_{loc}((a,b))$. As a consequence of the strict domain monotonicity of the principal eigenvalue of the Friedrichs extension in the regular case, and on the basis of oscillation theory in the singular context, in our main result, we characterize all lower bounds of $T_F$ as those $\lambda\in \mathbb{R}$ for which the differential equation $\tau u = \lambda u$ has a strictly positive solution $u > 0$ on $(a,b)$.


title: A bridge between Vector Bundle Theory and Nonlinear Spectral Theory

abstract: This paper establishes some hidden connections between the theory of generalized algebraic multiplicities, the intersection index of algebraic varieties, and the notion of orientability of vector bundles. The novel approach adopted in it facilitates the definition of several invariants closely related to the first Stiefel-Whitney fundamental class through some path integration techniques.


title: Refined normal approximations for the Student distribution

abstract: In this paper, we develop a local limit theorem for the Student distribution. We use it to improve the normal approximation of the Student survival function given in Shafiei & Saberali (2015) and to derive asymptotic bounds for the corresponding maximal errors at four levels of approximation. As a corollary, approximations for the percentage points (or quantiles) of the Student distribution are obtained in terms of the percentage points of the standard normal distribution.


title: Global Regular Network for Writer Identification

abstract: Writer identification has practical applications for forgery detection and forensic science. Most models based on deep neural networks extract features from character image or sub-regions in character image, which ignoring features contained in page-region image. Our proposed global regular network (GRN) pays attention to these features. GRN network consists of two branches: one branch takes page handwriting as input to extract global features, and the other takes word handwriting as input to extract local features. Global features and local features merge in a global residual way to form overall features of the handwriting. The proposed GRN has two attributions: one is adding a branch to extract features contained in page; the other is using residual attention network to extract local feature. Experiments demonstrate the effectiveness of both strategies. On CVL dataset, our models achieve impressive 99.98% top-1 accuracy and 100% top-5 accuracy with shorter training time and fewer network parameters, which exceeded the state-of-the-art structure. The experiment shows the powerful ability of the network in the field of writer identification. The source code is available at https://github.com/wangshiyu001/GRN.


title: Replica Symmetry Breaking for the Integrable Two-Site Sachdev-Ye-Kitaev Model

abstract: We analyze a two-body nonhermitian two-site Sachdev-Ye-Kitaev model with the couplings of one site complex conjugated to the other site. This model, with no explicit coupling between the sites, shows an infinite number of phase transitions which is a consequence of the partition function factorizing into a product over Matsubara frequencies. We calculate the quenched free energy in two different ways, first in terms of the single-particle energies, and second by solving the Schwinger-Dyson equations. The first calculation can be done entirely in terms of a one-site model. The conjugate replica enters due to non-analyticities when Matsubara frequencies enter the spectral support of the coupling matrix. The second calculation is based on the replica trick of the two-site partition function. Both methods give the same result. The free-fermion partition function can be rephrased as a matrix model for the coupling matrix. Up to minor details, this model is the random matrix model that describes the chiral phase transition of QCD, and the order parameter of the two-body model corresponds to the chiral condensate of QCD. Comparing to the corresponding four-body model, we are able to determine which features of the free energy are due to chaotic nature of the four-body model. The high-temperature phase of both models is entropy dominated, and in both cases is determined by the spectral density. The four-body SYK model has a low-temperature phase whose free energy is almost temperature-independent, signaling an effective gap of the theory even though the actual spectrum does not exhibit a gap. However the low-temperature free energy of the two-body SYK model is not flat, in fact it oscillates to arbitrarily low temperature. This indicates a less desirable feature that the entropy of the two-body model is not always positive, which most likely is a consequence of the nonhermiticity.


title: Angular momentum and parity projected multidimensionally constrained relativistic Hartree-Bogoliubov model

abstract: The nuclear deformations are of fundamental importance in nuclear physics. Recently we developed a multi-dimensionally constrained relativistic Hartree-Bogoliubov (MDCRHB) model, in which all multipole deformations respecting the $V_4$ symmetry can be considered self-consistently. In this work we extend this model by incorporating the angular momentum projection (AMP) and parity projection (PP) to restore the rotational and parity symmetries broken in the mean-field level. This projected-MDCRHB (p-MDCRHB) model enables us to connect certain nuclear spectra to exotic intrinsic shapes such as triangle or tetrahedron. We present the details of the method and an exemplary calculation for $^{12}$C. We develop a triangular moment constraint to generate the triangular configurations consisting of three $\alpha$ clusters arranged as an equilateral triangle. The resulting $^{12}$C spectra are consistent with that from a triangular rigid rotor for large separations between the $\alpha$ clusters. We also calculate the $B(E2)$ and $B(E3)$ values for low-lying states and find good agreement with the experiments.


title: Mechanical proving with Walnut for squares and cubes in partial words

abstract: Walnut is a software that using automata can prove theorems in combinatorics on words about automatic sequences. We are able to apply this software to both prove new results as well as reprove some old results on avoiding squares and cubes in partial words. We also define the notion of an antisquare in a partial word and begin the study of binary partial words which contain only a fixed number of distinct squares and antisquares.


title: WANLI: Worker and AI Collaboration for Natural Language Inference Dataset Creation

abstract: A recurring challenge of crowdsourcing NLP datasets at scale is that human writers often rely on repetitive patterns when crafting examples, leading to a lack of linguistic diversity. We introduce a novel approach for dataset creation based on worker and AI collaboration, which brings together the generative strength of language models and the evaluative strength of humans. Starting with an existing dataset, MultiNLI for natural language inference (NLI), our approach uses dataset cartography to automatically identify examples that demonstrate challenging reasoning patterns, and instructs GPT-3 to compose new examples with similar patterns. Machine generated examples are then automatically filtered, and finally revised and labeled by human crowdworkers. The resulting dataset, WANLI, consists of 107,885 NLI examples and presents unique empirical strengths over existing NLI datasets. Remarkably, training a model on WANLI improves performance on eight out-of-domain test sets we consider, including by 11% on HANS and 9% on Adversarial NLI, compared to training on the 4x larger MultiNLI. Moreover, it continues to be more effective than MultiNLI augmented with other NLI datasets. Our results demonstrate the promise of leveraging natural language generation techniques and re-imagining the role of humans in the dataset creation process.


title: Numerical study on viscous fingering using electric fields in a Hele-Shaw cell

abstract: We investigate the nonlinear dynamics of a moving interface in a Hele-Shaw cell subject to an in-plane applied electric field. We develop a spectrally accurate boundary integral method where a coupled integral equation system is formulated. Although the stiffness due to the high order spatial derivatives can be removed, the long-time simulation is still expensive since the evolving velocity of the interface drops dramatically as the interface expands. We remove this physically imposed stiffness by employing a rescaling scheme, which accelerates the slow dynamics and reduces the computational cost. Our nonlinear results reveal that positive currents restrain finger ramification and promote overall stabilization of patterns. On the other hand, negative currents make the interface more unstable and lead to the formation of thin tail structures connecting the fingers and a small inner region. When no flux is injected, and a negative current is utilized, the interface tends to approach the origin and break up into several drops. We investigate the temporal evolution of the smallest distance between the interface and the origin and find that it obeys an algebraic law $\displaystyle (t_*-t)^b$, where $t_*$ is the estimated pinch-off time.


title: Quantum Neuronal Sensing of Quantum Many-Body States on a 61-Qubit Programmable Superconducting Processor

abstract: Classifying many-body quantum states with distinct properties and phases of matter is one of the most fundamental tasks in quantum many-body physics. However, due to the exponential complexity that emerges from the enormous numbers of interacting particles, classifying large-scale quantum states has been extremely challenging for classical approaches. Here, we propose a new approach called quantum neuronal sensing. Utilizing a 61 qubit superconducting quantum processor, we show that our scheme can efficiently classify two different types of many-body phenomena: namely the ergodic and localized phases of matter. Our quantum neuronal sensing process allows us to extract the necessary information coming from the statistical characteristics of the eigenspectrum to distinguish these phases of matter by measuring only one qubit. Our work demonstrates the feasibility and scalability of quantum neuronal sensing for near-term quantum processors and opens new avenues for exploring quantum many-body phenomena in larger-scale systems.


title: Cross-Centroid Ripple Pattern for Facial Expression Recognition

abstract: In this paper, we propose a new feature descriptor Cross-Centroid Ripple Pattern (CRIP) for facial expression recognition. CRIP encodes the transitional pattern of a facial expression by incorporating cross-centroid relationship between two ripples located at radius r1 and r2 respectively. These ripples are generated by dividing the local neighborhood region into subregions. Thus, CRIP has ability to preserve macro and micro structural variations in an extensive region, which enables it to deal with side views and spontaneous expressions. Furthermore, gradient information between cross centroid ripples provides strenght to captures prominent edge features in active patches: eyes, nose and mouth, that define the disparities between different facial expressions. Cross centroid information also provides robustness to irregular illumination. Moreover, CRIP utilizes the averaging behavior of pixels at subregions that yields robustness to deal with noisy conditions. The performance of proposed descriptor is evaluated on seven comprehensive expression datasets consisting of challenging conditions such as age, pose, ethnicity and illumination variations. The experimental results show that our descriptor consistently achieved better accuracy rate as compared to existing state-of-art approaches.


title: Master Equation for Discrete-Time Stackelberg Mean Field Games with single leader

abstract: In this paper, we consider a discrete-time Stackelberg mean field game with a leader and an infinite number of followers. The leader and the followers each observe types privately that evolve as conditionally independent controlled Markov processes. The leader commits to a dynamic policy and the followers best respond to that policy and each other. Knowing that the followers would play a mean field game based on her policy, the leader chooses a policy that maximizes her reward. We refer to the resulting outcome as a Stackelberg mean field equilibrium (SMFE). In this paper, we provide a master equation of this game that allows one to compute all SMFE. Based on our framework, we consider two numerical examples. First, we consider an epidemic model where the followers get infected based on the mean field population. The leader chooses subsidies for a vaccine to maximize social welfare and minimize vaccination costs. In the second example, we consider a technology adoption game where the followers decide to adopt a technology or a product and the leader decides the cost of one product that maximizes his returns, which are proportional to the people adopting that technology


title: The maximal regularity and its application to a multi-dimensional non-conservative viscous compressible two-fluid model with capillarity effects in $L^{ p}$-type framework

abstract: The present paper is the continuation of work \cite{XC}, devoted to extending it to a critical functional framework which is not related to the energy space. Employing the special dissipative structure of the non-conservative viscous compressible two-fluid model with capillarity effects, we first exploit the maximal regularity estimates for the corresponding linearized system in all frequencies which behaves like the heat equation. Then we construct the global well-posedness for the multi-dimensional model when the initial data are close to a stable equilibrium state in the sense of suitable $L^{ p}$-type Besov norms. As a consequence, this allows us to work in the framework of Besov space with negative regularity indices and this fact is particularly important when the initial data are large highly oscillating in physical dimensions $N= 2, 3$. Furthermore, based on a refined time weighted inequalities in the Fourier spaces, we also establish optimal time decay rates for the constructed global solutions under a mild additional decay assumption involving only the low frequencies of the initial data.


title: Taking sides: Public Opinion over the Israel-Palestine Conflict in 2021

abstract: The Israel-Palestine Conflict, one of the most enduring conflicts in history, dates back to the start of 20th century, with the establishment of the British Mandate in Palestine and has deeply rooted complex issues in politics, demography, religion, and other aspects, making it harder to attain resolve. To understand the conflict in 2021, we devise an observational study to aggregate stance held by English-speaking countries. We collect Twitter data using popular hashtags around and specific to the conflict portraying opinions neutral or partial to the two parties. We use different tools and methods to classify tweets into pro-Palestinian, pro-Israel, or neutral. This paper further describes the implementation of data mining methodologies to obtain insights and reason the stance held by citizens around the conflict.


title: Enhancement of Healthcare Data Performance Metrics using Neural Network Machine Learning Algorithms

abstract: Patients are often encouraged to make use of wearable devices for remote collection and monitoring of health data. This adoption of wearables results in a significant increase in the volume of data collected and transmitted. The battery life of the devices is then quickly diminished due to the high processing requirements of the devices. Given the importance attached to medical data, it is imperative that all transmitted data adhere to strict integrity and availability requirements. Reducing the volume of healthcare data for network transmission may improve sensor battery life without compromising accuracy. There is a trade-off between efficiency and accuracy which can be controlled by adjusting the sampling and transmission rates. This paper demonstrates that machine learning can be used to analyse complex health data metrics such as the accuracy and efficiency of data transmission to overcome the trade-off problem. The study uses time series nonlinear autoregressive neural network algorithms to enhance both data metrics by taking fewer samples to transmit. The algorithms were tested with a standard heart rate dataset to compare their accuracy and efficiency. The result showed that the Levenbery-Marquardt algorithm was the best performer with an efficiency of 3.33 and accuracy of 79.17%, which is similar to other algorithms accuracy but demonstrates improved efficiency. This proves that machine learning can improve without sacrificing a metric over the other compared to the existing methods with high efficiency.


title: A Residual Encoder-Decoder Network for Segmentation of Retinal Image-Based Exudates in Diabetic Retinopathy Screening

abstract: Diabetic retinopathy refers to the pathology of the retina induced by diabetes and is one of the leading causes of preventable blindness in the world. Early detection of diabetic retinopathy is critical to avoid vision problem through continuous screening and treatment. In traditional clinical practice, the involved lesions are manually detected using photographs of the fundus. However, this task is cumbersome and time-consuming and requires intense effort due to the small size of lesion and low contrast of the images. Thus, computer-assisted diagnosis of diabetic retinopathy based on the detection of red lesions is actively being explored recently. In this paper, we present a convolutional neural network with residual skip connection for the segmentation of exudates in retinal images. To improve the performance of network architecture, a suitable image augmentation technique is used. The proposed network can robustly segment exudates with high accuracy, which makes it suitable for diabetic retinopathy screening. Comparative performance analysis of three benchmark databases: HEI-MED, E-ophtha, and DiaretDB1 is presented. It is shown that the proposed method achieves accuracy (0.98, 0.99, 0.98) and sensitivity (0.97, 0.92, and 0.95) on E-ophtha, HEI-MED, and DiaReTDB1, respectively.


title: Visualizing Privacy-Utility Trade-Offs in Differentially Private Data Releases

abstract: Organizations often collect private data and release aggregate statistics for the public's benefit. If no steps toward preserving privacy are taken, adversaries may use released statistics to deduce unauthorized information about the individuals described in the private dataset. Differentially private algorithms address this challenge by slightly perturbing underlying statistics with noise, thereby mathematically limiting the amount of information that may be deduced from each data release. Properly calibrating these algorithms -- and in turn the disclosure risk for people described in the dataset -- requires a data curator to choose a value for a privacy budget parameter, $\epsilon$. However, there is little formal guidance for choosing $\epsilon$, a task that requires reasoning about the probabilistic privacy-utility trade-off. Furthermore, choosing $\epsilon$ in the context of statistical inference requires reasoning about accuracy trade-offs in the presence of both measurement error and differential privacy (DP) noise. We present Visualizing Privacy (ViP), an interactive interface that visualizes relationships between $\epsilon$, accuracy, and disclosure risk to support setting and splitting $\epsilon$ among queries. As a user adjusts $\epsilon$, ViP dynamically updates visualizations depicting expected accuracy and risk. ViP also has an inference setting, allowing a user to reason about the impact of DP noise on statistical inferences. Finally, we present results of a study where 16 research practitioners with little to no DP background completed a set of tasks related to setting $\epsilon$ using both ViP and a control. We find that ViP helps participants more correctly answer questions related to judging the probability of where a DP-noised release is likely to fall and comparing between DP-noised and non-private confidence intervals.


title: Thermal Cooling Enhancements in a Heated Channel Using Flow-Induced Motion

abstract: The paper presents the comparative study of the vortex-induced cooling of a heated channel for the four different cross-sections of the rigid cylinder, i.e., circular, square, semi-circular, and triangular, with or without the rigid/flexible splitter plate at the Reynolds number (based on the hydraulic diameter) of 200. The study presents a comprehensive analysis of the flow and thermal performance for all the cases. For flexible plate cases, a partitioned approach is invoked to solve the coupled fluid-structure-convection problem. The simulations show the reduction in the thermal boundary layer thickness at the locations of the vortices resulting in the improved Nusselt number. Further, the thin plate's flow-induced motion significantly increases the vorticity field inside the channel, resulting in improved mixing and cooling. It is observed that the plate-motion amplitude is maximum when the plate is attached to the cylinder with the triangular cross-section. The power requirement analysis shows that the flexible plate reduces the power required to pump the channel's cold fluid. Thus, based on the observations of the present study, the authors recommend using the flexible plate attached to the cylinder for improved convective cooling.


title: UnifiedSKG: Unifying and Multi-Tasking Structured Knowledge Grounding with Text-to-Text Language Models

abstract: Structured knowledge grounding (SKG) leverages structured knowledge to complete user requests, such as semantic parsing over databases and question answering over knowledge bases. Since the inputs and outputs of SKG tasks are heterogeneous, they have been studied separately by different communities, which limits systematic and compatible research on SKG. In this paper, we overcome this limitation by proposing the UnifiedSKG framework, which unifies 21 SKG tasks into a text-to-text format, aiming to promote systematic SKG research, instead of being exclusive to a single task, domain, or dataset. We use UnifiedSKG to benchmark T5 with different sizes and show that T5, with simple modifications when necessary, achieves state-of-the-art performance on almost all of the 21 tasks. We further demonstrate that multi-task prefix-tuning improves the performance on most tasks, largely improving the overall performance. UnifiedSKG also facilitates the investigation of zero-shot and few-shot learning, and we show that T0, GPT-3, and Codex struggle in zero-shot and few-shot learning for SKG. We also use UnifiedSKG to conduct a series of controlled experiments on structured knowledge encoding variants across SKG tasks. UnifiedSKG is easily extensible to more tasks, and it is open-sourced at https://github.com/hkunlp/unifiedskg.


title: Uniform Inference for Kernel Density Estimators with Dyadic Data

abstract: Dyadic data is often encountered when quantities of interest are associated with the edges of a network. As such it plays an important role in statistics, econometrics and many other data science disciplines. We consider the problem of uniformly estimating a dyadic Lebesgue density function, focusing on nonparametric kernel-based estimators taking the form of dyadic empirical processes. Our main contributions include the minimax-optimal uniform convergence rate of the dyadic kernel density estimator, along with strong approximation results for the associated standardized and Studentized $t$-processes. A consistent variance estimator enables the construction of valid and feasible uniform confidence bands for the unknown density function. We showcase the broad applicability of our results by developing novel counterfactual density estimation and inference methodology for dyadic data, which can be used for causal inference and program evaluation. A crucial feature of dyadic distributions is that they may be "degenerate" at certain points in the support of the data, a property making our analysis somewhat delicate. Nonetheless our methods for uniform inference remain robust to the potential presence of such points. For implementation purposes, we discuss inference procedures based on positive semi-definite covariance estimators, mean squared error optimal bandwidth selectors and robust bias correction techniques. We illustrate the empirical finite-sample performance of our methods both in simulations and with real-world trade data, for which we make comparisons between observed and counterfactual trade distributions in different years. Our technical results concerning strong approximations and maximal inequalities are of potential independent interest.


title: Flow Characteristics of Elastically Mounted Slit Cylinder at Sub-critical Reynolds Number

abstract: The present work numerically investigates vortex-induced vibrations (VIV) of a two-dimensional circular cylinder with an axisymmetric slit at Reynolds number 500. The study examines the effects of slit shape (i.e., converging, diverging, and parallel slits), the effect of slit-area ratios, slit-width, and its angle with the freestream velocity on aerodynamic forces, vibration response, and associated flow characteristics. The results demonstrate that the addition of the slit assists the VIV suppression by adding an extra amount of flow to the main flow. It results in the stabilized wake with the pressure recovery downstream of the cylinder and causes a reduction in the lift force over the cylinder. Also, there exist different shedding patterns associated with different slit shapes. Proper Orthogonal Decomposition (POD) of the flow field suggests that among all the three slits, the parallel slit heavily modifies the flow behind the cylinder by distributing the amount of energy to a large number of modes as compared to other slits (converging slit and diverging slit), where the most of the energy is contained in a couple of modes. Further, increasing the slit angle (for parallel slit) with respect to the freestream increases the slit effectiveness up to a specific value of slit-angle and beyond that starts to affect the VIV suppression adversely. Observations for the effect of slit-width are also reported from the perspective of suppression of VIV.


title: MD modeling of cracks in clay at the nanoscale

abstract: Cracks in clay are significant in geotechnical and geoenvironmental engineering (e.g., embankment erosion and stability of landfill cover systems). This article studies the mechanism of nucleation and growth of cracks in clay at the nanoscale through full-scale molecular dynamics simulations. The clay adopted is pyrophyllite, and the force field is CLAYFF. The crack formation in a pyrophyllite clay layer is evaluated under uniaxial tension and simple shear. The numerical results show that cracks in the nanoscale pyrophyllite clay layer are brittle and strain-rate dependent. Small strain rate results in low ultimate tensile/shear strength. As strain rate increases, clay crack shifts from a single-crack pattern to a multiple-crack one. The cracking mechanism is investigated from bond breakage analysis at the atomic scale. It is found that the first bond breakage occurs in the silicon-surface oxygen bond. As a crack propagates, the relative percentage of broken silicon-surface oxygen bonds is the smallest compared to other types of metal-oxygen interactions, demonstrating that the atomic interaction between silicon and surface oxygen atoms is the strongest. To understand the propagation of cracks, we also study the stress intensity factor and energy release rate of pyrophyllite and their size dependence at the atomic scale.


title: Learning from Atypical Behavior: Temporary Interest Aware Recommendation Based on Reinforcement Learning

abstract: Traditional robust recommendation methods view atypical user-item interactions as noise and aim to reduce their impact with some kind of noise filtering technique, which often suffers from two challenges. First, in real world, atypical interactions may signal users' temporary interest different from their general preference. Therefore, simply filtering out the atypical interactions as noise may be inappropriate and degrade the personalization of recommendations. Second, it is hard to acquire the temporary interest since there are no explicit supervision signals to indicate whether an interaction is atypical or not. To address this challenges, we propose a novel model called Temporary Interest Aware Recommendation (TIARec), which can distinguish atypical interactions from normal ones without supervision and capture the temporary interest as well as the general preference of users. Particularly, we propose a reinforcement learning framework containing a recommender agent and an auxiliary classifier agent, which are jointly trained with the objective of maximizing the cumulative return of the recommendations made by the recommender agent. During the joint training process, the classifier agent can judge whether the interaction with an item recommended by the recommender agent is atypical, and the knowledge about learning temporary interest from atypical interactions can be transferred to the recommender agent, which makes the recommender agent able to alone make recommendations that balance the general preference and temporary interest of users. At last, the experiments conducted on real world datasets verify the effectiveness of TIARec.


title: Revising de Broglie-Bohm trajectories' momentum distribution

abstract: Initial momenta of de Broglie-Bohm trajectories generally do not obey quantum mechanical momentum distributions. The solution to this problem presented in the following leads to an extended hydrodynamic interpretation of quantum mechanics. To demonstrate the new formalism, it is applied to the double-slit experiment. From this example follows a proposal for experimental verification of trajectory formulations of quantum mechanics.


title: Sparse Cross-scale Attention Network for Efficient LiDAR Panoptic Segmentation

abstract: Two major challenges of 3D LiDAR Panoptic Segmentation (PS) are that point clouds of an object are surface-aggregated and thus hard to model the long-range dependency especially for large instances, and that objects are too close to separate each other. Recent literature addresses these problems by time-consuming grouping processes such as dual-clustering, mean-shift offsets, etc., or by bird-eye-view (BEV) dense centroid representation that downplays geometry. However, the long-range geometry relationship has not been sufficiently modeled by local feature learning from the above methods. To this end, we present SCAN, a novel sparse cross-scale attention network to first align multi-scale sparse features with global voxel-encoded attention to capture the long-range relationship of instance context, which can boost the regression accuracy of the over-segmented large objects. For the surface-aggregated points, SCAN adopts a novel sparse class-agnostic representation of instance centroids, which can not only maintain the sparsity of aligned features to solve the under-segmentation on small objects, but also reduce the computation amount of the network through sparse convolution. Our method outperforms previous methods by a large margin in the SemanticKITTI dataset for the challenging 3D PS task, achieving 1st place with a real-time inference speed.


title: Multi-Sparse-Domain Collaborative Recommendation via Enhanced Comprehensive Aspect Preference Learning

abstract: Cross-domain recommendation (CDR) has been attracting increasing attention of researchers for its ability to alleviate the data sparsity problem in recommender systems. However, the existing single-target or dual-target CDR methods often suffer from two drawbacks, the assumption of at least one rich domain and the heavy dependence on domain-invariant preference, which are impractical in real world where sparsity is ubiquitous and might degrade the user preference learning. To overcome these issues, we propose a Multi-Sparse-Domain Collaborative Recommendation (MSDCR) model for multi-target cross-domain recommendation. Unlike traditional CDR methods, MSDCR treats the multiple relevant domains as all sparse and can simultaneously improve the recommendation performance in each domain. We propose a Multi-Domain Separation Network (MDSN) and a Gated Aspect Preference Enhancement (GAPE) module for MSDCR to enhance a user's domain-specific aspect preferences in a domain by transferring the complementary aspect preferences in other domains, during which the uniqueness of the domain-specific preference can be preserved through the adversarial training offered by MDSN and the complementarity can be adaptively determined by GAPE. Meanwhile, we propose a Multi-Domain Adaptation Network (MDAN) for MSDCR to capture a user's domain-invariant aspect preference. With the integration of the enhanced domain-specific aspect preference and the domain-invariant aspect preference, MSDCR can reach a comprehensive understanding of a user's preference in each sparse domain. At last, the extensive experiments conducted on real datasets demonstrate the remarkable superiority of MSDCR over the state-of-the-art single-domain recommendation models and CDR models.


title: Fractional SDE-Net: Generation of Time Series Data with Long-term Memory

abstract: In this paper, we focus on the generation of time-series data using neural networks. It is often the case that input time-series data have only one realized (and usually irregularly sampled) path, which makes it difficult to extract time-series characteristics, and its noise structure is more complicated than i.i.d. type. Time series data, especially from hydrology, telecommunications, economics, and finance, exhibit long-term memory also called long-range dependency (LRD). The main purpose of this paper is to artificially generate time series with the help of neural networks, making the LRD of paths into account. We propose fSDE-Net: neural fractional Stochastic Differential Equation Network. It generalizes the neural stochastic differential equation model by using fractional Brownian motion with a Hurst index larger than half, which exhibits the LRD property. We derive the solver of fSDE-Net and theoretically analyze the existence and uniqueness of the solution to fSDE-Net. Our experiments with artificial and real time-series data demonstrate that the fSDE-Net model can replicate distributional properties well.


title: IRHA: An Intelligent RSSI based Home automation System

abstract: Human existence is getting more sophisticated and better in many areas due to remarkable advances in the fields of automation. Automated systems are favored over manual ones in the current environment. Home Automation is becoming more popular in this scenario, as people are drawn to the concept of a home environment that can automatically satisfy users' requirements. The key challenges in an intelligent home are intelligent decision making, location-aware service, and compatibility for all users of different ages and physical conditions. Existing solutions address just one or two of these challenges, but smart home automation that is robust, intelligent, location-aware, and predictive is needed to satisfy the user's demand. This paper presents a location-aware intelligent RSSI-based home automation system (IRHA) that uses Wi-Fi signals to detect the user's location and control the appliances automatically. The fingerprinting method is used to map the Wi-Fi signals for different rooms, and the machine learning method, such as Decision Tree, is used to classify the signals for different rooms. The machine learning models are then implemented in the ESP32 microcontroller board to classify the rooms based on the real-time Wi-Fi signal, and then the result is sent to the main control board through the ESP32 MAC communication protocol to control the appliances automatically. The proposed method has achieved 97% accuracy in classifying the users' location.


title: Cost Sharing for Connectivity with Budget

abstract: We consider a cost sharing problem to connect all nodes in a weighted undirected graph, where the weight of each edge represents the cost to use the edge for the connectivity and the cost has to be shared among all connected nodes. There is one node called the source to which all the other nodes want to connect and it does not share the costs of the connectivity. As a node may need to go through other nodes to reach the source, the intermediate nodes may behave strategically to block the connection by cutting the edges adjacent to them. To prevent such strategical behavior, we design cost sharing mechanisms to incentivize all nodes not to cut any edge so that we can minimize the total cost for connecting all the nodes.


title: Lightweight Object-level Topological Semantic Mapping and Long-term Global Localization based on Graph Matching

abstract: Mapping and localization are two essential tasks for mobile robots in real-world applications. However, largescale and dynamic scenes challenge the accuracy and robustness of most current mature solutions. This situation becomes even worse when computational resources are limited. In this paper, we present a novel lightweight object-level mapping and localization method with high accuracy and robustness. Different from previous methods, our method does not need a prior constructed precise geometric map, which greatly releases the storage burden, especially for large-scale navigation. We use object-level features with both semantic and geometric information to model landmarks in the environment. Particularly, a learning topological primitive is first proposed to efficiently obtain and organize the object-level landmarks. On the basis of this, we use a robot-centric mapping framework to represent the environment as a semantic topology graph and relax the burden of maintaining global consistency at the same time. Besides, a hierarchical memory management mechanism is introduced to improve the efficiency of online mapping with limited computational resources. Based on the proposed map, the robust localization is achieved by constructing a novel local semantic scene graph descriptor, and performing multi-constraint graph matching to compare scene similarity. Finally, we test our method on a low-cost embedded platform to demonstrate its advantages. Experimental results on a large scale and multi-session real-world environment show that the proposed method outperforms the state of arts in terms of lightweight and robustness.


title: Discrete Simulation Optimization for Tuning Machine Learning Method Hyperparameters

abstract: Machine learning (ML) methods are used in most technical areas such as image recognition, product recommendation, financial analysis, medical diagnosis, and predictive maintenance. An important aspect of implementing ML methods involves controlling the learning process for the ML method so as to maximize the performance of the method under consideration. Hyperparameter tuning is the process of selecting a suitable set of ML method parameters that control its learning process. In this work, we demonstrate the use of discrete simulation optimization methods such as ranking and selection (R&S) and random search for identifying a hyperparameter set that maximizes the performance of a ML method. Specifically, we use the KN R&S method and the stochastic ruler random search method and one of its variations for this purpose. We also construct the theoretical basis for applying the KN method, which determines the optimal solution with a statistical guarantee via solution space enumeration. In comparison, the stochastic ruler method asymptotically converges to global optima and incurs smaller computational overheads. We demonstrate the application of these methods to a wide variety of machine learning models, including deep neural network models used for time series prediction and image classification. We benchmark our application of these methods with state-of-the-art hyperparameter optimization libraries such as $hyperopt$ and $mango$. The KN method consistently outperforms $hyperopt$'s random search (RS) and Tree of Parzen Estimators (TPE) methods. The stochastic ruler method outperforms the $hyperopt$ RS method and offers statistically comparable performance with respect to $hyperopt$'s TPE method and the $mango$ algorithm.


title: SNCSE: Contrastive Learning for Unsupervised Sentence Embedding with Soft Negative Samples

abstract: Unsupervised sentence embedding aims to obtain the most appropriate embedding for a sentence to reflect its semantic. Contrastive learning has been attracting developing attention. For a sentence, current models utilize diverse data augmentation methods to generate positive samples, while consider other independent sentences as negative samples. Then they adopt InfoNCE loss to pull the embeddings of positive pairs gathered, and push those of negative pairs scattered. Although these models have made great progress on sentence embedding, we argue that they may suffer from feature suppression. The models fail to distinguish and decouple textual similarity and semantic similarity. And they may overestimate the semantic similarity of any pairs with similar textual regardless of the actual semantic difference between them. This is because positive pairs in unsupervised contrastive learning come with similar and even the same textual through data augmentation. To alleviate feature suppression, we propose contrastive learning for unsupervised sentence embedding with soft negative samples (SNCSE). Soft negative samples share highly similar textual but have surely and apparently different semantic with the original samples. Specifically, we take the negation of original sentences as soft negative samples, and propose Bidirectional Margin Loss (BML) to introduce them into traditional contrastive learning framework, which merely involves positive and negative samples. Our experimental results show that SNCSE can obtain state-of-the-art performance on semantic textual similarity (STS) task with average Spearman's correlation coefficient of 78.97% on BERTbase and 79.23% on RoBERTabase. Besides, we adopt rank-based error analysis method to detect the weakness of SNCSE for future study.


title: User-Centered Design (VIII): A New Framework of Intelligent Sociotechnical Systems and Prospects for Future Human Factors Research

abstract: Traditional sociotechnical systems (STS) theory has been widely used, but there are many new characteristics in the STS environment as we enter the intelligence era, resulting in the limitations of traditional STS. Based on the "user-centered design" philosophy, this paper proposes a new framework of intelligent sociotechnical systems (iSTS) and outlines the new characteristics of iSTS as well as its implications for the development of intelligent systems. Future research of iSTS requires interdisciplinary collaboration, including human factors engineering, this paper finally proposes suggestions from two aspects of human factors engineering methodology and approaches.


title: Double Retrieval and Ranking for Accurate Question Answering

abstract: Recent work has shown that an answer verification step introduced in Transformer-based answer selection models can significantly improve the state of the art in Question Answering. This step is performed by aggregating the embeddings of top $k$ answer candidates to support the verification of a target answer. Although the approach is intuitive and sound still shows two limitations: (i) the supporting candidates are ranked only according to the relevancy with the question and not with the answer, and (ii) the support provided by the other answer candidates is suboptimal as these are retrieved independently of the target answer. In this paper, we address both drawbacks by proposing (i) a double reranking model, which, for each target answer, selects the best support; and (ii) a second neural retrieval stage designed to encode question and answer pair as the query, which finds more specific verification information. The results on three well-known datasets for AS2 show consistent and significant improvement of the state of the art.


title: Abelian geometric fundamental groups for curves over a $p$-adic field

abstract: For a curve $X$ over a $p$-adic field $k$, using the class field theory of $X$ due to S. Bloch and S. Saito we study the abelian geometric fundamental group $\pi_1^{\mathrm{ab}}(X)^{\mathrm{geo}}$ of $X$. In particular, it is investigated a subgroup of $\pi_1^{\mathrm{ab}}(X)^{\mathrm{geo}}$ which classifies the geometric and abelian coverings of $X$ which allow possible ramification over the special fiber of the model of $X$. Under the assumptions that $X$ has a $k$-rational point, $X$ has good reduction and its Jacobian variety has good ordinary reduction, we give some upper and lower bounds of this subgroup of $\pi_1^{\mathrm{ab}}(X)^{\mathrm{geo}}$.


title: Sequence Q-Learning Algorithm for Optimal Mobility-Aware User Association

abstract: We consider a wireless network scenario applicable to metropolitan areas with developed public transport networks and high commute demands, where the mobile user equipments (UEs) move along fixed and predetermined trajectories and request to associate with millimeter-wave (mmWave) base stations (BSs). An effective and efficient algorithm, called the Sequence Q-learning Algorithm (SQA), is proposed to maximize the long-run average transmission rate of the network, which is an NP-hard problem. Furthermore, the SQA tackles the complexity issue by only allowing possible re-associations (handover of a UE from one BS to another) at a discrete set of decision epochs and has polynomial time complexity. This feature of the SQA also restricts too frequent handovers, which are considered highly undesirable in mmWave networks. Moreover, we demonstrate by extensive numerical results that the SQA can significantly outperform the benchmark algorithms proposed in existing research by taking all UEs' future trajectories and possible decisions into account at every decision epoch.


title: In Situ Answer Sentence Selection at Web-scale

abstract: Current answer sentence selection (AS2) applied in open-domain question answering (ODQA) selects answers by ranking a large set of possible candidates, i.e., sentences, extracted from the retrieved text. In this paper, we present Passage-based Extracting Answer Sentence In-place (PEASI), a novel design for AS2 optimized for Web-scale setting, that, instead, computes such answer without processing each candidate individually. Specifically, we design a Transformer-based framework that jointly (i) reranks passages retrieved for a question and (ii) identifies a probable answer from the top passages in place. We train PEASI in a multi-task learning framework that encourages feature sharing between the components: passage reranker and passage-based answer sentence extractor. To facilitate our development, we construct a new Web-sourced large-scale QA dataset consisting of 800,000+ labeled passages/sentences for 60,000+ questions. The experiments show that our proposed design effectively outperforms the current state-of-the-art setting for AS2, i.e., a point-wise model for ranking sentences independently, by 6.51% in accuracy, from 48.86% to 55.37%. In addition, PEASI is exceptionally efficient in computing answer sentences, requiring only ~20% inferences compared to the standard setting, i.e., reranking all possible candidates. We believe the release of PEASI, both the dataset and our proposed design, can contribute to advancing the research and development in deploying question answering services at Web scale.


title: Exposing the Obscured Influence of State-Controlled Media: A Causal Estimation of Influence Between Media Outlets Via Quotation Propagation

abstract: This study quantifies influence between media outlets by applying a novel methodology that uses causal effect estimation on networks and transformer language models. We demonstrate the obscured influence of state-controlled outlets over other outlets, regardless of orientation, by analyzing a large dataset of quotations from over 100 thousand articles published by the most prominent European and Russian traditional media outlets, appearing between May 2018 and October 2019. The analysis maps out the network structure of influence with news wire services serving as prominent bridges that connect outlets in different geo-political spheres. Overall, this approach demonstrates capabilities to identify and quantify the channels of influence in intermedia agenda setting over specific topics.


title: Audio-Driven Talking Face Video Generation with Dynamic Convolution Kernels

abstract: In this paper, we present a dynamic convolution kernel (DCK) strategy for convolutional neural networks. Using a fully convolutional network with the proposed DCKs, high-quality talking-face video can be generated from multi-modal sources (i.e., unmatched audio and video) in real time, and our trained model is robust to different identities, head postures, and input audios. Our proposed DCKs are specially designed for audio-driven talking face video generation, leading to a simple yet effective end-to-end system. We also provide a theoretical analysis to interpret why DCKs work. Experimental results show that our method can generate high-quality talking-face video with background at 60 fps. Comparison and evaluation between our method and the state-of-the-art methods demonstrate the superiority of our method.


title: Light mesons with one dynamical gluon within basis light-front quantization

abstract: We investigate the structure of the light meson with one dynamical gluon from the light-front QCD Hamiltonian, determined for their constituent quark-antiquark and quark-antiquark-gluon Fock sectors, together with a three-dimensional confinement. After fitting the light meson mass spectroscopy, the light-front wave functions provide a good quality description of the pion electromagnetic form factor, and the valence quark distribution functions following QCD scale evolution.


title: Evolution from helical to collinear ferromagnetic order of the Eu$^{2+}$ spins in RbEu(Fe$_{1-x}$Ni$_{x}$)$_{4}$As$_{4}$

abstract: The ground-state magnetic structures of the Eu$^{2+}$ spins in recently discovered RbEu(Fe$_{1-x}$Ni$_{x}$)$_{4}$As$_{4}$ superconductors have been investigated by neutron powder diffraction measurements. It is found that as the superconductivity gets suppressed with the increase of Ni doping, the magnetic propagation vector of the Eu sublattice diminishes, corresponding to the decrease of the rotation angle between the moments in neighboring Eu layers. The ferromagnetic Eu layers are helically modulated along the $\mathit{c}$ axis with an incommensurate magnetic propagation vector in both the ferromagnetic superconductor RbEu(Fe$_{0.95}$Ni$_{0.05}$)$_{4}$As$_{4}$ and the superconducting ferromagnet RbEu(Fe$_{0.93}$Ni$_{0.07}$)$_{4}$As$_{4}$. Such a helical structure transforms into a purely collinear ferromagnetic structure for non-superconducting RbEu(Fe$_{0.91}$Ni$_{0.09}$)$_{4}$As$_{4}$, with all the Eu$^{2+}$ spins lying along the tetragonal (1 1 0) direction. The evolution from helical to collinear ferromagnetic order of the Eu$^{2+}$ spins with increasing Ni doping is supported by first-principles calculations. The variation of the rotation angle between adjacent Eu$^{2+}$ layers can be well explained by considering the change of magnetic exchange couplings mediated by the indirect Ruderman-Kittel-Kasuya-Yosida (RKKY) interaction.


title: Instant Neural Graphics Primitives with a Multiresolution Hash Encoding

abstract: Neural graphics primitives, parameterized by fully connected neural networks, can be costly to train and evaluate. We reduce this cost with a versatile new input encoding that permits the use of a smaller network without sacrificing quality, thus significantly reducing the number of floating point and memory access operations: a small neural network is augmented by a multiresolution hash table of trainable feature vectors whose values are optimized through stochastic gradient descent. The multiresolution structure allows the network to disambiguate hash collisions, making for a simple architecture that is trivial to parallelize on modern GPUs. We leverage this parallelism by implementing the whole system using fully-fused CUDA kernels with a focus on minimizing wasted bandwidth and compute operations. We achieve a combined speedup of several orders of magnitude, enabling training of high-quality neural graphics primitives in a matter of seconds, and rendering in tens of milliseconds at a resolution of ${1920\!\times\!1080}$.


title: Reference results for the momentum space functional renormalization group

abstract: The functional renormalization group (FRG), an established computational method for quantum many-body phenomena, has been subject to a diversification in topical applications, analytic approximations and numerical implementations. Despite significant efforts to accomplish a coherent standard through benchmarks and the reproduction of previous results, no systematic and comprehensive comparison has been provided until now. While this has not prevented the publication of relevant scientific results we argue that established mutual agreement across realizations will strengthen confidence in the method. To this end we report explicit implementational details and numerical data reproduced thrice in independent FRG implementations up to machine accuracy. To substantiate the reproducibility of our calculations we scrutinize pillar FRG results reported in the literature, and discuss our calculations of these reference systems. We mean to entice other groups to reproduce and establish this set of benchmark FRG results thus propagating the joint effort of the FRG community to engage in a shared knowledge repository as a reference standard for FRG implementations.


title: Video Transformers: A Survey

abstract: Transformer models have shown great success handling long-range interactions, making them a promising tool for modeling video. However, they lack inductive biases and scale quadratically with input length. These limitations are further exacerbated when dealing with the high dimensionality introduced by the temporal dimension. While there are surveys analyzing the advances of Transformers for vision, none focus on an in-depth analysis of video-specific designs. In this survey, we analyze the main contributions and trends of works leveraging Transformers to model video. Specifically, we delve into how videos are handled at the input level first. Then, we study the architectural changes made to deal with video more efficiently, reduce redundancy, re-introduce useful inductive biases, and capture long-term temporal dynamics. In addition, we provide an overview of different training regimes and explore effective self-supervised learning strategies for video. Finally, we conduct a performance comparison on the most common benchmark for Video Transformers (i.e., action classification), finding them to outperform 3D ConvNets even with less computational complexity.


title: The stable category of preorders in a pretopos I: general theory

abstract: In a recent article Facchini and Finocchiaro considered a natural pretorsion theory in the category of preordered sets inducing a corresponding stable category. In the present work we propose an alternative construction of the stable category of the category $\mathsf{PreOrd} (\mathbb C)$ of internal preorders in any coherent category $\mathbb C$, that enlightens the categorical nature of this notion. When $\mathbb C$ is a pretopos we prove that the quotient functor from the category of internal preorders to the associated stable category preserves finite coproducts. Furthermore, we identify a wide class of pretoposes, including all $\sigma$-pretoposes and all elementary toposes, with the property that this functor sends any short $\mathcal Z$-exact sequences in $\mathsf{PreOrd} (\mathbb C)$ (where $\mathcal Z$ is a suitable ideal of trivial morphisms) to a short exact sequence in the stable category. These properties will play a fundamental role in proving the universal property of the stable category, that will be the subject of a second article on this topic.


title: Computer Simulation-Based Learning: Student Self-Efficacy During COVID-19 Outbreak

abstract: Due to the COVID-19 as a pandemic, the government has forced the nationwide shutdown of several activities, including educational activities. It has resulted in gigantic migration of universities with education over the internet serving as the educational platform. Hand-on-based learning becomes a new challenge. This paper aims to investigate the effect of computer simulation-based learning on student self-efficacy in an electric circuit analysis course. For the 17 participants included in this study, the students have overcome their existing achievements indicated by a long-term average score. Computer simulation-based learning provides positive results on student self-efficacy. Students also perceived a valuable learning experience.


title: Single temporal-pulse-modulated parameterized controlled-phase gate for Rydberg atoms

abstract: We propose an adiabatic protocol for implementing a controlled-phase gate CZ$_{\theta}$ with continuous $\theta$ of neutral atoms through a symmetrical two-photon excitation process via the second resonance line, $6P$ in $^{87}$Rb, with a single-temporal-modulation-coupling of the ground state and intermediate state. Relying on different adiabatic paths, the phase factor $\theta$ of CZ$_{\theta}$ gate can be accumulated on the logic qubit state $|11\rangle$ alone by calibrating the shape of the temporal pulse where strict zero amplitudes at the start and end of the pulse are not needed. For a wide range of $\theta$, we can obtain the fidelity of CZ$_{\theta}$ gate over $99.7\%$ in less than $1~\mu$s, in the presence of spontaneous emission from intermediate and Rydberg states. And in particular for $\theta=\pi$, we benchmark the performance of the CZ gate by taking into account various experimental imperfections, such as Doppler shifts, fluctuation of Rydberg-Rydberg interaction strength, inhomogeneous Rabi frequency, and noise of driving fields, etc, and show that the predicted fidelity is able to maintain at about $98.4\%$ after correcting the measurement error. This gate protocol provides a robustness against the fluctuation of pulse amplitude and a flexible way for adjusting the entangling phase, which may contribute to the experimental implementation of near-term noisy intermediate-scale quantum (NISQ) computation and algorithm with neutral-atom systems.


title: The Secure Storage Capacity of a DNA Wiretap Channel Model

abstract: In this paper, we propose a strategy for making DNA-based data storage information-theoretically secure through the use of wiretap channel coding. This motivates us to extend the shuffling-sampling channel model of Shomorony and Heckel (2021) to include a wiretapper. Our main result is a characterization of the secure storage capacity of our DNA wiretap channel model, which is the maximum rate at which data can be stored within a pool of DNA molecules so as to be reliably retrieved by an authorized party (Bob), while ensuring that an unauthorized party (Eve) gets almost no information from her observations. Furthermore, our proof of achievability shows that index-based wiretap channel coding schemes are optimal.


title: Hardware Implementation of Multimodal Biometric using Fingerprint and Iris

abstract: In this paper, a hardware architecture of a multimodal biometric system is presented that massively exploits the inherent parallelism. The proposed system is based on multiple biometric fusion that uses two biometric traits, fingerprint and iris. Each biometric trait is first optimised at the software level, by addressing some of the issues that directly affect the FAR and FRR. Then the hardware architectures for both biometric traits are presented, followed by a final multimodal hardware architecture. To the best of the author's knowledge, no other FPGA-based design exits that used these two traits.


title: Generalization of the Extended Minimal Excludant of Andrews and Newman

abstract: In a recent pioneering work, Andrews and Newman defined an extended function $p_{A,a}(n)$ of their minimal excludant or "mex" of a partition function. By considering the special cases $p_{k,k}(n)$ and $p_{2k,k}(n)$, they unearthed connections to the rank and crank of partitions and some restricted partitions. In this paper, we build on their work and obtain more general results associating the extended mex function with the number of partitions of an integer with arbitrary bound on the rank and crank. We also derive a new result expressing the smallest parts function of Andrews as a finite sum of the extended mex function in consideration with a curious coefficient. We also obtain a few restricted partition identities with some reminiscent of shifted partition identities. Finally, we define and explore a new minimal excludant for overpartitions.


title: Numerical evaluation of ODE solutions by Monte Carlo enumeration of Butcher series

abstract: We present an algorithm for the numerical solution of ordinary differential equations by random enumeration of the Butcher trees used in the implementation of the Runge-Kutta method. Our Monte Carlo scheme allows for the direct numerical evaluation of an ODE solution at any given time within a certain interval, without iteration through multiple time steps. In particular, this approach does not involve a discretization step size, and it does not require the truncation of Taylor series.


title: Lower bounds on the performance of online algorithms for relaxed packing problems

abstract: We prove new lower bounds for suitable competitive ratio measures of two relaxed online packing problems: online removable multiple knapsack, and a recently introduced online minimum peak appointment scheduling problem. The high level objective in both problems is to pack arriving items of sizes at most 1 into bins of capacity 1 as efficiently as possible, but the exact formalizations differ. In the appointment scheduling problem, every item has to be assigned to a position, which can be seen as a time interval during a workday of length 1. That is, items are not assigned to bins, but only once all the items are processed, the optimal number of bins subject to chosen positions is determined, and this is the cost of the online algorithm. On the other hand, in the removable knapsack problem there is a fixed number of bins, and the goal of packing items, which consists in choosing a particular bin for every packed item (and nothing else), is to pack as valuable a subset as possible. In this last problem it is possible to reject items, that is, deliberately not pack them, as well as to remove packed items at any later point in time, which adds flexibility to the problem.


title: Rubidium atom spectral lineshapes in high intensity electric fields near an optical nanofibre

abstract: The integration of cold atomic systems with optical nanofibres is an increasingly important experimental platform. Here, we report on the spectra observed during a strongly driven, single-frequency, two-photon excitation of cold rubidium atoms near an optical nanofibre. At resonance, two competitive processes, namely a higher excitation rate and stronger pushing of atoms from the nanofibre due to resonance scattering, need to be considered. We discuss the processes that lead to the observed two-peak profile in the fluorescence spectrum as the excitation laser is scanned across the resonance, noting that the presence of the optical nanofibre dramatically changes the fluorescence signal. These observations are useful for experiments where high electric field intensities near an ONF are needed, for example when driving nonlinear processes.


title: GearNet: Stepwise Dual Learning for Weakly Supervised Domain Adaptation

abstract: This paper studies weakly supervised domain adaptation(WSDA) problem, where we only have access to the source domain with noisy labels, from which we need to transfer useful information to the unlabeled target domain. Although there have been a few studies on this problem, most of them only exploit unidirectional relationships from the source domain to the target domain. In this paper, we propose a universal paradigm called GearNet to exploit bilateral relationships between the two domains. Specifically, we take the two domains as different inputs to train two models alternately, and asymmetrical Kullback-Leibler loss is used for selectively matching the predictions of the two models in the same domain. This interactive learning schema enables implicit label noise canceling and exploits correlations between the source and target domains. Therefore, our GearNet has the great potential to boost the performance of a wide range of existing WSDL methods. Comprehensive experimental results show that the performance of existing methods can be significantly improved by equipping with our GearNet.


title: Noise prediction and reduction of single electron spin by deep-learning-enhanced feedforward control

abstract: Noise-induced control imperfection is an important problem in applications of diamond-based nano-scale sensing, where measurement-based strategies are generally utilized to correct low-frequency noises in realtime. However, the spin-state readout requires a long time due to the low photon-detection efficiency. This inevitably introduces a delay in noise-reduction process and limits its performance. Here we introduce the deep learning approach to relax this restriction by predicting the trend of noise and compensating the delay. We experimentally implement feedforward quantum control of nitrogen-vacancy center in diamond to protect its spin coherence and improve the sensing performance against noise. The new approach effectively enhances the decoherence time of the electron spin, which enables exploring more physics from its resonant spectroscopy. A theoretical model is provided to explain the improvement. This scheme could be applied in general sensing schemes and extended to other quantum systems.


title: Strong convergence rate of the Euler scheme for SDEs driven by additive rough fractional noises

abstract: The strong convergence rate of the Euler scheme for SDEs driven by additive fractional Brownian motions is studied, where the fractional Brownian motion has Hurst parameter $H\in(\frac13,\frac12)$ and the drift coefficient is not required to be bounded. The Malliavin calculus, the rough path theory and the $2$D Young integral are utilized to overcome the difficulties caused by the low regularity of the fractional Brownian motion and the unboundedness of the drift coefficient. The Euler scheme is proved to have strong order $2H$ for the case that the drift coefficient has bounded derivatives up to order three and have strong order $H+\frac12$ for linear cases. Numerical simulations are presented to support the theoretical results.


title: Element abundances in metal poor local star-forming galaxies constrained by the weak spectral lines

abstract: We have collected from different surveys some significant spectroscopic data observed from star-forming galaxies in the local Universe. The objects showing a relatively rich spectrum in number of lines from different elements were selected in order to constrain the models. In particular, we looked at the relatively weak lines such as [OIII]4363, HeII4686, HeI4471 and HeI5876. We have modelled in detail the spectra by the coupled effect of photoionization from the stars and shocks. We have found that the abundances relative to H of most of the elements are lower than solar but not as low as those evaluated by the direct strong line and the Te methods. Sulfur which appears through the [SII]6717, 6731 and [SIII]6312 lines is not depleted, revealing a strong contribution from the ISM. We have added to the sample the optical-UV spectra of local low-metallicity dwarf galaxies containing the CIV/Hb and CIII]/Hb line ratios in order to determine with relative precision the C/H relative abundance. The results show He/H lower than solar in some objects and suggest that the geometrical thickness of the clouds constrains the HeII/Hb line ratios. We explain the low He/H by mixing of the wind from the star-forming region with ISM clouds.


title: Bifurcations in droplet collisions

abstract: Saffman and Turner (1957) argued that the collision rate for droplets in turbulence increases as the turbulent strain rate increases. But the numerical simulations of Dhanasekaran et al. (2021) in a steady straining flow show that the Saffman-Turner model is oversimplified because it neglects droplet-droplet interactions. These result in a complex dependence of the collision rate on the strain rate and on the differential settling speed. Here we show that this dependence is explained by a sequence of bifurcations in the collision dynamics. We compute the bifurcation diagram when strain is aligned with gravity, and show that it yields important insights into the collision dynamics. First, the steady-state collision rate remains non-zero in the limit Kn $\to0$, contrary to the common assumption that the collision rate tends to zero in this limit (Kn is a non-dimensional measure of the mean free path of air). Second, the non-monotonic dependence of the collision rate on the differential settling speed is explained by a grazing bifurcation. Third, the bifurcation analysis explains why so-called "closed trajectories" appear and disappear. Fourth, our analysis predicts strong spatial clustering near certain saddle points, where the effects of strain and differential settling cancel


title: Intertemporal Consumption and Debt Aversion: A Replication and Extension

abstract: We replicate Meissner (2016), where debt aversion was reported for the first time in an intertemporal consumption and saving problem. While Meissner (2016) uses a German sample, our participants are US undergraduate students. All of the original study's main findings replicate with similar effect sizes. Additionally, we extend the original analysis by introducing a new individual index of debt aversion, which we use to compare debt aversion across countries. Interestingly, we find no significant differences in debt aversion between the original German and the new US sample. We then test whether debt aversion correlates with individual characteristics such as gender, cognitive reflection ability, and risk aversion. Overall, this paper confirms the importance of debt aversion in intertemporal consumption and saving problems and validates the approach of Meissner (2016).


title: Shortcuts to Adiabaticity for Fast Qubit Readout in Circuit Quantum Electrodynamics

abstract: We propose how to engineer the longitudinal coupling to accelerate the measurement of a qubit longitudinally coupled to a cavity, motivated by the concept of shortcuts to adiabaticity. Different modulations are inversely designed from two methods of inverse engineering and counter-diabatic driving, for achieving larger values of the signal-to-noise ratio (SNR) at nanosecond scale. By comparison, we demonstrate that our protocols outperform the usual periodic modulations on the pointer state separation and SNR. Finally, we show a possible implementation considering state-of-the-art circuit quantum electrodynamics architecture, estimating the minimal time allowed for the measurement process.


title: Unconditionally optimal error estimate of a linearized variable-time-step BDF2 scheme for nonlinear parabolic equations

abstract: In this paper we consider a linearized variable-time-step two-step backward differentiation formula (BDF2) scheme for solving nonlinear parabolic equations. The scheme is constructed by using the variable time-step BDF2 for the linear term and a Newton linearized method for the nonlinear term in time combining with a Galerkin finite element method (FEM) in space. We prove the unconditionally optimal error estimate of the proposed scheme under mild restrictions on the ratio of adjacent time-steps, i.e. $0<r_k < r_{\max} \approx 4.8645$ and on the maximum time step. The proof involves the discrete orthogonal convolution (DOC) and discrete complementary convolution (DCC) kernels, and the error splitting approach. In addition, our analysis also shows that the first level solution $u^1$ obtained by BDF1 (i.e. backward Euler scheme) does not cause the loss of global accuracy of second order. Numerical examples are provided to demonstrate our theoretical results.


title: Memory-assisted prompt editing to improve GPT-3 after deployment

abstract: Large LMs such as GPT-3 are powerful, but can commit mistakes that are obvious to humans. For example, GPT-3 would mistakenly interpret "What word is similar to good?" to mean a homophone, while the user intended a synonym. Our goal is to effectively correct such errors via user interactions with the system but without retraining, which will be prohibitively costly. We pair GPT-3 with a growing memory of recorded cases where the model misunderstood the user's intents, along with user feedback for clarification. Such a memory allows our system to produce enhanced prompts for any new query based on the user feedback for error correction on similar cases in the past. On four tasks (two lexical tasks, two advanced ethical reasoning tasks), we show how a (simulated) user can interactively teach a deployed GPT-3, substantially increasing its accuracy over the queries with different kinds of misunderstandings by the GPT-3. Our approach is a step towards the low-cost utility enhancement for very large pre-trained LMs. Code, data, and instructions to implement MEMPROMPT for a new task at https://www.memprompt.com/.


title: A gauge-invariant unique continuation criterion for waves in asymptotically Anti-de Sitter spacetimes

abstract: We reconsider the unique continuation property for a general class of tensorial Klein-Gordon equations of the form \begin{align*} \Box_{g} \phi + \sigma \phi = \mathcal{G}(\phi,\nabla \phi) \text{,} \qquad \sigma \in \mathbb{R} \end{align*} on a large class of asymptotically anti-de Sitter spacetimes. In particular, we aim to generalize the previous results of Holzegel, McGill, and the second author [14,15,24] (which established the above-mentioned unique continuation property through novel Carleman estimates near the conformal boundary) in the following ways: (1) We replace the so-called null convexity criterion (the key geometric assumption on the conformal boundary needed in [24] to establish the unique continuation properties) by a more general criterion that is also gauge invariant. (2) Our new unique continuation property can be applied from a larger, more general class of domains on the conformal boundary. (3) Similar to [24], we connect the failure of our generalized null convexity criterion to the existence of certain null geodesics near the conformal boundary. These geodesics can be used to construct counterexamples to unique continuation. Finally, our gauge-invariant criterion and Carleman estimate will constitute a key ingredient in proving unique continuation results for the full nonlinear Einstein-vacuum equations, which will be addressed in a forthcoming paper of Holzegel and the second author [16].