title: Perturbation theory with quantum signal processing

abstract: Perturbation theory is an important technique for reducing computational cost and providing physical insights in simulating quantum systems with classical computers. Here, we provide a quantum algorithm to obtain perturbative energies on quantum computers. The benefit of using quantum computers is that we can start the perturbation from a Hamiltonian that is classically hard to solve. The proposed algorithm uses quantum signal processing (QSP) to achieve this goal. Along with the perturbation theory, we construct a technique for ground state preparation with detailed computational cost analysis, which can be of independent interest. We also estimate a rough computational cost of the algorithm for simple chemical systems such as water clusters and polyacene molecules. To the best of our knowledge, this is the first of such estimates for practical applications of QSP. Unfortunately, we find that the proposed algorithm, at least in its current form, does not exhibit practical numbers despite of the efficiency of QSP compared to conventional quantum algorithms. However, perturbation theory itself is an attractive direction to explore because of its physical interpretability; it provides us insights about what interaction gives an important contribution to the properties of systems. This is in sharp contrast to the conventional approaches based on the quantum phase estimation algorithm, where we can only obtain values of energy. From this aspect, this work is a first step towards ``explainable'' quantum simulation on fault-tolerant quantum computers.


title: To Improve Is to Change: Towards Improving Mood Prediction by Learning Changes in Emotion

abstract: Although the terms mood and emotion are closely related and often used interchangeably, they are distinguished based on their duration, intensity and attribution. To date, hardly any computational models have (a) examined mood recognition, and (b) modelled the interplay between mood and emotional state in their analysis. In this paper, as a first step towards mood prediction, we propose a framework that utilises both dominant emotion (or mood) labels, and emotional change labels on the AFEW-VA database. Experiments evaluating unimodal (trained only using mood labels) and multimodal (trained with both mood and emotion change labels) convolutional neural networks confirm that incorporating emotional change information in the network training process can significantly improve the mood prediction performance, thus highlighting the importance of modelling emotion and mood simultaneously for improved performance in affective state recognition.


title: Complexity-Based Prompting for Multi-Step Reasoning

abstract: We study the task of prompting large-scale language models to perform multi-step reasoning. Existing work shows that when prompted with a chain of thoughts (CoT), sequences of short sentences describing intermediate reasoning steps towards a final answer, large language models can generate new reasoning chains and predict answers for new inputs. A central question is which reasoning examples make the most effective prompts. In this work, we propose complexity-based prompting, a simple and effective example selection scheme for multi-step reasoning. We show that prompts with higher reasoning complexity, i.e., chains with more reasoning steps, achieve substantially better performance on multi-step reasoning tasks over strong baselines. We further extend our complexity-based criteria from prompting (selecting inputs) to decoding (selecting outputs), where we sample multiple reasoning chains from the model, then choose the majority of generated answers from complex reasoning chains (over simple chains). When used to prompt GPT-3 and Codex, our approach substantially improves multi-step reasoning accuracy and achieves new state-of-the-art (SOTA) performance on three math benchmarks (GSM8K, MultiArith, and MathQA) and two BigBenchHard tasks (Date Understanding and Penguins), with an average +5.3 and up to +18 accuracy improvements. Compared with existing example selection schemes like manual tuning or retrieval-based selection, selection based on reasoning complexity is intuitive, easy to implement, and annotation-efficient. Further results demonstrate the robustness of performance gains from complex prompts under format perturbation and distribution shift.


title: Efficient acoustic feature transformation in mismatched environments using a Guided-GAN

abstract: We propose a new framework to improve automatic speech recognition (ASR) systems in resource-scarce environments using a generative adversarial network (GAN) operating on acoustic input features. The GAN is used to enhance the features of mismatched data prior to decoding, or can optionally be used to fine-tune the acoustic model. We achieve improvements that are comparable to multi-style training (MTR), but at a lower computational cost. With less than one hour of data, an ASR system trained on good quality data, and evaluated on mismatched audio is improved by between 11.5% and 19.7% relative word error rate (WER). Experiments demonstrate that the framework can be very useful in under-resourced environments where training data and computational resources are limited. The GAN does not require parallel training data, because it utilises a baseline acoustic model to provide an additional loss term that guides the generator to create acoustic features that are better classified by the baseline.


title: GenDexGrasp: Generalizable Dexterous Grasping

abstract: Generating dexterous grasping has been a long-standing and challenging robotic task. Despite recent progress, existing methods primarily suffer from two issues. First, most prior arts focus on a specific type of robot hand, lacking the generalizable capability of handling unseen ones. Second, prior arts oftentimes fail to rapidly generate diverse grasps with a high success rate. To jointly tackle these challenges with a unified solution, we propose GenDexGrasp, a novel hand-agnostic grasping algorithm for generalizable grasping. GenDexGrasp is trained on our proposed large-scale multi-hand grasping dataset MultiDex synthesized with force closure optimization. By leveraging the contact map as a hand-agnostic intermediate representation, GenDexGrasp efficiently generates diverse and plausible grasping poses with a high success rate and can transfer among diverse multi-fingered robotic hands. Compared with previous methods, GenDexGrasp achieves a three-way trade-off among success rate, inference speed, and diversity. Code is available at https://github.com/tengyu-liu/GenDexGrasp.


title: Data-Driven Convex Approach to Off-road Navigation via Linear Transfer Operators

abstract: We consider the problem of optimal navigation control design for navigation on off-road terrain. We use traversability measure to characterize the degree of difficulty of navigation on the off-road terrain. The traversability measure captures the property of terrain essential for navigation, such as elevation map, terrain roughness, slope, and terrain texture. The terrain with the presence or absence of obstacles becomes a particular case of the proposed traversability measure. We provide a convex formulation to the off-road navigation problem by lifting the problem to the density space using the linear Perron-Frobenius (P-F) operator. The convex formulation leads to an infinite-dimensional optimal navigation problem for control synthesis. The finite-dimensional approximation of the infinite-dimensional convex problem is constructed using data. We use a computational framework involving the Koopman operator and the duality between the Koopman and P-F operator for the data-driven approximation. This makes our proposed approach data-driven and can be applied in cases where an explicit system model is unavailable. Finally, we demonstrate the application of the developed framework for the navigation of vehicle dynamics with Dubin's car model.


title: Inattentive in social, active in mind: VR-based design intervention for imagining desirable possibilities in the public space

abstract: The metro as a form of public transportation is an important urban infrastructure that takes a large population from place A to B every day. To achieve that, it is primarily designed for extreme functionality and efficiency. However, in terms of experiential aesthetics, the metro is seldom people s favourite place. When this modern infrastructure succeeds in serving urban mobility with high performance and efficiency, passengers seem to want more than the guaranteed functional performance. Recently, with the emergence of VR technologies, increasing efforts from design and HCI communities look at the value of VR technology in enhancing commuting experiences, bringing new possibilities of interaction and activities, and potentially transforming social public spaces. This study investigates how and why VR technology could be integrated with a metro ride. We experimented with ten passengers by showing them three 360 videos during their metro ride. The results show the narrative driven scene is most desirable. Despite wearing a VR headset might cause anxiety, our findings indicate a high level of acceptance towards VR experiences based on the finding that it does not challenge the normative behaviours of being a passenger inattentive in social, active in mind and further can enhance the experience. As the takeaway, we propose three strategies of VR content tailored for the metro context in which passengers would find a role participating in the virtual scene and turn the scene to one s own story, and at the same time, maintain physically constrained.


title: Unpacking Cultural Perceptions of Future Elder Care through Design Fiction

abstract: We present a case using Design Fiction to unpack cultural perceptions of future elder care rooted in the Asian context of Singapore. We created two design fictions, addressing the tensions between filial piety and automated care and the controversy of integrating elder care facilities into residential communities. The design fictions took the visual forms of a shopping web page and a petition site and the public were invited to make fictional decisions. Received in total 109 responses, we identify the key tensions and value conflicts and illustrate them through visual narratives. Further, we propose the Asian perspective of positioning relationships as the protagonist in creating elder care design fiction.


title: Statistical Efficiency of Score Matching: The View from Isoperimetry

abstract: Deep generative models parametrized up to a normalizing constant (e.g. energy-based models) are difficult to train by maximizing the likelihood of the data because the likelihood and/or gradients thereof cannot be explicitly or efficiently written down. Score matching is a training method, whereby instead of fitting the likelihood $\log p(x)$ for the training data, we instead fit the score function $\nabla_x \log p(x)$ -- obviating the need to evaluate the partition function. Though this estimator is known to be consistent, its unclear whether (and when) its statistical efficiency is comparable to that of maximum likelihood -- which is known to be (asymptotically) optimal. We initiate this line of inquiry in this paper, and show a tight connection between statistical efficiency of score matching and the isoperimetric properties of the distribution being estimated -- i.e. the Poincar\'e, log-Sobolev and isoperimetric constant -- quantities which govern the mixing time of Markov processes like Langevin dynamics. Roughly, we show that the score matching estimator is statistically comparable to the maximum likelihood when the distribution has a small isoperimetric constant. Conversely, if the distribution has a large isoperimetric constant -- even for simple families of distributions like exponential families with rich enough sufficient statistics -- score matching will be substantially less efficient than maximum likelihood. We suitably formalize these results both in the finite sample regime, and in the asymptotic regime. Finally, we identify a direct parallel in the discrete setting, where we connect the statistical properties of pseudolikelihood estimation with approximate tensorization of entropy and the Glauber dynamics.


title: Privacy-Preserving Feature Coding for Machines

abstract: Automated machine vision pipelines do not need the exact visual content to perform their tasks. Therefore, there is a potential to remove private information from the data without significantly affecting the machine vision accuracy. We present a novel method to create a privacy-preserving latent representation of an image that could be used by a downstream machine vision model. This latent representation is constructed using adversarial training to prevent accurate reconstruction of the input while preserving the task accuracy. Specifically, we split a Deep Neural Network (DNN) model and insert an autoencoder whose purpose is to both reduce the dimensionality as well as remove information relevant to input reconstruction while minimizing the impact on task accuracy. Our results show that input reconstruction ability can be reduced by about 0.8 dB at the equivalent task accuracy, with degradation concentrated near the edges, which is important for privacy. At the same time, 30% bit savings are achieved compared to coding the features directly.


title: Learning from the Dark: Boosting Graph Convolutional Neural Networks with Diverse Negative Samples

abstract: Graph Convolutional Neural Networks (GCNs) has been generally accepted to be an effective tool for node representations learning. An interesting way to understand GCNs is to think of them as a message passing mechanism where each node updates its representation by accepting information from its neighbours (also known as positive samples). However, beyond these neighbouring nodes, graphs have a large, dark, all-but forgotten world in which we find the non-neighbouring nodes (negative samples). In this paper, we show that this great dark world holds a substantial amount of information that might be useful for representation learning. Most specifically, it can provide negative information about the node representations. Our overall idea is to select appropriate negative samples for each node and incorporate the negative information contained in these samples into the representation updates. Moreover, we show that the process of selecting the negative samples is not trivial. Our theme therefore begins by describing the criteria for a good negative sample, followed by a determinantal point process algorithm for efficiently obtaining such samples. A GCN, boosted by diverse negative samples, then jointly considers the positive and negative information when passing messages. Experimental evaluations show that this idea not only improves the overall performance of standard representation learning but also significantly alleviates over-smoothing problems.


title: Deep Spatial Domain Generalization

abstract: Spatial autocorrelation and spatial heterogeneity widely exist in spatial data, which make the traditional machine learning model perform badly. Spatial domain generalization is a spatial extension of domain generalization, which can generalize to unseen spatial domains in continuous 2D space. Specifically, it learns a model under varying data distributions that generalizes to unseen domains. Although tremendous success has been achieved in domain generalization, there exist very few works on spatial domain generalization. The advancement of this area is challenged by: 1) Difficulty in characterizing spatial heterogeneity, and 2) Difficulty in obtaining predictive models for unseen locations without training data. To address these challenges, this paper proposes a generic framework for spatial domain generalization. Specifically, We develop the spatial interpolation graph neural network that handles spatial data as a graph and learns the spatial embedding on each node and their relationships. The spatial interpolation graph neural network infers the spatial embedding of an unseen location during the test phase. Then the spatial embedding of the target location is used to decode the parameters of the downstream-task model directly on the target location. Finally, extensive experiments on thirteen real-world datasets demonstrate the proposed method's strength.


title: Tame automorphism groups of polynomial rings with property (T) and infinitely many alternating group quotients

abstract: We construct new families of groups with property (T) and infinitely many alternating group quotients. One of those consists of subgroups of $\mathrm{Aut}(\mathbf F_{p}[x_1, \dots, x_n])$ generated by a suitable set of tame automorphisms. Finite quotients are constructed using the natural action of $\mathrm{Aut}(\mathbf F_{p}[x_1, \dots, x_n])$ on the $n$-dimensional affine spaces over finite extensions of $\mathbf F_p$. As a consequence, we obtain explicit presentations of Gromov hyperbolic groups with property (T) and infinitely many alternating group quotients. Our construction also yields an explicit infinite family of expander Cayley graphs of degree $4$ for alternating groups of degree $p^7-1$ for any odd prime $p$.


title: Sentiment Analysis of ESG disclosures on Stock Market

abstract: In this paper, we look at the impact of Environment, Social and Governance related news articles and social media data on the stock market performance. We pick four stocks of companies which are widely known in their domain to understand the complete effect of ESG as the newly opted investment style remains restricted to only the stocks with widespread information. We summarise live data of both twitter tweets and newspaper articles and create a sentiment index using a dictionary technique based on online information for the month of July, 2022. We look at the stock price data for all the four companies and calculate the percentage change in each of them. We also compare the overall sentiment of the company to its percentage change over a specific historical period.


title: Particle momentum variation under interaction with wavepackets of finite spatial width

abstract: The single and collective particle interaction with spatially localized wavepackets is analytically and numerically studied. The role of the finite spatial width of the wavepacket on the momentum and energy variation of particles passing through the wavepacket is investigated. The range of validity of analytical results, based on a perturbative approach, is investigated and clearly defined. Strongly nonlinear effects are shown to qualitatively differentiate the collective particle dynamics, for larger interaction strengths. These effects are manifested through the complex dependency of averaged momentum variations on the initial particle momentum, as shown by dissecting a particle distribution in terms of partitioning the ensemble of particles with respect to their initial momentum. The results provide understanding on the relation between single and collective particle dynamics and the emerging of complexity for weak and strong particle interactions with localized wavepackets.


title: A Dynamic Model for Bus Arrival Time Estimation based on Spatial Patterns using Machine Learning

abstract: The notion of smart cities is being adapted globally to provide a better quality of living. A smart city's smart mobility component focuses on providing smooth and safe commuting for its residents and promotes eco-friendly and sustainable alternatives such as public transit (bus). Among several smart applications, a system that provides up-to-the-minute information like bus arrival, travel duration, schedule, etc., improves the reliability of public transit services. Still, this application needs live information on traffic flow, accidents, events, and the location of the buses. Most cities lack the infrastructure to provide these data. In this context, a bus arrival prediction model is proposed for forecasting the arrival time using limited data sets. The location data of public transit buses and spatial characteristics are used for the study. One of the routes of Tumakuru city service, Tumakuru, India, is selected and divided into two spatial patterns: sections with intersections and sections without intersections. The machine learning model XGBoost is modeled for both spatial patterns individually. A model to dynamically predict bus arrival time is developed using the preceding trip information and the machine learning model to estimate the arrival time at a downstream bus stop. The performance of models is compared based on the R-squared values of the predictions made, and the proposed model established superior results. It is suggested to predict bus arrival in the study area. The proposed model can also be extended to other similar cities with limited traffic-related infrastructure.


title: A remark about time-analyticity of the linear Landau equation with soft potential

abstract: In this note, we study the Cauchy problem of the linear spatially homogeneous Landau equation with soft potentials. We prove that the solution to the Cauchy problem enjoys the analytic regularizing effect of the time variable with an L2 initial datum for positive time. So that the smoothing effect of Cauchy problem for the linear spatially homogeneous Landau equation with soft potentials is similar to the heat equation.


title: ScrollTest: Evaluating Scrolling Speed and Accuracy

abstract: Scrolling is an essential interaction technique enabling users to display previously off-screen content. Existing evaluation models for scrolling are often entangled with the selection of content, e.g., when scrolling on the phone for reading. Furthermore, some evaluation models overlook whether the user knows the target position. We have developed ScrollTest, a general-purpose evaluation tool for scrolling speed and accuracy that avoids the need for selection. We tested it across four dimensions: 11 different scrolling techniques/devices, 5 frame heights, 13 scrolling distances, and 2 scrolling conditions (i.e., with or without knowing the target position). The results show that flicking and two-finger scrolling are the fastest; flicking is also relatively precise for scrolling to targets already onscreen, but pressing arrow buttons on the scrollbar is the most accurate for scrolling to nearby targets. Mathematical models of scrolling are highly linear when the target position is unknown but like Fitts' law when known.


title: A large sample theory for infinitesimal gradient boosting

abstract: Infinitesimal gradient boosting (Dombry and Duchamps, 2021) is defined as the vanishing-learning-rate limit of the popular tree-based gradient boosting algorithm from machine learning. It is characterized as the solution of a nonlinear ordinary differential equation in a infinite-dimensional function space where the infinitesimal boosting operator driving the dynamics depends on the training sample. We consider the asymptotic behavior of the model in the large sample limit and prove its convergence to a deterministic process. This population limit is again characterized by a differential equation that depends on the population distribution. We explore some properties of this population limit: we prove that the dynamics makes the test error decrease and we consider its long time behavior.


title: FedDig: Robust Federated Learning Using Data Digest to Represent Absent Clients

abstract: Federated Learning (FL) is a collaborative learning performed by a moderator that protects data privacy. Existing cross-silo FL solutions seldom address the absence of participating clients during training which can seriously degrade model performances, particularly for unbalanced and non-IID client data. We address this issue by generating secure data digests from the raw data and using them to guide model training at the FL moderator. The proposed FL with data digest (FedDig) framework can tolerate unexpected client absence while preserving data privacy. This is achieved by de-identifying digests by mixing and perturbing the encoded features of the raw data in the feature space. The feature perturbing is performed following the Laplace mechanism of Differential Privacy. We evaluate FedDig on EMNIST, CIFAR-10, and CIFAR-100 datasets. The results consistently outperform three baseline algorithms (FedAvg, FedProx, and FedNova) by large margins in multiple client absence scenarios.


title: A Nontrivial Interplay between Triadic Closure, Preferential, and Anti-Preferential Attachment: New Insights from Online Data

abstract: This paper presents an analysis of a temporal network that describes the social connections of a large-scale (~ 30,000) sample of online social network users, inhabitants of a fixed city. We tested how the main network formation determinants - transitivity, preferential attachment, and social selection - contribute to network evolution. Among other things, we found that opinion social selection does affect tie appearing whereas its impact on tie removing is rather unclear. We report that transitivity displayed the strongest effect on network dynamics. Surprisingly, a closer look revealed an intriguing and complex interplay between the transitivity, preferential attachment, and anti-preferential attachment mechanisms. For a given pair of unconnected nodes, if they have no mutual connections, then the probability of tie creation goes up with the sum of node degrees - that is exactly what the preferential attachment mechanism is assumed to do. Instead, if the nodes have at least one common friend, then the highest probability of tie appearing is achieved if both the nodes have only a few friends - a phenomenon that is called anti-preferential attachment. We attempted to explain this finding by appealing to the notions of social communities and leaders.


title: From lattice to observables: Real and virtual experiments for exploring hot and dense QCD

abstract: Relativistic heavy-ion collisions and the lattice QCD Monte-Carlo simulations are important ``experimental'' tools for investigating the properties of the medium described by QCD under extreme conditions. After briefly examining their characteristics, I pick up the study of the critical points in QCD as an example of the research subjects that these two tools play complementary roles and discuss recent topics that have been achieved with the use of each tool.


title: Heatmap Distribution Matching for Human Pose Estimation

abstract: For tackling the task of 2D human pose estimation, the great majority of the recent methods regard this task as a heatmap estimation problem, and optimize the heatmap prediction using the Gaussian-smoothed heatmap as the optimization objective and using the pixel-wise loss (e.g. MSE) as the loss function. In this paper, we show that optimizing the heatmap prediction in such a way, the model performance of body joint localization, which is the intrinsic objective of this task, may not be consistently improved during the optimization process of the heatmap prediction. To address this problem, from a novel perspective, we propose to formulate the optimization of the heatmap prediction as a distribution matching problem between the predicted heatmap and the dot annotation of the body joint directly. By doing so, our proposed method does not need to construct the Gaussian-smoothed heatmap and can achieve a more consistent model performance improvement during the optimization of the heatmap prediction. We show the effectiveness of our proposed method through extensive experiments on the COCO dataset and the MPII dataset.


title: Squeezed-Light-Enhanced Dispersive Gyroscope based Optical Microcavities

abstract: Optical gyroscope based on the Sagnac effect have excellent potential in the application of high-sensitivity inertial rotation sensors. In this paper, we demonstrate that for an optical resonance gyroscope with normal dispersion, the measurement sensitivity can be increased by two orders of magnitude through coupling into a squeezed vacuum light, which is different from that in the classical situation. When the system is operated under critical anomalous dispersion condition, injecting a squeezed vacuum light allows the measurement sensitivity beyond the corresponding standard quantum limit by five orders of magnitude, with a minimum value of 3.8*10^-5 Hz. This work offers a promising possibility for developing optical gyroscopes that combine high sensitivity with tiny size.


title: Comment on "Absence versus Presence of Dissipative Quantum Phase Transition in Josephson Junctions''

abstract: In a recent Letter [Phys. Rev. Lett. 129, 087001, (2022)], Masuki, Sudo, Oshikawa, and Ashida studied a Josephson junction, with Josephson energy $E_{\rm J}$ and charging energy $E_{\rm C}$, shunted by an ohmic transmission line with conductance $\alpha (2e)^2/h$. Their model includes a realistic high frequency cutoff of order $\alpha E_c$, that is typically smaller than the plasma frequency $W$. The authors present a phase diagram showing surprising features, not anticipated in the established literature [eg. Sch\"on and Zaikin, Phys. Reports 198, 237, (1990)]. For $E_{\rm J}/E_{\rm C}$ above a certain value, they find that the junction remains superconducting for all $\alpha$, while below this value, they find that the insulating phase leads to re-entrant superconductivity at small $\alpha$. In this Comment, we show that their Numerical Renormalization Group (NRG) implementation is uncontrolled, and that there is no evidence for the re-entrant superconductivity in the phase diagram presented in Fig. 1a of PRL 129, 087001.


title: An Embarrassingly Simple Approach for Intellectual Property Rights Protection on Recurrent Neural Networks

abstract: Capitalise on deep learning models, offering Natural Language Processing (NLP) solutions as a part of the Machine Learning as a Service (MLaaS) has generated handsome revenues. At the same time, it is known that the creation of these lucrative deep models is non-trivial. Therefore, protecting these inventions intellectual property rights (IPR) from being abused, stolen and plagiarized is vital. This paper proposes a practical approach for the IPR protection on recurrent neural networks (RNN) without all the bells and whistles of existing IPR solutions. Particularly, we introduce the Gatekeeper concept that resembles the recurrent nature in RNN architecture to embed keys. Also, we design the model training scheme in a way such that the protected RNN model will retain its original performance iff a genuine key is presented. Extensive experiments showed that our protection scheme is robust and effective against ambiguity and removal attacks in both white-box and black-box protection schemes on different RNN variants. Code is available at https://github.com/zhiqin1998/RecurrentIPR


title: Dyck Numbers, I. Successor Function

abstract: Dyck paths are among the most heavily studied Catalan families. In the paper we are dealing with the minimal numbering of Dyck paths, with the resulting numbers, the terms of the OEIS sequence A036991, which we have called Dyck numbers. We consider the successor function on the Dyck numbers, closed formulas are obtained. In particular, the formula for the successor of the Mersenne number is calculated (since OEIS A000225 is a subset of A036991). We have obtained the corresponding algorithm of the Dyck successor function, DS-function, and a Python program has been compiled. At the end of the paper, the size of the A036991 ranges is associated with the terms of OEIS A001405. The corresponding hypothesis is formulated.


title: Electron-phonon coupling and spin fluctuations in the Ising superconductor NbSe$_{2}$

abstract: Ising superconductivity, observed experimentally in NbSe$_{2}$ and similar materials, has generated tremendous interest. Recently, attention was called to the possible role that spin fluctuations (SF) play in this phenomenon, in addition to the dominant electron-phonon coupling (EPC); the possibility of a predominantly-triplet state was discussed and led to a conjecture of viable singlet-triplet Leggett oscillations. However, these hypotheses have not been put to a quantitative test. In this paper, we report first principle calculations of the EPC and also estimate coupling with SF, including full momentum dependence. We find that: (1) EPC is strongly anisotropic, largely coming from the K-K' scattering, and therefore excludes triplet symmetry even as an excited state; (2) superconductivity is substantially weakened by SF, but anisotropy remains as above; and, (3) we do find the possibility of a Leggett mode, not in a singlet-triplet but in an $s_{++}$ - $s_\pm$ channel.


title: Constraints on Cosmological Parameters with a Sample of Type Ia Supernovae from JWST

abstract: We investigate the potential of using a sample of very high-redshift ($2\lesssim z \lesssim6$) (VHZ) Type Ia supernovae (SNe~Ia) attainable by the James Webb Space Telescope (JWST) on constraining cosmological parameters. At such high redshifts, the age of the universe is young enough that the VHZ SNIa sample comprises the very first SNe~Ia of the universe, with progenitors among the very first generation of low mass stars that the universe has made. We show that the VHZ SNe~Ia can be used to disentangle systematic effects due to the luminosity distance evolution with redshifts intrinsic to SNIa standardization. Assuming that the systematic evolution can be described by a linear or logarithmic formula, we found that the coefficients of this dependence can be determined accurately and decoupled from cosmological models. Systematic evolution as large as 0.15 mag and 0.45 mag out to $z=5$ can be robustly separated from popular cosmological models for the linear and logarithmic evolution, respectively. The VHZ SNe~Ia will lay the foundation for quantifying the systematic redshift evolution of SNIa luminosity distance scales. When combined with SNIa surveys at comparatively lower redshifts, the VHZ SNe~Ia allow for a precise measurement of the history of the expansion of the universe from $z\sim 0$ to the epoch approaching reionization.


title: Stochastic optimization of a mixed moving average process for controlling non-Markovian streamflow environments

abstract: We investigated a cost-constrained static ergodic control problem of the variance of measure-valued affine processes and its application in streamflow management. The controlled system is a jump-driven mixed moving average process that generates realistic subexponential autocorrelation functions, and the static nature of the control originates from a realistic observability assumption in the system. The Markovian lift was effectively used to discretize the system into a finite-dimensional process, which is easier to analyze. The resolution of the problem is based on backward Kolmogorov equations and a quadratic solution ansatz. The control problem has a closed-form solution, and the variance has both strict upper and lower bounds, indicating that the variance cannot take an arbitrary value even when it is subject to a high control cost. The correspondence between the discretized system based on the Markovian lift and the original infinite-dimensional one is discussed. Then, a convergent Markovian lift is presented to approximate the infinite-dimensional system. Finally, the control problem was applied to real cases using available data for a river reach. An extended problem subject to an additional constraint on maintaining the flow variability was also analyzed without significantly degrading the tractability of the proposed framework.


title: On the concept of Algebraic Crystallography

abstract: Category Theory provides us with a clear notion of what is an internal structure. This will allow us to focus our attention on a certain type of relationship between context and structure.


title: Modeling Incomplete Conformality during Atomic Layer Deposition in High Aspect Ratio Structures

abstract: Atomic layer deposition allows for precise control over film thickness and conformality. It is a critical enabler of high aspect ratio structures, such as 3D NAND memory, since its self-limiting behavior enables higher conformality than conventional processes. However, as the aspect ratio increases, deviations from complete conformality frequently occur, requiring comprehensive modeling to aid the development of novel technologies. To that end, we present a model for surface coverage during atomic layer deposition where incomplete conformality is present. This model combines existing approaches based on Knudsen diffusion and Langmuir kinetics. Our model expands the state-of-the art by (i) incorporating gas-phase diffusivity through the Bosanquet formula as well as reaction reversibility in the modeling framework first proposed by Yanguas-Gil and Elam, and (ii) being efficiently integrated within level-set topography simulators. The model is manually calibrated to published results of the prototypical atomic layer deposition of Al$_2$O$_3$ from TMA and H$_2$O in lateral high aspect ratio structures. We investigate the temperature dependence of the H$_2$O step, thus extracting an activation energy of $0.178\,\mathrm{eV}$ which is consistent with recent experiments. In the TMA step, we observe increased accuracy from the Bosanquet formula and we reproduce multiple independent experiments with the same parameter set, highlighting that the model parameters effectively capture the reactor conditions.


title: Offline Reinforcement Learning with Differentiable Function Approximation is Provably Efficient

abstract: Offline reinforcement learning, which aims at optimizing sequential decision-making strategies with historical data, has been extensively applied in real-life applications. State-Of-The-Art algorithms usually leverage powerful function approximators (e.g. neural networks) to alleviate the sample complexity hurdle for better empirical performances. Despite the successes, a more systematic understanding of the statistical complexity for function approximation remains lacking. Towards bridging the gap, we take a step by considering offline reinforcement learning with differentiable function class approximation (DFA). This function class naturally incorporates a wide range of models with nonlinear/nonconvex structures. Most importantly, we show offline RL with differentiable function approximation is provably efficient by analyzing the pessimistic fitted Q-learning (PFQL) algorithm, and our results provide the theoretical basis for understanding a variety of practical heuristics that rely on Fitted Q-Iteration style design. In addition, we further improve our guarantee with a tighter instance-dependent characterization. We hope our work could draw interest in studying reinforcement learning with differentiable function approximation beyond the scope of current research.


title: Probing hidden spin-2 mediator of dark matter with NA64e, LDMX, NA64$\mu$ and M$^3$

abstract: The connection between Standard Model (SM) particles and dark matter (DM) can be introduced via hidden spin-2 massive mediator. In the present paper we consider the simplified benchmark link between charged lepton sector of SM and DM particles which are considered to be a hidden Dirac fermions from the dark sector. The regarding couplings are established through the dimension-5 operators involving spin-2 mediator field and the energy-momentum tensors of both SM and DM sectors. We study in detail the implication of this scenario for the lepton fixed-target facilities, such as NA64$e$, LDMX, NA64$\mu$ and M$^3$. In particular, for the specific experiment we discuss in detail the missing-energy signatures of spin-2 boson production followed by its invisible decay into stable DM pairs. Moreover, we derive the expected reaches of these experiments for the projected statistics of the leptons accumulated on the target. We also discuss the implication of both nuclear and atomic form-factor parametrizations for the differential spectra of hidden spin-$2$ boson emission, the total cross-section of its production and the experimental reach of the fixed-fixed target facilities for probing hidden spin-$2$ DM mediator.


title: From Face to Natural Image: Learning Real Degradation for Blind Image Super-Resolution

abstract: How to design proper training pairs is critical for super-resolving real-world low-quality (LQ) images, which suffers from the difficulties in either acquiring paired ground-truth high-quality (HQ) images or synthesizing photo-realistic degraded LQ observations. Recent works mainly focus on modeling the degradation with handcrafted or estimated degradation parameters, which are however incapable to model complicated real-world degradation types, resulting in limited quality improvement. Notably, LQ face images, which may have the same degradation process as natural images, can be robustly restored with photo-realistic textures by exploiting their strong structural priors. This motivates us to use the real-world LQ face images and their restored HQ counterparts to model the complex real-world degradation (namely ReDegNet), and then transfer it to HQ natural images to synthesize their realistic LQ counterparts. By taking these paired HQ-LQ face images as inputs to explicitly predict the degradation-aware and content-independent representations, we could control the degraded image generation, and subsequently transfer these degradation representations from face to natural images to synthesize the degraded LQ natural images. Experiments show that our ReDegNet can well learn the real degradation process from face images. The restoration network trained with our synthetic pairs performs favorably against SOTAs. More importantly, our method provides a new way to handle the real-world complex scenarios by learning their degradation representations from the facial portions, which can be used to significantly improve the quality of non-facial areas. The source code is available at https://github.com/csxmli2016/ReDegNet.


title: Push-Pull: Characterizing the Adversarial Robustness for Audio-Visual Active Speaker Detection

abstract: Audio-visual active speaker detection (AVASD) is well-developed, and now is an indispensable front-end for several multi-modal applications. However, to the best of our knowledge, the adversarial robustness of AVASD models hasn't been investigated, not to mention the effective defense against such attacks. In this paper, we are the first to reveal the vulnerability of AVASD models under audio-only, visual-only, and audio-visual adversarial attacks through extensive experiments. What's more, we also propose a novel audio-visual interaction loss (AVIL) for making attackers difficult to find feasible adversarial examples under an allocated attack budget. The loss aims at pushing the inter-class embeddings to be dispersed, namely non-speech and speech clusters, sufficiently disentangled, and pulling the intra-class embeddings as close as possible to keep them compact. Experimental results show the AVIL outperforms the adversarial training by 33.14 mAP (%) under multi-modal attacks.


title: Lexical semantics enhanced neural word embeddings

abstract: Current breakthroughs in natural language processing have benefited dramatically from neural language models, through which distributional semantics can leverage neural data representations to facilitate downstream applications. Since neural embeddings use context prediction on word co-occurrences to yield dense vectors, they are inevitably prone to capture more semantic association than semantic similarity. To improve vector space models in deriving semantic similarity, we post-process neural word embeddings through deep metric learning, through which we can inject lexical-semantic relations, including syn/antonymy and hypo/hypernymy, into a distributional space. We introduce hierarchy-fitting, a novel semantic specialization approach to modelling semantic similarity nuances inherently stored in the IS-A hierarchies. Hierarchy-fitting attains state-of-the-art results on the common- and rare-word benchmark datasets for deriving semantic similarity from neural word embeddings. It also incorporates an asymmetric distance function to specialize hypernymy's directionality explicitly, through which it significantly improves vanilla embeddings in multiple evaluation tasks of detecting hypernymy and directionality without negative impacts on semantic similarity judgement. The results demonstrate the efficacy of hierarchy-fitting in specializing neural embeddings with semantic relations in late fusion, potentially expanding its applicability to aggregating heterogeneous data and various knowledge resources for learning multimodal semantic spaces.


title: D\'etection de petites cibles par apprentissage profond et crit\`ere a contrario

abstract: Small target detection is an essential yet challenging task in defense applications, since differentiating low-contrast targets from natural textured and noisy environment remains difficult. To better take into account the contextual information, we propose to explore deep learning approaches based on attention mechanisms. Specifically, we propose a customized version of TransUnet including channel attention, which has shown a significant improvement in performance. Moreover, the lack of annotated data induces weak detection precision, leading to many false alarms. We thus explore a contrario methods in order to select meaningful potential targets detected by a weak deep learning training. -- La d\'etection de petites cibles est une probl\'ematique d\'elicate mais essentielle dans le domaine de la d\'efense, notamment lorsqu'il s'agit de diff\'erencier ces cibles d'un fond bruit\'e ou textur\'e, ou lorsqu'elles sont de faible contraste. Pour mieux prendre en compte les informations contextuelles, nous proposons d'explorer diff\'erentes approches de segmentation par apprentissage profond, dont certaines bas\'ees sur les m\'ecanismes d'attention. Nous proposons \'egalement d'inclure un module d'attention par canal au TransUnet, r\'eseau \`a l'\'etat de l'art, ce qui permet d'am\'eliorer significativement les performances. Par ailleurs, le manque de donn\'ees annot\'ees induit une perte en pr\'ecision lors des d\'etections, conduisant \`a de nombreuses fausses alarmes non pertinentes. Nous explorons donc des m\'ethodes a contrario afin de s\'electionner les cibles les plus significatives d\'etect\'ees par un r\'eseau entra\^in\'e avec peu de donn\'ees.


title: CERBERUS: Simple and Effective All-In-One Automotive Perception Model with Multi Task Learning

abstract: Perceiving the surrounding environment is essential for enabling autonomous or assisted driving functionalities. Common tasks in this domain include detecting road users, as well as determining lane boundaries and classifying driving conditions. Over the last few years, a large variety of powerful Deep Learning models have been proposed to address individual tasks of camera-based automotive perception with astonishing performances. However, the limited capabilities of in-vehicle embedded computing platforms cannot cope with the computational effort required to run a heavy model for each individual task. In this work, we present CERBERUS (CEnteR Based End-to-end peRception Using a Single model), a lightweight model that leverages a multitask-learning approach to enable the execution of multiple perception tasks at the cost of a single inference. The code will be made publicly available at https://github.com/cscribano/CERBERUS


title: Fully Transformer Network for Change Detection of Remote Sensing Images

abstract: Recently, change detection (CD) of remote sensing images have achieved great progress with the advances of deep learning. However, current methods generally deliver incomplete CD regions and irregular CD boundaries due to the limited representation ability of the extracted visual features. To relieve these issues, in this work we propose a novel learning framework named Fully Transformer Network (FTN) for remote sensing image CD, which improves the feature extraction from a global view and combines multi-level visual features in a pyramid manner. More specifically, the proposed framework first utilizes the advantages of Transformers in long-range dependency modeling. It can help to learn more discriminative global-level features and obtain complete CD regions. Then, we introduce a pyramid structure to aggregate multi-level visual features from Transformers for feature enhancement. The pyramid structure grafted with a Progressive Attention Module (PAM) can improve the feature representation ability with additional interdependencies through channel attentions. Finally, to better train the framework, we utilize the deeply-supervised learning with multiple boundaryaware loss functions. Extensive experiments demonstrate that our proposed method achieves a new state-of-the-art performance on four public CD benchmarks. For model reproduction, the source code is released at https://github.com/AI-Zhpp/FTN.


title: Reflections on existential types

abstract: Existential types are reconstructed in terms of small reflective subuniverses and dependent sums. The folklore decomposition detailed here gives rise to a particularly simple account of first-class modules as a mode of use of traditional second-class modules in connection with the modal operator induced by a reflective subuniverse, leading to a semantic justification for the rules of first-class modules in languages like OCaml and MoscowML. Additionally, we expose several constructions that give rise to semantic models of ML-style programming languages with both first-class modules and realistic computational effects, culminating in a model that accommodates higher-order first-class recursive modules and higher-order store.


title: Berry curvature, spin Hall effect and nonlinear optical response in moir\'e transition metal dichalcogenide heterobilayers

abstract: Recently, the topological flat bands and spin Hall effect have been experimentally observed in the AB-stacked MoTe$_2$/WSe$_2$ heterostructures. In this work, we systematically study the Berry curvature effects in moir\'{e} transition metal dichalcogenide (TMD) heterobilayers. We point out that the moir\'{e} potential of the remote conduction bands would induce a sizable periodic pseudo-magnetic field (PMF) on the valence band. This periodic PMF creates net Berry curvature flux in each valley of the moir\'{e} Brillouin zone. The combination of the effect of the Berry curvature and the spin-valley locking can induce the spin Hall effect being observed in the experiment. Interestingly, the valley-contrasting Berry curvature distribution generated by the PMF can be probed through shift currents, which are DC currents induced by linearly polarized lights through nonlinear responses. Our work shed lights on the novel quantum phenomena induced by Berry curvatures in moir\'e TMD heterobilayers.


title: An Efficient Workflow for Modelling High-Dimensional Spatial Extremes

abstract: A successful model for high-dimensional spatial extremes should, in principle, be able to describe both weakening extremal dependence at increasing levels and changes in the type of extremal dependence class as a function of the distance between locations. Furthermore, the model should allow for computationally tractable inference using inference methods that efficiently extract information from data and that are robust to model misspecification. In this paper, we demonstrate how to fulfil all these requirements by developing a comprehensive methodological workflow for efficient Bayesian modelling of high-dimensional spatial extremes using the spatial conditional extremes model while performing fast inference with R-INLA. We then propose a post hoc adjustment method that results in more robust inference by properly accounting for possible model misspecification. The developed methodology is applied for modelling extreme hourly precipitation from high-resolution radar data in Norway. Inference is computationally efficient, and the resulting model fit successfully captures the main trends in the extremal dependence structure of the data. Robustifying the model fit by adjusting for possible misspecification further improves model performance.


title: Stochastic gravitational wave background: methods and Implications

abstract: Beyond individually resolvable gravitational wave events such as binary black hole and binary neutron star mergers, the superposition of many more weak signals coming from a multitude of sources is expected to contribute to an overall background, the so-called stochastic gravitational wave background. In this review, we give an overview of possible detection methods in the search for this background and provide a detailed review of the data-analysis techniques, focusing primarily on current Earth-based interferometric gravitational-wave detectors. In addition, various validation techniques aimed at reinforcing the claim of a detection of such a background are discussed as well. We conclude this review by listing some of the astrophysical and cosmological implications resulting from current upper limits on the stochastic background of gravitational waves.


title: Meta-Learning Priors for Safe Bayesian Optimization

abstract: In robotics, optimizing controller parameters under safety constraints is an important challenge. Safe Bayesian optimization (BO) quantifies uncertainty in the objective and constraints to safely guide exploration in such settings. Hand-designing a suitable probabilistic model can be challenging, however. In the presence of unknown safety constraints, it is crucial to choose reliable model hyper-parameters to avoid safety violations. Here, we propose a data-driven approach to this problem by meta-learning priors for safe BO from offline data. We build on a meta-learning algorithm, F-PACOH, capable of providing reliable uncertainty quantification in settings of data scarcity. As core contribution, we develop a novel framework for choosing safety-compliant priors in a data-riven manner via empirical uncertainty metrics and a frontier search algorithm. On benchmark functions and a high-precision motion system, we demonstrate that our meta-learned priors accelerate the convergence of safe BO approaches while maintaining safety.


title: Real-analytic geodesics in the Mabuchi space of K\"ahler metrics and quantization

abstract: We prove the convergence of quantized Bergman geodesics to the Mabuchi geodesics for the initial value problem, in the case of real-analytic initial data and in short time. This partially solves a conjecture of Y. Rubinstein and the last author. We also argue against the existence of a solution to the boundary value problem, generically in real-analytic regularity.


title: Relational program synthesis with numerical reasoning

abstract: Program synthesis approaches struggle to learn programs with numerical values. An especially difficult problem is learning continuous values over multiple examples, such as intervals. To overcome this limitation, we introduce an inductive logic programming approach which combines relational learning with numerical reasoning. Our approach, which we call NUMSYNTH, uses satisfiability modulo theories solvers to efficiently learn programs with numerical values. Our approach can identify numerical values in linear arithmetic fragments, such as real difference logic, and from infinite domains, such as real numbers or integers. Our experiments on four diverse domains, including game playing and program synthesis, show that our approach can (i) learn programs with numerical values from linear arithmetical reasoning, and (ii) outperform existing approaches in terms of predictive accuracies and learning times.


title: Few-Shot Segmentation via Rich Prototype Generation and Recurrent Prediction Enhancement

abstract: Prototype learning and decoder construction are the keys for few-shot segmentation. However, existing methods use only a single prototype generation mode, which can not cope with the intractable problem of objects with various scales. Moreover, the one-way forward propagation adopted by previous methods may cause information dilution from registered features during the decoding process. In this research, we propose a rich prototype generation module (RPGM) and a recurrent prediction enhancement module (RPEM) to reinforce the prototype learning paradigm and build a unified memory-augmented decoder for few-shot segmentation, respectively. Specifically, the RPGM combines superpixel and K-means clustering to generate rich prototype features with complementary scale relationships and adapt the scale gap between support and query images. The RPEM utilizes the recurrent mechanism to design a round-way propagation decoder. In this way, registered features can provide object-aware information continuously. Experiments show that our method consistently outperforms other competitors on two popular benchmarks PASCAL-${{5}^{i}}$ and COCO-${{20}^{i}}$.


title: Dual Gradient Descent EMF-Aware MU-MIMO Beamforming in RIS-Aided 6G Networks

abstract: Reconfigurable Intelligent Surface (RIS) is one of the key technologies for the upcoming 6th Generation (6G) communications, which can improve the signal strength at the receivers by adding artificial propagation paths. In the context of Downlink (DL) Multi-User Multiple-Input Multiple-Output (MU-MIMO) communications, designing an appropriate Beamforming (BF) scheme to take full advantage of this reconfigured propagation environment and improve the network capacity is a major challenge. Due to the spatial dimension provided by MIMO systems, independent data streams can be transmitted to multiple users simultaneously on the same radio resources. It is important to note that serving the same subset of users over a period of time may lead to undesired areas where the average Electromagnetic Field Exposure (EMFE) exceeds regulatory limits. To address this challenge, in this paper, we propose a Dual Gradient Descent (Dual-GD)-based Electromagnetic Field (EMF)-aware MU-MIMO BF scheme that aims to optimize the overall capacity under EMFE constraints in RIS-aided 6G cellular networks.


title: Unsupervised Search Algorithm Configuration using Query Performance Prediction

abstract: Search engine configuration can be quite difficult for inexpert developers. Instead, an auto-configuration approach can be used to speed up development time. Yet, such an automatic process usually requires relevance labels to train a supervised model. In this work, we suggest a simple solution based on query performance prediction that requires no relevance labels but only a sample of queries in a given domain. Using two example usecases we demonstrate the merits of our solution.


title: Plurisubharmonic functions with discontinuous boundary behavior

abstract: We study the Dirichlet problem for the complex Monge-Amp\`ere operator with bounded, discontinuous boundary data. If the set of discontinuities is b-pluripolar and the domain is B-regular, we are able to prove existence, uniqueness and some regularity estimates for a large class of complex Monge-Amp\`ere measures. This result is optimal in the unit disk, as boundary functions with b-pluripolar discontinuity then coincides with functions that are continuous almost everywhere. We also show that neither of these properties of the boundary function - being continuous almost everywhere or having discontinuities forming a b-pluripolar set - are necessary conditions in order to establish uniqueness and continuity of the solution in higher dimensions. In particular, there are situations where it is enough to prescribe the boundary behavior at a set of arbitrarily small Lebesgue measure.


title: Delocalization of topological surface states by diagonal disorder in nodal loop semimetals

abstract: The effect of Anderson diagonal disorder on the topological surface (``drumhead'') states of a Weyl nodal loop semimetal is addressed. Since diagonal disorder breaks chiral symmetry, a winding number cannot be defined. Seen as a perturbation, the weak random potential mixes the clean exponentially localized drumhead states of the semimetal, thereby producing two effects: (i) the algebraic decay of the surface states into the bulk; (ii) a broadening of the low energy density of surface states of the open system due to degeneracy lifting. This behavior persists with increasing disorder, up to the bulk semimetal-to-metal transition at the critical disorder $W_{c}$. Above $W_{c}$, the surface states hybridize with bulk states and become extended into the bulk.


title: Accelerate Reinforcement Learning with PID Controllers in the Pendulum Simulations

abstract: We propose a Proportional Integral Derivative (PID) controller-based coaching scheme to expedite reinforcement learning (RL).


title: The strong closing lemma and Hamiltonian pseudo-rotations

abstract: We prove the strong $C^\infty$ closing property, as formulated by Irie, for a class of Hamiltonian diffeomorphisms which includes all pseudo-rotations of projective spaces as well as all Anosov-Katok pseudo-rotations.


title: Effective Field Theory of Large Scale Structure in modified gravity and application to Degenerate Higher-Order Scalar-Tensor theories

abstract: In modified gravity, the one-loop matter power spectrum exhibits an ultraviolet divergence as shown in the framework of the degenerate higher-order scalar-tensor theory. To address this problem, we extend the effective field theory of large scale structure to modified gravity theories. We find that new counterterms appear and renormalize the ultraviolet divergence as a natural consequence of non-linearity in the modified Poisson equation. The renormalized one-loop matter power spectrum is useful to test modified gravity theories by comparing to observations.


title: Complex-scaled ab initio QED approach to autoionizing states

abstract: Ab initio method based on a complex-scaling approach and aimed at a rigorous QED description of autoionizing states is worked out. The autoionizing-state binding energies are treated nonperturbatively in $\alpha Z$ and include all the many-electron QED contributions up to the second order. The higher-order electron correlation, nuclear recoil, and nuclear polarization effects are taken into account as well. The developed formalism is demonstrated on the $LL$ resonances in heliumlike argon and uranium. The most accurate theoretical predictions for the binding energies are obtained.


title: Anomalous enhancement of dilepton production due to soft modes in dense quark matter

abstract: We explore how the dilepton production rate is modified near the critical temperature of color superconductivity and QCD critical point by the soft modes inherently associated with the phase transitions of second-order. It is shown that the soft modes affect the photon self-energy significantly through so called the Aslamasov-Larkin, Maki-Thompson and density of states terms, which are known responsible for the paraconductivity in the metalic superconductivity, and cause an anomalous enhancement of the production rate in the low energy/momentum region.


title: Multi-wavelength study of the galactic PeVatron candidate LHAASO J2108+5157

abstract: LHAASO J2108+5157 is one of the few known unidentified Ultra-High-Energy (UHE) gamma-ray sources with no Very-High-Energy (VHE) counterpart, recently discovered by the LHAASO collaboration. We observed LHAASO J2108+5157 in the X-ray band with XMM-Newton in 2021 for a total of 3.8 hours and at TeV energies with the Large-Sized Telescope prototype (LST-1), yielding 49 hours of good quality data. In addition, we analyzed 12 years of Fermi-LAT data, to better constrain emission of its High-Energy (HE) counterpart 4FGL J2108.0+5155. We found an excess (3.7 sigma) in the LST-1 data at energies E > 3 TeV. Further analysis in the whole LST-1 energy range assuming a point-like source, resulted in a hint (2.2 sigma) of hard emission which can be described with a single power law with photon index Gamma = 1.6 +- 0.2 between 0.3 - 100 TeV. We did not find any significant extended emission which could be related to a Supernova Remnant (SNR) or Pulsar Wind Nebula (PWN) in the XMM-Newton data, which puts strong constraints on possible synchrotron emission of relativistic electrons. The LST-1 and LHAASO observations can be explained as inverse Compton-dominated leptonic emission of relativistic electrons with a cutoff energy of $100^{+70}_{-30}$ TeV. The low magnetic field in the source imposed by the X-ray upper limits on synchrotron emission is compatible with a hypothesis of a PWN or a TeV halo. The lack of a pulsar in the neighborhood of the UHE source is a challenge to the PWN/TeV-halo scenario. The UHE gamma rays can also be explained as $\pi^0$ decay-dominated hadronic emission due to interaction of relativistic protons with one of the two known molecular clouds in the direction of the source. The hard spectrum in the LST-1 band is compatible with protons escaping a shock around a middle-aged SNR because of their high low-energy cut-off.


title: Early stages of polycrystalline diamond deposition: Laser reflectance at substrates with growing nanodiamonds

abstract: The chemical vapor deposition of polycrystalline diamond (PCD) films is typically done on substrates seeded with diamond nanoparticles. Specular laser reflectance and a continuous film model have been used to monitor the thickness of these films during their deposition. However, most seeds are isolated during the early stages of the deposition, which questions the utility of applying such a continuous film model for monitoring deposition before film formation. In this work, we present a model based on the Rayleigh theory of scattering for laser reflectance at substrates with growing nanodiamonds to capture the early stages of PCD deposition. The reflectance behavior predicted by our model differs from that of a continuous film, which is well-described by the continuous film model. This difference enlarges as the seed density used in our model decreases. We verify this trend experimentally by depositing diamond under identical conditions on substrates with various seed densities. A relation derived from our model is used to fit reflectance data from which seed densities are obtained that are proportional to those found with electron microscopy. We also show that relying on the continuous film model for describing the early stages of deposition can result in falsely deducing the existence of incubation, and that the continuous film model can be used safely beyond the early stages of deposition. Based on these findings, we delineate a robust method for obtaining growth rates and incubation periods from reflectance measurements. This work may also advance the general understanding of nanoparticle growth and formation.


title: Experimental test of Sinai's model in DNA unzipping

abstract: The experimental measurement of correlation functions and critical exponents in disordered systems is key to testing renormalization group (RG) predictions. We mechanically unzip single DNA hairpins with optical tweezers, an experimental realization of the diffusive motion of a particle in a one-dimensional random force field, known as the Sinai model. We measure the unzipping forces $F_w$ as a function of the trap position $w$ in equilibrium and calculate the force-force correlator $\Delta_m(w)$, its amplitude, and correlation length, finding agreement with theoretical predictions. We study the universal scaling properties since the effective trap stiffness $m^2$ decreases upon unzipping. Fluctuations of the position of the base pair at the unzipping junction $u$ scales as $u \sim m^{-\zeta}$, with a roughness exponent $ \zeta=1.34\pm0.06$, in agreement with the analytical prediction $\zeta = \frac{4}{3}$. Our study provides a single-molecule test of the functional RG approach for disordered elastic systems in equilibrium.


title: On Lattice-Code based Multiple Access: Uplink Architecture and Algorithms

abstract: This paper studies a lattice-code based multiple-access (LCMA) framework, and develops a package of processing techniques that are essential to its practical implementation. In the uplink, $K$ users encode their messages with the same ring coded modulation of $2^{m}$-PAM signaling. With it, the integer sum of multiple codewords belongs to the $n$-dimension lattice of the base code. Such property enables efficient \textit{algebraic binning} for computing linear combinations of $K$ users' messages. For the receiver, we devise two new algorithms, based on linear physical-layer network coding and linear filtering, to calculate the symbol-wise a posteriori probabilities (APPs) w.r.t. the $K$ streams of linear codeword combinations. The resultant APP streams are forwarded to the $q$-ary belief-propagation decoders, which parallelly compute $K$ streams of linear message combinations. Finally, by multiplying the inverse of the coefficient matrix, all users' messages are recovered. Even with single-stage parallel processing, LCMA is shown to support a remarkably larger number of users and exhibits improved frame error rate (FER) relative to existing NOMA systems such as IDMA and SCMA. Further, we propose a new multi-stage LCMA receiver relying on \emph{generalized matrix inversion}. With it, a near-capacity performance is demonstrated for a wide range of system loads. Numerical results demonstrate that the number of users that LCMA can support is no less than 350\% of the length of the spreading sequence or number of receive antennas. Since LCMA relaxes receiver iteration, off-the-shelf channel codes in standards can be directly utilized, avoiding the compatibility and convergence issue of channel code and detector in IDMA and SCMA.


title: The interpolated drift implicit Euler scheme Multilevel Monte Carlo method for pricing Barrier options and applications to the CIR and CEV models

abstract: Recently, Giles et al. [14] proved that the efficiency of the Multilevel Monte Carlo (MLMC) method for evaluating Down-and-Out barrier options for a diffusion process $(X_t)_{t\in[0,T]}$ with globally Lipschitz coefficients, can be improved by combining a Brownian bridge technique and a conditional Monte Carlo method provided that the running minimum $\inf_{t\in[0,T]}X_t$ has a bounded density in the vicinity of the barrier. In the present work, thanks to the Lamperti transformation technique and using a Brownian interpolation of the drift implicit Euler scheme of Alfonsi [2], we show that the efficiency of the MLMC can be also improved for the evaluation of barrier options for models with non-Lipschitz diffusion coefficients under certain moment constraints. We study two example models: the Cox-Ingersoll-Ross (CIR) and the Constant of Elasticity of Variance (CEV) processes for which we show that the conditions of our theoretical framework are satisfied under certain restrictions on the models parameters. In particular, we develop semi-explicit formulas for the densities of the running minimum and running maximum of both CIR and CEV processes which are of independent interest. Finally, numerical tests are processed to illustrate our results.


title: Potential and limitations of quantum extreme learning machines

abstract: Quantum reservoir computers (QRC) and quantum extreme learning machines (QELM) aim to efficiently post-process the outcome of fixed -- generally uncalibrated -- quantum devices to solve tasks such as the estimation of the properties of quantum states. The characterisation of their potential and limitations, which is currently lacking, will enable the full deployment of such approaches to problems of system identification, device performance optimization, and state or process reconstruction. We present a framework to model QRCs and QELMs, showing that they can be concisely described via single effective measurements, and provide an explicit characterisation of the information exactly retrievable with such protocols. We furthermore find a close analogy between the training process of QELMs and that of reconstructing the effective measurement characterising the given device. Our analysis paves the way to a more thorough understanding of the capabilities and limitations of both QELMs and QRCs, and has the potential to become a powerful measurement paradigm for quantum state estimation that is more resilient to noise and imperfections.


title: Scalaron Decay in Perturbative Quantum Gravity

abstract: A certain quadratic gravity model provides a successfully inflationary scenario. The inflation is driven by the new scalar degree of freedom called scalaron. After the end of inflation the scalaron decays in matter and dark matter degrees of freedom reheating the Universe. We study new channels by which the scalaron can transfer energy to the matter sector. These channels are annihilation and decay via intermediate graviton states. Results are obtained within perturbative quantum gravity. In the heavy scalaron limit only scalar particles are produced by the annihilation channel. Scalaron decays in all types of particles are allowed. In the light scalaron limit decay channel is strongly suppressed. Boson production via the annihilation channel is expected to be dominant at the early stages of reheating, while fermion production will dominate later stages.


title: Light meson spectroscopy and gluonium searches in $\eta_c$ and $\Upsilon(1S)$ decays at BaBar

abstract: We study the $\Upsilon(1S)$ radiative decays to $\gamma \pi^+ \pi^-$ and $\gamma K^+ K^-$ using data recorded with the BaBar detector operating at the SLAC PEP-II asymmetric-energy $e^+e^-$ collider at center-of-mass energies at the $\Upsilon(2S)$ and $\Upsilon(3S)$ resonances. The $\Upsilon(1S)$ resonance is reconstructed from the decay $\Upsilon(nS)\to \pi^+ \pi^- \Upsilon(1S)$, $n=2,3$. We also study the processes $\gamma \gamma \to \eta_c \to \eta^{\prime}K^+K^-$, $\eta^{\prime}\pi^+\pi^-$, and $\eta \pi^+ \pi^-$ using a data sample of 519 $fb^{-1}$ recorded with the BaBar detector at center-of-mass energies at and near the $\Upsilon(nS)$ ($n = 2,3,4$) resonances. A Dalitz plot analysis is performed of $\eta_c$ decays to $\eta^{\prime}K^+K^-$, $\eta^{\prime}\pi^+\pi^-$, and $\eta \pi^+ \pi^-$. A new $a_0(1700)$ resonance is observed in the $\eta \pi^{\pm}$ invariant-mass spectrum from the $\eta_c \to \eta \pi^+ \pi^-$ decay. We compare $\eta_c$ decays to $\eta$ and $\eta^{\prime}$ final states in association with scalar mesons as they relate to the identification of the scalar glueball.


title: Probing the valence quark region of nucleons with Z bosons at LHCb

abstract: Because of its forward coverage, LHCb can probe the valence quark distributions of protons and nuclei at small and large Bjorken-x with high precision. This proceeding presents new LHCb measurements of Z boson production in association with charm jet in the forward region of proton-proton collisions and Z boson production in proton-lead collisions. Z+charm jet production could be sensitive to a valence-like intrinsic-charm component in the proton wave function. The measurements of Z production in proton-lead collisions provide new constraints on the partonic structure of nucleons inside nuclei. Comparisons between the results and calculations with parton distribution functions are also discussed.


title: On the typical and atypical solutions to the Kuramoto equations

abstract: The Kuramoto model is a dynamical system that models the interaction of coupled oscillators. There has been much work to effectively bound the number of equilibria to the Kuramoto model for a given network. By formulating the Kuramoto equations as a system of algebraic equations, we first relate the complex root count of the Kuramoto equations to the combinatorics of the underlying network by showing that the complex root count is generically equal to the normalized volume of the corresponding adjacency polytope of the network. We then give explicit algebraic conditions under which this bound is strict and show that there are conditions where the Kuramoto equations have infinitely many equilibria.


title: The Geometry of Reachability in Continuous Vector Addition Systems with States

abstract: We study the geometry of reachability sets of continuous vector addition systems with states (VASS). In particular we establish that they are almost Minkowski sums of convex cones and zonotopes generated by the vectors labelling the transitions of the VASS. We use the latter to prove that short so-called linear path schemes suffice as witnesses of reachability in continuous VASS of fixed dimension. Then, we give new polynomial-time algorithms for the reachability problem for linear path schemes. Finally, we also establish that enriching the model with zero tests makes the reachability problem intractable already for linear path schemes of dimension two.


title: Vibrational response functions for multidimensional electronic spectroscopy in non-adiabatic models

abstract: The interplay of nuclear and electronic dynamics characterizes the multi-dimensional electronic spectra of various molecular and solid-state systems. Theoretically, the observable effect of such interplay can be accounted for by response functions. Here, we report analytical expressions for the response functions corresponding to a class of model systems. These are characterized by the coupling between the diabatic electronic states and the vibrational degrees of freedom resulting in linear displacements of the corresponding harmonic oscillators, and by nonadiabatic couplings between pairs of diabatic states. In order to derive the linear response functions, we first perform the Dyson expansion of the relevant propagators with respect to the nonadiabatic component of the Hamiltonian, then derive and expand with respect to the displacements the propagators at given interaction times, and finally provide analytical expressions for the time integrals that lead to the different contributions to the linear response function. The approach is then applied to the derivation of third-order response functions describing different physical processes: ground state bleaching, stimulated emission, excited state absorption and double quantum coherence. Comparisons between the results obtained up to sixth order in the Dyson expansion and independent numerical calculation of the response functions provide an evidence of the series convergence in a few representative cases.


title: Demystification of Entangled Mass Action Law

abstract: Recently, Gorban (2021) analysed some kinetic paradoxes of the transition state theory and proposed its revision that gave the "entangled mass action law", in which new reactions were generated as an addition to the reaction mechanism under consideration. These paradoxes arose due to the assumption of quasiequilibrium between reactants and transition states. In this paper, we provided a brief introduction to this theory, demonstrating how the entangled mass action law equations can be derived in the framework of the standard quasi steady state approximation in combination with the quasiequilibrium generalized mass action law for an auxiliary reaction network including reactants and intermediates. We also proved the basic physical property (positivity) for these new equations, which was not obvious in the original approach.


title: Towards a Unified View on Visual Parameter-Efficient Transfer Learning

abstract: Parameter efficient transfer learning (PETL) aims at making good use of the representation knowledge in the pre-trained large models by fine-tuning a small number of parameters. Recently, taking inspiration from the natural language processing (NLP) domain, popular PETL techniques such as prompt-tuning and Adapter have also been successfully applied to the vision domain. However, prefix-tuning remains under-explored for vision tasks. In this work, we intend to adapt large vision models (LVMs) to downstream tasks with a good parameter-accuracy trade-off. Towards this goal, we propose a framework with a unified view of PETL called visual-PETL (V-PETL) to investigate the effects of different PETL techniques, data scales of downstream domains, positions of trainable parameters, and other aspects affecting the trade-off. Specifically, we analyze the positional importance of trainable parameters and differences between NLP and vision tasks in terms of data structures and pre-training mechanisms while implementing various PETL techniques, especially for the under-explored prefix-tuning technique. Based on a comprehensive understanding of the differences between NLP and vision data, we propose a new variation of the prefix-tuning module called parallel attention (PATT) for vision downstream tasks. An extensive empirical analysis on vision tasks via different frozen LVMs has been carried and the findings show that the proposed PATT can effectively contribute to other PETL techniques. An effective scheme Swin-BAPAT derived from the proposed V-PETL framework achieves significantly better performance than the state-of-the-art AdaptFormer-Swin with slightly more parameters and outperforms full-tuning with far fewer parameters. Code and data are available at: https://github.com/bruceyo/V-PETL.


title: Nested Sequents for First-Order Modal Logics via Reachability Rules

abstract: We introduce the first cut-free nested sequent systems for first-order modal logics that admit increasing, decreasing, constant, and empty domains along with so-called general path conditions and seriality. We obtain such systems by means of two devices: 'reachability rules' and 'structural refinement'. Regarding the former device, we introduce reachability rules as special logical rules parameterized with formal grammars (viz. types of semi-Thue systems) that operate by propagating formulae and/or checking if data exists along certain paths within a nested sequent, where paths are encoded as strings generated by a parameterizing grammar. Regarding the latter device, structural refinement is a relatively new methodology used to extract nested sequent systems from labeled systems (which are ultimately obtained from a semantics) by means of eliminating structural/relational rules, introducing reachability rules, and then carrying out a notational translation. We therefore demonstrate how this method can be extended to the setting of first-order modal logics, and expose how reachability rules naturally arise from applying this method.


title: Any Sasakian structure is approximated by embeddings into spheres

abstract: We show that any Sasakian structure on a closed manifold $M$ is approximated in the $C^\infty$-norm by structures induced by CR embeddings into weighted Sasakian spheres. In order to obtain this result, we also strengthen the approximation of an orbifold K\"ahler form by projectively induced ones given by Ross and Thomas [15] in the $C^0$-norm to a $C^\infty$-approximation.


title: Automated calculations of exchange magnetostriction

abstract: We present a methodology based on deformations of the unit cell that allows to compute the isotropic magnetoelastic constants, isotropic magnetostrictive coefficients and spontaneous volume magnetostriction associated to the exchange magnetostriction. This method is implemented in the python package MAELAS (v3.0), so that it can be used to obtain these quantities by first-principles calculations and classical spin-lattice models in an automated way. We show that the required reference state to obtain the spontaneous volume magnetostriction combines the equilibrium volume of the paramagnetic state and magnetic order of the ground state. We identify an error in the theoretical expression of the isotropic magnetostrictive coefficient $\lambda^{\alpha 1,0}$ for uniaxial crystals given in previous publications, which is corrected in this work. The presented computational tool may be helpful to provide a better understanding and characterization of the relationship between the exchange interaction and magnetoelasticity.


title: Complete Positivity of Comultiplication and Primary Criteria for Unitary Categorification

abstract: In this paper, we investigate quantum Fourier analysis on subfactors and unitary fusion categories. We prove the complete positivity of the comultiplication for subfactors and derive a primary $n$-criterion of unitary categorifcation of multifusion rings. It is stronger than the Schur product criterion when $n\geq3$. The primary criterion could be transformed into various criteria which are easier to check in practice even for noncommutative, high-rank, high-multiplicity, multifusion rings. More importantly, the primary criterion could be localized on a sparse set, so that it works for multifusion rings with sparse known data. We give numerous examples to illustrate the efficiency and the power of these criteria.


title: Polar phase transition in $180^{\circ}$-domain wall of lead titanate

abstract: A new mechanism leading to a switchable polarization in a ferroelectric domain wall (DW) is proposed. A biquadratic coupling of the primary order parameter and its gradient triggers the phase transition in the DW with softening of the local polar mode and anomalous increase of the susceptibility at the phase transition temperature $T_{DW}$. This mechanism describes the origin and properties of the polar Bloch and antipolar N\'eel components in the $180^\circ$-DW of PbTiO$_3$, which were recently reported from first-principles calculations.


title: SDC-based Resource Constrained Scheduling for Quantum Control Architectures

abstract: Instruction scheduling is a key transformation in backend compilers that take an untimed description of an algorithm and assigns time slots to the algorithm's instructions so that they can be executed as efficiently as possible while taking into account the target processor limitations, such as the amount of computational units available. For example, for a superconducting quantum processor these restrictions include the amount of analogue instruments available to play the waveforms to drive the qubit rotations or on-chip connectivity between qubits. Current small-scale quantum processors contain only a few qubits; therefore, it is feasible to drive qubits individually albeit not scalable. Consequently, for NISQ and beyond NISQ devices, it is expected that classical instrument sharing to be designed in the future quantum control architectures where several qubits are connected to an instrument and multiplexing is used to activate only the qubits performing the same quantum operation at a time. Existing quantum scheduling algorithms either rely on ILP formulations, which do not scale well, or use heuristic based algorithms such as list scheduling which are not versatile enough to deal with quantum requirements such as scheduling with exact relative timing constraints between instructions, situation that might occur when decomposing complex instructions into native ones and requiring to keep a fixed timing between the primitive ones to guarantee correctness. In this paper, we propose a novel resource constrained scheduling algorithm that is based on the SDC formulation, which is the state-of-the-art algorithm used in the reconfigurable computing. We evaluate it against a list scheduler and describe the benefits of the proposed approach. We find that the SDC-based scheduling is not only able to find better schedules but also model flexible relative timing constraints.


title: Hierarchical reinforcement learning for in-hand robotic manipulation using Davenport chained rotations

abstract: End-to-end reinforcement learning techniques are among the most successful methods for robotic manipulation tasks. However, the training time required to find a good policy capable of solving complex tasks is prohibitively large. Therefore, depending on the computing resources available, it might not be feasible to use such techniques. The use of domain knowledge to decompose manipulation tasks into primitive skills, to be performed in sequence, could reduce the overall complexity of the learning problem, and hence reduce the amount of training required to achieve dexterity. In this paper, we propose the use of Davenport chained rotations to decompose complex 3D rotation goals into a concatenation of a smaller set of more simple rotation skills. State-of-the-art reinforcement-learning-based methods can then be trained using less overall simulated experience. We compare its performance with the popular Hindsight Experience Replay method, trained in an end-to-end fashion using the same amount of experience in a simulated robotic hand environment. Despite a general decrease in performance of the primitive skills when being sequentially executed, we find that decomposing arbitrary 3D rotations into elementary rotations is beneficial when computing resources are limited, obtaining increases of success rates of approximately 10% on the most complex 3D rotations with respect to the success rates obtained by HER trained in an end-to-end fashion, and increases of success rates between 20% and 40% on the most simple rotations.


title: Galaxy clusters in high definition: a dark matter search

abstract: Recent radio-frequency probes, with the ATCA and ASKAP telescopes, have proven themselves to be at the forefront of placing indirect limits on the properties of dark matter. The latter being able to substantially exceed the constraining power of Fermi-LAT data. However, these observations were based only on dwarf galaxies, where magnetic field uncertainties are large. Here we re-examine the case for galaxy clusters, often ignored due to substantial diffuse radio backgrounds, by considering the extrapolation of known cluster surface brightness profiles down to scales observable with MeerKAT. Despite large baryonic backgrounds, we find that clusters can be competitive with dwarf galaxies. Extrapolated Coma data being able to rule out WIMPs of mass $< 700$ GeV annihilating via $b$-quarks. This is while having lesser uncertainties surrounding the magnetic field and diffusive environment. Such compelling results are possible due to a clash between the inner shape of the dark matter halo and the flat inner profile of radio halos which is most pronounced for NFW-like Einasto profiles, the presence of which having some supporting evidence in the literature.


title: Asymptotics of matrix valued orthogonal polynomials on $[-1,1]$

abstract: We analyze the large degree asymptotic behavior of matrix valued orthogonal polynomials (MVOPs), with a weight that consists of a Jacobi scalar factor and a matrix part. Using the Riemann-Hilbert formulation for MVOPs and the Deift-Zhou method of steepest descent, we obtain asymptotic expansions for the MVOPs as the degree tends to infinity, in different regions of the complex plane (outside the interval of orthogonality, on the interval away from the endpoints and in neighborhoods of the endpoints), as well as for the matrix coefficients in the three-term recurrence relation for these MVOPs. The asymptotic analysis follows the work of Kuijlaars, McLaughlin, Van Assche and Vanlessen on scalar Jacobi-type orthogonal polynomials, but it also requires several different factorizations of the matrix part of the weight, in terms of eigenvalues/eigenvectors and using a matrix Szeg\H{o} function. We illustrate the results with two main examples, MVOPs of Jacobi and Gegenbauer type, coming from group theory.


title: HPC Storage Service Autotuning Using Variational-Autoencoder-Guided Asynchronous Bayesian Optimization

abstract: Distributed data storage services tailored to specific applications have grown popular in the high-performance computing (HPC) community as a way to address I/O and storage challenges. These services offer a variety of specific interfaces, semantics, and data representations. They also expose many tuning parameters, making it difficult for their users to find the best configuration for a given workload and platform. To address this issue, we develop a novel variational-autoencoder-guided asynchronous Bayesian optimization method to tune HPC storage service parameters. Our approach uses transfer learning to leverage prior tuning results and use a dynamically updated surrogate model to explore the large parameter search space in a systematic way. We implement our approach within the DeepHyper open-source framework, and apply it to the autotuning of a high-energy physics workflow on Argonne's Theta supercomputer. We show that our transfer-learning approach enables a more than $40\times$ search speedup over random search, compared with a $2.5\times$ to $10\times$ speedup when not using transfer learning. Additionally, we show that our approach is on par with state-of-the-art autotuning frameworks in speed and outperforms them in resource utilization and parallelization capabilities.


title: Detection of minute-timescale gamma-ray variability in BL Lacertae by Fermi-LAT

abstract: BL Lacertae, the prototype of the BL Lacertae (BL Lac) category of blazars, underwent a giant $\gamma-$ray flare in April 2021. The Large Area Telescope (LAT) onboard the Fermi Gamma-ray Space Telescope (hereafter Fermi-LAT) observed a peak $\gamma-$ray (0.1$-$500 GeV) flux of $\sim$2 $\times$ 10$^{-5}$ photons cm$^{-2}$ s$^{-1}$ within a single orbit on 2021 April 27, which is historically the brightest $\gamma-$ray flux ever detected from the source. Here, we report, for the first time, the detection of significant minute-timescale GeV $\gamma-$ray flux variability in the BL Lac subclass of blazars by the Fermi-LAT. We resolved the source variability down to 2-min binned timescales with a flux halving time of $\sim$1 minute, which is the shortest GeV variability timescale ever observed from blazars. The detected variability timescale is much shorter than the light-crossing time ($\sim 14$ minutes) across the central black hole of BL Lac indicating a very compact $\gamma-$ray emission site within the outflowing jet. Such a compact emitting region requires the bulk Lorentz factor of the jet to be larger than 16 so that the jet power is not super Eddington. We found a minimum Doppler factor $\delta_{min}$ of 15 using the $\delta$ function approximation for the $\gamma\gamma$ opacity constraint. For a conical jet geometry, considering $\Gamma = \delta_{min}$, the observed short variability timescale suggests the very compact emission region to lie at a distance of about 8.62 $\times$ 10$^{14}$ cm from the central engine of BL Lac.


title: Galois actions of finitely generated groups rarely have model companions

abstract: We show that if $G$ is a finitely generated group such that its profinite completion $\widehat{G}$ is ``far from being projective'' (that is the kernel of the universal Frattini cover of $\widehat{G}$ is not a small profinite group), then the class of existentially closed $G$-actions on fields is not elementary. Since any infinite, finitely generated, virtually free, and not free group is ``far from being projective'', the main result of this paper corrects an error in our paper ``Model theory of fields with virtually free group actions'', Proc. London Math. Soc., (2) 118 (2019), 221--256 by showing the negation of Theorem 3.26 in that paper.


title: Design of the PID temperature controller for an alkaline electrolysis system with time delays

abstract: Electrolysis systems use proportional-integral-derivative (PID) temperature controllers to maintain stack temperatures around set points. However, heat transfer delays in electrolysis systems cause manual tuning of PID temperature controllers to be time-consuming, and temperature oscillations often occur. This paper focuses on the design of the PID temperature controller for an alkaline electrolysis system to achieve fast and stable temperature control. A thermal dynamic model of an electrolysis system is established in the frequency-domain for controller designs. Based on this model, the temperature stability is analysed by the root distribution, and the PID parameters are optimized considering both the temperature overshoot and the settling time. The performance of the optimal PID controllers is verified through experiments. Furthermore, the simulation results show that the before-stack temperature should be used as the feedback variable for small lab-scale systems to suppress stack temperature fluctuations, and the after-stack temperature should be used for larger systems to improve the economy. This study is helpful in ensuring the temperature stability and control of electrolysis systems.


title: DDoS: A Graph Neural Network based Drug Synergy Prediction Algorithm

abstract: Drug synergy arises when the combined impact of two drugs exceeds the sum of their individual effects. While single-drug effects on cell lines are well-documented, the scarcity of data on drug synergy, considering the vast array of potential drug combinations, prompts a growing interest in computational approaches for predicting synergies in untested drug pairs. We introduce a Graph Neural Network (\textit{GNN}) based model for drug synergy prediction, which utilizes drug chemical structures and cell line gene expression data. We extract data from the largest available drug combination database (DrugComb) and generate multiple synergy scores (commonly used in the literature) to create seven datasets that serve as a reliable benchmark with high confidence. In contrast to conventional models relying on pre-computed chemical features, our GNN-based approach learns task-specific drug representations directly from the graph structure of the drugs, providing superior performance in predicting drug synergies. Our work suggests that learning task-specific drug representations and leveraging a diverse dataset is a promising approach to advancing our understanding of drug-drug interaction and synergy.