title: Charting the Complex Structure Landscape of F-theory

abstract: We explore the landscape of F-theory compactifications on Calabi--Yau fourfolds whose complex structure moduli space is the thrice-punctured sphere. As a first part, we enumerate all such Calabi--Yau fourfolds under the additional requirement that it has a large complex structure and conifold point at two of the punctures. We find 14 monodromy tuples by demanding the monodromy around infinity to be quasi-unipotent. As second part, we study the four different types of phases arising at infinity. For each we consider a working example where we determine the leading periods and other physical couplings. We also included a notebook that sets up the period vectors for any of these models.


title: On the sum of fifth powers in arithmetic progression

abstract: In this paper we study equation $$(x-dr)^5+\cdots+x^5+\cdots+(x+dr)^5=y^p$$ under the condition $\gcd(x,r)=1$. We present a recipe for proving the non-existence of non-trivial integer solutions of the above equation, and as an application we obtain explicit results for the cases $d=2,3$ (the case $d=1$ was already solved). We also prove an asymptotic result for $d\equiv 1, 7\pmod9$. Our main tools include the modular method, employing Frey curves and their associated modular forms, as well as the symplectic argument.


title: Heating of Millisecond Pulsars by Magnetic Field Decay

abstract: Millisecond pulsars (MSPs) are believed to be very old neutron stars (NSs) whose age may exceed significantly $10^8$ yrs. Although cooling scenarios of isolated NSs predict for that age a surface temperature $T_s\sim 10^4$ K, observations of the nearest MSP J0437-4715 indicate $T_s$ well above that value. Besides the heating of the polar cap surface by backflowing charged particles, Joule heating in the crust can contribute to the overall heat budget of MSPs. Since the dipolar field component, derived from $P$ and $\dot{P}$ measurements, is much too weak for remarkable heating, smaller-scale structures should be analysed whether they can supply the demanded heat. For this purpose we study the small scale field structure of radio pulsars. Magnetic field components, significantly stronger than the dipolar one, may exist especially at the surface of MSPs. We assign upper limits to the strength of single field components up to a multipolarity of $l=10$ and the corresponding deviations from axial symmetry $m \le l$. Arguments are provided that the decay of the small-scale components with $l=3$ or $l=4$ of the crustal magnetic field may cause the relatively high surface temperature of isolated MSPs.


title: Shell-type Tidal Features Are More Frequently Detected in Slowly Rotating Early-type Galaxies than Stream- and Tail-type Features

abstract: To enhance our understanding of the impact of galaxy mergers on the kinematics of early-type galaxies (ETGs), we examine differences in specific stellar angular momentum within the half-light radius ($\lambda_{R_e}$) among ETGs with different types of tidal features and those without such features. This is accomplished by categorizing tidal features, which serve as direct evidence of recent mergers, into shells, streams, and tails, through deep images from the DESI Legacy Survey, and by using MaNGA data for the analysis of the kinematics of 1244 ETGs at $z<0.055$. We find that ETGs with tidal features typically have reduced $\lambda_{R_e}$ values that are lower by 0.12 dex than ETGs without tidal features. ETGs with shells contribute most to the reduction in $\lambda_{R_e}$. Consequently, nearly half of ETGs with shells are classified as slow rotators, a fraction that is more than twice as high as that of ETGs with tails or streams, and over three times higher than that of ETGs without tidal features. These trends generally remain valid even when ETGs are divided into several mass bins. Our findings support the idea that radial mergers, which are more effective at reducing $\lambda_{R_e}$ than circular mergers, are more closely associated with the formation of shells rather than streams or tails. The detection of shells in slightly more massive ETGs compared to streams and tails may be attributed to the fact that massive satellite galaxies are more likely to be accreted through radial orbits, due to the nature of dynamical friction.


title: Intersection Multiplicity in Loop Spaces and the String Topology Coproduct

abstract: The string topology coproduct is often perceived as a counterpart in string topology to the Chas-Sullivan product. However, in certain aspects the string topology coproduct is much harder to understand than the Chas-Sullivan product. In particular the coproduct is not homotopy-invariant and it seems much harder to compute. In this article we give an overview over the string topology coproduct and use the notion of intersection multiplicity of homology classes in loop spaces to show that the string topology coproduct and the based string topology coproduct are trivial for certain classes of manifolds. In particular we show that the string topology coproduct vanishes on product manifolds where both factors have vanishing Euler characteristic and we show that the based coproduct is trivial for total spaces of fiber bundles with sections. We also discuss implications of these results.


title: From orbital to paramagnetic pair breaking in layered superconductor 2H-NbS$_2$

abstract: The superconducting transition metal dichalcogenides 2H-NbSe$_2$ and 2H-NbS$_2$ are intensively studied on account of their unique electronic properties such as Ising superconductivity, found in multi- and monolayers, with upper critical fields beyond the Pauli limit. Even in bulk crystals, there are reports of multiband superconductivity and exotic states, such as the Fulde-Ferrell-Larkin-Ovchinnikov phase. In this work, we investigate the superconducting properties of 2H-NbS$_2$ through a detailed high-field mapping of the phase diagram by means of magnetotransport and magnetostriction experiments. We compare the phase diagram between bulk crystals and a 6~nm thick flake of 2H-NbS$_2$ and find a drastically enhanced Maki parameter in the flake, signifying a change of the relevant pair breaking mechanism from orbital to paramagnetic pair breaking, which we attribute to an effect of enhanced spin-orbit coupling.


title: You Only Scan Once: A Dynamic Scene Reconstruction Pipeline for 6-DoF Robotic Grasping of Novel Objects

abstract: In the realm of robotic grasping, achieving accurate and reliable interactions with the environment is a pivotal challenge. Traditional methods of grasp planning methods utilizing partial point clouds derived from depth image often suffer from reduced scene understanding due to occlusion, ultimately impeding their grasping accuracy. Furthermore, scene reconstruction methods have primarily relied upon static techniques, which are susceptible to environment change during manipulation process limits their efficacy in real-time grasping tasks. To address these limitations, this paper introduces a novel two-stage pipeline for dynamic scene reconstruction. In the first stage, our approach takes scene scanning as input to register each target object with mesh reconstruction and novel object pose tracking. In the second stage, pose tracking is still performed to provide object poses in real-time, enabling our approach to transform the reconstructed object point clouds back into the scene. Unlike conventional methodologies, which rely on static scene snapshots, our method continuously captures the evolving scene geometry, resulting in a comprehensive and up-to-date point cloud representation. By circumventing the constraints posed by occlusion, our method enhances the overall grasp planning process and empowers state-of-the-art 6-DoF robotic grasping algorithms to exhibit markedly improved accuracy.


title: A Characterization of Adequate Links

abstract: We show that a link is adequate if the breadth of its Jones polynomial equals the difference between its crossing number and its Turaev genus. Combining this result with its converse obtained by Abe [1, Theorem 3.2], we get a simple characterization of adequate links based on these numerical link invariants. As an application, we provide a simple obstruction for a link to be quasi-alternating. Moreover, we use this result to give a lower bound for the crossing number of some classes of links which would be very useful to determine the crossing number in certain cases.


title: Patrick Moss 25/10/1947--17/3/2024

abstract: Patrick Moss (1947--2024) had two distinct lives as a mathematician. The first was as a ring theorist in the late 1970s, in which he worked with Ginn and Lenagan as a student. After a long career as an inspirational mathematics teacher, Patrick completed a doctorate under my supervision in 2003. This led to a second mathematical life in arithmetic dynamics almost forty years after his first period of research. This is a short obituary of his remarkable contributions, several of which have stimulated further research.


title: Superclimbing modes in transverse quantum fluids: signature statistical and dynamical features

abstract: Superclimbing modes are hallmark degrees of freedom of transverse quantum fluids describing wide superfluid one-dimensional interfaces and/or edges with negligible Peierls barrier. We report the first direct numeric evidence of quantum shape fluctuations -- caused by superclimbing modes -- in simple lattice models, as well as at the free edge of an incomplete solid monolayer of $^4$He adsorbed on graphite. Our data unambiguously reveals the defining feature of the superclimbing modes -- canonical conjugation of the edge displacement field to the field of superfluid phase -- and its unexpected implication, i.e., that superfluid stiffness can be inferred from density snapshots.


title: Integrated correlators at strong coupling in an orbifold of $\mathcal{N}=4$ SYM

abstract: We consider the $4d$ $\mathcal{N}=2$ superconformal quiver gauge theory obtained by a $\mathbb{Z}_2$ orbifold of $\mathcal{N}=4$ super Yang-Mills (SYM). By exploiting supersymmetric localization, we study the integrated correlator of two Coulomb branch and two moment map operators and the integrated correlator of four moment map operators, determining exact expressions valid for any value of the 't Hooft coupling in the planar limit. Additionally, for the second correlator, we obtain an exact expression also for the next-to-planar contribution. Then, we derive the leading terms of their strong-coupling expansions and outline the differences with respect to the $\mathcal{N}=4$ SYM theory.


title: Exponential decay of solutions to linear evolution equations with time-dependent time delay

abstract: In this note, we analyze an abstract evolution equation with time-dependent time delay and time-dependent delay feedback coefficient. We assume that the operator corresponding to the nondelayed part of the model generates an exponentially stable semigroup. Under an appropriate assumption on the delay feedback, we prove the well-posedness and an exponential stability estimate for our model. Applications of our abstract results to concrete models are also illustrated.


title: Class-E, Active Electrically-Small Antenna for High-Power Wideband Transmission at the High-Frequency (HF) Band

abstract: Antennas operating at the high-frequency (HF) band (3-30 MHz) are frequently electrically small due to the large wavelength of electromagnetic waves (10-100 m). However, the bandwidth-efficiency products of passively matched electrically small antennas (ESAs) are fundamentally limited. Wideband HF waveforms using bandwidths of 24 kHz or more have recently received significant attention in military communications applications. Efficiently radiating such signals from conventional passive ESAs is very challenging due to fundamental physical limits on bandwidth-efficiency products of ESAs. However, active antennas are not subject to the same constraints. In this work, we present the design and experimental characterization of a high-power, active ESA with enhanced bandwidth-efficiency product compared to {that of} passively matched ESAs. Specifically, the proposed active ESA can radiate wideband HF signals with banwidths of 24 kHz or more, with total efficiencies up to 80$\%$, and radiated power levels approaching 100 W. Our approach uses a highly-efficient, integrated class-E switching circuit specifically designed to drive an electrically small, high-Q HF antenna over a bandwidth exceeding 24 kHz. Using a high-Q RLC antenna model, we have successfully demonstrated wideband binary ASK, PSK, and FSK modulations with the proposed class-E switching architecture. Experimental results indicate that the bandwidth-efficiency product of this class-E active antenna is 5.4-9.8 dB higher than that of an equivalent passive design with the same data rate, and bit-error-rate (BER).

categories: physics.app-ph cs.SY eess.SP eess.SY physics.ins-det


title: Local cohomology and Segre products

abstract: We prove a K\"{u}nneth formula for local cohomology of a Segr\'{e} product of graded modules supported in a Segr\'{e} product of ideals. In order to apply our formula to the study of cohomological dimension, we also investigate asymptotic behaviors of Eulerian graded $\scr{D}$-modules.


title: Measurable Structure Factors of Dense Dispersions Containing Polydisperse, Optically Inhomogeneous Particles

abstract: We exemplarily investigate how optical properties of single scatterers in interacting multi-particle systems influence measurable structure factors. Both particles with linear gradients of their scattering length density and core-shell structures evoke characteristic deviations between the weighted sum $\langle S(Q)\rangle$ of partial structure factors in a multicomponent system and experimentally accessible, measurable structure factors $S_{\mathrm{M}}(Q)$. While $\langle S(Q)\rangle$ contains only structural information of self-organising systems, $S_{\mathrm{M}}(Q)$ additionally is influenced by optical properties of their constituents resulting in features such as changing amplitudes, additional peaks in the low wavevector region or splitting of higher-order maxima which are not related to structural reasons. Hence, a careful data analysis regarding size-distribution and optical properties of single scatters is mandatory to avoid a misinterpretation of measurable structure factors.


title: The Impact of Unstated Norms in Bias Analysis of Language Models

abstract: Large language models (LLMs), trained on vast datasets, can carry biases that manifest in various forms, from overt discrimination to implicit stereotypes. One facet of bias is performance disparities in LLMs, often harming underprivileged groups, such as racial minorities. A common approach to quantifying bias is to use template-based bias probes, which explicitly state group membership (e.g. White) and evaluate if the outcome of a task, sentiment analysis for instance, is invariant to the change of group membership (e.g. change White race to Black). This approach is widely used in bias quantification. However, in this work, we find evidence of an unexpectedly overlooked consequence of using template-based probes for LLM bias quantification. We find that in doing so, text examples associated with White ethnicities appear to be classified as exhibiting negative sentiment at elevated rates. We hypothesize that the scenario arises artificially through a mismatch between the pre-training text of LLMs and the templates used to measure bias through reporting bias, unstated norms that imply group membership without explicit statement. Our finding highlights the potential misleading impact of varying group membership through explicit mention in bias quantification


title: Lower bounds for graph reconstruction with maximal independent set queries

abstract: We investigate the number of maximal independent set queries required to reconstruct the edges of a hidden graph. We show that randomised adaptive algorithms need at least $\Omega(\Delta^2 \log(n / \Delta) / \log \Delta)$ queries to reconstruct $n$-vertex graphs of maximum degree $\Delta$ with success probability at least $1/2$, and we further improve this lower bound to $\Omega(\Delta^2 \log(n / \Delta))$ for randomised non-adaptive algorithms. We also prove that deterministic non-adaptive algorithms require at least $\Omega(\Delta^3 \log n / \log \Delta)$ queries. This improves bounds of Konrad, O'Sullivan, and Traistaru, and answers one of their questions. The proof of the lower bound for deterministic non-adaptive algorithms relies on a connection to cover-free families, for which we also improve known bounds.


title: Generalization Bounds for Message Passing Networks on Mixture of Graphons

abstract: We study the generalization capabilities of Message Passing Neural Networks (MPNNs), a prevalent class of Graph Neural Networks (GNN). We derive generalization bounds specifically for MPNNs with normalized sum aggregation and mean aggregation. Our analysis is based on a data generation model incorporating a finite set of template graphons. Each graph within this framework is generated by sampling from one of the graphons with a certain degree of perturbation. In particular, we extend previous MPNN generalization results to a more realistic setting, which includes the following modifications: 1) we analyze simple random graphs with Bernoulli-distributed edges instead of weighted graphs; 2) we sample both graphs and graph signals from perturbed graphons instead of clean graphons; and 3) we analyze sparse graphs instead of dense graphs. In this more realistic and challenging scenario, we provide a generalization bound that decreases as the average number of nodes in the graphs increases. Our results imply that MPNNs with higher complexity than the size of the training set can still generalize effectively, as long as the graphs are sufficiently large.


title: Performance of computer vision algorithms for fine-grained classification using crowdsourced insect images

abstract: With fine-grained classification, we identify unique characteristics to distinguish among classes of the same super-class. We are focusing on species recognition in Insecta, as they are critical for biodiversity monitoring and at the base of many ecosystems. With citizen science campaigns, billions of images are collected in the wild. Once these are labelled, experts can use them to create distribution maps. However, the labelling process is time-consuming, which is where computer vision comes in. The field of computer vision offers a wide range of algorithms, each with its strengths and weaknesses; how do we identify the algorithm that is in line with our application? To answer this question, we provide a full and detailed evaluation of nine algorithms among deep convolutional networks (CNN), vision transformers (ViT), and locality-based vision transformers (LBVT) on 4 different aspects: classification performance, embedding quality, computational cost, and gradient activity. We offer insights that we haven't yet had in this domain proving to which extent these algorithms solve the fine-grained tasks in Insecta. We found that the ViT performs the best on inference speed and computational cost while the LBVT outperforms the others on performance and embedding quality; the CNN provide a trade-off among the metrics.


title: Topology and monoid representations II: left regular bands of groups and Hsiao's monoid of ordered $G$-partitions

abstract: The goal of this paper is to use topological methods to compute $\mathrm{Ext}$ between irreducible representations of von Neumann regular monoids in which Green's $\mathscr L$- and $\mathscr J$-relations coincide (e.g., left regular bands). Our results subsume those of S.~Margolis, F.~Saliola, and B.~Steinberg, \emph{Combinatorial topology and the global dimension of algebras arising in combinatorics}, J. Eur. Math. Soc. (JEMS), \textbf{17}, 3037--3080 (2015). Applications include computing $\mathrm{Ext}$ between arbitrary simple modules and computing a quiver presentation for the algebra of Hsiao's monoid of ordered $G$-partitions (connected to the Mantaci-Reutenauer descent algebra for the wreath product $G\wr S_n$). We show that this algebra is Koszul, compute its Koszul dual and compute minimal projective resolutions of all the simple modules using topology. More generally, these results work for CW left regular bands of abelian groups. These results generalize the results of S.~Margolis, F.~V. Saliola, and B.~Steinberg. \emph{Cell complexes, poset topology and the representation theory of algebras arising in algebraic combinatorics and discrete geometry}, Mem. Amer. Math. Soc., \textbf{274}, 1--135, (2021).


title: A Reduction from Multi-Parameter to Single-Parameter Bayesian Contract Design

abstract: The main result of this paper is an almost approximation-preserving polynomial-time reduction from the most general multi-parameter Bayesian contract design (BCD) to single-parameter BCD. That is, for any multi-parameter BCD instance $I^M$, we construct a single-parameter instance $I^S$ such that any $\beta$-approximate contract (resp. menu of contracts) of $I^S$ can in turn be converted to a $(\beta -\epsilon)$-approximate contract (resp. menu of contracts) of $I^M$. The reduction is in time polynomial in the input size and $\log(\frac{1}{\epsilon})$; moreover, when $\beta = 1$ (i.e., the given single-parameter solution is exactly optimal), the dependence on $\frac{1}{\epsilon}$ can be removed, leading to a polynomial-time exact reduction. This efficient reduction is somewhat surprising because in the closely related problem of Bayesian mechanism design, a polynomial-time reduction from multi-parameter to single-parameter setting is believed to not exist. Our result demonstrates the intrinsic difficulty of addressing moral hazard in Bayesian contract design, regardless of being single-parameter or multi-parameter. As byproducts, our reduction answers two open questions in recent literature of algorithmic contract design: (a) it implies that optimal contract design in single-parameter BCD is not in APX unless P=NP even when the agent's type distribution is regular, answering the open question of [Alon et al. 2021] in the negative; (b) it implies that the principal's (order-wise) tight utility gap between using a menu of contracts and a single contract is $\Theta(n)$ where $n$ is the number of actions, answering the major open question of [Guruganesh et al. 2021] for the single-parameter case.


title: Towards Automated Movie Trailer Generation

abstract: Movie trailers are an essential tool for promoting films and attracting audiences. However, the process of creating trailers can be time-consuming and expensive. To streamline this process, we propose an automatic trailer generation framework that generates plausible trailers from a full movie by automating shot selection and composition. Our approach draws inspiration from machine translation techniques and models the movies and trailers as sequences of shots, thus formulating the trailer generation problem as a sequence-to-sequence task. We introduce Trailer Generation Transformer (TGT), a deep-learning framework utilizing an encoder-decoder architecture. TGT movie encoder is tasked with contextualizing each movie shot representation via self-attention, while the autoregressive trailer decoder predicts the feature representation of the next trailer shot, accounting for the relevance of shots' temporal order in trailers. Our TGT significantly outperforms previous methods on a comprehensive suite of metrics.


title: Resolving Gilbert's Conjecture: Dimensional Dependencies in Hardy Spaces Valued in Clifford Modules

abstract: This article provides a thorough investigation into Gilbert's Conjecture, pertaining to Hardy spaces in the upper half-space valued in Clifford modules. We explore the conjecture proposed by Gilbert in 1991, which seeks to extend the classical principle of representing real $L^p$ functions on the real line as boundary values of Hardy holomorphic functions to higher-dimensional Euclidean spaces valued in any Clifford module. We present a complete resolution to this conjecture, demonstrating that its validity is contingent upon the dimension $n$, specifically holding true when \(n \not\equiv 6, 7 \mod 8\) and failing otherwise. The pivotal discovery that Gilbert's conjecture can be reformulated as a set of algebraic conditions is underscored in this work. To navigate these conditions, we employ a novel strategy that leverages the octonions, revealing their instrumental role in addressing issues related to Clifford modules and spinors. This innovative approach not only provides explicit realization through the generalization of the Hilbert transform to the Riesz transform but also establishes a significant advancement in the understanding of Hardy spaces within higher dimensions.


title: Gibbs-preserving operations requiring infinite amount of quantum coherence

abstract: Gibbs-preserving operations have been studied as one of the standard free processes in quantum thermodynamics. Although they admit a simple mathematical structure, their operational significance has been unclear due to the potential hidden cost to implement them using an operatioanlly motivated class of operations, such as thermal operations. Here, we show that this hidden cost can be infinite -- we present a family of Gibbs-preserving operations that cannot be implemented by thermal operations aided by any finite amount of quantum coherence. Our result implies that there are uncountably many Gibbs-preserving operations that require unbounded thermodynamic resources to implement, raising a question about employing Gibbs-preserving operations as available thermodynamics processes. This finding is a consequence of the general lower bounds we provide for the coherence cost of approximately implementing a certain class of Gibbs-preserving operations with a desired accuracy. We find that our lower bound is almost tight, identifying a quantity -- related to the energy change caused by the channel to implement -- as a fundamental quantifier characterizing the coherence cost for the approximate implementation of Gibbs-preserving operations.


title: Evolutionary theory of convective organization

abstract: Observed patterns of convective cloud would be extremely improbable from random walks in an abstract space of configurations. Forcing is sometimes the driver, but complexity can also develop spontaneously. Here pattern evolution is considered as a natural selection process in a strategic game among configurations, akin to ecological succession. Information (entropy) quantifies improbability, interpreted as Darwinian fitness to the extent larger-scale forcings are properly accounted. Reconciling inferred or revealed fitness with energetics could make convection a showcase of evolutionary theory, simply as reinterpretation of spectral kinetic energy (KE) budgets for dry convection. For moist convection, the flux of a total energy E, the teleological reason for convection, is conjectured to be the central resource of an evolutionary game, with water playing a constraining role like nutrients in ecology. Shannon information H is reviewed in context of this evolutionary reasoning. Analysis of a new Cloud Botany shallow convection simulation set shows growth of H over tens of hours (perhaps more pertinently, it grows with KE throughput or cumulative buoyancy flux). Anisotropy and precipitation boost H in qualitatively distinct and contingent ways, like separate species or ecological guilds. Deep convection over lowland South America also shows many-hour evolution times, beyond simple convective adjustment notions. If evolving horizontal patterns contain or imply information about vertical density profiles, they could become a new resource in data assimilation to predict larger scale flow.


title: Escape from a metastable state in non-Markovian population dynamics

abstract: We study the long-time dynamics in non-Markovian single-population stochastic models, where one or more reactions are modelled as a stochastic process with a fat-tailed non-exponential distribution of waiting times, mimicking long-term memory. We focus on three prototypical examples: genetic switching, population establishment and population extinction, all with non-exponential production rates. The system is studied in two regimes. In the first, the distribution of waiting times has a finite mean. Here, the system approaches a (quasi)stationary steady state at long times, and we develop a general WKB approach for these non-Markovian systems. We derive explicit results for the mean population size and mean escape time from the metastable state of the stochastic dynamics. In this realm, we reveal that for sufficiently strong memory, a memory-induced (meta)stable state can emerge in the system. In the second regime, the waiting time distribution is assumed to have an infinite mean. Here, for bistable systems we find two distinct scaling regimes, separated by an exponentially long time which may strongly depend on the initial conditions of the system.


title: AdaGlimpse: Active Visual Exploration with Arbitrary Glimpse Position and Scale

abstract: Active Visual Exploration (AVE) is a task that involves dynamically selecting observations (glimpses), which is critical to facilitate comprehension and navigation within an environment. While modern AVE methods have demonstrated impressive performance, they are constrained to fixed-scale glimpses from rigid grids. In contrast, existing mobile platforms equipped with optical zoom capabilities can capture glimpses of arbitrary positions and scales. To address this gap between software and hardware capabilities, we introduce AdaGlimpse. It uses Soft Actor-Critic, a reinforcement learning algorithm tailored for exploration tasks, to select glimpses of arbitrary position and scale. This approach enables our model to rapidly establish a general awareness of the environment before zooming in for detailed analysis. Experimental results demonstrate that AdaGlimpse surpasses previous methods across various visual tasks while maintaining greater applicability in realistic AVE scenarios.


title: Coupled harmonics due to time-modulated point scatterers

abstract: We consider the resonance and scattering properties of a composite medium containing scatterers whose properties are modulated in time. When excited with an incident wave of a single frequency, the scattered field consists of a family of coupled harmonics at frequencies differing by the frequency of temporal modulation. Similarly, the temporal modulation induces coupling between the resonance frequencies, leading to exceptional points at certain modulation amplitudes. Moreover, the lack of energy conservation causes scattering coefficients to blow up when (complex) resonances cross the real axis. We have developed an integral operator approach to characterize the scattering problem and, for high-contrast scatterers, we present small-volume asymptotic formulas analogous to the classical results for the static (unmodulated) case. We conclude the paper with a boundary integral formulation of the time-modulated problem, which gives an efficient numerical approach and corroborates the asymptotic formulas.


title: Combining exchangeable p-values

abstract: The problem of combining p-values is an old and fundamental one, and the classic assumption of independence is often violated or unverifiable in many applications. There are many well-known rules that can combine a set of arbitrarily dependent p-values (for the same hypothesis) into a single p-value. We show that essentially all these existing rules can be strictly improved when the p-values are exchangeable, or when external randomization is allowed (or both). For example, we derive randomized and/or exchangeable improvements of well known rules like "twice the median" and "twice the average", as well as geometric and harmonic means. Exchangeable p-values are often produced one at a time (for example, under repeated tests involving data splitting), and our rules can combine them sequentially as they are produced, stopping when the combined p-values stabilize. Our work also improves rules for combining arbitrarily dependent p-values, since the latter becomes exchangeable if they are presented to the analyst in a random order. The main technical advance is to show that all existing combination rules can be obtained by calibrating the p-values to e-values (using an $\alpha$-dependent calibrator), averaging those e-values, converting to a level-$\alpha$ test using Markov's inequality, and finally obtaining p-values by combining this family of tests; the improvements are delivered via recent randomized and exchangeable variants of Markov's inequality.


title: Ramification of weak Arthur packets for p-adic groups

abstract: Weak Arthur packets have long been instrumental in the study of the unitary dual and automorphic spectrum of reductive Lie groups, and were recently introduced in the p-adic setting by Ciubotaru - Mason-Brown - Okada. For split odd orthogonal and symplectic p-adic groups, we explicitly determine the decomposition of weak Arthur packets into Arthur packets that arise from endoscopic transfer. We establish a characterization of the Arthur packets that partake in such decompositions by means of ramification properties of their constituents. A notion of weak sphericity for an irreducible representation is introduced: The property of containing fixed vectors with respect to a (not necessarily hyperspecial) maximal compact subgroup. We show that this property determines the weak Arthur packets in a precise sense. As steps towards this description, we explore alignments between Langlands-type reciprocities for finite and p-adic groups, and their dependence on the geometry of the unipotent locus of the dual Langlands group. Weak sphericity is shown to match with Lusztig's canonical quotient spaces that feature in the geometric theory for Weyl group representations, while the fine composition of weak Arthur packets is found to be governed by the partition of the unipotent locus into special pieces.


title: Generative AI and Teachers -- For Us or Against Us? A Case Study

abstract: We present insightful results of a survey on the adoption of generative artificial intelligence (GenAI) by university teachers in their teaching activities. The transformation of education by GenAI, particularly large language models (LLMs), has been presenting both opportunities and challenges, including cheating by students. We prepared the online survey according to best practices and the questions were created by the authors, who have pedagogy experience. The survey contained 12 questions and a pilot study was first conducted. The survey was then sent to all teachers in multiple departments across different campuses of the university of interest in Sweden: Lule{\aa} University of Technology. The survey was available in both Swedish and English. The results show that 35 teachers (more than half) use GenAI out of 67 respondents. Preparation is the teaching activity with the most frequency that GenAI is used for and ChatGPT is the most commonly used GenAI. 59% say it has impacted their teaching, however, 55% say there should be legislation around the use of GenAI, especially as inaccuracies and cheating are the biggest concerns.


title: Explicit Witt basis over the tensor product of Clifford algebras and octonions

abstract: In this article, we investigate how the Witt basis serves as a link between real and complex variables in higher-dimensional spaces. Our focus is on the detailed construction of the Witt basis within the tensor product space combining Clifford algebra and multiple octonionic spaces. This construction effectively introduces complex coordinates. The technique is based on a specific subgroup of octonionic automorphisms, distinguished by binary codes. This method allows us to perform a Hermitian analysis of the complex structures within the tensor product space.


title: Electronic transport, metal-insulator transition, and Wigner crystallization in transition metal dichalcogenide monolayers

abstract: Two recent electronic transport experiments from Columbia University and Harvard University have reported record high mobility and low channel densities in transition metal dichalcogenide (TMD) WSe$_2$ monolayers [J. Pack, et al., arXiv:2310.19782; A. Y. Joe, et al., Phys. Rev. Lett. 132, 056303 (2024)]. A two-dimensional (2D) metal-insulator transition (MIT) is demonstrated in the Columbia sample at low densities, a regime where the formation of a Wigner crystal (WC) is theoretically anticipated in the absence of disorder. We employ the finite-temperature Boltzmann theory to understand the low-temperature transport properties of monolayer TMDs, taking into account realistic disorder scattering. We analyze the experimental results, focusing on the 2D MIT behavior and the influence of temperature and density on mobility and resistivity in the metallic phase. We provide a discussion of the nontrivial carrier density dependence of our transport results. Our analysis elucidates the linear-in-$T$ resistivity in the metallic phase, attributing it to Friedel oscillations associated with screened charged impurities. Furthermore, we explore whether Coulomb disorder could lead to the MIT through either a quantum Anderson localization transition or a classical percolation transition. Our theoretical estimates of the disorder-induced MIT critical densities, although smaller, are within a factor of ~2 of the experimental critical density. We examine the exceptionally high melting temperature ~10 K of WCs observed experimentally in the MoSe$_2$ systems at low density, an order of magnitude larger than the pristine melting temperature. This suggests that the observed 2D low-density MIT behavior is likely a result of the complex interplay between disorder effects and interaction-driven WC physics, offering a comprehensive understanding of the low-temperature transport phenomena in TMD monolayers.

categories: cond-mat.mes-hall cond-mat.dis-nn cond-mat.mtrl-sci cond-mat.str-el


title: Design of Stickbug: a Six-Armed Precision Pollination Robot

abstract: This work presents the design of Stickbug, a six-armed, multi-agent, precision pollination robot that combines the accuracy of single-agent systems with swarm parallelization in greenhouses. Precision pollination robots have often been proposed to offset the effects of a decreasing population of natural pollinators, but they frequently lack the required parallelization and scalability. Stickbug achieves this by allowing each arm and drive base to act as an individual agent, significantly reducing planning complexity. Stickbug uses a compact holonomic Kiwi drive to navigate narrow greenhouse rows, a tall mast to support multiple manipulators and reach plant heights, a detection model and classifier to identify Bramble flowers, and a felt-tipped end-effector for contact-based pollination. Initial experimental validation demonstrates that Stickbug can attempt over 1.5 pollinations per minute with a 50% success rate. Additionally, a Bramble flower perception dataset was created and is publicly available alongside Stickbug's software and design files.


title: SUSHI: An algorithm for source separation of hyperspectral images with non-stationary spectral variation

abstract: Hyperspectral images are data cubes with two spatial dimensions and a third spectral dimension, providing a spectrum for each pixel, and thus allow the mapping of extended sources' physical properties. In this article, we present the Semi-blind Unmixing with Sparsity for Hyperspectral Images (SUSHI), an algorithm for non-stationary unmixing of hyperspectral images with spatial regularization of spectral parameters. The method allows for the disentangling of physical components without the assumption of a unique spectrum for each component. Thus, unlike most source separation methods used in astrophysics, all physical components obtained by SUSHI vary in spectral shape and in amplitude across the data cube. Non-stationary source separation is an ill-posed inverse problem that needs to be constrained. We achieve this by training a spectral model and applying a spatial regularization constraint on its parameters. For the spectral model, we used an Interpolatory Auto-Encoder, a generative model that can be trained with limited samples. For spatial regularization, we applied a sparsity constraint on the wavelet transform of the model parameter maps. We applied SUSHI to a toy model meant to resemble supernova remnants in X-ray astrophysics, though the method may be used on any extended source with any hyperspectral instrument. We compared this result to the one obtained by a classic 1D fit on each individual pixel. We find that SUSHI obtains more accurate results, particularly when it comes to reconstructing physical parameters. We applied SUSHI to real X-ray data from the supernova remnant Cassiopeia A and to the Crab Nebula. The results obtained are realistic and in accordance with past findings but have a much better spatial resolution. Thanks to spatial regularization, SUSHI can obtain reliable physical parameters at fine scales that are out of reach for pixel-by-pixel methods.


title: A Cause-Effect Look at Alleviating Hallucination of Knowledge-grounded Dialogue Generation

abstract: Empowered by the large-scale pretrained language models, existing dialogue systems have demonstrated impressive performance conducting fluent and natural-sounding conversations. However, they are still plagued by the hallucination problem, causing unpredictable factual errors in the generated responses. Recently, knowledge-grounded dialogue generation models, that intentionally invoke external knowledge resources to more informative responses, are also proven to be effective in reducing hallucination. Following the idea of getting high-quality knowledge, a few efforts have achieved pretty good performance on this issue. As some inevitable knowledge noises may also lead to hallucinations, it is emergent to investigate the reason and future directions for building noise-tolerant methods in KGD tasks. In this paper, we analyze the causal story behind this problem with counterfactual reasoning methods. Based on the causal effect analysis, we propose a possible solution for alleviating the hallucination in KGD by exploiting the dialogue-knowledge interaction. Experimental results of our example implementation show that this method can reduce hallucination without disrupting other dialogue performance, while keeping adaptive to different generation models. We hope our efforts can support and call for more attention to developing lightweight techniques towards robust and trusty dialogue systems.


title: Three perspectives on entropy dynamics in a non-Hermitian two-state system

abstract: A comparative study of entropy dynamics as an indicator of physical behavior in an open two-state system with balanced gain and loss is presented. We distinguish the perspective taken in utilizing the conventional framework of Hermitian-adjoint states from an approach that is based on biorthogonal-adjoint states and a third case based on an isospectral mapping. In this it is demonstrated that their differences are rooted in the treatment of the environmental coupling mode. For unbroken $\mathcal{PT}$ symmetry of the system, a notable characteristic feature of the perspective taken is the presence or absence of purity oscillations, with an associated entropy revival. The description of the system is then continued from its $\mathcal{PT}$-symmetric pseudo-Hermitian phase into the regime of spontaneously broken symmetry, in the latter two approaches through a non-analytic operator-based continuation, yielding a Lindblad master equation based on the $\mathcal{PT}$ charge operator $\mathcal{C}$. This phase transition indicates a general connection between the pseudo-Hermitian closed-system and the Lindbladian open-system formalism through a spontaneous breakdown of the underlying physical reflection symmetry.


title: A Methodology to Study the Impact of Spiking Neural Network Parameters considering Event-Based Automotive Data

abstract: Autonomous Driving (AD) systems are considered as the future of human mobility and transportation. Solving computer vision tasks such as image classification and object detection/segmentation, with high accuracy and low power/energy consumption, is highly needed to realize AD systems in real life. These requirements can potentially be satisfied by Spiking Neural Networks (SNNs). However, the state-of-the-art works in SNN-based AD systems still focus on proposing network models that can achieve high accuracy, and they have not systematically studied the roles of SNN parameters when used for learning event-based automotive data. Therefore, we still lack understanding of how to effectively develop SNN models for AD systems. Toward this, we propose a novel methodology to systematically study and analyze the impact of SNN parameters considering event-based automotive data, then leverage this analysis for enhancing SNN developments. To do this, we first explore different settings of SNN parameters that directly affect the learning mechanism (i.e., batch size, learning rate, neuron threshold potential, and weight decay), then analyze the accuracy results. Afterward, we propose techniques that jointly improve SNN accuracy and reduce training time. Experimental results show that our methodology can improve the SNN models for AD systems than the state-of-the-art, as it achieves higher accuracy (i.e., 86%) for the NCARS dataset, and it can also achieve iso-accuracy (i.e., ~85% with standard deviation less than 0.5%) while speeding up the training time by 1.9x. In this manner, our research work provides a set of guidelines for SNN parameter enhancements, thereby enabling the practical developments of SNN-based AD systems.


title: A topological reading of inductive and coinductive definitions in Dependent Type Theory

abstract: In the context of dependent type theory, we show that coinductive predicates have an equivalent topological counterpart in terms of coinductively generated positivity relations, introduced by G. Sambin to represent closed subsets in point-free topology. Our work is complementary to a previous one with M.E. Maietti, where we showed that, in dependent type theory, the well-known concept of wellfounded trees has a topological equivalent counterpart in terms of proof-relevant inductively generated formal covers used to provide a predicative and constructive representation of complete suplattices. All proofs in Martin-L\"of's type theory are formalised in the Agda proof assistant.


title: About Test-time training for outlier detection

abstract: In this paper, we introduce DOUST, our method applying test-time training for outlier detection, significantly improving the detection performance. After thoroughly evaluating our algorithm on common benchmark datasets, we discuss a common problem and show that it disappears with a large enough test set. Thus, we conclude that under reasonable conditions, our algorithm can reach almost supervised performance even when no labeled outliers are given.


title: Self-Testing Graph States Permitting Bounded Classical Communication

abstract: Self-testing identifies quantum states and correlations that exhibit nonlocality, distinguishing them, up to local transformations, from other quantum states. Due to their strong nonlocality, it is known that all graph states can be self-tested in the standard setting - where parties are not allowed to communicate. Recently it has been shown that graph states display nonlocal correlations even when bounded classical communication on the underlying graph is permitted, a feature that has found applications in proving a circuit-depth separation between classical and quantum computing. In this work, we develop self testing in the framework of bounded classical communication, and we show that certain graph states can be robustly self-tested even allowing for communication. In particular, we provide an explicit self-test for the circular graph state and the honeycomb cluster state - the latter known to be a universal resource for measurement based quantum computation. Since communication generally obstructs self-testing of graph states, we further provide a procedure to robustly self-test any graph state from larger ones that exhibit nonlocal correlations in the communication scenario.


title: Correlation and Spectral Density Functions in Mode-Stirred Reverberation -- III. Measurements

abstract: Experimental auto- and cross-correlation functions and their corresponding spectral density functions are extracted from measured sweep data of mode-stirred fields. These are compared with theoretical models derived in part I, using estimated spectral moments from part II. The second-order Pad\'{e} approximant based model accounts for the main features of the spectral density function, including its slope near stir DC, corner frequency, stir DC-to-Nyquist level drop, and asymptotic spectral density. Ensemble averaging across secondary tune states offers a reduction of spectral bias and RMS spectral fluctuation, compared to spectral densities for individual stir sweeps or their concatenation. Periodogram- and correlation-based methods produce near-identical results. Distinctive theoretical features between power-based vs. field-based spectral densities are experimentally verified. Interchanging the roles of stirrer and tuner demonstrates the effect of stir efficiency on correlation and spectral density. The spectral characterization allows for stirrer diagnostics, which is demonstrated through detection and identification of EMI caused by mains power harmonics in the measured stir spectrum at low frequencies.


title: Integrating Large Language Models with Multimodal Virtual Reality Interfaces to Support Collaborative Human-Robot Construction Work

abstract: In the construction industry, where work environments are complex, unstructured and often dangerous, the implementation of Human-Robot Collaboration (HRC) is emerging as a promising advancement. This underlines the critical need for intuitive communication interfaces that enable construction workers to collaborate seamlessly with robotic assistants. This study introduces a conversational Virtual Reality (VR) interface integrating multimodal interaction to enhance intuitive communication between construction workers and robots. By integrating voice and controller inputs with the Robot Operating System (ROS), Building Information Modeling (BIM), and a game engine featuring a chat interface powered by a Large Language Model (LLM), the proposed system enables intuitive and precise interaction within a VR setting. Evaluated by twelve construction workers through a drywall installation case study, the proposed system demonstrated its low workload and high usability with succinct command inputs. The proposed multimodal interaction system suggests that such technological integration can substantially advance the integration of robotic assistants in the construction industry.


title: Comprehensible Artificial Intelligence on Knowledge Graphs: A survey

abstract: Artificial Intelligence applications gradually move outside the safe walls of research labs and invade our daily lives. This is also true for Machine Learning methods on Knowledge Graphs, which has led to a steady increase in their application since the beginning of the 21st century. However, in many applications, users require an explanation of the Artificial Intelligences decision. This led to increased demand for Comprehensible Artificial Intelligence. Knowledge Graphs epitomize fertile soil for Comprehensible Artificial Intelligence, due to their ability to display connected data, i.e. knowledge, in a human- as well as machine-readable way. This survey gives a short history to Comprehensible Artificial Intelligence on Knowledge Graphs. Furthermore, we contribute by arguing that the concept Explainable Artificial Intelligence is overloaded and overlapping with Interpretable Machine Learning. By introducing the parent concept Comprehensible Artificial Intelligence, we provide a clear-cut distinction of both concepts while accounting for their similarities. Thus, we provide in this survey a case for Comprehensible Artificial Intelligence on Knowledge Graphs consisting of Interpretable Machine Learning on Knowledge Graphs and Explainable Artificial Intelligence on Knowledge Graphs. This leads to the introduction of a novel taxonomy for Comprehensible Artificial Intelligence on Knowledge Graphs. In addition, a comprehensive overview of the research on Comprehensible Artificial Intelligence on Knowledge Graphs is presented and put into the context of the taxonomy. Finally, research gaps in the field of Comprehensible Artificial Intelligence on Knowledge Graphs are identified for future research.


title: Total positivity and two inequalities by Athanasiadis and Tzanaki

abstract: Let $\Delta$ be a (d-1)-dimensional simplicial complex and h^\Delta = (h_0^ ,.. , h_d) its h-vector. For a face uniform subdivision operation \F we write \Delta_\F for the subdivided complex and H_\F for the matrix such that h^{\Delta_\F} = H_\F h^\Delta. In connection with the real rootedness of symmetric decompositions Athanasiadis and Tzanaki studied for strictly positive h-vectors the inequalities h_0 / h_1 \leq h_1 / h_{d-1} \leq .... \leq h_d / h_0 and h_1 / h_{d-1} \geq ... \geq h_{d-2} / h_2 \geq h_{d-1} / h_1. In this paper we show that if the inequalities holds for a simplicial complex $\Delta$ and H_\F is TP_2 (all entries and two minors are non-negative) then the inequalities hold for \Delta_\F. We prove that if \F is the barycentric subdivision then H_\F is TP_2. If \F is the rth-edgewise subdivision then work of Diaconis and Fulman shows H_\F is TP_2. Indeed in this case by work of Mao and Wang H_\F is even TP.


title: A QAOA approach with fake devices: A case study for the maximum cut in ring graphs

abstract: The quantum approximate optimization algorithm (QAOA) can require considerable processing time for developers to test and debug their codes on expensive quantum devices. One avenue to circumvent this difficulty is to use the error maps of quantum devices, where a local simulator can be automatically configured to mimic an actual device backend. In our work, we evaluated some error maps of quantum devices, known as fake devices, that are freely available in the cloud. The QAOA and the problem of maximum cut in 2-regular connected graphs, known as ring of disagrees, were used as tools for the noise analysis. The approximation ratio, the expectation energy and the probability of success for this problem have been evaluated in two scenarios. First, the quantities were studied through noisy simulations using fake devices. Second, error mitigation methods such as optimization levels and translation (connectivity mapping) of the original problem were applied. These results were then compared with the analytical solution of the ring graph. The study shows that error mitigation methods were crucial in obtaining better results for the expectation value of the energy, the approximation ratio, and the probability of success for the ring graphs.


title: AI and the Problem of Knowledge Collapse

abstract: While artificial intelligence has the potential to process vast amounts of data, generate new insights, and unlock greater productivity, its widespread adoption may entail unforeseen consequences. We identify conditions under which AI, by reducing the cost of access to certain modes of knowledge, can paradoxically harm public understanding. While large language models are trained on vast amounts of diverse data, they naturally generate output towards the 'center' of the distribution. This is generally useful, but widespread reliance on recursive AI systems could lead to a process we define as "knowledge collapse", and argue this could harm innovation and the richness of human understanding and culture. However, unlike AI models that cannot choose what data they are trained on, humans may strategically seek out diverse forms of knowledge if they perceive them to be worthwhile. To investigate this, we provide a simple model in which a community of learners or innovators choose to use traditional methods or to rely on a discounted AI-assisted process and identify conditions under which knowledge collapse occurs. In our default model, a 20% discount on AI-generated content generates public beliefs 2.3 times further from the truth than when there is no discount. An empirical approach to measuring the distribution of LLM outputs is provided in theoretical terms and illustrated through a specific example comparing the diversity of outputs across different models and prompting styles. Finally, based on the results, we consider further research directions to counteract such outcomes.


title: Wilson Loops and Random Matrices

abstract: Linear confinement with Casimir scaling of the string tension in confining gauge theories is a consequence of a certain property of the Polyakov loop related to random matrices. This mechanism does not depend on the details of the theories (neither the gauge group nor dimensions) and explains approximate Casimir scaling below string-breaking length. In this paper, we study 3d SU(2) pure Yang-Mills theory numerically and find the same random-matrix behavior for rectangular Wilson loops. We conjecture that this is a universal feature of strongly coupled confining gauge theories.


title: Magnetic signals from oceanic tides: new satellite observations and applications

abstract: Tidal flow of seawater across the Earth's magnetic field induces electric currents and magnetic fields within the ocean and solid Earth. The amplitude and phase of the induced fields depends on electrical properties of both the seawater and the solid Earth, thus can be used as a proxy to study seabed properties or potentially for monitoring long-term trends in the global ocean climatology. This paper presents new global oceanic tidal magnetic field models and their uncertainties for four tidal constituents, including $M_2, N_2, O_1$ and for the first time $Q_1$. Models are obtained through a robust least-squares analysis of magnetic field observations from the Swarm and CHAMP satellites using a specially designed data selection scheme. We compare the retrieved magnetic signals with several alternative models reported in the literature. Additionally, we validate them using a series of high-resolution global 3-D electromagnetic simulations and place constraints on the conductivity of sub-oceanic mantle for all tidal constituents, revealing an excellent agreement between all tidal constituents and the oceanic upper mantle structure.


title: Entanglement Degradation in the Presence of Markovian Noise: a Statistical Analysis

abstract: Adopting a statistical approach we study the degradation of entanglement of a quantum system under the action of an ensemble of randomly distributed Markovian noise. This enables us to address scenarios where only limited information is available on the mechanisms that rule the noisy evolution of the model. As an application, we characterize the statistic of entanglement deterioration for a quantum memory formed by $n$ qudits that undergo randomly distributed local, uniform, Markovian noise evolution.


title: CountARFactuals -- Generating plausible model-agnostic counterfactual explanations with adversarial random forests

abstract: Counterfactual explanations elucidate algorithmic decisions by pointing to scenarios that would have led to an alternative, desired outcome. Giving insight into the model's behavior, they hint users towards possible actions and give grounds for contesting decisions. As a crucial factor in achieving these goals, counterfactuals must be plausible, i.e., describing realistic alternative scenarios within the data manifold. This paper leverages a recently developed generative modeling technique -- adversarial random forests (ARFs) -- to efficiently generate plausible counterfactuals in a model-agnostic way. ARFs can serve as a plausibility measure or directly generate counterfactual explanations. Our ARF-based approach surpasses the limitations of existing methods that aim to generate plausible counterfactual explanations: It is easy to train and computationally highly efficient, handles continuous and categorical data naturally, and allows integrating additional desiderata such as sparsity in a straightforward manner.


title: DQ-DETR: DETR with Dynamic Query for Tiny Object Detection

abstract: Despite previous DETR-like methods having performed successfully in generic object detection, tiny object detection is still a challenging task for them since the positional information of object queries is not customized for detecting tiny objects, whose scale is extraordinarily smaller than general objects. Also, DETR-like methods using a fixed number of queries make them unsuitable for aerial datasets, which only contain tiny objects, and the numbers of instances are imbalanced between different images. Thus, we present a simple yet effective model, named DQ-DETR, which consists of three different components: categorical counting module, counting-guided feature enhancement, and dynamic query selection to solve the above-mentioned problems. DQ-DETR uses the prediction and density maps from the categorical counting module to dynamically adjust the number of object queries and improve the positional information of queries. Our model DQ-DETR outperforms previous CNN-based and DETR-like methods, achieving state-of-the-art mAP 30.2% on the AI-TOD-V2 dataset, which mostly consists of tiny objects.


title: The economic consequences of geopolitical fragmentation: Evidence from the Cold War

abstract: The Cold War was the defining episode of geopolitical fragmentation in the twentieth century. Trade between East and West across the Iron Curtain (a symbolical and physical barrier dividing Europe into two distinct areas) was restricted, but the severity of these restrictions varied over time. We quantify the trade and welfare effects of the Iron Curtain and show how the difficulty of trading across the Iron Curtain fluctuated throughout the Cold War. Using a novel dataset on trade between the two economic blocs and a quantitative trade model, we find that while the Iron Curtain at its height represented a tariff equivalent of 48% in 1951, trade between East and West gradually became easier until the fall of the Berlin Wall in 1989. Despite the easing of trade restrictions, we estimate that the Iron Curtain roughly halved East-West trade flows and caused substantial welfare losses in the Eastern bloc countries that persisted until the end of the Cold War. Conversely, the Iron Curtain led to an increase in intra-bloc trade, especially in the Eastern bloc, which outpaced the integration of Western Europe in the run-up to the formation of the European Union.


title: Privacy-Enhancing Technologies for Artificial Intelligence-Enabled Systems

abstract: Artificial intelligence (AI) models introduce privacy vulnerabilities to systems. These vulnerabilities may impact model owners or system users; they exist during model development, deployment, and inference phases, and threats can be internal or external to the system. In this paper, we investigate potential threats and propose the use of several privacy-enhancing technologies (PETs) to defend AI-enabled systems. We then provide a framework for PETs evaluation for a AI-enabled systems and discuss the impact PETs may have on system-level variables.


title: Materials for High Temperature Digital Electronics

abstract: Silicon microelectronics, consisting of complementary metal oxide semiconductor (CMOS) technology, have changed nearly all aspects of human life from communication to transportation, entertainment, and healthcare. Despite the widespread and mainstream use, current silicon-based devices suffer significant reliability issues at temperatures exceeding 125 {\deg}C. The emergent technological frontiers of space exploration, geothermal energy harvesting, nuclear energy, unmanned avionic systems, and autonomous driving will rely on control systems, sensors, and communication devices which operate at temperatures as high as 500 {\deg}C and beyond. At these extreme temperatures, active (heat exchanger, phase change cooling) or passive (fins and thermal interface materials) cooling strategies add significant mass and complication which is often infeasible. Thus, new material solutions beyond conventional silicon CMOS devices are necessary for high temperature, resilient electronic systems. Accomplishing this will require a united effort to explore development, integration, and ultimately manufacturing of non-silicon-based logic and memory technologies, non-traditional metals for interconnects, and ceramic packaging technology.


title: Improved Total Domination and Total Roman Domination in Unit Disk Graphs

abstract: Let $G=(V, E)$ be a simple undirected graph with no isolated vertex. A set $D_t\subseteq V$ is a total dominating set of $G$ if $(i)$ $D_t$ is a dominating set, and $(ii)$ the set $D_t$ induces a subgraph with no isolated vertex. The total dominating set of minimum cardinality is called the minimum total dominating set, and the size of the minimum total dominating set is called the total domination number ($\gamma_t(G)$). Given a graph $G$, the total dominating set (TDS) problem is to find a total dominating set of minimum cardinality. A Roman dominating function (RDF) on a graph $G$ is a function $f:V\rightarrow \{0,1,2\}$ such that each vertex $v\in V$ with $f(v)=0$ is adjacent to at least one vertex $u\in V$ with $f(u)=2$. A RDF $f$ of a graph $G$ is said to be a total Roman dominating function (TRDF) if the induced subgraph of $V_1\cup V_2$ does not contain any isolated vertex, where $V_i=\{u\in V|f(u)=i\}$. Given a graph $G$, the total Roman dominating set (TRDS) problem is to minimize the weight, $W(f)=\sum_{u\in V} f(u)$, called the total Roman domination number ($\gamma_{tR}(G)$). In this paper, we are the first to show that the TRDS problem is NP-complete in unit disk graphs (UDGs). Furthermore, we propose a $7.17\operatorname{-}$ factor approximation algorithm for the TDS problem and a $6.03\operatorname{-}$ factor approximation algorithm for the TRDS problem in geometric unit disk graphs. The running time for both algorithms is notably bounded by $O(n\log{k})$, where $n$ represents the number of vertices in the given UDG and $k$ represents the size of the independent set in (i.e., $D$ and $V_2$ in TDS and TRDS problems, respectively) the given UDG.


title: SCIM MILQ: An HPC Quantum Scheduler

abstract: With the increasing sophistication and capability of quantum hardware, its integration, and employment in high performance computing (HPC) infrastructure becomes relevant. This opens largely unexplored access models and scheduling questions in such quantum-classical computing environments, going beyond the current cloud access model. SCIM MILQ is a scheduler for quantum tasks in HPC infrastructure. It combines well-established scheduling techniques with methods unique to quantum computing, such as circuit cutting. SCIM MILQ can schedule tasks while minimizing the makespan, i.e., the time that elapses from the start of work to the end, improving on average by 25%. Additionally, it reduces the noise in the circuit by up to 10%, increasing the outcome's reliability. We compare it against an existing baseline and show its viability in an HPC environment.


title: A Framework for Asymptotic Limit Problems of Probabilistic Nature

abstract: A convenient framework for dealing with asymptotic limit problems of probabilistic nature is provided. These problems include questions such as finding the asymptotic proportion of terms of a sequence falling inside a given interval, or the limit of the arithmetic mean of its partial sums; but several classes of problems are examined in a much more general setting. The proposed framework, which aims to unify those questions and their solution, is based on the idea that to any finite multiset $E_n$, one can associate a finitely distributed atomic probability $\mu_n$; assuming $\mu_n$ tends in distribution to a probability $\mu$, it provides the tools needed to establish the desired asymptotic limit. Few examples are worked out in order to illustrate how using the framework.


title: Learn When (not) to Trust Language Models: A Privacy-Centric Adaptive Model-Aware Approach

abstract: Retrieval-augmented large language models (LLMs) have been remarkably competent in various NLP tasks. Despite their great success, the knowledge provided by the retrieval process is not always useful for improving the model prediction, since in some samples LLMs may already be quite knowledgeable and thus be able to answer the question correctly without retrieval. Aiming to save the cost of retrieval, previous work has proposed to determine when to do/skip the retrieval in a data-aware manner by analyzing the LLMs' pretraining data. However, these data-aware methods pose privacy risks and memory limitations, especially when requiring access to sensitive or extensive pretraining data. Moreover, these methods offer limited adaptability under fine-tuning or continual learning settings. We hypothesize that token embeddings are able to capture the model's intrinsic knowledge, which offers a safer and more straightforward way to judge the need for retrieval without the privacy risks associated with accessing pre-training data. Moreover, it alleviates the need to retain all the data utilized during model pre-training, necessitating only the upkeep of the token embeddings. Extensive experiments and in-depth analyses demonstrate the superiority of our model-aware approach.


title: Model Checking Recursive Probabilistic Programs with Conditioning

abstract: We address the problem of model checking temporal logic specifications for probabilistic programs with recursive procedures, nested queries, and conditioning expressed with observe statements. We introduce probabilistic Operator Precedence Automata (pOPA), a new class of probabilistic pushdown automata suitable to model constructs and behaviors of probabilistic programs. We develop a model checking algorithm that can verify requirements expressed in a fragment of Precedence Oriented Temporal Logic (POTL$^f_\mathcal{X}$) on a pOPA in single EXPTIME. POTL$^f_\mathcal{X}$ is a temporal logic based on Operator Precedence Languages, which features modalities that interact with the context-free structure of program traces, matching procedure calls with returns or observe statements. We provide the first probabilistic model checking implementation of context-free language properties for probabilistic pushdown systems.


title: Drug-target interaction prediction by integrating heterogeneous information with mutual attention network

abstract: Identification of drug-target interactions is an indispensable part of drug discovery. While conventional shallow machine learning and recent deep learning methods based on chemogenomic properties of drugs and target proteins have pushed this prediction performance improvement to a new level, these methods are still difficult to adapt to novel structures. Alternatively, large-scale biological and pharmacological data provide new ways to accelerate drug-target interaction prediction. Here, we propose DrugMAN, a deep learning model for predicting drug-target interaction by integrating multiplex heterogeneous functional networks with a mutual attention network (MAN). DrugMAN uses a graph attention network-based integration algorithm to learn network-specific low-dimensional features for drugs and target proteins by integrating four drug networks and seven gene/protein networks, respectively. DrugMAN then captures interaction information between drug and target representations by a mutual attention network to improve drug-target prediction. DrugMAN achieves the best prediction performance under four different scenarios, especially in real-world scenarios. DrugMAN spotlights heterogeneous information to mine drug-target interactions and can be a powerful tool for drug discovery and drug repurposing.


title: Inclusive $\bar{B}\to X_s \ell^+\ell^-$ at the LHC: theory predictions and new-physics reach

abstract: We present theoretical predictions for observables in inclusive $\bar{B}\to X_s \ell^+\ell^-$ suitable for measurements at hadron colliders through a sum-over-exclusive approach. At low $q^2$ we calculate the branching ratio and three angular observables. At high $q^2$ we provide the branching ratio and the ratio of the $\bar B \to X_s \ell^+\ell^-$ rate with respect to the inclusive $\bar B \to X_u \ell \bar\nu$ rate with the same phase-space cut. We compare our predictions to an extraction of the experimental rate through a sum-over-exclusive method using branching ratios of the exclusive $\bar B \to K^{(*)}\mu^+\mu^-$ modes measured at LHCb. Our analysis does not support a recent claim about a deficit in the inclusive branching ratio in the high-$q^2$ region. Finally, we present current model-independent bounds on new physics and emphasize the potential of complementary analyses of $\bar{B}\to X_s \ell^+\ell^-$ at Belle II and the LHC.


title: SDPose: Tokenized Pose Estimation via Circulation-Guide Self-Distillation

abstract: Recently, transformer-based methods have achieved state-of-the-art prediction quality on human pose estimation(HPE). Nonetheless, most of these top-performing transformer-based models are too computation-consuming and storage-demanding to deploy on edge computing platforms. Those transformer-based models that require fewer resources are prone to under-fitting due to their smaller scale and thus perform notably worse than their larger counterparts. Given this conundrum, we introduce SDPose, a new self-distillation method for improving the performance of small transformer-based models. To mitigate the problem of under-fitting, we design a transformer module named Multi-Cycled Transformer(MCT) based on multiple-cycled forwards to more fully exploit the potential of small model parameters. Further, in order to prevent the additional inference compute-consuming brought by MCT, we introduce a self-distillation scheme, extracting the knowledge from the MCT module to a naive forward model. Specifically, on the MSCOCO validation dataset, SDPose-T obtains 69.7% mAP with 4.4M parameters and 1.8 GFLOPs. Furthermore, SDPose-S-V2 obtains 73.5% mAP on the MSCOCO validation dataset with 6.2M parameters and 4.7 GFLOPs, achieving a new state-of-the-art among predominant tiny neural network methods. Our code is available at https://github.com/MartyrPenink/SDPose.


title: Formal deformations of modular forms and multiple L-values

abstract: We relate analytically defined deformations of modular curves and modular forms from the literature to motivic periods via cohomological descriptions of deformation theory. Leveraging cohomological vanishing results, we prove the existence and essential uniqueness of deformations, which we make constructive via established Lie algebraic arguments and a notion of formal logarithmic deformations. Further, we construct a canonical and a totally holomorphic canonical universal family of deformations of modular forms of all weights, which we obtain from the canonical cocycle associated with periods on the moduli space $\mathcal{M}_{1,1}$. Our uniqueness statement shows that non-critical multiple $\mathrm{L}$-values, which appear in our deformations but are a priori non-geometric, are genuinely linked to deformations. Our work thus suggests a new geometric perspective on them.


title: Correlation and Spectral Density Functions in Mode-Stirred Reverberation -- II. Spectral Moments, Sampling, Noise, EMI and Understirring

abstract: In part I, spectral moments and kurtosis were established as parameters in analytic models of correlation and spectral density functions for dynamic reverberation fields. In this part II, several practical limitations affecting the accuracy of estimating these parameters from measured stir sweep data are investigated. For sampled fields, the contributions of finite differencing and aliasing are evaluated. Finite differencing results in a negative bias that depends, to leading order, quadratically on the product of the sampling time interval and the stir bandwidth. Numerical estimates of moments extracted directly from sampled stir sweeps show good agreement with values obtained by an autocovariance method. The effects of data decimation and noise-to-stir ratios of RMS amplitudes are determined and experimentally verified. In addition, the dependencies on the noise-to-stir-bandwidth ratio, EMI, and unstirred energy are characterized.


title: Hub Network Design Problem with Capacity, Congestion and Heterogeneous Economies of Scale

abstract: We propose a joint model that links the strategic level location and capacity decisions with the operational level routing and hub assignment decisions to solve hub network design problem with congestion and heterogeneous economics of scale. We also develop a novel flow-based mixed-integer second-order cone programming (MISOCP) formulation. We perform numerical experiments on a real-world data set to validate the efficiency of solving the MISOCP reformulation. The numerical studies yield observations can be used as guidelines in the design of transportation network for a logistics company.


title: Experimental studies of black holes: status and future prospects

abstract: More than a century ago, Albert Einstein presented his general theory of gravitation (GR) to the Prussian Academy of Sciences. One of the predictions of the theory is that not only particles and objects with mass, but also the quanta of light, photons, are tied to the curvature of space-time, and thus to gravity. There must be a critical compactness, above which photons cannot escape. These are black holes (henceforth BH). It took fifty years after the theory was announced before possible candidate objects were identified by observational astronomy. And another fifty years have passed, until we finally have in hand detailed and credible experimental evidence that BHs of 10 to 10^10 times the mass of the Sun exist in the Universe. Three very different experimental techniques, but all based on Michelson interferometry or Fourier-inversion spatial interferometry have enabled the critical experimental breakthroughs. It has now become possible to investigate the space-time structure in the vicinity of the event horizons of BHs. We briefly summarize these interferometric techniques, and discuss the spectacular recent improvements achieved with all three techniques. Finally, we sketch where the path of exploration and inquiry may go on in the next decades.


title: Integrating Generative AI into Financial Market Prediction for Improved Decision Making

abstract: This study provides an in-depth analysis of the model architecture and key technologies of generative artificial intelligence, combined with specific application cases, and uses conditional generative adversarial networks ( cGAN ) and time series analysis methods to simulate and predict dynamic changes in financial markets. The research results show that the cGAN model can effectively capture the complexity of financial market data, and the deviation between the prediction results and the actual market performance is minimal, showing a high degree of accuracy.


title: Approximate Gradient Coding for Privacy-Flexible Federated Learning with Non-IID Data

abstract: This work focuses on the challenges of non-IID data and stragglers/dropouts in federated learning. We introduce and explore a privacy-flexible paradigm that models parts of the clients' local data as non-private, offering a more versatile and business-oriented perspective on privacy. Within this framework, we propose a data-driven strategy for mitigating the effects of label heterogeneity and client straggling on federated learning. Our solution combines both offline data sharing and approximate gradient coding techniques. Through numerical simulations using the MNIST dataset, we demonstrate that our approach enables achieving a deliberate trade-off between privacy and utility, leading to improved model convergence and accuracy while using an adaptable portion of non-private data.


title: AMC-backed Twin Arrow Antenna for Wearable Electronic Travel Aid System at 24 GHz

abstract: An ultra-compact wearable antenna, for electronic travel aid (ETA) applications, is presented. An AMC-backed twin arrow antenna, operative in the 24.05-24.25 GHz frequency band, has been designed for imaging systems supporting ETA. Artificial Magnetic Conductor (AMC) is combined with the antenna with the aim of reducing the backward radiation to the wearing person while improving its radiation properties and bandwidth, all this without increasing the initial area of the antenna. Prototypes of the AMC-antenna have been fabricated and measured. In order to test its performance for the application, imaging have been conducted by means of synthetic aperture radar (SAR) techniques by placing the antenna in the arm of a user to take advantage of natural body movement. Electromagnetic images have been obtained and the target has been identified, demonstrating the suitability of the AMC-antenna for the ETA system.


title: WeSee: Using Malicious #VC Interrupts to Break AMD SEV-SNP

abstract: AMD SEV-SNP offers VM-level trusted execution environments (TEEs) to protect the confidentiality and integrity for sensitive cloud workloads from untrusted hypervisor controlled by the cloud provider. AMD introduced a new exception, #VC, to facilitate the communication between the VM and the untrusted hypervisor. We present WeSee attack, where the hypervisor injects malicious #VC into a victim VM's CPU to compromise the security guarantees of AMD SEV-SNP. Specifically, WeSee injects interrupt number 29, which delivers a #VC exception to the VM who then executes the corresponding handler that performs data and register copies between the VM and the hypervisor. WeSee shows that using well-crafted #VC injections, the attacker can induce arbitrary behavior in the VM. Our case-studies demonstrate that WeSee can leak sensitive VM information (kTLS keys for NGINX), corrupt kernel data (firewall rules), and inject arbitrary code (launch a root shell from the kernel space).


title: HAPNet: Toward Superior RGB-Thermal Scene Parsing via Hybrid, Asymmetric, and Progressive Heterogeneous Feature Fusion

abstract: Data-fusion networks have shown significant promise for RGB-thermal scene parsing. However, the majority of existing studies have relied on symmetric duplex encoders for heterogeneous feature extraction and fusion, paying inadequate attention to the inherent differences between RGB and thermal modalities. Recent progress in vision foundation models (VFMs) trained through self-supervision on vast amounts of unlabeled data has proven their ability to extract informative, general-purpose features. However, this potential has yet to be fully leveraged in the domain. In this study, we take one step toward this new research area by exploring a feasible strategy to fully exploit VFM features for RGB-thermal scene parsing. Specifically, we delve deeper into the unique characteristics of RGB and thermal modalities, thereby designing a hybrid, asymmetric encoder that incorporates both a VFM and a convolutional neural network. This design allows for more effective extraction of complementary heterogeneous features, which are subsequently fused in a dual-path, progressive manner. Moreover, we introduce an auxiliary task to further enrich the local semantics of the fused features, thereby improving the overall performance of RGB-thermal scene parsing. Our proposed HAPNet, equipped with all these components, demonstrates superior performance compared to all other state-of-the-art RGB-thermal scene parsing networks, achieving top ranks across three widely used public RGB-thermal scene parsing datasets. We believe this new paradigm has opened up new opportunities for future developments in data-fusion scene parsing approaches.


title: BanglaAutoKG: Automatic Bangla Knowledge Graph Construction with Semantic Neural Graph Filtering

abstract: Knowledge Graphs (KGs) have proven essential in information processing and reasoning applications because they link related entities and give context-rich information, supporting efficient information retrieval and knowledge discovery; presenting information flow in a very effective manner. Despite being widely used globally, Bangla is relatively underrepresented in KGs due to a lack of comprehensive datasets, encoders, NER (named entity recognition) models, POS (part-of-speech) taggers, and lemmatizers, hindering efficient information processing and reasoning applications in the language. Addressing the KG scarcity in Bengali, we propose BanglaAutoKG, a pioneering framework that is able to automatically construct Bengali KGs from any Bangla text. We utilize multilingual LLMs to understand various languages and correlate entities and relations universally. By employing a translation dictionary to identify English equivalents and extracting word features from pre-trained BERT models, we construct the foundational KG. To reduce noise and align word embeddings with our goal, we employ graph-based polynomial filters. Lastly, we implement a GNN-based semantic filter, which elevates contextual understanding and trims unnecessary edges, culminating in the formation of the definitive KG. Empirical findings and case studies demonstrate the universal effectiveness of our model, capable of autonomously constructing semantically enriched KGs from any text.


title: Operator growth and spread complexity in open quantum systems

abstract: Commonly, the notion of "quantum chaos'' refers to the fast scrambling of information throughout complex quantum systems undergoing unitary evolution. Motivated by the Krylov complexity and the operator growth hypothesis, we demonstrate that the entropy of the population distribution for an operator in time is a useful way to capture the complexity of the internal information dynamics of a system when subject to an environment and is, in principle, agnostic to the specific choice of operator basis. We demonstrate its effectiveness for the Sachdev-Ye-Kitaev (SYK) model, examining the dynamics of the system in both its Krylov basis and the basis of operator strings. We prove that the former basis minimises spread complexity while the latter is an eigenbasis for high dissipation. In both cases, we probe the long-time dynamics of the model and the phenomenological effects of decoherence on the complexity of the dynamics.


title: The solving degrees for computing Gr\"{o}bner bases of affine semi-regular polynomial sequences

abstract: Determining the complexity of computing Gr\"{o}bner bases is an important problem both in theory and in practice, and for that the solving degree plays a key role. In this paper, we study the solving degrees of affine semi-regular sequences and their homogenized sequences. Some of our results are considered to give mathematically rigorous proofs of the correctness of methods for computing Gr\"{o}bner bases of the ideal generated by an affine semi-regular sequence. This paper is a sequel of the authors' previous work and gives additional results on the solving degrees and important behaviors of Gr\"obner basis computation.


title: COMO: Compact Mapping and Odometry

abstract: We present COMO, a real-time monocular mapping and odometry system that encodes dense geometry via a compact set of 3D anchor points. Decoding anchor point projections into dense geometry via per-keyframe depth covariance functions guarantees that depth maps are joined together at visible anchor points. The representation enables joint optimization of camera poses and dense geometry, intrinsic 3D consistency, and efficient second-order inference. To maintain a compact yet expressive map, we introduce a frontend that leverages the covariance function for tracking and initializing potentially visually indistinct 3D points across frames. Altogether, we introduce a real-time system capable of estimating accurate poses and consistent geometry.


title: Evaluating Generative Language Models in Information Extraction as Subjective Question Correction

abstract: Modern Large Language Models (LLMs) have showcased remarkable prowess in various tasks necessitating sophisticated cognitive behaviors. Nevertheless, a paradoxical performance discrepancy is observed, where these models underperform in seemingly elementary tasks like relation extraction and event extraction due to two issues in conventional evaluation. (1) The imprecision of existing evaluation metrics that struggle to effectively gauge semantic consistency between model outputs and ground truth, and (2) The inherent incompleteness of evaluation benchmarks, primarily due to restrictive human annotation schemas, resulting in underestimated LLM performances. Inspired by the principles in subjective question correction, we propose a new evaluation method, SQC-Score. This method innovatively utilizes LLMs, fine-tuned through subjective question correction data, to refine matching between model outputs and golden labels. Additionally, by incorporating a Natural Language Inference (NLI) model, SQC-Score enriches golden labels, addressing benchmark incompleteness by acknowledging correct yet previously omitted answers. Results on three information extraction tasks show that SQC-Score is more preferred by human annotators than the baseline metrics. Utilizing SQC-Score, we conduct a comprehensive evaluation of the state-of-the-art LLMs and provide insights for future research for information extraction. Dataset and associated codes can be accessed at https://github.com/THU-KEG/SQC-Score.


title: Impact of the Magnetic Horizon on the Interpretation of the Pierre Auger Observatory Spectrum and Composition Data

abstract: The flux of ultra-high energy cosmic rays reaching Earth above the ankle energy (5 EeV) can be described as a mixture of nuclei injected by extragalactic sources with very hard spectra and a low rigidity cutoff. Extragalactic magnetic fields existing between the Earth and the closest sources can affect the observed CR spectrum by reducing the flux of low-rigidity particles reaching Earth. We perform a combined fit of the spectrum and distributions of depth of shower maximum measured with the Pierre Auger Observatory including the effect of this magnetic horizon in the propagation of UHECRs in the intergalactic space. We find that, within a specific range of the various experimental and phenomenological systematics, the magnetic horizon effect can be relevant for turbulent magnetic field strengths in the local neighbourhood of order $B_{\rm rms}\simeq (50-100)\,{\rm nG}\,(20\rm{Mpc}/{d_{\rm s})( 100\,\rm{kpc}/L_{\rm coh}})^{1/2}$, with $d_{\rm s}$ the typical intersource separation and $L_{\rm coh}$ the magnetic field coherence length. When this is the case, the inferred slope of the source spectrum becomes softer and can be closer to the expectations of diffusive shock acceleration, i.e., $\propto E^{-2}$. An additional cosmic-ray population with higher source density and softer spectra, presumably also extragalactic and dominating the cosmic-ray flux at EeV energies, is also required to reproduce the overall spectrum and composition results for all energies down to 0.6~EeV.


title: Some remarks on the Gram-Schmidt walk algorithm and consequences for Komlos conjecture

abstract: In this paper we improve the best known constant for the discrepancy formulated in the Komlos Conjecture. The result is based on the improvement of the subgaussian bound for the random vector constructed in the Gram-Schmidt Random Walk algorithm. Moreover, we present detailed argument for the smoothed analysis of this random vector. The analysis concerns a modification of a given matrix in the conjecture by a Gaussian type perturbation. Our result improves the recent paper in this direction.


title: The dilaton gravity hologram of double-scaled SYK

abstract: We work out a precise holographic duality between sine dilaton gravity, and DSSYK. More precisely, canonical quantization of sine dilaton gravity reproduces q-Schwarzian quantum mechanics, which is the auxiliary system that arises from the chord diagrams of DSSYK. The role of the chord number in DSSYK is played by the (Weyl rescaled) geodesic length in the bulk. The most puzzling aspect of reconciling DSSYK with a simple gravitational dual at the classical level is the distinction between temperature and "fake temperature". At the q-Schwarzian level, we clarify how this arises from the constraint that the chord number is positive. The on-shell q-Schwarzian action with the constraint reproduces the thermodynamics of DSSYK. Semi-classically, in sine dilaton gravity this translates to the insertion of a defect, from which we deduce that fake temperature is the Hawking temperature of a smooth Lorentzian black hole. We comment on several relations with dS space. One remarkable feature is that in sine dilaton gravity quantization discretizes spacetime, therefore the Hilbert space is discrete.


title: On the penalization by the perimeter in shape optimization applied to Dirichlet inverse obstacle problem

abstract: This paper is devoted to the understanding of regularisation process in the shape optimization approach to the so-called Dirichlet inverse obstacle problem for elliptic operators. More precisely, we study two different regularisations of the very classical shape optimization approach consisting in minimizing a mismatched functional. The first one is an implicit regularisation when working in the class of inclusion having a uniform $\varepsilon$-cone property, a natural class in shape optimization. As this regularity is not trivial to guarantee numerically, we discuss the regularisation by perimeter penalization. We show that this second regularisation provides a stability gain in the minimization process.


title: If It's Not Enough, Make It So: Reducing Authentic Data Demand in Face Recognition through Synthetic Faces

abstract: Recent advances in deep face recognition have spurred a growing demand for large, diverse, and manually annotated face datasets. Acquiring authentic, high-quality data for face recognition has proven to be a challenge, primarily due to privacy concerns. Large face datasets are primarily sourced from web-based images, lacking explicit user consent. In this paper, we examine whether and how synthetic face data can be used to train effective face recognition models with reduced reliance on authentic images, thereby mitigating data collection concerns. First, we explored the performance gap among recent state-of-the-art face recognition models, trained with synthetic data only and authentic (scarce) data only. Then, we deepened our analysis by training a state-of-the-art backbone with various combinations of synthetic and authentic data, gaining insights into optimizing the limited use of the latter for verification accuracy. Finally, we assessed the effectiveness of data augmentation approaches on synthetic and authentic data, with the same goal in mind. Our results highlighted the effectiveness of FR trained on combined datasets, particularly when combined with appropriate augmentation techniques.


title: Quantum Science and Technologies in K-12: Supporting Teachers to Integrate Quantum in STEM Classrooms

abstract: Quantum science and computing represent a vital intersection between science and technology, gaining increasing importance in modern society. There is a pressing need to incorporate these concepts into the K-12 curriculum, equipping new generations with the tools to navigate and thrive in an evolving technological landscape. This study explores the professional learning of K-12 teachers (n = 49) related to quantum concepts and pedagogy. We used open-ended surveys, field notes, workshop artifacts, and interviews to examine teachers' perceptions of quantum and how they made connections between quantum and their curriculum. Our data reveal that most teachers were excited and interested in teaching quantum but were aware of potential barriers and concerns that might get in the way of teaching quantum. We found that teachers readily identified connections to math and science in their curriculum, but only a few made connections to computing. Enthusiasm for teaching quantum concepts was found in both elementary and secondary educators, suggesting a widespread recognition of its importance in preparing students for a future where quantum technology is a fundamental aspect of their lives and careers.


title: Is CLIP the main roadblock for fine-grained open-world perception?

abstract: Modern applications increasingly demand flexible computer vision models that adapt to novel concepts not encountered during training. This necessity is pivotal in emerging domains like extended reality, robotics, and autonomous driving, which require the ability to respond to open-world stimuli. A key ingredient is the ability to identify objects based on free-form textual queries defined at inference time - a task known as open-vocabulary object detection. Multimodal backbones like CLIP are the main enabling technology for current open-world perception solutions. Despite performing well on generic queries, recent studies highlighted limitations on the fine-grained recognition capabilities in open-vocabulary settings - i.e., for distinguishing subtle object features like color, shape, and material. In this paper, we perform a detailed examination of these open-vocabulary object recognition limitations to find the root cause. We evaluate the performance of CLIP, the most commonly used vision-language backbone, against a fine-grained object-matching benchmark, revealing interesting analogies between the limitations of open-vocabulary object detectors and their backbones. Experiments suggest that the lack of fine-grained understanding is caused by the poor separability of object characteristics in the CLIP latent space. Therefore, we try to understand whether fine-grained knowledge is present in CLIP embeddings but not exploited at inference time due, for example, to the unsuitability of the cosine similarity matching function, which may discard important object characteristics. Our preliminary experiments show that simple CLIP latent-space re-projections help separate fine-grained concepts, paving the way towards the development of backbones inherently able to process fine-grained details. The code for reproducing these experiments is available at https://github.com/lorebianchi98/FG-CLIP.