title: Pits on Jupiter Family Comets and the age of cometary surfaces

abstract: Large and deep depressions, also known as pits, are observed at the surface of all Jupiter Family Comets (JFCs) imaged by spacecraft missions. They offer the opportunity to glimpse into sub-surface characteristics of comet nuclei, and study the complex interplay between surface structures and cometary activity. This work investigates the evolution of pits at the surface of 81P/Wild 2, 9P/Tempel 1 and 103P/Hartley 2, in continuation of the work by Benseguane et al. (2022), on 67P/Churyumov-Gerasimenko. Pits are selected across the surface of each nucleus, and high-resolution shape models are used to compute the energy they receive. A thermal evolution model is applied to constrain how cometary activity sustained under current illumination conditions could modify them. Similarly to what was found for 67P, we show erosion resulting from water-driven activity is primarily controlled by seasonal patterns, unique to each comet as a consequence of their shape and rotational properties. However, progressive erosion sustained after multiple perihelion passages is not able to carve any of the observed pits. Instead, cometary activity tends to erase sharp morphological features: they become wider and shallower over time. Our results reinforce the evolutionary sequence evidenced from independent measurables to transform "young" cometary surfaces, with sharp surface topography prone to outbursts, into "old" cometary surfaces. Finally, we suggest that the mechanism at the origin of pits on JFCs should be able to carve these structures in a region of the solar system where water ice does not sublimate: the Centaur phase thus appears critical to understand JFCs surface properties.


title: An Efficient Framework for Global Non-Convex Polynomial Optimization with Nonlinear Polynomial Constraints

abstract: We present an efficient framework for solving constrained global non-convex polynomial optimization problems. We prove the existence of an equivalent nonlinear reformulation of such problems that possesses essentially no spurious local minima. We show through numerical experiments that polynomial scaling in dimension and degree is achievable for computing the optimal value and location of previously intractable global constrained polynomial optimization problems in high dimension.


title: Triggerless data acquisition pipeline for Machine Learning based statistical anomaly detection

abstract: This work describes an online processing pipeline designed to identify anomalies in a continuous stream of data collected without external triggers from a particle detector. The processing pipeline begins with a local reconstruction algorithm, employing neural networks on an FPGA as its first stage. Subsequent data preparation and anomaly detection stages are accelerated using GPGPUs. As a practical demonstration of anomaly detection, we have developed a data quality monitoring application using a cosmic muon detector. Its primary objective is to detect deviations from the expected operational conditions of the detector. This serves as a proof-of-concept for a system that can be adapted for use in large particle physics experiments, enabling anomaly detection on datasets with reduced bias.


title: HPC-based Solvers of Minimisation Problems for Signal Processing

abstract: Several physics and engineering applications involve the solution of a minimisation problem to compute an approximation of the input signal. Modern computing hardware and software apply high-performance computing to solve and considerably reduce the execution time. We compare and analyse different minimisation methods in terms of functional computation, convergence, execution time, and scalability properties, for the solution of two minimisation problems (i.e., approximation and denoising) with different constraints that involve computationally expensive operations. These problems are attractive due to their numerical and analytical properties, and our general analysis can be extended to most signal-processing problems. We perform our tests on the Cineca Marconi100 cluster, at the 26th position in the top500 list. Our experimental results show that PRAXIS is the best optimiser in terms of minima computation: the efficiency of the approximation is 38% with 256 processes, while the denoising has 46% with 32 processes.


title: Spectral Properties of Elementwise-Transformed Spiked Matrices

abstract: This work concerns elementwise-transformations of spiked matrices: $Y_n = n^{-1/2} f( \sqrt{n} X_n + Z_n)$. Here, $f$ is a function applied elementwise, $X_n$ is a low-rank signal matrix, and $Z_n$ is white noise. We find that principal component analysis is powerful for recovering signal under highly nonlinear or discontinuous transformations. Specifically, in the high-dimensional setting where $Y_n$ is of size $n \times p$ with $n,p \rightarrow \infty$ and $p/n \rightarrow \gamma > 0$, we uncover a phase transition: for signal-to-noise ratios above a sharp threshold -- depending on $f$, the distribution of elements of $Z_n$, and the limiting aspect ratio $\gamma$ -- the principal components of $Y_n$ (partially) recover those of $X_n$. Below this threshold, the principal components of $Y_n$ are asymptotically orthogonal to the signal. In contrast, in the standard setting where $X_n + n^{-1/2}Z_n$ is observed directly, the analogous phase transition depends only on $\gamma$. A similar phenomenon occurs with $X_n$ square and symmetric and $Z_n$ a generalized Wigner matrix.


title: Quantum circuit synthesis with diffusion models

abstract: Quantum computing has recently emerged as a transformative technology. Yet, its promised advantages rely on efficiently translating quantum operations into viable physical realizations. In this work, we use generative machine learning models, specifically denoising diffusion models (DMs), to facilitate this transformation. Leveraging text-conditioning, we steer the model to produce desired quantum operations within gate-based quantum circuits. Notably, DMs allow to sidestep during training the exponential overhead inherent in the classical simulation of quantum dynamics -- a consistent bottleneck in preceding ML techniques. We demonstrate the model's capabilities across two tasks: entanglement generation and unitary compilation. The model excels at generating new circuits and supports typical DM extensions such as masking and editing to, for instance, align the circuit generation to the constraints of the targeted quantum device. Given their flexibility and generalization abilities, we envision DMs as pivotal in quantum circuit synthesis, enhancing both practical applications but also insights into theoretical quantum computation.


title: A Data-Driven Approach to Coarse-Graining Simple Liquids in Confinement

abstract: We propose a data-driven framework for identifying coarse-grained (CG) Lennard-Jones (LJ) potential parameters in confined systems for simple liquids. Our approach involves the use of a Deep Neural Network (DNN) that is trained to approximate the solution of the Inverse Liquid State (ILST) problem for confined systems. The DNN model inherently incorporates essential physical characteristics specific to confined fluids, enabling accurate prediction of inhomogeneity effects. By utilizing transfer learning, we predict single-site LJ potentials of simple multiatomic liquids confined in a slit-like channel, which effectively replicate both the fluid structure and molecular force of the target All-Atom (AA) system when the electrostatic interactions are not dominant. In addition, we showcase the synergy between the data-driven approach and the well-known Bottom-Up coarse-graining method utilizing Relative-Entropy (RE) Minimization. Through sequential utilization of these two methods, the robustness of the iterative RE method is significantly augmented, leading to a remarkable enhancement in convergence.


title: Bayesian Quantile Regression with Subset Selection: A Posterior Summarization Perspective

abstract: Quantile regression is a powerful tool for inferring how covariates affect specific percentiles of the response distribution. Existing methods either estimate conditional quantiles separately for each quantile of interest or estimate the entire conditional distribution using semi- or non-parametric models. The former often produce inadequate models for real data and do not share information across quantiles, while the latter are characterized by complex and constrained models that can be difficult to interpret and computationally inefficient. Further, neither approach is well-suited for quantile-specific subset selection. Instead, we pose the fundamental problems of linear quantile estimation, uncertainty quantification, and subset selection from a Bayesian decision analysis perspective. For any Bayesian regression model, we derive optimal and interpretable linear estimates and uncertainty quantification for each model-based conditional quantile. Our approach introduces a quantile-focused squared error loss, which enables efficient, closed-form computing and maintains a close relationship with Wasserstein-based density estimation. In an extensive simulation study, our methods demonstrate substantial gains in quantile estimation accuracy, variable selection, and inference over frequentist and Bayesian competitors. We apply these tools to identify the quantile-specific impacts of social and environmental stressors on educational outcomes for a large cohort of children in North Carolina.

categories: stat.ME math.ST stat.AP stat.CO stat.ML stat.TH


title: Occlusion-Aware 2D and 3D Centerline Detection for Urban Driving via Automatic Label Generation

abstract: This research work seeks to explore and identify strategies that can determine road topology information in 2D and 3D under highly dynamic urban driving scenarios. To facilitate this exploration, we introduce a substantial dataset comprising nearly one million automatically labeled data frames. A key contribution of our research lies in developing an automatic label-generation process and an occlusion handling strategy. This strategy is designed to model a wide range of occlusion scenarios, from mild disruptions to severe blockages. Furthermore, we present a comprehensive ablation study wherein multiple centerline detection methods are developed and evaluated. This analysis not only benchmarks the performance of various approaches but also provides valuable insights into the interpretability of these methods. Finally, we demonstrate the practicality of our methods and assess their adaptability across different sensor configurations, highlighting their versatility and relevance in real-world scenarios. Our dataset and experimental models are publicly available.


title: Hardy-type paradoxes for an arbitrary symmetric bipartite Bell scenario

abstract: As with a Bell inequality, Hardy's paradox manifests a contradiction between the prediction given by quantum theory and local-hidden variable theories. In this work, we give two generalizations of Hardy's arguments for manifesting such a paradox to an arbitrary, but symmetric Bell scenario involving two observers. Our constructions recover that of Meng et al. [Phys. Rev. A. 98, 062103 (2018)] and that first discussed by Cabello [Phys. Rev. A 65, 032108 (2002)] as special cases. Among the two constructions, one can be naturally interpreted as a demonstration of the failure of the transitivity of implications (FTI). Moreover, a special case of which is equivalent to a ladder-proof-type argument for Hardy's paradox. Through a suitably generalized notion of success probability called degree of success, we provide evidence showing that the FTI-based formulation exhibits a higher degree of success compared with all other existing proposals. Moreover, this advantage seems to persist even if we allow imperfections in realizing the zero-probability constraints in such paradoxes. Explicit quantum strategies realizing several of these proofs of nonlocality without inequalities are provided.


title: Correlations of Conserved Quantities at Finite Baryon Density

abstract: Correlations involving the seven conserved quantities, namely energy, baryon number, electric charge, strangeness, and the three components of momentum, give rise to correlations in heavy-ion collisions. Through the utilization of a simple one-dimensional hydrodynamic model, we calculate the evolution of the entire $7\times7$ matrix of correlations as a function of relative spatial rapidity. This comprehensive analysis accounts for finite baryon density, which results in off-diagonal correlations between the charge-related quantities and the energy-momentum quantities. These correlations in coordinate space are subsequently transformed into correlations in momentum space using statistical weighting. The entire matrix of correlations is revealed to be highly sensitive to the equation of state (EoS), viscosity, and diffusivity.


title: On the Diameter of a 2-Sum of Polyhedra

abstract: The study of the combinatorial diameter of a polyhedron is a classical topic in linear-programming theory due to its close connection with the possibility of a polynomial simplex-method pivot rule. The 2-sum operation is a classical operation for graphs, matrices, and matroids; we extend this definition to polyhedra. We analyze the diameters of 2-sum polyhedra, which are those polyhedra that arise from this operation. These polyhedra appear in matroid and integer-programming theory as a natural way to link two systems in a joint model with a single shared constraint and the 2-sum also appears as a key operation in Seymour's decomposition theorem for totally-unimodular matrices. We show that the diameter of a 2-sum polyhedron is quadratic in the diameters of its summands. The methods transfer to a linear bound for the addition of a unit column to an equality system, or equivalently, to the relaxation of an equality constraint to an inequality constraint. Further, we use our methods to analyze the distance between vertices on certain faces of a 3-sum polyhedron.


title: Core groups

abstract: The core group of a classical link was introduced independently by A.J. Kelly in 1991 and M. Wada in 1992. It is a link invariant defined by a presentation involving the arcs and crossings of a diagram, related to Wirtinger's presentation of the fundamental group of a link complement. Two close relatives of the core group are defined by presentations involving regions rather than arcs; one of them is related to Dehn's presentation of a link group. The definitions are extended to virtual link diagrams and properties of the resulting invariants are discussed.


title: Post Turing: Mapping the landscape of LLM Evaluation

abstract: In the rapidly evolving landscape of Large Language Models (LLMs), introduction of well-defined and standardized evaluation methodologies remains a crucial challenge. This paper traces the historical trajectory of LLM evaluations, from the foundational questions posed by Alan Turing to the modern era of AI research. We categorize the evolution of LLMs into distinct periods, each characterized by its unique benchmarks and evaluation criteria. As LLMs increasingly mimic human-like behaviors, traditional evaluation proxies, such as the Turing test, have become less reliable. We emphasize the pressing need for a unified evaluation system, given the broader societal implications of these models. Through an analysis of common evaluation methodologies, we advocate for a qualitative shift in assessment approaches, underscoring the importance of standardization and objective criteria. This work serves as a call for the AI community to collaboratively address the challenges of LLM evaluation, ensuring their reliability, fairness, and societal benefit.


title: Fast Approximation Algorithms for Piercing Boxes by Points

abstract: $ \newcommand{\Re}{\mathbb{R}} \newcommand{\BX}{\mathcal{B}} \newcommand{\bb}{\mathsf{b}} \newcommand{\eps}{\varepsilon} \newcommand{\polylog}{\mathrm{polylog}} $ Let $\BX=\{\bb_1, \ldots ,\bb_n\}$ be a set of $n$ axis-aligned boxes in $\Re^d$ where $d\geq2$ is a constant. The piercing problem is to compute a smallest set of points $N \subset \Re^d$ that hits every box in $\BX$, i.e., $N\cap \bb_i\neq \emptyset$, for $i=1,\ldots, n$. The problem is known to be NP-Hard. Let $\psi:=\psi(\BX)$, the \emph{piercing number} be the minimum size of a piercing set of $\BX$. We first present a randomized $O(\log\log \psi)$-approximation algorithm with expected running time $O(n^{d/2}\polylog (n))$. Next, we show that the expected running time can be improved to near-linear using a sampling-based technique, if $\psi = O(n^{1/(d-1)})$. Specifically, in the plane, the improved running time is $O(n \log \psi)$, assuming $\psi < n/\log^{\Omega(1)} n$. Finally, we study the dynamic version of the piercing problem where boxes can be inserted or deleted. For boxes in $\Re^2$, we obtain a randomized $O(\log\log\psi)$-approximation algorithm with $O(n^{1/2}\polylog (n))$ amortized expected update time for insertion or deletion of boxes. For squares in $\Re^2$, the update time can be improved to $O(n^{1/3}\polylog (n))$. Our algorithms are based on the multiplicative weight-update (MWU) method and require the construction of a weak $\eps$-net for a point set with respect to boxes. A key idea of our work is to exploit the duality between the piercing set and independent set (for boxes) to speed up our MWU. We also present a simpler and slightly more efficient algorithm for constructing a weak $\eps$-net than in [Ezr10], which is of independent interest. Our approach also yields a simpler algorithm for constructing (regular) $\eps$-nets with respect to boxes for $d=2,3$.


title: Nebular dominated galaxies: insights into the stellar initial mass function at high redshift

abstract: We identify a low-metallicity ($12+\log({\rm O}/{\rm H})=7.59$) Ly$\alpha$-emitting galaxy at $z=5.943$ with evidence of a strong Balmer jump, arising from nebular continuum. While Balmer jumps are sometimes observed in low-redshift star-forming galaxies, this galaxy also exhibits a steep turnover in the UV continuum. Such turnovers are typically attributed to absorption by a damped Ly$\alpha$ system (DLA); however, the shape of the turnover and the high observed Ly$\alpha$ escape fraction ($f_{\rm esc,Ly\alpha}~\sim27\%$) is also consistent with strong nebular two-photon continuum emission. Modelling the UV turnover with a DLA requires extreme column densities ($N_{\rm HI}>10^{23}$ cm$^{-2}$), and simultaneously explaining the high $f_{\rm esc,Ly\alpha}$ requires a fine-tuned geometry. In contrast, modelling the spectrum as primarily nebular provides a good fit to both the continuum and emission lines, motivating scenarios in which (a) we are observing only nebular emission or (b) the ionizing source is powering extreme nebular emission that outshines the stellar emission. The nebular-only scenario could arise if the ionising source has `turned off' more recently than the recombination timescale ($\sim$1,000 yr), hence we may be catching the object at a very specific time. Alternatively, hot stars with $T_{\rm eff}\gtrsim10^5$ K (e.g. Wolf-Rayet or low-metallicity massive stars) produce enough ionizing photons such that the two-photon emission becomes visible. While several stellar SEDs from the literature fit the observed spectrum well, the hot-star scenario requires that the number of $\gtrsim50~{\rm M}_\odot$ stars relative to $\sim5-50~{\rm M}_\odot$ stars is significantly higher than predicted by typical stellar initial mass functions (IMFs). The identification of more galaxies with similar spectra may provide evidence for a top-heavy IMF at high redshift.


title: Extreme Axions Unveiled: a Novel Fluid Approach for Cosmological Modeling

abstract: Axion-like particles (ALPs) are a well-motivated dark matter candidate that solve some of the problems in the clustering of large scale structure in cosmology. ALPs are often described by a simplified quadratic potential to specify the dynamics of the axion field, and are included in cosmological analysis codes using a modified fluid prescription. In this paper we consider the extreme axion: a version of the axion with a high initial field angle that produces an enhancement (rather than a suppression) of structure on small scales around the Jeans length, which can be probed by measurements of clustering such as the eBOSS DR14 Ly-$\alpha$ forest. We present a novel method of modeling the extreme axion as a cosmological fluid, combining the Generalized Dark Matter model with the effective fluid approach presented in the \texttt{axionCAMB} software, as well as implementing a series of computational innovations to efficiently simulate the extreme axions. We find that for axion masses between $10^{-23} \mathrm{\ eV} \lesssim m_\mathrm{ax} \lesssim 10^{-22.5} \mathrm{\ eV}$, constraints on the axion fraction imposed by the eBOSS DR14 Ly-$\alpha$ forest can be significantly weakened by allowing them to be in the form of extreme axions with a starting angle between $\pi - 10^{-1} \lesssim \theta_i \lesssim \pi - 10^{-2}$. This work motivates and enables a more robust hydrodynamical analysis of extreme axions in order to compare them to high-resolution Ly-$\alpha$ forest data in the future.


title: A novel model of non-singular oscillating cosmology on flat Randall-Sundrum II braneworld

abstract: We obtain a \textit{novel} model of oscillating non-singular cosmology on the spatially flat Randall-Sundrum (RS) II brane. At early times, the universe is dominated by a scalar field with an inflationary emergent potential $V(\phi)=A(e^{B\phi}-1)^2$, $A$ and $B$ being constants. Interestingly, we find that such a scalar field can source a non-singular bounce, replacing the big bang on the brane. The turnaround again happens naturally on the brane dominated by a phantom dark energy (favoured by observations\cite{E1,E2,E3} at late times), thus avoiding the big rip singularity and leading upto the following non-singular bounce via a contraction phase. There is a smooth non-singular transition of the brane universe through both the bounce and turnaround, leading to alternate expanding and contracting phases. This is the \textit{first} model where a single braneworld of positive tension can be made to recycle as discussed in details in the concluding section.


title: The Poincar\'e pear and Poincar\'e-Darwin fission theory in astrophysics, 1885-1901

abstract: In the early 1880s, Henri Poincar\'e discovered a new equilibrium figure for uniformly-rotating fluid masses -- the pear, or piriform figure -- and speculated that in certain circumstances the pear splits into two unequal parts, and provides thereby a model for the origin of binary stars. The contemporary emergence of photometric and spectroscopic studies of variable stars fueled the first models of eclipsing binaries, and provided empirical support for a realist view of equilibrium figures -- including the pear -- in the cosmic realm. The paper reviews astrophysical interpretation of the Poincar\'e pear and the Poincar\'e-Darwin fission hypothesis with respect to research on variable stars from 1885 to 1901.


title: NSF Integrated Circuit Research, Education and Workforce Development Workshop Final Report

abstract: As the pace of progress that has followed Moore's law continues to diminish, it is critical that the US support Integrated Circuit (IC or chip) education and research to maintain technological innovation. Furthermore, US economic independence, security, and future international standing rely on having on-shore IC design capabilities. New devices with disparate technologies, improved design software toolchains and methodologies, and technologies to integrate heterogeneous systems will be needed to advance IC design capabilities. This will require rethinking both how we teach design to address the new complexity and how we inspire student interest in a hardware systems career path. The main recommendation of this workshop is that accessibility is the key issue. To this end, a National Chip Design Center (NCDC) should be established to further research and education by partnering academics and industry to train our future workforce. This should not be limited to R1 universities, but should also include R2, community college, minority serving institutions (MSI), and K-12 institutions to have the broadest effect. The NCDC should support the access, development, and maintenance of open design tools, tool flows, design kits, design components, and educational materials. Open-source options should be emphasized wherever possible to maximize accessibility. The NCDC should also provide access and support for chip fabrication, packaging and testing for both research and educational purposes.


title: Interface fluctuations associated with split Fermi seas

abstract: We consider the asymptotic behaviour of a family of unidimensional lattice fermion models, which are in exact correspondence with certain probability laws on partitions and on unitary matrices. These models exhibit limit shapes, and in the case where the bulk of these shapes are described by analytic functions, the fluctuations around their interfaces have been shown to follow a universal Tracy-Widom distribution or its higher-order analogue. Non-differentiable bulk limit shape functions arise when a gap appears in some quantum numbers of the model, in other words when the Fermi sea is split. We show that split Fermi seas give rise to new interface fluctuations, governed by integer powers of universal distributions. This breakdown in universality is analogous to the behaviour of a random Hermitian matrix when the support of its limiting eigenvalue distribution has multiple cuts, with oscillations appearing in the limit of the two-point correlation function. We show that when the Fermi sea is split in the lattice fermion model, there are multiple cuts in the eigenvalue support of the corresponding unitary matrix model.


title: Neural ODEs as a discovery tool to characterize the structure of the hot galactic wind of M82

abstract: Dynamic astrophysical phenomena are predominantly described by differential equations, yet our understanding of these systems is constrained by our incomplete grasp of non-linear physics and scarcity of comprehensive datasets. As such, advancing techniques in solving non-linear inverse problems becomes pivotal to addressing numerous outstanding questions in the field. In particular, modeling hot galactic winds is difficult because of unknown structure for various physical terms, and the lack of \textit{any} kinematic observational data. Additionally, the flow equations contain singularities that lead to numerical instability, making parameter sweeps non-trivial. We leverage differentiable programming, which enables neural networks to be embedded as individual terms within the governing coupled ordinary differential equations (ODEs), and show that this method can adeptly learn hidden physics. We robustly discern the structure of a mass-loading function which captures the physical effects of cloud destruction and entrainment into the hot superwind. Within a supervised learning framework, we formulate our loss function anchored on the astrophysical entropy ($K \propto P/\rho^{5/3}$). Our results demonstrate the efficacy of this approach, even in the absence of kinematic data $v$. We then apply these models to real Chandra X-Ray observations of starburst galaxy M82, providing the first systematic description of mass-loading within the superwind. This work further highlights neural ODEs as a useful discovery tool with mechanistic interpretability in non-linear inverse problems. We make our code public at this GitHub repository (https://github.com/dustindnguyen/2023_NeurIPS_NeuralODEs_M82).


title: LOTUS: Continual Imitation Learning for Robot Manipulation Through Unsupervised Skill Discovery

abstract: We introduce LOTUS, a continual imitation learning algorithm that empowers a physical robot to continuously and efficiently learn to solve new manipulation tasks throughout its lifespan. The core idea behind LOTUS is constructing an ever-growing skill library from a sequence of new tasks with a small number of human demonstrations. LOTUS starts with a continual skill discovery process using an open-vocabulary vision model, which extracts skills as recurring patterns presented in unsegmented demonstrations. Continual skill discovery updates existing skills to avoid catastrophic forgetting of previous tasks and adds new skills to solve novel tasks. LOTUS trains a meta-controller that flexibly composes various skills to tackle vision-based manipulation tasks in the lifelong learning process. Our comprehensive experiments show that LOTUS outperforms state-of-the-art baselines by over 11% in success rate, showing its superior knowledge transfer ability compared to prior methods. More results and videos can be found on the project website: https://ut-austin-rpl.github.io/Lotus/.


title: Low-error encoder for time-bin and decoy states for quantum key distribution

abstract: Time-bin encoding has been widely used for implementing quantum key distribution (QKD) on optical fiber channels due to its robustness with respect to drifts introduced by the optical fiber. However, due to the use of interferometric structures, achieving stable and low intrinsic Quantum Bit Error rate (QBER) in time-bin systems can be challenging. A key device for decoy-state prepare & measure QKD is represented by the state encoder, that must generate low-error and stable states with different values of mean photon number. Here we propose the MacZac (Mach-Zehder-Sagnac), a time-bin encoder with ultra-low intrinsic QBER (<2e-5) and high stability. The device is based on nested Sagnac and Mach-Zehnder interferometers and uses a single phase modulator for both decoy and state preparation, greatly simplifying the optical setup. The encoder does not require any active compensation or feedback system and it can be scaled for the generation of states with arbitrary dimension. We experimentally realized and tested the device performances as a stand alone component and in a complete QKD experiments. Thanks to the capacity to combine extremely low QBER, high stability and experimental simplicity the proposed device can be used as a key building block for future high-performance, low-cost QKD systems.


title: Revealing Local Field Effects at the Electrical Double Layer with Efficient Open Boundary Simulations under Potential Control

abstract: A major challenge in modelling interfacial processes in electrochemical (EC) devices is performing simulations at constant potential. This requires an open-boundary description of the electrons, so that they can enter and leave the computational cell. To enable realistic modelling of EC processes under potential control we have interfaced Density Functional Theory with the Hairy Probe method in the weak coupling limit (DOI: 10.1103/PhysRevB.97.045116). Our implementation was systematically tested using simple parallel-plate capacitor models with pristine surfaces and a single layer of adsorbed water molecules. Remarkably, our code's efficiency is comparable with a standard DFT calculation. We reveal that local field effects at the electrical double layer induced by the change of applied potential can significantly affect the energies of chemical steps in heterogeneous electrocatalysis. Our results demonstrate the importance of an explicit modelling of the applied potential in a simulation and provide an efficient tool to control this critical parameter.


title: Active Learning-Based Species Range Estimation

abstract: We propose a new active learning approach for efficiently estimating the geographic range of a species from a limited number of on the ground observations. We model the range of an unmapped species of interest as the weighted combination of estimated ranges obtained from a set of different species. We show that it is possible to generate this candidate set of ranges by using models that have been trained on large weakly supervised community collected observation data. From this, we develop a new active querying approach that sequentially selects geographic locations to visit that best reduce our uncertainty over an unmapped species' range. We conduct a detailed evaluation of our approach and compare it to existing active learning methods using an evaluation dataset containing expert-derived ranges for one thousand species. Our results demonstrate that our method outperforms alternative active learning methods and approaches the performance of end-to-end trained models, even when only using a fraction of the data. This highlights the utility of active learning via transfer learned spatial representations for species range estimation. It also emphasizes the value of leveraging emerging large-scale crowdsourced datasets, not only for modeling a species' range, but also for actively discovering them.


title: GroomGen: A High-Quality Generative Hair Model Using Hierarchical Latent Representations

abstract: Despite recent successes in hair acquisition that fits a high-dimensional hair model to a specific input subject, generative hair models, which establish general embedding spaces for encoding, editing, and sampling diverse hairstyles, are way less explored. In this paper, we present GroomGen, the first generative model designed for hair geometry composed of highly-detailed dense strands. Our approach is motivated by two key ideas. First, we construct hair latent spaces covering both individual strands and hairstyles. The latent spaces are compact, expressive, and well-constrained for high-quality and diverse sampling. Second, we adopt a hierarchical hair representation that parameterizes a complete hair model to three levels: single strands, sparse guide hairs, and complete dense hairs. This representation is critical to the compactness of latent spaces, the robustness of training, and the efficiency of inference. Based on this hierarchical latent representation, our proposed pipeline consists of a strand-VAE and a hairstyle-VAE that encode an individual strand and a set of guide hairs to their respective latent spaces, and a hybrid densification step that populates sparse guide hairs to a dense hair model. GroomGen not only enables novel hairstyle sampling and plausible hairstyle interpolation, but also supports interactive editing of complex hairstyles, or can serve as strong data-driven prior for hairstyle reconstruction from images. We demonstrate the superiority of our approach with qualitative examples of diverse sampled hairstyles and quantitative evaluation of generation quality regarding every single component and the entire pipeline.


title: Symmetry and instability of marginally outer trapped surfaces

abstract: We consider an initial data set having a continuous symmetry and a marginally outer trapped surface (MOTS) that is not preserved by this symmetry. We show that such a MOTS is unstable except in an exceptional case. In non-rotating cases we provide a Courant-type lower bound on the number of unstable eigenvalues. These results are then used to prove the instability of a large class of exotic MOTSs that were recently observed in the Schwarzschild spacetime. We also discuss the implications for the apparent horizon in data sets with translational symmetry.


title: Physical properties of the eclipsing binary KIC 9851944 and analysis of its tidally-perturbed p- and g-mode pulsations

abstract: Stars that are both pulsating and eclipsing offer an important opportunity to better understand many of the physical phenomena that occur in stars, because it is possible to measure the pulsation frequencies of stars for which the masses and radii are known precisely and accurately. KIC 9851944 is a double-lined detached eclipsing binary containing two F-stars which show both pressure and gravity mode pulsations. We present an analysis of new high-resolution spectroscopy of the system and high quality light curves from the Kepler and TESS space missions. We determine the masses and effective temperatures of the stars to 0.6% precision, and their radii to 1.0% and 1.5% precision. The secondary component is cooler, but larger and more massive than the primary so is more evolved; both lie inside the {\delta} Scuti and {\gamma} Doradus instability strips. We measure a total of 133 significant pulsation frequencies in the light curve, including 14 multiplets that each contain between 3 and 19 frequencies. We find evidence for tidal perturbations to some of the p- and g-modes, attribute a subset of the frequencies to either the primary or secondary star, and measure a buoyancy radius and near-core rotational frequency for the primary component. KIC 9851944 is mildly metal-rich and MIST isochrones from the MESA evolutionary code agree well with the observed properties of the system for an age of 1.25 Gyr.


title: Cosmological Gravitational Waves from Isocurvature Fluctuations

abstract: Gravitational waves induced by large primordial curvature fluctuations may result in a sizable stochastic gravitational wave background. Interestingly, curvature fluctuations are gradually generated by initial isocurvature fluctuations, which in turn induce gravitational waves. Initial isocurvature fluctuations commonly appear in multi-field models of inflation as well as in the formation of scattered compact objects in the very early universe, such as primordial black holes and solitons like oscillons and cosmic strings. Here we provide a review on isocurvature induced gravitational waves and its applications to dark matter and the primordial black hole dominated early universe.


title: Asymptotic behavior of continuous weak measurement and its application to real-time parameter estimation

abstract: The asymptotic quantum trajectory of weak continuous measurement for the magnetometer is investigated. The magnetometer refers to a setup where the field-to-estimate and the measured moment are orthogonal, and the quantum state is governed by the stochastic master equation which, in addition to a deterministic part, depends on the measurement outcomes. We find that the asymptotic behavior is insensitive to the initial state in the following sense: given one realization, the quantum trajectories starting from arbitrary initial states asymptotically converge to the {\em same} realization-specific {\em pure} state. For single-qubit systems, we are able to prove this statement within the framework of Probability Theory by deriving and analyzing an effective one-dimensional stochastic equation. Numerical simulations strongly indicate that the same statement holds for multi-qubit systems. Built upon this conclusion, we consider the problem of real-time parameter estimation whose feasibility hinges on the insensitivity to the initial state, and explicitly propose and test a scheme where the quantum state and the field-to-estimate are updated simultaneously.


title: Solving Woeginger's Hiking Problem: Wonderful Partitions in Anonymous Hedonic Games

abstract: A decade ago, Gerhard Woeginger posed an open problem that became well-known as "Woeginger's Hiking Problem": Consider a group of $n$ people that want to go hiking; everyone expresses preferences over the size of their hiking group in the form of an interval between $1$ and $n$. Is it possible to efficiently assign the $n$ people to a set of hiking subgroups so that every person approves the size of their assigned subgroup? The problem is also known as efficiently deciding if an instance of an anonymous Hedonic Game with interval approval preferences admits a wonderful partition. We resolve the open problem in the affirmative by presenting an $O(n^5)$ time algorithm for Woeginger's Hiking Problem. Our solution is based on employing a dynamic programming approach for a specific rectangle stabbing problem from computational geometry. Moreover, we propose natural, more demanding extensions of the problem, e.g., maximizing the number of satisfied participants and variants with single-peaked preferences, and show that they are also efficiently solvable. Last but not least, we employ our solution to efficiently compute a partition that maximizes the egalitarian welfare for anonymous single-peaked Hedonic Games.


title: Closing the Gap to Quadratic Invariance: a Regret Minimization Approach to Optimal Distributed Control

abstract: In this work, we focus on the design of optimal controllers that must comply with an information structure. State-of-the-art approaches do so based on the H2 or Hinfty norm to minimize the expected or worst-case cost in the presence of stochastic or adversarial disturbances. Large-scale systems often experience a combination of stochastic and deterministic disruptions (e.g., sensor failures, environmental fluctuations) that spread across the system and are difficult to model precisely, leading to sub-optimal closed-loop behaviors. Hence, we propose improving performance for these scenarios by minimizing the regret with respect to an ideal policy that complies with less stringent sensor-information constraints. This endows our controller with the ability to approach the improved behavior of a more informed policy, which would detect and counteract heterogeneous and localized disturbances more promptly. Specifically, we derive convex relaxations of the resulting regret minimization problem that are compatible with any desired controller sparsity, while we reveal a renewed role of the Quadratic Invariance (QI) condition in designing informative benchmarks to measure regret. Last, we validate our proposed method through numerical simulations on controlling a multi-agent distributed system, comparing its performance with traditional H2 and Hinfty policies.


title: Grounded Intuition of GPT-Vision's Abilities with Scientific Images

abstract: GPT-Vision has impressed us on a range of vision-language tasks, but it comes with the familiar new challenge: we have little idea of its capabilities and limitations. In our study, we formalize a process that many have instinctively been trying already to develop "grounded intuition" of this new model. Inspired by the recent movement away from benchmarking in favor of example-driven qualitative evaluation, we draw upon grounded theory and thematic analysis in social science and human-computer interaction to establish a rigorous framework for qualitative evaluation in natural language processing. We use our technique to examine alt text generation for scientific figures, finding that GPT-Vision is particularly sensitive to prompting, counterfactual text in images, and relative spatial relationships. Our method and analysis aim to help researchers ramp up their own grounded intuitions of new models while exposing how GPT-Vision can be applied to make information more accessible.


title: Positive discrepancy, MaxCut, and eigenvalues of graphs

abstract: The positive discrepancy of a graph $G$ of edge density $p=e(G)/\binom{v(G)}{2}$ is defined as $$\mbox{disc}^{+}(G)=\max_{U\subset V(G)}e(G[U])-p\binom{|U|}{2}.$$ In 1993, Alon proved (using the equivalent terminology of minimum bisections) that if $G$ is $d$-regular on $n$ vertices, and $d=O(n^{1/9})$, then $\mbox{disc}^{+}(G)=\Omega(d^{1/2}n)$. We greatly extend this by showing that if $G$ has average degree $d$, then $\mbox{disc}^{+}(G)=\Omega(d^{\frac{1}{2}}n)$ if $d\in [0,n^{\frac{2}{3}}]$, $\Omega(n^2/d)$ if $d\in [n^{\frac{2}{3}},n^{\frac{4}{5}}]$, and $\Omega(d^{\frac{1}{4}}n/\log n)$ if $d\in \left[n^{\frac{4}{5}},(\frac{1}{2}-\varepsilon)n\right]$. These bounds are best possible if $d\ll n^{3/4}$, and the complete bipartite graph shows that $\mbox{disc}^{+}(G)=\Omega(n)$ cannot be improved if $d\approx n/2$. Our proofs are based on semidefinite programming and linear algebraic techniques. An interesting corollary of our results is that every $d$-regular graph on $n$ vertices with ${\frac{1}{2}+\varepsilon\leq \frac{d}{n}\leq 1-\varepsilon}$ has a cut of size $\frac{nd}{4}+\Omega(n^{5/4}/\log n)$. This is not necessarily true without the assumption of regularity, or the bounds on $d$. The positive discrepancy of regular graphs is controlled by the second eigenvalue $\lambda_2$, as $\mbox{disc}^{+}(G)\leq \frac{\lambda_2}{2} n+d$. As a byproduct of our arguments, we present lower bounds on $\lambda_2$ for regular graphs, extending the celebrated Alon-Boppana theorem in the dense regime.


title: First systematic study reporting the changes in eclipse cut-off frequency for pulsar J1544+4937

abstract: We present results from a long-term monitoring of frequency dependent eclipses of the radio emission from PSR J1544+4937 which is a ``black widow spider'' millisecond pulsar (MSP) in a compact binary system. The majority of such systems often exhibit relatively long duration radio eclipses caused by ablated material from their companion stars. With the wide spectral bandwidth of upgraded Giant Metrewave Radio Telescope (uGMRT), we present first systematic study of temporal variation of eclipse cut-off frequency. With decade-long monitoring of 39 eclipses for PSR J1544+4937, we notice significant changes in the observed cut-off frequency ranging from 343 $\pm$ 7 MHz to > 740 MHz. We also monitored changes in eclipse cut-off frequency on timescales of tens of days and observed a maximum change of $\ge$ 315 MHz between observations that were separated by 22 days. In addition, we observed a change of $\sim$ 47 MHz in eclipse cut-off frequency between adjacent orbits, i.e. on timescales of $\sim 2.9$ hours. We infer that such changes in the eclipse cut-off frequency depict an eclipse environment for the PSR J1544+4937 system that is dynamically evolving, where, along with the change in electron density, the magnetic field could also be varying. We also report a significant correlation between the eclipse cut-off frequency and the mass loss rate of the companion. This study provides the first direct evidence of mass loss rate affecting the frequency dependent eclipsing in a spider MSP.


title: HIPTrack: Visual Tracking with Historical Prompts

abstract: Trackers that follow Siamese paradigm utilize similarity matching between template and search region features for tracking. Many methods have been explored to enhance tracking performance by incorporating tracking history to better handle scenarios involving target appearance variations such as deformation and occlusion. However, the utilization of historical information in existing methods is insufficient and incomprehensive, which typically requires repetitive training and introduces a large amount of computation. In this paper, we show that by providing a tracker that follows Siamese paradigm with precise and updated historical information, a significant performance improvement can be achieved with completely unchanged parameters. Based on this, we propose a historical prompt network that uses refined historical foreground masks and historical visual features of the target to provide comprehensive and precise prompts for the tracker. We build a novel tracker called HIPTrack based on the historical prompt network, which achieves considerable performance improvements without the need to retrain the entire model. We conduct experiments on seven datasets and experimental results demonstrate that our method surpasses the current state-of-the-art trackers on LaSOT, LaSOText, GOT-10k and NfS. Furthermore, the historical prompt network can seamlessly integrate as a plug-and-play module into existing trackers, providing performance enhancements. The source code is available at https://github.com/WenRuiCai/HIPTrack.


title: Streaming Algorithms for Weighted $k$-Disjoint Matchings

abstract: We design and implement two single-pass semi-streaming algorithms for the maximum weight $k$-disjoint matching ($k$-DM) problem. Given an integer $k$, the $k$-DM problem is to find $k$ pairwise edge-disjoint matchings such that the sum of the weights of the matchings is maximized. For $k \geq 2$, this problem is NP-hard. Our first algorithm is based on the primal-dual framework of a linear programming relaxation of the problem and is $\frac{1}{3+\varepsilon}$-approximate. We also develop an approximation preserving reduction from $k$-DM to the maximum weight $b$-matching problem. Leveraging this reduction and an existing semi-streaming $b$-matching algorithm, we design a $\frac{k}{(2+\varepsilon)(k+1)}$-approximate semi-streaming algorithm for $k$-DM. For any constant $\varepsilon > 0$, both of these algorithms require $O(nk \log_{1+\varepsilon}^2 n)$ bits of space. To the best of our knowledge, this is the first study of semi-streaming algorithms for the $k$-DM problem. We compare our two algorithms to state-of-the-art offline algorithms on 82 real-world and synthetic test problems. On the smaller instances, our streaming algorithms used significantly less memory (ranging from 6$\times$ to 114$\times$ less) and were faster in runtime than the offline algorithms. Our solutions were often within 5\% of the best weights from the offline algorithms. On a collection of six large graphs with a memory limit of 1 TB and with $k=8$, the offline algorithms terminated only on one graph (mycielskian20). The best offline algorithm on this instance required 640 GB of memory and 20 minutes to complete. In contrast, our slowest streaming algorithm for this instance took under four minutes and produced a matching that was 18\% better in weight, using only 1.4 GB of memory.


title: A multiverse model in dS wedge holography

abstract: We construct a multiverse model based on a recent proposal for dS wedge holography, where empty AdS$_3$ space is cut off by a pair of accelerated dS$_2$ space universes, one near the AdS boundary, denoted the UV brane, and one in the AdS interior, the IR brane. We glue together several copies of this configuration along the UV and IR branes in a periodic matter. To provide the model with dynamics of the like near Nariai black holes used in other multiverse toy models, we add dS JT gravity as an intrinsic gravity theory on the IR branes. We then study the entanglement entropy with respect to a UV brane observer, who finds a Page curve transition due to an entanglement island connecting the UV and IR branes. This process involves the coarse-graining of information outside the causally accessible region to the observer. Our model provides an explicit realization of entanglement between IR and UV degrees of freedom encoded in the multiverse.


title: Envy-Free Cake-Cutting for Four Agents

abstract: In the envy-free cake-cutting problem we are given a resource, usually called a cake and represented as the $[0,1]$ interval, and a set of $n$ agents with heterogeneous preferences over pieces of the cake. The goal is to divide the cake among the $n$ agents such that no agent is envious of any other agent. Even under a very general preferences model, this fundamental fair division problem is known to always admit an exact solution where each agent obtains a connected piece of the cake; we study the complexity of finding an approximate solution, i.e., a connected $\varepsilon$-envy-free allocation. For monotone valuations of cake pieces, Deng, Qi, and Saberi (2012) gave an efficient ($\textsf{poly}(\log(1/\varepsilon))$ queries) algorithm for three agents and posed the open problem of four (or more) monotone agents. Even for the special case of additive valuations, Br\^anzei and Nisan (2022) conjectured an $\Omega(1/\varepsilon)$ lower bound on the number of queries for four agents. We provide the first efficient algorithm for finding a connected $\varepsilon$-envy-free allocation with four monotone agents. We also prove that as soon as valuations are allowed to be non-monotone, the problem becomes hard: it becomes PPAD-hard, requires $\textsf{poly}(1/\varepsilon)$ queries in the black-box model, and even $\textsf{poly}(1/\varepsilon)$ communication complexity. This constitutes, to the best of our knowledge, the first intractability result for any version of the cake-cutting problem in the communication complexity model.


title: Universal Sharpness Dynamics in Neural Network Training: Fixed Point Analysis, Edge of Stability, and Route to Chaos

abstract: In gradient descent dynamics of neural networks, the top eigenvalue of the Hessian of the loss (sharpness) displays a variety of robust phenomena throughout training. This includes early time regimes where the sharpness may decrease during early periods of training (sharpness reduction), and later time behavior such as progressive sharpening and edge of stability. We demonstrate that a simple $2$-layer linear network (UV model) trained on a single training example exhibits all of the essential sharpness phenomenology observed in real-world scenarios. By analyzing the structure of dynamical fixed points in function space and the vector field of function updates, we uncover the underlying mechanisms behind these sharpness trends. Our analysis reveals (i) the mechanism behind early sharpness reduction and progressive sharpening, (ii) the required conditions for edge of stability, and (iii) a period-doubling route to chaos on the edge of stability manifold as learning rate is increased. Finally, we demonstrate that various predictions from this simplified model generalize to real-world scenarios and discuss its limitations.


title: EmerNeRF: Emergent Spatial-Temporal Scene Decomposition via Self-Supervision

abstract: We present EmerNeRF, a simple yet powerful approach for learning spatial-temporal representations of dynamic driving scenes. Grounded in neural fields, EmerNeRF simultaneously captures scene geometry, appearance, motion, and semantics via self-bootstrapping. EmerNeRF hinges upon two core components: First, it stratifies scenes into static and dynamic fields. This decomposition emerges purely from self-supervision, enabling our model to learn from general, in-the-wild data sources. Second, EmerNeRF parameterizes an induced flow field from the dynamic field and uses this flow field to further aggregate multi-frame features, amplifying the rendering precision of dynamic objects. Coupling these three fields (static, dynamic, and flow) enables EmerNeRF to represent highly-dynamic scenes self-sufficiently, without relying on ground truth object annotations or pre-trained models for dynamic object segmentation or optical flow estimation. Our method achieves state-of-the-art performance in sensor simulation, significantly outperforming previous methods when reconstructing static (+2.93 PSNR) and dynamic (+3.70 PSNR) scenes. In addition, to bolster EmerNeRF's semantic generalization, we lift 2D visual foundation model features into 4D space-time and address a general positional bias in modern Transformers, significantly boosting 3D perception performance (e.g., 37.50% relative improvement in occupancy prediction accuracy on average). Finally, we construct a diverse and challenging 120-sequence dataset to benchmark neural fields under extreme and highly-dynamic settings.


title: Interpretability is not Explainability: New Quantitative XAI Approach with a focus on Recommender Systems in Education

abstract: The field of eXplainable Artificial Intelligence faces challenges due to the absence of a widely accepted taxonomy that facilitates the quantitative evaluation of explainability in Machine Learning algorithms. In this paper, we propose a novel taxonomy that addresses the current gap in the literature by providing a clear and unambiguous understanding of the key concepts and relationships in XAI. Our approach is rooted in a systematic analysis of existing definitions and frameworks, with a focus on transparency, interpretability, completeness, complexity and understandability as essential dimensions of explainability. This comprehensive taxonomy aims to establish a shared vocabulary for future research. To demonstrate the utility of our proposed taxonomy, we examine a case study of a Recommender System designed to curate and recommend the most suitable online resources from MERLOT. By employing the SHAP package, we quantify and enhance the explainability of the RS within the context of our newly developed taxonomy.


title: Analysis of Geometric Phases in Particle Diffusion Systems: Insights from Non-Hermitian Heat Transfer

abstract: Geometric phases in particle diffusion systems, an intriguing aspect enlightened from thermal systems, offer a different understanding beyond traditional Brownian motion and Fick's laws. This concept introduces a phase factor with significant implications for particle behavior, central to which is the non-Hermitian nature of the Hamiltonian in the diffusion system. A unique structure composed of two rings moving in opposite directions and a stationary intermediate layer plays multifunctional roles in controlling particle diffusion. For the real-world application, a bilayer particle-diffusion cloak is demonstrated, showcasing the extensive control and adaptability achievable through mastering geometric phases. This system has potential applications in industries like healthcare and environmental management, thus expanding the understanding of the geometric phase and offering insights for the design of particle-diffusion metamaterials.


title: Dispersion and absorption effects in the linearized Euler-Heisenberg electrodynamics under an external magnetic field

abstract: The effects of the Ohmic and magnetic density currents are investigated in the linearized Euler-Heisenberg electrodynamics. The linearization is introduced through an external magnetic field, in which the vector potential of the Euler-Heisenberg electrodynamics is expanded around of a magnetic background field, that we consider uniform and constant in this paper. From the Euler-Heisenberg linearized equations, we obtain the solutions for the refractive index associated with the electromagnetic wave superposition, when the current density is ruled by the Ohm law, and in the second case, when the current density is set by a isotropic magnetic conductivity. These solutions are functions of the magnetic background $({\bf B})$, of the wave propagation direction $({\bf k})$, it also depends on the conductivity, and on the wave frequency. As consequence, the dispersion and the absorption of plane waves change when ${\bf B}$ is parallel to ${\bf k}$ in relation to the case of ${\bf B}$ perpendicular to ${\bf k}$ in the medium. The characteristics of the refraction index related to directions of ${\bf B}$ and of the wave polarization open a discussion for the birefringence in this medium.

categories: physics.class-ph hep-ph hep-th physics.optics


title: Amplitude-dependent modal coefficients accounting for localized nonlinear losses in a time-domain integration of woodwind model

abstract: This article develops the design of a sound synthesis model of a woodwind instrument by modal decomposition of the input impedance, taking into account viscothermal losses as well as localized nonlinear losses at the end of the resonator. This formalism has already been applied by Diab et al. (2022) to the study of forced systems. It is now implemented for self-oscillating systems. The employed method extends the denition of the input impedance to the nonlinear domain by adding a dependance on the RMS acoustic velocity at a geometric discontinuity. The poles and residuals resulting from the modal decomposition are interpolated as a function of this velocity. Thus, the pressure-ow relation dened by the resonator is completed by new equations which account for the dependence with the velocity at the end of the tube. To assess the ability of the model to reproduce a real phenomenon, comparisons with the experimental results of Atig et al. (2004) and Dalmont et al. (2007) were carried out. Simulations show that the model reproduces these experimental results qualitatively and quantitatively.


title: Semantic Modelling of Organizational Knowledge as a Basis for Enterprise Data Governance 4.0 -- Application to a Unified Clinical Data Model

abstract: Individuals and organizations cope with an always-growing amount of data, which is heterogeneous in its contents and formats. An adequate data management process yielding data quality and control over its lifecycle is a prerequisite to getting value out of this data and minimizing inherent risks related to multiple usages. Common data governance frameworks rely on people, policies, and processes that fall short of the overwhelming complexity of data. Yet, harnessing this complexity is necessary to achieve high-quality standards. The latter will condition any downstream data usage outcome, including generative artificial intelligence trained on this data. In this paper, we report our concrete experience establishing a simple, cost-efficient framework that enables metadata-driven, agile and (semi-)automated data governance (i.e. Data Governance 4.0). We explain how we implement and use this framework to integrate 25 years of clinical study data at an enterprise scale in a fully productive environment. The framework encompasses both methodologies and technologies leveraging semantic web principles. We built a knowledge graph describing avatars of data assets in their business context, including governance principles. Multiple ontologies articulated by an enterprise upper ontology enable key governance actions such as FAIRification, lifecycle management, definition of roles and responsibilities, lineage across transformations and provenance from source systems. This metadata model is the keystone to data governance 4.0: a semi-automatised data management process that considers the business context in an agile manner to adapt governance constraints to each use case and dynamically tune it based on business changes.


title: MaRU: A Manga Retrieval and Understanding System Connecting Vision and Language

abstract: Manga, a widely celebrated Japanese comic art form, is renowned for its diverse narratives and distinct artistic styles. However, the inherently visual and intricate structure of Manga, which comprises images housing multiple panels, poses significant challenges for content retrieval. To address this, we present MaRU (Manga Retrieval and Understanding), a multi-staged system that connects vision and language to facilitate efficient search of both dialogues and scenes within Manga frames. The architecture of MaRU integrates an object detection model for identifying text and frame bounding boxes, a Vision Encoder-Decoder model for text recognition, a text encoder for embedding text, and a vision-text encoder that merges textual and visual information into a unified embedding space for scene retrieval. Rigorous evaluations reveal that MaRU excels in end-to-end dialogue retrieval and exhibits promising results for scene retrieval.


title: ITEm: Unsupervised Image-Text Embedding Learning for eCommerce

abstract: Product embedding serves as a cornerstone for a wide range of applications in eCommerce. The product embedding learned from multiple modalities shows significant improvement over that from a single modality, since different modalities provide complementary information. However, some modalities are more informatively dominant than others. How to teach a model to learn embedding from different modalities without neglecting information from the less dominant modality is challenging. We present an image-text embedding model (ITEm), an unsupervised learning method that is designed to better attend to image and text modalities. We extend BERT by (1) learning an embedding from text and image without knowing the regions of interest; (2) training a global representation to predict masked words and to construct masked image patches without their individual representations. We evaluate the pre-trained ITEm on two tasks: the search for extremely similar products and the prediction of product categories, showing substantial gains compared to strong baseline models.


title: Preference Elicitation with Soft Attributes in Interactive Recommendation

abstract: Preference elicitation plays a central role in interactive recommender systems. Most preference elicitation approaches use either item queries that ask users to select preferred items from a slate, or attribute queries that ask them to express their preferences for item characteristics. Unfortunately, users often wish to describe their preferences using soft attributes for which no ground-truth semantics is given. Leveraging concept activation vectors for soft attribute semantics, we develop novel preference elicitation methods that can accommodate soft attributes and bring together both item and attribute-based preference elicitation. Our techniques query users using both items and soft attributes to update the recommender system's belief about their preferences to improve recommendation quality. We demonstrate the effectiveness of our methods vis-a-vis competing approaches on both synthetic and real-world datasets.


title: Synergizing Data Imputation and Electronic Health Records for Advancing Prostate Cancer Research: Challenges, and Practical Applications

abstract: The presence of detailed clinical information in electronic health record (EHR) systems presents promising prospects for enhancing patient care through automated retrieval techniques. Nevertheless, it is widely acknowledged that accessing data within EHRs is hindered by various methodological challenges. Specifically, the clinical notes stored in EHRs are composed in a narrative form, making them prone to ambiguous formulations and highly unstructured data presentations, while structured reports commonly suffer from missing and/or erroneous data entries. This inherent complexity poses significant challenges when attempting automated large-scale medical knowledge extraction tasks, necessitating the application of advanced tools, such as natural language processing (NLP), as well as data audit techniques. This work aims to address these obstacles by creating and validating a novel pipeline designed to extract relevant data pertaining to prostate cancer patients. The objective is to exploit the inherent redundancies available within the integrated structured and unstructured data entries within EHRs in order to generate comprehensive and reliable medical databases, ready to be used in advanced research studies. Additionally, the study explores potential opportunities arising from these data, offering valuable prospects for advancing research in prostate cancer.


title: Design Of Rubble Analyzer Probe Using ML For Earthquake

abstract: The earthquake rubble analyzer uses machine learning to detect human presence via ambient sounds, achieving 97.45% accuracy. It also provides real-time environmental data, aiding in assessing survival prospects for trapped individuals, crucial for post-earthquake rescue efforts


title: Combining Deep Learning on Order Books with Reinforcement Learning for Profitable Trading

abstract: High-frequency trading is prevalent, where automated decisions must be made quickly to take advantage of price imbalances and patterns in price action that forecast near-future movements. While many algorithms have been explored and tested, analytical methods fail to harness the whole nature of the market environment by focusing on a limited domain. With the evergrowing machine learning field, many large-scale end-to-end studies on raw data have been successfully employed to increase the domain scope for profitable trading but are very difficult to replicate. Combining deep learning on the order books with reinforcement learning is one way of breaking down large-scale end-to-end learning into more manageable and lightweight components for reproducibility, suitable for retail trading. The following work focuses on forecasting returns across multiple horizons using order flow imbalance and training three temporal-difference learning models for five financial instruments to provide trading signals. The instruments used are two foreign exchange pairs (GBPUSD and EURUSD), two indices (DE40 and FTSE100), and one commodity (XAUUSD). The performances of these 15 agents are evaluated through backtesting simulation, and successful models proceed through to forward testing on a retail trading platform. The results prove potential but require further minimal modifications for consistently profitable trading to fully handle retail trading costs, slippage, and spread fluctuation.


title: LlamaRec: Two-Stage Recommendation using Large Language Models for Ranking

abstract: Recently, large language models (LLMs) have exhibited significant progress in language understanding and generation. By leveraging textual features, customized LLMs are also applied for recommendation and demonstrate improvements across diverse recommendation scenarios. Yet the majority of existing methods perform training-free recommendation that heavily relies on pretrained knowledge (e.g., movie recommendation). In addition, inference on LLMs is slow due to autoregressive generation, rendering existing methods less effective for real-time recommendation. As such, we propose a two-stage framework using large language models for ranking-based recommendation (LlamaRec). In particular, we use small-scale sequential recommenders to retrieve candidates based on the user interaction history. Then, both history and retrieved items are fed to the LLM in text via a carefully designed prompt template. Instead of generating next-item titles, we adopt a verbalizer-based approach that transforms output logits into probability distributions over the candidate items. Therefore, the proposed LlamaRec can efficiently rank items without generating long text. To validate the effectiveness of the proposed framework, we compare against state-of-the-art baseline methods on benchmark datasets. Our experimental results demonstrate the performance of LlamaRec, which consistently achieves superior performance in both recommendation performance and efficiency.


title: Ancillary Services in Power System Transition Toward a 100% Non-Fossil Future: Market Design Challenges in the United States and Europe

abstract: The expansion of variable generation has driven a transition toward a 100\% non-fossil power system. New system needs are challenging system stability and suggesting the need for a redesign of the ancillary service (AS) markets. This paper presents a comprehensive and broad review for industrial practitioners and academic researchers regarding the challenges and potential solutions to accommodate high shares of variable renewable energy (VRE) generation levels. We detail the main drivers enabling the energy transition and facilitating the provision of ASs. A systematic review of the United States and European AS markets is conducted. We clearly organize the main ASs in a standard taxonomy, identifying current practices and initiatives to support the increasing VRE share. Furthermore, we envision the future of modern AS markets, proposing potential solutions for some remaining fundamental technical and market design challenges.

categories: physics.soc-ph cs.SY econ.GN eess.SY math.OC q-fin.EC


title: Deciphering circulating tumor cells binding in a microfluidic system thanks to a parameterized mathematical model

abstract: Metastatic spread is a crucial process in which some questions remain unanswered. In this work, we focus on tumor cells circulating in the bloodstream, so-called Circulating Tumor Cells (CTCs). We aim to characterize their trajectories under the influence of hemodynamic forces and adhesion forces resulting from interaction with an endothelial layer using in vitro measurements performed with a microfluidic device. This essential step in tumor spread precedes intravascular arrest and metastatic extravasation. Our strategy is based on a differential equation model - a Poiseuille model for the fluid velocity and an ODE system for the cell adhesion model - and allows us to separate the two phenomena underlying cell motion: transport of the cell through the fluid and adhesion to the endothelial layer. A robust calibration procedure enables us to characterize the dynamics. Our strategy reveals the expected role of the glycoprotein CD44 compared to the integrin ITGB1 in the deceleration of CTCs and quantifies the strong impact of the fluid velocity in the protein binding.


title: Comments on "Numerical study of the SWKB condition of novel classes of exactly solvable systems''

abstract: We comment on the paper ``Numerical study of the SWKB condition of novel classes of exactly solvable systems'' [Y. Nasuda and N. Sawado, Mod. Phys. Lett. A 36, 2150025 (2021)]. We show that it misrepresents our prior work [J. Bougie, A. Gangopadhyaya and C. Rasinariu, J. Phys. A: Math. Theor. 51, 375202 (2018)], and clarify this misunderstanding.


title: An Exploration on Integrated Sensing and Communication for the Future Smart Internet of Things

abstract: Internet of Things (IoT) technologies are the foundation of a fully connected world. Currently, IoT devices (or nodes) primarily use dedicated sensors to sense and collect data at large scales, and then transmit the data to target nodes or gateways through wireless communication for further processing and analytics. In recent years, research efforts have been made to explore the feasibility of using wireless communication for sensing (while assiduously improving the transmission performance of wireless signals), in an attempt to achieve integrated sensing and communication (ISAC) for smart IoT of the future. In this paper, we leverage the capabilities of LoRa, a long-range IoT communication technology, to explore the possibility of using LoRa signals for both sensing and communication. Based on LoRa, we propose ISAC designs in two typical scenarios of smart IoT, and verify the feasibility and effectiveness of our designs in soil moisture monitoring and human presence detection.


title: Test allocation based on risk of infection from first and second order contact tracing

abstract: Under limited available resources, strategies for mitigating the propagation of an epidemic such as random testing and contact tracing become inefficient. Here, we propose to accurately allocate the resources by computing over time an individual risk of infection based on the partial observation of the epidemic spreading on a contact network; this risk is defined as the probability of getting infected from any possible transmission chain up to length two, originating from recently detected individuals. To evaluate the performance of our method and the effects of some key parameters, we perform comparative simulated experiments using data generated by an agent-based model.


title: Transient Thermal and Electrical Characteristics of a Cylindrical LiFeS2 Cell with Equivalent Circuit Model

abstract: This study examines the discharge behaviour of a cylindrical LiFeS2 cell to evaluate the parameters that can be used to predict and estimate the nonlinear dynamic response of a battery. A linear model is developed to simulate the discharge behaviour and examine the thermal behaviour. In particular, a commercial-grade battery is discharged with the industry-standard hybrid power pulsing characterization (HPPC) test and the current and voltage responses are recorded. The dynamic system is modelled with the equivalent circuit model (ECM) through MATLAB Simulink. A block diagram representation of the equivalent circuit model governing equations was developed. The parameter estimation tool was utilized to reduce the error and fit the simulation results to the experimental voltage responses, in order to obtain state of charge dependent dynamic parameters. Those parameters were then used in a Dual-Potential Multi-Scale Multi-Domain (MSMD) Battery Model solved in ANSYS Fluent to analyze the thermal behaviour by acquiring the temperature profiles and the temperature distribution within the cell. The nonlinear behaviour of the battery was characterized and the equivalent circuit model parameters were identified and are shown to agree with the experimental voltage responses. Furthermore, it is found that the battery temperature increased by 7.35 deg and was distributed uniformly within the cell.


title: Variational Autoencoders for Noise Reduction in Industrial LLRF Systems

abstract: Industrial particle accelerators inherently operate in much dirtier environments than typical research accelerators. This leads to an increase in noise both in the RF system and in other electronic systems. Combined with the fact that industrial accelerators are mass produced, there is less attention given to optimizing the performance of an individual system. As a result, industrial systems tend to under perform considering their hardware hardware capabilities. With the growing demand for accelerators for medical sterilization, food irradiation, cancer treatment, and imaging, improving the signal processing of these machines will increase the margin for the deployment of these systems. Our work is focusing on using machine learning techniques to reduce the noise of RF signals used for pulse-to-pulse feedback in industrial accelerators. We will review our algorithms, simulation results, and results working with measured data. We will then discuss next steps for deployment and testing on an industrial system.


title: The CO2 Footprint of Club Soccer in the US

abstract: I played youth soccer for 11 years starting age at 5. As I progressed through the age groups and got better at the game, I moved up in club levels under the US Club Soccer system. It was during my time as an ECNL player that I began to realize the magnitude of the travel burden associated with local, regional and out of state games. Most of the travel was by road and team members often travelled with minimal car-pooling. Just about that time I was also becoming aware of (and interested in) Climate Change and the various factors impacting climate change including Greenhouse Gases. It was during these travels that I began to track fuel consumption and the idea of estimating the CO2 impact of these soccer road trips was born. In this paper I report my findings through simple calculations and provide extrapolations through simulated scenario experiments. Based on my findings I discuss a few potential solutions that may be considered to reduce the CO2 footprint associated with US youth travel soccer. The idea behind this paper is to raise awareness amongst soccer families and to engage my fellow soccer peers into making the sport we all love as green as possible.


title: Artificial light at night: a global disruptor of the night-time environment

abstract: Light pollution is the alteration of the natural levels of darkness by an increased concentration of light particles in the nighttime environment, resulting from human activity. Light pollution is changing in a deep way the environmental conditions of the night in wide areas of the planet, and is a relevant stressor whose effects on life are being unveiled by a compelling body of research. In this paper we briefly review the basic aspects of artificial light at night as a pollutant, describing its character, magnitude and extent, its worldwide distribution, its temporal and spectral change trends, as well as its dependence on current light production technologies and prevailing social uses of light. It is shown that the overall effects of light pollution are not restricted to local disturbances, but give rise to a global, multiscale disruption of the nighttime environment.


title: A Safe Preference Learning Approach for Personalization with Applications to Autonomous Vehicles

abstract: This work introduces a preference learning method that ensures adherence to given specifications, with an application to autonomous vehicles. Our approach incorporates the priority ordering of Signal Temporal Logic (STL) formulas describing traffic rules into a learning framework. By leveraging Parametric Weighted Signal Temporal Logic (PWSTL), we formulate the problem of safety-guaranteed preference learning based on pairwise comparisons and propose an approach to solve this learning problem. Our approach finds a feasible valuation for the weights of the given PWSTL formula such that, with these weights, preferred signals have weighted quantitative satisfaction measures greater than their non-preferred counterparts. The feasible valuation of weights given by our approach leads to a weighted STL formula that can be used in correct-and-custom-by-construction controller synthesis. We demonstrate the performance of our method with a pilot human subject study in two different simulated driving scenarios involving a stop sign and a pedestrian crossing. Our approach yields competitive results compared to existing preference learning methods in terms of capturing preferences and notably outperforms them when safety is considered.


title: A Comprehensive Study on Model Initialization Techniques Ensuring Efficient Federated Learning

abstract: Advancement in the field of machine learning is unavoidable, but something of major concern is preserving the privacy of the users whose data is being used for training these machine learning algorithms. Federated learning(FL) has emerged as a promising paradigm for training machine learning models in a distributed and privacy-preserving manner which enables one to collaborate and train a global model without sharing local data. But starting this learning process on each device in the right way, called ``model initialization" is critical. The choice of initialization methods used for models plays a crucial role in the performance, convergence speed, communication efficiency, privacy guarantees of federated learning systems, etc. In this survey, we dive deeper into a comprehensive study of various ways of model initialization techniques in FL.Unlike other studies, our research meticulously compares, categorizes, and delineates the merits and demerits of each technique, examining their applicability across diverse FL scenarios. We highlight how factors like client variability, data non-IIDness, model caliber, security considerations, and network restrictions influence FL model outcomes and propose how strategic initialization can address and potentially rectify many such challenges. The motivation behind this survey is to highlight that the right start can help overcome challenges like varying data quality, security issues, and network problems. Our insights provide a foundational base for experts looking to fully utilize FL, also while understanding the complexities of model initialization.


title: Solving MaxSAT with Matrix Multiplication

abstract: We propose an incomplete algorithm for Maximum Satisfiability (MaxSAT) specifically designed to run on neural network accelerators such as GPUs and TPUs. Given a MaxSAT problem instance in conjunctive normal form, our procedure constructs a Restricted Boltzmann Machine (RBM) with an equilibrium distribution wherein the probability of a Boolean assignment is exponential in the number of clauses it satisfies. Block Gibbs sampling is used to stochastically search the space of assignments with parallel Markov chains. Since matrix multiplication is the main computational primitive for block Gibbs sampling in an RBM, our approach leads to an elegantly simple algorithm (40 lines of JAX) well-suited for neural network accelerators. Theoretical results about RBMs guarantee that the required number of visible and hidden units of the RBM scale only linearly with the number of variables and constant-sized clauses in the MaxSAT instance, ensuring that the computational cost of a Gibbs step scales reasonably with the instance size. Search throughput can be increased by batching parallel chains within a single accelerator as well as by distributing them across multiple accelerators. As a further enhancement, a heuristic based on unit propagation running on CPU is periodically applied to the sampled assignments. Our approach, which we term RbmSAT, is a new design point in the algorithm-hardware co-design space for MaxSAT. We present timed results on a subset of problem instances from the annual MaxSAT Evaluation's Incomplete Unweighted Track for the years 2018 to 2021. When allotted the same running time and CPU compute budget (but no TPUs), RbmSAT outperforms other participating solvers on problems drawn from three out of the four years' competitions. Given the same running time on a TPU cluster for which RbmSAT is uniquely designed, it outperforms all solvers on problems drawn from all four years.


title: Notion of Explainable Artificial Intelligence -- An Empirical Investigation from A Users Perspective

abstract: The growing attention to artificial intelligence-based applications has led to research interest in explainability issues. This emerging research attention on explainable AI (XAI) advocates the need to investigate end user-centric explainable AI. Thus, this study aims to investigate usercentric explainable AI and considered recommendation systems as the study context. We conducted focus group interviews to collect qualitative data on the recommendation system. We asked participants about the end users' comprehension of a recommended item, its probable explanation, and their opinion of making a recommendation explainable. Our findings reveal that end users want a non-technical and tailor-made explanation with on-demand supplementary information. Moreover, we also observed users requiring an explanation about personal data usage, detailed user feedback, and authentic and reliable explanations. Finally, we propose a synthesized framework that aims at involving the end user in the development process for requirements collection and validation.


title: Relax: Composable Abstractions for End-to-End Dynamic Machine Learning

abstract: Dynamic shape computations have become critical in modern machine learning workloads, especially in emerging large language models. The success of these models has driven demand for deploying them to a diverse set of backend environments. In this paper, we present Relax, a compiler abstraction for optimizing end-to-end dynamic machine learning workloads. Relax introduces first-class symbolic shape annotations to track dynamic shape computations globally across the program. It also introduces a cross-level abstraction that encapsulates computational graphs, loop-level tensor programs, and library calls in a single representation to enable cross-level optimizations. We build an end-to-end compilation framework using the proposed approach to optimize dynamic shape models. Experimental results on large language models show that Relax delivers performance competitive with state-of-the-art hand-optimized systems across platforms and enables deployment of emerging dynamic models to a broader set of environments, including mobile phones, embedded devices, and web browsers.


title: Efficient Symbolic Policy Learning with Differentiable Symbolic Expression

abstract: Deep reinforcement learning (DRL) has led to a wide range of advances in sequential decision-making tasks. However, the complexity of neural network policies makes it difficult to understand and deploy with limited computational resources. Currently, employing compact symbolic expressions as symbolic policies is a promising strategy to obtain simple and interpretable policies. Previous symbolic policy methods usually involve complex training processes and pre-trained neural network policies, which are inefficient and limit the application of symbolic policies. In this paper, we propose an efficient gradient-based learning method named Efficient Symbolic Policy Learning (ESPL) that learns the symbolic policy from scratch in an end-to-end way. We introduce a symbolic network as the search space and employ a path selector to find the compact symbolic policy. By doing so we represent the policy with a differentiable symbolic expression and train it in an off-policy manner which further improves the efficiency. In addition, in contrast with previous symbolic policies which only work in single-task RL because of complexity, we expand ESPL on meta-RL to generate symbolic policies for unseen tasks. Experimentally, we show that our approach generates symbolic policies with higher performance and greatly improves data efficiency for single-task RL. In meta-RL, we demonstrate that compared with neural network policies the proposed symbolic policy achieves higher performance and efficiency and shows the potential to be interpretable.


title: Making Harmful Behaviors Unlearnable for Large Language Models

abstract: Large language models (LLMs) have shown great potential as general-purpose AI assistants in various domains. To meet the requirements of different applications, LLMs are often customized by further fine-tuning. However, the powerful learning ability of LLMs not only enables them to acquire new tasks but also makes them susceptible to learning undesired behaviors. For example, even safety-aligned LLMs can be easily fine-tuned into harmful assistants as the fine-tuning data often contains implicit or explicit harmful content. Can we train LLMs on harmful data without learning harmful behaviors? This paper proposes a controllable training framework that makes harmful behaviors unlearnable during the fine-tuning process. Specifically, we introduce ``security vectors'', a few new parameters that can be separated from the LLM, to ensure LLM's responses are consistent with the harmful behavior. Security vectors are activated during fine-tuning, the consistent behavior makes LLM believe that such behavior has already been learned, there is no need to further optimize for harmful data. During inference, we can deactivate security vectors to restore the LLM's normal behavior. The experimental results show that the security vectors generated by 100 harmful samples are enough to prevent LLM from learning 1000 harmful samples, while preserving the ability to learn other useful information.


title: Efficient Machine Learning Ensemble Methods for Detecting Gravitational Wave Glitches in LIGO Time Series

abstract: The phenomenon of Gravitational Wave (GW) analysis has grown in popularity as technology has advanced and the process of observing gravitational waves has become more precise. Although the sensitivity and the frequency of observation of GW signals are constantly improving, the possibility of noise in the collected GW data remains. In this paper, we propose two new Machine and Deep learning ensemble approaches (i.e., ShallowWaves and DeepWaves Ensembles) for detecting different types of noise and patterns in datasets from GW observatories. Our research also investigates various Machine and Deep Learning techniques for multi-class classification and provides a comprehensive benchmark, emphasizing the best results in terms of three commonly used performance metrics (i.e., accuracy, precision, and recall). We train and test our models on a dataset consisting of annotated time series from real-world data collected by the Advanced Laser Interferometer GW Observatory (LIGO). We empirically show that the best overall accuracy is obtained by the proposed DeepWaves Ensemble, followed close by the ShallowWaves Ensemble.


title: Generative Artificial Intelligence in Healthcare: Ethical Considerations and Assessment Checklist

abstract: The widespread use of ChatGPT and other emerging technology powered by generative artificial intelligence (GenAI) has drawn much attention to potential ethical issues, especially in high-stakes applications such as healthcare, but ethical discussions are yet to translate into operationalisable solutions. Furthermore, ongoing ethical discussions often neglect other types of GenAI that have been used to synthesise data (e.g., images) for research and practical purposes, which resolved some ethical issues and exposed others. We conduct a scoping review of ethical discussions on GenAI in healthcare to comprehensively analyse gaps in the current research, and further propose to reduce the gaps by developing a checklist for comprehensive assessment and transparent documentation of ethical discussions in GenAI research. The checklist can be readily integrated into the current peer review and publication system to enhance GenAI research, and may be used for ethics-related disclosures for GenAI-powered products, healthcare applications of such products and beyond.


title: A Virtual Reality Training System for Automotive Engines Assembly and Disassembly

abstract: Automotive engine assembly and disassembly are common and crucial programs in the automotive industry. Traditional education trains students to learn automotive engine assembly and disassembly in lecture courses and then to operate with physical engines, which are generally low effectiveness and high cost. In this work, we developed a multi-layer structured Virtual Reality (VR) system to provide students with training in automotive engine (Buick Verano) assembly and disassembly. We designed the VR training system with The VR training system is designed to have several major features, including replaceable engine parts and reusable tools, friendly user interfaces and guidance, and bottom-up designed multi-layer architecture, which can be extended to various engine models. The VR system is evaluated with controlled experiments of two groups of students. The results demonstrate that our VR training system provides remarkable usability in terms of effectiveness and efficiency. Currently, our VR system has been demonstrated and employed in the courses of Chinese colleges to train students in automotive engine assembly and disassembly. A free-to-use executable file (Microsoft Windows) and open-source code are available at https://github.com/LadissonLai/SUSTech_VREngine for facilitating the development of VR systems in the automotive industry. Finally, a video describing the operations in our VR training system is available at https://www.youtube.com/watch?v=yZe4YTwwAC4


title: On conjectures concerning the graph grabbing game

abstract: We consider two conjectures made in regard to the graph grabbing game, played on a vertex weighted graph. Seacrest and Seacrest conjectured in 2012 that the first player can win the graph grabbing game on any even-order bipartite graph. Eoh and Choi conjectured a strengthening of this in 2019, namely that the first player can win on any graph with no induced corona product of an odd cycle and a point. We provide a family of counterexamples to the latter conjecture, and propose a weaker conjecture in its place. We also show that the above two conjectures are equivalent when the vertex weights are all $0$ or $1$.


title: Feature Attribution Explanations for Spiking Neural Networks

abstract: Third-generation artificial neural networks, Spiking Neural Networks (SNNs), can be efficiently implemented on hardware. Their implementation on neuromorphic chips opens a broad range of applications, such as machine learning-based autonomous control and intelligent biomedical devices. In critical applications, however, insight into the reasoning of SNNs is important, thus SNNs need to be equipped with the ability to explain how decisions are reached. We present \textit{Temporal Spike Attribution} (TSA), a local explanation method for SNNs. To compute the explanation, we aggregate all information available in model-internal variables: spike times and model weights. We evaluate TSA on artificial and real-world time series data and measure explanation quality w.r.t. multiple quantitative criteria. We find that TSA correctly identifies a small subset of input features relevant to the decision (i.e., is output-complete and compact) and generates similar explanations for similar inputs (i.e., is continuous). Further, our experiments show that incorporating the notion of \emph{absent} spikes improves explanation quality. Our work can serve as a starting point for explainable SNNs, with future implementations on hardware yielding not only predictions but also explanations in a broad range of application scenarios. Source code is available at https://github.com/ElisaNguyen/tsa-explanations.


title: Generalization of electrical resistance scaling to Dirac fields on perforated fractals

abstract: I construct perforated, "take-away" fractals that support short-distance power-law scaling with complex exponents for Dirac (spin-1/2) propagators. The construction relies on a fortuitous ansatz for Dirac boundary conditions at the surfaces of spherical voids in a three-dimensional embedding space, and requires that boundary conditions vary from void to void and are distributed statistically. The appropriate distribution can ensure that nonzero charges (but not dipoles, which drive nontrivial power-law scaling) induced in voids cancel out in spatial averaging.


title: Exploring the Duffing Equation: Numerical Analysis, Discrete Dynamics,and Ecological Modeling

abstract: This research paper delves into the dynamics of a novel ecology model that describes the intricate interplay between radioactivity and cancer cases. Organized into three main sections, the study covers numerical analysis using advanced techniques, the analysis of discrete dynamical systems, and explores the potential applications of the model in the context of cancer research and ecological systems. By conducting a comprehensive bifurcation analysis, we unveil the model's sensitivity to external factors, interactive behaviors between radioactivity and cancer cases, and the emergence of multiple attractors. These findings open up new avenues for understanding cancer dynamics, ecological systems, and clinical scenarios, where even subtle variations in external factors can lead to significant variations in cancer incidence. The insights gained from this study have promising implications for both theoretical and applied research in cancer epidemiology and ecology, providing a deeper understanding of the complex dynamics underlying these systems. In our research, we present a new ecology model that reveals the intricate and often nonlinear relationship between radioactivity and cancer incidence, offering novel insights into cancer dynamics and environmental influences.