title: Arithmetic Expression Construction

abstract: When can $n$ given numbers be combined using arithmetic operators from a given subset of $\{+, -, \times, \div\}$ to obtain a given target number? We study three variations of this problem of Arithmetic Expression Construction: when the expression (1) is unconstrained; (2) has a specified pattern of parentheses and operators (and only the numbers need to be assigned to blanks); or (3) must match a specified ordering of the numbers (but the operators and parenthesization are free). For each of these variants, and many of the subsets of $\{+,-,\times,\div\}$, we prove the problem NP-complete, sometimes in the weak sense and sometimes in the strong sense. Most of these proofs make use of a "rational function framework" which proves equivalence of these problems for values in rational functions with values in positive integers.


title: Replicator-mutator dynamics of linguistic convergence and divergence

abstract: People tend to align their use of language to the linguistic behaviour of their own ingroup and to simultaneously diverge from the language use of outgroups. This paper proposes to model this phenomenon of sociolinguistic identity maintenance as an evolutionary game in which individuals play the field and the dynamics are supplied by a multi-population extension of the replicator-mutator equation. Using linearization, the stabilities of all dynamic equilibria of the game in its fully symmetric two-population special case are found. The model is then applied to an empirical test case from adolescent sociolinguistic behaviour. It is found that the empirically attested population state corresponds to one of a number of stable equilibria of the game under an independently plausible value of a parameter controlling the rate of linguistic mutations. An asymmetric three-population extension of the game, explored with numerical solution methods, furthermore predicts to which specific equilibrium the system converges.


title: Performance of photosensors in a high-rate environment for gas Cherenkov detectors

abstract: The solenoidal large intensity device (SoLID) at Jefferson Lab will push the boundaries of luminosity for a large-acceptance detector, which necessitates the use of a light-gas threshold Cherenkov counter for online event selection. Due to the high luminosity, the single-photon background rate in this counter can exceed 160 kHz/cm$^2$ at the photosensors. Therefore, it is essential to validate the high-rate limits of the planned photosensors and readout electronics in order to mitigate the risk of failure. We report on the design and an early set of studies carried out using a small telescopic Cherenkov device in a high-rate environment up to 60 kHz/cm$^2$, in Hall C at Jefferson Lab. Commercially available multi-anode photomultipliers (MaPMT) and low-cost large-area picosecond photodetectors (LAPPD) were tested using the JLab FADC250 modules for readout. The test beam results show that the MaPMT array and the internal stripline LAPPD can detect and identify single-electron and pair-production events in high-rate environments. Due to its higher quantum efficiency, the MaPMT array provided a better separation between the single-electron and the pair-production events compared to the internal stripline LAPPD. A GEANT4 simulation confirms the experimental performance of our telescopic device.


title: Sensitivity optimization of multichannel searches for new signals

abstract: The frequentist definition of sensitivity of a search for new phenomena proposed in arXiv:0308063 has been utilized in a number of published experimental searches. In most cases, the simple approximate formula for the common problem of Poisson counts with background has been deemed adequate for the purpose. There are however many problems nowadays in which more complex analysis is required, involving multiple channels. In this article, the same approach of arXiv:0308063 is applied to a multichannel Poisson problem, and a convenient formula is derived in closed form, generalizing the known result for the simple counting experiment. An explicit solution is also derived for the common case of a search for a Gaussian signal superimposed over a flat background.


title: Trial emulation and survival analysis for disease incidence registers: a case study on the causal effect of pre-emptive kidney transplantation

abstract: Numerous tutorials and research papers focus on methods in either survival analysis or causal inference, leaving common complications in medical studies unaddressed. In practice one must handle problems jointly, without the luxury of ignoring essential features of the data structure. In this paper, we follow incident cases of end-stage renal disease and examine the effect on all-cause mortality of starting treatment with transplant, so-called pre-emptive kidney transplantation, versus dialysis. The question is relatively simple: which treatment start is expected to bring the best survival for a target population? To address the question, we emulate a target trial drawing on the Swedish Renal Registry to estimate a causal effect on survival curves. Aware of important challenges, we see how previous studies have selected patients into treatment groups based on events occurring post treatment initiation. Our study reveals the dramatic impact of resulting immortal time bias and other typical features of long term incident disease registries, including: missing or mismeasured covariates during (the early) phases of the register, varying risk profile of patients entering treatment groups over calendar time and changes in risk as care improves over the years. With characteristics of cases and versions of treatment evolving over time, informative censoring is introduced in unadjusted Kaplan-Meier curves and also their IPW version is no longer valid. Here we discuss feasible ways of handling these features and answer different research questions relying on the no unmeasured baseline confounders assumption.


title: Selectable Heaps and Optimal Lazy Search Trees

abstract: We show the $O(\log n)$ time extract minimum function of efficient priority queues can be generalized to the extraction of the $k$ smallest elements in $O(k \log(n/k))$ time (we define $\log(x)$ as $\max(\log_2(x), 1)$.), which we prove optimal for comparison-based priority queues with $o(\log n)$ time insertion. We show heap-ordered tree selection (Kaplan et al., SOSA '19) can be applied on the heap-ordered trees of the classic Fibonacci heap and Brodal queue, in $O(k \log(n/k))$ amortized and worst-case time, respectively. We additionally show the deletion of $k$ elements or selection without extraction can be performed on both heaps, also in $O(k \log(n/k))$ time. Surprisingly, all operations are possible with no modifications to the original Fibonacci heap and Brodal queue data structures. We then apply the result to lazy search trees (Sandlund & Wild, FOCS '20), creating a new interval data structure based on selectable heaps. This gives optimal $O(B+n)$ time lazy search tree performance, lowering insertion complexity into a gap $\Delta_i$ from $O(\log(n/|\Delta_i|) + \log \log n)$ to $O(\log(n/|\Delta_i|))$ time. An $O(1)$ time merge operation is also made possible when used as a priority queue, among other situations. If Brodal queues are used, all runtimes of the lazy search tree can be made worst-case.


title: Advancing Humor-Focused Sentiment Analysis through Improved Contextualized Embeddings and Model Architecture

abstract: Humor is a natural and fundamental component of human interactions. When correctly applied, humor allows us to express thoughts and feelings conveniently and effectively, increasing interpersonal affection, likeability, and trust. However, understanding the use of humor is a computationally challenging task from the perspective of humor-aware language processing models. As language models become ubiquitous through virtual-assistants and IOT devices, the need to develop humor-aware models rises exponentially. To further improve the state-of-the-art capacity to perform this particular sentiment-analysis task we must explore models that incorporate contextualized and nonverbal elements in their design. Ideally, we seek architectures accepting non-verbal elements as additional embedded inputs to the model, alongside the original sentence-embedded input. This survey thus analyses the current state of research in techniques for improved contextualized embedding incorporating nonverbal information, as well as newly proposed deep architectures to improve context retention on top of popular word-embeddings methods.


title: Five Equivalent Representations of a Phylogenetic Tree

abstract: A phylogenetic tree is a tree with a fixed set of leaves that has no vertices of degree two. In this paper, we axiomatically define four other discrete structures on the set of leaves. We prove that each of these structures is an equivalent representation of a phylogenetic tree.


title: On rotational flows with discontinuous vorticity beneath steady water waves near stagnation

abstract: We numerically investigate the flow structure of periodic steady water waves of fixed relative mass flux propagating on rotational flows with piece-wise constant vorticity. We show that for wave solutions along the global bifurcation diagram the stagnation point can first occur internally or at the bottom, and then again occurs at the crest with further increase in wave height. We observe that the bifurcation diagram has a new branch which is not connected to the trivial solution. Furthermore, we present an in-depth discussion of the results on pressure distributions and particle trajectories beneath large-amplitude steady waves near stagnation. We also expand on previous results concerning the amplitude and mass flux of steady water waves traveling on rotational flows with discontinuous vorticity.


title: The risk of death in newborn businesses during the first years in market

abstract: In this paper, we analyzed how business age and mortality are related during the first years of life, and tested the different hypotheses proposed in the literature. For that, we used data on U.S. business establishments, with 1-year resolution in the range of age of 0-5 years, in the period 1977-2016, published by the United States Census Bureau. First, we explored the adaptation of classical techniques of survival analysis (the Life Table and Peto-Turnbull methods) to the business survival analysis. Then, we considered nine parametric probabilistic models, most of them well-known in reliability analysis and in the actuarial literature, with different shapes of the hazard function, that we fitted by maximum likelihood method and compared with the Akaike information criterion. Our findings show that newborn firms seem to have a decreasing failure rate with the age during the first five years in market, with the exception of the first months of some years in which the risk can rise.


title: Automatic Recognition of the Supraspinatus Tendinopathy from Ultrasound Images using Convolutional Neural Networks

abstract: Tendon injuries like tendinopathies, full and partial thickness tears are prevalent, and the supraspinatus tendon (SST) is the most vulnerable ones in the rotator cuff. Early diagnosis of SST tendinopathies is of high importance and hard to achieve using ultrasound imaging. In this paper, an automatic tendinopathy recognition framework based on convolutional neural networks has been proposed to assist the diagnosis. This framework has two essential parts of tendon segmentation and classification. Tendon segmentation is done through a novel network, NASUNet, which follows an encoder-decoder architecture paradigm and utilizes a multi-scale Enlarging cell. Moreover, a general classification pipeline has been proposed for tendinopathy recognition, which supports different base models as the feature extractor engine. Two feature maps comprising positional information of the tendon region have been introduced as the network input to make the classification network spatial-aware. To evaluate the tendinopathy recognition system, a data set consisting of 100 SST ultrasound images have been acquired, in which tendinopathy cases are double-verified by magnetic resonance imaging. In both segmentation and classification tasks, lack of training data has been compensated by incorporating knowledge transferring, transfer learning, and data augmentation techniques. In cross-validation experiments, the proposed tendinopathy recognition model achieves 91% accuracy, 86.67% sensitivity, and 92.86% specificity, showing state-of-the-art performance against other models.


title: KeepAugment: A Simple Information-Preserving Data Augmentation Approach

abstract: Data augmentation (DA) is an essential technique for training state-of-the-art deep learning systems. In this paper, we empirically show data augmentation might introduce noisy augmented examples and consequently hurt the performance on unaugmented data during inference. To alleviate this issue, we propose a simple yet highly effective approach, dubbed \emph{KeepAugment}, to increase augmented images fidelity. The idea is first to use the saliency map to detect important regions on the original images and then preserve these informative regions during augmentation. This information-preserving strategy allows us to generate more faithful training examples. Empirically, we demonstrate our method significantly improves on a number of prior art data augmentation schemes, e.g. AutoAugment, Cutout, random erasing, achieving promising results on image classification, semi-supervised image classification, multi-view multi-camera tracking and object detection.


title: AlphaMatch: Improving Consistency for Semi-supervised Learning with Alpha-divergence

abstract: Semi-supervised learning (SSL) is a key approach toward more data-efficient machine learning by jointly leverage both labeled and unlabeled data. We propose AlphaMatch, an efficient SSL method that leverages data augmentations, by efficiently enforcing the label consistency between the data points and the augmented data derived from them. Our key technical contribution lies on: 1) using alpha-divergence to prioritize the regularization on data with high confidence, achieving a similar effect as FixMatch but in a more flexible fashion, and 2) proposing an optimization-based, EM-like algorithm to enforce the consistency, which enjoys better convergence than iterative regularization procedures used in recent SSL methods such as FixMatch, UDA, and MixMatch. AlphaMatch is simple and easy to implement, and consistently outperforms prior arts on standard benchmarks, e.g. CIFAR-10, SVHN, CIFAR-100, STL-10. Specifically, we achieve 91.3% test accuracy on CIFAR-10 with just 4 labelled data per class, substantially improving over the previously best 88.7% accuracy achieved by FixMatch.


title: Probabilistic modeling of discrete structural response with application to composite plate penetration models

abstract: Discrete response of structures is often a key probabilistic quantity of interest. For example, one may need to identify the probability of a binary event, such as, whether a structure has buckled or not. In this study, an adaptive domain-based decomposition and classification method, combined with sparse grid sampling, is used to develop an efficient classification surrogate modeling algorithm for such discrete outputs. An assumption of monotonic behaviour of the output with respect to all model parameters, based on the physics of the problem, helps to reduce the number of model evaluations and makes the algorithm more efficient. As an application problem, this paper deals with the development of a computational framework for generation of probabilistic penetration response of S-2 glass/SC-15 epoxy composite plates under ballistic impact. This enables the computationally feasible generation of the probabilistic velocity response (PVR) curve or the $V_0-V_{100}$ curve as a function of the impact velocity, and the ballistic limit velocity prediction as a function of the model parameters. The PVR curve incorporates the variability of the model input parameters and describes the probability of penetration of the plate as a function of impact velocity.


title: Spectral Domain Spline Graph Filter Bank

abstract: In this paper, we present a structure for two-channel spline graph filter bank with spectral sampling (SGFBSS) on arbitrary undirected graphs. Our proposed structure has many desirable properties; namely, perfect reconstruction, critical sampling in spectral domain, flexibility in choice of shape and cut-off frequency of the filters, and low complexity implementation of the synthesis section, thanks to our closed-form derivation of the synthesis filter and its sparse structure. These properties play a pivotal role in multi-scale transforms of graph signals. Additionally, this framework can use both normalized and non-normalized Laplacian of any undirected graph. We evaluate the performance of our proposed SGFBSS structure in nonlinear approximation and denoising applications through simulations. We also compare our method with the existing graph filter bank structures and show its superior performance.


title: Comment on the vortices of the early phase of the ELMs

abstract: We discuss a possible perspective on the process of transition from the layer of sheared poloidal rotation in the H-mode to a set of discrete filaments that concentrate vorticity and current density. They may be precursors of the Edge Localized Modes.


title: Global and local scaling limits for the $\beta = 2$ Stieltjes--Wigert random matrix ensemble

abstract: The eigenvalue probability density function (PDF) for the Gaussian unitary ensemble has a well known analogy with the Boltzmann factor for a classical log-gas with pair potential $- \log | x - y|$, confined by a one-body harmonic potential. A generalisation is to replace the pair potential by $- \log |\sinh (\pi (x-y)/L) |$. The resulting PDF first appeared in the statistical physics literature in relation to non-intersecting Brownian walkers, equally spaced at time $t=0$, and subsequently in the study of quantum many body systems of the Calogero-Sutherland type, and also in Chern-Simons field theory. It is an example of a determinantal point process with correlation kernel based on the Stieltjes--Wigert polynomials. We take up the problem of determining the moments of this ensemble, and find an exact expression in terms of a particular little $q$-Jacobi polynomial. From their large $N$ form, the global density can be computed. Previous work has evaluated the edge scaling limit of the correlation kernel in terms of the Ramanujan ($q$-Airy) function. We show how in a particular $L \to \infty$ scaling limit, this reduces to the Airy kernel.


title: Robust image stitching with multiple registrations

abstract: Panorama creation is one of the most widely deployed techniques in computer vision. In addition to industry applications such as Google Street View, it is also used by millions of consumers in smartphones and other cameras. Traditionally, the problem is decomposed into three phases: registration, which picks a single transformation of each source image to align it to the other inputs, seam finding, which selects a source image for each pixel in the final result, and blending, which fixes minor visual artifacts. Here, we observe that the use of a single registration often leads to errors, especially in scenes with significant depth variation or object motion. We propose instead the use of multiple registrations, permitting regions of the image at different depths to be captured with greater accuracy. MRF inference techniques naturally extend to seam finding over multiple registrations, and we show here that their energy functions can be readily modified with new terms that discourage duplication and tearing, common problems that are exacerbated by the use of multiple registrations. Our techniques are closely related to layer-based stereo, and move image stitching closer to explicit scene modeling. Experimental evidence demonstrates that our techniques often generate significantly better panoramas when there is substantial motion or parallax.


title: An analysis of Reinforcement Learning applied to Coach task in IEEE Very Small Size Soccer

abstract: The IEEE Very Small Size Soccer (VSSS) is a robot soccer competition in which two teams of three small robots play against each other. Traditionally, a deterministic coach agent will choose the most suitable strategy and formation for each adversary's strategy. Therefore, the role of a coach is of great importance to the game. In this sense, this paper proposes an end-to-end approach for the coaching task based on Reinforcement Learning (RL). The proposed system processes the information during the simulated matches to learn an optimal policy that chooses the current formation, depending on the opponent and game conditions. We trained two RL policies against three different teams (balanced, offensive, and heavily offensive) in a simulated environment. Our results were assessed against one of the top teams of the VSSS league, showing promising results after achieving a win/loss ratio of approximately 2.0.


title: The Quantum Cluster Variational Method and the Phase Diagram of the quantum ferromagnetic $J_1$-$J_2$ model

abstract: We exploit the Quantum Cluster Variational Method (QCVM) to study the $J_1$-$J_2$ model for quantum Ising spins. We first describe the QCVM and discuss how it is related to other Mean Field approximations. The phase diagram of the model is studied at the level of the Kikuchi approximation in square lattices as a function of the ratio between $g = J_2/J_1$ , the temperature and the longitudinal and transverse external fields. Our results show that quantum fluctuations may change the order of the transition and induce a gap between the ferromagnetic and the stripe phases. Moreover, when both longitudinal and transverse fields are present, thermal fluctuations and quantum effects contribute to the appearance of a nematic phase.


title: Prior to Segment: Foreground Cues for Weakly Annotated Classes in Partially Supervised Instance Segmentation

abstract: Instance segmentation methods require large datasets with expensive and thus limited instance-level mask labels. Partially supervised instance segmentation aims to improve mask prediction with limited mask labels by utilizing the more abundant weak box labels. In this work, we show that a class agnostic mask head, commonly used in partially supervised instance segmentation, has difficulties learning a general concept of foreground for the weakly annotated classes using box supervision only. To resolve this problem we introduce an object mask prior (OMP) that provides the mask head with the general concept of foreground implicitly learned by the box classification head under the supervision of all classes. This helps the class agnostic mask head to focus on the primary object in a region of interest (RoI) and improves generalization to the weakly annotated classes. We test our approach on the COCO dataset using different splits of strongly and weakly supervised classes. Our approach significantly improves over the Mask R-CNN baseline and obtains competitive performance with the state-of-the-art, while offering a much simpler architecture.


title: Stabilizing Queuing Networks with Model Data-Independent Control

abstract: Classical queuing network control strategies typically rely on accurate knowledge of model data, i.e., arrival and service rates. However, such data are not always available and may be time-variant. To address this challenge, we consider a class of model data-independent (MDI) control policies that only rely on traffic state observation and network topology. Specifically, we focus on the MDI control policies that can stabilize multi-class Markovian queuing networks under centralized and decentralized policies. Control actions include routing, sequencing, and holding. By expanding the routes and constructing piecewise-linear test functions, we derive an easy-to-use criterion to check the stability of a multi-class network under a given MDI policy. For stabilizable multi-class networks, we show that a centralized, stabilizing MDI policy exists. For stabilizable single-class networks, we further show that a decentralized, stabilizing MDI policy exists. In addition, for both settings, we construct explicit policies that attain maximal throughput and present numerical examples to illustrate the results.


title: Object-centered image stitching

abstract: Image stitching is typically decomposed into three phases: registration, which aligns the source images with a common target image; seam finding, which determines for each target pixel the source image it should come from; and blending, which smooths transitions over the seams. As described in [1], the seam finding phase attempts to place seams between pixels where the transition between source images is not noticeable. Here, we observe that the most problematic failures of this approach occur when objects are cropped, omitted, or duplicated. We therefore take an object-centered approach to the problem, leveraging recent advances in object detection [2,3,4]. We penalize candidate solutions with this class of error by modifying the energy function used in the seam finding stage. This produces substantially more realistic stitching results on challenging imagery. In addition, these methods can be used to determine when there is non-recoverable occlusion in the input data, and also suggest a simple evaluation metric that can be used to evaluate the output of stitching algorithms.


title: Fractional parts of non-integer powers of primes. II

abstract: We continue to study the distribution of prime numbers $p$, satisfying the condition $\{ p^{\alpha} \} \in I \subset [0; 1)$, in arithmetic progressions. In the paper, we prove an analogue of Bombieri-Vinogradov theorem for $0 < \alpha < 1/9$ with the level of distribution $\theta = 2/5 - (3/5) \alpha$, which improves the previous result corresponding to $\theta \leq 1/3$.


title: High-Q localized states in finite arrays of subwavelength resonators

abstract: We introduce a novel physical mechanism for achieving giant quality factors ($Q$-factors) in finite-length periodic arrays of subwavelength optical resonators. The underlying physics is based on interference between the band-edge mode and another standing mode in the array, and the formation of spatially localized states with dramatically suppressed radiative losses. We demonstrate this concept for an array of $N$ dipoles with simultaneous cancellation of multipoles up to $N$-th order and the $Q$ factor growing as $Q \propto N^{\alpha}$, where $\alpha \gtrsim 6.88$. Based on this finding, we propose a realistic array of Mie-resonant nanoparticles ($N \lesssim 29$) with a dramatic enhancement of the Purcell factor (up to $\sim $3400) achieved by tuning of the array parameters.


title: Scaling Laws for the Propulsive Performance of a Purely Pitching Foil in Ground Effect

abstract: Scaling laws for the thrust production and power consumption of a purely pitching hydrofoil in ground effect are presented. For the first time, ground effect scaling laws based on physical insights capture the propulsive performance over a wide range of biologically-relevant Strouhal numbers, dimensionless amplitudes, and dimensionless ground distances. This is achieved by advancing previous scaling laws (Moored & Quinn 2018) with physics-driven modifications to the added mass and circulatory forces to account for ground distance variations. The key physics introduced are the increase in the added mass of a foil near the ground and the reduction in the influence of a wake vortex system due to the influence of its image system. The scaling laws are found to be in good agreement with new inviscid simulations and viscous experiments, and can be used to accelerate the design of bio-inspired hydrofoils that oscillate near a ground plane or two out-of-phase foils in a side-by-side arrangement.


title: Quasi-projective posets, lattices, permutations, graphs, digraphs, hypergraphs, point-line geometries

abstract: A structure $\cal S$ is quasi-projective if for every structure $\cal T$, for every homomorphism $f : {\cal S} \rightarrow {\cal T}$ and every epimorphism $j: {\cal S}\rightarrow {\cal T}$ there is an endomorphism $\phi$ of $\cal S$ such that $\phi\circ j=f$. In this paper, we characterise the quasi-projective posets and lattices of arbitrary cardinalities, finite permutations, graphs and digraphs of arbitrary cardinalities with loops and without loops, finite hypergraphs, and finite point-line geometries.


title: Positive-energy spectra of atomic hydrogen in a magnetic field with an adiabatic-basis-expansion method

abstract: The problem of photoionization of atomic hydrogen in a white-dwarf-strength magnetic field is revisited to understand the existing discrepancies in the positive-energy spectra obtained by a variety of theoretical approaches reported in the literature. Oscillator strengths for photoionization are calculated with the adiabatic-basis-expansion method developed by Mota-Furtado and O'Mahony [Phys. Rev. A {\bf 76}, 053405 (2007)]. A comparative study is performed between the adiabatic-basis-expansion method and our previously developed coupled-channel theory [Phys. Rev. A {\bf 94}, 033422 (2016)]. A detailed analysis of the positive-energy spectra obtained here and those from other theoretical approaches shows that the adiabatic-basis-expansion method can produce more accurate positive-energy spectra than other reported approaches for low field strengths.


title: Some inequalities on Binomial and Poisson probabilities

abstract: Let $S$ and $X$ be independent random variables, assuming values in the set of non-negative integers, and suppose further that both $\mathbb{E}(S)$ and $\mathbb{E}(X)$ are integers satisfying $\mathbb{E}(S)\ge \mathbb{E}(X)$. We establish a sufficient condition for the tail probability $\mathbb{P}(S\ge \mathbb{E}(S))$ to be larger than $\mathbb{P}(S+X\ge \mathbb{E}(S+X))$. We also apply this result to sums of independent binomial and Poisson random variables.


title: Reduction of symplectic groupoids and quotients of quasi-Poisson manifolds

abstract: In this work we study the integrability of quotients of quasi-Poisson manifolds. Our approach allows us to put several classical results about the integrability of Poisson quotients in a common framework. By categorifying one of the already known methods of reducing symplectic groupoids we also describe double symplectic groupoids which integrate the recently introduced Poisson groupoid structures on gauge groupoids.


title: Single-particle steering and nonlocality: The consecutive Stern-Gerlach Experiments

abstract: Quantum nonlocality and quantum steering are fundamental correlations of quantum systems which can not be created using classical resources only. Nonlocality describes the ability to influence the possible results of measurements carried out in distant systems, in quantum steering Alice remotely steers Bob's state. Research in nonlocality and steering possess a fundamental interest for the development of quantum information and in many applications requiring nonlocal resources like quantum key distribution. On the other hand, the Stern-Gerlach experiment holds an important place in the history, development and teaching of quantum mechanics and quantum information. In particular, the thought experiment of consecutive Stern-Gerlach Experiments is commonly used to exemplify the concept of non-commutativity between quantum operators. However, to the best of our knowledge, the consecutive Stern-Gerlach Experiments have not been treated in a fully quantum manner yet, and it is a widely accepted idea that atoms crossing consecutive Stern-Gerlach Experiments follow classical paths. Here we demonstrate that two consecutive Stern-Gerach Experiment generate nonlocality and steering, these nonlocal effects strongly modify our usual understanding of this experiment. Also, we discuss the implications of this result and its relation with the entanglement. This suggests the use of quantum correlations, of particles possessing mass, to generate nonlocal taks using this venerable experiment.


title: Quantum Oscillations in the Field-induced Ferromagnetic State of MnBi$_{2-x}$Sb$_{x}$Te$_{4}$

abstract: The intrinsic antiferromagnetic topological insulator MnBi$_{2}$Te$_{4}$ undergoes a metamagnetic transition in a c-axis magnetic field. It has been predicted that ferromagnetic MnBi$_{2}$Te$_{4}$ is an ideal Weyl semimetal with a single pair of Weyl nodes. Here we report measurements of quantum oscillations detected in the field-induced ferromagnetic phase of MnBi$_{2-x}$Sb$_{x}$Te$_{4}$, where Sb substitution tunes the majority carriers from electrons to holes. Single frequency Shubnikov-de Haas oscillations were observed in a wide range of Sb concentrations (0.54 $\leq$ x $\leq$ 1.21). The evolution of the oscillation frequency and the effective mass shows reasonable agreement with the Weyl semimetal band-structure of ferromagnetic MnBi$_{2}$Te$_{4}$ predicted by density functional calculations. Intriguingly, the quantum oscillation frequency shows a strong temperature dependence, indicating that the electronic structure sensitively depends on magnetism.


title: Quasi-projective monounary algebras

abstract: Wu and Jans introduced quasi-projective modules where they say a $\cal R$ module $\cal M$ is quasi-projective if for every submodule $\cal N$, for every homomorphism $f : {\cal M} \rightarrow {\cal M}/{\cal N}$ and every epimorphism $j: {\cal M}\rightarrow {\cal M}/{\cal N}$ there is an endomorphism $\phi$ of $\cal M$ such that $\phi\circ j=f$. We say that a structure $\cal S$ is quasi-projective if for every structure $\cal T$, for every homomorphism $f : {\cal S} \rightarrow {\cal T}$ and every epimorphism $j: {\cal S}\rightarrow {\cal T}$ there is an endomorphism $\phi$ of $\cal S$ such that $\phi\circ j=f$. In 2004 D. Jakub\'ikov\'a-Studenovsk\'a defined the concept of the factor algebra denoted by ${\cal A}/{\cal B}$, where ${\cal A}$ is a monounary algebra and ${\cal B}$ is a subalgebra of $\cal A$. In this paper, we characterise the quasi-projective monounary algebras of arbitrary cardinalities for the definition of D. Jakub\'ikov\'a-Studenovsk\'a and for the second definition.


title: On Hastings' approach to Lin's Theorem for Almost Commuting Matrices

abstract: Lin's theorem states that for all $\epsilon > 0$, there is a $\delta > 0$ such that for all $n \geq 1$ if self-adjoint contractions $A,B \in M_n(\mathbb{C})$ satisfy $\|[A,B]\|< \delta$ then there are self-adjoint contractions $A',B' \in M_n(\mathbb{C})$ with $[A',B']=0$ and $\|A-A'\|,\|B-B'\|<\epsilon$. We present fully explained and corrected details of the approach in arXiv:0808.2474, which was the first version of Lin's theorem to provide asymptotic estimates. We also apply this method to the case where $B$ is a normal matrix with spectrum lying in some nice 1-dimensional subset of $\mathbb{C}$.


title: Skill-driven Recommendations for Job Transition Pathways

abstract: Job security can never be taken for granted, especially in times of rapid, widespread and unexpected social and economic change. These changes can force workers to transition to new jobs. This may be because new technologies emerge or production is moved abroad. Perhaps it is a global crisis, such as COVID-19, which shutters industries and displaces labor en masse. Regardless of the impetus, people are faced with the challenge of moving between jobs to find new work. Successful transitions typically occur when workers leverage their existing skills in the new occupation. Here, we propose a novel method to measure the similarity between occupations using their underlying skills. We then build a recommender system for identifying optimal transition pathways between occupations using job advertisements (ads) data and a longitudinal household survey. Our results show that not only can we accurately predict occupational transitions (Accuracy = 76%), but we account for the asymmetric difficulties of moving between jobs (it is easier to move in one direction than the other). We also build an early warning indicator for new technology adoption (showcasing Artificial Intelligence), a major driver of rising job transitions. By using real-time data, our systems can respond to labor demand shifts as they occur (such as those caused by COVID-19). They can be leveraged by policy-makers, educators, and job seekers who are forced to confront the often distressing challenges of finding new jobs.


title: Drive Dependence of the Hall Angle for a Sliding Wigner Crystal in a Magnetic Field

abstract: We numerically examine the depinning and sliding dynamics of a Wigner crystal in the presence of quenched disorder and a magnetic field. In the disorder-free limit, the Wigner crystal Hall angle is independent of crystal velocity, but when disorder is present, we find that Hall angle starts near zero at the depinning threshold and increases linearly with increasing drive before reaching a saturation close to the disorder free value at the highest drives. The drive dependence is the result of a side jump effect produced when the charges move over pinning sites. The magnitude of the side jump is reduced at the higher velocities. The drive dependent Hall angle is robust for a wide range of disorder parameters and should be a generic feature of classical charges driven in the presence of quenched disorder and a magnetic field.


title: Electronic properties of the boson mode in a three-point fermion loop and the emergent SYK physics

abstract: We investigate the electronic properties of the boson mode in a three-point fermion loop. In this framwork, the single-particle excitation and the many-body local (in imaginary time and momentum space) field effects are investigated in IR or UV limits with the density fluctuation induced by external potential (or bosonic frequency). While in the limit of vanishing effect of external potential, which is equivalent to UV limit of the fermionic frequency, the conserving approximation can be applied together with the Luttinger-Ward analysis, in which case the anomalous contribution to the fermion self-energy or the expectation value of many-body interaction term, which is $g^{2}\langle \Delta^{\dag}\Delta\rangle$ ($g$ is the irreducible particle-particle vertex and $\Delta$ is the boson field operator), vanishes, and results in a Hartree-Fock type momentum- and frequency-independent fermion self-energy. The correlator $\langle\Delta^{\dag}\Delta\rangle$ is positive which can be obtained through the local moment sum rule of dynamical susceptibility.


title: Who killed Lilly Kane? A case study in applying knowledge graphs to crime fiction

abstract: We present a preliminary study of a knowledge graph created from season one of the television show Veronica Mars, which follows the eponymous young private investigator as she attempts to solve the murder of her best friend Lilly Kane. We discuss various techniques for mining the knowledge graph for clues and potential suspects. We also discuss best practice for collaboratively constructing knowledge graphs from television shows.


title: The Interpretable Dictionary in Sparse Coding

abstract: Artificial neural networks (ANNs), specifically deep learning networks, have often been labeled as black boxes due to the fact that the internal representation of the data is not easily interpretable. In our work, we illustrate that an ANN, trained using sparse coding under specific sparsity constraints, yields a more interpretable model than the standard deep learning model. The dictionary learned by sparse coding can be more easily understood and the activations of these elements creates a selective feature output. We compare and contrast our sparse coding model with an equivalent feed forward convolutional autoencoder trained on the same data. Our results show both qualitative and quantitative benefits in the interpretation of the learned sparse coding dictionary as well as the internal activation representations.


title: Rheology finds distinct glass and jamming transitions in emulsions

abstract: We study the rheology of monodisperse and bidisperse emulsions with various droplet sizes (1 $\mu$m -- 2 $\mu$m diameter). Above a critical volume fraction $\phi_c$, these systems exhibit solid-like behavior and a yield stress can be detected. Previous experiments suggest that for small thermal particles, rheology will see a glass transition at $\phi_c = \phi_g =0.58$; for large athermal systems, rheology will see a jamming transition at $\phi_c = \phi_J =0.64$. However, simulations point out that at the crossover of thermal and athermal regimes, the glass and jamming transitions may both be observed in the same sample. Here we conduct an experiment by shearing four oil-in-water emulsions with a rheometer. We observe both a glass and a jamming transition for our smaller diameter droplets, and only a jamming transition for our larger diameter droplets. The bidisperse sample behaves similarly to the small droplet sample, with two transitions observed. Our rheology data are well-fit by both the Herschel-Bulkley model and the Three Component model. Based on the fitting parameters, our raw rheological data would not collapse onto a master curve. Our results suggest that liquid-solid transitions in dispersions may not be universal, but depend on particle type.


title: Acoustic span embeddings for multilingual query-by-example search

abstract: Query-by-example (QbE) speech search is the task of matching spoken queries to utterances within a search collection. In low- or zero-resource settings, QbE search is often addressed with approaches based on dynamic time warping (DTW). Recent work has found that methods based on acoustic word embeddings (AWEs) can improve both performance and search speed. However, prior work on AWE-based QbE has primarily focused on English data and with single-word queries. In this work, we generalize AWE training to spans of words, producing acoustic span embeddings (ASE), and explore the application of ASE to QbE with arbitrary-length queries in multiple unseen languages. We consider the commonly used setting where we have access to labeled data in other languages (in our case, several low-resource languages) distinct from the unseen test languages. We evaluate our approach on the QUESST 2015 QbE tasks, finding that multilingual ASE-based search is much faster than DTW-based search and outperforms the best previously published results on this task.


title: Universality of noise-induced resilience restoration in spatially-extended ecological systems

abstract: Many systems may switch to an undesired state due to internal failures or external perturbations, of which critical transitions toward degraded ecosystem states are a prominent example. Resilience restoration focuses on the ability of spatially-extended systems and the required time to recover to their desired states under stochastic environmental conditions. While mean-field approaches may guide recovery strategies by indicating the conditions needed to destabilize undesired states, these approaches are not accurately capturing the transition process toward the desired state of spatially-extended systems in stochastic environments. The difficulty is rooted in the lack of mathematical tools to analyze systems with high dimensionality, nonlinearity, and stochastic effects. We bridge this gap by developing new mathematical tools that employ nucleation theory in spatially-embedded systems to advance resilience restoration. We examine our approach on systems following mutualistic dynamics and diffusion models, finding that systems may exhibit single-cluster or multi-cluster phases depending on their sizes and noise strengths, and also construct a new scaling law governing the restoration time for arbitrary system size and noise strength in two-dimensional systems. This approach is not limited to ecosystems and has applications in various dynamical systems, from biology to infrastructural systems.


title: Disordered biopolymer filament bundles: Topological defects and kinks

abstract: Bundles of stiff filaments are ubiquitous in the living world, found both in the cytoskeleton and in the extracellular medium. These bundles are typically held together by smaller cross-linking molecules. We demonstrate analytically, numerically and experimentally that such bundles can be kinked, i.e., have localized regions of high curvature that are long-lived metastable states. We propose three possible mechanisms of kink stabilization: a difference in trapped length of the filament segments between two cross links; a dislocation where the endpoint of a filament occurs within the bundle, and the braiding of the filaments in the bundle. At a high concentration of cross links, the last two effects lead to the topologically protected kinked states. Finally, we explore numerically and analytically the transition of the metastable kinked state to the stable straight bundle.


title: Links of Second Smallest Knot Floer Homology

abstract: We prove that the rank of knot Floer homology detects the Hopf links, and generalize this result further to classify the links of the second smallest knot Floer homology. We also prove a knot Floer homology analog of arXiv:1910.04246v1 [math.GT] and give a partial answer to when the equality holds in the rank inequality between the knot Floer homology of a link and its sublinks.


title: On the algebraic K-theory of 3-manifold groups

abstract: We provide descriptions of the Whitehead groups, and the algebraic $K$-theory groups, of the fundamental group of a connected, oriented, closed $3$-manifold in terms of Whitehead groups of their finite subgroups and certain Nil-groups. The main tools we use are: the K-theoretic Farrell-Jones isomorphism conjecture, the construction of models for the universal space for the family of virtually cyclic subgroups in 3-manifold groups, and both the prime and JSJ-decompositions together with the well-known geometrization theorem.


title: Highly enhanced contributions of heavy Higgs bosons and new leptons to muon $g-2$ and prospects at future colliders

abstract: We show that in a two Higgs doublet model type-II extended by vectorlike leptons the contributions from heavy neutral and charged Higgs bosons to the anomalous magnetic moment of the muon simultaneously feature chiral enhancement from masses of new leptons and $\tan^2 \beta$ enhancement from couplings of Higgs bosons. Assuming moderate values of new Yukawa couplings, not exceeding one, that can remain perturbative to very high energy scales, the measured value of muon $g-2$ can be explained within one standard deviation even with 6.5 TeV leptons or 20 TeV Higgs bosons. Allowing new couplings near the perturbativity limit, these mass ranges extend to 45 TeV for leptons and 190 TeV for Higgs bosons. In spite of the high scale of new physics this scenario can be completely probed at planned future colliders.


title: Quantum transport in a combined kicked rotor and quantum walk system

abstract: We present a theoretical and numerical study of the competition between two opposite interference effects, namely interference-induced ballistic transport on one hand, and strong (Anderson) localization on the other. While the former effect allows for resistance free transport, the latter brings the transport to a complete halt. As a model system, we consider the quantum kicked rotor, where strong localization is observed in the discrete momentum coordinate. In this model, we introduce the ballistic transport in the form of a Hadamard quantum walk in that momentum coordinate. The two transport mechanisms are combined by alternating the corresponding Floquet operators. Extending the corresponding calculation for the kicked rotor, we estimate the classical diffusion coefficient for thecombined dynamics. Another argument, based on the introduction of an effective Heisenberg time should then allow to estimate the localization time and the localization length. While this is known to work reasonably well in the kicked rotor case, we find that it fails in our case. While the combined dynamics still shows localization, it takes place at much larger times and shows much larger localization lengths than predicted. Finally, we combine the kicked rotor with other types of quantum walks, namely diffusive and localizing quantum walks. In the diffusive case, the localizing dynamics of the kicked rotor is completely canceled and we get pure diffusion. In the case of the localizing quantum walk, the combined system remains localized, but with a larger localization length.


title: MonoRec: Semi-Supervised Dense Reconstruction in Dynamic Environments from a Single Moving Camera

abstract: In this paper, we propose MonoRec, a semi-supervised monocular dense reconstruction architecture that predicts depth maps from a single moving camera in dynamic environments. MonoRec is based on a multi-view stereo setting which encodes the information of multiple consecutive images in a cost volume. To deal with dynamic objects in the scene, we introduce a MaskModule that predicts moving object masks by leveraging the photometric inconsistencies encoded in the cost volumes. Unlike other multi-view stereo methods, MonoRec is able to reconstruct both static and moving objects by leveraging the predicted masks. Furthermore, we present a novel multi-stage training scheme with a semi-supervised loss formulation that does not require LiDAR depth values. We carefully evaluate MonoRec on the KITTI dataset and show that it achieves state-of-the-art performance compared to both multi-view and single-view methods. With the model trained on KITTI, we further demonstrate that MonoRec is able to generalize well to both the Oxford RobotCar dataset and the more challenging TUM-Mono dataset recorded by a handheld camera. Code and related materials will be available at https://vision.in.tum.de/research/monorec.


title: Black hole singularity resolution via the modified Raychaudhuri equation in loop quantum gravity

abstract: We derive loop quantum gravity corrections to the Raychaudhuri equation in the interior of a Schwarzschild black hole and near the classical singularity. We show that the resulting effective equation implies defocusing of geodesics due to the appearance of repulsive terms. This prevents the formation of conjugate points, renders the singularity theorems inapplicable, and leads to the resolution of the singularity for this spacetime.


title: Chain Conditions for Etale Groupoid Algebras

abstract: Let $R$ be a unital commutative ring with unit and $\mathscr{G}$ an ample groupoid. Using the topology of the groupoid $\mathscr{G}$, Steinberg defined an etale groupoid algebra $R\mathscr{G}$. These etale groupoid algebras generalize various algebras including group algebras, commutative algebras over a field generated by idempotents, traditional groupoid algebras, Leavitt path algebras, higher-rank graph algebras, and inverse semigroup algebras. Steinberg later characterized the classical chain conditions for etale groupoid algebras. We characterize categorically noetherian and artinian, locally noetherian and artinian, and semisimple etale groupoid algebras, generalizing existing results for Leavitt path algebras.


title: Large-amplitude modulation of periodic traveling waves

abstract: We introduce a new approach to the study of modulation of high-frequency periodic wave patterns, based on pseudodifferential analysis, multi-scale expansion, and Kreiss symmetrizer estimates like those in hyperbolic and hyperbolic-parabolic boundary-value theory. Key ingredients are local Floquet transformation as a preconditioner removing large derivatives in the normal direction of background rapidly oscillating fronts and the use of the periodic Evans function of Gardner to connect spectral information on component periodic waves to block structure of the resulting approximately constant-coefficient resolvent ODEs. Our main result is bounded-time existence and valitidy to all orders of large-amplitude smooth modulations of planar periodic solutions of multi-D reaction diffusion systems in the high-frequency/small wavelength limit.


title: Synth2Aug: Cross-domain speaker recognition with TTS synthesized speech

abstract: In recent years, Text-To-Speech (TTS) has been used as a data augmentation technique for speech recognition to help complement inadequacies in the training data. Correspondingly, we investigate the use of a multi-speaker TTS system to synthesize speech in support of speaker recognition. In this study we focus the analysis on tasks where a relatively small number of speakers is available for training. We observe on our datasets that TTS synthesized speech improves cross-domain speaker recognition performance and can be combined effectively with multi-style training. Additionally, we explore the effectiveness of different types of text transcripts used for TTS synthesis. Results suggest that matching the textual content of the target domain is a good practice, and if that is not feasible, a transcript with a sufficiently large vocabulary is recommended.


title: When Machine Learning Meets Privacy: A Survey and Outlook

abstract: The newly emerged machine learning (e.g. deep learning) methods have become a strong driving force to revolutionize a wide range of industries, such as smart healthcare, financial technology, and surveillance systems. Meanwhile, privacy has emerged as a big concern in this machine learning-based artificial intelligence era. It is important to note that the problem of privacy preservation in the context of machine learning is quite different from that in traditional data privacy protection, as machine learning can act as both friend and foe. Currently, the work on the preservation of privacy and machine learning (ML) is still in an infancy stage, as most existing solutions only focus on privacy problems during the machine learning process. Therefore, a comprehensive study on the privacy preservation problems and machine learning is required. This paper surveys the state of the art in privacy issues and solutions for machine learning. The survey covers three categories of interactions between privacy and machine learning: (i) private machine learning, (ii) machine learning aided privacy protection, and (iii) machine learning-based privacy attack and corresponding protection schemes. The current research progress in each category is reviewed and the key challenges are identified. Finally, based on our in-depth analysis of the area of privacy and machine learning, we point out future research directions in this field.


title: An end-to-end data-driven optimisation framework for constrained trajectories

abstract: Many real-world problems require to optimise trajectories under constraints. Classical approaches are based on optimal control methods but require an exact knowledge of the underlying dynamics, which could be challenging or even out of reach. In this paper, we leverage data-driven approaches to design a new end-to-end framework which is dynamics-free for optimised and realistic trajectories. We first decompose the trajectories on function basis, trading the initial infinite dimension problem on a multivariate functional space for a parameter optimisation problem. A maximum \emph{a posteriori} approach which incorporates information from data is used to obtain a new optimisation problem which is regularised. The penalised term focuses the search on a region centered on data and includes estimated linear constraints in the problem. We apply our data-driven approach to two settings in aeronautics and sailing routes optimisation, yielding commanding results. The developed approach has been implemented in the Python library PyRotor.


title: A precise asteroseismic age and metallicity for HD 139614: a pre-main-sequence star with a protoplanetary disc in Upper-Centaurus Lupus

abstract: HD\,139614 is known to be a $\sim$14-Myr-old, possibly pre-main-sequence star in the Sco-Cen OB association in the Upper Centaurus-Lupus subgroup, with a slightly warped circumstellar disc containing ring structures hinting at one or more planets. The star's chemical abundance pattern is metal-deficient except for volatile elements, which places it in the $\lambda$ Boo class and suggests it has recently accreted gas-rich but dust-poor material. We identify seven dipole and four radial pulsation modes among its $\delta$ Sct pulsations using the TESS light curve and an \'echelle diagram. Precision modelling with the MESA stellar evolution and GYRE stellar oscillation programs confirms it is on the pre-main sequence. Asteroseismic, grid-based modelling suggests an age of $10.75\pm0.77$ Myr, a mass of $1.52\pm0.02$ M$_{\odot}$, and a global metal abundance of $Z=0.0100\pm0.0010$. This represents the first asteroseismic determination of the bulk metallicity of a $\lambda$ Boo star. The precise age and metallicity offer a benchmark for age estimates in Upper Centaurus--Lupus, and for understanding disc retention and planet formation around intermediate-mass stars.


title: Example of exponentially enhanced magnetic reconnection driven by a spatially-bounded and laminar ideal flow

abstract: In laboratory and natural plasmas of practical interest, the spatial scale $\Delta_d$ at which magnetic field lines lose distinguishability differs enormously from the scale $a$ of magnetic reconnection across the field lines. In the solar corona, plasma resistivity gives $a/\Delta_d\sim10^{12}$, which is the magnetic Reynold number $R_m$. The traditional resolution of the paradox of disparate scales is for the current density $j$ associated with the reconnecting field $B_{rec}$ to be concentrated by a factor of $R_m$ by the ideal evolution, so $ j\sim B_{rec}/\mu_0\Delta_d$. A second resolution is for the ideal evolution to increase the ratio of the maximum to minimum separation between pairs of arbitrarily chosen magnetic field lines, $\Delta_{max}/\Delta_{min}$, when calculated at various points in time. Reconnection becomes inevitable where $\Delta_{max}/\Delta_{min}\sim R_m$. A simple model of the solar corona will be used for a numerical illustration that the natural rate of increase in time is linear for the current density but exponential for $\Delta_{max}/\Delta_{min}$. Reconnection occurs on a time scale and with a current density enhanced by only $\ln(a/\Delta_d)$ from the ideal evolution time and from the current density $B_{rec}/\mu_0a$. In both resolutions, once a sufficiently wide region, $\Delta_r$, has undergone reconnection, the magnetic field loses static force balance and evolves on an Alfv\'enic time scale. The Alfv\'enic evolution is intrinsically ideal but expands the region in which $\Delta_{max}/\Delta_{min}$ is large.


title: Complete Lie algebroid actions and the integrability of Lie algebroids

abstract: We give a new proof of the equivalence between the existence of a complete action of a Lie algebroid on a surjective submersion and its integrability. The main tools in our approach are double Lie groupoids and multiplicative foliations, our proof relies on a simple characterization of those vacant double Lie groupoids which induce a Lie groupoid structure on their orbit spaces.


title: Viscous-like forces control the impact response of shear-thickening dense suspensions

abstract: We experimentally and theoretically study impacts into dense cornstarch and water suspensions. We vary impact speed as well as intruder size, shape, and mass, and we characterize the resulting dynamics using high-speed video and an onboard accelerometer. We numerically solve previously proposed models, most notably the added-mass model as well as a class of {viscous-like} models. In the {viscous-like models}, the intruder dynamics are dominated by {large, viscous-like forces} at the boundary of the jammed front {where large shear rates and accompanying large viscosities are present.} We find that our experimental data are consistent with this class of models and inconsistent with the added mass model. Our results strongly suggest that the added-mass model, which is the dominant model for understanding the dynamics of impact into shear-thickening dense suspensions, should be updated to include these viscous-like forces.


title: Sequential Transmission Matrix Evaluation Via Spatiotemporal Transmitted Modes Decomposition

abstract: The transmission matrix (TM) is a representation to describe the light scattering process through a scattering medium. The degree of control elements in TM is correlated with the capacity of evaluating enormous equations with tremendous number of unknow parameters, which seriously restricts the efficiency and accuracy of TM, and thus further confines applications such as image recovery. To completely remove this restriction, we propose decomposing TM and sequentially acquiring the dimension reduced decompositions regarding to the time and space invariance nature of transmitted field behind scattering medium. This proposed approach would not only have the ability to achieve high dimension transmission matrix with fully controllable elements, but also brings optimized signal-to-noise ratio during evaluation processing, which provides researchers a way to reach maximal focusing efficiency or image reconstruction resolution.


title: Delayed Feedback Modeling for the Entire Space Conversion Rate Prediction

abstract: Estimating post-click conversion rate (CVR) accurately is crucial in E-commerce. However, CVR prediction usually suffers from three major challenges in practice: i) data sparsity: compared with impressions, conversion samples are often extremely scarce; ii) sample selection bias: conventional CVR models are trained with clicked impressions while making inference on the entire space of all impressions; iii) delayed feedback: many conversions can only be observed after a relatively long and random delay since clicks happened, resulting in many false negative labels during training. Previous studies mainly focus on one or two issues while ignoring the others. In this paper, we propose a novel neural network framework ESDF to tackle the above three challenges simultaneously. Unlike existing methods, ESDF models the CVR prediction from a perspective of entire space, and combines the advantage of user sequential behavior pattern and the time delay factor. Specifically, ESDF utilizes sequential behavior of user actions on the entire space with all impressions to alleviate the sample selection bias problem. By sharing the embedding parameters between CTR and CVR networks, data sparsity problem is greatly relieved. Different from conventional delayed feedback methods, ESDF does not make any special assumption about the delay distribution. We discretize the delay time by day slot and model the probability based on survival analysis with deep neural network, which is more practical and suitable for industrial situations. Extensive experiments are conducted to evaluate the effectiveness of our method. To the best of our knowledge, ESDF is the first attempt to unitedly solve the above three challenges in CVR prediction area.


title: REPAINT: Knowledge Transfer in Deep Reinforcement Learning

abstract: Accelerating learning processes for complex tasks by leveraging previously learned tasks has been one of the most challenging problems in reinforcement learning, especially when the similarity between source and target tasks is low. This work proposes REPresentation And INstance Transfer (REPAINT) algorithm for knowledge transfer in deep reinforcement learning. REPAINT not only transfers the representation of a pre-trained teacher policy in the on-policy learning, but also uses an advantage-based experience selection approach to transfer useful samples collected following the teacher policy in the off-policy learning. Our experimental results on several benchmark tasks show that REPAINT significantly reduces the total training time in generic cases of task similarity. In particular, when the source tasks are dissimilar to, or sub-tasks of, the target tasks, REPAINT outperforms other baselines in both training-time reduction and asymptotic performance of return scores.


title: Uniform auxiliary space preconditioning for HDG methods for elliptic operators with a parameter dependent low order term

abstract: The auxiliary space preconditioning (ASP) technique is applied to the HDG schemes for three different elliptic problems with a parameter dependent low order term, namely, a symmetric interior penalty HDG scheme for the scalar reaction-diffusion equation, a divergence-conforming HDG scheme for a vectorial reaction-diffusion equation, and a C 0 -continuous interior penalty HDG scheme for the generalized biharmonic equation with a low order term. Uniform preconditioners are obtained for each case and the general ASP theory by J. Xu [21] is used to prove the optimality with respect to the mesh size and uniformity with respect to the low order parameter.


title: RTFN: A Robust Temporal Feature Network for Time Series Classification

abstract: Time series data usually contains local and global patterns. Most of the existing feature networks pay more attention to local features rather than the relationships among them. The latter is, however, also important yet more difficult to explore. To obtain sufficient representations by a feature network is still challenging. To this end, we propose a novel robust temporal feature network (RTFN) for feature extraction in time series classification, containing a temporal feature network (TFN) and an LSTM-based attention network (LSTMaN). TFN is a residual structure with multiple convolutional layers. It functions as a local-feature extraction network to mine sufficient local features from data. LSTMaN is composed of two identical layers, where attention and long short-term memory (LSTM) networks are hybridized. This network acts as a relation extraction network to discover the intrinsic relationships among the extracted features at different positions in sequential data. In experiments, we embed RTFN into a supervised structure as a feature extractor and into an unsupervised structure as an encoder, respectively. The results show that the RTFN-based structures achieve excellent supervised and unsupervised performance on a large number of UCR2018 and UEA2018 datasets.


title: Two consequences of Davies's Hardy inequality

abstract: In this short note we would like to show that one can use Davies's Hardy inequality to rederive well-known results of Lieb and Rozenblum.


title: Dissecting Image Crops

abstract: The elementary operation of cropping underpins nearly every computer vision system, ranging from data augmentation and translation invariance to computational photography and representation learning. This paper investigates the subtle traces introduced by this operation. For example, despite refinements to camera optics, lenses will leave behind certain clues, notably chromatic aberration and vignetting. Photographers also leave behind other clues relating to image aesthetics and scene composition. We study how to detect these traces, and investigate the impact that cropping has on the image distribution. While our aim is to dissect the fundamental impact of spatial crops, there are also a number of practical implications to our work, such as revealing faulty photojournalism and equipping neural network researchers with a better understanding of shortcut learning. Code is available at https://github.com/basilevh/dissecting-image-crops.


title: Entropic Bounds as Uncertainty Measure of Unitary Operators

abstract: We reformulate the notion of uncertainty of pairs of unitary operators within the context of guessing games and derive an entropic uncertainty relation for a pair of such operators. We show how distinguishable operators are compatible while maximal incompatibility of unitary operators can be connected to bases for some subspace of operators which are mutually unbiased.


title: Spectral convergence in geometric quantization on $K3$ surfaces

abstract: We study the geometric quantization on $K3$ surfaces from the viewpoint of the spectral convergence. We take a special Lagrangian fibrations on the $K3$ surfaces and a family of hyper-K\"ahler structures tending to large complex structure limit, and show a spectral convergence of the $\bar{\partial}$-Laplacians on the prequantum line bundle to the spectral structure related to the set of Bohr-Sommerfeld fibers.


title: Comparisons among different stochastic selection of activation layers for convolutional neural networks for healthcare

abstract: Classification of biological images is an important task with crucial application in many fields, such as cell phenotypes recognition, detection of cell organelles and histopathological classification, and it might help in early medical diagnosis, allowing automatic disease classification without the need of a human expert. In this paper we classify biomedical images using ensembles of neural networks. We create this ensemble using a ResNet50 architecture and modifying its activation layers by substituting ReLUs with other functions. We select our activations among the following ones: ReLU, leaky ReLU, Parametric ReLU, ELU, Adaptive Piecewice Linear Unit, S-Shaped ReLU, Swish , Mish, Mexican Linear Unit, Gaussian Linear Unit, Parametric Deformable Linear Unit, Soft Root Sign (SRS) and others. As a baseline, we used an ensemble of neural networks that only use ReLU activations. We tested our networks on several small and medium sized biomedical image datasets. Our results prove that our best ensemble obtains a better performance than the ones of the naive approaches. In order to encourage the reproducibility of this work, the MATLAB code of all the experiments will be shared at https://github.com/LorisNanni.


title: Peer Offloading with Delayed Feedback in Fog Networks

abstract: Comparing to cloud computing, fog computing performs computation and services at the edge of networks, thus relieving the computation burden of the data center and reducing the task latency of end devices. Computation latency is a crucial performance metric in fog computing, especially for real-time applications. In this paper, we study a peer computation offloading problem for a fog network with unknown dynamics. In this scenario, each fog node (FN) can offload their computation tasks to neighboring FNs in a time slot manner. The offloading latency, however, could not be fed back to the task dispatcher instantaneously due to the uncertainty of the processing time in peer FNs. Besides, peer competition occurs when different FNs offload tasks to one FN at the same time. To tackle the above difficulties, we model the computation offloading problem as a sequential FN selection problem with delayed information feedback. Using adversarial multi-arm bandit framework, we construct an online learning policy to deal with delayed information feedback. Different contention resolution approaches are considered to resolve peer competition. Performance analysis shows that the regret of the proposed algorithm, or the performance loss with suboptimal FN selections, achieves a sub-linear order, suggesting an optimal FN selection policy. In addition, we prove that the proposed strategy can result in a Nash equilibrium (NE) with all FNs playing the same policy. Simulation results validate the effectiveness of the proposed policy.


title: Stochastic Motion Planning under Partial Observability for Mobile Robots with Continuous Range Measurements

abstract: In this paper, we address the problem of stochastic motion planning under partial observability, more specifically, how to navigate a mobile robot equipped with continuous range sensors such as LIDAR. In contrast to many existing robotic motion planning methods, we explicitly consider the uncertainty of the robot state by modeling the system as a POMDP. Recent work on general purpose POMDP solvers is typically limited to discrete observation spaces, and does not readily apply to the proposed problem due to the continuous measurements from LIDAR. In this work, we build upon an existing Monte Carlo Tree Search method, POMCP, and propose a new algorithm POMCP++. Our algorithm can handle continuous observation spaces with a novel measurement selection strategy. The POMCP++ algorithm overcomes over-optimism in the value estimation of a rollout policy by removing the implicit perfect state assumption at the rollout phase. We validate POMCP++ in theory by proving it is a Monte Carlo Tree Search algorithm. Through comparisons with other methods that can also be applied to the proposed problem, we show that POMCP++ yields significantly higher success rate and total reward.


title: Adaptive Observation-Based Efficient Reinforcement Learning for Uncertain Systems

abstract: This paper develops an adaptive observation-based efficient reinforcement learning (RL) approach for systems with uncertain drift dynamics. A novel concurrent learning adaptive extended observer (CL-AEO) is first designed to jointly estimate the system state and parameter. This observer has a two-timescale structure and doesn't require any additional numerical techniques to calculate the state derivative information. The idea of concurrent learning (CL) is leveraged to use the recorded data, which leads to a relaxed verifiable excitation condition for the convergence of parameter estimation. Based on the estimated state and parameter provided by the CL-AEO, a simulation of experience based RL scheme is developed to online approximate the optimal control policy. Rigorous theoretical analysis is given to show that the practical convergence of the system state to the origin and the developed policy to the ideal optimal policy can be achieved without the persistence of excitation (PE) condition. Finally, the effectiveness and superiority of the developed methodology are demonstrated via comparative simulations.


title: Brans-Dicke analogue of the Roberts geometry

abstract: We report a new one-parameter family of spherically symmetric, inhomogeneous, and time-dependent solutions of the vacuum Brans-Dicke field equations which are conformal to the Roberts scalar field geometries of Einstein gravity. The new solution is spherical and time-dependent and contains a naked central singularity. We use it as a seed to generate another two-parameter family of solutions using a known symmetry of vacuum Brans-Dicke gravity.


title: Structural Equivalence in Graphs and Complete Skeletons

abstract: Two vertices $u$ and $v$ of a graph $\Gamma$ are strucuturally equivalent if and only if the transposition $(u\,v)$ is in Aut($\Gamma$), the automorphism group of $\Gamma$. Some properties of structural equivalence and the group of vertex permutations generated by the transpositions in Aut($\Gamma$) are discussed, along with the prime graphs of these groups. The notion of structural equivalence is used to develop a way of reconfiguring graphs into what are called their complete skeletons, which is closely related to compression graphs. Finally, the complete skeleton of a graph $\Gamma$, denoted $\Omega(\Gamma)$, is used to find a formula for rank$(I+A(\Gamma))$, which is helpful for determining the multiplicity of the -1 eigenvalue of $\Gamma$.


title: Benchmarking Inference Performance of Deep Learning Models on Analog Devices

abstract: Analog hardware implemented deep learning models are promising for computation and energy constrained systems such as edge computing devices. However, the analog nature of the device and the associated many noise sources will cause changes to the value of the weights in the trained deep learning models deployed on such devices. In this study, systematic evaluation of the inference performance of trained popular deep learning models for image classification deployed on analog devices has been carried out, where additive white Gaussian noise has been added to the weights of the trained models during inference. It is observed that deeper models and models with more redundancy in design such as VGG are more robust to the noise in general. However, the performance is also affected by the design philosophy of the model, the detailed structure of the model, the exact machine learning task, as well as the datasets.


title: A Data-Driven Automatic Tuning Method for MPC under Uncertainty using Constrained Bayesian Optimization

abstract: The closed-loop performance of model predictive controllers (MPCs) is sensitive to the choice of prediction models, controller formulation, and tuning parameters. However, prediction models are typically optimized for prediction accuracy instead of performance, and MPC tuning is typically done manually to satisfy (probabilistic) constraints. In this work, we demonstrate a general approach for automating the tuning of MPC under uncertainty. In particular, we formulate the automated tuning problem as a constrained black-box optimization problem that can be tackled with derivative-free optimization. We rely on a constrained variant of Bayesian optimization (BO) to solve the MPC tuning problem that can directly handle noisy and expensive-to-evaluate functions. The benefits of the proposed automated tuning approach are demonstrated on a benchmark continuously stirred tank reactor example.


title: Unsupervised Discovery of Disentangled Manifolds in GANs

abstract: As recent generative models can generate photo-realistic images, people seek to understand the mechanism behind the generation process. Interpretable generation process is beneficial to various image editing applications. In this work, we propose a framework to discover interpretable directions in the latent space given arbitrary pre-trained generative adversarial networks. We propose to learn the transformation from prior one-hot vectors representing different attributes to the latent space used by pre-trained models. Furthermore, we apply a centroid loss function to improve consistency and smoothness while traversing through different directions. We demonstrate the efficacy of the proposed framework on a wide range of datasets. The discovered direction vectors are shown to be visually corresponding to various distinct attributes and thus enable attribute editing.


title: The necessary and sufficient conditions for the real Jacobian conjecture

abstract: The real Jacobian conjecture claims that if $F=\left(f^1,\ldots,f^n\right):\mathbb{R}^n\rightarrow \mathbb{R}^n$ is a polynomial map such that $\det DF$ is nowhere zero, then $F$ is a global injective. The first part is to study the two-dimensional real Jacobian conjecture via the method of the qualitative theory of dynamical systems. By Bendixson compactification, an induced polynomial differential system can be obtained from the Hamiltonian system associated to polynomial map $F$. We prove that the following statements are equivalent: (A) $F$ is a global injective; (B) the origin of induced system is a center; (C) the origin of induced system is a monodromic singular point; (D) the origin of induced system has no hyperbolic sectors; (E) induced system has a $C^k$ first integral with an isolated minimun at the origin and $k\in\mathbb{N}^{+}\cup\{\infty\}$. Moreover, applying the above results we present a necessary and sufficient condition for the validity of the two-dimensional real Jacobian conjecture, which is an algebraic criterion. By definition a criterion function, $F$ is a global injective if and only if the limit of criterion function is infinite as $\left|x\right|+\left|y\right|$ tends to infinity. This algebraic criterion improves the main result of Braun et al [J. Differential Equations {\bf 260} (2016) 5250-5258]. In the second part, the necessary and sufficient conditions on the $n$-dimensional real Jacobian conjecture is obtained. Using the tool from the nonlinear functional analysis, $F$ is a global injective if and only if $\parallel F\left(\mathbf{x}\right)\parallel$ approaches to infinite as $\parallel\mathbf{x}\parallel\rightarrow\infty$, which is a generalization of the above algebraic criterion. As an application, we give an alternate proof of the Cima's result on the $n$-dimensional real Jacobian conjecture [Nonlinear Anal. {\bf 26} (1996) 877-885].


title: Densely connected multidilated convolutional networks for dense prediction tasks

abstract: Tasks that involve high-resolution dense prediction require a modeling of both local and global patterns in a large input field. Although the local and global structures often depend on each other and their simultaneous modeling is important, many convolutional neural network (CNN)-based approaches interchange representations in different resolutions only a few times. In this paper, we claim the importance of a dense simultaneous modeling of multiresolution representation and propose a novel CNN architecture called densely connected multidilated DenseNet (D3Net). D3Net involves a novel multidilated convolution that has different dilation factors in a single layer to model different resolutions simultaneously. By combining the multidilated convolution with the DenseNet architecture, D3Net incorporates multiresolution learning with an exponentially growing receptive field in almost all layers, while avoiding the aliasing problem that occurs when we naively incorporate the dilated convolution in DenseNet. Experiments on the image semantic segmentation task using Cityscapes and the audio source separation task using MUSDB18 show that the proposed method has superior performance over state-of-the-art methods.


title: Classification of coadjoint orbits for symplectomorphism groups of surfaces

abstract: We classify generic coadjoint orbits for symplectomorphism groups of compact symplectic surfaces with or without boundary. We also classify simple Morse functions on such surfaces up to a symplectomorphism.


title: AutoWeka4MCPS-AVATAR: Accelerating Automated Machine Learning Pipeline Composition and Optimisation

abstract: Automated machine learning pipeline (ML) composition and optimisation aim at automating the process of finding the most promising ML pipelines within allocated resources (i.e., time, CPU and memory). Existing methods, such as Bayesian-based and genetic-based optimisation, which are implemented in Auto-Weka, Auto-sklearn and TPOT, evaluate pipelines by executing them. Therefore, the pipeline composition and optimisation of these methods frequently require a tremendous amount of time that prevents them from exploring complex pipelines to find better predictive models. To further explore this research challenge, we have conducted experiments showing that many of the generated pipelines are invalid in the first place, and attempting to execute them is a waste of time and resources. To address this issue, we propose a novel method to evaluate the validity of ML pipelines, without their execution, using a surrogate model (AVATAR). The AVATAR generates a knowledge base by automatically learning the capabilities and effects of ML algorithms on datasets' characteristics. This knowledge base is used for a simplified mapping from an original ML pipeline to a surrogate model which is a Petri net based pipeline. Instead of executing the original ML pipeline to evaluate its validity, the AVATAR evaluates its surrogate model constructed by capabilities and effects of the ML pipeline components and input/output simplified mappings. Evaluating this surrogate model is less resource-intensive than the execution of the original pipeline. As a result, the AVATAR enables the pipeline composition and optimisation methods to evaluate more pipelines by quickly rejecting invalid pipelines. We integrate the AVATAR into the sequential model-based algorithm configuration (SMAC). Our experiments show that when SMAC employs AVATAR, it finds better solutions than on its own.


title: The G4i analogue of a G3i calculus

abstract: This paper provides a method to obtain terminating analytic calculi for a large class of intuitionistic modal logics. For a given logic L with a cut-free calculus G that is an extension of G3ip the method produces a terminating analytic calculus that is an extension of G4ip and equivalent to G. G4ip has been introduced by Dyckhoff in 1992 as a terminating analogue of the calculus G3ip for intuitionistic propositional logic. Thus this paper can be viewed as an extension of Dyckhoff's work to intuitionistic modal logic.


title: Particle Track Classification Using Quantum Associative Memory

abstract: Pattern recognition algorithms are commonly employed to simplify the challenging and necessary step of track reconstruction in sub-atomic physics experiments. Aiding in the discrimination of relevant interactions, pattern recognition seeks to accelerate track reconstruction by isolating signals of interest. In high collision rate experiments, such algorithms can be particularly crucial for determining whether to retain or discard information from a given interaction even before the data is transferred to tape. As data rates, detector resolution, noise, and inefficiencies increase, pattern recognition becomes more computationally challenging, motivating the development of higher efficiency algorithms and techniques. Quantum associative memory is an approach that seeks to exploits quantum mechanical phenomena to gain advantage in learning capacity, or the number of patterns that can be stored and accurately recalled. Here, we study quantum associative memory based on quantum annealing and apply it to the particle track classification. We focus on discrimination models based on Ising formulations of quantum associative memory model (QAMM) recall and quantum content-addressable memory (QCAM) recall. We characterize classification performance of these approaches as a function detector resolution, pattern library size, and detector inefficiencies, using the D-Wave 2000Q processor as a testbed. Discrimination criteria is set using both solution-state energy and classification labels embedded in solution states. We find that energy-based QAMM classification performs well in regimes of small pattern density and low detector inefficiency. In contrast, state-based QCAM achieves reasonably high accuracy recall for large pattern density and the greatest recall accuracy robustness to a variety of detector noise sources.


title: Health-Focused Optimal Power Flow

abstract: In this paper, we propose a novel Health-Focused Optimal Power Flow (HF-OPF) to take into account the equipment health in operational and physical constraints. The health condition index is estimated based on the possible fault characteristics for generators and batteries. The paper addresses the need for understanding the relationship between health condition index and the operational constraints in OPF problems. Such a relationship is established through Finite Element Method (FEM)-based simulations. The simulations for generator and battery faults indicate the presence of an inflection point after which effect of fault becomes severe. A microgrid system is used to illustrate the performance of the proposed HF-OPF. The results show that health condition inflicts high cost of generation and can lead to infeasibility even with less critical faults.


title: Solving The Lunar Lander Problem under Uncertainty using Reinforcement Learning

abstract: Reinforcement Learning (RL) is an area of machine learning concerned with enabling an agent to navigate an environment with uncertainty in order to maximize some notion of cumulative long-term reward. In this paper, we implement and analyze two different RL techniques, Sarsa and Deep QLearning, on OpenAI Gym's LunarLander-v2 environment. We then introduce additional uncertainty to the original problem to test the robustness of the mentioned techniques. With our best models, we are able to achieve average rewards of 170+ with the Sarsa agent and 200+ with the Deep Q-Learning agent on the original problem. We also show that these techniques are able to overcome the additional uncertainities and achieve positive average rewards of 100+ with both agents. We then perform a comparative analysis of the two techniques to conclude which agent peforms better.


title: Dual Supervision Framework for Relation Extraction with Distant Supervision and Human Annotation

abstract: Relation extraction (RE) has been extensively studied due to its importance in real-world applications such as knowledge base construction and question answering. Most of the existing works train the models on either distantly supervised data or human-annotated data. To take advantage of the high accuracy of human annotation and the cheap cost of distant supervision, we propose the dual supervision framework which effectively utilizes both types of data. However, simply combining the two types of data to train a RE model may decrease the prediction accuracy since distant supervision has labeling bias. We employ two separate prediction networks HA-Net and DS-Net to predict the labels by human annotation and distant supervision, respectively, to prevent the degradation of accuracy by the incorrect labeling of distant supervision. Furthermore, we propose an additional loss term called disagreement penalty to enable HA-Net to learn from distantly supervised labels. In addition, we exploit additional networks to adaptively assess the labeling bias by considering contextual information. Our performance study on sentence-level and document-level REs confirms the effectiveness of the dual supervision framework.


title: Policy Optimization for Markovian Jump Linear Quadratic Control: Gradient-Based Methods and Global Convergence

abstract: Recently, policy optimization for control purposes has received renewed attention due to the increasing interest in reinforcement learning. In this paper, we investigate the global convergence of gradient-based policy optimization methods for quadratic optimal control of discrete-time Markovian jump linear systems (MJLS). First, we study the optimization landscape of direct policy optimization for MJLS, with static state feedback controllers and quadratic performance costs. Despite the non-convexity of the resultant problem, we are still able to identify several useful properties such as coercivity, gradient dominance, and almost smoothness. Based on these properties, we show global convergence of three types of policy optimization methods: the gradient descent method; the Gauss-Newton method; and the natural policy gradient method. We prove that all three methods converge to the optimal state feedback controller for MJLS at a linear rate if initialized at a controller which is mean-square stabilizing. Some numerical examples are presented to support the theory. This work brings new insights for understanding the performance of policy gradient methods on the Markovian jump linear quadratic control problem.


title: Estimating ages and metallicities of M31 star clusters from LAMOST DR6

abstract: Context. Determining the metallicities and ages of M31 clusters is fundamental to the study of the formation and evolution of M31 itself. The Large Sky Area Multi-Object Fiber Spectroscopic Telescope (LAMOST) has carried out a systematic spectroscopic campaign of clusters and candidates in M31. Aims. We constructed a catalogue of 346 M31 clusters observed by LAMOST. By combining the information of the LAMOST spectra and the multi-band photometry, we developed a new algorithm to estimate the metallicities and ages of these clusters. Methods. We distinguish young clusters from old using random forest classifiers based on a empirical training data set selected from the literature. Ages of young clusters are derived from the spectral energy distribution (SED) fits of their multi-band photometric measurements. Their metallicities are estimated by fitting their observed spectral principal components extracted from the LAMOST spectra with those from the young metal-rich single stellar population (SSP) models. For old clusters, we built non-parameter random forest models between the spectral principal components and/or multi-band colours and the parameters of the clusters based on a training data set constructed from the SSP models. The ages and metallicities of the old clusters are then estimated by fitting their observed spectral principal components extracted from the LAMOST spectra and multi-band colours from the photometric measurements with the resultant random forest models. Results. We derived parameters of 53 young and 293 old clusters in our catalogue. Our resultant parameters are in good agreement with those from the literature. The ages of about 30 catalogued clusters and metallicities of about 40 sources are derived for the first time.


title: On the physical origin of the quantum operator formalism

abstract: We offer a clear physical explanation for the emergence of the quantum operator formalism, by revisiting the role of the vacuum field in quantum mechanics. The vacuum or random zero-point radiation field has been shown previously, using the tools of stochastic electrodynamics, to be central in allowing a particle subject to a conservative binding force to reach a stationary state of motion. Here we focus on the stationary states, and consider the role of the vacuum as a driving force. We observe that the particle responds resonantly to certain field modes. A proper Hamiltonian analysis of this response allows us to unequivocally trace the origin of the basic quantum commutator, by establishing a one-to-one correspondence between the response coefficients of x and p and the respective matrix elements. The (random) driving field variables disappear thus from the description, but their Hamiltonian properties become embodied in the operator formalism. The Heisenberg equations establish the dynamical relationship between the response functions.


title: A Robotic Dating Coaching System Leveraging Online Communities Posts

abstract: Can a robot be a personal dating coach? Even with the increasing amount of conversational data on the internet, the implementation of conversational robots remains a challenge. In particular, a detailed and professional counseling log is expensive and not publicly accessible. In this paper, we develop a robot dating coaching system leveraging corpus from online communities. We examine people's perceptions of the dating coaching robot with a dialogue module. 97 participants joined to have a conversation with the robot, and 30 of them evaluated the robot. The results indicate that participants thought the robot could become a dating coach while considering the robot is entertaining rather than helpful.


title: Intelligent Reflecting Surface Aided MISO Uplink Communication Network: Feasibility and Power Minimization for Perfect and Imperfect CSI

abstract: In this paper, we consider the weighted sum-power minimization under quality-of-service (QoS) constraints in the multi-user multi-input-single-output (MISO) uplink wireless network assisted by intelligent reflecting surface (IRS). We perform a comprehensive investigation on various aspects of this problem. First, when users have sufficient transmit powers, we present a new sufficient condition guaranteeing arbitrary information rate constraints. This result strengthens the feasibility condition in existing literature. Then, we design novel penalty dual decomposition (PDD) based and nonlinear equality constrained alternative direction method of multipliers (neADMM) based solutions to tackle the IRS-dependent-QoS-constraints, which effectively solve the feasibility check and power minimization problems. Besides, we further extend our proposals to the cases where channel status information (CSI) is imperfect and develop an online stochastic algorithm that satisfy QoS constraints stochastically without requiring prior knowledge of CSI errors. Extensive numerical results are presented to verify the effectiveness of our proposed algorithms.


title: Augmented Lagrangian Adversarial Attacks

abstract: Adversarial attack algorithms are dominated by penalty methods, which are slow in practice, or more efficient distance-customized methods, which are heavily tailored to the properties of the distance considered. We propose a white-box attack algorithm to generate minimally perturbed adversarial examples based on Augmented Lagrangian principles. We bring several algorithmic modifications, which have a crucial effect on performance. Our attack enjoys the generality of penalty methods and the computational efficiency of distance-customized algorithms, and can be readily used for a wide set of distances. We compare our attack to state-of-the-art methods on three datasets and several models, and consistently obtain competitive performances with similar or lower computational complexity.


title: GMOT-40: A Benchmark for Generic Multiple Object Tracking

abstract: Multiple Object Tracking (MOT) has witnessed remarkable advances in recent years. However, existing studies dominantly request prior knowledge of the tracking target, and hence may not generalize well to unseen categories. In contrast, Generic Multiple Object Tracking (GMOT), which requires little prior information about the target, is largely under-explored. In this paper, we make contributions to boost the study of GMOT in three aspects. First, we construct the first public GMOT dataset, dubbed GMOT-40, which contains 40 carefully annotated sequences evenly distributed among 10 object categories. In addition, two tracking protocols are adopted to evaluate different characteristics of tracking algorithms. Second, by noting the lack of devoted tracking algorithms, we have designed a series of baseline GMOT algorithms. Third, we perform a thorough evaluation on GMOT-40, involving popular MOT algorithms (with necessary modifications) and the proposed baselines. We will release the GMOT-40 benchmark, the evaluation results, as well as the baseline algorithm to the public upon the publication of the paper.


title: Motives with modulus, III: The categories of motives

abstract: We construct and study a triangulated category of motives with modulus $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$ over a field $k$ that extends Voevodsky's category $\mathbf{DM}_{\mathrm{gm}}^{\mathrm{eff}}$ in such a way as to encompass non-homotopy invariant phenomena. In a similar way as $\mathbf{DM}_{\mathrm{gm}}^{\mathrm{eff}}$ is constructed out of smooth $k$-varieties, $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$ is constructed out of proper modulus pairs, introduced in Part I of this work. To such a modulus pair we associate its motive in $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$. In some cases the $\mathrm{Hom}$ group in $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$ between the motives of two modulus pairs can be described in terms of Bloch's higher Chow groups.