title: Photovoltaic properties enhanced by the tunneling effect in a coupled quantum dot photocell

abstract: Double quantum dots (DQDs) have emerged as versatile and efficient absorbing light devices owing to their more multiple adjusting parameters than the single QD's. Using the system-reservoir theory, tunneling effect on the quantum photovoltaic properties is evaluated detailedly in a DQDs photocell with different energy mismatches under different temperatures. Repopulation of photo-generated carriers in two excited states is generated by electron tunneling effect between two coupled QD pairs, which brings out more efficient quantum photovoltaic yields evaluated by the short-circuit current, open-circuit voltage and output power through the current-voltage and power-voltage characteristics. Further discussion reveals that the quantum photovoltaic properties are enhanced by the ambient environment temperatures but weakened by the energy mismatches. However, the weakening effect caused by the energy mismatches can be greatly reduced by tunneling effect. Insights into tunneling effect between two adjacent QD not only facilitate a better understanding of the fundamentals in carriers transport, but also provide novel strategies for efficient artificial assembled QD arrays photocell inspired by this proposed DQDs photocell model.


title: Generalizing GradCAM for Embedding Networks

abstract: Visualizing CNN is an important part in building trust and explaining model's prediction. Methods like CAM and GradCAM have been really successful in localizing area of the image responsible for the output but are only limited to classification models. In this paper, we present a new method EmbeddingCAM, which generalizes the Grad-CAM for embedding networks. We show that for classification networks, EmbeddingCAM reduces to GradCAM. We show the effectiveness of our method on CUB-200-2011 dataset and also present quantitative and qualitative analysis on the dataset.


title: Addressing Bias Through Ensemble Learning and Regularized Fine-Tuning

abstract: Addressing biases in AI models is crucial for ensuring fair and accurate predictions. However, obtaining large, unbiased datasets for training can be challenging. This paper proposes a comprehensive approach using multiple methods to remove bias in AI models, with only a small dataset and a potentially biased pretrained model. We train multiple models with the counter-bias of the pre-trained model through data splitting, local training, and regularized fine-tuning, gaining potentially counter-biased models. Then, we employ ensemble learning for all models to reach unbiased predictions. To further accelerate the inference time of our ensemble model, we conclude our solution with knowledge distillation that results in a single unbiased neural network. We demonstrate the effectiveness of our approach through experiments on the CIFAR10 and HAM10000 datasets, showcasing promising results. This work contributes to the ongoing effort to create more unbiased and reliable AI models, even with limited data availability.


title: Dielectric spectroscopy of a ferroelectric nematic liquid crystal and the effect of the sample thickness

abstract: The recently discovered ferroelectric nematic liquid crystals have been reported to exhibit very large dielectric permittivity values. Here, we report a systematic investigation of the dielectric behavior of a prototypical ferroelectric nematogen by varying the thickness of the parallel capacitor measuring cell. While in the non-polar high temperature nematic phase results show only slight differences due to slight variations of the alignment, the measured permittivity values in the ferroelectric nematic phase show a linear dependence on the cell thickness. It is also shown that the characteristic relaxation frequency decreases inversely proportionally to the thickness. The results are discussed in terms of three different available models based on different underlying mechanisms, accounting for cancellation of the probe electric fields by polarization reorientation or by ionic charges, or based on a recently proposed continuous phenomenological model.


title: Can we Constrain Concept Bottleneck Models to Learn Semantically Meaningful Input Features?

abstract: Concept Bottleneck Models (CBMs) are considered inherently interpretable because they first predict a set of human-defined concepts before using these concepts to predict the output of a downstream task. For inherent interpretability to be fully realised, and ensure trust in a model's output, we need to guarantee concepts are predicted based on semantically mapped input features. For example, one might expect the pixels representing a broken bone in an image to be used for the prediction of a fracture. However, current literature indicates this is not the case, as concept predictions are often mapped to irrelevant input features. We hypothesise that this occurs when concept annotations are inaccurate or how input features should relate to concepts is unclear. In general, the effect of dataset labelling on concept representations in CBMs remains an understudied area. Therefore, in this paper, we examine how CBMs learn concepts from datasets with fine-grained concept annotations. We demonstrate that CBMs can learn concept representations with semantic mapping to input features by removing problematic concept correlations, such as two concepts always appearing together. To support our evaluation, we introduce a new synthetic image dataset based on a playing cards domain, which we hope will serve as a benchmark for future CBM research. For validation, we provide empirical evidence on a real-world dataset of chest X-rays, to demonstrate semantically meaningful concepts can be learned in real-world applications.


title: Institutional Platform for Secure Self-Service Large Language Model Exploration

abstract: This paper introduces a user-friendly platform developed by the University of Kentucky Center for Applied AI, designed to make large, customized language models (LLMs) more accessible. By capitalizing on recent advancements in multi-LoRA inference, the system efficiently accommodates custom adapters for a diverse range of users and projects. The paper outlines the system's architecture and key features, encompassing dataset curation, model training, secure inference, and text-based feature extraction. We illustrate the establishment of a tenant-aware computational network using agent-based methods, securely utilizing islands of isolated resources as a unified system. The platform strives to deliver secure LLM services, emphasizing process and data isolation, end-to-end encryption, and role-based resource authentication. This contribution aligns with the overarching goal of enabling simplified access to cutting-edge AI models and technology in support of scientific discovery.


title: Automatic continuity of biorthogonality preservers between compact C$^*$-algebras and von Neumann algebras

abstract: We prove that every biorthogonality preserving linear surjection between two dual or compact C$^*$-algebras or between two von Neumann algebras is automatically continuous.


title: Characterization and Improvement of Axial and Radial Stiffness of Contactless Thrust Superconducting Magnetic Bearings

abstract: Contactless bearings based on both permanent magnets and superconducting magnetic levitation are interesting to avoid all the tribological problems associated with contact at very low temperature. Superconducting magnetic bearings (SMBs) find application in mechanical engineering where lack of contact is a requirement or an advantage. In comparison with active magnetic bearings (AMBs), SMBs solve their inherent instability and require less complex control strategies and electronics. However, one of the current limitations is their low mechanical stiffness. Force densities are considerably lower in SMB than the state-of-art values for AMB. This fact certainly limits their applications. In this chapter, we summarize some key strategies for the improvement of radial and axial stiffness among with a description of some SMB in terms of load capability or force relaxation and discuss their advantages and disadvantages.A set of rules for the mechanical design of high-stiffness thrust superconducting magnetic bearings are proposed and experimentally demonstrated. Keywords Low-temperature tribology


title: Improving Resolution and Run Outs of a Superconducting Noncontact Device for Precision Positioning

abstract: This paper describes the improvement of the performance of a long-stroke high-precision positioning slider suitable for cryogenic environments due to the application of a set of design rules given in a previous paper. The device, based on superconducting magnetic levitation, is self-stable and does notmake contact between the slider and the guideline, avoiding tribological and lubrication problems associated with cryogenics.


title: Dynamics of a Superconducting Linear Slider

abstract: In this paper, the dynamic behavior of a one degree-of-freedom (DOF) contactless linear slider based on superconducting magnetic levitation is experimentally analyzed. The device is intended for precision positioning of an optic mirror in cryogenic environments. Different prototypes of this device have been tested at cryogenic temperatures (77 K), and their mechanical behavior characterized in the sliding direction for forced and unforced oscillations. Experimental results reveal that the slider is self-stable at the initial equilibrium position and the dynamic behavior fits well an underdamped harmonic oscillator. Finally, the device showed great potential for horizontal vibration isolation, acting as a low-pass filter with a resonance at about 0.9 Hz


title: MUSTAN: Multi-scale Temporal Context as Attention for Robust Video Foreground Segmentation

abstract: Video foreground segmentation (VFS) is an important computer vision task wherein one aims to segment the objects under motion from the background. Most of the current methods are image-based, i.e., rely only on spatial cues while ignoring motion cues. Therefore, they tend to overfit the training data and don't generalize well to out-of-domain (OOD) distribution. To solve the above problem, prior works exploited several cues such as optical flow, background subtraction mask, etc. However, having a video data with annotations like optical flow is a challenging task. In this paper, we utilize the temporal information and the spatial cues from the video data to improve OOD performance. However, the challenge lies in how we model the temporal information given the video data in an interpretable way creates a very noticeable difference. We therefore devise a strategy that integrates the temporal context of the video in the development of VFS. Our approach give rise to deep learning architectures, namely MUSTAN1 and MUSTAN2 and they are based on the idea of multi-scale temporal context as an attention, i.e., aids our models to learn better representations that are beneficial for VFS. Further, we introduce a new video dataset, namely Indoor Surveillance Dataset (ISD) for VFS. It has multiple annotations on a frame level such as foreground binary mask, depth map, and instance semantic annotations. Therefore, ISD can benefit other computer vision tasks. We validate the efficacy of our architectures and compare the performance with baselines. We demonstrate that proposed methods significantly outperform the benchmark methods on OOD. In addition, the performance of MUSTAN2 is significantly improved on certain video categories on OOD data due to ISD.


title: A diffraction approach to assess the elastic properties of a nylon string

abstract: The Young\'s modulus of a nylon string has been determined experimentally by combining elasticity theory and wave optics. A diffraction experiment has been setup to determine the change in the string diameter for different tensile forces applied by means of hanging weights. A linear elasticity model has been used to calculate the Young\'s modulus. A simple method has been provided which could be used as the basis of an experiment for introductory university level.


title: Deep Learning Approaches for Network Traffic Classification in the Internet of Things (IoT): A Survey

abstract: The Internet of Things (IoT) has witnessed unprecedented growth, resulting in a massive influx of diverse network traffic from interconnected devices. Effectively classifying this network traffic is crucial for optimizing resource allocation, enhancing security measures, and ensuring efficient network management in IoT systems. Deep learning has emerged as a powerful technique for network traffic classification due to its ability to automatically learn complex patterns and representations from raw data. This survey paper aims to provide a comprehensive overview of the existing deep learning approaches employed in network traffic classification specifically tailored for IoT environments. By systematically analyzing and categorizing the latest research contributions in this domain, we explore the strengths and limitations of various deep learning models in handling the unique challenges posed by IoT network traffic. Through this survey, we aim to offer researchers and practitioners valuable insights, identify research gaps, and provide directions for future research to further enhance the effectiveness and efficiency of deep learning-based network traffic classification in IoT.


title: Allocation of Indivisible Items with a Common Preference Graph: Minimizing Total Dissatisfaction

abstract: Allocating indivisible items among a set of agents is a frequently studied discrete optimization problem. In the setting considered in this work, the agents' preferences over the items are assumed to be identical. We consider a very recent measure for the overall quality of an allocation which does not rely on numerical valuations of the items. Instead, it captures the agents' opinion by a directed acyclic preference graph with vertices representing items. An arc $(a,b)$ in such a graph means that the agents prefer item $a$ over item $b$. For a given allocation of items the dissatisfaction of an agent is defined as the number of items which the agent does not receive and for which no more preferred item is given to the agent. Our goal is to find an efficient allocation of the items to the agents such that the total dissatisfaction over all agents is minimized. We explore the dichotomy between NP-hard and polynomially solvable instances, depending on properties of the underlying preference graph. While the problem is NP-hard already for three agents even on very restricted graph classes, it is polynomially solvable for two agents on general preference graphs. For an arbitrary number of agents, we derive polynomial-time algorithms for relevant restrictions of the underlying undirected graph. These are trees and, among the graphs of treewidth two, series-parallel graphs and cactus graphs.


title: Towards post-quantum blockchain: A review on blockchain cryptography resistant to quantum computing attacks

abstract: Blockchain and other Distributed Ledger Technologies (DLTs) have evolved significantly in the last years and their use has been suggested for numerous applications due to their ability to provide transparency, redundancy and accountability. In the case of blockchain, such characteristics are provided through public-key cryptography and hash functions. However, the fast progress of quantum computing has opened the possibility of performing attacks based on Grover's and Shor's algorithms in the near future. Such algorithms threaten both public-key cryptography and hash functions, forcing to redesign blockchains to make use of cryptosystems that withstand quantum attacks, thus creating which are known as post-quantum, quantum-proof, quantum-safe or quantum-resistant cryptosystems. For such a purpose, this article first studies current state of the art on post-quantum cryptosystems and how they can be applied to blockchains and DLTs. Moreover, the most relevant post-quantum blockchain systems are studied, as well as their main challenges. Furthermore, extensive comparisons are provided on the characteristics and performance of the most promising post-quantum public-key encryption and digital signature schemes for blockchains. Thus, this article seeks to provide a broad view and useful guidelines on post-quantum blockchain security to future blockchain researchers and developers.


title: Teegarden's Star revisited: A nearby planetary system with at least three planets

abstract: The two known planets in the planetary system of Teegarden's Star are among the most Earth-like exoplanets currently known. Revisiting this nearby planetary system with two planets in the habitable zone aims at a more complete census of planets around very low-mass stars. A significant number of new radial velocity measurements from CARMENES, ESPRESSO, MAROON-X, and HPF, as well as photometry from TESS motivated a deeper search for additional planets. We confirm and refine the orbital parameters of the two know planets Teegarden's Star b and c. We also report the detection of a third planet d with an orbital period of 26.13+-0.04 d and a minimum mass of 0.82+-0.17 M_Earth. A signal at 96 d is attributed to the stellar rotation period. The interpretation of a signal at 172 d remains open. The TESS data exclude transiting short-period planets down to about half an Earth radius. We compare the planetary system architecture of very low-mass stars. In the currently known configuration, the planetary system of Teegarden's star is dynamically quite different from that of TRAPPIST-1, which is more compact, but dynamically similar to others such as GJ 1002.


title: The Fragile Nature of Road Transportation Systems

abstract: Major cities worldwide experience problems with the performance of their road transportation systems. The continuous increase in traffic demand presents a substantial challenge to the optimal operation of urban road networks and the efficiency of traffic control strategies. Although robust and resilient transportation systems have been extensively researched over the past decades, their performance under an ever-growing traffic demand can still be questionable. The operation of transportation systems is widely believed to display fragile property, i.e., the loss in performance increases exponentially with the linearly increasing magnitude of disruptions, which undermines their continuous operation. The risk engineering community is now embracing the novel concept of (anti-)fragility, which enables systems to learn from historical disruptions and exhibit improved performance as disruption levels reach unprecedented magnitudes. In this study, we demonstrate the fragile nature of road transportation systems when faced with either demand or supply disruptions. First, we conducted a rigorous mathematical analysis to theoretically establish the fragile nature of the systems. Subsequently, by taking into account real-world stochasticity, we implemented a numerical simulation with realistic network data to bridge the gap between the theoretical proof and the real-world operations, to study the impact of uncertainty on the fragile property of the systems. This work aims to help researchers better comprehend the necessity to explicitly consider antifragile design toward the application of future traffic control strategies, coping with constantly growing traffic demand and subsequent traffic accidents.


title: A Practical Evaluation of Commercial Industrial Augmented Reality Systems in an Industry 4.0 Shipyard

abstract: The principles of the Industry 4.0 are guiding manufacturing companies towards more automated and computerized factories. Such principles are also applied in shipbuilding, which usually involves numerous complex processes whose automation will improve its efficiency and performance. Navantia, a company that has been building ships for 300 years, is modernizing its shipyards according to the Industry 4.0 principles with the help of the latest technologies. Augmented Reality (AR), which when utilized in an industrial environment is called Industrial AR (IAR), is one of such technologies, since it can be applied in numerous situations in order to provide useful and attractive interfaces that allow shipyard operators to obtain information on their tasks and to interact with certain elements that surround them. This article first reviews the state of the art on IAR applications for shipbuilding and smart manufacturing. Then, the most relevant IAR hardware and software tools are detailed, as well as the main use cases for the application of IAR in a shipyard. Next, it is described Navantia's IAR system, which is based on a fog-computing architecture. Such a system is evaluated when making use of three IAR devices (a smartphone, a tablet and a pair of smart glasses), two AR SDKs (ARToolKit and Vuforia) and multiple IAR markers, with the objective of determining their performance in a shipyard workshop and inside a ship under construction. The results obtained show remarkable performance differences among the different IAR tools and the impact of factors like lighting, pointing out the best combinations of markers, hardware and software to be used depending on the characteristics of the shipyard scenario.


title: A Comparative Analysis of Gene Expression Profiling by Statistical and Machine Learning Approaches

abstract: Many machine learning models have been proposed to classify phenotypes from gene expression data. In addition to their good performance, these models can potentially provide some understanding of phenotypes by extracting explanations for their decisions. These explanations often take the form of a list of genes ranked in order of importance for the predictions, the highest-ranked genes being interpreted as linked to the phenotype. We discuss the biological and the methodological limitations of such explanations. Experiments are performed on several datasets gathering cancer and healthy tissue samples from the TCGA, GTEx and TARGET databases. A collection of machine learning models including logistic regression, multilayer perceptron, and graph neural network are trained to classify samples according to their cancer type. Gene rankings are obtained from explainability methods adapted to these models, and compared to the ones from classical statistical feature selection methods such as mutual information, DESeq2, and EdgeR. Interestingly, on simple tasks, we observe that the information learned by black-box neural networks is related to the notion of differential expression. In all cases, a small set containing the best-ranked genes is sufficient to achieve a good classification. However, these genes differ significantly between the methods and similar classification performance can be achieved with numerous lower ranked genes. In conclusion, although these methods enable the identification of biomarkers characteristic of certain pathologies, our results question the completeness of the selected gene sets and thus of explainability by the identification of the underlying biological processes.


title: Ordered magnetic fields around the 3C 84 central black hole

abstract: 3C84 is a nearby radio source with a complex total intensity structure, showing linear polarisation and spectral patterns. A detailed investigation of the central engine region necessitates the use of VLBI above the hitherto available maximum frequency of 86GHz. Using ultrahigh resolution VLBI observations at the highest available frequency of 228GHz, we aim to directly detect compact structures and understand the physical conditions in the compact region of 3C84. We used EHT 228GHz observations and, given the limited (u,v)-coverage, applied geometric model fitting to the data. We also employed quasi-simultaneously observed, multi-frequency VLBI data for the source in order to carry out a comprehensive analysis of the core structure. We report the detection of a highly ordered, strong magnetic field around the central, SMBH of 3C84. The brightness temperature analysis suggests that the system is in equipartition. We determined a turnover frequency of $\nu_m=(113\pm4)$GHz, a corresponding synchrotron self-absorbed magnetic field of $B_{SSA}=(2.9\pm1.6)$G, and an equipartition magnetic field of $B_{eq}=(5.2\pm0.6)$G. Three components are resolved with the highest fractional polarisation detected for this object ($m_\textrm{net}=(17.0\pm3.9)$%). The positions of the components are compatible with those seen in low-frequency VLBI observations since 2017-2018. We report a steeply negative slope of the spectrum at 228GHz. We used these findings to test models of jet formation, propagation, and Faraday rotation in 3C84. The findings of our investigation into different flow geometries and black hole spins support an advection-dominated accretion flow in a magnetically arrested state around a rapidly rotating supermassive black hole as a model of the jet-launching system in the core of 3C84. However, systematic uncertainties due to the limited (u,v)-coverage, however, cannot be ignored.


title: Brightest Cluster Galaxy Offsets in Cold Dark Matter

abstract: The distribution of offsets between the brightest cluster galaxies of galaxy clusters and the centroid of their dark matter distributions is a promising probe of the underlying dark matter physics. In particular, since this distribution is sensitive to the shape of the potential in galaxy cluster cores, it constitutes a test of dark matter self-interaction on the largest mass scales in the universe. We examine these offsets in three suites of modern cosmological simulations; IllustrisTNG, MillenniumTNG and BAHAMAS. For clusters above $10^{14}\rm{M_\odot}$, we examine the dependence of the offset distribution on gravitational softening length, the method used to identify centroids, redshift, mass, baryonic physics, and establish the stability of our results with respect to various nuisance parameter choices. We find that offsets are overwhelmingly measured to be smaller than the minimum converged length scale in each simulation, with a median offset of $\sim 1\rm{kpc}$ in the highest resolution simulation considered, TNG300-1, which uses a gravitational softening length of $1.48\rm{kpc}$. We also find that centroids identified via source extraction on smoothed dark matter and stellar particle data are consistent with the potential minimum, but that observationally relevant methods sensitive to cluster strong gravitational lensing scales, or those using the the "light traces mass" approach, in this context meaning gas is used as a tracer for the potential, can overestimate offsets by factors of $\sim10$ and $\sim30$, respectively. This has the potential to reduce tensions with existing offset measurements which have served as evidence for a nonzero dark matter self-interaction cross section.


title: The role of AGN feedback on the evolution of dwarf galaxies from cosmological simulations: SMBHs suppress star formation in low-mass galaxies

abstract: Aims. Recent observational studies suggest that feedback from active galactic nuclei (AGNs) may play an important role in the formation and evolution of low-mass dwarf galaxies, an issue that has received little attention from a theoretical perspective. Methods. We investigate this using two sets of 12 cosmological magneto-hydrodynamical simulations of the formation of dwarf galaxies: one set using a version of the AURIGA galaxy formation physics model including AGN feedback and a parallel set with AGN feedback turned off. Results. We show that the full-physics AGN runs satisfactorily reproduce several scaling relations, including the M_ BH-M_*, M_ BH-sigma_* and the baryonic Tully-Fisher relation. We find that the global star formation (SF) of galaxies run with AGN is reduced compared to the one in which AGN has been turned off, suggesting that this type of feedback is a viable way of suppressing SF in low-mass dwarfs, even though none of our galaxies is completely quenched by z=0. Furthermore, we found a tight correlation between the median SF rates and the black-hole-to-stellar mass ratio (M_BH/M_star) in our simulated dwarfs. SF is suppressed due to gas heating in the vicinity of the AGN: less HI gas is available in AGN runs, though the total amount of gas is preserved across the two settings within each galaxy. This indicates that the main effect of AGN feedback in our dwarfs is to heat up and push the gas away from the galaxy's centre rather than expelling it completely. Finally, we show that the two galaxies harbouring the largest BHs have suffered a considerable (up to 65%) reduction in their central dark matter density, pinpointing the role of AGNs in determining the final dark matter mass distribution within dwarf galaxies. This pilot paper highlights the importance of modelling AGN feedback at the lowest mass scales and the impact this can have on dwarf galaxy evolution.


title: Data-Space Validation of High-Dimensional Models by Comparing Sample Quantiles

abstract: We present a simple method for assessing the predictive performance of high-dimensional models directly in data space when only samples are available. Our approach is to compare the quantiles of observables predicted by a model to those of the observables themselves. In cases where the dimensionality of the observables is large (e.g. multiband galaxy photometry), we advocate that the comparison is made after projection onto a set of principal axes to reduce the dimensionality. We demonstrate our method on a series of two-dimensional examples. We then apply it to results from a state-of-the-art generative model for galaxy photometry (pop-cosmos; arXiv:2402.00935) that generates predictions of colors and magnitudes by forward simulating from a 16-dimensional distribution of physical parameters represented by a score-based diffusion model. We validate the predictive performance of this model directly in a space of nine broadband colors. Although motivated by this specific example, the techniques we present will be broadly useful for evaluating the performance of flexible, non-parametric population models of this kind, and can be readily applied to any setting where two sets of samples are to be compared.


title: Numerical linked-cluster expansions for two-dimensional spin models with continuous disorder distributions

abstract: We show that numerical linked cluster expansions (NLCEs) based on sufficiently large building blocks allow one to obtain accurate low-temperature results for the thermodynamic properties of spin lattice models with continuous disorder distributions. Specifically, we show that such results can be obtained computing the disorder averages in the NLCE clusters before calculating their weights. We provide a proof of concept using three different NLCEs based on L, square, and rectangle building blocks. We consider both classical (Ising) and quantum (Heisenberg) spin-$\frac{1}{2}$ models and show that convergence can be achieved down to temperatures that are up to two orders of magnitude lower than the relevant energy scale in the model. Additionally, we provide evidence that in one dimension one can obtain accurate results for observables such as the energy down to their ground-state values.


title: Stretched horizon, replica trick and off-shell winding condensate, and all that

abstract: $\alpha'$ corrections to near horizon dynamics of a Schwarzschild black hole in a large number of spacetime dimensions $D$ are governed by the worldsheet theory composed of the cigar CFT and the classical sigma model on the sphere at the horizon, along with a timelike-Liouville theory of central charge $26-D$. At leading order in weak string coupling, blackhole thermodynamics is insensitive to the details of timelike Liouville theory. In this limit, we use Lewkowycz-Maldacena-trick motivated infinitesimally off-shell closed string worldsheet formalism in [arxiv: 2310.02313] to calculate thermal entropy exactly in $\alpha'$. The leading term in $\alpha'\to 0$ limit and the first stingy correction of our result is in precise agreement with the target space Callan-Myers-Perry formula. Also, we point out a remarkable simplification at an ultra-low temperature of order $1/\sqrt{\alpha'D}$ and show that for a certain special set of vertex operators involving modes of the $D$ dimensional spacetime and the time-like Liouville theory, the resulting worldsheet theory is related to Virasoro minimal string.


title: In pursuit of deconfined quantum criticality in Ising gauge theory entangled with single-component fermions

abstract: We highlight exotic quantum criticality of quasi-two-dimensional single-component fermions at half-filling that are minimally coupled to a dynamical Ising gauge theory. With the numerical matrix product state based iDMRG method, we discover a robust quantum critical line in the infinite cylinder geometry, where gauge confinement and dimerized translation symmetry breaking emerge simultaneously. We investigate how the transition can be split by a $\mathbb{Z}_2$ topologically ordered dimerized phase that is stabilized by additional short-range repulsive interactions. We conjecture a $u(1)$ deconfined criticality scenario, propose a corresponding low-energy effective field theory of the exotic quantum critical point in the two-dimensional limit and identify its shortcomings


title: Correlating Intrinsic Stellar Parameters with Mg II Self-Reversal Depths

abstract: The Mg II h&k emission lines (2803, 2796 A) are a useful tool for understanding stellar chromospheres and transition regions due to their intrinsic brightness, relatively low interstellar medium (ISM) absorption interference, and abundance of archival spectra available. Similar to other optically thick chromospheric emission lines such as H I Lya, Mg II emissions commonly present with a self-reversed line core, the depth and shape of which vary from star to star. We explore the relationship between self-reversal and the stellar atmosphere by investigating the extent that fundamental stellar parameters affect self-reversal. We present a search for correlations between photospheric parameters such as effective temperature, surface gravity, and metallicity with the Mg II k self-reversal depth for a group of 135 FGKM main sequence stars with high-resolution near-ultraviolet spectra from the Hubble Space Telescope. We modeled the observed MgII k line profiles to correct for ISM attenuation and recover the depth of emission line's self-reversal in relation to the intensity of the line. We used the PHOENIX atmosphere code to homogeneously determine the stellar parameters by computing a suite of stellar atmosphere models that include a chromosphere and transition region, and using archival photometry to guide the models of each star. We quantify the sensitivity of the visible and near-infrared photometry to chromospheric and photospheric parameters. We find weak trends between Mg II k self-reversal depth and age, rotation period, Mg II luminosity, temperature, and mass. All stars in our sample older than ~2 Gyr or rotating slower than ~10 days exhibit self-reversal.


title: pop-cosmos: A comprehensive picture of the galaxy population from COSMOS data

abstract: We present pop-cosmos: a comprehensive model characterizing the galaxy population, calibrated to $140,938$ galaxies from the Cosmic Evolution Survey (COSMOS) with photometry in $26$ bands from the ultra-violet to the infra-red. We construct a detailed forward model for the COSMOS data, comprising: a population model describing the joint distribution of galaxy characteristics and its evolution (parameterized by a flexible score-based diffusion model); a state-of-the-art stellar population synthesis (SPS) model connecting galaxies' instrinsic properties to their photometry; and a data-model for the observation, calibration and selection processes. By minimizing the optimal transport distance between synthetic and real data we are able to jointly fit the population- and data-models, leading to robustly calibrated population-level inferences that account for parameter degeneracies, photometric noise and calibration, and selection effects. We present a number of key predictions from our model of interest for cosmology and galaxy evolution, including the mass function and redshift distribution; the mass-metallicity-redshift and fundamental metallicity relations; the star-forming sequence; the relation between dust attenuation and stellar mass, star formation rate and attenuation-law index; and the relation between gas-ionization and star formation. Our model encodes a comprehensive picture of galaxy evolution that faithfully predicts galaxy colors across a broad redshift ($z<4$) and wavelength range.


title: Enhanced quantum state transfer: Circumventing quantum chaotic behavior

abstract: The ability to realize high-fidelity quantum communication is one of the many facets required to build generic quantum computing devices. In addition to quantum processing, sensing, and storage, transferring the resulting quantum states demands a careful design that finds no parallel in classical communication. Existing experimental demonstrations of quantum information transfer in solid-state quantum systems are largely confined to small chains with few qubits, often relying upon non-generic schemes. Here, by using a large-scale superconducting quantum circuit featuring thirty-six tunable qubits, accompanied by general optimization procedures deeply rooted in overcoming quantum chaotic behavior, we demonstrate a scalable protocol for transferring few-particle quantum states in a two-dimensional quantum network. These include single-qubit excitation and also two-qubit entangled states, and two excitations for which many-body effects are present. Our approach, combined with the quantum circuit's versatility, paves the way to short-distance quantum communication for connecting distributed quantum processors or registers, even if hampered by inherent imperfections in actual quantum devices.


title: Useful entanglement can be extracted from noisy graph states

abstract: Cluster states and graph states in general offer a useful model of the stabilizer formalism and a path toward the development of measurement-based quantum computation. Their defining structure -- the stabilizer group -- encodes all possible correlations which can be observed during measurement. Those outcomes which are compatible with the stabilizer structure make error correction possible. Here, we leverage both properties to design feasible families of states that can be used as robust building blocks of quantum computation. This procedure reduces the effect of experimentally relevant noise models on the extraction of smaller entangled states from the larger noisy graph state. In particular, we study the extraction of Bell pairs from linearly extended graph states -- this has the immediate consequence for state teleportation across the graph. We show that robust entanglement can be extracted by proper design of the linear graph with only a minimal overhead of the physical qubits. This scenario is relevant to systems in which the entanglement can be created between neighboring sites. The results shown in this work may provide a mathematical framework for noise reduction in measurement-based quantum computation. With proper connectivity structures, the effect of noise can be minimized for a large class of realistic noise processes.


title: On the behaviour of eccentric sub-pc massive black hole binaries embedded in massive discs

abstract: Using the 3D smoothed particle hydrodynamics code PHANTOM, we investigate the evolution of the orbital properties of massive black hole binaries embedded in massive discs where gravitational instabilities (GIs) triggered by the disc self-gravity are the only source of angular momentum transport. In particular, we investigate the evolution of binaries with different initial eccentricities $e_0=0.05,\,0.5,\,0.8$ and mass ratios $q=0.1,\,0.3,\,0.9$. Our simulations suggest that there might not be a unique value of critical eccentricity. We find initially more eccentric binaries to tend to higher asymptotic eccentricity values than more circular ones. This implies that there is a range of critical eccentricity values, that depends on the initial condition of the system. In particular, we find the width of this range to be narrower for more unequal binaries. We furthermore measure preferential accretion onto our binaries, finding more accretion onto the primary only for mass ratio $q=0.3$ and eccentricity $e=0.8$. We discuss how this might have implications for the amplitude of the gravitational wave background detected by Pulsar Timing Arrays (PTA) experiments. We finally measure the corresponding value of the viscosity parameter $\alpha$ in our simulations and discuss how this depends on the binary properties.


title: Conserved quantities for Generalized Gibbs Ensemble from Entanglement

abstract: Relaxed quantum systems with conservation laws are believed to be approximated by the Generalized Gibbs Ensemble (GGE), which incorporates the constraints of certain conserved quantities serving as integrals of motion. By drawing analogy between reduced density matrix and GGE, we demonstrate for free fermions a generic entanglement Hamiltonian superdensity matrix (EHSM) framework for determining the set of conserved quantities in GGE. The framework proposes that such conserved quantities are linear superposition of eigenstate entanglement Hamiltonians of a larger auxiliary system, where the eigenstates are Fock states occupying the common eigenmodes. For 1D homogeneous free fermions with periodic boundary condition, which maps to 1D hardcore bosons, these conserved quantities lead to an non-Abelian GGE, which predicts the relaxation of both fermion and boson bilinears more accurately than the conventional Abelian GGE. Generalization of the framework to interacting models may provide novel numerical insights for quantum integrability.


title: Viable Anisotropic Inflation and Reheating in the Tachyon Model

abstract: We study the intermediate tachyon inflation in an anisotropic background. By using the Friedmann equations obtained in the anisotropic geometry, we obtain the slow-roll parameters in the tachyon model. The presence of the anisotropic effects in the slow-roll parameters changes the perturbation parameters in our setup which may change its observational viability. To check this, we perform a numerical analysis and test the results with Planck2018 TT, TE, EE +lowE+lensing+BK14(18)+BAO data. We show that the intermediate anisotropic inflation in some ranges of the anisotropic and intermediate parameters is observationally viable. We also show that the equilateral amplitude of the non-gaussianity in our model is of the order of $10^{-2}-10^{-1}$. By studying the reheating process in our setup, we find that it is possible to have instantaneous reheating in this model. We also find that the temperature during the reheating in our setup is consistent with Big-Bang nucleosynthesis.


title: Detecting Boosted Dark Photons with Gaseous Detectors

abstract: We search for indirect signals of $\mathscr{O}$(keV) dark matter annihilating or decaying into $\mathscr{O}$(eV) dark photons. These dark photons will be highly boosted and have decay lengths larger than the Milky Way, and can be absorbed by neutrino or dark matter experiments at a rate dependent on the photon-dark photon kinetic mixing parameter and the optical properties of the experiment. We show that current experiments can not probe new parameter space, but future large-scale gaseous detectors with low backgrounds (i.e. CYGNUS, NEXT, PANDAX-III) may be sensitive to this signal when the annihilation cross section is especially large.

categories: hep-ph astro-ph.GA astro-ph.HE hep-ex hep-th


title: Spatially Resolved Galactic Winds at Cosmic Noon: Outflow Kinematics and Mass Loading in a Lensed Star-Forming Galaxy at $z=1.87$

abstract: We study the spatially resolved outflow properties of CSWA13, an intermediate mass ($M_*=10^{9}~\mathrm{M}_{\odot}$), gravitationally lensed star-forming galaxy at $z=1.87$. We use Keck/KCWI to map outflows in multiple rest-frame ultraviolet ISM absorption lines, along with fluorescent Si II$^*$ emission, and nebular emission from C III] tracing the local systemic velocity. The spatial structure of outflow velocity mirrors that of the nebular kinematics, which we interpret to be a signature of a young galactic wind that is pressurizing the ISM of the galaxy but is yet to burst out. From the radial extent of Si II$^*$ emission, we estimate that the outflow is largely encapsulated within $3.5$ kpc. We explore the geometry (e.g., patchiness) of the outflow by measuring the covering fraction at different velocities, finding that the maximum covering fraction is at velocities $v\simeq-150$ km$\,$s$^{-1}$. Using the outflow velocity ($v_{out}$), radius ($R$), column density ($N$), and solid angle ($\Omega$) based on the covering fraction, we measure the mass loss rate $\log\dot{m}_{out}/(\mathrm{M}_{\odot}\text{yr}^{-1}) = 1.73\pm0.23$ and mass loading factor $\log\eta = 0.04\pm0.34$ for the low-ionization outflowing gas in this galaxy. These values are relatively large and the bulk of the outflowing gas is moving with speeds less than the escape velocity of the galaxy halo, suggesting that the majority of outflowing mass will remain in the circumgalactic medium and/or recycle back into the galaxy. The results support a picture of high outflow rates transporting mass and metals into the inner circumgalactic medium, providing the gas reservoir for future star formation.


title: Approximate Nearest Neighbor Search with Window Filters

abstract: We define and investigate the problem of $\textit{c-approximate window search}$: approximate nearest neighbor search where each point in the dataset has a numeric label, and the goal is to find nearest neighbors to queries within arbitrary label ranges. Many semantic search problems, such as image and document search with timestamp filters, or product search with cost filters, are natural examples of this problem. We propose and theoretically analyze a modular tree-based framework for transforming an index that solves the traditional c-approximate nearest neighbor problem into a data structure that solves window search. On standard nearest neighbor benchmark datasets equipped with random label values, adversarially constructed embeddings, and image search embeddings with real timestamps, we obtain up to a $75\times$ speedup over existing solutions at the same level of recall.


title: NCoder -- A Quantum Field Theory approach to encoding data

abstract: In this paper we present a novel approach to interpretable AI inspired by Quantum Field Theory (QFT) which we call the NCoder. The NCoder is a modified autoencoder neural network whose latent layer is prescribed to be a subset of $n$-point correlation functions. Regarding images as draws from a lattice field theory, this architecture mimics the task of perturbatively constructing the effective action of the theory order by order in an expansion using Feynman diagrams. Alternatively, the NCoder may be regarded as simulating the procedure of statistical inference whereby high dimensional data is first summarized in terms of several lower dimensional summary statistics (here the $n$-point correlation functions), and subsequent out-of-sample data is generated by inferring the data generating distribution from these statistics. In this way the NCoder suggests a fascinating correspondence between perturbative renormalizability and the sufficiency of models. We demonstrate the efficacy of the NCoder by applying it to the generation of MNIST images, and find that generated images can be correctly classified using only information from the first three $n$-point functions of the image distribution.


title: Parity-time symmetry breaking enables swarming motility in Caenorhabditis elegans

abstract: Nonreciprocal interactions break action-reaction symmetry in systems of interacting bodies. This process inevitably introduces non-Hermitian dynamics which with its hallmark signature called exceptional points (EPs) has been a subject of intense research across different disciplines ranging from photonics to metamaterials. Whether non-Hermiticity and EPs are a fundamental property of nature and if so, how nature utilizes them to gain competitive advantage have remained largely unanswered. Although biological systems feature many examples of non-reciprocal interactions with the potential to drive non-Hermitian dynamics, these are often theoretically overlooked and not experimentally investigated. Here, we demonstrate in an active matter composed of social animal Caenorhabditis elegans and bacteria, non-Hermitian dynamics, and the emergence of EPs owing to the nonreciprocal nature of oxygen sensing, nonequilibrium interfacial current, and bacterial consumption. We observed that when driven through the EP, the system collectively breaks parity-time (PT) symmetry leading to traveling waves and arrested phase separation. We further find that these features enable the collective ability to localize interfaces between broken and exact PT-phases. Remarkably, this ability provides a strong evolutionary advantage to animals living in soil. Altogether our results provide mechanistic insights into the detailed symmetries controlling the collective response of biological systems; answer a long-standing problem; and give an example of the EP-enabled dynamics in a biological system.


title: High order recovery of geometric interfaces from cell-average data

abstract: We consider the problem of recovering characteristic functions $u:=\chi_\Omega$ from cell-average data on a coarse grid, and where $\Omega$ is a compact set of $\mathbb{R}^d$. This task arises in very different contexts such as image processing, inverse problems, and the accurate treatment of interfaces in finite volume schemes. While linear recovery methods are known to perform poorly, nonlinear strategies based on local reconstructions of the jump interface $\Gamma:=\partial\Omega$ by geometrically simpler interfaces may offer significant improvements. We study two main families of local reconstruction schemes, the first one based on nonlinear least-squares fitting, the second one based on the explicit computation of a polynomial-shaped curve fitting the data, which yields simpler numerical computations and high order geometric fitting. For each of them, we derive a general theoretical framework which allows us to control the recovery error by the error of best approximation up to a fixed multiplicative constant. Numerical tests in 2d illustrate the expected approximation order of these strategies. Several extensions are discussed, in particular the treatment of piecewise smooth interfaces with corners.


title: Performance of a coarsely pixelated LAPPD photosensor for the SoLID gas Cherenkov detectors

abstract: The SoLID spectrometer gas Cherenkov counters require photosensors that operate in a high luminosity and high background environment. In its reference design, a configuration of 9 or 16 tiled multi-anode photomultipliers (MaPMTs) covers the sensing area. To evaluate the use of a pixelated INCOM Large Area Picosecond Photodetector (LAPPDTM) as an alternative to cover the same area, we tested the performance of this photosensor in realistic SoLID running conditions in Hall C at the Thomas Jefferson National Accelerator Facility (TJNAF, a.k.a Jefferson Lab or JLab). The results of this test confirmed that the coarse-pixelated (2.5x2.5 cm2 pixel size) LAPPD is capable of handling the total projected signal and background rates of the three pillar experiments of SoLID. The photosensor detected Cherenkov signals with the capability of separating single-electron events from pair production events while rejecting background. Although the design was not aimed at Ring Imaging Cherenkovs, Cherenkov disk images were captured in two gas radiators. Through a direct comparison with a GEANT4 simulation, we confirmed the experimental performance of the LAPPD.


title: Nanomechanically Induced Transparency

abstract: In this paper, we investigate a nanomechanically induced transparency (NIT) effects that arises from the coupling of a nanoelectromechanical system and a trapped ion. By confining the ion in mesoscopic traps and capacitively coupling it with a nanoelectromechanical system suspended as electrodes, the research is intricately focussed on the implications of including the ion's degrees of freedom. The Lamb--Dicke approximation is crucial to understanding the effects of phonon exchange with electronic qubits and revealing transparency phenomena in this unique coupling. The results underline the importance of the Lamb--Dicke approximation in modelling the effects of transparency windows in nanoelectromechanical systems.


title: Geometry of Polynomial Neural Networks

abstract: We study the expressivity and learning process for polynomial neural networks (PNNs) with monomial activation functions. The weights of the network parametrize the neuromanifold. In this paper, we study certain neuromanifolds using tools from algebraic geometry: we give explicit descriptions as semialgebraic sets and characterize their Zariski closures, called neurovarieties. We study their dimension and associate an algebraic degree, the learning degree, to the neurovariety. The dimension serves as a geometric measure for the expressivity of the network, the learning degree is a measure for the complexity of training the network and provides upper bounds on the number of learnable functions. These theoretical results are accompanied with experiments.


title: Bridging Semantics for Automated Web Form Testing

abstract: Automated test generation for web forms has been a longstanding challenge, exacerbated by the intrinsic human-centric design of forms and their complex, device-agnostic structures. We introduce an innovative approach, called FormNexus, for automated web form test generation, which emphasizes deriving semantic insights from individual form elements and relations among them, utilizing textual content, DOM tree structures, and visual proximity. The insights gathered are transformed into a new conceptual graph, the Form Entity Relation Graph (FERG), which offers machine-friendly semantic information extraction. Leveraging LLMs, FormNexus adopts a feedback-driven mechanism for generating and refining input constraints based on real-time form submission responses. The culmination of this approach is a robust set of test cases, each produced by methodically invalidating constraints, ensuring comprehensive testing scenarios for web forms. This work bridges the existing gap in automated web form testing by intertwining the capabilities of LLMs with advanced semantic inference methods. Our evaluation demonstrates that FormNexus combined with GPT-4 achieves 89% coverage in form submission states. This outcome significantly outstrips the performance of the best baseline model by a margin of 25%.


title: Comparing growth of titania and carbonaceous dusty nanoparticles in weakly magnetised capacitively coupled plasmas

abstract: This study investigates the growth cycles of titania and carbonaceous dusty nanoparticles in capacitively coupled radiofrequency plasmas, focusing on the impact of weak magnetic field of approximately 480 Gauss. The growth of dusty nanoparticles in these plasmas is cyclic, with particles reaching their maximum size and subsequently moving out of the plasma, followed by the initiation of a new particle growth cycle. We compare the growth of titania and carbonaceous dusty particles in the presence and absence of a magnetic field. The presence of the magnetic field fastens the growth cycle in both types of dusty plasmas. Langmuir probe measurement of the background plasma parameters such as electron temperature and floating potential reveal radial variations in floating potential but not electron temperature. Furthermore, the magnetic field changes the radial variation of floating potential. The magnetic field also influences the spatial distribution of the two dust cloud differently. It is possible that these differences arises due to the material's different response to the magnetic field. These findings shed light on the intricate dynamics of titania and carbonaceous dusty plasma particle growth, offering insights into the impact of weak magnetization on dust behavior, which have implications for various applications, from space science to semiconductor processing.


title: Astronomical images sonification: inclusion or outreach?

abstract: The field of sonification, using of non-speech audio for data analysis, is already established in space sciences. Meetings like "The audible Universe" focus on sonification tools applied in astronomy to represent complex data like nebulae and galaxies. Besides, little is said about the translation of images into sound, this challenge that seeks to represent data in 2 or 3 dimensions through a one-dimensional technique. The aforementioned leads to a total lack of consensus regarding the sound parameters to be used and how these are interpreted by people. This work seeks to delve deeper into the existing tools for image sonification, analyzing whether their objective is only outreach or includes the possibility of research. A new proposal is presented, maintaining sonoUno's software focus on research, pointing out the need for reliable techniques that integrate functional diversity people with an active role on research.


title: Berry curvature inside parity-time-symmetry protected exceptional surface

abstract: A three-dimensional non-Hermitian Hamiltonian with parity-time symmetry can exhibit a closed exceptional surface (EP surface) in momentum space, which is a non-Hermitian deformation of the degeneracy line (DL). Since the degeneracy line lacks an internal space, the distributions of Berry curvature inside the EP surface becomes particularly intriguing. This paper studies the distributions taking a torus-like EP surface as an example. In a meridian cross-section, the Berry connection exhibits a vortex-like field with only angular components, while the Berry curvature is perpendicular to this cross-section; in a equatorial cross-section, the Berry curvature forms a closed curve surrounding the central genus. Both Berry connection and curvature converge along the coplanar axis and diverge at the surface. We find the Berry flux depends on the radius of the integration region and is not quantized inside the EP torus. Approaching the surface, the Berry flux tends to infinity and the dynamical phase oscillates violently. We point that the streamlines of Berry curvature can be used to estimate the zero or non-zero Berry flux. We generalize the above patterns to the case of EP surfaces with complex shapes, and present a proposal of realizing the EP surface in an electrical circuit. Our research outcomes enhance the comprehension of EP surfaces and the topological characteristics of non-Hermitian systems with parity-time (PT ) symmetry.


title: A Review on Blockchain Technologies for an Advanced and Cyber-Resilient Automotive Industry

abstract: In the last century the automotive industry has arguably transformed society, being one of the most complex, sophisticated and technologically advanced industries, with innovations ranging from hybrid, electric and self-driving smart cars to the development of IoT-connected cars. Due to its complexity, it requires the involvement of many Industry 4.0 technologies, like robotics, advanced manufacturing systems, cyber-physical systems or augmented reality. One of the latest technologies that can benefit the automotive industry is blockchain, which can enhance its data security, privacy, anonymity, traceability, accountability, integrity, robustness, transparency, trustworthiness and authentication, as well as provide long-term sustainability and a higher operational efficiency to the whole industry. This review analyzes the great potential of applying blockchain technologies to the automotive industry emphasizing its cybersecurity features. Thus, the applicability of blockchain is evaluated after examining the state-of-the-art and devising the main stakeholders' current challenges. Furthermore, the article describes the most relevant use cases, since the broad adoption of blockchain unlocks a wide area of short- and medium-term promising automotive applications that can create new business models and even disrupt the car-sharing economy as we know it. Finally, after a Strengths, Weaknesses, Opportunities, and Threats (SWOT) analysis, some recommendations are enumerated with the aim of guiding researchers and companies in future cyber-resilient automotive industry developments.


title: FairEHR-CLP: Towards Fairness-Aware Clinical Predictions with Contrastive Learning in Multimodal Electronic Health Records

abstract: In the high-stakes realm of healthcare, ensuring fairness in predictive models is crucial. Electronic Health Records (EHRs) have become integral to medical decision-making, yet existing methods for enhancing model fairness restrict themselves to unimodal data and fail to address the multifaceted social biases intertwined with demographic factors in EHRs. To mitigate these biases, we present FairEHR-CLP: a general framework for Fairness-aware Clinical Predictions with Contrastive Learning in EHRs. FairEHR-CLP operates through a two-stage process, utilizing patient demographics, longitudinal data, and clinical notes. First, synthetic counterparts are generated for each patient, allowing for diverse demographic identities while preserving essential health information. Second, fairness-aware predictions employ contrastive learning to align patient representations across sensitive attributes, jointly optimized with an MLP classifier with a softmax layer for clinical classification tasks. Acknowledging the unique challenges in EHRs, such as varying group sizes and class imbalance, we introduce a novel fairness metric to effectively measure error rate disparities across subgroups. Extensive experiments on three diverse EHR datasets on three tasks demonstrate the effectiveness of FairEHR-CLP in terms of fairness and utility compared with competitive baselines. FairEHR-CLP represents an advancement towards ensuring both accuracy and equity in predictive healthcare models.


title: Exploring Spatial Schema Intuitions in Large Language and Vision Models

abstract: Despite the ubiquity of large language models (LLMs) in AI research, the question of embodiment in LLMs remains underexplored, distinguishing them from embodied systems in robotics where sensory perception directly informs physical action. Our investigation navigates the intriguing terrain of whether LLMs, despite their non-embodied nature, effectively capture implicit human intuitions about fundamental, spatial building blocks of language. We employ insights from spatial cognitive foundations developed through early sensorimotor experiences, guiding our exploration through the reproduction of three psycholinguistic experiments. Surprisingly, correlations between model outputs and human responses emerge, revealing adaptability without a tangible connection to embodied experiences. Notable distinctions include polarized language model responses and reduced correlations in vision language models. This research contributes to a nuanced understanding of the interplay between language, spatial experiences, and the computations made by large language models. More at https://cisnlp.github.io/Spatial_Schemas/


title: Credal Learning Theory

abstract: Statistical learning theory is the foundation of machine learning, providing theoretical bounds for the risk of models learnt from a (single) training set, assumed to issue from an unknown probability distribution. In actual deployment, however, the data distribution may (and often does) vary, causing domain adaptation/generalization issues. In this paper we lay the foundations for a `credal' theory of learning, using convex sets of probabilities (credal sets) to model the variability in the data-generating distribution. Such credal sets, we argue, may be inferred from a finite sample of training sets. Bounds are derived for the case of finite hypotheses spaces (both assuming realizability or not) as well as infinite model spaces, which directly generalize classical results.


title: Reflection and Preservation of Properties in Coalgebraic (bi)Simulations

abstract: Our objective is to extend the standard results of preservation and reflection of properties by bisimulations to the coalgebraic setting, as well as to study under what conditions these results hold for simulations. The notion of bisimulation is the classical one, while for simulations we use that proposed by Hughes and Jacobs. As for properties, we start by using a generalization of linear temporal logic to arbitrary coalgebras suggested by Jacobs, and then an extension by Kurtz which includes atomic propositions too.


title: BUDDI-MaNGA III: The mass-assembly histories of bulges and discs of spiral galaxies

abstract: The many unique properties of galaxies are shaped by physical processes that affect different components of the galaxy - like the bulges and discs - in different ways, and leave characteristic imprints on the light and spectra of these components. Disentangling their spectra can reveal vital clues that can be traced back in time to understand how galaxies, and their components, form and evolve throughout their lifetimes. With BUDDI, we have decomposed the IFU datacubes in SDSS-MaNGA DR17 into a S\'ersic bulge component and an exponential disc component and extracted their clean bulge and disc spectra. BUDDI-MaNGA is the first and largest statistical sample of such decomposed spectra of 1452 galaxies covering morphologies from ellipticals to late-type spirals. We derived stellar masses of the individual components with SED fitting using BAGPIPES and estimated their mean mass-weighted stellar metallicities and stellar ages using pPXF. With this information in place, we reconstructed the mass assembly histories of the bulges and discs of the 968 spiral galaxies (Sa-Sm Types) in this sample to look for systematic trends with respect to stellar mass and morphology. Our results show a clear downsizing effect especially in the bulges, with more massive components assembling earlier and faster than the less massive ones. Additionally, on comparing the stellar populations of the bulges and discs in these galaxies, we find that a majority of the bulges host more metal-rich and older stars than their disc counterparts. Nevertheless, we also find that there exists a non-negligible fraction of the spiral galaxy population in our sample with bulges that are younger and more metal-rich than their discs. We interpret these results, taking into account how their formation histories and current stellar populations depend on stellar mass and morphology.


title: On the rationalization of the $K(n)$-local sphere

abstract: We compute the rational homotopy groups of the $K(n)$-local sphere for all heights $n$ and all primes $p$, verifying a prediction that goes back to the pioneering work of Morava in the early 1970s. More precisely, we show that the inclusion of the Witt vectors into the Lubin-Tate ring induces a split injection on continuous stabilizer cohomology with torsion cokernel of bounded exponent, thereby proving Hopkins' chromatic splitting conjecture and the vanishing conjecture of Beaudry-Goerss-Henn rationally. The key ingredients are the equivalence between the Lubin-Tate tower and the Drinfeld tower due to Faltings and Scholze-Weinstein, integral $p$-adic Hodge theory, and an integral refinement of a theorem of Tate on the Galois cohomology of non-archimedean fields.


title: Novel turbulence and coarsening arrest in active-scalar fluids

abstract: We uncover a new type of turbulence -- activity-induced homogeneous and isotropic turbulence in a model that has been employed to investigate motility-induced phase separation (MIPS) in a system of microswimmers. The active Cahn-Hilliard-Navier-Stokes equations (CHNS), also called active model H, provides a natural theoretical framework for our study. In this CHNS model, a single scalar order parameter $\phi$, positive (negative) in regions of high (low) microswimmer density, is coupled with the velocity field $\bm u$. The activity of the microswimmers is governed by an activity parameter $\zeta$ that is positive for \textit{extensile} swimmers and negative for \textit{contractile} swimmers. With extensile swimmers, this system undergoes complete phase separation, which is similar to that in binary-fluid mixtures. By carrying out pseudospectral direct numerical simulations (DNSs), we show, for the first time, that this model (a) develops an emergent nonequilibrium, but statistically steady, state (NESS) of active turbulence, for the case of contractile swimmers, if $\zeta$ is sufficiently large and negative and (b) this turbulence arrests the phase separation. We quantify this suppression by showing how the coarsening-arrest length scale does not grow indefinitely, with time $t$, but saturates at a finite value at large times. We characterise the statistical properties of this active-scalar turbulence by employing energy spectra and fluxes and the spectrum of $\phi$. For sufficiently high Reynolds numbers, the energy spectrum $\mathcal E(k)$ displays an inertial range, with a power-law dependence on the wavenumber $k$. We demonstrate that, in this range, the flux $\Pi(k)$ assumes a nearly constant, negative value, which indicates that the system shows an inverse cascade of energy, even though energy injection occurs over a wide range of wavenumbers in our active-CHNS model.


title: Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations

abstract: Our concrete objective is to present both ordinary bisimulations and probabilistic bisimulations in a common coalgebraic framework based on multiset bisimulations. For that we show how to relate the underlying powerset and probabilistic distributions functors with the multiset functor by means of adequate natural transformations. This leads us to the general topic that we investigate in the paper: a natural transformation from a functor F to another G transforms F-bisimulations into G-bisimulations but, in general, it is not possible to express G-bisimulations in terms of F-bisimulations. However, they can be characterized by considering Hughes and Jacobs' notion of simulation, taking as the order on the functor F the equivalence induced by the epi-mono decomposition of the natural transformation relating F and G. We also consider the case of alternating probabilistic systems where non-deterministic and probabilistic choices are mixed, although only in a partial way, and extend all these results to categorical simulations.


title: Non-strongly Stable Orders Also Define Interesting Simulation Relations

abstract: We present a study of the notion of coalgebraic simulation introduced by Hughes and Jacobs. Although in their original paper they allow any functorial order in their definition of coalgebraic simulation, for the simulation relations to have good properties they focus their attention on functors with orders which are strongly stable. This guarantees a so-called "composition-preserving" property from which all the desired good properties follow. We have noticed that the notion of strong stability not only ensures such good properties but also "distinguishes the direction" of the simulation. For example, the classic notion of simulation for labeled transition systems, the relation "p is simulated by q", can be defined as a coalgebraic simulation relation by means of a strongly stable order, whereas the opposite relation, "p simulates q", cannot. Our study was motivated by some interesting classes of simulations that illustrate the application of these results: covariant-contravariant simulations and conformance simulations.


title: Logics for Contravariant Simulations

abstract: Covariant-contravariant simulation and conformance simulation are two generalizations of the simple notion of simulation which aim at capturing the fact that it is not always the case that "the larger the number of behaviors, the better". Therefore, they can be considered to be more adequate to express the fact that a system is a correct implementation of some specification. We have previously shown that these two more elaborated notions fit well within the categorical framework developed to study the notion of simulation in a generic way. Now we show that their behaviors have also simple and natural logical characterizations, though more elaborated than those for the plain simulation semantics.


title: Multi-Modal Machine Learning Framework for Automated Seizure Detection in Laboratory Rats

abstract: A multi-modal machine learning system uses multiple unique data sources and types to improve its performance. This article proposes a system that combines results from several types of models, all of which are trained on different data signals. As an example to illustrate the efficacy of the system, an experiment is described in which multiple types of data are collected from rats suffering from seizures. This data includes electrocorticography readings, piezoelectric motion sensor data, and video recordings. Separate models are trained on each type of data, with the goal of classifying each time frame as either containing a seizure or not. After each model has generated its classification predictions, these results are combined. While each data signal works adequately on its own for prediction purposes, the significant imbalance in class labels leads to increased numbers of false positives, which can be filtered and removed by utilizing all data sources. This paper will demonstrate that, after postprocessing and combination techniques, classification accuracy is improved with this multi-modal system when compared to the performance of each individual data source.


title: On the specification of modal systems: A comparison of three frameworks

abstract: This paper studies the relationships between three notions of behavioural preorder that have been proposed in the literature: refinement over modal transition systems, and the covariant-contravariant simulation and the partial bisimulation preorders over labelled transition systems. It is shown that there are mutual translations between modal transition systems and labelled transition systems that preserve, and reflect, refinement and the covariant-contravariant simulation preorder. The translations are also shown to preserve the modal properties that can be expressed in the logics that characterize those preorders. A translation from labelled transition systems modulo the partial bisimulation preorder into the same model modulo the covariant-contravariant simulation preorder is also offered, together with some evidence that the former model is less expressive than the latter. In order to gain more insight into the relationships between modal transition systems modulo refinement and labelled transition systems modulo the covariant-contravariant simulation preorder, their connections are also phrased and studied in the context of institutions.


title: MACE CT Reconstruction for Modular Material Decomposition from Energy Resolving Photon-Counting Data

abstract: X-ray computed tomography (CT) based on photon counting detectors (PCD) extends standard CT by counting detected photons in multiple energy bins. PCD data can be used to increase the contrast-to-noise ratio (CNR), increase spatial resolution, reduce radiation dose, reduce injected contrast dose, and compute a material decomposition using a specified set of basis materials. Current commercial and prototype clinical photon counting CT systems utilize PCD-CT reconstruction methods that either reconstruct from each spectral bin separately, or first create an estimate of a material sinogram using a specified set of basis materials and then reconstruct from these material sinograms. However, existing methods are not able to utilize simultaneously and in a modular fashion both the measured spectral information and advanced prior models in order to produce a material decomposition. We describe an efficient, modular framework for PCD-based CT reconstruction and material decomposition using on Multi-Agent Consensus Equilibrium (MACE). Our method employs a detector proximal map or agent that uses PCD measurements to update an estimate of the pathlength sinogram. We also create a prior agent in the form of a sinogram denoiser that enforces both physical and empirical knowledge about the material-decomposed sinogram. The sinogram reconstruction is computed using the MACE algorithm, which finds an equilibrium solution between the two agents, and the final image is reconstructed from the estimated sinogram. Importantly, the modularity of our method allows the two agents to be designed, implemented, and optimized independently. Our results on simulated data show a substantial (450%) CNR boost vs conventional maximum likelihood reconstruction when applied to a phantom used to evaluate low contrast detectability.


title: Products of subsets of group that equal the group

abstract: Let $P$ be a probability on a finite group $G$, ${P^{(n)}}$ $n$-fold convolution of $P$ on $G$. Under mild condition, ${P^{(n)}}$ at $n \to \infty $ converges to the uniform probability on the group $G$. If $A = \left\{ {g \in G,\;P\left( g \right) \ne 0} \right\}$ be the carrier of the probability $P$, then ${A^n} = \left\{ {{a_1} \cdot ... \cdot {a_n},\;\;{a_1},...,{a_n} \in A} \right\}$ be the carrier of probability ${P^{(n)}}$. One of necessary and sufficient conditions for the mentioned convergence is: sequence ${A^n}$ at $n \to \infty $ stabilizes on $G$, i.e. ${A^k}$ = ${A^{k + 1}} = ... = G$ for a natural number $k$. In other words, product of some multipliers equal to $A$ is $G$. The carrier $A$ is in general case any nonempty subset of group $G$. In the paper we find a condition under which product of some subsets of $G$ is $G$.


title: SPARQL Generation with Entity Pre-trained GPT for KG Question Answering

abstract: Knowledge Graphs popularity has been rapidly growing in last years. All that knowledge is available for people to query it through the many online databases on the internet. Though, it would be a great achievement if non-programmer users could access whatever information they want to know. There has been a lot of effort oriented to solve this task using natural language processing tools and creativity encouragement by way of many challenges. Our approach focuses on assuming a correct entity linking on the natural language questions and training a GPT model to create SPARQL queries from them. We managed to isolate which property of the task can be the most difficult to solve at few or zero-shot and we proposed pre-training on all entities (under CWA) to improve the performance. We obtained a 62.703% accuracy of exact SPARQL matches on testing at 3-shots, a F1 of 0.809 on the entity linking challenge and a F1 of 0.009 on the question answering challenge.


title: When Are Prime Formulae Characteristic?

abstract: In the setting of the modal logic that characterizes modal refinement over modal transition systems, Boudol and Larsen showed that the formulae for which model checking can be reduced to preorder checking, that is, the characteristic formulae, are exactly the consistent and prime ones. This paper presents general, sufficient conditions guaranteeing that characteristic formulae are exactly the consistent and prime ones. It is shown that the given conditions apply to various behavioural relations in the literature. In particular, characteristic formulae are exactly the prime and consistent ones for all the semantics in van Glabbeek's linear time-branching time spectrum.


title: FuseFormer: A Transformer for Visual and Thermal Image Fusion

abstract: Due to the lack of a definitive ground truth for the image fusion problem, the loss functions are structured based on evaluation metrics, such as the structural similarity index measure (SSIM). However, in doing so, a bias is introduced toward the SSIM and, consequently, the input visual band image. The objective of this study is to propose a novel methodology for the image fusion problem that mitigates the limitations associated with using classical evaluation metrics as loss functions. Our approach integrates a transformer-based multi-scale fusion strategy that adeptly addresses local and global context information. This integration not only refines the individual components of the image fusion process but also significantly enhances the overall efficacy of the method. Our proposed method follows a two-stage training approach, where an auto-encoder is initially trained to extract deep features at multiple scales in the first stage. For the second stage, we integrate our fusion block and change the loss function as mentioned. The multi-scale features are fused using a combination of Convolutional Neural Networks (CNNs) and Transformers. The CNNs are utilized to capture local features, while the Transformer handles the integration of general context features. Through extensive experiments on various benchmark datasets, our proposed method, along with the novel loss function definition, demonstrates superior performance compared to other competitive fusion algorithms.


title: Closure Discovery for Coarse-Grained Partial Differential Equations Using Grid-based Reinforcement Learning

abstract: Reliable predictions of critical phenomena, such as weather, wildfires and epidemics often rely on models described by Partial Differential Equations (PDEs). However, simulations that capture the full range of spatio-temporal scales described by such PDEs are often prohibitively expensive. Consequently, coarse-grained simulations are usually deployed that adopt various heuristics and empirical closure terms to account for the missing information. We propose a novel and systematic approach for identifying closures in under-resolved PDEs using grid-based Reinforcement Learning. This formulation incorporates inductive bias and exploits locality by deploying a central policy represented efficiently by a Fully Convolutional Network (FCN). We demonstrate the capabilities and limitations of our framework through numerical solutions of the advection equation and the Burgers' equation. Our results show accurate predictions for in- and out-of-distribution test cases as well as a significant speedup compared to resolving all scales.


title: Logical characterisations, rule formats and compositionality for input-output conformance simulation

abstract: Input-output conformance simulation (iocos) has been proposed by Gregorio-Rodr\'iguez, Llana and Mart\'inez-Torres as a simulation-based behavioural preorder underlying model-based testing. This relation is inspired by Tretmans' classic ioco relation, but has better worst-case complexity than ioco and supports stepwise refinement. The goal of this paper is to develop the theory of iocos by studying logical characterisations of this relation, rule formats for it and its compositionality. More specifically, this article presents characterisations of iocos in terms of modal logics and compares them with an existing logical characterisation for ioco proposed by Beohar and Mousavi. It also offers a characteristic-formula construction for iocos over finite processes in an extension of the proposed modal logics with greatest fixed points. A precongruence rule format for iocos and a rule format ensuring that operations take quiescence properly into account are also given. Both rule formats are based on the GSOS format by Bloom, Istrail and Meyer. The general modal decomposition methodology of Fokkink and van Glabbeek is used to show how to check the satisfaction of properties expressed in the logic for iocos in a compositional way for operations specified by rules in the precongruence rule format for iocos .


title: Coxeter embeddings are injective

abstract: We show that certain embeddings of Coxeter groups within other Coxeter groups are injective using the notion of Coxeter partitions. Moreover, we study Lusztig's partitions, which are generalizations of Lusztig's admissible maps and Crisp's foldings. We show that they classify the simplest type of Coxeter partitions, whose embeddings of Coxeter groups send each generator to a product of commuting generators. Consequently, these embeddings are also injective, and we prove that they preserve Coxeter numbers. These results were previously known, due to work of M\"{u}hlherr and Dyer.


title: Large Deviations of the $\Phi^4_3$ Measure via Stochastic Quantisation

abstract: The $\Phi^4_3$ measure is one of the easiest non-trivial examples of a Euclidean quantum field theory (EQFT) whose rigorous construction in the 1970's has been one of the celebrated achievements of constructive quantum field theory. In recent years, progress in the field of singular stochastic PDEs, initiated by the theory of regularity structures, has allowed for a new construction of the $\Phi^4_3$ EQFT as the invariant measure of a previously ill-posed Langevin dynamics, a strategy originally proposed by Parisi and Wu ('81) under the name stochastic quantisation. We apply the same methodology to obtain a large deviation principle (LDP) for the family of periodic $\Phi^4_3$ measures at varying temperature. In addition, we show that the rate functional of the LDP and the $\Phi^4_3$ action functional coincide up to a constant.


title: Investigating Recurrent Transformers with Dynamic Halt

abstract: In this paper, we study the inductive biases of two major approaches to augmenting Transformers with a recurrent mechanism - (1) the approach of incorporating a depth-wise recurrence similar to Universal Transformers; and (2) the approach of incorporating a chunk-wise temporal recurrence like Temporal Latent Bottleneck. Furthermore, we propose and investigate novel ways to extend and combine the above methods - for example, we propose a global mean-based dynamic halting mechanism for Universal Transformer and an augmentation of Temporal Latent Bottleneck with elements from Universal Transformer. We compare the models and probe their inductive biases in several diagnostic tasks such as Long Range Arena (LRA), flip-flop language modeling, ListOps, and Logical Inference.


title: Enhanced fringe-to-phase framework using deep learning

abstract: In Fringe Projection Profilometry (FPP), achieving robust and accurate 3D reconstruction with a limited number of fringe patterns remains a challenge in structured light 3D imaging. Conventional methods require a set of fringe images, but using only one or two patterns complicates phase recovery and unwrapping. In this study, we introduce SFNet, a symmetric fusion network that transforms two fringe images into an absolute phase. To enhance output reliability, Our framework predicts refined phases by incorporating information from fringe images of a different frequency than those used as input. This allows us to achieve high accuracy with just two images. Comparative experiments and ablation studies validate the effectiveness of our proposed method. The dataset and code are publicly accessible on our project page https://wonhoe-kim.github.io/SFNet.


title: An Information-Theoretic Approach to Analyze NLP Classification Tasks

abstract: Understanding the importance of the inputs on the output is useful across many tasks. This work provides an information-theoretic framework to analyse the influence of inputs for text classification tasks. Natural language processing (NLP) tasks take either a single element input or multiple element inputs to predict an output variable, where an element is a block of text. Each text element has two components: an associated semantic meaning and a linguistic realization. Multiple-choice reading comprehension (MCRC) and sentiment classification (SC) are selected to showcase the framework. For MCRC, it is found that the context influence on the output compared to the question influence reduces on more challenging datasets. In particular, more challenging contexts allow a greater variation in complexity of questions. Hence, test creators need to carefully consider the choice of the context when designing multiple-choice questions for assessment. For SC, it is found the semantic meaning of the input text dominates (above 80\% for all datasets considered) compared to its linguistic realisation when determining the sentiment. The framework is made available at: https://github.com/WangLuran/nlp-element-influence


title: Analysis of weak Galerkin mixed FEM based on the velocity--pseudostress formulation for Navier--Stokes equation on polygonal meshes

abstract: The present article introduces, mathematically analyzes, and numerically validates a new weak Galerkin (WG) mixed-FEM based on Banach spaces for the stationary Navier--Stokes equation in pseudostress-velocity formulation. More precisely, a modified pseudostress tensor, called $ \boldsymbol{\sigma} $, depending on the pressure, and the diffusive and convective terms has been introduced in the proposed technique, and a dual-mixed variational formulation has been derived where the aforementioned pseudostress tensor and the velocity, are the main unknowns of the system, whereas the pressure is computed via a post-processing formula. Thus, it is sufficient to provide a WG space for the tensor variable and a space of piecewise polynomial vectors of total degree at most 'k' for the velocity. Moreover, in order to define the weak discrete bilinear form, whose continuous version involves the classical divergence operator, the weak divergence operator as a well-known alternative for the classical divergence operator in a suitable discrete subspace is proposed. The well-posedness of the numerical solution is proven using a fixed-point approach and the discrete versions of the Babu\v{s}ka-Brezzi theory and the Banach-Ne\v{c}as-Babu\v{s}ka theorem. Additionally, an a priori error estimate is derived for the proposed method. Finally, several numerical results illustrating the method's good performance and confirming the theoretical rates of convergence are presented.


title: The shape memory effect and minimal surfaces

abstract: Martensitic transformations, viewed as continuous transformations between triply periodic minimal surfaces (TPMS), as originally proposed by Hyde and Andersson [Z. Kristallogr. 174, 225 (1986)], is extended to include paths between the initial and final phases. Bravais lattices correspond to particular TPMS whose lattice points are flat points, where the Gaussian curvature vanishes. Reversible transformations, which correspond to shape memory materials, occur only if lattice points remain at flat points on a TPMS throughout a continuous deformation. For the shape memory material NiTi, density-functional theory (DFT) yields irreversible and reversible paths with and without energy barriers, respectively. Although there are TPMS for face-centered gamma-Fe) and body-centered (alpha-Fe) cubic lattices, gamma to alpha deformation paths are not reversible, in agreement with non-vanishing energy barriers obtained from DFT.


title: Swamplandish Unification of the Dark Sector

abstract: We provide a short overview of recent progress made in our understanding of the dark sector based on the Swampland program which in turn is rooted in lessons from string theory. We explain how the existence of one extra mesoscopic dimension (the ``dark dimension") in the micron range emerges and how this can lead to a unification of the dark energy and dark matter. In particular the smallness of the dark energy leads to the prediction of the existence of a tower of weakly interacting light particles which can naturally play the role of dark matter. Moreover this unifies dark matter with gravity as dark matter ends up being excitations of graviton in the dark dimension. We also explain how in combination with other Swampland principles one finds an explanation of the ``why now" and the ``cosmological coincidence" problems. This model is consistent with the cosmological bounds as well as the Newton's inverse square law, but makes predictions which differ from $\Lambda$CDM. It also gives rise to an appealing picture of hierarchy of scales in particle physics pegged to the dark energy, including a possible origin of the electroweak hierarchy and the prediction of masses of QCD axion and sterile neutrinos both in the 1-10 meV range. This review is intended for a broad audience of high energy theorists and cosmologists without prior knowledge of string theory and it explains the motivations and predictions of this program in a non-technical form.


title: Rule Formats for Nominal Process Calculi

abstract: The nominal transition systems (NTSs) of Parrow et al. describe the operational semantics of nominal process calculi. We study NTSs in terms of the nominal residual transition systems (NRTSs) that we introduce. We provide rule formats for the specifications of NRTSs that ensure that the associated NRTS is an NTS and apply them to the operational specification of the early pi-calculus. Our study stems from the recent Nominal SOS of Cimini et al. and from earlier works in nominal sets and nominal logic by Gabbay, Pitts and their collaborators.


title: Freight Traffic Assignment Methodology for Large-Scale Road-Rail Intermodal Networks

abstract: A methodology is proposed for freight traffic assignment in large-scale road-rail intermodal networks. To obtain the user-equilibrium freight flows, a path-based assignment algorithm (gradient projection) was proposed. The developed methodology was tested on the U.S. intermodal network by using the 2007 freight demand for truck, rail, and road-rail intermodal from the Freight Analysis Framework, Version 3 (FAF3). The results indicate that the proposed methodology's projected flow pattern is similar to the FAF3 assignment. The proposed methodology can be used by transportation planners and decision makers to forecast freight flows and to evaluate strategic network expansion options.


title: Exoplanet Analog Observations of Earth from Galileo Disk-integrated Photometry

abstract: The Galileo spacecraft had distant encounters with Earth in 1990 and 1992. Limited Solid State Imager (SSI) data acquired during these encounters has been previously presented, but the majority of the data from these Earth flybys have not been presented in the literature. Observations of Earth taken from afar are both rare and directly relevant to the development of any future exo-Earth direct imaging mission. Here we present a pipeline that vets, calibrates, and measures the disk-integrated brightness of the Earth, in multiple filters, from the complete SSI data sets from both the 1990 and 1992 Galileo flybys. The result is over 1500 usable photometric measurements for Earth as an analog for an exoplanet. The 1990 data set includes full rotational lightcurves in six bandpasses spanning the optical range. The 1992 data set is more limited, with lightcurves only spanning 14 hr. Time-averaged photometry for both encounters is presented while variability and color are discussed relative to findings from NASA's EPOXI mission (which also provided photometric lighturves for Earth). The new Galileo/SSI data are used to further validate the Virtual Planetary Laboratory 3D spectral Earth model, which often serves as a stand-in for true disk-integrated observations of our planet. The revived Galileo/SSI data for Earth is a testament to the ability of NASA's Planetary Data System to maintain data over decades-long timescales. The disk-integrated products derived from these data add to a very short list of calibrated and published whole-disk observations of the Pale Blue Dot.


title: Upper Limits on the Cosmic Neutrino Background from Cosmic Rays

abstract: Extragalactic and galactic cosmic rays scatter with the cosmic neutrino background during propagation to Earth, yielding a flux of relic neutrinos boosted to larger energies. If an overdensity of relic neutrinos is present in galaxies, and neutrinos are massive enough, this flux might be detectable by high-energy neutrino experiments. For a lightest neutrino of mass $m_{\nu} \sim 0.1$ eV, we find an upper limit on the local relic neutrino overdensity of $\sim 10^{13}$ and an upper limit on the relic neutrino overdensity at TXS 0506+056 of $\sim 10^{10}$. Future experiments like GRAND or IceCube-Gen2 could improve these bounds by orders of magnitude.


title: The Parallel Semantics Program Dependence Graph

abstract: A compiler's intermediate representation (IR) defines a program's execution plan by encoding its instructions and their relative order. Compiler optimizations aim to replace a given execution plan with a semantically-equivalent one that increases the program's performance for the target architecture. Alternative representations of an IR, like the Program Dependence Graph (PDG), aid this process by capturing the minimum set of constraints that semantically-equivalent execution plans must satisfy. Parallel programming like OpenMP extends a sequential execution plan by adding the possibility of running instructions in parallel, creating a parallel execution plan. Recently introduced parallel IRs, like TAPIR, explicitly encode a parallel execution plan. These new IRs finally make it possible for compilers to change the parallel execution plan expressed by programmers to better fit the target parallel architecture. Unfortunately, parallel IRs do not help compilers in identifying the set of parallel execution plans that preserve the original semantics. In other words, we are still lacking an alternative representation of parallel IRs to capture the minimum set of constraints that parallel execution plans must satisfy to be semantically-equivalent. Unfortunately, the PDG is not an ideal candidate for this task as it was designed for sequential code. We propose the Parallel Semantics Program Dependence Graph (PS-PDG) to precisely capture the salient program constraints that all semantically-equivalent parallel execution plans must satisfy. This paper defines the PS-PDG, justifies the necessity of each extension to the PDG, and demonstrates the increased optimization power of the PS-PDG over an existing PDG-based automatic-parallelizing compiler. Compilers can now rely on the PS-PDG to select different parallel execution plans while maintaining the same original semantics.