title: The hadronic contribution to the running of the electromagnetic coupling and electroweak mixing angle

abstract: As present and future experiments, on both the energy and precision frontiers, look to identify new physics beyond the Standard Model, we require more precise determinations of fundamental quantities, like the QED and electroweak couplings at various momenta. These can be obtained either entirely from experimental measurements, or from one such measurement at a particular virtuality combined with the couplings' virtuality dependence computed within the SM. Thus, a precise, entirely theoretical determination of the running couplings is highly desirable, even more since the preliminary results of the E989 experiment in Fermilab were published. We give results for the hadronic contribution to the QED running coupling $\alpha(Q^2)$ and weak mixing angle $\sin^2\theta_W(Q^2)$ in the space-like energy region $(0, 7]~\text{GeV}^2$ with a total relative uncertainty of $2\%$ at energies $Q^2 \ll 1~\text{GeV}^2$, and $1\%$ at $Q^2 > 1~\text{GeV}^2$.


title: A low-power integrated magneto-optic modulator on silicon for cryogenic applications

abstract: A fundamental challenge of the quantum revolution is to efficiently interface the quantum computing systems operating at cryogenic temperatures with room temperature electronics and media for high data-rate communication. Current approaches to control and readout of such cryogenic computing systems use electrical cables, which prevent scalability due to their large size, heat conduction, and limited bandwidth1. A more viable approach is to use optical fibers which allow high-capacity transmission and thermal isolation. A key component in implementing photonic datalinks is a cryogenic optical modulator for converting data from the electrical to the optical domain at high speed and with low power consumption, while operating at temperatures of 4 K or lower. Cryogenic modulators based on the electro-optic effect have been demonstrated in a variety of material platforms, however they are voltage driven components while superconducting circuits are current based, resulting in a large impedance mismatch. Here, we present the first demonstration of an integrated current-driven modulator based on the magneto-optic effect operating over a wide temperature range that extends down to less than 4 K. The modulator works at data rates up to 2 Gbps with energy consumption below 4 pJ/bit, and we show that this figure can be reduced to less than 40 fJ/bit with optimized design and fabrication. This modulator is a hybrid device, where a current-driven magneto-optically active crystal (cerium substituted yttrium iron garnet, or Ce:YIG) is bonded to a high-quality silicon microring resonator. Because of its potential for extremely low power consumption under cryogenic conditions, the class of magneto-optical modulators demonstrated here has the potential to enable efficient data links in large-scale systems for quantum information processing.


title: Degree One Contributions and Open Gromov-Witten Invariants

abstract: We show that it is possible to define the contribution of degree one covers of a disk to open Gromov-Witten invariants. We build explicit sections of obstruction bundles in order to extend the algebro-geometric techniques of Pandharipande to the case of domains with boundary.


title: Free-Fermion Multiply Excited Eigenstates and Their Experimental Signatures in 1D Arrays of Two-Level Atoms

abstract: One-dimensional (1D) subwavelength atom arrays display multiply excited subradiant eigenstates which are reminiscent of free fermions. So far, these states have been associated with subradiant states with decay rates $\propto N^{-3}$, with N the number of atoms, which fundamentally prevents detection of their fermionic features by optical means. In this Letter, we show that free-fermion states generally appear whenever the band of singly excited states has a quadratic dispersion relation at the band edge and, hence, may also be obtained with radiant and even superradiant states. 1D arrays have free-fermion multiply excited eigenstates that are typically either subradiant or (super)radiant, and we show that a simple transformation acts between the two families. Based on this correspondence, we propose different means for their preparation and analyze their experimental signature in optical detection.


title: Bridging microscopy with molecular dynamics and quantum simulations: An AtomAI based pipeline

abstract: Recent advances in (scanning) transmission electron microscopy have enabled routine generation of large volumes of high-veracity structural data on 2D and 3D materials, naturally offering the challenge of using these as starting inputs for atomistic simulations. In this fashion, theory will address experimentally emerging structures, as opposed to the full range of theoretically possible atomic configurations. However, this challenge is highly non-trivial due to the extreme disparity between intrinsic time scales accessible to modern simulations and microscopy, as well as latencies of microscopy and simulations per se. Addressing this issue requires as a first step bridging the instrumental data flow and physics-based simulation environment, to enable the selection of regions of interest and exploring them using physical simulations. Here we report the development of the machine learning workflow that directly bridges the instrument data stream into Python-based molecular dynamics and density functional theory environments using pre-trained neural networks to convert imaging data to physical descriptors. The pathways to ensure the structural stability and compensate for the observational biases universally present in the data are identified in the workflow. This approach is used for a graphene system to reconstruct optimized geometry and simulate temperature-dependent dynamics including adsorption of Cr as an ad-atom and graphene healing effects. However, it is universal and can be used for other material systems.


title: Characterization of the continuous transition from atomic to molecular shape in the three-body Coulomb system

abstract: We present an alternative, univocal characterization of the continuous transition from atomic to molecular shape in the Coulomb system constituted by two identical particles and a third particle with the opposite charge, as the mass ratio of the particles varies. Applying a marginal-conditional exact factorization to a variationally optimized wavefunction, we construct a nonadiabatic potential energy surface for the relative motion between the single particle and each of the identical particles in the ground state. The transition is revealed through the evolution with the mass ratio of the topography of such surface and of the shapes of the associated marginal and conditional distributions. Our approach unifies and extends to the nonadiabatic regime the Born-Oppenheimer and charge-distribution pictures of molecular shape.


title: Generic resources are what you need: Style transfer tasks without task-specific parallel training data

abstract: Style transfer aims to rewrite a source text in a different target style while preserving its content. We propose a novel approach to this task that leverages generic resources, and without using any task-specific parallel (source-target) data outperforms existing unsupervised approaches on the two most popular style transfer tasks: formality transfer and polarity swap. In practice, we adopt a multi-step procedure which builds on a generic pre-trained sequence-to-sequence model (BART). First, we strengthen the model's ability to rewrite by further pre-training BART on both an existing collection of generic paraphrases, as well as on synthetic pairs created using a general-purpose lexical resource. Second, through an iterative back-translation approach, we train two models, each in a transfer direction, so that they can provide each other with synthetically generated pairs, dynamically in the training process. Lastly, we let our best reresulting model generate static synthetic pairs to be used in a supervised training regime. Besides methodology and state-of-the-art results, a core contribution of this work is a reflection on the nature of the two tasks we address, and how their differences are highlighted by their response to our approach.


title: Directional MCLP Analysis and Reconstruction for Spatial Speech Communication

abstract: Spatial speech communication, i.e., the reconstruction of spoken signal along with the relative speaker position in the enclosure (reverberation information) is considered in this paper. Directional, diffuse components and the source position information are estimated at the transmitter, and perceptually effective reproduction is considered at the receiver. We consider spatially distributed microphone arrays for signal acquisition, and node specific signal estimation, along with its direction of arrival (DoA) estimation. Short-time Fourier transform (STFT) domain multi-channel linear prediction (MCLP) approach is used to model the diffuse component and relative acoustic transfer function is used to model the direct signal component. Distortion-less array response constraint and the time-varying complex Gaussian source model are used in the joint estimation of source DoA and the constituent signal components, separately at each node. The intersection between DoA directions at each node is used to compute the source position. Signal components computed at the node nearest to the estimated source position are taken as the signals for transmission. At the receiver, a four channel loud speaker (LS) setup is used for spatial reproduction, in which the source spatial image is reproduced relative to a chosen virtual listener position in the transmitter enclosure. Vector base amplitude panning (VBAP) method is used for direct component reproduction using the LS setup and the diffuse component is reproduced equally from all the loud speakers after decorrelation. This scheme of spatial speech communication is shown to be effective and more natural for hands-free telecommunication, through either loudspeaker listening or binaural headphone listening with head related transfer function (HRTF) based presentation.


title: Injective capacity and cogeneration

abstract: Let $M$ and $N$ be modules over a commutative ring $R$ with $N$ Noetherian. We define the injective capacity of $M$ with respect to $N$ over $R$ to be the supremum of the values $t$ for which $N^{\oplus t}$ embeds into $M$. In a dual fashion, we deem the number of cogenerators of $N$ with respect to $M$ over $R$ to be the infimum of the numbers $t$ for which $N$ embeds into $M^{\oplus t}$. We demonstrate that the global injective capacity is the infimum of its local analogues and that the global number of cogenerators is the supremum of the corresponding local invariants. We also prove enhanced versions of these statements and consider the graded case.


title: Math Word Problem Generation with Mathematical Consistency and Problem Context Constraints

abstract: We study the problem of generating arithmetic math word problems (MWPs) given a math equation that specifies the mathematical computation and a context that specifies the problem scenario. Existing approaches are prone to generating MWPs that are either mathematically invalid or have unsatisfactory language quality. They also either ignore the context or require manual specification of a problem template, which compromises the diversity of the generated MWPs. In this paper, we develop a novel MWP generation approach that leverages i) pre-trained language models and a context keyword selection model to improve the language quality of the generated MWPs and ii) an equation consistency constraint for math equations to improve the mathematical validity of the generated MWPs. Extensive quantitative and qualitative experiments on three real-world MWP datasets demonstrate the superior performance of our approach compared to various baselines.


title: Stochastic resetting and first arrival subjected to Gaussian noise and Poisson white noise

abstract: We study the dynamics of an overdamped Brownian particle subjected to Poissonian stochastic resetting in a nonthermal bath, characterized by a Poisson white noise and a Gaussian noise. Applying the renewal theory we find an exact analytical expression for the spatial distribution at the steady state. Unlike the single exponential distribution as observed in the case of a purely thermal bath, the distribution is double exponential. Relaxation of the transient spatial distributions to the stationary one, for the limiting cases of Poissonian rate, is investigated carefully. In addition, we study the first-arrival properties of the system in the presence of a delta-function sink with strength $\kappa$, where $\kappa=0$ and $\kappa=\infty$ correspond to fully nonreactive and fully reactive sinks, respectively. We explore the effect of two competitive mechanisms: the diffusive spread in the presence of two noises and the increase in probability density around the initial position due to stochastic resetting. We show that there exists an optimal resetting rate, which minimizes the mean first-arrival time (MFAT) to the sink for a given value of the sink strength. We also explore the effect of the strength of the Poissonian noise on MFAT, in addition to sink strength. Our formalism generalizes the diffusion-limited reaction under resetting in a nonequilibrium bath and provides an efficient search strategy for a reactant to find a target site, relevant in a range of biophysical processes.


title: Iceberg Hashing: Optimizing Many Hash-Table Criteria at Once

abstract: Despite being one of the oldest data structures in computer science, hash tables continue to be the focus of a great deal of both theoretical and empirical research. A central reason for this is that many of the fundamental properties that one desires from a hash table are difficult to achieve simultaneously; thus many variants offering different trade-offs have been proposed. This paper introduces Iceberg hashing, a hash table that simultaneously offers the strongest known guarantees on a large number of core properties. Iceberg hashing supports constant-time operations while improving on the state of the art for space efficiency, cache efficiency, and low failure probability. Iceberg hashing is also the first hash table to support a load factor of up to $1 - o(1)$ while being stable, meaning that the position where an element is stored only ever changes when resizes occur. In fact, in the setting where keys are $\Theta(\log n)$ bits, the space guarantees that Iceberg hashing offers, namely that it uses at most $\log \binom{|U|}{n} + O(n \log \log n)$ bits to store $n$ items from a universe $U$, matches a lower bound by Demaine et al. that applies to any stable hash table. Iceberg hashing introduces new general-purpose techniques for some of the most basic aspects of hash-table design. Notably, our indirection-free technique for dynamic resizing, which we call waterfall addressing, and our techniques for achieving stability and very-high probability guarantees, can be applied to any hash table that makes use of the front-yard/backyard paradigm for hash table design.


title: Superchiral hotspots in real chiral plasmonic structures

abstract: Light scattering from chiral plasmonic structures can create near fields with an asymmetry greater than the equivalent circularly polarised light, a property sometimes referred to as superchirality. These near fields with enhanced chiral asymmetries can be exploited for ultrasensitive detection of chiral (bio)molecules. In this combined experimental and numerical modelling study, we demonstrate that superchiral hot-spots are created around structural heterogeneities, such has protrusions and indentations, possessed by all real metal structures. These superchiral hot-spots, have chiral asymmetries greater than what would be expected from an idealised perfect structure. Our work indicates that surface morphology could play a role in determining the efficacy of a chiral structure for sensing.


title: SeDyT: A General Framework for Multi-Step Event Forecasting via Sequence Modeling on Dynamic Entity Embeddings

abstract: Temporal Knowledge Graphs store events in the form of subjects, relations, objects, and timestamps which are often represented by dynamic heterogeneous graphs. Event forecasting is a critical and challenging task in Temporal Knowledge Graph reasoning that predicts the subject or object of an event in the future. To obtain temporal embeddings multi-step away in the future, existing methods learn generative models that capture the joint distribution of the observed events. To reduce the high computation costs, these methods rely on unrealistic assumptions of independence and approximations in training and inference. In this work, we propose SeDyT, a discriminative framework that performs sequence modeling on the dynamic entity embeddings to solve the multi-step event forecasting problem. SeDyT consists of two components: a Temporal Graph Neural Network that generates dynamic entity embeddings in the past and a sequence model that predicts the entity embeddings in the future. Compared with the generative models, SeDyT does not rely on any heuristic-based probability model and has low computation complexity in both training and inference. SeDyT is compatible with most Temporal Graph Neural Networks and sequence models. We also design an efficient training method that trains the two components in one gradient descent propagation. We evaluate the performance of SeDyT on five popular datasets. By combining temporal Graph Neural Network models and sequence models, SeDyT achieves an average of 2.4% MRR improvement when not using the validation set and more than 10% MRR improvement when using the validation set.


title: Tunable band gaps and optical absorption properties of bent MoS$_2$ nanoribbons

abstract: The large tunability of band gaps and optical absorptions of armchair MoS$_2$ nanoribbons of different widths under bending is studied using density functional theory and many-body perturbation GW and Bethe-Salpeter equation approaches. We find that there are two critical bending curvatures, and the non-edge and edge band gaps generally show a non-monotonic trend with bending. The non-degenerate edge gap splits show an oscillating feature with ribbon width n, with a period delta_n=3, due to quantum confinement effects. The complex strain patterns on the bent nanoribbons control the varying features of band structures and band gaps that result in varying exciton formations and optical properties. The binding energy and the spin singlet-triplet split of the exciton forming the lowest absorption peak generally decrease with bending curvatures. The large tunability of optical properties of bent MoS$_2$ nanoribbons is promising and will find applications in tunable optoelectronic nanodevices.


title: SPECTRA: Sparse Structured Text Rationalization

abstract: Selective rationalization aims to produce decisions along with rationales (e.g., text highlights or word alignments between two sentences). Commonly, rationales are modeled as stochastic binary masks, requiring sampling-based gradient estimators, which complicates training and requires careful hyperparameter tuning. Sparse attention mechanisms are a deterministic alternative, but they lack a way to regularize the rationale extraction (e.g., to control the sparsity of a text highlight or the number of alignments). In this paper, we present a unified framework for deterministic extraction of structured explanations via constrained inference on a factor graph, forming a differentiable layer. Our approach greatly eases training and rationale regularization, generally outperforming previous work on what comes to performance and plausibility of the extracted rationales. We further provide a comparative study of stochastic and deterministic methods for rationale extraction for classification and natural language inference tasks, jointly assessing their predictive power, quality of the explanations, and model variability.


title: Is Attention Better Than Matrix Decomposition?

abstract: As an essential ingredient of modern deep learning, attention mechanism, especially self-attention, plays a vital role in the global correlation discovery. However, is hand-crafted attention irreplaceable when modeling the global context? Our intriguing finding is that self-attention is not better than the matrix decomposition (MD) model developed 20 years ago regarding the performance and computational cost for encoding the long-distance dependencies. We model the global context issue as a low-rank recovery problem and show that its optimization algorithms can help design global information blocks. This paper then proposes a series of Hamburgers, in which we employ the optimization algorithms for solving MDs to factorize the input representations into sub-matrices and reconstruct a low-rank embedding. Hamburgers with different MDs can perform favorably against the popular global context module self-attention when carefully coping with gradients back-propagated through MDs. Comprehensive experiments are conducted in the vision tasks where it is crucial to learn the global context, including semantic segmentation and image generation, demonstrating significant improvements over self-attention and its variants.


title: Feature-based Individual Fairness in k-Clustering

abstract: Ensuring fairness in machine learning algorithms is a challenging and essential task. We consider the problem of clustering a set of points while satisfying fairness constraints. While there have been several attempts to capture group fairness in the $k$-clustering problem, fairness at an individual level is relatively less explored. We introduce a new notion of individual fairness in $k$-clustering based on features not necessarily used for clustering. We show that this problem is NP-hard and does not admit a constant factor approximation. Therefore, we design a randomized algorithm that guarantees approximation both in terms of minimizing the clustering distance objective and individual fairness under natural restrictions on the distance metric and fairness constraints. Finally, our experimental results against six competing baselines validate that our algorithm produces individually fairer clusters than the fairest baseline by 12.5% on average while also being less costly in terms of the clustering objective than the best baseline by 34.5% on average.


title: Analysis of the Ahlfors-Beurling operator (lecture notes for the summer school at the University of Seville, 2013)

abstract: These notes are based on the ten lectures that the author held in September of 2013 at the University of Seville. The purpose of the course was to introduce basic concepts about the Ahlfors-Beurling operator and explain a few of the recent (already published or known) results and techniques focused around it.


abstract: State-of-the-art multilingual systems rely on shared vocabularies that sufficiently cover all considered languages. To this end, a simple and frequently used approach makes use of subword vocabularies constructed jointly over several languages. We hypothesize that such vocabularies are suboptimal due to false positives (identical subwords with different meanings across languages) and false negatives (different subwords with similar meanings). To address these issues, we propose Subword Mapping and Anchoring across Languages (SMALA), a method to construct bilingual subword vocabularies. SMALA extracts subword alignments using an unsupervised state-of-the-art mapping technique and uses them to create cross-lingual anchors based on subword similarities. We demonstrate the benefits of SMALA for cross-lingual natural language inference (XNLI), where it improves zero-shot transfer to an unseen language without task-specific data, but only by sharing subword embeddings. Moreover, in neural machine translation, we show that joint subword vocabularies obtained with SMALA lead to higher BLEU scores on sentences that contain many false positives and false negatives.


title: Floquet band engineering and topological phase transitions in 1T' transition metal dichalcogenides

abstract: Using ab initio tight-binding approaches, we investigate Floquet band engineering of the 1T' phase of transition metal dichalcogenides (MX2, M = W, Mo and X = Te, Se, S) monolayers under the irradiation with circularly polarized light. Our first principles calculations demonstrate that light can induce important transitions in the topological phases of this emerging materials family. For example, upon irradiation, Te-based MX2 undergoes a phase transition from quantum spin Hall (QSH) semimetal to time-reversal symmetry broken QSH insulator with a nontrivial band gap of up to 92.5 meV. On the other hand, Se- and S-based MX2 undergoes the topological phase transition from the QSH effect to the quantum anomalous Hall (QAH) effect and into trivial phases with increasing light intensity. From a general perspective, our work brings further insight into non-equilibrium topological systems.


title: Gradient flows, adjoint orbits, and the topology of totally nonnegative flag varieties

abstract: One can view a partial flag variety in $\mathbb{C}^n$ as an adjoint orbit $\mathcal{O}_\lambda$ inside the Lie algebra of $n \times n$ skew-Hermitian matrices. We use the orbit context to study the totally nonnegative part of a partial flag variety from an algebraic, geometric, and dynamical perspective. The paper has three main parts: (1) We introduce the totally nonnegative part of $\mathcal{O}_\lambda$, and describe it explicitly in several cases. We define a twist map on it, which generalizes (in type $A$) a map of Bloch, Flaschka, and Ratiu (1990) on an isospectral manifold of Jacobi matrices. (2) We study gradient flows on $\mathcal{O}_\lambda$ which preserve positivity, working in three natural Riemannian metrics. In the K\"ahler metric, positivity is preserved in many cases of interest, extending results of Galashin, Karp, and Lam (2017, 2019). In the normal metric, positivity is essentially never preserved on a generic orbit. In the induced metric, whether positivity is preserved appears to depends on the spacing of the eigenvalues defining the orbit. (3) We present two applications. First, we discuss the topology of totally nonnegative flag varieties and amplituhedra. Galashin, Karp, and Lam (2017, 2019) showed that the former are homeomorphic to closed balls, and we interpret their argument in the orbit framework. We also show that a new family of amplituhedra, which we call twisted Vandermonde amplituhedra, are homeomorphic to closed balls. Second, we discuss the symmetric Toda flow on $\mathcal{O}_\lambda$. We show that it preserves positivity, and that on the totally nonnegative part, it is a gradient flow in the K\"ahler metric up to applying the twist map. This extends a result of Bloch, Flaschka, and Ratiu (1990).


title: Fighting Fake News in Encrypted Messaging with the Fuzzy Anonymous Complaint Tally System (FACTS)

abstract: Recent years have seen a strong uptick in both the prevalence and real-world consequences of false information spread through online platforms. At the same time, encrypted messaging systems such as WhatsApp, Signal, and Telegram, are rapidly gaining popularity as users seek increased privacy in their digital lives. The challenge we address is how to combat the viral spread of misinformation without compromising privacy. Our FACTS system tracks user complaints on messages obliviously, only revealing the message's contents and originator once sufficiently many complaints have been lodged. Our system is private, meaning it does not reveal anything about the senders or contents of messages which have received few or no complaints; secure, meaning there is no way for a malicious user to evade the system or gain an outsized impact over the complaint system; and scalable, as we demonstrate excellent practical efficiency for up to millions of complaints per day. Our main technical contribution is a new collaborative counting Bloom filter, a simple construction with difficult probabilistic analysis, which may have independent interest as a privacy-preserving randomized count sketch data structure. Compared to prior work on message flagging and tracing in end-to-end encrypted messaging, our novel contribution is the addition of a high threshold of multiple complaints that are needed before a message is audited or flagged. We present and carefully analyze the probabilistic performance of our data structure, provide a precise security definition and proof, and then measure the accuracy and scalability of our scheme via experimentation.


title: Exploring the 3D Ising gauge-Higgs model in exact Coulomb gauge and with a gauge-invariant substitute for Landau gauge

abstract: The Z2 gauge-Higgs model in three dimensions has two different types of phase transition, confinement-deconfinement and Higgs magnetization. Here they are explored through two order parameters, the Coulomb magnetization which is a local order parameter for confinement, and a replica-based gauge-invariant order parameter which tracks the Higgs transition in a way similar to Landau-gauge magnetization. Minimal Coulomb gauge is set exactly, using the polynomial-time minimum-weight matching algorithm of Edmonds. This is a tremendous speed improvement over relaxation/annealing methods and completely eliminates the systematic error. The replica-overlap is also an improvement over relaxation methods for setting Landau gauge, in that it has an easily controllable and measurable systematic error. These simulations show the phase transitions not ending at the first-order endpoint but bifurcating near there and continuing even through the expected analyticity region. The specific heat critical exponents, $\alpha$, are highly negative, explaining the lack of strong signals in the energy. Nevertheless, energy moments are seen to follow curves consistent with the predictions from the order parameters, showing these to be true thermal transitions, albeit weak ones. These results cast further doubt on Fradkin-Shenker analyticity. They also suggest one or more new yet to be explored phases in gauge-Higgs models in the bifurcated region.


title: Supervising the Decoder of Variational Autoencoders to Improve Scientific Utility

abstract: Probabilistic generative models are attractive for scientific modeling because their inferred parameters can be used to generate hypotheses and design experiments. This requires that the learned model provide an accurate representation of the input data and yield a latent space that effectively predicts outcomes relevant to the scientific question. Supervised Variational Autoencoders (SVAEs) have previously been used for this purpose, where a carefully designed decoder can be used as an interpretable generative model while the supervised objective ensures a predictive latent representation. Unfortunately, the supervised objective forces the encoder to learn a biased approximation to the generative posterior distribution, which renders the generative parameters unreliable when used in scientific models. This issue has remained undetected as reconstruction losses commonly used to evaluate model performance do not detect bias in the encoder. We address this previously-unreported issue by developing a second order supervision framework (SOS-VAE) that influences the decoder to induce a predictive latent representation. This ensures that the associated encoder maintains a reliable generative interpretation. We extend this technique to allow the user to trade-off some bias in the generative parameters for improved predictive performance, acting as an intermediate option between SVAEs and our new SOS-VAE. We also use this methodology to address missing data issues that often arise when combining recordings from multiple scientific experiments. We demonstrate the effectiveness of these developments using synthetic data and electrophysiological recordings with an emphasis on how our learned representations can be used to design scientific experiments.


title: TIAGE: A Benchmark for Topic-Shift Aware Dialog Modeling

abstract: Human conversations naturally evolve around different topics and fluently move between them. In research on dialog systems, the ability to actively and smoothly transition to new topics is often ignored. In this paper we introduce TIAGE, a new topic-shift aware dialog benchmark constructed utilizing human annotations on topic shifts. Based on TIAGE, we introduce three tasks to investigate different scenarios of topic-shift modeling in dialog settings: topic-shift detection, topic-shift triggered response generation and topic-aware dialog generation. Experiments on these tasks show that the topic-shift signals in TIAGE are useful for topic-shift response generation. On the other hand, dialog systems still struggle to decide when to change topic. This indicates further research is needed in topic-shift aware dialog modeling.


title: Infinite order phase transition in the slow bond TASEP

abstract: In the slow bond problem the rate of a single edge in the Totally Asymmetric Simple Exclusion Process (TASEP) is reduced from 1 to $1-\varepsilon$ for some small $\varepsilon>0$. Janowsky and Lebowitz posed the well-known question of whether such very small perturbations could affect the macroscopic current. Different groups of physicists, using a range of heuristics and numerical simulations reached opposing conclusions on whether the critical value of $\varepsilon$ is 0. This was ultimately resolved rigorously in Basu-Sidoravicius-Sly which established that $\varepsilon_c=0$. Here we study the effect of the current as $\varepsilon$ tends to 0 and in doing so explain why it was so challenging to predict on the basis of numerical simulations. In particular we show that the current has an infinite order phase transition at 0, with the effect of the perturbation tending to 0 faster than any polynomial. Our proof focuses on the Last Passage Percolation formulation of TASEP where a slow bond corresponds to reinforcing the diagonal. We give a multiscale analysis to show that when $\varepsilon$ is small the effect of reinforcement remains small compared to the difference between optimal and near optimal geodesics. Since geodesics can be perturbed on many different scales, we inductively bound the tails of the effect of reinforcement by controlling the number of near optimal geodesics and giving new tail estimates for the local time of (near) geodesics along the diagonal.


title: Characterization of Constrained Continuous Multiobjective Optimization Problems: A Feature Space Perspective

abstract: Despite the increasing interest in constrained multiobjective optimization in recent years, constrained multiobjective optimization problems (CMOPs) are still unsatisfactory understood and characterized. For this reason, the selection of appropriate CMOPs for benchmarking is difficult and lacks a formal background. We address this issue by extending landscape analysis to constrained multiobjective optimization. By employing four exploratory landscape analysis techniques, we propose 29 landscape features (of which 19 are novel) to characterize CMOPs. These landscape features are then used to compare eight frequently used artificial test suites against a recently proposed suite consisting of real-world problems based on physical models. The experimental results reveal that the artificial test problems fail to adequately represent some realistic characteristics, such as strong negative correlation between the objectives and constraints. Moreover, our findings show that all the studied artificial test suites have advantages and limitations, and that no "perfect" suite exists. Benchmark designers can use the obtained results to select or generate appropriate CMOP instances based on the characteristics they want to explore.


title: TENET: Temporal CNN with Attention for Anomaly Detection in Automotive Cyber-Physical Systems

abstract: Modern vehicles have multiple electronic control units (ECUs) that are connected together as part of a complex distributed cyber-physical system (CPS). The ever-increasing communication between ECUs and external electronic systems has made these vehicles particularly susceptible to a variety of cyber-attacks. In this work, we present a novel anomaly detection framework called TENET to detect anomalies induced by cyber-attacks on vehicles. TENET uses temporal convolutional neural networks with an integrated attention mechanism to detect anomalous attack patterns. TENET is able to achieve an improvement of 32.70% in False Negative Rate, 19.14% in the Mathews Correlation Coefficient, and 17.25% in the ROC-AUC metric, with 94.62% fewer model parameters, 86.95% decrease in memory footprint, and 48.14% lower inference time when compared to the best performing prior work on automotive anomaly detection.


title: SanitAIs: Unsupervised Data Augmentation to Sanitize Trojaned Neural Networks

abstract: Self-supervised learning (SSL) methods have resulted in broad improvements to neural network performance by leveraging large, untapped collections of unlabeled data to learn generalized underlying structure. In this work, we harness unsupervised data augmentation (UDA), an SSL technique, to mitigate backdoor or Trojan attacks on deep neural networks. We show that UDA is more effective at removing trojans than current state-of-the-art methods for both feature space and point triggers, over a range of model architectures, trojans, and data quantities provided for trojan removal. These results demonstrate that UDA is both an effective and practical approach to mitigating the effects of backdoors on neural networks.


title: Fast Algorithms for Minimum Homology Basis

abstract: We study the problem of finding a minimum homology basis, that is, a lightest set of cycles that generates the $1$-dimensional homology classes with $\mathbb{Z}_2$ coefficients in a given simplicial complex $K$. This problem has been extensively studied in the last few years. For general complexes, the current best deterministic algorithm, by Dey et al., runs in $O(N m^{\omega-1} + n m g)$ time, where $N$ denotes the total number of simplices in $K$, $m$ denotes the number of edges in $K$, $n$ denotes the number of vertices in $K$, $g$ denotes the rank of the $1$-homology group of $K$, and $\omega$ denotes the exponent of matrix multiplication. In this paper, we present three conceptually simple randomized algorithms that compute a minimum homology basis of a general simplicial complex $K$. The first algorithm runs in $\tilde{O}(m^\omega)$ time, the second algorithm runs in $O(N m^{\omega-1})$ time and the third algorithm runs in $\tilde{O}(N^2 g + N m g{^2} + m g{^3})$ time which is nearly quadratic time when $g=O(1)$. We also study the problem of finding a minimum cycle basis in an undirected graph $G$ with $n$ vertices and $m$ edges. The best known algorithm for this problem runs in $O(m^\omega)$ time. Our algorithm, which has a simpler high-level description, but is slightly more expensive, runs in $\tilde{O}(m^\omega)$ time. We also provide a practical implementation of computing the minimum homology basis for general weighted complexes. The implementation is broadly based on the algorithmic ideas described in this paper, differing in its use of practical subroutines. Of these subroutines, the more costly step makes use of a parallel implementation, thus potentially addressing the issue of scale. We compare results against the currently known state of the art implementation (ShortLoop).


title: Algebraic connectivity of the second power of a graph

abstract: Denote the Laplacian of a graph $G$ by $L(G)$ and its second smallest Laplacian eigenvalue by $\lambda_2(G)$. If $G$ is a graph on $n\ge 2$ vertices, then it is shown that the second smallest eigenvalue of $L(G) + \frac{1}{n} L(\overline{G^2})$ is at least 1, where $\overline{G^2}$ is the complement of the second power of $ G $. As a corollary of this result, it is shown that \begin{itemize} \item $ n \, \lambda_2(G) \ge \lambda_2(G^2), $ \item $ \lambda_2(G) \ge 1-\frac{|D_G|}{n}, $ \item $ \lambda_2(G) + \lambda_2(\Gb) \ge 1, $ \end{itemize} where $|D_G|$ is the number of vertices of eccentricity at least 3 in $G$.


title: Highly Compressive Visual Self-localization Using Sequential Semantic Scene Graph and Graph Convolutional Neural Network

abstract: In this paper, we address the problem of image sequence-based self-localization from a new highly compressive scene representation called sequential semantic scene graph (S3G). Highly-compressive scene representation is essential for robots to perform long-term and huge-numbers of VPR tasks in virtual-training and real-deploy environments. Recent developments in deep graph convolutional neural networks (GCNs) have enabled a highly compressive visual place classifier (VPC) that can use a scene graph as the input modality. However, in such a highly compressive application, the amount of information lost in the image-to-graph mapping is significant and can damage the classification performance. To address this issue, we propose a pair of similarity-preserving mappings, image-to-nodes and image-to-edges, such that the nodes and edges act as absolute and relative features, respectively, that complement each other. Moreover, the proposed GCN-VPC is applied to a new task of viewpoint planning of the query image sequence, which contributes to further improvement in the VPC performance. Experiments using the public NCLT dataset validated the effectiveness of the proposed method.


title: Risk-perception-aware control design under dynamic spatial risks

abstract: This work proposes a novel risk-perception-aware (RPA) control design using non-rational perception of risks associated with uncertain dynamic spatial costs. We use Cumulative Prospect Theory (CPT) to model the risk perception of a decision maker (DM) and use it to construct perceived risk functions that transform the uncertain dynamic spatial cost to deterministic perceived risks of a DM. These risks are then used to build safety sets which can represent risk-averse to risk-insensitive perception. We define a notions of "inclusiveness" and "versatility" based on safety sets and use it to compare with other models such as Conditional value at Risk (CVaR) and Expected risk (ER). We theoretically prove that CPT is the most "inclusive" and "versatile" model of the lot in the context of risk-perception-aware controls. We further use the perceived risk function along with ideas from control barrier functions (CBF) to construct a class of perceived risk CBFs. For a class of truncated-Gaussian costs, we find sufficient geometric conditions for the validity of this class of CBFs, thus guaranteeing safety. Then, we generate perceived-safety-critical controls using a Quadratic program (QP) to guide an agent safely according to a given perceived risk model. We present simulations in a 2D environment to illustrate the performance of the proposed controller.


title: Parker Solar Probe Observations of Helical Structures as Boundaries for Energetic Particles

abstract: Energetic particle transport in the interplanetary medium is known to be affected by magnetic structures. It has been demonstrated for solar energetic particles in near-Earth orbit studies, and also for the more energetic cosmic rays. In this paper, we show observational evidence that intensity variations of solar energetic particles can be correlated with the occurrence of helical magnetic flux tubes and their boundaries. The analysis is carried out using data from Parker Solar Probe orbit 5, in the period 2020 May 24 to June 2. We use FIELDS magnetic field data and energetic particle measurements from the Integrated Science Investigation of the Sun (\isois) suite on the Parker Solar Probe. We identify magnetic flux ropes by employing a real-space evaluation of magnetic helicity, and their potential boundaries using the Partial Variance of Increments method. We find that energetic particles are either confined within or localized outside of helical flux tubes, suggesting that the latter act as transport boundaries for particles, consistent with previously developed viewpoints.


title: Deciphering Environmental Air Pollution with Large Scale City Data

abstract: Air pollution poses a serious threat to sustainable environmental conditions in the 21st century. Its importance in determining the health and living standards in urban settings is only expected to increase with time. Various factors ranging from artificial emissions to natural phenomena are known to be primary causal agents or influencers behind rising air pollution levels. However, the lack of large scale data involving the major artificial and natural factors has hindered the research on the causes and relations governing the variability of the different air pollutants. Through this work, we introduce a large scale city-wise dataset for exploring the relationships among these agents over a long period of time. We also introduce a transformer based model - cosSquareFormer, for the problem of pollutant level estimation and forecasting. Our model outperforms most of the benchmark models for this task. We also analyze and explore the dataset through our model and other methodologies to bring out important inferences which enable us to understand the dynamics of the causal agents at a deeper level. Through our paper, we seek to provide a great set of foundations for further research into this domain that will demand critical attention of ours in the near future.


title: Object recognition for robotics from tactile time series data utilising different neural network architectures

abstract: Robots need to exploit high-quality information on grasped objects to interact with the physical environment. Haptic data can therefore be used for supplementing the visual modality. This paper investigates the use of Convolutional Neural Networks (CNN) and Long-Short Term Memory (LSTM) neural network architectures for object classification on Spatio-temporal tactile grasping data. Furthermore, we compared these methods using data from two different fingertip sensors (namely the BioTac SP and WTS-FT) in the same physical setup, allowing for a realistic comparison across methods and sensors for the same tactile object classification dataset. Additionally, we propose a way to create more training examples from the recorded data. The results show that the proposed method improves the maximum accuracy from 82.4% (BioTac SP fingertips) and 90.7% (WTS-FT fingertips) with complete time-series data to about 94% for both sensor types.


title: Speechformer: Reducing Information Loss in Direct Speech Translation

abstract: Transformer-based models have gained increasing popularity achieving state-of-the-art performance in many research fields including speech translation. However, Transformer's quadratic complexity with respect to the input sequence length prevents its adoption as is with audio signals, which are typically represented by long sequences. Current solutions resort to an initial sub-optimal compression based on a fixed sampling of raw audio features. Therefore, potentially useful linguistic information is not accessible to higher-level layers in the architecture. To solve this issue, we propose Speechformer, an architecture that, thanks to reduced memory usage in the attention layers, avoids the initial lossy compression and aggregates information only at a higher level according to more informed linguistic criteria. Experiments on three language pairs (en->de/es/nl) show the efficacy of our solution, with gains of up to 0.8 BLEU on the standard MuST-C corpus and of up to 4.0 BLEU in a low resource scenario.


title: The momentum broadening of energetic partons in an anisotropic plasma

abstract: The quark-gluon plasma produced in heavy-ion collisions is anisotropic throughout its evolution. This anisotropy changes the physics of jet-medium interaction, making it dependent on the momentum direction of the jet. In this paper we analyze transverse momentum broadening of a jet parton interacting with soft gluons in an anisotropic plasma. Our analysis equally applies to momentum broadening of quasiparticles in kinetic theory. We subtract contribution from instability modes in the deep infrared and discuss how our calculation should be complemented in that regime. The resulting anisotropic collision kernel for momentum broadening is qualitatively different from the equilibrium collision kernel and from the isotropic ansatz used in effective kinetic theory. Because of increased medium screening, there is substantially less transverse broadening at low and intermediate momenta.


title: Analytical nonadiabatic couplings and gradients within the state-averaged orbital-optimized variational quantum eigensolver

abstract: In this work, we introduce several technical and analytical extensions to our recent state-averaged orbital-optimized variational quantum eigensolver (SA-OO-VQE) algorithm (see Ref. [S. Yalouz et al. ,Quantum Sci. Technol. 6, 024004 (2021).]). Motivated by the limitations of current quantum computers, the first extension consists in an efficient state-resolution procedure to find the SA-OO-VQE eigenstates, and not just the subspace spanned by them, while remaining in the equi-ensemble framework. This approach avoids expensive intermediate resolutions of the eigenstates by postponing this problem to the very end of the full algorithm. The second extension allows for the estimation of analytical gradients and non-adiabatic couplings, which are crucial in many practical situations ranging from the search of conical intersections to the simulation of quantum dynamics, in, for example, photoisomerization reactions. The accuracy of our new implementations is demonstrated on the formaldimine molecule CH$_2$NH (a minimal Schiff base model relevant for the study of photoisomerization in larger bio-molecules), for which we also perform a geometry optimization to locate a conical intersection between the ground and first-excited electronic states of the molecule.


title: Simultaneous Joint Lower and Upper record values Probability Laws for Absolutely Continuous or Discrete Data

abstract: This paper investigates the probability density function ($pdf$) of the $(2n-1)$-vector $(n\geq 1)$ of both lower and upper record values for a sequence of independent random variables with common $pdf f$ defined on the same probability space, provided that the lower and upper record times are finite up to $n$. A lot is known about the lower or the upper record values when they are studied separately. When put together, the challenges are a far bigger complicated. The rare results in the literature still present important flaws. This paper begins a new and complete investigation with a few number of records: 2 and 3. Lessons from these simple cases will allow addressing the general formulation of simultaneous joint lower-upper records.


title: Path-dependent Poisson random measures and stochastic integrals constructed from general point processes

abstract: In this paper, we consider an extension of the Poisson random measure for the formulation of continuous-time reinforcement learning, such that both the frequency and the width of the jumps depend on the path. Starting from a general point process, we define a new Poisson random measure as limit of the linear sum of these counting processes, and name it the Mesgaki random measure. We also construct its Stochastic integral and It\^o's formula.


title: Topological and statistical attractors for interval maps

abstract: We use the concept of Baire Ergodicity and Ergodic Formalism introduced to study topological and statistical attractors for interval maps, even with discontinuities. For that we also analyze the {\em wandering intervals attractors}. As a result, we establish the finiteness of the non-periodic topological attractors for piecewise $C^2$ maps with discontinuities. For $C^2$ interval maps without discontinuities, we show the coincidence of the statistical attractors with the topological ones and we calculate the upper Birkhoff averages of continuous functions for generic points, even when the map has abundance of historical behavior.


title: On the degree of polynomial subgroup growth of nilpotent groups

abstract: Let $N$ be a finitely generated nilpotent group. The subgroup zeta function $\zeta_N^{\leq}(s)$ and the normal zeta function $\zeta_N^\lhd(s)$ of $N$ are Dirichlet series enumerating the finite index subgroups or the finite index normal subgroups of $N$. We present results about their abscissae of convergence $\alpha_N^\leq$ and $\alpha_N^\lhd$, also known as the degrees of polynomial subgroup growth and polynomial normal subgroup growth of $N$, respectively. We first prove some upper bounds for the functions $N\mapsto \alpha_N^\leq$ and $N\mapsto\alpha_N^\lhd$ when restricted to the class of torsion-free nilpotent groups of a fixed Hirsch length. We then show that if two finitely generated nilpotent groups have isomorphic $\mathbb{C}$-Mal'cev completions, then their subgroup (resp. normal) zeta functions have the same abscissa of convergence. This follows, via the Mal'cev correspondence, from a similar result that we establish for zeta functions of rings. This result is obtained by proving that the abscissa of convergence of an Euler product of certain Igusa-type local zeta functions introduced by du Sautoy and Grunewald remains invariant under base change. We also apply this methodology to formulate and prove a version of our result about nilpotent groups for virtually nilpotent groups. As a side application of our result about zeta functions of rings, we present a result concerning the distribution of orders in number fields.


title: A Unified Model with Inertia Shaping for Highly Dynamic Jumps of Legged Robots

abstract: To achieve highly dynamic jumps of legged robots, it is essential to control the rotational dynamics of the robot. In this paper, we aim to improve the jumping performance by proposing a unified model for planning highly dynamic jumps that can approximately model the centroidal inertia. This model abstracts the robot as a single rigid body for the base and point masses for the legs. The model is called the Lump Leg Single Rigid Body Model (LL-SRBM) and can be used to plan motions for both bipedal and quadrupedal robots. By taking the effects of leg dynamics into account, LL-SRBM provides a computationally efficient way for the motion planner to change the centroidal inertia of the robot with various leg configurations. Concurrently, we propose a novel contact detection method by using the norm of the average spatial velocity. After the contact is detected, the controller is switched to force control to achieve a soft landing. Twisting jump and forward jump experiments on the bipedal robot SLIDER and quadrupedal robot ANYmal demonstrate the improved jump performance by actively changing the centroidal inertia. These experiments also show the generalization and the robustness of the integrated planning and control framework.


title: Scattering searches for dark matter in subhalos: neutron stars, cosmic rays, and old rocks

abstract: In many cosmologies dark matter clusters on sub-kiloparsec scales and forms compact subhalos, in which the majority of Galactic dark matter could reside. Null results in direct detection experiments since their advent four decades ago could then be the result of extremely rare encounters between the Earth and these subhalos. We investigate alternative and promising means to identify subhalo dark matter interacting with Standard Model particles: (1) subhalo collisions with old neutron stars can transfer kinetic energy and brighten the latter to luminosities within the reach of imminent infrared, optical, and ultraviolet telescopes; we identify new detection strategies involving single-star measurements and Galactic disk surveys, and obtain the first bounds on self-interacting dark matter in subhalos from the coldest known pulsar, PSR J2144-3933, (2) subhalo dark matter scattering with cosmic rays results in detectable effects, (3) historic Earth-subhalo encounters can leave dark matter tracks in paleolithic minerals deep underground. These searches could discover dark matter subhalos weighing between gigaton and solar masses, with corresponding dark matter cross sections and masses spanning tens of orders of magnitude.


title: Fair Compensation

abstract: We introduce a novel framework that considers how a firm could fairly compensate its workers. A firm has a group of workers, each of whom has varying productivities over a set of tasks. After assigning workers to tasks, the firm must then decide how to distribute its output to the workers. We first consider three compensation rules and various fairness properties they may satisfy. We show that among efficient and symmetric rules: the Egalitarian rule is the only rule that does not decrease a worker's compensation when every worker becomes weakly more productive (Group Productivity Monotonicity); the Shapley Value rule is the only rule that, for any two workers, equalizes the impact one worker has on the other worker's compensation (Balanced Impact); and the Individual Contribution rule is the only rule that is invariant to the removal of workers and their assigned tasks (Consistency). We introduce other rules and axioms, and relate each rule to each axiom.


title: Trust your neighbors: A comprehensive survey of neighborhood-based methods for recommender systems

abstract: Collaborative recommendation approaches based on nearest-neighbors are still highly popular today due to their simplicity, their efficiency, and their ability to produce accurate and personalized recommendations. This chapter offers a comprehensive survey of neighborhood-based methods for the item recommendation problem. It presents the main characteristics and benefits of such methods, describes key design choices for implementing a neighborhood-based recommender system, and gives practical information on how to make these choices. A broad range of methods is covered in the chapter, including traditional algorithms like k-nearest neighbors as well as advanced approaches based on matrix factorization, sparse coding and random walks.


title: On the convexity theory of generating functions

abstract: In this paper, we extend our convexity theory for $C^2$ cost functions in optimal transportation to more general generating functions, which were originally introduced by the second author to extend the framework of optimal transportation to embrace near field geometric optics. In particular we provide an alternative geometric treatment to the previous analytic approach using differential inequalities, which also gives a different derivation of the invariance of the fundamental regularity conditions under duality. We also extend our local theory to cover the strict version of these conditions for $C^2$ cost and generating functions.


title: The critical point and the $p$-norm of $A_s$ and $C$-matrices

abstract: The $L$-matrix $A_s=[1/(n+s)]$ was introduced in \cite{MRtmp}. As a surprising property, we showed that its 2-norm is constant for $s \geq s_0$, where the critical point $s_0$ is unknown but relies in the interval $(1/4,1/2)$. In this note, using some delicate calculations we sharpen this result by improving the upper and lower bounds of the interval surrounding $s_0$. Moreover, we show that the same property persists for the $p$-norm of $A_s$ matrices. We also obtain the 2-norm of a family of $C$-matrices with lacunary sequences.


title: Graph-Based Decoding for Task Oriented Semantic Parsing

abstract: The dominant paradigm for semantic parsing in recent years is to formulate parsing as a sequence-to-sequence task, generating predictions with auto-regressive sequence decoders. In this work, we explore an alternative paradigm. We formulate semantic parsing as a dependency parsing task, applying graph-based decoding techniques developed for syntactic parsing. We compare various decoding techniques given the same pre-trained Transformer encoder on the TOP dataset, including settings where training data is limited or contains only partially-annotated examples. We find that our graph-based approach is competitive with sequence decoders on the standard setting, and offers significant improvements in data efficiency and settings where partially-annotated data is available.


title: BERT, mBERT, or BiBERT? A Study on Contextualized Embeddings for Neural Machine Translation

abstract: The success of bidirectional encoders using masked language models, such as BERT, on numerous natural language processing tasks has prompted researchers to attempt to incorporate these pre-trained models into neural machine translation (NMT) systems. However, proposed methods for incorporating pre-trained models are non-trivial and mainly focus on BERT, which lacks a comparison of the impact that other pre-trained models may have on translation performance. In this paper, we demonstrate that simply using the output (contextualized embeddings) of a tailored and suitable bilingual pre-trained language model (dubbed BiBERT) as the input of the NMT encoder achieves state-of-the-art translation performance. Moreover, we also propose a stochastic layer selection approach and a concept of dual-directional translation model to ensure the sufficient utilization of contextualized embeddings. In the case of without using back translation, our best models achieve BLEU scores of 30.45 for En->De and 38.61 for De->En on the IWSLT'14 dataset, and 31.26 for En->De and 34.94 for De->En on the WMT'14 dataset, which exceeds all published numbers.


title: Molecular Laser-Cooling in a Dynamically Tunable Repulsive Optical Trap

abstract: Recent work with laser-cooled molecules in attractive optical traps has shown that the differential AC Stark shifts arising from the trap light itself can become problematic, limiting collisional shielding efficiencies, rotational coherence times, and laser-cooling temperatures. In this work, we explore trapping and laser-cooling of CaF molecules in a ring-shaped repulsive optical trap. The observed dependences of loss rates on temperature and barrier height show characteristic behavior of repulsive traps and indicate strongly suppressed average AC Stark shifts. Within the trap, we find that $\Lambda$-enhanced gray molasses cooling is effective, producing similar minimum temperatures as those obtained in free space. By combining in-trap laser cooling with dynamical reshaping of the trap, we also present a method that allows highly efficient and rapid transfer from molecular magneto-optical traps into conventional attractive optical traps, which has been an outstanding challenge for experiments to date. Notably, our method could allow nearly lossless transfer over millisecond timescales.


title: The peculiar chemical pattern of the WASP-160 binary system: signatures of planetary formation and evolution?

abstract: Wide binary stars with similar components hosting planets provide a favorable opportunity for exploring the star-planet chemical connection. We perform a detailed characterization of the solar-type stars in the WASP-160 binary system. No planet has been reported yet around WASP-160A while WASP-160B is known to host a transiting Saturn-mass planet, WASP-160B b. For this planet, we also derive updated properties from both literature and new observations. Furthermore, using TESS photometry, we constrain the presence of transiting planets around WASP-160A and additional ones around WASP-160B. The stellar characterization includes, for the first time, the computation of high-precision differential atmospheric and chemical abundances of 25 elements based on high-quality Gemini-GRACES spectra. Our analysis reveals evidence of a correlation between the differential abundances and the condensation temperatures of the elements. In particular, we find both a small but significant deficit of volatiles and an enhancement of refractory elements in WASP-160B relative to WASP-160A. After WASP-94, this is the second stellar pair among the shortlist of planet-hosting binaries showing this kind of peculiar chemical pattern. Although we discuss several plausible planet formation and evolution scenarios for WASP-160A and B that could explain the observed chemical pattern, none of them can be conclusively accepted or rejected. Future high-precision photometric and spectroscopic follow-up, as well as high-contrast imaging observations, of WASP-160A and B, might provide further constraints on the real origin of the detected chemical differences.


title: Combinatorial properties of non-archimedean convex sets

abstract: We study combinatorial properties of convex sets over arbitrary valued fields. We demonstrate analogs of some classical results for convex sets over the reals (e.g. the fractional Helly theorem and B\'ar\'any's theorem on points in many simplices), along with some additional properties not satisfied by convex sets over the reals, including finite breadth and VC-dimension. These results are deduced from a simple combinatorial description of modules over the valuation ring in a spherically complete valued field.


title: The impact of massive stars and black holes on the fate of open star clusters and their tidal streams

abstract: Context: To investigate how the content of massive OB stars affects the long-term evolution of young open clusters and their tidal streams, and how such an effect influences the constraint of initial conditions by looking at the present-day observations. Aims: OB stars are typically in binaries, have a strong wind mass loss during the first few Myr, and many become black holes. These affect the dynamical evolution of an open star cluster and impact its dissolution in a given Galactic potential. We investigate the correlation between the mass of OB stars and the observational properties of open clusters. Hyades-like star clusters are well represented in the Solar neighborhood and thus allow comparisons with observational data. Methods: We perform a large number of star-by-star numerical $N$-body simulations of Hyades-like star clusters by using the high-performance $N$-body code \textsc{petar} combined with \textsc{galpy}. We also developed the tool to transfer the simulation data to mock observations of Gaia. Results: We find that OB stars and black holes have a major effect on star cluster evolution. Star clusters with the same initial conditions, but a different initial content of OB stars, follow very different evolutionary paths. Thus, the initial total mass and radius of an observed star cluster cannot be unambiguously determined unless the initial content of OB stars is known. We show that the stellar counts in the corresponding tidal tails, that can be identified in the Gaia data, help to resolve this issues. We thus emphasise the importance of exploring not only star-clusters, but also their corresponding tidal tails. These findings are relevant for studies of the formation of massive stars.


title: A Large-Scale Study of Machine Translation in the Turkic Languages

abstract: Recent advances in neural machine translation (NMT) have pushed the quality of machine translation systems to the point where they are becoming widely adopted to build competitive systems. However, there is still a large number of languages that are yet to reap the benefits of NMT. In this paper, we provide the first large-scale case study of the practical application of MT in the Turkic language family in order to realize the gains of NMT for Turkic languages under high-resource to extremely low-resource scenarios. In addition to presenting an extensive analysis that identifies the bottlenecks towards building competitive systems to ameliorate data scarcity, our study has several key contributions, including, i) a large parallel corpus covering 22 Turkic languages consisting of common public datasets in combination with new datasets of approximately 2 million parallel sentences, ii) bilingual baselines for 26 language pairs, iii) novel high-quality test sets in three different translation domains and iv) human evaluation scores. All models, scripts, and data will be released to the public.


title: The Seneta-Heyde scaling for supercritical super-Brownian motion

abstract: We consider the additive martingale $W_t(\lambda)$ and the derivative martingale $\partial W_t(\lambda)$ for one-dimensional supercritical super-Brownian motions with general branching mechanism. In the critical case $\lambda=\lambda_0$, we prove that $\sqrt{t}W_t(\lambda_0)$ converges in probability to a positive limit, which is a constant multiple of the almost sure limit $\partial W_\infty(\lambda_0)$ of the derivative martingale $\partial W_t(\lambda_0)$. We also prove that, on the survival event, $\limsup_{t\to\infty}\sqrt{t}W_t(\lambda_0)=\infty$ almost surely.


title: C-MinHash: Practically Reducing Two Permutations to Just One

abstract: Traditional minwise hashing (MinHash) requires applying $K$ independent permutations to estimate the Jaccard similarity in massive binary (0/1) data, where $K$ can be (e.g.,) 1024 or even larger, depending on applications. The recent work on C-MinHash (Li and Li, 2021) has shown, with rigorous proofs, that only two permutations are needed. An initial permutation is applied to break whatever structures which might exist in the data, and a second permutation is re-used $K$ times to produce $K$ hashes, via a circulant shifting fashion. (Li and Li, 2021) has proved that, perhaps surprisingly, even though the $K$ hashes are correlated, the estimation variance is strictly smaller than the variance of the traditional MinHash. It has been demonstrated in (Li and Li, 2021) that the initial permutation in C-MinHash is indeed necessary. For the ease of theoretical analysis, they have used two independent permutations. In this paper, we show that one can actually simply use one permutation. That is, one single permutation is used for both the initial pre-processing step to break the structures in the data and the circulant hashing step to generate $K$ hashes. Although the theoretical analysis becomes very complicated, we are able to explicitly write down the expression for the expectation of the estimator. The new estimator is no longer unbiased but the bias is extremely small and has essentially no impact on the estimation accuracy (mean square errors). An extensive set of experiments are provided to verify our claim for using just one permutation.


title: Chemical abundances in Seyfert galaxies -- VII. Direct abundance determination of neon based on optical and infrared emission lines

abstract: For the first time, neon abundance has been derived in the narrow line region from a sample of Seyfert~2 nuclei. In view of this, we compiled from the literature fluxes of optical and infrared (IR) narrow emission lines for 35 Seyfert 2 nuclei in the local universe ($z < 0.06$). The relative intensities of emission lines were used to derive the ionic and total neon and oxygen abundances through electron temperature estimations ($T_{e}$-method). For the neon, abundance estimates were obtained by using both $T_{e}$-method and IR-method. Based on photoionization model results, we found a lower electron temperature [$t_{e}([Ne III])$] for the gas phase where the Ne$^{2+}$ is located in comparison with $t_{3}$ for the O$^{2+}$ ion. We find that the differences (D) between Ne$^{2+}$/H$^{+}$ ionic abundances calculated from IR-method and $T_{e}-$method (assuming $t_{3}$ in the Ne$^{2+}$/H$^{+}$ derivation) are similar to the derivations in star-forming regions (SFs) and they are reduced by a mean factor of $\sim3$ when $t_{e}([Ne III])$ is considered. We propose a semi-empirical Ionization Correction Factor (ICF) for the neon, based on [Ne II]12.81$\mu$m, [\ion{Ne}{iii}]15.56$\mu$m and oxygen ionic abundance ratios. We find that the average Ne/H abundance for the Seyfert 2s sample is nearly 2 times higher than similar estimate for SFs. Finally, for the very high metallicity regime (i.e. [$12+log(O/H) > 8.80$]) an increase in Ne/O with O/H is found, which likely indicates secondary stellar production for the neon.


title: Influences of ALD Al$_2$O$_3$ on the surface band-bending of c-plane, Ga-face GaN and the implication to GaN-collector npn heterojunction bipolar transistors

abstract: Due to the lack of effective p-type doping in GaN and the adverse effects of surface band-bending of GaN on electron transport, developing practical GaN heterojunction bipolar transistors has been impossible. The recently demonstrated approach of grafting n-type GaN with p-type semiconductors, like Si and GaAs, by employing ultrathin (UO) Al$_2$O$_3$ at the interface of Si/GaN and GaAs/GaN, has shown the feasibility to overcome the poor p-type doping challenge of GaN by providing epitaxy-like interface quality. However, the surface band-bending of GaN that could be influenced by the UO Al2O3 has been unknown. In this work, the band-bending of c-plane, Ga-face GaN with UO Al2O3 deposition at the surface of GaN was studied using X-ray photoelectron spectroscopy (XPS). The study shows that the UO Al2O3 can help in suppressing the upward band-bending of the c-plane, Ga-face GaN with a monotonic reduction trend of the upward band-bending energy from 0.48 eV down to 0.12 eV as the number of UO Al2O3 deposition cycles is increased from 0 to 20 cycles. The study further shows that the band-bending can be mostly recovered after removing the Al2O3 layer, concurring that the change in the density of fixed charge at the GaN surface caused by UO Al2O3 is the main reason for the surface band-bending modulation. The potential implication of the surface band-bending results of AlGaAs/GaAs/GaN npn heterojunction bipolar transistor (HBT) was preliminarily studied via Silvaco(R) simulations.


title: Automatic Portrait Video Matting via Context Motion Network

abstract: Automatic portrait video matting is an under-constrained problem. Most state-of-the-art methods only exploit the semantic information and process each frame individually. Their performance is compromised due to the lack of temporal information between the frames. To solve this problem, we propose the context motion network to leverage semantic information and motion information. To capture the motion information, we estimate the optical flow and design a context-motion updating operator to integrate features between frames recurrently. Our experiments show that our network outperforms state-of-the-art matting methods significantly on the Video240K SD dataset.


title: Adjacency eigenvalues of graphs without short odd cycles

abstract: It is well known that spectral Tur\'{a}n type problem is one of the most classical {problems} in graph theory. In this paper, we consider the spectral Tur\'{a}n type problem. Let $G$ be a graph and let $\mathcal{G}$ be a set of graphs, we say $G$ is \textit{$\mathcal{G}$-free} if $G$ does not contain any element of $\mathcal{G}$ as a subgraph. Denote by $\lambda_1$ and $\lambda_2$ the largest and the second largest eigenvalues of the adjacency matrix $A(G)$ of $G,$ respectively. In this paper we focus on the characterization of graphs without short odd cycles according to the adjacency eigenvalues of the graphs. Firstly, an upper bound on $\lambda_1^{2k}+\lambda_2^{2k}$ of $n$-vertex $\{C_3,C_5,\ldots,C_{2k+1}\}$-free graphs is established, where $k$ is a positive integer. All the corresponding extremal graphs are identified. Secondly, a sufficient condition for non-bipartite graphs containing an odd cycle of length at most $2k+1$ in terms of its spectral radius is given. At last, we characterize the unique graph having the maximum spectral radius among the set of $n$-vertex non-bipartite graphs with odd girth at least $2k+3,$ which solves an open problem proposed by Lin, Ning and Wu [Eigenvalues and triangles in graphs, Combin. Probab. Comput. 30 (2) (2021) 258-270].


title: EVOQUER: Enhancing Temporal Grounding with Video-Pivoted BackQuery Generation

abstract: Temporal grounding aims to predict a time interval of a video clip corresponding to a natural language query input. In this work, we present EVOQUER, a temporal grounding framework incorporating an existing text-to-video grounding model and a video-assisted query generation network. Given a query and an untrimmed video, the temporal grounding model predicts the target interval, and the predicted video clip is fed into a video translation task by generating a simplified version of the input query. EVOQUER forms closed-loop learning by incorporating loss functions from both temporal grounding and query generation serving as feedback. Our experiments on two widely used datasets, Charades-STA and ActivityNet, show that EVOQUER achieves promising improvements by 1.05 and 1.31 at R@0.7. We also discuss how the query generation task could facilitate error analysis by explaining temporal grounding model behavior.


title: Vortices and Dust Devils As Observed by the MEDA Instruments onboard Mars 2020 Perseverance Rover

abstract: An important and perhaps dominant source of dust in the martian atmosphere, dust devils play a key role in Mars' climate. Datasets from previous landed missions have revealed dust devil activity, constrained their structures, and elucidated their dust-lifting capacities. However, each landing site and observational season exhibits unique meteorological properties that shape dust devil activity and help illuminate their dependence on ambient conditions. The recent release of data from the Mars Environmental Dynamics Analyzer (MEDA) instrument suite onboard the Mars 2020 Perseverance rover promises a new treasure-trove for dust devil studies. In this study, we sift the time-series from MEDA's Pressure Sensor (PS) and Radiative and Dust Sensors (RDS) to look for the signals of passing vortices and dust devils. We detected 309 vortex encounters over the mission's first 89 sols. Consistent with predictions, these encounter rates exceed InSight and Curiosity's encounter rates. The RDS time-series also allows us to assess whether a passing vortex is likely to be dusty (and therefore is a true dust devil) or dustless. We find that about one quarter of vortices show signs of dust-lofting, although unfavorable encounter geometries may have prevented us from detecting dust for other vortices. In addition to these results, we discuss prospects for vortex studies as additional data from Mars 2020 are processed and made available.


title: Augmenting BERT-style Models with Predictive Coding to Improve Discourse-level Representations

abstract: Current language models are usually trained using a self-supervised scheme, where the main focus is learning representations at the word or sentence level. However, there has been limited progress in generating useful discourse-level representations. In this work, we propose to use ideas from predictive coding theory to augment BERT-style language models with a mechanism that allows them to learn suitable discourse-level representations. As a result, our proposed approach is able to predict future sentences using explicit top-down connections that operate at the intermediate layers of the network. By experimenting with benchmarks designed to evaluate discourse-related knowledge using pre-trained sentence representations, we demonstrate that our approach improves performance in 6 out of 11 tasks by excelling in discourse relationship detection.


title: Frequency-Domain Representation of First-Order Methods: A Simple and Robust Framework of Analysis

abstract: Motivated by recent applications in min-max optimization, we employ tools from nonlinear control theory in order to analyze a class of "historical" gradient-based methods, for which the next step lies in the span of the previously observed gradients within a time horizon. Specifically, we leverage techniques developed by Hu and Lessard (2017) to build a frequency-domain framework which reduces the analysis of such methods to numerically-solvable algebraic tasks, establishing linear convergence under a class of strongly monotone and co-coercive operators. On the applications' side, we focus on the Optimistic Gradient Descent (OGD) method, which augments the standard Gradient Descent with an additional past-gradient in the optimization step. The proposed framework leads to a simple and sharp analysis of OGD -- and generalizations thereof -- under a much broader regime of parameters. Notably, this characterization directly extends under adversarial noise in the observed value of the gradient. Moreover, our frequency-domain framework provides an exact quantitative comparison between simultaneous and alternating updates of OGD. An interesting byproduct is that OGD -- and variants thereof -- is an instance of PID control, arguably one of the most influential algorithms of the last century; this observation sheds more light to the stabilizing properties of "optimism".


title: How May I Help You? Using Neural Text Simplification to Improve Downstream NLP Tasks

abstract: The general goal of text simplification (TS) is to reduce text complexity for human consumption. This paper investigates another potential use of neural TS: assisting machines performing natural language processing (NLP) tasks. We evaluate the use of neural TS in two ways: simplifying input texts at prediction time and augmenting data to provide machines with additional information during training. We demonstrate that the latter scenario provides positive effects on machine performance on two separate datasets. In particular, the latter use of TS improves the performances of LSTM (1.82-1.98%) and SpanBERT (0.7-1.3%) extractors on TACRED, a complex, large-scale, real-world relation extraction task. Further, the same setting yields improvements of up to 0.65% matched and 0.62% mismatched accuracies for a BERT text classifier on MNLI, a practical natural language inference dataset.


title: Analytical Process Scheduling Optimization for Heterogeneous Multi-core Systems

abstract: In this paper, we propose the first optimum process scheduling algorithm for an increasingly prevalent type of heterogeneous multicore (HEMC) system that combines high-performance big cores and energy-efficient small cores with the same instruction-set architecture (ISA). Existing algorithms are all heuristics-based, and the well-known IPC-driven approach essentially tries to schedule high scaling factor processes on big cores. Our analysis shows that, for optimum solutions, it is also critical to consider placing long running processes on big cores. Tests of SPEC 2006 cases on various big-small core combinations show that our proposed optimum approach is up to 34% faster than the IPC-driven heuristic approach in terms of total workload completion time. The complexity of our algorithm is O(NlogN) where N is the number of processes. Therefore, the proposed optimum algorithm is practical for use.


title: Probabilistic Guaranteed Path Planning for Safe Urban Air Mobility Using Chance Constrained RRT

abstract: Safety is a critical concern for the success of urban air mobility, especially in dynamic and uncertain environments. This paper proposes a path planning algorithm based on RRT in conjunction with chance constraints in the presence of uncertain obstacles. The chance-constrained formulation for Gaussian distributed obstacles is developed by converting the probabilistic constraints to deterministic constraints in terms of distribution parameters. The probabilistic feasible region at every time step can be established through the simulation of the system state and the evaluation of convex constraints. Through establishing chance-constrained RRT, the algorithm not only enjoys the benefits of sampling-based algorithms but also incorporates uncertainty into the formulation. Simulation results demonstrate that the planning for a trajectory connecting the starting and goal point in accordance with the requirement of probabilistic obstacle avoidance can be achieved by the utilization of this algorithm.


title: IndoBERTweet: A Pretrained Language Model for Indonesian Twitter with Effective Domain-Specific Vocabulary Initialization

abstract: We present IndoBERTweet, the first large-scale pretrained model for Indonesian Twitter that is trained by extending a monolingually-trained Indonesian BERT model with additive domain-specific vocabulary. We focus in particular on efficient model adaptation under vocabulary mismatch, and benchmark different ways of initializing the BERT embedding layer for new word types. We find that initializing with the average BERT subword embedding makes pretraining five times faster, and is more effective than proposed methods for vocabulary adaptation in terms of extrinsic evaluation over seven Twitter-based datasets.


title: Spatially Focused Attack against Spatiotemporal Graph Neural Networks

abstract: Spatiotemporal forecasting plays an essential role in various applications in intelligent transportation systems (ITS), such as route planning, navigation, and traffic control and management. Deep Spatiotemporal graph neural networks (GNNs), which capture both spatial and temporal patterns, have achieved great success in traffic forecasting applications. Understanding how GNNs-based forecasting work and the vulnerability and robustness of these models becomes critical to real-world applications. For example, if spatiotemporal GNNs are vulnerable in real-world traffic prediction applications, a hacker can easily manipulate the results and cause serious traffic congestion and even a city-scale breakdown. However, despite that recent studies have demonstrated that deep neural networks (DNNs) are vulnerable to carefully designed perturbations in multiple domains like objection classification and graph representation, current adversarial works cannot be directly applied to spatiotemporal forecasting due to the causal nature and spatiotemporal mechanisms in forecasting models. To fill this gap, in this paper we design Spatially Focused Attack (SFA) to break spatiotemporal GNNs by attacking a single vertex. To achieve this, we first propose the inverse estimation to address the causality issue; then, we apply genetic algorithms with a universal attack method as the evaluation function to locate the weakest vertex; finally, perturbations are generated by solving an inverse estimation-based optimization problem. We conduct experiments on real-world traffic data and our results show that perturbations in one vertex designed by SA can be diffused into a large part of the graph.


title: An Exploratory Study on Long Dialogue Summarization: What Works and What's Next

abstract: Dialogue summarization helps readers capture salient information from long conversations in meetings, interviews, and TV series. However, real-world dialogues pose a great challenge to current summarization models, as the dialogue length typically exceeds the input limits imposed by recent transformer-based pre-trained models, and the interactive nature of dialogues makes relevant information more context-dependent and sparsely distributed than news articles. In this work, we perform a comprehensive study on long dialogue summarization by investigating three strategies to deal with the lengthy input problem and locate relevant information: (1) extended transformer models such as Longformer, (2) retrieve-then-summarize pipeline models with several dialogue utterance retrieval methods, and (3) hierarchical dialogue encoding models such as HMNet. Our experimental results on three long dialogue datasets (QMSum, MediaSum, SummScreen) show that the retrieve-then-summarize pipeline models yield the best performance. We also demonstrate that the summary quality can be further improved with a stronger retrieval model and pretraining on proper external summarization datasets.


title: Giant shifts of crystal-field excitations with temperature as consequence of internal magnetic exchange fields

abstract: Crystal-field excitations, for example in transition-metal oxides where a rare-earth element is used as a spacer between the transition-metal-oxide tetrahedra and octahedra, are assumed to be extremely robust with respect to external perturbations such as temperature. Using inelastic neutron scattering experiments, a giant shift of the energy of the lowest crystal-field excitation of Er3+ (4I15/2) in ErFeO3 from 0.30(2) meV to 0.75(2) meV was measured below the magnetic-ordering temperature of erbium at 4.1 K. Quantum-mechanical point-charge calculations of the crystal-field levels indicate that the shift is caused by the internal magnetic field created by the erbium spins themselves, which causes a Zeeman splitting of the erbium 4f electronic levels, and therefore a change in the energies of crystal-field transitions. To verify this explanation, the effect of an external magnetic field on the crystal-field excitations was measured by inelastic neutron scattering and compared to the field-dependent point-charge calculations. The existence of an internal magnetic exchange interaction will have implications for a deeper understanding of a broader group of phenomena such as multiferroic properties or spin frustration, which are a consequence of various competing electronic and magnetic exchange interactions.


title: Query-driven Segment Selection for Ranking Long Documents

abstract: Transformer-based rankers have shown state-of-the-art performance. However, their self-attention operation is mostly unable to process long sequences. One of the common approaches to train these rankers is to heuristically select some segments of each document, such as the first segment, as training data. However, these segments may not contain the query-related parts of documents. To address this problem, we propose query-driven segment selection from long documents to build training data. The segment selector provides relevant samples with more accurate labels and non-relevant samples which are harder to be predicted. The experimental results show that the basic BERT-based ranker trained with the proposed segment selector significantly outperforms that trained by the heuristically selected segments, and performs equally to the state-of-the-art model with localized self-attention that can process longer input sequences. Our findings open up new direction to design efficient transformer-based rankers.


title: Optimal Vaccine Allocation for Pandemic Stabilization

abstract: How to strategically allocate the available vaccines is a crucial issue for pandemic control. In this work, we propose a mathematical framework for optimal stabilizing vaccine allocation, where our goal is to send the infections to zero as soon as possible with a fixed number of vaccine doses. This framework allows us to efficiently compute the optimal vaccine allocation policy for general epidemic spread models including SIS/SIR/SEIR and a new model of COVID-19 transmissions. By fitting the real data in New York State to our framework, we found that the optimal stabilizing vaccine allocation policy suggests offering vaccines priority to locations where there are more susceptible people and where the residents spend longer time outside the home. Besides, we found that offering vaccines priority to young adults (20-29) and middle-age adults (20-44) can minimize the cumulative infected cases and the death cases. Moreover, we compared our method with five age-stratified strategies in \cite{bubar2021model} based on their epidemics model. We also found it's better to offer vaccine priorities to young people to curb the disease and minimize the deaths when the basic reproduction number $R_0$ is moderately above one, which describes the most world during COVID-19. Such phenomenon has been ignored in \cite{bubar2021model}.


title: Modules cofinite with respect to ideals of small dimensions

abstract: Let $\mathfrak{a}$ be an ideal of a noetherian (not necessarily local) ring $R$ and $M$ an $R$-module with $\mathrm{Supp}_RM\subseteq\mathrm{V}(\mathfrak{a})$. We show that if $\mathrm{dim}_RM\leq2$, then $M$ is $\mathfrak{a}$-cofinite if and only if $\mathrm{Ext}^i_R(R/\mathfrak{a},M)$ are finitely generated for all $i\leq 2$, which generalizes one of the main results in [Algebr. Represent. Theory 18 (2015) 369--379]. Some new results concerning cofiniteness of local cohomology modules $\mathrm{H}^i_\mathfrak{a}(M)$ for any finitely generated $R$-module $M$ are obtained.


title: A Fast-and-Effective Early-Stage Multi-level Cache Optimization Method Based on Reuse-Distance Analysis

abstract: In this paper, we propose a practical and effective approach allowing designers to optimize multi-level cache size at the early system design phase. Our key contribution is to generalize the reuse distance analysis method and develop an effective and practical cache design optimization approach. We adopt a simple scanning search method to locate optimal cache solutions in terms of cache size, power consumption, or average data access delay. The proposed approach is particularly useful for early-phase system designers and is verified to be 150 to 250 times faster than the traditional simulation-based approach. In addition, we also introduce a simplified analytical model and provide designers insights about how cache design parameters may affect the expected results. As a result, designers can make an adequate decision in the early system design phase.


title: Differential Privacy in Personalized Pricing with Nonparametric Demand Models

abstract: In the recent decades, the advance of information technology and abundant personal data facilitate the application of algorithmic personalized pricing. However, this leads to the growing concern of potential violation of privacy due to adversarial attack. To address the privacy issue, this paper studies a dynamic personalized pricing problem with \textit{unknown} nonparametric demand models under data privacy protection. Two concepts of data privacy, which have been widely applied in practices, are introduced: \textit{central differential privacy (CDP)} and \textit{local differential privacy (LDP)}, which is proved to be stronger than CDP in many cases. We develop two algorithms which make pricing decisions and learn the unknown demand on the fly, while satisfying the CDP and LDP gurantees respectively. In particular, for the algorithm with CDP guarantee, the regret is proved to be at most $\tilde O(T^{(d+2)/(d+4)}+\varepsilon^{-1}T^{d/(d+4)})$. Here, the parameter $T$ denotes the length of the time horizon, $d$ is the dimension of the personalized information vector, and the key parameter $\varepsilon>0$ measures the strength of privacy (smaller $\varepsilon$ indicates a stronger privacy protection). On the other hand, for the algorithm with LDP guarantee, its regret is proved to be at most $\tilde O(\varepsilon^{-2/(d+2)}T^{(d+1)/(d+2)})$, which is near-optimal as we prove a lower bound of $\Omega(\varepsilon^{-2/(d+2)}T^{(d+1)/(d+2)})$ for any algorithm with LDP guarantee.


title: Strong Morita equivalences for completely positive linear maps and GNS-C*-correspondences

abstract: We will consider the set of all completely positive linear maps from a unital $C^*$-algebra to the $C^*$-algebra of all (bounded) adjointable right Hilbert $C^*$-module maps, which are automatically bounded, on a right Hilbert $C^*$-module and we will introduce strong Morita equivalence for elements in this set. In this paper, we will give the following result: If two classes of two unital $C^*$-algebras are strongly Morita equivalent, respectively, then we can construct a bijective correspondence between two sets of all strong Morita equivalence classes of completely positive linear maps given as above. Furthermore, we will discuss the relation between strong Morita equivalence for completely positive linear maps and strong Morita equivalence for GNS-$C^*$-correspondences.


title: Efficiently Identifying Task Groupings for Multi-Task Learning

abstract: Multi-task learning can leverage information learned by one task to benefit the training of other tasks. Despite this capacity, naively training all tasks together in one model often degrades performance, and exhaustively searching through combinations of task groupings can be prohibitively expensive. As a result, efficiently identifying the tasks that would benefit from training together remains a challenging design question without a clear solution. In this paper, we suggest an approach to select which tasks should train together in multi-task learning models. Our method determines task groupings in a single run by training all tasks together and quantifying the effect to which one task's gradient would affect another task's loss. On the large-scale Taskonomy computer vision dataset, we find this method can decrease test loss by 10.0% compared to simply training all tasks together while operating 11.6 times faster than a state-of-the-art task grouping method.


title: Smoothing effect and asymptotic behavior of solutions to nonlinear elastic wave equations with viscoelastic terms in the framework of $L^{p}$-Sobolev spaces

abstract: The Cauchy problem for nonlinear elastic wave equations with viscoelastic damping terms is investigated in $L^{p}$ framework. It is proved that the small global solutions constructed in $L^{2}$-Sobolev spaces in our preceding paper [12] satisfies consistency property corresponding to the additional regularity of the initial data. As a result, sharp estimates in $t$ and approximation formulas by the diffusion waves are established.