title: MANIQA: Multi-dimension Attention Network for No-Reference Image Quality Assessment

abstract: No-Reference Image Quality Assessment (NR-IQA) aims to assess the perceptual quality of images in accordance with human subjective perception. Unfortunately, existing NR-IQA methods are far from meeting the needs of predicting accurate quality scores on GAN-based distortion images. To this end, we propose Multi-dimension Attention Network for no-reference Image Quality Assessment (MANIQA) to improve the performance on GAN-based distortion. We firstly extract features via ViT, then to strengthen global and local interactions, we propose the Transposed Attention Block (TAB) and the Scale Swin Transformer Block (SSTB). These two modules apply attention mechanisms across the channel and spatial dimension, respectively. In this multi-dimensional manner, the modules cooperatively increase the interaction among different regions of images globally and locally. Finally, a dual branch structure for patch-weighted quality prediction is applied to predict the final score depending on the weight of each patch's score. Experimental results demonstrate that MANIQA outperforms state-of-the-art methods on four standard datasets (LIVE, TID2013, CSIQ, and KADID-10K) by a large margin. Besides, our method ranked first place in the final testing phase of the NTIRE 2022 Perceptual Image Quality Assessment Challenge Track 2: No-Reference. Codes and models are available at https://github.com/IIGROUP/MANIQA.


title: Generalized stability theory of polydisperse particle-laden flows. Part1. Channel flow

abstract: We present a generalized hydrodynamic stability theory for interacting particles in polydisperse particle-laden flows. The addition of dispersed particulate matter to a clean flow can either stabilize or destabilize the flow, depending on the particles' relaxation time-scale relative to the carrier flow time scales and the particle loading. To study the effects of polydispersity and particle interactions on the hydrodynamic stability of shear flows, we propose a new mathematical framework by combining a linear stability analysis and a discrete Eulerian sectional formulation to describe the flow and the dispersed particulate matter. In this formulation, multiple momentum and transport equations are written for each size-section of the dispersed phase, where interphase and inter-particle mass and momentum transfer are modelled as source terms in the governing equations. A new modal linear stability framework is derived by linearizing the coupled equations. Using this approach, particle-flow interactions, such as polydispersity, droplet vaporization, condensation, and coalescence, may be modelled. The method is validated with linear stability analyses of clean and monodisperse particle-laden flows. We show that the stability characteristics of a channel flow laden with particles drastically change due to polydispersity. While relatively large monodisperse particles tend to stabilize the flow, adding a second size section of a very small mass fraction of low-to-moderate Stokes number particles may significantly increase the growth rates, and for high-Reynolds numbers may destabilize flows that might have been regarded as linearly stable in the monodisperse case. These findings may apply to a vast number of fluid mechanics applications involving particle-laden flows such as atmospheric flows, environmental flows, medical applications, propulsion, and energy systems.


title: Building Odia Shallow Parser

abstract: Shallow parsing is an essential task for many NLP applications like machine translation, summarization, sentiment analysis, aspect identification and many more. Quality annotated corpora is critical for building accurate shallow parsers. Many Indian languages are resource poor with respect to the availability of corpora in general. So, this paper is an attempt towards creating quality corpora for shallow parsers. The contribution of this paper is two folds: creation pos and chunk annotated corpora for Odia and development of baseline systems for pos tagging and chunking in Odia.


title: Optimal Layered Defense For Site Protection

abstract: We present a model for layered security with applications to the protection of sites such as stadiums or large gathering places. We formulate the problem as one of maximizing the capture of illegal contraband. The objective function is indefinite and only limited information can be gained when the problem is solved by standard convex optimization methods. In order to solve the model, we develop a dynamic programming approach, and study its convergence properties. Additionally, we formulate a version of the problem aimed at addressing intelligent adversaries who can adjust their direction of attack as they observe changes in the site security. Furthermore, we also develop a method for the solution of the latter model. Finally, we perform computational experiments to demonstrate the use of our methods.


title: CEDR -- A Compiler-integrated, Extensible DSSoC Runtime

abstract: In this work, we present CEDR, a Compiler-integrated, Extensible Domain Specific System on Chip Runtime ecosystem to facilitate research towards addressing the challenges of architecture, system software and application development with distinct plug-and-play integration points in a unified compile time and run time workflow. We demonstrate the utility of CEDR on the Xilinx Zynq MPSoC-ZCU102 for evaluating performance of pre-silicon hardware in the trade space of SoC configuration, scheduling policy and workload complexity based on dynamically arriving workload scenarios composed of real-life signal processing applications scaling to thousands of application instances with FFT and matrix multiply accelerators. We provide insights into the trade-offs present in this design space through a number of distinct case studies. CEDR is portable and has been deployed and validated on Odroid-XU3, X86 and Nvidia Jetson Xavier based SoC platforms. Taken together, CEDR is a capable environment for enabling research in exploring the boundaries of productive application development, resource management heuristic development, and hardware configuration analysis for heterogeneous architectures.


title: Rapid screening of high-throughput ground state predictions

abstract: High-through computational thermodynamic approaches are becoming an increasingly popular tool to uncover novel compounds. However, traditional methods tend to be limited to stability predictions of stoichiometric phases at absolute zero. Such methods thus carry the risk of identifying an excess of possible phases that do not survive to temperatures of practical relevance. We demonstrate how the Calphad formalism, informed by simple first-principles input can be simply used to overcome this problem at a low computational cost and deliver quantitatively useful phase diagram predictions at all temperatures. We illustrate the method by re-assessing prior compound formation predictions and reconcile these findings with long-standing experimental evidence to the contrary.


title: Adaptive measurement filter: efficient strategy for optimal estimation of quantum Markov chains

abstract: Continuous-time measurements are instrumental for a multitude of tasks in quantum engineering and quantum control, including the estimation of dynamical parameters of open quantum systems monitored through the environment. However, such measurements do not extract the maximum amount of information available in the output state, so finding alternative optimal measurement strategies is a major open problem. In this paper we solve this problem in the setting of discrete-time input-output quantum Markov chains. We present an efficient algorithm for optimal estimation of one-dimensional dynamical parameters which consists of an iterative procedure for updating a `measurement filter' operator and determining successive measurement bases for the output units. A key ingredient of the scheme is the use of a coherent quantum absorber as a way to post-process the output after the interaction with the system. This is designed adaptively such that the joint system and absorber stationary state is pure at a reference parameter value. The scheme offers an exciting prospect for optimal continuous-time adaptive measurements, but more work is needed to find realistic practical implementations.

categories: quant-ph math-ph math.MP math.ST stat.TH


title: Per Clip Lagrangian Multiplier Optimisation for HEVC

abstract: The majority of internet traffic is video content. This drives the demand for video compression in order to deliver high quality video at low target bitrates. This paper investigates the impact of adjusting the rate distortion equation on compression performance. An constant of proportionality, k, is used to modify the Lagrange multiplier used in H.265 (HEVC). Direct optimisation methods are deployed to maximise BD-Rate improvement for a particular clip. This leads to up to 21% BD-Rate improvement for an individual clip. Furthermore we use a more realistic corpus of material provided by YouTube. The results show that direct optimisation using BD-rate as the objective function can lead to further gains in bitrate savings that are not available with previous approaches.


title: Per-clip adaptive Lagrangian multiplier optimisation with low-resolution proxies

abstract: This work focuses on reducing the computational cost of repeated video encodes by using a lower resolution clip as a proxy. Features extracted from the low resolution clip are used to learn an optimal lagrange multiplier for rate control on the original resolution clip. In addition to reducing the computational cost and encode time by using lower resolution clips, we also investigate the use of older, but faster codecs such as H.264 to create proxies. This work shows that the computational load is reduced by 22 times using 144p proxies. Our tests are based on the YouTube UGC dataset, hence our results are based on a practical instance of the adaptive bitrate encoding problem. Further improvements are possible, by optimising the placement and sparsity of operating points required for the rate distortion curves.


title: When Is Partially Observable Reinforcement Learning Not Scary?

abstract: Applications of Reinforcement Learning (RL), in which agents learn to make a sequence of decisions despite lacking complete information about the latent states of the controlled system, that is, they act under partial observability of the states, are ubiquitous. Partially observable RL can be notoriously difficult -- well-known information-theoretic results show that learning partially observable Markov decision processes (POMDPs) requires an exponential number of samples in the worst case. Yet, this does not rule out the existence of large subclasses of POMDPs over which learning is tractable. In this paper we identify such a subclass, which we call weakly revealing POMDPs. This family rules out the pathological instances of POMDPs where observations are uninformative to a degree that makes learning hard. We prove that for weakly revealing POMDPs, a simple algorithm combining optimism and Maximum Likelihood Estimation (MLE) is sufficient to guarantee polynomial sample complexity. To the best of our knowledge, this is the first provably sample-efficient result for learning from interactions in overcomplete POMDPs, where the number of latent states can be larger than the number of observations.


title: A descent principle for compactly supported extensions of functors

abstract: A characteristic property of cohomology with compact support is the long exact sequence that connects the compactly supported cohomology groups of a space, an open subspace and its complement. Given an arbitrary cohomology theory of algebraic varieties, one can ask whether a compactly supported version exists, satisfying such a long exact sequence. This is the case whenever the cohomology theory satisfies descent for abstract blowups (also known as proper cdh descent). We make this precise by proving an equivalence between certain categories of hypersheaves. We show how several classical and non-trivial results, such as the existence of a unique weight filtration on cohomology with compact support, can be derived from this theorem.


title: Couplings and primitives on topological spaces

abstract: For an open covering $\mathcal U$ of a topological space and a mapping $d\colon\mathcal I\to\mathbb{K}$, where $\mathcal I:=\bigl\{(U,V)\in\mathcal U\times\mathcal U;\ U\cap V\ne\varnothing\bigr\}$, we present a context for the existence of a mapping $C\colon\mathcal U\to\mathbb{K}$ satisfying $C_V-C_U=d_{UV}$ for all $(U,V)\in\mathcal I$. The result is applied to a Poincar\'e type theorem concerning distributional potentials. We also put the result into the context of algebraic topology.


title: Rendering Nighttime Image Via Cascaded Color and Brightness Compensation

abstract: Image signal processing (ISP) is crucial for camera imaging, and neural networks (NN) solutions are extensively deployed for daytime scenes. The lack of sufficient nighttime image dataset and insights on nighttime illumination characteristics poses a great challenge for high-quality rendering using existing NN ISPs. To tackle it, we first built a high-resolution nighttime RAW-RGB (NR2R) dataset with white balance and tone mapping annotated by expert professionals. Meanwhile, to best capture the characteristics of nighttime illumination light sources, we develop the CBUnet, a two-stage NN ISP to cascade the compensation of color and brightness attributes. Experiments show that our method has better visual quality compared to traditional ISP pipeline, and is ranked at the second place in the NTIRE 2022 Night Photography Rendering Challenge for two tracks by respective People's and Professional Photographer's choices. The code and relevant materials are avaiable on our website: https://njuvision.github.io/CBUnet.


title: Prime factors of $\Phi_3(x)$ of the same form

abstract: We parameterize solutions to the equality $\Phi_3(x)=\Phi_3(a_1)\Phi_3(a_2)\cdots\Phi_3(a_n)$ when each $\Phi_3(a_i)$ is prime. Our focus is on the special cases when $n=2,3,4$, as this analysis simplifies and extends bounds on the total number of prime factors of an odd perfect number.


title: Shallow camera pipeline for night photography rendering

abstract: We introduce a camera pipeline for rendering visually pleasing photographs in low light conditions, as part of the NTIRE2022 Night Photography Rendering challenge. Given the nature of the task, where the objective is verbally defined by an expert photographer instead of relying on explicit ground truth images, we design an handcrafted solution, characterized by a shallow structure and by a low parameter count. Our pipeline exploits a local light enhancer as a form of high dynamic range correction, followed by a global adjustment of the image histogram to prevent washed-out results. We proportionally apply image denoising to darker regions, where it is more easily perceived, without losing details on brighter regions. The solution reached the fifth place in the competition, with a preference vote count comparable to those of other entries, based on deep convolutional neural networks. Code is available at www.github.com/AvailableAfterAcceptance.


title: The [CII] and FIR properties of z>6 radio-loud quasars

abstract: There are only five radio-loud quasars currently known within 1 Gyr from the Big Bang ($z>6$) and the properties of their host galaxies have not been explored in detail. We present a NOrthern Extended Millimeter Array (NOEMA) survey of [CII] (158 $\mu$m) and underlying continuum emission of four $z>6$ radio-loud quasars, revealing their diverse properties. J0309+2717 ($z=6.10$) has a bright [CII] line and underlying continuum, implying a starburst with a star-formation rate SFR=$340-1200$ $M_\odot$ yr$^{-1}$. J1429+5447 ($z=6.18$) has a SFR=$520-870$ $M_{\odot}$yr$^{-1}$ and its [CII] profile is consistent with two Gaussians, which could be interpreted as a galaxy merger. J1427+3312 ($z=6.12$) has a moderate SFR=$30-90$ $M_\odot$ yr$^{-1}$. Notably, this is a broad absorption line quasar and we searched for the presence of high-velocity outflows in the host galaxy. Although the NOEMA data reveal a tentative broad component of the [CII] line as wide as $\sim$1400~km~s$^{-1}$, the sensitivity of our current data is not sufficient to confirm it. Finally, P172+18 ($z=6.82$) is undetected in both [CII] and continuum, implying a SFR$<22-40$ $M_{\odot}$yr$^{-1}$. The broad range of SFRs is similar to what is observed in radio-quiet quasars at similar redshifts. If radio jets do not significantly contribute to both [CII] and IR luminosities, this suggest no feedback from the jet on the star formation in the host galaxy.


title: A comparison of different atmospheric turbulence simulation methods for image restoration

abstract: Atmospheric turbulence deteriorates the quality of images captured by long-range imaging systems by introducing blur and geometric distortions to the captured scene. This leads to a drastic drop in performance when computer vision algorithms like object/face recognition and detection are performed on these images. In recent years, various deep learning-based atmospheric turbulence mitigation methods have been proposed in the literature. These methods are often trained using synthetically generated images and tested on real-world images. Hence, the performance of these restoration methods depends on the type of simulation used for training the network. In this paper, we systematically evaluate the effectiveness of various turbulence simulation methods on image restoration. In particular, we evaluate the performance of two state-or-the-art restoration networks using six simulations method on a real-world LRFID dataset consisting of face images degraded by turbulence. This paper will provide guidance to the researchers and practitioners working in this field to choose the suitable data generation models for training deep models for turbulence mitigation. The implementation codes for the simulation methods, source codes for the networks, and the pre-trained models will be publicly made available.


title: Detecting Text Formality: A Study of Text Classification Approaches

abstract: Formality is one of the important characteristics of text documents. The automatic detection of the formality level of a text is potentially beneficial for various natural language processing tasks. Before, two large-scale datasets were introduced for multiple languages featuring formality annotation -- GYAFC and X-FORMAL. However, they were primarily used for the training of style transfer models. At the same time, the detection of text formality on its own may also be a useful application. This work proposes the first to our knowledge systematic study of formality detection methods based on statistical, neural-based, and Transformer-based machine learning methods and delivers the best-performing models for public usage. We conducted three types of experiments -- monolingual, multilingual, and cross-lingual. The study shows the overcome of Char BiLSTM model over Transformer-based ones for the monolingual and multilingual formality classification task, while Transformer-based classifiers are more stable to cross-lingual knowledge transfer.


title: HMT: A Hardware-Centric Hybrid Bonsai Merkle Tree Algorithm for High-Performance Authentication

abstract: Merkle tree is a widely used tree structure for authentication of data/metadata in a secure computing system. Recent state-of-the art secure systems use a smaller-sized MT, namely Bonsai Merkle Tree (BMT) to protect the metadata such as encryption counters. Common BMT algorithms were designed for traditional Von Neumann architectures with a software-centric implementation in mind, hence they use a lot of recursions and are often sequential in nature. However, the modern heterogeneous computing platforms employing Field-Programmable Gate Array (FPGA) devices require concurrency-focused algorithms to fully utilize the versatility and parallel nature of such systems. Our goal for this work is to introduce HMT, a hardware-friendly BMT algorithm that enables the verification and update processes to function independently and provides the benefits of relaxed update while being comparable to eager update in terms of update complexity. The methodology of HMT contributes both novel algorithm revisions and innovative hardware techniques to implementing BMT. We introduce a hybrid BMT algorithm that is hardware-targeted, parallel and relaxes the update depending on BMT cache hit but makes the update conditions more flexible compared to lazy update to save additional write-backs. Deploying this new algorithm, we have designed a new BMT controller with a dataflow architecture, speculative buffers and parallel write-back engines that allows for multiple concurrent relaxed authentication. Our empirical performance measurements have demonstrated that HMT can achieve up to 7x improvement in bandwidth and 4.5x reduction in latency over baseline in subsystem level tests. In a real secure-memory system on a Xilinx U200 accelerator FPGA, HMT exhibits up to 14\% faster execution in standard benchmarks compared to state-of-the art BMT solution on FPGA.


title: Disappeared Command: Spoofing Attack On Automatic Speech Recognition Systems with Sound Masking

abstract: The development of deep learning technology has greatly promoted the performance improvement of automatic speech recognition (ASR) technology, which has demonstrated an ability comparable to human hearing in many tasks. Voice interfaces are becoming more and more widely used as input for many applications and smart devices. However, existing research has shown that DNN is easily disturbed by slight disturbances and makes false recognition, which is extremely dangerous for intelligent voice applications controlled by voice.


title: Real-Time Face Recognition System

abstract: Over the past few decades, interest in algorithms for face recognition has been growing rapidly and has even surpassed human-level performance. Despite their accomplishments, their practical integration with a real-time performance-hungry system is not feasible due to high computational costs. So in this paper, we explore the recent, fast, and accurate face recognition system that can be easily integrated with real-time devices, and tested the algorithms on robot hardware platforms to confirm their robustness and speed.


title: Treating random sequential addition via the replica method

abstract: While many physical processes are non-equilibrium in nature, the theory and modeling of such phenomena lag behind theoretical treatments of equilibrium systems. The diversity of powerful theoretical tools available to describe equilibrium systems has inspired strategies that map non-equilibrium systems onto equivalent equilibrium analogs so that interrogation with standard statistical mechanical approaches is possible. In this work, we revisit the mapping from the non-equilibrium random sequential addition process onto an equilibrium multi-component mixture via the replica method, allowing for theoretical predictions of non-equilibrium structural quantities. We validate the above approach by comparing the theoretical predictions to numerical simulations of random sequential addition.


title: Optimal Control for Kinematic Bicycle Model with Continuous-time Safety Guarantees: A Sequential Second-order Cone Programming Approach

abstract: The optimal control problem for the kinematic bicycle model is considered where the trajectories are required to satisfy the safety constraints in the continuous-time sense. Based on the differential flatness property of the model, necessary and sufficient conditions in the flat space are provided to guarantee safety in the state space. The optimal control problem is relaxed to the problem of solving three second-order cone programs (SOCPs) sequentially, which find the safe path, the trajectory duration, and the speed profile, respectively. Solutions of the three SOCPs together provide a sub-optimal solution to the original optimal control problem. Simulation examples and comparisons with state-of-the-art optimal control solvers are presented to demonstrate the effectiveness of the proposed approach.


title: Finding an almost perfect matching in a hypergraph avoiding forbidden submatchings

abstract: In 1973, Erd\H{o}s conjectured the existence of high girth $(n,3,2)$-Steiner systems. Recently, Glock, K\"{u}hn, Lo, and Osthus and independently Bohman and Warnke proved the approximate version of Erd\H{o}s' conjecture. Just this year, Kwan, Sah, Sawhney, and Simkin proved Erd\H{o}s' conjecture. As for Steiner systems with more general parameters, Glock, K\"{u}hn, Lo, and Osthus conjectured the existence of high girth $(n,q,r)$-Steiner systems. We prove the approximate version of their conjecture. This result follows from our general main results which concern finding perfect or almost perfect matchings in a hypergraph $G$ avoiding a given set of submatchings (which we view as a hypergraph $H$ where $V(H)=E(G)$). Our first main result is a common generalization of the classical theorems of Pippenger (for finding an almost perfect matching) and Ajtai, Koml\'os, Pintz, Spencer, and Szemer\'edi (for finding an independent set in girth five hypergraphs). More generally, we prove this for coloring and even list coloring, and also generalize this further to when $H$ is a hypergraph with small codegrees (for which high girth designs is a specific instance). Indeed, the coloring version of our result even yields an almost partition of $K_n^r$ into approximate high girth $(n,q,r)$-Steiner systems. Our main results also imply the existence of a perfect matching in a bipartite hypergraph where the parts have slightly unbalanced degrees. This has a number of applications; for example, it proves the existence of $\Delta$ pairwise disjoint list colorings in the setting of Kahn's theorem; it also proves asymptotic versions of various rainbow matching results in the sparse setting (where the number of times a color appears could be much smaller than the number of colors) and even the existence of many pairwise disjoint rainbow matchings in such circumstances.


title: A ${\mathbb N}$atural Avenue

abstract: We consider an infinite sequence of rooted trees naturally emerging in a number-theoretical context. We advance some ideas on its structure by discussing some elementary properties. Some of those properties are shown to be related to classical results or conjectures in number theory.


title: Transforming U.S. Particle Physics Education: A Snowmass 2021 Study

abstract: The pursuit of knowledge in particle physics requires constant learning. As new tools become available, new theories are developed, and physicists search for new answers with ever-evolving methods. However, it is the case that formal educational systems serve as the primary training grounds for particle physicists. Graduate school (and undergraduate school to a lesser extent) is where researchers learn most of the technical skills required for research, develop scientific problem-solving abilities, learn how to establish themselves in their field, and begin developing their career. It is unfortunate, then, that the skills gained by physicists during their formal education are often mismatched with the skills actually required for a successful career in physics. We performed a survey of the U.S. particle physics community to determine the missing elements of graduate and undergraduate education and to gauge how to bridge these gaps. In this contributed paper, part of the 2021-22 Snowmass Community Planning Exercise, we report the results of this survey. We also recommend several specific community actions to improve the quality of particle physics education; the "community" here refers to physics departments, national labs, professional societies, funding agencies, and individual physicists.


title: A warm super-Neptune around the G-dwarf star TOI-1710 revealed with TESS, SOPHIE and HARPS-N

abstract: We report the discovery and characterization of the transiting extrasolar planet TOI-1710$\:$b. It was first identified as a promising candidate by the Transiting Exoplanet Survey Satellite (TESS). Its planetary nature was then established with SOPHIE and HARPS-N spectroscopic observations via the radial-velocity method. The stellar parameters for the host star are derived from the spectra and a joint Markov chain Monte-Carlo (MCMC) adjustment of the spectral energy distribution and evolutionary tracks of TOI-1710. A joint MCMC analysis of the TESS light curve and the radial-velocity evolution allows us to determine the planetary system properties. From our analysis, TOI-1710$\:$b is found to be a massive warm super-Neptune ($M_{\rm p}=28.3\:\pm\:4.7\:{\rm M}_{\rm Earth}$ and $R_{\rm p}=5.34\:\pm\:0.11\:{\rm R}_{\rm Earth}$) orbiting a G5V dwarf star ($T_{\rm eff}=5665\pm~55\mathrm{K}$) on a nearly circular 24.3-day orbit ($e=0.16\:\pm\:0.08$). The orbital period of this planet is close to the estimated rotation period of its host star $P_{\rm rot}=22.5\pm2.0~\mathrm{days}$ and it has a low Keplerian semi-amplitude $K=6.4\pm1.0~\mathrm{m\:s^{-1}}$; we thus performed additional analyses to show the robustness of the retrieved planetary parameters. With a low bulk density of $1.03\pm0.23~\mathrm{g\:cm^{-3}}$ and orbiting a bright host star ($J=8.3$, $V=9.6$), TOI-1710$\:$b is one of the best targets in this mass-radius range (near the Neptunian desert) for atmospheric characterization via transmission spectroscopy, a key measurement in constraining planet formation and evolutionary models of sub-Jovian planets.


abstract: This work proposes an extension to Structured Grammatical Evolution (SGE) called Co-evolutionary Probabilistic Structured Grammatical Evolution (Co-PSGE). In Co-PSGE each individual in the population is composed by a grammar and a genotype, which is a list of dynamic lists, each corresponding to a non-terminal of the grammar containing real numbers that correspond to the probability of choosing a derivation rule. Each individual uses its own grammar to map the genotype into a program. During the evolutionary process, both the grammar and the genotype are subject to variation operators. The performance of the proposed approach is compared to 3 different methods, namely, Grammatical Evolution (GE), Probabilistic Grammatical Evolution (PGE), and SGE on four different benchmark problems. The results show the effectiveness of the approach since Co-PSGE is able to outperform all the methods with statistically significant differences in the majority of the problems.


title: The 2020 Census Disclosure Avoidance System TopDown Algorithm

abstract: The Census TopDown Algorithm (TDA) is a disclosure avoidance system using differential privacy for privacy-loss accounting. The algorithm ingests the final, edited version of the 2020 Census data and the final tabulation geographic definitions. The algorithm then creates noisy versions of key queries on the data, referred to as measurements, using zero-Concentrated Differential Privacy. Another key aspect of the TDA are invariants, statistics that the Census Bureau has determined, as matter of policy, to exclude from the privacy-loss accounting. The TDA post-processes the measurements together with the invariants to produce a Microdata Detail File (MDF) that contains one record for each person and one record for each housing unit enumerated in the 2020 Census. The MDF is passed to the 2020 Census tabulation system to produce the 2020 Census Redistricting Data (P.L. 94-171) Summary File. This paper describes the mathematics and testing of the TDA for this purpose.


title: Deep learning based closed-loop optimization of geothermal reservoir production

abstract: To maximize the economic benefits of geothermal energy production, it is essential to optimize geothermal reservoir management strategies, in which geologic uncertainty should be considered. In this work, we propose a closed-loop optimization framework, based on deep learning surrogates, for the well control optimization of geothermal reservoirs. In this framework, we construct a hybrid convolution-recurrent neural network surrogate, which combines the convolution neural network (CNN) and long short-term memory (LSTM) recurrent network. The convolution structure can extract spatial information of geologic parameter fields and the recurrent structure can approximate sequence-to-sequence mapping. The trained model can predict time-varying production responses (rate, temperature, etc.) for cases with different permeability fields and well control sequences. In the closed-loop optimization framework, production optimization based on the differential evolution (DE) algorithm, and data assimilation based on the iterative ensemble smoother (IES), are performed alternately to achieve real-time well control optimization and geologic parameter estimation as the production proceeds. In addition, the averaged objective function over the ensemble of geologic parameter estimations is adopted to consider geologic uncertainty in the optimization process. Several geothermal reservoir development cases are designed to test the performance of the proposed production optimization framework. The results show that the proposed framework can achieve efficient and effective real-time optimization and data assimilation in the geothermal reservoir production process.


title: CPU- and GPU-based Distributed Sampling in Dirichlet Process Mixtures for Large-scale Analysis

abstract: In the realm of unsupervised learning, Bayesian nonparametric mixture models, exemplified by the Dirichlet Process Mixture Model (DPMM), provide a principled approach for adapting the complexity of the model to the data. Such models are particularly useful in clustering tasks where the number of clusters is unknown. Despite their potential and mathematical elegance, however, DPMMs have yet to become a mainstream tool widely adopted by practitioners. This is arguably due to a misconception that these models scale poorly as well as the lack of high-performance (and user-friendly) software tools that can handle large datasets efficiently. In this paper we bridge this practical gap by proposing a new, easy-to-use, statistical software package for scalable DPMM inference. More concretely, we provide efficient and easily-modifiable implementations for high-performance distributed sampling-based inference in DPMMs where the user is free to choose between either a multiple-machine, multiple-core, CPU implementation (written in Julia) and a multiple-stream GPU implementation (written in CUDA/C++). Both the CPU and GPU implementations come with a common (and optional) python wrapper, providing the user with a single point of entry with the same interface. On the algorithmic side, our implementations leverage a leading DPMM sampler from (Chang and Fisher III, 2013). While Chang and Fisher III's implementation (written in MATLAB/C++) used only CPU and was designed for a single multi-core machine, the packages we proposed here distribute the computations efficiently across either multiple multi-core machines or across mutiple GPU streams. This leads to speedups, alleviates memory and storage limitations, and lets us fit DPMMs to significantly larger datasets and of higher dimensionality than was possible previously by either (Chang and Fisher III, 2013) or other DPMM methods.


title: Efficient Deep Learning-based Estimation of the Vital Signs on Smartphones

abstract: With the increasing use of smartphones in our daily lives, these devices have become capable of performing many complex tasks. Concerning the need for continuous monitoring of vital signs, especially for the elderly or those with certain types of diseases, the development of algorithms that can estimate vital signs using smartphones has attracted researchers worldwide. In particular, researchers have been exploring ways to estimate vital signs, such as heart rate, oxygen saturation levels, and respiratory rate, using algorithms that can be run on smartphones. However, many of these algorithms require multiple pre-processing steps that might introduce some implementation overheads or require the design of a couple of hand-crafted stages to obtain an optimal result. To address this issue, this research proposes a novel end-to-end solution to mobile-based vital sign estimation using deep learning that eliminates the need for pre-processing. By using a fully convolutional architecture, the proposed model has much fewer parameters and less computational complexity compared to the architectures that use fully-connected layers as the prediction heads. This also reduces the risk of overfitting. Additionally, a public dataset for vital sign estimation, which includes 62 videos collected from 35 men and 27 women, is provided. Overall, the proposed end-to-end approach promises significantly improved efficiency and performance for on-device health monitoring on readily available consumer electronics.


title: Study of Robust Sparsity-Aware RLS algorithms with Jointly-Optimized Parameters for Impulsive Noise Environments

abstract: This paper proposes a unified sparsity-aware robust recursive least-squares RLS (S-RRLS) algorithm for the identification of sparse systems under impulsive noise. The proposed algorithm generalizes multiple algorithms only by replacing the specified criterion of robustness and sparsity-aware penalty. Furthermore, by jointly optimizing the forgetting factor and the sparsity penalty parameter, we develop the jointly-optimized S-RRLS (JO-S-RRLS) algorithm, which not only exhibits low misadjustment but also can track well sudden changes of a sparse system. Simulations in impulsive noise scenarios demonstrate that the proposed S-RRLS and JO-S-RRLS algorithms outperform existing techniques.


title: Mathematics of Floating 3D Printed Objects

abstract: We explore the stability of floating objects through mathematical modeling and experimentation. Our models are based on standard ideas of center of gravity, center of buoyancy, and Archimedes' Principle. We investigate a variety of floating shapes with two-dimensional cross sections and identify analytically and/or computationally a potential energy landscape that helps identify stable and unstable floating orientations. We compare our analyses and computations to experiments on floating objects designed and created through 3D printing. In addition to our results, we provide code for testing the floating configurations for new shapes, as well as giving details of the methods for 3D printing the objects. The paper includes conjectures and open problems for further study.


title: Unit-Disk Range Searching and Applications

abstract: Given a set $P$ of $n$ points in the plane, we consider the problem of computing the number of points of $P$ in a query unit disk (i.e., all query disks have the same radius). We show that the main techniques for simplex range searching in the plane can be adapted to this problem. For example, by adapting Matou\v{s}ek's results, we can build a data structure of $O(n)$ space so that each query can be answered in $O(\sqrt{n})$ time. Our techniques lead to improvements for several other classical problems, such as batched range searching, counting/reporting intersecting pairs of unit circles, distance selection, discrete 2-center, etc. For example, given a set of $n$ unit disks and a set of $n$ points in the plane, the batched range searching problem is to compute for each disk the number of points in it. Previous work [Katz and Sharir, 1997] solved the problem in $O(n^{4/3}\log n)$ time while our new algorithm runs in $O(n^{4/3})$ time.


title: Metappearance: Meta-Learning for Visual Appearance Reproduction

abstract: There currently exist two main approaches to reproducing visual appearance using Machine Learning (ML): The first is training models that generalize over different instances of a problem, e.g., different images of a dataset. As one-shot approaches, these offer fast inference, but often fall short in quality. The second approach does not train models that generalize across tasks, but rather over-fit a single instance of a problem, e.g., a flash image of a material. These methods offer high quality, but take long to train. We suggest to combine both techniques end-to-end using meta-learning: We over-fit onto a single problem instance in an inner loop, while also learning how to do so efficiently in an outer-loop across many exemplars. To this end, we derive the required formalism that allows applying meta-learning to a wide range of visual appearance reproduction problems: textures, BRDFs, svBRDFs, illumination or the entire light transport of a scene. The effects of meta-learning parameters on several different aspects of visual appearance are analyzed in our framework, and specific guidance for different tasks is provided. Metappearance enables visual quality that is similar to over-fit approaches in only a fraction of their runtime while keeping the adaptivity of general models.


title: Calculate the Optimum Threshold for Double Energy Detection Technique in Cognitive Radio Networks (CRNs)

abstract: One of the most important technical challenges when designing a Cognitive Radio Networks (CRNs) is spectrum sensing, which has the responsibility of recognizing the presence or absence of the primary users in the frequency bands. A common technique used for spectrum sensing is double energy detection since it can operate without any prior information regarding the characteristics of the primary user signals. A double threshold energy detection algorithm is based on the use of two thresholds, to check the energy of the received signals and decided whether the spectrum is occupied or not. Furthermore, thresholds play a key role in the energy detection algorithm, by considering the stochastic features of noise in this model, as a result calculating the optimal threshold is a crucial task. In this paper, the Bi-Section algorithm was used to detect the optimum energy level in the fuzzy region which is an area between the low and high energy threshold. For this purpose, the decision threshold was determined by the use of the Bisection function for cognitive users. Numerical simulations show that the proposed method achieves better detection performance than the conventional double-threshold energy-sensing schemes. Moreover, the presented technique has advantages such as increasing the probability of detection of primary users and decreasing the probability of Collison between primary and secondary users.


title: Evaluating Digital Sine wave Generator Using Analog Metrics

abstract: This work aims to relate comparison metrics for both Direct Digital Synthesizers (DDS) and their analog counterparts. The proposed metrics are Total Harmonic Distortion (THD) and maximum absolute error. Error is theoretically formulated into closed forms for known systematic parameters of DDS, sample rate, and bit counts. By the use of Matlab scripting, the system model is simulated for a wide range of parameters sweep.


title: Time Difference of Arrival Extraction from Two-Way Ranging

abstract: Two-Way Ranging enables the distance estimation between two active parties and allows time of flight measurements despite relative clock offset and drift. Limited by the number of messages, scalable solutions build on Time Difference of Arrival to infer timing information at passive listeners. However, the demand for accurate distance estimates dictates a tight bound on the time synchronization, thus limiting scalability to the localization of passive tags relative to static, synchronized anchors. This work describes the extraction of Time Difference of Arrival information from a Two-Way Ranging process, enabling the extraction of distance information on passive listeners and further allowing scalable tag localization without the need for static or synchronized anchors. The expected error is formally deducted. The extension allows the extraction of the timing difference despite relative clock offset and drift for the Double-Sided Two-Way Ranging and Single-Sided Two-Way Ranging with additional carrier frequency offset estimation.


title: A Benchmark for Automatic Medical Consultation System: Frameworks, Tasks and Datasets

abstract: In recent years, interest has arisen in using machine learning to improve the efficiency of automatic medical consultation and enhance patient experience. In this article, we propose two frameworks to support automatic medical consultation, namely doctor-patient dialogue understanding and task-oriented interaction. We create a new large medical dialogue dataset with multi-level finegrained annotations and establish five independent tasks, including named entity recognition, dialogue act classification, symptom label inference, medical report generation and diagnosis-oriented dialogue policy. We report a set of benchmark results for each task, which shows the usability of the dataset and sets a baseline for future studies. Both code and data is available from https://github.com/lemuria-wchen/imcs21.


title: Optimal Power Flow Schedules with Reduced Low-Frequency Oscillations

abstract: The dynamic response of power grids to small events or persistent stochastic disturbances influences their stable operation. Low-frequency inter-area oscillations are of particular concern due to insufficient damping. This paper studies the effect of the operating point on the linear time-invariant dynamics of power networks. A pertinent metric based on the frequency response of grid dynamics is proposed to quantify power system's stability against inter-area oscillations. We further put forth an optimal power flow formulation to yield a grid dispatch that optimizes this novel stability metric. A semidefinite program (SDP) relaxation is employed to yield a computationally tractable convex problem. Numerical tests on the IEEE-39 bus system demonstrate that the SDP relaxation is exact yielding a rank-1 solution. The relative trade-off of the proposed small-signal stability metric versus the generation cost is also studied.


title: STPA-driven Multilevel Runtime Monitoring for In-time Hazard Detection

abstract: Runtime verification or runtime monitoring equips safety-critical cyber-physical systems to augment design assurance measures and ensure operational safety and security. Cyber-physical systems have interaction failures, attack surfaces, and attack vectors resulting in unanticipated hazards and loss scenarios. These interaction failures pose challenges to runtime verification regarding monitoring specifications and monitoring placements for in-time detection of hazards. We develop a well-formed workflow model that connects system theoretic process analysis, commonly referred to as STPA, hazard causation information to lower-level runtime monitoring to detect hazards at the operational phase. Specifically, our model follows the DepDevOps paradigm to provide evidence and insights to runtime monitoring on what to monitor, where to monitor, and the monitoring context. We demonstrate and evaluate the value of multilevel monitors by injecting hazards on an autonomous emergency braking system model.


title: Neutron star radii, deformabilities, and moments of inertia from experimental and ab initio theory constraints on the 208Pb neutron skin thickness

abstract: Recent experimental and ab initio theory investigations of the 208Pb neutron skin thickness are sufficiently precise to inform the neutron star equation of state. In particular, the strong correlation between the 208Pb neutron skin thickness and the pressure of neutron matter at normal nuclear densities leads to modified predictions for the radii, tidal deformabilities, and moments of inertia of typical 1.4 solar-mass neutron stars. In the present work, we study the relative impact of these recent analyses of the 208Pb neutron skin thickness on bulk properties of neutron stars within a Bayesian statistical analysis. Two models for the equation of state prior are employed in order to study the role of the highly uncertain high-density equation of state. From our combined Bayesian analysis of nuclear theory, nuclear experiment, and observational constraints on the dense matter equation of state, we find at the 90% credibility level $R_{1.4}=12.36^{+0.38}_{-0.73}$ km for the radius of a 1.4 solar-mass neutron star, $R_{2.0}=11.96^{+0.94}_{-0.71}$ km for the radius of a 2.0 solar-mass neutron star, $\Lambda_{1.4}=440^{+103}_{-144}$ for the tidal deformability of a 1.4 solar-mass neutron star, and $I_{1.338}=1.425^{+0.074}_{-0.146}\, \times 10^{45}\,\rm{g\,cm}^{2}$ for the moment of inertia of PSR J0737-3039A whose mass is 1.338 solar masses.


title: $W$-Boson Mass Anomaly from Scale Invariant 2HDM

abstract: The recently reported measurement of the $W$-boson mass by CDF-II collaboration is significantly heavier than that of the Standard Model prediction. We study this anomaly in the scale invariant Two-Higgs-Doublet-Model (SI-2HDM) with a $\mathbb{Z}_2$ symmetry to avoid the flavor-changing-neutral-current (FCNC). In this scenario the Higgs particle is the classically massless scalon in the SI-2HDM gaining its mass by radiative corrections, hence being naturally light. Moreover, because of the scale symmetry the model is more predictive respect to the generic 2HDM. We show that the oblique parameters depending on the masses of the charged and CP-even (CP-odd) neutral scalar components of the SI-2HDM denoted respectively by $M_{H^\pm}$ and $M_h$ ($M_A$), are large enough to accommodate the $W$-boson mass anomaly in the model. There are as well viable regions in the mass spectrum of the SI-2HDM that evade the experimental bounds from colliders on the charged Higgs and neutral scalars.


title: On existence of hypersurfaces translating by powers of Gauss curvature

abstract: In this paper we construct complete convex hypersurfaces in $\mathbb R^{n+1}$ which translate under the flow by powers $\alpha \in (0, \frac1{n+2})$ of the Gauss curvature. The level set of each solution is asymptotic to a shrinking soliton for the flow by power $\frac \alpha {1-\alpha}$ of the Gauss curvature in $\mathbb R^n$. For example, our construction reveals the existence of translators whose level set converges to the sphere, simplex, hypercube and so on. The translating solitons exist as a family whose parameters correspond to Jacobi fields, solutions to linearized equation around the asymptotic profile.


title: Depinning and flow of a vortex line in an uniaxial random medium

abstract: We study numerically and analytically the dynamics of a single directed elastic string driven through a 3-dimensional disordered medium. In the quasistatic limit the string is super-rough in the driving direction, with roughness exponent $\zeta_{\parallel} = 1.25\pm 0.01$, dynamic exponent $z_{\parallel}= 1.43 \pm 0.01$, correlation-length exponent $\nu= 1.33 \pm 0.02$, depinning exponent $\beta = 0.24\pm 0.01$, and avalanche-size exponent $\tau_{\parallel} = 1.09 \pm 0.03$. In the transverse direction we find $\zeta_{\perp} = 0.5 \pm 0.01$, $z_{\perp} = 2.27 \pm 0.05$, and $\tau_{\perp} =1.17\pm 0.06$. We show that transverse fluctuations do not alter the critical exponents in the driving direction, as predicted by the planar approximation (PA) proposed in 1996 by Ertas and Kardar (EK). We check the PA for the force-force correlator, comparing to the functional renormalization group and simulations. Both Random-Bond (RB) and Random-Field (RF) disorder yield a single universality class, indistinguishable from the one of an elastic string in a 2-dimensional random medium. While $z_{\perp}=z_{\parallel}+1/\nu$ and $\nu=1/(2-\zeta_{\parallel})$ of EK are satisfied, the transversal movement is that of a Brownian, with a clock set locally by the forward movement. This implies $\zeta_\perp = (2-d)/2$, distinct from EK. At small driving velocities the distribution of local parallel displacements has a negative skewness, while in the transverse direction it is a Gaussian. For large scales, the system can be described by anisotropic effective temperatures. In the fast-flow regime the local displacement distributions become Gaussian in both directions and the effective temperatures vanish as $T^{\perp}_{\tt eff}\sim 1/v$ and $T^{\parallel}_{\tt eff}\sim 1/v^3$ for RB and as $T^{\perp}_{\tt eff} \approx T^{\parallel}_{\tt eff} \sim 1/v$ for RF.


title: Regulation of stem cell dynamics through volume exclusion

abstract: Maintenance and regeneration of adult tissues rely on the self-renewal of stem cells. Regeneration without over-proliferation requires precise regulation of the stem cell proliferation and differentiation rates. The nature of such regulatory mechanisms in different tissues, and how to incorporate them in models of stem cell population dynamics, is incompletely understood. The critical birth-death (CBD) process is widely used to model stem cell populations, capturing key phenomena, such as scaling laws in clone size distributions. However, the CBD process neglects regulatory mechanisms. Here, we propose the birth-death process with volume exclusion (vBD), a variation of the birth-death process that considers crowding effects, such as may arise due to limited space in a stem cell niche. While the deterministic rate equations predict a single non-trivial attracting steady state, the master equation predicts extinction and transient distributions of stem cell numbers with three possible behaviours: long-lived quasi-steady state, and short-lived bimodal or unimodal distributions. In all cases, we approximate solutions to the vBD master equation using a renormalised system-size expansion, quasi-steady state approximation and the WKB method. Our study suggests that the size distribution of a stem cell population bears signatures that are useful to detect negative feedback mediated via volume exclusion.


title: Discovery prospects of a vectorlike top partner decaying to a singlet boson

abstract: The possibility of a vectorlike top partner decaying to a new colourless weak-singlet scalar or pseudoscalar has attracted some attention in the literature. We investigate the production of a weak-singlet charge-$2/3$ $T$ quark that can decay to a spinless boson ($\Phi$) and a top quark at the LHC. Earlier, in 2203.13753, we have shown that in a large part of the parameter space, the $T\to t\Phi$ and the loop-induced $\Phi \to gg$ decays become the dominant decay modes for these particles. Here, we investigate the discovery prospects of the $T$ quark in this region through the above decays. In particular, we focus on the $pp\to TT\to (t\Phi)(t\Phi)\to (t(gg))\,(t(gg))$ channel. Separating this signal from the huge Standard Model background is a challenging task, forcing us to employ a multivariate machine-learning technique. We find that the above channel can be a discovery channel of the top partner in the large part of the parameter space where the above decay chain dominates. Our analysis is largely model-independent, and hence our results would be useful in a broad class of new physics models.


title: Geodesic stability and quasinormal modes of non-commutative Schwarzschild black hole employing Lyapunov exponent

abstract: We study the dynamics of test particle and stability of circular geodesics in the gravitational field of a non-commutative geometry inspired Schwarzschild black hole spacetime (NCSBH). The coordinate time Lyapunov exponent ($\lambda_{c}$) is crucial to investigate the stability of equatorial circular geodesics of massive and massless test particles. The stability or instability of circular orbits are discussed by analysing the variation of Lyapunov exponent with radius of these orbits for different values of non-commutative parameter ($\alpha$). In the case of null circular orbits, the instability exponent is calculated and presented to discuss the instability of null circular orbits. Further, by relating parameters corresponding to null circular geodesics (i.e. angular frequency and Lyapunov exponent), the quasinormal modes (QNMs) for a massless scalar field perturbation in the eikonal approximation are evaluated, and also visualised by relating the real and imaginary parts. The nature of scalar field potential, by varying the non-commutative parameter ($\alpha$) and angular momentum of perturbation ($l$), are also observed and discussed.


title: Opal: Multimodal Image Generation for News Illustration

abstract: Advances in multimodal AI have presented people with powerful ways to create images from text. Recent work has shown that text-to-image generations are able to represent a broad range of subjects and artistic styles. However, finding the right visual language for text prompts is difficult. In this paper, we address this challenge with Opal, a system that produces text-to-image generations for news illustration. Given an article, Opal guides users through a structured search for visual concepts and provides a pipeline allowing users to generate illustrations based on an article's tone, keywords, and related artistic styles. Our evaluation shows that Opal efficiently generates diverse sets of news illustrations, visual assets, and concept ideas. Users with Opal generated two times more usable results than users without. We discuss how structured exploration can help users better understand the capabilities of human AI co-creative systems.


title: Dynamically vanishing Dirac neutrino mass from quantum scale symmetry

abstract: We present a mechanism which drives Dirac neutrino masses to tiny values along the Renormalization Group flow, starting from an asymptotically safe ultraviolet completion of the third generation of the Standard Model including quantum gravity. At the same time, the mechanism produces a mass-splitting between the neutrino and the quark sector and also generates the mass splitting between top and bottom quark. The mechanism hinges on the hypercharges of the fermions and produces a tiny neutrino Yukawa coupling, because the right-handed neutrino is sterile and does not carry hypercharge.


title: Fixed-Parameter Algorithms for the Kneser and Schrijver Problems

abstract: The Kneser graph $K(n,k)$ is defined for integers $n$ and $k$ with $n \geq 2k$ as the graph whose vertices are all the $k$-subsets of $[n]=\{1,2,\ldots,n\}$ where two such sets are adjacent if they are disjoint. The Schrijver graph $S(n,k)$ is defined as the subgraph of $K(n,k)$ induced by the collection of all $k$-subsets of $[n]$ that do not include two consecutive elements modulo $n$. It is known that the chromatic number of both $K(n,k)$ and $S(n,k)$ is $n-2k+2$. In the computational Kneser and Schrijver problems, we are given an access to a coloring with $n-2k+1$ colors of the vertices of $K(n,k)$ and $S(n,k)$ respectively, and the goal is to find a monochromatic edge. We prove that the problems admit randomized algorithms with running time $n^{O(1)} \cdot k^{O(k)}$, hence they are fixed-parameter tractable with respect to the parameter $k$. The analysis involves structural results on intersecting families and on induced subgraphs of Kneser and Schrijver graphs. We also study the Agreeable-Set problem of assigning a small subset of a set of $m$ items to a group of $\ell$ agents, so that all agents value the subset at least as much as its complement. As an application of our algorithm for the Kneser problem, we obtain a randomized polynomial-time algorithm for the Agreeable-Set problem for instances with $\ell \geq m - O(\frac{\log m}{\log \log m})$. We further show that the Agreeable-Set problem is at least as hard as a variant of the Kneser problem with an extended access to the input coloring.


title: Schwarzian for colored Jackiw-Teitelboim gravity

abstract: We study the boundary effective action of the colored version of the Jackiw-Teitelboim (JT) gravity. We derive the boundary action, which is the color generalization of the Schwarzian action, from the $su(N,N)$ BF formulation of the colored JT gravity. Using different types of the $SU(N,N)$ group decompositions both the zero and finite temperature cases are elaborated. We provide the semi-classical perturbative analysis of the boundary action and discuss the instability of the spin-1 mode and its implication for the quantum chaos. A rainbow-AdS$_2$ geometry is introduced where the color gauge symmetry is spontaneously broken.


title: Cascading traffic jamming in a two-dimensional Motter and Lai model

abstract: We study the cascading traffic jamming on a two-dimensional random geometric graph using the Motter and Lai model. The traffic jam is caused by a localized attack incapacitating circular region or a line of a certain size, as well as a dispersed attack on an equal number of randomly selected nodes. We investigate if there is a critical size of the attack above which the network becomes completely jammed due to cascading jamming, and how this critical size depends on the average degree $\langle k\rangle$ of the graph, on the number of nodes $N$ in the system, and the tolerance parameter $\alpha$ of the Motter and Lai model.


title: Going beyond Soft plus Virtual

abstract: We present a formalism that sums up the soft-virtual (SV) and next-to-SV (NSV) diagonal contributions to inclusive colorless productions in hadron colliders to all orders in perturbative QCD. Using factorisation theorem, renormalisation group invariance and employing the transcendental structure of perturbative results, we show the exponential behavior of soft-collinear function. This allows us to predict certain SV and NSV terms to all orders from lower order information. We also present an integral representation for the coefficient functions which is suitable for Mellin $N$-space resummation.


title: A Pattern Avoidance Characterization for Smoothness of Positroid Varieties

abstract: Positroids are certain representable matroids originally studied by Postnikov in connection with the totally nonnegative Grassmannian and now used widely in algebraic combinatorics. The positroids give rise to determinantal equations defining positroid varieties as subvarieties of the Grassmannian variety. Rietsch, Knutson-Lam-Speyer and Pawlowski studied geometric and cohomological properties of these varieties. In this paper, we continue the study of the geometric properties of positroid varieties by establishing several equivalent conditions characterizing smooth positroid varieties using a variation of pattern avoidance defined on decorated permutations, which are in bijection with positroids. Furthermore, we give a combinatorial method for determining the dimension of the tangent space of a positroid variety at key points using an induced subgraph of the Johnson graph. We also give a Bruhat interval characterization of positroids.


title: Leveraging space-based data from the nearest Solar-type star to better understand stellar activity signatures in radial velocity data

abstract: Stellar variability is a key obstacle in reaching the sensitivity required to recover Earth-like exoplanetary signals using the radial velocity (RV) detection method. To explore activity signatures in Sun-like stars, we present SolAster, a publicly-distributed analysis pipeline that allows for comparison of space-based measurements with ground-based disk-integrated RVs. Using high spatial resolution Dopplergrams, magnetograms, and continuum filtergrams from the Helioseismic and Magnetic Imager (HMI) aboard the Solar Dynamics Observatory (SDO), we estimate 'Sun-as-a-star' disk-integrated RVs due to rotationally modulated flux imbalances and convective blueshift suppression, as well as other observables such as unsigned magnetic flux. Comparing these measurements with ground-based RVs from the NEID instrument, which observes the Sun daily using an automated solar telescope, we find a strong relationship between magnetic activity indicators and RV variation, supporting efforts to examine unsigned magnetic flux as a proxy for stellar activity in slowly rotating stars. Detrending against measured unsigned magnetic flux allows us to improve the NEID RV measurements by ~20\% (~50 cm/s in a quadrature sum), yielding an RMS scatter of ~60 cm/s over five months. We also explore correlations between individual and averaged spectral line shapes in the NEID spectra and SDO-derived magnetic activity indicators, motivating future studies of these observables. Finally, applying SolAster to archival planetary transits of Venus and Mercury, we demonstrate the ability to recover small amplitude (< 50 cm/s) RV variations in the SDO data by directly measuring the Rossiter-McLaughlin (RM) signals.


title: Dual-Domain Image Synthesis using Segmentation-Guided GAN

abstract: We introduce a segmentation-guided approach to synthesise images that integrate features from two distinct domains. Images synthesised by our dual-domain model belong to one domain within the semantic mask, and to another in the rest of the image - smoothly integrated. We build on the successes of few-shot StyleGAN and single-shot semantic segmentation to minimise the amount of training required in utilising two domains. The method combines a few-shot cross-domain StyleGAN with a latent optimiser to achieve images containing features of two distinct domains. We use a segmentation-guided perceptual loss, which compares both pixel-level and activations between domain-specific and dual-domain synthetic images. Results demonstrate qualitatively and quantitatively that our model is capable of synthesising dual-domain images on a variety of objects (faces, horses, cats, cars), domains (natural, caricature, sketches) and part-based masks (eyes, nose, mouth, hair, car bonnet). The code is publicly available at: https://github.com/denabazazian/Dual-Domain-Synthesis.


title: Benchmarking Domain Generalization on EEG-based Emotion Recognition

abstract: Electroencephalography (EEG) based emotion recognition has demonstrated tremendous improvement in recent years. Specifically, numerous domain adaptation (DA) algorithms have been exploited in the past five years to enhance the generalization of emotion recognition models across subjects. The DA methods assume that calibration data (although unlabeled) exists in the target domain (new user). However, this assumption conflicts with the application scenario that the model should be deployed without the time-consuming calibration experiments. We argue that domain generalization (DG) is more reasonable than DA in these applications. DG learns how to generalize to unseen target domains by leveraging knowledge from multiple source domains, which provides a new possibility to train general models. In this paper, we for the first time benchmark state-of-the-art DG algorithms on EEG-based emotion recognition. Since convolutional neural network (CNN), deep brief network (DBN) and multilayer perceptron (MLP) have been proved to be effective emotion recognition models, we use these three models as solid baselines. Experimental results show that DG achieves an accuracy of up to 79.41\% on the SEED dataset for recognizing three emotions, indicting the potential of DG in zero-training emotion recognition when multiple sources are available.


title: Short time quaternion quadratic phase Fourier transform and its uncertainty principles

abstract: In this paper, we extend the quadratic phase Fourier transform of a complex valued functions to that of the quaternion valued functions of two variables. We call it the quaternion quadratic phase Fourier transform (QQPFT). Based on the relation between the QQPFT and the quaternion Fourier transform (QFT) we obtain the sharp Hausdorff-Young inequality for QQPFT. We define the short time quaternion quadratic phase Fourier transform (STQQPFT) and explore some of its properties including inner product relation and inversion formula. We find its relation with that of the 2D quaternion ambiguity function and the quaternion Wigner-Ville distribution associated with QQPFT and obtain the Lieb's uncertainty and entropy uncertainty principles for these three transforms.


title: Homotopy Invariants of Braided Commutative Algebras and the Deligne Conjecture for Finite Tensor Categories

abstract: It is easy to find algebras $\mathbb{T}\in\mathcal{C}$ in a finite tensor category $\mathcal{C}$ that naturally come with a lift to a braided commutative algebra $\mathsf{T}\in Z(\mathcal{C})$ in the Drinfeld center of $\mathcal{C}$. In fact, any finite tensor category has at least two such algebras, namely the monoidal unit $I$ and the canonical end $\int_{X\in\mathcal{C}} X\otimes X^\vee$. Using the theory of braided operads, we prove that for any such algebra $\mathbb{T}$ the homotopy invariants, i.e. the derived morphism space from $I$ to $\mathbb{T}$, naturally come with the structure of a differential graded $E_2$-algebra. This way, we obtain a rich source of differential graded $E_2$-algebras in the homological algebra of finite tensor categories. We use this result to prove that Deligne's $E_2$-structure on the Hochschild cochain complex of a finite tensor category is induced by the canonical end, its multiplication and its non-crossing half braiding. With this new and more explicit description of Deligne's $E_2$-structure, we can lift the Farinati-Solotar bracket on the Ext algebra of a finite tensor category to an $E_2$-structure at cochain level. Moreover, we prove that, for a unimodular pivotal finite tensor category, the inclusion of the Ext algebra into the Hochschild cochains is a monomorphism of framed $E_2$-algebras, thereby refining a result of Menichi.


title: Hybrid Transformer Network for Different Horizons-based Enriched Wind Speed Forecasting

abstract: Highly accurate different horizon-based wind speed forecasting facilitates a better modern power system. This paper proposed a novel astute hybrid wind speed forecasting model and applied it to different horizons. The proposed hybrid forecasting model decomposes the original wind speed data into IMFs (Intrinsic Mode Function) using Improved Complete Ensemble Empirical Mode Decomposition with Adaptive Noise (ICEEMDAN). We fed the obtained subseries from ICEEMDAN to the transformer network. Each transformer network computes the forecast subseries and then passes to the fusion phase. Get the primary wind speed forecasting from the fusion of individual transformer network forecast subseries. Estimate the residual error values and predict errors using a multilayer perceptron neural network. The forecast error is added to the primary forecast wind speed to leverage the high accuracy of wind speed forecasting. Comparative analysis with real-time Kethanur, India wind farm dataset results reveals the proposed ICEEMDAN-TNF-MLPN-RECS hybrid model's superior performance with MAE=1.7096*10^-07, MAPE=2.8416*10^-06, MRE=2.8416*10^-08, MSE=5.0206*10^-14, and RMSE=2.2407*10^-07 for case study 1 and MAE=6.1565*10^-07, MAPE=9.5005*10^-06, MRE=9.5005*10^-08, MSE=8.9289*10^-13, and RMSE=9.4493*10^-07 for case study 2 enriched wind speed forecasting than state-of-the-art methods and reduces the burden on the power system engineer.

categories: eess.SP cs.LG cs.SY eess.SY physics.ao-ph


title: A Sheaf-Theoretic Construction of Shape Space

abstract: We present a sheaf-theoretic construction of shape space -- the space of all shapes. We do this by describing a homotopy sheaf on the poset category of constructible sets, where each set is mapped to its Persistent Homology Transform (PHT). Recent results that build on fundamental work of Schapira have shown that this transform is injective, thus making the PHT a good summary object for each shape. Our homotopy sheaf result allows us to "glue" PHTs of different shapes together to build up the PHT of a larger shape. In the case where our shape is a polyhedron we prove a generalized nerve lemma for the PHT. Finally, by re-examining the sampling result of Smale-Niyogi-Weinberger, we show that we can reliably approximate the PHT of a manifold by a polyhedron up to arbitrary precision.


title: Preparation for future active learning

abstract: It is well documented that students sometimes resist active learning techniques. A recent study showed how students believed that they learned less in active learning classrooms than they learned in lectures, even though they learned more. In this article, we describe a method for introducing active learning methods to college students that is based on a preparation for future learning approach. The students who received this introduction to active learning appeared to be more receptive to group work in the classroom than students who started the course with an explanation of the reasons and values of active learning.


title: Interfacial Cavitation

abstract: Cavitation has long been recognized as a crucial predictor, or precursor, to the ultimate failure of various materials, ranging from ductile metals to soft and biological materials. Traditionally, cavitation in solids is defined as an unstable expansion of a void or a defect within a material. The critical applied load needed to trigger this instability - the critical pressure - is a lengthscale independent material property and has been predicted by numerous theoretical studies for a breadth of constitutive models. While these studies usually assume that cavitation initiates from defects in the bulk of an otherwise homogeneous medium, an alternative and potentially more ubiquitous scenario can occur if the defects are found at interfaces between two distinct media within the body. Such interfaces are becoming increasingly common in modern materials with the use of multi-material composites and layer-by-layer additive manufacturing methods. However, a criterion to determine the threshold for interfacial failure, in analogy to the bulk cavitation limit, has yet to be reported. In this work we fill this gap. Our theoretical model captures a lengthscale independent limit for interfacial cavitation, and is shown to agree with our observations at two distinct lengthscales, via two different experimental systems. To further understand the competition between the two cavitation modes (bulk versus interface) we expand our investigation beyond the elastic response to understand the ensuing unstable propagation of delamination at the interface. A phase diagram summarizes these results, showing regimes in which interfacial failure becomes the dominant mechanism.


title: Energy transfer and vortex structures: Visualizing the incompressible turbulent energy cascade

abstract: The transfer of kinetic energy from large to small scales is a hallmark of turbulent flows. Yet, a precise mechanistic description of this transfer, which is expected to occur via an energy cascade, is still missing. Several conceptually simple configurations with vortex tubes have been proposed as a testing ground to understand the energy cascade. Here, we focus on incompressible flows and compare the energy transfer occurring in a statistically steady homogeneous isotropic turbulent (HIT) flow with the generation of fine-scale motions in configurations involving vortex tubes. We start by filtering the velocity field in bands of wavenumbers distributed logarithmically, which allows us to study energy transfer in Fourier space and also visualize the energy cascade in real space. In the case of a statistically steady HIT flow at a moderate Reynolds number, our numerical results do not reveal any significant correlation between regions of intense energy transfers and vorticity or strain, filtered in corresponding wavenumber bands, nor any simple self-similar process. In comparison, in the transient turbulent flow obtained from the interaction between two antiparallel vortex tubes, we observe a qualitatively simpler organization of the intense structures, as well as of the energy transfer. The process leading to vortex reconnection via flattening of interacting vortex cores in two intense ribbons of vorticity, also appears as qualitatively different from the physics of HIT. Our results indicate that the specific properties of the transient flows affect the way energy is transferred, and may not be representative of HIT.


title: CDF W mass anomaly from a dark sector with a Stueckelberg-Higgs portal

abstract: We propose an explanation to the new W mass measurement recently reported by the CDF collaboration, which is larger than the standard model expectation by about 7 standard deviations. To alleviate the tensions that are imposed on the electroweak sector by the new W mass measurement, we carry out an analysis in the Stueckelberg extended standard model where a new neutral gauge boson appears which mixes with the two neutral gauge bosons in the electroweak sector both via the Stueckelberg mass terms and via the gauge invariant Stueckelberg-Higgs portal interaction and spoils the custodial symmetry at the tree level so that the simple relation between the W boson mass and the Z boson mass does not hold. We find that such an extension increases the W boson mass if the new gauge boson mass is larger than the Z boson mass. We further show that there exists a significant part of the parameter space in the extended model which includes the CDF mass anomaly and is consistent with the various observables at the Z pole and consistent with the ATLAS dilepton limits. The Stueckelberg $Z'_{\rm St}$ boson, which resolves the CDF W mass anomaly, should be searchable in future LHC experiments.


title: Non-invertible Condensation, Duality, and Triality Defects in 3+1 Dimensions

abstract: We discuss a variety of codimension-one, non-invertible topological defects in general 3+1d QFTs with a discrete one-form global symmetry. These include condensation defects from higher gauging of the one-form symmetries on a codimension-one manifold, each labeled by a discrete torsion class, and duality and triality defects from gauging in half of spacetime. The universal fusion rules between these non-invertible topological defects and the one-form symmetry surface defects are determined. Interestingly, the fusion coefficients are generally not numbers, but 2+1d TQFTs, such as invertible SPT phases, $\mathbb{Z}_N$ gauge theories, and $U(1)_N$ Chern-Simons theories. The associativity of these algebras over TQFT coefficients relies on nontrivial facts about 2+1d TQFTs. We further prove that some of these non-invertible symmetries are intrinsically incompatible with a trivially gapped phase, leading to nontrivial constraints on renormalization group flows. Duality and triality defects are realized in many familiar gauge theories, including free Maxwell theory, non-abelian gauge theories with orthogonal gauge groups, ${\cal N}=1,$ and ${\cal N}=4$ super Yang-Mills theories.


title: Some remarks on decomposition theorem for proper K\"ahler morphisms

abstract: We explain a correct proof of the decomposition theorem for direct images of constant Hodge modules by proper K\"ahler morphisms of complex manifolds. We also give some examples showing certain difficulty in the non-constant Hodge module case.


title: Electric field-induced domain wall motion in spin spiral multiferroics

abstract: Switching in magnetic materials gives rise to rich physical phenomena and lies at the heart of their technological applications. Although domain wall motion in ferro- and antiferromagnets has been studied, in spiral magnets it is still poorly understood despite 20 years of active research since the discovery of spiral multiferroics. The problem of the domain wall motion in a spiral magnet is a compelling one, the more so the magnetic domain walls in cycloidal spiral phase are also ferroelectric, thus enabling electric control of magnetism, i.e. domain wall motion under the action of an external electric field. Phase transition to a spiral phase leads to a formation of chiral domains with opposite spin rotation senses, that are separated by chiral domain walls. Spiral order breaks inversion symmetry and induces a ferroelectric polarization, whose sign is determined by the chirality of the domain. Thus the spiral order allows for the manipulation of spins via an external electric field. Here we study domain wall motion in magnets with spiral ground state, that are the most basic non-collinear magnets. We formulate a simplified variational model and derive the equation of motion for the domain wall driven by an external electric field. The results are corroborated with atomistic spin dynamics simulations. The results suggest a linear dependence of the wall speed on the external electric field, and a peculiar dependence on the system geometry and domain structure.


title: On the Locality of Attention in Direct Speech Translation

abstract: Transformers have achieved state-of-the-art results across multiple NLP tasks. However, the self-attention mechanism complexity scales quadratically with the sequence length, creating an obstacle for tasks involving long sequences, like in the speech domain. In this paper, we discuss the usefulness of self-attention for Direct Speech Translation. First, we analyze the layer-wise token contributions in the self-attention of the encoder, unveiling local diagonal patterns. To prove that some attention weights are avoidable, we propose to substitute the standard self-attention with a local efficient one, setting the amount of context used based on the results of the analysis. With this approach, our model matches the baseline performance, and improves the efficiency by skipping the computation of those weights that standard attention discards.


title: Simulating neutrino echoes induced by secret neutrino interactions

abstract: New neutrino interactions beyond the Standard Model (BSM) have been of much interest in not only particle physics but also cosmology and astroparticle physics. We numerically investigate the time delay distribution of astrophysical neutrinos that interact with the cosmic neutrino background. Using the Monte Carlo method, we develop a framework that enables us to simulate the time-dependent energy spectra of high-energy neutrinos that experience even multiple scatterings en route and to handle the sharp increase in the cross section at the resonance energy. As an example, we focus on the case of secret neutrino interactions with a scalar mediator. While we find the excellent agreement between analytical and simulation results for small optical depths, our simulations enable us to study even optically-thick cases that are not described by the simplest analytic estimates. Our simulations are used to understand effects of cosmological redshifts, neutrino spectra and flavors. The developments will be useful for probing BSM neutrino interactions with not only current neutrino detectors such as IceCube and Super-Kamiokande but also future neutrino detectors such as IceCube-Gen2 and Hyper-Kamiokande.


title: Decentralized Control of Distributed Cloud Networks with Generalized Network Flows

abstract: Emerging distributed cloud architectures, e.g., fog and mobile edge computing, are playing an increasingly important role in the efficient delivery of real-time stream-processing applications (also referred to as augmented information services), such as industrial automation and metaverse experiences (e.g., extended reality, immersive gaming). While such applications require processed streams to be shared and simultaneously consumed by multiple users/devices, existing technologies lack efficient mechanisms to deal with their inherent multicast nature, leading to unnecessary traffic redundancy and network congestion. In this paper, we establish a unified framework for distributed cloud network control with generalized (mixed-cast) traffic flows that allows optimizing the distributed execution of the required packet processing, forwarding, and replication operations. We first characterize the enlarged multicast network stability region under the new control framework (with respect to its unicast counterpart). We then design a novel queuing system that allows scheduling data packets according to their current destination sets, and leverage Lyapunov drift-plus-penalty control theory to develop the first fully decentralized, throughput- and cost-optimal algorithm for multicast flow control. Numerical experiments validate analytical results and demonstrate the performance gain of the proposed design over existing network control policies.


title: Combined explanation of $W$-mass, muon $g-2$, $R_{K^{(*)}}$ and $R_{D^{(*)}}$ anomalies in a singlet-triplet scalar leptoquark model

abstract: In addition to the long-standing anomalies seen in the muon $g-2$, $R_{K^{(*)}}$, and $R_{D^{(*)}}$ observables by various independent experiments, the CDF Collaboration has found another significant one in the $W$-boson mass. These anomalies might be intertwined at a fundamental level and have a single new-physics explanation. In this paper, we present a simultaneous solution to these anomalies with two scalar leptoquarks of roughly equal mass -- one weak-singlet $S_1$ and the other a weak-triplet $S_3$ -- which mix through a Higgs portal. The solution has only a few new couplings and TeV-scale leptoquarks, making the solution testable at the LHC. We put a lower and upper bound on the leptoquark masses in this setup from the current LHC data and the assumption that all new couplings are within the perturbative limit.


title: On joint properties of vertices with a given degree or label in the random recursive tree

abstract: In this paper, we study the joint behaviour of the degree, depth and label of and graph distance between high-degree vertices in the random recursive tree. We generalise the results obtained by Eslava and extend these to include the labels of and graph distance between high-degree vertices. The analysis of both these two properties of high-degree vertices is novel, in particular in relation to the behaviour of the depth of such vertices. In passing, we also obtain results for the joint behaviour of the degree and depth of and graph distance between any fixed number of vertices with a prescribed label. This combines several isolated results on the degree and depth of and graph distance between vertices with a prescribed label already present in the literature. Furthermore, we extend these results to hold jointly for any number of fixed vertices and improve these results by providing more detailed descriptions of the distributional limits. Our analysis is based on a correspondence between the random recursive tree and a representation of the Kingman $n$-coalescent.


title: Quartz: Superoptimization of Quantum Circuits (Extended Version)

abstract: Existing quantum compilers optimize quantum circuits by applying circuit transformations designed by experts. This approach requires significant manual effort to design and implement circuit transformations for different quantum devices, which use different gate sets, and can miss optimizations that are hard to find manually. We propose Quartz, a quantum circuit superoptimizer that automatically generates and verifies circuit transformations for arbitrary quantum gate sets. For a given gate set, Quartz generates candidate circuit transformations by systematically exploring small circuits and verifies the discovered transformations using an automated theorem prover. To optimize a quantum circuit, Quartz uses a cost-based backtracking search that applies the verified transformations to the circuit. Our evaluation on three popular gate sets shows that Quartz can effectively generate and verify transformations for different gate sets. The generated transformations cover manually designed transformations used by existing optimizers and also include new transformations. Quartz is therefore able to optimize a broad range of circuits for diverse gate sets, outperforming or matching the performance of hand-tuned circuit optimizers.


title: Temperature induced modulation of resonant Raman scattering in bilayer 2H-MoS$_{2}$

abstract: The temperature evolution of the resonant Raman scattering from high-quality bilayer 2H-MoS$_{2}$ encapsulated in hexagonal BN flakes is presented. The observed resonant Raman scattering spectrum as initiated by the laser energy of 1.96 eV, close to the A excitonic resonance, shows rich and distinct vibrational features that are otherwise not observed in non-resonant scattering. The appearance of 1$^{st}$ and 2$^{nd}$ order phonon modes is unambiguously observed in a broad range of temperatures from 5 K to 320 K. The spectrum includes the Raman-active modes, $i.e.$ E$_\textrm{1g}^{2}$($\Gamma$) and A$_\textrm{1g}$($\Gamma$) along with their Davydov-split counterparts, $i.e.$ E$_\textrm{1u}$($\Gamma$) and B$_\textrm{1u}$($\Gamma$). The temperature evolution of the Raman scattering spectrum brings forward key observations, as the integrated intensity profiles of different phonon modes show diverse trends. The Raman-active A$_{1g}$($\Gamma$) mode, which dominates the Raman scattering spectrum at $T$=5~K quenches with increasing temperature. Surprisingly, at room temperature the B$_\textrm{1u}$($\Gamma$) mode, which is infrared-active in the bilayer, is substantially stronger than its nominally Raman-active A$_\textrm{1g}$($\Gamma$) counterpart.


title: Massively Parallel Computation on Embedded Planar Graphs

abstract: Many of the classic graph problems cannot be solved in the Massively Parallel Computation setting (MPC) with strongly sublinear space per machine and $o(\log n)$ rounds, unless the 1-vs-2 cycles conjecture is false. This is true even on planar graphs. Such problems include, for example, counting connected components, bipartition, minimum spanning tree problem, (approximate) shortest paths, and (approximate) diameter/radius. In this paper, we show a way to get around this limitation. Specifically, we show that if we have a ``nice'' (for example, straight-line) embedding of the input graph, all the mentioned problems can be solved with $O(n^{2/3+\epsilon})$ space per machine in $O(1)$ rounds. In conjunction with existing algorithms for computing the Delaunay triangulation, our results imply an MPC algorithm for exact Euclidean minimum spanning thee (EMST) that uses $O(n^{2/3 + \epsilon})$ space per machine and finishes in $O(1)$ rounds. This is the first improvement over a straightforward use of the standard Bor\r{u}vka's algorithm with the Dauleanay triangulation algorithm of Goodrich [SODA 1997] which results in $\Theta(\log n)$ rounds. This also partially negatively answers a question of Andoni, Nikolov, Onak, and Yaroslavtsev [STOC 2014], asking for lower bounds for exact EMST. We extend our algorithms to work with embeddings consisting of curves that are not ``too squiggly" (as formalized by the total absolute curvature). We do this via a new lemma which we believe is of independent interest and could be used to parameterize other geometric problems by the total absolute curvature. We also state several open problems regarding massively parallel computation on planar graphs.


title: Write a Line: Tests with Answer Templates and String Completion Hints for Self-Learning in a CS1 Course

abstract: One of the important scaffolding tasks in programming learning is writing a line of code performing the necessary action. This allows students to practice skills in a playground with instant feedback before writing more complex programs and increases their proficiency when solving programming problems. However, answers in the form of program code have high variability. Among the possible approaches to grading and providing feedback, we chose template matching. This paper reports the results of using regular-expression-based questions with string completion hints in a CS1 course for 4 years with 497 students. The evaluation results show that Perl-compatible regular expressions provide good precision and recall (more than 99\%) when used for questions requiring writing a single line of code while being able to provide string-completion feedback regardless of how wrong the initial student's answer is. After introducing formative quizzes with string-completion hints to the course, the number of questions that teachers and teaching assistants received about questions in the formative quizzes dropped considerably: most of the training question attempts resulted in finding the correct answer without help from the teaching staff. However, some of the students use formative quizzes just to learn correct answers without actually trying to answer the questions.


title: On the Brumer-Stark Conjecture and Refinements

abstract: We state the Brumer-Stark conjecture and motivate it from two perspectives. Stark's perspective arose in his attempts to generalize the classical Dirichlet class number formula for the leading term of the Dedekind zeta function at $s=1$ (equivalently, $s=0$). Brumer's perspective arose by generalizing Stickelberger's work regarding the factorization of Gauss sums and the annihilation of class groups of cyclotomic fields. These viewpoints were synthesized by Tate, who stated the Brumer-Stark conjecture in its current form. The conjecture considers a totally real field $F$ and a finite abelian CM extension $H/F$. It states the existence of $p$-units in $H$ whose valuations at places above $p$ are related to the special values of the $L$-functions of the extension $H/F$ at $s=0$. Essentially equivalently, the conjecture states that a Stickelberger element associated to $H/F$ annihilates the (appropriately smoothed) class group of $H$. This conjecture has been refined by many authors in multiple directions. We conclude by stating our results toward these various conjectures and summarizing the proofs. In particular, we prove the Brumer-Stark conjecture, Rubin's higher rank version, and Kurihara's conjecture, all "away from 2." We also prove strong partial results toward Gross's conjecture and the exact $p$-adic analytic formula for Brumer-Stark units. The key technique involved in the proofs is Ribet's method. We demonstrate congruences between Hilbert modular Eisenstein series and cusp forms, and use the associated Galois representations to construct Galois cohomology classes. These cohomology classes are interpreted in terms of Ritter-Weiss modules, from which results on class groups may be deduced.


title: Constraining spontaneous black hole scalarization in scalar-tensor-Gauss-Bonnet theories with current gravitational-wave data

abstract: We examine the constraining power of current gravitational-wave data on scalar-tensor-Gauss-Bonnet theories that allow for the spontaneous scalarization of black holes. In the fiducial model that we consider, a slowly rotating black hole must scalarize if its size is comparable to the new length scale $\lambda$ that the theory introduces, although rapidly rotating black holes of any mass are effectively indistinguishable from their counterparts in general relativity. With this in mind, we use the gravitational-wave event GW190814$\,\unicode{x2014}\,$whose primary black hole has a spin that is bounded to be small, and whose signal shows no evidence of a scalarized primary$\,\unicode{x2014}\,$to rule out a narrow region of the parameter space. In particular, we find that values of ${\lambda \in [56, 96]~M_\odot}$ are strongly disfavored with a Bayes factor of $0.1$ or less. We also include a second event, GW151226, in our analysis to illustrate what information can be extracted when the spins of both components are poorly measured.


title: A stochastic Stein Variational Newton method

abstract: Stein variational gradient descent (SVGD) is a general-purpose optimization-based sampling algorithm that has recently exploded in popularity, but is limited by two issues: it is known to produce biased samples, and it can be slow to converge on complicated distributions. A recently proposed stochastic variant of SVGD (sSVGD) addresses the first issue, producing unbiased samples by incorporating a special noise into the SVGD dynamics such that asymptotic convergence is guaranteed. Meanwhile, Stein variational Newton (SVN), a Newton-like extension of SVGD, dramatically accelerates the convergence of SVGD by incorporating Hessian information into the dynamics, but also produces biased samples. In this paper we derive, and provide a practical implementation of, a stochastic variant of SVN (sSVN) which is both asymptotically correct and converges rapidly. We demonstrate the effectiveness of our algorithm on a difficult class of test problems -- the Hybrid Rosenbrock density -- and show that sSVN converges using three orders of magnitude fewer gradient evaluations of the log likelihood than its stochastic SVGD counterpart. Our results show that sSVN is a promising approach to accelerating high-precision Bayesian inference tasks with modest-dimension, $d\sim\mathcal{O}(10)$.


title: Light propagating in a Born-Infeld background as seen by an accelerated observer

abstract: We study the propagation of light in the Born-Infeld (BI) background as seen by an accelerated observer. In a Born-Infeld electromagnetic field, light trajectories are governed by the null geodesics of the effective optical metric. The accelerated observer is in a Rindler frame, a situation that, according to the Einstein Equivalence Principle, is equivalent to being in a uniform gravitational field. The phase velocity of light propagating through a purely magnetic or electric BI background is determined as measured by the Rindler observer. The BI field and the acceleration of the frame have opposite effects on the propagating light: while the intense electric or magnetic BI background slows down the velocity of light, in the accelerated frame light may exceed its velocity in vacuum. We consider light propagating parallel or transversal to the acceleration direction of the Rindler frame. The redshift of light pulses sent from one Rindler observer to another, in the BI background, is calculated as well.


title: Unsupervised detection of ash dieback disease (Hymenoscyphus fraxineus) using diffusion-based hyperspectral image clustering

abstract: Ash dieback (Hymenoscyphus fraxineus) is an introduced fungal disease that is causing the widespread death of ash trees across Europe. Remote sensing hyperspectral images encode rich structure that has been exploited for the detection of dieback disease in ash trees using supervised machine learning techniques. However, to understand the state of forest health at landscape-scale, accurate unsupervised approaches are needed. This article investigates the use of the unsupervised Diffusion and VCA-Assisted Image Segmentation (D-VIS) clustering algorithm for the detection of ash dieback disease in a forest site near Cambridge, United Kingdom. The unsupervised clustering presented in this work has high overlap with the supervised classification of previous work on this scene (overall accuracy = 71%). Thus, unsupervised learning may be used for the remote detection of ash dieback disease without the need for expert labeling.