title: All-Fibre Label-Free Nano-Sensor for Real-Time in situ Early Monitoring of Cellular Apoptosis

abstract: The achievement of all-fibre functional nano-modules for subcellular label-free measurement has long been pursued due to the limitations of manufacturing techniques. In this paper, a compact all-fibre label-free nano-sensor composed of a fibre taper and zinc oxide nano-gratings is designed and applied for the early monitoring of apoptosis in single living cells. Because of its nanoscale dimensions, mechanical flexibility and minimal cytotoxicity to cells, the sensing module can be loaded in cells for long-term in situ tracking with high sensitivity. A gradual increase in the nuclear refractive index during the apoptosis process is observed, revealing the increase in molecular density and the decrease in cell volume. The strategy used in this study not only contributes to the understanding of internal environmental variations during cellular apoptosis but also provides a new platform for non-fluorescent all-fibre devices to investigate cellular events and to promote new progress in fundamental cell biochemical engineering.


title: Maintaining Common Ground in Dynamic Environments

abstract: Common grounding is the process of creating and maintaining mutual understandings, which is a critical aspect of sophisticated human communication. While various task settings have been proposed in existing literature, they mostly focus on creating common ground under static context and ignore the aspect of maintaining them overtime under dynamic context. In this work, we propose a novel task setting to study the ability of both creating and maintaining common ground in dynamic environments. Based on our minimal task formulation, we collected a large-scale dataset of 5,617 dialogues to enable fine-grained evaluation and analysis of various dialogue systems. Through our dataset analyses, we highlight novel challenges introduced in our setting, such as the usage of complex spatio-temporal expressions to create and maintain common ground. Finally, we conduct extensive experiments to assess the capabilities of our baseline dialogue system and discuss future prospects of our research.


title: Approximation of the birth process

abstract: Queuing systems with an unlimited number of devices with an incoming nonstationary Poisson flow and a random flow controlled by a Markov chain are investigated. The inexpediency of ap-proximation of the birth process by Poisson flows in long-term forecasting is shown.


title: Grammatical Error Correction as GAN-like Sequence Labeling

abstract: In Grammatical Error Correction (GEC), sequence labeling models enjoy fast inference compared to sequence-to-sequence models; however, inference in sequence labeling GEC models is an iterative process, as sentences are passed to the model for multiple rounds of correction, which exposes the model to sentences with progressively fewer errors at each round. Traditional GEC models learn from sentences with fixed error rates. Coupling this with the iterative correction process causes a mismatch between training and inference that affects final performance. In order to address this mismatch, we propose a GAN-like sequence labeling model, which consists of a grammatical error detector as a discriminator and a grammatical error labeler with Gumbel-Softmax sampling as a generator. By sampling from real error distributions, our errors are more genuine compared to traditional synthesized GEC errors, thus alleviating the aforementioned mismatch and allowing for better training. Our results on several evaluation benchmarks demonstrate that our proposed approach is effective and improves the previous state-of-the-art baseline.


title: Exploiting Position Bias for Robust Aspect Sentiment Classification

abstract: Aspect sentiment classification (ASC) aims at determining sentiments expressed towards different aspects in a sentence. While state-of-the-art ASC models have achieved remarkable performance, they are recently shown to suffer from the issue of robustness. Particularly in two common scenarios: when domains of test and training data are different (out-of-domain scenario) or test data is adversarially perturbed (adversarial scenario), ASC models may attend to irrelevant words and neglect opinion expressions that truly describe diverse aspects. To tackle the challenge, in this paper, we hypothesize that position bias (i.e., the words closer to a concerning aspect would carry a higher degree of importance) is crucial for building more robust ASC models by reducing the probability of mis-attending. Accordingly, we propose two mechanisms for capturing position bias, namely position-biased weight and position-biased dropout, which can be flexibly injected into existing models to enhance representations for classification. Experiments conducted on out-of-domain and adversarial datasets demonstrate that our proposed approaches largely improve the robustness and effectiveness of current models.


title: M6-UFC: Unifying Multi-Modal Controls for Conditional Image Synthesis via Non-Autoregressive Generative Transformers

abstract: Conditional image synthesis aims to create an image according to some multi-modal guidance in the forms of textual descriptions, reference images, and image blocks to preserve, as well as their combinations. In this paper, instead of investigating these control signals separately, we propose a new two-stage architecture, M6-UFC, to unify any number of multi-modal controls. In M6-UFC, both the diverse control signals and the synthesized image are uniformly represented as a sequence of discrete tokens to be processed by Transformer. Different from existing two-stage autoregressive approaches such as DALL-E and VQGAN, M6-UFC adopts non-autoregressive generation (NAR) at the second stage to enhance the holistic consistency of the synthesized image, to support preserving specified image blocks, and to improve the synthesis speed. Further, we design a progressive algorithm that iteratively improves the non-autoregressively generated image, with the help of two estimators developed for evaluating the compliance with the controls and evaluating the fidelity of the synthesized image, respectively. Extensive experiments on a newly collected large-scale clothing dataset M2C-Fashion and a facial dataset Multi-Modal CelebA-HQ verify that M6-UFC can synthesize high-fidelity images that comply with flexible multi-modal controls.


title: Towards a General Many-Sorted Framework for Describing Certain Kinds of Legal Statutes with a Potential Computational Realization

abstract: Examining a 20th-century Scandinavian legal theoretical tradition, we can extract an ontological naturalistic, a logical empiristic, and a modern idealistic rationale. We introduce the mathematical syntactic figure present in the `logical empiricism' in a contemporary mathematical logic. A new formal framework for describing explicit purchase statutes (Sweden) is gradually developed and subsequently proposed. This new framework is based on a many-sorted first-order logic (MFOL) approach, where the semantics are grounded in concrete `physical' objects and situations with a legal relevance. Specifically, we present a concrete formal syntactic translation of one of the central statutes of Swedish legislation for the purchase of immovable property. Additionally, we discuss the potential implications that a subsequent development of such formalisations would have for constructing artificial agents (e.g., software) that can be used as `co-creative' legal assistance for solving highly complex legal issues concerning the transfer of property, among others.


title: Quantum non-demolition measurement based on an SU(1,1)-SU(2)-concatenated atom-light hybrid interferometer

abstract: Quantum non-demolition (QND) measurement is an important tool in the field of quantum information processing and quantum optics. The atom-light hybrid interferometer is of great interest due to its combination of atomic spin wave and optical wave, which can be utilized for photon number QND measurement via the AC-Stark effect. In this paper, we present an SU(1,1)-SU(2)-concatenated atom-light hybrid interferometer, and theoretically study the QND measurement of photon number. Compared to the traditional SU(2) interferometer, the signal-to-noise ratio (SNR) in a balanced case is improved by a gain factor of the nonlinear Raman process (NRP) in this proposed interferometer. Furthermore, the condition of high-quality of QND measurement is analyzed. In the presence of losses, the measurement quality is reduced. We can adjust the gain parameter of the NRP in readout stage to reduce the impact due to losses. Moreover, this scheme is a multiarm interferometer, which has the potential of multiparameter estimation with many important applications in the detection of vector fields, quantum imaging and so on.


title: Predictive Representation Learning for Language Modeling

abstract: To effectively perform the task of next-word prediction, long short-term memory networks (LSTMs) must keep track of many types of information. Some information is directly related to the next word's identity, but some is more secondary (e.g. discourse-level features or features of downstream words). Correlates of secondary information appear in LSTM representations even though they are not part of an \emph{explicitly} supervised prediction task. In contrast, in reinforcement learning (RL), techniques that explicitly supervise representations to predict secondary information have been shown to be beneficial. Inspired by that success, we propose Predictive Representation Learning (PRL), which explicitly constrains LSTMs to encode specific predictions, like those that might need to be learned implicitly. We show that PRL 1) significantly improves two strong language modeling methods, 2) converges more quickly, and 3) performs better when data is limited. Our work shows that explicitly encoding a simple predictive task facilitates the search for a more effective language model.


title: Biomimetic Control of Myoelectric Prosthetic Hand Based on a Lambda-type Muscle Model

abstract: Myoelectric prosthetic hands are intended to replace the function of the amputee's lost arm. Therefore, developing robotic prosthetics that can mimic not only the appearance and functionality of humans but also characteristics unique to human movements is paramount. Although the impedance model was proposed to realize biomimetic control, this model cannot replicate the characteristics of human movements effectively because the joint angle always converges to the equilibrium position during muscle relaxation. This paper proposes a novel biomimetic control method for myoelectric prosthetic hands integrating the impedance model with the concept of the $\lambda$-type muscle model. The proposed method can dynamically control the joint equilibrium position, according to the state of the muscle, and can maintain the joint angle naturally during muscle relaxation. The effectiveness of the proposed method is evaluated through simulations and a series of experiments on non-amputee participants. The experimental results, based on comparison with the actual human joint angles, suggest that the proposed method has a better correlation with the actual human motion than the conventional methods. Additionally, the control experiments showed that the proposed method could achieve a natural prosthetic hand movement similar to that of a human, thereby allowing voluntary hand opening and closing movements.


title: CDMA: A Practical Cross-Device Federated Learning Algorithm for General Minimax Problems

abstract: Minimax problems arise in a wide range of important applications including robust adversarial learning and Generative Adversarial Network (GAN) training. Recently, algorithms for minimax problems in the Federated Learning (FL) paradigm have received considerable interest. Existing federated algorithms for general minimax problems require the full aggregation (i.e., aggregation of local model information from all clients) in each training round. Thus, they are inapplicable to an important setting of FL known as the cross-device setting, which involves numerous unreliable mobile/IoT devices. In this paper, we develop the first practical algorithm named CDMA for general minimax problems in the cross-device FL setting. CDMA is based on a Start-Immediately-With-Enough-Responses mechanism, in which the server first signals a subset of clients to perform local computation and then starts to aggregate the local results reported by clients once it receives responses from enough clients in each round. With this mechanism, CDMA is resilient to the low client availability. In addition, CDMA is incorporated with a lightweight global correction in the local update steps of clients, which mitigates the impact of slow network connections. We establish theoretical guarantees of CDMA under different choices of hyperparameters and conduct experiments on AUC maximization, robust adversarial network training, and GAN training tasks. Theoretical and experimental results demonstrate the efficiency of CDMA.


title: Less is More: Pay Less Attention in Vision Transformers

abstract: Transformers have become one of the dominant architectures in deep learning, particularly as a powerful alternative to convolutional neural networks (CNNs) in computer vision. However, Transformer training and inference in previous works can be prohibitively expensive due to the quadratic complexity of self-attention over a long sequence of representations, especially for high-resolution dense prediction tasks. To this end, we present a novel Less attention vIsion Transformer (LIT), building upon the fact that the early self-attention layers in Transformers still focus on local patterns and bring minor benefits in recent hierarchical vision Transformers. Specifically, we propose a hierarchical Transformer where we use pure multi-layer perceptrons (MLPs) to encode rich local patterns in the early stages while applying self-attention modules to capture longer dependencies in deeper layers. Moreover, we further propose a learned deformable token merging module to adaptively fuse informative patches in a non-uniform manner. The proposed LIT achieves promising performance on image recognition tasks, including image classification, object detection and instance segmentation, serving as a strong backbone for many vision tasks. Code is available at: https://github.com/zhuang-group/LIT


title: A Survey of Deep Reinforcement Learning Algorithms for Motion Planning and Control of Autonomous Vehicles

abstract: In this survey, we systematically summarize the current literature on studies that apply reinforcement learning (RL) to the motion planning and control of autonomous vehicles. Many existing contributions can be attributed to the pipeline approach, which consists of many hand-crafted modules, each with a functionality selected for the ease of human interpretation. However, this approach does not automatically guarantee maximal performance due to the lack of a system-level optimization. Therefore, this paper also presents a growing trend of work that falls into the end-to-end approach, which typically offers better performance and smaller system scales. However, their performance also suffers from the lack of expert data and generalization issues. Finally, the remaining challenges applying deep RL algorithms on autonomous driving are summarized, and future research directions are also presented to tackle these challenges.


title: Machine Learning for Performance Prediction of Channel Bonding in Next-Generation IEEE 802.11 WLANs

abstract: With the advent of Artificial Intelligence (AI)-empowered communications, industry, academia, and standardization organizations are progressing on the definition of mechanisms and procedures to address the increasing complexity of future 5G and beyond communications. In this context, the International Telecommunication Union (ITU) organized the first AI for 5G Challenge to bring industry and academia together to introduce and solve representative problems related to the application of Machine Learning (ML) to networks. In this paper, we present the results gathered from Problem Statement~13 (PS-013), organized by Universitat Pompeu Fabra (UPF), which primary goal was predicting the performance of next-generation Wireless Local Area Networks (WLANs) applying Channel Bonding (CB) techniques. In particular, we overview the ML models proposed by participants (including Artificial Neural Networks, Graph Neural Networks, Random Forest regression, and gradient boosting) and analyze their performance on an open dataset generated using the IEEE 802.11ax-oriented Komondor network simulator. The accuracy achieved by the proposed methods demonstrates the suitability of ML for predicting the performance of WLANs. Moreover, we discuss the importance of abstracting WLAN interactions to achieve better results, and we argue that there is certainly room for improvement in throughput prediction through ML.


title: CoDesc: A Large Code-Description Parallel Dataset

abstract: Translation between natural language and source code can help software development by enabling developers to comprehend, ideate, search, and write computer programs in natural language. Despite growing interest from the industry and the research community, this task is often difficult due to the lack of large standard datasets suitable for training deep neural models, standard noise removal methods, and evaluation benchmarks. This leaves researchers to collect new small-scale datasets, resulting in inconsistencies across published works. In this study, we present CoDesc -- a large parallel dataset composed of 4.2 million Java methods and natural language descriptions. With extensive analysis, we identify and remove prevailing noise patterns from the dataset. We demonstrate the proficiency of CoDesc in two complementary tasks for code-description pairs: code summarization and code search. We show that the dataset helps improve code search by up to 22\% and achieves the new state-of-the-art in code summarization. Furthermore, we show CoDesc's effectiveness in pre-training--fine-tuning setup, opening possibilities in building pretrained language models for Java. To facilitate future research, we release the dataset, a data processing tool, and a benchmark at \url{https://github.com/csebuetnlp/CoDesc}.


title: On the Performance of Blockchain-enabled RAN-as-a-service in Beyond 5G Networks

abstract: Blockchain (BC) technology can revolutionize the future of communications by enabling decentralized and open sharing networks. In this paper, we propose the application of BC to facilitate Mobile Network Operators (MNOs) and other players such as Verticals or Over-The-Top (OTT) service providers to exchange Radio Access Network (RAN) resources (e.g., infrastructure, spectrum) in a secure, flexible and autonomous manner. In particular, we propose a BC-enabled reverse auction mechanism for RAN sharing and dynamic users' service provision in Beyond 5G networks, and we analyze its potential advantages with respect to current service provisioning and RAN sharing schemes. Moreover, we study the delay and overheads incurred by the BC in the whole process, when running over both wireless and wired interfaces.


title: Randomization Inference of Periodicity in Unequally Spaced Time Series with Application to Exoplanet Detection

abstract: The estimation of periodicity is a fundamental task in many scientific areas of study. Existing methods rely on theoretical assumptions that the observation times have equal or i.i.d. spacings, and that common estimators, such as the periodogram peak, are consistent and asymptotically normal. In practice, however, these assumptions are unrealistic as observation times usually exhibit deterministic patterns -- e.g., the nightly observation cycle in astronomy -- that imprint nuisance periodicities in the data. These nuisance signals also affect the finite-sample distribution of estimators, which can substantially deviate from normality. Here, we propose a set identification method, fusing ideas from randomization inference and partial identification. In particular, we develop a sharp test for any periodicity value, and then invert the test to build a confidence set. This approach is appropriate here because the construction of confidence sets does not rely on assumptions of regular or well-behaved asymptotics. Notably, our inference is valid in finite samples when our method is fully implemented, while it can be asymptotically valid under an approximate implementation designed to ease computation. Empirically, we validate our method in exoplanet detection using radial velocity data. In this context, our method correctly identifies the periodicity of the confirmed exoplanets in our sample. For some other, yet unconfirmed detections, we show that the statistical evidence is weak, which illustrates the failure of traditional statistical techniques. Last but not least, our method offers a constructive way to resolve these identification issues via improved observation designs. In exoplanet detection, these designs suggest meaningful improvements in identifying periodicity even when a moderate amount of randomization is introduced in scheduling radial velocity measurements.


title: Theta correspondence for almost unramified representations of unitary groups

abstract: In this note, we introduce the notion of almost unramified representations of quasi-split unitary groups of even ranks with respect to an unramified quadratic extension of local fields, and study their behavior under the local theta correspondence. These representations are in some sense the least ramified representations that have root number $-1$.


title: A Novel Framework Integrating AI Model and Enzymological Experiments Promotes Identification of SARS-CoV-2 3CL Protease Inhibitors and Activity-based Probe

abstract: The identification of protein-ligand interaction plays a key role in biochemical research and drug discovery. Although deep learning has recently shown great promise in discovering new drugs, there remains a gap between deep learning-based and experimental approaches. Here we propose a novel framework, named AIMEE, integrating AI Model and Enzymology Experiments, to identify inhibitors against 3CL protease of SARS-CoV-2, which has taken a significant toll on people across the globe. From a bioactive chemical library, we have conducted two rounds of experiments and identified six novel inhibitors with a hit rate of 29.41%, and four of them showed an IC50 value less than 3 {\mu}M. Moreover, we explored the interpretability of the central model in AIMEE, mapping the deep learning extracted features to domain knowledge of chemical properties. Based on this knowledge, a commercially available compound was selected and proven to be an activity-based probe of 3CLpro. This work highlights the great potential of combining deep learning models and biochemical experiments for intelligent iteration and expanding the boundaries of drug discovery.


title: Extending the Observational Frequency Range for Gravitational Waves in a Pulsar Timing Array

abstract: We provide an observation method for gravitational waves using a pulsar timing array to extend the observational frequency range up to the rotational frequency of pulsars. For this purpose, we perform an analysis of a perturbed electromagnetic wave in perturbed spacetime from the field perspective. We apply the analysis to the received electromagnetic waves in a radio telescope, which partially composes the periodic electromagnetic pulse emitted by a pulsar. For simple observation, two frequency windows are considered. For each window, we propose gauge-invariant quantities and discuss their observations.


title: A Longitudinal Analysis of Bloated Java Dependencies

abstract: We study the evolution and impact of bloated dependencies in a single software ecosystem: Java/Maven. Bloated dependencies are third-party libraries that are packaged in the application binary but are not needed to run the application. We analyze the history of 435 Java projects. This historical data includes 48,469 distinct dependencies, which we study across a total of 31,515 versions of Maven dependency trees. Bloated dependencies steadily increase over time, and 89.02% of the direct dependencies that are bloated remain bloated in all subsequent versions of the studied projects. This empirical evidence suggests that developers can safely remove a bloated dependency. We further report novel insights regarding the unnecessary maintenance efforts induced by bloat. We find that 22% of dependency updates performed by developers are made on bloated dependencies and that Dependabot suggests a similar ratio of updates on bloated dependencies.


title: The expected degree distribution in transient duplication divergence models

abstract: We study the degree distribution of a randomly chosen vertex in a duplication--divergence graph, under a variety of different generalizations of the basic model of Bhan, Galas and Dewey (2002) and V\'azquez, Flammini, Maritan and Vespignani (2003). We pay particular attention to what happens when a non-trivial proportion of the vertices have large degrees, establishing a central limit theorem for the logarithm of the degree distribution. Our approach, as in Jordan (2018) and Hermann and Pfaffelhuber (2021), relies heavily on the analysis of related birth--catastrophe processes, and couplings are used to show that a number of different formulations of the process have asymptotically similar expected degree distributions.


title: Exchange Properties of M-natural-concave Set Functions and Valuated Matroids

abstract: This is a survey article on the exchange properties characterizing M-natural-concave set functions and valuated matroids (M-concave set functions). The objective of this paper is to collect related results scattered in the literature and to give (reasonably) self-contained elementary proofs for them.


title: The Dantzig selector: Recovery of Signal via $\ell_1-\alpha \ell_2$ Minimization

abstract: In the paper, we proposed the Dantzig selector based on the $\ell_{1}-\alpha \ell_{2}$~$(0< \alpha \leq1)$ minimization for the signal recovery. In the Dantzig selector, the constraint $\|{\bf A}^{\top}({\bf b}-{\bf A}{\bf x})\|_\infty \leq \eta$ for some small constant $\eta>0$ means the columns of ${\bf A}$ has very weakly correlated with the error vector ${\bf e}={\bf A}{\bf x}-{\bf b}$. First, recovery guarantees based on the restricted isometry property (RIP) are established for signals. Next, we propose the effective algorithm to solve the proposed Dantzig selector. Last, we illustrate the proposed model and algorithm by extensive numerical experiments for the recovery of signals in the cases of Gaussian, impulsive and uniform noise. And the performance of the proposed Dantzig selector is better than that of the existing methods.


title: Transforming the Latent Space of StyleGAN for Real Face Editing

abstract: Despite recent advances in semantic manipulation using StyleGAN, semantic editing of real faces remains challenging. The gap between the $W$ space and the $W$+ space demands an undesirable trade-off between reconstruction quality and editing quality. To solve this problem, we propose to expand the latent space by replacing fully-connected layers in the StyleGAN's mapping network with attention-based transformers. This simple and effective technique integrates the aforementioned two spaces and transforms them into one new latent space called $W$++. Our modified StyleGAN maintains the state-of-the-art generation quality of the original StyleGAN with moderately better diversity. But more importantly, the proposed $W$++ space achieves superior performance in both reconstruction quality and editing quality. Despite these significant advantages, our $W$++ space supports existing inversion algorithms and editing methods with only negligible modifications thanks to its structural similarity with the $W/W$+ space. Extensive experiments on the FFHQ dataset prove that our proposed $W$++ space is evidently more preferable than the previous $W/W$+ space for real face editing. The code is publicly available for research purposes at https://github.com/AnonSubm2021/TransStyleGAN.


title: Development, Implementation, and Experimental Outdoor Evaluation of Quadcopter Controllers for Computationally Limited Embedded Systems

abstract: Quadcopters are increasingly used for applications ranging from hobby to industrial products and services. This paper serves as a tutorial on the design, simulation, implementation, and experimental outdoor testing of digital quadcopter flight controllers, including Explicit Model Predictive Control, Linear Quadratic Regulator, and Proportional Integral Derivative. A quadcopter was flown in an outdoor testing facility and made to track an inclined, circular path at different tangential velocities under ambient wind conditions. Controller performance was evaluated via multiple metrics, such as position tracking error, velocity tracking error, and onboard computation time. Challenges related to the use of computationally limited embedded hardware and flight in an outdoor environment are addressed with proposed solutions.


title: Identification and Measurement of Technical Debt Requirements in Software Development: a Systematic Literature Review

abstract: Context: Technical Debt requirements are related to the distance between the ideal value of the specification and the system's actual implementation, which are consequences of strategic decisions for immediate gains, or unintended changes in context. To ensure the evolution of the software, it is necessary to keep it managed. Identification and measurement are the first two stages of the management process; however, they are little explored in academic research in requirements engineering. Objective: We aimed at investigating which evidence helps to strengthen the process of TD requirements management, including identification and measurement. Method: We conducted a Systematic Literature Review through manual and automatic searches considering 7499 studies from 2010 to 2020, and including 61 primary studies. Results: We identified some causes related to Technical Debt requirements, existing strategies to help in the identification and measurement, and metrics to support the measurement stage. Conclusion: Studies on TD requirements are still preliminary, especially on management tools. Yet, not enough attention is given to interpersonal issues, which are difficulties encountered when performing such activities, and therefore also require research. Finally, the provision of metrics to help measure TD is part of this work's contribution, providing insights into the application in the requirements context.


title: Realization of all logic gates and memory latch in the SC-CNN cell of the simple nonlinear MLC circuit

abstract: We investigate the State-Controlled Cellular Neural Network (SC-CNN) framework of Murali-Lakshmanan-Chua (MLC) circuit system subjected to two logical signals. By exploiting the attractors generated by this circuit in different regions of phase-space, we show that the nonlinear circuit is capable of producing all the logic gates, namely OR, AND, NOR, NAND, Ex-OR and Ex-NOR gates available in digital systems. Further the circuit system emulates three-input gates and Set-Reset flip-flop logic as well. Moreover, all these logical elements and flip-flop are found to be tolerant to noise. These phenomena are also experimentally demonstrated. Thus our investigation to realize all logic gates and memory latch in a nonlinear circuit system paves the way to replace or complement the existing technology with a limited number of hardware.


title: Spin gauge theory, duality and fermion pairing

abstract: We apply duality transformation to the Abelian Higgs model in 3+1 dimensions in the presence of electrons coupled to the gauge field. The Higgs field is in the symmetry broken phase, where flux strings can form. Dualization brings in an antisymmetric tensor potential $B_{\mu\nu}\,$, which couples to the electrons through a nonlocal interaction which can be interpreted as a coupling to the spin current. It also couples to the string worldsheet and gives rise to a string Higgs mechanism via the condensation of flux strings. In the phase where the $B_{\mu\nu}$ field is massless, the nonlocal interaction implies a linearly rising attractive force between the electrons, which can be interpreted as the result of a pair of strings joining the electrons.


title: On the conjectural decomposition of symmetric powers of automorphic representations for GL(3) and GL(4)

abstract: Given a cuspidal automorphic representation $\pi$ for GL(3) over a number field and a positive integer $k$, assume that the symmetric $m$th power lifts of $\pi$ are isobaric automorphic for $m \leq k$, cuspidal for $m \leq k-1$, and that certain associated Rankin-Selberg products are isobaric automorphic. Then the number of cuspidal isobaric summands in the $k$th symmetric power lift is bounded above by 3 when $k \geq 7$, and bounded above by 2 when $k \geq 19$ with $k \equiv 1 \pmod 3$. We then investigate the analogous problem for GL(4).


title: An application of a Si/CdTe Compton camera for the polarization measurement of hard x-rays from highly charged heavy ions

abstract: The methods to measure the polarization of the x-rays from highly charged heavy ions with a significantly higher accuracy than the existing technology is needed to explore relativistic and quantum electrodynamics (QED) effects including the Breit interaction. We developed the Electron Beam Ion Trap Compton Camera (EBIT-CC), a new Compton polarimeter with pixelated multi-layer silicon and cadmium telluride counters. The EBIT-CC detects the three-dimensional position of Compton scattering and photoelectric absorption, and thus the degree of polarization of incoming x-rays can be evaluated. We attached the EBIT-CC on the Tokyo Electron Beam Ion Trap (Tokyo-EBIT) in the University of Electro-Communications. An experiment was performed to evaluate its polarimetric capability through an observation of radiative recombination x-rays emitted from highly charged krypton ions, which were generated by the Tokyo-EBIT. The Compton camera of the EBIT-CC was calibrated for the 75 keV x-rays. We developed event reconstruction and selection procedures and applied them to every registered event. As a result, we successfully obtained the polarization degree with an absolute uncertainty of 0.02. This uncertainty is small enough to probe the difference between the zero-frequency approximation and full-frequency-dependent calculation for the Breit interaction, which is expected for dielectronic recombination x-rays of highly charged heavy ions.


title: Material survey for millimeter-wave absorber using 3-D printed mold

abstract: Radio absorptive materials (RAMs) are key elements for receivers in the millimeter-wave range. For astronomical applications, cryogenic receivers are widely used to achieve a high-sensitivity. These cryogenic receivers, in particular the receivers for the cosmic microwave background, require that the RAM has low surface reflectance ($\lesssim 1\%$) in a wide frequency range (20--300 GHz) to minimize the undesired stray light to detectors. We develop a RAM that satisfies this requirement based on a production technology using a 3D-printed mold (named as RAM-3pm). This method allows us to shape periodic surface structures to achieve a low reflectance. A wide range of choices for the absorptive materials is an advantage. We survey the best material for the RAM-3pm. We measure the index of refraction ($n$) and the extinction coefficient ($\kappa$) at liquid nitrogen temperature as well as at room temperature of 17 materials. We also measure the reflectance at the room temperature for the selected materials. The mixture of an epoxy adhesive (STYCAST-2850FT) and a carbon fiber (K223HE) achieves the best performance. We estimate the optical performance at the liquid nitrogen temperature by a simulation based on the measured $n$ and $\kappa$. The RAM-3pm made with this material satisfies the requirement except at the lower edge of the frequency range ($\sim$20 GHz). We also estimate the reflectance of a larger pyramidal structure on the surface. We find a design to satisfy our requirement.


title: Green's functions of and emission into discrete anisotropic and hyperbolic baths

abstract: In this work, we study wave propagation in generic Hermitian local periodic baths, and investigate the effects of anisotropy and quasi-breaking of periodicity on resonant emission into the band of the bath. We asymptotically decompose the Green's function into long-range travelling waves composed of all wavevectors (near-)resonant at the emitter frequency, and rapidly decaying evanescent waves. Our approximation then converges exponentially with increasing source-receiver separation ${\rho}$ when resonant wavepackets with group velocity parallel to ${\rho}$ exist. In hyperbolic media this condition may not be satisfied, and we find that the exponential decay length of oscillating evanescent waves locally around caustics generally depends as a power law with exponent 3/2 on the angle made between ${\rho}$ and the caustic. For ${\rho}$ beyond the caustic we observe that the Green's function can become almost imaginary, which results in exclusively incoherent emitter-emitter interactions and allows the simulation of purely dissipative systems with short-range interactions. Here the interaction length is tunable via the separation vector of the emitters. We finally probe the hyperbolic dispersion beyond the previous regimes by applying an artificial gauge field on the lattice. We find that emission resonant with the corresponding open orbits in the Brillouin zone is quasi-one dimensional, in contrast to an isotropic environment. The quasi-1D emission is further topologically protected against local and global lattice perturbations and periodically refocussing, offering a robust bi-directional transport of excitations in higher-dimensional media.


title: Simplified Belief-Dependent Reward MCTS Planning with Guaranteed Tree Consistency

abstract: Partially Observable Markov Decision Processes (POMDPs) are notoriously hard to solve. Most advanced state-of-the-art online solvers leverage ideas of Monte Carlo Tree Search (MCTS). These solvers rapidly converge to the most promising branches of the belief tree, avoiding the suboptimal sections. Most of these algorithms are designed to utilize straightforward access to the state reward and assume the belief-dependent reward is nothing but expectation over the state reward. Thus, they are inapplicable to a more general and essential setting of belief-dependent rewards. One example of such reward is differential entropy approximated using a set of weighted particles of the belief. Such an information-theoretic reward introduces a significant computational burden. In this paper, we embed the paradigm of simplification into the MCTS algorithm. In particular, we present Simplified Information-Theoretic Particle Filter Tree (SITH-PFT), a novel variant to the MCTS algorithm that considers information-theoretic rewards but avoids the need to calculate them completely. We replace the costly calculation of information-theoretic rewards with adaptive upper and lower bounds. These bounds are easy to calculate and tightened only by the demand of our algorithm. Crucially, we guarantee precisely the same belief tree and solution that would be obtained by MCTS, which explicitly calculates the original information-theoretic rewards. Our approach is general; namely, any converging to the reward bounds can be easily plugged-in to achieve substantial speedup without any loss in performance.


title: Analysis and Applications of Class-wise Robustness in Adversarial Training

abstract: Adversarial training is one of the most effective approaches to improve model robustness against adversarial examples. However, previous works mainly focus on the overall robustness of the model, and the in-depth analysis on the role of each class involved in adversarial training is still missing. In this paper, we propose to analyze the class-wise robustness in adversarial training. First, we provide a detailed diagnosis of adversarial training on six benchmark datasets, i.e., MNIST, CIFAR-10, CIFAR-100, SVHN, STL-10 and ImageNet. Surprisingly, we find that there are remarkable robustness discrepancies among classes, leading to unbalance/unfair class-wise robustness in the robust models. Furthermore, we keep investigating the relations between classes and find that the unbalanced class-wise robustness is pretty consistent among different attack and defense methods. Moreover, we observe that the stronger attack methods in adversarial learning achieve performance improvement mainly from a more successful attack on the vulnerable classes (i.e., classes with less robustness). Inspired by these interesting findings, we design a simple but effective attack method based on the traditional PGD attack, named Temperature-PGD attack, which proposes to enlarge the robustness disparity among classes with a temperature factor on the confidence distribution of each image. Experiments demonstrate our method can achieve a higher attack rate than the PGD attack. Furthermore, from the defense perspective, we also make some modifications in the training and inference phase to improve the robustness of the most vulnerable class, so as to mitigate the large difference in class-wise robustness. We believe our work can contribute to a more comprehensive understanding of adversarial training as well as rethinking the class-wise properties in robust models.


title: Demoting the Lead Bias in News Summarization via Alternating Adversarial Learning

abstract: In news articles the lead bias is a common phenomenon that usually dominates the learning signals for neural extractive summarizers, severely limiting their performance on data with different or even no bias. In this paper, we introduce a novel technique to demote lead bias and make the summarizer focus more on the content semantics. Experiments on two news corpora with different degrees of lead bias show that our method can effectively demote the model's learned lead bias and improve its generality on out-of-distribution data, with little to no performance loss on in-distribution data.


title: CommitBERT: Commit Message Generation Using Pre-Trained Programming Language Model

abstract: Commit message is a document that summarizes source code changes in natural language. A good commit message clearly shows the source code changes, so this enhances collaboration between developers. Therefore, our work is to develop a model that automatically writes the commit message. To this end, we release 345K datasets consisting of code modification and commit messages in six programming languages (Python, PHP, Go, Java, JavaScript, and Ruby). Similar to the neural machine translation (NMT) model, using our dataset, we feed the code modification to the encoder input and the commit message to the decoder input and measure the result of the generated commit message with BLEU-4. Also, we propose the following two training methods to improve the result of generating the commit message: (1) A method of preprocessing the input to feed the code modification to the encoder input. (2) A method that uses an initial weight suitable for the code domain to reduce the gap in contextual representation between programming language (PL) and natural language (NL). Training code, dataset, and pre-trained weights are available at https://github.com/graykode/commit-autosuggestions


title: Enhanced superconductivity in bilayer PtTe$_2$ by alkali-metal intercalations

abstract: Layered platinum tellurium (PtTe2) was recently synthesized with controllable layer numbers down to a monolayer limit. Using ab initio calculations based on anisotropic Midgal-Eliashberg formalism, we show that by rubidium (Rb) intercalation, weak superconductivity in bilayer PtTe2 can be significantly boosted with superconducting Tc = 8 K in the presence of spin-orbit coupling (SOC). The intercalant on one hand mediates the interlayer coupling and serves as an electron donor, leading to large density of states at Fermi energy. On the other hand, it increases the mass-enhancement parameter with electron-phonon coupling strength comparable to that of Pt. The potassium intercalated bilayer PtTe2 has a comparable Tc to the case of Rb intercalation. The relatively high Tc with SOC combined with experimental accessible crystal structures suggest that these superconductors are promising platforms to study the novel quantum physics associated with two-dimensional superconductivity, such as the recently proposed type-II Ising superconductivity.


title: Learning Graphon Autoencoders for Generative Graph Modeling

abstract: Graphon is a nonparametric model that generates graphs with arbitrary sizes and can be induced from graphs easily. Based on this model, we propose a novel algorithmic framework called \textit{graphon autoencoder} to build an interpretable and scalable graph generative model. This framework treats observed graphs as induced graphons in functional space and derives their latent representations by an encoder that aggregates Chebshev graphon filters. A linear graphon factorization model works as a decoder, leveraging the latent representations to reconstruct the induced graphons (and the corresponding observed graphs). We develop an efficient learning algorithm to learn the encoder and the decoder, minimizing the Wasserstein distance between the model and data distributions. This algorithm takes the KL divergence of the graph distributions conditioned on different graphons as the underlying distance and leads to a reward-augmented maximum likelihood estimation. The graphon autoencoder provides a new paradigm to represent and generate graphs, which has good generalizability and transferability.


title: Experimental study of perovskite nanocrystals as single photon sources for integrated quantum photonics

abstract: This thesis is devoted to the study of the coupling of single-photon emitters with photonic nanostructures by using the properties of the near field of a photonic structure in view of the realization of a compact integrated single-photon source for quantum applications. The first part of my thesis work was consecrated to the optimization of perovskites nanocrystals. Although perovskites nanocrystals are very promising single-photon sources, they still need improvements: in this work, I review the main properties of these emitters and present a full characterization of perovskite nanocrystals with improved photo-stability, reduced blinking ad strong antibunching. In the second part of the thesis, I focus on the coupling of quantum emitters with various photonic structures: namely the tapered optical nanofibers and the ion-exchange waveguides. The fabrication method and the optical properties of the nanofibers are described in detail and the coupling of a single perovskite nanocrystal with a nanofiber is achieved, which constitutes a proof of principle of a hybrid integrated single-photon source. Finally, I show how the near field around ion exchange waveguides can be employed together with near-field polymerization to trap single-photon emitters onto the waveguides.


title: Orienting Novel 3D Objects Using Self-Supervised Learning of Rotation Transforms

abstract: Orienting objects is a critical component in the automation of many packing and assembly tasks. We present an algorithm to orient novel objects given a depth image of the object in its current and desired orientation. We formulate a self-supervised objective for this problem and train a deep neural network to estimate the 3D rotation as parameterized by a quaternion, between these current and desired depth images. We then use the trained network in a proportional controller to re-orient objects based on the estimated rotation between the two depth images. Results suggest that in simulation we can rotate unseen objects with unknown geometries by up to 30{\deg} with a median angle error of 1.47{\deg} over 100 random initial/desired orientations each for 22 novel objects. Experiments on physical objects suggest that the controller can achieve a median angle error of 4.2{\deg} over 10 random initial/desired orientations each for 5 objects.


title: Causality-Based Game Solving

abstract: We present a causality-based algorithm for solving two-player reachability games represented by logical constraints. These games are a useful formalism to model a wide array of problems arising, e.g., in program synthesis. Our technique for solving these games is based on the notion of subgoals, which are slices of the game that the reachability player necessarily needs to pass through in order to reach the goal. We use Craig interpolation to identify these necessary sets of moves and recursively slice the game along these subgoals. Our approach allows us to infer winning strategies that are structured along the subgoals. If the game is won by the reachability player, this is a strategy that progresses through the subgoals towards the final goal; if the game is won by the safety player, it is a permissive strategy that completely avoids a single subgoal. We evaluate our prototype implementation on a range of different games. On multiple benchmark families, our prototype scales dramatically better than previously available tools.


title: On the control of the Hegselmann-Krause model with leadership and time delay

abstract: We analyze Hegselmann-Krause opinion formation models with leadership in presence of time delay effects. In particular, we consider a model with pointwise time variable time delay and a model with a distributed delay. In both cases we show that, when the delays satisfy suitable smallness conditions, then the leader can control the system, leading the group to any prefixed state. Some numerical tests illustrate our analytical results.


title: $P_c$ Resonances in the Compact Pentaquark Picture

abstract: $P_c$ resonances are studied in the approach of quark model and group theory. It is found that there are totally 17 possible pentaquark states with the quark contents $q^3Q \bar Q$ ($q$ are $u$ and $d$ quarks; $Q$ is $c$ quark) in the compact pentaquark picture, where the hidden heavy pentaquark states may take the color singlet-singlet ($[111]_{{qqq}}\otimes [111]_{{c \bar c}}$) and color octet-octet ($[21]_{{qqq}}\otimes [21]_{{c \bar c}}$) configurations. The partial decay widths of hidden heavy pentaquark states are calculated for all possible decay channels. The results show that the $pJ/\psi$ is the dominant decay channel for both the spin $3/2$ and $1/2$ pentaquark states, and indicate that the $P_c(4440)$ may not be a compact pentaquark state while $P_c(4312)$ and $P_c(4457)$ could be the spin-$\frac{1}{2}$ and spin-$\frac{3}{2}$ pentaquark states, respectively.


title: Cherry-Picking Gradients: Learning Low-Rank Embeddings of Visual Data via Differentiable Cross-Approximation

abstract: We propose an end-to-end trainable framework that processes large-scale visual data tensors by looking at a fraction of their entries only. Our method combines a neural network encoder with a tensor train decomposition to learn a low-rank latent encoding, coupled with cross-approximation (CA) to learn the representation through a subset of the original samples. CA is an adaptive sampling algorithm that is native to tensor decompositions and avoids working with the full high-resolution data explicitly. Instead, it actively selects local representative samples that we fetch out-of-core and on-demand. The required number of samples grows only logarithmically with the size of the input. Our implicit representation of the tensor in the network enables processing large grids that could not be otherwise tractable in their uncompressed form. The proposed approach is particularly useful for large-scale multidimensional grid data (e.g., 3D tomography), and for tasks that require context over a large receptive field (e.g., predicting the medical condition of entire organs). The code is available at https://github.com/aelphy/c-pic.


title: Revisiting Challenges for Selective Data Protection of Real Applications

abstract: Selective data protection is a promising technique to defend against the data leakage attack. In this paper, we revisit technical challenges that were neglected when applying this protection to real applications. These challenges include the secure input channel, granularity conflict, and sensitivity conflict. We summarize the causes of them and propose corresponding solutions. Then we design and implement a prototype system for selective data protection and evaluate the overhead using the RISC-V Spike simulator. The evaluation demonstrates the efficiency (less than 3% runtime overhead with optimizations) and the security guarantees provided by our system.


title: Sustainability Forecasting for Apache Incubator Projects

abstract: Although OSS development is very popular, ultimately more than 80 percent of OSS projects fail. Identifying the factors associated with OSS success can help in devising interventions when a project takes a downturn. OSS success has been studied from a variety of angles, more recently in empirical studies of large numbers of diverse projects, using proxies for sustainability, e.g., internal metrics related to productivity and external ones, related to community popularity. The internal socio-technical structure of projects has also been shown important, especially their dynamics. This points to another angle on evaluating software success, from the perspective of self-sustaining and self-governing communities. To uncover the dynamics of how a project at a nascent development stage gradually evolves into a sustainable one, here we apply a socio-technical network modeling perspective to a dataset of Apache Software Foundation Incubator (ASFI), sustainability-labeled projects. To identify and validate the determinants of sustainability, we undertake a mix of quantitative and qualitative studies of ASFI projects' socio-technical network trajectories. We develop interpretable models which can forecast a project becoming sustainable with more than 93 percent accuracy, within 8 months of incubation start. Based on the interpretable models we describe a strategy for real-time monitoring and suggesting actions, which can be used by projects to correct their sustainability trajectories.


title: Triviality of the $J_4$-equivalence among homology 3-spheres

abstract: We prove that all homology 3-spheres are $J_4$-equivalent, i.e. that any homology 3-sphere can be obtained from one another by twisting one of its Heegaard splittings by an element of the mapping class group acting trivially on the fourth nilpotent quotient of the fundamental group of the gluing surface. We do so by exhibiting an element of $J_4$, the fourth term of the Johnson filtration of the mapping class group, on which (the core of) the Casson invariant takes the value $1$. In particular, this provides an explicit example of an element of $J_4$ that is not a commutator of length $2$ in the Torelli group.


title: Reduction for branching multiplicities

abstract: A reduction formula for the branching coefficients of tensor products of representations and more generally restrictions of representations of a semisimple group to a semisimple subgroup is proved in work by Knutson-Tao and Derksen-Weyman. This formula holds when the highest weights of the representations belong to a codimension 1 face of the Horn cone, which by work by Ressayre corresponds to a Littlewood-Richardson coefficient equal to 1. We prove a similar reduction formula when this coefficient is equal to 2, and show some properties of the class of the branch divisor corresponding to a generically finite morphism of degree 2 naturally defined in this context.


title: Compressed Sensing for Photoacoustic Computed Tomography Using an Untrained Neural Network

abstract: Photoacoustic (PA) computed tomography (PACT) shows great potentials in various preclinical and clinical applications. A great number of measurements are the premise that obtains a high-quality image, which implies a low imaging rate or a high system cost. The artifacts or sidelobes could pollute the image if we decrease the number of measured channels or limit the detected view. In this paper, a novel compressed sensing method for PACT using an untrained neural network is proposed, which decreases half number of the measured channels and recoveries enough details. This method uses a neural network to reconstruct without the requirement for any additional learning based on the deep image prior. The model can reconstruct the image only using a few detections with gradient descent. Our method can cooperate with other existing regularization, and further improve the quality. In addition, we introduce a shape prior to easily converge the model to the image. We verify the feasibility of untrained network based compressed sensing in PA image reconstruction, and compare this method with a conventional method using total variation minimization. The experimental results show that our proposed method outperforms 32.72% (SSIM) with the traditional compressed sensing method in the same regularization. It could dramatically reduce the requirement for the number of transducers, by sparsely sampling the raw PA data, and improve the quality of PA image significantly.


title: Performance of Dual-Hop Relaying for OWC System Over Foggy Channel with Pointing Errors and Atmospheric Turbulence

abstract: Optical wireless communication (OWC) over atmospheric turbulence and pointing errors is a well-studied topic. Still, there is limited research on signal fading due to random fog in an outdoor environment for terrestrial wireless communications. In this paper, we analyze the performance of a decode-and-forward (DF) relaying under the combined effect of random fog, pointing errors, and atmospheric turbulence with a negligible line-of-sight (LOS) direct link. We consider a generalized model for the end-to-end channel with independent and not identically distributed (i.ni.d.) pointing errors, random fog with Gamma distributed attenuation coefficient, double generalized gamma (DGG) atmospheric turbulence, and asymmetrical distance between the source and destination. We develop density and distribution functions of signal-to-noise ratio (SNR) under the combined effect of random fog, pointing errors, and atmospheric turbulence (FPT) channel and distribution function for the combined channel with random fog and pointing errors (FP). Using the derived statistical results, we present analytical expressions of the outage probability, average SNR, ergodic rate, and average bit error rate (BER) for both FP and FPT channels in terms of OWC system parameters. We also develop simplified and asymptotic performance analysis to provide insight on the system behavior analytically under various practically relevant scenarios. We demonstrate the mutual effects of channel impairments and pointing errors on the OWC performance, and show that the relaying system provides significant performance improvement compared with the direct transmissions, especially when pointing errors and fog becomes more pronounced.


title: Diffusion-Based Representation Learning

abstract: Diffusion-based methods represented as stochastic differential equations on a continuous-time domain have recently proven successful as a non-adversarial generative model. Training such models relies on denoising score matching, which can be seen as multi-scale denoising autoencoders. Here, we augment the denoising score matching framework to enable representation learning without any supervised signal. GANs and VAEs learn representations by directly transforming latent codes to data samples. In contrast, the introduced diffusion-based representation learning relies on a new formulation of the denoising score matching objective and thus encodes the information needed for denoising. We illustrate how this difference allows for manual control of the level of details encoded in the representation. Using the same approach, we propose to learn an infinite-dimensional latent code that achieves improvements of state-of-the-art models on semi-supervised image classification. We also compare the quality of learned representations of diffusion score matching with other methods like autoencoder and contrastively trained systems through their performances on downstream tasks.


title: Hyperbolic compartmental models for epidemic spread on networks with uncertain data: application to the emergence of Covid-19 in Italy

abstract: The importance of spatial networks in the spread of an epidemic is an essential aspect in modeling the dynamics of an infectious disease. Additionally, any realistic data-driven model must take into account the large uncertainty in the values reported by official sources, such as the amount of infectious individuals. In this paper we address the above aspects through a hyperbolic compartmental model on networks, in which nodes identify locations of interest, such as cities or regions, and arcs represent the ensemble of main mobility paths. The model describes the spatial movement and interactions of a population partitioned, from an epidemiological point of view, on the basis of an extended compartmental structure and divided into commuters, moving on a suburban scale, and non-commuters, acting on an urban scale. Through a diffusive rescaling, the model allows us to recover classical diffusion equations related to commuting dynamics. The numerical solution of the resulting multiscale hyperbolic system with uncertainty is then tackled using a stochastic collocation approach in combination with a finite-volume IMEX method. The ability of the model to correctly describe the spatial heterogeneity underlying the spread of an epidemic in a realistic city network is confirmed with a study of the outbreak of COVID-19 in Italy and its spread in the Lombardy Region.


title: Detecting Backdoor in Deep Neural Networks via Intentional Adversarial Perturbations

abstract: Recent researches show that deep learning model is susceptible to backdoor attacks. Many defenses against backdoor attacks have been proposed. However, existing defense works require high computational overhead or backdoor attack information such as the trigger size, which is difficult to satisfy in realistic scenarios. In this paper, a novel backdoor detection method based on adversarial examples is proposed. The proposed method leverages intentional adversarial perturbations to detect whether an image contains a trigger, which can be applied in both the training stage and the inference stage (sanitize the training set in training stage and detect the backdoor instances in inference stage). Specifically, given an untrusted image, the adversarial perturbation is added to the image intentionally. If the prediction of the model on the perturbed image is consistent with that on the unperturbed image, the input image will be considered as a backdoor instance. Compared with most existing defense works, the proposed adversarial perturbation based method requires low computational resources and maintains the visual quality of the images. Experimental results show that, the backdoor detection rate of the proposed defense method is 99.63%, 99.76% and 99.91% on Fashion-MNIST, CIFAR-10 and GTSRB datasets, respectively. Besides, the proposed method maintains the visual quality of the image as the l2 norm of the added perturbation are as low as 2.8715, 3.0513 and 2.4362 on Fashion-MNIST, CIFAR-10 and GTSRB datasets, respectively. In addition, it is also demonstrated that the proposed method can achieve high defense performance against backdoor attacks under different attack settings (trigger transparency, trigger size and trigger pattern). Compared with the existing defense work (STRIP), the proposed method has better detection performance on all the three datasets, and is more efficient than STRIP.


title: Understanding Bandits with Graph Feedback

abstract: The bandit problem with graph feedback, proposed in [Mannor and Shamir, NeurIPS 2011], is modeled by a directed graph $G=(V,E)$ where $V$ is the collection of bandit arms, and once an arm is triggered, all its incident arms are observed. A fundamental question is how the structure of the graph affects the min-max regret. We propose the notions of the fractional weak domination number $\delta^*$ and the $k$-packing independence number capturing upper bound and lower bound for the regret respectively. We show that the two notions are inherently connected via aligning them with the linear program of the weakly dominating set and its dual -- the fractional vertex packing set respectively. Based on this connection, we utilize the strong duality theorem to prove a general regret upper bound $O\left(\left( \delta^*\log |V|\right)^{\frac{1}{3}}T^{\frac{2}{3}}\right)$ and a lower bound $\Omega\left(\left(\delta^*/\alpha\right)^{\frac{1}{3}}T^{\frac{2}{3}}\right)$ where $\alpha$ is the integrality gap of the dual linear program. Therefore, our bounds are tight up to a $\left(\log |V|\right)^{\frac{1}{3}}$ factor on graphs with bounded integrality gap for the vertex packing problem including trees and graphs with bounded degree. Moreover, we show that for several special families of graphs, we can get rid of the $\left(\log |V|\right)^{\frac{1}{3}}$ factor and establish optimal regret.


title: Computing with Infinite Objects: the Gray Code Case

abstract: Infinite Gray code has been introduced by Tsuiki as a redundancy-free representation of the reals. In applications the signed digit representation is mostly used which has maximal redundancy. Tsuiki presented a functional program converting signed digit code into infinite Gray code. Moreover, he showed that infinite Gray code can effectively be converted into signed digit code, but the program needs to have some non-deterministic features (see also H. Tsuiki, K. Sugihara, "Streams with a bottom in functional languages"). Berger and Tsuiki reproved the result in a system of formal first-order intuitionistic logic extended by inductive and co-inductive definitions, as well as some new logical connectives capturing concurrent behaviour. The programs extracted from the proofs are exactly the ones given by Tsuiki. In order to do so, co-inductive predicates $\bS$ and $\bG$ are defined and the inclusion $\bS \subseteq \bG$ is derived. For the converse inclusion the new logical connectives are used to introduce a concurrent version $\S_{2}$ of $S$ and $\bG \subseteq \bS_{2}$ is shown. What one is looking for, however, is an equivalence proof of the involved concepts. One of the main aims of the present paper is to close the gap. A concurrent version $\bG^{*}$ of $\bG$ and a modification $\bS^{*}$ of $\bS_{2}$ are presented such that $\bS^{*} = \bG^{*}$. A crucial tool in U. Berger, H. Tsuiki, "Intuitionistic fixed point logic" is a formulation of the Archimedean property of the real numbers as an induction principle. We introduce a concurrent version of this principle which allows us to prove that $\bS^{*}$ and $\bG^{*}$ coincide. A further central contribution is the extension of the above results to the hyperspace of non-empty compact subsets of the reals.


title: The Privacy Paradox and Optimal Bias-Variance Trade-offs in Data Acquisition

abstract: While users claim to be concerned about privacy, often they do little to protect their privacy in their online actions. One prominent explanation for this "privacy paradox" is that when an individual shares her data, it is not just her privacy that is compromised; the privacy of other individuals with correlated data is also compromised. This information leakage encourages oversharing of data and significantly impacts the incentives of individuals in online platforms. In this paper, we study the design of mechanisms for data acquisition in settings with information leakage and verifiable data. We design an incentive compatible mechanism that optimizes the worst-case trade-off between bias and variance of the estimation subject to a budget constraint, where the worst-case is over the unknown correlation between costs and data. Additionally, we characterize the structure of the optimal mechanism in closed form and study monotonicity and non-monotonicity properties of the marketplace.


title: A new class of probabilities in the n-person red-and-black game

abstract: We discuss a model of a $N$-person, non-cooperative stochastic game, inspired by the discrete version of the red-and-black gambling problem introduced by Dubins and Savage in 1965. Our main theorem generalizes a result of Pontiggia from 2007 which provides conditions upon which bold strategies for all players form a Nash equilibrium. Our tool is a functional inequality introduced and discussed in the present paper. It allows us to avoid rather restrictive assumptions of super-multiplicativity and super-additivity, which appear in Pontiggia's and other authors' works. We terminate the paper with some examples which in particular show that our approach leads to a larger class of probability functions than existed in the literature so far.


title: Matrix extension of multidimensional dispersionless integrable hierarchies

abstract: We consistently develop a recently proposed scheme of matrix extension of dispersionless integrable systems for the general case of multidimensional hierarchies, concentrating on the case of dimension $d\geqslant 4$. We present extended Lax pairs, Lax-Sato equations, matrix equations on the background of vector fields and the dressing scheme. Reductions, construction of solutions and connections to geometry are discussed. We consider separately a case of Abelian extension, for which the Riemann-Hilbert equations of the dressing scheme are explicitly solvable and give an analogue of Penrose formula in the curved space.


title: NNLO QCD predictions of the electron charge asymmetry for the inclusive $pp \rightarrow W+X$ production in the forward region at 13 TeV and 14 TeV

abstract: This paper presents perturbative QCD predictions of the electron charge asymmetry for the inclusive $W^{\pm}+X \rightarrow e^{\pm} \nu +X$ production in proton-proton (pp) collisions. Perturbative QCD calculations are performed at next-to-next-to-leading order (NNLO) accuracy by using different parton distribution function (PDF) models at 8 TeV, 13 TeV, and 14 TeV center-of-mass energies of the CERN LHC pp collisions. The NNLO calculations are performed for the electrons to have transverse momentum more than 20 GeV in the forward electron pseudorapidity region $2.0 \leq \eta_{e} \leq 4.25$. The NNLO predictions are first compared at 8 TeV with the measurement of the LHCb experiment at the LHC for the W$^{+}$/W$^{-}$ cross section ratio and charge asymmetry distributions. The 8 TeV predictions using NNPDF3.1, CT14, and MMHT2014 PDF sets are reported to be in good agreement with the LHCb data for the entire $\eta_{e}$ region justifying the extension of the calculations to 13 TeV and 14 TeV energies. The charge asymmetry predictions at NNLO accuracy are also reported in the forward $\eta_{e}$ bins at 13 TeV and 14 TeV and compared among NNPDF3.1, CT14, and MMHT2014 PDF sets. Overall the predicted W$^{\pm}$ differential cross section and charge asymmetry distributions based on different PDF sets are found to be consistent with each other for the entire $\eta_{e}$ region. The charge asymmetry distributions are shown to be more sensitive to discriminate among different PDF models in the 14 TeV predictions.


title: A Theoretical Model of the Near Surface Shear Layer of the Sun

abstract: The Sun has a Near-Surface Shear Layer (NSSL), within which the angular velocity decreases rapidly with radius. We provide an explanation of this layer based on the thermal wind balance equation. Since convective motions are not affected by solar rotation in the top layer of the convection zone, we argue that the temperature falls at the same rate at all latitudes in this layer. This makes the thermal wind term very large in this layer and the centrifugal term has also to become very large to balance it, giving rise to the NSSL. From the values of differential rotation $\Omega (r<r_c, \theta)$ at radii less than a radius $r_c$, we can calculate the temperature difference $\Delta T (r, \theta)$ with respect to the standard solar model at different points of the convection zone, by making use of the thermal wind balance equation. Then we again use this equation in the top layer to calculate $\Omega (r>r_c, \theta)$ there from $\Delta T (r, \theta)$. We carry on this exercise using both an analytical expression of the differential rotation and the actual data provided by helioseismology. We find that our theoretical results of the NSSL match the observational data reasonably well for $r_c \approx 0.96~{\rm R_{\odot}}$, giving an estimate of the radius till which the convective motions are affected by the solar rotation.


title: Information Directed Sampling for Sparse Linear Bandits

abstract: Stochastic sparse linear bandits offer a practical model for high-dimensional online decision-making problems and have a rich information-regret structure. In this work we explore the use of information-directed sampling (IDS), which naturally balances the information-regret trade-off. We develop a class of information-theoretic Bayesian regret bounds that nearly match existing lower bounds on a variety of problem instances, demonstrating the adaptivity of IDS. To efficiently implement sparse IDS, we propose an empirical Bayesian approach for sparse posterior sampling using a spike-and-slab Gaussian-Laplace prior. Numerical results demonstrate significant regret reductions by sparse IDS relative to several baselines.


title: Correspondence of eikonal quasinormal modes and unstable fundamental photon orbits for Kerr-Newman black hole

abstract: In this work, we study the relation of the eikonal quasinormal modes (EQNMs) and the unstable fundamental photon orbits (UFPOs) in the Kerr-Newman spacetime. We find that in the eikonal limit the gravitational and electromagnetic perturbations of the Kerr-Newman black hole are naturally decoupled, and a single one-dimensional Schr\"odinger-like equation encoding the QNM spectrum can be derived. We then show that the decoupled Teukolsky master equation and the Klein-Gordon equation for the massless scalar field in the Kerr-Newman spacetime are of the same form in the eikonal limit. As a direct consequence, taking into account of the boundary conditions for EQNMs we show an exact correspondence between EQNMs and UFPOs, that is, EQNM/UFPO correspondence. More precisely, similar to the Kerr case, the real part of EQNM's frequency is a linear combination of the precessional and (polar) orbital frequencies, while the imaginary part of the frequency is proportional to the Lyapunov exponent of the UFPO.


title: UnDiFi-2D: an Unstructured Discontinuity Fitting code for 2D grids

abstract: UnDiFi-2D, an open source (free software) Unstructured-grid, Discontinuity Fitting code, is presented. The aim of UnDiFi-2D is to model gas-dynamic discontinuities in two-dimensional (2D) flows as if they were true discontinuities of null thickness that bound regions of the flow-field where a smooth solution to the governing PDEs exists. UnDiFi-2D therefore needs to be coupled with an unstructured CFD solver that is used to discretize the governing PDEs within the smooth regions of the flow-field. Two different, in-house developed, CFD solvers are also included in the current distribution. The main features of the UnDiFi-2D software can be summarized as follows: Programming Language: UnDiFi-2D is written in standard Fortran 77/95; its design is highly modular in order to enhance simplicity of use, maintenance and allow coupling with virtually any existing CFD solver; Usability, Maintenance and Enhancement: In order to improve the usability, maintenance and enhancement of the code also the documentation has been carefully taken into account. The git distributed versioning system has been adopted to facilitate collaborative maintenance and code development; Copyrights: UnDiFi-2D is a free software that anyone can use, copy, distribute, change and improve under the GNU Public License version 3. The present paper is a manifesto of the first public release of the UnDiFi-2D code. It describes the currently implemented features, which are the result of more than a decade of still ongoing CFD developments. This work is focused on the computational techniques adopted and a detailed description of the main characteristics is reported. UnDiFi-2D capabilities are demonstrated by means of examples test cases. The design of the code allows to easily include existing CFD codes and is aimed at ease code reuse and readability.


title: A discontinuity of the energy of quantum walk in impurities

abstract: We consider the discrete-time quantum walk whose local dynamics is denoted by $C$ at the perturbed region $\{0,1,\dots,M-1\}$ and free at the other positions. We obtain the stationary state with a bounded initial state. The initial state is set so that the perturbed region receives the inflow $\omega^n$ at time $n$ $(|\omega|=1)$. From this expression, we compute the scattering on the surface of $-1$ and $M$ and also compute the quantity how quantum walker accumulates in the perturbed region; namely the energy of the quantum walk, in the long time limit. We find a discontinuity of the energy with respect to the frequency of the inflow.


title: Learning to Harness Bandwidth with Multipath Congestion Control and Scheduling

abstract: Multipath TCP (MPTCP) has emerged as a facilitator for harnessing and pooling available bandwidth in wireless/wireline communication networks and in data centers. Existing implementations of MPTCP such as, Linked Increase Algorithm (LIA), Opportunistic LIA (OLIA) and BAlanced LInked Adaptation (BALIA) include separate algorithms for congestion control and packet scheduling, with pre-selected control parameters. We propose a Deep Q-Learning (DQL) based framework for joint congestion control and packet scheduling for MPTCP. At the heart of the solution is an intelligent agent for interface, learning and actuation, which learns from experience optimal congestion control and scheduling mechanism using DQL techniques with policy gradients. We provide a rigorous stability analysis of system dynamics which provides important practical design insights. In addition, the proposed DQL-MPTCP algorithm utilizes the `recurrent neural network' and integrates it with `long short-term memory' for continuously i) learning dynamic behavior of subflows (paths) and ii) responding promptly to their behavior using prioritized experience replay. With extensive emulations, we show that the proposed DQL-based MPTCP algorithm outperforms MPTCP LIA, OLIA and BALIA algorithms. Moreover, the DQL-MPTCP algorithm is robust to time-varying network characteristics, and provides dynamic exploration and exploitation of paths.


title: Fabrication and Characterization of InAs/AlSb based Magnetic Hall Sensors

abstract: Hall effect based magnetic field sensors are vector sensors which are sensitive to the perpendicular component of the magnetic field. Typically, Si-based Hall sensors are used for most usages requiring low field sensitivity. For higher sensitivity, III-V semiconductors such as GaAs, InSb, etc., provide better alternatives due to higher carrier mobilities at room temperature. In this work, Hall sensors based on two-dimensional electron gas (2DEG) at the heterostructure of InAs/AlSb are fabricated. The 2DEG is about 20 nm below the surface. Carrier density of 3.2x1016 /m2 and mobility of 1.8 m2/Vs were deduced via Hall measurements at RT. 1/f-noise analyses were carried out to calculate the magnetic field resolution of ~1 uT/Hz1/2.


title: Automatically Locating ARM Instructions Deviation between Real Devices and CPU Emulators

abstract: Emulator is widely used to build dynamic analysis frameworks due to its fine-grained tracing capability, full system monitoring functionality, and scalability of running on different operating systemsand architectures. However, whether the emulator is consistent with real devices is unknown. To understand this problem, we aim to automatically locate inconsistent instructions, which behave differently between emulators and real devices. We target ARM architecture, which provides machine readable specification. Based on the specification, we propose a test case generator by designing and implementing the first symbolic execution engine for ARM architecture specification language (ASL). We generate 2,774,649 representative instruction streams and conduct differential testing with these instruction streams between four ARM real devices in different architecture versions (i.e., ARMv5, ARMv6, ARMv7-a, and ARMv8-a) and the state-of-the-art emulators (i.e., QEMU). We locate 155,642 inconsistent instruction streams, which cover 30% of all instruction encodings and 47.8% of the instructions. We find undefined implementation in ARM manual and implementation bugs of QEMU are the major causes of inconsistencies. Furthermore, we discover four QEMU bugs, which are confirmed and patched by thedevelopers, covering 13 instruction encodings including the most commonly used ones (e.g.,STR,BLX). With the inconsistent instructions, we build three security applications and demonstrate thecapability of these instructions on detecting emulators, anti-emulation, and anti-fuzzing.


title: Korean-English Machine Translation with Multiple Tokenization Strategy

abstract: This work was conducted to find out how tokenization methods affect the training results of machine translation models. In this work, alphabet tokenization, morpheme tokenization, and BPE tokenization were applied to Korean as the source language and English as the target language respectively, and the comparison experiment was conducted by repeating 50,000 epochs of each 9 models using the Transformer neural network. As a result of measuring the BLEU scores of the experimental models, the model that applied BPE tokenization to Korean and morpheme tokenization to English recorded 35.73, showing the best performance.


title: Greedy Bayesian Posterior Approximation with Deep Ensembles

abstract: Ensembles of independently trained neural networks are a state-of-the-art approach to estimate predictive uncertainty in Deep Learning, and can be interpreted as an approximation of the posterior distribution via a mixture of delta functions. The training of ensembles relies on non-convexity of the loss landscape and random initialization of their individual members, making the resulting posterior approximation uncontrolled. This paper proposes a novel and principled method to tackle this limitation, minimizing an $f$-divergence between the true posterior and a kernel density estimator (KDE) in a function space. We analyze this objective from a combinatorial point of view, and show that it is submodular with respect to mixture components for any $f$. Subsequently, we consider the problem of greedy ensemble construction. From the marginal gain on the negative $f$-divergence, which quantifies an improvement in posterior approximation yielded by adding a new component into the KDE, we derive a novel diversity term for ensemble methods. The performance of our approach is demonstrated on computer vision out-of-distribution detection benchmarks in a range of architectures trained on multiple datasets. The source code of our method is made publicly available at https://github.com/Oulu-IMEDS/greedy_ensembles_training.


title: Correcting public opinion trends through Bayesian data assimilation

abstract: Measuring public opinion is a key focus during democratic elections, enabling candidates to gauge their popularity and alter their campaign strategies accordingly. Traditional survey polling remains the most popular estimation technique, despite its cost and time intensity, measurement errors, lack of real-time capabilities and lagged representation of public opinion. In recent years, Twitter opinion mining has attempted to combat these issues. Despite achieving promising results, it experiences its own set of shortcomings such as an unrepresentative sample population and a lack of long term stability. This paper aims to merge data from both these techniques using Bayesian data assimilation to arrive at a more accurate estimate of true public opinion for the Brexit referendum. This paper demonstrates the effectiveness of the proposed approach using Twitter opinion data and survey data from trusted pollsters. Firstly, the possible existence of a time gap of 16 days between the two data sets is identified. This gap is subsequently incorporated into a proposed assimilation architecture. This method was found to adequately incorporate information from both sources and measure a strong upward trend in Leave support leading up to the Brexit referendum. The proposed technique provides useful estimates of true opinion, which is essential to future opinion measurement and forecasting research.


title: Grammar Accuracy Evaluation (GAE): Quantifiable Quantitative Evaluation of Machine Translation Models

abstract: Natural Language Generation (NLG) refers to the operation of expressing the calculation results of a system in human language. Since the quality of generated sentences from an NLG model cannot be fully represented using only quantitative evaluation, they are evaluated using qualitative evaluation by humans in which the meaning or grammar of a sentence is scored according to a subjective criterion. Nevertheless, the existing evaluation methods have a problem as a large score deviation occurs depending on the criteria of evaluators. In this paper, we propose Grammar Accuracy Evaluation (GAE) that can provide the specific evaluating criteria. As a result of analyzing the quality of machine translation by BLEU and GAE, it was confirmed that the BLEU score does not represent the absolute performance of machine translation models and GAE compensates for the shortcomings of BLEU with flexible evaluation of alternative synonyms and changes in sentence structure.


title: An overview of deep learning techniques for epileptic seizures detection and prediction based on neuroimaging modalities: Methods, challenges, and future works

abstract: Epilepsy is a disorder of the brain denoted by frequent seizures. The symptoms of seizure include confusion, abnormal staring, and rapid, sudden, and uncontrollable hand movements. Epileptic seizure detection methods involve neurological exams, blood tests, neuropsychological tests, and neuroimaging modalities. Among these, neuroimaging modalities have received considerable attention from specialist physicians. One method to facilitate the accurate and fast diagnosis of epileptic seizures is to employ computer-aided diagnosis systems (CADS) based on deep learning (DL) and neuroimaging modalities. This paper has studied a comprehensive overview of DL methods employed for epileptic seizures detection and prediction using neuroimaging modalities. First, DL-based CADS for epileptic seizures detection and prediction using neuroimaging modalities are discussed. Also, descriptions of various datasets, preprocessing algorithms, and DL models which have been used for epileptic seizures detection and prediction have been included. Then, research on rehabilitation tools has been presented, which contains brain-computer interface (BCI), cloud computing, internet of things (IoT), hardware implementation of DL techniques on field-programmable gate array (FPGA), etc. In the discussion section, a comparison has been carried out between research on epileptic seizure detection and prediction. The challenges in epileptic seizures detection and prediction using neuroimaging modalities and DL models have been described. In addition, possible directions for future works in this field, specifically for solving challenges in datasets, DL, rehabilitation, and hardware models, have been proposed. The final section is dedicated to the conclusion which summarizes the significant findings of the paper.


title: A comment on: the violations of locality and free choice are equivalent resources in Bell experiments

abstract: In a recent paper published in PNAS authors prove that locality and free choice are equivalent resources which need to be relaxed in order to fully reproduce some statistics in Bell experiments (while always maintaining realism). We explain that their assumption of free choice is simply counterfactual definiteness or noncontextuality. Therefore the resource in Bell experiments is contextuality and not the violations of locality and/or of free choice. It is definitely less mind boggling conclusion because experimenters` freedom of choice is a prerequisite of science,


title: Hashing-Accelerated Graph Neural Networks for Link Prediction

abstract: Networks are ubiquitous in the real world. Link prediction, as one of the key problems for network-structured data, aims to predict whether there exists a link between two nodes. The traditional approaches are based on the explicit similarity computation between the compact node representation by embedding each node into a low-dimensional space. In order to efficiently handle the intensive similarity computation in link prediction, the hashing technique has been successfully used to produce the node representation in the Hamming space. However, the hashing-based link prediction algorithms face accuracy loss from the randomized hashing techniques or inefficiency from the learning to hash techniques in the embedding process. Currently, the Graph Neural Network (GNN) framework has been widely applied to the graph-related tasks in an end-to-end manner, but it commonly requires substantial computational resources and memory costs due to massive parameter learning, which makes the GNN-based algorithms impractical without the help of a powerful workhorse. In this paper, we propose a simple and effective model called #GNN, which balances the trade-off between accuracy and efficiency. #GNN is able to efficiently acquire node representation in the Hamming space for link prediction by exploiting the randomized hashing technique to implement message passing and capture high-order proximity in the GNN framework. Furthermore, we characterize the discriminative power of #GNN in probability. The extensive experimental results demonstrate that the proposed #GNN algorithm achieves accuracy comparable to the learning-based algorithms and outperforms the randomized algorithm, while running significantly faster than the learning-based algorithms. Also, the proposed algorithm shows excellent scalability on a large-scale network with the limited resources.


title: Circuit Design for $k$-coloring Problem and Its Implementation in Any Dimensional Quantum System

abstract: With the evolution of quantum computing, researchers now-a-days tend to incline to find solutions to NP-complete problems by using quantum algorithms in order to gain asymptotic advantage. In this paper, we solve $k$-coloring problem (NP-complete problem) using Grover's algorithm in any dimensional quantum system or any $d$-ary quantum system for the first time to the best of our knowledge, where $d \ge 2$. A newly proposed comparator-based approach helps to generalize the implementation of the $k$-coloring problem in any dimensional quantum system. Till date, $k$-coloring problem has been implemented only in binary and ternary quantum system, hence, we abide to $d=2$ or $d=3$, that is for binary and ternary quantum system for comparing our proposed work with the state-of-the-art techniques. This proposed approach makes the reduction of the qubit cost possible, compared to the state-of-the-art binary quantum systems. Further, with the help of newly proposed ternary comparator, a substantial reduction in quantum gate count for the ternary oracle circuit of the $k$-coloring problem than the previous approaches has been obtained. An end-to-end automated framework has been put forward for implementing the $k$-coloring problem for any undirected and unweighted graph on any available Near-term quantum devices or Noisy Intermediate-Scale Quantum (NISQ) devices or multi-valued quantum simulator, which helps in generalizing our approach.


title: Normalized Yamabe flow on manifolds with bounded geometry

abstract: The goal of this paper is to study Yamabe flow on a complete Riemannian manifold of bounded geometry with possibly infinite volume. In the case of infinite volume, standard volume normalization of the Yamabe flow fails and the flow may not converge. Instead, we consider a curvature normalized Yamabe flow, and assuming negative scalar curvature, prove its long-time existence and convergence. This extends the results of Su\'arez-Serrato and Tapie to a non-compact setting. In the appendix, we specify our analysis of a particular example of manifolds with bounded geometry, namely manifolds with fibered boundary metric. In this case, we obtain stronger estimates for the short-time solution using microlocal methods.


title: Coadjoint orbits and K\"ahler structure: examples from coherent states

abstract: Do co-adjoint orbits of Lie groups support a K\"{a}hler structure? We study this question from a point of view derived from coherent states. We examine three examples of Lie groups: the Weyl-Heisenberg group, $\mathrm{SU(2)}$ and $\mathrm{SU(1,1)}$. In cases, where the orbits admit a K\"{a}hler structure, we show that coherent states give us a K\"{a}hler embedding of the orbit into projective Hilbert space. In contrast, squeezed states, (which like coherent states, also saturate the uncertainty bound) only give us a symplectic embedding. We also study geometric quantisation of the co-adjoint orbits of the group $\mathrm{SUT(2,\mathbb{R})}$ of real, special, upper triangular matrices in two dimensions. We glean some general insights from these examples. Our presentation is semi-expository and accessible to physicists.


title: Boosting propagule transport models with individual-specific data from mobile apps

abstract: Management of invasive species and pathogens requires information about the traffic of potential vectors. Such information is often taken from vector traffic models fitted to survey data. Here, user-specific data collected via mobile apps offer new opportunities to obtain more accurate estimates and to analyze how vectors' individual preferences affect propagule flows. However, data voluntarily reported via apps may lack some trip records, adding a significant layer of uncertainty. We show how the benefits of app-based data can be exploited despite this drawback. Based on data collected via an angler app, we built a stochastic model for angler traffic in the Canadian province Alberta. There, anglers facilitate the spread of whirling disease, a parasite-induced fish disease. The model is temporally and spatially explicit and accounts for individual preferences and repeating behaviour of anglers, helping to address the problem of missing trip records. We obtained estimates of angler traffic between all subbasins in Alberta. The model's accuracy exceeds that of direct empirical estimates even when fewer data were used to fit the model. The results indicate that anglers' local preferences and their tendency to revisit previous destinations reduce the number of long inter-waterbody trips potentially dispersing whirling disease. According to our model, anglers revisit their previous destination in 64% of their trips, making these trips irrelevant for the spread of whirling disease. Furthermore, 54% of fishing trips end in individual-specific spatially contained areas with mean radius of 54.7km. Finally, although the fraction of trips that anglers report was unknown, we were able to estimate the total yearly number of fishing trips in Alberta, matching an independent empirical estimate.


title: Probing dense QCD matter: Muon measurements with the CBM experiment at FAIR

abstract: The Compressed Baryonic Matter (CBM) experiment at the future Facility for Antiproton and Ion Research (FAIR) in Darmstadt is designed to investigate the properties of high-density QCD matter with multi-differential measurements of hadrons and leptons, including rare probes like multi-strange anti-hyperons and charmed particles. The research program covers the study of the high-density equation-of-state of nuclear matter, and the exploration of the QCD phase diagram at large baryon-chemical potentials, including the search for quark matter and the critical endpoint of a hypothetical 1st order phase transition. The CBM setup comprises detector systems for the identification of charged hadrons, electrons, and muons, for the determination of collision centrality and the orientation of the reaction plane, and a free-streaming data read-out and acquisition system, which allows online reconstruction and selection of events up to reaction rates of 10 MHz. In this article, emphasis is placed on the measurement of muon pairs in Au-Au collisions at FAIR beam energies, which are unique probes to determine the temperature of the fireball, and, hence, to search for a caloric curve of QCD matter. Simultaneously, the subthreshold production of charmonium can be studied via its dimuon decay, in order to shed light on the microscopic structure of QCD matter at high baryon densities. The CBM setup with focus on dimuon measurements and results of the corresponding physics performance studies will be presented.