title: On the fundamental tone of the $p$-Laplacian on Riemannian manifolds and applications

abstract: We present a general lower bound for the fundamental tone for the $p$-Laplacian on Riemannian manifolds carrying a special kind of function. We then apply our result to the cases of negatively curved simply connected manifolds, a class of warped product manifolds and for a class of Riemannian submersions.


title: Source of pure proton beams

abstract: In the quasi-gasdynamic high-current ion source described in this work, the plasma is sustained by high-power millimeter-wave radiation under the electron cyclotron resonance (ECR) condition. In such facilities, it is possible to achieve high volumetric energy input of up to $250$ $W/cm^3$ and obtain pure proton beams with a minimum amount of impurities and molecular ions. Experiments conducted on the GISMO facility demonstrated the possibility of a proton beam formation with a current of $50$ mA and an extremely high ($99.9$\%) content of atomic ions.


title: Semantic Parsing for Conversational Question Answering over Knowledge Graphs

abstract: In this paper, we are interested in developing semantic parsers which understand natural language questions embedded in a conversation with a user and ground them to formal queries over definitions in a general purpose knowledge graph (KG) with very large vocabularies (covering thousands of concept names and relations, and millions of entities). To this end, we develop a dataset where user questions are annotated with Sparql parses and system answers correspond to execution results thereof. We present two different semantic parsing approaches and highlight the challenges of the task: dealing with large vocabularies, modelling conversation context, predicting queries with multiple entities, and generalising to new questions at test time. We hope our dataset will serve as useful testbed for the development of conversational semantic parsers. Our dataset and models are released at https://github.com/EdinburghNLP/SPICE.


title: Locating multiple magnetized anomalies by geomagnetic monitoring

abstract: The presence of magnetized anomalies in the shell of the Earth interrupts its geomagnetic field. We consider the inverse problem of identifying the anomalies by monitoring the variation of the geomagnetic field. Motivated by the theoretical unique identifiability result in [5], we develop a novel numerical scheme of locating multiple magnetized anomalies. In our study, we do not assume that the source that generates the geomagnetic field, and the medium configurations of the Earth's core and the magnetized anomalies are a-priori known. The core of the reconstruction scheme is a novel imaging functional whose quantitative behaviours can be used to identify the anomalies. Both rigorous analysis and extensive numerical experiments are provided to verify the effectiveness and promising features of the proposed reconstruction scheme.


title: Towards Accurate Acne Detection via Decoupled Sequential Detection Head

abstract: Accurate acne detection plays a crucial role in acquiring precise diagnosis and conducting proper therapy. However, the ambiguous boundaries and arbitrary dimensions of acne lesions severely limit the performance of existing methods. In this paper, we address these challenges via a novel Decoupled Sequential Detection Head (DSDH), which can be easily adopted by mainstream two-stage detectors. DSDH brings two simple but effective improvements to acne detection. Firstly, the offset and scaling tasks are explicitly introduced, and their incompatibility is settled by our task-decouple mechanism, which improves the capability of predicting the location and size of acne lesions. Second, we propose the task-sequence mechanism, and execute offset and scaling sequentially to gain a more comprehensive insight into the dimensions of acne lesions. In addition, we build a high-quality acne detection dataset named ACNE-DET to verify the effectiveness of DSDH. Experiments on ACNE-DET and the public benchmark ACNE04 show that our method outperforms the state-of-the-art methods by significant margins. Our code and dataset are publicly available at (temporarily anonymous).


title: Dynamics of imbalanced quasi-one-dimensional binary Bose-Einstein condensate in external potentials

abstract: In the framework of coupled 1D Gross-Pitaevskii equations, we explore the dynamics of a binary Bose-Einstein condensate where the intra-component interaction is repulsive, while the inter-component one is attractive. The existence regimes of stable self-trapped localized states in the form of symbiotic solitons have been analyzed. Imbalanced mixtures, where the number of atoms in one component exceeds the number of atoms in the other component, are considered in parabolic potential and box-like trap. When all the intra-species and inter-species interactions are repulsive, we numerically find a new type of symbiotic solitons resembling dark-bright solitons. A variational approach has been developed which allows us to find the stationary state of the system and frequency of small amplitude dynamics near the equilibrium. It is shown that the strength of inter-component coupling can be retrieved from the frequency of the localized state's vibrations.


title: Multiscale modelling of heavy metals adsorption on algal-bacterial photogranules

abstract: A multiscale mathematical model describing the genesis and ecology of algal-bacterial photogranules and the metals biosorption on their solid matrix within a sequencing batch reactor (SBR) is presented. The granular biofilm is modelled as a spherical free boundary domain with radial symmetry and a vanishing initial value. The free boundary evolution is governed by an ODE accounting for microbial growth, attachment and detachment phenomena. The model is based on systems of PDEs derived from mass conservation principles. Specifically, two systems of nonlinear hyperbolic PDEs model the growth of attached species and the dynamics of free adsorption sites; and two systems of quasi-linear parabolic PDEs govern the diffusive transport and conversion of nutrients and metals. The model is completed with systems of impulsive ordinary differential equations (IDEs) describing the evolution of dissolved substrates, metals, and planktonic and detached biomasses within the granular-based SBR. All main phenomena involved in the process are considered in the mathematical model. Moreover, the dual effect of metal presence on the formation process of photogranules is accounted: metal stimulates the production of EPS by sessile species and negatively affects the metabolic activities of microbial species. To describe the effects related to metal presence, a stimulation term for EPS production and an inhibition term for metal are included in all microbial kinetics. The model is used to examine the role of the microbial species and EPS in the adsorption process, and the effect of metal concentration and adsorption proprieties of biofilm components on the metal removal. Numerical results show that the model accurately describes the photogranules evolution and ecology and confirm the applicability of algal-bacterial photogranules systems for metal-rich wastewater treatment.


title: Machine Learning Methods for Cancer Classification Using Gene Expression Data: A Review

abstract: Cancer is a term that denotes a group of diseases caused by abnormal growth of cells that can spread in different parts of the body. According to the World Health Organization (WHO), cancer is the second major cause of death after cardiovascular diseases. Gene expression can play a fundamental role in the early detection of cancer, as it is indicative of the biochemical processes in tissue and cells, as well as the genetic characteristics of an organism. Deoxyribonucleic Acid (DNA) microarrays and Ribonucleic Acid (RNA)- sequencing methods for gene expression data allow quantifying the expression levels of genes and produce valuable data for computational analysis. This study reviews recent progress in gene expression analysis for cancer classification using machine learning methods. Both conventional and deep learning-based approaches are reviewed, with an emphasis on the ap-plication of deep learning models due to their comparative advantages for identifying gene patterns that are distinctive for various types of cancers. Relevant works that employ the most commonly used deep neural network architectures are covered, including multi-layer perceptrons, convolutional, recurrent, graph, and transformer networks. This survey also presents an overview of the data collection methods for gene expression analysis and lists important datasets that are commonly used for supervised machine learning for this task. Furthermore, reviewed are pertinent techniques for feature engineering and data preprocessing that are typically used to handle the high dimensionality of gene expression data, caused by a large number of genes present in data samples. The paper concludes with a discussion of future research directions for machine learning-based gene expression analysis for cancer classification.


title: On Measuring the 21 cm Global Spectrum of the Cosmic Dawn with an Interferometer Array

abstract: We theoretically investigate the recovery of global spectrum (monopole) from visibilities (cross-correlation only) measured by the interferometer array and the feasibility of extracting 21 cm signal of cosmic dawn. In our approach, the global spectrum is obtained by solving the monopole and higher-order components simultaneously from the visibilities measured with up to thousands of baselines. Using this algorithm, the monopole of both foreground and the 21 cm signal can be correctly recovered in a broad range of conditions. We find that a 3D baseline distribution can have much better performance than a 2D (planar) baseline distribution, particularly when there is a lack of shorter baselines. We simulate for ground-based 2D and 3D array configurations, and a cross-shaped space array located at the Sun-Earth L2 point that can form 3D baselines through orbital precession. In all simulations we obtain good recovered global spectrum, and successfully extract the 21 cm signal from it, with reasonable number of antennas and observation time.


title: Hamiltonians and gauge-invariant Hilbert space for lattice Yang-Mills-like theories with finite gauge group

abstract: Motivated by quantum simulation, we consider lattice Hamiltonians for Yang-Mills gauge theories with finite gauge group, for example a finite subgroup of a compact Lie group. We show that the electric Hamiltonian admits an interpretation as a certain natural, non-unique Laplacian operator on the finite Abelian or non-Abelian group, and derive some consequences from this fact. Independently of the chosen Hamiltonian, we provide a full explicit description of the physical, gauge-invariant Hilbert space for pure gauge theories and derive a simple formula to compute its dimension. We illustrate the use of the gauge-invariant basis to diagonalize a dihedral gauge theory on a small periodic lattice.


title: Interactive Log Parsing via Light-weight User Feedback

abstract: Template mining is one of the foundational tasks to support log analysis, which supports the diagnosis and troubleshooting of large scale Web applications. This paper develops a human-in-the-loop template mining framework to support interactive log analysis, which is highly desirable in real-world diagnosis or troubleshooting of Web applications but yet previous template mining algorithms fails to support it. We formulate three types of light-weight user feedbacks and based on them we design three atomic human-in-the-loop template mining algorithms. We derive mild conditions under which the outputs of our proposed algorithms are provably correct. We also derive upper bounds on the computational complexity and query complexity of each algorithm. We demonstrate the versatility of our proposed algorithms by combining them to improve the template mining accuracy of five representative algorithms over sixteen widely used benchmark datasets.


title: Influence Maximization with Unknown Individual Effect on General Network

abstract: The identification of a seed set to maximize information spread in a network is crucial, a concept known as Influence Maximization (IM). Elegant IM algorithms could naturally extend to cases where each node is equipped with specific weight, referred to as individual effect, to measure the node's importance. Prevailing literature has typically assumed that the individual effect remains constant during the cascade process. However, this assumption is not always feasible, as the individual effect of each node is primarily evaluated by the difference between the outputs in the activated and non-activated states, with one of these states always being unobservable after propagation. Moreover, the individual effect is sensitive to the environmental information provided by surrounding nodes. To address these challenges, we extend the consideration of IM to a broader scenario involving general networks with dynamic node individual effects, leveraging causality techniques. In our paper, we address this through the development of a Causal Influence Maximization (CauIM) algorithm. Theoretically, for CauIM, we present the generalized lower bound of influence spread and provide robustness analysis. Empirically, in synthetic and real-world experiments, we demonstrate the effectiveness and robustness of CauIM, along with a novel acceleration technique.


title: Deep Operator Learning Lessens the Curse of Dimensionality for PDEs

abstract: Deep neural networks (DNNs) have achieved remarkable success in numerous domains, and their application to PDE-related problems has been rapidly advancing. This paper provides an estimate for the generalization error of learning Lipschitz operators over Banach spaces using DNNs with applications to various PDE solution operators. The goal is to specify DNN width, depth, and the number of training samples needed to guarantee a certain testing error. Under mild assumptions on data distributions or operator structures, our analysis shows that deep operator learning can have a relaxed dependence on the discretization resolution of PDEs and, hence, lessen the curse of dimensionality in many PDE-related problems including elliptic equations, parabolic equations, and Burgers equations. Our results are also applied to give insights about discretization-invariance in operator learning.


title: Entanglement Coupled Cluster Theory: Exact Spin-Adaptation

abstract: We present a novel approach to spin-adapted coupled cluster theory. This approach is based on the entanglement of an open-shell molecule with electrons in a non-interacting bath; together they form a closed-shell state. For the total system, electron correlation can be added with the standard spin-adapted closed-shell coupled cluster formalism. A projection operator, which enforces conditions on the electrons in the bath, is used to obtain the desired state of the molecular system. This entanglement coupled cluster theory is detailed and proof-of-concept calculations for doublet states are reported. The approach is extendable to open-shell systems with other values of the total spin.


title: Path Loss Analysis for Low-Altitude Air-to-Air Millimeter-Wave Channel in Built-Up Area

abstract: Communications between unmanned aerial vehicles (UAVs) play an important role in deploying aerial networks. Although some studies reveal that drone-based air-to-air (A2A) channels are relatively clear and thus can be modeled as free-space propagation, such an assumption may not be applicable to drones flying in low altitudes of built-up environments. In practice, low-altitude A2A channel modeling becomes more challenging in urban scenarios since buildings can obstruct the line-of-sight (LOS) path, and multipaths from buildings lead to additional losses. Therefore, we herein focus on modeling low-altitude A2A channels considering a generic urban deployment, where we introduce the evidence of the small-size first Fresnel zone at the millimeter-wave (mmWave) band to approximately derive the LOS probability. Then, the path loss under different propagation conditions is investigated to obtain an integrated path loss model. In addition, we incorporate the impact of imperfect beam alignment on the path loss, where the relation between path loss fluctuation and beam misalignment level is modeled as an exponential form. Finally, comparisons with the 3GPP model show the effectiveness of the proposed analytical model. Numerical simulations in different environments and heights provide practical deployment guidance for aerial networks.


title: Continual Graph Learning: A Survey

abstract: Research on continual learning (CL) mainly focuses on data represented in the Euclidean space, while research on graph-structured data is scarce. Furthermore, most graph learning models are tailored for static graphs. However, graphs usually evolve continually in the real world. Catastrophic forgetting also emerges in graph learning models when being trained incrementally. This leads to the need to develop robust, effective and efficient continual graph learning approaches. Continual graph learning (CGL) is an emerging area aiming to realize continual learning on graph-structured data. This survey is written to shed light on this emerging area. It introduces the basic concepts of CGL and highlights two unique challenges brought by graphs. Then it reviews and categorizes recent state-of-the-art approaches, analyzing their strategies to tackle the unique challenges in CGL. Besides, it discusses the main concerns in each family of CGL methods, offering potential solutions. Finally, it explores the open issues and potential applications of CGL.


title: Rateless Autoencoder Codes: Trading off Decoding Delay and Reliability

abstract: Most of today's communication systems are designed to target reliable message recovery after receiving the entire encoded message (codeword). However, in many practical scenarios, the transmission process may be interrupted before receiving the complete codeword. This paper proposes a novel rateless autoencoder (AE)-based code design suitable for decoding the transmitted message before the noisy codeword is fully received. Using particular dropout strategies applied during the training process, rateless AE codes allow to trade off between decoding delay and reliability, providing a graceful improvement of the latter with each additionally received codeword symbol. The proposed rateless AEs significantly outperform the conventional AE designs for scenarios where it is desirable to trade off reliability for lower decoding delay.


title: Tackling Stackelberg Network Interdiction against a Boundedly Rational Adversary

abstract: This work studies Stackelberg network interdiction games -- an important class of games in which a defender first allocates (randomized) defense resources to a set of critical nodes on a graph while an adversary chooses its path to attack these nodes accordingly. We consider a boundedly rational adversary in which the adversary's response model is based on a dynamic form of classic logit-based discrete choice models. We show that the problem of finding an optimal interdiction strategy for the defender in the rational setting is NP-hard. The resulting optimization is in fact non-convex and additionally, involves complex terms that sum over exponentially many paths. We tackle these computational challenges by presenting new efficient approximation algorithms with bounded solution guarantees. First, we address the exponentially-many-path challenge by proposing a polynomial-time dynamic programming-based formulation. We then show that the gradient of the non-convex objective can also be computed in polynomial time, which allows us to use a gradient-based method to solve the problem efficiently. Second, we identify a restricted problem that is convex and hence gradient-based methods find the global optimal solution for this restricted problem. We further identify mild conditions under which this restricted problem provides a bounded approximation for the original problem.


title: A Comprehensive Investigation of Metals in the Circumgalactic Medium of Nearby Dwarf Galaxies

abstract: Dwarf galaxies are found to have lost most of their metals via feedback processes; however, there still lacks consistent assessment on the retention rate of metals in their circumgalactic medium (CGM). Here we investigate the metal content in the CGM of 45 isolated dwarf galaxies with $M_*=10^{6.5-9.5}~M_\odot$ ($M_{\rm 200m}=10^{10.0-11.5}~M_\odot$) using {\it HST}/COS. While H I (Ly$\alpha$) is ubiquitously detected ($89\%$) within the CGM, we find low detection rates ($\approx5\%-22\%$) in C II, C IV, Si II, Si III, and Si IV, largely consistent with literature values. Assuming these ions form in the cool ($T\approx10^4$ K) CGM with photoionization equilibrium, the observed H I and metal column density profiles can be best explained by an empirical model with low gas density and high volume filling factor. For a typical galaxy with $M_{\rm 200m}=10^{10.9}~M_\odot$ (median of the sample), our model predicts a cool gas mass of $M_{\rm CGM,cool}\sim10^{8.4}~M_\odot$, corresponding to $\sim2\%$ of the galaxy's baryonic budget. Assuming a metallicity of $0.3Z_\odot$, we estimate that the dwarf galaxy's cool CGM likely harbors $\sim10\%$ of the metals ever produced, with the rest either in more ionized states in the CGM or transported to the intergalactic medium. We further examine the EAGLE simulation and show that H I and low ions may arise from a dense cool medium, while C IV arises from a diffuse warmer medium. Our work provides the community with a uniform dataset on dwarf galaxies' CGM that combines our recent observations, additional archival data and literature compilation, which can be used to test various theoretical models of dwarf galaxies.


title: Proximity-enhanced valley Zeeman splitting at the WS$_2$/graphene interface

abstract: The valley Zeeman physics of excitons in monolayer transition metal dichalcogenides provides valuable insight into the spin and orbital degrees of freedom inherent to these materials. Being atomically-thin materials, these degrees of freedom can be influenced by the presence of adjacent layers, due to proximity interactions that arise from wave function overlap across the 2D interface. Here, we report 60 T magnetoreflection spectroscopy of the A- and B- excitons in monolayer WS$_2$, systematically encapsulated in monolayer graphene. While the observed variations of the valley Zeeman effect for the A- exciton are qualitatively in accord with expectations from the bandgap reduction and modification of the exciton binding energy due to the graphene-induced dielectric screening, the valley Zeeman effect for the B- exciton behaves markedly different. We investigate prototypical WS$_2$/graphene stacks employing first-principles calculations and find that the lower conduction band of WS$_2$ at the $K/K'$ valleys (the $CB^-$ band) is strongly influenced by the graphene layer on the orbital level. This leads to variations in the valley Zeeman physics of the B- exciton, consistent with the experimental observations. Our detailed microscopic analysis reveals that the conduction band at the $Q$ point of WS$_2$ mediates the coupling between $CB^-$ and graphene due to resonant energy conditions and strong coupling to the Dirac cone. Our results therefore expand the consequences of proximity effects in multilayer semiconductor stacks, showing that wave function hybridization can be a multi-step process with different bands mediating the interlayer interactions. Such effects can be exploited to resonantly engineer the spin-valley degrees of freedom in van der Waals and moir\'e heterostructures.


title: Vulnerabilities and Attacks on CAN-Based 3D Printing/Additive Manufacturing

abstract: Recent advancements in 3D-printing/additive manufacturing has brought forth a new interest in the use of Controller Area Network (CAN) for multi-module, plug-and-play bus support for their embedded systems. CAN systems provide a variety of benefits that can outweigh typical conventional wire-loom protocols in many categories. However, implementation of CAN also brings forth vulnerabilities provided by its spoofable, destination-encoded shared communication bus. These vulnerabilities result in undetectable fault injection, packet manipulation, unauthorized packet logging/sniffing, and more. They also provide attackers the capability to manipulate all sensor information, commands, and create unsafe operating conditions using only a single compromised node on the CAN network (bypassing all root-of-trust in the modules). Thus, malicious hardware requires only a connection to the bus for access to all traffic. In this paper, we discuss the effects of repurposed CAN-based attacks capable of manipulating sensor data, overriding systems, and injecting dangerous commands on the Controller Area Network using various entry methods. As a case study, we also showed a spoofing attack on critical data modules within a commercial 3D printer.


title: Ideal Bose Gas and Blackbody Radiation in the Dunkl Formalism

abstract: Recently, deformed quantum systems gather lots of attention in the literature. Dunkl formalism differs from others by containing the difference-differential and reflection operator. It is one of the most interesting deformations since it let us discuss the solutions according to the even and odd solutions. In this work, we studied the ideal Bose gas and the blackbody radiation via the Dunkl formalism. To this end, we made a liaison between the coordinate and momentum operators with the creation and annihilation operators which allowed us to obtain the expressions of the partition function, the condensation temperature, and the ground state population of the Bose gas. We found that Dunkl-condensation temperature increases with increasing {\theta} value. In the blackbody radiation phenomena, we found how the Dunkl formalism modifies total radiated energy. Then, we examined the thermal quantities of the system. We found that the Dunkl deformation causes an increase in entropy and specific heat functions as well as in the total radiation energy. However, we observed a decrease in the Dunk-corrected Helmholtz free energy in this scenario. Finally, we found that the equation of state is invariant even in the considered formalism.


title: Convergence of Allen-Cahn equations to De Giorgi's multiphase mean curvature flow

abstract: This paper presents a conditional convergence result of solutions to the Allen--Cahn equation with arbitrary potentials to a De Giorgi type $ \mathrm{BV} $-solution to multiphase mean curvature flow. Moreover we show that De Giorgi type $\mathrm{BV} $-solutions are De Giorgi type varifold solutions, and thus our solution is unique in a weak-strong sense.


title: Hadronic structure on the light-front VI. Generalized parton distributions of unpolarized hadrons

abstract: We discuss the generalized parton distributions (GPDs) for unpolarized hadrons, as a continuation of our recent work on hadronic structure on the light front. We analyze the unpolarized GPDs for the light nucleon and delta, as well as generic mesons, using the lowest Fock states. We use these GPDs to reconstruct the charge and gravitational form factors, and discuss their relative sizes. The results are also compared to reported QCD lattice results.


title: On the forward in time propagation of zeros in fractional heat type problems

abstract: In this short note we prove that if $u$ solves $(\partial_t - \Delta)^s u = Vu$ in $\mathbb R^n_x \times \mathbb R_t$, and vanishes to infinite order at a point $(x_0, t_0)$, then $u \equiv 0$ in $\mathbb R^n_x \times \mathbb R_t$. This sharpens (and completes) our earlier result that proves $u(\cdot, t) \equiv 0$ for $t \leq t_0$ if it vanishes to infinite order at $(x_0, t_0)$.


title: A speed restart scheme for a dynamics with Hessian driven damping

abstract: In this paper, we analyze a speed restarting scheme for the dynamical system given by $$ \ddot{x}(t) + \dfrac{\alpha}{t}\dot{x}(t) + \nabla \phi(x(t)) + \beta \nabla^2 \phi(x(t))\dot{x}(t)=0, $$ where $\alpha$ and $\beta$ are positive parameters, and $\phi:\mathbb{R}^n \to \mathbb{R}$ is a smooth convex function. If $\phi$ has quadratic growth, we establish a linear convergence rate for the function values along the restarted trajectories. As a byproduct, we improve the results obtained by Su, Boyd and Cand\`es \cite{JMLR:v17:15-084}, obtained in the strongly convex case for $\alpha=3$ and $\beta=0$. Preliminary numerical experiments suggest that both adding a positive Hessian driven damping parameter $\beta$, and implementing the restart scheme help improve the performance of the dynamics and corresponding iterative algorithms as means to approximate minimizers of $\phi$.


title: Convergence and Near-optimal Sampling for Multivariate Function Approximations in Irregular Domains via Vandermonde with Arnoldi

abstract: Vandermonde matrices are usually exponentially ill-conditioned and often result in unstable approximations. In this paper, we introduce and analyze the \textit{multivariate Vandermonde with Arnoldi (V+A) method}, which is based on least-squares approximation together with a Stieltjes orthogonalization process, for approximating continuous, multivariate functions on $d$-dimensional irregular domains. The V+A method addresses the ill-conditioning of the Vandermonde approximation by creating a set of discrete orthogonal basis with respect to a discrete measure. The V+A method is simple and general. It relies only on the sample points from the domain and requires no prior knowledge of the domain. In this paper, we first analyze the sample complexity of the V+A approximation. In particular, we show that, for a large class of domains, the V+A method gives a well-conditioned and near-optimal $N$-dimensional least-squares approximation using $M=\mathcal{O}(N^2)$ equispaced sample points or $M=\mathcal{O}(N^2\log N)$ random sample points, independently of $d$. We also give a comprehensive analysis of the error estimates and rate of convergence of the V+A approximation. Based on the multivariate V+A approximation, we propose a new variant of the weighted V+A least-squares algorithm that uses only $M=\mathcal{O}(N\log N)$ sample points to give a near-optimal approximation. Our numerical results confirm that the (weighted) V+A method gives a more accurate approximation than the standard orthogonalization method for high-degree approximation using the Vandermonde matrix.


title: Extended Load Flexibility of Utility-Scale P2H Plants: Optimal Production Scheduling Considering Dynamic Thermal and HTO Impurity Effects

abstract: In the conversion toward a clear and sustainable energy system, the flexibility of power-to-hydrogen (P2H) production enables the admittance of volatile renewable energies on a utility scale and provides the connected electrical power system with ancillary services. To extend the load flexibility and thus improve the profitability of green hydrogen production, this paper presents an optimal production scheduling approach for utility-scale P2H plants composed of multiple alkaline electrolyzers. Unlike existing works, this work discards the conservative constant steady-state constraints and first leverages the dynamic thermal and hydrogen-to-oxygen (HTO) impurity crossover processes of electrolyzers. Doing this optimizes their effects on the loading range and energy conversion efficiency, therefore improving the load flexibility of P2H production. The proposed multiphysics-aware scheduling model is formulated as mixed-integer linear programming (MILP). It coordinates the electrolyzers' operation state transitions and load allocation subject to comprehensive thermodynamic and mass transfer constraints. A decomposition-based solution method, SDM-GS-ALM, is followingly adopted to address the scalability issue for scheduling large-scale P2H plants composed of tens of electrolyzers. With an experiment-verified dynamic electrolyzer model, case studies up to 22 electrolyzers show that the proposed method remarkably improves the hydrogen output and profit of P2H production powered by either solar or wind energy compared to the existing scheduling approach.


title: Investigating How Practitioners Use Human-AI Guidelines: A Case Study on the People + AI Guidebook

abstract: Artificial intelligence (AI) presents new challenges for the user experience (UX) of products and services. Recently, practitioner-facing resources and design guidelines have become available to ease some of these challenges. However, little research has investigated if and how these guidelines are used, and how they impact practice. In this paper, we investigated how industry practitioners use the People + AI Guidebook. We conducted interviews with 31 practitioners (i.e., designers, product managers) to understand how they use human-AI guidelines when designing AI-enabled products. Our findings revealed that practitioners use the guidebook not only for addressing AI's design challenges, but also for education, cross-functional communication, and for developing internal resources. We uncovered that practitioners desire more support for early phase ideation and problem formulation to avoid AI product failures. We discuss the implications for future resources aiming to help practitioners in designing AI products.


title: 20 ps Time Resolution with a Fully-Efficient Monolithic Silicon Pixel Detector without Internal Gain Layer

abstract: A second monolithic silicon pixel prototype was produced for the MONOLITH project. The ASIC contains a matrix of hexagonal pixels with 100 {\mu}m pitch, readout by a low-noise and very fast SiGe HBT frontend electronics. Wafers with 50 {\mu}m thick epilayer of 350 {\Omega}cm resistivity were used to produce a fully depleted sensor. Laboratory and testbeam measurements of the analog channels present in the pixel matrix show that the sensor has a 130 V wide bias-voltage operation plateau at which the efficiency is 99.8%. Although this prototype does not include an internal gain layer, the design optimised for timing of the sensor and the front-end electronics provides a time resolutions of 20 ps.


title: Supervision Complexity and its Role in Knowledge Distillation

abstract: Despite the popularity and efficacy of knowledge distillation, there is limited understanding of why it helps. In order to study the generalization behavior of a distilled student, we propose a new theoretical framework that leverages supervision complexity: a measure of alignment between teacher-provided supervision and the student's neural tangent kernel. The framework highlights a delicate interplay among the teacher's accuracy, the student's margin with respect to the teacher predictions, and the complexity of the teacher predictions. Specifically, it provides a rigorous justification for the utility of various techniques that are prevalent in the context of distillation, such as early stopping and temperature scaling. Our analysis further suggests the use of online distillation, where a student receives increasingly more complex supervision from teachers in different stages of their training. We demonstrate efficacy of online distillation and validate the theoretical findings on a range of image classification benchmarks and model architectures.


title: A Closer Look at Few-shot Classification Again

abstract: Few-shot classification consists of a training phase where a model is learned on a relatively large dataset and an adaptation phase where the learned model is adapted to previously-unseen tasks with limited labeled samples. In this paper, we empirically prove that the training algorithm and the adaptation algorithm can be completely disentangled, which allows algorithm analysis and design to be done individually for each phase. Our meta-analysis for each phase reveals several interesting insights that may help better understand key aspects of few-shot classification and connections with other fields such as visual representation learning and transfer learning. We hope the insights and research challenges revealed in this paper can inspire future work in related directions. Code and pre-trained models (in PyTorch) are available at https://github.com/Frankluox/CloserLookAgainFewShot.


title: SEGA: Instructing Text-to-Image Models using Semantic Guidance

abstract: Text-to-image diffusion models have recently received a lot of interest for their astonishing ability to produce high-fidelity images from text only. However, achieving one-shot generation that aligns with the user's intent is nearly impossible, yet small changes to the input prompt often result in very different images. This leaves the user with little semantic control. To put the user in control, we show how to interact with the diffusion process to flexibly steer it along semantic directions. This semantic guidance (SEGA) generalizes to any generative architecture using classifier-free guidance. More importantly, it allows for subtle and extensive edits, changes in composition and style, as well as optimizing the overall artistic conception. We demonstrate SEGA's effectiveness on both latent and pixel-based diffusion models such as Stable Diffusion, Paella, and DeepFloyd-IF using a variety of tasks, thus providing strong evidence for its versatility, flexibility, and improvements over existing methods.


title: Gessel-Lucas congruences for sporadic sequences

abstract: For each of the $15$ known sporadic Ap\'ery-like sequences, we prove congruences modulo $p^2$ that are natural extensions of the Lucas congruences modulo $p$. This extends a result of Gessel for the numbers used by Ap\'ery in his proof of the irrationality of $\zeta(3)$. Moreover, we show that each of these sequences satisfies two-term supercongruences modulo $p^{2r}$. Using special constant term representations recently discovered by Gorodetsky, we prove these supercongruences in the two cases that remained previously open.


title: Towards Precise Model-free Robotic Grasping with Sim-to-Real Transfer Learning

abstract: Precise robotic grasping of several novel objects is a huge challenge in manufacturing, automation, and logistics. Most of the current methods for model-free grasping are disadvantaged by the sparse data in grasping datasets and by errors in sensor data and contact models. This study combines data generation and sim-to-real transfer learning in a grasping framework that reduces the sim-to-real gap and enables precise and reliable model-free grasping. A large-scale robotic grasping dataset with dense grasp labels is generated using domain randomization methods and a novel data augmentation method for deep learning-based robotic grasping to solve data sparse problem. We present an end-to-end robotic grasping network with a grasp optimizer. The grasp policies are trained with sim-to-real transfer learning. The presented results suggest that our grasping framework reduces the uncertainties in grasping datasets, sensor data, and contact models. In physical robotic experiments, our grasping framework grasped single known objects and novel complex-shaped household objects with a success rate of 90.91%. In a complex scenario with multi-objects robotic grasping, the success rate was 85.71%. The proposed grasping framework outperformed two state-of-the-art methods in both known and unknown object robotic grasping.


title: Fast, Sample-Efficient, Affine-Invariant Private Mean and Covariance Estimation for Subgaussian Distributions

abstract: We present a fast, differentially private algorithm for high-dimensional covariance-aware mean estimation with nearly optimal sample complexity. Only exponential-time estimators were previously known to achieve this guarantee. Given $n$ samples from a (sub-)Gaussian distribution with unknown mean $\mu$ and covariance $\Sigma$, our $(\varepsilon,\delta)$-differentially private estimator produces $\tilde{\mu}$ such that $\|\mu - \tilde{\mu}\|_{\Sigma} \leq \alpha$ as long as $n \gtrsim \tfrac d {\alpha^2} + \tfrac{d \sqrt{\log 1/\delta}}{\alpha \varepsilon}+\frac{d\log 1/\delta}{\varepsilon}$. The Mahalanobis error metric $\|\mu - \hat{\mu}\|_{\Sigma}$ measures the distance between $\hat \mu$ and $\mu$ relative to $\Sigma$; it characterizes the error of the sample mean. Our algorithm runs in time $\tilde{O}(nd^{\omega - 1} + nd/\varepsilon)$, where $\omega < 2.38$ is the matrix multiplication exponent. We adapt an exponential-time approach of Brown, Gaboardi, Smith, Ullman, and Zakynthinou (2021), giving efficient variants of stable mean and covariance estimation subroutines that also improve the sample complexity to the nearly optimal bound above. Our stable covariance estimator can be turned to private covariance estimation for unrestricted subgaussian distributions. With $n\gtrsim d^{3/2}$ samples, our estimate is accurate in spectral norm. This is the first such algorithm using $n= o(d^2)$ samples, answering an open question posed by Alabi et al. (2022). With $n\gtrsim d^2$ samples, our estimate is accurate in Frobenius norm. This leads to a fast, nearly optimal algorithm for private learning of unrestricted Gaussian distributions in TV distance. Duchi, Haque, and Kuditipudi (2023) obtained similar results independently and concurrently.


title: DeciLS-PBO: an Effective Local Search Method for Pseudo-Boolean Optimization

abstract: Local search is an effective method for solving large-scale combinatorial optimization problems, and it has made remarkable progress in recent years through several subtle mechanisms. In this paper, we found two ways to improve the local search algorithms in solving Pseudo-Boolean Optimization (PBO): Firstly, some of those mechanisms such as unit propagation are merely used in solving MaxSAT before, which can be generalized to solve PBO as well; Secondly, the existing local search algorithms utilize the heuristic on variables, so-called score, to mainly guide the search. We attempt to gain more insights into the clause, as it plays the role of a middleman who builds a bridge between variables and the given formula. Hence, we first extended the combination of unit propagation-based decimation algorithm to PBO problem, giving a further generalized definition of unit clause for PBO problem, and apply it to the existing solver LS-PBO for constructing an initial assignment; then, we introduced a new heuristic on clauses, dubbed care, to set a higher priority for the clauses that are less satisfied in current iterations. Experiments on benchmarks from the most recent PB Competition, as well as three real-world application benchmarks including minimum-width confidence band, wireless sensor network optimization, and seating arrangement problems show that our algorithm DeciLS-PBO has a promising performance compared to the state-of-the-art algorithms.


title: Machine Learning Accelerators in 2.5D Chiplet Platforms with Silicon Photonics

abstract: Domain-specific machine learning (ML) accelerators such as Google's TPU and Apple's Neural Engine now dominate CPUs and GPUs for energy-efficient ML processing. However, the evolution of electronic accelerators is facing fundamental limits due to the limited computation density of monolithic processing chips and the reliance on slow metallic interconnects. In this paper, we present a vision of how optical computation and communication can be integrated into 2.5D chiplet platforms to drive an entirely new class of sustainable and scalable ML hardware accelerators. We describe how cross-layer design and fabrication of optical devices, circuits, and architectures, and hardware/software codesign can help design efficient photonics-based 2.5D chiplet platforms to accelerate emerging ML workloads.


title: New opportunities for kaonic atoms measurements from CdZnTe detectors

abstract: We present the tests performed by the SIDDHARTA-2 collaboration at the DA{\Phi}NE collider with a quasi-hemispherical CdZnTe detector. The very good room-temperature energy resolution and efficiency in a wide energy range show that this detector technology is ideal for studying radiative transitions in intermediate and heavy-mass kaonic atoms. The CdZnTe detector was installed for the first time in an accelerator environment to perform tests on the background rejection capabilities, which were achieved by exploiting the SIDDHARTA-2 Luminosity Monitor. A spectrum with an $^{241}Am$ source has been acquired, with beams circulating in the main rings, and peak resolutions of 6% at 60 keV and of 2.2% at 511 keV have been achieved. The background suppression factor, which turned out to be of the order of $\simeq10^{5-6}$, opens the possibility to plan for future kaonic atom measurements with CdZnTe detectors.


title: Combinatorial Inference on the Optimal Assortment in Multinomial Logit Models

abstract: Assortment optimization has received active explorations in the past few decades due to its practical importance. Despite the extensive literature dealing with optimization algorithms and latent score estimation, uncertainty quantification for the optimal assortment still needs to be explored and is of great practical significance. Instead of estimating and recovering the complete optimal offer set, decision-makers may only be interested in testing whether a given property holds true for the optimal assortment, such as whether they should include several products of interest in the optimal set, or how many categories of products the optimal set should include. This paper proposes a novel inferential framework for testing such properties. We consider the widely adopted multinomial logit (MNL) model, where we assume that each customer will purchase an item within the offered products with a probability proportional to the underlying preference score associated with the product. We reduce inferring a general optimal assortment property to quantifying the uncertainty associated with the sign change point detection of the marginal revenue gaps. We show the asymptotic normality of the marginal revenue gap estimator, and construct a maximum statistic via the gap estimators to detect the sign change point. By approximating the distribution of the maximum statistic with multiplier bootstrap techniques, we propose a valid testing procedure. We also conduct numerical experiments to assess the performance of our method.


title: The impact of surplus sharing on the outcomes of specific investments under negotiated transfer pricing: An agent-based simulation with fuzzy Q-learning agents

abstract: This paper focuses on specific investments under negotiated transfer pricing. Reasons for transfer pricing studies are primarily to find conditions that maximize the firm's overall profit, especially in cases with bilateral trading problems with specific investments. However, the transfer pricing problem has been developed in the context where managers are fully individual rational utility maximizers. The underlying assumptions are rather heroic and, in particular, how managers process information under uncertainty, do not perfectly match with human decision-making behavior. Therefore, this paper relaxes key assumptions and studies whether cognitively bounded agents achieve the same results as fully rational utility maximizers and, in particular, whether the recommendations on managerial-compensation arrangements and bargaining infrastructures are designed to maximize headquarters' profit in such a setting. Based on an agent-based simulation with fuzzy Q-learning agents, it is shown that in case of symmetric marginal cost parameters, myopic fuzzy Q-learning agents invest only as much as in the classic hold-up problem, while non-myopic fuzzy Q-learning agents invest optimally. However, in scenarios with non-symmetric marginal cost parameters, a deviation from the previously recommended surplus sharing rules can lead to higher investment decisions and, thus, to an increase in the firm's overall profit.


title: Heat and wave type equations with non-local operators, II. Hilbert spaces and graded Lie groups

abstract: We study heat and wave type equations on a separable Hilbert space $\mathcal{H}$ by considering non-local operators in time with any positive densely defined linear operator with discrete spectrum. We show the explicit representation of the solution and analyse the time-decay rate in a scale of suitable Sobolev space. We perform similar analysis on multi-term heat and multi-wave type equations. The main tool here is the Fourier analysis which can be developed in a separable Hilbert space based on the linear operator involved. As an application, the same Cauchy problems are considered and analysed in the setting of a graded Lie group. In this case our analysis relies on the group Fourier analysis. An extra ingredient in this framework allows, in the case of heat type equations, to establish $L^p$-$L^q$ estimates for $1\leqslant p\leqslant 2\leqslant q<+\infty$ for the solutions on graded Lie group groups. Examples and applications of the developed theory are given, either in terms of self-adjoint operators on compact or non-compact manifolds, or in the case of particular settings of graded Lie groups. The results of this paper significantly extend in different directions the results of Part I, where operators on compact Lie groups were considered. We note that the results obtained in this paper are also new already in the Euclidean setting of $\mathbb{R}^n$.


title: Few-shot Face Image Translation via GAN Prior Distillation

abstract: Face image translation has made notable progress in recent years. However, when training on limited data, the performance of existing approaches significantly declines. Although some studies have attempted to tackle this problem, they either failed to achieve the few-shot setting (less than 10) or can only get suboptimal results. In this paper, we propose GAN Prior Distillation (GPD) to enable effective few-shot face image translation. GPD contains two models: a teacher network with GAN Prior and a student network that fulfills end-to-end translation. Specifically, we adapt the teacher network trained on large-scale data in the source domain to the target domain with only a few samples, where it can learn the target domain's knowledge. Then, we can achieve few-shot augmentation by generating source domain and target domain images simultaneously with the same latent codes. We propose an anchor-based knowledge distillation module that can fully use the difference between the training and the augmented data to distill the knowledge of the teacher network into the student network. The trained student network achieves excellent generalization performance with the absorption of additional knowledge. Qualitative and quantitative experiments demonstrate that our method achieves superior results than state-of-the-art approaches in a few-shot setting.


title: Cross-domain Neural Pitch and Periodicity Estimation

abstract: Pitch is a foundational aspect of our perception of audio signals. Pitch contours are commonly used to analyze speech and music signals and as input features for many audio tasks, including music transcription, singing voice synthesis, and prosody editing. In this paper, we describe a set of techniques for improving the accuracy of widely-used neural pitch and periodicity estimators to achieve state-of-the-art performance on both speech and music. We also introduce a novel entropy-based method for extracting periodicity and per-frame voiced-unvoiced classifications from statistical inference-based pitch estimators (e.g., neural networks), and show how to train a neural pitch estimator to simultaneously handle both speech and music data (i.e., cross-domain estimation) without performance degradation. While neural pitch trackers have historically been significantly slower than signal processing based pitch trackers, our estimator implementations approach the speed of state-of-the-art DSP-based pitch estimators on a standard CPU, but with significantly more accurate pitch and periodicity estimation. Our experiments show that an accurate, cross-domain pitch and periodicity estimator written in PyTorch with a hopsize of ten milliseconds can run 11.2x faster than real-time on a Intel i9-9820X 10-core 3.30 GHz CPU or 408x faster than real-time on a NVIDIA GeForce RTX 3090 GPU, without hardware optimization. We release all of our code and models as Pitch-Estimating Neural Networks (penn), an open-source, pip-installable Python module for training, evaluating, and performing inference with pitch- and periodicity-estimating neural networks. The code for penn is available at https://github.com/interactiveaudiolab/penn.


title: The Atomistic Green's Function method for acoustic and elastic wave-scattering problems

abstract: In this paper, we present a powerful method (Atomistic Green's Function, AGF) for calculating the effective Hamiltonian of acoustic and elastic wave-scatterers. The ability to calculate the effective Hamiltonian allows for the study of scattering problems in infinite systems without the introduction of any artificial truncating boundaries such as perfectly matched layers or Dirichlet to Neumann (DtN) maps. Furthermore, the AGF formalism also allows for the efficient calculation of the Green's function of the scatterer as well as all relevant scattering metrics including reflection and transmission ratios. The formalism presented here is especially suited to scattering problems involving waveguides, phononic crystals, metamaterials, and metasurfaces. We show the application of the method to three scattering problems: scattering from a slab (1D), scattering from a finite phononic crystal (1D), and scattering from defects in a waveguide (2D).


title: TemporAI: Facilitating Machine Learning Innovation in Time Domain Tasks for Medicine

abstract: TemporAI is an open source Python software library for machine learning (ML) tasks involving data with a time component, focused on medicine and healthcare use cases. It supports data in time series, static, and eventmodalities and provides an interface for prediction, causal inference, and time-to-event analysis, as well as common preprocessing utilities and model interpretability methods. The library aims to facilitate innovation in the medical ML space by offering a standardized temporal setting toolkit for model development, prototyping and benchmarking, bridging the gaps in the ML research, healthcare professional, medical/pharmacological industry, and data science communities. TemporAI is available on GitHub (https://github.com/vanderschaarlab/temporai) and we welcome community engagement through use, feedback, and code contributions.


title: Effect of interactions on the topological expression for the chiral separation effect

abstract: In the absence of interactions the conductivity of chiral separation effect (CSE) in the system of massless fermions is given by topological expression. Interactions might change the pattern drastically. However, we prove that the CSE conductivity is still given by the topological invariant composed of the Green functions at zero temperature as long as the chiral symmetry is present, and if the renormalized axial current is considered. This allows to predict its appearance with the standard value of conductivity per Dirac fermion $\sigma_{CSE} = \frac{1}{2 \pi^2}$ in quark - gluon matter at $T = 0$ and sufficiently large baryon chemical potential, in the hypothetical phase with restored chiral symmetry and without color superconductivity. This phase may be realized inside the neutron stars. We also argue that the same topological expression for the CSE may be observed in Weyl semimetals, which realize the system of interacting relativistic fermions in solid state systems. In order to estimate the non - perturbative corrections to $\sigma_{CSE}$ within QCD at finite temperatures we apply method of field correlators developed by Yu.A.Simonov. As expected, above the deconfinement crossover the topological expression is approached within the quark - gluon plasma phase, when the quark chemical potential is sufficiently large. However, we observe that this occurs only when quark chemical potential is much larger than the thermal (Debye) mass. This range of parameters appears to be far out of the region accessible at the modern colliders.


title: Arrhenius Crossover Temperature of Glass-Forming Liquids Predicted by an Artificial Neural Network

abstract: The Arrhenius crossover temperature, $T_{A}$, corresponds to a thermodynamic state wherein the atomistic dynamics of a liquid becomes heterogeneous and cooperative; and the activation barrier of diffusion dynamics becomes temperature-dependent at temperatures below $T_{A}$. The theoretical estimation of this temperature is difficult for some types of materials, especially silicates and borates. In these materials, self-diffusion as a function of the temperature $T$ is reproduced by the Arrhenius law, where the activation barrier practically independent on the temperature $T$. The purpose of the present work was to establish the relationship between the Arrhenius crossover temperature $T_{A}$ and the physical properties of liquids directly related to their glass-forming ability. Using a machine learning model, the crossover temperature $T_{A}$ was calculated for silicates, borates, organic compounds and metal melts of various compositions. The empirical values of the glass transition temperature $T_{g}$, the melting temperature $T_{m}$, the ratio of these temperatures $T_{g}/T_{m}$ and the fragility index $m$ were applied as input parameters. It has been established that the temperatures $T_{g}$ and $T_{m}$ are significant parameters, whereas their ratio $T_{g}/T_{m}$ and the fragility index $m$ do not correlate much with the temperature $T_{A}$. An important result of the present work is the analytical equation relating the temperatures $T_{g}$, $T_{m}$ and $T_{A}$, and that, from the algebraic point of view, is the equation for a second-order curved surface. It was shown that this equation allows one to correctly estimate the temperature $T_{A}$ for a large class of materials, regardless of their compositions and glass-forming abilities.


title: Analysis of a spherical free boundary problem modelling granular biofilms

abstract: A free boundary value problem related to the genesis of multispecies granular biofilms is presented. The granular biofilm is modelled as a spherical free boundary domain with radial symmetry. The proposed model is conceived in the framework of continuum mechanics and consists of: nonlinear hyperbolic PDEs which model the advective transport and growth of attached species that constitute the granular biofilm matrix; semilinear elliptic PDEs which govern the diffusive transport and conversion of nutrients; and semilinear elliptic PDEs describing the invasion phenomena and conversion of planktonic cells suspended in the surrounding environment. The evolution of the free boundary is governed by an ODE accounting for microbial growth, attachment, and detachment. By using the method of characteristics, the system of equations constituting the granular biofilm model is converted into an equivalent integral system. Existence and uniqueness of solutions are discussed and proved for the attachment regime using the fixed point theorem.


title: Controlling Steering with Energy-Based Models

abstract: So-called implicit behavioral cloning with energy-based models has shown promising results in robotic manipulation tasks. We tested if the method's advantages carry on to controlling the steering of a real self-driving car with an end-to-end driving model. We performed an extensive comparison of the implicit behavioral cloning approach with explicit baseline approaches, all sharing the same neural network backbone architecture. Baseline explicit models were trained with regression (MAE) loss, classification loss (softmax and cross-entropy on a discretization), or as mixture density networks (MDN). While models using the energy-based formulation performed comparably to baseline approaches in terms of safety driver interventions, they had a higher whiteness measure, indicating higher jerk. To alleviate this, we show two methods that can be used to improve the smoothness of steering. We confirmed that energy-based models handle multimodalities slightly better than simple regression, but this did not translate to significantly better driving ability. We argue that the steering-only road-following task has too few multimodalities to benefit from energy-based models. This shows that applying implicit behavioral cloning to real-world tasks can be challenging, and further investigation is needed to bring out the theoretical advantages of energy-based models.


title: Hypercyclic Operators on Hilbert C*-modules

abstract: In this paper, we characterize hypercyclic generalized bilateral weighted shift operators on the standard Hilbert module over the C*-algebra of compact operators on the separable Hilbert space. Moreover, we give necessary and sufficient conditions for these operators to be chaotic and we provide concrete examples. In addition, we characterize a class of hypercyclic operators on non-unital C*-algebras and we provide concrete examples.


title: Foreword to Understanding Quantum Raffles, by Michael Janas, Michael E. Cuffaro, Michel Janssen

abstract: Foreword to Michael Janas, Michael E. Cuffaro, Michel Janssen, Understanding Quantum Raffles. Quantum Mechanics on an Informational Approach: Structure and Theory (Boston Studies in the Philosophy and History of Science, 340) (Springer, 2022).


title: On the semifree resolutions of DG algebras over the enveloping DG algebras

abstract: The goal of this paper is to construct a semifree resolution for a non-negatively graded strongly commutative DG algebra $B$ over the enveloping DG algebra $B\otimes_AB$, where $A\subseteq B$ is a DG subalgebra and $B$ is semifree over $A$. Our construction of such a semifree resolution uses the notions of reduced bar resolution and tensor algebra of the shift of the diagonal ideal.


title: Content of muons in extensive air showers measured by Yakutsk array

abstract: Lateral distribution of muons in extensive air showers registered at the Yakutsk array was investigated. The analysis covers two periods of observation: before 2018 and after 2020, when the revision of muon detectors with 1-GeV threshold was complete. Measured values of muon density are compared to computational results obtained within the framework of two hadron interaction models. Within the energy domain above $10^{18}$ eV the best agreement is observed for proton composition primary cosmic rays.


title: Methods and Tools for Monitoring Driver's Behavior

abstract: In-vehicle sensing technology has gained tremendous attention due to its ability to support major technological developments, such as connected vehicles and self-driving cars. In-vehicle sensing data are invaluable and important data sources for traffic management systems. In this paper we propose an innovative architecture of unobtrusive in-vehicle sensors and present methods and tools that are used to measure the behavior of drivers. The proposed architecture including methods and tools are used in our NIH project to monitor and identify older drivers with early dementia


title: An upper bound on the inhomogeneous approximation constants

abstract: For an irrational real $\alpha$ and $\gamma\not \in \mathbb Z + \mathbb Z\alpha$ it is well known that $$ \liminf_{|n|\rightarrow \infty} |n| ||n\alpha -\gamma || \leq \frac{1}{4}. $$ If the partial quotients, $a_i,$ in the negative `round-up' continued fraction expansion of $\alpha$ have $R:=\liminf_{i\rightarrow \infty}a_i$ odd, then the 1/4 can be replaced by $$ \frac{1}{4}\left(1-\frac{1}{R}\right)\left(1-\frac{1}{R^2}\right), $$ which is optimal. The optimal bound for even $R\geq 4$ was already known.


title: Bilateral Peer-to-Peer Energy Trading via Coalitional Games

abstract: In this paper, we propose a bilateral peer-to-peer (P2P) energy trading scheme under single-contract and multi-contract market setups, both as an assignment game, and a special class of coalitional games. {The proposed market formulation allows for efficient computation of a market equilibrium while keeping the desired economic properties offered by the coalitional games. Furthermore, our market model allows buyers to have heterogeneous preferences (product differentiation) over the energy sellers, which can be economic, social, or environmental. To address the problem of scalability in coalitional games, we design a novel distributed negotiation mechanism that utilizes the geometric structure of the equilibrium solution to improve the convergence speed. Our algorithm enables market participants (prosumers) to reach a consensus on a set of ``stable" and ``fair" bilateral contracts which encourages prosumer participation.} The negotiation process is executed with virtually minimal information requirements on a time-varying communication network that in turn preserves privacy. We use operator-theoretic tools to rigorously prove its convergence. Numerical simulations illustrate the benefits of our negotiation protocol and show that the average execution time of a negotiation step is much faster than the benchmark.


title: Fully complementary higher dimensional partitions

abstract: We introduce a symmetry class for higher dimensional partitions - fully complementary higher dimensional partitions (FCPs) - and prove a formula for their generating function. By studying symmetry classes of FCPs in dimension 2, we define variations of the classical symmetry classes for plane partitions. As a by-product we obtain conjectures for three new symmetry classes of plane partitions and prove that another new symmetry class, namely quasi transpose complementary plane partitions are equinumerous to symmetric plane partitions.


title: Unravelling Ultralow Thermal Conductivity in Double Perovskite Cs2AgBiBr6: Dominant Wave-like Phonon Tunnelling, Strong Quartic Anharmonicity and Lattice Instability

abstract: In this work, we investigate the microscopic mechanisms of anharmonic lattice dynamics and thermal transport in lead-free halide double perovskite Cs2AgBiBr6 from first principles. We combine self-consistent phonon calculations with bubble diagram correction and a unified theory of lattice thermal transport that considers both the particle-like phonon propagation and wave-like tunnelling of phonons. An ultra-low thermal conductivity at room temperature (~0.21 Wm-1K-1) is predicted with weak temperature dependence(~T-0.45), in sharp contrast to the conventional ~T-1 dependence. Particularly, the vibrational properties of Cs2AgBiBr6 are featured by strong anharmonicity and wave-like tunnelling of phonons. Anharmonic phonon renormalization from both the cubic and quartic anharmonicities are found essential in precisely predicting the phase transition temperature in Cs2AgBiBr6 while the negative phonon energy shifts induced by cubic anharmonicity has a significant influence on particle-like phonon propagation. Further, the contribution of the wave-like tunnelling to the total thermal conductivity surpasses that of the particle-like propagation above around 340 K, indicating the breakdown of the phonon gas picture conventionally used in the Peierls-Boltzmann Transport Equation. Importantly, further including four-phonon scatterings is required in achieving the dominance of wave-like tunnelling, as compared to the dominant particle-like propagation channel when considering only three-phonon scatterings. Our work highlights the importance of lattice anharmonicity and wave-like tunnelling of phonons in the thermal transport in lead-free halide double perovskites.


title: Cut-matching Games for Generalized Hypergraph Ratio Cuts

abstract: Hypergraph clustering is a basic algorithmic primitive for analyzing complex datasets and systems characterized by multiway interactions, such as group email conversations, groups of co-purchased retail products, and co-authorship data. This paper presents a practical $O(\log n)$-approximation algorithm for a broad class of hypergraph ratio cut clustering objectives. This includes objectives involving generalized hypergraph cut functions, which allow a user to penalize cut hyperedges differently depending on the number of nodes in each cluster. Our method is a generalization of the cut-matching framework for graph ratio cuts, and relies only on solving maximum s-t flow problems in a special reduced graph. It is significantly faster than existing hypergraph ratio cut algorithms, while also solving a more general problem. In numerical experiments on various types of hypergraphs, we show that it quickly finds ratio cut solutions within a small factor of optimality.


title: Adiabatic elimination in the presence of multiphoton transitions in atoms inside a cavity

abstract: Various approaches have been used in the literature for eliminating nonresonant levels in atomic systems and deriving effective Hamiltonians. Important among these are elimination techniques at the level of probability amplitudes, operator techniques to project the dynamics on to the subspace of resonant levels, Green's function techniques, the James' effective Hamiltonian approach, etc. None of the previous approaches is suitable for deriving effective Hamiltonians in intracavity situations. However, the James' approach does work in the case of only two-photon transitions in a cavity. A generalization of the James' approach works in the case of three-photon transitions in a cavity, but only under Raman-like resonant conditions. Another important approach for adiabatic elimination is based on an adaptation of the Markov approximation well-known in the theory of system-bath interactions. However, this approach has not been shown to work in intracavity situations. In this paper, we present a method of adiabatic elimination for atoms inside cavities in the presence of multiphoton transitions. We work in the Heisenberg picture, and our approach has the advantage that it allows one to derive effective Hamiltonians even when Raman-like resonance conditions do not hold.


title: ProtoSeg: Interpretable Semantic Segmentation with Prototypical Parts

abstract: We introduce ProtoSeg, a novel model for interpretable semantic image segmentation, which constructs its predictions using similar patches from the training set. To achieve accuracy comparable to baseline methods, we adapt the mechanism of prototypical parts and introduce a diversity loss function that increases the variety of prototypes within each class. We show that ProtoSeg discovers semantic concepts, in contrast to standard segmentation models. Experiments conducted on Pascal VOC and Cityscapes datasets confirm the precision and transparency of the presented method.


title: Node Injection for Class-specific Network Poisoning

abstract: Graph Neural Networks (GNNs) are powerful in learning rich network representations that aid the performance of downstream tasks. However, recent studies showed that GNNs are vulnerable to adversarial attacks involving node injection and network perturbation. Among these, node injection attacks are more practical as they don't require manipulation in the existing network and can be performed more realistically. In this paper, we propose a novel problem statement - a class-specific poison attack on graphs in which the attacker aims to misclassify specific nodes in the target class into a different class using node injection. Additionally, nodes are injected in such a way that they camouflage as benign nodes. We propose NICKI, a novel attacking strategy that utilizes an optimization-based approach to sabotage the performance of GNN-based node classifiers. NICKI works in two phases - it first learns the node representation and then generates the features and edges of the injected nodes. Extensive experiments and ablation studies on four benchmark networks show that NICKI is consistently better than four baseline attacking strategies for misclassifying nodes in the target class. We also show that the injected nodes are properly camouflaged as benign, thus making the poisoned graph indistinguishable from its clean version w.r.t various topological properties.


title: Pragmatic Fairness: Developing Policies with Outcome Disparity Control

abstract: We introduce a causal framework for designing optimal policies that satisfy fairness constraints. We take a pragmatic approach asking what we can do with an action space available to us and only with access to historical data. We propose two different fairness constraints: a moderation breaking constraint which aims at blocking moderation paths from the action and sensitive attribute to the outcome, and by that at reducing disparity in outcome levels as much as the provided action space permits; and an equal benefit constraint which aims at distributing gain from the new and maximized policy equally across sensitive attribute levels, and thus at keeping pre-existing preferential treatment in place or avoiding the introduction of new disparity. We introduce practical methods for implementing the constraints and illustrate their uses on experiments with semi-synthetic models.


title: Random Cantor sets and mini-bands in local spectrum of quantum systems

abstract: In this paper we give a physically transparent picture of singular-continuous spectrum in disordered systems which possess a non-ergodic extended phase. We present a simple model of identically and independently distributed level spacing in the spectrum of local density of states and show how a fat tail appears in this distribution at the broad distribution of eigenfunction amplitudes. For the model with a power-law local spacing distribution we derive the correlation function $K(\omega)$ of the local density of states and show that depending on the relation between the eigenfunction fractal dimension $D_{2}$ and the spectral fractal dimension $D_{s}$ encoded in the power-law spacing distribution, a singular continuous spectrum of a random Cantor set or that of an isolated mini-band may appear. In the limit of an infinite number of degrees of freedom the function $K(\omega)$ in the non-ergodic extended phase is singular at $\omega=0$ with the branch-cut singularity for the case of a random Cantor set and with the $\delta$-function singularity for the case of an isolated mini-band. For an absolutely continuous spectrum $K(\omega)$ tends to a finite limit as $\omega\rightarrow 0$. For an arbitrary local spacing distribution function we formulated a criterion of fractality of local spectrum and tested it on simple examples.


title: Online coalitional games for real-time payoff distribution with applications to energy markets

abstract: Motivated by the markets operating on fast time scales, we present a framework for online coalitional games with time-varying coalitional values and propose real-time payoff distribution mechanisms. Specifically, we design two online distributed algorithms to track the Shapley value and the core, the two most widely studied payoff distribution criteria in coalitional game theory. We show that the payoff distribution trajectory resulting from our proposed algorithms converges to a neighborhood of the time-varying solutions. We adopt an operator-theoretic perspective to show the convergence of our algorithms. Numerical simulations of a real-time local electricity market and cooperative energy forecasting market illustrate the performance of our algorithms: {the difference between online payoffs and static payoffs (Shapley and the core) to the participants is little; online algorithms considerably improve the scalability of the mechanism with respect to the number of market participants.


title: Kohn-Sham approximation scheme for an interacting Bose-condensed gas

abstract: The grand canonical density functional theory for inhomogeneous systems of interacting bosons is developed in the effective action approach. The Legendre transform of the generating functional for Green's functions is used to define the effective action as a functional of both the particle density and the order parameter. Expanding the thermal effective action in powers of the Planck constant we obtain a systematic approximation scheme, which practically implements the Kohn-Sham idea: the problem of interacting bosons is reduced to a single-particle system in a fictitious external potential. The Kohn-Sham potential, the density and the order parameter have to be determined self-consistently in a given order approximation.


title: Benefits of Multiobjective Learning in Solar Energy Prediction

abstract: While the space of renewable energy forecasting has received significant attention in the last decade, literature has primarily focused on machine learning models that train on only one objective at a time. A host of classification (and regression) tasks in energy markets lead to highly imbalanced training data. Say, to balance reserves, it is natural for market regulators to have a choice to be more/less averse to false negatives (can lead to poor operating efficiency and costs) than to false positives (can lead to market shortfall). Besides accuracy, other metrics like algorithmic bias, RMBE (in regression problems), inferencing time, and model sparsity are also very crucial. This paper is amongst the firsts in the field of renewable energy forecasting that attempts to present a Pareto frontier of solutions (tradeoffs), that answers the question on handling multiple objectives by means of using the XGBoost model (Gradient Boosted Trees). Our proposed algorithm relies on using a sequence of weighted (uniform meshes) single objective model training routines. Real world data examples from the Amherst (Massachusetts, United States) solar energy prediction panels with both triobjective (focus on accuracy) and biojective (focus on fairness/bias) classification instances are considered. Numerical experiments appear promising and clear advantages over single objective methods are seen by observing the spread and variety of solutions (model configurations).


title: J2102+6015: a potential distant multimessenger?

abstract: We present and briefly discuss results of several studies of the source J2102+6015 with tentatively defined redshift z=4:575 which demonstrates unusual properties in imaging and astrometric VLBI observations. Its properties might be considered as indications on the supermassive black hole binary which can be considered as a so far rare example of a high-redshift source of known electromagnetic and, possibly, predictable gravitational wave emissions.


title: Assertion Inferring Mutants

abstract: Specification inference techniques aim at (automatically) inferring a set of assertions that capture the exhibited software behaviour by generating and filtering assertions through dynamic test executions and mutation testing. Although powerful, such techniques are computationally expensive due to a large number of assertions, test cases and mutated versions that need to be executed. To overcome this issue, we demonstrate that a small subset, i.e., 12.95% of the mutants used by mutation testing tools is sufficient for assertion inference, this subset is significantly different, i.e., 71.59% different from the subsuming mutant set that is frequently cited by mutation testing literature, and can be statically approximated through a learning based method. In particular, we propose AIMS, an approach that selects Assertion Inferring Mutants, i.e., a set of mutants that are well-suited for assertion inference, with 0.58 MCC, 0.79 Precision, and 0.49 Recall. We evaluate AIMS on 46 programs and demonstrate that it has comparable inference capabilities with full mutation analysis (misses 12.49% of assertions) while significantly limiting execution cost (runs 46.29 times faster). A comparison with randomly selected sets of mutants, shows the superiority of AIMS by inferring 36% more assertions while requiring approximately equal amount of execution time. We also show that AIMS 's inferring capabilities are almost complete as it infers 96.15% of ground truth assertions, (i.e., a complete set of assertions that were manually constructed) while Random Mutant Selection infers 19.23% of them. More importantly, AIMS enables assertion inference techniques to scale on subjects where full mutation testing is prohibitively expensive and Random Mutant Selection does not lead to any assertion.


title: MRAC with Memory for Switched Linear Systems

abstract: This work proposes a switched model reference adaptive control (S-MRAC) architecture for a multi-input multi-output (MIMO) switched linear system with memory for enhanced learning. A salient feature of the proposed method that separates it from most previous results is the use of memory that store the estimator states at switching and facilitate parameter learning during both active and inactive phases of a subsystem, thereby improving the tracking performance of the overall switched system. Specifically, the learning experience from the previous active duration of a subsystem is retained in the memory and reused when the subsystem is inactive and when the subsystem becomes active again. Parameter convergence is shown based on an intermittent initial excitation (IIE), which is significantly relaxed than the classical persistence of excitation (PE) condition. A common Lyapunov function is considered to ensure closed-loop stability with S-MRAC. Further under IIE, the exponential stability of tracking and parameter estimation error dynamics are guaranteed.


title: Classification of Connected Shelves

abstract: We investigate finite right-distributive binary algebraic structures called shelves. We first use symbolic computations with Python to classify (up to isomorphism) all connected shelves with order less than six. We explore the group structure generated by the rows of \textit{latin} shelves. We also define two-variable shelf polynomial by analogy with the quandle polynomial and then state a conjecture about connected idempotent shelves.


title: On the Cauchy Integral and Jump Decomposition

abstract: Following "Boundary Value Problems" by Gakhov, we present basic details of the Cauchy Type Integral and its Jump Decomposition. We also contextualize its place and importance in Geometric Function Theory, and efforts to define these integrals over Quasicircles. Finally, we briefly touch on Faber series in relation to the Jump Problem following the work of H. Tietz.


title: Context-Aware Differential Privacy for Language Modeling

abstract: The remarkable ability of language models (LMs) has also brought challenges at the interface of AI and security. A critical challenge pertains to how much information these models retain and leak about the training data. This is particularly urgent as the typical development of LMs relies on huge, often highly sensitive data, such as emails and chat logs. To contrast this shortcoming, this paper introduces Context-Aware Differentially Private Language Model (CADP-LM) , a privacy-preserving LM framework that relies on two key insights: First, it utilizes the notion of \emph{context} to define and audit the potentially sensitive information. Second, it adopts the notion of Differential Privacy to protect sensitive information and characterize the privacy leakage. A unique characteristic of CADP-LM is its ability to target the protection of sensitive sentences and contexts only, providing a highly accurate private model. Experiments on a variety of datasets and settings demonstrate these strengths of CADP-LM.


title: Predicting Visit Cost of Obstructive Sleep Apnea using Electronic Healthcare Records with Transformer

abstract: Background: Obstructive sleep apnea (OSA) is growing increasingly prevalent in many countries as obesity rises. Sufficient, effective treatment of OSA entails high social and financial costs for healthcare. Objective: For treatment purposes, predicting OSA patients' visit expenses for the coming year is crucial. Reliable estimates enable healthcare decision-makers to perform careful fiscal management and budget well for effective distribution of resources to hospitals. The challenges created by scarcity of high-quality patient data are exacerbated by the fact that just a third of those data from OSA patients can be used to train analytics models: only OSA patients with more than 365 days of follow-up are relevant for predicting a year's expenditures. Methods and procedures: The authors propose a method applying two Transformer models, one for augmenting the input via data from shorter visit histories and the other predicting the costs by considering both the material thus enriched and cases with more than a year's follow-up. Results: The two-model solution permits putting the limited body of OSA patient data to productive use. Relative to a single-Transformer solution using only a third of the high-quality patient data, the solution with two models improved the prediction performance's $R^{2}$ from 88.8% to 97.5%. Even using baseline models with the model-augmented data improved the $R^{2}$ considerably, from 61.6% to 81.9%. Conclusion: The proposed method makes prediction with the most of the available high-quality data by carefully exploiting details, which are not directly relevant for answering the question of the next year's likely expenditure.


title: Shot-down stable processes

abstract: The shot-down process is a strong Markov process which is annihilated, or shot down, when jumping over or to the complement of a given open subset of a vector space. Due to specific features of the shot-down time, such processes suggest new type of boundary conditions for nonlocal differential equations. In this work we construct the shot-down process for the fractional Laplacian in Euclidean space. For smooth bounded sets $D$, we study its transition density and characterize Dirichlet form. We show that the corresponding Green function is comparable to that of the fractional Laplacian with Dirichlet conditions on $D$. However, for nonconvex $D$, the transition density of the shot-down stable process is incomparable with the Dirichlet heat kernel of the fractional Laplacian for $D$. Furthermore, Harnack inequality in general fails for harmonic functions of the shot-down process.


title: CancerUniT: Towards a Single Unified Model for Effective Detection, Segmentation, and Diagnosis of Eight Major Cancers Using a Large Collection of CT Scans

abstract: Human readers or radiologists routinely perform full-body multi-organ multi-disease detection and diagnosis in clinical practice, while most medical AI systems are built to focus on single organs with a narrow list of a few diseases. This might severely limit AI's clinical adoption. A certain number of AI models need to be assembled non-trivially to match the diagnostic process of a human reading a CT scan. In this paper, we construct a Unified Tumor Transformer (CancerUniT) model to jointly detect tumor existence & location and diagnose tumor characteristics for eight major cancers in CT scans. CancerUniT is a query-based Mask Transformer model with the output of multi-tumor prediction. We decouple the object queries into organ queries, tumor detection queries and tumor diagnosis queries, and further establish hierarchical relationships among the three groups. This clinically-inspired architecture effectively assists inter- and intra-organ representation learning of tumors and facilitates the resolution of these complex, anatomically related multi-organ cancer image reading tasks. CancerUniT is trained end-to-end using a curated large-scale CT images of 10,042 patients including eight major types of cancers and occurring non-cancer tumors (all are pathology-confirmed with 3D tumor masks annotated by radiologists). On the test set of 631 patients, CancerUniT has demonstrated strong performance under a set of clinically relevant evaluation metrics, substantially outperforming both multi-disease methods and an assembly of eight single-organ expert models in tumor detection, segmentation, and diagnosis. This moves one step closer towards a universal high performance cancer screening tool.


title: Zero-shot causal learning

abstract: Predicting how different interventions will causally affect a specific individual is important in a variety of domains such as personalized medicine, public policy, and online marketing. There are a large number of methods to predict the effect of an existing intervention based on historical data from individuals who received it. However, in many settings it is important to predict the effects of novel interventions (e.g., a newly invented drug), which these methods do not address. Here, we consider zero-shot causal learning: predicting the personalized effects of a novel intervention. We propose CaML, a causal meta-learning framework which formulates the personalized prediction of each intervention's effect as a task. CaML trains a single meta-model across thousands of tasks, each constructed by sampling an intervention, its recipients, and its nonrecipients. By leveraging both intervention information (e.g., a drug's attributes) and individual features~(e.g., a patient's history), CaML is able to predict the personalized effects of novel interventions that do not exist at the time of training. Experimental results on real world datasets in large-scale medical claims and cell-line perturbations demonstrate the effectiveness of our approach. Most strikingly, \method's zero-shot predictions outperform even strong baselines trained directly on data from the test interventions.


title: ACL-Fig: A Dataset for Scientific Figure Classification

abstract: Most existing large-scale academic search engines are built to retrieve text-based information. However, there are no large-scale retrieval services for scientific figures and tables. One challenge for such services is understanding scientific figures' semantics, such as their types and purposes. A key obstacle is the need for datasets containing annotated scientific figures and tables, which can then be used for classification, question-answering, and auto-captioning. Here, we develop a pipeline that extracts figures and tables from the scientific literature and a deep-learning-based framework that classifies scientific figures using visual features. Using this pipeline, we built the first large-scale automatically annotated corpus, ACL-Fig, consisting of 112,052 scientific figures extracted from ~56K research papers in the ACL Anthology. The ACL-Fig-Pilot dataset contains 1,671 manually labeled scientific figures belonging to 19 categories. The dataset is accessible at https://huggingface.co/datasets/citeseerx/ACL-fig under a CC BY-NC license.


title: Machine-learning-informed parameter estimation improves the reliability of spinal cord diffusion MRI

abstract: Purpose: We address the challenge of inaccurate parameter estimation in diffusion MRI when the signal-to-noise ratio (SNR) is very low, as in the spinal cord. The accuracy of conventional maximum-likelihood estimation (MLE) depends highly on initialisation. Unfavourable choices could result in suboptimal parameter estimates. Current methods to address this issue, such as grid search (GS) can increase computation time substantially. Methods: We propose a machine learning (ML) informed MLE approach that combines conventional MLE with ML approaches synergistically. ML-based methods have been developed recently to improve the speed and precision of parameter estimation. However, they can generate high systematic bias in estimated parameters when SNR is low. In the proposed ML-MLE approach, an artificial neural network model is trained to provide sensible initialisation for MLE efficiently, with the final solution determined by MLE, avoiding biases typically affecting pure ML estimations. Results: Using parameter estimation of neurite orientation dispersion and density imaging as an example, simulation and in vivo experiments suggest that the ML-MLE method can reduce outlier estimates from conventional MLE in white matter voxels affected by CSF contamination. It also accelerates computation compared to GS-MLE. Conclusion: The ML-MLE method can improve the reliability of parameter estimation with reduced computation time compared to GS-MLE, making it a practical tool for diffusion dataset with low SNR.


title: Quantifying coherence with principal diagonal elements of density matrix

abstract: Being the key resource in quantum physics, the proper quantification of coherence is of utmost importance. Amid complex-looking functionals in quantifying coherence, we set forth a simple and easy-to-evaluate approach: Principal diagonal difference of coherence (C_PDD), which we prove to be non-negative, self-normalized, and monotonic (under any incoherent operation). To validate this theory, we thought of a fictitious two-qubit system (both interacting and non-interacting) and, through the laser pulse-system interaction (semi-classical approach), compare the coherence evolution of C_PDD with the relative entropy of coherence (C_(r.e)) and l_1-norm of coherence (C_(l_1 )), in a pure-state regime. The numerical results show that the response of C_PDD is better than the other two quantifiers. To the best of our knowledge, this letter is the first to show that a set of density-matrix diagonal elements carries complete information on the coherence (or superposition) of any pure quantum state.


title: Low Energy Electronic Recoils and Single Electron Detection with a Liquid Xenon Proportional Scintillation Counter

abstract: Liquid xenon (LXe) is a well-studied detector medium to search for rare events in dark matter and neutrino physics. Two-phase xenon time projection chambers (TPCs) can detect electronic and nuclear recoils with energy down to kilo-electron volts (keV). In this paper, we characterize the response of a single-phase liquid xenon proportional scintillation counter (LXePSC), which produces electroluminescence directly in the liquid, to detect electronic recoils at low energies. Our design uses a thin (10 - 25 $\mu$m diameter), central anode wire in a cylindrical LXe target where ionization electrons, created from radiation particles, drift radially towards the anode, and electroluminescence is produced. Both the primary scintillation (S1) and electroluminescence (S2) are detected by photomultiplier tubes (PMTs) surrounding the LXe target. Up to 17 photons are produced per electron, obtained with a 10 $\mu$m diameter anode wire, allowing for the highly efficient detection of electronic recoils from beta decays of a tritium source down to roughly 1 keV. Single electrons, from photo-emission of the cathode wires, are observed at a gain of 1.8 photoelectrons (PE) per electron. The delayed signals following the S2 signals are dominated by single-photon-like hits, without evidence for electron signals observed in the two-phase xenon TPCs. We discuss the potential application of such a LXePSC for reactor neutrino detection via Coherent Elastic Neutrino Nucleus Scattering (CE$\nu$NS).


title: Theoretical investigations of propyl-cyanide formation in gas phase and on ice mantles

abstract: Propyl cyanide (PrCN) (C3H7CN) with both linear and branched isomers is ubiquitous in interstellar space and is important for astrochemistry as it is one of the most complex molecules found to date in the interstellar medium. Furthermore, it is the only one observed species to share the branched atomic backbone of amino acids, some of the building blocks of life. Radical-radical chemical reactions are examined in detail using density functional theory, second order M{\phi}ller Plesset perturbation theory, coupled cluster methods, and the energy resolved master equation formalism to compute the rate constants in the low pressure limit prevalent in the ISM. Quantum chemical studies are reported for the formation of propyl-cyanide (n-PrCN) and its branched isomer (iso-PrCN) from the gas phase association and surface reactions of radicals on a 34-water model ice cluster. We identify two and three paths for the formation of iso-PrCN, and n-PrCN respectively. The reaction mechanism involves the following radicals association: CH3CHCH3+CN, CH3+CH3CHCN for iso-PrCN formation and CH3CH2+CH2CN, CH3+CH2CH2CN, CN+CH3CH2CH2 leading to n-PrCN formation. We employ the M062X/6-311++G(d,p) DFT functional and MP2/aug-cc-pVTZ for reactions on the ice model, and gas phase respectively to optimize the structures, compute minimum energy paths and zero-point vibrational energies of all reaction mechanisms. In gas phase, the energetics of the five reactions are also calculated using the explicitly correlated cluster ab initio methods (CCSD(T)-F12). All reaction paths are exoergic and barrier-less in gas phase and on the ice-model suggesting that the formation of iso-PrCN and n-PrCN is efficient on the water-ice model adopted in this paper. The gas phase formation of iso-PrCN and n-PrCN however requires a third body or spontaneous emission of a photon in order to stabilize the molecules.


title: The Banach Algebra $L^{1}(G)$ and Tame Functionals

abstract: We give a partial answer to a question due to M. Megrelishvili, and show that for a locally compact group $G$ we have $\operatorname{Tame}(L^{1}(G))\subseteq \operatorname{Tame}(G)$, which means that every tame functional over $L^{1}(G)$ is also tame as a function over $G$. Similarly, for the case of Asplund functionals: $\mathrm{Asp}(L^{1}(G))\subseteq \mathrm{Asp}(G)$. Next we show that for some large class containing weak-star saturated bornologies, being "small" as a function and as a functional are the same. Thus, we reaffirm a well-known, similar result which states that $\mathrm{WAP}(G) = \mathrm{WAP}(L^{1}(G))$. This is done by using the framework of bornological classes, new results on the relation between tame and co-tame subsets, and a result due to A. T. Lau.