title: Offline Writer Identification Using Convolutional Neural Network Activation Features

abstract: Convolutional neural networks (CNNs) have recently become the state-of-the-art tool for large-scale image classification. In this work we propose the use of activation features from CNNs as local descriptors for writer identification. A global descriptor is then formed by means of GMM supervector encoding, which is further improved by normalization with the KL-Kernel. We evaluate our method on two publicly available datasets: the ICDAR 2013 benchmark database and the CVL dataset. While we perform comparably to the state of the art on CVL, our proposed method yields about 0.21 absolute improvement in terms of mAP on the challenging bilingual ICDAR dataset.


title: Transforming Stiffness and Chaos

abstract: Stiff and chaotic differential equations are challenging for time-stepping numerical methods. For explicit methods, the required time step resolution significantly exceeds the resolution associated with the smoothness of the exact solution for specified accuracy. In order to improve efficiency, the question arises whether transformation to asymptotically stable solutions can be performed, for which neighbouring solutions converge towards each other at a controlled rate. Employing the concept of local Lyapunov exponents, it is demonstrated that chaotic differential equations can be successfully transformed to obtain high accuracy, whereas stiff equations cannot. For instance, the accuracy of explicit fourth order Runge-Kutta solution of the Lorenz chaotic equations can be increased by two orders of magnitude. Alternatively, the time step can be significantly extended with retained accuracy.


title: Stochastic homogenization of a class of quasiconvex and possibly degenerate viscous HJ equations in 1d

abstract: We prove homogenization for possibly degenerate viscous Hamilton-Jacobi equations with a Hamiltonian of the form $G(p)+V(x,\omega)$, where $G$ is a quasiconvex, locally Lipschitz function with superlinear growth, the potential $V(x,\omega)$ is bounded and Lipschitz continuous, and the diffusion coefficient $a(x,\omega)$ is allowed to vanish on some regions or even on the whole $\mathbb{R}$. The class of random media we consider is defined by an explicit scaled hill condition on the pair $(a,V)$ which is fulfilled as long as the environment is not ``rigid''.


title: REFACTOR: Learning to Extract Theorems from Proofs

abstract: Human mathematicians are often good at recognizing modular and reusable theorems that make complex mathematical results within reach. In this paper, we propose a novel method called theoREm-from-prooF extrACTOR (REFACTOR) for training neural networks to mimic this ability in formal mathematical theorem proving. We show on a set of unseen proofs, REFACTOR is able to extract 19.6% of the theorems that humans would use to write the proofs. When applying the model to the existing Metamath library, REFACTOR extracted 16 new theorems. With newly extracted theorems, we show that the existing proofs in the MetaMath database can be refactored. The new theorems are used very frequently after refactoring, with an average usage of 733.5 times, and help shorten the proof lengths. Lastly, we demonstrate that the prover trained on the new-theorem refactored dataset proves more test theorems and outperforms state-of-the-art baselines by frequently leveraging a diverse set of newly extracted theorems. Code can be found at https://github.com/jinpz/refactor.


title: Mechanics and wrinkling patterns of pressurized bent tubes

abstract: Take a drinking straw and bend it from its ends. After sufficient bending, the tube buckles forming a kink, where the curvature is localized in a very small area. This instability, known generally as the Brazier effect, is inherent to thin-walled cylindrical shells, which are particularly ubiquitous in living systems, such as rod-shaped bacteria. However, tubular biological structures are often pressurized, and the knowledge of the mechanical response upon bending in this scenario is limited. In this work, we use a computational model to study the mechanical response and the deformations as a result of bending pressurized tubes. In addition, we employ tension-field theory to describe the mechanical behaviour before and after the wrinkling transition. Furthermore, we investigate the development and evolution of wrinkle patterns beyond the instability, showing different wrinkled configurations. We discover the existence of a multi-wavelength mode following the purely sinusoidal wrinkles and anticipating the kinked configuration of the tube.


title: Stellarator equilibrium axis-expansion to all orders in distance from the axis for arbitrary plasma beta

abstract: A systematic theory of the asymptotic expansion of the magnetohydrodynamic (MHD) equilibrium in the distance from the magnetic axis is developed to include arbitrary smooth currents near the magnetic axis. Compared to the vacuum and the force-free system, an additional magnetic differential equation must be solved to obtain the pressure-driven currents. It is shown that there exist variables in which the rest of the MHD system closely mimics the vacuum system. Thus, a unified treatment of MHD fields is possible. The mathematical structure of the near-axis expansions to arbitrary order is examined carefully to show that the double-periodicity of physical quantities in a toroidal domain can be satisfied order by order. The essential role played by the normal form in solving the magnetic differential equations is highlighted. Several explicit examples of vacuum, force-free, and MHD equilibrium in different geometries are presented.


title: Measurement of cabin pressure during a flight with a smartphone

abstract: An aircraft cabin is used as a laboratory for studying the atmospheric pressure during a flight. All the different steps of the flight: take-off, cruise altitude climbing and landing are monitored with the use of the pressure sensor of a smartphone. Specific details of the atmospheric pressure during take-off and landing are given. Calculations are done for the aircraft nose elevation angle during take-off, with the relation between the optimized cabin pressure for the passenger comfort and the aircraft altitude.


title: Iterated INLA for State and Parameter Estimation in Nonlinear Dynamical Systems

abstract: Data assimilation (DA) methods use priors arising from differential equations to robustly interpolate and extrapolate data. Popular techniques such as ensemble methods that handle high-dimensional, nonlinear PDE priors focus mostly on state estimation, however can have difficulty learning the parameters accurately. On the other hand, machine learning based approaches can naturally learn the state and parameters, but their applicability can be limited, or produce uncertainties that are hard to interpret. Inspired by the Integrated Nested Laplace Approximation (INLA) method in spatial statistics, we propose an alternative approach to DA based on iteratively linearising the dynamical model. This produces a Gaussian Markov random field at each iteration, enabling one to use INLA to infer the state and parameters. Our approach can be used for arbitrary nonlinear systems, while retaining interpretability, and is furthermore demonstrated to outperform existing methods on the DA task. By providing a more nuanced approach to handling nonlinear PDE priors, our methodology offers improved accuracy and robustness in predictions, especially where data sparsity is prevalent.


title: The Kauffman Bracket Skein Module at an irreducible representation

abstract: In this paper, we study the Kauffman bracket skein module of closed oriented three-manifolds at a non-multiple-of-four roots of unity. Our main result establishes that the localization of this module at a maximal ideal, which corresponds to an irreducible representation of the fundamental group of the manifold, forms a one-dimensional free module over the localized unreduced coordinate ring of the character variety. We apply this by proving that the dimension of the skein module of a homology sphere with finite character variety, when the order of the root of unity is not divisible by $4$, is greater than or equal to the dimension of the unreduced coordinate ring of the character variety. This leads to a computation of the dimension of the skein module with coefficients in rational functions for homology spheres with tame universal skein module.


title: Hybrid Feedback Control for Global and Optimal Safe Navigation

abstract: We propose a hybrid feedback control strategy that safely steers a point-mass robot to a target location optimally from all initial conditions in the n-dimensional Euclidean space with a single spherical obstacle. The robot moves straight to the target when it has a clear line-of-sight to the target location. Otherwise, it engages in an optimal obstacle avoidance maneuver via the shortest path inside the cone enclosing the obstacle and having the robot's position as a vertex. The switching strategy that avoids the undesired equilibria, leading to global asymptotic stability (GAS) of the target location, relies on using two appropriately designed virtual destinations, ensuring control continuity and shortest path generation. Simulation results illustrating the effectiveness of the proposed approach are presented.


title: Incorporating climate change effects into the European power system adequacy assessment using a post-processing method

abstract: The demand-supply balance of electricity systems is fundamentally linked to climate conditions. In light of this, the present study aims to model the effect of climate change on the European electricity system, specifically on its long-term reliability. A resource adequate power system -- a system where electricity supply covers demand -- is sensitive to generation capacity, demand patterns, and the network structure and capacity. Climate change is foreseen to affect each of these components. In this analysis, we focused on two drivers of power system adequacy: the impact of temperature variations on electricity demand, and of water inflows changes on hydro generation. Using a post-processing approach, based on results found in the literature, the inputs of a large-scale electricity market model covering the European region were modified. The results show that climate change may decrease total LOLE (Loss of Load Expectation) hours in Europe by more than 50%, as demand will largely decrease because of a higher temperatures during winter. We found that the climate change impact on demand tends to decrease LOLE values, while the climate change effects on hydrological conditions tend to increase LOLE values. The study is built on a limited amount of open-source data and can flexibly incorporate various sets of assumptions. Outcomes also show the current difficulties to reliably model the effects of climate change on power system adequacy. Overall, our presented method displays the relevance of climate change effects in electricity network studies.


title: Robust Radiotherapy Planning with Spatially Based Uncertainty Sets

abstract: Radiotherapy treatment planning is a challenging large-scale optimization problem plagued by uncertainty. Following the robust optimization methodology, we propose a novel, spatially based uncertainty set for robust modeling of radiotherapy planning, producing solutions that are immune to unexpected changes in biological conditions. Our proposed uncertainty set realistically captures biological radiosensitivity patterns that are observed using recent advances in imaging, while its parameters can be personalized for individual patients. We exploit the structure of this set to devise a compact reformulation of the robust model. We develop a row-generation scheme to solve real, large-scale instances of the robust model. This method is then extended to a relaxation-based scheme for enforcing challenging, yet clinically important, dose-volume cardinality constraints. The computational performance of our algorithms, as well as the quality and robustness of the computed treatment plans, are demonstrated on simulated and real imaging data. Based on accepted performance measures, such as minimal target dose and homogeneity, these examples demonstrate that the spatially robust model achieves almost the same performance as the nominal model in the nominal scenario, and otherwise, the spatial model outperforms both the nominal and the box-uncertainty models.


title: Distinct Optical Excitation Mechanisms of a Coherent Magnon in a van der Waals Antiferromagnet

abstract: The control of antiferromagnets with ultrashort optical pulses has emerged as a prominent field of research. Tailored laser excitation can launch coherent spin waves at terahertz frequencies, yet a comprehensive description of their generation mechanisms is still lacking despite extensive efforts. Using terahertz emission spectroscopy, we investigate the generation of a coherent magnon mode in the van der Waals antiferromagnet NiPS$_3$ under a range of photoexcitation conditions. By tuning the pump photon energy from transparency to resonant with a $d$-$d$ transition, we reveal a striking change in the coherent magnon's dependence on the pump polarization, indicating two distinct excitation mechanisms. Our findings provide a strategy for the manipulation of magnetic modes via photoexcitation around sub-gap electronic states.


title: Towards Generalizing Inferences from Trials to Target Populations

abstract: Randomized Controlled Trials (RCTs) are pivotal in generating internally valid estimates with minimal assumptions, serving as a cornerstone for researchers dedicated to advancing causal inference methods. However, extending these findings beyond the experimental cohort to achieve externally valid estimates is crucial for broader scientific inquiry. This paper delves into the forefront of addressing these external validity challenges, encapsulating the essence of a multidisciplinary workshop held at the Institute for Computational and Experimental Research in Mathematics (ICERM), Brown University, in Fall 2023. The workshop congregated experts from diverse fields including social science, medicine, public health, statistics, computer science, and education, to tackle the unique obstacles each discipline faces in extrapolating experimental findings. Our study presents three key contributions: we integrate ongoing efforts, highlighting methodological synergies across fields; provide an exhaustive review of generalizability and transportability based on the workshop's discourse; and identify persistent hurdles while suggesting avenues for future research. By doing so, this paper aims to enhance the collective understanding of the generalizability and transportability of causal effects, fostering cross-disciplinary collaboration and offering valuable insights for researchers working on refining and applying causal inference methods.


title: Traffic Control via Connected and Automated Vehicles: An Open-Road Field Experiment with 100 CAVs

abstract: The CIRCLES project aims to reduce instabilities in traffic flow, which are naturally occurring phenomena due to human driving behavior. These "phantom jams" or "stop-and-go waves,"are a significant source of wasted energy. Toward this goal, the CIRCLES project designed a control system referred to as the MegaController by the CIRCLES team, that could be deployed in real traffic. Our field experiment leveraged a heterogeneous fleet of 100 longitudinally-controlled vehicles as Lagrangian traffic actuators, each of which ran a controller with the architecture described in this paper. The MegaController is a hierarchical control architecture, which consists of two main layers. The upper layer is called Speed Planner, and is a centralized optimal control algorithm. It assigns speed targets to the vehicles, conveyed through the LTE cellular network. The lower layer is a control layer, running on each vehicle. It performs local actuation by overriding the stock adaptive cruise controller, using the stock on-board sensors. The Speed Planner ingests live data feeds provided by third parties, as well as data from our own control vehicles, and uses both to perform the speed assignment. The architecture of the speed planner allows for modular use of standard control techniques, such as optimal control, model predictive control, kernel methods and others, including Deep RL, model predictive control and explicit controllers. Depending on the vehicle architecture, all onboard sensing data can be accessed by the local controllers, or only some. Control inputs vary across different automakers, with inputs ranging from torque or acceleration requests for some cars, and electronic selection of ACC set points in others. The proposed architecture allows for the combination of all possible settings proposed above. Most configurations were tested throughout the ramp up to the MegaVandertest.


title: Mind the Gap: Nonlocal Cascades and Preferential Heating in High-$\beta$ Alfv\'enic Turbulence

abstract: Characterizing the thermodynamics of turbulent plasmas is key to decoding observable signatures from astrophysical systems. In magnetohydrodynamic (MHD) turbulence, nonlinear interactions between counter-propagating Alfv\'en waves cascade energy to smaller spatial scales where dissipation heats the protons and electrons. When the thermal pressure far exceeds the magnetic pressure, linear theory predicts a spectral gap at perpendicular scales near the proton gyroradius where Alfv\'en waves become non-propagating. For simple models of an MHD turbulent cascade that assume only local nonlinear interactions, the cascade halts at this gap, preventing energy from reaching smaller scales where electron dissipation dominates, leading to an overestimate of the proton heating rate. In this work, we demonstrate that nonlocal contributions to the cascade, specifically large scale shearing and small scale diffusion, can bridge the non-propagating gap, allowing the cascade to continue to smaller scales. We provide an updated functional form for the proton-to-electron heating ratio accounting for this nonlocal energy transfer by evaluating a nonlocal weakened cascade model over a range of temperature and pressure ratios. In plasmas where the thermal pressure dominates the magnetic pressure, we observe that the proton heating is moderated compared to the significant enhancement predicted by local models.

categories: physics.space-ph astro-ph.HE astro-ph.SR physics.plasm-ph


title: An Investigation into the Performances of the State-of-the-art Machine Learning Approaches for Various Cyber-attack Detection: A Survey

abstract: In this research, we analyzed the suitability of each of the current state-of-the-art machine learning models for various cyberattack detection from the past 5 years with a major emphasis on the most recent works for comparative study to identify the knowledge gap where work is still needed to be done with regard to detection of each category of cyberattack. We also reviewed the suitability, effeciency and limitations of recent research on state-of-the-art classifiers and novel frameworks in the detection of differnet cyberattacks. Our result shows the need for; further research and exploration on machine learning approach for the detection of drive-by download attacks, an investigation into the mix performance of Naive Bayes to identify possible research direction on improvement to existing state-of-the-art Naive Bayes classifier, we also identify that current machine learning approach to the detection of SQLi attack cannot detect an already compromised database with SQLi attack signifying another possible future research direction.


title: Invariant measures for reducible generalized Bratteli diagrams

abstract: In 2010, Bezuglyi, Kwiatkowski, Medynets and Solomyak [Ergodic Theory Dynam. Systems 30 (2010), no.4, 973-1007] found a complete description of the set of probability ergodic tail invariant measures on the path space of a standard (classical) stationary reducible Bratteli diagram. It was shown that every distinguished eigenvalue for the incidence matrix determines a probability ergodic invariant measure. In this paper, we show that this result does not hold for stationary reducible generalized Bratteli diagrams. We consider classes of stationary and non-stationary reducible generalized Bratteli diagrams with infinitely many simple standard subdiagrams, in particular, with infinitely many odometers as subdiagrams. We characterize the sets of all probability ergodic invariant measures for such diagrams and study partial orders under which the diagrams can support a Vershik homeomorphism.


title: A smooth Birman-Hilden theory for hyperk\"ahler manifolds

abstract: This article grew out of an effort to understand the smooth mapping class groups of certain 4-manifolds in a geometric manner. We prove a smooth analog of the Birman-Hilden theorem for manifolds that admit a hyperk\"ahler structure. This allows us to probe the smooth mapping class groups associated to certain manifolds with nontrivial fundamental groups. Along the way, and of independent interest, we prove a global Torelli theorem for generalized Enriques manifolds. The techniques used are analogous to Teichm\"uller-theoretic methods in the classical theory of mapping class groups. We apply this hyperk\"ahler Birman-Hilden theorem to obtain results regarding smooth, metric, and complex Nielsen realization on Enriques surfaces.


title: Extension of the Best Polynomial Operator in Generalized Orlicz spaces

abstract: In this paper, we consider the best multivalued polynomial approximation operator for functions in an Orlicz Space $L^{\varphi}(\Omega)$. We obtain its characterization involving $\psi^-$ and $\psi^+$, which are the left and right derivatives functions of $\varphi$. And then, we extend the operator to $L^{\psi^+}(\Omega)$. We also get pointwise convergence of this extension, where the Calder\'on-Zygmund class $t_m^p (x)$ adapted to $L^{\psi^+}(\Omega)$ plays an important role.


title: Disorder-induced local strain distribution in Y-substituted TmVO4

abstract: We report an investigation of the effect of substitution of Y for Tm in $Tm_{1-x}Y_xVO4$ via low-temperature heat capacity measurements, with the yttrium content $x$ varying from $0$ to $0.997$. Because the Tm ions support a local quadrupolar (nematic) moment, they act as reporters of the local strain state in the material, with the splitting of the ion's non-Kramers crystal field groundstate proportional to the quadrature sum of the in-plane tetragonal symmetry-breaking transverse and longitudinal strains experienced by each ion individually. Analysis of the heat capacity therefore provides detailed insights into the distribution of local strains that arise as a consequence of the chemical substitution. These local strains suppress long-range quadrupole order for $x>0.22$, and result in a broad Schottky-like feature for higher concentrations. Heat capacity data are compared to expectations for a distribution of uncorrelated (random) strains. For dilute Tm concentrations, the heat capacity cannot be accounted for by randomly distributed strains, demonstrating the presence of significant strain correlations between sites. For intermediate Tm concentrations, these correlations must still exist, but the data cannot be distinguished from that which would be obtained from a 2D Gaussian distribution. The cross-over between these limits is discussed in terms of the interplay of key length scales in the substituted material. The central result of this work, that local strains arising from chemical substitution are not uncorrelated, has implications for the range of validity of theoretical models based on random effective fields that are used to describe such chemically substituted materials, particularly when electronic nematic correlations are present.


title: Reinforcement Learning Based Oscillation Dampening: Scaling up Single-Agent RL algorithms to a 100 AV highway field operational test

abstract: In this article, we explore the technical details of the reinforcement learning (RL) algorithms that were deployed in the largest field test of automated vehicles designed to smooth traffic flow in history as of 2023, uncovering the challenges and breakthroughs that come with developing RL controllers for automated vehicles. We delve into the fundamental concepts behind RL algorithms and their application in the context of self-driving cars, discussing the developmental process from simulation to deployment in detail, from designing simulators to reward function shaping. We present the results in both simulation and deployment, discussing the flow-smoothing benefits of the RL controller. From understanding the basics of Markov decision processes to exploring advanced techniques such as deep RL, our article offers a comprehensive overview and deep dive of the theoretical foundations and practical implementations driving this rapidly evolving field. We also showcase real-world case studies and alternative research projects that highlight the impact of RL controllers in revolutionizing autonomous driving. From tackling complex urban environments to dealing with unpredictable traffic scenarios, these intelligent controllers are pushing the boundaries of what automated vehicles can achieve. Furthermore, we examine the safety considerations and hardware-focused technical details surrounding deployment of RL controllers into automated vehicles. As these algorithms learn and evolve through interactions with the environment, ensuring their behavior aligns with safety standards becomes crucial. We explore the methodologies and frameworks being developed to address these challenges, emphasizing the importance of building reliable control systems for automated vehicles.


title: Wave Propagation in Periodic Plasma Media: A Semiclassical Approach

abstract: The propagation of electromagnetic waves in unmagnetized periodic plasma media is studied using the semiclassical wave packet approximation. The formalism gives rise to Berry effect terms in the equation of motion. The Berry effect manifests itself as Rytov polarization rotation law and the polarization-dependent Hall effect. The formalism is also applied to the case of non-periodic inhomogeneous plasma media.


title: Coherent laser cooling with trains of ultrashort laser pulses

abstract: We propose to extend coherent laser cooling from narrow-band to broad-band transitions by using trains of ultrashort broadband pulses. We study analytically two possible methods to reduce the momentum spread of a distribution by several units of photon momentum in a single spontaneous emission lifetime. We report on numerical simulations of one-dimensional laser cooling of a two-level system with realistic parameters. The technique introduced here is of high interest for efficient laser cooling of fast species with short lifetime such as positronium.


title: Ideals of some Green biset functors

abstract: In this article, we describe the lattice of ideals of some Green biset functors. We consider Green biset functors which satisfy that each evaluation is a finite dimensional split semisimple commutative algebra and use the idempotents in these evaluations to characterize any ideal of these Green biset functors. For this we will give the definition of M C-group, this definition generalizes that of a B-group, given for the Burnside functor. Given a Green biset functor A, with the above hypotheses, the set of all M C-groups of A has a structure of a poset and we prove that there exists an isomorphism of lattices between the set of ideals of A and the set of upward closed subsets of the M C-groups of A.


title: Layer Groups of Batak Weaves

abstract: This paper discusses the symmetry structures of the decorative weave patterns in baskets and other household items of the Batak, an indigenous community in the Philippines. The study confirms the realization of 15 layer groups that occur as symmetry groups of the Batak weaves. Layers groups are crystallographic space groups that have translational symmetries in two dimensions.


title: Chiral maps of given hyperbolic type on $A_k$

abstract: This paper proves the existence of a chiral map with alternating automorphism group for every hyperbolic type. We present a set of constructions using permutations for when at least one parameter is even, and call on previously known results for when both the valency and the face-length are odd.


title: Dynamic Model of Back-to-Back Converter for System-Level Phasor Simulation

abstract: The power system is expected to evolve rapidly with the increasing deployment of power electronic interface and conditioning systems, microgrids, and hybrid AC/DC grids. Among power electronic systems, back-to-back (BTB) converters can be a powerful interface to integrate microgrids and networked microgrids. To study the integration of such devices into large power systems, a balance between power electronics model fidelity and system-level computational efficiency is critical. In system-level simulations of bulk power systems dominated by synchronous generators, detailed electromagnetic models of back-to-back converters may be unnecessary and also computationally inefficient. This paper focuses on developing a simple phasor model for back-to-back converters that can be easily integrated into powerflow solvers to facilitate large-scale power system simulations. The model is implemented using C$^{++}$ language and integrated into GridLAB-D, an open source software for distribution systems studies, as a potential new capability. The GridLAB-D phasor domain model is validated against the electromagnetic transient (EMT) simulation of the detailed switching model. Simulation results show that the phasor model successfully captures the dominant dynamics of the converter with significantly shorter simulation elapsed time.


title: Feasibility analysis of a proposed test of quantum gravity via novel optical magnetometry in xenon

abstract: We present an analysis of the sensitivity limits of a proposed experimental search for quantum gravity, using a novel approach based on optical magnetometry in the noble gas isotope $^{129}$Xe. The analysis relies on a general uncertainty principle model that is consistent with most formulations of quantum gravity theory, where the canonical uncertainty relations are modified by a leading-order correction term that is linear in momentum. In turn, this correction modifies the magnetic moment of the spin-polarized $^{129}$Xe atoms that are immersed in a magnetic field in the proposed experiment, which results in a velocity-dependent variation of their Larmour frequency, that is detected via two-photon laser spectroscopy. The thermal distribution of atomic velocities, in conjunction with the Doppler effect, is used to scan the interrogating laser over different atomic velocities, and search for a corresponding variation in their Larmor frequencies. We show that the existing bounds on the leading-order quantum gravity correction can be improved by $10^{7}$ with existing technology, where another factor of $10^{2}$ is possible with near-future technical capabilities.


title: An Analysis of Capacity-Distortion Trade-Offs in Memoryless ISAC Systems

abstract: This manuscript investigates the information-theoretic limits of integrated sensing and communications (ISAC), aiming for simultaneous reliable communication and precise channel state estimation. We model such a system with a state-dependent discrete memoryless channel (SD-DMC) with present or absent channel feedback and generalized side information at the transmitter and the receiver, where the joint task of message decoding and state estimation is performed at the receiver. The relationship between the achievable communication rate and estimation error, the capacity-distortion (C-D) trade-off, is characterized across different causality levels of the side information. This framework is shown to be capable of modeling various practical scenarios by assigning the side information with different meanings, including monostatic and bistatic radar systems. The analysis is then extended to the two-user degraded broadcast channel, and we derive an achievable C-D region that is tight under certain conditions. To solve the optimization problem arising in the computation of C-D functions/regions, we propose a proximal block coordinate descent (BCD) method, prove its convergence to a stationary point, and derive a stopping criterion. Finally, several representative examples are studied to demonstrate the versatility of our framework and the effectiveness of the proposed algorithm.


title: On some features of Quadratic Unconstrained Binary Optimization with random coefficients

abstract: Quadratic Unconstrained Binary Optimization (QUBO or UBQP) is concerned with maximizing/minimizing the quadratic form $H(J, \eta) = W \sum_{i,j} J_{i,j} \eta_{i} \eta_{j}$ with $J$ a matrix of coefficients, $\eta \in \{0, 1\}^N$ and $W$ a normalizing constant. In the statistical mechanics literature, QUBO is a lattice gas counterpart to the Sherrington--Kirkpatrick spin glass model. Finding the optima of $H$ is an NP-hard problem. Several problems in combinatorial optimization and data analysis can be mapped to QUBO in a straightforward manner. In the combinatorial optimization literature, random instances of QUBO are often used to test the effectiveness of heuristic algorithms. Here we consider QUBO with random coefficients and show that if the $J_{i,j}$'s have zero mean, then, after proper normalization, the minimum and maximum \emph{per particle} of $H$ do not depend on the details of the distribution of the couplings and are concentrated around their expected values. Further, with the help of numerical simulations, we give estimates of the minimum and maximum of the objective function and provide some insight into the structure of the minimizer and the maximizer of $H$. We argue that also this structure is rather robust. Our findings hold in the diluted case where each of the $J_{i,j}$'s is allowed to be zero with probability going to $1$ as $N \to \infty$ in a suitable way.


title: Bounds on the Index of an Umbilic Point

abstract: Umbilics are points of a surface embedded in three space where normal curvatures are independent of direction. The (in)famous Carath\'{e}odory Conjecture states that a compact simply connected embedded surface has at least two umbilic points. A counterexample to this conjecture would be a surface whose principal foliation has index two at a single umbilic. All (purported) proofs of the Carath\'{e}odory Conjecture are based on analyses of the index of an umbilic, concluding that it is at most one. This investigation gives a much simpler geometric argument that the index of an umbilic on an analytic surface cannot be an integer larger than one, providing new insight into the Carath\'{e}odory Conjecture. The results also establish lower bounds for the index of an umbilic based on its degeneracy.


title: A Multi-Fidelity Methodology for Reduced Order Models with High-Dimensional Inputs

abstract: In the early stages of aerospace design, reduced order models (ROMs) are crucial for minimizing computational costs associated with using physics-rich field information in many-query scenarios requiring multiple evaluations. The intricacy of aerospace design demands the use of high-dimensional design spaces to capture detailed features and design variability accurately. However, these spaces introduce significant challenges, including the curse of dimensionality, which stems from both high-dimensional inputs and outputs necessitating substantial training data and computational effort. To address these complexities, this study introduces a novel multi-fidelity, parametric, and non-intrusive ROM framework designed for high-dimensional contexts. It integrates machine learning techniques for manifold alignment and dimension reduction employing Proper Orthogonal Decomposition (POD) and Model-based Active Subspace with multi-fidelity regression for ROM construction. Our approach is validated through two test cases: the 2D RAE~2822 airfoil and the 3D NASA CRM wing, assessing combinations of various fidelity levels, training data ratios, and sample sizes. Compared to the single-fidelity PCAS method, our multi-fidelity solution offers improved cost-accuracy benefits and achieves better predictive accuracy with reduced computational demands. Moreover, our methodology outperforms the manifold-aligned ROM (MA-ROM) method by 50% in handling scenarios with large input dimensions, underscoring its efficacy in addressing the complex challenges of aerospace design.


title: HOISDF: Constraining 3D Hand-Object Pose Estimation with Global Signed Distance Fields

abstract: Human hands are highly articulated and versatile at handling objects. Jointly estimating the 3D poses of a hand and the object it manipulates from a monocular camera is challenging due to frequent occlusions. Thus, existing methods often rely on intermediate 3D shape representations to increase performance. These representations are typically explicit, such as 3D point clouds or meshes, and thus provide information in the direct surroundings of the intermediate hand pose estimate. To address this, we introduce HOISDF, a Signed Distance Field (SDF) guided hand-object pose estimation network, which jointly exploits hand and object SDFs to provide a global, implicit representation over the complete reconstruction volume. Specifically, the role of the SDFs is threefold: equip the visual encoder with implicit shape information, help to encode hand-object interactions, and guide the hand and object pose regression via SDF-based sampling and by augmenting the feature representations. We show that HOISDF achieves state-of-the-art results on hand-object pose estimation benchmarks (DexYCB and HO3Dv2). Code is available at https://github.com/amathislab/HOISDF


title: An Identity for Generalized Euler Polynomials

abstract: In this paper, we introduce a novel identity for generalized Euler polynomials, leading to further generalizations for several relations involving classical Euler numbers, Euler polynomials, Genocchi polynomials, and Genocchi numbers.


title: The influence of the phase and structural state on the low-temperature elastic properties of molybdenum-alloyed non-equiatomic high-entropy alloys of the Fe-Co-Ni-Cr system

abstract: The mechanical properties and microstructural evolution of a medium-entropy alloy Co$_{17.5}$Cr$_{12.5}$Fe$_{55}$Ni$_{10}$Mo$_{5}$ (at%) in a low temperature range (including the record low temperatures region down to 0.5 K) were investigated. It has been established that low-temperature plastic deformation initiates martensitic phase transformations in this alloy, and the values of the dynamic modulus of elasticity correlate with the degree of phase transformations.


title: Taming the Tail in Class-Conditional GANs: Knowledge Sharing via Unconditional Training at Lower Resolutions

abstract: Despite extensive research on training generative adversarial networks (GANs) with limited training data, learning to generate images from long-tailed training distributions remains fairly unexplored. In the presence of imbalanced multi-class training data, GANs tend to favor classes with more samples, leading to the generation of low-quality and less diverse samples in tail classes. In this study, we aim to improve the training of class-conditional GANs with long-tailed data. We propose a straightforward yet effective method for knowledge sharing, allowing tail classes to borrow from the rich information from classes with more abundant training data. More concretely, we propose modifications to existing class-conditional GAN architectures to ensure that the lower-resolution layers of the generator are trained entirely unconditionally while reserving class-conditional generation for the higher-resolution layers. Experiments on several long-tail benchmarks and GAN architectures demonstrate a significant improvement over existing methods in both the diversity and fidelity of the generated images. The code is available at https://github.com/khorrams/utlo.


title: Born's rule from epistemic assumptions

abstract: Born's rule is the recipe for calculating probabilities from quantum mechanical amplitudes. There is no generally accepted derivation of Born's rule from first principles. In this paper, it is motivated from assumptions that link the ontological content of a proper physical model to the epistemic conditions of the experimental context. More precisely, it is assumed that all knowable distinctions should correspond to distinctions in a proper model. This principle of "ontological completeness" means, for example, that the probabilistic treatment of the double slit experiment with and without path information should differ. Further, it is assumed that the model should rely only on knowable ontological elements, and that failure to fulfill this principle of "ontological minimalism" gives rise to wrong predictions. Consequently, probabilities should be assigned only to observable experimental outcomes. Also, the method to calculate such probabilities should not rely on the existence of a precise path of the observed object if this path is not knowable. A similar principle was promoted by Born, even though he did not apply it to probability. Another crucial assumption is that the proper rule to calculate probabilities should be generally valid. It should be applicable in all experimental contexts, regardless the setup that determines which attributes of the studied object are observed, together with the probability to observe each of the associated attribute values. There is no need to refer to the Hilbert space structure of quantum mechanics in the present treatment. Rather, some elements of this structure emerge from the analysis.


title: On Independent Samples Along the Langevin Diffusion and the Unadjusted Langevin Algorithm

abstract: We study the rate at which the initial and current random variables become independent along a Markov chain, focusing on the Langevin diffusion in continuous time and the Unadjusted Langevin Algorithm (ULA) in discrete time. We measure the dependence between random variables via their mutual information. For the Langevin diffusion, we show the mutual information converges to $0$ exponentially fast when the target is strongly log-concave, and at a polynomial rate when the target is weakly log-concave. These rates are analogous to the mixing time of the Langevin diffusion under similar assumptions. For the ULA, we show the mutual information converges to $0$ exponentially fast when the target is strongly log-concave and smooth. We prove our results by developing the mutual version of the mixing time analyses of these Markov chains. We also provide alternative proofs based on strong data processing inequalities for the Langevin diffusion and the ULA, and by showing regularity results for these processes in mutual information.


title: Finitely dependent random colorings of bounded degree graphs

abstract: We prove that every (possibly infinite) graph of degree at most $d$ has a 4-dependent random proper $4^{d(d+1)/2}$-coloring, and one can construct it as a finitary factor of iid. For unimodular transitive (or unimodular random) graphs we construct an automorphism-invariant (respectively, unimodular) 2-dependent coloring by $3^{d(d+1)/2}$ colors. In particular, there exist random proper colorings for $\Z^d$ and for the regular tree that are 2-dependent and automorphism-invariant, or 4-dependent and finitary factor of iid.


title: Leveraging power of deep learning for fast and efficient elite pixel selection in time series SAR interferometry

abstract: This work proposes an improved convolutional long short-term memory (ConvLSTM) based architecture for selection of elite pixels (i.e., less noisy) in time series interferometric synthetic aperture radar (TS-InSAR). Compared to previous version, the model can process InSAR stacks of variable time steps and select both persistent (PS) and distributed scatterers (DS). We trained the model on ~20,000 training images (interferograms), each of size 100 by 100 pixels, extracted from InSAR time series interferograms containing both artificial features (buildings and infrastructure) and objects of natural environment (vegetation, forests, barren or agricultural land, water bodies). Based on such categorization, we developed two deep learning models, primarily focusing on urban and coastal sites. Training labels were generated from elite pixel selection outputs generated from the wavelet-based InSAR (WabInSAR) software developed by Shirzaei (2013) and improved in Lee and Shirzaei (2023). With 4 urban and 7 coastal sites used for training and validation, the predicted elite pixel selection maps reveal that the proposed models efficiently learn from WabInSAR-generated labels, reaching a validation accuracy of 94%. The models accurately discard pixels affected by geometric and temporal decorrelation while selecting pixels corresponding to urban objects and those with stable phase history unaffected by temporal and geometric decorrelation. The density of pixels in urban areas is comparable to and higher for coastal areas compared to WabInSAR outputs. With significantly reduced time computation (order of minutes) and improved selection of elite pixels, the proposed models can efficiently process long InSAR time series stacks and generate rapid deformation maps.


title: Dempster-Shafer P-values: Thoughts on an Alternative Approach for Multinomial Inference

abstract: In this paper, we demonstrate that a new measure of evidence we developed called the Dempster-Shafer p-value which allow for insights and interpretations which retain most of the structure of the p-value while covering for some of the disadvantages that traditional p- values face. Moreover, we show through classical large-sample bounds and simulations that there exists a close connection between our form of DS hypothesis testing and the classical frequentist testing paradigm. We also demonstrate how our approach gives unique insights into the dimensionality of a hypothesis test, as well as models the effects of adversarial attacks on multinomial data. Finally, we demonstrate how these insights can be used to analyze text data for public health through an analysis of the Population Health Metrics Research Consortium dataset for verbal autopsies.


title: Path Planning for a Cooperative Navigation Aid Vehicle to Assist Multiple Agents Intermittently

abstract: This paper considers the problem of planning a path for a single underwater cooperative navigation aid (CNA) vehicle to intermittently aid a set of N agents to minimize average navigation uncertainty. Both the CNA and agents are modeled as constant-velocity vehicles. The agents traverse along known nominal trajectories and the CNA plans a path to sequentially intercept them. Navigation aiding is modeled by a scalar discrete time Kalman filter. During path planning, the CNA considers surfacing to reduce its own navigation uncertainty. A greedy planning algorithm is proposed that uses a heuristic based on an optimal time-to-aid, overall navigation uncertainty reduction, and transit time, to assign agents to the CNA. The approach is compared to an optimal (exhaustive enumeration) algorithm through a Monte Carlo experiment with randomized agent nominal trajectories and initial navigation uncertainty.


title: Proximal Algorithms for a class of abstract convex functions

abstract: In this paper we analyze a class of nonconvex optimization problem from the viewpoint of abstract convexity. Using the respective generalizations of the subgradient we propose an abstract notion proximal operator and derive a number of algorithms, namely an abstract proximal point method, an abstract forward-backward method and an abstract projected subgradient method. Global convergence results for all algorithms are discussed and numerical examples are given


title: One-Shot Graph Representation Learning Using Hyperdimensional Computing

abstract: We present a novel, simple, fast, and efficient approach for semi-supervised learning on graphs. The proposed approach takes advantage of hyper-dimensional computing which encodes data samples using random projections into a high dimensional space (HD space for short). Specifically, we propose a Hyper-dimensional Graph Learning (HDGL) algorithm that leverages the injectivity property of the node representations of a family of graph neural networks. HDGL maps node features to the HD space and then uses HD operators such as bundling and binding to aggregate information from the local neighborhood of each node. Results of experiments with widely used benchmark data sets show that HDGL achieves predictive performance that is competitive with the state-of-the-art deep learning methods, without the need for computationally expensive training.


title: Asphalt Concrete Characterization Using Digital Image Correlation: A Systematic Review of Best Practices, Applications, and Future Vision

abstract: Digital Image Correlation (DIC) is an optical technique that measures displacement and strain by tracking pattern movement in a sequence of captured images during testing. DIC has gained recognition in asphalt pavement engineering since the early 2000s. However, users often perceive the DIC technique as an out-of-box tool and lack a thorough understanding of its operational and measurement principles. This article presents a state-of-art review of DIC as a crucial tool for laboratory testing of asphalt concrete (AC), primarily focusing on the widely utilized 2D-DIC and 3D-DIC techniques. To address frequently asked questions from users, the review thoroughly examines the optimal methods for preparing speckle patterns, configuring single-camera or dual-camera imaging systems, conducting DIC analyses, and exploring various applications. Furthermore, emerging DIC methodologies such as Digital Volume Correlation and deep-learning-based DIC are introduced, highlighting their potential for future applications in pavement engineering. The article also provides a comprehensive and reliable flowchart for implementing DIC in AC characterization. Finally, critical directions for future research are presented.


title: Continuous family of surfaces translating by powers of Gauss curvature

abstract: This paper shows the existence of convex translating surfaces under the flow by the $\alpha$-th power of Gauss curvature for the sub-affine-critical regime $ 0 < \alpha < 1/4$. The key aspect of our study is that our ansatz at infinity is the graph of homogeneous functions whose level sets are closed curves shrinking under the flow by the $\frac{\alpha}{1-\alpha}$-th power of curvature. For each ansatz, we construct a family of translating surfaces generated by the Jacobi fields with effective growth rates. Moreover, the construction shows quantitative estimate on the rate of convergence between different translators to each other, which is required to show the continuity of the family. As a result, the family is regarded as a topological manifold. The construction in this paper will become the ground of forthcoming research, where we aim to prove that every translating surface must correspond to one of the solutions obtained herein, classifying translating surfaces and identifying the topology of the moduli space.


title: Kindling the First Stars II: Dependence of the Predicted PISN Rate on the Pop III Initial Mass Function

abstract: Population III (Pop III) stars formed out of metal free gas in minihalos at $z>20$. While their ignition ended the Dark Ages and begin enrichment of the IGM, their mass distribution remains unconstrained. To date, no confirmed Pop III star has been observed and their direct detection is beyond the reach of the James Webb Space Telescope (JWST) without gravitational lensing. However, a subset of massive Pop III stars end their lives in pair instability supernova (PISN). With typical energies of $\sim10^{53}$~erg, PISN light curve peaks are bright enough to be detectable by JWST and the Roman Space Telescope. The fundamental question of this work is whether or not observed PISN can be used as a diagnostic of the Pop III IMF. In this work, we use a model of the formation of the first stars to determine the dependence of PISN rates at $z~>~5$ for a range of Pop III power law IMFs ($\alpha~=~0.2~-~2.35$) and, critically, the method by which the IMF is populated. At $z~>~15$, we predict typical rates of $10^{-2}~-~10^2$ per deg$^{2}$ per year which will produce $10^{-3}~-~0.1$/year in a single NIRCam pointing and $0.003~-~30$/year in a single Roman pointing with $0.1~-~1000$ per year detected in the HLTDS. Our work highlights that theoretical modeling of PISN rates is required if upcoming PISN studies with JWST and Roman are going to constrain the Pop III IMF.


title: Parallelized Spatiotemporal Binding

abstract: While modern best practices advocate for scalable architectures that support long-range interactions, object-centric models are yet to fully embrace these architectures. In particular, existing object-centric models for handling sequential inputs, due to their reliance on RNN-based implementation, show poor stability and capacity and are slow to train on long sequences. We introduce Parallelizable Spatiotemporal Binder or PSB, the first temporally-parallelizable slot learning architecture for sequential inputs. Unlike conventional RNN-based approaches, PSB produces object-centric representations, known as slots, for all time-steps in parallel. This is achieved by refining the initial slots across all time-steps through a fixed number of layers equipped with causal attention. By capitalizing on the parallelism induced by our architecture, the proposed model exhibits a significant boost in efficiency. In experiments, we test PSB extensively as an encoder within an auto-encoding framework paired with a wide variety of decoder options. Compared to the state-of-the-art, our architecture demonstrates stable training on longer sequences, achieves parallelization that results in a 60% increase in training speed, and yields performance that is on par with or better on unsupervised 2D and 3D object-centric scene decomposition and understanding.


title: Batch Estimation of a Steady, Uniform, Flow-Field from Ground Velocity and Heading Measurements

abstract: This paper presents three batch estimation methods that use noisy ground velocity and heading measurements from a vehicle executing a circular orbit (or similar large heading change maneuver) to estimate the speed and direction of a steady, uniform, flow-field. The methods are based on a simple kinematic model of the vehicle's motion and use curve-fitting or nonlinear least-square optimization. A Monte Carlo simulation with randomized flow conditions is used to evaluate the batch estimation methods while varying the measurement noise of the data and the interval of unique heading traversed during the maneuver. The methods are also compared using experimental data obtained with a Bluefin-21 unmanned underwater vehicle performing a series of circular orbit maneuvers over a five hour period in a tide-driven flow.


title: Independent Rydberg Atom Sensing using a Dual-Ladder Scheme

abstract: Rydberg atom-based electric field sensing can provide all-optical readout of radio frequency fields in a dielectric environment. However, because a single set of optical fields is typically used to prepare the Rydberg state and read out its response to RF fields, it is challenging to perform simultaneous and independent measurements of the RF field(s). Here we show that using two independent schemes to prepare and read out the same Rydberg state can be used to perform independent measurements in general, which we demonstrate specifically by resolving the the RF polarization. We expect this work will be useful for fiber-coupled sensor heads where spatial multiplexing is challenging, as well as for complex multi-level sensing schemes.


title: Solving the area-length systems in discrete gravity using homotopy continuation

abstract: Area variables are intrinsic to connection formulations of general relativity, in contrast to the fundamental length variables prevalent in metric formulations. Within 4D discrete gravity, particularly based on triangulations, the area-length system establishes a relationship between area variables associated with triangles and the edge length variables. This system is comprised of polynomial equations derived from Heron's formula, which relates the area of a triangle to its edge lengths. Using tools from numerical algebraic geometry, we study the area-length systems. In particular, we show that given the ten triangular areas of a single 4-simplex, there could be up to 64 compatible sets of edge lengths. Moreover, we show that these 64 solutions do not, in general, admit formulae in terms of the areas by analyzing the Galois group, or monodromy group, of the problem. We show that by introducing additional symmetry constraints, it is possible to obtain such formulae for the edge lengths. We take the first steps toward applying our results within discrete quantum gravity, specifically for effective spin foam models.


title: A Fine-tuning Enhanced RAG System with Quantized Influence Measure as AI Judge

abstract: This study presents an innovative enhancement to retrieval-augmented generation (RAG) systems by seamlessly integrating fine-tuned large language models (LLMs) with vector databases. This integration capitalizes on the combined strengths of structured data retrieval and the nuanced comprehension provided by advanced LLMs. Central to our approach are the LoRA and QLoRA methodologies, which stand at the forefront of model refinement through parameter-efficient fine-tuning and memory optimization. A novel feature of our research is the incorporation of user feedback directly into the training process, ensuring the model's continuous adaptation to user expectations and thus, improving its performance and applicability. Additionally, we introduce a Quantized Influence Measure (QIM) as an innovative "AI Judge" mechanism to enhance the precision of result selection, further refining the system's accuracy. Accompanied by an executive diagram and a detailed algorithm for fine-tuning QLoRA, our work provides a comprehensive framework for implementing these advancements within chatbot technologies. This research contributes significant insights into LLM optimization for specific uses and heralds new directions for further development in retrieval-augmented models. Through extensive experimentation and analysis, our findings lay a robust foundation for future advancements in chatbot technology and retrieval systems, marking a significant step forward in the creation of more sophisticated, precise, and user-centric conversational AI systems.


title: Deconstructing the Veneer of Simplicity: Co-Designing Introductory Generative AI Workshops with Local Entrepreneurs

abstract: Generative AI platforms and features are permeating many aspects of work. Entrepreneurs from lean economies in particular are well positioned to outsource tasks to generative AI given limited resources. In this paper, we work to address a growing disparity in use of these technologies by building on a four-year partnership with a local entrepreneurial hub dedicated to equity in tech and entrepreneurship. Together, we co-designed an interactive workshops series aimed to onboard local entrepreneurs to generative AI platforms. Alongside four community-driven and iterative workshops with entrepreneurs across five months, we conducted interviews with 15 local entrepreneurs and community providers. We detail the importance of communal and supportive exposure to generative AI tools for local entrepreneurs, scaffolding actionable use (and supporting non-use), demystifying generative AI technologies by emphasizing entrepreneurial power, while simultaneously deconstructing the veneer of simplicity to address the many operational skills needed for successful application.


title: Computing Using Shallow NV-Center Charges in Diamond

abstract: The static electric dipole-dipole coupling between donor-acceptor pairs (DAPs) in wide-bandgap semiconductors has recently emerged as a means of realizing a quantum science platform through optically controllable, long-range interactions between defects in the solid state. In this work, we generalize DAPs to consider arbitrary dopant populations and demonstrate that the charge of the NV center in diamond is well suited for quantum science. Explicitly, we leverage experimental results [see Z. Yuan et al., PRR 2, 033263 (2020)] to show that shallow NV centers can be efficiently initialized to a given relative population of the negative and neutral charge states and that modulating the surface termination would allow for control of the timescale over which the initialization and subsequent computations would occur. Furthermore, we argue that the observation of electroluminescence from the neutral charge state of the NV center [see N. Mizuochi et al., Nat. Photon. 6, 299 (2012)], but not from the negative charge state, implies the ability to interface with the NV center's charge in a manner analogous to the spin interface enabled by the spin-state dependent fluorescence of the NV center.


title: A point-free version of torsionfree classes and the Goldie torsion theory

abstract: Torsion theories are a pinnacle in the theory of abelian categories. They are a generalization of torsion abelian groups and in this generalization one of the most studied is that whose torsionfree class consists of nonsingular modules. To introduce the concept of singular interval we use the symmetric idea of torsion theories, that is the torsion class determines the torsionfree class and vice-versa, thus to introduce nonsingular intervals over an upper-continuous modular complete lattice, (a.k.a idiom, a.k.a modular preframe) we define the concept of \emph{division free} set. We introduce the division free set of nonsingular intervals which defines a division set of singular intervals in a canonical way. Several properties of division free sets and some consequences of nonsingular intervals are explored allowing us to develop a small part of a point-free nonsingular theory.


title: A Proof of the Central Limit Theorem Using the $2$-Wasserstein Metric

abstract: We prove the Lindeberg--Feller central limit theorem without using characteristic functions or Taylor expansions, but instead by measuring how far a distribution is from the standard normal distribution according to the $2$-Wasserstein metric. This falls under the category of renormalization group methods. The facts we need about the metric are explained and proved in detail. We illustrate the idea on a classical version of the central limit theorem before going into the main proof.


title: An optimal transport model for dynamical shapes, collective motion and cellular aggregates

abstract: Many biological systems such as cell aggregates, tissues or bacterial colonies behave as unconventional systems of particles that are strongly constrained by volume exclusion and shape interactions. Understanding how these constraints lead to macroscopic self-organized structures is a fundamental question in e.g. developmental biology. To this end, various types of computational models have been developed: phase fields, cellular automata, vertex models, level-set, finite element simulations, etc. We introduce a new framework based on optimal transport theory to model particle systems with arbitrary dynamical shapes and deformability. Our method builds upon the pioneering work of Brenier on incompressible fluids and its recent applications to materials science. It lets us specify the shapes of individual cells and supports a wide range of interaction mechanisms, while automatically taking care of the volume exclusion constraint at an affordable numerical cost. We showcase the versatility of this approach by reproducing several classical systems in computational biology. Our Python code is freely available at: www.github.com/antoinediez/ICeShOT


title: A Note on Bayesian Networks with Latent Root Variables

abstract: We characterise the likelihood function computed from a Bayesian network with latent variables as root nodes. We show that the marginal distribution over the remaining, manifest, variables also factorises as a Bayesian network, which we call empirical. A dataset of observations of the manifest variables allows us to quantify the parameters of the empirical Bayesian net. We prove that (i) the likelihood of such a dataset from the original Bayesian network is dominated by the global maximum of the likelihood from the empirical one; and that (ii) such a maximum is attained if and only if the parameters of the Bayesian network are consistent with those of the empirical model.


title: Cell-Constrained Particles for Incompressible Fluids

abstract: Incompressibility is a fundamental condition in most fluid models. Accumulation of simulation errors violates it and causes volume loss. Past work suggested correction methods to battle it. These methods, however, are imperfect and in some cases inadequate. We present a method for fluid simulation that strictly enforces incompressibility based on a grid-related definition of discrete incompressibility. We formulate a linear programming (LP) problem that bounds the number of particles that end up in each grid cell. A variant of the band method is offered for acceleration, which requires special constraints to ensure volume preservation. Further acceleration is achieved by simplifying the problem and adding a special band correction step that is formulated as a minimum-cost flow problem (MCFP). We also address coupling with solids in our framework and demonstrate advantages over prior work.


title: Learning high-dimensional targets by two-parameter models and gradient flow

abstract: We explore the theoretical possibility of learning $d$-dimensional targets with $W$-parameter models by gradient flow (GF) when $W<d$. Our main result shows that if the targets are described by a particular $d$-dimensional probability distribution, then there exist models with as few as two parameters that can learn the targets with arbitrarily high success probability. On the other hand, we show that for $W<d$ there is necessarily a large subset of GF-non-learnable targets. In particular, the set of learnable targets is not dense in $\mathbb R^d$, and any subset of $\mathbb R^d$ homeomorphic to the $W$-dimensional sphere contains non-learnable targets. Finally, we observe that the model in our main theorem on almost guaranteed two-parameter learning is constructed using a hierarchical procedure and as a result is not expressible by a single elementary function. We show that this limitation is essential in the sense that such learnability can be ruled out for a large class of elementary functions.


title: Renormalization Group flow, Optimal Transport and Diffusion-based Generative Model

abstract: Diffusion-based generative models represent a forefront direction in generative AI research today. Recent studies in physics have suggested that the renormalization group (RG) can be conceptualized as a diffusion process. This insight motivates us to develop a novel diffusion-based generative model by reversing the momentum-space RG flow. We establish a framework that interprets RG flow as optimal transport gradient flow, which minimizes a functional analogous to the Kullback-Leibler divergence, thereby bridging statistical physics and information theory. Our model applies forward and reverse diffusion processes in Fourier space, exploiting the sparse representation of natural images in this domain to efficiently separate signal from noise and manage image features across scales. By introducing a scale-dependent noise schedule informed by a dispersion relation, the model optimizes denoising performance and image generation in Fourier space, taking advantage of the distinct separation of macro and microscale features. Experimental validations on standard datasets demonstrate the model's capability to generate high-quality images while significantly reducing training time compared to existing image-domain diffusion models. This approach not only enhances our understanding of the generative processes in images but also opens new pathways for research in generative AI, leveraging the convergence of theoretical physics, optimal transport, and machine learning principles.


title: Structural Teacher-Student Normality Learning for Multi-Class Anomaly Detection and Localization

abstract: Visual anomaly detection is a challenging open-set task aimed at identifying unknown anomalous patterns while modeling normal data. The knowledge distillation paradigm has shown remarkable performance in one-class anomaly detection by leveraging teacher-student network feature comparisons. However, extending this paradigm to multi-class anomaly detection introduces novel scalability challenges. In this study, we address the significant performance degradation observed in previous teacher-student models when applied to multi-class anomaly detection, which we identify as resulting from cross-class interference. To tackle this issue, we introduce a novel approach known as Structural Teacher-Student Normality Learning (SNL): (1) We propose spatial-channel distillation and intra-&inter-affinity distillation techniques to measure structural distance between the teacher and student networks. (2) We introduce a central residual aggregation module (CRAM) to encapsulate the normal representation space of the student network. We evaluate our proposed approach on two anomaly detection datasets, MVTecAD and VisA. Our method surpasses the state-of-the-art distillation-based algorithms by a significant margin of 3.9% and 1.5% on MVTecAD and 1.2% and 2.5% on VisA in the multi-class anomaly detection and localization tasks, respectively. Furthermore, our algorithm outperforms the current state-of-the-art unified models on both MVTecAD and VisA.


title: An Innovative Information Theory-based Approach to Tackle and Enhance The Transparency in Phishing Detection

abstract: Phishing attacks have become a serious and challenging issue for detection, explanation, and defense. Despite more than a decade of research on phishing, encompassing both technical and non-technical remedies, phishing continues to be a serious problem. Nowadays, AI-based phishing detection stands out as one of the most effective solutions for defending against phishing attacks by providing vulnerability (i.e., phishing or benign) predictions for the data. However, it lacks explainability in terms of providing comprehensive interpretations for the predictions, such as identifying the specific information that causes the data to be classified as phishing. To this end, we propose an innovative deep learning-based approach for email (the most common phishing way) phishing attack localization. Our method can not only predict the vulnerability of the email data but also automatically learn and figure out the most important and phishing-relevant information (i.e., sentences) in the phishing email data where the selected information indicates useful and concise explanations for the vulnerability. The rigorous experiments on seven real-world diverse email datasets show the effectiveness and advancement of our proposed method in selecting crucial information, offering concise explanations (by successfully figuring out the most important and phishing-relevant information) for the vulnerability of the phishing email data. Particularly, our method achieves a significantly higher performance, ranging from approximately 1.5% to 3.5%, compared to state-of-the-art baselines, as measured by the combined average performance of two main metrics Label-Accuracy and Cognitive-True-Positive.


title: Improved understanding of the growth of blocky alpha in welded Zircaloy-4

abstract: Zirconium alloys are widely used in nuclear reactors as fuel cladding materials. Fuel cladding is used to contain the nuclear fuel and cladding tubes are typically sealed using welds. Welding of zirconium alloys can result in changes in the local microstructure, with the potential to grow so called 'blocky {\alpha}' grains in the welded region during subsequent thermal processing and these blocky {\alpha} grains have the potential to be detrimental to the integrity of the component. In this work, complimentary heating experiments with ex situ and in situ electron backscatter diffraction (EBSD) analysis are used to aid understanding of the blocky {\alpha} grain growth within the weld region. These experiments reveal that blocky {\alpha} grain growth is related to the parent \b{eta} (high temperature) microstructure, as grains grow adjacent to a prior \b{eta} grain boundary and the orientation of the growing {\alpha} grain can be explained using neighbourhood orientations from this prior \b{eta} grain. This growth mechanism is explained via a simple mechanism which is related to the {\alpha} grain orientations, grain boundary structures and local stored energy. Ultimately, our findings indicate that the likely grain growth (size and morphology) across the weld region can now be predicted from the initial as-welded microstructure.


title: Higher Order Wiener-Wintner systems: examples and applications

abstract: The notion of a Wiener-Wintner dynamical system provides a simple proof of pointwise convergence for double recurrence in the case where the Wiener-Wintner averages converge to zero at a polynomial rate for a dense set of functions that lie outside the Kronecker factor. This follows by exploiting a bound that arises in the beginning of Bourgain argument for double recurrence. We extend this bound to triple and higher recurrence and define the notion of a higher order Wiener-Wintner dynamical system, in which pointwise convergence of higher recurrence follows by a similar simple argument. We provide examples of dynamical systems that satisfy this condition, and also show how the higher order Wiener-Wintner averaging condition can provide an alternative characterization of Host-Kra-Ziegler factors. We will also provide a proof of the return times theorem for multiple recurrence for this class of systems.


title: Fibre-integrated van der Waals quantum sensor with an optimal cavity interface

abstract: Integrating quantum materials with fibre optics adds advanced functionalities to a variety of applications, and introduces fibre-based quantum devices such as remote sensors capable of probing multiple physical parameters. However, achieving optimal integration between quantum materials and fibres is challenging, particularly due to difficulties in fabrication of quantum elements with suitable dimensions and an efficient photonic interface to a commercial optical fibre. Here we demonstrate a new modality for a fibre-integrated van der Waals quantum sensor. We design and fabricate a hole-based circular Bragg grating cavity from hexagonal boron nitride (hBN), engineer optically active spin defects within the cavity, and integrate the cavity with an optical fibre using a deterministic pattern transfer technique. The fibre-integrated hBN cavity enables efficient excitation and collection of optical signals from spin defects in hBN, thereby enabling all-fibre integrated quantum sensors. Moreover, we demonstrate remote sensing of a ferromagnetic material and of arbitrary magnetic fields. All in all, the hybrid fibre-based quantum sensing platform may pave the way to a new generation of robust, remote, multi-functional quantum sensors.


title: Simple rejection Monte Carlo algorithm and its application to multivariate statistical inference

abstract: The Monte Carlo algorithm is increasingly utilized, with its central step involving computer-based random sampling from stochastic models. While both Markov Chain Monte Carlo (MCMC) and Reject Monte Carlo serve as sampling methods, the latter finds fewer applications compared to the former. Hence, this paper initially provides a concise introduction to the theory of the Reject Monte Carlo algorithm and its implementation techniques, aiming to enhance conceptual understanding and program implementation. Subsequently, a simplified rejection Monte Carlo algorithm is formulated. Furthermore, by considering multivariate distribution sampling and multivariate integration as examples, this study explores the specific application of the algorithm in statistical inference.


title: Re-Ex: Revising after Explanation Reduces the Factual Errors in LLM Responses

abstract: Mitigating hallucination issues is a key challenge that must be overcome to reliably deploy large language models (LLMs) in real-world scenarios. Recently, various methods have been proposed to detect and revise factual errors in LLM-generated texts, in order to reduce hallucination. In this paper, we propose Re-Ex, a method for post-editing LLM-generated responses. Re-Ex introduces a novel reasoning step dubbed as the factual error explanation step. Re-Ex revises the initial response of LLMs using 3-steps : first, external tools are used to retrieve the evidences of the factual errors in the initial LLM response; next, LLM is instructed to explain the problematic parts of the response based on the gathered evidence; finally, LLM revises the initial response using the explanations provided in the previous step. In addition to the explanation step, Re-Ex also incorporates new prompting techniques to reduce the token count and inference time required for the response revision process. Compared with existing methods including FacTool, CoVE, and RARR, Re-Ex provides better detection and revision performance with less inference time and fewer tokens in multiple benchmarks.


title: In Defense and Revival of Bayesian Filtering for Thermal Infrared Object Tracking

abstract: Deep learning-based methods monopolize the latest research in the field of thermal infrared (TIR) object tracking. However, relying solely on deep learning models to obtain better tracking results requires carefully selecting feature information that is beneficial to representing the target object and designing a reasonable template update strategy, which undoubtedly increases the difficulty of model design. Thus, recent TIR tracking methods face many challenges in complex scenarios. This paper introduces a novel Deep Bayesian Filtering (DBF) method to enhance TIR tracking in these challenging situations. DBF is distinctive in its dual-model structure: the system and observation models. The system model leverages motion data to estimate the potential positions of the target object based on two-dimensional Brownian motion, thus generating a prior probability. Following this, the observation model comes into play upon capturing the TIR image. It serves as a classifier and employs infrared information to ascertain the likelihood of these estimated positions, creating a likelihood probability. According to the guidance of the two models, the position of the target object can be determined, and the template can be dynamically updated. Experimental analysis across several benchmark datasets reveals that DBF achieves competitive performance, surpassing most existing TIR tracking methods in complex scenarios.


title: The Fermi-LAT view of the changing-look blazar OQ 334

abstract: Context.Unusually, there are still certain characteristics of the changing-look (CL) active galactic nuclei (AGNs) that remain undetected.Consequently,the trigger mechanism behind the CL phenomenon observed in partial AGNs remains unknown.Aims.We explore the light curve and spectral energy distribution (SED) of the CL blazar OQ 334 as obtained by Fermi-LAT. Methods. By examining the variability of the equivalent width (EW), we categorise the Fermi-LAT light curves of OQ 334 during the epoch of MJD 54628-58677 into seven distinct epochs, including the flat spectrum radio quasar (FSRQ) state, the transition state, and the BL Lac state. We obtained both a Fermi-LAT SED and a multi-wavelength SED for each of these distinct epochs. Results. The source exhibits a transformation from a quiescent state to a highly active state, as evidenced by the variability of the EW. The multi-wavelength SEDs display a prominent external Compton characteristic, even though the Fermi-LAT SED reveals both a FSRQ and a BL Lac state across the seven different epochs. To gain further insights, we employed a leptonic model that takes into account the soft photon fields originating from both synchrotron radiation and the external environment. By simulating the multi-wavelength SEDs for each epoch, we uncover the following results. Firstly, the energy density of the external photon fields evolves in an oscillatory manner over the seven different epochs. Also, the energy density of the external photon fields in the BL Lac state is lower than that in the FSRQ state.Conclusions. These findings suggest that the CL blazar represents a unique phase in the blazar sequence.


title: Virial Equation of State for a Granular System

abstract: The equation of state for an ideal gas is simple, which is $P=nk_{\rm B}T$. In the case of imperfect gases where mutual interactions among the constituents are important, pressure $P$ can be expressed as the series expansion of density $n$ with appropriate coefficients, known as virial coefficients $B_m$. In this paper, we have obtained the first four virial coefficients for a model interaction potential $\Phi(r)$ using multidimensional Monte-Carlo integration and importance sampling methods. Next, we perform molecular dynamics simulations with the same $\Phi(r)$ for a many-particle system to obtain $P$ as a function of $T$ and $n$. We compare our numerical data with the virial equation of state.


title: T-HITL Effectively Addresses Problematic Associations in Image Generation and Maintains Overall Visual Quality

abstract: Generative AI image models may inadvertently generate problematic representations of people. Past research has noted that millions of users engage daily across the world with these models and that the models, including through problematic representations of people, have the potential to compound and accelerate real-world discrimination and other harms (Bianchi et al, 2023). In this paper, we focus on addressing the generation of problematic associations between demographic groups and semantic concepts that may reflect and reinforce negative narratives embedded in social data. Building on sociological literature (Blumer, 1958) and mapping representations to model behaviors, we have developed a taxonomy to study problematic associations in image generation models. We explore the effectiveness of fine tuning at the model level as a method to address these associations, identifying a potential reduction in visual quality as a limitation of traditional fine tuning. We also propose a new methodology with twice-human-in-the-loop (T-HITL) that promises improvements in both reducing problematic associations and also maintaining visual quality. We demonstrate the effectiveness of T-HITL by providing evidence of three problematic associations addressed by T-HITL at the model level. Our contributions to scholarship are two-fold. By defining problematic associations in the context of machine learning models and generative AI, we introduce a conceptual and technical taxonomy for addressing some of these associations. Finally, we provide a method, T-HITL, that addresses these associations and simultaneously maintains visual quality of image model generations. This mitigation need not be a tradeoff, but rather an enhancement.


title: Anisotropic Photon Emission Enhancement near Carbon Nanotube Metasurfaces

abstract: We present a theoretical study of the directionality effects in spontaneous emission and resonance fluorescence of a quantum two-level dipole emitter near an ultrathin closely packed periodically aligned single-wall carbon nanotube film. Such films present an example of highly anisotropic flexible metasurfaces that are now available experimentally. The nanotube alignment is shown to provide an extra measure for quantum control of dipolar spontaneous emission and resonance fluorescence in such systems, in addition to film thickness and composition parameters such as tube diameter, chirality and translational period. The processes studied are shown to be highly anisotropic, being enhanced by orders of magnitude in the direction perpendicular to the alignment and metasurface plane, contrasting with the commonly believed viewpoint of their uncontrollably random directionality.


title: Causal Orthogonalization: Multicollinearity, Economic Interpretability, and the Gram-Schmidt Process

abstract: This paper considers the problem of interpreting orthogonalization model coefficients. We derive a causal economic interpretation of the Gram-Schmidt orthogonalization process and provide the conditions for its equivalence to total effects from a recursive Directed Acyclic Graph. We extend the Gram-Schmidt process to groups of simultaneous regressors common in economic data sets and derive its finite sample properties, finding its coefficients to be unbiased, stable, and more efficient than those from Ordinary Least Squares. Finally, we apply the estimator to childhood reading comprehension scores, controlling for such highly collinear characteristics as race, education, and income. The model expands Bohren et al.'s decomposition of systemic discrimination into channel-specific effects and improves its coefficient significance levels.


title: Adversarial Perturbations of Physical Signals

abstract: We investigate the vulnerability of computer-vision-based signal classifiers to adversarial perturbations of their inputs, where the signals and perturbations are subject to physical constraints. We consider a scenario in which a source and interferer emit signals that propagate as waves to a detector, which attempts to classify the source by analyzing the spectrogram of the signal it receives using a pre-trained neural network. By solving PDE-constrained optimization problems, we construct interfering signals that cause the detector to misclassify the source even though the perturbations to the spectrogram of the received signal are nearly imperceptible. Though such problems can have millions of decision variables, we introduce methods to solve them efficiently. Our experiments demonstrate that one can compute effective and physically realizable adversarial perturbations for a variety of machine learning models under various physical conditions.


title: Minimum length word-representants of graph products

abstract: A graph $G = (V, E)$ is said to be word-representable if a word $w$ can be formed using the letters of the alphabet $V$ such that for every pair of vertices $x$ and $y$, $xy \in E$ if and only if $x$ and $y$ alternate in $w$. Gaetz and Ji have recently introduced the notion of minimum length word-representants for word-representable graphs. They have also determined the minimum possible length of the word-representants for certain classes of graphs, such as trees and cycles. It is know that Cartesian and Rooted products preserve word-representability. Moreover, Broere constructed a uniform word representing the Cartesian product of $G$ and $K_n$ using occurrence based functions. In this paper, we study the minimum length of word-representants for Cartesian and Rooted products using morphism and occurrence based function, respectively. Also, we solve an open problem posed by Broere in his master thesis. This problem asks to construct a word for the Cartesian product of two arbitrary word-representable graphs.


title: Achievable Fairness on Your Data With Utility Guarantees

abstract: In machine learning fairness, training models that minimize disparity across different sensitive groups often leads to diminished accuracy, a phenomenon known as the fairness-accuracy trade-off. The severity of this trade-off inherently depends on dataset characteristics such as dataset imbalances or biases and therefore, using a uniform fairness requirement across diverse datasets remains questionable. To address this, we present a computationally efficient approach to approximate the fairness-accuracy trade-off curve tailored to individual datasets, backed by rigorous statistical guarantees. By utilizing the You-Only-Train-Once (YOTO) framework, our approach mitigates the computational burden of having to train multiple models when approximating the trade-off curve. Crucially, we introduce a novel methodology for quantifying uncertainty in our estimates, thereby providing practitioners with a robust framework for auditing model fairness while avoiding false conclusions due to estimation errors. Our experiments spanning tabular (e.g., Adult), image (CelebA), and language (Jigsaw) datasets underscore that our approach not only reliably quantifies the optimum achievable trade-offs across various data modalities but also helps detect suboptimality in SOTA fairness methods.


title: Complex Gaussianity of long-distance random wave processes

abstract: Interference of randomly scattered classical waves naturally leads to familiar speckle patterns, where the wave intensity follows an exponential distribution while the wave field itself is described by a circularly symmetric complex normal distribution. In the It\^o-Schr\"odinger paraxial model of wave beam propagation, we demonstrate how a deterministic incident beam transitions to such a fully developed speckle pattern over long distances in the so-called scintillation (weak-coupling) regime.


title: Repeated Contracting with Multiple Non-Myopic Agents: Policy Regret and Limited Liability

abstract: We study a repeated contracting setting in which a Principal adaptively chooses amongst $k$ Agents at each of $T$ rounds. The Agents are non-myopic, and so a mechanism for the Principal induces a $T$-round extensive form game amongst the Agents. We give several results aimed at understanding an under-explored aspect of contract theory -- the game induced when choosing an Agent to contract with. First, we show that this game admits a pure-strategy \emph{non-responsive} equilibrium amongst the Agents -- informally an equilibrium in which the Agent's actions depend on the history of realized states of nature, but not on the history of each other's actions, and so avoids the complexities of collusion and threats. Next, we show that if the Principal selects Agents using a \emph{monotone} bandit algorithm, then for any concave contract, in any such equilibrium, the Principal obtains no regret to contracting with the best Agent in hindsight -- not just given their realized actions, but also to the counterfactual world in which they had offered a guaranteed $T$-round contract to the best Agent in hindsight, which would have induced a different sequence of actions. Finally, we show that if the Principal selects Agents using a monotone bandit algorithm which guarantees no swap-regret, then the Principal can additionally offer only limited liability contracts (in which the Agent never needs to pay the Principal) while getting no-regret to the counterfactual world in which she offered a linear contract to the best Agent in hindsight -- despite the fact that linear contracts are not limited liability. We instantiate this theorem by demonstrating the existence of a monotone no swap-regret bandit algorithm, which to our knowledge has not previously appeared in the literature.


title: Replicating Electoral Success

abstract: A core tension in the study of plurality elections is the clash between the classic Hotelling-Downs model, which predicts that two office-seeking candidates should position themselves at the median voter's policy, and the empirical observation that real-world democracies often have two major parties with divergent policies. Motivated by this tension and drawing from bounded rationality, we introduce a dynamic model of candidate positioning based on a simple behavioral heuristic: candidates imitate the policy of previous winners. The resulting model is closely connected to evolutionary replicator dynamics and exhibits complex behavior, despite its simplicity. For uniformly-distributed voters, we prove that when there are $k = 2$, $3$, or $4$ candidates per election, any symmetric candidate distribution converges over time to a concentration of candidates at the center. With $k \ge 5$, however, we prove that the candidate distribution does not converge to the center. For initial distributions without any extreme candidates, we prove a stronger statement than non-convergence, showing that the density in an interval around the center goes to zero when $k \ge 5$. As a matter of robustness, our conclusions are qualitatively unchanged if a small fraction of candidates are not winner-copiers and are instead positioned uniformly at random. Beyond our theoretical analysis, we illustrate our results in simulation; for five or more candidates, we find a tendency towards the emergence of two clusters, a mechanism suggestive of Duverger's Law, the empirical finding that plurality leads to two-party systems. Our simulations also explore several variations of the model, including non-uniform voter distributions and other forms of noise, which exhibit similar convergence patterns. Finally, we discuss the relationship between our model and prior work on strategic equilibria of candidate positioning games.


title: Sinkhorn Distance Minimization for Knowledge Distillation

abstract: Knowledge distillation (KD) has been widely adopted to compress large language models (LLMs). Existing KD methods investigate various divergence measures including the Kullback-Leibler (KL), reverse Kullback-Leibler (RKL), and Jensen-Shannon (JS) divergences. However, due to limitations inherent in their assumptions and definitions, these measures fail to deliver effective supervision when few distribution overlap exists between the teacher and the student. In this paper, we show that the aforementioned KL, RKL, and JS divergences respectively suffer from issues of mode-averaging, mode-collapsing, and mode-underestimation, which deteriorates logits-based KD for diverse NLP tasks. We propose the Sinkhorn Knowledge Distillation (SinKD) that exploits the Sinkhorn distance to ensure a nuanced and precise assessment of the disparity between teacher and student distributions. Besides, profit by properties of the Sinkhorn metric, we can get rid of sample-wise KD that restricts the perception of divergence in each teacher-student sample pair. Instead, we propose a batch-wise reformulation to capture geometric intricacies of distributions across samples in the high-dimensional space. Comprehensive evaluation on GLUE and SuperGLUE, in terms of comparability, validity, and generalizability, highlights our superiority over state-of-the-art methods on all kinds of LLMs with encoder-only, encoder-decoder, and decoder-only architectures.


title: SwiftCache: Model-Based Learning for Dynamic Content Caching in CDNs

abstract: We introduce SwiftCache, a "fresh" learning-based caching framework designed for content distribution networks (CDNs) featuring distributed front-end local caches and a dynamic back-end database. Users prefer the most recent version of the dynamically updated content, while the local caches lack knowledge of item popularity and refresh rates. We first explore scenarios with requests arriving at a local cache following a Poisson process, whereby we prove that the optimal policy features a threshold-based structure with updates occurring solely at request arrivals. Leveraging these findings, SwiftCache is proposed as a model-based learning framework for dynamic content caching. The simulation demonstrates near-optimal cost for Poisson process arrivals and strong performance with limited cache sizes. For more general environments, we present a model-free Reinforcement Learning (RL) based caching policy without prior statistical assumptions. The model-based policy performs well compared to the model-free policy when the variance of interarrival times remains moderate. However, as the variance increases, RL slightly outperforms model-based learning at the cost of longer training times, and higher computational resource consumption. Model-based learning's adaptability to environmental changes without retraining positions it as a practical choice for dynamic network environments. Distributed edge caches can utilize this approach in a decentralized manner to effectively meet the evolving behaviors of users.


title: Gluing And Splitting of Homogeneous Toric Ideals

abstract: We show that any two homogeneous affine semigroups can be glued by embedding them suitably in a higher dimensional space. As a consequence, we show that the sum of their homogeneous toric ideals is again a homogeneous toric ideal, and that the minimal graded free resolution of the associated semigroup ring is the tensor product of the minimal resolutions of the two smaller parts. We apply our results to toric ideals associated to graphs to show how two of them can be a splitting of a toric ideal associated to a graph or an hypergraph.


title: Transparent Image Layer Diffusion using Latent Transparency

abstract: We present LayerDiffuse, an approach enabling large-scale pretrained latent diffusion models to generate transparent images. The method allows generation of single transparent images or of multiple transparent layers. The method learns a "latent transparency" that encodes alpha channel transparency into the latent manifold of a pretrained latent diffusion model. It preserves the production-ready quality of the large diffusion model by regulating the added transparency as a latent offset with minimal changes to the original latent distribution of the pretrained model. In this way, any latent diffusion model can be converted into a transparent image generator by finetuning it with the adjusted latent space. We train the model with 1M transparent image layer pairs collected using a human-in-the-loop collection scheme. We show that latent transparency can be applied to different open source image generators, or be adapted to various conditional control systems to achieve applications like foreground/background-conditioned layer generation, joint layer generation, structural control of layer contents, etc. A user study finds that in most cases (97%) users prefer our natively generated transparent content over previous ad-hoc solutions such as generating and then matting. Users also report the quality of our generated transparent images is comparable to real commercial transparent assets like Adobe Stock.