The unit of collaboration in federated learning determines what guarantees are even expressible. Flat units like weights, prompts, raw examples, carry no type signature on which privacy, conflict resolution, or cross-model transfer can dispatch as well-defined operations. We propose typed federated artifacts: schema validated objects whose declared field structure makes per field differential privacy, schema aware merging, and cross architectural transfer first-class operations rather than heuristic approximations. We instantiate this as SYNAPSE, a compendium for federated tool routing across clients with frozen, heterogeneous LLMs and no shared data or weights which is a setting flat units cannot handle without either leaking gradients or discarding structure. The compendium admits a typed merge operator with field wise conflict resolution, a formal DP guarantee on numeric metadata, and conditional retrieval distortion and routing-stability results empirically characterized on five distributions, including one where the contraction premise fails. A single compendium transfers across four LLM families (LLaMA 3.18B,LLaMA 3.2-3B, Mistral 7B, GPT 4o) with approximately 2 pt loss, a ca
Compendium Manager is a command-line tool written in Python to automate the provisioning, launch, and evaluation of bioinformatics pipelines. Although workflow management tools such as Snakemake and Nextflow enable users to automate the processing of samples within a single sequencing project, integrating many datasets in bulk requires launching and monitoring hundreds or thousands of pipelines. We present the Compendium Manager, a lightweight command-line tool to enable launching and monitoring analysis pipelines at scale. The tool can gauge progress through a list of projects, load results into a shared database, and record detailed processing metrics for later evaluation and reproducibility.
We present a comprehensive polarimetric study of 26 nearby molecular clouds in four far-infrared bands (53 $μ$m to 214 $μ$m) using 52 archival SOFIA/HAWC+ datasets. Far-infrared dust polarization observations probe the plane-of-sky magnetic field. To investigate scale-dependent trends, we group the molecular clouds by distance and analyze the data at common angular ($25''$) and common physical (0.052 pc and 0.32 pc) resolutions. The two shorter wavelengths are more impacted by smoothing, exhibiting a larger decrease in percent polarization. We analyze the polarization spectrum -- the polarization fraction as a function of wavelength -- and find that it depends more strongly on column density than dust temperature. We find a "falling" spectrum at the 0.052 pc resolution, but find a "flat" spectrum at the 0.32 pc resolution, suggesting that resolution plays an important role in the observed polarization spectra. We propose that warm dust grain emission in small-scale structures ($\lesssim$ 0.1 pc) traces different magnetic field geometries only resolved in our close regime data. There is no preferred magnetic field orientation across our data, which suggests that the magnetic field i
This compendium features advances in Game Theory, to include: Classical Game Theory: Cooperative and non-cooperative. Zero-sum and non-zero sum games. Potential and Congestion games. Mean Field games. Nash Equilibrium, Correlated Nash Equilibrium and Approximate Nash Equilibrium. Evolutionary Game Theory. Intelligent Game: Differential Game Theory. Algorithm Game Theory and Security Games. Quantum Games and Quantumization of classical games such as the Battle of the Sexes. Non-Archimedean and p-adic game theory and its growing relevancy as the domains of game-theoretic application expand. p-adic quantum game to leverage and combine the distinguishing features of non-Archimedean analysis and quantum information theory. This is a novel game-theoretic approach with great potential of application. In times of exponential growth of artificial intelligence and machine learning and the dawn of post-human mathematical creativity, this compendium is meant to be a reference of choice for all game theory researchers.
We survey the complexity class $\exists \mathbb{R}$, which captures the complexity of deciding the existential theory of the reals. The class $\exists \mathbb{R}$ has roots in two different traditions, one based on the Blum-Shub-Smale model of real computation, and the other following work by Mnëv and Shor on the universality of realization spaces of oriented matroids. Over the years the number of problems for which $\exists \mathbb{R}$ rather than NP has turned out to be the proper way of measuring their complexity has grown, particularly in the fields of computational geometry, graph drawing, game theory, and some areas in logic and algebra. $\exists \mathbb{R}$ has also started appearing in the context of machine learning, Markov decision processes, and probabilistic reasoning. We have aimed at collecting a comprehensive compendium of problems complete and hard for $\exists \mathbb{R}$, as well as a long list of open problems. The compendium is presented in the third part of our survey; a tour through the compendium and the areas it touches on makes up the second part. The first part introduces the reader to the existential theory of the reals as a complexity class, discussing i
The website reductions.network serves as a comprehensive database for exploring problems and reductions between them. It presents several complexity classes in the form of an interconnected graph where problems are represented as vertices, while edges represent reductions between them. This graphical perspective allows for identifying problem clusters and simplifying finding problem candidates to reduce from. Moreover, users can easily search for existing problems via a dedicated search bar, and various filters allow them to focus on specific subgraphs of interest. The design of the website enables users to contribute by adding new problems and reductions to the database. Furthermore, the software architecture allows for the integration of additional graphs corresponding to new complexity classes. In the current state, the following networks with their respective complexity classes are included: - classical complexity including the classes NP, #P, and SSP-NP - parameterized complexity including the classes W[1], W[2] - gap-preserving reductions under the PCP-Theorem and the Unique Games Conjecture.
This thesis centers around the concept of Subset Search Problems (SSP), a type of computational problem introduced by Grüne and Wulf to analyze the complexity of more intricate optimization problems. These problems are given an input set, a so-called universe, and their solution lies within their own universe, e.g. the shortest path between two point is a subset of all possible paths. Due to this, reductions upholding the SSP property require an injective embedding from the universe of the first problem into that of the second. This, however, appears inherently similar to the concept of a Parsimonious reduction, a reduction type requiring a bijective function between the solution spaces of the two problems. Parsimonious reductions are mainly used within the complexity class #P, as this class of problems concerns itself with the number of possible solutions in a given problem. These two concepts, SSP and Parsimonious reductions, are inherently similar but, crucially, not equivalent. We therefore explore the interplay between reductions upholding the SSP and Parsimonious properties, highlighting both the similarities and differences by providing a comprehensive theorem delineating th
We analyze the \ovi\ content and kinematics for 126 {\hi}-selected absorbers at $0.14 \lesssim z \lesssim 0.73$ for which the metallicities of their cool photoionized phase have been determined. We separate the absorbers into 100 strong {\lya} forest systems (SLFSs with $15 \la$\,{\colden}\,$< 16.2$) and 26 partial Lyman Limit systems (pLLSs with $16.2\le$\,{\colden}\,$\le 17.2$). The sample is drawn from the COS CGM Compendium (CCC) and has \ovi\ coverage in $\sn \geq 8$ {\it HST}/COS G130M/G160M QSO spectra, yielding a $2σ$ completeness level of {\coldenovi}$\,\geq 13.6$. The \ovi\ detection rates differ substantially between low-metallicity (LM; {\xh} $\leq -1.4$) and high-metallicity (HM; {\xh} $> -1.4$) SLFSs, with 20\% and 60\% detection rates, respectively. The \ovi\ detection frequency for the HM and LM pLLSs is, however, similar at $\sim$60\%. The SLFSs and pLLSs without detected \ovi\ are consistent with the absorbing gas being in a single phase, while those with \ovi\ trace multiphase gas. We show that the \ovi\ velocity widths and column densities have different distributions in LM and HM gas. We find a strong correlation between \ovi\ column density and metallici
This compendium review focuses on the spatial distribution of sensitivity to localized absorption changes in optically diffuse media, particularly for measurements relevant to near-infrared spectroscopy. The three temporal domains, continuous-wave, frequency-domain, and time-domain, each obtain different optical data-types whose changes may be related to effective homogeneous changes in the absorption coefficient. Sensitivity is the relationship between a localized perturbation and the recovered effective homogeneous absorption change. Therefore, spatial sensitivity maps representing the perturbation location can be generated for the numerous optical data-types in the three temporal domains. The review first presents a history of the past 30 years of work investigating this sensitivity in optically diffuse media. These works are experimental and theoretical, presenting 1-, 2-, and 3-dimensional sensitivity maps for different near-infrared spectroscopy methods, domains, and data-types. Following this history, we present a compendium of sensitivity maps organized by temporal domain and then data-type. This compendium provides a valuable tool to compare the spatial sensitivity of vari
This chapter surveys the advances of the past decade arising from the contributions of Indian mathematicians in the broad areas of operator algebras and operator theory. It brings together the work of twenty mathematicians and their collaborators, each writing from the perspective of their respective research fields and beyond. Several problems highlighted here are expected to shape the future development of the subject at a global level.
SSP reductions are a type of polynomial reductions that also preserve the solutions of the instances. This means there is a mapping from each solution in the original instance to one in the reduced instance, allowing direct deduction of an original solution from a solution in the reduced instance. SSP reductions can be used to show SSP-NP completeness of a problem, which is interesting because it has been proven that two min-max variants of SSP-NP complete problems are $Σ_2^p$-complete. Min-max optimization problems are optimization problems with the objective of minimizing the maximum outcome. An example is a power network prone to attack by terrorists. Lets say the government wants to minimize the damage that can be achieved by the terrorists, e.g. by protecting the electricity poles which were found to be most important for distributing power. Most theoretical computer scientists assume min-max optimization problems to generally be $Σ_2^p$-complete, and with the help of the SSP-framework, this was shown for network interdiction and min-max regret robust optimization. This paper is devoted to the exploration of SSP reductions and the collection of SSP-NP-complete problems as well
Transcription factors (TFs) play a vital role in the regulation of gene expression thereby making them critical to many cellular processes. In this study, we used graph machine learning methods to create a compendium of TF cascades using data extracted from the STRING database. A TF cascade is a sequence of TFs that regulate each other, forming a directed path in the TF network. We constructed a knowledge graph of 81,488 unique TF cascades, with the longest cascade consisting of 62 TFs. Our results highlight the complex and intricate nature of TF interactions, where multiple TFs work together to regulate gene expression. We also identified 10 TFs with the highest regulatory influence based on centrality measurements, providing valuable information for researchers interested in studying specific TFs. Furthermore, our pathway enrichment analysis revealed significant enrichment of various pathways and functional categories, including those involved in cancer and other diseases, as well as those involved in development, differentiation, and cell signaling. The enriched pathways identified in this study may have potential as targets for therapeutic intervention in diseases associated wi
Box splines provide smooth spline spaces as shifts of a single generating function on a lattice and so generalize tensor-product splines. Their elegant theory is laid out in classical papers and a summarizing book. This compendium aims to succinctly but exhaustively survey symmetric low-degree box splines with special focus on two and three variables. Tables contrast the lattices, supports, analytic and reconstruction properties, and list available implementations and code.
Recent advances in data science, machine learning, and artificial intelligence, such as the emergence of large language models, are leading to an increasing demand for data that can be processed by such models. While data sources are application-specific, and it is impossible to produce an exhaustive list of such data sources, it seems that a comprehensive, rather than complete, list would still benefit data scientists and machine learning experts of all levels of seniority. The goal of this publication is to provide just such an (inevitably incomplete) list -- or compendium -- of data sources across multiple areas of applications, including finance and economics, legal (laws and regulations), life sciences (medicine and drug discovery), news sentiment and social media, retail and ecommerce, satellite imagery, and shipping and logistics, and sports.
We study the enumeration of set partitions, according to their length, number of parts, cyclic type, and genus. We introduce genus-dependent Bell, Stirling numbers, and Faà di Bruno coefficients. Besides attempting to summarize what is already known on the subject, we obtain new generic results (in particular for partitions into two parts, for arbitrary genus), and present computer generated new data extending the number of terms known for sequences or families of such coefficients; this also leads to new conjectures.
Computer systems have evolved over the years starting from sizable, single-user, slow, and expensive machines to multi-user, fast, cheaper, and small-sized machines. The use of multi-user computer networks has given rise to a new paradigm of computing known as Distributed Systems. A distributed system is regarded as software consisting of a collection of dependent network communication and computational nodes. This paradigm yields high performance while also maintaining high efficiency due to the decentralization of various computer related tasks to several computer nodes that are interconnected. Even if distributed systems have proven to be beneficial over the years it also has some design flaws, security concerns and challenges. In this paper, the main objective is to define these issues, challenges and security concerns while also examining the various solutions developed over the years to resolve them. This paper also briefly covers the components as well as the working of Distributed Systems.
This is the compendium of the cluster algebra and quiver package for sage. The purpose of this package is to provide a platform to work with cluster algebras in graduate courses and to further develop the theory by working on examples, by gathering data, and by exhibiting and testing conjectures. In this compendium, we include the relevant theory to introduce the reader to cluster algebras assuming no prior background; this exposition has been written to be accessible to an interested undergraduate. Throughout this compendium, we include examples that the user can run in the sage notebook or command line, and then close with a detailed description of the data structures and methods in this package.
We present the Photometry and Rotation Curve Observations from Extragalactic Surveys (PROBES) compendium of extended rotation curves for 3163 late-type spirals, with matching homogeneous multiband photometry for 1677 of them. PROBES rotation curves originally extracted from Halpha long-slit spectra and aperture synthesis HI (21cm) velocity maps typically extend out to a median 2R_e (or 1R_{23.5, r}). Our uniform photometry takes advantage of GALEX, DESI-LIS, and WISE images and the software AutoProf to yield multiband azimuthally averaged surface brightness profiles that achieve depths greater than 25 mag/arcsec^2 (FUV, NUV), 27 mag/arcsec^2 (g, r), and 26 mag/arcsec^2 (z, W1, W2). With its library of spatially resolved profiles and an extensive table of structural parameters, the versatile PROBES data set will benefit studies of galaxy structure and formation.
We provide a compendium of the quantum mechanical equations for photon emission rates, photon absorption cross sections, and photon scattering cross sections. For each case, the different equations that apply for discrete or continuous electron states of the emitting, absorbing, or scattering material are given.
In view of the progress achieved in the field of the ac quantum Hall effect, the Working Group of the Comite Consultatif d'Electricite et Magnetisme (CCEM) on the AC Quantum Hall Effect asked the authors of this paper to write a compendium which integrates their experiences with ac measurements of the quantum Hall resistance. In addition to the important early work performed at the Bureau International des Poids et Mesures and the National Physical Laboratory, UK, further experience has been gained during a collaboration of the authors' institutes NRC, METAS, and PTB, and excellent agreement between the results of different national metrology institutes has been achieved. This compendium summarizes the present state of the authors' knowledge and reviews the experiences, tests and precautions that the authors have employed to achieve accurate measurements of the ac quantum Hall effect. This work shows how the ac quantum Hall effect can be reliably used as a quantum standard of ac resistance having a relative uncertainty of a few parts in 10^8.