title: A systematic study to investigate the effects of X-ray exposure on electrical properties of silicon dioxide thin films using X-ray photoelectron spectroscopy

abstract: X-ray Photoelectron Spectroscopy (XPS) is generally used for chemical analysis of surfaces and interfaces. This method involves the analysis of changes in binding energies and peak shapes of elements under consideration. It is also possible to use XPS to study the effect of X-ray radiation on the electrical properties of thin films. We measured the Si 2p peak using X-ray powers of 300 W and 150 W on approximately 135 nm silicon dioxide (SiO2) thin films grown on both n- and p-type substrates while applying DC or AC external biases. Using the shifts in the binding energy of the Si 2p peak, we calculated the resistances and the capacitances of the SiO2 thin film. The way that the binding energies of the Si 2p peak and the capacitance of the thin film change as a function of the type of Si substrate and the power of the X-ray are explained using band bending.


title: A Markov approach to credit rating migration conditional on economic states

abstract: We develop a model for credit rating migration that accounts for the impact of economic state fluctuations on default probabilities. The joint process for the economic state and the rating is modelled as a time-homogeneous Markov chain. While the rating process itself possesses the Markov property only under restrictive conditions, methods from Markov theory can be used to derive the rating process' asymptotic behaviour. We use the mathematical framework to formalise and analyse different rating philosophies, such as point-in-time (PIT) and through-the-cycle (TTC) ratings. Furthermore, we introduce stochastic orders on the bivariate process' transition matrix to establish a consistent notion of "better" and "worse" ratings. Finally, the construction of PIT and TTC ratings is illustrated on a Merton-type firm-value process.


title: Rejoinder to "Perspectives on `harm' in personalized medicine -- an alternative perspective"

abstract: In our original article (Sarvet & Stensrud, 2024), we examine twin definitions of "harm" in personalized medicine: one based on predictions of individuals' unmeasurable response types (counterfactual harm), and another based solely on the observations of experiments (interventionist harm). In their commentary, Mueller & Pearl (2024) (MP) read our review as an argument that "counterfactual logic should [...] be purged from consideration of harm and benefit" and "strongly object [...] that a rational decision maker may well apply the interventional perspective to the exclusion of counterfactual considerations." Here we show that this objection is misguided. We analyze MP's examples and derive a general result, showing that determinations of harm through interventionist and counterfactual analyses will always concur. Therefore, individuals who embrace counterfactual formulations and those who object to their use will make equivalent decisions in uncontroversial settings.


title: VidLA: Video-Language Alignment at Scale

abstract: In this paper, we propose VidLA, an approach for video-language alignment at scale. There are two major limitations of previous video-language alignment approaches. First, they do not capture both short-range and long-range temporal dependencies and typically employ complex hierarchical deep network architectures that are hard to integrate with existing pretrained image-text foundation models. To effectively address this limitation, we instead keep the network architecture simple and use a set of data tokens that operate at different temporal resolutions in a hierarchical manner, accounting for the temporally hierarchical nature of videos. By employing a simple two-tower architecture, we are able to initialize our video-language model with pretrained image-text foundation models, thereby boosting the final performance. Second, existing video-language alignment works struggle due to the lack of semantically aligned large-scale training data. To overcome it, we leverage recent LLMs to curate the largest video-language dataset to date with better visual grounding. Furthermore, unlike existing video-text datasets which only contain short clips, our dataset is enriched with video clips of varying durations to aid our temporally hierarchical data tokens in extracting better representations at varying temporal scales. Overall, empirical results show that our proposed approach surpasses state-of-the-art methods on multiple retrieval benchmarks, especially on longer videos, and performs competitively on classification benchmarks.


title: Homological vector fields over differentiable stacks

abstract: In this work we solve the problem of providing a Morita invariant definition of Lie and Courant algebroids over Lie groupoids. By relying on supergeometry, we view these structures as instances of vector fields on graded groupoids which are homological up to homotopy. We describe such vector fields in general from two complementary viewpoints: firstly, as Maurer-Cartan elements in a differential graded Lie algebra of multivector fields and, secondly, we also view them from a categorical approach, in terms of functors and natural transformations. Thereby, we obtain a unifying conceptual framework for studying LA-groupoids, $L_2$-algebroids (including semistrict Lie 2-algebras and 2-term representations up to homotopy), infinitesimal gerbe prequantizations, higher gauge theory (specifically, 2-connections on 2-bundles), quasi-Poisson groupoids and (twisted) multiplicative Courant algebroids.


title: Structuring the Chaos: Enabling Small Business Cyber-Security Risks & Assets Modelling with a UML Class Model

abstract: Small businesses are increasingly adopting IT, and consequently becoming more vulnerable to cyber-incidents. Whilst small businesses are aware of the cyber-security risks, many struggle with implementing mitigations. Some of these can be traced to fundamental differences in the characteristics of small business versus large enterprises where modern cyber-security solutions are widely deployed. Small business specific cyber-security tools are needed. Currently available cyber-security tools and standards assume technical expertise and time resources often not practical for small businesses. Cyber-security competes with other roles that small business owners take on, e.g. cleaning, sales etc. A small business model, salient and implementable at-scale, with simplified non-specialist terminologies and presentation is needed to encourage sustained participation of all stakeholders, not just technical ones. We propose a new UML class (Small IT Data (SITD)) model to support the often chaotic information-gathering phase of a small business' first foray into cyber-security. The SITD model is designed in the UML format to help small business implement technical solutions. The SITD model structure stays relevant by using generic classes and structures that evolve with technology and environmental changes. The SITD model keeps security decisions proportionate to the business by highlighting relationships between business strategy tasks and IT infrastructure. We construct a set of design principles to address small business cyber-security needs. Model components are designed in response to these needs. The uses of the SITD model are then demonstrated and design principles validated by examining a case study of a real small business operational and IT information. The SITD model's ability to illustrate breach information is also demonstrated using the NotPetya incident.


title: Origin of the correlation between stellar kinematics and globular cluster system richness in ultra-diffuse galaxies

abstract: Observational surveys have found that the dynamical masses of ultra-diffuse galaxies (UDGs) correlate with the richness of their globular cluster (GC) system. This could be explained if GC-rich galaxies formed in more massive dark matter haloes. We use simulations of galaxies and their GC systems from the E-MOSAICS project to test whether the simulations reproduce such a trend. We find that GC-rich simulated galaxies in galaxy groups have enclosed masses that are consistent with the dynamical masses of observed GC-rich UDGs. However, simulated GC-poor galaxies in galaxy groups have higher enclosed masses than those observed. We argue that GC-poor UDGs with low stellar velocity dispersions are discs observed nearly face on, such that their true mass is underestimated by observations. Using the simulations, we show that galactic star-formation conditions resulting in dispersion-supported stellar systems also leads to efficient GC formation. Conversely, conditions leading to rotationally-supported discs leads to inefficient GC formation. This result may explain why early-type galaxies typically have richer GC systems than late-type galaxies. This is also supported by comparisons of stellar axis ratios and GC specific frequencies in observed dwarf galaxy samples, which show GC-rich systems are consistent with being spheroidal, while GC-poor systems are consistent with being discs. Therefore, particularly for GC-poor galaxies, rotation should be included in dynamical mass measurements from stellar dynamics.


title: WeatherProof: Leveraging Language Guidance for Semantic Segmentation in Adverse Weather

abstract: We propose a method to infer semantic segmentation maps from images captured under adverse weather conditions. We begin by examining existing models on images degraded by weather conditions such as rain, fog, or snow, and found that they exhibit a large performance drop as compared to those captured under clear weather. To control for changes in scene structures, we propose WeatherProof, the first semantic segmentation dataset with accurate clear and adverse weather image pairs that share an underlying scene. Through this dataset, we analyze the error modes in existing models and found that they were sensitive to the highly complex combination of different weather effects induced on the image during capture. To improve robustness, we propose a way to use language as guidance by identifying contributions of adverse weather conditions and injecting that as "side information". Models trained using our language guidance exhibit performance gains by up to 10.2% in mIoU on WeatherProof, up to 8.44% in mIoU on the widely used ACDC dataset compared to standard training techniques, and up to 6.21% in mIoU on the ACDC dataset as compared to previous SOTA methods.


title: Undecidability of the stabilizer and zero-in-the-corner problems for matrix groups

abstract: The show that the upper-left-corner problem and upper-right-corner problem for matrix groups with rational entries are undecidable. To reach this aim, we answer a question of Dixon from 1985 by proving the undecidability of the stabilizer problem for matrix groups.


title: Equatorial blowup and polar caps in drop electrohydrodynamics

abstract: We illuminate effects of surface-charge convection intrinsic to leaky-dielectric electrohydrodynamics by analyzing the symmetric steady state of a circular drop in an external field at arbitrary electric Reynolds number $\mathrm{Re}_E$. In formulating the problem, we identify an exact factorization that reduces the number of dimensionless parameters from four -- $\mathrm{Re}_E$ and the conductivity, permittivity and viscosity ratios -- to two: a modified electric Reynolds number $\widetilde{\mathrm{Re}}$ and a charging parameter $\varpi$. In the case $\varpi<0$, where charge relaxation in the drop phase is slower than in the suspending phase, and, as a consequence, the interface polarizes antiparallel to the external field, we find that above a critical $\widetilde{\mathrm{Re}}$ value the solution exhibits a blowup singularity such that the surface-charge density diverges antisymmetrically with the $-1/3$ power of distance from the equator. We use local analysis to uncover the structure of that blowup singularity, wherein surface charges are convected by a locally induced flow towards the equator where they annihilate. To study the blowup regime, we devise a numerical scheme encoding that local structure where the blowup prefactor is determined by a global charging -- annihilation balance. We also employ asymptotic analysis to construct a universal problem governing the blowup solutions in the regime $\widetilde{\mathrm{Re}}\gg1$, far beyond the blowup threshold. In the case $\varpi>0$, where charge relaxation is faster in the drop phase and the interface polarizes parallel to the external field, we numerically observe and asymptotically characterize the formation at large $\widetilde{\mathrm{Re}}$ of stagnant, perfectly conducting surface-charge caps about the drop poles.


title: TEeVTOL: Balancing Energy and Time Efficiency in eVTOL Aircraft Path Planning Across City-Scale Wind Fields

abstract: Electric vertical-takeoff and landing (eVTOL) aircraft, recognized for their maneuverability and flexibility, offer a promising alternative to our transportation system. However, the operational effectiveness of these aircraft faces many challenges, such as the delicate balance between energy and time efficiency, stemming from unpredictable environmental factors, including wind fields. Mathematical modeling-based approaches have been adopted to plan aircraft flight path in urban wind fields with the goal to save energy and time costs. While effective, they are limited in adapting to dynamic and complex environments. To optimize energy and time efficiency in eVTOL's flight through dynamic wind fields, we introduce a novel path planning method leveraging deep reinforcement learning. We assess our method with extensive experiments, comparing it to Dijkstra's algorithm -- the theoretically optimal approach for determining shortest paths in a weighted graph, where weights represent either energy or time cost. The results show that our method achieves a graceful balance between energy and time efficiency, closely resembling the theoretically optimal values for both objectives.


title: Offline tagging of radon-induced backgrounds in XENON1T and applicability to other liquid xenon detectors

abstract: This paper details the first application of a software tagging algorithm to reduce radon-induced backgrounds in liquid noble element time projection chambers, such as XENON1T and XENONnT. The convection velocity field in XENON1T was mapped out using $^{222}\text{Rn}$ and $^{218}\text{Po}$ events, and the root-mean-square convection speed was measured to be $0.30 \pm 0.01$ cm/s. Given this velocity field, $^{214}\text{Pb}$ background events can be tagged when they are followed by $^{214}\text{Bi}$ and $^{214}\text{Po}$ decays, or preceded by $^{218}\text{Po}$ decays. This was achieved by evolving a point cloud in the direction of a measured convection velocity field, and searching for $^{214}\text{Bi}$ and $^{214}\text{Po}$ decays or $^{218}\text{Po}$ decays within a volume defined by the point cloud. In XENON1T, this tagging system achieved a $^{214}\text{Pb}$ background reduction of $6.2^{+0.4}_{-0.9}\%$ with an exposure loss of $1.8\pm 0.2 \%$, despite the timescales of convection being smaller than the relevant decay times. We show that the performance can be improved in XENONnT, and that the performance of such a software-tagging approach can be expected to be further improved in a diffusion-limited scenario. Finally, a similar method might be useful to tag the cosmogenic $^{137}\text{Xe}$ background, which is relevant to the search for neutrinoless double-beta decay.


title: Learning to Change: Choreographing Mixed Traffic Through Lateral Control and Hierarchical Reinforcement Learning

abstract: The management of mixed traffic that consists of robot vehicles (RVs) and human-driven vehicles (HVs) at complex intersections presents a multifaceted challenge. Traditional signal controls often struggle to adapt to dynamic traffic conditions and heterogeneous vehicle types. Recent advancements have turned to strategies based on reinforcement learning (RL), leveraging its model-free nature, real-time operation, and generalizability over different scenarios. We introduce a hierarchical RL framework to manage mixed traffic through precise longitudinal and lateral control of RVs. Our proposed hierarchical framework combines the state-of-the-art mixed traffic control algorithm as a high level decision maker to improve the performance and robustness of the whole system. Our experiments demonstrate that the framework can reduce the average waiting time by up to 54% compared to the state-of-the-art mixed traffic control method. When the RV penetration rate exceeds 60%, our technique consistently outperforms conventional traffic signal control programs in terms of the average waiting time for all vehicles at the intersection.


title: PECR: A formal system based on computability logic

abstract: PECR is a formal system designed to explore the properties of computability of programs on a real-world computer. As such PECR incorporates the finite resources of the machine upon which a program is to be executed. The main features of the formal system will be presented and its practical applications will be discussed. Of particular interest is the implementation of the formal system to the exploration of the laws of nature that lead to rigorous constructions of computer models of real-world phenomena.


title: The German Tank Problem with Multiple Factories

abstract: During the Second World War, estimates of the number of tanks deployed by Germany were critically needed. The Allies adopted two methods to estimate this information: espionage and statistical analysis. The latter approach was far more successful and is as follows: assuming that the tanks are sequentially numbered starting from 1, if we observe $k$ serial numbers from an unknown total of $N$ tanks, with the highest observed number being $M$, then the best linear unbiased estimator for $N$ is $M(1+1/k)-1$. This is now known as the German Tank Problem. Suppose one wishes to estimate the productivity of a rival by inspecting captured or destroyed tanks, each with a unique serial number. In many situations, the original German Tank Problem is insufficient, since typically there are $l>1$ factories, and tanks produced by different factories may have serial numbers in disjoint ranges that are often far separated, let alone sequentially numbered starting from 1. We wish to estimate the total tank production across all of the factories. We construct an efficient procedure to estimate the total productivity and prove that our procedure effectively estimates $N$ when $\log l/\log k$ is sufficiently small, and is robust against both large and small gaps between factories. In the final section, we show that given information about the gaps, we can make a far better estimator that is also effective when we have a small number of samples. When the number of samples is small compared to the number of gaps, the Mean Squared Error of this new estimator is several orders of magnitude smaller than the one that assumes no information. This quantifies the importance of hiding such information if one wishes to conceal their productivity from a rival.


title: Black hole outflows initiated by a large-scale magnetic field

abstract: Accreting black hole sources show variable outflows at different mass scales. For instance, in the case of galactic nuclei, our own galactic center Sgr A* exhibits flares and outbursts in the X-ray and infrared bands. Recent studies suggest that the inner magnetospheres of these sources have a pronounced effect on such emissions. Accreting plasma carries the frozen-in magnetic flux along with it down to the black hole horizon. During the in-fall, the magnetic field intensifies and it can lead to a magnetically arrested state. We investigate the competing effects of inflows at the black hole horizon and the outflows developed in the accreting plasma due to the action of magnetic field in the inner magnetosphere and their implications. We start with a spherically symmetric Bondi-type inflow and introduce the magnetic field. In order to understand the influence of the initial configuration, we start the computations with an aligned magnetic field with respect to the black hole rotation axis. Then we proceed to the case of magnetic fields inclined to the black hole rotation axis. We employ the 2D and 3D versions of HARM code for the aligned field models while using the 3D version for the inclined field and compare the results of computations against each other. We observe how the magnetic lines of force start accreting with the plasma while an equatorial intermittent outflow develops and goes on pushing some material away from the black hole partially along the equatorial plane, and partly ejecting it out of the plane in the vertical direction. In consequence, the accretion rate also fluctuates. The black hole spin direction prevails at later stages and it determines the flow geometry near the event horizon, whereas on larger scales the flow geometry stays influenced by the initial inclination of the field.


title: Why Name Popularity is a Good Test of Historicity

abstract: Are name statistics in the Gospels and Acts a good test of historicity? Kamil Gregor and Brian Blais, in a recent article in The Journal for the Study of the Historical Jesus, argue that the sample of name occurrences in the Gospels and Acts is too small to be determinative and that several statistical anomalies weigh against a positive verdict. Unfortunately, their conclusions result directly from improper testing and questionable data selection. Chi-squared goodness-of-fit testing establishes that name occurrences in the Gospels and Acts fit into their historical context at least as good as those in the works of Josephus. Additionally, they fit better than occurrences derived from ancient fictional sources and occurrences from modern, well-researched historical novels.


title: Upper bounds on the dimension of the Schur $\mathsf{Lie}$-multiplier of $\mathsf{Lie}$-nilpotent Leibniz $n$-algebras

abstract: The Schur $\mathsf{Lie}$-multiplier of Leibniz algebras is the Schur multiplier of Leibniz algebras defined relative to the Liezation functor. In this paper, we study upper bounds for the dimension of the Schur $\mathsf{Lie}$-multiplier of $\mathsf{Lie}$-filiform Leibniz $n$-algebras and the Schur $\mathsf{Lie}$-multiplier of its $\mathsf{Lie}$-central factor. The upper bound obtained is associated to both the sequences of central binomial coefficients and the sum of the numbers located in the rhombus part of Pascal's triangle. Also, the pattern of counting the number of $\mathsf{Lie}$-brackets of a particular Leibniz $n$-algebra leads us to a new property of Pascal's triangle. Moreover, we discuss some results which improve the existing upper bound published in [23] for $m$-dimensional $\mathsf{Lie}$-nilpotent Leibniz $n$-algebras with $d$-dimensional $\mathsf{Lie}$-commutator. In particular, it is shown that if $\mathfrak{q}$ is an $m$-dimensional $\mathsf{Lie}$-nilpotent Leibniz $2$-algebra with one-dimensional $\mathsf{Lie}$-commutator, then $\dim\mathcal{M}_{\mathsf{Lie}}(\mathfrak{q})\leq \frac{1}{2}m(m-1)-1.$


title: Establishing a leader in a pairwise comparisons method

abstract: Abstract Like electoral systems, decision-making methods are also vulnerable to manipulation by decision-makers. The ability to effectively defend against such threats can only come from thoroughly understanding the manipulation mechanisms. In the presented article, we show two algorithms that can be used to launch a manipulation attack. They allow for equating the weights of two selected alternatives in the pairwise comparison method and, consequently, choosing a leader. The theoretical considerations are accompanied by a Monte Carlo simulation showing the relationship between the size of the PC matrix, the degree of inconsistency, and the ease of manipulation. This work is a continuation of our previous research published in the paper (Szybowski et al., 2023)


title: DSGG: Dense Relation Transformer for an End-to-end Scene Graph Generation

abstract: Scene graph generation aims to capture detailed spatial and semantic relationships between objects in an image, which is challenging due to incomplete labelling, long-tailed relationship categories, and relational semantic overlap. Existing Transformer-based methods either employ distinct queries for objects and predicates or utilize holistic queries for relation triplets and hence often suffer from limited capacity in learning low-frequency relationships. In this paper, we present a new Transformer-based method, called DSGG, that views scene graph detection as a direct graph prediction problem based on a unique set of graph-aware queries. In particular, each graph-aware query encodes a compact representation of both the node and all of its relations in the graph, acquired through the utilization of a relaxed sub-graph matching during the training process. Moreover, to address the problem of relational semantic overlap, we utilize a strategy for relation distillation, aiming to efficiently learn multiple instances of semantic relationships. Extensive experiments on the VG and the PSG datasets show that our model achieves state-of-the-art results, showing a significant improvement of 3.5\% and 6.7\% in mR@50 and mR@100 for the scene-graph generation task and achieves an even more substantial improvement of 8.5\% and 10.3\% in mR@50 and mR@100 for the panoptic scene graph generation task. Code is available at \url{https://github.com/zeeshanhayder/DSGG}.


title: GelLink: A Compact Multi-phalanx Finger with Vision-based Tactile Sensing and Proprioception

abstract: Compared to fully-actuated robotic end-effectors, underactuated ones are generally more adaptive, robust, and cost-effective. However, state estimation for underactuated hands is usually more challenging. Vision-based tactile sensors, like Gelsight, can mitigate this issue by providing high-resolution tactile sensing and accurate proprioceptive sensing. As such, we present GelLink, a compact, underactuated, linkage-driven robotic finger with low-cost, high-resolution vision-based tactile sensing and proprioceptive sensing capabilities. In order to reduce the amount of embedded hardware, i.e. the cameras and motors, we optimize the linkage transmission with a planar linkage mechanism simulator and develop a planar reflection simulator to simplify the tactile sensing hardware. As a result, GelLink only requires one motor to actuate the three phalanges, and one camera to capture tactile signals along the entire finger. Overall, GelLink is a compact robotic finger that shows adaptability and robustness when performing grasping tasks. The integration of vision-based tactile sensors can significantly enhance the capabilities of underactuated fingers and potentially broaden their future usage.


title: AutoRE: Document-Level Relation Extraction with Large Language Models

abstract: Large Language Models (LLMs) have demonstrated exceptional abilities in comprehending and generating text, motivating numerous researchers to utilize them for Information Extraction (IE) purposes, including Relation Extraction (RE). Nonetheless, most existing methods are predominantly designed for Sentence-level Relation Extraction (SentRE) tasks, which typically encompass a restricted set of relations and triplet facts within a single sentence. Furthermore, certain approaches resort to treating relations as candidate choices integrated into prompt templates, leading to inefficient processing and suboptimal performance when tackling Document-Level Relation Extraction (DocRE) tasks, which entail handling multiple relations and triplet facts distributed across a given document, posing distinct challenges. To overcome these limitations, we introduce AutoRE, an end-to-end DocRE model that adopts a novel RE extraction paradigm named RHF (Relation-Head-Facts). Unlike existing approaches, AutoRE does not rely on the assumption of known relation options, making it more reflective of real-world scenarios. Additionally, we have developed an easily extensible RE framework using a Parameters Efficient Fine Tuning (PEFT) algorithm (QLoRA). Our experiments on the RE-DocRED dataset showcase AutoRE's best performance, achieving state-of-the-art results, surpassing TAG by 10.03% and 9.03% respectively on the dev and test set.


title: de Sitter Connectivity from Holographic Entanglement

abstract: Considering two antipodal observers in de Sitter space, we illustrate how spacetime connectivity between the holographic screens located on the (stretched) horizons emerges from holographic entanglement. To do so, we construct a covariant holographic entanglement entropy prescription in de Sitter space, including quantum corrections. While this prescription is inspired by the bilayer proposal, we argue that the monolayer proposal appears to be inconsistent. Entanglement wedge reconstruction implies an extension of static patch holography where the exterior region connecting the static patches is included, and reconstructible from the two screens. A phase transition occurs where there is an exchange of dominance between two competing quantum extremal surfaces, leading to a transfer of the encoding of the exterior region from one screen to the other. The effects in the bulk of integrating out degrees of freedom from the screens are discussed.


title: Unraveling Contagion Origins: Optimal Estimation through Maximum-Likelihood and Starlike Tree Approximation in Markovian Spreading Models

abstract: Identifying the source of epidemic-like spread in networks is crucial for tasks like removing internet viruses or finding the rumor source in online social networks. The challenge lies in tracing the source from a snapshot observation of infected nodes. How do we accurately pinpoint the source? Utilizing snapshot data, we apply a probabilistic approach, focusing on the graph boundary and the observed time, to detect sources via an effective maximum likelihood algorithm. A novel starlike tree approximation extends applicability to general graphs, demonstrating versatility. We highlight the utility of the Gamma function for analyzing the asymptotic behavior of the likelihood ratio between nodes. Comprehensive evaluations confirm algorithmic effectiveness in diverse network scenarios, advancing rumor source detection in large-scale network analysis and information dissemination strategies.


title: Creep-enhanced vortex pinning revealed through nonmonotonic relaxation of the Campbell length

abstract: We study the effects of flux creep on the linear AC response of the vortex lattice in single crystals Ca$_3$Ir$_4$Sn$_{13}$ by measuring the Campbell penetration depth, $\lambda_{\rm \scriptscriptstyle C}(T,H,t)$. Thermal fluctuations release vortices from shallow pinning sites, only for them to become re-trapped by deeper potential wells, causing an initial increase of the effective Labusch parameter, which is proportional to the pinning well curvature. This effect cannot be detected in conventional magnetic relaxation measurements but is revealed by our observation of a nonmonotonic time evolution of $\lambda_{\rm \scriptscriptstyle C}(T,H,t)$, which directly probes the average curvature of the occupied pinning centers. The time evolution of $\lambda_{\rm \scriptscriptstyle C}(T,H,t)$ was measured at different temperatures in samples with different densities of pinning centers produced by electron irradiation. The curves can be collapsed together when plotted on a logarithmic time scale $t \to T\ln{(t/t_0)}$ confirming that the time evolution is driven by flux creep. The $\lambda_{\rm \scriptscriptstyle C}(T,H,t)$ is hysteretic with a noticeable nonmonotonic relaxation in the presence of a vortex density gradient (after zero-field cooling), but is monotonic after field cooling, where the vortex density is uniform. This result quantitatively corroborates the novel picture of vortex creep based on the strong pinning theory.


title: Microscopic modeling of attention-based movement behaviors

abstract: For transportation hubs, leveraging pedestrian flows for commercial activities presents an effective strategy for funding maintenance and infrastructure improvements. However, this introduces new challenges, as consumer behaviors can disrupt pedestrian flow and efficiency. To optimize both retail potential and pedestrian efficiency, careful strategic planning in store layout and facility dimensions was done by expert judgement due to the complexity in pedestrian dynamics in the retail areas of transportation hubs. This paper introduces an attention-based movement model to simulate these dynamics. By simulating retail potential of an area through the duration of visual attention it receives, and pedestrian efficiency via speed loss in pedestrian walking behaviors, the study further explores how design features can influence the retail potential and pedestrian efficiency in a bi-directional corridor inside a transportation hub. Project webpage: https://danruili.github.io/AttentionMove


title: Orbital-doublet-driven even spin Chern insulators

abstract: Quantum spin Hall insulators hosting edge spin currents hold great potential for low-power spintronic devices. In this work, we present a universal approach to achieve a high and near-quantized spin Hall conductance plateau within a sizable bulk gap. Using a nonmagnetic four-band model Hamiltonian, we demonstrate that an even spin Chern (ESC) insulator can be accessed by tuning the sign of spin-orbit coupling (SOC) within a crystal symmetry-enforced orbital doublet. With the assistance of a high spin Chern number of $C_{S}=2$ and spin $U$(1) quasi-symmetry, this orbital-doublet-driven ESC phase is endowed with the near-double-quantized spin Hall conductance. We identify 12 crystallographic point groups supporting such a sign-tunable SOC. Furthermore, we apply our theory to realistic examples, and show the phase transition from a trivial insulator governed by positive SOC in RuI$_{3}$ monolayer to an ESC insulator dominated by negative SOC in RuBr$_{3}$ monolayer. This orbital-doublet-driven ESC insulator, RuBr$_{3}$, showcases nontrivial characteristics including helical edge states, near-double-quantized spin Hall conductance, and robust corner states. Our work provides new pathways in the pursuit of the long-sought quantum spin Hall insulators.


title: On the trajectories of a particle in a translation invariant involutive field

abstract: We introduce a double-folded operator that, upon iterative application, generates a dynamical system with two types of trajectories: a cyclic one and, another that grows endlessly on parabolas. These trajectories produce two distinct partitions of the set of lattice points in the plane. Our object is to analyze these trajectories and to point out a few special arithmetic properties of the integers they represent. We also introduce and study the parabolic-taxicab distance, which measures the fast traveling on the steps of the stairs defined by points on the parabolic trajectories whose coordinates are based on triangular numbers.


title: Stance Reasoner: Zero-Shot Stance Detection on Social Media with Explicit Reasoning

abstract: Social media platforms are rich sources of opinionated content. Stance detection allows the automatic extraction of users' opinions on various topics from such content. We focus on zero-shot stance detection, where the model's success relies on (a) having knowledge about the target topic; and (b) learning general reasoning strategies that can be employed for new topics. We present Stance Reasoner, an approach to zero-shot stance detection on social media that leverages explicit reasoning over background knowledge to guide the model's inference about the document's stance on a target. Specifically, our method uses a pre-trained language model as a source of world knowledge, with the chain-of-thought in-context learning approach to generate intermediate reasoning steps. Stance Reasoner outperforms the current state-of-the-art models on 3 Twitter datasets, including fully supervised models. It can better generalize across targets, while at the same time providing explicit and interpretable explanations for its predictions.


title: Investigating Bias in LLM-Based Bias Detection: Disparities between LLMs and Human Perception

abstract: The pervasive spread of misinformation and disinformation in social media underscores the critical importance of detecting media bias. While robust Large Language Models (LLMs) have emerged as foundational tools for bias prediction, concerns about inherent biases within these models persist. In this work, we investigate the presence and nature of bias within LLMs and its consequential impact on media bias detection. Departing from conventional approaches that focus solely on bias detection in media content, we delve into biases within the LLM systems themselves. Through meticulous examination, we probe whether LLMs exhibit biases, particularly in political bias prediction and text continuation tasks. Additionally, we explore bias across diverse topics, aiming to uncover nuanced variations in bias expression within the LLM framework. Importantly, we propose debiasing strategies, including prompt engineering and model fine-tuning. Extensive analysis of bias tendencies across different LLMs sheds light on the broader landscape of bias propagation in language models. This study advances our understanding of LLM bias, offering critical insights into its implications for bias detection tasks and paving the way for more robust and equitable AI systems


title: Geometric Generative Models based on Morphological Equivariant PDEs and GANs

abstract: Content and image generation consist in creating or generating data from noisy information by extracting specific features such as texture, edges, and other thin image structures. We are interested here in generative models, and two main problems are addressed. Firstly, the improvements of specific feature extraction while accounting at multiscale levels intrinsic geometric features; and secondly, the equivariance of the network to reduce its complexity and provide a geometric interpretability. To proceed, we propose a geometric generative model based on an equivariant partial differential equation (PDE) for group convolution neural networks (G-CNNs), so called PDE-G-CNNs, built on morphology operators and generative adversarial networks (GANs). Equivariant morphological PDE layers are composed of multiscale dilations and erosions formulated in Riemannian manifolds, while group symmetries are defined on a Lie group. We take advantage of the Lie group structure to properly integrate the equivariance in layers, and are able to use the Riemannian metric to solve the multiscale morphological operations. Each point of the Lie group is associated with a unique point in the manifold, which helps us derive a metric on the Riemannian manifold from a tensor field invariant under the Lie group so that the induced metric has the same symmetries. The proposed geometric morphological GAN (GM-GAN) is obtained by using the proposed morphological equivariant convolutions in PDE-G-CNNs to bring nonlinearity in classical CNNs. GM-GAN is evaluated on MNIST data and compared with GANs. Preliminary results show that GM-GAN model outperforms classical GAN.


title: Web-based Melanoma Detection

abstract: Melanoma is the most aggressive form of skin cancer, and early detection can significantly increase survival rates and prevent cancer spread. However, developing reliable automated detection techniques is difficult due to the lack of standardized datasets and evaluation methods. This study introduces a unified melanoma classification approach that supports 54 combinations of 11 datasets and 24 state-of-the-art deep learning architectures. It enables a fair comparison of 1,296 experiments and results in a lightweight model deployable to the web-based MeshNet architecture named Mela-D. This approach can run up to 33x faster by reducing parameters 24x to yield an analogous 88.8\% accuracy comparable with ResNet50 on previously unseen images. This allows efficient and accurate melanoma detection in real-world settings that can run on consumer-level hardware.


title: Statistical Inference For Noisy Matrix Completion Incorporating Auxiliary Information

abstract: This paper investigates statistical inference for noisy matrix completion in a semi-supervised model when auxiliary covariates are available. The model consists of two parts. One part is a low-rank matrix induced by unobserved latent factors; the other part models the effects of the observed covariates through a coefficient matrix which is composed of high-dimensional column vectors. We model the observational pattern of the responses through a logistic regression of the covariates, and allow its probability to go to zero as the sample size increases. We apply an iterative least squares (LS) estimation approach in our considered context. The iterative LS methods in general enjoy a low computational cost, but deriving the statistical properties of the resulting estimators is a challenging task. We show that our method only needs a few iterations, and the resulting entry-wise estimators of the low-rank matrix and the coefficient matrix are guaranteed to have asymptotic normal distributions. As a result, individual inference can be conducted for each entry of the unknown matrices. We also propose a simultaneous testing procedure with multiplier bootstrap for the high-dimensional coefficient matrix. This simultaneous inferential tool can help us further investigate the effects of covariates for the prediction of missing entries.


title: Splitting differential equations using Galois theory

abstract: This article is interested in pullbacks under the logarithmic derivative of algebraic ordinary differential equations. In particular, assuming the solution set of an equation is internal to the constants, we would like to determine when its pullback is itself internal to the constants. To do so, we develop, using model-theoretic Galois theory and differential algebra, a connection between internality of the pullback and the splitting of a short exact sequence of algebraic Galois groups. We then use algebraic group theory to obtain internality and non-internality results.


title: Functions on a convex set which are both $ \omega $-semiconvex and $ \omega $-semiconcave II

abstract: In a recent article (2022) we proved with L. Zaj\'i\v{c}ek that if $ G\subset\R^n $ is an unbounded open convex set that does not contain a translation of a convex cone with non-empty interior, then there exist $ f:G\to\R $ and a concave modulus $ \omega $ such that $ \lim_{t\to\infty}\omega(t)=\infty $, $ f $ is both semiconvex and semiconcave with modulus $ \omega $ and $ f\notin C^{1,\omega}(G) $. Here we improve the previous result as follows: If $ G $ is as above and $ \omega(t)=t^{\alpha} $ for some $ \alpha\in(0,1) $, then there exists $ f:G\to\R $ that is both semiconvex and semiconcave with modulus $ \omega $ and $ f\notin C^{1,\alpha}(G) $. This result has immediate consequences concerning a first-order quantitative converse Taylor theorem and the problem whether $ f\in C^{1,\alpha}(G) $ whenever $ f $ is smooth in a corresponding sense on all lines.


title: Hydro: Adaptive Query Processing of ML Queries

abstract: Query optimization in relational database management systems (DBMSs) is critical for fast query processing. The query optimizer relies on precise selectivity and cost estimates to effectively optimize queries prior to execution. While this strategy is effective for relational DBMSs, it is not sufficient for DBMSs tailored for processing machine learning (ML) queries. In ML-centric DBMSs, query optimization is challenging for two reasons. First, the performance bottleneck of the queries shifts to user-defined functions (UDFs) that often wrap around deep learning models, making it difficult to accurately estimate UDF statistics without profiling the query. This leads to inaccurate statistics and sub-optimal query plans. Second, the optimal query plan for ML queries is data-dependent, necessitating DBMSs to adapt the query plan on the fly during execution. So, a static query plan is not sufficient for such queries. In this paper, we present Hydro, an ML-centric DBMS that utilizes adaptive query processing (AQP) for efficiently processing ML queries. Hydro is designed to quickly evaluate UDF-based query predicates by ensuring optimal predicate evaluation order and improving the scalability of UDF execution. By integrating AQP, Hydro continuously monitors UDF statistics, routes data to predicates in an optimal order, and dynamically allocates resources for evaluating predicates. We demonstrate Hydro's efficacy through four illustrative use cases, delivering up to 11.52x speedup over a baseline system.


title: Modeling Distributed Computing Infrastructures for HEP Applications

abstract: Predicting the performance of various infrastructure design options in complex federated infrastructures with computing sites distributed over a wide area network that support a plethora of users and workflows, such as the Worldwide LHC Computing Grid (WLCG), is not trivial. Due to the complexity and size of these infrastructures, it is not feasible to deploy experimental test-beds at large scales merely for the purpose of comparing and evaluating alternate designs. An alternative is to study the behaviours of these systems using simulation. This approach has been used successfully in the past to identify efficient and practical infrastructure designs for High Energy Physics (HEP). A prominent example is the Monarc simulation framework, which was used to study the initial structure of the WLCG. New simulation capabilities are needed to simulate large-scale heterogeneous computing systems with complex networks, data access and caching patterns. A modern tool to simulate HEP workloads that execute on distributed computing infrastructures based on the SimGrid and WRENCH simulation frameworks is outlined. Studies of its accuracy and scalability are presented using HEP as a case-study. Hypothetical adjustments to prevailing computing architectures in HEP are studied providing insights into the dynamics of a part of the WLCG and candidates for improvements.


title: Improved bounds for integral points on modular curves using Runge's method

abstract: Consider a modular curve $X_G$ defined over a number field $K$, where $G$ is a subgroup of $GL_2(\mathbb{Z}/N\mathbb{Z})$ with $N>2$. The curve $X_G$ comes with a morphism $j: X_G\to \mathbb{P}^1_K=\mathbb{A}^1_K \cup\{\infty\}$ to the $j$-line. For a finite set of places $S$ of $K$ that satisfies a certain condition, Runge's method shows that there are only finitely many points $P \in X_G(K)$ for which $j(P)$ lies in the ring $\mathfrak{O}_{K,S}$ of $S$-units of $K$. We prove an explicit version which shows that if $j(P)\in \mathfrak{O}_{K,S}$ for some $P\in X_G(K)$, then the absolute logarithmic height of $j(P)$ is bounded above by $N^{12} \log N$. Explicits upper bounds have already been obtained by Bilu and Parent though they are not polynomial in $N$. The modular functions needed to apply Runge's method are constructing using Eisenstein series of weight $1$.


title: Adaptive Coded Federated Learning: Privacy Preservation and Straggler Mitigation

abstract: In this article, we address the problem of federated learning in the presence of stragglers. For this problem, a coded federated learning framework has been proposed, where the central server aggregates gradients received from the non-stragglers and gradient computed from a privacy-preservation global coded dataset to mitigate the negative impact of the stragglers. However, when aggregating these gradients, fixed weights are consistently applied across iterations, neglecting the generation process of the global coded dataset and the dynamic nature of the trained model over iterations. This oversight may result in diminished learning performance. To overcome this drawback, we propose a new method named adaptive coded federated learning (ACFL). In ACFL, before the training, each device uploads a coded local dataset with additive noise to the central server to generate a global coded dataset under privacy preservation requirements. During each iteration of the training, the central server aggregates the gradients received from the non-stragglers and the gradient computed from the global coded dataset, where an adaptive policy for varying the aggregation weights is designed. Under this policy, we optimize the performance in terms of privacy and learning, where the learning performance is analyzed through convergence analysis and the privacy performance is characterized via mutual information differential privacy. Finally, we perform simulations to demonstrate the superiority of ACFL compared with the non-adaptive methods.


title: High Harmonic Spectroscopy Probes Lattice Dynamics

abstract: The probing of coherent lattice vibrations in solids has been conventionally carried out using time-resolved transient spectroscopy where only the relative oscillation amplitude can be obtained. Using time-resolved X-ray techniques, absolute electron-phonon coupling strength could be extracted. However, the complexity of such an experiment renders it impossible to be carried out in conventional laboratories. Here we demonstrate that the electron-phonon, anharmonic phonon-phonon coupling, and their relaxation dynamics can be probed in real-time using high-harmonic spectroscopy. Our technique is background-free and has extreme sensitivity directly in the energy domain. In combination with the optical deformation potential calculated from density functional perturbation theory and the absolute energy modulation depth, our measurement reveals the maximum displacement of neighboring oxygen atoms in {\alpha}-quartz crystal to tens of picometers in real space. By employing a straightforward and robust time-windowed Gabor analysis for the phonon-modulated high-harmonic spectrum, we successfully observe channel-resolved four-phonon scattering processes in such highly nonlinear interactions. Our work opens a new realm for accurate measurement of coherent phonons and their scattering dynamics, which allows for potential benchmarking ab-initio calculations in solids


title: Stability, bifurcation and spikes of stationary solutions in a chemotaxis system with singular sensitivity and logistic source

abstract: In the current paper, we study stability, bifurcation, and spikes of positive stationary solutions of the following parabolic-elliptic chemotaxis system with singular sensitivity and logistic source, \begin{cases} u_t=u_{xx}-\chi (\frac{u}{v} v_x)_x+u(a-b u), & 0<x<L, \, t>0,\cr 0=v_{xx}- \mu v+ \nu u, & 0<x<L, \, t>0 \cr u_x(t,0)=u_x(t,L)=v_x(t,0)=v_x(t,L)=0, & t>0, \tag{1} \end{cases} where $\chi$, $a$, $b$, $\mu$, $\nu$ are positive constants. Among others, we prove there are $\chi^*>0$ and $\{\chi_k^*\}\subset [\chi^*,\infty)$ ($\chi^*\in\{\chi_k^*\}$) such that the constant solution $(\frac{a}{b},\frac{\nu}{\mu}\frac{a}{b})$ of (1) is locally stable when $0<\chi<\chi^*$ and is unstable when $\chi>\chi^*$, and under some generic condition, for each $k\ge 1$, a (local) branch of non-constant stationary solutions of (1) bifurcates from $(\frac{a}{b},\frac{\nu}{\mu}\frac{a}{b})$ when $\chi$ passes through $\chi_k^*$, and global extension of the local bifurcation branch is obtained. We also prove that any sequence of non-constant positive stationary solutions $\{(u(\cdot;\chi_n),v(\cdot;\chi_n))\}$ of (1) with $\chi=\chi_n(\to \infty)$ develops spikes at any $x^*$ satisfying $\liminf_{n\to\infty} u(x^*;\chi_n)>\frac{a}{b}$. Some numerical analysis is carried out. It is observed numerically that the local bifurcation branch bifurcating from $(\frac{a}{b},\frac{\nu}{\mu}\frac{a}{b})$ when $\chi$ passes through $\chi^*$ can be extended to $\chi=\infty$ and the stationary solutions on this global bifurcation extension are locally stable when $\chi\gg 1$ and develop spikes as $\chi\to\infty$.


title: Analysis of Log Data from an International Online Educational Assessment System: A Multi-state Survival Modeling Approach to Reaction Time between and across Action Sequence

abstract: With increasingly available computer-based or online assessments, researchers have shown keen interest in analyzing log data to improve our understanding of test takers' problem-solving processes. In this paper, we propose a multi-state survival model (MSM) to action sequence data from log files, focusing on modeling test takers' reaction times between actions, in order to investigate which factors and how they influence test takers' transition speed between actions. In particular, we focus on the effects of the occurrence and timing of key actions that differentiate correct answers from incorrect answers. We demonstrate our proposed approach with problem-solving test items from the the Programme for International Assessment of Adult Competence (PIAAC) problem-solving test items.


title: Colorful Intersections and Tverberg Partitions

abstract: The colorful Helly theorem and Tverberg's theorem are fundamental results in discrete geometry. We prove a theorem which interpolates between the two. In particular, we show the following for any integers $d \geq m \geq 1$ and $k$ a prime power. Suppose $F_1, F_2, \dots, F_m$ are families of convex sets in $\mathbb{R}^d$, each of size $n > (\frac{d}{m}+1)(k-1)$, such that for any choice $C_i\in F_i$ we have $\bigcap_{i=1}^mC_i\neq \emptyset$. Then, one of the families $F_i$ admits a Tverberg $k$-partition. That is, one of the $F_i$ can be partitioned into $k$ nonempty parts such that the convex hulls of the parts have nonempty intersection. As a corollary, we also obtain a result concerning $r$-dimensional transversals to families of convex sets in $\mathbb{R}^d$ that satisfy the colorful Helly hypothesis, which extends the work of Karasev and Montejano.


title: Defying Imbalanced Forgetting in Class Incremental Learning

abstract: We observe a high level of imbalance in the accuracy of different classes in the same old task for the first time. This intriguing phenomenon, discovered in replay-based Class Incremental Learning (CIL), highlights the imbalanced forgetting of learned classes, as their accuracy is similar before the occurrence of catastrophic forgetting. This discovery remains previously unidentified due to the reliance on average incremental accuracy as the measurement for CIL, which assumes that the accuracy of classes within the same task is similar. However, this assumption is invalid in the face of catastrophic forgetting. Further empirical studies indicate that this imbalanced forgetting is caused by conflicts in representation between semantically similar old and new classes. These conflicts are rooted in the data imbalance present in replay-based CIL methods. Building on these insights, we propose CLass-Aware Disentanglement (CLAD) to predict the old classes that are more likely to be forgotten and enhance their accuracy. Importantly, CLAD can be seamlessly integrated into existing CIL methods. Extensive experiments demonstrate that CLAD consistently improves current replay-based methods, resulting in performance gains of up to 2.56%.


title: Secure Outage Analysis for RIS-Aided MISO Systems with Randomly Located Eavesdroppers

abstract: In this paper, we consider the physical layer security of an RIS-assisted multiple-antenna communication system with randomly located eavesdroppers. The exact distributions of the received signal-to-noise-ratios (SNRs) at the legitimate user and the eavesdroppers located according to a Poisson point process (PPP) are derived, and a closed-form expression for the secrecy outage probability (SOP) is obtained. It is revealed that the secrecy performance is mainly affected by the number of RIS reflecting elements, and the impact of the transmit antennas and transmit power at the base station is marginal. In addition, when the locations of the randomly located eavesdroppers are unknown, deploying the RIS closer to the legitimate user rather than to the base station is shown to be more efficient. We also perform an analytical study demonstrating that the secrecy diversity order depends on the path loss exponent of the RIS-to-ground links. Finally, numerical simulations are conducted to verify the accuracy of these theoretical observations.


title: Doped stabilizer states in many-body physics and where to find them

abstract: This work uncovers a fundamental connection between doped stabilizer states, a concept from quantum information theory, and the structure of eigenstates in perturbed many-body quantum systems. We prove that for Hamiltonians consisting of a sum of commuting Pauli operators (i.e., stabilizer Hamiltonians) and a perturbation composed of a limited number of arbitrary Pauli terms, the eigenstates can be represented as doped stabilizer states with small stabilizer nullity. This result enables the application of stabilizer techniques to a broad class of many-body systems, even in highly entangled regimes. Building on this, we develop efficient classical algorithms for tasks such as finding low-energy eigenstates, simulating quench dynamics, preparing Gibbs states, and computing entanglement entropies in these systems. Our work opens up new possibilities for understanding the robustness of topological order and the dynamics of many-body systems under perturbations, paving the way for novel insights into the interplay of quantum information, entanglement, and many-body systems.


title: Optimisation of photodetectors design: comparison between Montecarlo and Genetic Algorithms

abstract: We present Montecarlo and Genetic Algorithm optimisations applied to the design of photodetectors based on a transimpedance amplifier and a photodiode. The circuit performance is evaluated with a merit function and the systematic search method is used as a reference. The design parameters are the feedback network components and the photodiode bias voltage. To evaluate the optimisations, we define the relative difference between its merit and the optimum merit obtained by the systematic search. In both algorithms, the relative difference decreases with the number of evaluations, following a power law. The power-law exponent for the Genetic Algorithm is larger than that of Montecarlo (0.74 vs. 0.50). We conclude that both algorithms are advantageous compared to the systematic search method, and that the Genetic Algorithm shows a better performance than Montecarlo.

categories: eess.SY cs.NE cs.SY physics.ins-det physics.optics


title: Canon permutations and generalized descents of standard Young tableaux

abstract: Canon permutations are permutations of the multiset having $k$ copies of each integer between $1$ and $n$, with the property that the subsequences obtained by taking the $j$th copy of each entry, for each fixed $j$, are all the same. For $k=2$, canon permutations are sometimes called nonnesting permutations, and it is known that the polynomial that enumerates them by the number of descents factors as a product of an Eulerian polynomial and a Narayana polynomial. We extend this result to arbitrary $k$, and we relate the problem to the enumeration of standard Young tableaux of rectangular shape with respect to generalized descent statistics. Our proof is bijective, and it also settles a conjecture of Sulanke about the distribution of certain lattice path statistics.


title: Network Learning with Directional Sign Patterns

abstract: Complex systems can be effectively modeled via graphs that encode networked interactions, where relations between entities or nodes are often quantified by signed edge weights, e.g., promotion/inhibition in gene regulatory networks, or encoding political of friendship differences in social networks. However, it is often the case that only an aggregate consequence of such edge weights that characterize relations may be directly observable, as in protein expression of in gene regulatory networks. Thus, learning edge weights poses a significant challenge that is further exacerbated for intricate and large-scale networks. In this article, we address a model problem to determine the strength of sign-indefinite relations that explain marginal distributions that constitute our data. To this end, we develop a paradigm akin to that of the Schr\"odinger bridge problem and an efficient Sinkhorn type algorithm (more properly, Schr\"odinger-Fortet-Sinkhorn algorithm) that allows fast convergence to parameters that minimize a relative entropy/likelihood criterion between the sought signed adjacency matrix and a prior. The formalism that we present represents a novel generalization of the earlier Schr\"odinger formalism in that marginal computations may incorporate weights that model directionality in underlying relations, and further, that it can be extended to high-order networks -- the Schr\"odinger-Fortet-Sinkhorn algorithm that we derive is applicable all the same and allows geometric convergence to a sought sign-indefinite adjacency matrix or tensor, for high-order networks. We demonstrate our framework with synthetic and real-world examples.


title: Snail: Secure Single Iteration Localization

abstract: Localization is a computer vision task by which the position and orientation of a camera is determined from an image and environmental map. We propose a method for performing localization in a privacy preserving manner supporting two scenarios: first, when the image and map are held by a client who wishes to offload localization to untrusted third parties, and second, when the image and map are held separately by untrusting parties. Privacy preserving localization is necessary when the image and map are confidential, and offloading conserves on-device power and frees resources for other tasks. To accomplish this we integrate existing localization methods and secure multi-party computation (MPC), specifically garbled circuits, yielding proof-based security guarantees in contrast to existing obfuscation-based approaches which recent related work has shown vulnerable. We present two approaches to localization, a baseline data-oblivious adaptation of localization suitable for garbled circuits and our novel Single Iteration Localization. Our technique improves overall performance while maintaining confidentiality of the input image, map, and output pose at the expense of increased communication rounds but reduced computation and communication required per round. Single Iteration Localization is over two orders of magnitude faster than a straightforward application of garbled circuits to localization enabling real-world usage in the first robot to offload localization without revealing input images, environmental map, position, or orientation to offload servers.


title: Mean-field Analysis on Two-layer Neural Networks from a Kernel Perspective

abstract: In this paper, we study the feature learning ability of two-layer neural networks in the mean-field regime through the lens of kernel methods. To focus on the dynamics of the kernel induced by the first layer, we utilize a two-timescale limit, where the second layer moves much faster than the first layer. In this limit, the learning problem is reduced to the minimization problem over the intrinsic kernel. Then, we show the global convergence of the mean-field Langevin dynamics and derive time and particle discretization error. We also demonstrate that two-layer neural networks can learn a union of multiple reproducing kernel Hilbert spaces more efficiently than any kernel methods, and neural networks acquire data-dependent kernel which aligns with the target function. In addition, we develop a label noise procedure, which converges to the global optimum and show that the degrees of freedom appears as an implicit regularization.


title: Deep learning-based method for weather forecasting: A case study in Itoshima

abstract: Accurate weather forecasting is of paramount importance for a wide range of practical applications, drawing substantial scientific and societal interest. However, the intricacies of weather systems pose substantial challenges to accurate predictions. This research introduces a multilayer perceptron model tailored for weather forecasting in Itoshima, Kyushu, Japan. Our meticulously designed architecture demonstrates superior performance compared to existing models, surpassing benchmarks such as Long Short-Term Memory and Recurrent Neural Networks.


title: Hierarchical Skip Decoding for Efficient Autoregressive Text Generation

abstract: Autoregressive decoding strategy is a commonly used method for text generation tasks with pre-trained language models, while early-exiting is an effective approach to speedup the inference stage. In this work, we propose a novel decoding strategy named Hierarchical Skip Decoding (HSD) for efficient autoregressive text generation. Different from existing methods that require additional trainable components, HSD is a plug-and-play method applicable to autoregressive text generation models, it adaptively skips decoding layers in a hierarchical manner based on the current sequence length, thereby reducing computational workload and allocating computation resources. Comprehensive experiments on five text generation datasets with pre-trained language models demonstrate HSD's advantages in balancing efficiency and text quality. With almost half of the layers skipped, HSD can sustain 90% of the text quality compared to vanilla autoregressive decoding, outperforming the competitive approaches.


title: 3d Modularity Revisited

abstract: The three-manifold topological invariants $\hat Z$ capture the half-index of the three-dimensional theory with ${\cal N}=2$ supersymmetry obtained by compactifying the M5 brane theory on the closed three-manifold. In 2019, surprising general relations between the $\hat Z$-invariants, quantum modular forms, and vertex algebras, have been proposed. In the meanwhile, an extensive array of examples have been studied, but several general important structural questions remain. First, for many three-manifolds it was observed that the different $\hat Z$-invariants for the same three-manifolds are quantum modular forms that span a subspace of a Weil representation for the modular group $SL_2(Z)$, corresponding to the structure of vector-valued quantum modular forms. We elucidate the meaning of this vector-valued quantum modular form structure by first proposing the analogue $\hat Z$-invariants with supersymmetric defects, and subsequently showing that the full vector-valued quantum modular form is precisely the object capturing all the $\hat Z$-invariants, with and without defects, of a given three-manifold. Second, it was expected that matching radial limits is a key feature of $\hat Z$-invariants when changing the orientation of the plumbed three-manifold, suggesting the relevance of mock modularity. We substantiate the conjecture by providing explicit proposals for such $\hat Z$-invariants for an infinite family of three-manifolds and verify their mock modularity and limits. Third, we initiate the study of the vertex algebra structure of the mock type invariants by showcasing a systematic way to construct cone vertex operator algebras associated to these invariants, which can be viewed as the partner of logarithmic vertex operator algebras in this context.


title: The symplectic form associated to a singular Poisson algebra

abstract: Given an affine Poisson algebra, that is singular one may ask whether there is an associated symplectic form. In the smooth case the answer is obvious: for the symplectic form to exist the Poisson tensor has to be invertible. In the singular case, however, derivations do not form a projective module and it is less clear what non-degenerate means. For a symplectic singularity one may naively ask if there is indeed an analogue of a symplectic form. We examine an example of a symplectic singularity, namely the double cone, and show that here such a symplectic form exists. We use the naive de Rham complex of a Lie-Rinehart algebra. Our analysis of the double cone relies on Gr\"obner bases calculations.


title: CODA: A COst-efficient Test-time Domain Adaptation Mechanism for HAR

abstract: In recent years, emerging research on mobile sensing has led to novel scenarios that enhance daily life for humans, but dynamic usage conditions often result in performance degradation when systems are deployed in real-world settings. Existing solutions typically employ one-off adaptation schemes based on neural networks, which struggle to ensure robustness against uncertain drifting conditions in human-centric sensing scenarios. In this paper, we propose CODA, a COst-efficient Domain Adaptation mechanism for mobile sensing that addresses real-time drifts from the data distribution perspective with active learning theory, ensuring cost-efficient adaptation directly on the device. By incorporating a clustering loss and importance-weighted active learning algorithm, CODA retains the relationship between different clusters during cost-effective instance-level updates, preserving meaningful structure within the data distribution. We also showcase its generalization by seamlessly integrating it with Neural Network-based solutions for Human Activity Recognition tasks. Through meticulous evaluations across diverse datasets, including phone-based, watch-based, and integrated sensor-based sensing tasks, we demonstrate the feasibility and potential of online adaptation with CODA. The promising results achieved by CODA, even without learnable parameters, also suggest the possibility of realizing unobtrusive adaptation through specific application designs with sufficient feedback.


title: Translation surfaces with large systoles

abstract: In this paper we continue to investigate the systolic landscape of translation surfaces started in [CHMW]. We show that there is an infinite sequence of surfaces $(S_{g_k})_k$ of genus $g_k$, where $g_k \to \infty$ with large systoles. On the other hand we show that for hyperelliptic surfaces we can find a suitable homology basis, where a large number of loops that induce the basis are short.


title: Anderson acceleration of derivative-free projection methods for constrained monotone nonlinear equations

abstract: The derivative-free projection method (DFPM) is an efficient algorithm for solving monotone nonlinear equations. As problems grow larger, there is a strong demand for speeding up the convergence of DFPM. This paper considers the application of Anderson acceleration (AA) to DFPM for constrained monotone nonlinear equations. By employing a nonstationary relaxation parameter and interleaving with slight modifications in each iteration, a globally convergent variant of AA for DFPM named as AA-DFPM is proposed. Further, the linear convergence rate is proved under some mild assumptions. Experiments on both mathematical examples and a real-world application show encouraging results of AA-DFPM and confirm the suitability of AA for accelerating DFPM in solving optimization problems.


title: Computational Approaches for Exponential-Family Factor Analysis

abstract: We study a general factor analysis framework where the $n$-by-$p$ data matrix is assumed to follow a general exponential family distribution entry-wise. While this model framework has been proposed before, we here further relax its distributional assumption by using a quasi-likelihood setup. By parameterizing the mean-variance relationship on data entries, we additionally introduce a dispersion parameter and entry-wise weights to model large variations and missing values. The resulting model is thus not only robust to distribution misspecification but also more flexible and able to capture non-Gaussian covariance structures of the data matrix. Our main focus is on efficient computational approaches to perform the factor analysis. Previous modeling frameworks rely on simulated maximum likelihood (SML) to find the factorization solution, but this method was shown to lead to asymptotic bias when the simulated sample size grows slower than the square root of the sample size $n$, eliminating its practical application for data matrices with large $n$. Borrowing from expectation-maximization (EM) and stochastic gradient descent (SGD), we investigate three estimation procedures based on iterative factorization updates. Our proposed solution does not show asymptotic biases, and scales even better for large matrix factorizations with error $O(1/p)$. To support our findings, we conduct simulation experiments and discuss its application in three case studies.


title: Contrastive Learning on Multimodal Analysis of Electronic Health Records

abstract: Electronic health record (EHR) systems contain a wealth of multimodal clinical data including structured data like clinical codes and unstructured data such as clinical notes. However, many existing EHR-focused studies has traditionally either concentrated on an individual modality or merged different modalities in a rather rudimentary fashion. This approach often results in the perception of structured and unstructured data as separate entities, neglecting the inherent synergy between them. Specifically, the two important modalities contain clinically relevant, inextricably linked and complementary health information. A more complete picture of a patient's medical history is captured by the joint analysis of the two modalities of data. Despite the great success of multimodal contrastive learning on vision-language, its potential remains under-explored in the realm of multimodal EHR, particularly in terms of its theoretical understanding. To accommodate the statistical analysis of multimodal EHR data, in this paper, we propose a novel multimodal feature embedding generative model and design a multimodal contrastive loss to obtain the multimodal EHR feature representation. Our theoretical analysis demonstrates the effectiveness of multimodal learning compared to single-modality learning and connects the solution of the loss function to the singular value decomposition of a pointwise mutual information matrix. This connection paves the way for a privacy-preserving algorithm tailored for multimodal EHR feature representation learning. Simulation studies show that the proposed algorithm performs well under a variety of configurations. We further validate the clinical utility of the proposed algorithm in real-world EHR data.


title: "The Law Doesn't Work Like a Computer": Exploring Software Licensing Issues Faced by Legal Practitioners

abstract: Most modern software products incorporate open source components, which requires compliance with each component's licenses. As noncompliance can lead to significant repercussions, organizations often seek advice from legal practitioners to maintain license compliance, address licensing issues, and manage the risks of noncompliance. While legal practitioners play a critical role in the process, little is known in the software engineering community about their experiences within the open source license compliance ecosystem. To fill this knowledge gap, a joint team of software engineering and legal researchers designed and conducted a survey with 30 legal practitioners and related occupations and then held 16 follow-up interviews. We identified different aspects of OSS license compliance from the perspective of legal practitioners, resulting in 14 key findings in three main areas of interest: the general ecosystem of compliance, the specific compliance practices of legal practitioners, and the challenges that legal practitioners face. We discuss the implications of our findings.


title: The effect of collision-coagulation on the mean relative velocity of particles in turbulent flow: systematic results and validation of model

abstract: The mean radial component of relative velocity (MRV) between pairs of inertial particles is studied, where the particles are advected by turbulent flow and undergo collision-and-coagulation. A previously proposed phenomenological model of MRV for low-inertia particles \citep{saw2022intricate} is corrected (improved) and shown to produce better predictions of the MRV as a function of particle separation distance $r$. Using direct numerical simulation (DNS), the relationship between the MRV and particle/turbulent parameters is studied. For particles with near-zero Stokes numbers ($St$), the MRV is roughly independent of $St$. At larger $St$, the magnitude of MRV increases with $St$, particularly when $St>0.2$. Assuming that the relative particle velocities are derived from fluid velocity differences associated with a nominal resonant length scale, an empirical relation between $St$ is obtained: $d+\alpha St^{\beta}$, where $\beta\approx1.86$. Coupled with this empirical result, the aforementioned MRV model could be extended to predict MRV for any finite $St$, and we show that the predictions are accurate against the DNS results. Our results also suggest that the extended model could also accurately account for possible Reynolds number ($Re_{\lambda}$) effect by simply allowing $\alpha$ and $\beta$ to be functions of $Re_{\lambda}$. Additionally, when the particle diameter is smaller than the Kolmogorov length scale, the MRV for particles with the same St is independent of the particle diameter. The analysis under different Reynolds numbers ($Re_{\lambda}=84,124,189$) reveals that for particles with $St\ll1$, the MRV is $Re_{\lambda}$-independent. For larger $St$, $Re_{\lambda}$ dependence is observed such that the coefficients $\alpha$ and $\beta$ decrease with $Re_{\lambda}.


title: Four-body Semileptonic Decays $B\to D^*P\ell^+\nu_\ell$ with the SU(3) Flavor Symmetry

abstract: We present a complete study of the $B\to D^*P\ell^+\nu_\ell~(\ell=e,\mu,\tau)$ decays with the non-resonant, the charmed axial vector resonant and the charmed tensor resonant contributions by using the SU(3) flavor symmetry. Relevant amplitude relations between different decay modes are obtained by the SU(3) flavor symmetry. We then predict non-measured branching ratios of the $B\to D^*P\ell^+\nu_\ell$ decays with the non-resonant and the charmed resonant contributions by using present experimental data of the $B\to D^*P\ell'^+\nu_{\ell'}~(\ell'=e,\mu)$ decays within $2\sigma$ errors. We have found that $B^{0,+}\to D^*\eta\ell^+\nu_\ell$, $B^{0,+}\to D^*\eta'\ell^+\nu_\ell$, $B^{0}_s\to D^*_s \eta\ell^+\nu_\ell$, $B^{0}_s\to D^*_s\eta'\ell^+\nu_\ell$ and $B^{0,+}\to D^{*}_sK\ell^+\nu_\ell$ decays only receive non-resonant contributions. Decays $B^0_s\to D_s^{*-}\pi^0\ell^+\nu_\ell$ only receive the $D'_{s1}$ resonant contributions. Other decays receive all three kinds of contributions, and three kinds of contributions are important in most of decays.


title: A numerical framework for phoretic particles

abstract: We develop a numerical a framework to study phoretic particle dynamics in two dimensions. The particles are modeled as chemically active rigid circles, which can emit or absorb a solute into surrounding fluid. The interaction between particles and solute induces a slip flow on particle surfaces, and the solute is advected by the fluid flow and diffuses with a constant diffusivity. The fluid-structure interaction is resolved by a boundary integral method accelerated by Ewald-like decomposition. The sharp resolution of moving boundaries for solute kinetics is performed thanks to an overlapping mesh method. The framework is validated separately for the Stokes problem and the advection--diffusion problem, reaching relatively high order of accuracy. Moreover, we employ the framework to more general problems, including particles in nearly infinite domain and straight channels, and multiparticle motions.


title: Structured stability analysis of networked systems with uncertain links

abstract: An input-output approach to stability analysis is explored for networked systems with uncertain link dynamics. The main result consists of a collection of integral quadratic constraints, which together imply robust stability of the uncertain networked system, under the assumption that stability is achieved with ideal links. The conditions are decentralized inasmuch as each involves only agent and uncertainty model parameters that are local to a corresponding link. This makes the main result, which imposes no restriction on network structure, suitable for the study of large-scale systems.


title: Extending Token Computation for LLM Reasoning

abstract: Large Language Models (LLMs) are pivotal in advancing natural language processing but often struggle with complex reasoning tasks due to inefficient attention distributions. In this paper, we explore the effect of increased computed tokens on LLM performance and introduce a novel method for extending computed tokens in the Chain-of-Thought (CoT) process, utilizing attention mechanism optimization. By fine-tuning an LLM on a domain-specific, highly structured dataset, we analyze attention patterns across layers, identifying inefficiencies caused by non-semantic tokens with outlier high attention scores. To address this, we propose an algorithm that emulates early layer attention patterns across downstream layers to re-balance skewed attention distributions and enhance knowledge abstraction. Our findings demonstrate that our approach not only facilitates a deeper understanding of the internal dynamics of LLMs but also significantly improves their reasoning capabilities, particularly in non-STEM domains. Our study lays the groundwork for further innovations in LLM design, aiming to create more powerful, versatile, and responsible models capable of tackling a broad range of real-world applications.


title: Dualities among Neveu-Schwarz sector branes in string theory

abstract: We conjecture dualities among branes that consist of Neveu-Schwarz sector fields, such as NS5-branes. Two branes are dual after compactifications on spheres with gauge fluxes. The conjecture follows from simple considerations on string worldsheet theories. For some NS5-branes, we get level-rank dualities of Chern-Simons theories. Application of the dualities to a newly found brane in heterotic string theory reveals surprising properties of the worldvolume theory on it, for which we give evidence from anomaly inflow.


title: A Stochastic Model-Based Control Methodology for Glycemic Management in the Intensive Care Unit

abstract: Intensive care unit (ICU) patients exhibit erratic blood glucose (BG) fluctuations, including hypoglycemic and hyperglycemic episodes, and require exogenous insulin delivery to keep their BG in healthy ranges. Glycemic control via glycemic management (GM) is associated with reduced mortality and morbidity in the ICU, but GM increases the cognitive load on clinicians. The availability of robust, accurate, and actionable clinical decision support (CDS) tools reduces this burden and assists in the decision-making process to improve health outcomes. Clinicians currently follow GM protocol flow charts for patient intravenous insulin delivery rate computations. We present a mechanistic model-based control algorithm that predicts the optimal intravenous insulin rate to keep BG within a target range; the goal is to develop this approach for eventual use within CDS systems. In this control framework, we employed a stochastic model representing BG dynamics in the ICU setting and used the linear quadratic Gaussian control methodology to develop a controller. We designed two experiments, one using virtual (simulated) patients and one using a real-world retrospective dataset. Using these, we evaluate the safety and efficacy of this model-based glycemic control methodology. The presented controller avoids hypoglycemia and hyperglycemia in virtual patients, maintaining BG levels in the target range more consistently than two existing GM protocols. Moreover, this methodology could theoretically prevent a large proportion of hypoglycemic and hyperglycemic events recorded in a real-world retrospective dataset.


title: Data-Driven Predictive Control with Adaptive Disturbance Attenuation for Constrained Systems

abstract: In this paper, we propose a novel data-driven predictive control approach for systems subject to time-domain constraints. The approach combines the strengths of H-infinity control for rejecting disturbances and MPC for handling constraints. In particular, the approach can dynamically adapt H-infinity disturbance attenuation performance depending on measured system state and forecasted disturbance level to satisfy constraints. We establish theoretical properties of the approach including robust guarantees of closed-loop stability, disturbance attenuation, constraint satisfaction under noisy data, as well as sufficient conditions for recursive feasibility, and illustrate the approach with a numerical example.


title: Some evaluations of interpolated multiple zeta values and interpolated multiple $t$-values

abstract: In this paper, we study the evaluation formulas of the interpolated multiple zeta values and the interpolated multiple $t$-values with indices involving $1,2,3$. To get these evaluations, we derive the corresponding algebraic relations in the harmonic algebra.


title: Survey on Modeling of Articulated Objects

abstract: 3D modeling of articulated objects is a research problem within computer vision, graphics, and robotics. Its objective is to understand the shape and motion of the articulated components, represent the geometry and mobility of object parts, and create realistic models that reflect articulated objects in the real world. This survey provides a comprehensive overview of the current state-of-the-art in 3D modeling of articulated objects, with a specific focus on the task of articulated part perception and articulated object creation (reconstruction and generation). We systematically review and discuss the relevant literature from two perspectives: geometry processing and articulation modeling. Through this survey, we highlight the substantial progress made in these areas, outline the ongoing challenges, and identify gaps for future research. Our survey aims to serve as a foundational reference for researchers and practitioners in computer vision and graphics, offering insights into the complexities of articulated object modeling.


title: On Zero-Shot Counterspeech Generation by LLMs

abstract: With the emergence of numerous Large Language Models (LLM), the usage of such models in various Natural Language Processing (NLP) applications is increasing extensively. Counterspeech generation is one such key task where efforts are made to develop generative models by fine-tuning LLMs with hatespeech - counterspeech pairs, but none of these attempts explores the intrinsic properties of large language models in zero-shot settings. In this work, we present a comprehensive analysis of the performances of four LLMs namely GPT-2, DialoGPT, ChatGPT and FlanT5 in zero-shot settings for counterspeech generation, which is the first of its kind. For GPT-2 and DialoGPT, we further investigate the deviation in performance with respect to the sizes (small, medium, large) of the models. On the other hand, we propose three different prompting strategies for generating different types of counterspeech and analyse the impact of such strategies on the performance of the models. Our analysis shows that there is an improvement in generation quality for two datasets (17%), however the toxicity increase (25%) with increase in model size. Considering type of model, GPT-2 and FlanT5 models are significantly better in terms of counterspeech quality but also have high toxicity as compared to DialoGPT. ChatGPT are much better at generating counter speech than other models across all metrics. In terms of prompting, we find that our proposed strategies help in improving counter speech generation across all the models.


title: STAG4D: Spatial-Temporal Anchored Generative 4D Gaussians

abstract: Recent progress in pre-trained diffusion models and 3D generation have spurred interest in 4D content creation. However, achieving high-fidelity 4D generation with spatial-temporal consistency remains a challenge. In this work, we propose STAG4D, a novel framework that combines pre-trained diffusion models with dynamic 3D Gaussian splatting for high-fidelity 4D generation. Drawing inspiration from 3D generation techniques, we utilize a multi-view diffusion model to initialize multi-view images anchoring on the input video frames, where the video can be either real-world captured or generated by a video diffusion model. To ensure the temporal consistency of the multi-view sequence initialization, we introduce a simple yet effective fusion strategy to leverage the first frame as a temporal anchor in the self-attention computation. With the almost consistent multi-view sequences, we then apply the score distillation sampling to optimize the 4D Gaussian point cloud. The 4D Gaussian spatting is specially crafted for the generation task, where an adaptive densification strategy is proposed to mitigate the unstable Gaussian gradient for robust optimization. Notably, the proposed pipeline does not require any pre-training or fine-tuning of diffusion networks, offering a more accessible and practical solution for the 4D generation task. Extensive experiments demonstrate that our method outperforms prior 4D generation works in rendering quality, spatial-temporal consistency, and generation robustness, setting a new state-of-the-art for 4D generation from diverse inputs, including text, image, and video.


title: Fat API bindings of C++ objects into scripting languages

abstract: A fat API exposes nearly all of a C++ object's public attributes and methods to a consuming environment, such as a scripting language, or web client. This can be contrasted with a conventional, or thin API, where the API is defined up front, and the C++ object provides the implementation, most of which is private to the C++ layer. Obviously, reflection is required to expose C++ objects to a consuming layer like this -- this paper explores using the Classdesc system to implement reflection of C++ objects into a JavaScript/TypeScript environment via a RESTservice, and also via a Node.js API module.


title: Unifying Lane-Level Traffic Prediction from a Graph Structural Perspective: Benchmark and Baseline

abstract: Traffic prediction has long been a focal and pivotal area in research, witnessing both significant strides from city-level to road-level predictions in recent years. With the advancement of Vehicle-to-Everything (V2X) technologies, autonomous driving, and large-scale models in the traffic domain, lane-level traffic prediction has emerged as an indispensable direction. However, further progress in this field is hindered by the absence of comprehensive and unified evaluation standards, coupled with limited public availability of data and code. This paper extensively analyzes and categorizes existing research in lane-level traffic prediction, establishes a unified spatial topology structure and prediction tasks, and introduces a simple baseline model, GraphMLP, based on graph structure and MLP networks. We have replicated codes not publicly available in existing studies and, based on this, thoroughly and fairly assessed various models in terms of effectiveness, efficiency, and applicability, providing insights for practical applications. Additionally, we have released three new datasets and corresponding codes to accelerate progress in this field, all of which can be found on https://github.com/ShuhaoLii/TITS24LaneLevel-Traffic-Benchmark.


title: Asymptotics of the Humbert function $\Psi_1$ for two large arguments

abstract: Recently, Wald and Henkel [Integral Transforms Spec. Funct. 29 (2) (2018), 95--112] derived the leading-order estimate of the Humbert functions $\Phi_2,\Phi_3$ and $\Xi_2$ for two large arguments, but their technique cannot handle the Humbert function $\Psi_1$. In this paper, we establish the leading asymptotic behavior of the Humbert function $\Psi_1$ for two large arguments. Our proof is based on a connection formula of the Gauss hypergeometric function and Nagel's approach [J. Math. Phys. 45 (1) (2004), 495--508]. This approach is also applied to deduce asymptotic expansions of the generalized hypergeometric function ${}_pF_q\,(p\leqslant q)$ for large parameters, which are not contained in NIST Handbook.


title: Primary Rate Maximization in Movable Antennas Empowered Symbiotic Radio Communications

abstract: In this paper, we propose a movable antenna (MA) empowered scheme for symbiotic radio (SR) communication systems. Specifically, multiple antennas at the primary transmitter (PT) can be flexibly moved to favorable locations to boost the channel conditions of the primary and secondary transmissions. The primary transmission is achieved by the active transmission from the PT to the primary user (PU), while the backscatter device (BD) takes a ride over the incident signal from the PT to passively send the secondary signal to the PU. Under this setup, we consider a primary rate maximization problem by jointly optimizing the transmit beamforming and the positions of MAs at the PT under a practical bit error rate constraint on the secondary transmission. Then, an alternating optimization framework with the utilization of the successive convex approximation, semi-definite processing and simulated annealing (SA) modified particle swarm optimization (SA-PSO) methods is proposed to find the solution of the transmit beamforming and MAs' positions. Finally, numerical results are provided to demonstrate the performance improvement provided by the proposed MA empowered scheme and the proposed algorithm.


title: CLIP-VQDiffusion : Langauge Free Training of Text To Image generation using CLIP and vector quantized diffusion model

abstract: There has been a significant progress in text conditional image generation models. Recent advancements in this field depend not only on improvements in model structures, but also vast quantities of text-image paired datasets. However, creating these kinds of datasets is very costly and requires a substantial amount of labor. Famous face datasets don't have corresponding text captions, making it difficult to develop text conditional image generation models on these datasets. Some research has focused on developing text to image generation models using only images without text captions. Here, we propose CLIP-VQDiffusion, which leverage the pretrained CLIP model to provide multimodal text-image representations and strong image generation capabilities. On the FFHQ dataset, our model outperformed previous state-of-the-art methods by 4.4% in clipscore and generated very realistic images even when the text was both in and out of distribution. The pretrained models and codes will soon be available at https://github.com/INFINIQ-AI1/CLIPVQDiffusion


title: An investigation on electronic and magnetic properties of Cr substituted MoS$_2$ monolayer and multilayers-Hybrid functional calculations

abstract: With help of ab initio density functional theory calculation, DFT+U, and hybrid functional HSE06, we revisit the layer dependent electronic structure and magnetic properties of pristine and 3d transition metal Cr doped MoS$_2$ monolayer and multilayers. Our results show that the dopant Cr atoms prefer to stay at nearest neighbor distances. In the multilayers, they prefer to remain in the outermost surface layers. Matching with the experimental band gap, the optimized U parameter we report is 4 eV. The band gap of the Cr doped monolayer is indirect, confirming the experimental observation from photoluminescence experiments. The HSE06 calculation for Cr doped monolayer shows that the band gap of doped Cr MoS$_2$ monolayer is indirect and no magnetism is observed. From the DFT studies, the band gap for the multilayers is indirect, and doping with Cr does not induce magnetic moments in MoS$_2$ layers. The band gap is observed to decrease with the multilayer thickness. The strain induced by substitutional Cr doping at the Mo site transforms the band gap in monolayer MoS$_2$ from direct to indirect. The defect states are produced within the band gap region close to the conduction band minimum.


title: A Single Linear Layer Yields Task-Adapted Low-Rank Matrices

abstract: Low-Rank Adaptation (LoRA) is a widely used Parameter-Efficient Fine-Tuning (PEFT) method that updates an initial weight matrix $W_0$ with a delta matrix $\Delta W$ consisted by two low-rank matrices $A$ and $B$. A previous study suggested that there is correlation between $W_0$ and $\Delta W$. In this study, we aim to delve deeper into relationships between $W_0$ and low-rank matrices $A$ and $B$ to further comprehend the behavior of LoRA. In particular, we analyze a conversion matrix that transform $W_0$ into low-rank matrices, which encapsulates information about the relationships. Our analysis reveals that the conversion matrices are similar across each layer. Inspired by these findings, we hypothesize that a single linear layer, which takes each layer's $W_0$ as input, can yield task-adapted low-rank matrices. To confirm this hypothesis, we devise a method named Conditionally Parameterized LoRA (CondLoRA) that updates initial weight matrices with low-rank matrices derived from a single linear layer. Our empirical results show that CondLoRA maintains a performance on par with LoRA, despite the fact that the trainable parameters of CondLoRA are fewer than those of LoRA. Therefore, we conclude that "a single linear layer yields task-adapted low-rank matrices."


title: GPT-Connect: Interaction between Text-Driven Human Motion Generator and 3D Scenes in a Training-free Manner

abstract: Recently, while text-driven human motion generation has received massive research attention, most existing text-driven motion generators are generally only designed to generate motion sequences in a blank background. While this is the case, in practice, human beings naturally perform their motions in 3D scenes, rather than in a blank background. Considering this, we here aim to perform scene-aware text-drive motion generation instead. Yet, intuitively training a separate scene-aware motion generator in a supervised way can require a large amount of motion samples to be troublesomely collected and annotated in a large scale of different 3D scenes. To handle this task rather in a relatively convenient manner, in this paper, we propose a novel GPT-connect framework. In GPT-connect, we enable scene-aware motion sequences to be generated directly utilizing the existing blank-background human motion generator, via leveraging ChatGPT to connect the existing motion generator with the 3D scene in a totally training-free manner. Extensive experiments demonstrate the efficacy and generalizability of our proposed framework.