title: Density Classification with Non-Unitary Quantum Cellular Automata

abstract: The density classification (DC) task, a computation which maps global density information to local density, is studied using one-dimensional non-unitary quantum cellular automata (QCAs). Two approaches are considered: one that preserves the number density and one that performs majority voting. For number preserving DC, two QCAs are introduced that reach the fixed point solution in a time scaling quadratically with the system size. One of the QCAs is based on a known classical probabilistic cellular automaton which has been studied in the context of DC. The second is a new quantum model that is designed to demonstrate additional quantum features and is restricted to only two-body interactions. Both can be generated by continuous-time Lindblad dynamics. A third QCA is a hybrid rule defined by both discrete-time and continuous-time three-body interactions that is shown to solve the majority voting problem within a time that scales linearly with the system size.


title: Interactive Formal Specification for Mathematical Problems of Engineers

abstract: The paper presents the second part of a precise description of the prototype that has been developed in the course of the ISAC project over the last two decades. This part describes the "specify-phase", while the first part describing the "solve-phase" is already published. In the specify-phase a student interactively constructs a formal specification. The ISAC prototype implements formal specifications as established in theoretical computer science, however, the input language for the construction avoids requiring users to have knowledge of logic; this makes the system useful for various engineering faculties (and also for high school). The paper discusses not only ISAC's design of the specify-phase in detail, but also gives a brief introduction to implementation with the aim of advertising the re-use of formal frameworks (inclusive respective front-ends) with their generic tools for language definition and their rich pool of software components for formal mathematics.


title: Curvature of quaternionic skew-Hermitian manifolds and bundle constructions

abstract: This articles is devoted to a description of the second-order differential geometry of torsion-free almost quaternionic skew-Hermitian manifolds, that is, of quaternionic skew-Hermitian manifolds $(M, Q, \omega)$. We provide a curvature characterization of such integrable geometric structures, based on the holonomy theory of symplectic connections and we study qualitative properties of the induced Ricci tensor. Then we proceed with bundle constructions over such a manifold $(M, Q, \omega)$. In particular, we prove the existence of almost hypercomplex skew-Hermitian structures on the Swann bundle over $M$ and investigate their integrability.


title: Parity violation in primordial tensor non-Gaussianities from matter bounce cosmology

abstract: It has been shown that primordial tensor non-Gaussianities from a cubic Weyl action with a non-dynamical coupling are suppressed by the so-called slow-roll parameter in a conventional framework of slow-roll inflation. In this paper, we consider matter bounce cosmology in which the background spacetime is no longer quasi-de Sitter, and hence one might expect that the matter bounce models could predict non-suppressed non-Gaussianities. Nevertheless, we first show that the corresponding non-Gaussian amplitudes from the cubic Weyl term with a non-dynamical coupling are much smaller than those from the conventional slow-roll inflation, in spite of the fact that there is no slow-roll suppression. We then introduce a dynamical coupling that can boost the magnitude of graviton cubic interactions and clarify that there is a parameter region where the tensor non-Gaussianities can be enhanced and can potentially be tested by cosmic microwave background experiments.


title: HAMMR: HierArchical MultiModal React agents for generic VQA

abstract: Combining Large Language Models (LLMs) with external specialized tools (LLMs+tools) is a recent paradigm to solve multimodal tasks such as Visual Question Answering (VQA). While this approach was demonstrated to work well when optimized and evaluated for each individual benchmark, in practice it is crucial for the next generation of real-world AI systems to handle a broad range of multimodal problems. Therefore we pose the VQA problem from a unified perspective and evaluate a single system on a varied suite of VQA tasks including counting, spatial reasoning, OCR-based reasoning, visual pointing, external knowledge, and more. In this setting, we demonstrate that naively applying the LLM+tools approach using the combined set of all tools leads to poor results. This motivates us to introduce HAMMR: HierArchical MultiModal React. We start from a multimodal ReAct-based system and make it hierarchical by enabling our HAMMR agents to call upon other specialized agents. This enhances the compositionality of the LLM+tools approach, which we show to be critical for obtaining high accuracy on generic VQA. Concretely, on our generic VQA suite, HAMMR outperforms the naive LLM+tools approach by 19.5%. Additionally, HAMMR achieves state-of-the-art results on this task, outperforming the generic standalone PaLI-X VQA model by 5.0%.


title: Enhancing Lip Reading with Multi-Scale Video and Multi-Encoder

abstract: Automatic lip-reading (ALR) aims to automatically transcribe spoken content from a speaker's silent lip motion captured in video. Current mainstream lip-reading approaches only use a single visual encoder to model input videos of a single scale. In this paper, we propose to enhance lip-reading by incorporating multi-scale video data and multi-encoder. Specifically, we first propose a novel multi-scale lip motion extraction algorithm based on the size of the speaker's face and an Enhanced ResNet3D visual front-end (VFE) to extract lip features at different scales. For the multi-encoder, in addition to the mainstream Transformer and Conformer, we also incorporate the recently proposed Branchformer and E-Branchformer as visual encoders. In the experiments, we explore the influence of different video data scales and encoders on ALR system performance and fuse the texts transcribed by all ALR systems using recognizer output voting error reduction (ROVER). Finally, our proposed approach placed second in the ICME 2024 ChatCLR Challenge Task 2, with a 21.52% reduction in character error rate (CER) compared to the official baseline on the evaluation set.


title: Quantum optimization with linear Ising penalty functions for customer data science

abstract: Constrained combinatorial optimization problems, which are ubiquitous in industry, can be solved by quantum algorithms such as quantum annealing (QA) and the quantum approximate optimization algorithm (QAOA). In these quantum algorithms, constraints are typically implemented with quadratic penalty functions. This penalty method can introduce large energy scales and make interaction graphs much more dense. These effects can result in worse performance of quantum optimization, particularly on near-term devices that have sparse hardware graphs and other physical limitations. In this work, we consider linear Ising penalty functions, which are applied with local fields in the Ising model, as an alternative method for implementing constraints that makes more efficient use of physical resources. We study the behaviour of the penalty method in the context of quantum optimization for customer data science problems. Our theoretical analysis and numerical simulations of QA and the QAOA indicate that this penalty method can lead to better performance in quantum optimization than the quadratic method. However, the linear Ising penalty method is not suitable for all problems as it cannot always exactly implement the desired constraint. In cases where the linear method is not successful in implementing all constraints, we propose that schemes involving both quadratic and linear Ising penalties can be effective.


title: Mind-to-Image: Projecting Visual Mental Imagination of the Brain from fMRI

abstract: The reconstruction of images observed by subjects from fMRI data collected during visual stimuli has made strong progress in the past decade, thanks to the availability of extensive fMRI datasets and advancements in generative models for image generation. However, the application of visual reconstruction has remained limited. Reconstructing visual imagination presents a greater challenge, with potentially revolutionary applications ranging from aiding individuals with disabilities to verifying witness accounts in court. The primary hurdles in this field are the absence of data collection protocols for visual imagery and the lack of datasets on the subject. Traditionally, fMRI-to-image relies on data collected from subjects exposed to visual stimuli, which poses issues for generating visual imagery based on the difference of brain activity between visual stimulation and visual imagery. For the first time, we have compiled a substantial dataset (around 6h of scans) on visual imagery along with a proposed data collection protocol. We then train a modified version of an fMRI-to-image model and demonstrate the feasibility of reconstructing images from two modes of imagination: from memory and from pure imagination. The resulting pipeline we call Mind-to-Image marks a step towards creating a technology that allow direct reconstruction of visual imagery.


title: Concerning the stability of exponential systems and Fourier matrices

abstract: Fourier matrices naturally appear in many applications and their stability is closely tied to performance guarantees of algorithms. The starting point of this article is a result that characterizes properties of an exponential system on a union of cubes in $\mathbb{R}^d$ in terms of a general class of Fourier matrices and their extreme singular values. This relationship is flexible in the sense that it holds for any dimension $d$, for many types of exponential systems (Riesz bases, Riesz sequences, or frames) and for Fourier matrices with an arbitrary number of rows and columns. From there, we prove new stability results for Fourier matrices by exploiting this connection and using powerful stability theorems for exponential systems. This paper provides a systematic exploration of this connection and suggests some natural open questions.


title: Towards Reconfigurable Linearizable Reads

abstract: Linearizable datastores are desirable because they provide users with the illusion that the datastore is run on a single machine that performs client operations one at a time. To reduce the performance cost of providing this illusion, many specialized algorithms for linearizable reads have been proposed which significantly improve read performance compared to write performance. The main difference between these specialized algorithms is their performance under different workloads. Unfortunately, since a datastore's workload is often unknown or changes over time and system designers must decide on a single read algorithm to implement ahead of time, a datastore's performance is often suboptimal as it cannot adapt to workload changes. In this paper, we lay the groundwork for addressing this problem by proposing Chameleon, an algorithm for linearizable reads that provides a principled approach for datastores to switch between existing read algorithms at runtime. The key observation that enables this generalization is that all existing algorithms are specific read-write quorum systems. Chameleon constructs a generic read-write quorum system, by using tokens that are included to complete write and read operations. This token quorum system enables Chameleon to mimic existing read algorithms and switch between them by transferring these tokens between processes.


title: Quench dynamics of interacting bosons: generalized coherent states versus multi-mode Glauber states

abstract: Multi-mode Glauber coherent states (MMGS) as well as Bloch states with zero quasi-momentum, which are a special case of generalized coherent states (GCS), are frequently used to describe condensed phases of bosonic many-body systems. The difference of two-point correlators of MMGS and GCS vanishes in the thermodynamic limit. Using the established expansion of GCS in terms of MMGS, we derive a Fourier-type relation between the (auto-)correlation functions of the two different time-evolved states. This relation reveals that the (auto-)correlation and thus the dynamical free energy density for the two cases are still different, even in the thermodynamic limit, due to the lack of the U(1) symmetry of the MMGS. Analytic results for the deep lattice model of interacting bosons for increasing filling factors show multiple sharp structures in the dynamical free energy-density of increasing complexity. These are explained using the evolution of Husimi functions in phase space.


title: The steady-states of splitter networks

abstract: We introduce splitter networks, which abstract the behavior of conveyor belts found in the video game Factorio. Based on this definition, we show how to compute the steady-state of a splitter network. Then, leveraging insights from the players community, we provide multiple designs of splitter networks capable of load-balancing among several conveyor belts, and prove that any load-balancing network on $n$ belts must have $\Omega(n \log n)$ nodes. Incidentally, we establish connections between splitter networks and various concepts including flow algorithms, flows with equality constraints, Markov chains and the Knuth-Yao theorem about sampling over rational distributions using a fair coin.


title: Modeling the effects of perturbations and steepest entropy ascent on the time evolution of entanglement

abstract: This work presents an analysis of the evolution of perturbed Bell diagonal states using the equation of motion of steepest-entropy-ascent quantum thermodynamics (SEAQT), the Lindblad equation, and various measures of loss of entanglement. First, a brief derivation is presented showing that Bell diagonal states are stationary states that are not stable equilibrium states relative to the SEAQT equation of motion, highlighting the need for the development of perturbation methods to study the evolutions of nearby states. This contrasts with the Lindblad equation of motion for which only some of the Bell diagonal states are stationary. Next, two perturbation methods are presented. The first is a general method for perturbing bipartite systems and the second is a method based on a set of unitary operations that are constrained to hold the system energy and system entropy constant. Sets of density operators are randomly generated with each method and the resulting time-varying characteristics of the system's entanglement are analyzed. The findings reveal that the evolutions associated with the constrained perturbations accurately predict the loss of non-locality and align well with the measured concurrence.


title: Photon bunching in high-harmonic emission controlled by quantum light

abstract: Attosecond spectroscopy comprises several techniques to probe matter through electrons and photons. One frontier of attosecond methods is to reveal complex phenomena arising from quantum-mechanical correlations in the matter system, in the photon fields and among them. Recent theories have laid the groundwork for understanding how quantum-optical properties affect high-field photonics, such as strong-field ionization and acceleration of electrons in quantum-optical fields, and how entanglement between the field modes arises during the interaction. Here we demonstrate a new experimental approach that transduces some properties of a quantum-optical state through a strong-field nonlinearity. We perturb high-harmonic emission from a semiconductor with a bright squeezed vacuum field resulting in the emission of sidebands of the high-harmonics with super-Poissonian statistics, indicating that the emitted photons are bunched. Our results suggest that perturbing strong-field dynamics with quantum-optical states is a viable way to coherently control the generation of these states at short wavelengths, such as extreme ultraviolet or soft X-rays. Quantum correlations will be instrumental to advance attosecond spectroscopy and imaging beyond the classical limits.


title: Linear Contextual Metaprogramming and Session Types

abstract: We explore the integration of metaprogramming in a call-by-value linear lambda-calculus and sketch its extension to a session type system. We build on a model of contextual modal type theory with multi-level contexts, where contextual values, closing arbitrary terms over a series of variables, may then be boxed and transmitted in messages. Once received, one such value may then be unboxed (with a let-box construct) and locally applied before being run. We present a series of examples where servers prepare and ship code on demand via session typed messages.


title: Experimental demonstration of improved quantum optimization with linear Ising penalties

abstract: The standard approach to encoding constraints in quantum optimization is the quadratic penalty method. Quadratic penalties introduce additional couplings and energy scales, which can be detrimental to the performance of a quantum optimizer. In quantum annealing experiments performed on a D-Wave Advantage, we explore an alternative penalty method that only involves linear Ising terms and apply it to a customer data science problem. Our findings support our hypothesis that the linear Ising penalty method should improve the performance of quantum optimization compared to using the quadratic penalty method due to its more efficient use of physical resources. Although the linear Ising penalty method is not guaranteed to exactly implement the desired constraint in all cases, it is able to do so for the majority of problem instances we consider. For problems with many constraints, where making all penalties linear is unlikely to be feasible, we investigate strategies for combining linear Ising penalties with quadratic penalties to satisfy constraints for which the linear method is not well-suited. We find that this strategy is most effective when the penalties that contribute most to limiting the dynamic range are removed.


title: Observations on Large-Scale Attenuation Effects in a 26 GHz Urban Micro-Cell Environment

abstract: This letter presents a measurement campaign carried out in an FR2 urban outdoor environment in a live experimental network deployment. The radio propagation analysis from a physical perspective at 26 GHz is essential for the correct deployment and dimensioning of future communication networks. This study summarises and evaluates some of the typical effects encountered in a communications scenario such as penetration losses in a building, losses due to vegetation or the human body, or diffraction/scattering propagation around corners in street canyon-like environment given a FR2 live network.


title: Session Types for the Transport Layer: Towards an Implementation of TCP

abstract: Session types are a typing discipline used to formally describe communication-driven applications with the aim of fewer errors and easier debugging later into the life cycle of the software. Protocols at the transport layer such as TCP, UDP, and QUIC underpin most of the communication on the modern Internet and affect billions of end-users. The transport layer has different requirements and constraints compared to the application layer resulting in different requirements for verification. Despite this, to our best knowledge, no work shows the application of session types at the transport layer. In this work, we discuss how multiparty session types (MPST) can be applied to implement the TCP protocol. We develop an MPST-based implementation of a subset of a TCP server in Rust and test its interoperability against the Linux TCP stack. Our results highlight the differences in assumptions between session type theory and the way transport layer protocols are usually implemented. This work is the first step towards bringing session types into the transport layer.


title: Behavioural Types for Heterogeneous Systems (Position Paper)

abstract: Behavioural types provide a promising way to achieve lightweight, language-integrated verification for communication-centric software. However, a large barrier to the adoption of behavioural types is that the current state of the art expects software to be written using the same tools and typing discipline throughout a system, and has little support for components over which a developer has no control. This position paper describes the outcomes of a working group discussion at Dagstuhl Seminar 24051 (Next-Generation Protocols for Heterogeneous Systems). We propose a methodology for integrating multiple behaviourally-typed components, written in different languages. Our proposed approach involves an extensible protocol description language, a session IR that can describe data transformations and boundary monitoring and which can be compiled into program-specific session proxies, and finally a session middleware to aid session establishment. We hope that this position paper will stimulate discussion on one of the most pressing challenges facing the widespread adoption of behavioural typing.


title: Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses

abstract: Session types are a type discipline for describing and specifying communication behaviours of concurrent processes. Session subtyping, firstly introduced by Gay and Hole, is widely used for enlarging typability of session programs. This paper gives the complexity analysis of three algorithms for subtyping of synchronous binary session types. First, we analyse the complexity of the algorithm from the original paper, which is based on an inductive tree search. We then introduce its optimised version, which improves the complexity, but is still exponential against the size of the two types. Finally, we propose a new quadratic algorithm based on a graph search using the concept of XYZW-simulation, recently introduced by Silva et al.


title: General position sets, colinear sets, and Sierpi\'{n}ski product graphs

abstract: Let $G \otimes _f H$ denote the Sierpi\'nski product of $G$ and $H$ with respect to the function $f$. The Sierpi\'nski general position number ${\rm gp}{_{\rm S}}(G,H)$ is introduced as the cardinality of a largest general position set in $G \otimes _f H$ over all possible functions $f$. Similarly, the lower Sierpi\'nski general position number $\underline{{\rm gp}}{_{\rm S}}(G,H)$ is the corresponding smallest cardinality. The concept of vertex-colinear sets is introduced. Bounds for the general position number in terms of extremal vertex-colinear sets, and bounds for the (lower) Sierpi\'nski general position number are proved. The extremal graphs are investigated. Formulas for the (lower) Sierpi\'nski general position number of the \SP{s} with $K_2$ as the first factor are deduced. It is proved that if $m,n\geq 2$, then ${\rm gp}{_{\rm S}}(K_m,K_n) = m(n-1)$ and that if $n\ge 2m-2$, then $\underline{{\rm gp}}{_{\rm S}}(K_m,K_n) = m(n-m+1)$.


title: WaveCatBoost for Probabilistic Forecasting of Regional Air Quality Data

abstract: Accurate and reliable air quality forecasting is essential for protecting public health, sustainable development, pollution control, and enhanced urban planning. This letter presents a novel WaveCatBoost architecture designed to forecast the real-time concentrations of air pollutants by combining the maximal overlapping discrete wavelet transform (MODWT) with the CatBoost model. This hybrid approach efficiently transforms time series into high-frequency and low-frequency components, thereby extracting signal from noise and improving prediction accuracy and robustness. Evaluation of two distinct regional datasets, from the Central Air Pollution Control Board (CPCB) sensor network and a low-cost air quality sensor system (LAQS), underscores the superior performance of our proposed methodology in real-time forecasting compared to the state-of-the-art statistical and deep learning architectures. Moreover, we employ a conformal prediction strategy to provide probabilistic bands with our forecasts.


title: PetKaz at SemEval-2024 Task 8: Can Linguistics Capture the Specifics of LLM-generated Text?

abstract: In this paper, we present our submission to the SemEval-2024 Task 8 "Multigenerator, Multidomain, and Multilingual Black-Box Machine-Generated Text Detection", focusing on the detection of machine-generated texts (MGTs) in English. Specifically, our approach relies on combining embeddings from the RoBERTa-base with diversity features and uses a resampled training set. We score 12th from 124 in the ranking for Subtask A (monolingual track), and our results show that our approach is generalizable across unseen models and domains, achieving an accuracy of 0.91.


title: On Computational Modeling of Sleep-Wake Cycle

abstract: Why do mammals need to sleep? Neuroscience treats sleep and wake as default and perturbation modes of the brain. It is hypothesized that the brain self-organizes neural activities without environmental inputs. This paper presents a new computational model of the sleep-wake cycle (SWC) for learning and memory. During the sleep mode, the memory consolidation by the thalamocortical system is abstracted by a disentangling operator that maps context-dependent representations (CDR) to context-independent representations (CIR) for generalization. Such a disentangling operator can be mathematically formalized by an integral transform that integrates the context variable from CDR. During the wake mode, the memory formation by the hippocampal-neocortical system is abstracted by an entangling operator from CIR to CDR where the context is introduced by physical motion. When designed as inductive bias, entangled CDR linearizes the problem of unsupervised learning for sensory memory by direct-fit. The concatenation of disentangling and entangling operators forms a disentangling-entangling cycle (DEC) as the building block for sensorimotor learning. We also discuss the relationship of DEC and SWC to the perception-action cycle (PAC) for internal model learning and perceptual control theory for the ecological origin of natural languages.


title: Many-body quantum dynamics of spin-orbit coupled Andreev states in a Zeeman field

abstract: We provide a theoretical framework to describe the quantum many-body dynamics of Andreev states in Josephson junctions with spin-orbit coupling and a magnetic Zeeman field. In such cases, employing a doubled Nambu spinor description is technically advantageous but one then has to be careful to avoid double-counting problems. By deriving the Lindblad master equation in the socalled excitation picture, we show that a physically consistent many-body theory free from doublecounting problems follows. We apply our formalism to a study of dynamical parity stabilization of the Andreev sector at intermediate times after an initial microwave pulse, in particular addressing the combined effects of spin-orbit coupling and Zeeman field.


title: Quickest Change Detection for Multiple Data Streams Using the James-Stein Estimator

abstract: The problem of quickest change detection is studied in the context of detecting an arbitrary unknown mean-shift in multiple independent Gaussian data streams. The James-Stein estimator is used in constructing detection schemes that exhibit strong detection performance both asymptotically and non-asymptotically. First, a James-Stein-based extension of the recently developed windowed CuSum test is introduced. Our results indicate that the proposed scheme constitutes a uniform improvement over its typical maximum likelihood variant. That is, the proposed James-Stein version achieves a smaller detection delay simultaneously for all possible post-change parameter values and every false alarm rate constraint, as long as the number of parallel data streams is greater than three. Additionally, an alternative detection procedure that utilizes the James-Stein estimator is shown to have asymptotic detection delay properties that compare favorably to existing tests. The second-order term of the asymptotic average detection delay is reduced in a predefined low-dimensional subspace of the parameter space, while second-order asymptotic minimaxity is preserved. The results are verified in simulations, where the proposed schemes are shown to achieve smaller detection delays compared to existing alternatives, especially when the number of data streams is large.


title: Monogenic Quartic Polynomials and Their Galois Groups

abstract: A monic polynomial $f(x)\in {\mathbb Z}[x]$ of degree $N$ is called monogenic if $f(x)$ is irreducible over ${\mathbb Q}$ and $\{1,\theta,\theta^2,\ldots ,\theta^{N-1}\}$ is a basis for the ring of integers of ${\mathbb Q}(\theta)$, where $f(\theta)=0$. In this article, we use the classification of the Galois groups of quartic polynomials, due to Kappe and Warren, to investigate the existence of infinite collections of monogenic quartic polynomials having a prescribed Galois group, such that each member of the collection generates a distinct quartic field. With the exception of the cyclic case, we provide such an infinite single-parameter collection for each possible Galois group. We believe these examples are new, and we provide evidence to support this belief by showing that they are distinct from other infinite collections in the current literature. Finally, we devote a separate section to a discussion concerning, what we believe to be, the still-unresolved cyclic case.


title: PHL 5038AB: Is the brown dwarf causing pollution of its white dwarf host star?

abstract: We present new results on PHL 5038AB, a widely separated binary system composed of a white dwarf and a brown dwarf, refining the white and brown dwarf parameters and determining the binary separation to be $66^{+12}_{-24}$~AU. New spectra of the white dwarf show calcium absorption lines suggesting the hydrogen-rich atmosphere is weakly polluted, inferring the presence of planetesimals in the system, which we determine are in an S-type orbit around the white dwarf in orbits closer than 17-32 AU. We do not detect any infrared excess that would indicate the presence of a disc, suggesting all dust present has either been totally accreted or is optically thin. In this system, we suggest the metal pollution in the white dwarf atmosphere can be directly attributed to the presence of the brown dwarf companion disrupting the orbits of planetesimals within the system.


title: The Impact of Sanctions on GitHub Developers and Activities

abstract: The GitHub platform has fueled the creation of truly global software, enabling contributions from developers across various geographical regions of the world. As software becomes more entwined with global politics and social regulations, it becomes similarly subject to government sanctions. In 2019, GitHub restricted access to certain services for users in specific locations but rolled back these restrictions for some communities (e.g., the Iranian community) in 2021. We conducted a large-scale empirical study, collecting approximately 156 thousand user profiles and their 41 million activity points from 2008 to 2022, to understand the response of developers. Our results indicate that many of these targeted developers were able to navigate through the sanctions. Furthermore, once these sanctions were lifted, these developers opted to return to GitHub instead of withdrawing their contributions to the platform. The study indicates that platforms like GitHub play key roles in sustaining global contributions to Open Source Software.


title: Two-Person Interaction Augmentation with Skeleton Priors

abstract: Close and continuous interaction with rich contacts is a crucial aspect of human activities (e.g. hugging, dancing) and of interest in many domains like activity recognition, motion prediction, character animation, etc. However, acquiring such skeletal motion is challenging. While direct motion capture is expensive and slow, motion editing/generation is also non-trivial, as complex contact patterns with topological and geometric constraints have to be retained. To this end, we propose a new deep learning method for two-body skeletal interaction motion augmentation, which can generate variations of contact-rich interactions with varying body sizes and proportions while retaining the key geometric/topological relations between two bodies. Our system can learn effectively from a relatively small amount of data and generalize to drastically different skeleton sizes. Through exhaustive evaluation and comparison, we show it can generate high-quality motions, has strong generalizability and outperforms traditional optimization-based methods and alternative deep learning solutions.


title: Rewording theoretical predictions at colliders with vacuum amplitudes

abstract: We propose multiloop vacuum amplitudes as the optimal building blocks for efficiently assembling theoretical predictions at high-energy colliders. This hypothesis is strongly supported by the manifestly causal properties of the loop-tree duality (LTD) representation of a vacuum amplitude. The vacuum amplitude, acting as a kernel, encodes all the final states contributing to a given scattering or decay process through residues in the on-shell energies of the internal propagators. It also naturally implements gauge invariance and the wave function renormalisation of the external legs. This methodological approach, dubbed LTD causal unitary, leads to a novel representation of differential cross sections and decay rates that is locally free of ultraviolet and infrared singularities at all orders in perturbation theory. Unitary threshold singularities also match between different phase-space residues. Most notably, it allows us to conjecture for the first time the local functional form of initial-state collinear singularities. The fulfillment of all these properties provides a theoretical description of differential observables at colliders that is well defined in the four physical dimensions of the space-time.


title: Vacuum amplitudes and time-like causal unitary in the loop-tree duality

abstract: We present the first proof-of-concept application to decay processes at higher perturbative orders of LTD causal unitary, a novel methodology that exploits the causal properties of vacuum amplitudes in the loop-tree duality (LTD) and is directly well-defined in the four physical dimensions of the space-time. The generation of loop- and tree-level contributions to the differential decay rates from a kernel multiloop vacuum amplitude is shown in detail, and explicit expressions are presented for selected processes that are suitable for a lightweight understanding of the method. Specifically, we provide a clear physical interpretation of the local cancellation of soft, collinear and unitary threshold singularities, and of the local renormalisation of ultraviolet singularities. The presentation is illustrated with numerical results that showcase the advantages of the method.


title: Design, fabrication and test of a 5 GHz klystron based on the kladistron principle

abstract: A new bunching method, named "kladistron" has been developed at CEA in order to provide high efficiency klystrons. A first "kladistron" prototype was designed and realized. It was adapted from the 4.9 GHz TH2166 from Thales, where the interaction line was transformed from 6 to 16 cavities. The design and fabrication phases of this prototype are developed in this paper. The kladistron prototype was tested in Thales facility. Its efficiency is finally lower (41 %) than expected (55 %), moreover it presents a spurious oscillation at 4.96 GHz. After analysis of the experimental results, it is concluded that the discrepancy between design and real frequencies is the cause for the low efficiency while the spurious oscillation results from a high gain peak at 4.96 GHz.


title: Implementation of the bilayer Hubbard model in a moir\'e heterostructure

abstract: Moir\'e materials provide a unique platform for studies of correlated many-body physics of the Fermi-Hubbard model on triangular spin-charge lattices. Bilayer Hubbard models are of particular significance with regard to the physics of Mott insulating states and their relation to unconventional superconductivity, yet their experimental implementation in moir\'e systems has so far remained elusive. Here, we demonstrate the realization of a staggered bilayer triangular lattice of electrons in an antiparallel MoSe$_{2}$/WS$_{2}$ heterostructure. The bilayer lattice emerges due to strong electron confinement in the moir\'e potential minima and the near-resonant alignment of conduction band edges in MoSe$_{2}$ and WS$_{2}$. As a result, charge filling proceeds layer-by-layer, with the first and second electron per moir\'e cell consecutively occupying first the MoSe$_{2}$ and then the WS$_{2}$ layer. We describe the observed charging sequence by an electrostatic model and provide experimental evidence of spin correlations on the vertically offset and laterally staggered bilayer lattice, yielding absolute exciton Land\'e factors as high as $600$ at lowest temperatures. The bilayer character of the implemented spin-charge lattice allows for electrostatic tunability of Ruderman-Kittel-Kasuya-Yosida magnetism, and establishes antiparallel MoSe$_{2}$/WS$_{2}$ heterostructures as a viable platform for studies of bilayer Hubbard model physics with exotic magnetic phases on frustrated lattices.


title: Decisioning Workshop 2023

abstract: In a knowledge society, the term knowledge must be considered a core resource for organizations. So, beyond being a medium to progress and to innovate, knowledge is one of our most important resources: something necessary to decide.Organizations that are embracing knowledge retention activities are gaining a competitive advantage. Organizational rearrangements from companies, notably outsourcing, increase a possible loss of knowledge, making knowledge retention an essential need for them. When Knowledge is less shared, collaborative decision-making seems harder to obtain insofar as a ``communication breakdown'' characterizes participants' discourse. At best, stakeholders have to finda consensus according to their knowledge. Sharing knowledge ensures its retention and catalyzes the construction of this consensus. Our vision of collaborative decision-making aims not only at increasing the quality of the first parts of the decision-making process: intelligence and design, but also at increasing the acceptance of the choice. Intelligence and design will be done by more than one individual and constructed together; the decision is more easily accepted. The decided choice will then be shared. Thereby where decision-making could be seen as a constructed model, collaborative decision-making, for us,is seen as the use of socio-technical media to improve decision-making performance and acceptability. The shared decision making is a core activity in a lot of human activities. For example, the sustainable decision-making is the job of not only governments and institutions but also broader society. Recognizing the urgent need for sustainability, we can argue that to realize sustainable development, it must be considered as a decision-making strategy. The location of knowledge in the realization of collaborative decision-making has to be regarded insofar as knowledge sharing leads to improve collaborative decision-making: a ``static view'' has to be structured and constitutes the ``collaborative knowledge.'' Knowledge has an important role in individual decision-making, and we consider that for collaborative decision-making, knowledge has to be shared. What is required is a better understanding of the nature of group work''. Knowledge has to be shared, but how do we share knowledge?


title: Stability Mechanisms for Predictive Safety Filters

abstract: Predictive safety filters enable the integration of potentially unsafe learning-based control approaches and humans into safety-critical systems. In addition to simple constraint satisfaction, many control problems involve additional stability requirements that may vary depending on the specific use case or environmental context. In this work, we address this problem by augmenting predictive safety filters with stability guarantees, ranging from bounded convergence to uniform asymptotic stability. The proposed framework extends well-known stability results from model predictive control (MPC) theory while supporting commonly used design techniques. As a result, straightforward extensions to dynamic trajectory tracking problems can be easily adapted, as outlined in this article. The practicality of the framework is demonstrated using an automotive advanced driver assistance scenario, involving a reference trajectory stabilization problem.


title: The Fortuin-Kasteleyn polynomial as a bialgebra morphism and applications to the Tutte polynomial

abstract: We compute an explicit formula for the antipode of the double bialgebra of graphs in terms of totally acyclic partial orientations, using some general results on double bialgebras. In analogy to what was already proven in Hopf-algebraic terms for the chromatic polynomial of a graph, we show that the Fortuin-Kasteleyn polynomial (a variant of the Tutte polynomial) is a morphism of the double algebra of graphs into that of polynomials, which generalizes the chromatic polynomial. When specialized at particular values, we give combinatorial interpretations of the Tutte polynomial of a graph, via covering graphs and covering forests, and of the Fortuin-Kasteleyn polynomial, via pairs of vertex--edge colorings. Finally we show that the map associating to a graph all its orientations is a Hopf morphism from the double bialgebra of graphs into that one of oriented graphs, allowing to give interpretations of the Fortuin-Kasteleyn polynomial when computed at negative values.


title: Characterising the Higgs boson with ATLAS data from Run 2 of the LHC

abstract: The Higgs boson was discovered by the ATLAS and CMS Collaborations in 2012 using data from Run 1 of the Large Hadron Collider (2010$-$2012). In Run 2 (2015$-$2018), about 140 fb$^{-1}$ of proton$-$proton collisions at a centre-of-mass energy of 13 TeV were collected by the ATLAS experiment. This review presents the most important Run 2 results obtained by the ATLAS Collaboration regarding the properties of the Higgs boson and its interactions with other particles. The performed studies significantly enhance the understanding of the Higgs boson, while hunting for deviations from the predictions of the Standard Model of particle physics.


title: Guiding Large Language Models to Generate Computer-Parsable Content

abstract: We propose a method to guide Large Language Models (LLMs) in generating structured content adhering to specific conventions without fine-tuning. By utilizing coroutine-based content generation constraints through a pre-agreed context-free grammar (CFG), LLMs are directed during decoding to produce formal language compliant outputs. This enhances stability and consistency in generating target data structures, types, or instructions, reducing application development complexities. Experimentally, error rates of GPT-2 and Gemma exceed 95% for DSLs longer than 36 and 282 tokens, respectively. We introduce YieldLang, a coroutine-based DSL generation framework, and evaluate it with LLMs on various tasks including JSON and Mermaid flowchart generation. Compared to benchmarks, our approach improves accuracy by 1.09 to 11.6 times, with LLMs requiring only about 16.5% of the samples to generate JSON effectively. This enhances usability of LLM-generated content for computer programs.


title: Microscopic description of induced fission in a configuration interaction approach

abstract: Even though more than 80 years have passed since the discovery of fission, its microscopic understanding has still been unclear. To clarify the underlying mechanics of induced fission, we analyze the distribution of a fission width using a miscropic framework based on a configuration-interaction approach. The distribution is known to follow a chi-squared distribution, which is characterized by the effective number of decay channels, $\nu$. We introduce an effective Hamitonian for the space of compound nucleus states and estimate $\nu$ from the rank of the imaginary part of the effective Hamiltonian. Applying the model to $^{235}$U(n,f), we succesfully reproduce the empirical value of $\nu=2.3\pm1.1$. We also find that $\nu$ is insensitve to the number of fission channels, which is consistent with an experimental finding.


title: Data Science In Olfaction

abstract: Advances in neural sensing technology are making it possible to observe the olfactory process in great detail. In this paper, we conceptualize smell from a Data Science and AI perspective, that relates the properties of odorants to how they are sensed and analyzed in the olfactory system from the nose to the brain. Drawing distinctions to color vision, we argue that smell presents unique measurement challenges, including the complexity of stimuli, the high dimensionality of the sensory apparatus, as well as what constitutes ground truth. In the face of these challenges, we argue for the centrality of odorant-receptor interactions in developing a theory of olfaction. Such a theory is likely to find widespread industrial applications, and enhance our understanding of smell, and in the longer-term, how it relates to other senses and language. As an initial use case of the data, we present results using machine learning-based classification of neural responses to odors as they are recorded in the mouse olfactory bulb with calcium imaging.


title: PetKaz at SemEval-2024 Task 3: Advancing Emotion Classification with an LLM for Emotion-Cause Pair Extraction in Conversations

abstract: In this paper, we present our submission to the SemEval-2023 Task~3 "The Competition of Multimodal Emotion Cause Analysis in Conversations", focusing on extracting emotion-cause pairs from dialogs. Specifically, our approach relies on combining fine-tuned GPT-3.5 for emotion classification and a BiLSTM-based neural network to detect causes. We score 2nd in the ranking for Subtask 1, demonstrating the effectiveness of our approach through one of the highest weighted-average proportional F1 scores recorded at 0.264.


title: Level-Set Percolation of Gaussian Random Fields on Complex Networks

abstract: We provide an explicit solution of the problem of level-set percolation for multivariate Gaussians defined in terms of weighted graph Laplacians on complex networks. The solution requires an analysis of the heterogeneous micro-structure of the percolation problem, i.e., a self-consistent determination of locally varying percolation probabilities. This is achieved using a cavity or message passing approach. It can be evaluated, both for single large instances of locally tree-like graphs, and in the thermodynamic limit of random graphs of finite mean degree in the configuration model class.

categories: cond-mat.dis-nn cond-mat.stat-mech math-ph math.MP


title: Tables in Leibniz: a challenge for the digital humanities

abstract: Leibniz's mathematical texts are a perfect example of a type of historical document that is extremely difficult to deal with in the context of an editorial enterprise: the draft. The tables in Leibniz's mathematical manuscripts are a particularly good example of these difficulties, as they are equivocal sources containing many implicit operations. The publication of these texts raises the question of the nature of these signs and the economy of implicit relationships between their various components. Peirce's semiological approach provides the philosophical ground for these reflections, while Michel Serres's structuralism is a fertile source of inspiration. The digital tool holds much promise for many issues, including the particular difficulties of tables. We will show that it can be implemented by different computer structures which largely determine the way the historian conceives them a priori but also the way the reader receives them a posteriori. Finally, the tables are the simple case that founds a general problematic on the interpretation of many manuscripts and allows us to study the problem of the writing process at its root.


title: Taming Transformers for Realistic Lidar Point Cloud Generation

abstract: Diffusion Models (DMs) have achieved State-Of-The-Art (SOTA) results in the Lidar point cloud generation task, benefiting from their stable training and iterative refinement during sampling. However, DMs often fail to realistically model Lidar raydrop noise due to their inherent denoising process. To retain the strength of iterative sampling while enhancing the generation of raydrop noise, we introduce LidarGRIT, a generative model that uses auto-regressive transformers to iteratively sample the range images in the latent space rather than image space. Furthermore, LidarGRIT utilises VQ-VAE to separately decode range images and raydrop masks. Our results show that LidarGRIT achieves superior performance compared to SOTA models on KITTI-360 and KITTI odometry datasets. Code available at:https://github.com/hamedhaghighi/LidarGRIT.


title: FastECPP over MPI

abstract: The FastECPP algorithm is currently the fastest approach to prove theprimality of general numbers, and has the additional benefit of creatingcertificates that can be checked independently and with a lower complexity.This article shows how by parallelising over a linear number of cores,its quartic time complexity becomes a cubic wallclock time complexity;and it presents the algorithmic choices of the FastECPP implementation inthe author's \cm\ software (https://www.multiprecision.org/cm/) which has been written with massive parallelisation over MPI in mind, and which has been used to establish a new primality record for the "repunit" $(10^{86453} - 1) / 9$.


title: The planar Tur\'an number of $\{K_4,\Theta_5\}$

abstract: Let $\mathcal{F}$ be a set of graphs. The planar Tur\'an number, $ex_{\mathcal{P}}(n,\mathcal{F})$, is the maximum number of edges in an $n$-vertex planar graph which does not contain any member of $\mathcal{F}$ as a subgraph. In this paper, we give upper bounds of $ex_{\mathcal{P}}(n,\{K_4,\Theta_5\})\leqslant25/11(n-2)$. We also give constructions which show the bounds are tight for infinitely many graphs.


title: Synergy of Large Language Model and Model Driven Engineering for Automated Development of Centralized Vehicular Systems

abstract: We present a prototype of a tool leveraging the synergy of model driven engineering (MDE) and Large Language Models (LLM) for the purpose of software development process automation in the automotive industry. In this approach, the user-provided input is free form textual requirements, which are first translated to Ecore model instance representation using an LLM, which is afterwards checked for consistency using Object Constraint Language (OCL) rules. After successful consistency check, the model instance is fed as input to another LLM for the purpose of code generation. The generated code is evaluated in a simulated environment using CARLA simulator connected to an example centralized vehicle architecture, in an emergency brake scenario.


title: Extending the Continuum of Six-Colorings

abstract: We present two novel six-colorings of the Euclidean plane that avoid monochromatic pairs of points at unit distance in five colors and monochromatic pairs at another specified distance $d$ in the sixth color. Such colorings have previously been known to exist for $0.41 < \sqrt{2} - 1 \le d \le 1 / \sqrt{5} < 0.45$. Our results significantly expand that range to $0.354 \le d \le 0.657$, the first improvement in 30 years. Notably, the constructions underlying this were derived by formalizing colorings suggested by a custom machine learning approach.


title: Hardy and Rellich identities and inequalities for Grushin operators via spherical vector fields and Bessel pairs

abstract: For Grushin vector fields, we prove Hardy, Hardy-Rellich, and Rellich identities and inequalities with sharp constants. Our explicit remainder terms significantly improve those found in the literature. Our arguments build on abstract Hardy-Rellich identities involving the Bessel pair along with the use of spherical harmonics developed by Garofalo-Shen [Ann. Inst. Fourier (1994)]. Furthermore, in the spirit of Bez-Machihara-Ozawa [Math. Z (2023)], we construct spherical vector fields that correspond to the Grushin vector fields and prove identities that, in turn, establish optimal Rellich identities by comparing the Grushin operator with its radial and spherical components. We give alternate proofs of Hardy identities and inequalities with enhanced Hardy constants in some subspaces of the Sobolev space, among other things. Additionally, we compute the deficit involving $L^2$-norm of the Laplacian and radial components of the Laplacian for the Grushin operator with an explicit remainder term, which leads to a comparison of Laplacian with the radial components of the Laplacian. As a consequence of the main results, new second-order Heisenberg-Pauli-Weyl uncertainty principles and Hydrogen uncertainty principles are also derived. Furthermore, we also derive certain symmetrization principles on the Grushin space.


title: A High-Performant Multi-Parametric Quadratic Programming Solver

abstract: We propose a combinatorial method for computing explicit solutions to multi-parametric quadratic programs, which can be used to compute explicit control laws for linear model predictive control. In contrast to classical methods, which are based on geometrical adjacency, the proposed method is based on combinatorial adjacency. After introducing the notion of combinatorial adjacency, we show that the explicit solution forms a connected graph in terms of it. We then leverage this connectedness to propose an algorithm that computes the explicit solution. The purely combinatorial nature of the algorithm leads to computational advantages since it enables demanding geometrical operations (such as computing facets of polytopes) to be avoided. Compared with classical combinatorial methods, the proposed method requires fewer combinations to be considered by exploiting combinatorial connectedness. We show that an implementation of the proposed method can yield a speedup of about two orders of magnitude compared with state-of-the-art software packages such as MPT and POP.


title: Impact of LiDAR visualisations on semantic segmentation of archaeological objects

abstract: Deep learning methods in LiDAR-based archaeological research often leverage visualisation techniques derived from Digital Elevation Models to enhance characteristics of archaeological objects present in the images. This paper investigates the impact of visualisations on deep learning performance through a comprehensive testing framework. The study involves the use of eight semantic segmentation models to evaluate seven diverse visualisations across two study areas, encompassing five archaeological classes. Experimental results reveal that the choice of appropriate visualisations can influence performance by up to 8%. Yet, pinpointing one visualisation that outperforms the others in segmenting all archaeological classes proves challenging. The observed performance variation, reaching up to 25% across different model configurations, underscores the importance of thoughtfully selecting model configurations and LiDAR visualisations for successfully segmenting archaeological objects.


title: An invitation to weak amenability, after Cowling and Haagerup

abstract: We present an introduction to weak amenability for locally compact groups, and a survey of some of the most important results regarding this property.


title: Explicit constructions of Diophantine tuples over finite fields

abstract: A Diophantine $m$-tuple over a finite field $\mathbb{F}_q$ is a set $\{a_1,\ldots, a_m\}$ of $m$ distinct elements in $\mathbb{F}_{q}^{*}$ such that $a_{i}a_{j}+1$ is a square in $\mathbb{F}_q$ whenever $i\neq j$. In this paper, we study $M(q)$, the maximum size of a Diophantine tuple over $\mathbb{F}_q$, assuming the characteristic of $\mathbb{F}_q$ is fixed and $q \to \infty$. By explicit constructions, we improve the lower bound on $M(q)$. In particular, this improves a recent result of Dujella and Kazalicki by a multiplicative factor.


title: Efficient Distributed Data Structures for Future Many-core Architectures

abstract: We study general techniques for implementing distributed data structures on top of future many-core architectures with non cache-coherent or partially cache-coherent memory. With the goal of contributing towards what might become, in the future, the concurrency utilities package in Java collections for such architectures, we end up with a comprehensive collection of data structures by considering different variants of these techniques. To achieve scalability, we study a generic scheme which makes all our implementations hierarchical. We consider a collection of known techniques for improving the scalability of concurrent data structures and we adjust them to work in our setting. We have performed experiments which illustrate that some of these techniques have indeed high impact on achieving scalability. Our experiments also reveal the performance and scalability power of the hierarchical approach. We finally present experiments to study energy consumption aspects of the proposed techniques by using an energy model recently proposed for such architectures.


title: Quantum Optimization Methods for Satellite Mission Planning

abstract: Satellite mission planning for Earth observation satellites is a combinatorial optimization problem that consists of selecting the optimal subset of imaging requests, subject to constraints, to be fulfilled during an orbit pass of a satellite. The ever-growing amount of satellites in orbit underscores the need to operate them efficiently, which requires solving many instances of the problem in short periods of time. However, current classical algorithms often fail to find the global optimum or take too long to execute. Here, we approach the problem from a quantum computing point of view, which offers a promising alternative that could lead to significant improvements in solution quality or execution speed in the future. To this end, we study a planning problem with a variety of intricate constraints and discuss methods to encode them for quantum computers. Additionally, we experimentally assess the performance of quantum annealing and the quantum approximate optimization algorithm on a realistic and diverse dataset. Our results identify key aspects like graph connectivity and constraint structure that influence the performance of the methods. We explore the limits of today's quantum algorithms and hardware, providing bounds on the problems that can be currently solved successfully and showing how the solution degrades as the complexity grows. This work aims to serve as a baseline for further research in the field and establish realistic expectations on current quantum optimization capabilities.


title: The $L^p$ estimate for the gain term of the Boltzmann collision operator and its application

abstract: We prove the Hardy-Littlewood-Sobolev type $L^p$ estimates for the gain term of the Boltzmann collision operator including Maxwellian molecule, hard potential and hard sphere models. Combining with the results of Alonso et al. [2] for the soft potential and Maxwellian molecule models, we provide an unified form of $L^p$ estimates for all cutoff models which are sharp in the sense of scaling. The most striking feature of our new estimates for the hard potential and hard sphere models is that they do not increase the moment, the same as Maxwellian molecule and soft potential models. Based on these novelties, we prove the global existence and scattering of the non-negative unique mild solution for the Cauchy problem of the Boltzmann equation when the positive initial data is small in the weighted $L^3_{x,v}$ space.


title: DepthMOT: Depth Cues Lead to a Strong Multi-Object Tracker

abstract: Accurately distinguishing each object is a fundamental goal of Multi-object tracking (MOT) algorithms. However, achieving this goal still remains challenging, primarily due to: (i) For crowded scenes with occluded objects, the high overlap of object bounding boxes leads to confusion among closely located objects. Nevertheless, humans naturally perceive the depth of elements in a scene when observing 2D videos. Inspired by this, even though the bounding boxes of objects are close on the camera plane, we can differentiate them in the depth dimension, thereby establishing a 3D perception of the objects. (ii) For videos with rapidly irregular camera motion, abrupt changes in object positions can result in ID switches. However, if the camera pose are known, we can compensate for the errors in linear motion models. In this paper, we propose \textit{DepthMOT}, which achieves: (i) detecting and estimating scene depth map \textit{end-to-end}, (ii) compensating the irregular camera motion by camera pose estimation. Extensive experiments demonstrate the superior performance of DepthMOT in VisDrone-MOT and UAVDT datasets. The code will be available at \url{https://github.com/JackWoo0831/DepthMOT}.


title: Investigating the Effectiveness of Cross-Attention to Unlock Zero-Shot Editing of Text-to-Video Diffusion Models

abstract: With recent advances in image and video diffusion models for content creation, a plethora of techniques have been proposed for customizing their generated content. In particular, manipulating the cross-attention layers of Text-to-Image (T2I) diffusion models has shown great promise in controlling the shape and location of objects in the scene. Transferring image-editing techniques to the video domain, however, is extremely challenging as object motion and temporal consistency are difficult to capture accurately. In this work, we take a first look at the role of cross-attention in Text-to-Video (T2V) diffusion models for zero-shot video editing. While one-shot models have shown potential in controlling motion and camera movement, we demonstrate zero-shot control over object shape, position and movement in T2V models. We show that despite the limitations of current T2V models, cross-attention guidance can be a promising approach for editing videos.


title: The Fact Selection Problem in LLM-Based Program Repair

abstract: Recent research has shown that incorporating bug-related facts, such as stack traces and GitHub issues, into prompts enhances the bug-fixing capabilities of large language models (LLMs). Considering the ever-increasing context window of these models, a critical question arises: what and how many facts should be included in prompts to maximise the chance of correctly fixing bugs? To answer this question, we conducted a large-scale study, employing over 19K prompts featuring various combinations of seven diverse facts to rectify 314 bugs from open-source Python projects within the BugsInPy benchmark. Our findings revealed that each fact, ranging from simple syntactic details like code context to semantic information previously unexplored in the context of LLMs such as angelic values, is beneficial. Specifically, each fact aids in fixing some bugs that would remain unresolved or only be fixed with a low success rate without it. Importantly, we discovered that the effectiveness of program repair prompts is non-monotonic over the number of used facts; using too many facts leads to subpar outcomes. These insights led us to define the fact selection problem: determining the optimal set of facts for inclusion in a prompt to maximise LLM's performance on a given task instance. We found that there is no one-size-fits-all set of facts for bug repair. Therefore, we developed a basic statistical model, named Maniple, which selects facts specific to a given bug to include in the prompt. This model significantly surpasses the performance of the best generic fact set. To underscore the significance of the fact selection problem, we benchmarked Maniple against the state-of-the-art zero-shot, non-conversational LLM-based bug repair methods. On our testing dataset of 157 bugs, Maniple repairs 88 bugs, 17% above the best configuration.


title: Double loop dc-SQUID as a tunable Josephson diode

abstract: The development of superconducting electronics requires careful characterization of the components that make up electronic circuits. Superconducting weak links are the building blocks of most superconducting electronics components and are characterized by highly nonlinear current-to-phase relations (CPR), which are often not perfectly known. Recent research has found that the Josephson diode effect (JDE) can be related to the high harmonic content of the current-to-phase relation of the weak links embedded in superconducting interferometers. This makes the JDE a natural tool for exploring the harmonic content of weak links beyond single-harmonic CPR. In this study, we present the theoretical model and experimental characterization of a double-loop superconducting quantum interference device (DL-SQUID) that embeds all-metallic superconductor-normal metal-superconductor junctions. The proposed device exhibits the JDE due to the interference of the supercurrents of three weak links in parallel, and this feature can be adjusted through two magnetic fluxes, which act as experimental knobs. We carry out a theoretical study of the device in terms of the relative weight of the interferometer arms and the experimental characterization concerning flux tunability and temperature.


title: 3DMambaIPF: A State Space Model for Iterative Point Cloud Filtering via Differentiable Rendering

abstract: Noise is an inevitable aspect of point cloud acquisition, necessitating filtering as a fundamental task within the realm of 3D vision. Existing learning-based filtering methods have shown promising capabilities on small-scale synthetic or real-world datasets. Nonetheless, the effectiveness of these methods is constrained when dealing with a substantial quantity of point clouds. This limitation primarily stems from their limited denoising capabilities for large-scale point clouds and their inclination to generate noisy outliers after denoising. The recent introduction of State Space Models (SSMs) for long sequence modeling in Natural Language Processing (NLP) presents a promising solution for handling large-scale data. Encouraged by iterative point cloud filtering methods, we introduce 3DMambaIPF, firstly incorporating Mamba (Selective SSM) architecture to sequentially handle extensive point clouds from large scenes, capitalizing on its strengths in selective input processing and long sequence modeling capabilities. Additionally, we integrate a robust and fast differentiable rendering loss to constrain the noisy points around the surface. In contrast to previous methodologies, this differentiable rendering loss enhances the visual realism of denoised geometric structures and aligns point cloud boundaries more closely with those observed in real-world objects. Extensive evaluation on datasets comprising small-scale synthetic and real-world models (typically with up to 50K points) demonstrate that our method achieves state-of-the-art results. Moreover, we showcase the superior scalability and efficiency of our method on large-scale models with about 500K points, where the majority of the existing learning-based denoising methods are unable to handle.


title: Lattice-Assisted Molecular Excitations in Frustrated Pyrochlores

abstract: Resonance-like molecular excitations have been discovered in a series of pyrochlore antiferromagnets, yet their origins and relationships with the coexisting magnon excitations remain a puzzle. Here, by incorporating the spin-lattice coupling and the consequent four-spin interactions through the site-phonon model, we accomplish a unified description of the molecular and magnon excitations, revealing the molecular modes as statistical approximations of the dispersive magnon excitations. Our work demonstrates a general approach to understand exotic spin dynamics in magnetoelastic systems.


title: $(g-2)_{e,\mu}$ anomalies and decays $h, Z\to e_b e_a $ in 3-3-1 models with inverse seesaw neutrinos

abstract: The Lepton flavor violating (LFV) decays $h, Z\to e_b e_a $, and $e_b\to e_a \gamma$ are discussed in a class of general 3-3-1 models adding heavy neutral leptons and singly charged Higgs bosons to accommodate experimental data of neutrino oscillation and $(g-2)_{e_a}$ anomalies of charged leptons through the inverse seesaw mechanism. We show that the models with the minimal number of inverse seesaw neutrinos can not reach the $1\sigma$ range of $(g-2)_{\mu}$ data due to the experimental upper bounds on decay rates of $(\tau \to \mu \gamma)$ and $(\mu \to e \gamma)$. Features of LFV decays are presented in detail, focusing on the regions of parameter space satisfying the $1\sigma$ ranges of $(g-2)_{e,\mu}$ data.


title: ALMA Spectroscopy of Europa: A Search for Active Plumes

abstract: The subsurface ocean of Europa is a high priority target in the search for extraterrestrial life, but direct investigations are hindered by the presence of a thick, exterior ice shell. Here we present spectral line and continuum maps of Europa obtained over four epochs in May-June 2021 using the Atacama Large Millimeter/submillimeter Array (ALMA), to search for molecular emission from atmospheric plumes, with the aim of investigating subsurface processes. Using a 3D physical model, we obtained upper limits for the plume abundances of HCN, H$_2$CO, SO$_2$ and CH$_3$OH. If active plume(s) were present, they contained very low abundances of these molecules. Assuming a total gas production rate of $10^{29}$ s$^{-1}$, our H$_2$CO abundance upper limit of $<0.016$\% is more than an order of magnitude less than measured in the Enceladus plume by the Cassini spacecraft, implying a possible chemical difference between the plume source materials for these two icy moons.


title: Hamiltonian Learning using Machine Learning Models Trained with Continuous Measurements

abstract: We build upon recent work on using Machine Learning models to estimate Hamiltonian parameters using continuous weak measurement of qubits as input. We consider two settings for the training of our model: (1) supervised learning where the weak measurement training record can be labeled with known Hamiltonian parameters, and (2) unsupervised learning where no labels are available. The first has the advantage of not requiring an explicit representation of the quantum state, thus potentially scaling very favorably to larger number of qubits. The second requires the implementation of a physical model to map the Hamiltonian parameters to a measurement record, which we implement using an integrator of the physical model with a recurrent neural network to provide a model-free correction at every time step to account for small effects not captured by the physical model. We test our construction on a system of two qubits and demonstrate accurate prediction of multiple physical parameters in both the supervised and unsupervised context. We demonstrate that the model benefits from larger training sets establishing that it is in fact "learning," and we show robustness to errors in the assumed physical model by achieving accurate parameter estimation in the presence of unanticipated single particle relaxation.


title: Entanglement bounds for single-excitation energy eigenstates of quantum oscillator systems

abstract: We provide an analytic method for estimating the entanglement of the non-gaussian energy eigenstates of disordered harmonic oscillator systems. We invoke the explicit formulas of the eigenstates of the oscillator systems to establish bounds for their $\epsilon$-R\'enyi entanglement entropy $\epsilon\in(0,1)$. Our main result is a logarithmically corrected area law for the entanglement of eigenstates, corresponding to one excitation, of the disordered harmonic oscillator systems.


title: NAND-like SOT-MRAM-based Approximate Storage for Error-Tolerant Applications

abstract: We demonstrate approximate storage based on NAND-like spin-orbit torque (SOT) MRAM, through "device-modeling-architecture" explorations. We experimentally achieve down to 1E-5 level selectivity. Selectivity and low-power solutions are established by numerical calculation workflow. System-level power consumption is evaluated in the 512 KB last-level cache according to 5 quality levels. Error-tolerant applications, such as image processing, alleviate the demand for selectivity down to the 5E-2 level, leading to 54% ~ 61% energy-saving. Our proposal paves the novel and suitable path for high-density and low-power NAND-like SOT-MRAM.


title: On the Zagreb indices of the line graph and line cut-vertex graph of subdivision of unicyclic graphs

abstract: The first Zagreb index $M_{1}(G)$ is equal to the sum of squares of the degrees of the vertices, and the second Zagreb index $M_{2}(G)$ is equal to the sum of the products of the degrees of pairs of adjacent vertices of the underlying molecular graph $G$. This paper aims to investigate the Zagreb indices and coindices of the line graph and line cut-vertex graph of a class of unicyclic graphs called cycle-star graph using the notion of subdivision.


title: Best-of-Venom: Attacking RLHF by Injecting Poisoned Preference Data

abstract: Reinforcement Learning from Human Feedback (RLHF) is a popular method for aligning Language Models (LM) with human values and preferences. RLHF requires a large number of preference pairs as training data, which are often used in both the Supervised Fine-Tuning and Reward Model training, and therefore publicly available datasets are commonly used. In this work, we study to what extent a malicious actor can manipulate the LMs generations by poisoning the preferences, i.e., injecting poisonous preference pairs into these datasets and the RLHF training process. We propose strategies to build poisonous preference pairs and test their performance by poisoning two widely used preference datasets. Our results show that preference poisoning is highly effective: by injecting a small amount of poisonous data (1-5% of the original dataset), we can effectively manipulate the LM to generate a target entity in a target sentiment (positive or negative). The findings from our experiments also shed light on strategies to defend against the preference poisoning attack.


title: Provably Convergent and Robust Newton-Raphson Method: A New Dawn in Primitive Variable Recovery for Relativistic MHD

abstract: A long-standing and formidable challenge faced by all conservative schemes for relativistic magnetohydrodynamics (RMHD) is the recovery of primitive variables from conservative ones. This process involves solving highly nonlinear equations subject to physical constraints. An ideal solver should be "robust, accurate, and fast -- it is at the heart of all conservative RMHD schemes," as emphasized in [S.C. Noble et al., ApJ, 641:626-637, 2006]. Despite over three decades of research, seeking efficient solvers that can provably guarantee stability and convergence remains an open problem. This paper presents the first theoretical analysis for designing a robust, physical-constraint-preserving (PCP), and provably (quadratically) convergent Newton-Raphson (NR) method for primitive variable recovery in RMHD. Our key innovation is a unified approach for the initial guess, devised based on sophisticated analysis. It ensures that the NR iteration consistently converges and adheres to physical constraints. Given the extreme nonlinearity and complexity of the iterative function, the theoretical analysis is highly nontrivial and technical. We discover a pivotal inequality for delineating the convexity and concavity of the iterative function and establish theories to guarantee the PCP property and convergence. We also develop theories to determine a computable initial guess within a theoretical "safe" interval. Intriguingly, we find that the unique positive root of a cubic polynomial always falls within this interval. Our PCP NR method is versatile and can be seamlessly integrated into any RMHD scheme that requires the recovery of primitive variables, potentially leading to a broad impact in this field. As an application, we incorporate it into a discontinuous Galerkin method, resulting in fully PCP schemes. Several numerical experiments demonstrate the efficiency and robustness of the PCP NR method.

categories: math.NA astro-ph.IM cs.NA physics.comp-ph physics.plasm-ph


title: Irreducibility of some nested Quot schemes

abstract: Let $C$ be a smooth projective curve over $\mathbb C$ of genus $g\geqslant 1$. Let $E$ be a vector bundle on $C$ of rank $r$ and degree $e$. Given integers $k_1,k_2,d_1,d_2$ such that $r>k_1>k_2>0$, let $\mathcal Q^{k_1,k_2}_{d_1,d_2}(E)$ denote the nested Quot scheme which parametrizes pair of quotients $[E \twoheadrightarrow F_1 \twoheadrightarrow F_2]$ such that $F_i$ has rank $k_i$ and degree $d_i$. We show that these nested Quot schemes are integral, local complete intersection schemes when $d_1\gg d_2\gg 0$ or $d_2\gg d_1\gg 0$.


title: Observation of dichotomic field-tunable electronic structure in twisted monolayer-bilayer graphene

abstract: Twisted bilayer graphene (tBLG) provides a fascinating platform for engineering flat bands and inducing correlated phenomena. By designing the stacking architecture of graphene layers, twisted multilayer graphene can exhibit different symmetries with rich tunability. For example, in twisted monolayer-bilayer graphene (tMBG) which breaks the C2z symmetry, transport measurements reveal an asymmetric phase diagram under an out-of-plane electric field, exhibiting correlated insulating state and ferromagnetic state respectively when reversing the field direction. Revealing how the electronic structure evolves with electric field is critical for providing a better understanding of such asymmetric field-tunable properties. Here we report the experimental observation of field-tunable dichotomic electronic structure of tMBG by nanospot angle-resolved photoemission spectroscopy (NanoARPES) with operando gating. Interestingly, selective enhancement of the relative spectral weight contributions from monolayer and bilayer graphene is observed when switching the polarity of the bias voltage. Combining experimental results with theoretical calculations, the origin of such field-tunable electronic structure, resembling either tBLG or twisted double-bilayer graphene (tDBG), is attributed to the selectively enhanced contribution from different stacking graphene layers with a strong electron-hole asymmetry. Our work provides electronic structure insights for understanding the rich field-tunable physics of tMBG.


title: Ordre public exceptions for algorithmic surveillance patents

abstract: This chapter explores the role of patent protection in algorithmic surveillance and whether ordre public exceptions from patentability should apply to such patents, due to their potential to enable human rights violations. It concludes that in most cases, it is undesirable to exclude algorithmic surveillance patents from patentability, as the patent system is ill-equipped to evaluate the impacts of the exploitation of such technologies. Furthermore, the disclosure of such patents has positive externalities from the societal perspective by opening the black box of surveillance for public scrutiny.


title: Robust STL Control Synthesis under Maximal Disturbance Sets

abstract: This work addresses maximally robust control synthesis under unknown disturbances. We consider a general nonlinear system, subject to a Signal Temporal Logic (STL) specification, and wish to jointly synthesize the maximal possible disturbance bounds and the corresponding controllers that ensure the STL specification is satisfied under these bounds. Many works have considered STL satisfaction under given bounded disturbances. Yet, to the authors' best knowledge, this is the first work that aims to maximize the permissible disturbance set and find the corresponding controllers that ensure satisfying the STL specification with maximum disturbance robustness. We extend the notion of disturbance-robust semantics for STL, which is a property of a specification, dynamical system, and controller, and provide an algorithm to get the maximal disturbance robust controllers satisfying an STL specification using Hamilton-Jacobi reachability. We show its soundness and provide a simulation example with an Autonomous Underwater Vehicle (AUV).


title: On the Optimal MMSE Channel Estimation for One-Bit Quantized MIMO Systems

abstract: This paper focuses on the minimum mean squared error (MMSE) channel estimator for multiple-input multiple-output (MIMO) systems with one-bit quantization at the receiver side. Despite its optimality and significance in estimation theory, the MMSE channel estimator has not been fully investigated in this context due to its general non-linearity and computational complexity. Instead, the typically suboptimal Bussgang linear MMSE (BLMMSE) estimator has been widely adopted. In this work, we develop a new framework to compute the MMSE channel estimator that hinges on computation of the orthant probability of the multivariate normal distribution. Based on this framework, we determine a necessary and sufficient condition for the BLMMSE channel estimator to be optimal and equivalent to the MMSE estimator. Under the assumption of specific channel correlation or pilot symbols, we further utilize the framework to derive analytical expressions for the MMSE channel estimator that are particularly convenient for computation when certain system dimensions become large, thereby enabling a comparison between the BLMMSE and MMSE channel estimators in these cases.


title: Distributing Arbitrary Quantum Cluster States by Graph Transformation

abstract: Quantum cluster state is a special class of nonlocal state among multiple quantum particles, underpinning several nonclassical and promising applications such as quantum computing and quantum secret sharing. Recently, establishing quantum cluster states among physically distant nodes has gained increasing popularity owing to its potential in expanding current quantum applications in scale. Existing research on this topic relies on a two-step approach: first distributing low-dimension elementary entanglement to target nodes, and then fusing them into a high-dimension quantum cluster state. However, most existing studies focus solely on minimizing costs (e.g., the number of elementary entanglements consumed) to entangle target nodes, while neglecting the structure of the final quantum cluster state. This can easily result in weak system entanglement, jeopardizing the cluster state under partial measurement or noises. In this paper, we aim to establish any arbitrary quantum cluster states of strong entanglement structures at a much lower cost than the state of the art. The method is to search for and establish an alternative state to the target state that is of lowest cost in creation. Subsequently, we transform such an alternative state back to the target state via compressed single-qubit Clifford operations. To verify the performance of our developed algorithm, we conduct comprehensive simulations based on an open dataset containing all cluster state structures up to 8 qubits. The results demonstrate fast algorithm convergence, an increased success probability in distributing any cluster states, and 53.57% saving in ERP cost compared with the state-of-the-art baseline.


title: Cell-Free Multi-User MIMO Equalization via In-Context Learning

abstract: Large pre-trained sequence models, such as transformers, excel as few-shot learners capable of in-context learning (ICL). In ICL, a model is trained to adapt its operation to a new task based on limited contextual information, typically in the form of a few training examples for the given task. Previous work has explored the use of ICL for channel equalization in single-user multi-input and multiple-output (MIMO) systems. In this work, we demonstrate that ICL can be also used to tackle the problem of multi-user equalization in cell-free MIMO systems with limited fronthaul capacity. In this scenario, a task is defined by channel statistics, signal-to-noise ratio, and modulation schemes. The context encompasses the users' pilot sequences, the corresponding quantized received signals, and the current received data signal. Different prompt design strategies are proposed and evaluated that encompass also large-scale fading and modulation information. Experiments demonstrate that ICL-based equalization provides estimates with lower mean squared error as compared to the linear minimum mean squared error equalizer, especially in the presence of limited fronthaul capacity and pilot contamination.


title: Analysis of a sedimenting suspension near a vertical wall

abstract: We consider a sedimenting suspension in a Stokes flow, in the presence of a vertical wall. We study the effect of a particle-depleted fluid layer near the wall on the bulk dynamics of the suspension. We show that this effect can be captured by an appropriate wall law of Navier type. We provide in this way a rigorous justification of the apparent slip observed in many experiments. We also discuss the phenomenon of intrinsic convection predicted in some physics articles.


title: OPSD: an Offensive Persian Social media Dataset and its baseline evaluations

abstract: The proliferation of hate speech and offensive comments on social media has become increasingly prevalent due to user activities. Such comments can have detrimental effects on individuals' psychological well-being and social behavior. While numerous datasets in the English language exist in this domain, few equivalent resources are available for Persian language. To address this gap, this paper introduces two offensive datasets. The first dataset comprises annotations provided by domain experts, while the second consists of a large collection of unlabeled data obtained through web crawling for unsupervised learning purposes. To ensure the quality of the former dataset, a meticulous three-stage labeling process was conducted, and kappa measures were computed to assess inter-annotator agreement. Furthermore, experiments were performed on the dataset using state-of-the-art language models, both with and without employing masked language modeling techniques, as well as machine learning algorithms, in order to establish the baselines for the dataset using contemporary cutting-edge approaches. The obtained F1-scores for the three-class and two-class versions of the dataset were 76.9% and 89.9% for XLM-RoBERTa, respectively.


title: Overcomplete intermediate representation of two-particle Green's functions and its relation to partial spectral functions

abstract: Two-particle response functions are a centerpiece of both experimental and theoretical quantum many-body physics. Yet, due to their size and discontinuity structure, they are challenging to handle numerically. Recently, two advances were made to tackle this problem: first, the overcomplete intermediate representation (OIR), which provides a highly efficient compression of Green's functions in imaginary frequency, and second, partial spectral functions (PSFs), which allow for an efficient evaluation in real frequency. We show that there is a two-to-one correspondence between PSFs and OIR coefficients and exploit this fact to construct the OIR for three-or-more-particle propagators. We then use OIR to fit and compress imaginary-frequency data obtained from the numerical renormalization group (NRG), reaching a compression ratio of more than 400. Finally, we attempt to match the OIR data to partial Green's functions from NRG.Due to the overcompleteness, we achieve only qualitative agreement.


title: On the chromatic number of powers of subdivisions of graphs

abstract: For a given graph $G=(V,E)$, we define its \emph{$n$th subdivision} as the graph obtained from $G$ by replacing every edge by a path of length $n$. We also define the \emph{$m$th power} of $G$ as the graph on vertex set $V$ where we connect every pair of vertices at distance at most $m$ in $G$. In this paper we study the chromatic number of powers of subdivisions of graphs and resolve the case $m=n$ asymptotically. In particular, our result confirms a conjecture of Mozafari-Nia and Iradmusa in the case $m=n=3$ in a strong sense.


title: Optimal Allocation of Tasks and Price of Anarchy of Distributed Optimization in Networked Computing Facilities

abstract: The allocation of computing tasks for networked distributed services poses a question to service providers on whether centralized allocation management be worth its cost. Existing analytical models were conceived for users accessing computing resources with practically indistinguishable (hence irrelevant for the allocation decision) delays, which is typical of services located in the same distant data center. However, with the rise of the edge-cloud continuum, a simple analysis of the sojourn time that computing tasks observe at the server misses the impact of diverse latency values imposed by server locations. We therefore study the optimization of computing task allocation with a new model that considers both distance of servers and sojourn time in servers. We derive exact algorithms to optimize the system and we show, through numerical analysis and real experiments, that differences in server location in the edge-cloud continuum cannot be neglected. By means of algorithmic game theory, we study the price of anarchy of a distributed implementation of the computing task allocation problem and unveil important practical properties such as the fact that the price of anarchy tends to be small -- except when the system is overloaded -- and its maximum can be computed with low complexity.


title: Near/Far-Field Channel Estimation For Terahertz Systems With ELAAs: A Block-Sparse-Aware Approach

abstract: Millimeter wave/Terahertz (mmWave/THz) communication with extremely large-scale antenna arrays (ELAAs) offers a promising solution to meet the escalating demand for high data rates in next-generation communications. A large array aperture, along with the ever increasing carrier frequency within the mmWave/THz bands, leads to a large Rayleigh distance. As a result, the traditional plane-wave assumption may not hold valid for mmWave/THz systems featuring ELAAs. In this paper, we consider the problem of hybrid near/far-field channel estimation by taking spherical wave propagation into account. By analyzing the coherence properties of any two near-field steering vectors, we prove that the hybrid near/far-field channel admits a block-sparse representation on a specially designed orthogonal dictionary. Specifically, the percentage of nonzero elements of such a block-sparse representation decreases in the order of $1/\sqrt{N}$, which tends to zero as the number of antennas, $N$, grows. Such a block-sparse representation allows to convert channel estimation into a block-sparse signal recovery problem. Simulation results are provided to verify our theoretical results and illustrate the performance of the proposed channel estimation approach in comparison with existing state-of-the-art methods.


title: Evaluating Interventional Reasoning Capabilities of Large Language Models

abstract: Numerous decision-making tasks require estimating causal effects under interventions on different parts of a system. As practitioners consider using large language models (LLMs) to automate decisions, studying their causal reasoning capabilities becomes crucial. A recent line of work evaluates LLMs ability to retrieve commonsense causal facts, but these evaluations do not sufficiently assess how LLMs reason about interventions. Motivated by the role that interventions play in causal inference, in this paper, we conduct empirical analyses to evaluate whether LLMs can accurately update their knowledge of a data-generating process in response to an intervention. We create benchmarks that span diverse causal graphs (e.g., confounding, mediation) and variable types, and enable a study of intervention-based reasoning. These benchmarks allow us to isolate the ability of LLMs to accurately predict changes resulting from their ability to memorize facts or find other shortcuts. Our analysis on four LLMs highlights that while GPT- 4 models show promising accuracy at predicting the intervention effects, they remain sensitive to distracting factors in the prompts.


title: Information Sale on Network

abstract: This paper studies a stylized model of a monopoly data seller when information-sharing network exists among data buyers. We show that, if the buyers' prior information is sufficiently noisy, the optimal selling strategy is characterized by a maximum independent set, which is the largest set of buyers who do not have information-sharing link at all. In addition, the precision of the seller's data decreases in the number of information-sharing links among buyers, but it is higher than the socially efficient level of precision.


title: Dynamical excitation control and multimode emission of an atom-photon bound state

abstract: Atom-photon bound states arise from the coupling of quantum emitters to the band edge of dispersion-engineered waveguides. Thanks to their tunable-range interactions, they are promising building blocks for quantum simulators. Here, we study the dynamics of an atom-photon bound state emerging from coupling a frequency-tunable quantum emitter - a transmon-type superconducting circuit - to the band edge of a microwave metamaterial. Employing precise temporal control over the frequency detuning of the emitter from the band edge, we examine the transition from adiabatic to non-adiabatic behavior in the formation of the bound state and its melting into the propagating modes of the metamaterial. Moreover, we experimentally observe multi-mode emission from the bound state, triggered by a fast change of the emitter's frequency. Our study offers insight into the dynamic preparation of atom-photon bound states and provides a method to characterize their photonic content, with implications in quantum optics and quantum simulation.


title: Differential reddening in 48 globular clusters: An end to the quest for the intracluster medium

abstract: For decades, it has been theorized that a tenuous but detectable intracluster medium should be present in globular clusters, which is continuously replenished by the gas and dust ejected by bright giants and periodically cleared by interactions with the Galactic disk. However, dedicated searches, especially in infrared and radio wavelengths, have returned mostly upper limits, which are lower than theoretical expectations by several orders of magnitude. We profited from recent wide-field photometry for 48 Galactic globular clusters to compute high-resolution maps of differential reddening, which can be used to correct any photometric catalog in these areas for reddening variations. Using 3D reddening maps from the literature, we evaluated the amount of foreground extinction. This allowed us to estimate the masses of the intracluster medium in our sample clusters, with an accuracy of one order of magnitude. Our estimates agree with the few available literature detections and with theoretical expectations. Because the discrepancy between observations and expectations only concerns literature upper limits, we explored possible reasons why they could be underestimated and we show that two recent discoveries can explain the discrepancy. The first is the recent discovery that the intracluster medium in 47 Tuc is not centrally concentrated. This is also supported by our maps, which in the majority of cases do not show a central reddening concentration. The second is the discovery that the dust in metal-poor ([Fe/H] less than about -1 dex) globular clusters is dominated by iron grains rather than silicates, which undermines previous dust mass estimates from observed upper limits. We conclude that current evidence, including our maps, does not contradict theoretical expectations and the problem of the missing intracluster medium is no longer an issue.


title: Perspective and open problems on birational properties and singularities of moduli scheme of sheaves on surfaces

abstract: For complex projective smooth surface $X$, let $M$ be the coarse moduli scheme of rank-two stable sheaves with fixed Chern classes. Grasping the birational structure of $M$, for example its Kodaira dimension, is a fundamental problem. However, in the case where $\kappa(X)>0$, the study of this problem has not necessarily been active in recent years. In this article we survey the study of this problem, especially for the case where $\kappa(X)=1$ and $c_1=0$. We will also survey some research on the structure of singularities of $M$, and a minimal model program of $M$. While explaining motivations, we raise several unsolved problems.


title: Quasirandom and quasisimple groups

abstract: Fix $\varepsilon>0$. We say that a finite group $G$ is $\varepsilon$-quasirandom if every nontrivial irreducible complex representation of $G$ has degree at least $|G|^\varepsilon$. In this paper, we give a structure theorem for large $\varepsilon$-quasirandom groups, and we completely classify the $\frac{1}{5}$-quasirandom groups.