title: Local certification of geometric graph classes

abstract: The goal of local certification is to locally convince the vertices of a graph $G$ that $G$ satisfies a given property. A prover assigns short certificates to the vertices of the graph, then the vertices are allowed to check their certificates and the certificates of their neighbors, and based only on this local view, they must decide whether $G$ satisfies the given property. If the graph indeed satisfies the property, all vertices must accept the instance, and otherwise at least one vertex must reject the instance (for any possible assignment of certificates). The goal is to minimize the size of the certificates. In this paper we study the local certification of geometric and topological graph classes. While it is known that in $n$-vertex graphs, planarity can be certified locally with certificates of size $O(\log n)$, we show that several closely related graph classes require certificates of size $\Omega(n)$. This includes penny graphs, unit-distance graphs, (induced) subgraphs of the square grid, 1-planar graphs, and unit-square graphs. These bounds are tight up to a constant factor and give the first known examples of hereditary (and even monotone) graph classes for which the certificates must have linear size. For unit-disk graphs we obtain a lower bound of $\Omega(n^{1-\delta})$ for any $\delta>0$ on the size of the certificates, and an upper bound of $O(n \log n)$. The lower bounds are obtained by proving rigidity properties of the considered graphs, which might be of independent interest.


title: Deriving the one-electron Spectral Function for the 1D Hubbard Model

abstract: This pre-print deals with the one dimensional Hubbard model, as described by the Pseudofermion Dynamical Theory (PDT), with the purpose of (1) deriving a novel expression for the one electron spectral function for all values of the on-site repulsion $U/t$ and filling $n \in (0,1)$, at vanishing magnetisation $m \rightarrow 0$, and (2) discover how to correctly compare the results originating from two different theoretical frameworks in the $U/t \rightarrow \infty$ limit, as a first-test of the novel expressions obtained in this paper. Thus, an exact expression of the spectral function is obtained, which is furthermore successfully compared with previously known results in the $U \rightarrow \infty$ limit. Following the PDT, the expression for the one electron spectral function factorises into a spin part and a charge part for all values of the on-site repulsion $U/t$, where the dynamical quantum objects are spin zero and $\eta$-spin (charge) zero singlet pairs of so-called rotated electrons, which in turn are obtained from the original electrons by a unitary transformation. The spectral function is exemplified for $U/t = 400$, with the purpose of comparing it with the same function obtained by other authors (and other means) in the $U \rightarrow \infty$ limit. The main pillars of the PDT is presented in a summarised form. For example, we will only be interested in excited energy eigenstates which originate the most significant singular features of the spectral map in the $(k,\omega)$ plane, safely ignoring higher order contributions. Even though emphasis is given on step-by-step derivations where necessary, derivations that have been done elsewhere and/or do not notably contribute to the physical understanding, are sometimes avoided. Therefore, references for further study are given throughout the paper.


title: On the Representation of Minimal Form Factors in Integrable Quantum Field Theory

abstract: In this paper, we propose a new representation of the minimal form factors in integrable quantum field theories. These are solutions of the two-particle form factor equations, which have no poles on the physical sheet. Their expression constitutes the starting point for deriving higher particle form factors and, from these, the correlation functions of the theory. As such, minimal form factors are essential elements in the analysis of integrable quantum field theories. The proposed new representation arises from our recent study of form factors in $\mathrm{T}\overline{\mathrm{T}}$-perturbed theories, where we showed that the minimal form factors decompose into elementary building blocks. Here, focusing on the paradigmatic sinh-Gordon model, we explicitly express the standard integral representation of the minimal form factor as a combination of infinitely many elementary terms, each representing the minimal form factor of a generalised $\mathrm{T}\overline{\mathrm{T}}$ perturbation of the free fermion. Our results can be readily extended to other integrable quantum field theories and open various relevant questions and discussions, from the efficiency of numerical methods in evaluating correlation functions to the foundational question of what constitutes a "reasonable" choice for the minimal form factor.


title: Adaptive Step Sizes for Preconditioned Stochastic Gradient Descent

abstract: This paper proposes a novel approach to adaptive step sizes in stochastic gradient descent (SGD) by utilizing quantities that we have identified as numerically traceable -- the Lipschitz constant for gradients and a concept of the local variance in search directions. Our findings yield a nearly hyperparameter-free algorithm for stochastic optimization, which has provable convergence properties when applied to quadratic problems and exhibits truly problem adaptive behavior on classical image classification tasks. Our framework enables the potential inclusion of a preconditioner, thereby enabling the implementation of adaptive step sizes for stochastic second-order optimization methods.


title: Space-Efficient Data Structures for Polyominoes and Bar Graphs

abstract: We provide a compact data structure for representing polyominoes that supports neighborhood and visibility queries. Neighborhood queries concern reporting adjacent cells to a given cell, and visibility queries determine whether a straight line can be drawn within the polyomino that connects two specified cells. For an arbitrary small $\epsilon >0$, our data structure can encode a polyomino with $n$ cells in $(3+\epsilon)n + o(n)$ bits while supporting all queries in constant time. The space complexity can be improved to $3n+o(n)$, while supporting neighborhood queries in $\mathcal{O}(1)$ and visibility queries in $\mathcal{O}(t(n))$ for any arbitrary $t(n) \in \omega(1)$. Previous attempts at enumerating polyominoes have indicated that at least $2.00091n - o(n)$ bits are required to differentiate between distinct polyominoes, which shows our data structure is compact. In addition, we introduce a succinct data structure tailored for bar graphs, a specific subclass of polyominoes resembling histograms. We demonstrate that a bar graph comprising $n$ cells can be encoded using only $n + o(n)$ bits, enabling constant-time query processing. Meanwhile, $n-1$ bits are necessary to represent any bar graph, proving our data structure is succinct.


title: From Simulations to Reality: Enhancing Multi-Robot Exploration for Urban Search and Rescue

abstract: In this study, we present a novel hybrid algorithm, combining Levy Flight (LF) and Particle Swarm Optimization (PSO) (LF-PSO), tailored for efficient multi-robot exploration in unknown environments with limited communication and no global positioning information. The research addresses the growing interest in employing multiple autonomous robots for exploration tasks, particularly in scenarios such as Urban Search and Rescue (USAR) operations. Multiple robots offer advantages like increased task coverage, robustness, flexibility, and scalability. However, existing approaches often make assumptions such as search area, robot positioning, communication restrictions, and target information that may not hold in real-world situations. The hybrid algorithm leverages LF, known for its effectiveness in large space exploration with sparse targets, and incorporates inter-robot repulsion as a social component through PSO. This combination enhances area exploration efficiency. We redefine the local best and global best positions to suit scenarios without continuous target information. Experimental simulations in a controlled environment demonstrate the algorithm's effectiveness, showcasing improved area coverage compared to traditional methods. In the process of refining our approach and testing it in complex, obstacle-rich environments, the presented work holds promise for enhancing multi-robot exploration in scenarios with limited information and communication capabilities.


title: Principal-Agent Problem with Third Party: Information Design from Social Planner's Perspective

abstract: We study the principal-agent problem with a third party that we call social planner, whose responsibility is to reconcile the conflicts of interest between the two players and induce socially optimal outcome in terms of some given social utility function. The social planner owns no contractual power but manages to control the information flow between the principal and the agent. We design a simple workflow with two stages for the social planner. In the first stage, the problem is reformulated as an optimization problem whose solution is the optimal utility profile. In the second stage, we investigate information design and show that binary-signal information structure suffices to induce the socially optimal outcome determined in the first stage. The result shows that information plays a key role in social planning in the principal-agent model.


title: Stream Members Only: Data-Driven Characterization of Stellar Streams with Mixture Density Networks

abstract: Stellar streams are sensitive probes of the Milky Way's gravitational potential. The mean track of a stream constrains global properties of the potential, while its fine-grained surface density constrains galactic substructure. A precise characterization of streams from potentially noisy data marks a crucial step in inferring galactic structure, including the dark matter, across orders of magnitude in mass scales. Here we present a new method for constructing a smooth probability density model of stellar streams using all of the available astrometric and photometric data. To characterize a stream's morphology and kinematics, we utilize mixture density networks to represent its on-sky track, width, stellar number density, and kinematic distribution. We model the photometry for each stream as a single-stellar population, with a distance track that is simultaneously estimated from the stream's inferred distance modulus (using photometry) and parallax distribution (using astrometry). We use normalizing flows to characterize the distribution of background stars. We apply the method to the stream GD-1, and the tidal tails of Palomar 5. For both streams we obtain a catalog of stellar membership probabilities that are made publicly available. Importantly, our model is capable of handling data with incomplete phase-space observations, making our method applicable to the growing census of Milky Way stellar streams. When applied to a population of streams, the resulting membership probabilities from our model form the required input to infer the Milky Way's dark matter distribution from the scale of the stellar halo down to subhalos.


title: HumanRef: Single Image to 3D Human Generation via Reference-Guided Diffusion

abstract: Generating a 3D human model from a single reference image is challenging because it requires inferring textures and geometries in invisible views while maintaining consistency with the reference image. Previous methods utilizing 3D generative models are limited by the availability of 3D training data. Optimization-based methods that lift text-to-image diffusion models to 3D generation often fail to preserve the texture details of the reference image, resulting in inconsistent appearances in different views. In this paper, we propose HumanRef, a 3D human generation framework from a single-view input. To ensure the generated 3D model is photorealistic and consistent with the input image, HumanRef introduces a novel method called reference-guided score distillation sampling (Ref-SDS), which effectively incorporates image guidance into the generation process. Furthermore, we introduce region-aware attention to Ref-SDS, ensuring accurate correspondence between different body regions. Experimental results demonstrate that HumanRef outperforms state-of-the-art methods in generating 3D clothed humans with fine geometry, photorealistic textures, and view-consistent appearances.


title: Direct Imaging Methods for Inverse Obstacle Scattering

abstract: Direct imaging methods recover the presence, position, and shape of the unknown obstacles in time-harmonic inverse scattering without a priori knowledge of either the physical properties or the number of disconnected components of the scatterer, i.e., on the boundary condition. However, most of these methods require multi-static data and only obtain partial information about the obstacle. These qualitative methods are based on constructing indicator functions defined on the domain of interest, which help determine whether a spatial point or point source lies inside or outside the scatterer. This paper explains the main themes of each of these methods, with emphasis on highlighting the advantages and limitations of each scheme. Additionally, we will classify each method and describe how some of these methods are closely related to each other.


title: Electroweak corrections to double Higgs production at the LHC

abstract: We present the results for the complete next-to-leading order electroweak corrections to $pp \to HH$ at the Large Hadron Collider, focusing on the dominant gluon-gluon fusion process. While the corrections at the total cross-section level are approximately $-4\%$, those near the energy of $HH$ production threshold exceed $+15\%$, and corrections at the high-energy region are around $-10\%$, leading to a shape distortion for the differential distributions. Our findings substantially diminish the theoretical uncertainties associated with this pivotal process, providing valuable input for understanding the shape of the Higgs boson potential upon comparison with experimental measurements.


title: Machine learning force-field models for metallic spin glass

abstract: Metallic spin glass systems, such as dilute magnetic alloys, are characterized by randomly distributed local moments coupled to each other through a long-range electron-mediated effective interaction. We present a scalable machine learning (ML) framework for dynamical simulations of metallic spin glasses. A Behler-Parrinello type neural-network model, based on the principle of locality, is developed to accurately and efficiently predict electron-induced local magnetic fields that drive the spin dynamics. A crucial component of the ML model is a proper symmetry-invariant representation of local magnetic environment which is direct input to the neural net. We develop such a magnetic descriptor by incorporating the spin degrees of freedom into the atom-centered symmetry function methods which are widely used in ML force-field models for quantum molecular dynamics. We apply our approach to study the relaxation dynamics of an amorphous generalization of the s-d model. Our work highlights the promising potential of ML models for large-scale dynamical modeling of itinerant magnets with quenched disorder.


title: Natural Language Processing Through Transfer Learning: A Case Study on Sentiment Analysis

abstract: Artificial intelligence and machine learning have significantly bolstered the technological world. This paper explores the potential of transfer learning in natural language processing focusing mainly on sentiment analysis. The models trained on the big data can also be used where data are scarce. The claim is that, compared to training models from scratch, transfer learning, using pre-trained BERT models, can increase sentiment classification accuracy. The study adopts a sophisticated experimental design that uses the IMDb dataset of sentimentally labelled movie reviews. Pre-processing includes tokenization and encoding of text data, making it suitable for NLP models. The dataset is used on a BERT based model, measuring its performance using accuracy. The result comes out to be 100 per cent accurate. Although the complete accuracy could appear impressive, it might be the result of overfitting or a lack of generalization. Further analysis is required to ensure the model's ability to handle diverse and unseen data. The findings underscore the effectiveness of transfer learning in NLP, showcasing its potential to excel in sentiment analysis tasks. However, the research calls for a cautious interpretation of perfect accuracy and emphasizes the need for additional measures to validate the model's generalization.


title: Feather-inspired flow control: The flow physics of spatially distributed covert flaps

abstract: This study presents a novel spatially disrupted flow control system inspired by the covert feathers on bird wings. The system is a passive flow control system consisting of multiple feather-inspired flaps that dynamically interact with the surrounding flow to mitigate stall. Incorporating covert-inspired flaps on the suction side of the airfoil resulted in a substantial increase in lift (up to 50%) and a substantial reduction in drag (up to 30%) in post-stall conditions. Using wind tunnel experiments and time-resolved particle image velocimetry, the physical mechanisms responsible for post-stall lift improvements and drag reduction are identified as (1) shear layer interaction and (2) pressure dam effect. In the first mechanism, flap deployment reduces the geometric adverse pressure gradient that the flow encounters, reducing the degree of flow separation. In the second mechanism, the deployed flap acts as a barrier, preventing the relatively high pressure downstream from propagating upstream of the airfoil. The flow control mechanism employed was a function of the location of the flap. Flaps near the leading edge interacted mainly with the shear layer, while flaps near the trailing edge induced a pressure dam effect. Increasing the number of flaps along the chord increased the gain in lift and the reduction in drag. However, additive performance enhancements were sensitive to spatial distribution and flow control mechanisms. The shear layer interaction mechanism is found to be additive; that is, the deployment of additional flaps increases the lift gain, whereas the pressure dam effect is not.


title: Hofstadter quasicrystals, hidden symmetries and irrational quantum oscillations

abstract: Landau levels perturbed by a periodic potential is a prime setting to design quantum systems with exotic fractal spectra. Motivated by recent advances in twistronics, we introduce `Hofstadter quasicrystal' problem describing Landau levels perturbed by a set of incommensurate cosine waves. We illustrate the underlying physics for moir\'{e} quasicrystals with octagonal and dodecagonal symmetries, finding spectra that are vastly more complex than the Hofstadter spectrum. Surprisingly, due to the high spatial symmetry, the quasicrystal problem exhibits hidden `inner' symmetry arising at special `magic' values of the magnetic field. The $1/B$-periodic pattern of magic field values explains striking wide-range oscillations in the observed spectra that have irrational periodicity incommensurate with the Aharonov-Bohm and Brown-Zak periodicities. The prominent character of these oscillations makes them readily accessible in state-of-the-art moir\'{e} graphene systems.


title: Towards gravitational QNM spectrum from quantum spacetime

abstract: The effective potential for the axial mode of gravitational wave on noncommutative Schwarzschild background is presented. Noncommutativity is introduced via deformed Hopf algebra of diffeomorphisms by means of a semi-Killing Drinfeld twist. The analysis is performed up to the first order in perturbation of the metric and noncommutativity parameter. This results in a modified Regge-Wheeler potential with the strongest differences in comparison to the classical Regge-Wheeler potential being near the horizon.


title: Adding Corrections to Global Spherical Potentials for Use in a Coupled-Channel Formulation

abstract: The coupled-channel technique augments a non-relativistic distorted wave born approximation scattering calculation to include a coupling to virtual states from the negative energy region. It has been found to be important in low energy nucleon-nucleus scattering. We modify the nucleon-nucleus standard optical potentials, not designed for a coupled-channel space, so they can be used in that setting. The changes are small and systematic. We use a standard scattering code to adjust a variety of optical potentials and targets such that the original fit to scattering observables are maintained as we incorporate the coupled-channel environment. Overall over forty target nuclei were tested from $A=12$ to $A=205$ and nucleon projectile energies from 1 MeV to 200 MeV. There is excellent improvement in fitting the scattering observables, especially for low energy neutron scattering.The corrections were found to be unimportant for projectile energies greater than 200 MeV. The largest changes are to the surface amplitudes while the real radii and the real central amplitude are modified by only a few percent, every other parameter is unchanged. This technique is general enough to be applied to a variety of inelastic theoretical calculations.


title: Well-posedness for a molecular beam epitaxy model

abstract: We study a general molecular beam epitaxy (MBE) equation modeling the epitaxial growth of thin films. We show that, in the deterministic case, the associated Cauchy problem admits a unique smooth solution for all time, given initial data in the space $X_0 = L^{2}(R^{d}) \cap \dot{W}^{1,4}(R^{d})$ with $d = 1, 2$. This improves a recent result by Ag\'elas, who established global existence in $H^{3}(R^{d})$. Moreover, we investigate the local existence and uniqueness of solutions in the space $X_0$ for the stochastic MBE equation, with an additive noise that is white in time and regular in the space variable.


title: Generalized Products and Semiclassical Quantization

abstract: The notion of a generalized product, refining that of a (symmetric and smooth) simplicial space is introduced and shown to imply the existence of an algebra of pseudodifferential operators. This encompasses many constructions of such algebras on manifolds with corners. The main examples discussed in detail here are related to the semiclassical (and adiabatic) calculus as used in the approach to a twisted form of the Atiyah-Singer index theorem in work with Is Singer and Mathai Varghese.


title: A three-manifold invariant from graph configurations

abstract: The logarithm of the Kontsevich-Kuperberg-Thurston invariant counts embeddings of connected trivalent graphs in an oriented rational homology sphere, using integrals on configuration spaces of points in the given manifold. It is a universal finite type invariant of oriented rational homology spheres. The exponential of this invariant is often called the perturbative expansion of the Chern-Simons theory. In this article, we give an independent original definition of the degree two part of the logarithm of the Kontsevich-Kuperberg-Thurston invariant appropriate for concrete computations. This article can also serve as an introduction to the general definition of the logarithm of the Kontsevich-Kuperberg-Thurston invariant.


title: DemoFusion: Democratising High-Resolution Image Generation With No $$$

abstract: High-resolution image generation with Generative Artificial Intelligence (GenAI) has immense potential but, due to the enormous capital investment required for training, it is increasingly centralised to a few large corporations, and hidden behind paywalls. This paper aims to democratise high-resolution GenAI by advancing the frontier of high-resolution generation while remaining accessible to a broad audience. We demonstrate that existing Latent Diffusion Models (LDMs) possess untapped potential for higher-resolution image generation. Our novel DemoFusion framework seamlessly extends open-source GenAI models, employing Progressive Upscaling, Skip Residual, and Dilated Sampling mechanisms to achieve higher-resolution image generation. The progressive nature of DemoFusion requires more passes, but the intermediate results can serve as "previews", facilitating rapid prompt iteration.


title: COLE: A Hierarchical Generation Framework for Multi-Layered and Editable Graphic Design

abstract: Graphic design, which has been evolving since the 15th century, plays a crucial role in advertising. The creation of high-quality designs demands design-oriented planning, reasoning, and layer-wise generation. Unlike the recent CanvaGPT, which integrates GPT-4 with existing design templates to build a custom GPT, this paper introduces the COLE system - a hierarchical generation framework designed to comprehensively address these challenges. This COLE system can transform a vague intention prompt into a high-quality multi-layered graphic design, while also supporting flexible editing based on user input. Examples of such input might include directives like ``design a poster for Hisaishi's concert.'' The key insight is to dissect the complex task of text-to-design generation into a hierarchy of simpler sub-tasks, each addressed by specialized models working collaboratively. The results from these models are then consolidated to produce a cohesive final output. Our hierarchical task decomposition can streamline the complex process and significantly enhance generation reliability. Our COLE system comprises multiple fine-tuned Large Language Models (LLMs), Large Multimodal Models (LMMs), and Diffusion Models (DMs), each specifically tailored for design-aware layer-wise captioning, layout planning, reasoning, and the task of generating images and text. Furthermore, we construct the DESIGNINTENTION benchmark to demonstrate the superiority of our COLE system over existing methods in generating high-quality graphic designs from user intent. Last, we present a Canva-like multi-layered image editing tool to support flexible editing of the generated multi-layered graphic design images. We perceive our COLE system as an important step towards addressing more complex and multi-layered graphic design generation tasks in the future.


title: Managing Vehicle Charging During Emergencies via Conservative Distribution System Modeling

abstract: Combinatorial distribution system optimization problems, such as scheduling electric vehicle (EV) charging during evacuations, present significant computational challenges. These challenges stem from the large numbers of constraints, continuous variables, and discrete variables, coupled with the unbalanced nature of distribution systems. In response to the escalating frequency of extreme events impacting electric power systems, this paper introduces a method that integrates sample-based conservative linear power flow approximations (CLAs) into an optimization framework. In particular, this integration aims to ameliorate the aforementioned challenges of distribution system optimization in the context of efficiently minimizing the charging time required for EVs in urban evacuation scenarios.


title: Linear and Angular Momentum Conservation in Surface Hopping Methods

abstract: We demonstrate that, for systems with spin-orbit coupling and an odd number of electrons, the standard fewest switches surface hopping (FSSH) algorithm does not conserve the total linear or angular momentum. This lack of conservation arises not so much from the hopping direction (which is easily adjusted) but more generally from propagating adiabatic dynamics along surfaces that are not time reversible. We show that one solution to this problem is to run along eigenvalues of phase-space electronic Hamiltonians $H(R,P)$ (i.e. electronic Hamiltonians that depend on both nuclear position and momentum) with an electronic nuclear coupling $\Gamma\cdot P$ and we delineate the conditions that must be satisfied by the operator $\Gamma$. The present results should be extremely useful as far as developing new semiclassical approaches that can treat systems where the nuclear, electronic orbital, and electronic spin degrees of freedom altogether are all coupled together, hopefully including systems displaying the chiral induced spin selectivity (CISS) effect.


title: Bidirectional Reactive Programming for Machine Learning

abstract: Reactive languages are dedicated to the programming of systems which interact continuously and concurrently with their environment. Values take the form of unbounded streams modeling the (discrete) passing of time or the sequence of concurrent interactions. While conventional reactivity models recurrences forward in time, we introduce a symmetric reactive construct enabling backward recurrences. Constraints on the latter allow to make the implementation practical. Machine Learning (ML) systems provide numerous motivations for all of this: we demonstrate that reverse-mode automatic differentiation, backpropagation, batch normalization, bidirectional recurrent neural networks, training and reinforcement learning algorithms, are all naturally captured as bidirectional reactive programs.


title: Assessing the influence of attractor-verb distance on grammatical agreement in humans and language models

abstract: Subject-verb agreement in the presence of an attractor noun located between the main noun and the verb elicits complex behavior: judgments of grammaticality are modulated by the grammatical features of the attractor. For example, in the sentence "The girl near the boys likes climbing", the attractor (boys) disagrees in grammatical number with the verb (likes), creating a locally implausible transition probability. Here, we parametrically modulate the distance between the attractor and the verb while keeping the length of the sentence equal. We evaluate the performance of both humans and two artificial neural network models: both make more mistakes when the attractor is closer to the verb, but neural networks get close to the chance level while humans are mostly able to overcome the attractor interference. Additionally, we report a linear effect of attractor distance on reaction times. We hypothesize that a possible reason for the proximity effect is the calculation of transition probabilities between adjacent words. Nevertheless, classical models of attraction such as the cue-based model might suffice to explain this phenomenon, thus paving the way for new research. Data and analyses available at https://osf.io/d4g6k


title: Mirkovi\'c-Vilonen Polytopes from Combinatorics

abstract: Mirkovi\'c-Vilonen (MV) polytopes are a class of generalized permutahedra originating from geometric representation theory. In this paper we study MV polytopes coming from matroid polytopes, flag matroid polytopes, Bruhat interval polytopes, and Schubitopes. We give classifications and combinatorial conditions for when these polytopes are MV polytopes. We also describe how the crystal structure on MV polytopes manifests combinatorially in these situations. As a special case, we show that the Newton polytopes of Schubert polynomials and key polynomials are MV polytopes.


title: Matching Generalized-Bicycle Codes to Neutral Atoms for Low-Overhead Fault-Tolerance

abstract: Despite the necessity of fault-tolerant quantum sys- tems built on error correcting codes, many popular codes, such as the surface code, have prohibitively large qubit costs. In this work we present a protocol for efficiently implementing a restricted set of space-efficient quantum error correcting (QEC) codes in atom arrays. This protocol enables generalized-bicycle codes that require up to 10x fewer physical qubits than surface codes. Additionally, our protocol enables logical cycles that are 2-3x faster than more general solutions for implementing space- efficient QEC codes in atom arrays. We also evaluate a proof-of-concept quantum memory hier- archy where generalized-bicycle codes are used in conjunction with surface codes for general computation. Through a detailed compilation methodology, we estimate the costs of key fault- tolerant benchmarks in a hierarchical architecture versus a state-of-the-art surface code only architecture. Overall, we find the spatial savings of generalized-bicycle codes outweigh the overhead of loading and storing qubits, motivating the feasibility of a quantum memory hierarchy in practice. Through sensitivity studies, we also identify key program-level and hardware-level features for using a hierarchical architecture.


title: Temporal networks with node-specific memory: unbiased inference of transition probabilities, relaxation times and structural breaks

abstract: One of the main challenges in the study of time-varying networks is the interplay of memory effects with structural heterogeneity. In particular, different nodes and dyads can have very different statistical properties in terms of both link formation and link persistence, leading to a superposition of typical timescales, sub-optimal parametrizations and substantial estimation biases. Here we develop an unbiased maximum-entropy framework to study empirical network trajectories by controlling for the observed structural heterogeneity and local link persistence simultaneously. An exact mapping to a heterogeneous version of the one-dimensional Ising model leads to an analytic solution that rigorously disentangles the hidden variables that jointly determine both static and temporal properties. Additionally, model selection via likelihood maximization identifies the most parsimonious structural level (either global, node-specific or dyadic) accounting for memory effects. As we illustrate on a real-world social network, this method enables an improved estimation of dyadic transition probabilities, relaxation times and structural breaks between dynamical regimes. In the resulting picture, the graph follows a generalized configuration model with given degrees and given time-persisting degrees, undergoing transitions between empirically identifiable stationary regimes.


title: Robust Parallel Laser Driving of Quantum Dots for Multiplexing of Quantum Light Sources

abstract: Deterministic sources of quantum light (i.e. single photons or pairs of entangled photons) are required for a whole host of applications in quantum technology, including quantum imaging, quantum cryptography and the long-distance transfer of quantum information in future quantum networks. Semiconductor quantum dots are ideal candidates for solid-state quantum emitters as these artificial atoms have large dipole moments and a quantum confined energy level structure, enabling the realization of single photon sources with high repetition rates and high single photon purity. Quantum dots may also be triggered using a laser pulse for on-demand operation. The naturally-occurring size variations in ensembles of quantum dots offers the potential to increase the bandwidth of quantum communication systems through wavelength-division multiplexing, but conventional laser triggering schemes based on Rabi rotations are ineffective when applied to inequivalent emitters. Here we report the demonstration of the simultaneous triggering of >10 quantum dots using adiabatic rapid passage. We show that high-fidelity quantum state inversion is possible in a system of quantum dots with a 15~meV range of optical transition energies using a single broadband, chirped laser pulse, laying the foundation for high-bandwidth, multiplexed quantum networks.


title: HARQ Retransmissions in C-V2X: A BSM Latency Analysis

abstract: Cellular vehicular-to-everything (C-V2X) systems offer the potential for improving road safety, in part through the exchange of periodic basic safety messages (BSMs) between nearby vehicles. The reliability and latency of these messages is a key metric. Hybrid automatic repeat request (HARQ) retransmissions are one technique used to this end. However, HARQ may come at the expense of consuming the limited available wireless resources, especially in highly congested scenarios. This paper studies BSM transmission latency and reliability when HARQ retransmissions are used with the semi-persistent scheduling (SPS) in C-V2X transmission mode 4. We do so through extensive system-level simulations that closely follow the SPS process. Furthermore, we provide an analytical model for the tail behavior of the BSM latency distribution with HARQ retransmissions that is a good approximation to the simulation results. Our study reveals the impact of several deployment settings (e.g., bandwidth configurations and vehicle density).


title: FedECA: A Federated External Control Arm Method for Causal Inference with Time-To-Event Data in Distributed Settings

abstract: External control arms (ECA) can inform the early clinical development of experimental drugs and provide efficacy evidence for regulatory approval in non-randomized settings. However, the main challenge of implementing ECA lies in accessing real-world data or historical clinical trials. Indeed, data sharing is often not feasible due to privacy considerations related to data leaving the original collection centers, along with pharmaceutical companies' competitive motives. In this paper, we leverage a privacy-enhancing technology called federated learning (FL) to remove some of the barriers to data sharing. We introduce a federated learning inverse probability of treatment weighted (IPTW) method for time-to-event outcomes called FedECA which eases the implementation of ECA by limiting patients' data exposure. We show with extensive experiments that FedECA outperforms its closest competitor, matching-adjusted indirect comparison (MAIC), in terms of statistical power and ability to balance the treatment and control groups. To encourage the use of such methods, we publicly release our code which relies on Substra, an open-source FL software with proven experience in privacy-sensitive contexts.


title: RIS-Enhanced MIMO Channels in Urban Environments: Experimental Insights

abstract: Can the smart radio environment paradigm measurably enhance the performance of contemporary urban macrocells? In this study, we explore the impact of reconfigurable intelligent surfaces (RISs) on a real-world sub-6 GHz MIMO channel. A rooftop-mounted macrocell antenna has been adapted to enable frequency domain channel measurements to be ascertained. A nature-inspired beam search algorithm has been employed to maximize channel gain at user positions, revealing a potential 50% increase in channel capacity in certain circumstances. Analysis reveals, however, that the spatial characteristics of the channel can be adversely affected through the introduction of a RIS in these settings. The RIS prototype schematics, Gerber files, and source code have been made available to aid in future experimental efforts of the wireless research community.


title: Multi-population opinion dynamics model

abstract: We introduce multi-population opinion dynamics models linked to the bounded confidence model, aiming to explore how interactions between individuals contribute to the emergence of consensus, polarization, or fragmentation. Existing models either neglect agent similarities, sacrificing accuracy for scalability, or prioritize accuracy by introducing agent-wise connections, constraining scalability. Our proposed model captures similarities between agents in scalable matter. In our setting, agents similarities are defined by their group affiliations. Specifically, each sub-population is characterized by its distribution, and the closeness between two sub-populations is measured by the Wasserstein distance of their corresponding distributions. This leads to two mutually connected dynamics: micro, the individual-based dynamics, and the macro, the distribution-based one. The individual-wise interactions take into account the population-wise interactions (similarities), and the population-wise interactions are updated based on the individual-wise interactions. We have proven the well-posedness of our models. Additionally, we conducted several simulations to mimic certain complex social phenomena.


title: A Non-Archimedean Approach to Stratifications

abstract: These are notes from a mini-course about the main results of arXiv:2206.03438: I explain how, using suitable valued fields, one obtains a natural notion of canonical stratifications (of e.g. algebraic subsets of $\mathbb{R}^n$). I also explain how the same techniques yield more invariants of singularities, and I present an application to Poincar\'e series. While some rudimentary knowledge of model theory is useful, the notes should also be accessible without such knowledge. In particular, they contain an introduction to the non-standard analysis needed for this approach.


title: A Wasserstein-type Distance for Gaussian Mixtures on Vector Bundles with Applications to Shape Analysis

abstract: This paper uses sample data to study the problem of comparing populations on finite-dimensional parallelizable Riemannian manifolds and more general trivial vector bundles. Utilizing triviality, our framework represents populations as mixtures of Gaussians on vector bundles and estimates the population parameters using a mode-based clustering algorithm. We derive a Wasserstein-type metric between Gaussian mixtures, adapted to the manifold geometry, in order to compare estimated distributions. Our contributions include an identifiability result for Gaussian mixtures on manifold domains and a convenient characterization of optimal couplings of Gaussian mixtures under the derived metric. We demonstrate these tools on some example domains, including the pre-shape space of planar closed curves, with applications to the shape space of triangles and populations of nanoparticles. In the nanoparticle application, we consider a sequence of populations of particle shapes arising from a manufacturing process, and utilize the Wasserstein-type distance to perform change-point detection.


title: ChatGPT's One-year Anniversary: Are Open-Source Large Language Models Catching up?

abstract: Upon its release in late 2022, ChatGPT has brought a seismic shift in the entire landscape of AI, both in research and commerce. Through instruction-tuning a large language model (LLM) with supervised fine-tuning and reinforcement learning from human feedback, it showed that a model could answer human questions and follow instructions on a broad panel of tasks. Following this success, interests in LLMs have intensified, with new LLMs flourishing at frequent interval across academia and industry, including many start-ups focused on LLMs. While closed-source LLMs (e.g., OpenAI's GPT, Anthropic's Claude) generally outperform their open-source counterparts, the progress on the latter has been rapid with claims of achieving parity or even better on certain tasks. This has crucial implications not only on research but also on business. In this work, on the first anniversary of ChatGPT, we provide an exhaustive overview of this success, surveying all tasks where an open-source LLM has claimed to be on par or better than ChatGPT.


title: (Co)Homology of Partial Smash Products

abstract: Given a cocommutative Hopf algebra $\mathcal{H}$ over a commutative ring $K$ and a symmetric partial action of $\mathcal{H}$ on a $K$-algebra $A,$ we obtain a first quadrant Grothendieck spectral sequence converging to the Hochschild homology of the smash product $A \# \mathcal{H},$ involving the Hochschild homology of $A$ and the partial homology of $\mathcal{H}.$ An analogous third quadrant cohomological spectral sequence is also obtained. The definition of the partial (co)homology of $\mathcal{H}$ under consideration is based on the category of the partial representations of $\mathcal{H}.$ A specific partial representation of $\mathcal{H}$ on a subalgebra $\mathcal{B}$ of the partial ``Hopf" algebra $\mathcal{H}_{par} $ is involved in the definition and we construct a projective resolution of $\mathcal{B}.$


title: Asteroseismology of the young open cluster NGC 2516 I: Photometric and spectroscopic observations

abstract: Asteroseismic modelling of isolated star presents significant challenges due to the difficulty in accurately determining stellar parameters, particularly the stellar age. These challenges can be overcomed by observing stars in open clusters, whose coeval members share an initial chemical composition. The light curves by TESS allow us to investigate and analyse stellar variations in clusters with an unprecedented level. We aim to detect gravity-mode oscillations in the early-type main-sequence members of the young open cluster NGC 2516. We selected the 301 member stars as our sample and analysed the TESS FFI light curves. We also collected high-resolution spectra using the FEROS for the g-mode pulsators. By fitting the theoretical isochrones to the colour-magnitude diagram (CMD) of a cluster, we determined an age of 102 $\pm$ 15 Myr and inferred the extinction at 550 nm ($A_0$) is 0.53 $\pm$ 0.04 mag. We identified 147 stars with surface brightness modulations, 24 with g-mode pulsations ($\gamma$ Doradus or Slowly Pulsating B stars), and 35 with p-mode pulsations ($\delta$ Sct stars). When sorted by colour index, the amplitude spectra of the $\delta$ Sct stars show a distinct ordering and reveal a discernible frequency-temperature relationship. The near-core rotation rates, measured from period spacing patterns in two SPB and nine $\gamma$ Dor stars, reach up to 3/d . This is at the high end of the values found from Kepler data of field stars of similar variability type. The $\gamma$ Dor stars have internal rotation rates as high as 50% of their critical value, whereas the SPB stars exhibit rotation rates close to their critical rate. We did not find long-term brightness and colour variations in the mid-infrared, which suggests that there are no disk or shell formation events in our sample. We also discussed the results of our spectroscopic observations for the g-mode pulsators.


title: Nested Integrals and Rationalizing Transformations

abstract: A brief overview of some computer algebra methods for computations with nested integrals is given. The focus is on nested integrals over integrands involving square roots. Rewrite rules for conversion to and from associated nested sums are discussed. We also include a short discussion comparing the holonomic systems approach and the differential field approach. For simplification to rational integrands, we give a comprehensive list of univariate rationalizing transformations, including transformations tuned to map the interval $[0,1]$ bijectively to itself.


title: Insights from Super-Metal-Rich Stars: Is the Milky Way bar young?

abstract: Super-metal-rich (SMR) stars, currently in the solar neighbourhood, are expected to originate only in the inner Galaxy and have definitely migrated. We aim at studying a large sample of SMR stars to provide constraints on the epoch of the bar formation and its impact on the MW disc stellar populations. We investigate a sample of 169,701 MSTO and SGB stars with 6D phase space information and high-quality stellar parameters coming from the hybrid-CNN analysis of the Gaia-DR3 RVS stars. We compute distances and ages using the StarHorse code with a mean precision of 1% and 11%, respectively. From these, 11,848 stars have metallicity ([Fe/H]) above 0.15 dex. We report a metallicity dependence of spatial distribution of stellar orbits shown by the bimodal distribution in the guiding radius at 6.9 and 7.9 kpc, first appearing at [Fe/H]~0.1 dex, becoming very pronounced at larger [Fe/H]. In addition, we've observed a trend where the most metal-rich stars, with [Fe/H]~0.4 dex, are predominantly old (9-12 Gyrs) but show a gradual decline in [Fe/H] with age, reaching around 0.25 dex at about 4 Gyrs ago, followed by a sharp drop around 3 Gyrs ago. Furthermore, our full dataset reveals a clear peak in the age-metallicity relationship during the same period, indicating a SF burst around 3-4 Gyrs ago with slightly sub-solar [Fe/H] and enhanced [$\alpha$/Fe]. We show the SMR stars are good tracers of the bar activity. We interpret the steep decrease in number of SMR stars at around 3 Gyr as the end of the bar formation epoch. In this scenario, the peak of bar activity also coincides with a peak in the SF activity in the disc. Although the SF burst around 3 Gyr ago has been reported previously, its origin was unclear. Here, we suggest the SF burst to have been triggered by the high bar activity, 3-4 Gyr ago. According to these results and interpretation, the MW bar could be young.


title: From Snyder space-times to doubly $\kappa$-dependent Yang quantum phase spaces and their generalizations

abstract: We propose the doubly $\kappa$-dependent Yang quantum phase space which describes the generalization of $D = 4$ Yang model. We postulate that such model is covariant under the generalized Born map, what permits to derive this new model from the earlier proposed $\kappa$-Snyder model. Our model of $D=4$ relativistic Yang quantum phase space depends on five deformation parameters which form two Born map-related dimensionful pairs: $(M,R)$ specifying the standard Yang model and $(\kappa,\tilde{\kappa})$ characterizing the Born-dual $\kappa$-dependence of quantum space-time and quantum fourmomenta sectors; fifth parameter $\rho$ is dimensionless and Born-selfdual. In the last section, we propose the Kaluza-Klein generalization of $D=4$ Yang model and the new quantum Yang models described algebraically by quantum-deformed $\hat{o}(1,5)$ algebras.


title: Total Angular Momentum Conservation in Ehrenfest Dynamics with a Truncated Basis of Adiabatic States

abstract: We show that standard Ehrenfest dynamics does not conserve linear and angular momentum when using a basis of truncated adiabatic states. However, we also show that previously proposed effective Ehrenfest equations of motion[Amano2005,Krishna2007] involving the non-Abelian Berry force do maintain momentum conservation. As a numerical example, we investigate the Kramers' doublet of the methoxy radical using generalized Hartree-Fock with spin-orbit coupling and confirm angular momentum is conserved with the proper equations of motion. Our work makes clear some of the limitations of the Born-Oppenheimer approximation when using ab initio electronic structure theory to treat systems with unpaired electronic spin degrees of freedom and we demonstrate that Ehrenfest dynamics can offer much improved, qualitatively correct results.


title: Goal-conditioned Offline Planning from Curious Exploration

abstract: Curiosity has established itself as a powerful exploration strategy in deep reinforcement learning. Notably, leveraging expected future novelty as intrinsic motivation has been shown to efficiently generate exploratory trajectories, as well as a robust dynamics model. We consider the challenge of extracting goal-conditioned behavior from the products of such unsupervised exploration techniques, without any additional environment interaction. We find that conventional goal-conditioned reinforcement learning approaches for extracting a value function and policy fall short in this difficult offline setting. By analyzing the geometry of optimal goal-conditioned value functions, we relate this issue to a specific class of estimation artifacts in learned values. In order to mitigate their occurrence, we propose to combine model-based planning over learned value landscapes with a graph-based value aggregation scheme. We show how this combination can correct both local and global artifacts, obtaining significant improvements in zero-shot goal-reaching performance across diverse simulated environments.


title: Dark Photons from displaced vertices

abstract: We investigate the unexplored regions of the dark photon parameter space to find a search strategy suitable to probe these. We show how displaced track searches at colliders with large 4pi trackers around the interaction point are excellent choices for exploring these uncharted regions. As an example, we study in detail the sensitivity of the Belle II trackers to dark photons which mediate interactions between the visible and dark sectors. We also show that the same strategy can be employed by other experiments to achieve the same goal.


title: Spectral signatures of vibronic coupling in trapped cold atomic Rydberg systems

abstract: Atoms and ions confined with electric and optical fields form the basis of many current quantum simulation and computing platforms. When excited to high-lying Rydberg states, long-ranged dipole interactions emerge which strongly couple the electronic and vibrational degrees of freedom through state-dependent forces. This vibronic coupling and the ensuing hybridization of internal and external degrees of freedom manifest through clear signatures in the many-body spectrum. We illustrate this by considering the case of two trapped Rydberg ions, for which the interaction between the relative vibrations and Rydberg states realizes a quantum Rabi model. We proceed to demonstrate that the aforementioned hybridization can be probed by radio frequency spectroscopy and discuss observable spectral signatures at finite temperatures and for larger ion crystals.

categories: quant-ph cond-mat.quant-gas cond-mat.stat-mech physics.atom-ph physics.chem-ph


title: The twisted partial group algebra and (co)homology of partial crossed products

abstract: Given a group $G$ and a partial factor set $\sigma $ of $G,$ we introduce the twisted partial group algebra $\kappa_{par}^{\sigma}G,$ which governs the partial projective $\sigma$-representations of $G$ into algebras over a filed $\kappa.$ Using the relation between partial projective representations and twisted partial actions we endow $\kappa_{par}^\sigma G$ with the structure of a crossed product by a twisted partial action of $G$ on a commutative subalgebra of $\kappa_{par}^{\sigma} G.$ Then, we use twisted partial group algebras to obtain a first quadrant Grothendieck spectral sequence converging to the Hochschild homology of the crossed product $A\ast_{\Theta} G,$ involving the Hochschild homology of $A$ and the partial homology of $G,$ where ${\Theta}$ is a unital twisted partial action of $G$ on a $\kappa$-algebra $A$ with a $\kappa $-based twist. An analogous third quadrant cohomological spectral sequence is also obtained.


title: Sputtered NbN Films for Ultrahigh Performance Superconducting Nanowire Single-Photon Detectors

abstract: Nowadays ultrahigh performance superconducting nanowire single-photon detectors are the key elements in a variety of devices from biological research to quantum communications and computing. Accurate tuning of superconducting material properties is a powerful resource for fabricating single-photon detectors with a desired properties. Here, we report on the major theoretical relations between ultrathin niobium nitride (NbN) films properties and superconducting nanowire single-photon detectors characteristics, as well as ultrathin NbN films properties dependence on reactive magnetron sputtering recipes. Based on this study we formulate the exact requirements to ultrathin NbN films for ultrahigh performance superconducting nanowire single-photon detectors. Then, we experimentally study ultrathin NbN films properties (morphology, crystalline structure, critical temperature, sheet resistance) on silicon, sapphire, silicon dioxide and silicon nitride substrates sputtered with various recipes. We demonstrate ultrathin NbN films (obtained with more than 100 films deposition) with a wide range of critical temperature from 2.5 to 12.1 K and sheet resistance from 285 to 2000 ~$\Omega$/sq, as well as investigate a sheet resistance evolution over for more than 40\% within two years. Finally, we found out that one should use ultrathin NbN films with specific critical temperature near 9 K and sheet resistance of 400 ~$\Omega$/sq for ultrahigh performance SNSPD.


title: New Approximation Bounds for Small-Set Vertex Expansion

abstract: The vertex expansion of the graph is a fundamental graph parameter. Given a graph $G=(V,E)$ and a parameter $\delta \in (0,1/2]$, its $\delta$-Small-Set Vertex Expansion (SSVE) is defined as \[ \min_{S : |S| = \delta |V|} \frac{|{\partial^V(S)}|}{ \min \{ |S|, |S^c| \} } \] where $\partial^V(S)$ is the vertex boundary of a set $S$. The SSVE~problem, in addition to being of independent interest as a natural graph partitioning problem, is also of interest due to its connections to the Strong Unique Games problem. We give a randomized algorithm running in time $n^{{\sf poly}(1/\delta)}$, which outputs a set $S$ of size $\Theta(\delta n)$, having vertex expansion at most \[ \max\left(O(\sqrt{\phi^* \log d \log (1/\delta)}) , \tilde{O}(d\log^2(1/\delta)) \cdot \phi^* \right), \] where $d$ is the largest vertex degree of the graph, and $\phi^*$ is the optimal $\delta$-SSVE. The previous best-known guarantees for this were the bi-criteria bounds of $\tilde{O}(1/\delta)\sqrt{\phi^* \log d}$ and $\tilde{O}(1/\delta)\phi^* \sqrt{\log n}$ due to Louis-Makarychev [TOC'16]. Our algorithm uses the basic SDP relaxation of the problem augmented with ${\rm poly}(1/\delta)$ rounds of the Lasserre/SoS hierarchy. Our rounding algorithm is a combination of the rounding algorithms of Raghavendra-Tan [SODA'12] and Austrin-Benabbas-Georgiou [SODA'13]. A key component of our analysis is novel Gaussian rounding lemma for hyperedges which might be of independent interest.


title: Ranni: Taming Text-to-Image Diffusion for Accurate Instruction Following

abstract: Existing text-to-image (T2I) diffusion models usually struggle in interpreting complex prompts, especially those with quantity, object-attribute binding, and multi-subject descriptions. In this work, we introduce a semantic panel as the middleware in decoding texts to images, supporting the generator to better follow instructions. The panel is obtained through arranging the visual concepts parsed from the input text by the aid of large language models, and then injected into the denoising network as a detailed control signal to complement the text condition. To facilitate text-to-panel learning, we come up with a carefully designed semantic formatting protocol, accompanied by a fully-automatic data preparation pipeline. Thanks to such a design, our approach, which we call Ranni, manages to enhance a pre-trained T2I generator regarding its textual controllability. More importantly, the introduction of the generative middleware brings a more convenient form of interaction (i.e., directly adjusting the elements in the panel or using language instructions) and further allows users to finely customize their generation, based on which we develop a practical system and showcase its potential in continuous generation and chatting-based editing. Our project page is at https://ranni-t2i.github.io/Ranni.


title: Rigidity and Schofield's partial tilting conjecture for quiver moduli

abstract: We explain how Teleman quantization can be applied to moduli spaces of quiver representations to compute the higher cohomology of the endomorphism bundle of the universal bundle. We use this to prove Schofield's partial tilting conjecture, and to show that moduli spaces of quiver representations are (infinitesimally) rigid as varieties.


title: Vector fields and admissible embeddings for quiver moduli

abstract: We introduce a double framing construction for moduli spaces of quiver representations. It allows us to reduce certain sheaf cohomology computations involving the universal representation, to computations involving line bundles, making them amenable to methods from geometric invariant theory. We will use this to show that in many good situations the vector fields on the moduli space are isomorphic as a vector space to the first Hochschild cohomology of the path algebra. We also show that considering the universal representation as a Fourier-Mukai kernel in the appropriate sense gives an admissible embedding of derived categories.


title: MVBench: A Comprehensive Multi-modal Video Understanding Benchmark

abstract: With the rapid development of Multi-modal Large Language Models (MLLMs), a number of diagnostic benchmarks have recently emerged to evaluate the comprehension capabilities of these models. However, most benchmarks predominantly assess spatial understanding in the static image tasks, while overlooking temporal understanding in the dynamic video tasks. To alleviate this issue, we introduce a comprehensive Multi-modal Video understanding Benchmark, namely MVBench, which covers 20 challenging video tasks that cannot be effectively solved with a single frame. Specifically, we first introduce a novel static-to-dynamic method to define these temporal-related tasks. By transforming various static tasks into dynamic ones, we enable the systematic generation of video tasks that require a broad spectrum of temporal skills, ranging from perception to cognition. Then, guided by the task definition, we automatically convert public video annotations into multiple-choice QA to evaluate each task. On one hand, such a distinct paradigm allows us to build MVBench efficiently, without much manual intervention. On the other hand, it guarantees evaluation fairness with ground-truth video annotations, avoiding the biased scoring of LLMs. Moreover, we further develop a robust video MLLM baseline, i.e., VideoChat2, by progressive multi-modal training with diverse instruction-tuning data. The extensive results on our MVBench reveal that, the existing MLLMs are far from satisfactory in temporal understanding, while our VideoChat2 largely surpasses these leading models by over 15% on MVBench. All models and data are available at https://github.com/OpenGVLab/Ask-Anything.


title: On the Impact of Sampling on Deep Sequential State Estimation

abstract: State inference and parameter learning in sequential models can be successfully performed with approximation techniques that maximize the evidence lower bound to the marginal log-likelihood of the data distribution. These methods may be referred to as Dynamical Variational Autoencoders, and our specific focus lies on the deep Kalman filter. It has been shown that the ELBO objective can oversimplify data representations, potentially compromising estimation quality. Tighter Monte Carlo objectives have been proposed in the literature to enhance generative modeling performance. For instance, the IWAE objective uses importance weights to reduce the variance of marginal log-likelihood estimates. In this paper, importance sampling is applied to the DKF framework for learning deep Markov models, resulting in the IW-DKF, which shows an improvement in terms of log-likelihood estimates and KL divergence between the variational distribution and the transition model. The framework using the sampled DKF update rule is also accommodated to address sequential state and parameter estimation when working with highly non-linear physics-based models. An experiment with the 3-space Lorenz attractor shows an enhanced generative modeling performance and also a decrease in RMSE when estimating the model parameters and latent states, indicating that tighter MCOs lead to improved state inference performance.


title: Computational Hypergraph Discovery, a Gaussian Process framework for connecting the dots

abstract: Most scientific challenges can be framed into one of the following three levels of complexity of function approximation. Type 1: Approximate an unknown function given input/output data. Type 2: Consider a collection of variables and functions, some of which are unknown, indexed by the nodes and hyperedges of a hypergraph (a generalized graph where edges can connect more than two vertices). Given partial observations of the variables of the hypergraph (satisfying the functional dependencies imposed by its structure), approximate all the unobserved variables and unknown functions. Type 3: Expanding on Type 2, if the hypergraph structure itself is unknown, use partial observations of the variables of the hypergraph to discover its structure and approximate its unknown functions. While most Computational Science and Engineering and Scientific Machine Learning challenges can be framed as Type 1 and Type 2 problems, many scientific problems can only be categorized as Type 3. Despite their prevalence, these Type 3 challenges have been largely overlooked due to their inherent complexity. Although Gaussian Process (GP) methods are sometimes perceived as well-founded but old technology limited to Type 1 curve fitting, their scope has recently been expanded to Type 2 problems. In this paper, we introduce an interpretable GP framework for Type 3 problems, targeting the data-driven discovery and completion of computational hypergraphs. Our approach is based on a kernel generalization of Row Echelon Form reduction from linear systems to nonlinear ones and variance-based analysis. Here, variables are linked via GPs and those contributing to the highest data variance unveil the hypergraph's structure. We illustrate the scope and efficiency of the proposed approach with applications to (algebraic) equation discovery, network discovery (gene pathways, chemical, and mechanical) and raw data analysis.


title: An Investigation of Time Reversal Symmetry in Reinforcement Learning

abstract: One of the fundamental challenges associated with reinforcement learning (RL) is that collecting sufficient data can be both time-consuming and expensive. In this paper, we formalize a concept of time reversal symmetry in a Markov decision process (MDP), which builds upon the established structure of dynamically reversible Markov chains (DRMCs) and time-reversibility in classical physics. Specifically, we investigate the utility of this concept in reducing the sample complexity of reinforcement learning. We observe that utilizing the structure of time reversal in an MDP allows every environment transition experienced by an agent to be transformed into a feasible reverse-time transition, effectively doubling the number of experiences in the environment. To test the usefulness of this newly synthesized data, we develop a novel approach called time symmetric data augmentation (TSDA) and investigate its application in both proprioceptive and pixel-based state within the realm of off-policy, model-free RL. Empirical evaluations showcase how these synthetic transitions can enhance the sample efficiency of RL agents in time reversible scenarios without friction or contact. We also test this method in more realistic environments where these assumptions are not globally satisfied. We find that TSDA can significantly degrade sample efficiency and policy performance, but can also improve sample efficiency under the right conditions. Ultimately we conclude that time symmetry shows promise in enhancing the sample efficiency of reinforcement learning and provide guidance when the environment and reward structures are of an appropriate form for TSDA to be employed effectively.


title: Space-Time Diffusion Features for Zero-Shot Text-Driven Motion Transfer

abstract: We present a new method for text-driven motion transfer - synthesizing a video that complies with an input text prompt describing the target objects and scene while maintaining an input video's motion and scene layout. Prior methods are confined to transferring motion across two subjects within the same or closely related object categories and are applicable for limited domains (e.g., humans). In this work, we consider a significantly more challenging setting in which the target and source objects differ drastically in shape and fine-grained motion characteristics (e.g., translating a jumping dog into a dolphin). To this end, we leverage a pre-trained and fixed text-to-video diffusion model, which provides us with generative and motion priors. The pillar of our method is a new space-time feature loss derived directly from the model. This loss guides the generation process to preserve the overall motion of the input video while complying with the target object in terms of shape and fine-grained motion traits.


title: Node Connectivity Augmentation of Highly Connected Graphs

abstract: Node-connectivity augmentation is a fundamental network design problem. We are given a $k$-node connected graph $G$ together with an additional set of links, and the goal is to add a cheap subset of links to $G$ to make it $(k+1)$-node connected. In this work, we characterize completely the computational complexity status of the problem, by showing hardness for all values of $k$ which were not addressed previously in the literature. We then focus on $k$-node connectivity augmentation for $k=n-4$, which corresponds to the highest value of $k$ for which the problem is NP-hard. We improve over the previously best known approximation bounds for this problem, by developing a $\frac{3}{2}$-approximation algorithm for the weighted setting, and a $\frac{4}{3}$-approximation algorithm for the unweighted setting.


title: Pricing and hedging for a sticky diffusion

abstract: We consider a financial market model featuring a risky asset with a sticky geometric Brownian motion price dynamic and a constant interest rate $r \in \mathbb R$. We prove that the model is arbitrage-free if and only if $r =0 $. In this case, we find the unique riskless replication strategy, derive the associated pricing equation. We also identify a class of replicable payoffs that coincides with the replicable payoffs in the standard Black-Scholes model. Last, we numerically evaluate discrete-time hedging and the hedging error incurred from misrepresenting price stickiness.


title: Counter-terrorism in cyber-physical spaces: Best practices and technologies from the state of the art

abstract: Context: The demand for protection and security of physical spaces and urban areas increased with the escalation of terroristic attacks in recent years. We envision with the proposed cyber-physical systems and spaces, a city that would indeed become a smarter urbanistic object, proactively providing alerts and being protective against any threat. Objectives: This survey intend to provide a systematic multivocal literature survey comprised of an updated, comprehensive and timely overview of state of the art in counter-terrorism cyber-physical systems, hence aimed at the protection of cyber-physical spaces. Hence, provide guidelines to law enforcement agencies and practitioners providing a description of technologies and best practices for the protection of public spaces. Methods: We analyzed 112 papers collected from different online sources, both from the academic field and from websites and blogs ranging from 2004 till mid-2022. Results: a) There is no one single bullet-proof solution available for the protection of public spaces. b) From our analysis we found three major active fields for the protection of public spaces: Information Technologies, Architectural approaches, Organizational field. c) While the academic suggest best practices and methodologies for the protection of urban areas, the market did not provide any type of implementation of such suggested approaches, which shows a lack of fertilization between academia and industry. Conclusion: The overall analysis has led us to state that there is no one single solution available, conversely, multiple methods and techniques can be put in place to guarantee safety and security in public spaces. The techniques range from architectural design to rethink the design of public spaces keeping security into account in continuity, to emerging technologies such as AI and predictive surveillance.


title: Modulating binary dynamics via the termination of black hole superradiance

abstract: A superradiant cloud of ultralight bosons near a rotating black hole provides a smoking gun for particle physics in the infrared. However, tidal perturbations from a nearby binary companion can destabilise the boson cloud and even terminate superradiance. In this work, we consider the backreaction of superradiance termination to the dynamics of general binary orbits parametrised by their semi-latus rectum, eccentricity and inclination angle. Our analysis focuses on Extreme Mass Ratio Inspiral (EMRI) systems and employs the period-average approximation to derive evolution equations of these binary parameters in the Newtonian limit. We find that the binary evolution history can be significantly modulated by the backreaction towards large circular equatorial orbits with reduced termination rate. This process can generically happen even away from the resonance bands. Our work therefore serves as a first step towards probing ultralight bosons through the statistics of EMRI binary parameters in the future.


title: $2$-rotund norms for generalized Baernstein spaces and their duals

abstract: We consider a generalized Baernstein space associated to a compact family of finite subsets of an uncountable set. We show that for certain transfinitely defined families such spaces admit an equivalent $2$-rotund norm. We also show that for an arbitrary family the dual space admits an equivalent $2$-rotund norm.


title: Regge constraints on local four-point scattering amplitudes of massive particles with spin

abstract: In this work, we classify all the possible local four-point couplings relevant for tree-level flat space $2 \rightarrow 2$ scattering of external massive particles of spin one and spin two which do not grow faster than $s^2$ at large $s$ and fixed t. This kinematic constraint on local growth of tree-level S-matrices is known as Classical Regge Growth criteria or CRG. We first construct the spin one and spin two tree-level contact S-matrices as modules of polarisation tensors and momenta over the ring of polynomials generated by Mandelstam invariants. We then consider a general scattering process where the external scattering particles are of different masses but of same spin and constrain this space to obtain a finite number of CRG allowed local Lagrangians. Our concrete results are primarily for $D\geq 8$ but the process outlined is easily generalised to lower dimensions to include low dimensional parity violating structures. The space of CRG allowed structures reduces when we specialise to identical scattering and restrict to parity even couplings in $D=4$. We show that tree-level scattering amplitudes involving exchange diagrams and contact terms in de Rham-Gabadadze-Tolley massive gravity (dRGT) violate CRG unless the parameters of the theory take special values. The CRG allowed S-matrices, in the context of large $N$ conformal field theories (CFTs), can also be interpreted as bulk $AdS$ counterterms consistent with Chaos bound. Our classified structures therefore can be thought of as ambiguities arising in the context of conformal field theory inversion formula for four point functions of unconserved spin one and spin two operators in large $N$ CFTs.


title: Investigation of Indian stock markets using topological data analysis and geometry-inspired network measures

abstract: Geometry-inspired measures (such as discrete Ricci curvatures) and topological data analysis (TDA) based methods (such as persistent homology) have become attractive tools for characterizing the higher-order structure of networks representing the financial systems. In this study, our goal is to perform a comparative analysis of both these approaches, especially by assessing the fragility and systemic risk in the Indian stock markets, which is known for its high volatility and risk. To achieve this goal, we analyze the time series of daily log-returns of stocks comprising the National Stock Exchange (NSE) and the Bombay Stock Exchange (BSE). Specifically, our aim is to monitor the changes in standard network measures, edge-centric discrete Ricci curvatures, and persistent homology based topological measures computed from cross-correlation matrices of stocks. In this study, the edge-centric discrete Ricci curvatures have been employed for the first time in the analysis of the Indian stock markets. The Indian stock markets are known to be less diverse in comparison to the US market, and hence provides us an interesting example. Our results point that, among the persistent homology based topological measures, persistent entropy is simple and more robust than $L^1$-norm and $L^2$-norm of persistence landscape. In a broader comparison between network analysis and TDA, we highlight that the network analysis is sensitive to the way of constructing the networks (threshold or minimum spanning tree), as well as the threshold values used to construct the correlation-based threshold networks. On the other hand, the persistent homology is a more robust approach and is able to capture the higher-order interactions and eliminate noisy data in financial systems, since it does not take into account a single value of threshold but rather a range of values.


title: Foundational Moral Values for AI Alignment

abstract: Solving the AI alignment problem requires having clear, defensible values towards which AI systems can align. Currently, targets for alignment remain underspecified and do not seem to be built from a philosophically robust structure. We begin the discussion of this problem by presenting five core, foundational values, drawn from moral philosophy and built on the requisites for human existence: survival, sustainable intergenerational existence, society, education, and truth. We show that these values not only provide a clearer direction for technical alignment work, but also serve as a framework to highlight threats and opportunities from AI systems to both obtain and sustain these values.


title: Generation of higher-order topological insulators using periodic driving

abstract: Topological insulators~(TIs) are a new class of materials that resemble ordinary band insulators in terms of a bulk band gap but exhibit protected metallic states on their boundaries. In this modern direction, higher-order TIs~(HOTIs) are a new class of TIs in dimensions $d>1$. These HOTIs possess $(d - 1)$-dimensional boundaries that, unlike those of conventional TIs, do not conduct via gapless states but are themselves TIs. Precisely, an $n^{\rm th}$ order $d$-dimensional higher-order topological insulator is characterized by the presence of boundary modes that reside on its $d_c=(d-n)$-dimensional boundary. For instance, a three-dimensional second (third) order TI hosts gapless (localized) modes on the hinges (corners), characterized by $d_c = 1 (0)$. Similarly, a second-order TI in two dimensions only has localized corner states ($d_c = 0$). These higher-order phases are protected by various crystalline as well as discrete symmetries. The non-equilibrium tunability of the topological phase has been a major academic challenge where periodic Floquet drive provides us golden opportunity to overcome that barrier. Here, we discuss different periodic driving protocols to generate Floquet higher-order TIs while starting from a non-topological or first-order topological phase. Furthermore, we emphasize that one can generate the dynamical anomalous $\pi$-modes along with the concomitant $0$-modes. The former can be realized only in a dynamical setup. We exemplify the Floquet higher-order topological modes in two and three dimensions in a systematic way. Especially, in two dimensions, we demonstrate a Floquet second-order TI hosting $0$- and $\pi$ corner modes. Whereas a three-dimensional Floquet second-order TI and Floquet third-order TI manifest one- and zero-dimensional hinge and corner modes, respectively.


title: Homogeneous Algebraic Complexity Theory and Algebraic Formulas

abstract: We study algebraic complexity classes and their complete polynomials under \emph{homogeneous linear} projections, not just under the usual affine linear projections that were originally introduced by Valiant in 1979. These reductions are weaker yet more natural from a geometric complexity theory (GCT) standpoint, because the corresponding orbit closure formulations do not require the padding of polynomials. We give the \emph{first} complete polynomials for VF, the class of sequences of polynomials that admit small algebraic formulas, under homogeneous linear projections: The sum of the entries of the non-commutative elementary symmetric polynomial in 3 by 3 matrices of homogeneous linear forms. Even simpler variants of the elementary symmetric polynomial are hard for the topological closure of a large subclass of VF: the sum of the entries of the non-commutative elementary symmetric polynomial in 2 by 2 matrices of homogeneous linear forms, and homogeneous variants of the continuant polynomial (Bringmann, Ikenmeyer, Zuiddam, JACM '18). This requires a careful study of circuits with arity-3 product gates.


title: High-contrast JWST-MIRI spectroscopy of planet-forming disks for the JDISC Survey

abstract: The JWST Disk Infrared Spectral Chemistry Survey (JDISCS) aims to understand the evolution of the chemistry of inner protoplanetary disks using the Mid-InfraRed Instrument (MIRI) on the James Webb Space Telescope (JWST). With a growing sample of >30 disks, the survey implements a custom method to calibrate the MIRI Medium Resolution Spectrometer (MRS) to contrasts of better than 1:300 across its 4.9-28 micron spectral range. This is achieved using observations of Themis-family asteroids as precise empirical reference sources. High spectral contrast enables precise retrievals of physical parameters, searches for rare molecular species and isotopologues, and constraints on the inventories of carbon- and nitrogen-bearing species. JDISCS also offers significant improvements to the MRS wavelength and resolving power calibration. We describe the JDISCS calibrated data and demonstrate its quality using observations of the disk around the solar-mass young star FZ Tau. The FZ Tau MIRI spectrum is dominated by strong emission from warm water vapor. We show that the water and CO line emission originates from the disk surface and traces a range of gas temperatures of ~500-1500 K. We retrieve parameters for the observed CO and H2O lines, and show that they are consistent with a radial distribution represented by two temperature components. A high water abundance of n(H2O)~10^-4 fills the disk surface at least out to the 350 K isotherm at 1.5 au. We search the FZ Tau environs for extended emission detecting a large (radius of ~300 au) ring of emission from H2 gas surrounding FZ Tau, and discuss its origin.


title: Optimal Categorical Instrumental Variables

abstract: This paper discusses estimation with a categorical instrumental variable in settings with potentially few observations per category. The proposed categorical instrumental variable estimator (CIV) leverages a regularization assumption that implies existence of a latent categorical variable with fixed finite support achieving the same first stage fit as the observed instrument. In asymptotic regimes that allow the number of observations per category to grow at arbitrary small polynomial rate with the sample size, I show that when the cardinality of the support of the optimal instrument is known, CIV is root-n asymptotically normal, achieves the same asymptotic variance as the oracle IV estimator that presumes knowledge of the optimal instrument, and is semiparametrically efficient under homoskedasticity. Under-specifying the number of support points reduces efficiency but maintains asymptotic normality. In an application that leverages judge fixed effects as instruments, CIV compares favorably to commonly used jackknife-based instrumental variable estimators.


title: Message Recovery Attack in NTRU through VFK Lattices

abstract: In the present paper, we implement a message recovery attack to all variants of the NTRU cryptosystem. Our approach involves a reduction from the NTRU-lattice to a Voronoi First Kind lattice, enabling the application of a polynomial CVP exact algorithm crucial for executing the Message Recovery. The efficacy of our attack relies on a specific oracle that permits us to approximate an unknown quantity. Furthermore, we outline the mathematical conditions under which the attack is successful. Finally, we delve into a well-established polynomial algorithm for CVP on VFK lattices and its implementation, shedding light on its efficacy in our attack. Subsequently, we present comprehensive experimental results on the NTRU-HPS and the NTRU-Prime variants of the NIST submissions and propose a method that could indicate the resistance of the NTRU cryptosystem to our attack.


title: Reflected entropy in BCFTs on a black hole background

abstract: We obtain the reflected entropy for bipartite mixed state configurations involving two disjoint and adjacent subsystems in two dimensional boundary conformal field theories (BCFT$_2$s) in a black hole background. The bulk dual is described by an AdS$_3$ black string geometry truncated by a Karch-Randall brane. The entanglement wedge cross section computed for this geometry matches with the reflected entropy obtained for the BCFT$_2$ verifying the holographic duality. In this context, we also obtain the analogues of the Page curves for the reflected entropy and investigate the behaviour of the Markov gap.


title: Diffusion 3D Features (Diff3F): Decorating Untextured Shapes with Distilled Semantic Features

abstract: We present Diff3F as a simple, robust, and class-agnostic feature descriptor that can be computed for untextured input shapes (meshes or point clouds). Our method distills diffusion features from image foundational models onto input shapes. Specifically, we use the input shapes to produce depth and normal maps as guidance for conditional image synthesis. In the process, we produce (diffusion) features in 2D that we subsequently lift and aggregate on the original surface. Our key observation is that even if the conditional image generations obtained from multi-view rendering of the input shapes are inconsistent, the associated image features are robust and, hence, can be directly aggregated across views. This produces semantic features on the input shapes, without requiring additional data or training. We perform extensive experiments on multiple benchmarks (SHREC'19, SHREC'20, FAUST, and TOSCA) and demonstrate that our features, being semantic instead of geometric, produce reliable correspondence across both isometric and non-isometrically related shape families. Code is available via the project page at https://diff3f.github.io/


title: Automorphisms of the procongruence pants complex

abstract: We show that every automorphism of the congruence completion of the extended mapping class group which preserves the set of conjugacy classes of procyclic groups generated by Dehn twists is inner and that its automorphism group is naturally isomorphic to the automorphism group of the procongruence pants complex. In the genus $0$ case, we prove the stronger result that all automorphisms of the profinite completion of the extended mapping class group are inner.


title: When the Few Outweigh the Many: Illicit Content Recognition with Few-Shot Learning

abstract: The anonymity and untraceability benefits of the Dark web account for the exponentially-increased potential of its popularity while creating a suitable womb for many illicit activities, to date. Hence, in collaboration with cybersecurity and law enforcement agencies, research has provided approaches for recognizing and classifying illicit activities with most exploiting textual dark web markets' content recognition; few such approaches use images that originated from dark web content. This paper investigates this alternative technique for recognizing illegal activities from images. In particular, we investigate label-agnostic learning techniques like One-Shot and Few-Shot learning featuring the use Siamese neural networks, a state-of-the-art approach in the field. Our solution manages to handle small-scale datasets with promising accuracy. In particular, Siamese neural networks reach 90.9% on 20-Shot experiments over a 10-class dataset; this leads us to conclude that such models are a promising and cheaper alternative to the definition of automated law-enforcing machinery over the dark web.


title: NLO electroweak corrections to doubly-polarized $W^+W^-$ production at the LHC

abstract: We present new results of next-to-leading order (NLO) electroweak corrections to doubly-polarized cross sections of $W^+W^-$ production at the LHC. The calculation is performed for the leptonic final state of $e^+\mu_e \mu^- \bar{\nu}_\mu$ using the double-pole approximation in the diboson center-of-mass frame. NLO QCD corrections and subleading contributions from the $gg$, $b\bar{b}$, $\gamma\gamma$ induced processes are taken into account in the numerical results. We found that NLO EW corrections are small for angular distributions but can reach tens of percent for transverse momentum distributions at high energies, e.g. reaching $-40\%$ at $p_{T,e}\approx 300$ GeV. In these high $p_T$ regions, EW corrections are largest for the doubly-transverse mode.


title: The Akbulut cork is not universal

abstract: We exhibit infinitely many exotic pairs of simply-connected, closed $4$-manifolds not related by any cork of the infinite family $W_n$ constructed by Akbulut and Yasui whose first member is the Akbulut cork. In particular, the Akbulut cork is not universal. Moreover we show that, in the setting of manifolds with boundary, there are no $\partial$-universal corks, i.e. there does not exist a cork which relates any exotic pair of simply-connected $4$-manifolds with boundary.


title: Decomposition of Symplectic Vector Bundles and Azumaya Algebras

abstract: Let $X$ be a connected CW complex. Let $\mathcal{V}$ be a symplectic vector bundle of rank $2mn$ over $X$, and let $\mathcal{A}$ be a topological Azumaya algebra of degree $2mn$ with a symplectic involution over a $X$. We give conditions for the positive integers $m$ and $n$, and the dimension of $X$ so that $\mathcal{V}$ can be decomposed as the tensor product of a symplectic vector bundle of rank $2m$ and an orthogonal vector bundle of rank $n$; and so that $\mathcal{A}$ can be decomposed as the tensor product of topological Azumaya algebras of degrees $2m$ and $n$ with involutions of the first kind.


title: Is This the Subspace You Are Looking for? An Interpretability Illusion for Subspace Activation Patching

abstract: Mechanistic interpretability aims to understand model behaviors in terms of specific, interpretable features, often hypothesized to manifest as low-dimensional subspaces of activations. Specifically, recent studies have explored subspace interventions (such as activation patching) as a way to simultaneously manipulate model behavior and attribute the features behind it to given subspaces. In this work, we demonstrate that these two aims diverge, potentially leading to an illusory sense of interpretability. Counterintuitively, even if a subspace intervention makes the model's output behave as if the value of a feature was changed, this effect may be achieved by activating a dormant parallel pathway leveraging another subspace that is causally disconnected from model outputs. We demonstrate this phenomenon in a distilled mathematical example, in two real-world domains (the indirect object identification task and factual recall), and present evidence for its prevalence in practice. In the context of factual recall, we further show a link to rank-1 fact editing, providing a mechanistic explanation for previous work observing an inconsistency between fact editing performance and fact localization. However, this does not imply that activation patching of subspaces is intrinsically unfit for interpretability. To contextualize our findings, we also show what a success case looks like in a task (indirect object identification) where prior manual circuit analysis informs an understanding of the location of a feature. We explore the additional evidence needed to argue that a patched subspace is faithful.


title: Heegaard Floer Symplectic homology and Viterbo's isomorphism theorem in the context of multiple particles

abstract: Given a Liouville manifold $M$, we introduce an invariant of $M$ that we call the Heegaard Floer symplectic cohomology $SH^*_\kappa(M)$ for any $\kappa \ge 1$ that coincides with the symplectic cohomology for $\kappa=1$. Writing $\hat{M}$ for the completion of $M$, the differential counts pseudoholomorphic curves of arbitrary genus in $\mathbb{R} \times S^1 \times \hat{M}$ that are required to be branched $\kappa$-sheeted covers when projected to the $\mathbb{R} \times S^1$-direction; this resembles the cylindrical reformulation of Heegaard Floer homology by Lipshitz. These cohomology groups provide a closed-string analogue of higher-dimensional Heegaard Floer homology introduced by Colin, Honda, and Tian. When $\hat{M}=T^*Q$ with $Q$ an orientable manifold, we introduce a Morse-theoretic analogue of Heegaard Floer symplectic cohomology, which we call the free multiloop complex of $Q$. When $Q$ has vanishing relative second Stiefel-Whitney class, we prove a generalized version of Viterbo's isomorphism theorem by showing that the cohomology groups $SH^*_\kappa(T^*Q)$ are isomorphic to the cohomology groups of the free multiloop complex of $Q$.


title: Stability estimates of Nystr\"om discretizations of Helmholtz decomposition boundary integral equation formulations for the solution of Navier scattering problems in two dimensions with Dirichlet boundary conditions

abstract: Helmholtz decompositions of elastic fields is a common approach for the solution of Navier scattering problems. Used in the context of Boundary Integral Equations (BIE), this approach affords solutions of Navier problems via the simpler Helmholtz boundary integral operators (BIOs). Approximations of Helmholtz Dirichlet-to-Neumann (DtN) can be employed within a regularizing combined field strategy to deliver BIE formulations of the second kind for the solution of Navier scattering problems in two dimensions with Dirichlet boundary conditions, at least in the case of smooth boundaries. Unlike the case of scattering and transmission Helmholtz problems, the approximations of the DtN maps we use in the Helmholtz decomposition BIE in the Navier case require incorporation of lower order terms in their pseudodifferential asymptotic expansions. The presence of these lower order terms in the Navier regularized BIE formulations complicates the stability analysis of their Nystr\"om discretizations in the framework of global trigonometric interpolation and the Kussmaul-Martensen kernel singularity splitting strategy. The main difficulty stems from compositions of pseudodifferential operators of opposite orders, whose Nystr\"om discretization must be performed with care via pseudodifferential expansions beyond the principal symbol. The error analysis is significantly simpler in the case of arclength boundary parametrizations and considerably more involved in the case of general smooth parametrizations which are typically encountered in the description of one dimensional closed curves.


title: Harmonic Functions on Four Dimensions

abstract: This paper develops theory for a newly-defined bicomplex hyperbolic harmonic function with four real-dimensional inputs, in a way that generalizes the connection between real harmonic functions with two real-dimensional inputs and complex analytic functions. For example, every bicomplex hyperbolic harmonic function appears as this paper's newly-defined hyperbolic real part of a bicomplex analytic function, just as every real harmonic function with two real-dimensional inputs is the real part of a complex analytic function. In addition, this connection produces a unique (up to additive constant) and newly-defined hyperbolic harmonic conjugate function, just as every real harmonic function has a unique (up to additive constant) real harmonic conjugate. Finally, the paper determines a bicomplex Poisson kernel function that produces a corresponding integral representation for bicomplex harmonic functions, one that generalizes the complex harmonic function Poisson integral representation.


title: Telling Left from Right: Identifying Geometry-Aware Semantic Correspondence

abstract: While pre-trained large-scale vision models have shown significant promise for semantic correspondence, their features often struggle to grasp the geometry and orientation of instances. This paper identifies the importance of being geometry-aware for semantic correspondence and reveals a limitation of the features of current foundation models under simple post-processing. We show that incorporating this information can markedly enhance semantic correspondence performance with simple but effective solutions in both zero-shot and supervised settings. We also construct a new challenging benchmark for semantic correspondence built from an existing animal pose estimation dataset, for both pre-training validating models. Our method achieves a PCK@0.10 score of 65.4 (zero-shot) and 85.6 (supervised) on the challenging SPair-71k dataset, outperforming the state of the art by 5.5p and 11.0p absolute gains, respectively. Our code and datasets are publicly available at: https://telling-left-from-right.github.io/.


title: Scalable Extraction of Training Data from (Production) Language Models

abstract: This paper studies extractable memorization: training data that an adversary can efficiently extract by querying a machine learning model without prior knowledge of the training dataset. We show an adversary can extract gigabytes of training data from open-source language models like Pythia or GPT-Neo, semi-open models like LLaMA or Falcon, and closed models like ChatGPT. Existing techniques from the literature suffice to attack unaligned models; in order to attack the aligned ChatGPT, we develop a new divergence attack that causes the model to diverge from its chatbot-style generations and emit training data at a rate 150x higher than when behaving properly. Our methods show practical attacks can recover far more data than previously thought, and reveal that current alignment techniques do not eliminate memorization.


title: The Aizenbud-Lapid binary operation for symmetrizable Cartan types

abstract: Aizenbud and Lapid recently introduced a binary operation on the crystal graph $B(-\infty)$ associated to a symmetric Cartan matrix. We extend their construction to symmetrizable Cartan matrices and strengthen a cancellation property of the binary operation.