title: Reflections and Considerations on Running Creative Visualization Learning Activities

abstract: This paper draws together nine strategies for creative visualization activities. Teaching visualization often involves running learning activities where students perform tasks that directly support one or more topics that the teacher wishes to address in the lesson. As a group of educators and researchers in visualization, we reflect on our learning experiences. Our activities and experiences range from dividing the tasks into smaller parts, considering different learning materials, to encouraging debate. With this paper, our hope is that we can encourage, inspire, and guide other educators with visualization activities. Our reflections provide an initial starting point of methods and strategies to craft creative visualisation learning activities, and provide a foundation for developing best practices in visualization education.


title: Thermal infrared image based vehicle detection in low-level illumination conditions using multi-level GANs

abstract: Vehicle detection accuracy is fairly accurate in good-illumination conditions but susceptible to poor detection accuracy under low-light conditions. The combined effect of low-light and glare from vehicle headlight or tail-light results in misses in vehicle detection more likely by state-of-the-art object detection models. However, thermal infrared images are robust to illumination changes and are based on thermal radiation. Recently, Generative Adversarial Networks (GANs) have been extensively used in image domain transfer tasks. State-of-the-art GAN models have attempted to improve vehicle detection accuracy in night-time by converting infrared images to day-time RGB images. However, these models have been found to under-perform during night-time conditions compared to day-time conditions, as day-time infrared images looks different than night-time infrared images. Therefore, this study attempts to alleviate this shortcoming by proposing three different approaches based on combination of GAN models at two different levels that try to reduce the feature distribution gap between day-time and night-time infrared images. Quantitative analysis to compare the performance of the proposed models with the state-of-the-art models has been done by testing the models using state-of-the-art object detection models. Both the quantitative and qualitative analyses have shown that the proposed models outperform the state-of-the-art GAN models for vehicle detection in night-time conditions, showing the efficacy of the proposed models.


title: High-resolution synthesis of high-density breast mammograms: Application to improved fairness in deep learning based mass detection

abstract: Computer-aided detection systems based on deep learning have shown good performance in breast cancer detection. However, high-density breasts show poorer detection performance since dense tissues can mask or even simulate masses. Therefore, the sensitivity of mammography for breast cancer detection can be reduced by more than 20% in dense breasts. Additionally, extremely dense cases reported an increased risk of cancer compared to low-density breasts. This study aims to improve the mass detection performance in highdensity breasts using synthetic high-density full-field digital mammograms (FFDM) as data augmentation during breast mass detection model training. To this end, a total of five cycle-consistent GAN (CycleGAN) models using three FFDM datasets were trained for low-to-high-density image translation in highresolution mammograms. The training images were split by breast density BIRADS categories, being BI-RADS A almost entirely fatty and BI-RADS D extremely dense breasts. Our results showed that the proposed data augmentation technique improved the sensitivity and precision of mass detection in models trained with small datasets and improved the domain generalization of the models trained with large databases. In addition, the clinical realism of the synthetic images was evaluated in a reader study involving two expert radiologists and one surgical oncologist.


title: The boosted HP filter is more general than you might think

abstract: The global financial crisis and Covid recession have renewed discussion concerning trend-cycle discovery in macroeconomic data, and boosting has recently upgraded the popular HP filter to a modern machine learning device suited to data-rich and rapid computational environments. This paper extends boosting's trend determination capability to higher order integrated processes and time series with roots that are local to unity. The theory is established by understanding the asymptotic effect of boosting on a simple exponential function. Given a universe of time series in FRED databases that exhibit various dynamic patterns, boosting timely captures downturns at crises and recoveries that follow.


title: Predictive Scale-Bridging Simulations through Active Learning

abstract: Throughout computational science, there is a growing need to utilize the continual improvements in raw computational horsepower to achieve greater physical fidelity through scale-bridging over brute-force increases in the number of mesh elements. For instance, quantitative predictions of transport in nanoporous media, critical to hydrocarbon extraction from tight shale formations, are impossible without accounting for molecular-level interactions. Similarly, inertial confinement fusion simulations rely on numerical diffusion to simulate molecular effects such as non-local transport and mixing without truly accounting for molecular interactions. With these two disparate applications in mind, we develop a novel capability which uses an active learning approach to optimize the use of local fine-scale simulations for informing coarse-scale hydrodynamics. Our approach addresses three challenges: forecasting continuum coarse-scale trajectory to speculatively execute new fine-scale molecular dynamics calculations, dynamically updating coarse-scale from fine-scale calculations, and quantifying uncertainty in neural network models.


title: Quasi-periodic solutions to the incompressible Euler equations in dimensions two and higher

abstract: Building on the work of Crouseilles and Faou on the 2D case, we construct $C^\infty$ quasi-periodic solutions to the incompressible Euler equations with periodic boundary conditions in dimension 3 and in any even dimension. These solutions are genuinely high-dimensional, which is particularly interesting because there are extremely few examples of high-dimensional initial data for which global solutions are known to exist. These quasi-periodic solutions can be engineered so that they are dense on tori of arbitrary dimension embedded in the space of solenoidal vector fields. Furthermore, in the two-dimensional case we show that quasi-periodic solutions are dense in the phase space of the Euler equations. More precisely, for any integer $N\geq 1$ we prove that any $L^q$ initial stream function can be approximated in $L^q$ (strongly when $1\leq q< \infty$ and weak-* when $q=\infty$) by smooth initial data whose solutions are dense on $N$-dimensional tori.


title: Register Variation Remains Stable Across 60 Languages

abstract: This paper measures the stability of cross-linguistic register variation. A register is a variety of a language that is associated with extra-linguistic context. The relationship between a register and its context is functional: the linguistic features that make up a register are motivated by the needs and constraints of the communicative situation. This view hypothesizes that register should be universal, so that we expect a stable relationship between the extra-linguistic context that defines a register and the sets of linguistic features which the register contains. In this paper, the universality and robustness of register variation is tested by comparing variation within vs. between register-specific corpora in 60 languages using corpora produced in comparable communicative situations: tweets and Wikipedia articles. Our findings confirm the prediction that register variation is, in fact, universal.


title: PainPoints: A Framework for Language-based Detection of Chronic Pain and Expert-Collaborative Text-Summarization

abstract: Chronic pain is a pervasive disorder which is often very disabling and is associated with comorbidities such as depression and anxiety. Neuropathic Pain (NP) is a common sub-type which is often caused due to nerve damage and has a known pathophysiology. Another common sub-type is Fibromyalgia (FM) which is described as musculoskeletal, diffuse pain that is widespread through the body. The pathophysiology of FM is poorly understood, making it very hard to diagnose. Standard medications and treatments for FM and NP differ from one another and if misdiagnosed it can cause an increase in symptom severity. To overcome this difficulty, we propose a novel framework, PainPoints, which accurately detects the sub-type of pain and generates clinical notes via summarizing the patient interviews. Specifically, PainPoints makes use of large language models to perform sentence-level classification of the text obtained from interviews of FM and NP patients with a reliable AUC of 0.83. Using a sufficiency-based interpretability approach, we explain how the fine-tuned model accurately picks up on the nuances that patients use to describe their pain. Finally, we generate summaries of these interviews via expert interventions by introducing a novel facet-based approach. PainPoints thus enables practitioners to add/drop facets and generate a custom summary based on the notion of "facet-coverage" which is also introduced in this work.


title: Towards Fine-tuning Pre-trained Language Models with Integer Forward and Backward Propagation

abstract: The large number of parameters of some prominent language models, such as BERT, makes their fine-tuning on downstream tasks computationally intensive and energy hungry. Previously researchers were focused on lower bit-width integer data types for the forward propagation of language models to save memory and computation. As for the backward propagation, however, only 16-bit floating-point data type has been used for the fine-tuning of BERT. In this work, we use integer arithmetic for both forward and back propagation in the fine-tuning of BERT. We study the effects of varying the integer bit-width on the model's metric performance. Our integer fine-tuning uses integer arithmetic to perform forward propagation and gradient computation of linear, layer-norm, and embedding layers of BERT. We fine-tune BERT using our integer training method on SQuAD v1.1 and SQuAD v2., and GLUE benchmark. We demonstrate that metric performance of fine-tuning 16-bit integer BERT matches both 16-bit and 32-bit floating-point baselines. Furthermore, using the faster and more memory efficient 8-bit integer data type, integer fine-tuning of BERT loses an average of 3.1 points compared to the FP32 baseline.


title: Systems Dominated by Exchange Particles

abstract: As well known, the spectrum of a non-relativistic two-body system interacting by the Coulomb potential is the Balmer series $E_n=\frac{\alpha^2m}{4n^2}$ produced by the Schr\"odinger equation. In 1954, Wick and Cutkosky have found, in the Bethe-Salpeter equation framework, that for $\alpha>\frac{\pi}{4}$ the relativistic effects result in new levels (in addition to the Balmer series). However, the physical nature of these new states remained unclear and therefore their existence was being questioned. We have recently shown that these extra states are dominated by the exchange (massless) particles, moving with speed of light. That's why they did not appear in the non-relativistic (Schr\"odinger) framework.


title: Uncertainty relations for the support of quantum states

abstract: Given a narrow signal over the real line, there is a limit to the localisation of its Fourier transform. In spaces of prime dimensions, Tao derived a sharp state-independent uncertainty relation which holds for the support sizes of a pure qudit state in two bases related by a discrete Fourier transform. We generalise Tao's uncertainty relation to complete sets of mutually unbiased bases in spaces of prime dimensions. The bound we obtain appears to be sharp for dimension three only. Analytic and numerical results for prime dimensions up to nineteen suggest that the bound cannot be saturated in general. For prime dimensions two to seven we construct sharp bounds on the support sizes in $(d+1)$ mutually unbiased bases and identify some of the states achieving them.


title: Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers

abstract: This work presents a step towards utilizing incrementally-improving symbolic perception knowledge of the robot's surroundings for provably correct reactive control synthesis applied to an autonomous driving problem. Combining abstract models of motion control and information gathering, we show that assume-guarantee specifications (a subclass of Linear Temporal Logic) can be used to define and resolve traffic rules for cautious planning. We propose a novel representation called symbolic refinement tree for perception that captures the incremental knowledge about the environment and embodies the relationships between various symbolic perception inputs. The incremental knowledge is leveraged for synthesizing verified reactive plans for the robot. The case studies demonstrate the efficacy of the proposed approach in synthesizing control inputs even in case of partially occluded environments.


title: Efficient Model Based Diagnosis

abstract: In this paper an efficient model based diagnostic process is described for systems whose components possess a causal relation between their inputs and their outputs. In this diagnostic process, firstly, a set of focuses on likely broken components is determined. Secondly, for each focus the most informative probing point within the focus can be determined. Both these steps of the diagnostic process have a worst case time complexity of ${\cal O}(n^2)$ where $n$ is the number of components. If the connectivity of the components is low, however, the diagnostic process shows a linear time complexity. It is also shown how the diagnostic process described can be applied in dynamic systems and systems containing loops. When diagnosing dynamic systems it is possible to choose between detecting intermitting faults or to improve the diagnostic precision by assuming non-intermittency.


title: Entanglement entropy of ground states of the three-dimensional ideal Fermi gas in a magnetic field

abstract: We study the asymptotic growth of the entanglement entropy of ground states of non-interacting (spinless) fermions in $\mathbb R^3$ subject to a non-zero, constant magnetic field perpendicular to a plane. As for the case with no magnetic field we find, to leading order $L^2\ln(L)$, a logarithmically enhanced area law of this entropy for a bounded, piecewise Lipschitz region $L\Lambda\subset \mathbb R^3$ as the scaling parameter $L$ tends to infinity. This is in contrast to the two-dimensional case since particles can now move freely in the direction of the magnetic field, which causes the extra $\ln(L)$ factor. The explicit expression for the coefficient of the leading order contains a surface integral similar to the Widom formula in the non-magnetic case. It differs however in the sense that the dependence on the boundary is not solely on its area but on the "area perpendicular to the direction of the magnetic field". On the way we prove an improved two-term asymptotic expansion (up to an error term of order one) of certain traces of one-dimensional Wiener--Hopf operators with a discontinuous symbol. This is of independent interest and leads to an improved error term of the order $L^2$ of the relevant trace for piecewise $\mathsf{C}^{1,\alpha}$ smooth surfaces $\partial \Lambda$.

categories: math-ph cond-mat.quant-gas math.GM math.MP


title: Efficient and accurate inference for mixtures of Mallows models with Spearman distance

abstract: The Mallows model occupies a central role in parametric modelling of ranking data to learn preferences of a population of judges. Despite the wide range of metrics for rankings that can be considered in the model specification, the choice is typically limited to the Kendall, Cayley or Hamming distances, due to the closed-form expression of the related model normalizing constant. This work instead focuses on the Mallows model with Spearman distance. An efficient and accurate EM algorithm for estimating finite mixtures of Mallows models with Spearman distance is developed, by relying on a twofold data augmentation strategy aimed at i) enlarging the applicability of Mallows models to samples drawn from heterogeneous populations; ii) dealing with partial rankings affected by diverse forms of censoring. Additionally, a novel approximation of the model normalizing constant is introduced to support the challenging model-based clustering of rankings with a large number of items. The inferential ability of the EM scheme and the effectiveness of the approximation are assessed by extensive simulation studies. Finally, we show that the application to three real-world datasets endorses our proposals also in the comparison with competing mixtures of ranking models.


title: Polynomial approximation of derivatives by the constrained mock-Chebyshev least squares operator

abstract: The constrained mock-Chebyshev least squares operator is a linear approximation operator based on an equispaced grid of points. Like other polynomial or rational approximation methods, it was recently introduced in order to defeat the Runge phenomenon that occurs when using polynomial interpolation on large sets of equally spaced points. The idea is to improve the mock-Chebyshev subset interpolation, where the considered function $f$ is interpolated only on a proper subset of the uniform grid, formed by nodes that mimic the behavior of Chebyshev--Lobatto nodes. In the mock-Chebyshev subset interpolation all remaining nodes are discarded, while in the constrained mock-Chebyshev least squares interpolation they are used in a simultaneous regression, with the aim to further improving the accuracy of the approximation provided by the mock-Chebyshev subset interpolation. The goal of this paper is two-fold. We discuss some theoretical aspects of the constrained mock-Chebyshev least squares operator and present new results. In particular, we introduce explicit representations of the error and its derivatives. Moreover, for a sufficiently smooth function $f$ in $[-1,1]$, we present a method for approximating the successive derivatives of $f$ at a point $x\in [-1,1]$, based on the constrained mock-Chebyshev least squares operator and provide estimates for these approximations. Numerical tests demonstrate the effectiveness of the proposed method.


title: Can we detect deep axisymmetric toroidal magnetic fields in stars?

abstract: One of the major discoveries of asteroseismology is the signature of a strong extraction of angular momentum (AM) in the radiative zones of stars across the entire Hertzsprung-Russell diagram, resulting in weak core-to-surface rotation contrasts. Despite all efforts, a consistent AM transport theory, which reproduces both the internal rotation and mixing probed thanks to the seismology of stars, remains one of the major open problems in modern stellar astrophysics. A possible key ingredient to figure out this puzzle is magnetic field with its various possible topologies. Among them, strong axisymmetric toroidal fields, which are subject to the so-called Tayler MHD instability, could play a major role. They could trigger a dynamo action in radiative layers while the resulting magnetic torque allows an efficient transport of AM. But is it possible to detect signatures of these deep toroidal magnetic fields? The only way to answer this question is asteroseismology and the best laboratories of study are intermediate-mass and massive stars because of their external radiative envelope. Since most of these are rapid rotators during their main-sequence, we have to study stellar pulsations propagating in stably stratified, rotating, and potentially strongly magnetised radiative zones. For that, we generalise the traditional approximation of rotation, which provides in its classic version a flexible treatment of the adiabatic propagation of gravito-inertial modes, by taking simultaneously general axisymmetric differential rotation and toroidal magnetic fields into account. Using this new non-perturbative formalism, we derive the asymptotic properties of magneto-gravito-inertial modes and we explore the different possible field configurations. We found that the magnetic effects should be detectable for equatorial fields using high-precision asteroseismic data.

categories: astro-ph.SR astro-ph.HE physics.ao-ph physics.flu-dyn


title: Twitter Topic Classification

abstract: Social media platforms host discussions about a wide variety of topics that arise everyday. Making sense of all the content and organising it into categories is an arduous task. A common way to deal with this issue is relying on topic modeling, but topics discovered using this technique are difficult to interpret and can differ from corpus to corpus. In this paper, we present a new task based on tweet topic classification and release two associated datasets. Given a wide range of topics covering the most important discussion points in social media, we provide training and testing data from recent time periods that can be used to evaluate tweet classification models. Moreover, we perform a quantitative evaluation and analysis of current general- and domain-specific language models on the task, which provide more insights on the challenges and nature of the task.


title: De-speckling of Optical Coherence Tomography Images Using Anscombe Transform and a Noisier2noise Model

abstract: Optical Coherence Tomography (OCT) image denoising is a fundamental problem as OCT images suffer from multiplicative speckle noise, resulting in poor visibility of retinal layers. The traditional denoising methods consider specific statistical properties of the noise, which are not always known. Furthermore, recent deep learning-based denoising methods require paired noisy and clean images, which are often difficult to obtain, especially medical images. Noise2Noise family architectures are generally proposed to overcome this issue by learning without noisy-clean image pairs. However, for that, multiple noisy observations from a single image are typically needed. Also, sometimes the experiments are demonstrated by simulating noises on clean synthetic images, which is not a realistic scenario. This work shows how a single real-world noisy observation of each image can be used to train a denoising network. Along with a theoretical understanding, our algorithm is experimentally validated using a publicly available OCT image dataset. Our approach incorporates Anscombe transform to convert the multiplicative noise model to additive Gaussian noise to make it suitable for OCT images. The quantitative results show that this method can outperform several other methods where a single noisy observation of an image is needed for denoising. The code and implementation of this paper will be available publicly upon acceptance of this paper.


title: Thermalization without eigenstate thermalization

abstract: In an isolated quantum many-body system undergoing unitary evolution, we study the thermalization of a subsystem, treating the rest of the system as a bath. In this setting, the eigenstate thermalization hypothesis (ETH) was proposed to explain thermalization. Consider a nearly integrable Sachdev-Ye-Kitaev model obtained by adding random all-to-all 4-body interactions as a perturbation to a random free-fermion model. When the subsystem size is larger than the square root of but is still a vanishing fraction of the system size, we prove thermalization if the system is initialized in a random product state, while almost all eigenstates violate the ETH. In this sense, the ETH is not a necessary condition for thermalization.

categories: cond-mat.stat-mech cond-mat.str-el hep-th math-ph math.MP quant-ph


title: Metastability of Glauber dynamics with inhomogeneous coupling disorder

abstract: We introduce a general class of mean-field-like spin systems with random couplings that comprises both the Ising model on inhomogeneous dense random graphs and the randomly diluted Hopfield model. We are interested in quantitative estimates of metastability in large volumes at fixed temperatures when these systems evolve according to a Glauber dynamics, i.e.\ where spins flip with Metropolis transition probabilities at inverse temperature $\beta$. We identify conditions ensuring that with high probability the system behaves like the corresponding system where the random couplings are replaced by their averages. More precisely, we prove that the metastability of the former system is implied with high probability by the metastability of the latter. Moreover, we consider relevant metastable hitting times of the two systems and find the asymptotic tail behaviour and the moments of their ratio. This work provides an extension of the results known for the Ising model on the Erd\H{o}s--R{\'e}nyi random graph. The proofs use the potential-theoretic approach to metastability in combination with concentration inequalities.


title: Joint Base Station and IRS Deployment for Enhancing Network Coverage: A Graph-Based Modeling and Optimization Approach

abstract: Intelligent reflecting surface (IRS) can be densely deployed in complex environment to create cascaded line-of-sight (LoS) paths between multiple base stations (BSs) and users via tunable IRS reflections, thereby significantly enhancing the coverage performance of wireless networks. To achieve this goal, it is vital to optimize the deployed locations of BSs and IRSs in the wireless network, which is investigated in this paper. Specifically, we divide the coverage area of the network into multiple non-overlapping cells and decide whether to deploy a BS/IRS in each cell given a total number of BSs/IRSs available. We show that to ensure the network coverage/communication performance, i.e., each cell has a direct/cascaded LoS path with at least one BS, as well as such LoS paths have the average number of IRS reflections less than a given threshold, there is a fundamental trade-off with the deployment cost or the number of BSs/IRSs needed. To optimally characterize this trade-off, we formulate a joint BS and IRS deployment problem based on graph theory, which, however, is difficult to be optimally solved due to the combinatorial optimization involved. To circumvent this difficulty, we first consider a simplified problem with given BS deployment and propose the optimal as well as an efficient suboptimal IRS deployment solution to it, by applying the branch-and-bound method and iteratively removing IRSs from the candidate locations, respectively. Next, an efficient sequential update algorithm is proposed for solving the joint BS and IRS deployment problem. Numerical results are provided to show the efficacy of the proposed design approach and optimization algorithms for the joint BS and IRS deployment. The trade-off between the network coverage performance and the number of deployed BSs/IRSs with different cost ratios is also unveiled.


title: Joint backward extension property for weighted shifts on directed trees

abstract: Weighted shifts on directed trees are a decade old generalisation of classical shift operators in the sequence space $\ell^2$. In this paper we introduce the joint backward extension property (JBEP) for classes of weighted shifts on directed trees. If a class satisfies JBEP, the existence of a common backward extension within the class for a family of weighted shifts on rooted directed trees does not depend on the additional structure of the big tree (of fixed depth). We decide whether several classes of operators have JBEP. For subnormal or power hyponormal weighted shifts the property is satisfied, while it fails for completely hyperexpansive or quasinormal. Nevertheless some positive results on joint backward extensions of completely hyperexpansive weighted shifts are proven.


title: Single Fluid vs. Multifluid: Comparison between single fluid and multifluid dust models for disc planet interactions

abstract: Recent observations of substructures such as dust gaps and dust rings in protoplanetary discs have highlighted the importance of including dust into purely gaseous disc models. At the same time, computational difficulties arise with the standard models of simulating the dust and gas separately. These include the cost of accurately simulating the interactions between well coupled dust and gas and issues of dust concentration in areas below resolution of the gas phase. We test a single fluid approach, that incorporates the terminal velocity approximation valid for small particles, which can overcome these difficulties, through modification of FARGO3D. We compare this single fluid model with a multifluid model for a variety of planet masses. We find differences in the dust density distribution in all cases. For high-mass, gap-opening planets we find differences in the amplitude of the resulting dust rings, which we attribute to the failure of the terminal velocity approximation around shocks. For low-mass planets, both models agree everywhere except in the corotation region, where the terminal velocity approximation shows overdense dust lobes. We tentatively interpret these as dusty equivalents of thermal lobes seen in non-isothermal simulations with thermal diffusion, but more work is necessary to confirm this. At the same resolution, the computational time for the terminal velocity approximation model is significantly less than a two fluid model. We conclude that the terminal velocity approximation is a valuable tool for modelling a protoplanetary disc but that care should be taken when shocks are involved.


title: Lattice uniformities inducing unbounded convergence

abstract: A net $(x_\gamma)_{\gamma\in\Gamma}$ in a locally solid Riesz space $(X,\tau)$ is said to be unbounded $\tau$-convergent to $x$ if $|x_\gamma-x|\wedge u\mathop{\overset{\tau}{\longrightarrow}} 0$ for all $u\in X_+$. We recall that there is a locally solid linear topology $\mathfrak{u}\tau$ on $X$ such that unbounded $\tau$-convergence coincides with $\mathfrak{u}\tau$-convergence, and moreover, $\mathfrak{u}\tau$ is characterised as the weakest locally solid linear topology which coincides with $\tau$ on all order bounded subsets. It is with this motivation that we introduce, for a uniform lattice $(L,u)$, the weakest lattice uniformity $u^\ast$ on $L$ that coincides with $u$ on all the order bounded subsets of $L$. It is shown that if $u$ is the uniformity induced by the topology of a locally solid Riesz space $(X,\tau)$, then the $u^*$-topology coincides with $\mathfrak{u}\tau$. This allows comparing the results of this paper with earlier results on unbounded $\tau$-convergence. It will be seen that despite the fact that in the setup of uniform lattices most of the machinery used in the techniques of [M. A. Taylor 2019: Unbounded topologies and uo-convergence in locally solid vector spaces, J. Math. Anal. Appl. \bf{472} no.1, 981--1000] is lacking, the concept of `unbounded convergence' well fittingly generalizes to uniform lattices. We shall also answer Questions 2.13, 3.3, 5.10 of [M. A. Taylor 2019: Unbounded topologies and uo-convergence in locally solid vector spaces, J. Math. Anal. Appl. \bf{472} no.1, 981--1000] and Question 18.51 of [M. A. Taylor 2018: Unbounded convergence in vector lattices, Thesis University of Alberta].


title: Disorder Unleashes Panic in Bitcoin Dynamics

abstract: The behaviour of Bitcoin owners is reflected in the structure and the number of bitcoin transactions encoded in the Blockchain. Likewise, the behaviour of Bitcoin traders is reflected in the formation of bullish and bearish trends in the crypto market. In light of these observations, we wonder if human behaviour underlies some relationship between the Blockchain and the crypto market. To address this question, we map the Blockchain to a spin-lattice problem, whose configurations form ordered and disordered patterns, representing the behaviour of Bitcoin owners. This novel approach allows us to obtain time series suitable to detect a causal relationship between the dynamics of the Blockchain and market trends of the Bitcoin and to find that disordered patterns in the Blockchain precede Bitcoin panic selling. Our results suggest that human behaviour underlying Blockchain evolution and the crypto market brings out a fascinating connection between disorder and panic in Bitcoin dynamics.


title: Absolute algebras, contramodules, and duality squares

abstract: Absolute algebras are a new type of algebraic structures, endowed with a meaningful notion of infinite sums of operations without supposing any underlying topology. Opposite to the usual definition of operadic calculus, they are defined as algebras over cooperads. The goal of this article is to develop this new theory. First, we relate the homotopy theory of absolute algebras to the homotopy theory of usual algebras via a duality square. It intertwines Bar-Cobar adjunctions with linear duality adjunctions. In particular, we show that linear duality functors between types of coalgebras and types of algebras are Quillen functors and that they induce equivalences between objects with finiteness conditions on their homology. We embed the theory of contramodules as a particular case of the theory of absolute algebras. We study in detail the case of absolute associative algebras and absolute Lie algebras. Campos--Petersen--Robert-Nicoud--Wierstra showed that two nilpotent Lie algebras whose universal enveloping algebras are isomorphic as associative algebras must be isomorphic. We generalize their theorem to any absolute Lie algebras and any minimal absolute $\mathcal{L}_\infty$-algebras, of which nilpotent Lie algebras and minimal nilpotent $\mathcal{L}_\infty$-algebras are a particular cases.


title: Floating Dark Matter in Celestial Bodies

abstract: Dark matter (DM) can be captured in celestial bodies after scattering and losing sufficient energy to become gravitationally bound. We derive a general framework that describes the current DM distribution inside celestial objects, which self-consistently includes the effects of concentration diffusion, thermal diffusion, gravity, and capture accumulation. For DM with sufficient interactions, we show that a significant DM population can thermalize and sit towards the celestial-body surface. This floating distribution allows for new phenomenology for DM searches in a wide range of celestial bodies, including the Sun, Earth, Jupiter, Brown Dwarfs, and Exoplanets.


title: EM-Fault It Yourself: Building a Replicable EMFI Setup for Desktop and Server Hardware

abstract: EMFI has become a popular fault injection (FI) technique due to its ability to inject faults precisely considering timing and location. Recently, ARM, RISC-V, and even x86 processing units in different packages were shown to be vulnerable to electromagnetic fault injection (EMFI) attacks. However, past publications lack a detailed description of the entire attack setup, hindering researchers and companies from easily replicating the presented attacks on their devices. In this work, we first show how to build an automated EMFI setup with high scanning resolution and good repeatability that is large enough to attack modern desktop and server CPUs. We structurally lay out all details on mechanics, hardware, and software along with this paper. Second, we use our setup to attack a deeply embedded security co-processor in modern AMD systems on a chip (SoCs), the AMD Secure Processor (AMD-SP). Using a previously published code execution exploit, we run two custom payloads on the AMD-SP that utilize the SoC to different degrees. We then visualize these fault locations on SoC photographs allowing us to reason about the SoC's components under attack. Finally, we show that the signature verification process of one of the first executed firmware parts is susceptible to EMFI attacks, undermining the security architecture of the entire SoC. To the best of our knowledge, this is the first reported EMFI attack against an AMD desktop CPU.


title: The actual pressure and temperature at the melt of elemental vanadium

abstract: It is claimed that all of the pressure scales of the reported melting curves derived by diamond anvil cell experiments require a correction which takes into account the pressure thermal shift, where vanadium is an illustrative example. The linear behavior of the thermal pressure (Pth) vs. the temperature, as predicted by first principles theoretical assumptions is then experimentally confirmed. This allows extrapolation to determine of the actual pressure and thermal temperature at the melt. Accounting for the role of the pressure transmitting media in diamond anvil cell experiments, the analysis of elemental vanadium melting curve is presented. It is shown that the appropriate correction of shock waves melting data which takes into account the radiation absorbed by the LiF window, applies only to vanadium metal. The correct pressure scale of vanadium metal as derived by diamond anvil cell is presented.


title: Network analysis and Eurozone trade imbalances

abstract: European Monetary Union continues to be characterised by significant macroeconomic imbalances. Germany has shown increasing current account surpluses at the expense of the other member states (especially the European periphery). Since the creation of a single currency has implied the impossibility of implementing competitive devaluations, trade imbalances within a monetary union can be considered unfair behaviour. We have modelled Eurozone trade flows in goods through a weighted network from 1995 to 2019. To the best of our knowledge, this is the first work that applies this methodology to this kind of data. Network analysis has allowed us to estimate a series of important centrality measures. A polarisation phenomenon emerges in relation to the growth of German dominance. The common currency has then not been capable to remove trade asymmetry, increasing the distance between surplus and deficit countries. This situation should be addressed with expansionary policies on the demand side at national and supranational level.


title: On resolving conflicts between arguments

abstract: Argument systems are based on the idea that one can construct arguments for propositions; i.e., structured reasons justifying the belief in a proposition. Using defeasible rules, arguments need not be valid in all circumstances, therefore, it might be possible to construct an argument for a proposition as well as its negation. When arguments support conflicting propositions, one of the arguments must be defeated, which raises the question of \emph{which (sub-)arguments can be subject to defeat}? In legal argumentation, meta-rules determine the valid arguments by considering the last defeasible rule of each argument involved in a conflict. Since it is easier to evaluate arguments using their last rules, \emph{can a conflict be resolved by considering only the last defeasible rules of the arguments involved}? We propose a new argument system where, instead of deriving a defeat relation between arguments, \emph{undercutting-arguments} for the defeat of defeasible rules are constructed. This system allows us, (\textit{i}) to resolve conflicts (a generalization of rebutting arguments) using only the last rules of the arguments for inconsistencies, (\textit{ii}) to determine a set of valid (undefeated) arguments in linear time using an algorithm based on a JTMS, (\textit{iii}) to establish a relation with Default Logic, and (\textit{iv}) to prove closure properties such as \emph{cumulativity}. We also propose an extension of the argument system that enables \emph{reasoning by cases}.


title: Improving Replay-Based Continual Semantic Segmentation with Smart Data Selection

abstract: Continual learning for Semantic Segmentation (CSS) is a rapidly emerging field, in which the capabilities of the segmentation model are incrementally improved by learning new classes or new domains. A central challenge in Continual Learning is overcoming the effects of catastrophic forgetting, which refers to the sudden drop in accuracy on previously learned tasks after the model is trained on new classes or domains. In continual classification this challenge is often overcome by replaying a small selection of samples from previous tasks, however replay is rarely considered in CSS. Therefore, we investigate the influences of various replay strategies for semantic segmentation and evaluate them in class- and domain-incremental settings. Our findings suggest that in a class-incremental setting, it is critical to achieve a uniform distribution for the different classes in the buffer to avoid a bias towards newly learned classes. In the domain-incremental setting, it is most effective to select buffer samples by uniformly sampling from the distribution of learned feature representations or by choosing samples with median entropy. Finally, we observe that the effective sampling methods help to decrease the representation shift significantly in early layers, which is a major cause of forgetting in domain-incremental learning.


title: Amplitude analysis of the $D_s^+ \to \pi^- \pi^+ \pi^+$ decay

abstract: A Dalitz plot analysis of the $D_s^+ \to \pi^- \pi^+ \pi^+$ decay is presented. The analysis is based on proton-proton collision data recorded by the LHCb experiment at a centre-of-mass energy of $8$ TeV and corresponding to an integrated luminosity of $1.5 fb^{-1}$. The resonant structure of the decay is obtained using a quasi-model-independent partial-wave analysis, in which the $\pi^+\pi^-$ S-wave amplitude is parameterised as a generic complex function determined by a fit to the data. The S-wave component is found to be dominant, followed by the contribution from spin-2 resonances and a small contribution from spin-1 resonances. The latter includes the first observation of the $D_s^+ \to \omega(782) \pi^+$ channel in the $D_s^+ \to \pi^- \pi^+ \pi^+$ decay. The resonant structures of the $D_s^+ \to \pi^- \pi^+ \pi^+$ and $D^+ \to \pi^- \pi^+ \pi^+$ decays are compared, providing information about the mechanisms for the hadron formation in these decays.


title: Exploring Inconsistent Knowledge Distillation for Object Detection with Data Augmentation

abstract: Knowledge Distillation (KD) for object detection aims to train a compact detector by transferring knowledge from a teacher model. Since the teacher model perceives data in a way different from humans, existing KD methods only distill knowledge that is consistent with labels annotated by human expert while neglecting knowledge that is not consistent with human perception, which results in insufficient distillation and sub-optimal performance. In this paper, we propose inconsistent knowledge distillation (IKD), which aims to distill knowledge inherent in the teacher model's counter-intuitive perceptions. We start by considering the teacher model's counter-intuitive perceptions of frequency and non-robust features. Unlike previous works that exploit fine-grained features or introduce additional regularizations, we extract inconsistent knowledge by providing diverse input using data augmentation. Specifically, we propose a sample-specific data augmentation to transfer the teacher model's ability in capturing distinct frequency components and suggest an adversarial feature augmentation to extract the teacher model's perceptions of non-robust features in the data. Extensive experiments demonstrate the effectiveness of our method which outperforms state-of-the-art KD baselines on one-stage, two-stage and anchor-free object detectors (at most +1.0 mAP). Our codes will be made available at \url{https://github.com/JWLiang007/IKD.git}.


title: Optical Characterization of a Single Quantum Emitter Based on Vanadium Phthalocyanine Molecules

abstract: Single quantum emitters play a fundamental role in the development of quantum technologies such as quantum repeaters, and quantum information processing. Isolating individual molecules with stable optical emission is an essential step for these applications, specially for those molecules that present large coherence times at room temperature. Among them, vanadium-oxide phthalocyanine (VOPc) molecules stand out as promising candidates due to their large coherence times measured in ensemble. However, the optical properties of individual molecules have not yet been reported. Here we show that single VOPc molecules with stable optical properties at room temperature can be isolated. We find that the optical response of the molecule under laser illumination of different polarization agrees well with a system having pyramidal C$_{4v}$ symmetry. Furthermore, the molecule reveals a non-radiative transition rate that depends on the excitation wavelength when its lifetime is interrogated. We provide theoretical calculations that support our experimental findings and provide insight to the role of phonons and internal electronic structure of the molecule. These results demonstrate that this single paramagnetic molecule can function as a single quantum emitter while displaying optical stability under ambient conditions to have their intrinsic properties investigated.


title: Progress on the unfair 0-1-polynomials conjecture using linear recurrences and numerical analysis

abstract: If the product of two monic polynomials with real nonnegative coefficients has all coefficients equal to 0 or 1, does it follow that all the coefficients of the two factors are also equal to 0 or 1? Here is an equivalent formulation of this intriguing problem: is it possible to weigh unfairly a pair of dice so that the probabilities of every possible outcome (roll them and take the sum) were the same? If the two dice have six faces numbered 1 to 6, it is easy to show that the answer is no. But for general dice with finitely many faces, this is an open problem with no significant advancement since 1937. In this paper we examine, in some sense, the first infinite family of cases that cannot be treated with classical methods: the first die has three faces numbered with 0,2 and 5, while the second die is arbitrary. In other words, we examine factorizations of 0-1-polynomials with one factor equal to $x^5+a x^2 +1$ for some nonnegative $a$. We discover that this case may be solved (that is, necessarily $a=0$ or $a=1$) using the theory of linear recurrence sequences, computation of resultants, a fair amount of analytic and numerical approximations... and a little bit of luck.


title: Frequency Dropout: Feature-Level Regularization via Randomized Filtering

abstract: Deep convolutional neural networks have shown remarkable performance on various computer vision tasks, and yet, they are susceptible to picking up spurious correlations from the training signal. So called `shortcuts' can occur during learning, for example, when there are specific frequencies present in the image data that correlate with the output predictions. Both high and low frequencies can be characteristic of the underlying noise distribution caused by the image acquisition rather than in relation to the task-relevant information about the image content. Models that learn features related to this characteristic noise will not generalize well to new data. In this work, we propose a simple yet effective training strategy, Frequency Dropout, to prevent convolutional neural networks from learning frequency-specific imaging features. We employ randomized filtering of feature maps during training which acts as a feature-level regularization. In this study, we consider common image processing filters such as Gaussian smoothing, Laplacian of Gaussian, and Gabor filtering. Our training strategy is model-agnostic and can be used for any computer vision task. We demonstrate the effectiveness of Frequency Dropout on a range of popular architectures and multiple tasks including image classification, domain adaptation, and semantic segmentation using both computer vision and medical imaging datasets. Our results suggest that the proposed approach does not only improve predictive accuracy but also improves robustness against domain shift.


title: Relational Reasoning via Set Transformers: Provable Efficiency and Applications to MARL

abstract: The cooperative Multi-A gent R einforcement Learning (MARL) with permutation invariant agents framework has achieved tremendous empirical successes in real-world applications. Unfortunately, the theoretical understanding of this MARL problem is lacking due to the curse of many agents and the limited exploration of the relational reasoning in existing works. In this paper, we verify that the transformer implements complex relational reasoning, and we propose and analyze model-free and model-based offline MARL algorithms with the transformer approximators. We prove that the suboptimality gaps of the model-free and model-based algorithms are independent of and logarithmic in the number of agents respectively, which mitigates the curse of many agents. These results are consequences of a novel generalization error bound of the transformer and a novel analysis of the Maximum Likelihood Estimate (MLE) of the system dynamics with the transformer. Our model-based algorithm is the first provably efficient MARL algorithm that explicitly exploits the permutation invariance of the agents. Our improved generalization bound may be of independent interest and is applicable to other regression problems related to the transformer beyond MARL.


title: Search for the lepton-flavour violating decays $B^0 \to K^{*0} \tau^\pm \mu^\mp$

abstract: A first search for the lepton-flavour violating decays $B^0 \to K^{*0} \tau^\pm \mu^\mp$ is presented. The analysis is performed using a sample of proton-proton collision data, collected with the LHCb detector at centre-of-mass energies of 7, 8 and 13 TeV between 2011 and 2018, corresponding to an integrated luminosity of 9 fb$^{-1}$. No significant signal is observed, and upper limits on the branching fractions are determined to be ${\cal{B}}(B^0 \to K^{*0} \tau^+ \mu^-)< 1.0$ $(1.2)\times 10^{-5} $ and ${\cal{B}}(B^0 \to K^{*0} \tau^- \mu^+)< 8.2$ $(9.8) \times 10^{-6}$ at the 90% (95%) confidence level.


title: Rationality and correctness in n-player games

abstract: There are two well-known sufficient conditions for Nash equilibrium in two-player games: mutual knowledge of rationality (MKR) and mutual knowledge of conjectures. MKR assumes that the concept of rationality is mutually known. In contrast, mutual knowledge of conjectures assumes that a given profile of conjectures is mutually known, which has long been recognized as a strong assumption. In this note, we introduce a notion of "mutual assumption of rationality and correctness" (MARC), which conceptually aligns more closely with the MKR assumption. We present two main results. Our first result establishes that MARC holds in every two-person zero-sum game. In our second theorem, we show that MARC does not in general hold in n-player games.


title: Maximum Likelihood Systematic Effect Modeling and Matched Filtering to Detect Trans-Neptunian Objects with TESS

abstract: We present a pipeline for searching for trans-Neptunian objects (TNOs) using data from the TESS mission, that includes a novel optimization-based framework for subtracting the effects of scattered light and pointing jitter. The background subtraction procedure we adopt, when combined with a moving average, allows one to see TNOs such as 90366 SEDNA, 2015 BP519 with the "naked eye." Moreover, this procedure also enabled us to identify two TNO candidates via direct visual observation (subsequently identified to be 2003 UZ413 and 2005 RR43). To automate the extraction of candidate TNOs, we apply a matched filter that can be tuned to objects at different distances and orbital inclinations. We also demonstrate the performance of the algorithm by recovering signals of three trans-Neptunian objects automatically with a high level of confidence. We further validate the approach via synthetic experiments that test recovery rate as a function of magnitude and distance. We find that there is a trade-off between distance and magnitude; controlling for magnitude, it is easier to detect faster moving objects. Our method can detect objects at distances of 250 AU for magnitudes of +21, and closer objects at fainter magnitudes. On a single contemporary GPU (NVIDIA A100) the method can search for 100 trajectories on 1000 2048 x 2048 frames in 5 minutes, dramatically faster than previous approaches. This method can be used to perform large scale fully automated surveys for TNOs and potential Planet Nine candidates.


title: On The Global Renormalization and Regularization of Several Complex Variable Zeta Functions by Computer

abstract: This review concerns the resolution of a special case of Knizhnik-Zamolodchikov equations ($KZ_3$) using our recent results on combinatorial aspects of zeta functions on several variables and software on noncommutative symbolic computations. In particular, we describe the actual solution of $(KZ_3)$ leading to the unique noncommutative series, $\Phi_{KZ}$, so-called Drinfel'd associator (or Drinfel'd series). Non-trivial expressions for series with rational coefficients, satisfying the same properties with $\Phi_{KZ}$, are also explicitly provided due to the algebraic structure and the singularity analysis of the polylogarithms and harmonic sums.


title: A simple proof of the Crowell-Murasugi theorem

abstract: We give an elementary, self-contained proof of the theorem, proven independently in 1958-9 by Crowell and Murasugi, that the genus of an alternating knot equals half the breadth of its Alexander polynomial, and that applying Seifert's algorithm to any alternating knot diagram gives a surface of minimal genus.


title: Root polytopes, tropical types, and toric edge ideals

abstract: We consider arrangements of tropical hyperplanes where the apices of the hyperplanes are taken to infinity in certain directions. Such an arrangement defines a decomposition of Euclidean space where a cell is determined by its `type' data, analogous to the covectors of an oriented matroid. By work of Develin-Sturmfels and Fink-Rinc\'{o}n, these `tropical complexes' are dual to (regular) subdivisions of root polytopes, which in turn are in bijection with mixed subdivisions of certain generalized permutohedra. Extending previous work with Joswig-Sanyal, we show how a natural monomial labeling of these complexes describes polynomial relations (syzygies) among `type ideals' which arise naturally from the combinatorial data of the arrangement. In particular, we show that the cotype ideal is Alexander dual to a corresponding initial ideal of the lattice ideal of the underlying root polytope. This leads to novel ways of studying algebraic properties of various monomial and toric ideals, as well as relating them to combinatorial and geometric properties. In particular, our methods of studying the dimension of the tropical complex leads to new formulas for homological invariants of toric edge ideals of bipartite graphs, which have been extensively studied in the commutative algebra community.


title: Evidence for non-unitary triplet-pairing superconductivity in noncentrosymmetric TaRuSi and comparison with isostructural TaReSi

abstract: We have studied the superconducting properties of the isostructural ternary noncentrosymmetric superconductors TaXSi (X = Re, Ru) with the help of muon spin rotation/relaxation ($\mu$SR) and density functional theory calculations. Our transverse-field $\mu$SR measurements indicate isotropic s-wave superconductivity in TaReSi and multi-gap superconductivity in TaRuSi. Zero-field $\mu$SR measurements, highly sensitive to very small magnetic fields, and no evidence for spontaneous fields in the superconducting state of TaReSi, whereas we observe small spontaneous fields that onset with superconductivity indicating broken time-reversal symmetry (TRS) superconductivity in TaRuSi. Using density functional theory calculations, we find that spin-orbit coupling is relatively weak in TaRuSi and strong in TaReSi. Using symmetry analysis, we attribute the broken time-reversal symmetry (TRS) in TaRuSi to a non-unitary triplet pairing state. Such a state is not allowed in the presence of strong spin-orbit coupling: our finding of no evidence for broken TRS in TaReSi is consistent with this expectation.


title: Detecting symmetry fractionalization in gapped quantum spin liquids by magnetic impurities

abstract: We study the Kondo effect of spin-1/2 magnetic impurities in gapped Z2 spin liquids on two-dimensional lattices. We find that if the impurity is placed at a high-symmetry location, a nontrivial spinon fractionalization class of the impurity site symmetry group will necessarily lead to a non-Kramers doublet in the Kondo screening regime, protected by associated crystalline symmetries. This is in sharp contrast to a featureless screening phase in the usual Kondo effect. We demonstrate this symmetry-protected topological degeneracy by an exactly solvable model and by the large-N theory. Based on this effect, we discuss how thermodynamic measurements in the limit of dilute magnetic impurities can be used to detect symmetry fractionalization in gapped Z2 spin liquids.


title: Geometric scattering monodromy

abstract: In this paper we give geometric conditions so that the integral mapping of a Liouville integrable Hamiltonian system with a focus-focus equilibrium point has scattering monodromy. Using a complex version of the Morse lemma, we show that scattering monodromy is the same as the scattering monodromy of the standard focus-focus system.


title: Towards Characterizing IoT Software Update Practices

abstract: Software updates are critical for ensuring systems remain free of bugs and vulnerabilities while they are in service. While many Internet of Things (IoT) devices are capable of outlasting desktops and mobile phones, their software update practices are not yet well understood, despite a large body of research aiming to create new methodologies for keeping IoT devices up to date. This paper discusses efforts towards characterizing the IoT software update landscape through network-level analysis of IoT device traffic. Our results suggest that vendors do not currently follow security best practices, and that software update standards, while available, are not being deployed.


title: Statistical CSI-based Beamforming for RIS-Aided Multiuser MISO Systems using Deep Reinforcement Learning

abstract: The paper presents a joint beamforming algorithm using statistical channel state information (S-CSI) for reconfigurable intelligent surfaces (RIS) for multiuser MISO wireless communications. We used S-CSI, which is a long-term average of the cascaded channel as opposed to instantaneous CSI utilized in most existing works. Through this method, the overhead of channel estimation is dramatically reduced. We propose a proximal policy optimization (PPO) algorithm which is a well-known actor-critic based reinforcement learning (RL) algorithm to solve the optimization problem. To test the efficacy of this algorithm, simulation results are presented along with evaluations of key system parameters, including the Rician factor and RIS location, on the achievable sum rate of the users.


title: Fine-grained Classification of Solder Joints with {\alpha}-skew Jensen-Shannon Divergence

abstract: Solder joint inspection (SJI) is a critical process in the production of printed circuit boards (PCB). Detection of solder errors during SJI is quite challenging as the solder joints have very small sizes and can take various shapes. In this study, we first show that solders have low feature diversity, and that the SJI can be carried out as a fine-grained image classification task which focuses on hard-to-distinguish object classes. To improve the fine-grained classification accuracy, penalizing confident model predictions by maximizing entropy was found useful in the literature. Inline with this information, we propose using the {\alpha}-skew Jensen-Shannon divergence ({\alpha}-JS) for penalizing the confidence in model predictions. We compare the {\alpha}-JS regularization with both existing entropyregularization based methods and the methods based on attention mechanism, segmentation techniques, transformer models, and specific loss functions for fine-grained image classification tasks. We show that the proposed approach achieves the highest F1-score and competitive accuracy for different models in the finegrained solder joint classification task. Finally, we visualize the activation maps and show that with entropy-regularization, more precise class-discriminative regions are localized, which are also more resilient to noise. Code will be made available here upon acceptance.


title: Extremely Simple Activation Shaping for Out-of-Distribution Detection

abstract: The separation between training and deployment of machine learning models implies that not all scenarios encountered in deployment can be anticipated during training, and therefore relying solely on advancements in training has its limits. Out-of-distribution (OOD) detection is an important area that stress-tests a model's ability to handle unseen situations: Do models know when they don't know? Existing OOD detection methods either incur extra training steps, additional data or make nontrivial modifications to the trained network. In contrast, in this work, we propose an extremely simple, post-hoc, on-the-fly activation shaping method, ASH, where a large portion (e.g. 90%) of a sample's activation at a late layer is removed, and the rest (e.g. 10%) simplified or lightly adjusted. The shaping is applied at inference time, and does not require any statistics calculated from training data. Experiments show that such a simple treatment enhances in-distribution and out-of-distribution distinction so as to allow state-of-the-art OOD detection on ImageNet, and does not noticeably deteriorate the in-distribution accuracy. Video, animation and code can be found at: https://andrijazz.github.io/ash


title: Modified Macdonald polynomials and the multispecies zero range process: II

abstract: In a previous part of this work, we gave a new tableau formula for the modified Macdonald polynomials $\widetilde{H}_{\lambda}(X;q,t)$, using a weight on tableaux involving the queue inversion (quinv) statistic. In this paper we establish a link between these combinatorial objects and a class of multispecies totally asymmetric zero-range processes (mTAZRP) on a ring, with site-dependent jump-rates. We construct a Markov chain on the space of tableaux of a given shape, which projects to the mTAZRP, and whose stationary distribution can be expressed in terms of quinv-weighted tableaux. We deduce that the mTAZRP has a partition function given by the modified Macdonald polynomial $\widetilde{H}_{\lambda}(X;1,t)$, and we obtain interesting symmetry properties of the mTAZRP probabilities under permutation of the jump-rates between the sites. We explore a number of interesting special cases of the mTAZRP, and give explicit formulas for particle densities and correlations of the process purely in terms of modified Macdonald polynomials.


title: Constructing Hamilton cycles and perfect matchings efficiently

abstract: Let $\epsilon>0$. We consider the problem of constructing a Hamiltonian graph with $(1+\epsilon)n$ edges in the following controlled random graph process. Starting with the empty graph on $[n]$, at each round a set of $K=K(n)$ edges is presented, chosen uniformly at random from the missing ones (or from the ones that have not been presented yet), and we are asked to choose at most one of them and add it to the current graph. We show that in this process one can build a Hamiltonian graph with at most $(1+\epsilon)n$ edges in $(1+\epsilon)(1+(\log n)/2K) n$ rounds w.h.p. The case $K=1$ implies that w.h.p. one can build a Hamiltonian graph by choosing $(1+\epsilon)n$ edges in an on-line fashion as they appear along the first $(0.5+\epsilon)n\log n$ steps of the random graph process, this refutes a conjecture of Frieze, Krivelevich and Michaeli. The case $K=\Theta(\log n)$ implies that the Hamiltonicity threshold of the corresponding Achlioptas process is at most $(1+\epsilon)(1+(\log n)/2K) n$. This matches the $(1-\epsilon)(1+(\log n)/2K) n$ lower bound due to Krivelevich, Lubetzky and Sudakov and resolves the problem of determining the Hamiltonicity threshold of the Achlioptas process with $K=\Theta(\log n)$. We also show that in the above process w.h.p. one can construct a graph $G$ that spans a matching of size $\lfloor V(G)/2) \rfloor$, with $(0.5+\epsilon)n$ edges, within $(1+\epsilon)(0.5+(\log n)/2K) n$ rounds. Our proof relies on a robust Hamiltonicity property of the strong $4$-core of the binomial random graph which we use as a black-box. This property allows it to absorb paths covering vertices outside the strong $4$-core into a cycle.


title: ESTA: An Esports Trajectory and Action Dataset

abstract: Sports, due to their global reach and impact-rich prediction tasks, are an exciting domain to deploy machine learning models. However, data from conventional sports is often unsuitable for research use due to its size, veracity, and accessibility. To address these issues, we turn to esports, a growing domain that encompasses video games played in a capacity similar to conventional sports. Since esports data is acquired through server logs rather than peripheral sensors, esports provides a unique opportunity to obtain a massive collection of clean and detailed spatiotemporal data, similar to those collected in conventional sports. To parse esports data, we develop awpy, an open-source esports game log parsing library that can extract player trajectories and actions from game logs. Using awpy, we parse 8.6m actions, 7.9m game frames, and 417k trajectories from 1,558 game logs from professional Counter-Strike tournaments to create the Esports Trajectory and Actions (ESTA) dataset. ESTA is one of the largest and most granular publicly available sports data sets to date. We use ESTA to develop benchmarks for win prediction using player-specific information. The ESTA data is available at https://github.com/pnxenopoulos/esta and awpy is made public through PyPI.


title: Elastic Metrics on Spaces of Euclidean Curves: Theory and Algorithms

abstract: A main goal in the field of statistical shape analysis is to define computable and informative metrics on spaces of immersed manifolds, such as the space of curves in a Euclidean space. The approach taken in the elastic shape analysis framework is to define such a metric by starting with a reparameterization-invariant Riemannian metric on the space of parameterized shapes and inducing a metric on the quotient by the group of diffeomorphisms. This quotient metric is computed, in practice, by finding a registration of two shapes over the diffeomorphism group. For spaces of Euclidean curves, the initial Riemannian metric is frequently chosen from a two-parameter family of Sobolev metrics, called elastic metrics. Elastic metrics are especially convenient because, for several parameter choices, they are known to be locally isometric to Riemannian metrics for which one is able to solve the geodesic boundary problem explictly -- well-known examples of these local isometries include the complex square root transform of Younes, Michor, Mumford and Shah and square root velocity (SRV) transform of Srivastava, Klassen, Joshi and Jermyn. In this paper, we show that the SRV transform extends to elastic metrics for all choices of parameters, for curves in any dimension, thereby fully generalizing the work of many authors over the past two decades. We give a unified treatment of the elastic metrics: we extend results of Trouv\'{e} and Younes, Bruveris as well as Lahiri, Robinson and Klassen on the existence of solutions to the registration problem, we develop algorithms for computing distances and geodesics, and we apply these algorithms to metric learning problems, where we learn optimal elastic metric parameters for statistical shape analysis tasks.


title: Optimum Filter Synthesis with DPLMS Method for Energy Reconstruction

abstract: Optimum filters are granted increasing recognition as valuable tools for parametric estimation in many scientific and technical fields. The DPLMS method, introduced some twenty years ago, is effective among the synthesis algorithms since it derives the optimum filters directly from the experimental signal and noise waveforms. Two new extensions of the DPLMS method are here presented. The first one speeds up the synthesis phase and improves the energy estimation by synthesizing optimum filters with automatically designed flat-top length. The second one improves the quality of parameter estimation in multi-channel systems by taking advantage of the inter-channel noise correlation properties. The theoretical and functional aspects behind the DPLMS method for optimum filter synthesis are first recalled and illustrated in more detail. The two new DPLMS extensions are subsequently introduced from the theoretical viewpoint and more thoroughly considered from the applicative perspective. The DPLMS optimum filters have been applied first to simulated signals with various amounts and characteristics of superimposed noise and then to the experimental waveforms acquired from a solid-state Ge detector. The results obtained are considered from both the absolute viewpoint and in comparison with those of more traditional, suboptimal filters. The results demonstrate the effectiveness of the two new DPLMS extensions. For single-channel energy estimations, the optimum filters provide comparatively better results than the other filters. The DPLMS multi-channel optimum filters further enhance the quality of the estimations, compared to single-channel optimum filters, with non-negligible inter-channel noise correlation. The effectiveness and robustness of the DPLMS method in synthesizing high-quality filters for energy estimation will be tested soon within leading-edge multi-channel physics experiments.


title: Development of the Low Frequency Telescope Focal Plane Detector Modules for LiteBIRD

abstract: LiteBIRD is a JAXA-led strategic large-class satellite mission designed to measure the polarization of the cosmic microwave background and Galactic foregrounds from 34 to 448 GHz across the entire sky from L2 in the late 2020s. The scientific payload includes three telescopes which are called the low-, mid-, and high-frequency telescopes each with their own receiver that covers a portion of the mission's frequency range. The low frequency telescope will map synchrotron radiation from the Galactic foreground and the cosmic microwave background. We discuss the design, fabrication, and characterization of the low-frequency focal plane modules for low-frequency telescope, which has a total bandwidth ranging from 34 to 161 GHz. There will be a total of 4 different pixel types with 8 overlapping bands to cover the full frequency range. These modules are housed in a single low-frequency focal plane unit which provides thermal isolation, mechanical support, and radiative baffling for the detectors. The module design implements multi-chroic lenslet-coupled sinuous antenna arrays coupled to transition edge sensor bolometers read out with frequency-domain mulitplexing. While this technology has strong heritage in ground-based cosmic microwave background experiments, the broad frequency coverage, low optical loading conditions, and the high cosmic ray background of the space environment require further development of this technology to be suitable for LiteBIRD. In these proceedings, we discuss the optical and bolometeric characterization of a triplexing prototype pixel with bands centered on 78, 100, and 140 GHz.


title: Collisionless Pattern Discovery in Robot Swarms Using Deep Reinforcement Learning

abstract: We present a deep reinforcement learning-based framework for automatically discovering patterns available in any given initial configuration of fat robot swarms. In particular, we model the problem of collision-less gathering and mutual visibility in fat robot swarms and discover patterns for solving them using our framework. We show that by shaping reward signals based on certain constraints like mutual visibility and safe proximity, the robots can discover collision-less trajectories leading to well-formed gathering and visibility patterns.


title: A Hierarchy of Nondeterminism

abstract: We study three levels in a hierarchy of nondeterminism: A nondeterministic automaton $\mathcal{A}$ is determinizable by pruning (DBP) if we can obtain a deterministic automaton equivalent to $\mathcal{A}$ by removing some of its transitions. Then, $\mathcal{A}$ is history deterministic (HD) if its nondeterministic choices can be resolved in a way that only depends on the past. Finally, $\mathcal{A}$ is semantically deterministic (SD) if different nondeterministic choices in $\mathcal{A}$ lead to equivalent states. Some applications of automata in formal methods require deterministic automata, yet in fact can use automata with some level of nondeterminism. For example, DBP automata are useful in the analysis of online algorithms, and HD automata are useful in synthesis and control. For automata on finite words, the three levels in the hierarchy coincide. We study the hierarchy for B\"uchi, co-B\"uchi, and weak automata on infinite words. We show that the hierarchy is strict, study the expressive power of the different levels in it, as well as the complexity of deciding the membership of a language in a given level. Finally, we describe a probability-based analysis of the hierarchy, which relates the level of nondeterminism with the probability that a random run on a word in the language is accepting. We relate the latter to nondeterministic automata that can be used when reasoning about probabilistic systems.


title: Entanglement between Valence and Sea Quarks in Hadrons of 1+1 Dimensional QCD

abstract: The conceptual interpretation of valence- and sea-quark separation, which is a key aspect of the parton model and of an intuitive picture of hadron structure, becomes obscured by quantum effects in QCD. This suggests that there may be measures of entanglement between quark degrees of freedom that are present in QCD, but absent in the intuitive picture with a clear valence-sea (VS) separation. In this paper, we define the first rigorous measure of VS entanglement in QCD in an attempt to bring conceptual clarity to this issue, and, potentially, to find a measure of the applicability of the parton model to QCD bound states. This VS entanglement vanishes in the large-$N_c$ limit, and it remains low when finite-$N_c$ states resemble their large-$N_c$ counterparts. We perform a numerical study of VS entanglement in 1+1 dimensional discrete light-cone quantized QCD, and in the process develop a method for building the color-singlet basis of 1+1d QCD that is manifestly complete and orthogonal by construction. We calculate this VS entanglement entropy for the first time and find that it is relatively low for the first few excited states of both mesons and baryons compared to all other states in the spectrum, with the VS entropy of ground state hadrons providing a minimum. We also see that for ground state mesons the entropy is well described in the $1/N_c$ approximation. These results suggest that low energy hadrons may be the only QCD bound states for which the large-$N_c$ expansion, and perhaps the parton model, provide an accurate description. This work also provides the first evidence that the VS entanglement entropy of QCD in 3+1d, which would likely serve as an order parameter for the transition between quark and hadron degrees of freedom, may be perturbatively accessible through a large-$N_c$ expansion.


title: Streaming Encoding Algorithms for Scalable Hyperdimensional Computing

abstract: Hyperdimensional computing (HDC) is a paradigm for data representation and learning originating in computational neuroscience. HDC represents data as high-dimensional, low-precision vectors which can be used for a variety of information processing tasks like learning or recall. The mapping to high-dimensional space is a fundamental problem in HDC, and existing methods encounter scalability issues when the input data itself is high-dimensional. In this work, we explore a family of streaming encoding techniques based on hashing. We show formally that these methods enjoy comparable guarantees on performance for learning applications while being substantially more efficient than existing alternatives. We validate these results experimentally on a popular high-dimensional classification problem and show that our approach easily scales to very large data sets.


title: Quantum Optimal Control without Arbitrary Waveform Generators

abstract: Simple, precise, and robust control is demanded for operating a large quantum information processor. However, existing routes to high-fidelity quantum control rely heavily on arbitrary waveform generators that are difficult to scale up. Here, we show that arbitrary control of a quantum system can be achieved by simply turning on and off the control fields in a proper sequence. The switching instances can be designed by conventional quantum optimal control algorithms, while the required computational resources for matrix exponential can be substantially reduced. We demonstrate the flexibility and robustness of the resulting control protocol, and apply it to superconducting quantum circuits for illustration. We expect this proposal to be readily achievable with current semiconductor and superconductor technologies, which offers a significant step towards scalable quantum computing.


title: Physical Logic Enhanced Network for Small-Sample Bi-Layer Metallic Tubes Bending Springback Prediction

abstract: Bi-layer metallic tube (BMT) plays an extremely crucial role in engineering applications, with rotary draw bending (RDB) the high-precision bending processing can be achieved, however, the product will further springback. Due to the complex structure of BMT and the high cost of dataset acquisi-tion, the existing methods based on mechanism research and machine learn-ing cannot meet the engineering requirements of springback prediction. Based on the preliminary mechanism analysis, a physical logic enhanced network (PE-NET) is proposed. The architecture includes ES-NET which equivalent the BMT to the single-layer tube, and SP-NET for the final predic-tion of springback with sufficient single-layer tube samples. Specifically, in the first stage, with the theory-driven pre-exploration and the data-driven pretraining, the ES-NET and SP-NET are constructed, respectively. In the second stage, under the physical logic, the PE-NET is assembled by ES-NET and SP-NET and then fine-tuned with the small sample BMT dataset and composite loss function. The validity and stability of the proposed method are verified by the FE simulation dataset, the small-sample dataset BMT springback angle prediction is achieved, and the method potential in inter-pretability and engineering applications are demonstrated.


title: emojiSpace: Spatial Representation of Emojis

abstract: In the absence of nonverbal cues during messaging communication, users express part of their emotions using emojis. Thus, having emojis in the vocabulary of text messaging language models can significantly improve many natural language processing (NLP) applications such as online communication analysis. On the other hand, word embedding models are usually trained on a very large corpus of text such as Wikipedia or Google News datasets that include very few samples with emojis. In this study, we create emojiSpace, which is a combined word-emoji embedding using the word2vec model from the Genism library in Python. We trained emojiSpace on a corpus of more than 4 billion tweets and evaluated it by implementing sentiment analysis on a Twitter dataset containing more than 67 million tweets as an extrinsic task. For this task, we compared the performance of two different classifiers of random forest (RF) and linear support vector machine (SVM). For evaluation, we compared emojiSpace performance with two other pre-trained embeddings and demonstrated that emojiSpace outperforms both.


title: Characteristics of a Nickel Vanadium redox flow battery Based on COMSOL

abstract: The overpotential, dissociation rate, electrode potential distributions and current density are suggested in this study to analyze the Nickel Vanadium Redox Flow Battery (NVRFB). Due to its large capacity and ecofriendly properties, NVRFB may be a viable option in the present state of energy constraint and environmental pollution. Due to their low cost and high energy density, nickel-based flow batteries have gained popularity. This study demonstrates that the Ni2+/Ni+ and V5+/V4+ ions have a higher rate of dissociation at the membrane and a lower rate at the inlet, where the electrolyte flow velocity is greater; Because the membrane undergoes more oxidation-reduction reactions, the electrolyte flow rate is critical in the redox flow cell; Additionally, we see that when electrode thickness is reduced, current density and electrode potential increase while overpotential decreases; the model's equations are solved using the finite-element method in the COMSOL Multiphysics program. An electrolyte-electrode interface connection is used to simulate the reaction. The dissociation rate indicates that the oxidation-reduction process happens at a lower membrane potential. Improving the electrolyte flow rate enhances battery performance. Compression of the electrodes enhances conductivity and battery performance.


title: Random packing fraction of binary similar particles: Onsager's excluded volume model revisited

abstract: In this paper, the binary random packing fraction of similar particles with size ratios ranging from unity to well over 2 is studied. The classic excluded volume model for spherocylinders and cylinders proposed by Onsager [1] is revisited to derive an asymptotically correct expression for these binary packings. the packing fraction increase by binary polydispersity equals 2f(1 - f)X1(1 - X1)(u - 1)^2 + O((u - 1)^3), where f is the monosized packing fraction, X1 is the number fraction of a component, and u is the size ratio of the two particles. This equation is in excellent agreement with the semi-empirical expression provided by Mangelsdorf and Washington [2] for random close packing (RCP) of spheres. Combining both approaches, a generic explicit equation for the bidisperse packing fraction is proposed. This expression is extensively compared with computer simulations of the random close packing of binary spherocylinder packings, spheres included, and random loose sphere packings (1 < u < 2 and beyond). The derived generic closed-form equation appears to be in excellent agreement with the collection of computer-generated packing data using four different computer algorithms and RCP and random loose packing (RLP) compaction states. Furthermore, the present analysis yields a monodisperse packing fraction map of a wide collection of particle shapes at different compaction states. The explicit boundaries of this map appear to be in good agreement with a broad collection of random close and random loose packing data. Appendix A presents an overview of published monodisperse packing fractions of (sphero)cylinders for aspect ratios from zero to infinity, and at RLP and RCP packing configurations, and they are related to Onsager's theory. Appendix B presents a derivation the binary packing fraction of disks in a plane (R^2) and hyperspheres in R^D (D > 3) with small size difference.


title: Open-vocabulary Queryable Scene Representations for Real World Planning

abstract: Large language models (LLMs) have unlocked new capabilities of task planning from human instructions. However, prior attempts to apply LLMs to real-world robotic tasks are limited by the lack of grounding in the surrounding scene. In this paper, we develop NLMap, an open-vocabulary and queryable scene representation to address this problem. NLMap serves as a framework to gather and integrate contextual information into LLM planners, allowing them to see and query available objects in the scene before generating a context-conditioned plan. NLMap first establishes a natural language queryable scene representation with Visual Language models (VLMs). An LLM based object proposal module parses instructions and proposes involved objects to query the scene representation for object availability and location. An LLM planner then plans with such information about the scene. NLMap allows robots to operate without a fixed list of objects nor executable options, enabling real robot operation unachievable by previous methods. Project website: https://nlmap-saycan.github.io


title: Asymptotic profiles of solutions for the generalized Fornberg-Whitham equation with dissipation

abstract: We consider the Cauchy problem for the generalized Fornberg-Whitham equation with dissipation. This is one of the nonlinear, nonlocal and dispersive-dissipative equations. The main topic of this paper is an asymptotic analysis for the solutions to this problem. We prove that the solution to this problem converges to the modified heat kernel. Moreover, we construct the second term of asymptotics for the solutions depending on the degree of the nonlinearity. In view of those second asymptotic profiles, we investigate the effects of the dispersion, dissipation and nonlinear terms on the asymptotic behavior of the solutions.


title: Distance-dependent chase-escape on trees

abstract: We give a necessary and sufficient condition for species coexistence in a parasite-host growth process on infinite $d$-ary trees. The novelty of this work is that the spreading and death rates for hosts depend on the distance to the nearest parasite.


title: Revealing high-z Fermi-LAT BL Lacs using Swift and SARA data with photometric analysis

abstract: BL Lacertae (BL Lac) objects are a subclass of blazar, distinguished by their featureless optical spectrum. The featureless spectrum presents a challenge in measuring the redshift of the BL Lacs. In this paper, we measure the redshift of BL Lacs using the photometric dropout technique. The space-based telescope \emph{Swift} and the ground-based SARA telescopes are employed to provide magnitudes in the $uvw2,\ uvm2,\ uvw1,\ u,\ b,\ v,\ g',\ r',\ i',\ z'$ filters. We observe 60 BL Lacs and report reliable redshift upper limits for 41 of them. We discover three new high-$z$ BL Lacs ($z>1.3$) at $1.74_{-0.08}^{+0.05}$, $1.88_{-0.03}^{+0.07}$, and $2.10_{-0.04}^{+0.03}$, bringing the number of high-$z$ BL Lacs found by this method up to 19. Discussions are made on the implications for the blazar sequence, the \emph{Fermi} blazar divide, and the gamma-ray horizon based on an analysis of the 4LAC catalog and all high-$z$ BL Lacs found with the photo-$z$ technique.


title: A unifying view on the irreversible investment exercise boundary in a stochastic, time-inhomogeneous capacity expansion problem

abstract: Aiming at studying the investment exercise boundary, this paper devises a way to apply the Bank and El Karoui Representation Theorem to a quite general stochastic, continuous time capacity expansion problem with irreversible investment on the finite time interval and including a state dependent scrap value associated with the production facility at the terminal time T. The capacity process is a time-inhomogeneous diffusion in which a monotone non-decreasing, possibly singular, control process representing the cumulative investment enters additively. The functional to be maximized admits a supergradient, hence the optimal control satisfies some first order conditions which are solved by means of the Bank and El Karoui Representation Theorem. Its application in the case of non-zero scrap value at time T is not obvious and, as far as we know, it is new in the literature on singular stochastic control. In fact, due to the scrap value, in the supergradient appears also a non integral term. This challenge is overcome by suitably extending the horizon. The optimal investment process is shown to become active at the so-called base capacity level, given in terms of the optional solution of the Representation Theorem. Contrary to what happens in the no scrap value case, here the base capacity depends on the initial capacity y. Hence, a priori, it is not clear if and how it is related to the investment exercise boundary associated to the capacity expansion problem. Under the assumption of deterministic coefficients, discount factor, conversion factor, wage rate and interest rate, the investment boundary is shown to coincide with the base capacity. Therefore, unifying views, the base capacity is deterministic and independent of y, and its integral equation may be used to characterize the investment boundary, without any a priori regularity of it.


title: On the Adversarial Scenario-based Safety Testing of Robots: the Comparability and Optimal Aggressiveness

abstract: This paper studies the class of scenario-based safety testing algorithms in the black-box safety testing configuration. For algorithms sharing the same state-action set coverage with different sampling distributions, it is commonly believed that prioritizing the exploration of high-risk state-actions leads to a better sampling efficiency. Our proposal disputes the above intuition by introducing an impossibility theorem that provably shows all safety testing algorithms of the aforementioned difference perform equally well with the same expected sampling efficiency. Moreover, for testing algorithms covering different sets of state-actions, the sampling efficiency criterion is no longer applicable as different algorithms do not necessarily converge to the same termination condition. We then propose a testing aggressiveness definition based on the almost safe set concept along with an unbiased and efficient algorithm that compares the aggressiveness between testing algorithms. Empirical observations from the safety testing of bipedal locomotion controllers and vehicle decision-making modules are also presented to support the proposed theoretical implications and methodologies.


title: Diabetic foot ulcers monitoring by employing super resolution and noise reduction deep learning techniques

abstract: Diabetic foot ulcers (DFUs) constitute a serious complication for people with diabetes. The care of DFU patients can be substantially improved through self-management, in order to achieve early-diagnosis, ulcer prevention, and complications management in existing ulcers. In this paper, we investigate two categories of image-to-image translation techniques (ItITT), which will support decision making and monitoring of diabetic foot ulcers: noise reduction and super-resolution. In the former case, we investigated the capabilities on noise removal, for convolutional neural network stacked-autoencoders (CNN-SAE). CNN-SAE was tested on RGB images, induced with Gaussian noise. The latter scenario involves the deployment of four deep learning super-resolution models. The performance of all models, for both scenarios, was evaluated in terms of execution time and perceived quality. Results indicate that applied techniques consist a viable and easy to implement alternative that should be used by any system designed for DFU monitoring.


title: Risk Verification of Stochastic Systems with Neural Network Controllers

abstract: Motivated by the fragility of neural network (NN) controllers in safety-critical applications, we present a data-driven framework for verifying the risk of stochastic dynamical systems with NN controllers. Given a stochastic control system, an NN controller, and a specification equipped with a notion of trace robustness (e.g., constraint functions or signal temporal logic), we collect trajectories from the system that may or may not satisfy the specification. In particular, each of the trajectories produces a robustness value that indicates how well (severely) the specification is satisfied (violated). We then compute risk metrics over these robustness values to estimate the risk that the NN controller will not satisfy the specification. We are further interested in quantifying the difference in risk between two systems, and we show how the risk estimated from a nominal system can provide an upper bound the risk of a perturbed version of the system. In particular, the tightness of this bound depends on the closeness of the systems in terms of the closeness of their system trajectories. For Lipschitz continuous and incrementally input-to-state stable systems, we show how to exactly quantify system closeness with varying degrees of conservatism, while we estimate system closeness for more general systems from data in our experiments. We demonstrate our risk verification approach on two case studies, an underwater vehicle and an F1/10 autonomous car.


title: Soft Action Priors: Towards Robust Policy Transfer

abstract: Despite success in many challenging problems, reinforcement learning (RL) is still confronted with sample inefficiency, which can be mitigated by introducing prior knowledge to agents. However, many transfer techniques in reinforcement learning make the limiting assumption that the teacher is an expert. In this paper, we use the action prior from the Reinforcement Learning as Inference framework - that is, a distribution over actions at each state which resembles a teacher policy, rather than a Bayesian prior - to recover state-of-the-art policy distillation techniques. Then, we propose a class of adaptive methods that can robustly exploit action priors by combining reward shaping and auxiliary regularization losses. In contrast to prior work, we develop algorithms for leveraging suboptimal action priors that may nevertheless impart valuable knowledge - which we call soft action priors. The proposed algorithms adapt by adjusting the strength of teacher feedback according to an estimate of the teacher's usefulness in each state. We perform tabular experiments, which show that the proposed methods achieve state-of-the-art performance, surpassing it when learning from suboptimal priors. Finally, we demonstrate the robustness of the adaptive algorithms in continuous action deep RL problems, in which adaptive algorithms considerably improved stability when compared to existing policy distillation methods.


title: Leveraging Local Patch Differences in Multi-Object Scenes for Generative Adversarial Attacks

abstract: State-of-the-art generative model-based attacks against image classifiers overwhelmingly focus on single-object (i.e., single dominant object) images. Different from such settings, we tackle a more practical problem of generating adversarial perturbations using multi-object (i.e., multiple dominant objects) images as they are representative of most real-world scenes. Our goal is to design an attack strategy that can learn from such natural scenes by leveraging the local patch differences that occur inherently in such images (e.g. difference between the local patch on the object `person' and the object `bike' in a traffic scene). Our key idea is to misclassify an adversarial multi-object image by confusing the victim classifier for each local patch in the image. Based on this, we propose a novel generative attack (called Local Patch Difference or LPD-Attack) where a novel contrastive loss function uses the aforesaid local differences in feature space of multi-object scenes to optimize the perturbation generator. Through various experiments across diverse victim convolutional neural networks, we show that our approach outperforms baseline generative attacks with highly transferable perturbations when evaluated under different white-box and black-box settings.


title: Asymptotic Capacity of the Range of Random Walks on Free Products of Graphs

abstract: In this article we prove existence of the asymptotic capacity of the range of random walks on free products of graphs. In particular, we will show that the asymptotic capacity of the range is almost surely constant and strictly positive. Furthermore, we provide a central limit theorem for the capacity of the range and show that it varies real-analytically in terms of finitely supported probability measures of constant support.


title: Calculating interface transport parameters at finite temperatures: Nonmagnetic interfaces

abstract: First-principles scattering calculations are used to investigate spin transport through interfaces between diffusive nonmagnetic metals where the symmetry lowering leads to an enhancement of the effect of spin-orbit coupling (SOC) and to a discontinuity of the spin currents passing through the interfaces. From the conductance and local spin currents calculated for nonmagnetic bilayers, we extract values of the room temperature interface resistance $R_{\rm I}$, of the spin memory loss parameter $\delta$ and of the interface spin Hall angle $\Theta_{\rm I}$ for nonmagnetic Au$|$Pt and Au$|$Pd interfaces using a frozen thermal disorder scheme to model finite temperatures. Substantial values of all three parameters are found with important consequences for experiments involving nonmagnetic spacer and capping layers. The temperature dependence of the interface parameters is determined for Au$|$Pt.


title: Exactly self-similar blow-up of the generalized De Gregorio equation

abstract: We study exactly self-similar blow-up profiles fot the generalized De Gregorio model for the three-dimensional Euler equation: $w_t + auw_x = u_xw, \quad u_x = Hw$ We show that for any $\alpha \in (0, 1)$ such that $|a\alpha|$ is sufficiently small, there is an exactly self-similar $C^\alpha$ solution that blows up in finite time. This simultaneously improves on the result in \cite{ElJe} by removing the restriction $1/\alpha \in \mathbb Z$ and \cite{El-GhMa,ChHoHu}, which only deals with asymptotically self-similar blow-ups.