title: Robust Data-Driven Predictive Control for Unknown Linear Time-Invariant Systems

abstract: This paper presents a new robust data-driven predictive control scheme for unknown linear time-invariant systems by using input-state-output or input-output data based on whether the state is measurable. To remove the need for the persistently exciting (PE) condition of a sufficiently high order on pre-collected data, a set containing all systems capable of generating such data is constructed. Then, at each time step, an upper bound of a given objective function is derived for all systems in the set, and a feedback controller is designed to minimize this bound. The optimal control gain at each time step is determined by solving a set of linear matrix inequalities. We prove that if the synthesis problem is feasible at the initial time step, it remains feasible for all future time steps. Unlike current data-driven predictive control schemes based on behavioral system theory, our approach requires less stringent conditions for the pre-collected data, facilitating easier implementation. Further, the proposed predictive control scheme features an infinite prediction horizon, potentially resulting in superior overall control performance compared to existing methods with finite prediction horizons. The effectiveness of our proposed methods is demonstrated through application to an unknown and unstable batch reactor.


title: Lipschitz Functions on Sparse Graphs

abstract: In this work we attempt to count the number of integer-valued $h$-Lipschitz functions (functions that change by at most $h$ along edges) on two classes of sparse graphs; grid graphs $L_{m,n}$, and sparse random graphs $G(n,d/n)$. We find that for all $n$-vertex graphs $G$ with $k$ connected components, the number of such functions grows as $(ch)^{n - k}$ for some $1 \le c \le 2$. In particular, letting $\alpha \approx 1.16234$ be the largest solution to $\tan{(1/x)} = x$, we prove that as $n \to \infty$ $$ c = \alpha\sqrt{2} \approx 1.6438\ \ \text{when}\ \ G = L_{2,n} $$ and $$ 1.351 \approx \alpha^2 \le c \le \arctan{(3/4)}^{-1} \approx 1.554\ \ \text{when}\ \ G = L_{n,n} $$ and $$ 1 + \frac{1}{2d} + O\left(\frac{1}{d^2}\right) \le c \le 1 + \frac{4\ln^2{d}}{d} + O\left(\frac{1}{d}\right)\ \ \text{(w.h.p.) when}\ \ G = G(n, d/n) $$


title: Vehicle Selection for C-V2X Mode 4 Based Federated Edge Learning Systems

abstract: Federated learning (FL) is a promising technology for vehicular networks to protect vehicles' privacy in Internet of Vehicles (IoV). Vehicles with limited computation capacity may face a large computational burden associated with FL. Federated edge learning (FEEL) systems are introduced to solve such a problem. In FEEL systems, vehicles adopt the cellular-vehicle to everything (C-V2X) mode 4 to upload encrypted data to road side units' (RSUs)' cache queue. Then RSUs train the data transmitted by vehicles, update the locally model hyperparameters and send back results to vehicles, thus vehicles' computational burden can be released. However, each RSU has limited cache queue. To maintain the stability of cache queue and maximize the accuracy of model, it is essential to select appropriate vehicles to upload data. The vehicle selection method for FEEL systems faces challenges due to the random departure of data from the cache queue caused by the stochastic channel and the different system status of vehicles, such as remaining data amount, transmission delay, packet collision probability and survival ability. This paper proposes a vehicle selection method for FEEL systems that aims to maximize the accuracy of model while keeping the cache queue stable. Extensive simulation experiments demonstrate that our proposed method outperforms other baseline selection methods.


title: What Uniqueness for the Holst-Nagy-Tsogtgerel--Maxwell Solutions to the Einstein Conformal Constraint Equations?

abstract: This paper addresses the issue of uniqueness of solutions in the conformal method for solving the constraint equations in general relativity with arbitrary mean curvature as developed initially by Holst, Nagy, Tsogtegerel and Maxwell. We show that the solution they construct is unique amongst those having volume below a certain threshold.


title: High-resolution boreal winter precipitation projections over Tropical America from CMIP5 models

abstract: Climate change projections for boreal winter precipitation in Tropical America has beenaddressed by statistical downscaling (SD) using the principal component regression with sea-level pressure (SLP) as the predictor variable. The SD model developed from the reanalysis of SLP and gridded precipitation GPCC data, has been applied to SLP outputs from 20 CGMS of CMIP5, both from the present climate (1971-2000) and for the future (2071-2100) under the RCP2.6, RCP4.5, and RCP8.5 scenarios. The SD model shows a suitable performance over large regions, presenting a strong bias only in small areas characterized by very dry climate conditions or poor data coverage. The difference in percentage between the projected SD precipitation and the simulated SD precipitation for present climate, ranges from moderate to intense changes in rainfall (positive or negative, depending on the region and the SD GCM model considered), as the radiative forcing increases from the RCP2.6 to RCP8.5. The disparity in the GCMs outputs seems to be the major source of uncertainty in the projected changes, while the scenario considered appears less decisive. Mexico and eastern Brazil are the areas showing the most coherent decreases between SD GCMs, while northwestern and southeastern South America show consistently significant increases. This coherence is corroborated by the results of the ensemble mean which projects positive changes from 10N towards the south, with exceptions such as eastern Brazil, northern Chile and some smaller areas, such as the center of Colombia, while projected negative changes are the majority found in the northernmost part.


title: Balancing reaction-diffusion network for cell polarization pattern with stability and asymmetry

abstract: Cell polarization is a critical process that separates molecules into two distinct regions in prokaryotic and eukaryotic cells, guiding biological processes such as cell division and cell differentiation. Although several underlying antagonistic reaction-diffusion networks capable of setting up cell polarization have been identified experimentally and theoretically, our understanding of how to manipulate pattern stability and asymmetry remains incomplete, especially when only a subset of network components are known. Here we present numerical results to show that the polarized pattern of an antagonistic 2-node network collapses into a homogeneous state when subjected to single-sided self-regulation, single-sided additional regulation, or unequal system parameters. However, polarity can be restored through a combination of two modifications that have opposing effects. Additionally, spatially inhomogeneous parameters favoring respective domains stabilize their interface at designated locations. To connect our findings to cell polarity studies of the nematode Caenorhabditis elegans zygote, we reconstituted a 5-node network where a 4-node circuit with full mutual inhibitions between anterior and posterior is modified by a mutual activation in the anterior and an additional mutual inhibition between the anterior and the posterior. Once again, a generic set of kinetic parameters moves the interface towards either the anterior or posterior end, yet a polarized pattern can be stabilized through spatial tuning of one or more parameters coupled to intracellular or extracellular cues. A user-friendly software, PolarSim, is introduced to facilitate the exploration of networks with alternative node numbers, parameter values, and regulatory pathways.


title: A Lawson-time-splitting extended Fourier pseudospectral method for the Gross-Pitaevskii equation with time-dependent low regularity potential

abstract: We propose a Lawson-time-splitting extended Fourier pseudospectral (LTSeFP) method for the numerical integration of the Gross-Pitaevskii equation with time-dependent potential that is of low regularity in space. For the spatial discretization of low regularity potential, we use an extended Fourier pseudospectral (eFP) method, i.e., we compute the discrete Fourier transform of the low regularity potential in an extended window. For the temporal discretization, to efficiently implement the eFP method for time-dependent low regularity potential, we combine the standard time-splitting method with a Lawson-type exponential integrator to integrate potential and nonlinearity differently. The LTSeFP method is both accurate and efficient: it achieves first-order convergence in time and optimal-order convergence in space in $L^2$-norm under low regularity potential, while the computational cost is comparable to the standard time-splitting Fourier pseudospectral method. Theoretically, we also prove such convergence orders for a large class of spatially low regularity time-dependent potential. Extensive numerical results are reported to confirm the error estimates and to demonstrate the superiority of our method.


title: Flat Spectra of Energetic Particles in Interplanetary Shock Precursors

abstract: The observed energy spectra of accelerated particles at interplanetary shocks often do not match the diffusive shock acceleration (DSA) theory predictions. In some cases, the particle flux forms a plateau over a wide range of energies, extending upstream of the shock for up to seven flux's e-folds before submerging into the background spectrum. Remarkably, at and behind the shock that we have studied in detail, the flux falls off in energy as $\epsilon^{-1}$, consistent with the DSA prediction for a strong shock. The upstream plateau suggests a different particle transport mechanism than those traditionally employed in DSA models. We show that a standard (linear) DSA solution based on a widely accepted diffusive particle transport with an underlying resonant wave-particle interaction is inconsistent with the plateau in the particle flux. To resolve this contradiction, we modify the DSA theory in two ways. First, we include a dependence of the particle diffusivity $\kappa$ on the particle flux $F$ (nonlinear particle transport). Second, we invoke short-scale magnetic perturbations that are self-consistently generated by, but not resonant with, accelerated particles. They lead to the particle diffusivity increasing with the particle energy as $\propto\epsilon^{3/2}$ that simultaneously decreases with the particle flux as $1/F$. The combination of these two trends results in the flat spectrum upstream.


title: Understanding Emotional Disclosure via Diary-keeping in Quarantine on Social Media

abstract: Quarantine is a widely-adopted measure during health crises caused by highly-contagious diseases like COVID-19, yet it poses critical challenges to public mental health. Given this context, emotional disclosure on social media in the form of keeping a diary emerges as a popular way for individuals to express emotions and record their mental health status. However, the exploration of emotional disclosure via diary-keeping on social media during quarantine is underexplored, understanding which could be beneficial to facilitate emotional connections and enlighten health intervention measures. Focusing on this particular form of self-disclosure, this work proposes a quantitative approach to figure out the prevalence and changing patterns of emotional disclosure during quarantine, and the possible factors contributing to the negative emotions. We collected 58, 796 posts with the "Quarantine Diary" keyword on Weibo, a popular social media website in China. Through text classification, we capture diverse emotion categories that characterize public emotion disclosure during quarantine, such as annoyed, anxious, boring, happy, hopeful and appreciative. Based on temporal analysis, we uncover the changing patterns of emotional disclosure from long-term perspectives and period-based perspectives (e.g., the gradual decline of all negative emotions and the upsurge of the annoyed emotion near the end of quarantine). Leveraging topic modeling, we also encapsulate the possible influencing factors of negative emotions, such as freedom restriction and solitude, and uncertainty of infection and supply. We reflect on how our findings could deepen the understanding of mental health on social media and further provide practical and design implications to mitigate mental health issues during quarantine.


title: Use of Prior Knowledge to Discover Causal Additive Models with Unobserved Variables and its Application to Time Series Data

abstract: This paper proposes two methods for causal additive models with unobserved variables (CAM-UV). CAM-UV assumes that the causal functions take the form of generalized additive models and that latent confounders are present. First, we propose a method that leverages prior knowledge for efficient causal discovery. Then, we propose an extension of this method for inferring causality in time series data. The original CAM-UV algorithm differs from other existing causal function models in that it does not seek the causal order between observed variables, but rather aims to identify the causes for each observed variable. Therefore, the first proposed method in this paper utilizes prior knowledge, such as understanding that certain variables cannot be causes of specific others. Moreover, by incorporating the prior knowledge that causes precedes their effects in time, we extend the first algorithm to the second method for causal discovery in time series data. We validate the first proposed method by using simulated data to demonstrate that the accuracy of causal discovery increases as more prior knowledge is accumulated. Additionally, we test the second proposed method by comparing it with existing time series causal discovery methods, using both simulated data and real-world data.


title: Polariton lattices as binarized neuromorphic networks

abstract: We introduce a novel neuromorphic network architecture based on a lattice of exciton-polariton condensates, intricately interconnected and energized through non-resonant optical pumping. The network employs a binary framework, where each neuron, facilitated by the spatial coherence of pairwise coupled condensates, performs binary operations. This coherence, emerging from the ballistic propagation of polaritons, ensures efficient, network-wide communication. The binary neuron switching mechanism, driven by the nonlinear repulsion through the excitonic component of polaritons, offers computational efficiency and scalability advantages over continuous weight neural networks. Our network enables parallel processing, enhancing computational speed compared to sequential or pulse-coded binary systems. The system's performance was evaluated using the MNIST dataset for handwritten digit recognition, showcasing the potential to outperform existing polaritonic neuromorphic systems, as demonstrated by its impressive predicted classification accuracy of up to 97.5%.

categories: cond-mat.dis-nn cs.LG cs.NE physics.app-ph


title: Irrationality of degenerations of Fano varieties

abstract: In this paper we investigate the degrees of irrationality of degenerations of $\epsilon$-lc Fano varieties of arbitrary dimensions. We show that given a generically $\epsilon$-lc klt Fano fibration $X\to Z$ of dimension $d$ over a smooth curve $Z$ such that $(X, t F)$ is lc for a positive real number $t$ where $F$ is the reduction of an irreducible central fibre of $X$ over a closed point $z\in Z$, then $F$ admits a rational dominant map $\pi\colon F\dashrightarrow C$ to a smooth projective variety $C$ with bounded degree of irrationality depending only on $\epsilon, d, t$ such that the general fibres of $\pi$ are irreducible and rational. This proves the generically bounded case of a conjecture proposed by the first author and Loginov for log Fano fibrations of dimensions greater than three. One of the key ingredients in our proof is to modify the generically $\epsilon$-lc klt Fano fibration $X\to Z$ to a toroidal morphism of toroidal embeddings with bounded general fibres.


title: The Effects of Data Imbalance Under a Federated Learning Approach for Credit Risk Forecasting

abstract: Credit risk forecasting plays a crucial role for commercial banks and other financial institutions in granting loans to customers and minimise the potential loss. However, traditional machine learning methods require the sharing of sensitive client information with an external server to build a global model, potentially posing a risk of security threats and privacy leakage. A newly developed privacy-preserving distributed machine learning technique known as Federated Learning (FL) allows the training of a global model without the necessity of accessing private local data directly. This investigation examined the feasibility of federated learning in credit risk assessment and showed the effects of data imbalance on model performance. Two neural network architectures, Multilayer Perceptron (MLP) and Long Short-Term Memory (LSTM), and one tree ensemble architecture, Extreme Gradient Boosting (XGBoost), were explored across three different datasets under various scenarios involving different numbers of clients and data distribution configurations. We demonstrate that federated models consistently outperform local models on non-dominant clients with smaller datasets. This trend is especially pronounced in highly imbalanced data scenarios, yielding a remarkable average improvement of 17.92% in model performance. However, for dominant clients (clients with more data), federated models may not exhibit superior performance, suggesting the need for special incentives for this type of clients to encourage their participation.


title: Dynamic Probability Logics: Axiomatization & Definability

abstract: We first study probabilistic dynamical systems from logical perspective. To this purpose, we introduce the finitary dynamic probability logic} ($\mathsf{DPL}$), as well as its infinitary extension $\mathsf{DPL}_{\omega_1}\!$. Both these logics extend the (modal) probability logic ($\mathsf{PL}$) by adding a temporal-like operator $\bigcirc$ (denoted as dynamic operator) which describes the dynamic part of the system. We subsequently provide Hilbert-style axiomatizations for both $\mathsf{DPL}$ and $\mathsf{DPL}_{\omega_1}\!$. We show that while the proposed axiomatization for $\mathsf{DPL}$ is strongly complete, the axiomatization for the infinitary counterpart supplies strong completeness for each countable fragment $\mathbb{A}$ of $\mathsf{DPL}_{\omega_1}\!$. Secondly, our research focuses on the (frame) definability of important properties of probabilistic dynamical systems such as measure-preserving, ergodicity and mixing within $\mathsf{DPL}$ and $\mathsf{DPL}_{\omega_1}$. Furthermore, we consider the infinitary probability logic $\mathsf{InPL}_{\omega_1}$ (probability logic with initial probability distribution) by disregarding the dynamic operator. This logic studies {\em Markov processes with initial distribution}, i.e. mathematical structures of the form $\langle \Omega, \mathcal{A}, T, \pi\rangle$ where $\langle \Omega, \mathcal{A}\rangle$ is a measurable space, $T: \Omega\times \mathcal{A}\to [0, 1]$ is a Markov kernel and $\pi: \mathcal{A}\to [0, 1]$ is a $\sigma$-additive probability measure. We prove that many natural stochastic properties of Markov processes such as stationary, invariance, irreducibility and recurrence are $\mathsf{InPL}_{\omega_1}$-definable.


title: An extension of the compound flow theory with shear and friction

abstract: Compound flows consist of two or more parallel compressible streams inside a duct. Its theoretical treatment has recently been applied to model ejectors, but also to post-process and to interpret CFD results. More precisely, it has been observed that compound flows can choke upstream of the geometrical throat. While it is widely known that friction can push the sonic section downstream, no mechanism has been identified to explain the movement in the opposite direction. In this work, we extend the existing compound flow theory with shear and friction. The resulting model captures the up- and downstream movement of the sonic section. We show analytically that shear between the streams is the driving force behind the upstream movement by analysing the singularity of the governing equations in the sonic section. Additionally, we provide a quasi-third order approximation of the governing equations in the vicinity of the sonic section to alleviate potential numerical issues. Finally, we compare the predictions of the model with post-processed CFD results of a compound nozzle. We study the individual effects of shear and friction through an inviscid simulation for the isentropic case and a viscid simulation with a slip or no-slip condition at the wall to include shear with or without friction. The proposed extension offers new possibilities in modelling and analysis of compound flows.


title: Distilling Event Sequence Knowledge From Large Language Models

abstract: Event sequence models have been found to be highly effective in the analysis and prediction of events. Building such models requires availability of abundant high-quality event sequence data. In certain applications, however, clean structured event sequences are not available, and automated sequence extraction results in data that is too noisy and incomplete. In this work, we explore the use of Large Language Models (LLMs) to generate event sequences that can effectively be used for probabilistic event model construction. This can be viewed as a mechanism of distilling event sequence knowledge from LLMs. Our approach relies on a Knowledge Graph (KG) of event concepts with partial causal relations to guide the generative language model for causal event sequence generation. We show that our approach can generate high-quality event sequences, filling a knowledge gap in the input KG. Furthermore, we explore how the generated sequences can be leveraged to discover useful and more complex structured knowledge from pattern mining and probabilistic event models. We release our sequence generation code and evaluation framework, as well as corpus of event sequence data.


title: Coherently Driven Quantum Harmonic Oscillator Battery

abstract: Quantum harmonic oscillator (QHO) battery models have been studied with significant importance in the recent past because these batteries are experimentally realizable and have high ergotropy and capacity to store more than one quanta of energy. QHO battery models are reinvestigated here to answer a set of fundamental questions: Do such models have any benefit? Is unbounded charging possible? Does the use of a catalyst system enhance the energy transfer to quantum batteries? These questions are answered both numerically and analytically by considering a model that allows a laser to shine on a QHO charger that interacts with a QHO battery. In contrast to some of the existing works, the obtained answers are mostly negative. Specifically, in the present work, the laser frequency is tuned with the frequency of the global charger-battery system, which is affected by the interaction between QHOs. It is reported that for a fixed laser field amplitude $\textit{F}$, the battery can store more energy when tuned with the frequency of the global charger-battery system compared to energy stored by tuning the laser frequency with local frequencies of the charger and battery. The charging process of the open QHO, which is a simplified model, and the self-discharging (dissipation) process after switching off the laser field are also investigated to reveal that the charging process of QHO in the simplified model is faster than the charging process of the catalytic (non-catalytic) battery. Further, it's observed that the self-discharging process is almost two times faster than the charging process which makes such models unstable against interaction with the environment.


title: Quantum Chromodynamics of the Nucleon in the Framework of Complex Probabilistic Processes

abstract: Soon after the postulation of quarks by Gell-Mann, Zweig and Fritzsch the experimental confirmation of these sub-nucleon formations, Feynman, Ravndal and Kislinger proposed a relativistic three-quark model of the nucleon to study its internal structure and state. Despite the obvious progress in describing the internal motion of a system with confinement of quarks in a nucleon, it should be stated that the model is not realistic enough. The fact is that the model ignores the processes of gluon exchange between quarks, as well as the influence of continuously formed pairs of quarks and antiquarks (quark sea) on valence quarks. To overcome this difficulty, the problem of self-organization of a three-quark dynamical system immersed in a colored quark-antiquark sea is considered within the framework of the representation of complex probabilistic processes satisfying the stochastic differential equation of Langevin-Kline-Gordon-Fock type. Taking into account the hidden symmetry of the internal motion of a dynamical system, a mathematically closed non-perturbative approach has been developed, which makes it possible to construct the mathematical expectation of the wave function and other parameters of the nucleon in the form of multiple integral representations. The developed approach can be especially useful for studying the state of nucleons in critical states, which occurs, for example, in massive and dense stellar formations such as neutron stars, etc.


title: DCDet: Dynamic Cross-based 3D Object Detector

abstract: Recently, significant progress has been made in the research of 3D object detection. However, most prior studies have focused on the utilization of center-based or anchor-based label assignment schemes. Alternative label assignment strategies remain unexplored in 3D object detection. We find that the center-based label assignment often fails to generate sufficient positive samples for training, while the anchor-based label assignment tends to encounter an imbalanced issue when handling objects of varying scales. To solve these issues, we introduce a dynamic cross label assignment (DCLA) scheme, which dynamically assigns positive samples for each object from a cross-shaped region, thus providing sufficient and balanced positive samples for training. Furthermore, to address the challenge of accurately regressing objects with varying scales, we put forth a rotation-weighted Intersection over Union (RWIoU) metric to replace the widely used L1 metric in regression loss. Extensive experiments demonstrate the generality and effectiveness of our DCLA and RWIoU-based regression loss. The Code will be available at https://github.com/Say2L/DCDet.git.


title: Expanded-plane bilayer thermal concentrator for improving thermoelectric conversion efficiency

abstract: Thermoelectric devices are pivotal in the energy sector, with enhancing their conversion efficiency being a longstanding focal point. While progress has been made, overcoming the inherent low efficiency and heat management issues remains challenging. The advent of thermal metamaterials, particularly thermal concentrators, holds promise for improved thermoelectric efficiency. The concentrator has the potential to amplify the temperature gradient within the working region without altering the temperature gradient of the background, thereby enhancing thermoelectric conversion efficiency through this concentrating effect. Nevertheless, the efficacy of this effect is contingent upon the structural parameters of the concentrator. Systematically investigating the impact of metamaterials on thermoelectric conversion efficiency, particularly in terms of quantifying the enhancement, presents a significant challenge. Additionally, the intrinsic thermal conductivity of the material imposes constraints on the applicability of the concentrator in this regard. In this context, drawing inspiration from the recently proposed passive ultra-conductive heat transport scheme, we have devised expanded-plane bilayer thermal concentrators. We substantiate the prospective performance of our design through analytical demonstration, further validated through finite-element simulations and experiments. Notably, through direct calculation, we illustrate an efficiency improvement of about 38\% when utilizing the expanded-plane concentrator comparing with not using expanded-plane structure. The expanded-plane geometrical configuration of the outer layer can also attain large-scale value. These findings not only present a novel avenue for the functional transformation of thermal metamaterials but also hold significant implications for the field of thermoelectrics.


title: Testing Sumsets is Hard

abstract: A subset $S$ of the Boolean hypercube $\mathbb{F}_2^n$ is a sumset if $S = \{a + b : a, b\in A\}$ for some $A \subseteq \mathbb{F}_2^n$. Sumsets are central objects of study in additive combinatorics, featuring in several influential results. We prove a lower bound of $\Omega(2^{n/2})$ for the number of queries needed to test whether a Boolean function $f:\mathbb{F}_2^n \to \{0,1\}$ is the indicator function of a sumset. Our lower bound for testing sumsets follows from sharp bounds on the related problem of shift testing, which may be of independent interest. We also give a near-optimal $2^{n/2} \cdot \mathrm{poly}(n)$-query algorithm for a smoothed analysis formulation of the sumset refutation problem.


title: Robust Parahydrogen-Induced Polarization at High Concentrations

abstract: Parahydrogen-Induced Polarization (PHIP) is a potent technique for generating target molecules with high nuclear spin polarization. The PHIP process involves a chemical reaction between parahydrogen and a target molecule, followed by the transformation of nuclear singlet spin order into magnetization of a designated nucleus through magnetic field manipulations. Although the singlet-to-magnetization polarization transfer process works effectively at moderate concentrations, it is observed to become much less efficient at high molar polarization, defined as the product of polarization and concentration. This strong dependence on the molar polarization is attributed to interference from the field produced by the sample's magnetization during polarization transfer, which leads to complex dynamics and can severely impact the scalability of the technique. We address this challenge with a pulse sequence that negates the influence of the distant dipolar field, while simultaneously achieving singlet-to-magnetization polarization transfer to the desired target spins, free from restrictions on the molar polarization.


title: Incremental SWAP Operator for Entanglement Entropy: Application for Exponential Observables in Quantum Monte Carlo Simulation

abstract: We propose a new method to efficiently compute the entanglement entropy (EE) of quantum many-body systems. Our approach, called the incremental SWAP operator method , combines the simplicity of the SWAP operator used in projector quantum Monte Carlo simulations with recent advances in precisely computing exponential observables using incremental algorithms. We apply this technique to obtain accurate EE data at reduced computational cost for 1d and 2d antiferromagnetic Heisenberg models with different bipartition schemes. Using the computed EE data, we extract the area law coefficient, universal logarithmic corrections from Goldstone modes, and the geometric constant, finding quantitative agreement with analytical predictions. Moreover, for the first time in an unbiased numerical simulation of 2d antiferromagnetic Heisenberg model, we successfully obtain reliable universal logarithmic corrections from sharp corners that match expected theoretical values. The consistency between our numerical results and theoretical calculations demonstrates the power of our approach for accessing challenging universal entanglement properties. The extensions of our method to other quantum spin/boson models and the interacting fermion models, are outlined.


title: MIMIC: Mask Image Pre-training with Mix Contrastive Fine-tuning for Facial Expression Recognition

abstract: Cutting-edge research in facial expression recognition (FER) currently favors the utilization of convolutional neural networks (CNNs) backbone which is supervisedly pre-trained on face recognition datasets for feature extraction. However, due to the vast scale of face recognition datasets and the high cost associated with collecting facial labels, this pre-training paradigm incurs significant expenses. Towards this end, we propose to pre-train vision Transformers (ViTs) through a self-supervised approach on a mid-scale general image dataset. In addition, when compared with the domain disparity existing between face datasets and FER datasets, the divergence between general datasets and FER datasets is more pronounced. Therefore, we propose a contrastive fine-tuning approach to effectively mitigate this domain disparity. Specifically, we introduce a novel FER training paradigm named Mask Image pre-training with MIx Contrastive fine-tuning (MIMIC). In the initial phase, we pre-train the ViT via masked image reconstruction on general images. Subsequently, in the fine-tuning stage, we introduce a mix-supervised contrastive learning process, which enhances the model with a more extensive range of positive samples by the mixing strategy. Through extensive experiments conducted on three benchmark datasets, we demonstrate that our MIMIC outperforms the previous training paradigm, showing its capability to learn better representations. Remarkably, the results indicate that the vanilla ViT can achieve impressive performance without the need for intricate, auxiliary-designed modules. Moreover, when scaling up the model size, MIMIC exhibits no performance saturation and is superior to the current state-of-the-art methods.


title: Delayed finite-dimensional observer-based control of 2D linear parabolic PDEs

abstract: Recently, a constructive method was suggested for finite-dimensional observer-based control of 1D linear heat equation, which is robust to input/output delays. In this paper, we aim to extend this method to the 2D case with general time-varying input/output delays (known output delay and unknown input delay) or sawtooth delays (that correspond to network-based control). We use the modal decomposition approach and consider boundary or non-local sensing together with non-local actuation, or Neumann actuation with non-local sensing. To compensate the output delay that appears in the infinite-dimensional part of the closed-loop system, for the first time for delayed PDEs we suggest a vector Lyapunov functional combined with the recently introduced vector Halanay inequality. We provide linear matrix inequality (LMI) conditions for finding the observer dimension and upper bounds on delays that preserve the exponential stability. We prove that the LMIs are always feasible for large enough observer dimension and small enough upper bounds on delays. A numerical example demonstrates the efficiency of our method and shows that the employment of vector Halanay's inequality allows for larger delays than the classical scalar Halanay inequality for comparatively large observer dimension.


title: Exploring Advanced Detector Technologies for Muon Radiography Applications

abstract: Muon radiography often referred to as muography, is an imaging technique that uses freely available cosmic-ray muons to study the interior structure of natural or man-made large-scale objects. The amount of multidisciplinary applications of this technique keeps increasing over time and a variety of basic detector types have already been used in the construction of muon telescopes. Here, we are investigating the use of advanced gaseous detectors for muography. As our basic solution, given its robustness and ease of operation in remote, outdoor environments, a scintillator-based muon telescope with silicon photomultiplier readout is being developed. To enhance the telescope performance, we are proposing the use of Multi-gap Resistive Plate Chambers (mRPCs) and Thick Gas Electron Multipliers (THGEMs). While the former offer superior time resolution which could be beneficial for detector background rejection, the latter detector type offers excellent spatial resolution, can be manufactured at low cost and operated with a simple gas mixture. Currently, prototype detector planes for each of these proposed types are being designed and constructed, and initial performance tests are in progress. In parallel, a Geant4- based muon telescope simulation is being developed, which will enable us to e.g. optimize our telescope geometry and study the use of superior time resolution for background rejection. The design and status of the three detector prototype planes and the muon telescope, along with the initial results of their performance tests and of the Geant4 simulation studies are reported.


title: Injectivity Theorem for Generalised Pairs on Surfaces

abstract: In this paper, we first show that Koll\'ar's injectivity theorem on cohomologies holds for projective generalised pairs with mild singularities when the nef part of the generalised pair is b-abundant. Moreover, by applying the methods from complex analytic geometry, we show that the injectivity theorem holds for generalised Kawamata log terminal (g-klt) generalised pairs on projective surfaces without any extra conditions on the nef parts of the generalised pairs.


title: Imputation with Inter-Series Information from Prototypes for Irregular Sampled Time Series

abstract: Irregularly sampled time series are ubiquitous, presenting significant challenges for analysis due to missing values. Despite existing methods address imputation, they predominantly focus on leveraging intra-series information, neglecting the potential benefits that inter-series information could provide, such as reducing uncertainty and memorization effect. To bridge this gap, we propose PRIME, a Prototype Recurrent Imputation ModEl, which integrates both intra-series and inter-series information for imputing missing values in irregularly sampled time series. Our framework comprises a prototype memory module for learning inter-series information, a bidirectional gated recurrent unit utilizing prototype information for imputation, and an attentive prototypical refinement module for adjusting imputations. We conducted extensive experiments on three datasets, and the results underscore PRIME's superiority over the state-of-the-art models by up to 26% relative improvement on mean square error.


title: Stabilizing Sharpness-aware Minimization Through A Simple Renormalization Strategy

abstract: Recently, sharpness-aware minimization (SAM) has attracted a lot of attention because of its surprising effectiveness in improving generalization performance.However, training neural networks with SAM can be highly unstable since the loss does not decrease along the direction of the exact gradient at the current point, but instead follows the direction of a surrogate gradient evaluated at another point nearby. To address this issue, we propose a simple renormalization strategy, dubbed StableSAM, so that the norm of the surrogate gradient maintains the same as that of the exact gradient. Our strategy is easy to implement and flexible enough to integrate with SAM and its variants, almost at no computational cost. With elementary tools from convex optimization and learning theory, we also conduct a theoretical analysis of sharpness-aware training, revealing that compared to stochastic gradient descent (SGD), the effectiveness of SAM is only assured in a limited regime of learning rate. In contrast, we show how StableSAM extends this regime of learning rate and when it can consistently perform better than SAM with minor modification. Finally, we demonstrate the improved performance of StableSAM on several representative data sets and tasks.


title: 3D Landmark Detection on Human Point Clouds: A Benchmark and A Dual Cascade Point Transformer Framework

abstract: 3D landmark detection plays a pivotal role in various applications such as 3D registration, pose estimation, and virtual try-on. While considerable success has been achieved in 2D human landmark detection or pose estimation, there is a notable scarcity of reported works on landmark detection in unordered 3D point clouds. This paper introduces a novel challenge, namely 3D landmark detection on human point clouds, presenting two primary contributions. Firstly, we establish a comprehensive human point cloud dataset, named HPoint103, designed to support the 3D landmark detection community. This dataset comprises 103 human point clouds created with commercial software and actors, each manually annotated with 11 stable landmarks. Secondly, we propose a Dual Cascade Point Transformer (D-CPT) model for precise point-based landmark detection. D-CPT gradually refines the landmarks through cascade Transformer decoder layers across the entire point cloud stream, simultaneously enhancing landmark coordinates with a RefineNet over local regions. Comparative evaluations with popular point-based methods on HPoint103 and the public dataset DHP19 demonstrate the dramatic outperformance of our D-CPT. Additionally, the integration of our RefineNet into existing methods consistently improves performance.


title: Nanoantennas and Nanoradars: The Future of Integrated Sensing and Communication at the Nanoscale

abstract: Nanoantennas, operating at optical frequencies, are a transformative technology with broad applications in 6G wireless communication, IoT, smart cities, healthcare, and medical imaging. This paper explores their fundamental aspects, applications, and advancements, aiming for a comprehensive understanding of their potential in various applications. It begins by investigating macroscopic and microscopic Maxwell's equations governing electromagnetic wave propagation at different scales. The study emphasizes the critical role of Surface Plasmon Polariton (SPP) wave propagation in enhancing light-matter interactions, contributing to high data rates, and enabling miniaturization. Additionally, it explores using two-dimensional materials like graphene for enhanced control in terahertz communication and sensing. The paper also introduces the employment of nanoantennas as the main building blocks of Nano-scale Radar (NR) systems for the first time in the literature. NRs, integrated with communication signals, promise accurate radar sensing for nanoparticles inside a nano-channel, making them a potential future application in integrated sensing and communication (ISAC) systems. These nano-scale radar systems detect and extract physical or electrical properties of nanoparticles through transmitting, receiving, and processing electromagnetic waves at ultra-high frequencies in the optical range. This task requires nanoantennas as transmitters/receivers/transceivers, sharing the same frequency band and hardware for high-performance sensing and resolution.


title: Enhanced {\alpha} particle generation via proton-boron fusion reactions in laser-modulated plasma

abstract: Aneutronic and nonradioactive properties make the proton-boron fusion a prospective candidate for fusion energy production through reactions following p+$^{11}$B$\rightarrow$3${\alpha}$ (p-$^{11}$B). However, it is difficult to achieve a thermal fusion ignition, since the low reaction cross-sections for center-of-mass energy below $\sim$100 keV. To realize fusion energy gain, it is essential to consider utilization of the maximum cross-section at the resonant peak of p-$^{11}$B fusion, and explore the nuclear reactions in plasma environment. In this work, p-$^{11}$B reactions triggered by interactions between energetic proton beams and laser-ablated boron plasma have been investigated. More than 200 times enhancement of ${\alpha}$ particle emission efficiency (number ratio of escaping ${\alpha}$ particles and boron nuclei) in plasma has been observed, compared with the cold boron. The proton beam transport path modulated by strong electro-magnetic fields in plasma could dominate the enhanced ${\alpha}$ particle generation, due to a longer collisional length. In addition, an ${\alpha}$ particle yield up to 1$\times$10$^{10}$ /sr has been measured via the pitcher-catcher scheme in plasma. This work could benefit understanding of the plasma effects on nuclear reaction dynamics, and also enable opportunities to explore physics in laser fusion associated with advanced fusion fuels.


title: Generalized Petersen graphs are (1,3)-choosable

abstract: A total weighting of a graph $G$ is a mapping $\phi$ that assigns a weight to each vertex and each edge of $G$. The vertex-sum of $v \in V(G)$ with respect to $\phi$ is $S_{\phi}(v)=\sum_{e\in E(v)}\phi(e)+\phi(v)$. A total weighting is proper if adjacent vertices have distinct vertex-sums. A graph $G=(V,E)$ is called $(k,k')$-choosable if the following is true: If each vertex $x$ is assigned a set $L(x)$ of $k$ real numbers, and each edge $e$ is assigned a set $L(e)$ of $k'$ real numbers, then there is a proper total weighting $\phi$ with $\phi(y)\in L(y)$ for any $y \in V \cup E$. In this paper, we prove that the generalized Petersen graphs are $(1,3)$-choosable.


title: Trust from Ethical Point of View: Exploring Dynamics Through Multiagent-Driven Cognitive Modeling

abstract: The paper begins by exploring the rationality of ethical trust as a foundational concept. This involves distinguishing between trust and trustworthiness and delving into scenarios where trust is both rational and moral. It lays the groundwork for understanding the complexities of trust dynamics in decision-making scenarios. Following this theoretical groundwork, we introduce an agent-based simulation framework that investigates these dynamics of ethical trust, specifically in the context of a disaster response scenario. These agents, utilizing emotional models like Plutchik's Wheel of Emotions and memory learning mechanisms, are tasked with allocating limited resources in disaster-affected areas. The model, which embodies the principles discussed in the first section, integrates cognitive load management, Big Five personality traits, and structured interactions within networked or hierarchical settings. It also includes feedback loops and simulates external events to evaluate their impact on the formation and evolution of trust among agents. Through our simulations, we demonstrate the intricate interplay of cognitive, emotional, and social factors in ethical decision-making. These insights shed light on the behaviors and resilience of trust networks in crisis situations, emphasizing the role of rational and moral considerations in the development of trust among autonomous agents. This study contributes to the field by offering an understanding of trust dynamics in socio-technical systems and by providing a robust, adaptable framework capable of addressing ethical dilemmas in disaster response and beyond. The implementation of the algorithms presented in this paper is available at this GitHub repository: \url{https://github.com/abbas-tari/ethical-trust-cognitive-modeling}.


title: Emergency Localization for Mobile Ground Users: An Adaptive UAV Trajectory Planning Method

abstract: In emergency search and rescue scenarios, the quick location of trapped people is essential. However, disasters can render the Global Positioning System (GPS) unusable. Unmanned aerial vehicles (UAVs) with localization devices can serve as mobile anchors due to their agility and high line-of-sight (LoS) probability. Nonetheless, the number of available UAVs during the initial stages of disaster relief is limited, and innovative methods are needed to quickly plan UAV trajectories to locate non-uniformly distributed dynamic targets while ensuring localization accuracy. To address this challenge, we design a single UAV localization method without hovering, use the maximum likelihood estimation (MLE) method to estimate the location of mobile users and define the upper bound of the localization error by considering users' movement.Combining this localization method and localization error-index, we utilize the enhanced particle swarm optimization (EPSO) algorithm and edge access strategy to develop a low complexity localization-oriented adaptive trajectory planning algorithm. Simulation results demonstrate that our method outperforms other baseline algorithms, enabling faster localization without compromising localization accuracy.


title: Lightweight Modality Adaptation to Sequential Recommendation via Correlation Supervision

abstract: In Sequential Recommenders (SR), encoding and utilizing modalities in an end-to-end manner is costly in terms of modality encoder sizes. Two-stage approaches can mitigate such concerns, but they suffer from poor performance due to modality forgetting, where the sequential objective overshadows modality representation. We propose a lightweight knowledge distillation solution that preserves both merits: retaining modality information and maintaining high efficiency. Specifically, we introduce a novel method that enhances the learning of embeddings in SR through the supervision of modality correlations. The supervision signals are distilled from the original modality representations, including both (1) holistic correlations, which quantify their overall associations, and (2) dissected correlation types, which refine their relationship facets (honing in on specific aspects like color or shape consistency). To further address the issue of modality forgetting, we propose an asynchronous learning step, allowing the original information to be retained longer for training the representation learning module. Our approach is compatible with various backbone architectures and outperforms the top baselines by 6.8% on average. We empirically demonstrate that preserving original feature associations from modality encoders significantly boosts task-specific recommendation adaptation. Additionally, we find that larger modality encoders (e.g., Large Language Models) contain richer feature sets which necessitate more fine-grained modeling to reach their full performance potential.


title: Diagnosing epilepsy using entropy measures and embedding parameters of EEG signals

abstract: Epilepsy is a neurological disorder that affects normal neural activity. These electrical activities can be recorded as signals containing information about the brain known as Electroencephalography (EEG) signals. Analysis of the EEG signals by individuals for epilepsy diagnosis is subjective and time-consuming. So, an automatic classification system with high detection accuracy is required to overcome possible errors. In this study, the discrete wavelet transform has been applied to EEG signals. Then, entropy measures and embedding parameters have been extracted. These features have been investigated individually to find the most discriminating ones. The significance level of each feature was evaluated by statistical analysis. Consequently, LDA and SVM algorithms have been employed to categorize the EEG signals. The results have indicated that the features of Embedding parameters, PermutationEntropy, FuzzyEntropy, SampleEntropy, NormEntropy, SureEntropy, LogEntropy, and ThresholdEntropy have the potential to discriminate epileptic patients from healthy subjects significantly. Also, SVM classifier has achieved the highest classification accuracy. In this study, we could find effective embedding-based and entropy-based features as appropriate single measures for identifying abnormal activities that can efficiently discriminate the EEG signals of epileptics from healthy individuals. According to the results, they can be used for automatic classification of epileptic EEG signals that are difficult to examine visually.


title: Inference for multivariate extremes via a semi-parametric angular-radial model

abstract: The modelling of multivariate extreme events is important in a wide variety of applications, including flood risk analysis, metocean engineering and financial modelling. A wide variety of statistical techniques have been proposed in the literature; however, many such methods are limited in the forms of dependence they can capture, or make strong parametric assumptions about data structures. In this article, we introduce a novel inference framework for multivariate extremes based on a semi-parametric angular-radial model. This model overcomes the limitations of many existing approaches and provides a unified paradigm for assessing joint tail behaviour. Alongside inferential tools, we also introduce techniques for assessing uncertainty and goodness of fit. Our proposed technique is tested on simulated data sets alongside observed metocean time series', with results indicating generally good performance.


title: Equation of State of White Dwarfs and Mass-Radius Estimation in the Newtonian Limit

abstract: White dwarfs are one of the densest form of matter following neutron star and black holes. A typical white dwarf is as massive as our sun has radius comparable to the earth. This paper reviewed the Fermi gas model Equation of State of white dwarfs and numerical computation of mass-radius and pressure density profile. A section in brief has been included for the calculation of average speed of electrons in the white dwarf environment.


title: LookAhead: Preventing DeFi Attacks via Unveiling Adversarial Contracts

abstract: DeFi incidents stemming from various smart contract vulnerabilities have culminated in financial damages exceeding 3 billion USD. The attacks causing such incidents commonly commence with the deployment of adversarial contracts, subsequently leveraging these contracts to execute adversarial transactions that exploit vulnerabilities in victim contracts. Existing defense mechanisms leverage heuristic or machine learning algorithms to detect adversarial transactions, but they face significant challenges in detecting private adversarial transactions. Namely, attackers can send adversarial transactions directly to miners, evading visibility within the blockchain network and effectively bypassing the detection. In this paper, we propose a new direction for detecting DeFi attacks, i.e., detecting adversarial contracts instead of adversarial transactions, allowing us to proactively identify potential attack intentions, even if they employ private adversarial transactions. Specifically, we observe that most adversarial contracts follow a similar pattern, e.g., anonymous fund source, closed-source, frequent token-related function calls. Based on this observation, we build a machine learning classifier that can effectively distinguish adversarial contracts from benign ones. We build a dataset consists of features extracted from 269 adversarial contracts and 13,000 benign contracts. Based on this dataset, we evaluate different classifiers, the results of which show that our method for identifying DeFi adversarial contracts performs exceptionally well. For example, the F1-Score for LightGBM-based classifier is 0.9541, with a remarkably low false positive rate of only 0.15%.


title: Eigenfunctions and Quantum Transport with Applications to Trimmed Schrodinger Operators

abstract: We provide a simple proof of dynamical delocalization, that is, time-increasing lower bounds on quantum transport for discrete, one-particle Schrodinger operators on $\ell^2 (\mathbb{Z}^d)$, provided solutions to the Schrodinger equation satisfy certain growth conditions. The proof is based on basic resolvent identities and the Combes-Thomas estimate on the exponential decay of the Green's function. As a consequence, we prove that generalized eigenfunctions for energies outside the spectrum of $H$ must grow exponentially in some directions. We also prove that if $H$ has any absolutely continuous spectrum, then the Schrodinger operator exhibits dynamical delocalization. We apply the general result to $\Gamma$-trimmed Schrodinger operators, with periodic $\Gamma$, and prove dynamical delocalization for these operators. These results also apply to the $\Gamma$-trimmed Anderson model, providing a random, ergodic model exhibiting both dynamical localization in an energy interval and dynamical delocalization.


title: BET: Explaining Deep Reinforcement Learning through The Error-Prone Decisions

abstract: Despite the impressive capabilities of Deep Reinforcement Learning (DRL) agents in many challenging scenarios, their black-box decision-making process significantly limits their deployment in safety-sensitive domains. Several previous self-interpretable works focus on revealing the critical states of the agent's decision. However, they cannot pinpoint the error-prone states. To address this issue, we propose a novel self-interpretable structure, named Backbone Extract Tree (BET), to better explain the agent's behavior by identify the error-prone states. At a high level, BET hypothesizes that states in which the agent consistently executes uniform decisions exhibit a reduced propensity for errors. To effectively model this phenomenon, BET expresses these states within neighborhoods, each defined by a curated set of representative states. Therefore, states positioned at a greater distance from these representative benchmarks are more prone to error. We evaluate BET in various popular RL environments and show its superiority over existing self-interpretable models in terms of explanation fidelity. Furthermore, we demonstrate a use case for providing explanations for the agents in StarCraft II, a sophisticated multi-agent cooperative game. To the best of our knowledge, we are the first to explain such a complex scenarios using a fully transparent structure.


title: Optimal harvesting for a logistic model with grazing

abstract: We consider semi-linear elliptic equations of the following form: \begin{equation*} \left\{ \begin{aligned} -\Delta u &= \lambda[u-\dfrac{u^2}{K}-c \dfrac{u^2}{1+u^2}-h(x) u]=:\lambda f_h(u), \quad && x \in \Omega, \frac{\partial u}{\partial \eta}&+qu = 0, \quad && x\in\partial\Omega, \end{aligned} \right. \end{equation*} where, $h\in U=\{h\in L^2(\Omega): 0\leq h(x)\leq H\}.$ We prove the existence and uniqueness of the positive solution for large $\lambda.$ Further, we establish the existence of an optimal control $h\in U$ that maximizes the functional $J(h)=\int_{\Omega}h(x)u_h(x)~\rm{d}x-\int_{\Omega}(B_1+B_2 h(x))h(x)~\rm{d}x$ over $U$, where $u_h$ is the unique positive solution of the above problem associated with $h$, $B_1>0$ is the cost per unit effort when the level of effort is low and $B_2>0$ represents the rate at which the cost rises as more labor is employed. Finally, we provide a unique optimality system.


title: High-Performance Photon Number Resolving Detectors for 850-950 nm wavelengths

abstract: Since their first demonstration in 2001, superconducting-nanowire single-photon detectors have witnessed two decades of great developments. SNSPDs are the detector of choice in most modern quantum optics experiments and are slowly finding their way into other photon starved fields of optics. Until now, however, in nearly all experiments SNSPDs were used as binary detectors, meaning they can only distinguish between 0 and more than 1 photons and photon number information is lost. Recent research works have demonstrated proof of principle photon number resolving (PNR) SNSPDs counting 2 to 5 photons. The photon-number-resolving capability is highly demanded in various quantum-optics experiments, including HOM interference, photonic quantum computing, quantum communication, and non Gaussian quantum state preparation. In particular, PNR detectors at the wavelength range of 850 to 950 nm are of great interest due to the availability of high quality semiconductor quantum dots and high-performance Cesium-based quantum memories. In this paper, we demonstrate NbTiN based SNSPDs with over 94 percent system detection efficiency, sub 11 ps timing jitter for one photon, and sub 7 ps for two photon. More importantly, our detectors resolve up to 7 photons using conventional cryogenic electric readout circuitry. Through theoretical analysis, we show that the current PNR performance of our detectors can still be further improved by improving the signal to noise ratio and bandwidth of our readout circuitry. Our results are promising for the future of optical quantum computing and quantum communication.


title: A general theorem in spectral extremal graph theory

abstract: The extremal graphs $\mathrm{EX}(n,\mathcal F)$ and spectral extremal graphs $\mathrm{SPEX}(n,\mathcal F)$ are the sets of graphs on $n$ vertices with maximum number of edges and maximum spectral radius, respectively, with no subgraph in $\mathcal F$. We prove a general theorem which allows us to characterize the spectral extremal graphs for a wide range of forbidden families $\mathcal F$ and implies several new and existing results. In particular, whenever $\mathrm{EX}(n,\mathcal F)$ contains the complete bipartite graph $K_{k,n-k}$ (or certain similar graphs) then $\mathrm{SPEX}(n,\mathcal F)$ contains the same graph when $n$ is sufficiently large. We prove a similar theorem which relates $\mathrm{SPEX}(n,\mathcal F)$ and $\mathrm{SPEX}_\alpha(n,\mathcal F)$, the set of $\mathcal F$-free graphs which maximize the spectral radius of the matrix $A_\alpha=\alpha D+(1-\alpha)A$, where $A$ is the adjacency matrix and $D$ is the diagonal degree matrix.


title: Inference for high-dimensional linear expectile regression with de-biased method

abstract: In this paper, we address the inference problem in high-dimensional linear expectile regression. We transform the expectile loss into a weighted-least-squares form and apply a de-biased strategy to establish Wald-type tests for multiple constraints within a regularized framework. Simultaneously, we construct an estimator for the pseudo-inverse of the generalized Hessian matrix in high dimension with general amenable regularizers including Lasso and SCAD, and demonstrate its consistency through a new proof technique. We conduct simulation studies and real data applications to demonstrate the efficacy of our proposed test statistic in both homoscedastic and heteroscedastic scenarios.


title: On the number of nodal domains of homogeneous caloric polynomials

abstract: We investigate the minimum and maximum number of nodal domains across all time-dependent homogeneous caloric polynomials of degree $d$ in $\mathbb{R}^{n}\times\mathbb{R}$ (space $\times$ time), i.e., polynomial solutions of the heat equation satisfying $\partial_t p\not\equiv 0$ and $$p(\lambda x, \lambda^2 t) = \lambda^d p(x,t)\quad\text{for all $x \in \mathbb{R}^n$, $t \in \mathbb{R}$, and $\lambda > 0$.}$$ When $n=1$, it is classically known that the number of nodal domains is precisely $2\lceil d/2\rceil$. When $n=2$, we prove that the minimum number of nodal domains is 2 if $d\not \equiv 0\pmod 4$ and is 3 if $d\equiv 0\pmod 4$. When $n\geq 3$, we prove that the minimum number of nodal domains is $2$ for all $d$. Finally, we show that the maximum number of nodal domains is $\Theta(d^n)$ as $d\rightarrow\infty$ and lies between $\lfloor \frac{d}{n}\rfloor^n$ and $\binom{n+d}{n}$ for all $n$ and $d$. As an application and motivation for counting nodal domains, we confirm existence of the singular strata in Mourgoglou and Puliatti's two-phase free boundary regularity theorem for caloric measure.


title: Large alternating Montesinos knots do not admit purely cosmetic surgeries

abstract: It is conjectured that, on a non-trivial knot in the 3-sphere, no pair of Dehn surgeries along distinct slopes are purely cosmetic, that is, none of them yield 3-manifolds those are orientation-preservingly homeomorphic. In this paper, we show that alternating knots having reduced alternating diagram with the twist number at least 7, Montesinos knots of length at least 5, and alternating Montesinos knots of length at least 4 do not admit purely cosmetic surgeries. As a corollary, we see that large alternating Montesinos knots have no purely cosmetic surgeries.


title: S-Prime Right Submodules and an S-Version of Prime Avoidance

abstract: Let S be an m-system of a ring R, and P a submodule of a right R-module M. This paper, presents the notion of S-prime submodule and provides some properties and equivalent definitions. We define S-multiplication right module, and prove that in multiplication (S-multiplication) right R-module M, the ideal (P :_R M) is a right S-prime ideal of R if and only if P is an S-prime submodule of M. Moreover, we give an S-version of prime avoidance lemma. Furthermore, we define S-finite and S-Noetherian right modules following the definitions in [1]. We prove that a multiplication finitely generated right R-module M is S-Noetherian if (N :_R M) is an S-prime ideal of R, for all submodules N of M. In addition, we give some examples of right S-Noetherian rings.


title: SpineCLUE: Automatic Vertebrae Identification Using Contrastive Learning and Uncertainty Estimation

abstract: Vertebrae identification in arbitrary fields-of-view plays a crucial role in diagnosing spine disease. Most spine CT contain only local regions, such as the neck, chest, and abdomen. Therefore, identification should not depend on specific vertebrae or a particular number of vertebrae being visible. Existing methods at the spine-level are unable to meet this challenge. In this paper, we propose a three-stage method to address the challenges in 3D CT vertebrae identification at vertebrae-level. By sequentially performing the tasks of vertebrae localization, segmentation, and identification, the anatomical prior information of the vertebrae is effectively utilized throughout the process. Specifically, we introduce a dual-factor density clustering algorithm to acquire localization information for individual vertebra, thereby facilitating subsequent segmentation and identification processes. In addition, to tackle the issue of interclass similarity and intra-class variability, we pre-train our identification network by using a supervised contrastive learning method. To further optimize the identification results, we estimated the uncertainty of the classification network and utilized the message fusion module to combine the uncertainty scores, while aggregating global information about the spine. Our method achieves state-of-the-art results on the VerSe19 and VerSe20 challenge benchmarks. Additionally, our approach demonstrates outstanding generalization performance on an collected dataset containing a wide range of abnormal cases.


title: City Scene Super-Resolution via Geometric Error Minimization

abstract: Super-resolution techniques are crucial in improving image granularity, particularly in complex urban scenes, where preserving geometric structures is vital for data-informed cultural heritage applications. In this paper, we propose a city scene super-resolution method via geometric error minimization. The geometric-consistent mechanism leverages the Hough Transform to extract regular geometric features in city scenes, enabling the computation of geometric errors between low-resolution and high-resolution images. By minimizing mixed mean square error and geometric align error during the super-resolution process, the proposed method efficiently restores details and geometric regularities. Extensive validations on the SET14, BSD300, Cityscapes and GSV-Cities datasets demonstrate that the proposed method outperforms existing state-of-the-art methods, especially in urban scenes.


title: Orbifold modifications of complex analytic varieties

abstract: We prove that if $X$ is a compact complex analytic variety, which has quotient singularities in codimension 2, then there is a projective bimeromorphic morphism $f\colon Y\to X$, such that $Y$ has quotient singularities, and that the indeterminacy locus of $f^{-1}$ has codimension at least 3 in $X$. As an application, we deduce the Bogomolov-Gieseker inequality on orbifold Chern classes for stable reflexive coherent sheaves on compact K\"ahler varieties which have quotient singularities in codimension 2.


title: Corner transfer matrix renormalization group approach in the zoo of Archimedean lattices

abstract: We develop a new methodology to contract tensor networks within the corner transfer matrix renormalization group approach for a wide range of two-dimensional lattice geometries. We discuss contraction algorithms on the example of triangular, kagome, honeycomb, square-octagon, star, ruby, square-hexagon-dodecahedron, and dice lattices. As benchmark tests, we apply the developed method to the classical Ising model on different lattices and observe a remarkable agreement of the results with the available from the literature. The approach also shows the necessary potential to be applied to various quantum lattice models in a combination with the wave-function variational optimization schemes.


title: A Statistical Study of Solar White-Light Flares Observed by the White-light Solar Telescope of the Lyman-alpha Solar Telescope on the Advanced Space-based Solar Observatory (ASO-S/LST/WST) at 360 nm

abstract: Solar white-light flares (WLFs) are those accompanied by brightenings in the optical continuum or integrated light. The White-light Solar Telescope (WST), as an instrument of the Lyman-alpha Solar Telescope (LST) on the Advanced Space-based Solar Observatory (ASO-S), provides continuous solar full-disk images at 360 nm, which can be used to study WLFs. We analyze 205 major flares above M1.0 from October 2022 to May 2023 and identify 49 WLFs at 360 nm from WST observations, i.e. with an occurrence rate of 23.9%. The percentages of WLFs for M1 - M4 (31 out of 180), M5 - M9 (11 out of 18), and above X1 (7 for all) flares are 17.2%, 61.1%, and 100%, respectively, namely the larger the flares, the more likely they are WLFs at 360 nm. We further analyze 39 WLFs among the identified WLFs and investigate their properties such as white-light enhancement, duration, and brightening area. It is found that the relative enhancement of the white-light emission at 360 nm is mostly (>90%) less than 30% and the mean enhancement is 19.4%. The WLFs' duration at 360 nm is mostly (>80%) less than 20 minutes and its mean is 10.3 minutes. The brightening area at 360 nm is mostly (>75%) less than 500 arcsecond2 and the median value is 225. We find that there exist good correlations between the white-light enhancement/duration/area and the peak soft X-ray (SXR) flux of the flare, with correlation coefficients of 0.68, 0.58, and 0.80, respectively. In addition, the white-light emission in most WLFs peaks around the same time as the temporal derivative of SXR flux as well as the hard X-ray emission at 20 - 50 keV, indicative of Neupert effect. It is also found that the limb WLFs are more likely to have a greater enhancement, which is consistent with numerical simulations.


title: Inkjet printed intelligent reflecting surface (IRS) for indoor applications

abstract: A passive, low-cost, paper-based intelligent reflecting surface (IRS) is designed to reflect a signal in a desired direction to overcome non-line-of-sight scenarios in indoor environments. The IRS is fabricated using conductive silver ink printed on a paper with a specific nanoparticle arrangement, yielding a cost effective paper-based IRS that can easily be mass-produced. Full-wave numerical simulation results were consistent with measurements results, demonstrating the IRS's ability to reflect incident wave into a desired nonspecular direction based on the inkjet-printed design and materials.


title: Domain Walls in the $A_4$ Flavored NMSSM

abstract: In this work, we study the phenomenology of neutrinos and the formation of cosmic domain walls in the NMSSM extended by an $A_4 \times Z_3$ flavor symmetry. Neutrino masses result from the type I seesaw mechanism using only two flavon fields and the NMSSM singlet $\mathcal{S}$ while their mixing is of Trimaximal mixing form. We perform our phenomenological study in the normal mass hierarchy where we find that observables like $m_{\beta\beta}$, $m_\beta$, and $\sum_i m_i$ can be tested by future experiments. Due to the difference between the $A_4$ subgroups that undergo spontaneous breaking in both the charged lepton and neutrino sectors, the resulting domain walls in each sector exhibit distinct structures. We delve into the details of the breaking patterns within these two sectors, and we introduce a nuanced geometric representation for them. To tackle the domain wall problem, we explore a well-established method involving the explicit breaking of the flavor symmetry. This is achieved through the introduction of Planck-suppressed operators induced by supergravity.


title: Semi-Supervised Semantic Segmentation using Redesigned Self-Training for White Blood Cells

abstract: Artificial Intelligence (AI) in healthcare, especially in white blood cell cancer diagnosis, is hindered by two primary challenges: the lack of large-scale labeled datasets for white blood cell (WBC) segmentation and outdated segmentation methods. These challenges inhibit the development of more accurate and modern techniques to diagnose cancer relating to white blood cells. To address the first challenge, a semi-supervised learning framework should be devised to efficiently capitalize on the scarcity of the dataset available. In this work, we address this issue by proposing a novel self-training pipeline with the incorporation of FixMatch. Self-training is a technique that utilizes the model trained on labeled data to generate pseudo-labels for the unlabeled data and then re-train on both of them. FixMatch is a consistency-regularization algorithm to enforce the model's robustness against variations in the input image. We discover that by incorporating FixMatch in the self-training pipeline, the performance improves in the majority of cases. Our performance achieved the best performance with the self-training scheme with consistency on DeepLab-V3 architecture and ResNet-50, reaching 90.69%, 87.37%, and 76.49% on Zheng 1, Zheng 2, and LISC datasets, respectively.


title: Phenotypic switching mechanisms determine the structure of cell migration into extracellular matrix under the `go-or-grow' hypothesis

abstract: A fundamental feature of collective cell migration is phenotypic heterogeneity which, for example, influences tumour progression and relapse. While current mathematical models often consider discrete phenotypic structuring of the cell population, in-line with the `go-or-grow' hypothesis \cite{hatzikirou2012go, stepien2018traveling}, they regularly overlook the role that the environment may play in determining the cells' phenotype during migration. Comparing a previously studied volume-filling model for a homogeneous population of generalist cells that can proliferate, move and degrade extracellular matrix (ECM) \cite{crossley2023travelling} to a novel model for a heterogeneous population comprising two distinct sub-populations of specialist cells that can either move and degrade ECM or proliferate, this study explores how different hypothetical phenotypic switching mechanisms affect the speed and structure of the invading cell populations. Through a continuum model derived from its individual-based counterpart, insights into the influence of the ECM and the impact of phenotypic switching on migrating cell populations emerge. Notably, specialist cell populations that cannot switch phenotype show reduced invasiveness compared to generalist cell populations, while implementing different forms of switching significantly alters the structure of migrating cell fronts. This key result suggests that the structure of an invading cell population could be used to infer the underlying mechanisms governing phenotypic switching.


title: Hub location with congestion and time-sensitive demand

abstract: This work studies the effect of hub congestion and time-sensitive demand on a hub-and-spoke location/allocation system. The Hub Location with Congestion and Time-sensitive Demand Problem is introduced, which combines these two main characteristics. On the one hand, hubs can be activated at several service levels, each of them characterized by a maximum capacity, expressed as the amount of flow that may circulate through the hub, which is associated with a hub transit time. On the other hand, alternative levels are available for served commodities, where each demand level is characterized by its amount of demand, unit revenue, and maximum service time. In this problem the efficiency of a hub-and-spoke system is given by the maximum net profit it may produce. To the best of our knowledge this is the first work where hub congestion and time-sensitive demand are jointly considered. Two alternative mixed-integer linear programming formulations are proposed. They include a new set of constraints, which are necessary to guarantee the consistency of the obtained solutions under the presence of the capacity-type constraints derived from hub service levels and served demand levels. The efficiency of the formulations is analyzed through a set of computational experiments. The results of the computational experiments allow to study the structure of the obtained solutions and to analyze how the different parameters affect them.


title: The cone of curves and the Cox ring of rational surfaces over Hirzebruch surfaces

abstract: Let $X$ be a rational surface obtained by blowing up at a configuration $\mathcal{C}$ of infinitely near points over a Hirzebruch surface $\mathbb{F}_\delta$. We prove that there exist two positive integers $a \leq b$ such that the cone of curves of $X$ is finite polyhedral and minimally generated when $\delta \geq a$, and the Cox ring of $X$ is finitely generated whenever $\delta \geq b$. The integers $a$ and $b$ depend only on a combinatorial object (a graph decorated with arrows) representing the strict transforms of the exceptional divisors, their intersections and those with the fibers and special section of $\mathbb{F}_\delta$.


title: Half-Space Modeling with Reflecting Surface in Molecular Communication

abstract: In Molecular Communications via Diffusion (MCvD), messenger molecules are emitted by a transmitter and propagate randomly through the fluidic environment. In biological systems, the environment can be considered a bounded space, surrounded by various structures such as tissues and organs. The propagation of molecules is affected by these structures, which reflect the molecules upon collision. Deriving the channel response of MCvD systems with an absorbing spherical receiver requires solving the 3-D diffusion equation in the presence of reflecting and absorbing boundary conditions, which is extremely challenging. In this paper, the method of images is brought to molecular communication (MC) realm to find a closed-form solution to the channel response of a single-input single-output (SISO) system near an infinite reflecting surface. We showed that a molecular SISO system in a 3-D half-space with an infinite reflecting surface could be approximated as a molecular single-input multiple-output (SIMO) system in a 3-D space, which consists of two symmetrically located, with respect to the reflecting surface, identical absorbing spherical receivers.


title: FROST-BRDF: A Fast and Robust Optimal Sampling Technique for BRDF Acquisition

abstract: Efficient and accurate BRDF acquisition of real world materials is a challenging research problem that requires sampling millions of incident light and viewing directions. To accelerate the acquisition process, one needs to find a minimal set of sampling directions such that the recovery of the full BRDF is accurate and robust given such samples. In this paper, we formulate BRDF acquisition as a compressed sensing problem, where the sensing operator is one that performs sub-sampling of the BRDF signal according to a set of optimal sample directions. To solve this problem, we propose the Fast and Robust Optimal Sampling Technique (FROST) for designing a provably optimal sub-sampling operator that places light-view samples such that the recovery error is minimized. FROST casts the problem of designing an optimal sub-sampling operator for compressed sensing into a sparse representation formulation under the Multiple Measurement Vector (MMV) signal model. The proposed reformulation is exact, i.e. without any approximations, hence it converts an intractable combinatorial problem into one that can be solved with standard optimization techniques. As a result, FROST is accompanied by strong theoretical guarantees from the field of compressed sensing. We perform a thorough analysis of FROST-BRDF using a 10-fold cross-validation with publicly available BRDF datasets and show significant advantages compared to the state-of-the-art with respect to reconstruction quality. Finally, FROST is simple, both conceptually and in terms of implementation, it produces consistent results at each run, and it is at least two orders of magnitude faster than the prior art.


title: Improving Domain Adaptation through Extended-Text Reading Comprehension

abstract: To enhance the domain-specific capabilities of large language models, continued pre-training on a domain-specific corpus is a prevalent method. Recent work demonstrates that adapting models using reading comprehension data formatted by regex-based patterns can significantly improve performance on domain-specific tasks. However, regex-based patterns are incapable of parsing raw corpora using domain-specific knowledge. Furthermore, the question and answer pairs are extracted directly from the corpus in predefined formats offers limited context. To address this limitation, we improve reading comprehension via LLM and clustering. LLM focuses on leveraging domain knowledge within the corpus to refine comprehension stage, while clustering supplies relevant knowledge by extending the context to enrich reading stage. Additionally, our method incorporates parameter-efficient fine-tuning to improve the efficiency of domain adaptation. In comparison to AdaptLLM, our method achieves an improvement exceeding 5% in domain-specific tasks. Our code will available at https://github.com/microsoft/LMOps.


title: A new look at the controllability cost of linear evolution systems with a long gaze at localized data

abstract: We revisit the classical issue of the controllability/observability cost of linear first order evolution systems, starting with ODEs, before turning to some linear first order evolution PDEs in several space dimensions, including hyperbolic systems and pseudo-differential systems obtained by linearization in fluid mechanics. In particular we investigate the cost of localized initial data, and in the dispersive case, of initial data which are semi-classically microlocalized.


title: CANDLE: Iterative Conceptualization and Instantiation Distillation from Large Language Models for Commonsense Reasoning

abstract: The sequential process of conceptualization and instantiation is essential to generalizable commonsense reasoning as it allows the application of existing knowledge to unfamiliar scenarios. However, existing works tend to undervalue the step of instantiation and heavily rely on pre-built concept taxonomies and human annotations to collect both types of knowledge, resulting in a lack of instantiated knowledge to complete reasoning, high cost, and limited scalability. To tackle these challenges, we introduce CANDLE, a distillation framework that iteratively performs contextualized conceptualization and instantiation over commonsense knowledge bases by instructing large language models to generate both types of knowledge with critic filtering. By applying CANDLE to ATOMIC, we construct a comprehensive knowledge base comprising six million conceptualizations and instantiated commonsense knowledge triples. Both types of knowledge are firmly rooted in the original ATOMIC dataset, and intrinsic evaluations demonstrate their exceptional quality and diversity. Empirical results indicate that distilling CANDLE on student models provides benefits across four downstream tasks. Our code, data, and models are publicly available at https://github.com/HKUST-KnowComp/CANDLE.


title: Generation of Flying Logical Qubits using Generalized Photon Subtraction with Adaptive Gaussian Operations

abstract: The generation of a logical qubit called the Gottesman-Kitaev-Preskill qubit in an optical traveling wave is a major challenge for realizing large-scale universal fault-tolerant optical quantum computers. Recently, probabilistic generation of elementary GKP qubits has been demonstrated using photon number measurements and homodyne measurements. However, the generation rate is only a few Hz, and it will be difficult to generate fault-tolerant GKP qubits at a practical rate unless success probability is significantly improved. Here, we propose a method to efficiently synthesize GKP qubits from several quantum states by adaptive Gaussian operations. In the initial state preparation that utilizes photon number measurements, an adaptive operation allows any measurement outcome above a certain threshold to be considered as a success. This threshold is lowered by utilizing the generalized photon subtraction method. The initial states are synthesized into a GKP qubit by homodyne measurements and a subsequent adaptive operation. As a result, the single-shot success probability of generating fault-tolerant GKP qubits in a realistic scale system exceeds 10$\%$, which is one million times better than previous methods. This proposal will become a powerful tool for advancing optical quantum computers from the proof-of-principle stage to practical application.


title: Hybrid Coded-Uncoded Caching in Multi-Access Networks with Non-uniform Demands

abstract: To address the massive growth of data traffic over cellular networks, increasing spatial reuse of the frequency spectrum by the deployment of small base stations (SBSs) has been considered. For rapid deployment of SBSs in the networks, caching popular content along with new coded caching schemes are proposed. To maximize the cellular network's capacity, densifying it with small base stations is inevitable. In ultra-dense cellular networks, coverage of SBSs may overlap. To this aim, the multi-access caching system, where users potentially can access multiple cache nodes simultaneously, has attracted more attention in recent years. Most previous works on multi-access coded caching, only consider specific conditions such as cyclic wrap-around network topologies. In this paper, we investigate caching in ultra-dense cellular networks, where different users can access different numbers of caches under non-uniform content popularity distribution, and propose Multi-Access Hybrid coded-uncoded Caching (MAHC). We formulate the optimization problem of the proposed scheme for general network topologies and evaluate it for 2-SBS network scenarios. The numerical and simulation results show that the proposed MAHC scheme outperforms optimal conventional uncoded and previous multi-access coded caching (MACC) schemes.


title: Analysis of the $gg\to H\to hh\to4\tau$ process in the 2HDM lepton specific model at the LHC

abstract: We analyse the signature of a light Higgs boson pair in the 2-Higgs Doublet Model(2HDM) Type-X (or lepton specific) over the parameter spaces allowed by theoretical self-consistency requirements as well as the latest experimental constraints from the Large Hadron Collider (LHC), precision test data and $B$ physics. Over the viable regions of the latter, wherein the Standard Model (SM)-like Higgs boson discovered at the LHC in 2012 is the heavier CP-even state of the 2HDM, $H$, it is found that the SM-like Higgs boson can decay into a pair of the lighter CP-even Higgs boson, $h$, via the process $H\to hh$ with a Branching Ratio (BR) of $5\%-10\%$ or so, (with $2 m_h < m_H =125$ GeV). Furthermore, in the Type-X scenario, the lighter Higgs bosons $h$ can dominantly decay into two $\tau$'s due to a large $\tan\beta$. Therefore, the pair of lighter Higgs bosons can altogether decay into a 4 $\tau$ final state. In order to suppress the huge SM background events, we confine ourself to consider the fraction of signal events with two Same-Sign (SS) $\tau$'s further decaying into same sign leptons while the other two $\tau$'s decay hadronically. By using Monte Carlo (MC) and Machine Learning (ML) tools, we thus focus on the analysis of the signal process $pp\to H\to hh\to \tau^{+}\tau^{-}\tau^{+}\tau^{-}\to \ell v_\ell \ell v_\ell \tau_h \tau_h$ (where $\ell= e, \mu$ and $\tau_h$ means a hadronic decay of the $\tau$) and explore the feasibility of such a search at the LHC for a collision energy $\sqrt{s}=~\text{14 TeV}$ and a luminosity $\text{300}~\text{fb}^{-1}$


title: Optimizing a Data Science System for Text Reuse Analysis

abstract: Text reuse is a methodological element of fundamental importance in humanities research: pieces of text that re-appear across different documents, verbatim or paraphrased, provide invaluable information about the historical spread and evolution of ideas. Large modern digitized corpora enable the joint analysis of text collections that span entire centuries and the detection of large-scale patterns, impossible to detect with traditional small-scale analysis. For this opportunity to materialize, it is necessary to develop efficient data science systems that perform the corresponding analysis tasks. In this paper, we share insights from ReceptionReader, a system for analyzing text reuse in large historical corpora. The system is built upon billions of instances of text reuses from large digitized corpora of 18th-century texts. Its main functionality is to perform downstream text reuse analysis tasks, such as finding reuses that stem from a given article or identifying the most reused quotes from a set of documents, with each task expressed as a database query. For the purposes of the paper, we discuss the related design choices including various database normalization levels and query execution frameworks, such as distributed data processing (Apache Spark), indexed row store engine (MariaDB Aria), and compressed column store engine (MariaDB Columnstore). Moreover, we present an extensive evaluation with various metrics of interest (latency, storage size, and computing costs) for varying workloads, and we offer insights from the trade-offs we observed and the choices that emerged as optimal in our setting. In summary, our results show that (1) for the workloads that are most relevant to text-reuse analysis, the MariaDB Aria framework emerges as the overall optimal choice, (2) big data processing (Apache Spark) is irreplaceable for all processing stages of the system's pipeline.


title: A domain decomposition method for stochastic evolution equations

abstract: In recent years, SPDEs have become a well-studied field in mathematics. With their increase in popularity, it becomes important to efficiently approximate their solutions. Thus, our goal is a contribution towards the development of efficient and practical time-stepping methods for SPDEs. Operator splitting schemes are a powerful tool for deterministic and stochastic differential equations. An example is given by domain decomposition schemes, where we split the domain into sub-domains. Instead of solving one expensive problem on the entire domain, we deal with cheaper problems on the sub-domains. This is particularly useful in modern computer architectures, as the sub-problems may often be solved in parallel. While splitting methods have already been used to study domain decomposition methods for deterministic PDEs, this is a new approach for SPDEs. We provide an abstract convergence analysis of a splitting scheme for stochastic evolution equations and state a domain decomposition scheme as an application of the setting. The theoretical results are verified through numerical experiments.


title: Embezzling entanglement from quantum fields

abstract: Embezzlement of entanglement refers to the counterintuitive possibility of extracting entangled quantum states from a reference state of an auxiliary system (the "embezzler") via local quantum operations while hardly perturbing the latter. We uncover a deep connection between the operational task of embezzling entanglement and the mathematical classification of von Neumann algebras. Our result implies that relativistic quantum fields are universal embezzlers: Any entangled state of any dimension can be embezzled from them with arbitrary precision. This provides an operational characterization of the infinite amount of entanglement present in the vacuum state of relativistic quantum field theories.


title: A Sheaf Cohomology Restriction Formula on Toric Complete Intersections

abstract: We prove a sheaf cohomology restriction (SCORE) formula for a class of vector bundles on complete intersections in toric varieties. The formula enables one to compute cohomology products on the complete intersection $X$ via computations on the ambient space $V$ and potentially compute certain quantum corrections to the classical sheaf cohomology ring. Schematically the formula reads $(s_1,...,s_r)_X = (s_1,...,s_r, g)_V$ with $g$ being an explicitly described quantity derived from the monad data of the bundle.


title: Multilevel Metamodels: A Novel Approach to Enhance Efficiency and Generalizability in Monte Carlo Simulation Studies

abstract: Metamodels, or the regression analysis of Monte Carlo simulation (MCS) results, provide a powerful tool to summarize MCS findings. However, an as of yet unexplored approach is the use of multilevel metamodels (MLMM) that better account for the dependent data structure of MCS results that arises from fitting multiple models to the same simulated data set. In this study, we articulate the theoretical rationale for the MLMM and illustrate how it can dramatically improve efficiency over the traditional regression approach, better account for complex MCS designs, and provide new insights into the generalizability of MCS findings.


title: $\theta$-Lebesgue spaces

abstract: Traditional Lp spaces are fundamental in functional analysis, demarcated by the relationship $1/p + 1/q = 1$. This research pioneers the concept of $\theta$-Lebesgue space, stemming from a simultaneous weakening of both the classical $L_p$ relation and its $\theta$-variant, $1/(\theta(p)) + 1/(\theta(q)) = 1$. This conceptual shift addresses a gap in existing mathematical frameworks, aiming to create a space that encompasses a broader range of mathematical purpose. The primary objective is to rigorously demarcate the $\theta$-Lebesgue space within this new context, explore its foundational properties, and articulate its theoretical significance in the realm of functional analysis.


title: Alternative solvents for life: framework for evaluation, current status and future research

abstract: Life is a complex, dynamic chemical system that requires a dense fluid solvent in which to take place. A common assumption is that the most likely solvent for life is liquid water, and some researchers argue that water is the only plausible solvent. However a persistent theme in astrobiological research postulates that other liquids might be cosmically common, and could be solvents for the chemistry of life. In this paper we present a new framework for the analysis of candidate solvents for life, and deploy this framework to review substances that have been suggested as solvent candidates. Our approach addresses all the requirements for a solvent, not just single chemical properties, and does so semi-quantitatively. Only the protonating solvents fulfil all the chemical requirements to be a solvent for life, and of those only water and concentrated sulfuric acid are also likely to be abundant in a rocky planetary context. Among the non-protonating solvents liquid CO2 stands out as a planetary solvent, and its potential as a solvent for life should be explored. We conclude with a discussion of whether it is possible for a biochemistry to change solvents, as an adaptation to radical changes in a planet's environment. Our analysis provides the basis for prioritizing future experimental work exploring potential complex chemistry on other planets.


title: Tailoring Photocatalytic Water Splitting Activity of Boron Thiophene Polymer through Pore Size Engineering

abstract: Taking into account the electron-rich and visible light response of thiophene, first-principles calculations have been carried out to explore the photocatalytic activity of donor-acceptor polymers incorporating thiophene and boron. The designed honeycomb-kagome boron thiophene (BTP) polymers with varying numbers of thiophene units and fixed B center atoms are direct band gap semiconductors with tunable band gaps ranging from 2.41 eV to 1.88 eV, and show high absorption coefficients under the ultraviolet and visible regions of the solar spectrum. Fine-tuning the band edges of the BTP polymer is efficiently achieved by adjusting the pore size through the manipulation of thiophene units between the B centers. This manipulation, achieved without excessive chemical functionalization, facilitates the generation of an appropriate quantity of photoexcited electrons and/or holes to straddle the redox potential of the water. Our study demonstrates that two units between B centers of thiophene in BTP polymers enable overall photocatalytic water splitting, whereas BTP polymers with larger pores solely promote photocatalytic hydrogen reduction. Moreover, the thermodynamics of hydrogen and oxygen reduction reactions proceed either spontaneously or need small additional external biases. Our findings provide the rationale for designing metal-free and single-material polymer photocatalysts based on thiophene, specifically for achieving efficient overall water splitting.