title: Optimal control transport of neutral atoms in optical tweezers at finite temperature

abstract: The transport of neutral atoms in Rydberg quantum computers is a crucial step of the initial arrangement of the grid as well as to the dynamic connectivity, recently successfully demonstrated. We study the application of optimal control and the quantum speed limit for the transport of neutral atoms in optical tweezers at finite temperatures and analyze how laser noise affects transport fidelity. Open-loop optimal control significantly enhances transport fidelity, achieving an improvement up to $89\%$ for the lowest analyzed temperature of $1\,\mu$K for a distance of three micrometers. Furthermore, we simulate how the transport fidelity behaves in release-and-capture measurements, which are realizable in the experiment to estimate transport efficiency and implement closed-loop optimal control.


title: Quantum anomalous Hall crystal at fractional filling of moir\'e superlattices

abstract: We predict the emergence a state of matter with intertwined ferromagnetism, charge order and topology in fractionally filled moir\'e superlattice bands. Remarkably, these quantum anomalous Hall crystals exhibit a quantized integer Hall conductance that is different than expected from the filling and Chern number of the band. Microscopic calculations show that this phase is robustly favored at half-filling ($\nu=1/2$) at larger twist angles of the twisted semiconductor bilayer $t$MoTe$_2$


title: Scaling quantum computing with dynamic circuits

abstract: Quantum computers process information with the laws of quantum mechanics. Current quantum hardware is noisy, can only store information for a short time, and is limited to a few quantum bits, i.e., qubits, typically arranged in a planar connectivity. However, many applications of quantum computing require more connectivity than the planar lattice offered by the hardware on more qubits than is available on a single quantum processing unit (QPU). Here we overcome these limitations with error mitigated dynamic circuits and circuit-cutting to create quantum states requiring a periodic connectivity employing up to 142 qubits spanning multiple QPUs connected in real-time with a classical link. In a dynamic circuit, quantum gates can be classically controlled by the outcomes of mid-circuit measurements within run-time, i.e., within a fraction of the coherence time of the qubits. Our real-time classical link allows us to apply a quantum gate on one QPU conditioned on the outcome of a measurement on another QPU which enables a modular scaling of quantum hardware. Furthermore, the error mitigated control-flow enhances qubit connectivity and the instruction set of the hardware thus increasing the versatility of our quantum computers. Dynamic circuits and quantum modularity are thus key to scale quantum computers and make them useful.


title: Stable LM 2 1.6B Technical Report

abstract: We introduce StableLM 2 1.6B, the first in a new generation of our language model series. In this technical report, we present in detail the data and training procedure leading to the base and instruction-tuned versions of StableLM 2 1.6B. The weights for both models are available via Hugging Face for anyone to download and use. The report contains thorough evaluations of these models, including zero- and few-shot benchmarks, multilingual benchmarks, and the MT benchmark focusing on multi-turn dialogues. At the time of publishing this report, StableLM 2 1.6B was the state-of-the-art open model under 2B parameters by a significant margin. Given its appealing small size, we also provide throughput measurements on a number of edge devices. In addition, we open source several quantized checkpoints and provide their performance metrics compared to the original model.


title: Black Holes in Multi-Metric Gravity

abstract: We construct a wide class of black hole solutions to the general theory of ghost free multi-metric gravity in arbitrary spacetime dimension, extending and generalising the known results in 4-dimensional dRGT massive gravity and bigravity. The solutions are split into three generic classes based on whether the metrics can be simultaneously diagonalised - one of which does not exist in dRGT massive gravity nor bigravity, and is only possible when one has more than two interacting metric fields. We also linearise the general multi-metric theory to determine the dynamics of the massive spin-2 modes, including examples where this can be done analytically, and use the linear theory to discuss the stability of the 4-dimensional multi-Schwarzchild and multi-Kerr solutions. We explain how the instabilities that plague these solutions in dRGT massive gravity and bigravity carry across to the general multi-metric theory, touching upon ideas of dimensional deconstruction to make sense of the results.


title: Considerations for End-User Development in the Caregiving Domain

abstract: As service robots become more capable of autonomous behaviors, it becomes increasingly important to consider how people communicate with a robot what task it should perform and how to do the task. Accordingly, there has been a rise in attention to end-user development (EUD) interfaces, which enable non-roboticist end users to specify tasks for autonomous robots to perform. However, state-of-the-art EUD interfaces are often constrained through simplified domains or restrictive end-user interaction. Motivated by prior qualitative design work that explores how to integrate a care robot in an assisted living community, we discuss the challenges of EUD in this complex domain. One set of challenges stems from different user-facing representations, e.g., certain tasks may lend themselves better to rule-based trigger-action representations, whereas other tasks may be easier to specify via sequences of actions. The other stems from considering the needs of multiple stakeholders, e.g., caregivers and residents of the facility may all create tasks for the robot, but the robot may not be able to share information about all tasks with all residents due to privacy concerns. We present scenarios that illustrate these challenges and also discuss possible solutions.


title: Unveiling [CII] clumps in a lensed star-forming galaxy at z ~ 3.4

abstract: Observations at UV and optical wavelengths have revealed that galaxies at z~1-4 host star-forming regions, dubbed "clumps", which are believed to form due to the fragmentation of gravitationally unstable, gas-rich disks. However, the detection of the parent molecular clouds that give birth to such clumps is still possible only in a minority of galaxies, mostly at z~1. We investigated the [CII] and dust morphology of a z~3.4 lensed galaxy hosting four clumps detected in the UV continuum. We aimed to observe the [CII] emission of individual clumps that, unlike the UV, is not affected by dust extinction, to probe their nature and cold gas content. We conducted ALMA observations probing scales down to ~300 pc and detected three [CII] clumps. One (dubbed "NE") coincides with the brightest UV clump, while the other two ("SW" and "C") are not detected in the UV continuum. We do not detect the dust continuum. We converted the [CII] luminosity of individual clumps into molecular gas mass and found Mmol~10^8 Msun. By complementing it with the star formation rate (SFR) estimate from the UV continuum, we estimated the gas depletion time (tdep) of clumps and investigated their location in the Schmidt-Kennicutt plane. While the NE clump has a short tdep=0.16 Gyr, comparable with high-redshift starbursts, the SW and C clumps instead have longer tdep>0.65 Gyr and are likely probing the initial phases of star formation. The lack of dust continuum detection is consistent with the blue UV continuum slope estimated for this galaxy (beta~-2.5) and it indicates that dust inhomogeneities do not significantly affect the detection of UV clumps in this target. We pushed the observation of the cold gas content of individual clumps up to z~3.4 and showed that the [C II] line emission is a promising tracer of molecular clouds at high redshift, allowing the detection of clumps with a large range of depletion times.


title: Personalizing Smart Home Privacy Protection With Individuals' Regulatory Focus: Would You Preserve or Enhance Your Information Privacy?

abstract: In this study, we explore the effectiveness of persuasive messages endorsing the adoption of a privacy protection technology (IoT Inspector) tailored to individuals' regulatory focus (promotion or prevention). We explore if and how regulatory fit (i.e., tuning the goal-pursuit mechanism to individuals' internal regulatory focus) can increase persuasion and adoption. We conducted a between-subject experiment (N = 236) presenting participants with the IoT Inspector in gain ("Privacy Enhancing Technology" -- PET) or loss ("Privacy Preserving Technology" -- PPT) framing. Results show that the effect of regulatory fit on adoption is mediated by trust and privacy calculus processes: prevention-focused users who read the PPT message trust the tool more. Furthermore, privacy calculus favors using the tool when promotion-focused individuals read the PET message. We discuss the contribution of understanding the cognitive mechanisms behind regulatory fit in privacy decision-making to support privacy protection.


title: On the codimension of permanental varieties

abstract: In this article, we study permanental varieties, i.e. varieties defined by the vanishing of permanents of fixed size of a generic matrix. Permanents and their varieties play an important, and sometimes poorly understood, role in combinatorics. However, there are essentially no geometric results about them in the literature, in very sharp contrast to the well-behaved and ubiquitous case of determinants and minors. Motivated by the study of the singular locus of the permanental hypersurface, we focus on the codimension of these varieties. We introduce a $\mathbb C^{*}$-action on matrices and prove a number of results. In particular, we improve a lower bound on the codimension of the aforementioned singular locus established by von zur Gathen in 1987.


title: Follow My Instruction and Spill the Beans: Scalable Data Extraction from Retrieval-Augmented Generation Systems

abstract: Retrieval-Augmented Generation (RAG) improves pre-trained models by incorporating external knowledge at test time to enable customized adaptation. We study the risk of datastore leakage in Retrieval-In-Context RAG Language Models (LMs). We show that an adversary can exploit LMs' instruction-following capabilities to easily extract text data verbatim from the datastore of RAG systems built with instruction-tuned LMs via prompt injection. The vulnerability exists for a wide range of modern LMs that span Llama2, Mistral/Mixtral, Vicuna, SOLAR, WizardLM, Qwen1.5, and Platypus2, and the exploitability exacerbates as the model size scales up. Extending our study to production RAG models GPTs, we design an attack that can cause datastore leakage with a 100% success rate on 25 randomly selected customized GPTs with at most 2 queries, and we extract text data verbatim at a rate of 41% from a book of 77,000 words and 3% from a corpus of 1,569,000 words by prompting the GPTs with only 100 queries generated by themselves.


title: Positroid envelopes and graphic positroids

abstract: Positroids are matroids realizable by real matrices with all nonnegative maximal minors. They partition the ordered matroids into equivalence classes, called positroid envelope classes, by their Grassmann necklaces. We give an explicit graph construction that shows that every positroid envelope class contains a graphic matroid. We show that the following classes of positroids are equivalent: graphic, binary, and regular, and that a graphic positroid is the unique matroid in its positroid envelope class. Finally, we show that every graphic positroid has an oriented graph representable by a signed incidence matrix with all nonnegative minors.


title: Public Goods Games in Disease Evolution and Spread

abstract: Cooperation arises in nature at every scale, from within cells to entire ecosystems. In the framework of evolutionary game theory, public goods games (PGGs) are used to analyse scenarios where individuals can cooperate or defect, and can predict when and how these behaviours emerge. However, too few examples motivate the transferal of knowledge from one application of PGGs to another. Here, we focus on PGGs arising in disease modelling of cancer evolution and the spread of infectious diseases. We use these two systems as case studies for the development of the theory and applications of PGGs, which we succinctly review and compare. We also posit that applications of evolutionary game theory to decision-making in cancer, such as interactions between a clinician and a tumour, can learn from the PGGs studied in epidemiology, where cooperative behaviours such as quarantine and vaccination compliance have been more thoroughly investigated. Furthermore, instances of cellular-level cooperation observed in cancers point to a corresponding area of potential interest for modellers of other diseases, be they viral, bacterial or otherwise. We aim to demonstrate the breadth of applicability of PGGs in disease modelling while providing a starting point for those interested in quantifying cooperation arising in healthcare.


title: Efficient simulations of Hartree--Fock equations by an accelerated gradient descent method

abstract: We develop convergence acceleration procedures that enable a gradient descent-type iteration method to efficiently simulate Hartree--Fock equations for atoms interacting both with each other and with an external potential. Our development focuses on three aspects: (i) optimization of a parameter in the preconditioning operator; (ii) adoption of a technique that eliminates the slowest-decaying mode to the case of many equations (describing many atoms); and (iii) a novel extension of the above technique that allows one to eliminate multiple modes simultaneously. We illustrate performance of the numerical method for the 2D model of the first layer of helium atoms above a graphene sheet. We demonstrate that incorporation of aspects (i) and (ii) above into the ``plain" gradient descent method accelerates it by at least two orders of magnitude, and often by much more. Aspect (iii) -- a multiple-mode elimination -- may bring further improvement to the convergence rate compared to aspect (ii), the single-mode elimination. Both single- and multiple-mode elimination techniques are shown to significantly outperform the well-known Anderson Acceleration. We believe that our acceleration techniques can also be gainfully employed by other numerical methods, especially those handling hard-core-type interaction potentials.


title: Renormalisation of postquantum-classical gravity

abstract: One of the obstacles to reconciling quantum theory with general relativity, is constructing a theory which is both consistent with observation, and and gives finite answers at high energy, so that the theory holds at arbitrarily short distances. Quantum field theory achieves this through the process of renormalisation, but famously, perturbative quantum gravity fails to be renormalisable. Recently, an alternative to quantum gravity has been proposed, in which the geometry of spacetime is taken to be classical rather than quantum, while still being coupled to quantum matter fields. This can be done consistently, provided that the dynamics is fundamentally stochastic. Here, we show that this theory is renormalisable in the gravitational degrees of freedom. We do so via the path integral formulation by relating the classical-quantum action to that of quadratic gravity. Because the action induces stochastic dynamics of spacetime, rather than deterministic evolution of a quantum field, the theory is able to remain renormalisable, while being free of tachyons and negative norm ghosts. The scale invariant and asymptotically free theory appears to be favoured through considerations of complete positivity. The results presented here have a number of implications for inflation, CMB data, and experiments to test the quantum nature of spacetime. They also point to a possible resolution of the black hole singularity.


title: The cold interstellar medium of a normal sub-$L^\star$ galaxy at the end of reionization

abstract: We present the results of a ~60-hr observational campaign with ALMA targeting a spectroscopically confirmed and lensed sub-$L^\star$ galaxy at z=6.07, identified during the ALMA Lensing Cluster Survey (ALCS). We sample the dust continuum emission from rest frame 90 to 370 $\mu$m at six different frequencies and set constraining upper limits on the molecular gas line emission and content via CO(7-6) and [CI](2-1) for two lensed images with $\mu\gtrsim20$. Complementing these sub-mm observations with deep optical and near-IR photometry and spectroscopy with JWST, we find this galaxy to form stars at a rate of SFR~7 Msun/yr, ~50-70% of which is obscured by dust. This is consistent with what is expected for a $M_\star$~7.5$\times10^{8}$ Msun object by extrapolating the $M_\star$-obscured SFR fraction relation at z<2.5 and with observations at 5<z<7. The dust temperature of ~50K is similar to that of more massive galaxies at similar redshifts, although with large uncertainties and with possible negative gradients. We measure a dust mass of $M_{\rm dust}$~1.5$\times10^6$ Msun and, by combining [CI], [CII], and a dynamical estimate, a gas mass of ~2$\times10^9$ Msun. Their ratio is in good agreement with the predictions from models in the literature. The $M_{\rm dust}$/$M_\star$ fraction of ~0.002 and the young stellar age are consistent with dust production via supernovae. Also, models predict a number density of galaxies with $M_{\rm dust}\sim10^{6}$ Msun at z=6 in agreement with our estimate from the parent ALCS survey. The combination of lensing and multiwavelength observations allow us to probe luminosity regimes up to two orders of magnitude lower than what has been explored so far for field galaxies at similar redshifts. Our results serve as a benchmark for future observations of faint sub-$L^\star$ galaxy population that might have driven the reionization of the Universe. [Abridged]


title: On the Parameterized Complexity of Motion Planning for Rectangular Robots

abstract: We study computationally-hard fundamental motion planning problems where the goal is to translate $k$ axis-aligned rectangular robots from their initial positions to their final positions without collision, and with the minimum number of translation moves. Our aim is to understand the interplay between the number of robots and the geometric complexity of the input instance measured by the input size, which is the number of bits needed to encode the coordinates of the rectangles' vertices. We focus on axis-aligned translations, and more generally, translations restricted to a given set of directions, and we study the two settings where the robots move in the free plane, and where they are confined to a bounding box. We obtain fixed-parameter tractable (FPT) algorithms parameterized by $k$ for all the settings under consideration. In the case where the robots move serially (i.e., one in each time step) and axis-aligned, we prove a structural result stating that every problem instance admits an optimal solution in which the moves are along a grid, whose size is a function of $k$, that can be defined based on the input instance. This structural result implies that the problem is fixed-parameter tractable parameterized by $k$. We also consider the case in which the robots move in parallel (i.e., multiple robots can move during the same time step), and which falls under the category of Coordinated Motion Planning problems. Finally, we show that, when the robots move in the free plane, the FPT results for the serial motion case carry over to the case where the translations are restricted to any given set of directions.


title: Mitigating Barriers to Public Social Interaction with Meronymous Communication

abstract: In communities with social hierarchies, fear of judgment can discourage communication. While anonymity may alleviate some social pressure, fully anonymous spaces enable toxic behavior and hide the social context that motivates people to participate and helps them tailor their communication. We explore a design space of meronymous communication, where people can reveal carefully chosen aspects of their identity and also leverage trusted endorsers to gain credibility. We implemented these ideas in a system for scholars to meronymously seek and receive paper recommendations on Twitter and Mastodon. A formative study with 20 scholars confirmed that scholars see benefits to participating but are deterred due to social anxiety. From a month-long public deployment, we found that with meronymity, junior scholars could comfortably ask ``newbie'' questions and get responses from senior scholars who they normally found intimidating. Responses were also tailored to the aspects about themselves that junior scholars chose to reveal.


title: Looking for Complexity at Phase Boundaries in Continuous Cellular Automata

abstract: One key challenge in Artificial Life is designing systems that display an emergence of complex behaviors. Many such systems depend on a high-dimensional parameter space, only a small subset of which displays interesting dynamics. Focusing on the case of continuous systems, we introduce the 'Phase Transition Finder'(PTF) algorithm, which can be used to efficiently generate parameters lying at the border between two phases. We argue that such points are more likely to display complex behaviors, and confirm this by applying PTF to Lenia showing it can increase the frequency of interesting behaviors more than two-fold, while remaining efficient enough for large-scale searches.


title: Bijections and congruences involving lattice paths and integer compositions

abstract: We prove new bijections between different variants of Dyck paths and integer compositions, which give combinatorial explanations of their simple counting formula $4^{n-1}$. These give relations between different statistics, such as the number of crossings of the $x$-axis in classes of Dyck bridges or the distribution of peaks in classes of Dyck paths, and furthermore relate them with $k$- and $g$-compositions. These allow us to find and prove congruence results for Dyck paths and parity results for compositions. Our investigation uncovers unexpected connections to mock theta functions, Hardinian arrays, little Schr\"oder paths, Fibonacci numbers, and irreducible pairs of compositions, offering new insights into the structures of paths, partitions and compositions.


title: Relation between the minimal Lorentz surfaces in $\mathbb R^4_2$ and $\mathbb R^3_1$

abstract: In this paper we give Weierstrass-type representation formulas for the null curves and for the minimal Lorentz surfaces in the Minkowski 3-space $\mathbb R^3_1$ using real-valued functions. Applying the Weierstrass-type representations for the null curves, we find a correspondence between the null curves in $\mathbb R^4_2$ and the pairs of null curves in $\mathbb R^3_1$. Based on this correspondence, we obtain a relation between the minimal Lorentz surfaces in $\mathbb R^4_2$ and the pairs of minimal Lorentz surfaces in $\mathbb R^3_1$.


title: A possible relation between global CO excitation and massive molecular outflows in local ULIRGs

abstract: Local ULIRGs host ubiquitous molecular outflows, including the most massive and powerful ever detected. These sources have also exceptionally excited global, galaxy-integrated CO ladders. A connection between outflows and molecular gas excitation has however never been established, since previous multi-J CO surveys were limited in spectral resolution and sensitivity and so could only probe the global molecular gas conditions. We address this question using new, ground-based, sensitive heterodyne spectroscopy of multiple CO rotational lines (up to CO(7-6)) in a sample of 17 local ULIRGs. We used the APEX telescope to survey the CO($J_{up}\geq4$) lines at a high signal-to-noise ratio, and complemented these data with CO($J_{up}\leq3$) observations presented in Montoya Arroyave et al. (2023). We detected 74 (out of 75) CO lines, with up to six transitions per source. Some CO SLEDs peak at $J_{up}\sim3,4$, which we classify as 'lower excitation', while others plateau or keep increasing up to the highest-J CO transition probed, and we classify these as 'higher excitation'. Our analysis includes the results of CO SLED fits performed with a single large velocity gradient component, but our main focus is the investigation of possible links between global CO excitation and the presence of broad and/or high-velocity CO spectral components that can contain outflowing gas. We discovered an increasing trend of line width as a function of $J_{up}$ of the CO transition, which is significant at the $4\sigma$ level and appears to be driven by the eight sources classified as 'higher excitation'. For such ULIRGs we found that the CO ladders are more excited for spectral components characterised by higher velocities and/or velocity dispersion. We favour an interpretation whereby the highly excited CO-emitting gas in ULIRGs resides in galactic-scale massive molecular outflows.


title: Descending finite projective modules from a Novikov ring

abstract: We prove a descent result for finite projective modules, motivated by a question in perfectoid geometry. Given a commutative ring $A$, we formulate a descent problem for descending a finite projective module over the Novikov ring with coefficients in $A$ to a finite projective module over $A$. The main theorem of this paper is that all such descent data are effective. As an application, we prove for every perfect $\mathbb{F}_p$-algebra $A$, a vector bundle on $\operatorname{Spd} A$ always descends to a vector bundle on $\operatorname{Spec} A$.


title: Latent Neural PDE Solver: a reduced-order modelling framework for partial differential equations

abstract: Neural networks have shown promising potential in accelerating the numerical simulation of systems governed by partial differential equations (PDEs). Different from many existing neural network surrogates operating on high-dimensional discretized fields, we propose to learn the dynamics of the system in the latent space with much coarser discretizations. In our proposed framework - Latent Neural PDE Solver (LNS), a non-linear autoencoder is first trained to project the full-order representation of the system onto the mesh-reduced space, then a temporal model is trained to predict the future state in this mesh-reduced space. This reduction process simplifies the training of the temporal model by greatly reducing the computational cost accompanying a fine discretization. We study the capability of the proposed framework and several other popular neural PDE solvers on various types of systems including single-phase and multi-phase flows along with varying system parameters. We showcase that it has competitive accuracy and efficiency compared to the neural PDE solver that operates on full-order space.


title: Status and plans for the instrumentation of the IceCube Surface Array Enhancement

abstract: The surface array of IceCube, IceTop, operates primarily as a cosmic-ray detector, as well as a veto for astrophysical neutrino searches for the IceCube in-ice instrumentation. However, the snow accumulation on top of the IceTop detectors increases the detection threshold and attenuates the measured IceTop signals. Enhancing IceTop by a hybrid array of scintillation detectors and radio antennas will lower the energy threshold for air-shower measurements, provide more efficient veto capabilities, enable more accurate cosmic-ray measurements, and improve the detector calibration by compensating for snow accumulation. After the initial commissioning period, a prototype station at the South Pole has been recording air-shower data and has successfully observed coincident events of both the scintillation detectors and the radio antennas with the IceTop array. The production and calibration of the detectors for the full planned array has been ongoing. Additionally, one station each has been installed at the Pierre Auger Observatory and the Telescope Array for further R\&D of these detectors in different environmental conditions. This contribution will present the status and future plans of the hybrid detector stations for the IceCube Surface Array Enhancement.


title: Refined Absorption: A New Proof of the Existence Conjecture

abstract: The study of combinatorial designs has a rich history spanning nearly two centuries. In a recent breakthrough, the notorious Existence Conjecture for Combinatorial Designs dating back to the 1800s was proved in full by Keevash via the method of randomized algebraic constructions. Subsequently Glock, K\"{u}hn, Lo, and Osthus provided an alternate purely combinatorial proof of the Existence Conjecture via the method of iterative absorption. We introduce a novel method of refined absorption for designs; here as our first application of the method we provide a new alternate proof of the Existence Conjecture (assuming the existence of $K_q^r$-absorbers by Glock, K\"{u}hn, Lo, and Osthus).


title: Proof of the High Girth Existence Conjecture via Refined Absorption

abstract: We prove the High Girth Existence Conjecture - the common generalization of the Existence Conjecture for Combinatorial Designs originating from the 1800s and Erd\H{o}s' Conjecture from 1973 on the Existence of High Girth Steiner Triple Systems.


title: Clique Decompositions in Random Graphs via Refined Absorption

abstract: We prove that if $p\ge n^{-\frac{1}{3}+\beta}$ for some $\beta > 0$, then asymptotically almost surely the binomial random graph $G(n,p)$ has a $K_3$-packing containing all but at most $n + O(1)$ edges. Similarly, we prove that if $d \ge n^{\frac{2}{3}+\beta}$ for some $\beta > 0$ and $d$ is even, then asymptotically almost surely the random $d$-regular graph $G_{n,d}$ has a triangle decomposition provided $3 \mid d \cdot n$. We also show that $G(n,p)$ admits a fractional $K_3$-decomposition for such a value of $p$. We prove analogous versions for a $K_q$-packing of $G(n,p)$ with $p\ge n^{-\frac{1}{q+0.5}+\beta}$ and leave of $(q-2)n+O(1)$ edges, for $K_q$-decompositions of $G_{n,d}$ with $(q-1)~|~d$ and $d\ge n^{1-\frac{1}{q+0.5}+\beta}$ provided $q\mid d\cdot n$, and for fractional $K_q$-decompositions.


title: Thresholds for $(n,q,2)$-Steiner Systems via Refined Absorption

abstract: We prove that if $p \geq n^{-(q-6)/2}$, then asymptotically almost surely the binomial random $q$-uniform hypergraph $G^{(q)}(n,p)$ contains an $(n,q,2)$-Steiner system, provided $n$ satisfies the necessary divisibility conditions.


title: Weak scale supersymmetry emergent from the string landscape

abstract: Superstring flux compactifications can stabilize all moduli while leading to an enormous number of vacua solutions, each leading to different $4-d$ laws of physics. While the string landscape provides at present the only plausible explanation for the size of the cosmological constant, it may also predict the form of weak scale supersymmetry which is expected to emerge. Rather general arguments suggest a power-law draw to large soft terms, but these are subject to an anthropic selection of not-too-large a value for the weak scale. The combined selection allows one to compute relative probabilities for the emergence of supersymmetric models from the landscape. Models with weak scale naturalness appear most likely to emerge since they have the largest parameter space on the landscape. For finetuned models such as high scale SUSY or split SUSY, the required weak scale finetuning shrinks their parameter space to tiny volumes, making them much less likely to appear compared to natural models. Probability distributions for sparticle and Higgs masses from natural models show a preference for Higgs mass $m_h\sim 125$ GeV with sparticles typically beyond present LHC limits, in accord with data. From these considerations, we briefly describe how natural SUSY is expected to be revealed at future LHC upgrades. This article is a contribution to the Special Edition of the journal {\it Entropy} honoring Paul Frampton on his 80th birthday.


title: Performance limits of information engines

abstract: We review recent studies of a colloidal information engine that consists of a bead in water and held by an optical trap. The bead is ratcheted upward without any apparent external work, by taking advantage of favorable thermal fluctuations. Much of the previous work on such engines aimed to show that accounting for information-processing costs can reconcile the observed motion with the second law of thermodynamics. By contrast, we focus on the factors that limit the performance of such engines by optimizing variously the upward velocity, rate of gravitational free-energy extraction, or ability to track a trajectory. We then consider measurement noise, which degrades engine performance. A naive use of noisy measurements in the feedback algorithm leads to a phase transition at finite signal-to-noise ratio: below the transition, the engine no longer functions. A more sophisticated, `Bayesian' algorithm eliminates the phase transition and improves performance. Finally, operating the information engine in a nonequilibrium environment with extra force fluctuations can enhance the performance by orders of magnitude, even to the point where the energy extracted exceeds that needed to run the information processing. Autonomous implementations of an information engine in such environments could be powered entirely by the additional energy of the bath.


title: Towards AI Accountability Infrastructure: Gaps and Opportunities in AI Audit Tooling

abstract: Audits are critical mechanisms for identifying the risks and limitations of deployed artificial intelligence (AI) systems. However, the effective execution of AI audits remains incredibly difficult. As a result, practitioners make use of various tools to support their efforts. Drawing on interviews with 35 AI audit practitioners and a landscape analysis of 390 tools, we map the current ecosystem of available AI audit tools. While there are many tools designed to assist practitioners with setting standards and evaluating AI systems, these tools often fell short of supporting the accountability goals of AI auditing in practice. We thus highlight areas for future tool development beyond evaluation -- from harms discovery to advocacy -- and outline challenges practitioners faced in their efforts to use AI audit tools. We conclude that resources are lacking to adequately support the full scope of needs for many AI audit practitioners and recommend that the field move beyond tools for just evaluation, towards more comprehensive infrastructure for AI accountability.


title: REPrune: Channel Pruning via Kernel Representative Selection

abstract: Channel pruning is widely accepted to accelerate modern convolutional neural networks (CNNs). The resulting pruned model benefits from its immediate deployment on general-purpose software and hardware resources. However, its large pruning granularity, specifically at the unit of a convolution filter, often leads to undesirable accuracy drops due to the inflexibility of deciding how and where to introduce sparsity to the CNNs. In this paper, we propose REPrune, a novel channel pruning technique that emulates kernel pruning, fully exploiting the finer but structured granularity. REPrune identifies similar kernels within each channel using agglomerative clustering. Then, it selects filters that maximize the incorporation of kernel representatives while optimizing the maximum cluster coverage problem. By integrating with a simultaneous training-pruning paradigm, REPrune promotes efficient, progressive pruning throughout training CNNs, avoiding the conventional train-prune-finetune sequence. Experimental results highlight that REPrune performs better in computer vision tasks than existing methods, effectively achieving a balance between acceleration ratio and performance retention.


title: Vision Transformers with Natural Language Semantics

abstract: Tokens or patches within Vision Transformers (ViT) lack essential semantic information, unlike their counterparts in natural language processing (NLP). Typically, ViT tokens are associated with rectangular image patches that lack specific semantic context, making interpretation difficult and failing to effectively encapsulate information. We introduce a novel transformer model, Semantic Vision Transformers (sViT), which leverages recent progress on segmentation models to design novel tokenizer strategies. sViT effectively harnesses semantic information, creating an inductive bias reminiscent of convolutional neural networks while capturing global dependencies and contextual information within images that are characteristic of transformers. Through validation using real datasets, sViT demonstrates superiority over ViT, requiring less training data while maintaining similar or superior performance. Furthermore, sViT demonstrates significant superiority in out-of-distribution generalization and robustness to natural distribution shifts, attributed to its scale invariance semantic characteristic. Notably, the use of semantic tokens significantly enhances the model's interpretability. Lastly, the proposed paradigm facilitates the introduction of new and powerful augmentation techniques at the token (or segment) level, increasing training data diversity and generalization capabilities. Just as sentences are made of words, images are formed by semantic objects; our proposed methodology leverages recent progress in object segmentation and takes an important and natural step toward interpretable and robust vision transformers.


title: Casimir Physics beyond the Proximity Force Approximation: The Derivative Expansion

abstract: We review the derivative expansion (DE) method in Casimir physics, an approach which extends the proximity force approximation (PFA). After introducing and motivating the DE in contexts other than the Casimir effect, we present different examples which correspond to that realm. We focus on different particular geometries, boundary conditions, types of fields, and quantum and thermal fluctuations. Besides providing various examples where the method can be applied, we discuss a concrete example for which the DE cannot be applied; namely, the case of perfect Neumann conditions in 2 + 1 dimensions. By the same example, we show how a more realistic type of boundary condition circumvents the problem. We also comment on the application of the DE to the Casimir-Polder interaction which provides a broader perspective on particle-surface interactions.


title: The deformed Tanisaki-Garsia-Procesi modules

abstract: The polynomial ideals studied by A. Garsia and C. Procesi play an important role in the theory of Kostka polynomials. We give multiparameter flat deformations of these ideals and define an action of the extended affine symmetric group on the corresponding quotient algebras multiplied by the sign representation. We show that the images of these modules under the affine Schur-Weyl duality are dual to the local Weyl modules for the loop algebra $\mathfrak{sl}_{n+1}[t^{\pm 1}].$


title: Towards spatiotemporal integration of bus transit with data-driven approaches

abstract: This study aims to propose an approach for spatiotemporal integration of bus transit, which enables users to change bus lines by paying a single fare. This could increase bus transit efficiency and, consequently, help to make this mode of transportation more attractive. Usually, this strategy is allowed for a few hours in a non-restricted area; thus, certain walking distance areas behave like "virtual terminals." For that, two data-driven algorithms are proposed in this work. First, a new algorithm for detecting itineraries based on bus GPS data and the bus stop location. The proposed algorithm's results show that 90% of the database detected valid itineraries by excluding invalid markings and adding times at missing bus stops through temporal interpolation. Second, this study proposes a bus stop clustering algorithm to define suitable areas for these virtual terminals where it would be possible to make bus transfers outside the physical terminals. Using real-world origin-destination trips, the bus network, including clusters, can reduce traveled distances by up to 50%, making twice as many connections on average.


title: Sublattice structure and topology in spontaneously crystallized electronic states

abstract: The prediction and realization of the quantum anomalous Hall effect are often intimately connected to honeycomb lattices in which the sublattice degree of freedom plays a central role in the nontrivial topology. Two-dimensional Wigner crystals, on the other hand, form triangular lattices without sublattice degrees of freedom, resulting in a topologically trivial state. In this Letter, we discuss the possibility of spontaneously formed honeycomb-lattice crystals that exhibit the quantum anomalous Hall effect. Starting from a single-band system with nontrivial quantum geometry, we derive the mean-field energy functional of a class of crystal states and express it as a model of sublattice pseudospins in momentum space. We find that nontrivial quantum geometry leads to extra terms in the pseudospin model that break an effective `time-reversal symmetry' and favor a topologically nontrivial pseudospin texture. When the effects of these extra terms dominate over the ferromagnetic exchange coupling between pseudospins, the anomalous Hall crystal state becomes energetically favorable over the trivial Wigner crystal state.


title: SmartQC: An Extensible DLT-Based Framework for Trusted Data Workflows in Smart Manufacturing

abstract: Recent developments in Distributed Ledger Technology (DLT), including Blockchain offer new opportunities in the manufacturing domain, by providing mechanisms to automate trust services (digital identity, trusted interactions, and auditable transactions) and when combined with other advanced digital technologies (e.g. machine learning) can provide a secure backbone for trusted data flows between independent entities. This paper presents an DLT-based architectural pattern and technology solution known as SmartQC that aims to provide an extensible and flexible approach to integrating DLT technology into existing workflows and processes. SmartQC offers an opportunity to make processes more time efficient, reliable, and robust by providing two key features i) data integrity through immutable ledgers and ii) automation of business workflows leveraging smart contracts. The paper will present the system architecture, extensible data model and the application of SmartQC in the context of example smart manufacturing applications.


title: Fermions in the 6D Standing Wave Braneworld with Real Scalar Field

abstract: In the article, we investigate localization problem for spinor fields within the 6D standing wave braneworld with the bulk real scalar field, introduced earlier in [30], and explicitly show that there is no normalizable fermion field zero mode trapped on the brane.


title: Stochastic Approximation with Biased MCMC for Expectation Maximization

abstract: The expectation maximization (EM) algorithm is a widespread method for empirical Bayesian inference, but its expectation step (E-step) is often intractable. Employing a stochastic approximation scheme with Markov chain Monte Carlo (MCMC) can circumvent this issue, resulting in an algorithm known as MCMC-SAEM. While theoretical guarantees for MCMC-SAEM have previously been established, these results are restricted to the case where asymptotically unbiased MCMC algorithms are used. In practice, MCMC-SAEM is often run with asymptotically biased MCMC, for which the consequences are theoretically less understood. In this work, we fill this gap by analyzing the asymptotics and non-asymptotics of SAEM with biased MCMC steps, particularly the effect of bias. We also provide numerical experiments comparing the Metropolis-adjusted Langevin algorithm (MALA), which is asymptotically unbiased, and the unadjusted Langevin algorithm (ULA), which is asymptotically biased, on synthetic and real datasets. Experimental results show that ULA is more stable with respect to the choice of Langevin stepsize and can sometimes result in faster convergence.


title: New Insight Concerning Primordial Lithium Production

abstract: To constrain the universe before recombination (380000 years after the Big Bang), we mostly rely on the measurements of the primordial abundances that indicate the first insight into the thermal history of the universe. The first production of the light elements is obtained by the Big Bang Nucleosynthesis (BBN). The production of the elements deuterium, helium-3, and helium-4 during BBN matches well the observations; however, the production of lithium (Lithium-7) based on the Standard Big Bang Nucleosynthesis (SBBN) is found to be higher by about a factor of three than the observed abundance from metal-poor halo stars. This so-called "Cosmological Lithium Problem" is still elusive and needs to be resolved. One important attempt to resolve this problem is to invoke a non-standard description of the SBBN to decrease the lithium abundance. In our previous work, we encountered a problem that the decrease in the Lithium-7 abundance requires an increase in the deuterium abundance to maximum values that are not accepted by observations. In the present work, a decrease in the lithium abundance could be achieved without maximizing the deuterium abundance by modifying the time-temperature relation in the range (0.43-0.91) GK during the nucleosynthesis process. This range is crucial to reducing the strong correlation between lithium and deuterium production. The main conclusion of the present work is that Lithium-7 abundance in the atmospheres of metal-poor stars cannot be analyzed without considering possible modifications to the primordial nucleosynthesis.


title: A Conditional Extension of the Park-Pham Theorem

abstract: Neglecting many motivating details for the Park-Pham theorem (previously known as the Kahn-Kalai conjecture), the result starts with a finite set $X$, a non-trivial upper set $\mathcal{F} \subseteq 2^X$, and a particular parameterized family of random variables $X_p$, then proceeds to provide an upper bound on the value $p_c(\mathcal{F})$ such that $\mathbb{P}(X_{p_c(\mathcal{F})} \in \mathcal{F}) = 1/2$. A natural question to ask is if there is an analog to the Park-Pham theorem for upper sets in finite posets other than $2^X$ and other parameterized families of random variables taking values in them. In this short note, we show that there is, with minor adjustments, in at least one circumstance. This is done by producing a conditional version of the $\epsilon$-dependent form of the Park-Pham theorem, which may be interesting in its own right.


title: Randomized matrix computations: Themes and variations

abstract: This short course offers a new perspective on randomized algorithms for matrix computations. It explores the distinct ways in which probability can be used to design algorithms for numerical linear algebra. Each design template is illustrated by its application to several computational problems. This treatment establishes conceptual foundations for randomized numerical linear algebra, and it forges links between algorithms that may initially seem unrelated.


title: Mixed Strategy Constraints in Continuous Games

abstract: Equilibrium problems representing interaction in physical environments typically require continuous strategies which satisfy opponent-dependent constraints, such as those modeling collision avoidance. However, as with finite games, mixed strategies are often desired, both from an equilibrium existence perspective as well as a competitive perspective. To that end, this work investigates a chance-constraint-based approach to coupled constraints in generalized Nash equilibrium problems which are solved over pure strategies and mixing weights simultaneously. We motivate these constraints in a discrete setting, placing them on tensor games ($n$-player bimatrix games) as a justifiable approach to handling the probabilistic nature of mixing. Then, we describe a numerical solution method for these chance constrained tensor games with simultaneous pure strategy optimization. Finally, using a modified pursuit-evasion game as a motivating examples, we demonstrate the actual behavior of this solution method in terms of its fidelity, parameter sensitivity, and efficiency.


title: Outshining in the Spatially Resolved Analysis of a Strongly-Lensed Galaxy at z=6.072 with JWST NIRCam

abstract: We present JWST/NIRCam observations of a strongly-lensed, multiply-imaged galaxy at $z=6.072$, with magnification factors >~20 across the galaxy. We perform a spatially-resolved analysis of the physical properties at scales of ~200 pc, inferred from SED modelling of 5 NIRCam imaging bands on a pixel-by-pixel basis. We find young stars surrounded by extended older stellar populations. By comparing H$\alpha$+[NII] and [OIII]+H$\beta$ maps inferred from the image analysis with our additional NIRSpec IFU data, we find that the spatial distribution and strength of the line maps are in agreement with the IFU measurements. We explore different parametric SFH forms with Bagpipes on the spatially-integrated photometry, finding that a double power-law star formation history retrieves the closest value to the spatially-resolved stellar mass estimate, and other SFH forms suffer from the dominant outshining emission from the youngest stars, thus underestimating the stellar mass - up to ~0.5 dex-. On the other hand, the DPL cannot match the IFU measured emission lines. Additionally, the ionizing photon production efficiency may be overestimated in a spatially-integrated approach by ~0.15 dex, when compared to a spatially-resolved analysis. The agreement with the IFU measurements points towards the pixel-by-pixel approach as a way to mitigate the general degeneracy between the flux excess from emission lines and underlying continuum, especially when lacking photometric medium-band coverage and/or IFU observations. This study stresses the importance of studying galaxies as the complex systems that they are, resolving their stellar populations when possible, or using more flexible SFH parameterisations. This can aid our understanding of the early stages of galaxy evolution by addressing the challenge of inferring robust stellar masses and ionizing photon production efficiencies of high redshift galaxies.


title: 3D Printing in Microfluidics: Experimental Optimization of Droplet Size and Generation Time through Flow Focusing, Phase, and Geometry Variation

abstract: Droplet-based microfluidics systems have become widely used in recent years thanks to their advantages, varying from the possibility of handling small fluid volumes to directly synthesizing and encapsulating various living forms for biological-related applications. The effectiveness of such systems mainly depends on the ability to control some of these system's parameters, such as produced droplet size and formation time, which represents a challenging task. This work reports an experimental study on tuning droplet size and generation time in a flow-focusing geometry fabricated with stereolithography 3D printing by exploring the interplay of phase and geometrical parameters. We produced droplets at different low flow rates of continuous and dispersed phases to assess the effect of each of these phases on the droplets' size and formation time. We observed that smaller droplets were produced for high viscosity oil and water phase, along with high flow rates. In addition, changing the microfluidics channels' width, and morphology of the orifice has shown a similar effect on droplet size, as shown in the case of high-viscosity solutions. The variation of the bifurcation angle shows a noticeable variation in terms of the achieved droplet size and formation time. We further investigated the impact of modifying the width ratio of the continuous and dispersed phases on droplet formation


title: Accelerated Real-time Cine and Flow under In-magnet Staged Exercise

abstract: Background: Cardiovascular magnetic resonance imaging (CMR) is a wellestablished imaging tool for diagnosing and managing cardiac conditions. The integration of exercise stress with CMR (ExCMR) can enhance its diagnostic capacity. Despite recent advances in CMR technology, quantitative ExCMR during exercise remains technically challenging due to motion artifacts and limited spatial and temporal resolution. Methods: This study investigated the feasibility of biventricular functional and hemodynamic assessment using real-time (RT) ExCMR during a staged exercise protocol in 24 healthy volunteers. We applied a coil reweighting technique and employed high acceleration rates to minimize motion blurring and artifacts. We further applied a beat-selection technique that identified beats from the endexpiratory phase to minimize the impact of respiration-induced through-plane motion. Additionally, results from six patients were presented to demonstrate clinical feasibility. Results: Our findings indicated a consistent decrease in end-systolic volume and stable end-diastolic volume across exercise intensities, leading to increased stroke volume and ejection fraction. The selection of end-expiratory beats enhanced the repeatability of cardiac function parameters, as shown by scan-rescan tests in nine volunteers. High scores from a blinded image quality assessment indicated that coil reweighting effectively minimized motion artifacts. Conclusions: This study demonstrated the feasibility of RT ExCMR with inmagnet exercise in healthy subjects and patients. Our results indicate that high acceleration rates, coil reweighting, and selection of respiratory phase-specific heartbeats enhance image quality and repeatability of quantitative RT ExCMR.


abstract: End-user development (EUD) represents a key step towards making robotics accessible for experts and nonexperts alike. Within academia, researchers investigate novel ways that EUD tools can capture, represent, visualize, analyze, and test developer intent. At the same time, industry researchers increasingly build and ship programming tools that enable customers to interact with their robots. However, despite this growing interest, the role of EUD within HRI is not well defined. EUD struggles to situate itself within a growing array of alternative approaches to application development, such as robot learning and teleoperation. EUD further struggles due to the wide range of individuals who can be considered end users, such as independent third-party application developers, consumers, hobbyists, or even employees of the robot manufacturer. Key questions remain such as how EUD is justified over alternate approaches to application development, which contexts EUD is most suited for, who the target users of an EUD system are, and where interaction between a human and a robot takes place, amongst many other questions. We seek to address these challenges and questions by organizing the first End-User Development for Human-Robot Interaction (EUD4HRI) workshop at the 2024 International Conference of Human-Robot Interaction. The workshop will bring together researchers with a wide range of expertise across academia and industry, spanning perspectives from multiple subfields of robotics, with the primary goal being a consensus of perspectives about the role that EUD must play within human-robot interaction.


title: Automated Statistical Model Discovery with Language Models

abstract: Statistical model discovery is a challenging search over a vast space of models subject to domain-specific constraints. Efficiently searching over this space requires expertise in modeling and the problem domain. Motivated by the domain knowledge and programming capabilities of large language models (LMs), we introduce a method for language model driven automated statistical model discovery. We cast our automated procedure within the principled framework of Box's Loop: the LM iterates between proposing statistical models represented as probabilistic programs, acting as a modeler, and critiquing those models, acting as a domain expert. By leveraging LMs, we do not have to define a domain-specific language of models or design a handcrafted search procedure, which are key restrictions of previous systems. We evaluate our method in three settings in probabilistic modeling: searching within a restricted space of models, searching over an open-ended space, and improving expert models under natural language constraints (e.g., this model should be interpretable to an ecologist). Our method identifies models on par with human expert designed models and extends classic models in interpretable ways. Our results highlight the promise of LM-driven model discovery.


title: Challenges in Restructuring Community-based Moderation

abstract: Content moderation practices and technologies need to change over time as requirements and community expectations shift. However, attempts to restructure existing moderation practices can be difficult, especially for platforms that rely on their communities to conduct moderation activities, because changes can transform the workflow and workload of moderators and contributors' reward systems. Through the study of extensive archival discussions around a prepublication moderation technology on Wikipedia named Flagged Revisions, complemented by seven semi-structured interviews, we identify various challenges in restructuring community-based moderation practices. We learn that while a new system might sound good in theory and perform well in terms of quantitative metrics, it may conflict with existing social norms. Our findings also highlight how the intricate relationship between platforms and self-governed communities can hinder the ability to assess the performance of any new system and introduce considerable costs related to maintaining, overhauling, or scrapping any piece of infrastructure.


title: A supersymmetry journey from the Jaynes-Cummings to the anisotropic Rabi model

abstract: We revisit the Jaynes-Cummings and anti-Jaynes-Cummings model through the lens of Lie theory, aiming to highlight the efficacy of an operator-based approach for diagonalization. We focus on explicitly delineating the steps from an underlying abstract supersymmetry, provided by the $u(1 \vert 1)$ superalgebra, into concrete proper states and energies in the laboratory frame. Additionally, we explore the anisotropic Rabi model possessing an underlying supersymmetry, provided by the $osp(2 \vert 2)$ superalgebra, in a squeezed reference frame, where it is possible to approximate its spectral characteristics by an effective Jaynes--Cummings model. Finally, we identify a regime for a factorizable anisotropic Rabi model, exhibiting an equally spaced, double degenerate energy spectrum with a unique ground state energy. Our work aims to merge mathematical physics with practical quantum optics, underscoring the critical role of Lie theory.


title: BlendSQL: A Scalable Dialect for Unifying Hybrid Question Answering in Relational Algebra

abstract: Many existing end-to-end systems for hybrid question answering tasks can often be boiled down to a "prompt-and-pray" paradigm, where the user has limited control and insight into the intermediate reasoning steps used to achieve the final result. Additionally, due to the context size limitation of many transformer-based LLMs, it is often not reasonable to expect that the full structured and unstructured context will fit into a given prompt in a zero-shot setting, let alone a few-shot setting. We introduce BlendSQL, a superset of SQLite to act as a unified dialect for orchestrating reasoning across both unstructured and structured data. For hybrid question answering tasks involving multi-hop reasoning, we encode the full decomposed reasoning roadmap into a single interpretable BlendSQL query. Notably, we show that BlendSQL can scale to massive datasets and improve the performance of end-to-end systems while using 35% fewer tokens. Our code is available and installable as a package at https://github.com/parkervg/blendsql.


title: Variations on the Thompson theorem

abstract: Thompson's theorem stated that a finite group $G$ is solvable if and only if every $2$-generated subgroup of $G$ is solvable. In this paper, we prove some new criteria for both solvability and nilpotency of a finite group using certain condition on $2$-generated subgroups. We show that a finite group $G$ is solvable if and only if for every pair of two elements $x$ and $y$ in $G$ of coprime prime power order, if $\langle x,y\rangle$ is solvable, then $\langle x,y^g\rangle$ is solvable for all $g\in G$. Similarly, a finite group $G$ is nilpotent if and only if for every pair of elements $x$ and $y$ in $G$ of coprime prime power order, if $\langle x,y\rangle$ is solvable, then $x$ and $y^g$ commute for some $g\in G.$ Some applications to graphs defined on groups are given.


title: Generalized Loci on Real Inner Product Vector Spaces

abstract: This paper generalizes the notion of geometric curves such as hyperbolas and ellipses to more general vector spaces with an associated inner product. This is done by generalizing the definition in terms of loci and foci of said curves in Euclidean geometry to a general vector space with a real inner product, through which a norm can be induced. Through this generalization and focusing on the curves that are obtained through linear combinations of norms, we explore some properties of said curves. Specifically, we explore the addition of vectors in the curve, and in what other curves this addition can be found in relation to the original curve. Lastly, we observe the effects of applying the isomorphism to the geometric curve in the vector space onto R^n, and we compare geometric curves obtained with the same definition in different vector spaces with different norms.


title: Independent Learning in Constrained Markov Potential Games

abstract: Constrained Markov games offer a formal mathematical framework for modeling multi-agent reinforcement learning problems where the behavior of the agents is subject to constraints. In this work, we focus on the recently introduced class of constrained Markov Potential Games. While centralized algorithms have been proposed for solving such constrained games, the design of converging independent learning algorithms tailored for the constrained setting remains an open question. We propose an independent policy gradient algorithm for learning approximate constrained Nash equilibria: Each agent observes their own actions and rewards, along with a shared state. Inspired by the optimization literature, our algorithm performs proximal-point-like updates augmented with a regularized constraint set. Each proximal step is solved inexactly using a stochastic switching gradient algorithm. Notably, our algorithm can be implemented independently without a centralized coordination mechanism requiring turn-based agent updates. Under some technical constraint qualification conditions, we establish convergence guarantees towards constrained approximate Nash equilibria. We perform simulations to illustrate our results.


title: Zeroth-Order Sampling Methods for Non-Log-Concave Distributions: Alleviating Metastability by Denoising Diffusion

abstract: This paper considers the problem of sampling from non-logconcave distribution, based on queries of its unnormalized density. It first describes a framework, Diffusion Monte Carlo (DMC), based on the simulation of a denoising diffusion process with its score function approximated by a generic Monte Carlo estimator. DMC is an oracle-based meta-algorithm, where its oracle is the assumed access to samples that generate a Monte Carlo score estimator. Then we provide an implementation of this oracle, based on rejection sampling, and this turns DMC into a true algorithm, termed Zeroth-Order Diffusion Monte Carlo (ZOD-MC). We provide convergence analyses by first constructing a general framework, i.e. a performance guarantee for DMC, without assuming the target distribution to be log-concave or satisfying any isoperimetric inequality. Then we prove that ZOD-MC admits an inverse polynomial dependence on the desired sampling accuracy, albeit still suffering from the curse of dimensionality. Consequently, for low dimensional distributions, ZOD-MC is a very efficient sampler, with performance exceeding latest samplers, including also-denoising-diffusion-based RDMC and RS-DMC. Last, we experimentally demonstrate the insensitivity of ZOD-MC to increasingly higher barriers between modes or discontinuity in non-convex potential.

categories: stat.ML cs.LG math.PR math.ST stat.ME stat.TH


title: JMLR: Joint Medical LLM and Retrieval Training for Enhancing Reasoning and Professional Question Answering Capability

abstract: Large Language Models (LLMs) have demonstrated a remarkable potential in medical knowledge acquisition and question-answering. However, LLMs can potentially hallucinate and yield factually incorrect outcomes, even with domain-specific pretraining. Previously, retrieval augmented generation (RAG) has limited success in addressing hallucinations. Unlike previous methods in RAG where the retrieval model was trained separately from the LLM, we introduce JMLR (for Jointly trains LLM and information Retrieval (IR)) during the fine-tuning phase. The synchronized training mechanism enhances JMLR's ability to retrieve clinical guidelines and leverage medical knowledge to reason and answer questions and reduces the demand for computational resources. We evaluated JMLR on the important medical question answering application. Our experimental results demonstrate that JMLR-13B (70.5%) outperforms a previous state-of-the-art open-source model using conventional pre-training and fine-tuning Meditron-70B (68.9%) and Llama2-13B with RAG (54.9%) on a medical question-answering dataset. JMLR-13B (148 GPU hours) also trains much faster than Meditron-70B (42630 GPU hours). Through this work, we provide a new and efficient knowledge enhancement tool for healthcare, demonstrating the potential of integrating IR and LLM training for medical question-answering systems.


title: ConjNorm: Tractable Density Estimation for Out-of-Distribution Detection

abstract: Post-hoc out-of-distribution (OOD) detection has garnered intensive attention in reliable machine learning. Many efforts have been dedicated to deriving score functions based on logits, distances, or rigorous data distribution assumptions to identify low-scoring OOD samples. Nevertheless, these estimate scores may fail to accurately reflect the true data density or impose impractical constraints. To provide a unified perspective on density-based score design, we propose a novel theoretical framework grounded in Bregman divergence, which extends distribution considerations to encompass an exponential family of distributions. Leveraging the conjugation constraint revealed in our theorem, we introduce a \textsc{ConjNorm} method, reframing density function design as a search for the optimal norm coefficient $p$ against the given dataset. In light of the computational challenges of normalization, we devise an unbiased and analytically tractable estimator of the partition function using the Monte Carlo-based importance sampling technique. Extensive experiments across OOD detection benchmarks empirically demonstrate that our proposed \textsc{ConjNorm} has established a new state-of-the-art in a variety of OOD detection setups, outperforming the current best method by up to 13.25$\%$ and 28.19$\%$ (FPR95) on CIFAR-100 and ImageNet-1K, respectively.


title: Interacting galaxies in the IllustrisTNG simulations -- VI: Reconstructed orbits, close encounters and mergers

abstract: Cosmological simulations have been used to study interacting galaxies as a function of galaxy pair separation, enabling comparisons with observational studies of galaxy pairs. The study of interacting galaxies as a function of time (i.e. merger stage) has mostly been limited to high resolution merger simulations, due to the poor time sampling available in cosmological simulations. Building on an earlier study of galaxy pairs in the IllustrisTNG cosmological simulations, we reconstruct the orbits of galaxy pairs involving massive galaxies ($M_* > 10^{10}M_{\odot}$) at redshifts of $0 \leq z < 1$, using a novel kinematic interpolation scheme to model the orbits in between the IllustrisTNG snapshots (which are separated by 162 Myr on average). We assess the accuracy of these interpolations using a pre-existing suite of merger simulations, and find that kinematic interpolations provide a remarkable improvement in accuracy compared with interpolations that use only radial separations or 3D positions. We find that nearly 90 per cent of the closest pairs ($r < 25$ kpc) have had a pericentre encounter within the past Gyr. Many of these close pairs are found on rapidly shrinking orbits, and roughly 85 per cent of these pairs will merge within 1 Gyr. However, approximately 3 per cent of these close pairs appear to be flyby systems that will never merge. These reconstructed orbits will be used in future studies to investigate how and when galaxy properties change during close encounters and mergers between galaxies in IllustrisTNG.


title: From Inverse Optimization to Feasibility to ERM

abstract: Inverse optimization involves inferring unknown parameters of an optimization problem from known solutions and is widely used in fields such as transportation, power systems, and healthcare. We study the contextual inverse optimization setting that utilizes additional contextual information to better predict the unknown problem parameters. We focus on contextual inverse linear programming (CILP), addressing the challenges posed by the non-differentiable nature of LPs. For a linear prediction model, we reduce CILP to a convex feasibility problem allowing the use of standard algorithms such as alternating projections. The resulting algorithm for CILP is equipped with theoretical convergence guarantees without additional assumptions such as degeneracy or interpolation. Next, we reduce CILP to empirical risk minimization (ERM) on a smooth, convex loss that satisfies the Polyak-Lojasiewicz condition. This reduction enables the use of scalable first-order optimization methods to solve large non-convex problems while maintaining theoretical guarantees in the convex setting. Subsequently, we use the reduction to ERM to quantify the generalization performance of the proposed algorithm on previously unseen instances. Finally, we experimentally validate our approach on synthetic and real-world problems and demonstrate improved performance compared to existing methods.


title: Weakly Supervised Co-training with Swapping Assignments for Semantic Segmentation

abstract: Class activation maps (CAMs) are commonly employed in weakly supervised semantic segmentation (WSSS) to produce pseudo-labels. Due to incomplete or excessive class activation, existing studies often resort to offline CAM refinement, introducing additional stages or proposing offline modules. This can cause optimization difficulties for single-stage methods and limit generalizability. In this study, we aim to reduce the observed CAM inconsistency and error to mitigate reliance on refinement processes. We propose an end-to-end WSSS model incorporating guided CAMs, wherein our segmentation model is trained while concurrently optimizing CAMs online. Our method, Co-training with Swapping Assignments (CoSA), leverages a dual-stream framework, where one sub-network learns from the swapped assignments generated by the other. We introduce three techniques: i) soft perplexity-based regularization to penalize uncertain regions; ii) a threshold-searching approach to dynamically revise the confidence threshold; and iii) contrastive separation to address the coexistence problem. CoSA demonstrates exceptional performance, achieving mIoU of 76.2\% and 51.0\% on VOC and COCO validation datasets, respectively, surpassing existing baselines by a substantial margin. Notably, CoSA is the first single-stage approach to outperform all existing multi-stage methods including those with additional supervision. Code is avilable at \url{https://github.com/youshyee/CoSA}.


title: SWTrack: Multiple Hypothesis Sliding Window 3D Multi-Object Tracking

abstract: Modern robotic systems are required to operate in dense dynamic environments, requiring highly accurate real-time track identification and estimation. For 3D multi-object tracking, recent approaches process a single measurement frame recursively with greedy association and are prone to errors in ambiguous association decisions. Our method, Sliding Window Tracker (SWTrack), yields more accurate association and state estimation by batch processing many frames of sensor data while being capable of running online in real-time. The most probable track associations are identified by evaluating all possible track hypotheses across the temporal sliding window. A novel graph optimization approach is formulated to solve the multidimensional assignment problem with lifted graph edges introduced to account for missed detections and graph sparsity enforced to retain real-time efficiency. We evaluate our SWTrack implementation$^{2}$ on the NuScenes autonomous driving dataset to demonstrate improved tracking performance.


title: Measurement of Proton-Induced Reactions on Lanthanum from 55--200 MeV by Stacked-Foil Activation

abstract: Cerium-134 is an isotope desired for applications as a chemical analogue to the promising therapeutic radionuclide $^{225}$Ac, for use in bio-distribution assays as an in vivo generator of the short-lived positron-emitting isotope $^{134}$La. In the 50-100 MeV energy range relevant to the production of $^{134}$Ce by means of high-energy proton bombardment of lanthanum, existing cross section data are discrepant and have gaps at important energies. To address these deficiencies, a series of 17 $^{139}$La foils (99.919% natural abundance) were irradiated in two stacked-target experiments: one at the LANL's Isotope Production Facility with an incident proton energy of 100 MeV, and a second at BNL's Brookhaven Linac Isotope Producer with an incident proton energy of 200 MeV - a complete energy range spanning approximately 55-200 MeV. Cross sections are reported for 30 products of $^{139}$La(p,x) reactions (representing up to 55% of the total non-elastic cross section), in addition to 24 residual products measured in the $^{nat}$Cu and $^{nat}$Ti foils that were used as proton flux monitors. The measured production cross sections for $^{139}$La reactions were compared to literature data as well as default calculations from the nuclear reaction modeling codes TALYS, EMPIRE and ALICE, as well as the TENDL-2023 library. The default calculations typically exhibited poor predictive capability, due to the complexity of multiple interacting physics models in this energy range, and deficiencies in preequilibrium reaction modeling. Building upon previous efforts to evaluate proton-induced reactions in this energy range, a parameter adjustment procedure was performed upon the optical model and the two-component exciton model using the TALYS-2.0 code. This resulted in an improvement in $^{139}$La(p,x) cross sections for applications including isotope production, over default predictions.


title: Exact Controllability and Stabilization of the Wave Equation

abstract: These Notes originated from a course I delivered at the Institute of Mathematics of the Universidade Federal do Rio de Janeiro, Brazil (UFRJ) in July-September 1989, were initially published in 1989 in Spanish under the title "Controlabilidad Exacta y Estabilizaci\'on de la Ecuaci\'on de Ondas" in the Lecture Notes Series of the Institute. Despite the significant evolution of the topic over the last three decades, I believe that the text, with its synthetic presentation of fundamental tools in the field, remains valuable for researchers in the area, especially for younger generations. It is written from the perspective of the young mathematician I was when I authored the Notes, needing to learn many things in the process and, therefore, taking care to develop details often left to the reader or not readily available elsewhere. These Notes were written one year after completing my PhD at the Universit\'e Pierre et Marie Curie in Paris and drafting the lectures of Professor Jacques-Louis Lions at Coll\`ege de France in the academic year 1986-1987, later published as a book in 1988. Parts of these Notes offer a concise presentation of content developed in more detail in that book, supplemented by work on the decay of dissipative wave equations during my PhD under the supervision of Professor Alain Haraux in Paris.


title: Global Estimation of Range Resolved Thermodynamic Profiles from MicroPulse Differential Absorption Lidar

abstract: We demonstrate thermodynamic profile estimation with data obtained using the MicroPulse DIAL such that the retrieval is entirely self contained. The only external input is surface meteorological variables obtained from a weather station installed on the instrument. The estimator provides products of temperature, absolute humidity and backscatter ratio such that cross dependencies between the lidar data products and raw observations are accounted for and the final products are self consistent. The method described here is applied to a combined oxygen DIAL, potassium HSRL, water vapor DIAL system operating at two pairs of wavelengths (nominally centered at 770 and 828 nm). We perform regularized maximum likelihood estimation through the Poisson Total Variation technique to suppress noise and improve the range of the observations. A comparison to 119 radiosondes indicates that this new processing method produces improved temperature retrievals, reducing total errors to less than 2 K below 3 km altitude and extending the maximum altitude of temperature retrievals to 5 km with less than 3 K error. The results of this work definitively demonstrates the potential for measuring temperature through the oxygen DIAL technique and furthermore that this can be accomplished with low-power semiconductor-based lidar sensors.


title: Researchy Questions: A Dataset of Multi-Perspective, Decompositional Questions for LLM Web Agents

abstract: Existing question answering (QA) datasets are no longer challenging to most powerful Large Language Models (LLMs). Traditional QA benchmarks like TriviaQA, NaturalQuestions, ELI5 and HotpotQA mainly study ``known unknowns'' with clear indications of both what information is missing, and how to find it to answer the question. Hence, good performance on these benchmarks provides a false sense of security. A yet unmet need of the NLP community is a bank of non-factoid, multi-perspective questions involving a great deal of unclear information needs, i.e. ``unknown uknowns''. We claim we can find such questions in search engine logs, which is surprising because most question-intent queries are indeed factoid. We present Researchy Questions, a dataset of search engine queries tediously filtered to be non-factoid, ``decompositional'' and multi-perspective. We show that users spend a lot of ``effort'' on these questions in terms of signals like clicks and session length, and that they are also challenging for GPT-4. We also show that ``slow thinking'' answering techniques, like decomposition into sub-questions shows benefit over answering directly. We release $\sim$ 100k Researchy Questions, along with the Clueweb22 URLs that were clicked.


title: A Language Model based Framework for New Concept Placement in Ontologies

abstract: We investigate the task of inserting new concepts extracted from texts into an ontology using language models. We explore an approach with three steps: edge search which is to find a set of candidate locations to insert (i.e., subsumptions between concepts), edge formation and enrichment which leverages the ontological structure to produce and enhance the edge candidates, and edge selection which eventually locates the edge to be placed into. In all steps, we propose to leverage neural methods, where we apply embedding-based methods and contrastive learning with Pre-trained Language Models (PLMs) such as BERT for edge search, and adapt a BERT fine-tuning-based multi-label Edge-Cross-encoder, and Large Language Models (LLMs) such as GPT series, FLAN-T5, and Llama 2, for edge selection. We evaluate the methods on recent datasets created using the SNOMED CT ontology and the MedMentions entity linking benchmark. The best settings in our framework use fine-tuned PLM for search and a multi-label Cross-encoder for selection. Zero-shot prompting of LLMs is still not adequate for the task, and we propose explainable instruction tuning of LLMs for improved performance. Our study shows the advantages of PLMs and highlights the encouraging performance of LLMs that motivates future studies.


title: Exoplanets Prediction in Multi-Planetary Systems and Determining the Correlation Between the Parameters of Planets and Host Stars Using Artificial Intelligence

abstract: The number of extrasolar planets discovered is increasing, so that more than five thousand exoplanets have been confirmed to date. Now we have an opportunity to test the validity of the laws governing planetary systems and take steps to discover the relationships between the physical parameters of planets and stars. Firstly, we present the results of a search for additional exoplanets in 229 multi-planetary systems that house at least three or more confirmed planets, employing a logarithmic spacing between planets in our Solar System known as the Titius-Bode (TB) relation. We find that the planets in $\sim53\%$ of these systems adhere to a logarithmic spacing relation remarkably better than the Solar System planets. We predict the presence of 426 additional exoplanets, 47 of which are located within the habitable zone (HZ), and five of the 47 planets have a maximum mass limit of 0.1-2$M_{\oplus}$ and a maximum radius lower than 1.25$R_{\oplus}$. Secondly, we employ efficient machine learning approaches to analyze a dataset comprising 762 confirmed exoplanets and eight Solar System planets, aiming to characterize their fundamental quantities. We classify the data into two main classes: 'small' and 'giant' planets, with cut-off values at $R_{p}=8.13R_{\oplus}$ and $M_{p}=52.48M_{\oplus}$. Giant planets have lower densities, suggesting higher H-He mass fractions, while small planets are denser, composed mainly of heavier elements. We highlight that planetary mass, orbital period, and stellar mass play crucial roles in predicting exoplanet radius. Notably, our study reveals a noteworthy result: for giant planets, we observe a strong correlation between planetary radius and the mass of their host stars, which might provide intriguing insights into the relationship between giant planet formation and stellar characteristics.


title: Universal regularity estimates for solutions to fully nonlinear elliptic equations with oblique boundary data

abstract: In this work, we establish universal moduli of continuity for viscosity solutions to fully nonlinear elliptic equations with oblique boundary conditions, whose general model is given by $$ \left\{ \begin{array}{rcl} F(D^2u,x) &=& f(x) \quad \mbox{in} \,\, \Omega\\ \beta(x) \cdot Du(x) + \gamma(x) \, u(x)&=& g(x) \quad \mbox{on} \,\, \partial \Omega. \end{array} \right. $$ Such regularity estimates are achieved by exploring the integrability properties of $f$ based on different scenarios, making a $\text{VMO}$ assumption on the coefficients of $F$, and by considering suitable smoothness properties on the boundary data $\beta, \gamma$ and $g$. Particularly, we derive sharp estimates for borderline cases where $f \in L^n(\Omega)$ and $f\in p-\textrm{BMO}(\Omega)$. Additionally, for source terms in $L^p(\Omega)$, for $p \in (n, \infty)$, we obtain sharp gradient estimates. Finally, we also address Schauder-type estimates for convex/concave operators and suitable H\"{o}lder data.


title: Pathwise Relaxed Optimal Control of Rough Differential Equations

abstract: This note lays part of the theoretical ground for a definition of differential systems modeling reinforcement learning in continuous time non-Markovian rough environments. Specifically we focus on optimal relaxed control of rough equations (the term relaxed referring to the fact that controls have to be considered as measure valued objects). With reinforcement learning in view, our reward functions encompass forms that involve an entropy-type term favoring exploration. In this context, our contribution focuses on a careful definition of the corresponding relaxed Hamilton-Jacobi-Bellman (HJB)-type equation. A substantial part of our endeavor consists in a precise definition of the notion of test function and viscosity solution for the rough relaxed PDE obtained in this framework. Note that this task is often merely sketched in the rough viscosity literature, in spite of the fact that it gives a proper meaning to the differential system at stake. In the last part of the paper we prove that the natural value function in our context solves a relaxed rough HJB equation in the viscosity sense.


title: Trapping light in air with membrane metasurfaces for vibrational strong coupling

abstract: Optical metasurfaces can manipulate electromagnetic waves in unprecedented ways at ultra-thin engineered interfaces. Specifically, in the mid-infrared (mid-IR) region, metasurfaces have enabled numerous biochemical sensing, spectroscopy, and vibrational strong coupling (VSC) applications via enhanced light-matter interactions in resonant cavities. However, mid-IR metasurfaces are usually fabricated on solid substrates, which degrade resonance quality factors (Q) and hinder efficient sample access to the near-field electromagnetic hotspots. Besides, typical IR-transparent substrate materials, such as CaF2, NaCl, KBr, and ZnSe, are usually either water-soluble, expensive, or not compatible with low-cost mass manufacturing processes. To address these substrate-related technological limitations, we present novel substrate-less mid-IR metasurfaces with strong light-trapping capabilities in accessible air voids through the patterning of free-standing Si-membranes. We employed the Brillouin zone folding technique to excite high-Q quasi-bound states in the continuum (q-BIC) resonances. Leveraging the strong field localizations in accessible air cavities (|E/E0|>200), we demonstrated VSC between molecules and the q-BIC modes. Our new approach of fabricating mid-IR metasurfaces into semiconductor membranes enables low-cost manufacturing of MIR photonic devices and provides exciting opportunities for quantum-coherent light-matter interactions, biochemical sensing, and polaritonic chemistry.


title: SequentialAttention++ for Block Sparsification: Differentiable Pruning Meets Combinatorial Optimization

abstract: Neural network pruning is a key technique towards engineering large yet scalable, interpretable, and generalizable models. Prior work on the subject has developed largely along two orthogonal directions: (1) differentiable pruning for efficiently and accurately scoring the importance of parameters, and (2) combinatorial optimization for efficiently searching over the space of sparse models. We unite the two approaches, both theoretically and empirically, to produce a coherent framework for structured neural network pruning in which differentiable pruning guides combinatorial optimization algorithms to select the most important sparse set of parameters. Theoretically, we show how many existing differentiable pruning techniques can be understood as nonconvex regularization for group sparse optimization, and prove that for a wide class of nonconvex regularizers, the global optimum is unique, group-sparse, and provably yields an approximate solution to a sparse convex optimization problem. The resulting algorithm that we propose, SequentialAttention++, advances the state of the art in large-scale neural network block-wise pruning tasks on the ImageNet and Criteo datasets.


title: Surgment: Segmentation-enabled Semantic Search and Creation of Visual Question and Feedback to Support Video-Based Surgery Learning

abstract: Videos are prominent learning materials to prepare surgical trainees before they enter the operating room (OR). In this work, we explore techniques to enrich the video-based surgery learning experience. We propose Surgment, a system that helps expert surgeons create exercises with feedback based on surgery recordings. Surgment is powered by a few-shot-learning-based pipeline (SegGPT+SAM) to segment surgery scenes, achieving an accuracy of 92\%. The segmentation pipeline enables functionalities to create visual questions and feedback desired by surgeons from a formative study. Surgment enables surgeons to 1) retrieve frames of interest through sketches, and 2) design exercises that target specific anatomical components and offer visual feedback. In an evaluation study with 11 surgeons, participants applauded the search-by-sketch approach for identifying frames of interest and found the resulting image-based questions and feedback to be of high educational value.


title: 4CNet: A Confidence-Aware, Contrastive, Conditional, Consistency Model for Robot Map Prediction in Multi-Robot Environments

abstract: Mobile robots in unknown cluttered environments with irregularly shaped obstacles often face sensing, energy, and communication challenges which directly affect their ability to explore these environments. In this paper, we introduce a novel deep learning method, Confidence-Aware Contrastive Conditional Consistency Model (4CNet), for mobile robot map prediction during resource-limited exploration in multi-robot environments. 4CNet uniquely incorporates: 1) a conditional consistency model for map prediction in irregularly shaped unknown regions, 2) a contrastive map-trajectory pretraining framework for a trajectory encoder that extracts spatial information from the trajectories of nearby robots during map prediction, and 3) a confidence network to measure the uncertainty of map prediction for effective exploration under resource constraints. We incorporate 4CNet within our proposed robot exploration with map prediction architecture, 4CNet-E. We then conduct extensive comparison studies with 4CNet-E and state-of-the-art heuristic and learning methods to investigate both map prediction and exploration performance in environments consisting of uneven terrain and irregularly shaped obstacles. Results showed that 4CNet-E obtained statistically significant higher prediction accuracy and area coverage with varying environment sizes, number of robots, energy budgets, and communication limitations. Real-world mobile robot experiments were performed and validated the feasibility and generalizability of 4CNet-E for mobile robot map prediction and exploration.


title: Using Graph Neural Networks to Predict Local Culture

abstract: Urban research has long recognized that neighbourhoods are dynamic and relational. However, lack of data, methodologies, and computer processing power have hampered a formal quantitative examination of neighbourhood relational dynamics. To make progress on this issue, this study proposes a graph neural network (GNN) approach that permits combining and evaluating multiple sources of information about internal characteristics of neighbourhoods, their past characteristics, and flows of groups among them, potentially providing greater expressive power in predictive models. By exploring a public large-scale dataset from Yelp, we show the potential of our approach for considering structural connectedness in predicting neighbourhood attributes, specifically to predict local culture. Results are promising from a substantive and methodologically point of view. Substantively, we find that either local area information (e.g. area demographics) or group profiles (tastes of Yelp reviewers) give the best results in predicting local culture, and they are nearly equivalent in all studied cases. Methodologically, exploring group profiles could be a helpful alternative where finding local information for specific areas is challenging, since they can be extracted automatically from many forms of online data. Thus, our approach could empower researchers and policy-makers to use a range of data sources when other local area information is lacking.


title: Representation learning in multiplex graphs: Where and how to fuse information?

abstract: In recent years, unsupervised and self-supervised graph representation learning has gained popularity in the research community. However, most proposed methods are focused on homogeneous networks, whereas real-world graphs often contain multiple node and edge types. Multiplex graphs, a special type of heterogeneous graphs, possess richer information, provide better modeling capabilities and integrate more detailed data from potentially different sources. The diverse edge types in multiplex graphs provide more context and insights into the underlying processes of representation learning. In this paper, we tackle the problem of learning representations for nodes in multiplex networks in an unsupervised or self-supervised manner. To that end, we explore diverse information fusion schemes performed at different levels of the graph processing pipeline. The detailed analysis and experimental evaluation of various scenarios inspired us to propose improvements in how to construct GNN architectures that deal with multiplex graphs.


title: NIIRF: Neural IIR Filter Field for HRTF Upsampling and Personalization

abstract: Head-related transfer functions (HRTFs) are important for immersive audio, and their spatial interpolation has been studied to upsample finite measurements. Recently, neural fields (NFs) which map from sound source direction to HRTF have gained attention. Existing NF-based methods focused on estimating the magnitude of the HRTF from a given sound source direction, and the magnitude is converted to a finite impulse response (FIR) filter. We propose the neural infinite impulse response filter field (NIIRF) method that instead estimates the coefficients of cascaded IIR filters. IIR filters mimic the modal nature of HRTFs, thus needing fewer coefficients to approximate them well compared to FIR filters. We find that our method can match the performance of existing NF-based methods on multiple datasets, even outperforming them when measurements are sparse. We also explore approaches to personalize the NF to a subject and experimentally find low-rank adaptation to be effective.


title: How to Partition a Quantum Observable

abstract: We present a partition of quantum observables in an open quantum system which is inherited from the division of the underlying Hilbert space or configuration space. It is shown that this partition leads to the definition of an inhomogeneous continuity equation for generic, non-local observables. This formalism is employed to describe the local evolution of the von Neumann entropy of a system of independent quantum particles out of equilibrium. Crucially, we find that all local fluctuations in the entropy are governed by an entropy current operator, implying that the production of entanglement entropy is not measured by this partitioned entropy. For systems linearly perturbed from equilibrium, it is shown that this entropy current is equivalent to a heat current, provided that the system-reservoir coupling is partitioned symmetrically. Finally, we show that any other partition of the coupling leads directly to a divergence of the von Neumann entropy. Thus, we conclude that Hilbert-space partitioning is the only partition of the von Neumann entropy which is consistent with the Laws of Thermodynamics.


title: Simulation of Muon Tomography Projections to Image the Pyramids of Giza

abstract: Purpose: A geometric simulation of a possible two-plane detector was developed to test the abilities of the detector to generate high-resolution images of the Great Pyramid using muon tomography. Methods and Materials: Trajectory range, angular resolution, and acceptance of the detector were calculated with a simulation. Trajectories and the corresponding sinogram space covered were simulated first with one detector in one location, and then two moving detectors on adjacent sides of the pyramid. The resolution at the center slice of the pyramid was calculated using the angular resolution of the detector. Results: The simulation returned trajectory range encompassing the pyramid and peak angular resolution of .0004sr. Sinogram space covered by one position was inadequate, however two moving detectors on adjacent sides of the pyramid cover a significant portion. Resolution at the center of the pyramid is roughly 3m. Conclusions: The simulation provides a way to calculate the detector positions needed to cover an adequate amount of sinogram space for high-resolution cosmic-ray tomographic reconstruction of the Great Pyramids. Key Words: high-resolution muon tomography, one-sided tomography, sinogram simulation, detector simulation


title: Box It to Bind It: Unified Layout Control and Attribute Binding in T2I Diffusion Models

abstract: While latent diffusion models (LDMs) excel at creating imaginative images, they often lack precision in semantic fidelity and spatial control over where objects are generated. To address these deficiencies, we introduce the Box-it-to-Bind-it (B2B) module - a novel, training-free approach for improving spatial control and semantic accuracy in text-to-image (T2I) diffusion models. B2B targets three key challenges in T2I: catastrophic neglect, attribute binding, and layout guidance. The process encompasses two main steps: i) Object generation, which adjusts the latent encoding to guarantee object generation and directs it within specified bounding boxes, and ii) attribute binding, guaranteeing that generated objects adhere to their specified attributes in the prompt. B2B is designed as a compatible plug-and-play module for existing T2I models, markedly enhancing model performance in addressing the key challenges. We evaluate our technique using the established CompBench and TIFA score benchmarks, demonstrating significant performance improvements compared to existing methods. The source code will be made publicly available at https://github.com/nextaistudio/BoxIt2BindIt.