title: Cell-level modelling of homeostasis in confined epithelial monolayers

abstract: Tissue homeostasis, the biological process of maintaining a steady state in tissue via control of cell proliferation, death, and metabolic function, is essential for the development, growth, maintenance, and proper function of living organisms. Disruptions to this process can lead to serious diseases and even death. In this study, we use the vertex model for the cell-level description of tissue mechanics to investigate the impact of the tissue microenvironment and local mechanical properties of cells on homeostasis in confined epithelial tissues. We find a dynamic steady state, where the balance between cell divisions and removals sustains homeostasis. By characterising homeostasis in terms of cell count, tissue area, and the cells' neighbour count distribution, we identify the factors that govern regulated and ordered tissue growth. This work, therefore, sheds light on the mechanisms underlying tissue homeostasis and highlights the importance of mechanics in the control of biological processes such as tissue development and disease pathology.


title: A Genetic Algorithm Trained Machine-Learned Interatomic Potential for the Silicon-Carbon System

abstract: A linear regression-based machine learned interatomic potential (MLIP) was developed for the silicon-carbon system. The MLIP was predominantly trained on structures discovered through a genetic algorithm, encompassing the entire silicon-carbon composition space, and uses as its foundation the Ultra-Fast Force Fields (UF3) formulation. To improve MLIP performance, the learning algorithm was modified to include higher spline interpolation resolution in regions with large potential energy surface curvature. The developed MLIP demonstrates exceptional predictive performance, accurately estimating energies and forces for structures across the silicon-carbon composition and configuration space. The MLIP predicts mechanical properties of SiC with high precision and captures fundamental volume-pressure and volume-temperature relationships. Uniquely, this silicon-carbon MLIP is adept at modeling complex high-temperature phenomena, including the peritectic decomposition of SiC and carbon dimer formation during SiC surface reconstruction, which cannot be captured with prior classical interatomic potentials for this material.


title: Deformations of highly symmetric Calabi-Yau Grassmannian hypersurfaces

abstract: We use arithmetic and Hodge-theoretic techniques to study pencils of Calabi-Yau varieties realized as highly symmetric hypersurfaces in Grassmannians and their quotients, demonstrating that their geometric properties are distinct from the classical mirrors of Calabi-Yau Grassmannian hypersurfaces.


title: A short survey around the pumping lemma for context-free languages

abstract: Following a seminar the present author gave to an Automata Theory course to computer science students, it will be presented, in a very synthetic and mostly selfcontained way, the principal properties of context free languages (CFL), with particular attention given to the Pumping Lemma (PL), and of grammars which generate them(CFG). We refer to Chomsky and Schutzenberger for the first works about it. What is known in literature as the Iteration Theorem here will be referred to as the Ogden's Lemma in a fully justified way. All definitions not strictly connected with the notion of context freeness will be omitted (we will give precise references for all of them). The symbology used is substantially the classical one, but we will replace some symbols to avoid confusion with those used in logic


title: Crossed modules

abstract: This is an overview of the idea of a crossed module. For a group, the triple that consists of the group, its group of automorphisms, and the canonical homomorphism from the group to its group of automorphisms constitutes a crossed module. Crossed modules arise from the identities among the relations of the presentation of a group, from the extension problem for groups and, more generally, in low dimensional topology. Also, the (successful) attempt to extend the idea of a normal extension of commutative fields to the realm of non-commutative algebras leads to crossed modules. Crossed modules appear implicitly in a forgotten paper by A. Turing which in principle settles the extension problem for groups. Crossed modules make perfect sense for Lie algebras.


title: MatchSeg: Towards Better Segmentation via Reference Image Matching

abstract: Recently, automated medical image segmentation methods based on deep learning have achieved great success. However, they heavily rely on large annotated datasets, which are costly and time-consuming to acquire. Few-shot learning aims to overcome the need for annotated data by using a small labeled dataset, known as a support set, to guide predicting labels for new, unlabeled images, known as the query set. Inspired by this paradigm, we introduce MatchSeg, a novel framework that enhances medical image segmentation through strategic reference image matching. We leverage contrastive language-image pre-training (CLIP) to select highly relevant samples when defining the support set. Additionally, we design a joint attention module to strengthen the interaction between support and query features, facilitating a more effective knowledge transfer between support and query sets. We validated our method across four public datasets. Experimental results demonstrate superior segmentation performance and powerful domain generalization ability of MatchSeg against existing methods for domain-specific and cross-domain segmentation tasks. Our code is made available at https://github.com/keeplearning-again/MatchSeg


title: Utilizing Motion Matching with Deep Reinforcement Learning for Target Location Tasks

abstract: We present an approach using deep reinforcement learning (DRL) to directly generate motion matching queries for long-term tasks, particularly targeting the reaching of specific locations. By integrating motion matching and DRL, our method demonstrates the rapid learning of policies for target location tasks within minutes on a standard desktop, employing a simple reward design. Additionally, we propose a unique hit reward and obstacle curriculum scheme to enhance policy learning in environments with moving obstacles.


title: Probing $H_0$ and resolving AGN disks with ultrafast photon counters

abstract: Intensity interferometry is a technique developed many decades ago, that has recently enjoyed a renaissance thanks in part to advances in photodetector technology. We investigate the potential for long-baseline optical intensity interferometry to observe bright, active galactic nuclei (AGN) associated with rapidly accreting supermassive black holes. We argue that realistic telescope arrays similar in area to existing Cherenkov arrays, if equipped with modern high-precision single photon detectors, can achieve a sufficiently high signal to noise ratio not only to detect distant AGN, but also to study them in great detail. We explore the science potential of such observations by considering two examples. First, we find that intensity interferometric observations of bright nearby AGN can allow detailed studies of the central accretion disks powering the AGN, allowing reconstruction of many disk properties like the radial profile. Next, we argue that intensity interferometers can spatially resolve the broad-line regions of AGN at cosmological distances, and thereby provide a geometric determination of the angular diameter distances to those AGN when combined with reverberation mapping. Since this measurement can be performed for AGN at distances of hundreds of megaparsecs, this directly measures the Hubble expansion rate $H_0$, with a precision adequate to resolve the recent Hubble tension. Finally, we speculate on future applications that would be enabled by even larger intensity interferometer arrays.


title: On a relation between $\lambda$-full well-ordered sets and weakly compact cardinals

abstract: We prove, via transfinite recursion, the existence, inside any linearly ordered set of appropriate regular cardinality $\lambda$, of a particular kind of well-ordered subsets characterized by the property of $\lambda$-fullness. Let $H$ be a set of regular cardinals: by using our results about well-ordered $\lambda$-full sets we show that if $\inf H$ is a weakly compact cardinal, then, for every LOTS $X$, $H$-compactness is equivalent to the nonexistence of gaps of types in $H$.


title: Towards Low-Energy Adaptive Personalization for Resource-Constrained Devices

abstract: The personalization of machine learning (ML) models to address data drift is a significant challenge in the context of Internet of Things (IoT) applications. Presently, most approaches focus on fine-tuning either the full base model or its last few layers to adapt to new data, while often neglecting energy costs. However, various types of data drift exist, and fine-tuning the full base model or the last few layers may not result in optimal performance in certain scenarios. We propose Target Block Fine-Tuning (TBFT), a low-energy adaptive personalization framework designed for resource-constrained devices. We categorize data drift and personalization into three types: input-level, feature-level, and output-level. For each type, we fine-tune different blocks of the model to achieve optimal performance with reduced energy costs. Specifically, input-, feature-, and output-level correspond to fine-tuning the front, middle, and rear blocks of the model. We evaluate TBFT on a ResNet model, three datasets, three different training sizes, and a Raspberry Pi. Compared with the $Block Avg$, where each block is fine-tuned individually and their performance improvements are averaged, TBFT exhibits an improvement in model accuracy by an average of 15.30% whilst saving 41.57% energy consumption on average compared with full fine-tuning.


title: The breadth of Berikashvili's functor D

abstract: We discuss variants of Berikashvili's functor that arise in differential homological algebra, from simplicial bundles, from ordinary topological bundles, and in more general categorical settings. We prove that, under suitable circumstances, the value of Berikasvili's functor parametrizes isomorphism classes of bundles in various contexts.


title: Balancing art and money in pursuit of a Kelly-type optimality

abstract: We introduce and study a mathematical model of an art collector. In our model, the collector is a rational agent whose actions in the art market are driven by two competing long-term objectives, namely sustainable financial health and maintaining the collection. Mathematically, our model is a two-dimensional random linear dynamical system with transformation matrix of a peculiar type. In some examples we are able to show that within the Kelly-type optimization paradigm, that is optimizing the system's Lyapunov exponent over a set of policy parameters, the dilemma ``art or money" can be successfully resolved, namely the optimal policy creates a coexistence equilibrium where the value of both is increasing over the time.


title: Deep Gaussian Covariance Network with Trajectory Sampling for Data-Efficient Policy Search

abstract: Probabilistic world models increase data efficiency of model-based reinforcement learning (MBRL) by guiding the policy with their epistemic uncertainty to improve exploration and acquire new samples. Moreover, the uncertainty-aware learning procedures in probabilistic approaches lead to robust policies that are less sensitive to noisy observations compared to uncertainty unaware solutions. We propose to combine trajectory sampling and deep Gaussian covariance network (DGCN) for a data-efficient solution to MBRL problems in an optimal control setting. We compare trajectory sampling with density-based approximation for uncertainty propagation using three different probabilistic world models; Gaussian processes, Bayesian neural networks, and DGCNs. We provide empirical evidence using four different well-known test environments, that our method improves the sample-efficiency over other combinations of uncertainty propagation methods and probabilistic models. During our tests, we place particular emphasis on the robustness of the learned policies with respect to noisy initial states.


title: Quantum state transfer performance of Heisenberg spin chains with site-dependent interactions designed using a generic genetic algorithm

abstract: Designing a good transfer channel for arbitrary quantum states in spin chains implies optimizing a cost function, usually the averaged fidelity of transmission. The fidelity of transmission measures how much the transferred state resembles the state prepared at the beginning of the transfer protocol. When averaged over all the possible initial states, the figure of merit quantifies the quality of the protocol. There are proposals for optimizing a given Hamiltonian to accomplish a particular task. The transfer of quantum states is one of them. In particular, we consider the design of Heisenberg spin chains using a genetic algorithm. This very efficient algorithm allows us to study different properties of Hamiltonians with good to excellent transfer ability. One apparent drawback of using a random search method is that it results in exchange coefficient strengths that change abruptly from site to site. Modifying the cost function, we obtain Hamiltonians with exchange coefficients varying smoothly along the chain length. Our results show that the smoothed Hamiltonians have the same, or less, transfer ability than the rough ones, and both kinds show similar robustness against static disorder. By studying the statistical properties of the eigenvalues of Hamiltonians with varying transfer abilities, we determine the ensemble of random matrices to which the spectra belong.


title: Difference-in-Differences with Unpoolable Data

abstract: In this study, we identify and relax the assumption of data "poolability" in difference-in-differences (DID) estimation. Poolability, or the combination of observations from treated and control units into one dataset, is often not possible due to data privacy concerns. For instance, administrative health data stored in secure facilities is often not combinable across jurisdictions. We propose an innovative approach to estimate DID with unpoolable data: UN--DID. Our method incorporates adjustments for additional covariates, multiple groups, and staggered adoption. Without covariates, UN--DID and conventional DID give identical estimates of the average treatment effect on the treated (ATT). With covariates, we show mathematically and through simulations that UN--DID and conventional DID provide different, but equally informative, estimates of the ATT. An empirical example further underscores the utility of our methodology. The UN--DID method paves the way for more comprehensive analyses of policy impacts, even under data poolability constraints.


title: Intersubband polaritonic metasurfaces for high-contrast ultra-fast power limiting and optical switching

abstract: Nonlinear intersubband polaritonic metasurfaces support one of the strongest known ultrafast nonlinear responses in the mid-infrared frequency range across all condensed matter systems. Beyond harmonic generation and frequency mixing, these nonlinearities can be leveraged for ultrafast optical switching and power limiting, based on tailored transitions from strong to weak polaritonic coupling. Here, we demonstrate synergistic optimization of materials and photonic nanostructures to achieve large reflection contrast in ultrafast polaritonic metasurface limiters. The devices are based on optimized semiconductor heterostructure materials that minimize the intersubband transition linewidth and reduce absorption in optically saturated nanoresonators, achieving a record-high reflection contrast of 54% experimentally. We also discuss opportunities to further boost the metrics of performance of this class of ultrafast limiters, showing that reflection contrast as high as 94% may be realistically achieved using all-dielectric intersubband polaritonic metasurfaces.


title: Observation of the dual quantum spin Hall insulator by density-tuned correlations in a van der Waals monolayer

abstract: The convergence of topology and correlations represents a highly coveted realm in the pursuit of novel quantum states of matter. Introducing electron correlations to a quantum spin Hall (QSH) insulator can lead to the emergence of a fractional topological insulator and other exotic time-reversal-symmetric topological order, not possible in quantum Hall and Chern insulator systems. However, the QSH insulator with quantized edge conductance remains rare, let alone that with significant correlations. In this work, we report a novel dual QSH insulator within the intrinsic monolayer crystal of TaIrTe4, arising from the interplay of its single-particle topology and density-tuned electron correlations. At charge neutrality, monolayer TaIrTe4 demonstrates the QSH insulator that aligns with single-particle band structure calculations, manifesting enhanced nonlocal transport and quantized helical edge conductance. Interestingly, upon introducing electrons from charge neutrality, TaIrTe4 only shows metallic behavior in a small range of charge densities but quickly goes into a new insulating state, entirely unexpected based on TaIrTe4's single-particle band structure. This insulating state could arise from a strong electronic instability near the van Hove singularities (VHS), likely leading to a charge density wave (CDW). Remarkably, within this correlated insulating gap, we observe a resurgence of the QSH state, marked by the revival of nonlocal transport and quantized helical edge conduction. Our observation of helical edge conduction in a CDW gap could bridge spin physics and charge orders. The discovery of a dual QSH insulator introduces a new method for creating topological flat minibands via CDW superlattices, which offer a promising platform for exploring time-reversal-symmetric fractional phases and electromagnetism.


title: GPU-accelerated nonlinear model predictive control with ExaModels and MadNLP

abstract: We investigate the potential of Graphics Processing Units (GPUs) to solve large-scale nonlinear model predictive control (NMPC) problems. We accelerate the solution of the constrained nonlinear programs in the NMPC algorithm using the GPU-accelerated automatic differentiation tool ExaModels with the interior-point solver MadNLP. The sparse linear systems formulated in the interior-point method is solved on the GPU using a hybrid solver combining an iterative method with a sparse Cholesky factorization, which harness the newly released NVIDIA cuDSS solver. Our results on the classical distillation column instance show that despite a significant pre-processing time, the hybrid solver allows to reduce the time per iteration by a factor of 25 for the largest instance.


title: The automorphisms of differential extensions of characteristic $p$

abstract: Nonassociative differential extensions are generalizations of associative differential extensions, either of a purely inseparable field extension $K$ of exponent one of a field $F$, $F$ of characteristic $p$, or of a central division algebra over a purely inseparable field extension of $F$. Associative differential extensions are well known central simple algebras first defined by Amitsur and Jacobson. We explicitly compute the automorphisms of nonassociative differential extensions. These are canonically obtained by restricting automorphisms of the differential polynomial ring used in the construction of the algebra. In particular, we obtain descriptions for the automorphisms of associative differential extensions of $D$ and $K$, which are known to be inner.


title: Michell Truss and From 1-beam to k-beam

abstract: This paper generalizes the Michell Truss problem and Gangbo's paper from 1-dimension to higher dimensions using geometric measure theory. Given an elastic surface $S$ made of $(k-1)$-beams under an equilibriated system $F$ of external forces, then we ask the following two questions: 1. What are the necessary and sufficient conditions for the existence of an elastic body made of $k$-beams whose forces on the surface balance $F$ and whose surfaces consist of $S$. 2. What is an optimal design so that the total cost is a minimum? We've solved the existence question completely; and research is still in progress for the minimal question. In particular when $k=1$, it involves a system of beams joining a given finite collection of pointed forces. It was first introduced by A. Michell in 1904, then used in mechanical engineering, and recently popularized in many pure mathematics works by W. Gangbo, Prager, and others. Here we are going to generalize them to higher dimensional cases. We have already found the minimal solutions in terms of the flat chain complex and vector-valued currents. Right now we are studying the Calibration theory for future directions. I appreciate the discussion with Prof. Robert Hardt!


title: Multi-agent transformer-accelerated RL for satisfaction of STL specifications

abstract: One of the main challenges in multi-agent reinforcement learning is scalability as the number of agents increases. This issue is further exacerbated if the problem considered is temporally dependent. State-of-the-art solutions today mainly follow centralized training with decentralized execution paradigm in order to handle the scalability concerns. In this paper, we propose time-dependent multi-agent transformers which can solve the temporally dependent multi-agent problem efficiently with a centralized approach via the use of transformers that proficiently handle the large input. We highlight the efficacy of this method on two problems and use tools from statistics to verify the probability that the trajectories generated under the policy satisfy the task. The experiments show that our approach has superior performance against the literature baseline algorithms in both cases.


title: Who Uses Personas in Requirements Engineering: The Practitioners' Perspective

abstract: Personas are commonly used in software projects to gain a better understanding of end-users' needs. However, there is a limited understanding of their usage and effectiveness in practice. This paper presents the results of a two-step investigation, comprising interviews with 26 software developers, UI/UX designers, business analysts and product managers and a survey of 203 practitioners, aimed at shedding light on the current practices, methods and challenges of using personas in software development. Our findings reveal variations in the frequency and effectiveness of personas across different software projects and IT companies, the challenges practitioners face when using personas and the reasons for not using them at all. Furthermore, we investigate the coverage of human aspects in personas, often assumed to be a key feature of persona descriptions. Contrary to the general perception, our study shows that human aspects are often ignored for various reasons in personas or requirements engineering in general. Our study provides actionable insights for practitioners to overcome challenges in using personas during requirements engineering stages, and we identify areas for future research.


title: An Embarrassingly Simple Defense Against Backdoor Attacks On SSL

abstract: Self Supervised Learning (SSL) has emerged as a powerful paradigm to tackle data landscapes with absence of human supervision. The ability to learn meaningful tasks without the use of labeled data makes SSL a popular method to manage large chunks of data in the absence of labels. However, recent work indicates SSL to be vulnerable to backdoor attacks, wherein models can be controlled, possibly maliciously, to suit an adversary's motives. Li et. al (2022) introduce a novel frequency-based backdoor attack: CTRL. They show that CTRL can be used to efficiently and stealthily gain control over a victim's model trained using SSL. In this work, we devise two defense strategies against frequency-based attacks in SSL: One applicable before model training and the second to be applied during model inference. Our first contribution utilizes the invariance property of the downstream task to defend against backdoor attacks in a generalizable fashion. We observe the ASR (Attack Success Rate) to reduce by over 60% across experiments. Our Inference-time defense relies on evasiveness of the attack and uses the luminance channel to defend against attacks. Using object classification as the downstream task for SSL, we demonstrate successful defense strategies that do not require re-training of the model. Code is available at https://github.com/Aryan-Satpathy/Backdoor.


title: Negotiating the Shared Agency between Humans & AI in the Recommender System

abstract: Smart recommendation algorithms have revolutionized information dissemination, enhancing efficiency and reshaping content delivery across various domains. However, concerns about user agency have arisen due to the inherent opacity (information asymmetry) and the nature of one-way output (power asymmetry) on algorithms. While both issues have been criticized by scholars via advocating explainable AI (XAI) and human-AI collaborative decision-making (HACD), few research evaluates their integrated effects on users, and few HACD discussions in recommender systems beyond improving and filtering the results. This study proposes an incubating idea as a missing step in HACD that allows users to control the degrees of AI-recommended content. Then, we integrate it with existing XAI to a flow prototype aimed at assessing the enhancement of user agency. We seek to understand how types of agency impact user perception and experience, and bring empirical evidence to refine the guidelines and designs for human-AI interactive systems.


title: Existence for turbulent flows through permeable media with unbounded turbulent-depending coefficients

abstract: A mathematical model that governs turbulent flows through permeable media is considered in this work. The model under consideration is based on a double-averaging concept which in turn is described by the time-averaging technique characteristic of the turbulence k-epsilon model and by the volume-averaging methodology that is used to model unstable flows through porous media. The functions of turbulence viscosity, turbulence diffusion and turbulence production are assumed to be unbounded with respect to the turbulent kinetic energy. For the associated initial-and boundary-value problem, we prove the existence of suitable weak solutions.


title: Gravitational bremsstrahlung from Yukawa and nucleon collisions

abstract: We obtain the gravitational emission from particles scattering via the Yukawa interaction, presenting both classical and approximate quantum results. We also estimate the contribution from the tensor part of the internucleon interaction. This emission is the main source of a very-high frequency component to the stochastic background in the Solar System and in neutron stars. The emission from the Sun (allowing for Debye screening) and from a typical neutron star are obtained. The gravitational wave luminosity of the Sun is $41 \pm 10$ MW.


title: Self-consistent autocorrelation of a disordered Kuramoto model in the asynchronous state

abstract: The Kuramoto model has provided deep insights into synchronization phenomena and remains an important paradigm to study the dynamics of coupled oscillators. Yet, despite its success, the asynchronous regime in the Kuramoto model has received limited attention. Here, we adapt and enhance the mean-field approach originally proposed by Stiller and Radons [Phys. Rev. E 58 (1998)] to study the asynchronous state in the Kuramoto model with a finite number of oscillators and with disordered connectivity. By employing an iterative stochastic mean field (IMF) approximation, the complex N-oscillator system can effectively be reduced to a one-dimensional dynamics, both for homogeneous and heterogeneous networks. This method allows us to investigate the power spectra of individual oscillators as well as of the multiplicative "network noise" in the Kuramoto model in the asynchronous regime. By taking into account the finite system size and disorder in the connectivity, our findings become relevant for the dynamics of coupled oscillators that appear in the context of biological or technical systems.


title: On Merton's Optimal Portfolio Problem under Sporadic Bankruptcy

abstract: Consider a stock market following a geometric Brownian motion and a riskless asset continuously compounded at a constant rate. Assuming the stock can go bankrupt, i.e., lose all of its value, at some exogenous random time (independent of the stock price) modeled as the first arrival time of a homogeneous Poisson process, we study the Merton's optimal portfolio problem consisting of maximizing the expected logarithmic utility of the total wealth at a preselected finite maturity time. First, we present a heuristic derivation based on a new type of Hamilton-Jacobi-Bellman equation. Then, we formally reduce the problem to a classical controlled Markovian diffusion with a new type of terminal and running costs. A new version of Merton's ratio is rigorously derived using Bellman's dynamic programming principle and validated with a suitable type of verification theorem. A real-world example comparing the latter ratio to the classical Merton's ratio is given.


title: Perception and Control of Surfing in Virtual Reality using a 6-DoF Motion Platform

abstract: The paper presents a system for simulating surfing in Virtual Reality (VR), emphasizing the recreation of aquatic motions and user-initiated propulsive forces using a 6-Degree of Freedom (DoF) motion platform. We present an algorithmic approach to accurately render surfboard kinematics and interactive paddling dynamics, validated through experimental evaluation with \(N=17\) participants. Results indicate that the system effectively reproduces various acceleration levels, the perception of which is independent of users' body posture. We additionally found that the presence of ocean ripples amplifies the perception of acceleration. This system aims to enhance the realism and interactivity of VR surfing, laying a foundation for future advancements in surf therapy and interactive aquatic VR experiences.


title: Hedge Fund Index Rules and Construction

abstract: A Hedge Fund Index is very useful for tracking the performance of hedge fund investments, especially the timing of fund redemption. This paper presents a methodology for constructing a hedge fund index that is more like a quantitative fund of fund, rather than a weighted sum of a number of early replicable market indices, which are re-balanced periodically. The constructed index allows hedge funds to directly hedge their exposures to index-linked products. That is important given that hedge funds are an asset class with reduced transparency, and the returns are traditionally difficult to replicate using liquid instruments.


title: Altered patterning of neural activity in a tauopathy mouse model

abstract: Alzheimer's disease (AD) is a complex neurodegenerative condition that manifests at multiple levels and involves a spectrum of abnormalities ranging from the cellular to cognitive. Here, we investigate the impact of AD-related tau-pathology on hippocampal circuits in mice engaged in spatial navigation, and study changes of neuronal firing and dynamics of extracellular fields. While most studies are based on analyzing instantaneous or time-averaged characteristics of neuronal activity, we focus on intermediate timescales -- spike trains and waveforms of oscillatory potentials, which we consider as single entities. We find that, in healthy mice, spike arrangements and wave patterns (series of crests or troughs) are coupled to the animal's location, speed, and acceleration. In contrast, in tau-mice, neural activity is structurally disarrayed: brainwave cadence is detached from locomotion, spatial selectivity is lost, the spike flow is scrambled. Importantly, these alterations start early and accumulate with age, which exposes progressive disinvolvement the hippocampus circuit in spatial navigation. These features highlight qualitatively different neurodynamics than the ones provided by conventional analyses, and are more salient, thus revealing a new level of the hippocampal circuit disruptions.


title: LOAM: Low-latency Communication, Caching, and Computation Placement in Data-Intensive Computing Networks

abstract: Deploying data- and computation-intensive applications such as large-scale AI into heterogeneous dispersed computing networks can significantly enhance application performance by mitigating bottlenecks caused by limited network resources, including bandwidth, storage, and computing power. However, current resource allocation methods in dispersed computing do not provide a comprehensive solution that considers arbitrary topology, elastic resource amount, reuse of computation results, and nonlinear congestion-dependent optimization objectives. In this paper, we propose LOAM, a low-latency joint communication, caching, and computation placement framework with a rigorous analytical foundation that incorporates the above aspects. We tackle the NP-hard aggregated cost minimization problem with two methods: an offline method with a 1/2 approximation and an online adaptive method with a bounded gap from the optimum. Through extensive simulation, the proposed framework outperforms multiple baselines in both synthesis and real-world network scenarios.


title: Safe Reinforcement Learning for Constrained Markov Decision Processes with Stochastic Stopping Time

abstract: In this paper, we present an online reinforcement learning algorithm for constrained Markov decision processes with a safety constraint. Despite the necessary attention of the scientific community, considering stochastic stopping time, the problem of learning optimal policy without violating safety constraints during the learning phase is yet to be addressed. To this end, we propose an algorithm based on linear programming that does not require a process model. We show that the learned policy is safe with high confidence. We also propose a method to compute a safe baseline policy, which is central in developing algorithms that do not violate the safety constraints. Finally, we provide simulation results to show the efficacy of the proposed algorithm. Further, we demonstrate that efficient exploration can be achieved by defining a subset of the state-space called proxy set.


title: Counting induced subgraphs with the Kromatic symmetric function

abstract: The \emph{chromatic symmetric function} $X_G$ is a sum of monomials corresponding to proper vertex colorings of a graph $G$. Crew, Pechenik, and Spirkl (2023) recently introduced a $K$-theoretic analogue $\overline{X}_G$ called the \emph{Kromatic symmetric function}, where each vertex is instead assigned a nonempty set of colors such that adjacent vertices have nonoverlapping color sets. $X_G$ does not distinguish all graphs, but a longstanding open question is whether it distinguishes all trees. We conjecture that $\overline{X}_G$ does distinguish all graphs. As evidence towards this conjecture, we show that $\overline{X}_G$ determines the number of copies in $G$ of certain induced subgraphs on 4 and 5 vertices as well as the number of induced subgraphs isomorphic to each graph consisting of a star plus some number of isolated vertices.


title: Conductivity of a nonlinear Luttinger liquid with a large-scaled random potential

abstract: We perform a calculation of the uniform conductivity of one-dimensional degenerate fermion system with some large-scaled disorder. We use the nonlinear Luttinger liquid model. The only important limitation is that the frequency has to be large enough. Apart from that and few other minor constraints, the calculation is fairly general. For instance, we neither assume the interaction to be point-like nor weak. As a result, we obtain conductivity across a wide range of parameters, the parameters are the disorder scale, frequency, interaction radius and temperature.


title: X-Portrait: Expressive Portrait Animation with Hierarchical Motion Attention

abstract: We propose X-Portrait, an innovative conditional diffusion model tailored for generating expressive and temporally coherent portrait animation. Specifically, given a single portrait as appearance reference, we aim to animate it with motion derived from a driving video, capturing both highly dynamic and subtle facial expressions along with wide-range head movements. As its core, we leverage the generative prior of a pre-trained diffusion model as the rendering backbone, while achieve fine-grained head pose and expression control with novel controlling signals within the framework of ControlNet. In contrast to conventional coarse explicit controls such as facial landmarks, our motion control module is learned to interpret the dynamics directly from the original driving RGB inputs. The motion accuracy is further enhanced with a patch-based local control module that effectively enhance the motion attention to small-scale nuances like eyeball positions. Notably, to mitigate the identity leakage from the driving signals, we train our motion control modules with scaling-augmented cross-identity images, ensuring maximized disentanglement from the appearance reference modules. Experimental results demonstrate the universal effectiveness of X-Portrait across a diverse range of facial portraits and expressive driving sequences, and showcase its proficiency in generating captivating portrait animations with consistently maintained identity characteristics.


title: Towards optimal spatiotemporal wavefront shaping for the cocktail party problem with inverse design of an acoustic reconfigurable metasurface in disordered media

abstract: Multiple-user multiple-input multiple-output applications have recently gained a lot of attention. Here, we show an efficient optimization formulation for the design of all the temporal and spatial degrees of freedom of an acoustic reconfigurable metasurface for the cocktail party problem. In the frequency domain, the closed-form least square solution matches the optimal time reversal solution for multiple emitter-receiver pairs, optimizing for each frequency independently. This is more efficient than solving in the time domain where the time convolution mixes all the degrees of freedom into a resource-intensive optimization. We illustrate this methodology by optimizing the frequency response of a design for two pairs of emitters-receivers using the Green's functions of disordered media that are measured experimentally. We report strong performance that will be put in perspective in future work, where we will analyze the robustness of the design to noise in the data and design the convolutional filters that match the optimal frequency response for experiment validation of the design.


title: Understanding Domain-Size Generalization in Markov Logic Networks

abstract: We study the generalization behavior of Markov Logic Networks (MLNs) across relational structures of different sizes. Multiple works have noticed that MLNs learned on a given domain generalize poorly across domains of different sizes. This behavior emerges from a lack of internal consistency within an MLN when used across different domain sizes. In this paper, we quantify this inconsistency and bound it in terms of the variance of the MLN parameters. The parameter variance also bounds the KL divergence between an MLN's marginal distributions taken from different domain sizes. We use these bounds to show that maximizing the data log-likelihood while simultaneously minimizing the parameter variance corresponds to two natural notions of generalization across domain sizes. Our theoretical results apply to Exponential Random Graphs and other Markov network based relational models. Finally, we observe that solutions known to decrease the variance of the MLN parameters, like regularization and Domain-Size Aware MLNs, increase the internal consistency of the MLNs. We empirically verify our results on four different datasets, with different methods to control parameter variance, showing that controlling parameter variance leads to better generalization.


title: Debiased Machine Learning when Nuisance Parameters Appear in Indicator Functions

abstract: This paper studies debiased machine learning when nuisance parameters appear in indicator functions. An important example is maximized average welfare under optimal treatment assignment rules. For asymptotically valid inference for a parameter of interest, the current literature on debiased machine learning relies on Gateaux differentiability of the functions inside moment conditions, which does not hold when nuisance parameters appear in indicator functions. In this paper, we propose smoothing the indicator functions, and develop an asymptotic distribution theory for this class of models. The asymptotic behavior of the proposed estimator exhibits a trade-off between bias and variance due to smoothing. We study how a parameter which controls the degree of smoothing can be chosen optimally to minimize an upper bound of the asymptotic mean squared error. A Monte Carlo simulation supports the asymptotic distribution theory, and an empirical example illustrates the implementation of the method.


title: Sample and Communication Efficient Fully Decentralized MARL Policy Evaluation via a New Approach: Local TD update

abstract: In actor-critic framework for fully decentralized multi-agent reinforcement learning (MARL), one of the key components is the MARL policy evaluation (PE) problem, where a set of $N$ agents work cooperatively to evaluate the value function of the global states for a given policy through communicating with their neighbors. In MARL-PE, a critical challenge is how to lower the sample and communication complexities, which are defined as the number of training samples and communication rounds needed to converge to some $\epsilon$-stationary point. To lower communication complexity in MARL-PE, a "natural'' idea is to perform multiple local TD-update steps between each consecutive rounds of communication to reduce the communication frequency. However, the validity of the local TD-update approach remains unclear due to the potential "agent-drift'' phenomenon resulting from heterogeneous rewards across agents in general. This leads to an interesting open question: Can the local TD-update approach entail low sample and communication complexities? In this paper, we make the first attempt to answer this fundamental question. We focus on the setting of MARL-PE with average reward, which is motivated by many multi-agent network optimization problems. Our theoretical and experimental results confirm that allowing multiple local TD-update steps is indeed an effective approach in lowering the sample and communication complexities of MARL-PE compared to consensus-based MARL-PE algorithms. Specifically, the local TD-update steps between two consecutive communication rounds can be as large as $\mathcal{O}(1/\epsilon^{1/2}\log{(1/\epsilon)})$ in order to converge to an $\epsilon$-stationary point of MARL-PE. Moreover, we show theoretically that in order to reach the optimal sample complexity, the communication complexity of local TD-update approach is $\mathcal{O}(1/\epsilon^{1/2}\log{(1/\epsilon)})$.


title: Delay-Optimal Forwarding and Computation Offloading for Service Chain Tasks

abstract: Emerging edge computing paradigms enable heterogeneous devices to collaborate on complex computation applications. However, for congestible links and computing units, delay-optimal forwarding and offloading for service chain tasks (e.g., DNN with vertical split) in edge computing networks remains an open problem. In this paper, we formulate the service chain forwarding and offloading problem with arbitrary topology and heterogeneous transmission/computation capability, and aim to minimize the aggregated network cost. We consider congestion-aware nonlinear cost functions that cover various performance metrics and constraints, such as average queueing delay with limited processor capacity. We solve the non-convex optimization problem globally by analyzing the KKT condition and proposing a sufficient condition for optimality. We then propose a distributed algorithm that converges to the global optimum. The algorithm adapts to changes in input rates and network topology, and can be implemented as an online algorithm. Numerical evaluation shows that our method significantly outperforms baselines in multiple network instances, especially in congested scenarios.


title: Model, Analyze, and Comprehend User Interactions and Various Attributes within a Social Media Platform

abstract: How can we effectively model, analyze, and comprehend user interactions and various attributes within a social media platform based on post-comment relationship? In this study, we propose a novel graph-based approach to model and analyze user interactions within a social media platform based on post-comment relationship. We construct a user interaction graph from social media data and analyze it to gain insights into community dynamics, user behavior, and content preferences. Our investigation reveals that while 56.05% of the active users are strongly connected within the community, only 0.8% of them significantly contribute to its dynamics. Moreover, we observe temporal variations in community activity, with certain periods experiencing heightened engagement. Additionally, our findings highlight a correlation between user activity and popularity showing that more active users are generally more popular. Alongside these, a preference for positive and informative content is also observed where 82.41% users preferred positive and informative content. Overall, our study provides a comprehensive framework for understanding and managing online communities, leveraging graph-based techniques to gain valuable insights into user behavior and community dynamics.


title: LlamBERT: Large-scale low-cost data annotation in NLP

abstract: Large Language Models (LLMs), such as GPT-4 and Llama 2, show remarkable proficiency in a wide range of natural language processing (NLP) tasks. Despite their effectiveness, the high costs associated with their use pose a challenge. We present LlamBERT, a hybrid approach that leverages LLMs to annotate a small subset of large, unlabeled databases and uses the results for fine-tuning transformer encoders like BERT and RoBERTa. This strategy is evaluated on two diverse datasets: the IMDb review dataset and the UMLS Meta-Thesaurus. Our results indicate that the LlamBERT approach slightly compromises on accuracy while offering much greater cost-effectiveness.


title: Cyclic Group Spectra for Some Small Relation Algebras

abstract: The question of characterizing the (finite) representable relation algebras in a ``nice" way is open. The class $\mathbf{RRA}$ is known to be not finitely axiomatizable in first-order logic. Nevertheless, it is conjectured that ``almost all'' finite relation algebras are representable. All finite relation algebras with three or fewer atoms are representable. So one may ask, Over what cardinalities of sets are they representable? This question was answered completely by Andr\'eka and Maddux (``Representations for small relation algebras,'' \emph{Notre Dame J. Form. Log.}, \textbf{35} (1994)); they determine the spectrum of every finite relation algebra with three or fewer atoms. In the present paper, we restrict attention to cyclic group representations, and completely determine the cyclic group spectrum for all seven symmetric integral relation algebras on three atoms. We find that in some instances, the spectrum and cyclic spectrum agree; in other instances, the spectra disagree for finitely many $n$; finally, for other instances, the spectra disagree for infinitely many $n$. The proofs employ constructions, SAT solvers, and the probabilistic method.


title: Geotokens and Geotransformers

abstract: In transformer architectures, position encoding primarily provides a sense of sequence for input tokens. While the original transformer paper's method has shown satisfactory results in general language processing tasks, there have been new proposals, such as Rotary Position Embedding (RoPE), for further improvement. This paper presents geotokens, input components for transformers, each linked to a specific geological location. Unlike typical language sequences, for these tokens, the order is not as vital as the geographical coordinates themselves. To represent the relative position in this context and to keep a balance between the real world distance and the distance in the embedding space, we design a position encoding approach drawing from the RoPE structure but tailored for spherical coordinates.


title: Explore until Confident: Efficient Exploration for Embodied Question Answering

abstract: We consider the problem of Embodied Question Answering (EQA), which refers to settings where an embodied agent such as a robot needs to actively explore an environment to gather information until it is confident about the answer to a question. In this work, we leverage the strong semantic reasoning capabilities of large vision-language models (VLMs) to efficiently explore and answer such questions. However, there are two main challenges when using VLMs in EQA: they do not have an internal memory for mapping the scene to be able to plan how to explore over time, and their confidence can be miscalibrated and can cause the robot to prematurely stop exploration or over-explore. We propose a method that first builds a semantic map of the scene based on depth information and via visual prompting of a VLM - leveraging its vast knowledge of relevant regions of the scene for exploration. Next, we use conformal prediction to calibrate the VLM's question answering confidence, allowing the robot to know when to stop exploration - leading to a more calibrated and efficient exploration strategy. To test our framework in simulation, we also contribute a new EQA dataset with diverse, realistic human-robot scenarios and scenes built upon the Habitat-Matterport 3D Research Dataset (HM3D). Both simulated and real robot experiments show our proposed approach improves the performance and efficiency over baselines that do no leverage VLM for exploration or do not calibrate its confidence. Webpage with experiment videos and code: https://explore-eqa.github.io/


title: Matroids and semirings attached to toric singularity arrangements

abstract: Curve singularities are classical objects of study in algebraic geometry. The key player in their combinatorial structure is the {\it value semigroup}, or its compactification, the {\it value semiring}. One natural problem is to explicitly determine the value semirings of distinguished infinite classes of singularities, with a view to understanding their asymptotic properties. In this paper, we establish a matroidal framework for resolving this problem for singularities determined by arrangements of toric branches; and we obtain precise quantitative results in the case of line arrangements. Our results have implications for the topology of Severi varieties of unisingular rational curves in projective space.


title: Advanced Feature Manipulation for Enhanced Change Detection Leveraging Natural Language Models

abstract: Change detection is a fundamental task in computer vision that processes a bi-temporal image pair to differentiate between semantically altered and unaltered regions. Large language models (LLMs) have been utilized in various domains for their exceptional feature extraction capabilities and have shown promise in numerous downstream applications. In this study, we harness the power of a pre-trained LLM, extracting feature maps from extensive datasets, and employ an auxiliary network to detect changes. Unlike existing LLM-based change detection methods that solely focus on deriving high-quality feature maps, our approach emphasizes the manipulation of these feature maps to enhance semantic relevance.


title: Adaptive Super Resolution For One-Shot Talking-Head Generation

abstract: The one-shot talking-head generation learns to synthesize a talking-head video with one source portrait image under the driving of same or different identity video. Usually these methods require plane-based pixel transformations via Jacobin matrices or facial image warps for novel poses generation. The constraints of using a single image source and pixel displacements often compromise the clarity of the synthesized images. Some methods try to improve the quality of synthesized videos by introducing additional super-resolution modules, but this will undoubtedly increase computational consumption and destroy the original data distribution. In this work, we propose an adaptive high-quality talking-head video generation method, which synthesizes high-resolution video without additional pre-trained modules. Specifically, inspired by existing super-resolution methods, we down-sample the one-shot source image, and then adaptively reconstruct high-frequency details via an encoder-decoder module, resulting in enhanced video clarity. Our method consistently improves the quality of generated videos through a straightforward yet effective strategy, substantiated by quantitative and qualitative evaluations. The code and demo video are available on: \url{https://github.com/Songluchuan/AdaSR-TalkingHead/}.


title: Three-dimensional clustering characteristics of large-stokes number sprays interacting with turbulent swirling co-flows

abstract: Three-dimensional (3D) clustering characteristics of large-stokes number sprays interacting with turbulent swirling co-flows are investigated experimentally. The Astigmatic Interferometric Particle Imaging (AIPI) technique is utilized for simultaneous measurement of the spray droplets position in 3D space and their corresponding diameter. The Stokes number estimated based on the Kolmogorov time scale varies from 34 to 142. The results show that the degree of droplet clustering plateaus at about 0.4 and at large Stokes numbers. It is obtained that the mean length scale of the clusters normalized by the Kolmogorov length scale follows a power-law relation with the Stokes number, and the mean void length scale normalized by the integral length scale plateaus at about 1.5. It is shown that the ratio of the number density of the droplets residing within the clusters to the global number density increases with increasing the Stokes number and is about 8 for the largest stokes number examined in this study. The joint characteristics of cluster's normalized volume and the mean diameter of droplets residing within the clusters show that small-volume clusters accommodate droplets with a relatively broad range of diameter. However, large clusters carry droplets with the most probable diameter. The developed AIPI technique in the present study and the corresponding spray characteristics are of importance for engineering applications that aim to understand the 3D clustering characteristics of large-stokes number droplets sprayed into turbulent swirling co-flows.


title: Team Coordination on Graphs: Problem, Analysis, and Algorithms

abstract: Team Coordination on Graphs with Risky Edges (TCGRE) is a recently emerged problem, in which a robot team collectively reduces graph traversal cost through support from one robot to another when the latter traverses a risky edge. Resembling the traditional Multi-Agent Path Finding (MAPF) problem, both classical and learning-based methods have been proposed to solve TCGRE, however, they lacked either computation efficiency or optimality assurance. In this paper, we reformulate TCGRE as a constrained optimization and perform rigorous mathematical analysis. Our theoretical analysis shows the NP-hardness of TCGRE by reduction from the Maximum 3D Matching problem and that efficient decomposition is a key to tackle this combinatorial optimization problem. Further more, we design three classes of algorithms to solve TCGRE, i.e., Joint State Graph (JSG) based, coordination based, and receding-horizon sub-team based solutions. Each of these proposed algorithms enjoy different provable optimality and efficiency characteristics that are demonstrated in our extensive experiments.


title: Deep Domain Adaptation: A Sim2Real Neural Approach for Improving Eye-Tracking Systems

abstract: Eye image segmentation is a critical step in eye tracking that has great influence over the final gaze estimate. Segmentation models trained using supervised machine learning can excel at this task, their effectiveness is determined by the degree of overlap between the narrow distributions of image properties defined by the target dataset and highly specific training datasets, of which there are few. Attempts to broaden the distribution of existing eye image datasets through the inclusion of synthetic eye images have found that a model trained on synthetic images will often fail to generalize back to real-world eye images. In remedy, we use dimensionality-reduction techniques to measure the overlap between the target eye images and synthetic training data, and to prune the training dataset in a manner that maximizes distribution overlap. We demonstrate that our methods result in robust, improved performance when tackling the discrepancy between simulation and real-world data samples.


title: Precise calculations for decays of Higgs bosons in extended Higgs sectors

abstract: We briefly introduce H-COUP_3.0, which we developed for evaluating higher-order corrections to any Higgs boson decays in various extended Higgs sectors. Focusing on two Higgs doublet models (2HDMs), we then discuss how the non-decoupling effects of the additional Higgs bosons are significant in Higgs boson decays.


title: Deep Probabilistic Direction Prediction in 3D with Applications to Directional Dark Matter Detectors

abstract: We present the first method to probabilistically predict 3D direction in a deep neural network model. The probabilistic predictions are modeled as a heteroscedastic von Mises-Fisher distribution on the sphere $\mathbb{S}^2$, giving a simple way to quantify aleatoric uncertainty. This approach generalizes the cosine distance loss which is a special case of our loss function when the uncertainty is assumed to be uniform across samples. We develop approximations required to make the likelihood function and gradient calculations stable. The method is applied to the task of predicting the 3D directions of electrons, the most complex signal in a class of experimental particle physics detectors designed to demonstrate the particle nature of dark matter and study solar neutrinos. Using simulated Monte Carlo data, the initial direction of recoiling electrons is inferred from their tortuous trajectories, as captured by the 3D detectors. For $40\,$keV electrons in a $70\%$ $\textrm{He}$ $30 \%$ $\textrm{CO}_2$ gas mixture at STP, the new approach achieves a mean cosine distance of $0.104$ ($26^\circ$) compared to $0.556$ ($64^\circ$) achieved by a non-machine learning algorithm. We show that the model is well-calibrated and accuracy can be increased further by removing samples with high predicted uncertainty. This advancement in probabilistic 3D directional learning could increase the sensitivity of directional dark matter detectors.


title: Modeling the inner part of the jet in M87: Confronting jet morphology with theory

abstract: The formation of jets in black hole accretion systems is a long-standing problem. It has been proposed that a jet can be formed by extracting the rotation energy of the black hole ("BZ-jet") or the accretion flow ("disk-jet"). While both models can produce collimated relativistic outflows, neither has successfully explained the observed jet morphology. By employing general relativistic magnetohydrodynamic simulations, and considering nonthermal electrons accelerated by magnetic reconnection that is likely driven by magnetic eruption in the underlying accretion flow, we obtain images by radiative transfer calculations and compared them to millimeter observations of the jet in M87. We find that the BZ-jet originating from a magnetically arrested disk around a high-spin black hole can well reproduce the jet morphology, including its width and limb-brightening feature.


title: MapTracker: Tracking with Strided Memory Fusion for Consistent Vector HD Mapping

abstract: This paper presents a vector HD-mapping algorithm that formulates the mapping as a tracking task and uses a history of memory latents to ensure consistent reconstructions over time. Our method, MapTracker, accumulates a sensor stream into memory buffers of two latent representations: 1) Raster latents in the bird's-eye-view (BEV) space and 2) Vector latents over the road elements (i.e., pedestrian-crossings, lane-dividers, and road-boundaries). The approach borrows the query propagation paradigm from the tracking literature that explicitly associates tracked road elements from the previous frame to the current, while fusing a subset of memory latents selected with distance strides to further enhance temporal consistency. A vector latent is decoded to reconstruct the geometry of a road element. The paper further makes benchmark contributions by 1) Improving processing code for existing datasets to produce consistent ground truth with temporal alignments and 2) Augmenting existing mAP metrics with consistency checks. MapTracker significantly outperforms existing methods on both nuScenes and Agroverse2 datasets by over 8% and 19% on the conventional and the new consistency-aware metrics, respectively. The code will be available on our project page: https://map-tracker.github.io.


title: IllusionVQA: A Challenging Optical Illusion Dataset for Vision Language Models

abstract: The advent of Vision Language Models (VLM) has allowed researchers to investigate the visual understanding of a neural network using natural language. Beyond object classification and detection, VLMs are capable of visual comprehension and common-sense reasoning. This naturally led to the question: How do VLMs respond when the image itself is inherently unreasonable? To this end, we present IllusionVQA: a diverse dataset of challenging optical illusions and hard-to-interpret scenes to test the capability of VLMs in two distinct multiple-choice VQA tasks - comprehension and soft localization. GPT4V, the best-performing VLM, achieves 62.99% accuracy (4-shot) on the comprehension task and 49.7% on the localization task (4-shot and Chain-of-Thought). Human evaluation reveals that humans achieve 91.03% and 100% accuracy in comprehension and localization. We discover that In-Context Learning (ICL) and Chain-of-Thought reasoning substantially degrade the performance of GeminiPro on the localization task. Tangentially, we discover a potential weakness in the ICL capabilities of VLMs: they fail to locate optical illusions even when the correct answer is in the context window as a few-shot example.


title: Understanding The Effectiveness of Lossy Compression in Machine Learning Training Sets

abstract: Learning and Artificial Intelligence (ML/AI) techniques have become increasingly prevalent in high performance computing (HPC). However, these methods depend on vast volumes of floating point data for training and validation which need methods to share the data on a wide area network (WAN) or to transfer it from edge devices to data centers. Data compression can be a solution to these problems, but an in-depth understanding of how lossy compression affects model quality is needed. Prior work largely considers a single application or compression method. We designed a systematic methodology for evaluating data reduction techniques for ML/AI, and we use it to perform a very comprehensive evaluation with 17 data reduction methods on 7 ML/AI applications to show modern lossy compression methods can achieve a 50-100x compression ratio improvement for a 1% or less loss in quality. We identify critical insights that guide the future use and design of lossy compressors for ML/AI.


title: Multi-radius Soler-Williams Augmented Plane Waves (SAPWMR), Multi-Radius Soler-Williams Linearized Augmented Plane Waves (SLAPWMR) and extensions

abstract: In this work we present a new basis set for electronic structures (Density Functional Theory (DFT)) calculations. This basis set extends Soler Williams Linearized Augmented Plane Wave (SLAPW) basis sets by allowing variable Muffin Tin (MT) sphere radii for the different angular momentum channels and for different magnitude wave vectors of the augmented plane waves. With the correct choice of MT radius, this allows us to match additional derivatives of the wave function at the MT radius without having to resort to additional higher derivative terms as part of the wave function expansion inside the MT sphere. This should lead to low wave vector basis set and low linearization energy errors, arguably as good as APW basis set size and LAPW basis linearization errors. We call these basis sets SAPWMR and SLAPWMR depending on the number of derivative like wave functions kept inside the MT radii. Similarly local orbital (LO and lo basis wave functions depending on the number of derivative terms in the MT radius) are suggested with a variable radius. that reduces the number of derivative like terms needed to make them continuous or continuously differentiable. As such semi-core states can also be well handled by our methods. Furthermore in the appendix Full Potential Hamiltonian calculations (FLAPW) are extended to FSLAPWMR full potential calculations for Hamiltonian matrix elements. In the Appendix we introduce some further ideas to improve the speed of DFT calculations which are relevant to the basis sets presented here and to other basis sets such as the LAPW basis set.


title: Finding needles in a haystack: A Black-Box Approach to Invisible Watermark Detection

abstract: In this paper, we propose WaterMark Detection (WMD), the first invisible watermark detection method under a black-box and annotation-free setting. WMD is capable of detecting arbitrary watermarks within a given reference dataset using a clean non-watermarked dataset as a reference, without relying on specific decoding methods or prior knowledge of the watermarking techniques. We develop WMD using foundations of offset learning, where a clean non-watermarked dataset enables us to isolate the influence of only watermarked samples in the reference dataset. Our comprehensive evaluations demonstrate the effectiveness of WMD, significantly outperforming naive detection methods, which only yield AUC scores around 0.5. In contrast, WMD consistently achieves impressive detection AUC scores, surpassing 0.9 in most single-watermark datasets and exceeding 0.7 in more challenging multi-watermark scenarios across diverse datasets and watermarking methods. As invisible watermarks become increasingly prevalent, while specific decoding techniques remain undisclosed, our approach provides a versatile solution and establishes a path toward increasing accountability, transparency, and trust in our digital visual content.


title: Nanoimprinted Exciton-Polaritons Metasurfaces: Cost-Effective, Large-Scale, High Homogeneity, and Room Temperature Operation

abstract: Exciton-polaritons represent a promising platform that combines the strengths of both photonic and electronic systems for future optoelectronic devices. However, their application is currently limited to laboratory research due to the high cost and complexity of fabrication methods, which are not compatible with the mature CMOS technology developed for microelectronics. In this work, we develop an innovative, low-cost, and CMOS-compatible method for fabricating large surface polaritonic devices. This is achieved by direct patterning of a halide-perovskite thin film via thermal nanoimprint. As a result, we observe highly homogeneous polaritonic modes of quality factor $Q\approx 300$ at room temperature across a centimetric scale. Impressively, the process provides high reproducibility and fidelity, as the same mold can be reused more than 10 times to imprint the perovskite layer on different types of substrates. Our results could pave the way for the production of low-cost integrated polaritonic devices operating at room temperature.


title: Putting all eggs in one basket: some insights from a correlation inequality

abstract: We give examples of situations -- stochastic production, military tactics, corporate merger -- where it is beneficial to concentrate risk rather than to diversify it, that is, to put all eggs in one basket. Our examples admit a dual interpretation: as optimal strategies of a single player (the `principal') or, alternatively, as dominant strategies in a non-cooperative game with multiple players (the `agents'). The key mathematical result can be formulated in terms of a convolution structure on the set of increasing functions on a Boolean lattice (the lattice of subsets of a finite set). This generalizes the well-known Harris inequality from statistical physics and discrete mathematics; we give a simple self-contained proof of this result, and prove a further generalization based on the game-theoretic approach.


title: Convection-Enabled Boundary Control of a 2D Channel Flow

abstract: We consider the incompressible Navier-Stokes equations in a two-dimensional channel. The tangential and normal velocities are assumed to be periodic in the streamwise (horizontal) direction. Moreover, we consider no-slip boundary conditions on the tangential velocity at the top and bottom walls of the channel, and normal velocity actuation at the top and bottom walls. For an arbitrarily large Reynolds number, we design the boundary control inputs to achieve global exponential stabilization, in the L2 sense, of a chosen parabolic Poiseuille profile. Moreover, we design the control inputs such that they have zero mean, but non-zero cubic mean. The zero-mean property is to ensure that the conservation of mass constraint is verified. The non-zero cubic mean property is the key to exploiting the stabilizing effect of nonlinear convection and achieving global stabilization independently of the size of the Reynolds number. This paper is not only the first work where a closed-form feedback law is proposed for global stabilization of parabolic Poiseuille profiles for arbitrary Reynolds number but is also the first generalization of the Cardano-Lyapunov formula, designed initially to stabilize scalar-valued convective PDEs, to a vector-valued convective PDE with a divergence-free constraint on the state.


title: Risk-Calibrated Human-Robot Interaction via Set-Valued Intent Prediction

abstract: Tasks where robots must anticipate human intent, such as navigating around a cluttered home or sorting everyday items, are challenging because they exhibit a wide range of valid actions that lead to similar outcomes. Moreover, zero-shot cooperation between human-robot partners is an especially challenging problem because it requires the robot to infer and adapt on the fly to a latent human intent, which could vary significantly from human to human. Recently, deep learned motion prediction models have shown promising results in predicting human intent but are prone to being confidently incorrect. In this work, we present Risk-Calibrated Interactive Planning (RCIP), which is a framework for measuring and calibrating risk associated with uncertain action selection in human-robot cooperation, with the fundamental idea that the robot should ask for human clarification when the risk associated with the uncertainty in the human's intent cannot be controlled. RCIP builds on the theory of set-valued risk calibration to provide a finite-sample statistical guarantee on the cumulative loss incurred by the robot while minimizing the cost of human clarification in complex multi-step settings. Our main insight is to frame the risk control problem as a sequence-level multi-hypothesis testing problem, allowing efficient calibration using a low-dimensional parameter that controls a pre-trained risk-aware policy. Experiments across a variety of simulated and real-world environments demonstrate RCIP's ability to predict and adapt to a diverse set of dynamic human intents.


title: The smooth Mordell-Weil group and mapping class groups of elliptic surfaces

abstract: This is a paper in smooth $4$-manifold topology, inspired by the Mordell-Weil Theorem in number theory. More precisely, we prove a smooth version of the Mordell-Weil Theorem and apply it to the `unipotent radical' case of a Thurston-type classification of mapping classes of simply-connected $4$-manifolds $M_d$ that admit the structure of an elliptic complex surface of arithmetic genus $d\geq 1$. Applications include Nielsen realization theorems for $M_d$. By combining this with known results, we obtain the following remarkable consequence: if the singular fibers of such an elliptic fibration are of the simplest (i.e.\ nodal) type, then the fibered structure is unique up topological isotopy. In particular, any diffeomorphism of $M_d,d\geq 3$ is topologically isotopic to a diffeomorphism taking fibers to fibers.


title: SAT Encoding of Partial Ordering Models for Graph Coloring Problems

abstract: In this paper, we suggest new SAT encodings of the partial-ordering based ILP model for the graph coloring problem (GCP) and the bandwidth coloring problem (BCP). The GCP asks for the minimum number of colors that can be assigned to the vertices of a given graph such that each two adjacent vertices get different colors. The BCP is a generalization, where each edge has a weight that enforces a minimal "distance" between the assigned colors, and the goal is to minimize the "largest" color used. For the widely studied GCP, we experimentally compare our new SAT encoding to the state-of-the-art approaches on the DIMACS benchmark set. Our evaluation confirms that this SAT encoding is effective for sparse graphs and even outperforms the state-of-the-art on some DIMACS instances. For the BCP, our theoretical analysis shows that the partial-ordering based SAT and ILP formulations have an asymptotically smaller size than that of the classical assignment-based model. Our practical evaluation confirms not only a dominance compared to the assignment-based encodings but also to the state-of-the-art approaches on a set of benchmark instances. Up to our knowledge, we have solved several open instances of the BCP from the literature for the first time.


title: Detection of Problem Gambling with Less Features Using Machine Learning Methods

abstract: Analytic features in gambling study are performed based on the amount of data monitoring on user daily actions. While performing the detection of problem gambling, existing datasets provide relatively rich analytic features for building machine learning based model. However, considering the complexity and cost of collecting the analytic features in real applications, conducting precise detection with less features will tremendously reduce the cost of data collection. In this study, we propose a deep neural networks PGN4 that performs well when using limited analytic features. Through the experiment on two datasets, we discover that PGN4 only experiences a mere performance drop when cutting 102 features to 5 features. Besides, we find the commonality within the top 5 features from two datasets.


title: Homogenization of nonconvex viscous Hamilton-Jacobi equations in stationary ergodic media in one dimension

abstract: We establish homogenization for nondegenerate viscous Hamilton-Jacobi equations in one space dimension when the diffusion coefficient $a(x,\omega) > 0$ and the Hamiltonian $H(p,x,\omega)$ are general stationary ergodic processes in $x$. Our result is valid under mild regularity assumptions on $a$ and $H$ plus standard coercivity and growth assumptions (in $p$) on the latter. In particular, we impose neither any additional condition on the law of the media nor any shape restriction on the graph of $p\mapsto H(p,x,\omega)$. Our approach consists of two main steps: (i) constructing a suitable candidate $\overline{H}$ for the effective Hamiltonian; (ii) proving homogenization. In the first step, we work with the set $E$ of all points at which $\overline{H}$ is naturally determined by correctors with stationary derivatives. We prove that $E$ is a closed subset of $\mathbb{R}$ that is unbounded from above and below, and, if $E\neq\mathbb{R}$, then $\overline{H}$ can be extended continuously to $\mathbb{R}$ by setting it to be constant on each connected component of $E^c$. In the second step, we use a key bridging lemma, comparison arguments and several general results to verify that homogenization holds with this $\overline{H}$ as the effective Hamiltonian.


title: Optimal lower estimate for the first eigenvalue of the p-Laplacian

abstract: An integral inequality is derived for compact submanifolds (with or without boundary) in the unit sphere. This result leads to a characterization of spheres.


title: Controllable bipolaron formation unveiling structural features of trap states in organic charge transport

abstract: Magnetic resonance methods offer a unique chance for in-depth study of conductive organic material systems, not only accounts for number of charge carriers, but also allows manipulations of spin dynamics of particles. Here we present a study of continuous-wave electrically detected magnetic resonance on a range of organic conjugate polymers under transistor architecture, with tunability in both carrier concentration and drifting electric field. We demonstrate the general existence of bipolaron between mobile and trapped charges at the magnetic resonance condition, then estimates the wavefunction expansion of charge carriers on their hopping sites along conductive pathways. This finding allows direct observation of energetically disordered trap sites under the charge hopping picture, linking-up the microscopic structural properties to the bulk electronic performances.


title: Fisher Information Approach for Masking the Sensing Plan: Applications in Multifunction Radars

abstract: How to design a Markov Decision Process (MDP) based radar controller that makes small sacrifices in performance to mask its sensing plan from an adversary? The radar controller purposefully minimizes the Fisher information of its emissions so that an adversary cannot identify the controller's model parameters accurately. Unlike classical open loop statistical inference, where the Fisher information serves as a lower bound for the achievable covariance, this paper employs the Fisher information as a design constraint for a closed loop radar controller to mask its sensing plan. We analytically derive a closed-form expression for the determinant of the Fisher Information Matrix (FIM) pertaining to the parameters of the MDP-based controller. Subsequently, we constrain the MDP with respect to the determinant of the FIM. Numerical results show that the introduction of minor perturbations to the MDP's transition kernel and the total operation cost can reduce the Fisher Information of the emissions. Consequently, this reduction amplifies the variability in policy and transition kernel estimation errors, thwarting the adversary's accuracy in estimating the controller's sensing plan.


title: Ramanujan type congruences for quotients of Klein forms

abstract: In this work, Ramanujan type congruences modulo powers of primes $p \ge 5$ are derived for a general class of products that are modular forms of level $p$. These products are constructed in terms of Klein forms and subsume generating functions for $t$-core partitions known to satisfy Ramanujan type congruences for $p=5,7,11$. The vectors of exponents corresponding to products that are modular forms for $\Gamma_{1}(p)$ are subsets of bounded polytopes with explicit parameterizations. This allows for the derivation of a complete list of products that are modular forms for $\Gamma_{1}(p)$ of weights $1\le k \le 5$ for primes $5\le p \le 19$ and whose Fourier coefficients satisfy Ramanujan type congruences for all powers of the primes. For each product satisfying a congruence, cyclic permutations of the exponents determine additional products satisfying congruences. Common forms among the exponent sets lead to products satisfying Ramanujan type congruences for a broad class of primes, including $p> 19$. Canonical bases for modular forms of level $5\le p \le 19$ are constructed by summing weight one Hecke Eisensten series of levels $5\le p \le 19$ and expressing the result as a quotient of Klein forms. Generating sets for the graded algebras of modular forms for $\Gamma_{1}(p)$ and $\Gamma(p)$ are formulated in terms of permutations of the exponent sets. A sieving process is described by decomposing the space of modular forms of weight $1$ for $\Gamma_{1}(p)$ as a direct sum of subspaces of modular forms for $\Gamma(p)$ of the form $q^{r/p}\Bbb Z[[q]]$. Since the relevant bases generate the graded algebra of modular forms for these groups, the weight one decompositions determine series dissections for modular forms of higher weight that lead to additional classes of congruences.


title: Symplectic differential reduction algebras and skew-affine generalized Weyl algebras

abstract: For a map $\varphi\!:U(\mathfrak{g})\rightarrow A$ of associative algebras, $U(\mathfrak{g})$ the universal enveloping algebra of a (complex) finite-dimensional reductive Lie algebra, the representation theory of $A$ is intimately tied to the representation theory of the $A$-subquotient known as the reduction algebra for $(A,\mathfrak{g}, \varphi)$. Herlemont and Ogievetsky studied differential reduction algebras for the general linear Lie algebra $\mathfrak{gl}(n)$ as the algebra of $h$-deformed differential operators formed from realizations of $\mathfrak{gl}(n)$ in the $N$-fold tensor product of the $n $th Weyl algebra. In this paper, we further the study of differential reduction algebras by presenting the symplectic differential reduction algebra $D\big(\mathfrak{sp}(4)\big)$, by generators and relations, and showing its connections to Bavula's generalized Weyl algebras (GWAs). In doing so, we determine a new class of GWAs we call $\textit{skew-affine}$ GWAs, of which $D\big(\mathfrak{gl}(2)\big)$ and $D\big(\mathfrak{sp}(4)\big)$ are examples. We conjecture that the differential reduction algebra of the orthosymplectic Lie superalgebra $\mathfrak{osp}(1|2n)$ is a twisted generalized Weyl algebra (TGWA) and that the relations for $D\big(\mathfrak{sp}(2n)\big)$ yield solutions to the dynamical Yang-Baxter equation (DYBE).


title: PCa-RadHop: A Transparent and Lightweight Feed-forward Method for Clinically Significant Prostate Cancer Segmentation

abstract: Prostate Cancer is one of the most frequently occurring cancers in men, with a low survival rate if not early diagnosed. PI-RADS reading has a high false positive rate, thus increasing the diagnostic incurred costs and patient discomfort. Deep learning (DL) models achieve a high segmentation performance, although require a large model size and complexity. Also, DL models lack of feature interpretability and are perceived as ``black-boxes" in the medical field. PCa-RadHop pipeline is proposed in this work, aiming to provide a more transparent feature extraction process using a linear model. It adopts the recently introduced Green Learning (GL) paradigm, which offers a small model size and low complexity. PCa-RadHop consists of two stages: Stage-1 extracts data-driven radiomics features from the bi-parametric Magnetic Resonance Imaging (bp-MRI) input and predicts an initial heatmap. To reduce the false positive rate, a subsequent stage-2 is introduced to refine the predictions by including more contextual information and radiomics features from each already detected Region of Interest (ROI). Experiments on the largest publicly available dataset, PI-CAI, show a competitive performance standing of the proposed method among other deep DL models, achieving an area under the curve (AUC) of 0.807 among a cohort of 1,000 patients. Moreover, PCa-RadHop maintains orders of magnitude smaller model size and complexity.


title: Non-stationary Anderson Localization

abstract: We consider discrete Schr\"odinger operators on $\ell^2(\mathbb{Z})$ with bounded random but not necessarily identically distributed values of the potential. We prove spectral localization (with exponentially decaying eigenfunctions) as well as dynamical localization for this model. An important ingredient of the proof is a non-stationary version of the parametric Furstenberg Theorem on random matrix products, which is also of independent interest.


title: PSHop: A Lightweight Feed-Forward Method for 3D Prostate Gland Segmentation

abstract: Automatic prostate segmentation is an important step in computer-aided diagnosis of prostate cancer and treatment planning. Existing methods of prostate segmentation are based on deep learning models which have a large size and lack of transparency which is essential for physicians. In this paper, a new data-driven 3D prostate segmentation method on MRI is proposed, named PSHop. Different from deep learning based methods, the core methodology of PSHop is a feed-forward encoder-decoder system based on successive subspace learning (SSL). It consists of two modules: 1) encoder: fine to coarse unsupervised representation learning with cascaded VoxelHop units, 2) decoder: coarse to fine segmentation prediction with voxel-wise classification and local refinement. Experiments are conducted on the publicly available ISBI-2013 dataset, as well as on a larger private one. Experimental analysis shows that our proposed PSHop is effective, robust and lightweight in the tasks of prostate gland and zonal segmentation, achieving a Dice Similarity Coefficient (DSC) of 0.873 for the gland segmentation task. PSHop achieves a competitive performance comparatively to other deep learning methods, while keeping the model size and inference complexity an order of magnitude smaller.


title: Positive mass and isoperimetry for continuous metrics with nonnegative scalar curvature

abstract: This paper deals with the positive mass theorem and the existence of isoperimetric sets on $3$-manifolds endowed with continuous complete metrics having nonnegative scalar curvature in a suitable weak sense. We prove that if the manifold has an end that is $C^0$-locally asymptotically flat, and the metric is the local uniform limit of smooth metrics with vanishing lower bounds on the scalar curvature outside a compact set, then Huisken's isoperimetric mass is nonnegative. This addresses a version of a recent conjecture of Huisken about positive isoperimetric mass theorems for continuous metrics satisfying $R_g\geq 0$ in a weak sense. As a consequence, any fill-in of a truncation of a Schwarzschild space with negative ADM mass has nonnegative isoperimetric mass. Moreover, in case the whole manifold is $C^0$-locally asymptotically flat and the metric is the local uniform limit of smooth metrics with vanishing lower bounds on the scalar curvature outside a compact set, we prove that, as a large scale effect, isoperimetric sets with arbitrarily large volume exist.


title: Isoperimetric profile function comparisons with Integral Ricci curvature bounds

abstract: We prove comparison results for the Isoperimetric profile function in the setting of manifolds with integral bounds on the Ricci curvature. We extend previous work of Ni and Wang and Bayle and Rosales under the usual pointwise bounds for the Ricci curvature.


title: CBGT-Net: A Neuromimetic Architecture for Robust Classification of Streaming Data

abstract: This paper describes CBGT-Net, a neural network model inspired by the cortico-basal ganglia-thalamic (CBGT) circuits found in mammalian brains. Unlike traditional neural network models, which either generate an output for each provided input, or an output after a fixed sequence of inputs, the CBGT-Net learns to produce an output after a sufficient criteria for evidence is achieved from a stream of observed data. For each observation, the CBGT-Net generates a vector that explicitly represents the amount of evidence the observation provides for each potential decision, accumulates the evidence over time, and generates a decision when the accumulated evidence exceeds a pre-defined threshold. We evaluate the proposed model on two image classification tasks, where models need to predict image categories based on a stream of small patches extracted from the image. We show that the CBGT-Net provides improved accuracy and robustness compared to models trained to classify from a single patch, and models leveraging an LSTM layer to classify from a fixed sequence length of patches.


title: Prioritized Multi-Tenant Traffic Engineering for Dynamic QoS Provisioning in Autonomous SDN-OpenFlow Edge Networks

abstract: This letter indicates the critical need for prioritized multi-tenant quality-of-service (QoS) management by emerging mobile edge systems, particularly for high-throughput beyond fifth-generation networks. Existing traffic engineering tools utilize complex functions baked into closed, proprietary infrastructures, largely limiting design flexibility, scalability, and adaptiveness. Hence, this study introduces a software-defined networking (SDN)-based dynamic QoS provisioning scheme that prioritizes multi-tenant network traffic while focusing on the base station-edge cloud scenario. The designed scheme first separates control and data planes and enables traffic management automation using SDN programmability. It then implements dynamic QoS management via the SDN-OpenFlow protocol, which ensures ample bandwidth for multiple priority flows and efficiently manages the remaining bandwidth for non-priority traffic. Empirical experiments are conducted with a Mininet network emulator and an OpenDayLight controller. Performance evaluation validates the proposed scheme's effectiveness in meeting multi-tenant QoS criteria, offering a robust solution for traffic prioritization in SDN-based edge networks.


title: Searches for CE{\nu}NS and Physics beyond the Standard Model using Skipper-CCDs at CONNIE

abstract: The Coherent Neutrino-Nucleus Interaction Experiment (CONNIE) aims to detect the coherent scattering (CE$\nu$NS) of reactor antineutrinos off silicon nuclei using thick fully-depleted high-resistivity silicon CCDs. Two Skipper-CCD sensors with sub-electron readout noise capability were installed at the experiment next to the Angra-2 reactor in 2021, making CONNIE the first experiment to employ Skipper-CCDs for reactor neutrino detection. We report on the performance of the Skipper-CCDs, the new data processing and data quality selection techniques and the event selection for CE$\nu$NS interactions, which enable CONNIE to reach a record low detection threshold of 15 eV. The data were collected over 300 days in 2021-2022 and correspond to exposures of 14.9 g-days with the reactor-on and 3.5 g-days with the reactor-off. The difference between the reactor-on and off event rates shows no excess and yields upper limits at 95% confidence level for the neutrino interaction rates comparable with previous CONNIE limits from standard CCDs and higher exposures. Searches for new neutrino interactions beyond the Standard Model were performed, yielding an improvement on the previous CONNIE limit on a simplified model with light vector mediators. A first dark matter (DM) search by diurnal modulation was performed by CONNIE and the results represent the best limits on the DM-electron scattering cross-section, obtained by a surface-level experiment. These promising results, obtained using a very small-mass sensor, illustrate the potential of Skipper-CCDs to probe rare neutrino interactions and motivate the plans to increase the detector mass in the near future.


title: Towards Two-Stream Foveation-based Active Vision Learning

abstract: Deep neural network (DNN) based machine perception frameworks process the entire input in a one-shot manner to provide answers to both "what object is being observed" and "where it is located". In contrast, the "two-stream hypothesis" from neuroscience explains the neural processing in the human visual cortex as an active vision system that utilizes two separate regions of the brain to answer the what and the where questions. In this work, we propose a machine learning framework inspired by the "two-stream hypothesis" and explore the potential benefits that it offers. Specifically, the proposed framework models the following mechanisms: 1) ventral (what) stream focusing on the input regions perceived by the fovea part of an eye (foveation), 2) dorsal (where) stream providing visual guidance, and 3) iterative processing of the two streams to calibrate visual focus and process the sequence of focused image patches. The training of the proposed framework is accomplished by label-based DNN training for the ventral stream model and reinforcement learning for the dorsal stream model. We show that the two-stream foveation-based learning is applicable to the challenging task of weakly-supervised object localization (WSOL), where the training data is limited to the object class or its attributes. The framework is capable of both predicting the properties of an object and successfully localizing it by predicting its bounding box. We also show that, due to the independent nature of the two streams, the dorsal model can be applied on its own to unseen images to localize objects from different datasets.


title: Geometric signals

abstract: In signal processing, a signal is the graph of a function. We define a signal as a submanifold of a Riemannian manifold (with corners). We obtain inequalities that relate the energy of the signal and the energy of its Fourier transform. We quantify noise and filtering.


title: Primordial black holes and secondary gravitational waves from the inflation potential with a tiny bump

abstract: This paper explores the generation of primordial black holes (PBHs) and scalar-induced gravitational waves (SIGWs) from the inflation potential with a tiny bump. We propose a Lorentz function that makes a tiny bump characteristic of the inflation model potential. This property makes the scalar field move locally ultra slowly, which not only makes the primordial curvature power spectrum have $\mathcal{O}(10^{-2})$ peaks at a small scale but also satisfies observational constraints of the cosmic microwave background (CMB) on a large scale. Specifically, we calculate the abundances of PBHs for different mass ranges in this model, where PBHs with mass $10^{-12}M_\odot$ can make up almost all dark matter and PBHs with mass $10^{-5}M_\odot$ can explain OGLE ultrashort-timescale microlensing events. Moreover, we find that SIGWs accompanying the PBHs can be tested by the Square Kilometre Array (SKA), TianQin, Taiji, Laser Interferometer Space Antenna (LISA), and DECIGO. As for the parameter set I, the consequent SIGWs can explain the NANOGrav 12.5yrs signal.


abstract: Given a general It\^o semimartingale, its Markovian projection is an It\^o process, with Markovian differential characteristics, that matches the one-dimensional marginal laws of the original process. We construct Markovian projections for It\^o semimartingales with jumps, whose flows of one-dimensional marginal laws are solutions to non-local Fokker--Planck--Kolmogorov equations (FPKEs). As an application, we show how Markovian projections appear in building calibrated diffusion/jump models with both local and stochastic features.


title: Exploring Accurate 3D Phenotyping in Greenhouse through Neural Radiance Fields

abstract: Accurate collection of plant phenotyping is critical to optimising sustainable farming practices in precision agriculture. Traditional phenotyping in controlled laboratory environments, while valuable, falls short in understanding plant growth under real-world conditions. Emerging sensor and digital technologies offer a promising approach for direct phenotyping of plants in farm environments. This study investigates a learning-based phenotyping method using the Neural Radiance Field to achieve accurate in-situ phenotyping of pepper plants in greenhouse environments. To quantitatively evaluate the performance of this method, traditional point cloud registration on 3D scanning data is implemented for comparison. Experimental result shows that NeRF(Neural Radiance Fields) achieves competitive accuracy compared to the 3D scanning methods. The mean distance error between the scanner-based method and the NeRF-based method is 0.865mm. This study shows that the learning-based NeRF method achieves similar accuracy to 3D scanning-based methods but with improved scalability and robustness.


title: Generally covariant geometric momentum and geometric potential for a Dirac fermion on a two-dimensional hypersurface

abstract: Geometric momentum is the proper momentum for a moving particle constrained on a curved surface, which depends on the outer curvature and has observable effects. In the context of multi-component quantum states, geometric momentum should be rewritten as generally covariant geometric momentum. For a Dirac fermion constrained on a two-dimensional hypersurface, we give the generally covariant geometric momentum, and show that on the pseudosphere and the helical surface there exist no curvature-induced geometric potentials. These results verify that the dynamical quantization conditions are effective in dealing with constrained systems on hypersurfaces, and one could obtain the generally convariant geometric momentum and the geometric potential of a spin particle constrained on surfaces with definite parametric equations.