title: Stellar Characterization and Chemical Abundances of Exoplanet Hosting M dwarfs from APOGEE Spectra: Future JWST Targets

abstract: Exoplanets hosting M dwarfs are the best targets to characterize Earth-like or super-Earth planetary atmospheres with the James Webb Space Telescope (JWST). We determine detailed stellar parameters ($T_{\rm eff}$, log$g$, and $\xi$) and individual abundances of twelve elements for four cool M dwarfs hosting exoplanets TOI-1685, GJ 436, GJ 3470, and TOI-2445, scheduled for future observations by the JWST. The analysis utilizes high-resolution near-infrared spectra from the SDSS-IV APOGEE survey between 1.51-1.69$\mu$. Based on 1D-LTE plane-parallel models, we find that TOI-2445 is slightly metal-poor ([Fe/H] = -0.16$\pm$0.09), while TOI-1685, GJ 436 and GJ 3470 are more metal-rich ([Fe/H] = 0.06$\pm$0.18, 0.10$\pm$0.20 dex, 0.25$\pm$0.15). The derived C/O ratios for TOI-2445, TOI-1685, GJ 436, and GJ 3470 are 0.526$\pm$0.027, 0.558$\pm$0.097, 0.561$\pm$0.029, and 0.638$\pm$0.015, respectively. From results for 28 M dwarfs analyzed homogeneously from APOGEE spectra, we find exoplanet-hosting M dwarfs exhibit a C/O abundance ratio approximately 0.01 to 0.05 higher than those with non-detected exoplanets, at limits of a statistically significant offset. A linear regression of [Fe/H] \textit{vs.} C/O distribution reveals a noticeable difference in the angular coefficient between FGK dwarfs (0.27) and M dwarfs (0.13). Assuming our abundance ratios of Ca/Mg, Si/Mg, Al/Mg, and Fe/Mg, we determine a mass of 3.276$^{+0.448}_{-0.419}$$M_{\oplus}$ for TOI-2445 b, having density (6.793$^{+0.005}_{-0.099}$ g.cm$^{-3}$) and core mass fraction (0.329$_{-0.049}^{+0.028}$) very similar to Earth's. We also present an atlas of 113 well-defined spectral lines to analyze M dwarfs in the $H$-band and a comprehensive evaluation of uncertainties from variations in the atmospheric parameters, signal-to-noise, and pseudo-continuum.


title: Virial identities across the spacetime

abstract: Virial-like identities obtained through Derrick's scaling argument are powerful, multi-purpose tools to study general relativistic models. Applications comprise establishing no-go/hair theorems and numerical accuracy tests. In the presence of a horizon (\textit{aka} boundary), the spacetime can be divided into regions, each with its own identity. So far, such identities have only been computed in the region outside the event horizon; however, adding a positive cosmological constant endows an additional boundary (the cosmological horizon), with the region between the latter and the former of particular interest. In this letter, by performing a radial coordinate transformation, we generalise Derrick's scaling argument to compute virial identities \textit{across the whole} non-asymptotically flat spacetimes. The developed method is applied to the entire Reissner-Nordstrom-de Sitter spacetime. A convenient gauge that trivialises the gravitational contribution to the identity between horizons is also found.


title: Loss-Versus-Fair: Efficiency of Dutch Auctions on Blockchains

abstract: Milionis et al.(2023) studied the rate at which automated market makers leak value to arbitrageurs when block times are discrete and follow a Poisson process, and where the risky asset price follows a geometric Brownian motion. We extend their model to analyze another popular mechanism in decentralized finance for onchain trading: Dutch auctions. We compute the expected losses that a seller incurs to arbitrageurs and expected time-to-fill for Dutch auctions as a function of starting price, volatility, decay rate, and average interblock time. We also extend the analysis to gradual Dutch auctions, a variation on Dutch auctions for selling tokens over time at a continuous rate. We use these models to explore the tradeoff between speed of execution and quality of execution, which could help inform practitioners in setting parameters for starting price and decay rate on Dutch auctions, or help platform designers determine performance parameters like block times.


title: Dynamic Multi-Objective Lion Swarm Optimization with Multi-strategy Fusion: An application in 6R robot trajectory planning

abstract: The advancement of industrialization has spurred the development of innovative swarm intelligence algorithms, with Lion Swarm Optimization (LSO) notable for its robustness, parallelism, simplicity, and efficiency. While LSO excels in single-objective optimization, its multi-objective variants face challenges such as poor initialization, local optima entrapment, and so on. This study proposes Dynamic Multi-Objective Lion Swarm Optimization with Multi-strategy Fusion (MF-DMOLSO) to address these limitations. MF-DMOLSO comprises three key components: initialization, swarm position update, and external archive update. The initialization unit employs chaotic mapping for uniform population distribution. The position update unit enhances behavior patterns and step size formulas for cub lions, incorporating crowding degree sorting, Pareto non-dominated sorting, and Levy flight to improve convergence speed and global search capabilities. Reference points guide convergence in higher-dimensional spaces, maintaining population diversity. An adaptive cold-hot start strategy generates a population responsive to environmental changes. The external archive update unit re-evaluates solutions based on non-domination and diversity to form the new population. Evaluations on benchmark functions showed MF-DMOLSO surpassed multi-objective particle swarm optimization, non-dominated sorting genetic algorithm II, and multi-objective lion swarm optimization, exceeding 90% accuracy for two-objective and 97% for three-objective problems. Compared to non-dominated sorting genetic algorithm III, MF-DMOLSO showed a 60% improvement. Applied to 6R robot trajectory planning, MF-DMOLSO optimized running time and maximum acceleration to 8.3s and 0.3pi rad/s^2, achieving a set coverage rate of 70.97% compared to 2% by multi-objective particle swarm optimization, thus improving efficiency and reducing mechanical dither.


title: Towards LLM-Powered Verilog RTL Assistant: Self-Verification and Self-Correction

abstract: We explore the use of Large Language Models (LLMs) to generate high-quality Register-Transfer Level (RTL) code with minimal human interference. The traditional RTL design workflow requires human experts to manually write high-quality RTL code, which is time-consuming and error-prone. With the help of emerging LLMs, developers can describe their requirements to LLMs which then generate corresponding code in Python, C, Java, and more. Adopting LLMs to generate RTL design in hardware description languages is not trivial, given the complex nature of hardware design and the generated design has to meet the timing and physical constraints. We propose VeriAssist, an LLM-powered programming assistant for Verilog RTL design workflow. VeriAssist takes RTL design descriptions as input and generates high-quality RTL code with corresponding test benches. VeriAssist enables the LLM to self-correct and self-verify the generated code by adopting an automatic prompting system and integrating RTL simulator in the code generation loop. To generate an RTL design, VeriAssist first generates the initial RTL code and corresponding test benches, followed by a self-verification step that walks through the code with test cases to reason the code behavior at different time steps, and finally it self-corrects the code by reading the compilation and simulation results and generating final RTL code that fixes errors in compilation and simulation. This design fully leverages the LLMs' capabilities on multi-turn interaction and chain-of-thought reasoning to improve the quality of the generated code. We evaluate VeriAssist with various benchmark suites and find it significantly improves both syntax and functionality correctness over existing LLM implementations, thus minimizing human intervention and making RTL design more accessible to novice designers.


title: A Sim2Real Approach for Identifying Task-Relevant Properties in Interpretable Machine Learning

abstract: Existing user studies suggest that different tasks may require explanations with different properties. However, user studies are expensive. In this paper, we introduce a generalizable, cost-effective method for identifying task-relevant explanation properties in silico, which can guide the design of more expensive user studies. We use our approach to identify relevant proxies for three example tasks and validate our simulation with real user studies.


title: Squeezing information from radio surveys to probe the primordial Universe

abstract: A major goal of cosmology is to understand the nature of the field(s) which drove primordial Inflation. Through future observations, the statistics of large-scale structure will allow us to probe primordial non-Gaussianity of the curvature perturbation at the end of Inflation. We show how a new correlation statistic can significantly improve these constraints over conventional methods. Next-generation radio telescope arrays are under construction which will map the density field of neutral hydrogen to high redshifts. These telescopes can operate as an interferometer, able to probe small scales, or as a collection of single dishes, combining signals to map the large scales. We show how to fuse these these operating modes in order to measure the squeezed bispectrum with higher precision and greater economy. This leads to constraints on primordial non-Gaussianity that will improve on measurements by Planck, and out-perform other surveys such as Euclid. We forecast that $\sigma(f_{\mathrm{NL}}^{\mathrm{loc}})\sim 3$, achieved by using a small subset, $\mathcal{O}(10^2-10^3)$, of the total number of accessible triangles. The proposed method can be used for any signal that peaks in squeezed configurations.


title: ADEP: A Novel Approach Based on Discriminator-Enhanced Encoder-Decoder Architecture for Accurate Prediction of Adverse Effects in Polypharmacy

abstract: Motivation: Unanticipated drug-drug interactions (DDIs) pose significant risks in polypharmacy, emphasizing the need for predictive methods. Recent advancements in computational techniques aim to address this challenge. Methods: We introduce ADEP, a novel approach integrating a discriminator and an encoder-decoder model to address data sparsity and enhance feature extraction. ADEP employs a three-part model, including multiple classification methods, to predict adverse effects in polypharmacy. Results: Evaluation on benchmark datasets shows ADEP outperforms well-known methods such as GGI-DDI, SSF-DDI, LSFC, DPSP, GNN-DDI, MSTE, MDF-SA-DDI, NNPS, DDIMDL, Random Forest, K-Nearest-Neighbor, Logistic Regression, and Decision Tree. Key metrics include Accuracy, AUROC, AUPRC, F-score, Recall, Precision, False Negatives, and False Positives. ADEP achieves more accurate predictions of adverse effects in polypharmacy. A case study with real-world data illustrates ADEP's practical application in identifying potential DDIs and preventing adverse effects. Conclusions: ADEP significantly advances the prediction of polypharmacy adverse effects, offering improved accuracy and reliability. Its innovative architecture enhances feature extraction from sparse medical data, improving medication safety and patient outcomes. Availability: Source code and datasets are available at https://github.com/m0hssn/ADEP.


title: Through the Clutter: Exploring the Impact of Complex Environments on the Legibility of Robot Motion

abstract: The environments in which the collaboration of a robot would be the most helpful to a person are frequently uncontrolled and cluttered with many objects present. Legible robot arm motion is crucial in tasks like these in order to avoid possible collisions, improve the workflow and help ensure the safety of the person. Prior work in this area, however, focuses on solutions that are tested only in uncluttered environments and there are not many results taken from cluttered environments. In this research we present a measure for clutteredness based on an entropic measure of the environment, and a novel motion planner based on potential fields. Both our measures and the planner were tested in a cluttered environment meant to represent a more typical tool sorting task for which the person would collaborate with a robot. The in-person validation study with Baxter robots shows a significant improvement in legibility of our proposed legible motion planner compared to the current state-of-the-art legible motion planner in cluttered environments. Further, the results show a significant difference in the performance of the planners in cluttered and uncluttered environments, and the need to further explore legible motion in cluttered environments. We argue that the inconsistency of our results in cluttered environments with those obtained from uncluttered environments points out several important issues with the current research performed in the area of legible motion planners.


title: Reward Machines for Deep RL in Noisy and Uncertain Environments

abstract: Reward Machines provide an automata-inspired structure for specifying instructions, safety constraints, and other temporally extended reward-worthy behaviour. By exposing complex reward function structure, they enable counterfactual learning updates that have resulted in impressive sample efficiency gains. While Reward Machines have been employed in both tabular and deep RL settings, they have typically relied on a ground-truth interpretation of the domain-specific vocabulary that form the building blocks of the reward function. Such ground-truth interpretations can be elusive in many real-world settings, due in part to partial observability or noisy sensing. In this paper, we explore the use of Reward Machines for Deep RL in noisy and uncertain environments. We characterize this problem as a POMDP and propose a suite of RL algorithms that leverage task structure under uncertain interpretation of domain-specific vocabulary. Theoretical analysis exposes pitfalls in naive approaches to this problem, while experimental results show that our algorithms successfully leverage task structure to improve performance under noisy interpretations of the vocabulary. Our results provide a general framework for exploiting Reward Machines in partially observable environments.


title: Empowering Visual Creativity: A Vision-Language Assistant to Image Editing Recommendations

abstract: Advances in text-based image generation and editing have revolutionized content creation, enabling users to create impressive content from imaginative text prompts. However, existing methods are not designed to work well with the oversimplified prompts that are often encountered in typical scenarios when users start their editing with only vague or abstract purposes in mind. Those scenarios demand elaborate ideation efforts from the users to bridge the gap between such vague starting points and the detailed creative ideas needed to depict the desired results. In this paper, we introduce the task of Image Editing Recommendation (IER). This task aims to automatically generate diverse creative editing instructions from an input image and a simple prompt representing the users' under-specified editing purpose. To this end, we introduce Creativity-Vision Language Assistant~(Creativity-VLA), a multimodal framework designed specifically for edit-instruction generation. We train Creativity-VLA on our edit-instruction dataset specifically curated for IER. We further enhance our model with a novel 'token-for-localization' mechanism, enabling it to support both global and local editing operations. Our experimental results demonstrate the effectiveness of \ours{} in suggesting instructions that not only contain engaging creative elements but also maintain high relevance to both the input image and the user's initial hint.


title: In vivo fundus imaging and computational refocusing with a diffuser-based fundus camera

abstract: Access to eye care can be expanded with high-throughput, easy-to-use, and portable diagnostic tools. Phase mask encoded imaging could improve these aspects of the fundus camera by enabling computational refocusing without any moving parts. This approach circumvents the need to adjust lenses to compensate for refractive errors. We developed a computational fundus camera by introducing a holographic diffuser at the plane conjugate to the ocular pupil, resulting in a laterally shift-invariant point spread function. We demonstrate computational refocusing of a model eye fundus over a large range of defocus errors. We also show computationally refocused, color, in vivo, human fundus images with a $\geq$35-degree field-of-view (FOV). This technology could eventually be combined with the wavefront-sensing capabilities of phase mask encoded imaging to create a compact ophthalmic imaging system that simultaneously captures a fundus image and performs aberrometry.


title: Correlation-aware Coarse-to-fine MLPs for Deformable Medical Image Registration

abstract: Deformable image registration is a fundamental step for medical image analysis. Recently, transformers have been used for registration and outperformed Convolutional Neural Networks (CNNs). Transformers can capture long-range dependence among image features, which have been shown beneficial for registration. However, due to the high computation/memory loads of self-attention, transformers are typically used at downsampled feature resolutions and cannot capture fine-grained long-range dependence at the full image resolution. This limits deformable registration as it necessitates precise dense correspondence between each image pixel. Multi-layer Perceptrons (MLPs) without self-attention are efficient in computation/memory usage, enabling the feasibility of capturing fine-grained long-range dependence at full resolution. Nevertheless, MLPs have not been extensively explored for image registration and are lacking the consideration of inductive bias crucial for medical registration tasks. In this study, we propose the first correlation-aware MLP-based registration network (CorrMLP) for deformable medical image registration. Our CorrMLP introduces a correlation-aware multi-window MLP block in a novel coarse-to-fine registration architecture, which captures fine-grained multi-range dependence to perform correlation-aware coarse-to-fine registration. Extensive experiments with seven public medical datasets show that our CorrMLP outperforms state-of-the-art deformable registration methods.


title: Dust evolution during the protostellar collapse: influence on the coupling between the neutral gas and the magnetic field

abstract: The coupling between the magnetic field and the gas during the collapsing phase of star-forming cores is strongly affected by the dust size distribution, which is expected to evolve. We aim to investigate the influence of key parameters on the evolution of the dust distribution as well as on the magnetic resistivities during the protostellar collapse. We perform collapsing single zone simulations with shark. The code computes the evolution of the dust distribution, accounting for different grain growth and destruction processes. It also computes the magnetic resistivities. We find that the dust distribution significantly evolves during the protostellar collapse, shaping the magnetic resistivities. The peak size of the distribution, the population of small grains and consequently the magnetic resistivities are controlled by both coagulation and fragmentation rates. Under standard assumptions, the small grains coagulate very early as they collide by ambipolar drift, yielding magnetic resistivities orders of magnitude away from the non-evolving dust case. In particular, the ambipolar resistivity \eta_AD is very high prior to nH=10^10 cm^-3, and as a consequence magnetic braking should be ineffective. In this case, large size protoplanetary disks should result, which is inconsistent with recent observations. To alleviate this tension, we identify mechanisms to reduce the ambipolar resistivity during the protostellar collapse. The most promising are namely: electrostatic repulsion and grain-grain erosion. The evolution of the magnetic resistivities during the protostellar collapse and consequently the shape of the magnetic field in the early life of the protoplanetary disk strongly depends on the possibility to repopulate the small grains or to prevent their early coagulation. Therefore, it is crucial to better constrain the collision outcomes and the dust grain elastic properties.


title: TotalVibeSegmentator: Full Torso Segmentation for the NAKO and UK Biobank in Volumetric Interpolated Breath-hold Examination Body Images

abstract: Objectives: To present a publicly available torso segmentation network for large epidemiology datasets on volumetric interpolated breath-hold examination (VIBE) images. Materials & Methods: We extracted preliminary segmentations from TotalSegmentator, spine, and body composition networks for VIBE images, then improved them iteratively and retrained a nnUNet network. Using subsets of NAKO (85 subjects) and UK Biobank (16 subjects), we evaluated with Dice-score on a holdout set (12 subjects) and existing organ segmentation approach (1000 subjects), generating 71 semantic segmentation types for VIBE images. We provide an additional network for the vertebra segments 22 individual vertebra types. Results: We achieved an average Dice score of 0.89 +- 0.07 overall 71 segmentation labels. We scored > 0.90 Dice-score on the abdominal organs except for the pancreas with a Dice of 0.70. Conclusion: Our work offers a detailed and refined publicly available full torso segmentation on VIBE images.


title: Ionizing photons produced by massive stars in SMC-N88a

abstract: The H II region N88a in the Small Magellanic Cloud (SMC) is a spherical region of $1.5~\mathrm{pc}$ diameter, with high concentration of gas and dust, and at least four massive stars within it. Previous studies suggest that the four known sources may be insufficient to ionize the region and explain the nebular emission. In this contribution we analyze the ionizing photon production of the four known sources within the H II region. We compared the available photometry in the literature with the spectral energy distribution calculated for the ``Potsdam Wolf-Rayet'' (PoWR) models of massive stars for a wide range of dust extinction coefficient (Av). In particular, we selected models of OB-type atmospheres with SMC metallicity and compared the ionizing photon flux prediction with previous estimates based on the nebular emission of the H {\sc ii} region. We found that the Av values that best reproduce the photometry of each source vary from 0.82 to 3.84, increasing toward the dust band that runs through the nebula. In addition, all four sources are compatible with O-type stars with $\mathrm{T_{eff}} > 40 ~\mathrm{kK}$ and intrinsic ratios $\mathrm{F(LyC)/F(UV)}>1$. Lastly, the total ionizing photon rate predicted by the hottest models is $\mathrm{log(Q_H)} > 49.6 ~\mathrm{ph\ s}^{-1}$, which suggests that the stars could maintain the ionization state of the nebula.


title: Training on the Edge of Stability Is Caused by Layerwise Jacobian Alignment

abstract: During neural network training, the sharpness of the Hessian matrix of the training loss rises until training is on the edge of stability. As a result, even nonstochastic gradient descent does not accurately model the underlying dynamical system defined by the gradient flow of the training loss. We use an exponential Euler solver to train the network without entering the edge of stability, so that we accurately approximate the true gradient descent dynamics. We demonstrate experimentally that the increase in the sharpness of the Hessian matrix is caused by the layerwise Jacobian matrices of the network becoming aligned, so that a small change in the network preactivations near the inputs of the network can cause a large change in the outputs of the network. We further demonstrate that the degree of alignment scales with the size of the dataset by a power law with a coefficient of determination between 0.74 and 0.98.


title: Matrix-valued Factor Model with Time-varying Main Effects

abstract: We introduce the matrix-valued time-varying Main Effects Factor Model (MEFM). MEFM is a generalization to the traditional matrix-valued factor model (FM). We give rigorous definitions of MEFM and its identifications, and propose estimators for the time-varying grand mean, row and column main effects, and the row and column factor loading matrices for the common component. Rates of convergence for different estimators are spelt out, with asymptotic normality shown. The core rank estimator for the common component is also proposed, with consistency of the estimators presented. We propose a test for testing if FM is sufficient against the alternative that MEFM is necessary, and demonstrate the power of such a test in various simulation settings. We also demonstrate numerically the accuracy of our estimators in extended simulation experiments. A set of NYC Taxi traffic data is analysed and our test suggests that MEFM is indeed necessary for analysing the data against a traditional FM.


title: The Quasicrystalline String Landscape

abstract: In this work we investigate a largely unexplored non-geometric corner of the string landscape: the quasicrystalline orbifolds. These exist at special points of the Narain moduli leading to frozen moduli and large quantum symmetries. Here we complete the classification and construction of quasicrystalline Narain lattices and use this to explore supersymmetric compactifications in $4\leq D\leq 6$ and with $4\leq Q\leq 16$ supercharges, leading to novel theories including theories with large quantum symmetries at all points in the moduli space. We anticipate these constructions will have many applications and in subsequent papers we apply these techniques to construct non-geometric F-theory models as well as new non-supersymmetric tachyon free models. Similarly these constructions can lead to constructing exotic matter representations in the string landscape.


title: Progenitor mass and ejecta asymmetry of SN 2023ixf from nebular spectroscopy

abstract: Context. SN 2023ixf was discovered in Galaxy M101 in May 2023. Its proximity made it an extremely valuable opportunity for the scientific community to study the characteristics of the SN and its progenitor. A point source detected on archival images and hydrodynamical modelling of the bolometric light curve has been used to constrain the former star's properties. There is a significant variation in the published results regarding the initial mass of the progenitor. Nebular spectroscopy provides an independent tool to enhance our understanding of the supernova and its progenitor. Aims. We determine the SN progenitor mass by studying the first published nebular spectrum taken 259 days after the explosion. Methods. We analyze the nebular spectrum taken with GMOS at the Gemini North Telescope. Typical emission lines are identified, such as [O I], H{\alpha}, [Ca II], among others. Some species' line profiles show broad and narrow components, indicating two ejecta velocities and an asymmetric ejecta. We infer the progenitor mass of SN 2023ixf by comparing with synthetic spectra and by measuring the forbidden oxygen doublet flux. Results. Based on the flux ratio and the direct comparison with spectra models, the progenitor star of SN 2023ixf had a M_{ZAMS} between 12 and 15 M{_\odot}. In comparison with this, we find the use of the [O I] doublet flux to be less constraining of the progenitor mass. Our results agree with those from hydrodynamical modelling of the early light curve and pre-explosion image estimates pointing to a relatively low-mass progenitor.


title: How In-Context Learning Emerges from Training on Unstructured Data: On the Role of Co-Occurrence, Positional Information, and Noise Structures

abstract: Large language models (LLMs) like transformers have impressive in-context learning (ICL) capabilities; they can generate predictions for new queries based on input-output sequences in prompts without parameter updates. While many theories have attempted to explain ICL, they often focus on structured training data similar to ICL tasks, such as regression. In practice, however, these models are trained in an unsupervised manner on unstructured text data, which bears little resemblance to ICL tasks. To this end, we investigate how ICL emerges from unsupervised training on unstructured data. The key observation is that ICL can arise simply by modeling co-occurrence information using classical language models like continuous bag of words (CBOW), which we theoretically prove and empirically validate. Furthermore, we establish the necessity of positional information and noise structure to generalize ICL to unseen data. Finally, we present instances where ICL fails and provide theoretical explanations; they suggest that the ICL ability of LLMs to identify certain tasks can be sensitive to the structure of the training data.


title: QuanTA: Efficient High-Rank Fine-Tuning of LLMs with Quantum-Informed Tensor Adaptation

abstract: We propose Quantum-informed Tensor Adaptation (QuanTA), a novel, easy-to-implement, fine-tuning method with no inference overhead for large-scale pre-trained language models. By leveraging quantum-inspired methods derived from quantum circuit structures, QuanTA enables efficient high-rank fine-tuning, surpassing the limitations of Low-Rank Adaptation (LoRA)--low-rank approximation may fail for complicated downstream tasks. Our approach is theoretically supported by the universality theorem and the rank representation theorem to achieve efficient high-rank adaptations. Experiments demonstrate that QuanTA significantly enhances commonsense reasoning, arithmetic reasoning, and scalability compared to traditional methods. Furthermore, QuanTA shows superior performance with fewer trainable parameters compared to other approaches and can be designed to integrate with existing fine-tuning algorithms for further improvement, providing a scalable and efficient solution for fine-tuning large language models and advancing state-of-the-art in natural language processing.


title: Streamflow Prediction with Uncertainty Quantification for Water Management: A Constrained Reasoning and Learning Approach

abstract: Predicting the spatiotemporal variation in streamflow along with uncertainty quantification enables decision-making for sustainable management of scarce water resources. Process-based hydrological models (aka physics-based models) are based on physical laws, but using simplifying assumptions which can lead to poor accuracy. Data-driven approaches offer a powerful alternative, but they require large amount of training data and tend to produce predictions that are inconsistent with physical laws. This paper studies a constrained reasoning and learning (CRL) approach where physical laws represented as logical constraints are integrated as a layer in the deep neural network. To address small data setting, we develop a theoretically-grounded training approach to improve the generalization accuracy of deep models. For uncertainty quantification, we combine the synergistic strengths of Gaussian processes (GPs) and deep temporal models (i.e., deep models for time-series forecasting) by passing the learned latent representation as input to a standard distance-based kernel. Experiments on multiple real-world datasets demonstrate the effectiveness of both CRL and GP with deep kernel approaches over strong baseline methods.


title: Anomaly Detection in Dynamic Graphs: A Comprehensive Survey

abstract: This survey paper presents a comprehensive and conceptual overview of anomaly detection using dynamic graphs. We focus on existing graph-based anomaly detection (AD) techniques and their applications to dynamic networks. The contributions of this survey paper include the following: i) a comparative study of existing surveys on anomaly detection; ii) a Dynamic Graph-based Anomaly Detection (DGAD) review framework in which approaches for detecting anomalies in dynamic graphs are grouped based on traditional machine-learning models, matrix transformations, probabilistic approaches, and deep-learning approaches; iii) a discussion of graphically representing both discrete and dynamic networks; and iv) a discussion of the advantages of graph-based techniques for capturing the relational structure and complex interactions in dynamic graph data. Finally, this work identifies the potential challenges and future directions for detecting anomalies in dynamic networks. This DGAD survey approach aims to provide a valuable resource for researchers and practitioners by summarizing the strengths and limitations of each approach, highlighting current research trends, and identifying open challenges. In doing so, it can guide future research efforts and promote advancements in anomaly detection in dynamic graphs. Keywords: Graphs, Anomaly Detection, dynamic networks,Graph Neural Networks (GNN), Node anomaly, Graph mining.


title: Advancing Ear Biometrics: Enhancing Accuracy and Robustness through Deep Learning

abstract: Biometric identification is a reliable method to verify individuals based on their unique physical or behavioral traits, offering a secure alternative to traditional methods like passwords or PINs. This study focuses on ear biometric identification, exploiting its distinctive features for enhanced accuracy, reliability, and usability. While past studies typically investigate face recognition and fingerprint analysis, our research demonstrates the effectiveness of ear biometrics in overcoming limitations such as variations in facial expressions and lighting conditions. We utilized two datasets: AMI (700 images from 100 individuals) and EarNV1.0 (28,412 images from 164 individuals). To improve the accuracy and robustness of our ear biometric identification system, we applied various techniques including data preprocessing and augmentation. Our models achieved a testing accuracy of 99.35% on the AMI Dataset and 98.1% on the EarNV1.0 dataset, showcasing the effectiveness of our approach in precisely identifying individuals based on ear biometric characteristics.


title: Profinite completions of products

abstract: A source of difficulty in profinite homotopy theory is that the profinite completion functor does not preserve finite products. In this note, we provide a new, checkable criterion on prospaces $X$ and $Y$ that guarantees that the profinite completion of $X\times Y$ agrees with the product of the profinite completions of $X$ and $Y$. Using this criterion, we show that profinite completion preserves products of \'{e}tale homotopy types of qcqs schemes. This fills a gap in Chough's proof of the K\"{u}nneth formula for the \'{e}tale homotopy type of a product of proper schemes over a separably closed field.


title: Non-hermitian topology and entanglement in an optomechanical superlattice

abstract: The interplay between topology, dissipation and nonlinearities can give rise to a wealth of new phenomena and pave the way for novel topological lasers, sensors and other quantum devices. Along these lines, we propose here an optomechanical setup in which the concomitant presence of a spatially modulated external drive and dissipation gives rise to a topologically nontrivial state for mechanical and optical excitations. We are able to show that the one-dimensional system considered here exhibits topologically protected end states for which mechanical and optical degrees of freedom are entangled. We show such entanglement to be robust with respect to the presence of nonzero-temperature baths and we propose a protocol for experimental observation of the entanglement.


title: Mirror Symmetry and Level-rank Duality for 3d $\mathcal{N} = 4$ Rank 0 SCFTs

abstract: We introduce a family of 3d $\mathcal{N} = 4$ superconformal field theories that have zero-dimensional Coulomb and Higgs branches and propose that the rational vertex operator algebras $W^{\text{min}}_{k - \scriptstyle{\frac{1}{2}}}(\mathfrak{sp}_{2N})$ and $L_{k}(\mathfrak{osp}_{1|2N})$ model the modular tensor categories of line operators in their topological $A$ and $B$ twists, respectively. Our analysis indicates that the action of 3d mirror symmetry on this family of theories is related to a novel level-rank duality and leads to several conjectural $q$-series identities of independent interest.


title: Combinatorial proofs of inequalities involving the number of partitions with parts separated by parity

abstract: We consider the number of various partitions of $n$ with parts separated by parity and prove combinatorially several inequalities between these numbers. For example, we show that for $n\geq 5$ we have $p_{od}^{eu}(n)<p_{ed}^{ou}(n)$, where $p_{od}^{eu}(n)$ is the number of partitions of $n$ with odd parts distinct and even parts unrestricted and all odd parts less than all even parts and $p_{ed}^{ou}(n)$ is the number of partitions of $n$ with even parts distinct and odd parts unrestricted and all even parts less than all odd parts. We also prove a conjectural inequality of Fu and Tang involving partitions with parts separated by parity with restrictions on the multiplicity of parts.


title: solar: A solar thermal power plant simulator for blackbox optimization benchmarking

abstract: This work introduces solar, a collection of ten optimization problem instances for benchmarking blackbox optimization solvers. The instances present different design aspects of a concentrated solar power plant simulated by blackbox numerical models. The type of variables (discrete or continuous), dimensionality, and number and types of constraints (including hidden constraints) differ across instances. Some are deterministic, others are stochastic with possibilities to execute several replications to control stochasticity. Most instances offer variable fidelity surrogates, two are biobjective and one is unconstrained. The solar plant model takes into account various subsystems: a heliostats field, a central cavity receiver (the receiver), a molten salt thermal energy storage, a steam generator and an idealized power block. Several numerical methods are implemented throughout the solar code and most of the executions are time-consuming. Great care was applied to guarantee reproducibility across platforms. The solar tool encompasses most of the characteristics that can be found in industrial and real-life blackbox optimization problems, all in an open-source and stand-alone code.


title: Homological Associativity of Differential Graded Algebras and Gr\"obner Bases

abstract: We investigate associativity of multiplications on chain complexes over commutative noetherian rings from two perspectives. First, we introduce a natural associator subcomplex and show how its homology can detect associativity. Second, we use Gr\"obner bases to compute associators.


title: Achieving Distributed MIMO Performance with Repeater-Assisted Cellular Massive MIMO

abstract: 5G systems are being deployed all over the world and one key enabler of these systems is massive multiple-input multiple-output (MIMO). This technology has brought large performance gains in terms of serving many users. Despite the possibility to further exploit the spatial domain, there are situations where it is not possible to offer more than a single, or a few, data streams per user and where cell-edge coverage is an issue due to the lack of enough efficient channel scatterers. Looking ahead, distributed MIMO systems, where the antennas are spread over a larger area, are investigated for next generation systems. However, distributed MIMO comes with many practical deployment issues, making it a big challenge to adopt. As another way forward, we envision repeater-assisted cellular massive MIMO, where repeaters are deployed to act as channel scatterers to increase the rank of the channel and provide macro diversity for improved coverage and reliability. After elaborating on the requirements and hardware aspects of repeaters that enable this vision, we demonstrate through simulations the potential of repeater-assisted cellular massive MIMO to achieve distributed MIMO performance. Following this, we discuss open questions and future research directions.


title: Diversifying Query: Region-Guided Transformer for Temporal Sentence Grounding

abstract: Temporal sentence grounding is a challenging task that aims to localize the moment spans relevant to a language description. Although recent DETR-based models have achieved notable progress by leveraging multiple learnable moment queries, they suffer from overlapped and redundant proposals, leading to inaccurate predictions. We attribute this limitation to the lack of task-related guidance for the learnable queries to serve a specific mode. Furthermore, the complex solution space generated by variable and open-vocabulary language descriptions exacerbates the optimization difficulty, making it harder for learnable queries to distinguish each other adaptively. To tackle this limitation, we present a Region-Guided TRansformer (RGTR) for temporal sentence grounding, which diversifies moment queries to eliminate overlapped and redundant predictions. Instead of using learnable queries, RGTR adopts a set of anchor pairs as moment queries to introduce explicit regional guidance. Each anchor pair takes charge of moment prediction for a specific temporal region, which reduces the optimization difficulty and ensures the diversity of the final predictions. In addition, we design an IoU-aware scoring head to improve proposal quality. Extensive experiments demonstrate the effectiveness of RGTR, outperforming state-of-the-art methods on QVHighlights, Charades-STA and TACoS datasets.


title: Query2CAD: Generating CAD models using natural language queries

abstract: Computer Aided Design (CAD) engineers typically do not achieve their best prototypes in a single attempt. Instead, they iterate and refine their designs to achieve an optimal solution through multiple revisions. This traditional approach, though effective, is time-consuming and relies heavily on the expertise of skilled engineers. To address these challenges, we introduce Query2CAD, a novel framework to generate CAD designs. The framework uses a large language model to generate executable CAD macros. Additionally, Query2CAD refines the generation of the CAD model with the help of its self-refinement loops. Query2CAD operates without supervised data or additional training, using the LLM as both a generator and a refiner. The refiner leverages feedback generated by the BLIP2 model, and to address false negatives, we have incorporated human-in-the-loop feedback into our system. Additionally, we have developed a dataset that encompasses most operations used in CAD model designing and have evaluated our framework using this dataset. Our findings reveal that when we used GPT-4 Turbo as our language model, the architecture achieved a success rate of 53.6\% on the first attempt. With subsequent refinements, the success rate increased by 23.1\%. In particular, the most significant improvement in the success rate was observed with the first iteration of the refinement. With subsequent refinements, the accuracy of the correct designs did not improve significantly. We have open-sourced our data, model, and code (github.com/akshay140601/Query2CAD).


title: On the equilibrium measure for the Lukyanov integral

abstract: In 2000, Lukyanov conjectured that a certain ratio of $N$-fold integrals should provide access, in the large-$N$ regime, to the ground state expectation value of the exponential of the Sinh-Gordon quantum field in 1+1 dimensions and finite volume $R$. This work aims at rigorously constructing the fundamental objects necessary to address the large-$N$ analysis of such integrals. More precisely, we construct and establish the main properties of the the equilibrium measure minimising a certain $N$-dependent energy functional that naturally arises in the study of the leading large-$N$ behaviour of the Lukyanov integral. Our construction allows us to heuristically advocate the leading term in the large-$N$ asymptotic behaviour of the mentioned ratio of Lukyanov integrals, hence supporting Lukyanov's prediction -- obtained by other means -- on the exponent $\sigma$ of the power-law $N^{\sigma}$ term of its asymptotic expansion as $N\rightarrow + \infty$.


title: A Survey of Deep Learning Audio Generation Methods

abstract: This article presents a review of typical techniques used in three distinct aspects of deep learning model development for audio generation. In the first part of the article, we provide an explanation of audio representations, beginning with the fundamental audio waveform. We then progress to the frequency domain, with an emphasis on the attributes of human hearing, and finally introduce a relatively recent development. The main part of the article focuses on explaining basic and extended deep learning architecture variants, along with their practical applications in the field of audio generation. The following architectures are addressed: 1) Autoencoders 2) Generative adversarial networks 3) Normalizing flows 4) Transformer networks 5) Diffusion models. Lastly, we will examine four distinct evaluation metrics that are commonly employed in audio generation. This article aims to offer novice readers and beginners in the field a comprehensive understanding of the current state of the art in audio generation methods as well as relevant studies that can be explored for future research.


title: Fair Allocation in Dynamic Mechanism Design

abstract: We consider a dynamic mechanism design problem where an auctioneer sells an indivisible good to two groups of buyers in every round, for a total of $T$ rounds. The auctioneer aims to maximize their discounted overall revenue while adhering to a fairness constraint that guarantees a minimum average allocation for each group. We begin by studying the static case ($T=1$) and establish that the optimal mechanism involves two types of subsidization: one that increases the overall probability of allocation to all buyers, and another that favors the group which otherwise has a lower probability of winning the item. We then extend our results to the dynamic case by characterizing a set of recursive functions that determine the optimal allocation and payments in each round. Notably, our results establish that in the dynamic case, the seller, on the one hand, commits to a participation reward to incentivize truth-telling, and on the other hand, charges an entry fee for every round. Moreover, the optimal allocation once more involves subsidization in favor of one group, where the extent of subsidization depends on the difference in future utilities for both the seller and buyers when allocating the item to one group versus the other. Finally, we present an approximation scheme to solve the recursive equations and determine an approximately optimal and fair allocation efficiently.


title: Submodular Maximization in Exactly $n$ Queries

abstract: In this work, we study the classical problem of maximizing a submodular function subject to a matroid constraint. We develop deterministic algorithms that are very parsimonious with respect to querying the submodular function, for both the case when the submodular function is monotone and the general submodular case. In particular, we present a 1/4 approximation algorithm for the monotone case that uses exactly one query per element, which gives the same total number of queries n as the number of queries required to compute the maximum singleton. For the general case, we present a constant factor approximation algorithm that requires 2 queries per element, which is the first algorithm for this problem with linear query complexity in the size of the ground set.


title: Graphs and Their Vietoris-Rips Complexes Have the Same Pseudotopological Weak Homotopy Type

abstract: In this document, we propose a bridge between the graphs and the geometric realizations of their Vietoris Rips complexes, i.e. Graphs, with their canonical \v{C}ech closure structure, have the same homotopy type that the realization of their Vietoris Rips complex.


title: Non-Federated Multi-Task Split Learning for Heterogeneous Sources

abstract: With the development of edge networks and mobile computing, the need to serve heterogeneous data sources at the network edge requires the design of new distributed machine learning mechanisms. As a prevalent approach, Federated Learning (FL) employs parameter-sharing and gradient-averaging between clients and a server. Despite its many favorable qualities, such as convergence and data-privacy guarantees, it is well-known that classic FL fails to address the challenge of data heterogeneity and computation heterogeneity across clients. Most existing works that aim to accommodate such sources of heterogeneity stay within the FL operation paradigm, with modifications to overcome the negative effect of heterogeneous data. In this work, as an alternative paradigm, we propose a Multi-Task Split Learning (MTSL) framework, which combines the advantages of Split Learning (SL) with the flexibility of distributed network architectures. In contrast to the FL counterpart, in this paradigm, heterogeneity is not an obstacle to overcome, but a useful property to take advantage of. As such, this work aims to introduce a new architecture and methodology to perform multi-task learning for heterogeneous data sources efficiently, with the hope of encouraging the community to further explore the potential advantages we reveal. To support this promise, we first show through theoretical analysis that MTSL can achieve fast convergence by tuning the learning rate of the server and clients. Then, we compare the performance of MTSL with existing multi-task FL methods numerically on several image classification datasets to show that MTSL has advantages over FL in training speed, communication cost, and robustness to heterogeneous data.


title: Neural-network-supported basis optimizer for the configuration interaction problem in quantum many-body clusters: Feasibility study and numerical proof

abstract: A deep-learning approach to optimize the selection of Slater determinants in configuration interaction calculations for condensed-matter quantum many-body systems is developed. We exemplify our algorithm on the discrete version of the single-impurity Anderson model with up to 299 bath sites. Employing a neural network classifier and active learning, our algorithm enhances computational efficiency by iteratively identifying the most relevant Slater determinants for the ground-state wavefunction. We benchmark our results against established methods and investigate the efficiency of our approach as compared to other basis truncation schemes. Our algorithm demonstrates a substantial improvement in the efficiency of determinant selection, yielding a more compact and computationally manageable basis without compromising accuracy. Given the straightforward application of our neural network-supported selection scheme to other model Hamiltonians of quantum many-body clusters, our algorithm can significantly advance selective configuration interaction calculations in the context of correlated condensed matter.


title: Real monopoles and a spectral sequence from Khovanov homology

abstract: Given a based link $(K,p)$, we define a "tilde"-version $\tilde{HMR}(K,p)$ of real monopole Floer homology and prove an unoriented skein exact triangle. We show the Euler characteristic of $\tilde{HMR}(K,p)$ is equal to Miyazawa's invariant $|deg(K)|$ arXiv:2312.02041 and examine some examples. Further, we construct a spectral sequence over $\mathbb{F}_2$ abutting to $\tilde{HMR}(K,p)$, whose $E_2$ page is the reduced Khovanov homology $Khr(\overline{K})$ of the mirror link $\overline{K}$.


title: $\mu$LO: Compute-Efficient Meta-Generalization of Learned Optimizers

abstract: Learned optimizers (LOs) can significantly reduce the wall-clock training time of neural networks, substantially reducing training costs. However, they often suffer from poor meta-generalization, especially when training networks larger than those seen during meta-training. To address this, we use the recently proposed Maximal Update Parametrization ($\mu$P), which allows zero-shot generalization of optimizer hyperparameters from smaller to larger models. We extend $\mu$P theory to learned optimizers, treating the meta-training problem as finding the learned optimizer under $\mu$P. Our evaluation shows that LOs meta-trained with $\mu$P substantially improve meta-generalization as compared to LOs trained under standard parametrization (SP). Notably, when applied to large-width models, our best $\mu$LO, trained for 103 GPU-hours, matches or exceeds the performance of VeLO, the largest publicly available learned optimizer, meta-trained with 4000 TPU-months of compute. Moreover, $\mu$LOs demonstrate better generalization than their SP counterparts to deeper networks and to much longer training horizons (25 times longer) than those seen during meta-training.


title: A Novel Ranking Scheme for the Performance Analysis of Stochastic Optimization Algorithms using the Principles of Severity

abstract: Stochastic optimization algorithms have been successfully applied in several domains to find optimal solutions. Because of the ever-growing complexity of the integrated systems, novel stochastic algorithms are being proposed, which makes the task of the performance analysis of the algorithms extremely important. In this paper, we provide a novel ranking scheme to rank the algorithms over multiple single-objective optimization problems. The results of the algorithms are compared using a robust bootstrapping-based hypothesis testing procedure that is based on the principles of severity. Analogous to the football league scoring scheme, we propose pairwise comparison of algorithms as in league competition. Each algorithm accumulates points and a performance metric of how good or bad it performed against other algorithms analogous to goal differences metric in football league scoring system. The goal differences performance metric can not only be used as a tie-breaker but also be used to obtain a quantitative performance of each algorithm. The key novelty of the proposed ranking scheme is that it takes into account the performance of each algorithm considering the magnitude of the achieved performance improvement along with its practical relevance and does not have any distributional assumptions. The proposed ranking scheme is compared to classical hypothesis testing and the analysis of the results shows that the results are comparable and our proposed ranking showcases many additional benefits.


title: Lessons from the high-resolution spectroscopy of AW UMa and Epsilon CrA: Is the Lucy model valid?

abstract: A re-examination of high-resolution spectral monitoring of the W UMa-type binaries AW UMa and Epsilon CrA casts doubt on the widely utilized Lucy (1968a, 1968b) model of contact binaries. The detection of the very faint profile of the secondary component in AW UMa leads to a new spectroscopic determination of the mass ratio, q(sp) = 0.092 +/- 0.007, which is close to the previous, medium-resolution spectroscopic result of Pribulla & Rucinski (2008), q(sp) = 0.101 +/- 0.006, and remains substantially different from a cluster of generally accepted photometric results by several authors, concentrated around q(ph) = 0.080 +/- 0.005. The two approaches are independent, with the spectroscopic technique being more direct yet more demanding on telescope/spectrograph resources, while the photometric determinations are accessible to smaller telescopes but entirely dependent on the Lucy model. A survey of binaries with the best-determined values of the mass ratio shows a common tendency for q(ph) < q(sp). The tendency for systematically smaller values of q(ph) may result from the overfilling of the primary lobe and underfilling of the secondary lobe relative to the Roche model geometry, as predicted by the Stepien (2009) model; the tendency may be variable in time. Despite the observed moderate inter-systemic velocities, the photometric Lucy model may remain useful in providing approximate, though biased, results for the mass ratio. A complicating factor in detailed spectral analysis may be the occurrence of Enhanced Spectral-line Perturbations (ESP) projected over the secondary profiles, appearing in different numbers in the two studied binaries. The ESPs are tentatively identified within the Stepien model as collision fronts or fountains of hot, primary-component gas from the circumbinary, energy-carrying flow.


title: Holographic description of an anisotropic Dirac semimetal

abstract: Holographic quantum matter exploits the AdS/CFT correspondence to study systems in condensed matter physics. An example of these systems are strongly correlated semimetals, which feature a rich phase diagram structure. In this work, we present a holographic model for a Dirac semimetal in $2+1$ dimensions that features a topological phase transition. Our construction relies on deforming a relativistic UV fixed point with some relevant operators that explicitly break rotations and some internal symmetries. The phase diagram for different values of the relevant coupling constants is obtained. The different phases are characterized by distinct dispersion relations for probe fermionic modes in the AdS geometry. We find semi-metallic phases characterized by the presence of Dirac cones and an insulating phase featuring a mass gap with a mild anisotropy. Remarkably, we find as well an anisotropic semi-Dirac phase characterized by a massless a fermionic excitation dispersing linearly in one direction while quadratically in the other.


title: Verification of Neural Network Control Systems in Continuous Time

abstract: Neural network controllers are currently being proposed for use in many safety-critical tasks. Most analysis methods for neural network control systems assume a fixed control period. In control theory, higher frequency usually improves performance. However, for current analysis methods, increasing the frequency complicates verification. In the limit, when actuation is performed continuously, no existing neural network control systems verification methods are able to analyze the system. In this work, we develop the first verification method for continuously-actuated neural network control systems. We accomplish this by adding a level of abstraction to model the neural network controller. The abstraction is a piecewise linear model with added noise to account for local linearization error. The soundness of the abstraction can be checked using open-loop neural network verification tools, although we demonstrate bottlenecks in existing tools when handling the required specifications. We demonstrate the approach's efficacy by applying it to a vision-based autonomous airplane taxiing system and compare with a fixed frequency analysis baseline.


title: Distributed Ranges: A Model for Distributed Data Structures, Algorithms, and Views

abstract: Data structures and algorithms are essential building blocks for programs, and \emph{distributed data structures}, which automatically partition data across multiple memory locales, are essential to writing high-level parallel programs. While many projects have designed and implemented C++ distributed data structures and algorithms, there has not been widespread adoption of an interoperable model allowing algorithms and data structures from different libraries to work together. This paper introduces distributed ranges, which is a model for building generic data structures, views, and algorithms. A distributed range extends a C++ range, which is an iterable sequence of values, with a concept of segmentation, thus exposing how the distributed range is partitioned over multiple memory locales. Distributed data structures provide this distributed range interface, which allows them to be used with a collection of generic algorithms implemented using the distributed range interface. The modular nature of the model allows for the straightforward implementation of \textit{distributed views}, which are lightweight objects that provide a lazily evaluated view of another range. Views can be composed together recursively and combined with algorithms to implement computational kernels using efficient, flexible, and high-level standard C++ primitives. We evaluate the distributed ranges model by implementing a set of standard concepts and views as well as two execution runtimes, a multi-node, MPI-based runtime and a single-process, multi-GPU runtime. We demonstrate that high-level algorithms implemented using generic, high-level distributed ranges can achieve performance competitive with highly-tuned, expert-written code.


title: On the referential capacity of language models: An internalist rejoinder to Mandelkern & Linzen

abstract: In a recent paper, Mandelkern & Linzen (2024) - henceforth M&L - address the question of whether language models' (LMs) words refer. Their argument draws from the externalist tradition in philosophical semantics, which views reference as the capacity of words to "achieve 'word-to-world' connections". In the externalist framework, causally uninterrupted chains of usage, tracing every occurrence of a name back to its bearer, guarantee that, for example, 'Peano' refers to the individual Peano (Kripke 1980). This account is externalist both because words pick out referents 'out there' in the world, and because what determines reference are coordinated linguistic actions by members of a community, and not individual mental states. The "central question to ask", for M&L, is whether LMs too belong to human linguistic communities, such that words by LMs may also trace back causally to their bearers. Their answer is a cautious "yes": inputs to LMs are linguistic "forms with particular histories of referential use"; "those histories ground the referents of those forms"; any occurrence of 'Peano' in LM outputs is as causally connected to the individual Peano as any other occurrence of the same proper name in human speech or text; therefore, occurrences of 'Peano' in LM outputs refer to Peano. In this commentary, we first qualify M&L's claim as applying to a narrow class of natural language expressions. Thus qualified, their claim is valid, and we emphasise an additional motivation for that in Section 2. Next, we discuss the actual scope of their claim, and we suggest that the way they formulate it may lead to unwarranted generalisations about reference in LMs. Our critique is likewise applicable to other externalist accounts of LMs (e.g., Lederman & Mahowald 2024; Mollo & Milliere 2023). Lastly, we conclude with a comment on the status of LMs as members of human linguistic communities.


title: Robustness of Online Proportional Response in Stochastic Online Fisher Markets: a Decentralized Approach

abstract: This study is focused on periodic Fisher markets where items with time-dependent and stochastic values are regularly replenished and buyers aim to maximize their utilities by spending budgets on these items. Traditional approaches of finding a market equilibrium in the single-period Fisher market rely on complete information about buyers' utility functions and budgets. However, it is impractical to consistently enforce buyers to disclose this private information in a periodic setting. We introduce a distributed auction algorithm, online proportional response, wherein buyers update bids solely based on the randomly fluctuating values of items in each period. The market then allocates items based on the bids provided by the buyers. Utilizing the known Shmyrev convex program that characterizes market equilibrium of a Fisher market, two performance metrics are proposed: the fairness regret is the cumulative difference in the objective value of a stochastic Shmyrev convex program between an online algorithm and an offline optimum, and the individual buyer's regret gauges the deviation in terms of utility for each buyer between the online algorithm and the offline optimum. Our algorithm attains a problem-dependent upper bound contingent on the number of items and buyers under stationary inputs in fairness regret. Additionally, we conduct analysis of regret under various non-stationary stochastic input models to demonstrate the algorithm's efficiency across diverse scenarios. The online proportional response algorithm addresses privacy concerns by allowing buyers to update bids without revealing sensitive information and ensures decentralized decision-making, fostering autonomy and potential improvements in buyer satisfaction. Furthermore, our algorithm is universally applicable to many worlds and shows the robust performance guarantees.


title: Normed modules and The Stieltjes integrations of functions defined on finite-dimensional algebras

abstract: We define integrals for functions on finite-dimensional algebras, adapting methods from Leinster's research. This paper discusses the relationships between the integrals of functions defined on subsets $\mathbb{I}_1 \subseteq {\mathit{\Lambda}}_1$ and $\mathbb{I}_2 \subseteq {\mathit{\Lambda}}_2$ of two finite-dimensional algebras, under the influence of a mapping $\omega$, which can be an injection or a bijection. We explore four specific cases: $\bullet$ $\omega$ as a monotone non-decreasing and right-continuous function; $\bullet$ $\omega$ as an injective, absolutely continuous function; $\bullet$ $\omega$ as a bijection; $\bullet$ and $\omega$ as the identity on $\mathbb{R}$. These scenarios correspond to the frameworks of Lebesgue-Stieltjes integration, Riemann-Stieltjes integration, substitution rules for Lebesgue integrals, and traditional Lebesgue or Riemann integration, respectively.


title: Optical-computing-enabled Network: A New Dawn for Optical-layer Intelligence?

abstract: Inspired by the renaissance of optical computing recently, this poster presents a disruptive outlook on the possibility of seamless integration between optical communications and optical computing infrastructures, paving the way for achieving optical-layer intelligence and consequently boosting the capacity efficiency. This entails a paradigm shift in optical node architecture from the currently used optical-bypass to a novel one, entitled, optical-computing-enabled mode, where in addition to the traditional add-drop and cross-connect functionalities, optical nodes are upgraded to account for optical-computing capabilities between the lightpath entities directly at the optical layer. A preliminary study focusing on the optical aggregation operation is examined and early simulation results indicate a promising spectral saving enabled by the optical-computing-enabled mode compared with the optical-bypass one.


title: A Stochastic Incentive-based Demand Response Program for Virtual Power Plant with Solar, Battery, Electric Vehicles, and Controllable Loads

abstract: The growing integration of distributed energy resources (DERs) into the power grid necessitates an effective coordination strategy to maximize their benefits. Acting as an aggregator of DERs, a virtual power plant (VPP) facilitates this coordination, thereby amplifying their impact on the transmission level of the power grid. Further, a demand response program enhances the scheduling approach by managing the energy demands in parallel with the uncertain energy outputs of the DERs. This work presents a stochastic incentive-based demand response model for the scheduling operation of VPP comprising solar-powered generating stations, battery swapping stations, electric vehicle charging stations, and consumers with controllable loads. The work also proposes a priority mechanism to consider the individual preferences of electric vehicle users and consumers with controllable loads. The scheduling approach for the VPP is framed as a multi-objective optimization problem, normalized using the utopia-tracking method. Subsequently, the normalized optimization problem is transformed into a stochastic formulation to address uncertainties in energy demand from charging stations and controllable loads. The proposed VPP scheduling approach is addressed on a 33-node distribution system simulated using MATLAB software, which is further validated using a real-time digital simulator.


title: DYNA: Disease-Specific Language Model for Variant Pathogenicity

abstract: Clinical variant classification of pathogenic versus benign genetic variants remains a challenge in clinical genetics. Recently, the proposition of genomic foundation models has improved the generic variant effect prediction (VEP) accuracy via weakly-supervised or unsupervised training. However, these VEPs are not disease-specific, limiting their adaptation at the point of care. To address this problem, we propose DYNA: Disease-specificity fine-tuning via a Siamese neural network broadly applicable to all genomic foundation models for more effective variant effect predictions in disease-specific contexts. We evaluate DYNA in two distinct disease-relevant tasks. For coding VEPs, we focus on various cardiovascular diseases, where gene-disease relationships of loss-of-function vs. gain-of-function dictate disease-specific VEP. For non-coding VEPs, we apply DYNA to an essential post-transcriptional regulatory axis of RNA splicing, the most common non-coding pathogenic mechanism in established clinical VEP guidelines. In both cases, DYNA fine-tunes various pre-trained genomic foundation models on small, rare variant sets. The DYNA fine-tuned models show superior performance in the held-out rare variant testing set and are further replicated in large, clinically-relevant variant annotations in ClinVAR. Thus, DYNA offers a potent disease-specific variant effect prediction method, excelling in intra-gene generalization and generalization to unseen genetic variants, making it particularly valuable for disease associations and clinical applicability.


title: Mesoscopic and Macroscopic Entropy Balance Equations in a Stochastic Dynamics and Its Deterministic Limit

abstract: Entropy, its production, and its change in a dynamical system can be understood from either a fully stochastic dynamic description or from a deterministic dynamics exhibiting chaotic behavior. By taking the former approach based on the general diffusion process with diffusion $\tfrac{1}{\alpha}{\bf D}(\bf x)$ and drift $\bf b(\bf x)$, where $\alpha$ represents the ``size parameter'' of a system, we show that there are two distinctly different entropy balance equations. One reads ${\rm d} S^{(\alpha)}/{\rm d} t = e^{(\alpha)}_p + Q^{(\alpha)}_{ex}$ for all $\alpha$. However, the leading $\alpha$-order, ``extensive'', terms of the entropy production rate $e^{(\alpha)}_p$ and heat exchange rate $Q^{(\alpha)}_{ex}$ are exactly cancelled. Therefore, in the asymptotic limit of $\alpha\to\infty$, there is a second, local ${\rm d} S/{\rm d} t = \nabla\cdot{\bf b}({\bf x}(t))+\left({\bf D}:{\bf \Sigma}^{-1}\right)({\bf x}(t))$ on the order of $O(1)$, where $\tfrac{1}{\alpha}{\bf D}(\bf x(t))$ represents the randomness generated in the dynamics usually represented by metric entropy, and $\tfrac{1}{\alpha}{\bf \Sigma}({\bf x}(t))$ is the covariance matrix of the local Gaussian description at ${\bf x}(t)$, which is a solution to the ordinary differential equation $\dot{\bf x}={\bf b}(\bf x)$ at time $t$. This latter equation is akin to the notions of volume-preserving conservative dynamics and entropy production in the deterministic dynamic approach to nonequilibrium thermodynamics {\it \`{a} la} D. Ruelle. As a continuation of [17], mathematical details with sufficient care are given in four Appendices.


title: On complexity of colloid cellular automata

abstract: The colloid cellular automata do not imitate the physical structure of colloids but are governed by logical functions derived from the colloids. We analyse the space-time complexity of Boolean circuits derived from the electrical responses of colloids: ZnO (zinc oxide, an inorganic compound also known as calamine or zinc white, which naturally occurs as the mineral zincite), proteinoids (microspheres and crystals of thermal abiotic proteins), and combinations thereof to electrical stimulation. To extract Boolean circuits from colloids, we send all possible configurations of two-, four-, and eight-bit binary strings, encoded as electrical potential values, to the colloids, record their responses, and thereby infer the Boolean functions they implement. We map the discovered functions onto the cell-state transition rules of cellular automata (arrays of binary state machines that update their states synchronously according to the same rule) -- the colloid cellular automata. We then analyse the phenomenology of the space-time configurations of the automata and evaluate their complexity using measures such as compressibility, Shannon entropy, Simpson diversity, and expressivity. A hierarchy of phenomenological and measurable space-time complexity is constructed.


title: Conformal invariance in out-of-equilibrium Bose-Einstein condensates governed by the Gross-Pitaevskii Equation

abstract: We study density isolines in quantum turbulence under the Schramm-Loewner framework using direct numerical simulations of the truncated Gross-Pitaevskii equation, in both spherical and cylindrical traps with three-dimensional dynamics. Density isolines develop increasing complexity as turbulence matures. As the systems evolves towards a thermalized regime, it spontaneously develops conformal invariance. In contrast to other systems exhibiting conformal invariance, this system manifests it during the transition towards disorder rather than to self-organization. We discuss a link between this behavior in quantum turbulence and other 4-wave interacting systems.


abstract: Purpose: Reliability for Nerve Fiber Layer Reflectance Using Spectral Domain Optical Coherence Tomography (OCT) Methods: The study utilized OCT to scan participants with a cubic 6x6 mm disc scan. NFL reflectance were normalized by the average of bands below NFL and summarized. We selected several reference bands, including the pigment epithelium complex (PPEC), the band between NFL and Bruch's membrane (Post-NFL), and the top 50% of pixels with higher values were selected from the Post-NFL band by Post-NFL-Bright. Especially, we also included NFL attenuation coefficient (AC), which was equivalent to NFL reflectance normalized by all pixels below NFL. An experiment was designed to test the NFL reflectance against different levels of attenuation using neutral density filter (NDF). We also evaluated the within-visit and between-visit repeatability using a clinical dataset with normal and glaucoma eyes. Results: The experiment enrolled 20 healthy participants. The clinical dataset selected 22 normal and 55 glaucoma eyes with at least two visits form functional and structural OCT (FSOCT) study. The experiment showed that NFL reflectance normalized PPEC Max and Post-NFL-Bright had lowest dependence, slope=-0.77 and -1.34 dB/optical density on NDF levels, respectively. The clinical data showed that the NFL reflectance metrics normalized by Post-NFL-Bright or Post-NFL-Mean metrics had a trend of better repeatability and reproducibility than others, but the trend was not significant. All metrics demonstrated similar diagnostic accuracy (0.82-0.87), but Post-NFL-Bright provide the best result. Conclusions: The NFL reflectance normalized by the maximum in PPEC had less dependence of the global attenuation followed by Post-NFL-Bright, PPEC/Mean, Post-NFL-Mean and NFL/AC. But NFL reflectance normalized by Post-NFL-Bright had better result in two datasets.


title: Spatial light mode analogues of generalized quantum coherent states

abstract: We use the spatial degree of freedom of light modes to construct optical analogues of generalized quantum coherent states for Hermite- and Laguerre-Gauss modes. Our optical analogues preserve the statistical properties of their quantum counterparts, encoded in their amplitude and phase distributions. We explore three basic symmetries that provide generalized displaced, rotated, and squeezed coherent states. Given the substantial interest in squeezed states for probing matter, we believe that the optical analogues introduced here have significant implications for optical sensing. Specifically, the single-particle nature of our spatial modes makes them robust candidates for sensing photosensitive materials. Overall, our approach opens the door to optical metrology and sensing protocols that mimic those already existing in the quantum realm, and facilitates further exploration of the quantum state zoo through classical optical analogues.


title: Focal Loss Analysis of Peripapillary Nerve Fiber Layer Reflectance for Glaucoma Diagnosis

abstract: Purpose: To evaluate nerve fiber layer (NFL) reflectance for glaucoma diagnosis using a large dataset. Methods: Participants were imaged with 4.9mm ONH scans using spectral-domain optical coherence tomography (OCT). The NFL reflectance map was reconstructed from 13 concentric rings of optic nerve head(ONH) scan, then processed by an azimuthal filter to reduce directional reflectance bias due to variation of beam incidence angle. The peripapillary thickness and reflectance maps were both divided into 96 superpixels. Low-reflectance and low-thickness superpixels were defined as values below the 5th percentile normative reference for that location. Focal reflectance loss was measured by summing loss, relative to the normal reference average, in low-reflectance superpixels. Focal thickness loss was calculated in a similar fashion. The area under receiving characteristic curve (AROC) was used to assess diagnostic accuracy. Results: Fifty-three normal, 196 pre-perimetric, 132 early perimetric, and 59 moderate and advanced perimetric glaucoma participants were included from the Advanced Imaging for Glaucoma Study. Sixty-seven percent of glaucomatous reflectance maps showed characteristic contiguous wedge or diffuse defects. Focal NFL reflectance loss had significantly higher diagnostic accuracy than the best NFL thickness parameters (both map-based and profile-based): AROC 0.80 v. 0.75 (p<0.004) for distinguishing glaucoma eyes from healthy control eyes. The diagnostic sensitivity was also significantly higher at both 99% and 95% specificity operating points. Conclusions: Focal NFL reflectance loss improved glaucoma diagnostic accuracy compared to the standard NFL thickness parameters.


title: Polarization-Resolved Transmission Matrices of Specialty Optical Fibers

abstract: Transmission matrix measurements of multimode fibers are now routinely performed in numerous labs, enabling control of the electric field at the distal end of the fiber and paving the way for the potential application to ultrathin medical endoscopes with high resolution. However, the process of building an experimental setup and developing the supporting code to measure the fiber's transmission matrix remains challenging with full details on experimental design, data collection, and supporting algorithms spread over multiple papers or lacking in detail. Here, we outline a complete and self-contained description of the experiment we use to measure fully polarization-resolved transmission matrices. Our specific implementation of the full polarization experiment is new and is easy to align while providing flexibility to switch between full-polarization and scalar measurements if desired. We introduce a new method to measure and account for the phase and amplitude drift during the measurement using a Levenberg-Marquardt nonlinear fitting algorithm. Finally, we describe creating distal images through the multimode fiber using phase-to-amplitude shaping techniques to construct the correct input electric field and show that results are insensitive to this choice as quantified by measuring the contrast of a razor blade at the distal end of the fiber. Throughout the paper, we discuss applications of our setup and measurement process to a variety of specialty fibers, including fibers with harsh environment coatings, coreless fibers, rectangular core fibers, pedestal fibers, and a pump-signal combiner based on a tapered fiber bundle.


title: Dissecting the Crab Nebula with JWST: Pulsar wind, dusty filaments, and Ni/Fe abundance constraints on the explosion mechanism

abstract: We present JWST observations of the Crab Nebula, the iconic remnant of the historical SN 1054. The observations include NIRCam and MIRI imaging mosaics, plus MIRI/MRS IFU spectra that probe two select locations within the ejecta filaments. We derive a high-resolution map of dust emission and show that the grains are concentrated in the innermost, high-density filaments. These dense filaments coincide with multiple synchrotron bays around the periphery of the Crab's pulsar wind nebula (PWN). We measure synchrotron spectral index changes in small-scale features within the PWN's torus region, including the well-known knot and wisp structures. The index variations are consistent with Doppler boosting of emission from particles with a broken power-law distribution, providing the first direct evidence that the curvature in the particle injection spectrum is tied to the acceleration mechanism at the termination shock. We detect multiple nickel and iron lines in the ejecta filaments and use photoionization models to derive nickel-to-iron abundance ratios that are a factor of 3-8 higher than the solar ratio. We also find that the previously reported order-of-magnitude higher Ni/Fe values from optical data are consistent with the lower values from JWST when we reanalyze the optical emission using updated atomic data and account for local extinction from dust. We discuss the implications of our results for understanding the nature of the explosion that produced the Crab Nebula and conclude that the observational properties are most consistent with a low-mass iron-core-collapse supernova, even though an electron-capture explosion cannot be ruled out.


title: The effect of the trace operator on the duality of modular grids in genus zero levels

abstract: Griffin, the second author, and Molnar studied coefficient duality for canonical bases for a broad range of spaces of weakly holomorphic modular forms, showing that the Fourier coefficients of canonical basis elements appear as negatives of Fourier coefficients for elements of a canonical basis of a related space of forms. We investigate the effect of the trace operator on this duality for modular forms for $\Gamma_0(N)$ of genus zero and show exactly when duality still holds after applying the trace operator.


title: Quiescent Solar Wind Regions in the Near-Sun Environment: Properties and Radial Evolution

abstract: Regions of magnetic field with near-radial, Parker Spiral-like geometry known as quiescent regions have been observed in Parker Solar Probe data. These regions have very low $\delta B / \langle |B| \rangle$ compared to non-quiescent solar wind at the same heliocentric distances. Quiescent regions are observed to have lower solar wind bulk speeds, lower proton temperatures, and lower proton density, consistent with properties of the slow solar wind. Inside of 15 Rs, identified quiescent regions show distinct thermal properties, having higher proton temperature anisotropies and lower parallel plasma betas compared to switchback patches observed at the same heliocentric distances. When placed on $\mathcal{R}$ vs $\beta_{\parallel p}$ plots (where $\mathcal{R}$ is the proton temperature anisotropy), quiescent region solar wind is shown to be more stable to proton cyclotron and firehose instabilities than non-quiescent solar wind at the same heliocentric distances. It is shown that quiescent regions evolve similarly to the surrounding non-quiescent solar wind, but quiescent solar wind begins at a different location in the $\mathcal{R}$ vs $\beta_{\parallel p}$ parameter space, suggesting that these regions have separate origins than the more turbulent non-quiescent solar wind. Namely, enhanced temperature anisotropies and enhanced magnetic field strength may be consistent with magnetic field lines which have undergone less magnetic field expansion compared to non-quiescent wind at the same heliocentric distances.


title: Monodromies of Second Order $q$-difference Equations from the WKB Approximation

abstract: This paper studies the space of monodromy data of second order $q$-difference equations through the framework of WKB analysis. We compute the connection matrices associated to the Stokes phenomenon of WKB wavefunctions and develop a general framework to parameterize monodromies of $q$-difference equations. Computations of monodromies are illustrated with explicit examples, including a $q$-Mathieu equation and its degenerations. In all examples we show that the monodromy around the origin of $\mathbb{C}^*$ admits an expansion in terms of Voros symbols, or exponentiated quantum periods, with integer coefficients. Physically these monodromies correspond to expectation values of Wilson line operators in five dimensional quantum field theories with minimal supersymmetry. In the case of the $q$-Mathieu equation, we show that the trace of the monodromy can be identified with the Hamiltonian of a corresponding $q$-Painlev\'e equation.


title: Topological weak-measurement-induced geometric phases revisited

abstract: We present an analytical and numerical study of a class of geometric phase induced by weak measurements. In particular, we analyze the dependence of the geometric phase on the winding ($W$) of the polar angle ($\varphi$), upon a sequence of $N$ weak measurements of increased magnitude ($c$), resulting in the appearance of a multiplicity of critical measurement-strength parameters where the geometric phase becomes stochastic. Adding to the novelty of our approach, we not only analyze the weak-measurement induced geometric phase by a full analytic derivation, valid in the quasicontinuous limit ($N \rightarrow \infty$), but also we analyze the induced geometric phase numerically, thus enabling us to unravel the finite-$N$ interplay of the geometric phase with the measurement strength parameter, and its stability to perturbations in the measurements protocol.


title: Flexible and Efficient Surrogate Gradient Modeling with Forward Gradient Injection

abstract: Automatic differentiation is a key feature of present deep learning frameworks. Moreover, they typically provide various ways to specify custom gradients within the computation graph, which is of particular importance for defining surrogate gradients in the realms of non-differentiable operations such as the Heaviside function in spiking neural networks (SNNs). PyTorch, for example, allows the custom specification of the backward pass of an operation by overriding its backward method. Other frameworks provide comparable options. While these methods are common practice and usually work well, they also have several disadvantages such as limited flexibility, additional source code overhead, poor usability, or a potentially strong negative impact on the effectiveness of automatic model optimization procedures. In this paper, an alternative way to formulate surrogate gradients is presented, namely, forward gradient injection (FGI). FGI applies a simple but effective combination of basic standard operations to inject an arbitrary gradient shape into the computational graph directly within the forward pass. It is demonstrated that using FGI is straightforward and convenient. Moreover, it is shown that FGI can significantly increase the model performance in comparison to custom backward methods in SNNs when using TorchScript. These results are complemented with a general performance study on recurrent SNNs with TorchScript and torch.compile, revealing the potential for a training speedup of more than 7x and an inference speedup of more than 16x in comparison with pure PyTorch.


title: Coulomb Branch Operator Algebras and Universal Selection Rules for $\mathcal{N}=2$ SCFTs

abstract: Coulomb branches of vacua are the most universal moduli spaces that arise in local unitary interacting 4d $\mathcal{N}=2$ superconformal field theories (SCFTs). In these theories, $1/2$-BPS primaries parameterize the Coulomb branches and form (anti-)chiral rings. We define the notion of a Coulomb branch operator algebra, $\mathcal{A}_{\mathcal{C}}$, that contains these chiral and anti-chiral rings along with infinitely many more operators and products that are less protected by supersymmetry. Using a universal symmetry, $\mathcal{I}\cong\mathbb{Z}_2$, that arises from studying the superconformal group, we give $\mathcal{I}$ selection rules for $\mathcal{A}_{\mathcal{C}}$ and, more generally, for arbitrary products in the local operator algebra of any 4d $\mathcal{N}=2$ SCFT. Defining the notion of a "Coulombic" SCFT, we propose explanations for certain phenomena in a 4d/2d correspondence involving 4d $\mathcal{N}=2$ theories and 2d vertex operator algebras. Finally, by considering deformations of $\mathcal{I}$, we explore the case of $\mathcal{N}>2$ SCFTs.


title: Long-Span Question-Answering: Automatic Question Generation and QA-System Ranking via Side-by-Side Evaluation

abstract: We explore the use of long-context capabilities in large language models to create synthetic reading comprehension data from entire books. Previous efforts to construct such datasets relied on crowd-sourcing, but the emergence of transformers with a context size of 1 million or more tokens now enables entirely automatic approaches. Our objective is to test the capabilities of LLMs to analyze, understand, and reason over problems that require a detailed comprehension of long spans of text, such as questions involving character arcs, broader themes, or the consequences of early actions later in the story. We propose a holistic pipeline for automatic data generation including question generation, answering, and model scoring using an ``Evaluator''. We find that a relative approach, comparing answers between models in a pairwise fashion and ranking with a Bradley-Terry model, provides a more consistent and differentiating scoring mechanism than an absolute scorer that rates answers individually. We also show that LLMs from different model families produce moderate agreement in their ratings. We ground our approach using the manually curated NarrativeQA dataset, where our evaluator shows excellent agreement with human judgement and even finds errors in the dataset. Using our automatic evaluation approach, we show that using an entire book as context produces superior reading comprehension performance compared to baseline no-context (parametric knowledge only) and retrieval-based approaches.


title: An Empirical Study of Developers' Challenges in Implementing Workflows as Code: A Case Study on Apache Airflow

abstract: The Workflows as Code paradigm is becoming increasingly essential to streamline the design and management of complex processes within data-intensive software systems. These systems require robust capabilities to process, analyze, and extract insights from large datasets. Workflow orchestration platforms such as Apache Airflow are pivotal in meeting these needs, as they effectively support the implementation of the Workflows as Code paradigm. Nevertheless, despite its considerable advantages, developers still face challenges due to the specialized demands of workflow orchestration and the complexities of distributed execution environments. In this paper, we manually study 1,000 sampled Stack Overflow posts derived from 9,591 Airflow-related questions to understand developers' challenges and root causes while implementing Workflows as Code. Our analysis results in a hierarchical taxonomy of Airflow-related challenges that contains 7 high-level categories and 14 sub-categories. We find that the most significant obstacles for developers arise when defining and executing their workflow. Our in-depth analysis identifies 10 root causes behind the challenges, including incorrect workflow configuration, complex environmental setup, and a lack of basic knowledge about Airflow and the external systems that it interacts with. Additionally, our analysis of references shared within the collected posts reveals that beyond the frequently cited Airflow documentation, documentation from external systems and third-party providers is also commonly referenced to address Airflow-related challenges.


title: Wait or Not to Wait: Evaluating Trade-Offs between Speed and Precision in Blockchain-based Federated Aggregation

abstract: This paper presents a fully coupled blockchain-assisted federated learning architecture that effectively eliminates single points of failure by decentralizing both the training and aggregation tasks across all participants. Our proposed system offers a high degree of flexibility, allowing participants to select shared models and customize the aggregation for local needs, thereby optimizing system performance, including accurate inference results. Notably, the integration of blockchain technology in our work is to promote a trustless environment, ensuring transparency and non-repudiation among participants when abnormalities are detected. To validate the effectiveness, we conducted real-world federated learning deployments on a private Ethereum platform, using two different models, ranging from simple to complex neural networks. The experimental results indicate comparable inference accuracy between centralized and decentralized federated learning settings. Furthermore, our findings indicate that asynchronous aggregation is a feasible option for simple learning models. However, complex learning models require greater training model involvement in the aggregation to achieve high model quality, instead of asynchronous aggregation. With the implementation of asynchronous aggregation and the flexibility to select models, participants anticipate decreased aggregation time in each communication round, while experiencing minimal accuracy trade-off.


title: Chiplets on Wheels: Review Paper on Holistic Chiplet Solutions for Autonomous Vehicles

abstract: On the advent of the slow death of Moore's law, the silicon industry is moving towards a new era of chiplets. The automotive industry is experiencing a profound transformation towards software-defined vehicles, fueled by the surging demand for automotive compute chips, expected to reach 20-22 billion by 2030. High-performance compute (HPC) chips become instrumental in meeting the soaring demand for computational power. Various strategies, including centralized electrical and electronic architecture and the innovative Chiplet Systems, are under exploration. The latter, breaking down System-on-Chips (SoCs) into functional units, offers unparalleled customization and integration possibilities. The research accentuates the crucial open Chiplet ecosystem, fostering collaboration and enhancing supply chain resilience. In this paper, we address the unique challenges that arise when attempting to leverage chiplet-based architecture to design a holistic silicon solution for the automotive industry. We propose a throughput-oriented micro-architecture for ADAS and infotainment systems alongside a novel methodology to evaluate chiplet architectures. Further, we develop in-house simulation tools leveraging the gem5 framework to simulate latency and throughput. Finally, we perform an extensive design of thermally-aware chiplet placement and develop a micro-fluids-based cooling design.


title: Predicting solvation free energies with an implicit solvent machine learning potential

abstract: Machine learning (ML) potentials are a powerful tool in molecular modeling, enabling ab initio accuracy for comparably small computational costs. Nevertheless, all-atom simulations employing best-performing graph neural network architectures are still too expensive for applications requiring extensive sampling, such as free energy computations. Implicit solvent models could provide the necessary speed-up due to reduced degrees of freedom and faster dynamics. Here, we introduce a Solvation Free Energy Path Reweighting (ReSolv) framework to parametrize an implicit solvent ML potential for small organic molecules that accurately predicts the hydration free energy, an essential parameter in drug design and pollutant modeling. With a combination of top-down (experimental hydration free energy data) and bottom-up (ab initio data of molecules in a vacuum) learning, ReSolv bypasses the need for intractable ab initio data of molecules in explicit bulk solvent and does not have to resort to less accurate data-generating models. On the FreeSolv dataset, ReSolv achieves a mean absolute error close to average experimental uncertainty, significantly outperforming standard explicit solvent force fields. The presented framework paves the way toward deep molecular models that are more accurate yet computationally cheaper than classical atomistic models.


title: Markov-chain sampling for long-range systems without evaluating the energy

abstract: In past decades, enormous effort has been expended to develop algorithms and even to construct special-purpose computers in order to efficiently evaluate total energies and forces for long-range-interacting particle systems, with the particle-mesh Ewald and the fast multipole methods as well as the 'Anton' series of supercomputers serving as examples for biomolecular simulations. Cutoffs in the range of the interaction have also been used for large systems. All these methods require extrapolations. Within Markov-chain Monte Carlo, in thermal equilibrium, the Boltzmann distribution can however be sampled natively without evaluating the total interaction potential. Using as an example the Lennard-Jones interaction, we review past attempts in this direction, and then discuss in detail the class of cell-veto algorithms which make possible fast, native sampling of the Boltzmann distribution without any approximation, extrapolation, or cutoff even for the slowly decaying Coulomb interaction. The computing effort per move remains constant with increasing system size, as we show explicitly. We provide worked-out illustrations and pseudocode representations of the discussed algorithms. Python implementations are made available in an associated open-source software repository.