title: Kinetic Theory of Stellar Systems: A Tutorial

abstract: Stellar systems - star clusters, galaxies, dark matter haloes, and so on - are ubiquitous characters in the evolutionary tale of our Universe. This tutorial article is an introduction to the collective dynamical evolution of the very large numbers of stars and/or other self-gravitating objects that comprise such systems, i.e. their kinetic theory. We begin by introducing the basic phenomenology of stellar systems, and explaining why and when we must develop a kinetic theory that transcends the traditional two-body relaxation picture of Chandrasekhar. We study the orbits that comprise stellar systems, how those orbits are modified by perturbations, how a system responds self-consistently to fluctuations in its gravitational potential, and how one can predict the long term fate of a stellar system in various dynamical regimes. Though our treatment is necessarily mathematical, we develop the formalism only to the extent that it facilitates real calculations. We give many examples throughout the text of the equations being applied to topics of major astrophysical importance. Furthermore, in the 1960s and 1970s the kinetic theory of stellar systems was a fledgling subject which developed in tandem with the kinetic theory of plasmas. However, the two fields have long since diverged. Yet once one has become fluent in both Plasmaish and Galacticese, and has a dictionary relating the two, one can pull ideas directly from one field to solve a problem in the other. Therefore, another aim of this tutorial article is to provide our plasma colleagues with a jargon-light understanding of the key properties of stellar systems, to point out the many direct analogies between stellar- and plasma-kinetic calculations, and ultimately to convince them that stellar dynamics and plasma kinetics are, in a deep and beautiful and useful sense, the same thing.


title: Low-energy dipole strength in 8He

abstract: In this work, we present new ab initio coupled-cluster calculations of dipole-excited state properties of 8He based on the chiral effective field theory interaction 1.8/2.0 (EM). We focus on the dipole polarizability, and compare the results to our previous study [Phys. Rev. C 105, 034313 (2022)] and subsequent theoretical work. With the aim of connecting the presence of low-lying dipole strength to structure properties of 8He, we compute the point-neutron radius, finding excellent agreement with available experimental data, and investigate its correlation with the dipole polarizability.


title: Quantum Pseudorandomness Cannot Be Shrunk In a Black-Box Way

abstract: Pseudorandom Quantum States (PRS) were introduced by Ji, Liu and Song as quantum analogous to Pseudorandom Generators. They are an ensemble of states efficiently computable but computationally indistinguishable from Haar random states. Subsequent works have shown that some cryptographic primitives can be constructed from PRSs. Moreover, recent classical and quantum oracle separations of PRS from One-Way Functions strengthen the interest in a purely quantum alternative building block for quantum cryptography, potentially weaker than OWFs. However, our lack of knowledge of extending or shrinking the number of qubits of the PRS output still makes it difficult to reproduce some of the classical proof techniques and results. Short-PRSs, that is PRSs with logarithmic size output, have been introduced in the literature along with cryptographic applications, but we still do not know how they relate to PRSs. Here we answer half of the question, by showing that it is not possible to shrink the output of a PRS from polynomial to logarithmic qubit length while still preserving the pseudorandomness property, in a relativized way. More precisely, we show that relative to Kretschmer's quantum oracle (TQC 2021) short-PRSs cannot exist (while PRSs exist, as shown by Kretschmer's work).


title: Quantum Control for Zeno effect with noises

abstract: The quantum Zeno effect is a distinctive phenomenon in quantum mechanics, describing the nontrivial effect of frequent projective measurements on hindering the evolution of a quantum system. However, when subjecting to environmental noises, the quantum system may dissipate and the quantum Zeno effect no longer works. This research studies the physical mechanism for the decay of the quantum Zeno effect in the presence of noises, and investigates the effect of coherent quantum controls on mitigating the decrease of the survival probability that the system stays in the initial state induced by the noises. We derive the decay rate of the survival probability with and without coherent quantum controls in general, and show that when the frequency of the projective measurements is large but finite, proper coherent controls by sufficiently strong Hamiltonians can be designed to decrease the decay rate of the survival probability. A two-level quantum system suffering from typical unitary and non-unitary noises is then considered to demonstrate the effect of the proposed coherent quantum control scheme in protecting the quantum Zeno effect against the noises. The decay rate of the survival probability is obtained in the presence of the noises, and the control Hamiltonian is further optimized analytically to minimize the decay rate by a variational approach. The evolution paths of the quantum system with the optimal coherent controls is illustrated numerically for different scenarios to explicitly show how the coherent control scheme works in lowering the decay of survival probability.


title: Deep Hedging with Market Impact

abstract: Dynamic hedging is the practice of periodically transacting financial instruments to offset the risk caused by an investment or a liability. Dynamic hedging optimization can be framed as a sequential decision problem; thus, Reinforcement Learning (RL) models were recently proposed to tackle this task. However, existing RL works for hedging do not consider market impact caused by the finite liquidity of traded instruments. Integrating such feature can be crucial to achieve optimal performance when hedging options on stocks with limited liquidity. In this paper, we propose a novel general market impact dynamic hedging model based on Deep Reinforcement Learning (DRL) that considers several realistic features such as convex market impacts, and impact persistence through time. The optimal policy obtained from the DRL model is analysed using several option hedging simulations and compared to commonly used procedures such as delta hedging. Results show our DRL model behaves better in contexts of low liquidity by, among others: 1) learning the extent to which portfolio rebalancing actions should be dampened or delayed to avoid high costs, 2) factoring in the impact of features not considered by conventional approaches, such as previous hedging errors through the portfolio value, and the underlying asset's drift (i.e. the magnitude of its expected return).


title: Positivity Bounds on Massive Vectors

abstract: In this paper, we explore positivity bounds for the effective field theory~(EFT) of a single weakly coupled massive vector field. The presence of both mass and spin makes the crossing properties of the amplitudes vastly complicated -- we address this by parametrizing the amplitudes as products of a polarization matrix and a vector of appropriately chosen functions with simpler crossing properties. The resulting framework involves sum rules and null constraints that allows us to constrain any combination of low-energy observables, such as EFT amplitudes. By varying the value of the vector mass over the cutoff scale, some of our bounds asymptote to the bounds obtained in the context of photons and massless scalars. This work paves the way for future applications to e.g. non-abelian massive vectors, glueballs and theories with spin larger than one.


title: On energy-aware hybrid models

abstract: This study proposes deterministic and stochastic energy-aware hybrid models that should enable simulations of idealized and primitive-equations Geophysical Fluid Dynamics (GFD) models at low resolutions without compromising on quality compared with high-resolution runs. Such hybrid models bridge the data-driven and physics-driven modelling paradigms by combining regional stability and classical GFD models at low resolution that cannot reproduce high-resolution reference flow features (large-scale flows and small-scale vortices) which are, however, resolved. Hybrid models use an energy-aware correction of advection velocity and extra forcing compensating for the drift of the low-resolution model away from the reference phase space. The main advantages of hybrid models are that they allow for physics-driven flow recombination within the reference energy band, reproduce resolved reference flow features, and produce more accurate ensemble forecasts than their classical GFD counterparts. Hybrid models offer appealing benefits and flexibility to the modelling and forecasting communities, as they are computationally cheap and can use both numerically-computed flows and observations from different sources. All these suggest that the hybrid approach has the potential to exploit low-resolution models for long-term weather forecasts and climate projections thus offering a new cost effective way of GFD modelling. The proposed hybrid approach has been tested on a three-layer quasi-geostrophic model for a beta-plane Gulf Stream flow configuration. The results show that the low-resolution hybrid model reproduces the reference flow features that are resolved on the coarse grid and also gives a more accurate ensemble forecast than the physics-driven model.


title: A Disruptive Research Playbook for Studying Disruptive Innovations

abstract: As researchers, we are now witnessing a fundamental change in our technologically-enabled world due to the advent and diffusion of highly disruptive technologies such as generative AI, Augmented Reality (AR) and Virtual Reality (VR). In particular, software engineering has been profoundly affected by the transformative power of disruptive innovations for decades, with a significant impact of technical advancements on social dynamics due to its the socio-technical nature. In this paper, we reflect on the importance of formulating and addressing research in software engineering through a socio-technical lens, thus ensuring a holistic understanding of the complex phenomena in this field. We propose a research playbook with the goal of providing a guide to formulate compelling and socially relevant research questions and to identify the appropriate research strategies for empirical investigations, with an eye on the long-term implications of technologies or their use. We showcase how to apply the research playbook. Firstly, we show how it can be used retrospectively to reflect on a prior disruptive technology, Stack Overflow, and its impact on software development. Secondly, we show it can be used to question the impact of two current disruptive technologies: AI and AR/VR. Finally, we introduce a specialized GPT model to support the researcher in framing future investigations. We conclude by discussing the broader implications of adopting the playbook for both researchers and practitioners in software engineering and beyond.


title: Curvature in the very-high energy gamma-ray spectrum of M87

abstract: The radio galaxy M87 is a variable very-high energy (VHE) gamma-ray source, exhibiting three major flares reported in 2005, 2008, and 2010. Despite extensive studies, the origin of the VHE gamma-ray emission is yet to be understood. In this study, we investigate the VHE gamma-ray spectrum of M87 during states of high gamma-ray activity, utilizing 20.2$\,$ hours the H.E.S.S. observations. Our findings indicate a preference for a curved spectrum, characterized by a log-parabola model with extra-galactic background light (EBL) model above 0.3$\,$TeV at the 4$\sigma$ level, compared to a power-law spectrum with EBL. We investigate the degeneracy between the absorption feature and the EBL normalization and derive upper limits on EBL models mainly sensitive in the wavelength range 12.4$\,$$\mu$m - 40$\,$$\mu$m.


title: Enhanced Hallucination Detection in Neural Machine Translation through Simple Detector Aggregation

abstract: Hallucinated translations pose significant threats and safety concerns when it comes to the practical deployment of machine translation systems. Previous research works have identified that detectors exhibit complementary performance different detectors excel at detecting different types of hallucinations. In this paper, we propose to address the limitations of individual detectors by combining them and introducing a straightforward method for aggregating multiple detectors. Our results demonstrate the efficacy of our aggregated detector, providing a promising step towards evermore reliable machine translation systems.


title: Causal hybrid modeling with double machine learning

abstract: Hybrid modeling integrates machine learning with scientific knowledge to enhance interpretability, generalization, and adherence to natural laws. Nevertheless, equifinality and regularization biases pose challenges in hybrid modeling to achieve these purposes. This paper introduces a novel approach to estimating hybrid models via a causal inference framework, specifically employing Double Machine Learning (DML) to estimate causal effects. We showcase its use for the Earth sciences on two problems related to carbon dioxide fluxes. In the $Q_{10}$ model, we demonstrate that DML-based hybrid modeling is superior in estimating causal parameters over end-to-end deep neural network (DNN) approaches, proving efficiency, robustness to bias from regularization methods, and circumventing equifinality. Our approach, applied to carbon flux partitioning, exhibits flexibility in accommodating heterogeneous causal effects. The study emphasizes the necessity of explicitly defining causal graphs and relationships, advocating for this as a general best practice. We encourage the continued exploration of causality in hybrid models for more interpretable and trustworthy results in knowledge-guided machine learning.


title: Giant Dipole Resonance photofission and photoneutron reactions in $^{238}$U and $^{232}$Th

abstract: New measurements of photofission and photoneutron reactions on $^{238}$U and $^{232}$Th in the Giant Dipole Resonance (GDR) energy region have been performed at the laser Compton-scattering $\gamma$-ray source of the NewSUBARU synchrotron radiation facility using a high-and-flat efficiency moderated $^3$He detection array. The neutron-multiplicity sorting of high-multiplicity fission neutron coincidence events has been performed using a dedicated energy dependent, multiple firing statistical treatment. The photoneutron $(\gamma,\,in)$ with $i$~=~1~--~3 and photofission $(\gamma,\,F)$ reactions have been discriminated by considering a Gaussian distribution of prompt-fission-neutron (PFN) multiplicities predicted by the theory of evaporation in sequential neutron emission from excited fission fragments. We report experimental $(\gamma,\,n)$, $(\gamma,\,2n)$, $(\gamma,\,3n)$ and $(\gamma,\,F)$ cross sections, average energies of PFNs and of $(\gamma,\,in)$ photoneutrons, as well as the mean number of PFNs per fission act and the width of the PFNs multiplicity distribution. Based on these primary experimental results and combined with reasonable assumptions, we extract also the first- and second-chance fission contributions. The new experimental results are compared with statistical-model calculations performed with the EMPIRE-3.2 Malta and TALYS-1.964 codes on the present data and with prompt fission emission calculations obtained with the Los Alamos model in the frame of the most probable fragmentation approach with and without sequential emission.


title: Decoding the Early Universe: Exploring a Merger Scenario for the High-Redshift Cluster JKCS041 using Numerical Models

abstract: JKCS041 ($z=1.8$) is one of the most distant galaxy cluster systems known, seen when the Universe was less than 4 billion years old. Recent Sunyaev-Zeldovich (SZ) observations show a temperature decrement that is less than expected based on mass estimates of the system from X-ray, weak gravitational lensing and galaxy richness measurements. In this paper we seek to explain the observables - in particular the low SZ decrement and single SZ peak, the projected offset between the X-ray and SZ peaks of $\approx$220 kpc, the gas mass measurements and the lensing mass estimate. We use the GAMER-2 hydrodynamic code to carry out idealized numerical simulations of cluster mergers and compare resulting synthetic maps with the observational data. The observations are not well reproduced by an isolated cluster, while instead they are when considering cluster mergers viewed a few tenths of a Gyr after first core passage. A range of merger scenarios is consistent with the observations, but parts of parameter space can be ruled out, and generically some kind of merger process is necessary to reproduce the offset between the SZ and X-ray peaks. In particular, a total mass of $\approx$2$\times 10^{14} M_\odot$, mass ratio of $\approx$2:3, gas fraction of $0.05-0.1$ and Navarro, Frenk and White (NFW) mass density profile concentration $c$$\approx$5 for both components are scenarios that are consistent with the observational data.


title: Abstract Hardy inequalities: The case p=1

abstract: Boundedness of an abstract formulation of Hardy operators between Lebesgue spaces over general measure spaces is studied and, when the domain is L^1, shown to be equivalent to the existence of a Hardy inequality on the half line with general Borel measures. This is done by extending the greatest decreasing minorant construction to general measure spaces depending on a totally ordered collection of measurable sets, called an ordered core. A functional description of the greatest decreasing minorant is given, and for a large class of ordered cores, a pointwise description is provided. As an application, characterizations of Hardy inequalities for metric measure spaces are given, we note that the metric measure space is not required to admit a polar decomposition.


title: Topological complexity of oriented Grassmann manifolds

abstract: We study the $\mathbb Z_2$-zero-divisor cup-length, denoted by $\operatorname{zcl}_{\mathbb Z_2}(\widetilde G_{n,3})$, of the Grassmann manifolds $\widetilde G_{n,3}$ of oriented $3$-dimensional vector subspaces in $\mathbb R^n$. Some lower and upper bounds for this invariant are obtained for all integers $n\ge6$. For infinitely many of them the exact value of $\operatorname{zcl}_{\mathbb Z_2}(\widetilde G_{n,3})$ is computed, and in the rest of the cases these bounds differ by 1. We thus establish lower bounds for the topological complexity of Grassmannians $\widetilde G_{n,3}$.


title: Modular invariance and thermal effective field theory in CFT

abstract: We use thermal effective field theory to derive that the coefficient of the first subleading piece of the thermal free energy, $c_1$, is equal to the coefficient of the subleading piece of the Casimir energy on $S^1 \times S^{d-2}$ for $d \geq 4$. We conjecture that this coefficient obeys a sign constraint $c_1 \geq 0$ in CFT and collect some evidence for this bound. We discuss various applications of the thermal effective field theory, including placing the CFT on different spatial backgrounds and turning on chemical potentials for $U(1)$ charge and angular momentum. Along the way, we derive the high-temperature partition function on a sphere with arbitrary angular velocities using only time dilation and length contraction.


title: Incentivized Exploration via Filtered Posterior Sampling

abstract: We study "incentivized exploration" (IE) in social learning problems where the principal (a recommendation algorithm) can leverage information asymmetry to incentivize sequentially-arriving agents to take exploratory actions. We identify posterior sampling, an algorithmic approach that is well known in the multi-armed bandits literature, as a general-purpose solution for IE. In particular, we expand the existing scope of IE in several practically-relevant dimensions, from private agent types to informative recommendations to correlated Bayesian priors. We obtain a general analysis of posterior sampling in IE which allows us to subsume these extended settings as corollaries, while also recovering existing results as special cases.


title: Criticality in the Luria-Delbr\"uck model with an arbitrary mutation rate

abstract: The Luria-Delbr\"uck model is a classic model of population dynamics with random mutations, that has been used historically to prove that random mutations drive evolution. In typical scenarios, the relevant mutation rate is exceedingly small, and mutants are counted only at the final time point. Here, inspired by recent experiments on DNA repair, we study a mathematical model that is formally equivalent to the Luria-Delbr\"uck setup, with the repair rate $p$ playing the role of mutation rate, albeit taking on large values, of order unity per cell division. We find that although at large times the fraction of repaired cells approaches one, the variance of the number of repaired cells undergoes a phase transition: when $p>1/2$ the variance decreases with time, but, intriguingly, for $p<1/2$ even though the fraction of repaired cells approaches 1, the variance in number of repaired cells increases with time. Analyzing DNA-repair experiments, we find that in order to explain the data the model should also take into account the probability of a successful repair process once it is initiated. Taken together, our work shows how the study of variability can lead to surprising phase-transitions as well as provide biological insights into the process of DNA-repair.


title: Greedy Monochromatic Island Partitions

abstract: Constructing partitions of colored points is a well-studied problem in discrete and computational geometry. We study the problem of creating a minimum-cardinality partition into monochromatic islands. Our input is a set $S$ of $n$ points in the plane where each point has one of $k \geq 2$ colors. A set of points is monochromatic if it contains points of only one color. An island $I$ is a subset of $S$ such that $\mathcal{CH}(I) \cap S = I$, where $\mathcal{CH}(I)$ denotes the convex hull of $I$. We identify an island with its convex hull; therefore, a partition into islands has the additional requirement that the convex hulls of the islands are pairwise-disjoint. We present three greedy algorithms for constructing island partitions and analyze their approximation ratios.


title: Revisiting formation of primordial black holes in a supercooled first-order phase transition

abstract: We reexamine production of primordial black holes in a supercooled phase transition. While a mere overdensity associated with a surviving false-vacuum patch does not imply formation of a black hole, it is possible for such a patch to evolve and create a black hole, thanks to the gradient energy stored in the bubble wall.


title: Fine Mixed Subdivisions of a Dilated Triangle

abstract: An upward equilateral triangle of side $n$ can be partitioned into $n$ unit upward equilateral triangles and $\frac{n(n-1)}{2}$ unit rhombi with $60^{\circ}$ and $120^{\circ}$ angles. In this paper, we focus on understanding such partitions with a fixed arrangement of unit triangles. We formulate a criterion for such a partition being unique, identify a set of operations that connects all such partitions, and determine which parts are common to all such partitions. Additionally, we discuss an operation that connects all possible partitions with different arrangements of triangles.


title: EOSC CZ: Towards the development of Czech national ecosystem for FAIR research data

abstract: This short paper presents a compact overview of the Czech approach to implementing the European Open Science Cloud and plans for developing a Czech national infrastructure for FAIR research data. Its purpose is to provide an all-encompassing summary of the near future of research data management in Czechia. As such, we deliberately attempt to explain complicated concepts in minimum words, sacrificing the precision of expression for compactness.


title: On Some Infinitary Logics

abstract: We define a new class of infinitary logics $\mathscr L^1_{\kappa,\alpha}$ generalizing Shelah's logic $\mathbb L^1_\kappa$ defined in \cite{MR2869022}. If $\kappa=\beth_\kappa$ and $\alpha <\kappa$ is infinite then our logic coincides with $\mathbb L^1_\kappa$. We study the relation between these logics for different parameters $\kappa$ and $\alpha$. We give many examples of classes of structures that can or cannot be defined in these logics. Finally, we give a different version of Lindstr\"{o}m's Theorem for $\mathbb L^1_\kappa$ in terms of the $\phi$-submodel relation.


title: Identification of asbestos fibres from soil sediments in the Pilsen region of the Czech Republic and the impact of these minerals on the health of the local population

abstract: Asbestos is the term for silicate minerals with a typical fibrous structure and crystallise as separable fibres that can be released into the environment as a result of natural processes and anthropogenic activities. There is a need to intensify geo-environmental monitoring of the occurrence of natural asbestos on a global scale. The study of this material is important to clarify the impact of asbestos on public health and to have an accurate knowledge of the requirements for asbestos replacement materials. At present, the technical as well as the ecological reasons for switching to these fibres are difficult, as asbestos replacement materials are subject to considerable technological and economic demands, as well as demands for their biological safety. The aim of this paper is to summarize the current knowledge regarding the vast issue of asbestos occurrence, to seek to establish an appropriate methodology for detecting the presence of asbestos in soil sediments, to identify the exact types of asbestos from a series of samples, to highlight its impact on public health, and to emphasize the need for deliberate mapping of the natural occurrence of asbestos and its inclusion in the laws and decrees of the Ministry of the Environment. Samples were analysed by electron microscopy and X-ray diffraction and compared with standards or available literature. The measurements demonstrated the presence of asbestos in the site sediments and identified specific types of asbestos. The conclusion of this work is the confirmation of the presence of asbestos in all samples, including its most dangerous types, which can cause very serious diseases. In this context, the mechanism of asbestos-related diseases will be further addressed, which is linked to the size and shape of the individual fibres, the chemical composition of the asbestos types and the links between their basic structural units.


title: Intrinsic expansions in large Grashof numbers for the steady states of the {N}avier--{S}tokes equations

abstract: We enable a theory of intrinsic asymptotic expansions for the steady state solutions of the full Navier--Stokes equations. Such a theory was first developed in \cite{FHJ} for Galerkin approximations. To overcome the lack of local compactness in infinite dimensional spaces, we introduce the notion of asymptotic expansions in nested spaces. When the inclusion maps between these spaces are compact, we establish the existence of such an asymptotic expansion for a subsequence of any bounded sequence. This consequently yields an intrinsic asymptotic expansion in a single normed space. We apply this result to the steady states of the Navier--Stokes equations by utilizing the spectral fractional Sobolev spaces. In the case of 2D periodic boundary conditions, more properties relating the terms of the asymptotic expansion are obtained.


title: Edge-averaged virtual element methods for convection-diffusion and convection-dominated problems

abstract: This manuscript develops edge-averaged virtual element (EAVE) methodologies to address convection-diffusion problems effectively in the convection-dominated regime. It introduces a variant of EAVE that ensures monotonicity (producing an $M$-matrix) on Voronoi polygonal meshes, provided their duals are Delaunay triangulations with acute angles. Furthermore, the study outlines a comprehensive framework for EAVE methodologies, introducing another variant that integrates with the stiffness matrix derived from the lowest-order virtual element method for the Poisson equation. Numerical experiments confirm the theoretical advantages of the monotonicity property and demonstrate an optimal convergence rate across various mesh configurations.


title: Dissipative spatiotemporal soliton in a driven waveguide laser

abstract: A distributed Kerr-lens mode locking regime can be realized in a waveguide laser by spatial profiling of the pump beam, thus creating a spatio-temporal soliton. Additional slow temporal modulation of the pump source stabilizes the spatio-temporal solution in a broad range of parameters, which are defined by the dynamic gain saturation. We choose a Cr:ZnS waveguide laser as a practical example, but such a regime is feasible in various waveguide and fiber oscillators. A far-reaching analogy with Bose-Einstein condensates allows using this approach to stabilization of the weakly dissipative BECs.


title: Aria Everyday Activities Dataset

abstract: We present Aria Everyday Activities (AEA) Dataset, an egocentric multimodal open dataset recorded using Project Aria glasses. AEA contains 143 daily activity sequences recorded by multiple wearers in five geographically diverse indoor locations. Each of the recording contains multimodal sensor data recorded through the Project Aria glasses. In addition, AEA provides machine perception data including high frequency globally aligned 3D trajectories, scene point cloud, per-frame 3D eye gaze vector and time aligned speech transcription. In this paper, we demonstrate a few exemplar research applications enabled by this dataset, including neural scene reconstruction and prompted segmentation. AEA is an open source dataset that can be downloaded from https://www.projectaria.com/datasets/aea/. We are also providing open-source implementations and examples of how to use the dataset in Project Aria Tools https://github.com/facebookresearch/projectaria_tools.


title: PIRB: A Comprehensive Benchmark of Polish Dense and Hybrid Text Retrieval Methods

abstract: We present Polish Information Retrieval Benchmark (PIRB), a comprehensive evaluation framework encompassing 41 text information retrieval tasks for Polish. The benchmark incorporates existing datasets as well as 10 new, previously unpublished datasets covering diverse topics such as medicine, law, business, physics, and linguistics. We conduct an extensive evaluation of over 20 dense and sparse retrieval models, including the baseline models trained by us as well as other available Polish and multilingual methods. Finally, we introduce a three-step process for training highly effective language-specific retrievers, consisting of knowledge distillation, supervised fine-tuning, and building sparse-dense hybrid retrievers using a lightweight rescoring model. In order to validate our approach, we train new text encoders for Polish and compare their results with previously evaluated methods. Our dense models outperform the best solutions available to date, and the use of hybrid methods further improves their performance.


title: Malicious Reconfigurable Intelligent Surfaces: How Impactful can Destructive Beamforming be?

abstract: Reconfigurable intelligent surfaces (RISs) have demonstrated significant potential for enhancing communication system performance if properly configured. However, a RIS might also pose a risk to the network security. In this letter, we explore the impact of a malicious RIS on a multi-user multiple-input single-output (MISO) system when the system is unaware of the RIS's malicious intentions. The objective of the malicious RIS is to degrade the \ac{SNR} of a specific \ac{UE}, with the option of preserving the SNR of the other UEs, making the attack harder to detect. To achieve this goal, we derive the optimal RIS phase-shift pattern, assuming perfect channel state information (CSI) at the hacker. We then relax this assumption by introducing CSI uncertainties and subsequently determine the RIS's phase-shift pattern using a robust optimization approach. Our simulations reveal a direct proportionality between the performance degradation caused by the malicious RIS and the number of reflective elements, along with resilience toward CSI uncertainties.


title: KetGPT - Dataset Augmentation of Quantum Circuits using Transformers

abstract: Quantum algorithms, represented as quantum circuits, can be used as benchmarks for assessing the performance of quantum systems. Existing datasets, widely utilized in the field, suffer from limitations in size and versatility, leading researchers to employ randomly generated circuits. Random circuits are, however, not representative benchmarks as they lack the inherent properties of real quantum algorithms for which the quantum systems are manufactured. This shortage of `useful' quantum benchmarks poses a challenge to advancing the development and comparison of quantum compilers and hardware. This research aims to enhance the existing quantum circuit datasets by generating what we refer to as `realistic-looking' circuits by employing the Transformer machine learning architecture. For this purpose, we introduce KetGPT, a tool that generates synthetic circuits in OpenQASM language, whose structure is based on quantum circuits derived from existing quantum algorithms and follows the typical patterns of human-written algorithm-based code (e.g., order of gates and qubits). Our three-fold verification process, involving manual inspection and Qiskit framework execution, transformer-based classification, and structural analysis, demonstrates the efficacy of KetGPT in producing large amounts of additional circuits that closely align with algorithm-based structures. Beyond benchmarking, we envision KetGPT contributing substantially to AI-driven quantum compilers and systems.


title: Combining unsupervised and supervised learning in microscopy enables defect analysis of a full 4H-SiC wafer

abstract: Detecting and analyzing various defect types in semiconductor materials is an important prerequisite for understanding the underlying mechanisms as well as tailoring the production processes. Analysis of microscopy images that reveal defects typically requires image analysis tasks such as segmentation and object detection. With the permanently increasing amount of data that is produced by experiments, handling these tasks manually becomes more and more impossible. In this work, we combine various image analysis and data mining techniques for creating a robust and accurate, automated image analysis pipeline. This allows for extracting the type and position of all defects in a microscopy image of a KOH-etched 4H-SiC wafer that was stitched together from approximately 40,000 individual images.


title: Artinian Gorenstein algebras of embedding dimension four and socle degree three over an arbitrary field

abstract: Let k be an arbitrary field, A be a standard graded Artinian Gorenstein k-algebra of embedding dimension four and socle degree three, and pi from P to A be a surjective graded homomorphism from a polynomial ring with four variables over k onto A. We give the minimal generators of the kernel of pi and the minimal homogeneous resolution of A by free P-modules. We give formulas for the entries in the matrices in the resolution in terms of the coefficients of the Macaulay inverse system for A. We have implemented these formulas in Macaulay2 scripts. The kernel of pi has either 6, 7, or 9 minimal generators. The number of minimal generators and the precise form of the minimal resolution are determined by the rank of a 3 by 3 symmetric matrix of constants that we call SM. If the kernel of pi requires more than six generators, then we prove that the kernel of pi is the sum of two linked perfect ideals of grade three. If the the kernel of pi is six-generated, then we prove that A is a hypersurface section of a codimension three Gorenstein algebra. Our approach is based on the structure of Gorenstein-linear resolutions and the theorem that, except for exactly one exception, A has the weak Lefschetz property.


title: A new characterization of second-order stochastic dominance

abstract: We provide a new characterization of second-order stochastic dominance, also known as increasing concave order. The result has an intuitive interpretation that adding a risk with negative expected value in adverse scenarios makes the resulting position generally less desirable for risk-averse agents. A similar characterization is also found for convex order and increasing convex order. The proofs techniques for the main result are based on properties of Expected Shortfall, a family of risk measures that is popular in financial regulation.


title: Fishing for complements

abstract: Given a presilting object in a triangulated category, we find necessary and sufficient conditions for the existence of a complement. This is done both for classic (pre)silting objects and for large (pre)silting objects. The key technique is the study of associated co-t-structures. As a consequence of our techniques we recover some known cases of the existence of complements, including for derived categories of some hereditary abelian categories and for silting-discrete algebras. Moreover, we also show that a finite-dimensional algebra is silting discrete if and only if every bounded large silting complex is equivalent to a compact one.


title: Minimizing Tardy Processing Time on a Single Machine in Near-Linear Time

abstract: In this work we revisit the elementary scheduling problem $1||\sum p_j U_j$. The goal is to select, among $n$ jobs with processing times and due dates, a subset of jobs with maximum total processing time that can be scheduled in sequence without violating their due dates. This problem is NP-hard, but a classical algorithm by Lawler and Moore from the 60s solves this problem in pseudo-polynomial time $O(nP)$, where $P$ is the total processing time of all jobs. With the aim to develop best-possible pseudo-polynomial-time algorithms, a recent wave of results has improved Lawler and Moore's algorithm for $1||\sum p_j U_j$: First to time $\tilde O(P^{7/4})$ [Bringmann, Fischer, Hermelin, Shabtay, Wellnitz; ICALP'20], then to time $\tilde O(P^{5/3})$ [Klein, Polak, Rohwedder; SODA'23], and finally to time $\tilde O(P^{7/5})$ [Schieber, Sitaraman; WADS'23]. It remained an exciting open question whether these works can be improved further. In this work we develop an algorithm in near-linear time $\tilde O(P)$ for the $1||\sum p_j U_j$ problem. This running time not only significantly improves upon the previous results, but also matches conditional lower bounds based on the Strong Exponential Time Hypothesis or the Set Cover Hypothesis and is therefore likely optimal (up to subpolynomial factors). Our new algorithm also extends to the case of $m$ machines in time $\tilde O(P^m)$. In contrast to the previous improvements, we take a different, more direct approach inspired by the recent reductions from Modular Subset Sum to dynamic string problems. We thereby arrive at a satisfyingly simple algorithm.


title: Search for exotic decays of the Higgs boson to a pair of pseudoscalars in the $\mu\mu$bb and $\tau\tau$bb final states

abstract: A search for exotic decays of the Higgs boson (H) with a mass of 125 GeV to a pair of light pseudoscalars $\mathrm{a}_1$ is performed in final states where one pseudoscalar decays to two b quarks and the other to a pair of muons or $\tau$ leptons. A data sample of proton-proton collisions at $\sqrt{s}$ = 13 TeV corresponding to an integrated luminosity of 138 fb$^{-1}$ recorded with the CMS detector is analyzed. No statistically significant excess is observed over the standard model backgrounds. Upper limits are set at 95% confidence level (CL) on the Higgs boson branching fraction to $\mu\mu$bb and to $\tau\tau$bb, via a pair of $\mathrm{a}_1$s. The limits depend on the pseudoscalar mass $m_{\mathrm{a}_1}$ and are observed to be in the range (0.17-3.3) $\times$ 10$^{-4}$ and (1.7-7.7) $\times$ 10$^{-2}$ in the $\mu\mu$bb and $\tau\tau$bb final states, respectively. In the framework of models with two Higgs doublets and a complex scalar singlet (2HDM+S), the results of the two final states are combined to determine model-independent upper limits on the branching fraction $\mathcal{B}$(H $\to$ $\mathrm{a}_1\mathrm{a}_1$ $\to$ $\ell\ell$bb) at 95% CL, with $\ell$ being a muon or a $\tau$ lepton. For different types of 2HDM+S, upper bounds on the branching fraction $\mathcal{B}$(H $\to$ $\mathrm{a}_1\mathrm{a}_1$) are extracted from the combination of the two channels. In most of the Type II 2HDM+S parameter space, $\mathcal{B}($H $\to$ $\mathrm{a}_1\mathrm{a}_1$) values above 0.23 are excluded at 95% CL for $m_{\mathrm{a}_1}$ values between 15 and 60 GeV.


title: Low Degree Hardness for Broadcasting on Trees

abstract: We study the low-degree hardness of broadcasting on trees. Broadcasting on trees has been extensively studied in statistical physics, in computational biology in relation to phylogenetic reconstruction and in statistics and computer science in the context of block model inference, and as a simple data model for algorithms that may require depth for inference. The inference of the root can be carried by celebrated Belief Propagation (BP) algorithm which achieves Bayes-optimal performance. Despite the fact that this algorithm runs in linear time (using real operations), recent works indicated that this algorithm in fact requires high level of complexity. Moitra, Mossel and Sandon constructed a chain for which estimating the root better than random (for a typical input) is $NC1$ complete. Kohler and Mossel constructed chains such that for trees with $N$ leaves, recovering the root better than random requires a polynomial of degree $N^{\Omega(1)}$. Both works above asked if such complexity bounds hold in general below the celebrated {\em Kesten-Stigum} bound. In this work, we prove that this is indeed the case for low degree polynomials. We show that for the broadcast problem using any Markov chain on trees with $n$ leaves, below the Kesten Stigum bound, any $O(\log n)$ degree polynomial has vanishing correlation with the root. Our result is one of the first low-degree lower bound that is proved in a setting that is not based or easily reduced to a product measure.


title: Neutron stars in $f(R,L_m,T)$ gravity

abstract: This study explores the behavior of compact stars within the framework of $f(R,L_m,T)$ gravity, focusing on the functional form $f(R,L_m,T) = R + \alpha TL_m$. The modified Tolman-Oppenheimer-Volkoff (TOV) equations are derived and numerically solved for several values of the free parameter $\alpha$ by considering both quark and hadronic matter -- described by realistic equations of state (EoSs). Furthermore, the stellar structure equations are adapted for two different choices of the matter Lagrangian density (namely, $L_m= p$ and $L_m= -\rho$), laying the groundwork for our numerical analysis. As expected, we recover the traditional TOV equations in General Relativity (GR) when $\alpha \rightarrow 0$. Remarkably, we found that the two choices for $L_m$ have appreciably different effects on the mass-radius diagrams. Results showcase the impact of $\alpha$ on compact star properties, while final remarks summarize key findings and discuss implications, including compatibility with observational data from NGC 6397's neutron star. Overall, this research enhances comprehension of $f(R,L_m,T)$ gravity's effects on compact star internal structures, offering insights for future investigations.


title: Pulsed Complex Plasma in Microgravity

abstract: A new experimental method for creating void-free complex (``dusty'') plasmas under microgravity conditions is presented. The method is based on a pulsed operation mode of a four-channel radio-frequency generator for plasma sustainment. A dust cloud of micrometer-sized particles can be immersed in the bulk of a low temperature plasma under microgravity conditions. It typically contains a central volume depleted of particles - the void - that prevents the generation of large, continuous clouds. Experiments performed at different neutral gas pressures and discharge volumes during the microgravity phase of a parabolic flight show that the central void is closed completely once the pulsed operation mode is applied. The particle cloud shape, and the density distribution within the cloud, are practically independent on the pulse period within the investigated parameter range, and mainly depend on the overall discharge parameters neutral gas pressure and discharge volume. This indicates that the pulsed operation of the plasma source does not introduce new physical effects on the particles aside from the void closure. The proposed method has great potential for future application in experimental facilities dedicated to fundamental studies of large three-dimensional, homogeneous complex plasma systems in microgravity.


title: A renormalised description of meromorphic connections over curves

abstract: The Renormalisation Group (RG) is a systematic procedure used to regularise divergences appearing as artefacts when constructing solutions to a large class of differential problems, whether perturbatively or not. This paper is devoted to performing it in the non-perturbative context of flat sections of meromorphic connections in holomorphic principal bundles over a base complex curve, with reductive and complex structure Lie groups. Using the interpretation of Kunuhiro of RG in terms of envelopes of families of solutions, we identify these envelopes as particular flat sections associated to points on the corresponding quantum spectral curve, namely certain divisors on the base curve with local coefficients in the adjoint bundle, yielding integral representations. This shows that the non-perturbative renormalisation of flat sections of principal bundles over curves fits naturally within the description of meromorphic connections via their quantum geometry, or homology \textit{\`a la} Goldman, where the flat sections and their deformations are parameterized by degree zero and one chains respectively. We conclude the paper by mentioning upcoming applications.


title: Low frequency resistance fluctuations in an ionic liquid gated channel probed by cross-correlation noise spectroscopy

abstract: A system in equilibrium keeps ``exploring" nearby states in the phase space and consequently, fluctuations can contain information, that the mean value does not. However, such measurements involve a fairly complex interplay of effects arising in the device and measurement electronics, that are non-trivial to disentangle. In this paper, we briefly analyse some of these issues and show the relevance of a two-amplifier cross-correlation technique for semiconductors and thin films commonly encountered. We show that by using home-built amplifiers costing less than $10$ USD/piece one can measure spectral densities as low as $\sim 10^{-18}-10^{-19}~ {\rm {V^2}{Hz^{-1}}}$. We apply this method to an ionic liquid gated Ga:ZnO channel and show that the glass transition of the ionic liquid brings about a change in the exponent of the low frequency resistance fluctuations. Our analysis suggests that a log-normal distribution of the Debye relaxation times of the fluctuations and an increased weight of the long timescale relaxations can give a semi-quantitative explanation of the observed change in the exponent.


title: A Simple but Effective Approach to Improve Structured Language Model Output for Information Extraction

abstract: Large language models (LLMs) have demonstrated impressive abilities in generating unstructured natural language according to instructions. However, their performance can be inconsistent when tasked with producing text that adheres to specific structured formats, which is crucial in applications like named entity recognition (NER) or relation extraction (RE). To address this issue, this paper introduces an efficient method, G&O, to enhance their structured text generation capabilities. It breaks the generation into a two-step pipeline: initially, LLMs generate answers in natural language as intermediate responses. Subsequently, LLMs are asked to organize the output into the desired structure, using the intermediate responses as context. G&O effectively separates the generation of content from the structuring process, reducing the pressure of completing two orthogonal tasks simultaneously. Tested on zero-shot NER and RE, the results indicate a significant improvement in LLM performance with minimal additional efforts. This straightforward and adaptable prompting technique can also be combined with other strategies, like self-consistency, to further elevate LLM capabilities in various structured text generation tasks.


title: Some results on the norm of finite groups

abstract: Let $G$ be a finite group and $N_{\Omega}(G)$ be the intersection of the normalizers of all subgroups belonging to the set $\Omega(G),$ where $\Omega(G)$ is a set of all subgroups of $G$ which have some theoretical group property. In this paper, we show that $N_{\Omega}(G)= Z_{\infty}(G)$ if $\Omega(G)$ is one of the following: (i) the set of all self-normalizing subgroups of $G$; (ii) the set of all subgroups of $G$ satisfying the subnormalizer condition in $G$; (iii) the set of all pronormal subgroups of $G$; (iv) the set of all $\mathscr{H}$-subgroups of $G$; (v) the set of all weakly normal subgroups of $G$; (vi) the set of all $NE$-subgroups of $G$.


title: Statistical curriculum learning: An elimination algorithm achieving an oracle risk

abstract: We consider a statistical version of curriculum learning (CL) in a parametric prediction setting. The learner is required to estimate a target parameter vector, and can adaptively collect samples from either the target model, or other source models that are similar to the target model, but less noisy. We consider three types of learners, depending on the level of side-information they receive. The first two, referred to as strong/weak-oracle learners, receive high/low degrees of information about the models, and use these to learn. The third, a fully adaptive learner, estimates the target parameter vector without any prior information. In the single source case, we propose an elimination learning method, whose risk matches that of a strong-oracle learner. In the multiple source case, we advocate that the risk of the weak-oracle learner is a realistic benchmark for the risk of adaptive learners. We develop an adaptive multiple elimination-rounds CL algorithm, and characterize instance-dependent conditions for its risk to match that of the weak-oracle learner. We consider instance-dependent minimax lower bounds, and discuss the challenges associated with defining the class of instances for the bound. We derive two minimax lower bounds, and determine the conditions under which the performance weak-oracle learner is minimax optimal.


title: Intrinsic Derivation of the Equations of a Snake Robot based on a Cosserat Beam Model

abstract: In this paper, we present an intrinsic derivation of the equations ruling the dynamics motion of a snake robot dynamics. Based on a Cosserat beam model, we first show that the extended configuration space is a Lie group. Endowing it with an appropriate left invariant metric, the corresponding Euler-Poincar\'e equations can be reduced to a system of hyperbolic PDEs in the Lie algebra $\mathfrak{se}(3)$. We also provide the constitutive law describing the actuation in this system of PDEs.


title: Unsupervised Concept Discovery Mitigates Spurious Correlations

abstract: Models prone to spurious correlations in training data often produce brittle predictions and introduce unintended biases. Addressing this challenge typically involves methods relying on prior knowledge and group annotation to remove spurious correlations, which may not be readily available in many applications. In this paper, we establish a novel connection between unsupervised object-centric learning and mitigation of spurious correlations. Instead of directly inferring sub-groups with varying correlations with labels, our approach focuses on discovering concepts: discrete ideas that are shared across input samples. Leveraging existing object-centric representation learning, we introduce CoBalT: a concept balancing technique that effectively mitigates spurious correlations without requiring human labeling of subgroups. Evaluation across the Waterbirds, CelebA and ImageNet-9 benchmark datasets for subpopulation shifts demonstrate superior or competitive performance compared state-of-the-art baselines, without the need for group annotation.


title: The Uncanny Valley: A Comprehensive Analysis of Diffusion Models

abstract: Through Diffusion Models (DMs), we have made significant advances in generating high-quality images. Our exploration of these models delves deeply into their core operational principles by systematically investigating key aspects across various DM architectures: i) noise schedules, ii) samplers, and iii) guidance. Our comprehensive examination of these models sheds light on their hidden fundamental mechanisms, revealing the concealed foundational elements that are essential for their effectiveness. Our analyses emphasize the hidden key factors that determine model performance, offering insights that contribute to the advancement of DMs. Past findings show that the configuration of noise schedules, samplers, and guidance is vital to the quality of generated images; however, models reach a stable level of quality across different configurations at a remarkably similar point, revealing that the decisive factors for optimal performance predominantly reside in the diffusion process dynamics and the structural design of the model's network, rather than the specifics of configuration details. Our comparative analysis reveals that Denoising Diffusion Probabilistic Model (DDPM)-based diffusion dynamics consistently outperform the Noise Conditioned Score Network (NCSN)-based ones, not only when evaluated in their original forms but also when continuous through Stochastic Differential Equation (SDE)-based implementations.


title: An adaptive lattice Green's function method for external flows with two unbounded and one homogeneous directions

abstract: We solve the incompressible Navier-Stokes equations using a lattice Green's function (LGF) approach, including immersed boundaries (IB) and adaptive mesh refinement (AMR), for external flows with one homogeneous direction (e.g. infinite cylinders of arbitrary cross-section). We hybridize a Fourier collocation (pseudo-spectral) method for the homogeneous direction with a specially designed, staggered-grid finite-volume scheme on an AMR grid. The Fourier series is also truncated variably according to the refinement level in the other directions. We derive new algorithms to tabulate the LGF of the screened Poisson operator and viscous integrating factor. After adapting other algorithmic details from the fully inhomogeneous case, we validate and demonstrate the new method with transitional and turbulent flows over a circular cylinder at $Re=300$ and $Re=12,000$, respectively.


title: FIDLAR: Forecast-Informed Deep Learning Architecture for Flood Mitigation

abstract: In coastal river systems, frequent floods, often occurring during major storms or king tides, pose a severe threat to lives and property. However, these floods can be mitigated or even prevented by strategically releasing water before extreme weather events with hydraulic structures such as dams, gates, pumps, and reservoirs. A standard approach used by local water management agencies is the "rule-based" method, which specifies predetermined pre-releases of water based on historical and time-tested human experience, but which tends to result in excess or inadequate water release. The model predictive control (MPC), a physics-based model for prediction, is an alternative approach, albeit involving computationally intensive calculations. In this paper, we propose a Forecast Informed Deep Learning Architecture, FIDLAR, to achieve rapid and optimal flood management with precise water pre-releases. FIDLAR seamlessly integrates two neural network modules: one called the Flood Manager, which is responsible for generating water pre-release schedules, and another called the Flood Evaluator, which assesses these generated schedules. The Evaluator module is pre-trained separately, and its gradient-based feedback is used to train the Manager model, ensuring optimal water pre-releases. We have conducted experiments using FIDLAR with data from a flood-prone coastal area in South Florida, particularly susceptible to frequent storms. Results show that FIDLAR is several orders of magnitude faster than currently used physics-based approaches while outperforming baseline methods with improved water pre-release schedules. Our code is at https://github.com/JimengShi/FIDLAR/.


title: EvoGrad: A Dynamic Take on the Winograd Schema Challenge with Human Adversaries

abstract: While Large Language Models (LLMs) excel at the Winograd Schema Challenge (WSC), a coreference resolution task testing common-sense reasoning through pronoun disambiguation, they struggle with instances that feature minor alterations or rewording. To address this, we introduce EvoGrad, an open-source platform that harnesses a human-in-the-loop approach to create a dynamic dataset tailored to such altered WSC instances. Leveraging ChatGPT's capabilities, we expand our task instances from 182 to 3,691, setting a new benchmark for diverse common-sense reasoning datasets. Additionally, we introduce the error depth metric, assessing model stability in dynamic tasks. Our results emphasize the challenge posed by EvoGrad: Even the best performing LLM, GPT-3.5, achieves an accuracy of 65.0% with an average error depth of 7.2, a stark contrast to human performance of 92. 8% accuracy without perturbation errors. This highlights ongoing model limitations and the value of dynamic datasets in uncovering them.


title: New preconditioner strategy for solving block four-by-four linear systems: An application to the saddle-point problem from 3D Stokes equation

abstract: We have presented a fast method for solving a specific type of block four-by-four saddlepoint problem arising from the finite element discretization of the generalized 3D Stokes problem. We analyze the eigenvalue distribution and the eigenvectors of the preconditioned matrix. Furthermore, we suggested utilizing the preconditioned global conjugate gradient method (PGCG) as a block iterative solver for handling multiple right-hand sides within the sub-system and give some new convergence results. Numerical experiments have shown that our preconditioned iterative approach is very efficient for solving the 3D Stokes problem


title: Reliable LLM-based User Simulator for Task-Oriented Dialogue Systems

abstract: In the realm of dialogue systems, user simulation techniques have emerged as a game-changer, redefining the evaluation and enhancement of task-oriented dialogue (TOD) systems. These methods are crucial for replicating real user interactions, enabling applications like synthetic data augmentation, error detection, and robust evaluation. However, existing approaches often rely on rigid rule-based methods or on annotated data. This paper introduces DAUS, a Domain-Aware User Simulator. Leveraging large language models, we fine-tune DAUS on real examples of task-oriented dialogues. Results on two relevant benchmarks showcase significant improvements in terms of user goal fulfillment. Notably, we have observed that fine-tuning enhances the simulator's coherence with user goals, effectively mitigating hallucinations -- a major source of inconsistencies in simulator responses.


title: A Strategic Model of Software Dependency Networks

abstract: Modern software development involves collaborative efforts and reuse of existing code, which reduces the cost of developing new software. However, reusing code from existing packages exposes coders to vulnerabilities in these dependencies. We study the formation of dependency networks among software packages and libraries, guided by a structural model of network formation with observable and unobservable heterogeneity. We estimate costs, benefits, and link externalities of the network of 696,790 directed dependencies between 35,473 repositories of the Rust programming language using a novel scalable algorithm. We find evidence of a positive externality exerted on other coders when coders create dependencies. Furthermore, we show that coders are likely to link to more popular packages of the same software type but less popular packages of other types. We adopt models for the spread of infectious diseases to measure a package's systemicness as the number of downstream packages a vulnerability would affect. Systemicness is highly skewed with the most systemic repository affecting almost 90% of all repositories only two steps away. Lastly, we show that protecting only the ten most important repositories reduces vulnerability contagion by nearly 40%.


title: Probabilistic automatic complexity of finite strings

abstract: We introduce a new complexity measure for finite strings using probabilistic finite-state automata (PFAs), in the same spirit as existing notions employing DFAs and NFAs, and explore its properties. The PFA complexity $A_P(x)$ is the least number of states of a PFA for which $x$ is the most likely string of its length to be accepted. The variant $A_{P,\delta}(x)$ adds a real-valued parameter $\delta$ specifying a required lower bound on the gap in acceptance probabilities between $x$ and other strings. We prove $A_{P,\delta}$ is $\delta$-computable for all $\delta$, relate $A_P$ to the DFA and NFA complexities, and obtain a complete classification of binary strings with $A_P=2$. Finally, we discuss several other variations on $A_P$ with a view to obtaining additional desirable properties.


title: Stability estimates for magnetized Vlasov equations

abstract: We present two results related to magnetized Vlasov equations. Our first contribution concerns the stability of solutions to the magnetized Vlasov-Poisson system with a non-uniform magnetic field using the optimal transport approach introduced by Loeper [24]. We show that the extra magnetized terms can be suitably controlled by imposing stronger decay in velocity on one of the distribution functions, illustrating how the external magnetic field creates anisotropy in the evolution. This allows us to generalize the classical 2-Wasserstein stability estimate by Loeper [24, Theorem 1.2] and the recent stability estimate using a kinetic Wasserstein distance by Iacobelli [20, Theorem 3.1] to the magnetized Vlasov-Poisson system. In our second result, we extend the improved Dobrushin estimate by Iacobelli [20, Theorem 2.1] to the magnetized Vlasov equation with a uniform magnetic field.


title: Stable matching as transportation

abstract: We study matching markets with aligned preferences and establish a connection between common design objectives -- stability, efficiency, and fairness -- and the theory of optimal transport. Optimal transport gives new insights into the structural properties of matchings obtained from pursuing these objectives, and into the trade-offs between different objectives. Matching markets with aligned preferences provide a tractable stylized model capturing supply-demand imbalances in a range of settings such as partnership formation, school choice, organ donor exchange, and markets with transferable utility where bargaining over transfers happens after a match is formed.


title: Referee-Meta-Learning for Fast Adaptation of Locational Fairness

abstract: When dealing with data from distinct locations, machine learning algorithms tend to demonstrate an implicit preference of some locations over the others, which constitutes biases that sabotage the spatial fairness of the algorithm. This unfairness can easily introduce biases in subsequent decision-making given broad adoptions of learning-based solutions in practice. However, locational biases in AI are largely understudied. To mitigate biases over locations, we propose a locational meta-referee (Meta-Ref) to oversee the few-shot meta-training and meta-testing of a deep neural network. Meta-Ref dynamically adjusts the learning rates for training samples of given locations to advocate a fair performance across locations, through an explicit consideration of locational biases and the characteristics of input data. We present a three-phase training framework to learn both a meta-learning-based predictor and an integrated Meta-Ref that governs the fairness of the model. Once trained with a distribution of spatial tasks, Meta-Ref is applied to samples from new spatial tasks (i.e., regions outside the training area) to promote fairness during the fine-tune step. We carried out experiments with two case studies on crop monitoring and transportation safety, which show Meta-Ref can improve locational fairness while keeping the overall prediction quality at a similar level.


title: Toward TransfORmers: Revolutionizing the Solution of Mixed Integer Programs with Transformers

abstract: In this study, we introduce an innovative deep learning framework that employs a transformer model to address the challenges of mixed-integer programs, specifically focusing on the Capacitated Lot Sizing Problem (CLSP). Our approach, to our knowledge, is the first to utilize transformers to predict the binary variables of a mixed-integer programming (MIP) problem. Specifically, our approach harnesses the encoder decoder transformer's ability to process sequential data, making it well-suited for predicting binary variables indicating production setup decisions in each period of the CLSP. This problem is inherently dynamic, and we need to handle sequential decision making under constraints. We present an efficient algorithm in which CLSP solutions are learned through a transformer neural network. The proposed post-processed transformer algorithm surpasses the state-of-the-art solver, CPLEX and Long Short-Term Memory (LSTM) in solution time, optimal gap, and percent infeasibility over 240K benchmark CLSP instances tested. After the ML model is trained, conducting inference on the model, reduces the MIP into a linear program (LP). This transforms the ML-based algorithm, combined with an LP solver, into a polynomial-time approximation algorithm to solve a well-known NP-Hard problem, with almost perfect solution quality.


title: Tree semi-separable matrices: a simultaneous generalization of sequentially and hierarchically semi-separable representations

abstract: We present a unification and generalization of sequentially and hierarchically semi-separable (SSS and HSS) matrices called tree semi-separable (TSS) matrices. Our main result is to show that any dense matrix can be expressed in a TSS format. Here, the dimensions of the generators are specified by the ranks of the Hankel blocks of the matrix. TSS matrices satisfy a graph-induced rank structure (GIRS) property. It is shown that TSS matrices generalize the algebraic properties of SSS and HSS matrices under addition, products, and inversion. Subsequently, TSS matrices admit linear time matrix-vector multiply, matrix-matrix multiply, matrix-matrix addition, inversion, and solvers.


title: Visual acuity and contrast sensitivity under monochromatic yellow light

abstract: This study investigates the impact of monochromatic lighting on visual acuity (VA) and contrast sensitivity (CS). Traditional assessments of VA and CS are typically conducted under the illumination of ``white'' light, but variations in color temperature can influence outcomes. Utilizing data from an exhibition by Olafur Eliasson, where a room was illuminated with low-pressure sodium lamps, creating an almost monochromatic yellow light, we compared visual assessments in the yellow room with conventional lighting in a white room. For VA, the results show no significant differences between the two lighting conditions, while for CS, a more nuanced situation is observed. The bias in CS measurements is clinically relevant, and the p-value suggests that further investigation with a larger, more diverse sample may be worthwhile. Despite limitations, such as higher illumination conditions than standard protocols, the unique ``laboratory'' offered by the exhibition facilitated measurements not easily achievable in a traditional setting.


title: Rapid polarization variations in the O4 supergiant $\zeta$ Puppis

abstract: We present time-series linear-polarization observations of the bright O4 supergiant $\zeta$ Puppis. The star is found to show polarization variation on timescales of around an hour and longer. Many of the observations were obtained contemporaneously with Transiting Exoplanet Survey Satellite (TESS) photometry. We find that the polarization varies on similar timescales to those seen in the TESS light-curve. The previously reported 1.78-day photometric periodicity is seen in both the TESS and polarization data. The amplitude ratio of photometry to polarization is ~9 for the periodic component and the polarization variation is oriented along position angle ~70 deg-160 deg. Higher-frequency stochastic variability is also seen in both datasets with an amplitude ratio of ~19 and no preferred direction. We model the polarization expected for a rotating star with bright photospheric spots and find that models that fit the photometric variation produce too little polarization variation to explain the observations. We suggest that the variable polarization is more likely the result of scattering from the wind, with corotating interaction regions producing the periodic variation and a clumpy outflow producing the stochastic component. The H$\alpha$ emission line strength was seen to increase by 10% in 2021 with subsequent observations showing a return to the pre-2018 level.


title: Allowing Growing Dimensional Binary Outcomes via the Multivariate Probit Indian Buffet Process

abstract: There is a rich literature on infinite latent feature models, with much of the focus being on the Indian Buffet Process (IBP). The current literature focuses on the case in which latent features are generated independently, so that there is no within-sample dependence in which features are selected. Motivated by ecology applications in which latent features correspond to which species are discovered in a sample, we propose a new class of dependent infinite latent feature models. Our construction starts with a probit Indian buffet process, and then incorporates dependence among features through a correlation matrix in a latent multivariate Gaussian random variable. We show that the proposed approach preserves many appealing theoretical properties of the IBP. To address the challenge of modeling and inference for a growing-dimensional correlation matrix, we propose Bayesian modeling approaches to reduce effective dimensionality. We additionally describe extensions to incorporate covariates and hierarchical structure to enable borrowing of information. For posterior inference, we describe Markov chain Monte Carlo sampling algorithms and efficient approximations. Simulation studies and applications to fungal biodiversity data provide compelling support for the new modeling class relative to competitors.


title: Regular Languages in the Sliding Window Model

abstract: We study the space complexity of the following problem: For a fixed regular language $L$, test membership of a sliding window of length $n$ to $L$ over a given stream of symbols. For deterministic streaming algorithms we prove a trichotomy theorem, namely that the (optimal) space complexity is either constant, logarithmic or linear, measured in the window length $n$. Additionally, we provide natural language-theoretic characterizations of the space classes. We then extend the results to randomized streaming algorithms and we show that in this setting, the space complexity of any regular language is either constant, doubly logarithmic, logarithmic or linear. Finally, we introduce sliding window testers, which can distinguish whether a window belongs to the language $L$ or has Hamming distance $> \epsilon n$ to $L$. We prove that every regular language has a deterministic (resp., randomized) sliding window tester that requires only logarithmic (resp., constant) space.


title: A Tale of Two Peas-In-A-Pod: The Kepler-323 and Kepler-104 Systems

abstract: In order to understand the relationship between planet multiplicity, mass, and composition, we present newly measured masses of five planets in two planetary systems: Kepler-323 and Kepler-104. We used the HIRES instrument at the W.M. Keck Observatory to collect 79 new radial velocity measurements (RVs) for Kepler-323, which we combined with 48 literature RVs from TNG/HARPS-N. We also conducted a reanalysis of the Kepler-104 system, using 44 previously published RV measurements. Kepler-323 b and c have masses of $2.0^{+1.2}_{-1.1}$ M$_\oplus$ and 6.5$\pm1.6$ M$_\oplus$, respectively, whereas the three Kepler-104 planets are more massive (10.0$\pm2.8$ M$_\oplus$, $7.1^{+3.8}_{-3.5}$ M$_\oplus$, and $5.5^{+4.6}_{-3.5}$ M$_\oplus$ for planets b, c, and d, respectively). The Kepler-104 planets have densities consistent with rocky cores overlaid with gaseous envelopes ($4.1^{+1.2}_{-1.1}$ g/cc, $2.9^{+1.7}_{-1.5}$ g/cc, and $1.6^{+1.5}_{-1.1}$ g/cc respectively), whereas the Kepler-323 planets are consistent with having rocky compositions ($4.5^{+2.8}_{-2.4}$ g/cc and $9.9^{+2.7}_{-2.5}$ g/cc). The Kepler-104 system has among the lowest values for gap complexity ($\mathcal{C}$ = 0.004) and mass partitioning ($\mathcal{Q}$ = 0.03); whereas, the Kepler-323 planets have a mass partitioning similar to that of the Inner Solar System ($\mathcal{Q}$ = 0.28 and $\mathcal{Q}$ = 0.24, respectively). For both exoplanet systems, the uncertainty in the mass partitioning is affected equally by (1) individual mass errors of the planets and (2) the possible existence of undetected low-mass planets, meaning that both improved mass characterization and improved sensitivity to low-mass planets in these systems would better elucidate the mass distribution among the planets.


title: DistriFS: A Platform and User Agnostic Approach to File Distribution

abstract: In an age where the distribution of information is crucial, current file sharing solutions suffer significant deficiencies. Popular systems such as Google Drive, torrenting and IPFS suffer issues with compatibility, accessibility and censorship. This paper introduces DistriFS, a novel decentralized approach tailored for efficient and large-scale distribution of files. The architecture of DistriFS is grounded in three foundational pillars: scalability, security, and seamless integration. The proposed server implementation harnesses the power of Golang, ensuring near-universal interoperability across operating systems and hardware. Moreover, the use of the HTTP protocol eliminates the need for additional software to access the network, ensuring compatibility across all major operating systems and facilitating effortless downloads. The design and efficacy of DistriFS represent a significant advancement in the realm of file distribution systems, offering a scalable and secure alternative to current centralized and decentralized models.


title: Transformer tricks: Precomputing the first layer

abstract: This micro-paper describes a trick to speed up inference of transformers with RoPE (such as LLaMA, Mistral, PaLM, and Gemma). For these models, a large portion of the first transformer layer can be precomputed, which results in slightly lower latency and lower cost-per-token. Because this trick optimizes only one layer, the relative savings depend on the total number of layers. For example, the maximum savings for a model with only 4 layers (such as Whisper tiny) is limited to 25%, while a 32-layer model is limited to 3% savings. See https://github.com/OpenMachine-ai/transformer-tricks for code and more transformer tricks.


title: On the sequential topological complexity of group homomorphisms

abstract: We define and develop a homotopy invariant notion for the sequential topological complexity of a map $f:X\to Y,$ denoted $TC_{r}(f)$, that interacts with $TC_{r}(X)$ and $TC_{r}(Y)$ in the same way Jamie Scott's topological complexity map $TC(f)$ interacts with $TC(X)$ and $TC(Y).$ Furthermore, we apply $TC_{r}(f)$ to studying group homomorphisms $\phi: \Gamma\to \Lambda.$ In addition, we prove that the sequential topological complexity of any nonzero homomorphism of a torsion group cannot be finite. Also, we give the characterisation of cohomological dimension of group homomorphisms.


title: Balanced Hermitian structures on twisted cartesian products

abstract: We study Hermitian structures on twisted cartesian products $(\mathfrak{g}_{(\rho_{1},\rho_{2})},\mathrm{J},\cal{K})$ of two Hermitian Lie algebras according to two representations $\rho_{1}$ and $\rho_{2}$. We give the conditions on $(\mathfrak{g}_{(\rho_{1},\rho_{2})},\mathrm{J},\cal{K})$ to be balanced and locally conformally balanced. As an application we classify six-dimensional balanced Hermitian twisted cartesian products Lie algebras.


title: De-Biasing the Bias: Methods for Improving Disparity Assessments with Noisy Group Measurements

abstract: Health care decisions are increasingly informed by clinical decision support algorithms, but these algorithms may perpetuate or increase racial and ethnic disparities in access to and quality of health care. Further complicating the problem, clinical data often have missing or poor quality racial and ethnic information, which can lead to misleading assessments of algorithmic bias. We present novel statistical methods that allow for the use of probabilities of racial/ethnic group membership in assessments of algorithm performance and quantify the statistical bias that results from error in these imputed group probabilities. We propose a sensitivity analysis approach to estimating the statistical bias that allows practitioners to assess disparities in algorithm performance under a range of assumed levels of group probability error. We also prove theoretical bounds on the statistical bias for a set of commonly used fairness metrics and describe real-world scenarios where our theoretical results are likely to apply. We present a case study using imputed race and ethnicity from the Bayesian Improved Surname Geocoding (BISG) algorithm for estimation of disparities in a clinical decision support algorithm used to inform osteoporosis treatment. Our novel methods allow policy makers to understand the range of potential disparities under a given algorithm even when race and ethnicity information is missing and to make informed decisions regarding the implementation of machine learning for clinical decision support.


title: An SEIR network epidemic model with manual and digital contact tracing allowing delays

abstract: We consider an SEIR epidemic model on a network also allowing random contacts, where recovered individuals could either recover naturally or be diagnosed. Upon diagnosis, manual contact tracing is triggered such that each infected network contact is reported, tested and isolated with some probability and after a random delay. Additionally, digital tracing (based on a tracing app) is triggered if the diagnosed individual is an app-user, and then all of its app-using infectees are immediately notified and isolated. The early phase of the epidemic with manual and/or digital tracing is approximated by different multi-type branching processes, and three respective reproduction numbers are derived. The effectiveness of both contact tracing mechanisms is numerically quantified through the reduction of the reproduction number. This shows that app-using fraction plays an essential role in the overall effectiveness of contact tracing. The relative effectiveness of manual tracing compared to digital tracing increases if: more of the transmission occurs on the network, when the tracing delay is shortened, and when the network degree distribution is heavy-tailed. For realistic values, the combined tracing case can reduce $R_0$ by $20-30\%$, so other preventive measures are needed to reduce the reproduction number down to $1.2-1.4$ for contact tracing to make it successful in avoiding big outbreaks.


title: Fairness Risks for Group-conditionally Missing Demographics

abstract: Fairness-aware classification models have gained increasing attention in recent years as concerns grow on discrimination against some demographic groups. Most existing models require full knowledge of the sensitive features, which can be impractical due to privacy, legal issues, and an individual's fear of discrimination. The key challenge we will address is the group dependency of the unavailability, e.g., people of some age range may be more reluctant to reveal their age. Our solution augments general fairness risks with probabilistic imputations of the sensitive features, while jointly learning the group-conditionally missing probabilities in a variational auto-encoder. Our model is demonstrated effective on both image and tabular datasets, achieving an improved balance between accuracy and fairness.


title: Extended surgery theory for simply-connected $4k$-manifolds

abstract: Kreck proved that two $2q$-manifolds are stably diffeomorphic if and only if they admit normally bordant normal $(q-1)$-smoothings over the same normal $(q-1)$-type $(B,\xi)$. We show that stable diffeomorphism can be replaced by diffeomorphism if the normal smoothings have isomorphic Q-forms (which consists of the intersection form of the manifold and the induced homomorphism on $H_q$), when the manifolds are simply-connected, $q=2k$ is even and $H_q(B)$ is free. This proves a special case of Crowley's Q-form conjecture. The basis of the proof is the construction of an extended surgery obstruction associated to a normal bordism. As an application, we identify the inertia group of a $(2k-1)$-connected $4k$-manifold with the kernel of a certain bordism map. By the calculations of Senger-Zhang and earlier results, these kernels are now known in all cases. For $k=2,4$, the combination of these results determines the inertia groups. We also obtain, for a simply-connected $4k$-manifold $M$ with normal $(q-1)$-type $(B,\xi)$ such that $H_q(B)$ is free, an algebraic description of the stable class of $M$, that is, the set of diffeomorphism classes of manifolds stably diffeomorphic to $M$. Using this description, we explicitly compute the stable class of manifolds $M$ with rank-$2$ hyperbolic intersection form.


title: Quantum Strategies and Economic Equilibrium

abstract: The quest for understanding the complex phenomena of the world has led to the development of various fields of science, each with its own methods, models, and assumptions. However, sometimes these fields can intersect and inspire each other, revealing new insights and perspectives that transcend the boundaries of their domains. In this paper, we explore one such fascinating intersection: the connection between economic theory and stochastic game dynamics, with applications to both firms and soccer players.


title: Hot Subdwarfs in Close Binaries Observed from Space III: Reflection Effect Asymmetry Induced by Relativistic Beaming

abstract: Detailed studies of hot subdwarf B stars with red dwarf or brown dwarf companions can shed light on the effects of binarity on late stellar evolution. Such systems exhibit a strong, quasi-sinusoidal reflection effect due to irradiation of the cool companion, and some even show primary and secondary eclipses. Here we compute Fourier transforms of TESS light curves of sdB+dM/BD binaries and investigate correlations between the relative amplitudes and phases of their harmonics and system parameters. We show that the reflection effect shape strongly depends on the orbital inclination, with nearly face-on systems having much more sinusoidal shapes than nearly edge-on systems. This information is encoded by the relative strength of the first harmonic in the Fourier transform. By comparing observations of solved systems to synthetic light curves generated by LCURVE, we find that the inclination of non-eclipsing systems with high S/N light curves can be determined to within ~10 degrees simply by measuring their orbital periods and first harmonic strengths. We also discover a slight asymmetry in the reflection effect shape of sdB+dM/BD binaries using the relative phase of the first harmonic. From our analysis of synthetic light curves, we conclude the asymmetry results from relativistic beaming of both stellar components. This marks the first time Doppler beaming has been detected in sdB+dM/BD systems. Although advanced modeling is necessary to quantify the effects of secondary parameters like limb darkening, the temperature ratio, and the radius ratio on the reflection effect shape, our pilot study demonstrates that it might be possible to extract both the inclination angle and cool companion velocity from the light curves of non-eclipsing systems.


title: Xling: A Learned Filter Framework for Accelerating High-Dimensional Approximate Similarity Join

abstract: Similarity join finds all pairs of close points within a given distance threshold. Many similarity join methods have been proposed, but they are usually not efficient on high-dimensional space due to the curse of dimensionality and data-unawareness. We investigate the possibility of using metric space Bloom filter (MSBF), a family of data structures checking if a query point has neighbors in a multi-dimensional space, to speed up similarity join. However, there are several challenges when applying MSBF to similarity join, including excessive information loss, data-unawareness and hard constraint on the distance metric. In this paper, we propose Xling, a generic framework to build a learning-based metric space filter with any existing regression model, aiming at accurately predicting whether a query point has enough number of neighbors. The framework provides a suite of optimization strategies to further improve the prediction quality based on the learning model, which has demonstrated significantly higher prediction quality than existing MSBF. We also propose XJoin, one of the first filter-based similarity join methods, based on Xling. By predicting and skipping those queries without enough neighbors, XJoin can effectively reduce unnecessary neighbor searching and therefore it achieves a remarkable acceleration. Benefiting from the generalization capability of deep learning models, XJoin can be easily transferred onto new dataset (in similar distribution) without re-training. Furthermore, Xling is not limited to being applied in XJoin, instead, it acts as a flexible plugin that can be inserted to any loop-based similarity join methods for a speedup.


title: Coherent evolution of superexchange interaction in seconds long optical clock spectroscopy

abstract: Measurement science now connects strongly with engineering of quantum coherence, many-body states, and entanglement. To scale up the performance of an atomic clock using a degenerate Fermi gas loaded in a three-dimensional optical lattice, we must understand complex many-body Hamiltonians to ensure meaningful gains for metrological applications. In this work, we use a near unity filled Sr 3D lattice to study the effect of a tunable Fermi-Hubbard Hamiltonian. The clock laser introduces a spin-orbit coupling spiral phase and breaks the isotropy of superexchange interactions, changing the Heisenberg spin model into one exhibiting XXZ-type spin anisotropy. By tuning the lattice confinement and applying imaging spectroscopy we map out favorable atomic coherence regimes. With weak transverse confinement, both s- and p-wave interactions contribute to decoherence and atom loss, and their contributions can be balanced. At deep transverse confinement, we directly observe coherent superexchange interactions, tunable via on-site interaction and site-to-site energy shift, on the clock Ramsey fringe contrast over timescales of multiple seconds. This study provides a groundwork for using a 3D optical lattice clock to probe quantum magnetism and spin entanglement


title: Learning and Sustaining Shared Normative Systems via Bayesian Rule Induction in Markov Games

abstract: A universal feature of human societies is the adoption of systems of rules and norms in the service of cooperative ends. How can we build learning agents that do the same, so that they may flexibly cooperate with the human institutions they are embedded in? We hypothesize that agents can achieve this by assuming there exists a shared set of norms that most others comply with while pursuing their individual desires, even if they do not know the exact content of those norms. By assuming shared norms, a newly introduced agent can infer the norms of an existing population from observations of compliance and violation. Furthermore, groups of agents can converge to a shared set of norms, even if they initially diverge in their beliefs about what the norms are. This in turn enables the stability of the normative system: since agents can bootstrap common knowledge of the norms, this leads the norms to be widely adhered to, enabling new entrants to rapidly learn those norms. We formalize this framework in the context of Markov games and demonstrate its operation in a multi-agent environment via approximately Bayesian rule induction of obligative and prohibitive norms. Using our approach, agents are able to rapidly learn and sustain a variety of cooperative institutions, including resource management norms and compensation for pro-social labor, promoting collective welfare while still allowing agents to act in their own interests.


title: The Dimension of Self-Directed Learning

abstract: Understanding the self-directed learning complexity has been an important problem that has captured the attention of the online learning theory community since the early 1990s. Within this framework, the learner is allowed to adaptively choose its next data point in making predictions unlike the setting in adversarial online learning. In this paper, we study the self-directed learning complexity in both the binary and multi-class settings, and we develop a dimension, namely $SDdim$, that exactly characterizes the self-directed learning mistake-bound for any concept class. The intuition behind $SDdim$ can be understood as a two-player game called the "labelling game". Armed with this two-player game, we calculate $SDdim$ on a whole host of examples with notable results on axis-aligned rectangles, VC dimension $1$ classes, and linear separators. We demonstrate several learnability gaps with a central focus on self-directed learning and offline sequence learning models that include either the best or worst ordering. Finally, we extend our analysis to the self-directed binary agnostic setting where we derive upper and lower bounds.


title: Dissipative solutions to the model of a general compressible viscous fluid with the Coulomb friction law boundary condition

abstract: We study a model of a general compressible viscous fluid subject to the Coulomb friction law boundary condition. For this model, we introduce a dissipative formulation and prove the existence of dissipative solutions. The proof of this result consists of a three-level approximation method: A Galerkin approximation, the classical parabolic regularization of the continuity equation as well as convex regularizations of the potential generating the viscous stress and the boundary terms incorporating the Coulomb friction law into the dissipative formulation. This approach combines the techniques already known from the proof of the existence of dissipative solutions to a model of general compressible viscous fluids under inflow-outflow boundary conditions as well as the proof of the existence of a weak solution to the incompressible Navier-Stokes equations under the Coulomb friction law boundary condition. It is the first time that this type of boundary condition is considered in the case of compressible flow.


title: Towards accelerating physical discovery via non-interactive and interactive multi-fidelity Bayesian Optimization: Current challenges and future opportunities

abstract: Both computational and experimental material discovery bring forth the challenge of exploring multidimensional and often non-differentiable parameter spaces, such as phase diagrams of Hamiltonians with multiple interactions, composition spaces of combinatorial libraries, processing spaces, and molecular embedding spaces. Often these systems are expensive or time-consuming to evaluate a single instance, and hence classical approaches based on exhaustive grid or random search are too data intensive. This resulted in strong interest towards active learning methods such as Bayesian optimization (BO) where the adaptive exploration occurs based on human learning (discovery) objective. However, classical BO is based on a predefined optimization target, and policies balancing exploration and exploitation are purely data driven. In practical settings, the domain expert can pose prior knowledge on the system in form of partially known physics laws and often varies exploration policies during the experiment. Here, we explore interactive workflows building on multi-fidelity BO (MFBO), starting with classical (data-driven) MFBO, then structured (physics-driven) sMFBO, and extending it to allow human in the loop interactive iMFBO workflows for adaptive and domain expert aligned exploration. These approaches are demonstrated over highly non-smooth multi-fidelity simulation data generated from an Ising model, considering spin-spin interaction as parameter space, lattice sizes as fidelity spaces, and the objective as maximizing heat capacity. Detailed analysis and comparison show the impact of physics knowledge injection and on-the-fly human decisions for improved exploration, current challenges, and potential opportunities for algorithm development with combining data, physics and real time human decisions.


title: On extremal values of some degree-based topological indices with a forbidden or a prescribed subgraph

abstract: Xu in 2011 determined the largest value of the second Zagreb index in an $n$-vertex graph $G$ with clique number $k$, and also the smallest value with the additional assumption that $G$ is connected. We extend these results to other degree-based topological indices. The key property of the clique number in the first result is that $G$ is $K_{k+1}$-free, while the key property in the second result is that $G$ contains a $K_{k+1}$. We also extend our investigations to other forbidden/prescribed subgraphs. Our main tool is showing that several degree-based topological indices are equal to the weighted sum of the number of some subgraphs of $G$.


title: Layout-to-Image Generation with Localized Descriptions using ControlNet with Cross-Attention Control

abstract: While text-to-image diffusion models can generate highquality images from textual descriptions, they generally lack fine-grained control over the visual composition of the generated images. Some recent works tackle this problem by training the model to condition the generation process on additional input describing the desired image layout. Arguably the most popular among such methods, ControlNet, enables a high degree of control over the generated image using various types of conditioning inputs (e.g. segmentation maps). However, it still lacks the ability to take into account localized textual descriptions that indicate which image region is described by which phrase in the prompt. In this work, we show the limitations of ControlNet for the layout-to-image task and enable it to use localized descriptions using a training-free approach that modifies the crossattention scores during generation. We adapt and investigate several existing cross-attention control methods in the context of ControlNet and identify shortcomings that cause failure (concept bleeding) or image degradation under specific conditions. To address these shortcomings, we develop a novel cross-attention manipulation method in order to maintain image quality while improving control. Qualitative and quantitative experimental studies focusing on challenging cases are presented, demonstrating the effectiveness of the investigated general approach, and showing the improvements obtained by the proposed cross-attention control method.


title: A Unified Taxonomy-Guided Instruction Tuning Framework for Entity Set Expansion and Taxonomy Expansion

abstract: Entity set expansion, taxonomy expansion, and seed-guided taxonomy construction are three representative tasks that aim to automatically populate an existing taxonomy with new concepts. Previous studies view them as three separate tasks, and the proposed methods usually only work for one specific task, which lack generalizability and a holistic perspective across different tasks. In this paper, we aim to discover a unified solution to all three tasks. To be specific, we identify two common skills needed for entity set expansion, taxonomy expansion, and seed-guided taxonomy construction: finding "siblings" and finding "parents". We introduce a taxonomy-guided instruction tuning framework to teach a large language model to generate siblings and parents for query entities, where the joint pre-training process facilitates the mutual enhancement of these two skills. Extensive experiments on multiple benchmark datasets demonstrate the efficacy of our proposed TaxoInstruct framework, which outperforms task-specific baselines across all three tasks.


title: The depth-weight compatibility on the motivic fundamental Lie algebra and the Bloch-Kato conjecture for modular forms

abstract: Let $p$ be a prime number and let $V$ be a continuous representation of $\mathrm{Gal}(\overline {\mathbf Q}/\mathbf Q)$ on a finite dimensional $\mathbf Q_p$-vector space, which is geometric. One of the Bloch-Kato conjectures for $V$ predicts that the rank of the Hasse-Weil $L$-function of $V$ at $s=0$ coincides with the rank of Blcoh-Kato Selmer group of $V^\vee(1)$. In this paper, we prove that the depth-weight compatibility on the fundamental Lie algebra of the mixed Tate motives over $\mathbf Z$ implies the Bloch-Kato conjecture for the $p$-adic Galois representations associated with full-level Hecke eigen cuspforms.