title: A Risk Management Perspective on Statistical Estimation and Generalized Variational Inference

abstract: Generalized variational inference (GVI) provides an optimization-theoretic framework for statistical estimation that encapsulates many traditional estimation procedures. The typical GVI problem is to compute a distribution of parameters that maximizes the expected payoff minus the divergence of the distribution from a specified prior. In this way, GVI enables likelihood-free estimation with the ability to control the influence of the prior by tuning the so-called learning rate. Recently, GVI was shown to outperform traditional Bayesian inference when the model and prior distribution are misspecified. In this paper, we introduce and analyze a new GVI formulation based on utility theory and risk management. Our formulation is to maximize the expected payoff while enforcing constraints on the maximizing distribution. We recover the original GVI distribution by choosing the feasible set to include a constraint on the divergence of the distribution from the prior. In doing so, we automatically determine the learning rate as the Lagrange multiplier for the constraint. In this setting, we are able to transform the infinite-dimensional estimation problem into a two-dimensional convex program. This reformulation further provides an analytic expression for the optimal density of parameters. In addition, we prove asymptotic consistency results for empirical approximations of our optimal distributions. Throughout, we draw connections between our estimation procedure and risk management. In fact, we demonstrate that our estimation procedure is equivalent to evaluating a risk measure. We test our procedure on an estimation problem with a misspecified model and prior distribution, and conclude with some extensions of our approach.


title: Numerical Simulations of the Magnetodielectric response in Ising Pyrochlores

abstract: In this paper, we examine the magnetoelectric response of Ising pyrochlores, focusing on both the ordered antiferromagnetic state and the frustrated ferromagnetic case known as "spin-ice". We employ a model which accounts for magnetoelastic effects by considering the interplay between oxygen distortions and superexchange magnetic interactions within pyrochlores. This, together with numerical simulations, provides a tool to make quantitative comparisons with experiments. Our main target is then to see how to extract relevant information from this simple model, and to explore its limitations. We obtain a direct estimation of quantities such as the electric dipole moment, the central oxygen displacement and the effective magnetoelastic energy for the canonical spin-ice material \DTO. We also inquire about the possibility of using the electric dipole carried by magnetic monopoles to obtain a direct measure of their density. In each studied scenario the correlations between monopoles, induced by their number or by the magnetic background,renders these findings less straightforward than initially anticipated. Furthermore, the coupling between electrical and magnetic degrees of freedom provides additional tools to investigate magnetic order in these systems. As an example of this we discuss the phase diagram of the antiferromagnetic pyrochlore under applied magnetic field along the [111] direction. We find an instance where the phase stability at nonzero temperatures is not dictated by the energy associated with different ground states but (akin to the phenomenon of order-by-disorder) is instead determined by their accessibility to thermal fluctuations.


title: Optimization dependent generalization bound for ReLU networks based on sensitivity in the tangent bundle

abstract: Recent advances in deep learning have given us some very promising results on the generalization ability of deep neural networks, however literature still lacks a comprehensive theory explaining why heavily over-parametrized models are able to generalize well while fitting the training data. In this paper we propose a PAC type bound on the generalization error of feedforward ReLU networks via estimating the Rademacher complexity of the set of networks available from an initial parameter vector via gradient descent. The key idea is to bound the sensitivity of the network's gradient to perturbation of the input data along the optimization trajectory. The obtained bound does not explicitly depend on the depth of the network. Our results are experimentally verified on the MNIST and CIFAR-10 datasets.


title: YOLO-BEV: Generating Bird's-Eye View in the Same Way as 2D Object Detection

abstract: Vehicle perception systems strive to achieve comprehensive and rapid visual interpretation of their surroundings for improved safety and navigation. We introduce YOLO-BEV, an efficient framework that harnesses a unique surrounding cameras setup to generate a 2D bird's-eye view of the vehicular environment. By strategically positioning eight cameras, each at a 45-degree interval, our system captures and integrates imagery into a coherent 3x3 grid format, leaving the center blank, providing an enriched spatial representation that facilitates efficient processing. In our approach, we employ YOLO's detection mechanism, favoring its inherent advantages of swift response and compact model structure. Instead of leveraging the conventional YOLO detection head, we augment it with a custom-designed detection head, translating the panoramically captured data into a unified bird's-eye view map of ego car. Preliminary results validate the feasibility of YOLO-BEV in real-time vehicular perception tasks. With its streamlined architecture and potential for rapid deployment due to minimized parameters, YOLO-BEV poses as a promising tool that may reshape future perspectives in autonomous driving systems.


title: Bott Vanishing via Hodge Theory

abstract: In this paper, we revise the Bott Vanishing on projective toric varieties by giving it an alternative proof with a condition that is compatible with the condition of Kawamata-Viehweg Vanishing. This proof can also be adapted to generalize Bott Vanishing to the setting using mixed Hodge modules. Lastly, we give a counter-example towards the relative Bott Vanishing for birational morphisms.


title: Proactive Emergency Collision Avoidance for Automated Driving in Highway Scenarios

abstract: Uncertainty in the behavior of other traffic participants is a crucial factor in collision avoidance for automated driving; here, stochastic metrics should often be considered to avoid overly conservative decisions. This paper introduces a Stochastic Model Predictive Control (SMPC) planner for emergency collision avoidance in highway scenarios to proactively minimize collision risk while ensuring safety through chance constraints. To address the challenge of guaranteeing the feasibility for the emergency trajectory, we incorporate nonlinear tire dynamics in the prediction model of the ego vehicle. Further, we exploit Max-Min-Plus-Scaling (MMPS) approximations of the nonlinearities to avoid conservatism, enforce proactive collision avoidance, and improve computational efficiency in terms of performance and speed. Consequently, our contributions include integrating a dynamic ego vehicle model into the SMPC planner, introducing the MMPS approximation for real-time implementation in emergency scenarios, and integrating SMPC with hybridized chance constraints and risk minimization. We evaluate our SMPC formulation in terms of proactivity and efficiency in various hazardous scenarios. Moreover, we demonstrate the effectiveness of our proposed approach by comparing it with a state-of-the-art SMPC planner and validate the feasibility of generated trajectories using a high-fidelity vehicle model in IPG CarMaker.


title: Formulae for the number of non-negative integer solutions of linear Diophantine equation and inequality

abstract: New formulae are presented for the number $P(b)$ of non-negative integer solutions of a Diophantine equation $\sum_{i=1}^{n}a_ix_i=b$ and for the number $Q(b)$ of non-negative integer solutions of the Diophantine inequality $\sum_{i=1}^{n}a_ix_i\leq b$ $(a_i>0, b\geq 0$).


title: On the recognition of the game type based on physiological signals and eye tracking

abstract: Automated interpretation of signals yields many impressive applications from the area of affective computing and human activity recognition (HAR). In this paper we ask the question about possibility of cognitive activity recognition on the base of particular set of signals. We use recognition of the game played by the participant as a playground for exploration of the problem. We build classifier of three different games (Space Invaders, Tetris, Tower Defence) and inter-game pause. We validate classifier in the player-independent and player-dependent scenario. We discuss the improvement in the player-dependent scenario in the context of biometric person recognition. On the base of the results obtained in game classification, we consider potential applications in smart surveillance and quantified self.


title: Power-law intermittency in the gradient-induced self-propulsion of colloidal swimmers

abstract: Active colloidal microswimmers serve as archetypical active fluid systems, and as models for biological swimmers. Here, by studying in detail their velocity traces, we find robust power-law intermittency with system-dependent exponential cut off. We model the motion by an interplay of the field gradient-dependent active force and the locally fluctuating hydrodynamic drag, set by the wetting properties of the substrate. The model closely describes the velocity distributions of two disparate swimmer systems: AC field activated and catalytic swimmers. The generality is highlighted by the collapse of all data in a single master curve, suggesting the applicability to further systems, both synthetic and biological.


title: Multitask Online Learning: Listen to the Neighborhood Buzz

abstract: We study multitask online learning in a setting where agents can only exchange information with their neighbors on an arbitrary communication network. We introduce $\texttt{MT-CO}_2\texttt{OL}$, a decentralized algorithm for this setting whose regret depends on the interplay between the task similarities and the network structure. Our analysis shows that the regret of $\texttt{MT-CO}_2\texttt{OL}$ is never worse (up to constants) than the bound obtained when agents do not share information. On the other hand, our bounds significantly improve when neighboring agents operate on similar tasks. In addition, we prove that our algorithm can be made differentially private with a negligible impact on the regret. Finally, we provide experimental support for our theory.


title: A Challenge in Reweighting Data with Bilevel Optimization

abstract: In many scenarios, one uses a large training set to train a model with the goal of performing well on a smaller testing set with a different distribution. Learning a weight for each data point of the training set is an appealing solution, as it ideally allows one to automatically learn the importance of each training point for generalization on the testing set. This task is usually formalized as a bilevel optimization problem. Classical bilevel solvers are based on a warm-start strategy where both the parameters of the models and the data weights are learned at the same time. We show that this joint dynamic may lead to sub-optimal solutions, for which the final data weights are very sparse. This finding illustrates the difficulty of data reweighting and offers a clue as to why this method is rarely used in practice.


title: The fractional powers of the sub-Laplacian in Carnot groups through an analytic continuation

abstract: In this paper we construct the fractional powers of the sub-Laplacian in Carnot groups through an analytic continuation approach. In addition, we characterize the powers of the fractional sub-Laplacian in the Heisenberg group, and as a byproduct we compute the $k$-th order momenta with respect to the heat kernel.


title: Architecture Design of a Networked Music Performance Platform for a Chamber Choir

abstract: This paper describes an architecture design process for Networked Music Performance (NMP) platform for medium-sized conducted music ensembles, based on remote rehearsals of Academic Choir of Gdansk University of Technology. The issues of real-time remote communication, in-person music performance, and NMP are described. Three iterative steps defining and extending the architecture of the NMP platform with additional features to enhance its utility in remote rehearsals are presented. The first iteration uses a regular video conferencing platform, the second iteration uses dedicated NMP devices and tools, and the third iteration adds video transmission and utilizes professional low-latency audio and video workstations. For each iteration, the platform architecture is defined and deployed with simultaneous usability tests. Its strengths and weaknesses are identified through qualitative and quantitative measurements - statistical analysis shows a significant improvement in rehearsal quality after each iteration. The final optimal architecture is described and concluded with guidelines for creating NMP systems for said music ensembles.


title: ToxicChat: Unveiling Hidden Challenges of Toxicity Detection in Real-World User-AI Conversation

abstract: Despite remarkable advances that large language models have achieved in chatbots, maintaining a non-toxic user-AI interactive environment has become increasingly critical nowadays. However, previous efforts in toxicity detection have been mostly based on benchmarks derived from social media content, leaving the unique challenges inherent to real-world user-AI interactions insufficiently explored. In this work, we introduce ToxicChat, a novel benchmark based on real user queries from an open-source chatbot. This benchmark contains the rich, nuanced phenomena that can be tricky for current toxicity detection models to identify, revealing a significant domain difference compared to social media content. Our systematic evaluation of models trained on existing toxicity datasets has shown their shortcomings when applied to this unique domain of ToxicChat. Our work illuminates the potentially overlooked challenges of toxicity detection in real-world user-AI conversations. In the future, ToxicChat can be a valuable resource to drive further advancements toward building a safe and healthy environment for user-AI interactions.


title: Validation of SOLPS-ITER Simulations against the TCV-X21 Reference Case

abstract: This paper presents a quantitative validation of SOLPS-ITER simulations against the TCV-X21 reference case and provides insights into the neutral dynamics and ionization source distribution in this scenario. TCV-X21 is a well-diagnosed diverted L-mode sheath-limited plasma scenario in both toroidal field directions, designed specifically for the validation of turbulence codes [D.S. Oliveira, T. Body, et al 2022 Nucl. Fusion 62 096001]. Despite the optimization to reduce the impact of the neutral dynamics, the absence of neutrals in previous turbulence simulations of TCV-X21 was identified as a possible explanation for the disagreements with the experimental data in the divertor region. This motivates the present study with SOLPS-ITER that includes kinetic neutral dynamics via EIRENE. Five new observables are added to the extensive, publicly available TCV-X21 dataset. These are three deuterium Balmer lines in the divertor and neutral pressure in the common and private flux regions. The quantitative agreement metric is combined with the conjugate gradient method to approach the SOLPS-ITER input parameters that return the best overall agreement with the experiment. A proof-of-principle of this method results in a modest improvement in the level-of-agreement; shortcomings of the method and how to improve it are discussed. Alternatively, a scan of the particle and heat diffusion coefficients shows an improvement of 10.4% beyond the agreement level achieved by the gradient method. The result is found for an increased transport coefficient compared to what is usually used for TCV L-mode plasmas, suggesting the need for accurate self-consistent turbulence models for predictive boundary simulations. The simulations indicate that ~65% of the total ionization occurs in the SOL, motivating the inclusion of neutrals in future turbulence simulations towards improved agreement with the experiment.


title: Theory of Hyperuniformity at the Absorbing State Transition

abstract: Hyperuniformity, whereby the static structure factor (or density correlator) obeys $S(q)\sim q^{\varsigma}$ with $\varsigma> 0$, emerges at criticality in systems having multiple absorbing states, such as periodically sheared suspensions. These lie in the conserved directed percolation (C-DP) universality class, for which analytic results for $\varsigma$ are lacking. Specifically, $\varsigma$ appears inaccessible within an exact `interfacial mapping' that yields other C-DP exponents via functional renormalization group (FRG). Here, using Doi-Peliti field theory for interacting particles and perturbative RG about a Gaussian model, we find $\varsigma = 0^+$ and $\varsigma= 2\epsilon/9 + O(\epsilon^2)$ in dimension $d>4$ and $d=4-\epsilon$ respectively. The latter disproves a previously conjectured scaling relation for $\varsigma$. We show how hyperuniformity emerges from anticorrelation of strongly fluctuating active and passive densities. Our calculations also yield the remaining C-DP exponents without recourse to functional RG methods.


title: The Power of Simple Menus in Robust Selling Mechanisms

abstract: We study a robust selling problem where a seller attempts to sell one item to a buyer but is uncertain about the buyer's valuation distribution. Existing literature indicates that robust mechanism design provides a stronger theoretical guarantee than robust deterministic pricing. Meanwhile, the superior performance of robust mechanism design comes at the expense of implementation complexity given that the seller offers a menu with an infinite number of options, each coupled with a lottery and a payment for the buyer's selection. In view of this, the primary focus of our research is to find simple selling mechanisms that can effectively hedge against market ambiguity. We show that a selling mechanism with a small menu size (or limited randomization across a finite number of prices) is already capable of deriving significant benefits achieved by the optimal robust mechanism with infinite options. In particular, we develop a general framework to study the robust selling mechanism problem where the seller only offers a finite number of options in the menu. Then we propose a tractable reformulation that addresses a variety of ambiguity sets of the buyer's valuation distribution. Our formulation further enables us to characterize the optimal selling mechanisms and the corresponding competitive ratio for different menu sizes and various ambiguity sets, including support, mean, and quantile information. In light of the closed-form competitive ratios associated with different menu sizes, we provide managerial implications that incorporating a modest menu size already yields a competitive ratio comparable to the optimal robust mechanism with infinite options, which establishes a favorable trade-off between theoretical performance and implementation simplicity. Remarkably, a menu size of merely two can significantly enhance the competitive ratio, compared to the deterministic pricing scheme.


title: Valley splitting depending on the size and location of a silicon quantum dot

abstract: The valley splitting (VS) of a silicon quantum dot plays an important role for the performance and scalability of silicon spin qubits. In this work we investigate the VS of a SiGe/Si/SiGe heterostructure as a function of the size and location of the silicon quantum dot. We use the effective mass approach to describe a realistic system, which takes into account concentration fluctuations at the Si/SiGe interfaces and also the interface roughness. We predict that the size of the quantum dot is an important parameter for the enhancement of the VS and it can also induce a transition between the disorder-dominated to deterministic-enhanced regimes. Analyzing how the VS changes when we move the quantum dot in a specific direction, we obtain that the size of the quantum dot can be used to reduce the variability of the VS, which is relevant for charge/spin shuttling.


title: PSP: Pre-Training and Structure Prompt Tuning for Graph Neural Networks

abstract: Graph Neural Networks (GNNs) are powerful in learning semantics of graph data. Recently, a new paradigm "pre-train and prompt" has shown promising results in adapting GNNs to various tasks with less supervised data. The success of such paradigm can be attributed to the more consistent objectives of pre-training and task-oriented prompt tuning, where the pre-trained knowledge can be effectively transferred to downstream tasks. Most existing methods are based on the class prototype vector framework. However, in the few-shot scenarios, given few labeled data, class prototype vectors are difficult to be accurately constructed or learned. Meanwhile, the structure information of graph is usually exploited during pre-training for learning node representations, while neglected in the prompt tuning stage for learning more accurate prototype vectors. In addition, they generally ignore the impact of heterophilous neighborhoods on node representation and are not suitable for heterophilous graphs. To bridge these gaps, we propose a novel pre-training and structure prompt tuning framework for GNNs, namely PSP, which consistently exploits structure information in both pre-training and prompt tuning stages. In particular, PSP 1) employs a dual-view contrastive learning to align the latent semantic spaces of node attributes and graph structure, and 2) incorporates structure information in prompted graph to construct more accurate prototype vectors and elicit more pre-trained knowledge in prompt tuning. We conduct extensive experiments on node classification and graph classification tasks to evaluate the effectiveness of PSP. We show that PSP can lead to superior performance in few-shot scenarios on both homophilous and heterophilous graphs. The implemented code is available at https://github.com/gqq1210/PSP.


title: Learning Temporal Sentence Grounding From Narrated EgoVideos

abstract: The onset of long-form egocentric datasets such as Ego4D and EPIC-Kitchens presents a new challenge for the task of Temporal Sentence Grounding (TSG). Compared to traditional benchmarks on which this task is evaluated, these datasets offer finer-grained sentences to ground in notably longer videos. In this paper, we develop an approach for learning to ground sentences in these datasets using only narrations and their corresponding rough narration timestamps. We propose to artificially merge clips to train for temporal grounding in a contrastive manner using text-conditioning attention. This Clip Merging (CliMer) approach is shown to be effective when compared with a high performing TSG method -- e.g. mean R@1 improves from 3.9 to 5.7 on Ego4D and from 10.7 to 13.0 on EPIC-Kitchens. Code and data splits available from: https://github.com/keflanagan/CliMer


title: The influence of globular cluster evolution on the specific frequency in dwarf galaxies

abstract: Dwarf galaxies are known to exhibit an unusual richness in numbers of globular clusters (GCs), property quantified by the specific frequency ($S_N$), which is high for dwarf and giant elliptical galaxies, but with a minimum for intermediate-mass galaxies. In this work we study the role that GC evolution has in setting this trend, for which we use ${\it N}$-body simulations to evolve GCs in dwarf galaxies and quantify their disruption efficiency. We selected five individual dwarf galaxies from a high-resolution cosmological simulation, which includes GC formation and follow-up of their paths inside the host galaxy. Then, the tidal history of each GC is coupled to NBODY6++GPU to produce ${\it N}$-body models that account for both, the interaction of GCs with their galactic environment and their internal dynamics. This results in a GC mass loss parameterization to estimate dissolution times and mass loss rates after a Hubble time. GC evolution is sensitive to the particular orbital histories within each galaxy, but the overall result is that the amount of mass that GC systems lose scales with the mass (and density) of the host galaxy, i.e., the GC mass loss efficiency is lowest in low-mass dwarfs. After a 12 Gyr evolution all simulated GC systems retain an important fraction of their initial mass (up to 25%), in agreement with the high GC to field star ratios observed in some dwarfs, and supports the scenario in which GC disruption mechanisms play an important role in shaping the GC specific frequency in dwarf galaxies.


title: Simultaneous manipulation of electromagnetic and elastic waves via glide symmetry phoxonic crystal waveguides

abstract: A phoxonic crystal waveguide with the glide symmetry is designed, in which both electromagnetic and elastic waves can propagate along the glide plane at the same time. Due to the band-sticking effect, super-cell bands of the waveguide degenerate in pairs at the boundary of the Brillouin zone, causing the appearance of gapless guided-modes in the bandgaps. The gapless guided-modes are single-modes over a relatively large frequency range. By adjusting the magnitude of the glide dislocation, the edge bandgaps of the guided-modes can be further adjusted, so as to achieve photonic and phononic single-mode guided-bands with relatively flat dispersion relationship. In addition, there exists acousto-optic interaction in the cavity constructed by the glide plane. The proposed waveguide has potential applications in the design of novel optomechanical devices.


title: Global existence of solutions for the Hall-MHD equations

abstract: In this paper, we study the global well-posedness of the incompressible Hall-MHD system for small initial data $( u_0, b_0) \in \dot B^{\frac3p -1}_{p,5} (\mathbb{R}) \times \Big( \dot B^{\frac3p -1}_{p,5} (\mathbb{R}) \cap \dot B^{\frac3p}_{p,1}(\mathbb{R}) \Big)$ for $1 < p < 5$. We get the result under the weaker regularity and integrability conditions of the initial data than the previous works. We also give integral formulae for the solution.


title: Unified linear response theory of quantum electronic circuits

abstract: Modelling the electrical response of multi-level quantum systems at finite frequency has been typically performed in the context of two incomplete paradigms: (i) input-output theory, which is valid at any frequency but neglects dynamic losses, and (ii) semiclassical theory, which captures well dynamic dissipation effects but is only accurate at low frequencies. Here, we develop a unifying theory, valid for arbitrary frequencies, that captures both the quantum behaviour and the non-unitary effects introduced by relaxation and dephasing. The theory allows a multi-level system to be described by a universal small-signal equivalent circuit model, a resonant RLC circuit, whose topology only depends on the number of energy levels. We apply our model to a double quantum-dot charge qubit and a Majorana qubit, showing the capability to continuously describe the systems from adiabatic to resonant and from coherent to incoherent, suggesting new and realistic experiments for improved quantum state readout. Our model will facilitate the design of hybrid quantum-classical circuits and the simulation of qubit control and quantum state readout.


title: Bifurcation of Electromagnetic Geodesics Within an Energy Level

abstract: We consider the problem of electromagnetic geodesics, all of whose energy are the same, bifurcating from a given one. By considering a local variational principle which keeps fixed the energy we obtain the adequate notion of conjugacy along an electromagnetic geodesic. Then we employ a functional analytic criterion for bifurcation of critical points of strongly indefinite functionals, based on the so-called crossing form, to obtain a sufficient condition for bifurcation of electromagnetic geodesics to occur.


title: Energy Efficient Robust Beamforming for Vehicular ISAC with Imperfect Channel Estimation

abstract: This paper investigates robust beamforming for system-centric energy efficiency (EE) optimization in the vehicular integrated sensing and communication (ISAC) system, where the mobility of vehicles poses significant challenges to channel estimation. To obtain the optimal beamforming under channel uncertainty, we first formulate an optimization problem for maximizing the system EE under bounded channel estimation errors. Next, fractional programming and semidefinite relaxation (SDR) are utilized to relax the rank-1 constraints. We further use Schur complement and S-Procedure to transform Cramer-Rao bound (CRB) and channel estimation error constraints into convex forms, respectively. Based on the Lagrangian dual function and Karush-Kuhn-Tucker (KKT) conditions, it is proved that the optimal beamforming solution is rank-1. Finally, we present comprehensive simulation results to demonstrate two key findings: 1) the proposed algorithm exhibits a favorable convergence rate, and 2) the approach effectively mitigates the impact of channel estimation errors.


title: Learning to learn with an evolutionary strategy applied to variational quantum algorithms

abstract: Variational Quantum Algorithms (VQAs) employ quantum circuits parameterized by $U$, optimized using classical methods to minimize a cost function. While VQAs have found broad applications, certain challenges persist. Notably, a significant computational burden arises during parameter optimization. The prevailing ``parameter shift rule'' mandates a double evaluation of the cost function for each parameter. In this article, we introduce a novel optimization approach named ``Learning to Learn with an Evolutionary Strategy'' (LLES). LLES unifies ``Learning to Learn'' and ``Evolutionary Strategy'' methods. ``Learning to Learn'' treats optimization as a learning problem, utilizing recurrent neural networks to iteratively propose VQA parameters. Conversely, ``Evolutionary Strategy'' employs gradient searches to estimate function gradients. Our optimization method is applied to two distinct tasks: determining the ground state of an Ising Hamiltonian and training a quantum neural network. Results underscore the efficacy of this novel approach. Additionally, we identify a key hyperparameter that significantly influences gradient estimation using the ``Evolutionary Strategy'' method.


title: Detection Defenses: An Empty Promise against Adversarial Patch Attacks on Optical Flow

abstract: Adversarial patches undermine the reliability of optical flow predictions when placed in arbitrary scene locations. Therefore, they pose a realistic threat to real-world motion detection and its downstream applications. Potential remedies are defense strategies that detect and remove adversarial patches, but their influence on the underlying motion prediction has not been investigated. In this paper, we thoroughly examine the currently available detect-and-remove defenses ILP and LGS for a wide selection of state-of-the-art optical flow methods, and illuminate their side effects on the quality and robustness of the final flow predictions. In particular, we implement defense-aware attacks to investigate whether current defenses are able to withstand attacks that take the defense mechanism into account. Our experiments yield two surprising results: Detect-and-remove defenses do not only lower the optical flow quality on benign scenes, in doing so, they also harm the robustness under patch attacks for all tested optical flow methods except FlowNetC. As currently employed detect-and-remove defenses fail to deliver the promised adversarial robustness for optical flow, they evoke a false sense of security. The code is available at https://github.com/cv-stuttgart/DetectionDefenses.


title: Invariance Measures for Neural Networks

abstract: Invariances in neural networks are useful and necessary for many tasks. However, the representation of the invariance of most neural network models has not been characterized. We propose measures to quantify the invariance of neural networks in terms of their internal representation. The measures are efficient and interpretable, and can be applied to any neural network model. They are also more sensitive to invariance than previously defined measures. We validate the measures and their properties in the domain of affine transformations and the CIFAR10 and MNIST datasets, including their stability and interpretability. Using the measures, we perform a first analysis of CNN models and show that their internal invariance is remarkably stable to random weight initializations, but not to changes in dataset or transformation. We believe the measures will enable new avenues of research in invariance representation.


title: Causal Modeling with Stationary Diffusions

abstract: We develop a novel approach towards causal inference. Rather than structural equations over a causal graph, we learn stochastic differential equations (SDEs) whose stationary densities model a system's behavior under interventions. These stationary diffusion models do not require the formalism of causal graphs, let alone the common assumption of acyclicity. We show that in several cases, they generalize to unseen interventions on their variables, often better than classical approaches. Our inference method is based on a new theoretical result that expresses a stationarity condition on the diffusion's generator in a reproducing kernel Hilbert space. The resulting kernel deviation from stationarity (KDS) is an objective function of independent interest.


title: Long-lived heavy neutral leptons at lepton colliders as a probe of left-right symmetric models

abstract: Left-right symmetric models (LRSM) were proposed to reconcile the apparent parity violation in weak interactions with our intrinsic notion of fundamental parity symmetry. It was quickly realized that LRSM offers a viable framework for explaining neutrino masses by incorporating right-handed neutrinos, $N$, into its spectrum. In this study, we investigate for the first time the potential of future lepton colliders (including the FCC-ee, CEPC, ILC, CLIC, and a muon collider) to detect signals stemming from $N$'s, focusing primarily on displaced vertex signals, and on prompt signals to a lesser degree. Our results demonstrate that these signals can effectively probe the characteristic scales of LRSM, providing evidence that would be unobtainable through any other experimental means.


title: Meaning and understanding in large language models

abstract: Can a machine understand the meanings of natural language? Recent developments in the generative large language models (LLMs) of artificial intelligence have led to the belief that traditional philosophical assumptions about machine understanding of language need to be revised. This article critically evaluates the prevailing tendency to regard machine language performance as mere syntactic manipulation and the simulation of understanding, which is only partial and very shallow, without sufficient referential grounding in the world. The aim is to highlight the conditions crucial to attributing natural language understanding to state-of-the-art LLMs, where it can be legitimately argued that LLMs not only use syntax but also semantics, their understanding not being simulated but duplicated; and determine how they ground the meanings of linguistic expressions.


title: Tackling the Matrix Multiplication Micro-kernel Generation with Exo

abstract: The optimization of the matrix multiplication (or GEMM) has been a need during the last decades. This operation is considered the flagship of current linear algebra libraries such as BLIS, OpenBLAS, or Intel OneAPI because of its widespread use in a large variety of scientific applications. The GEMM is usually implemented following the GotoBLAS philosophy, which tiles the GEMM operands and uses a series of nested loops for performance improvement. These approaches extract the maximum computational power of the architectures through small pieces of hardware-oriented, high-performance code called micro-kernel. However, this approach forces developers to generate, with a non-negligible effort, a dedicated micro-kernel for each new hardware. In this work, we present a step-by-step procedure for generating micro-kernels with the Exo compiler that performs close to (or even better than) manually developed microkernels written with intrinsic functions or assembly language. Our solution also improves the portability of the generated code, since a hardware target is fully specified by a concise library-based description of its instructions.


title: MIGHTEE: multi-wavelength counterparts in the COSMOS field

abstract: In this paper we combine the Early Science radio continuum data from the MeerKAT International GHz Tiered Extragalactic Exploration (MIGHTEE) Survey, with optical and near-infrared data and release the cross-matched catalogues. The radio data used in this work covers $0.86$ deg$^2$ of the COSMOS field, reaches a thermal noise of $1.7$ $\mu$Jy/beam and contains $6102$ radio components. We visually inspect and cross-match the radio sample with optical and near-infrared data from the Hyper Suprime-Cam (HSC) and UltraVISTA surveys. This allows the properties of active galactic nuclei and star-forming populations of galaxies to be probed out to $z \approx 5$. Additionally, we use the likelihood ratio method to automatically cross-match the radio and optical catalogues and compare this to the visually cross-matched catalogue. We find that 94 per cent of our radio source catalogue can be matched with this method, with a reliability of $95$ per cent. We proceed to show that visual classification will still remain an essential process for the cross-matching of complex and extended radio sources. In the near future, the MIGHTEE survey will be expanded in area to cover a total of $\sim$20~deg$^2$; thus the combination of automated and visual identification will be critical. We compare redshift distribution of SFG and AGN to the SKADS and T-RECS simulations and find more AGN than predicted at $z \sim 1$.


title: Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic

abstract: In runtime verification, manually formalizing a specification for monitoring system executions is a tedious and error-prone process. To address this issue, we consider the problem of automatically synthesizing formal specifications from system executions. To demonstrate our approach, we consider the popular specification language Metric Temporal Logic (MTL), which is particularly tailored towards specifying temporal properties for cyber-physical systems (CPS). Most of the classical approaches for synthesizing temporal logic formulas aim at minimizing the size of the formula. However, for efficiency in monitoring, along with the size, the amount of "lookahead" required for the specification becomes relevant, especially for safety-critical applications. We formalize this notion and devise a learning algorithm that synthesizes concise formulas having bounded lookahead. To do so, our algorithm reduces the synthesis task to a series of satisfiability problems in Linear Real Arithmetic (LRA) and generates MTL formulas from their satisfying assignments. The reduction uses a novel encoding of a popular MTL monitoring procedure using LRA. Finally, we implement our algorithm in a tool called TEAL and demonstrate its ability to synthesize efficiently monitorable MTL formulas in a CPS application.


title: Two-photon quantum state tomography of photonic qubits

abstract: We provide a tool for measuring the Stokes parameters and the degree of polarization of single photons by employing second order interference, namely the Hong-Ou-Mandel (HOM) interferometer. It is shown that the technique is able to distinguish a partially polarized photon where the polarization state is coupled to an internal degree of freedom, such as time of arrival, from partial polarization due to external entanglement with the environment. The method does not directly resort to any kind of polarization-selective components and therefore is not limited by the extinction ratio of polarizers. Moreover, the technique can be generalized to any two-level encoding of quantum information in single photons, such as time-bin or orbital angular momentum qubits.


title: Molecular dynamics simulation of W Silicon Emitting Centers formation by Ga ion implantation

abstract: Silicon Emitting Centers (SEC) constitute promising candidates for quantum telecommunication technologies. Their operation depends on the fabrication of light emitting defect centers such as the triinterstitial Si complex, the W-Center. In this paper the formation of Si tri-interstitial clusters after Ga ion beam bombardment on pure silicon substrates and a subsequent annealing stage is investigated using molecular dynamics (MD) simulations. This study aims to understand the dynamic formation process of W centers after Ga implantation and annealing in order to assist the focused ion beam and annealing experimental systems. A new tri-interstitial cluster identification method is proposed which considers the configuration of the clusters in the Si lattice in order to identify the defects which will act as candidates for the W center. This method successfully identifies W center defect candidates in an ideal system. The number of tri-interstitial clusters increases and spread deeper into the Si for higher energies and their probability of generation increases until a limiting Ga dose. Furthermore, annealing can eliminate a lot of the unwanted defects maintaining at the same time the number of the tri-interstitial clusters, leading to isolated clusters with less distorted local environment.


title: Harnessing GPT-3.5-turbo for Rhetorical Role Prediction in Legal Cases

abstract: We propose a comprehensive study of one-stage elicitation techniques for querying a large pre-trained generative transformer (GPT-3.5-turbo) in the rhetorical role prediction task of legal cases. This task is known as requiring textual context to be addressed. Our study explores strategies such as zero-few shots, task specification with definitions and clarification of annotation ambiguities, textual context and reasoning with general prompts and specific questions. We show that the number of examples, the definition of labels, the presentation of the (labelled) textual context and specific questions about this context have a positive influence on the performance of the model. Given non-equivalent test set configurations, we observed that prompting with a few labelled examples from direct context can lead the model to a better performance than a supervised fined-tuned multi-class classifier based on the BERT encoder (weighted F1 score of = 72%). But there is still a gap to reach the performance of the best systems = 86%) in the LegalEval 2023 task which, on the other hand, require dedicated resources, architectures and training.


title: LEI2JSON: Schema-based Validation and Conversion of Livestock Event Information

abstract: Livestock producers often need help in standardising (i.e., converting and validating) their livestock event data. This article introduces a novel solution, LEI2JSON (Livestock Event Information To JSON). The tool is an add-on for Google Sheets, adhering to the livestock event information (LEI) schema. The core objective of LEI2JSON is to provide livestock producers with an efficient mechanism to standardise their data, leading to substantial savings in time and resources. This is achieved by building the spreadsheet template with the appropriate column headers, notes, and validation rules, converting the spreadsheet data into JSON format, and validating the output against the schema. LEI2JSON facilitates the seamless storage of livestock event information locally or on Google Drive in JSON. Additionally, we have conducted an extensive experimental evaluation to assess the effectiveness of the tool.


title: PETA: Evaluating the Impact of Protein Transfer Learning with Sub-word Tokenization on Downstream Applications

abstract: Large protein language models are adept at capturing the underlying evolutionary information in primary structures, offering significant practical value for protein engineering. Compared to natural language models, protein amino acid sequences have a smaller data volume and a limited combinatorial space. Choosing an appropriate vocabulary size to optimize the pre-trained model is a pivotal issue. Moreover, despite the wealth of benchmarks and studies in the natural language community, there remains a lack of a comprehensive benchmark for systematically evaluating protein language model quality. Given these challenges, PETA trained language models with 14 different vocabulary sizes under three tokenization methods. It conducted thousands of tests on 33 diverse downstream datasets to assess the models' transfer learning capabilities, incorporating two classification heads and three random seeds to mitigate potential biases. Extensive experiments indicate that vocabulary sizes between 50 and 200 optimize the model, whereas sizes exceeding 800 detrimentally affect the model's representational performance. Our code, model weights and datasets are available at https://github.com/ginnm/ProteinPretraining.


title: Goals are Enough: Inducing AdHoc cooperation among unseen Multi-Agent systems in IMFs

abstract: Intent-based management will play a critical role in achieving customers' expectations in the next-generation mobile networks. Traditional methods cannot perform efficient resource management since they tend to handle each expectation independently. Existing approaches, e.g., based on multi-agent reinforcement learning (MARL) allocate resources in an efficient fashion when there are conflicting expectations on the network slice. However, in reality, systems are often far more complex to be addressed by a standalone MARL formulation. Often there exists a hierarchical structure of intent fulfilment where multiple pre-trained, self-interested agents may need to be further orchestrated by a supervisor or controller agent. Such agents may arrive in the system adhoc, which then needs to be orchestrated along with other available agents. Retraining the whole system every time is often infeasible given the associated time and cost. Given the challenges, such adhoc coordination of pre-trained systems could be achieved through an intelligent supervisor agent which incentivizes pre-trained RL/MARL agents through sets of dynamic contracts (goals or bonuses) and encourages them to act as a cohesive unit towards fulfilling a global expectation. Some approaches use a rule-based supervisor agent and deploy the hierarchical constituent agents sequentially, based on human-coded rules. In the current work, we propose a framework whereby pre-trained agents can be orchestrated in parallel leveraging an AI-based supervisor agent. For this, we propose to use Adhoc-Teaming approaches which assign optimal goals to the MARL agents and incentivize them to exhibit certain desired behaviours. Results on the network emulator show that the proposed approach results in faster and improved fulfilment of expectations when compared to rule-based approaches and even generalizes to changes in environments.


title: Training for Open-Ended Drilling through a Virtual Reality Simulation

abstract: Virtual Reality (VR) can support effective and scalable training of psychomotor skills in manufacturing. However, many industry training modules offer experiences that are close-ended and do not allow for human error. We aim to address this gap in VR training tools for psychomotor skills training by exploring an open-ended approach to the system design. We designed a VR training simulation prototype to perform open-ended practice of drilling using a 3-axis milling machine. The simulation employs near "end-to-end" instruction through a safety module, a setup and drilling tutorial, open-ended practice complete with warnings of mistakes and failures, and a function to assess the geometries and locations of drilled holes against an engineering drawing. We developed and conducted a user study within an undergraduate-level introductory fabrication course to investigate the impact of open-ended VR practice on learning outcomes. Study results reveal positive trends, with the VR group successfully completing the machining task of drilling at a higher rate (75% vs 64%), with fewer mistakes (1.75 vs 2.14 score), and in less time (17.67 mins vs 21.57 mins) compared to the control group. We discuss our findings and limitations and implications for the design of open-ended VR training systems for learning psychomotor skills.


title: Circuit as Set of Points

abstract: As the size of circuit designs continues to grow rapidly, artificial intelligence technologies are being extensively used in Electronic Design Automation (EDA) to assist with circuit design. Placement and routing are the most time-consuming parts of the physical design process, and how to quickly evaluate the placement has become a hot research topic. Prior works either transformed circuit designs into images using hand-crafted methods and then used Convolutional Neural Networks (CNN) to extract features, which are limited by the quality of the hand-crafted methods and could not achieve end-to-end training, or treated the circuit design as a graph structure and used Graph Neural Networks (GNN) to extract features, which require time-consuming preprocessing. In our work, we propose a novel perspective for circuit design by treating circuit components as point clouds and using Transformer-based point cloud perception methods to extract features from the circuit. This approach enables direct feature extraction from raw data without any preprocessing, allows for end-to-end training, and results in high performance. Experimental results show that our method achieves state-of-the-art performance in congestion prediction tasks on both the CircuitNet and ISPD2015 datasets, as well as in design rule check (DRC) violation prediction tasks on the CircuitNet dataset. Our method establishes a bridge between the relatively mature point cloud perception methods and the fast-developing EDA algorithms, enabling us to leverage more collective intelligence to solve this task. To facilitate the research of open EDA design, source codes and pre-trained models are released at https://github.com/hustvl/circuitformer.


title: AntifakePrompt: Prompt-Tuned Vision-Language Models are Fake Image Detectors

abstract: Deep generative models can create remarkably photorealistic fake images while raising concerns about misinformation and copyright infringement, known as deepfake threats. Deepfake detection technique is developed to distinguish between real and fake images, where the existing methods typically train classifiers in the image domain or various feature domains. However, the generalizability of deepfake detection against emerging and more advanced generative models remains challenging. In this paper, inspired by the zero-shot advantages of Vision-Language Models (VLMs), we propose a novel approach using VLMs (e.g. InstructBLIP) and prompt tuning techniques to improve the deepfake detection accuracy over unseen data. We formulate deepfake detection as a visual question answering problem, and tune soft prompts for InstructBLIP to distinguish a query image is real or fake. We conduct full-spectrum experiments on datasets from 3 held-in and 13 held-out generative models, covering modern text-to-image generation, image editing and image attacks. Results demonstrate that (1) the deepfake detection accuracy can be significantly and consistently improved (from 54.6% to 91.31%, in average accuracy over unseen data) using pretrained vision-language models with prompt tuning; (2) our superior performance is at less cost of trainable parameters, resulting in an effective and efficient solution for deepfake detection. Code and models can be found at https://github.com/nctu-eva-lab/AntifakePrompt.


title: Fully Dynamic $k$-Clustering in $\tilde O(k)$ Update Time

abstract: We present a $O(1)$-approximate fully dynamic algorithm for the $k$-median and $k$-means problems on metric spaces with amortized update time $\tilde O(k)$ and worst-case query time $\tilde O(k^2)$. We complement our theoretical analysis with the first in-depth experimental study for the dynamic $k$-median problem on general metrics, focusing on comparing our dynamic algorithm to the current state-of-the-art by Henzinger and Kale [ESA'20]. Finally, we also provide a lower bound for dynamic $k$-median which shows that any $O(1)$-approximate algorithm with $\tilde O(\text{poly}(k))$ query time must have $\tilde \Omega(k)$ amortized update time, even in the incremental setting.


title: Distribution of Action Movements (DAM): A Descriptor for Human Action Recognition

abstract: Human action recognition from skeletal data is an important and active area of research in which the state of the art has not yet achieved near-perfect accuracy on many well-known datasets. In this paper, we introduce the Distribution of Action Movements Descriptor, a novel action descriptor based on the distribution of the directions of the motions of the joints between frames, over the set of all possible motions in the dataset. The descriptor is computed as a normalized histogram over a set of representative directions of the joints, which are in turn obtained via clustering. While the descriptor is global in the sense that it represents the overall distribution of movement directions of an action, it is able to partially retain its temporal structure by applying a windowing scheme. The descriptor, together with a standard classifier, outperforms several state-of-the-art techniques on many well-known datasets.


title: Full-magnetic implementation of a classical Toffoli gate

abstract: The Toffoli gate is the essential ingredient for reversible computing, an energy efficient classical computational paradigm that evades the energy dissipation resulting from Landauer's principle. In this paper we analyze different setups to realize a magnetic implementation of the Toffoli gate using three interacting classical spins, each one embodying one of the three bits needed for the Toffoli gate. In our scheme, different control-spins configurations produce an effective field capable of conditionally flipping the target spin. We study what are the experimental requirements for the realization of our scheme, focusing on the degree of local control, the ability to dynamically switch the spin-spin interactions, and the required single-spin anisotropies to make the classical spin stable, showing that these are compatible with current technology.

categories: quant-ph cond-mat.mes-hall cond-mat.mtrl-sci physics.app-ph physics.chem-ph


title: The Newtonian Mechanics of Demand

abstract: Economic engineering is a new field wherein economic systems are modelled in the same manner as traditional mechanical and electrical engineering systems. In this paper, we use Newton's theory of motion as the basis for the theory of demand; thereby establishing a theoretical foundation for economic engineering. We follow Newton's original development, as set forth in the Principia, to determine economic analogs to his three laws of motion. The pivotal result is an operational definition for an economic force, i.e. a want or a desire, in terms of a price adjustment. With this, we model the price effects of scarcity and trade friction in analogy with the models for the spring and damping force. In turn, we define economic benefits and surplus as analogous to the definitions of mechanical work and energy. These are then used to interpret the various types of economic equilibrium considered by economists from a mechanical perspective. The effectiveness of the analogy is illustrated by applying it to modelling the price and inventory dynamics of various economic agents -- including consumers, dealers, holders, spot and futures traders -- using linear-time invariant systems theory.


title: Modified scattering of small data solutions to the Vlasov-Poisson system with a trapping potential

abstract: In this paper, we study small data solutions to the Vlasov-Poisson system with the simplest external potential, for which unstable trapping holds for the associated Hamiltonian flow. First, we provide a new proof of global existence for small data solutions to the Vlasov-Poisson system with the trapping potential $\frac{-|x|^2}{2}$ in dimension two. We exploit the uniform hyperbolicity of the Hamiltonian flow, by making use of the commuting vector fields contained in the stable and unstable invariant distributions of phase space for the linearized system. In contrast with the proof in \cite{VV23}, we do not use modified vector field techniques. Moreover, we obtain small data modified scattering for this non-linear system. We show that the distribution function converges to a new regular distribution function along modifications to the characteristics of the linearized problem. We define the linearly growing corrections to the characteristic system, in terms of a precise effective asymptotic force field. We make use of the scattering state to obtain the late-time asymptotic behavior of the spatial density. Finally, we prove that the distribution function (up to normalization) converges weakly to a Dirac mass on the unstable manifold of the origin.


title: Detecting Abrupt Change of Channel Covariance Matrix in IRS-Assisted Communication

abstract: The knowledge of channel covariance matrices is crucial to the design of intelligent reflecting surface (IRS) assisted communication. However, channel covariance matrices may change suddenly in practice. This letter focuses on the detection of the above change in IRS-assisted communication. Specifically, we consider the uplink communication system consisting of a single-antenna user (UE), an IRS, and a multi-antenna base station (BS). We first categorize two types of channel covariance matrix changes based on their impact on system design: Type I change, which denotes the change in the BS receive covariance matrix, and Type II change, which denotes the change in the IRS transmit/receive covariance matrix. Secondly, a powerful method is proposed to detect whether a Type I change occurs, a Type II change occurs, or no change occurs. The effectiveness of our proposed scheme is verified by numerical results.


title: Stealthy SWAPs: Adversarial SWAP Injection in Multi-Tenant Quantum Computing

abstract: Quantum computing (QC) holds tremendous promise in revolutionizing problem-solving across various domains. It has been suggested in literature that 50+ qubits are sufficient to achieve quantum advantage (i.e., to surpass supercomputers in solving certain class of optimization problems).The hardware size of existing Noisy Intermediate-Scale Quantum (NISQ) computers have been ever increasing over the years. Therefore, Multi-tenant computing (MTC) has emerged as a potential solution for efficient hardware utilization, enabling shared resource access among multiple quantum programs. However, MTC can also bring new security concerns. This paper proposes one such threat for MTC in superconducting quantum hardware i.e., adversarial SWAP gate injection in victims program during compilation for MTC. We present a representative scheduler designed for optimal resource allocation. To demonstrate the impact of this attack model, we conduct a detailed case study using a sample scheduler. Exhaustive experiments on circuits with varying depths and qubits offer valuable insights into the repercussions of these attacks. We report a max of approximately 55 percent and a median increase of approximately 25 percent in SWAP overhead. As a countermeasure, we also propose a sample machine learning model for detecting any abnormal user behavior and priority adjustment.


title: Handshape recognition for Argentinian Sign Language using ProbSom

abstract: Automatic sign language recognition is an important topic within the areas of human-computer interaction and machine learning. On the one hand, it poses a complex challenge that requires the intervention of various knowledge areas, such as video processing, image processing, intelligent systems and linguistics. On the other hand, robust recognition of sign language could assist in the translation process and the integration of hearing-impaired people. This paper offers two main contributions: first, the creation of a database of handshapes for the Argentinian Sign Language (LSA), which is a topic that has barely been discussed so far. Secondly, a technique for image processing, descriptor extraction and subsequent handshape classification using a supervised adaptation of self-organizing maps that is called ProbSom. This technique is compared to others in the state of the art, such as Support Vector Machines (SVM), Random Forests, and Neural Networks. The database that was built contains 800 images with 16 LSA handshapes, and is a first step towards building a comprehensive database of Argentinian signs. The ProbSom-based neural classifier, using the proposed descriptor, achieved an accuracy rate above 90%.


title: ''Fifty Shades of Bias'': Normative Ratings of Gender Bias in GPT Generated English Text

abstract: Language serves as a powerful tool for the manifestation of societal belief systems. In doing so, it also perpetuates the prevalent biases in our society. Gender bias is one of the most pervasive biases in our society and is seen in online and offline discourses. With LLMs increasingly gaining human-like fluency in text generation, gaining a nuanced understanding of the biases these systems can generate is imperative. Prior work often treats gender bias as a binary classification task. However, acknowledging that bias must be perceived at a relative scale; we investigate the generation and consequent receptivity of manual annotators to bias of varying degrees. Specifically, we create the first dataset of GPT-generated English text with normative ratings of gender bias. Ratings were obtained using Best--Worst Scaling -- an efficient comparative annotation framework. Next, we systematically analyze the variation of themes of gender biases in the observed ranking and show that identity-attack is most closely related to gender bias. Finally, we show the performance of existing automated models trained on related concepts on our dataset.


title: LSA64: An Argentinian Sign Language Dataset

abstract: Automatic sign language recognition is a research area that encompasses human-computer interaction, computer vision and machine learning. Robust automatic recognition of sign language could assist in the translation process and the integration of hearing-impaired people, as well as the teaching of sign language to the hearing population. Sign languages differ significantly in different countries and even regions, and their syntax and semantics are different as well from those of written languages. While the techniques for automatic sign language recognition are mostly the same for different languages, training a recognition system for a new language requires having an entire dataset for that language. This paper presents a dataset of 64 signs from the Argentinian Sign Language (LSA). The dataset, called LSA64, contains 3200 videos of 64 different LSA signs recorded by 10 subjects, and is a first step towards building a comprehensive research-level dataset of Argentinian signs, specifically tailored to sign language recognition or other machine learning tasks. The subjects that performed the signs wore colored gloves to ease the hand tracking and segmentation steps, allowing experiments on the dataset to focus specifically on the recognition of signs. We also present a pre-processed version of the dataset, from which we computed statistics of movement, position and handshape of the signs.


title: A near-autonomous and incremental intrusion detection system through active learning of known and unknown attacks

abstract: Intrusion detection is a traditional practice of security experts, however, there are several issues which still need to be tackled. Therefore, in this paper, after highlighting these issues, we present an architecture for a hybrid Intrusion Detection System (IDS) for an adaptive and incremental detection of both known and unknown attacks. The IDS is composed of supervised and unsupervised modules, namely, a Deep Neural Network (DNN) and the K-Nearest Neighbors (KNN) algorithm, respectively. The proposed system is near-autonomous since the intervention of the expert is minimized through the active learning (AL) approach. A query strategy for the labeling process is presented, it aims at teaching the supervised module to detect unknown attacks and improve the detection of the already-known attacks. This teaching is achieved through sliding windows (SW) in an incremental fashion where the DNN is retrained when the data is available over time, thus rendering the IDS adaptive to cope with the evolutionary aspect of the network traffic. A set of experiments was conducted on the CICIDS2017 dataset in order to evaluate the performance of the IDS, promising results were obtained.


title: Efficient safe learning for controller tuning with experimental validation

abstract: Optimization-based controller tuning is challenging because it requires formulating optimization problems explicitly as functions of controller parameters. Safe learning algorithms overcome the challenge by creating surrogate models from measured data. To ensure safety, such data-driven algorithms often rely on exhaustive grid search, which is computationally inefficient. In this paper, we propose a novel approach to safe learning by formulating a series of optimization problems instead of a grid search. We also develop a method for initializing the optimization problems to guarantee feasibility while using numerical solvers. The performance of the new method is first validated in a simulated precision motion system, demonstrating improved computational efficiency, and illustrating the role of exploiting numerical solvers to reach the desired precision. Experimental validation on an industrial-grade precision motion system confirms that the proposed algorithm achieves 30% better tracking at sub-micrometer precision as a state-of-the-art safe learning algorithm, improves the default auto-tuning solution, and reduces the computational cost seven times compared to learning algorithms based on exhaustive search.


title: Likelihood-based Out-of-Distribution Detection with Denoising Diffusion Probabilistic Models

abstract: Out-of-Distribution detection between dataset pairs has been extensively explored with generative models. We show that likelihood-based Out-of-Distribution detection can be extended to diffusion models by leveraging the fact that they, like other likelihood-based generative models, are dramatically affected by the input sample complexity. Currently, all Out-of-Distribution detection methods with Diffusion Models are reconstruction-based. We propose a new likelihood ratio for Out-of-Distribution detection with Deep Denoising Diffusion Models, which we call the Complexity Corrected Likelihood Ratio. Our likelihood ratio is constructed using Evidence Lower-Bound evaluations from an individual model at various noising levels. We present results that are comparable to state-of-the-art Out-of-Distribution detection methods with generative models.


title: Finding a perfect matching of $\mathbb{F}_2^n$ with prescribed differences

abstract: We consider the following question by Balister, Gy\H{o}ri and Schelp: given $2^{n-1}$ nonzero vectors in $\mathbb{F}_2^n$ with zero sum, is it always possible to partition the elements of $\mathbb{F}_2^n$ into pairs such that the difference between the two elements of the $i$-th pair is equal to the $i$-th given vector for every $i$? An analogous question in $\mathbb{F}_p$, which is a case of the so-called "seating couples" problem, has been resolved by Preissmann and Mischler in 2009. In this paper, we prove the conjecture in $\mathbb{F}_2^n$ in the case when the number of distinct values among the given difference vectors is at most $n-2\log n-1$, and also in the case when at least a fraction $\frac12+\varepsilon$ of the given vectors are equal (for all $\varepsilon>0$ and $n$ sufficiently large based on $\varepsilon$).


title: The `Why' behind including `Y' in your imputation model

abstract: Missing data is a common challenge when analyzing epidemiological data, and imputation is often used to address this issue. Here, we investigate the scenario where a covariate used in an analysis has missingness and will be imputed. There are recommendations to include the outcome from the analysis model in the imputation model for missing covariates, but it is not necessarily clear if this recommendation always holds and why this is sometimes true. We examine deterministic imputation (i.e., single imputation with fixed values) and stochastic imputation (i.e., single or multiple imputation with random values) methods and their implications for estimating the relationship between the imputed covariate and the outcome. We mathematically demonstrate that including the outcome variable in imputation models is not just a recommendation but a requirement to achieve unbiased results when using stochastic imputation methods. Moreover, we dispel common misconceptions about deterministic imputation models and demonstrate why the outcome should not be included in these models. This paper aims to bridge the gap between imputation in theory and in practice, providing mathematical derivations to explain common statistical recommendations. We offer a better understanding of the considerations involved in imputing missing covariates and emphasize when it is necessary to include the outcome variable in the imputation model.


title: Convex generalized Fr\'echet means in a metric tree

abstract: We are interested in measures of central tendency for a population on a network, which is modeled by a metric tree. The location parameters that we study are generalized Fr\'echet means obtained by minimizing the objective function $\alpha \mapsto E[\ell(d(\alpha,X))]$ where $\ell$ is a generic convex nondecreasing loss. We leverage the geometry of the tree and the geodesic convexity of the objective to develop a notion of directional derivative in the tree, which helps up locate and characterize the minimizers. Estimation is performed using a sample analog. We extend to a metric tree the notion of stickiness defined by Hotz et al. (2013), we show that this phenomenon has a non-asymptotic component and we obtain a sticky law of large numbers. For the particular case of the Fr\'echet median, we develop non-asymptotic concentration bounds and sticky central limit theorems.


title: Uncertainty-weighted Loss Functions for Improved Adversarial Attacks on Semantic Segmentation

abstract: State-of-the-art deep neural networks have been shown to be extremely powerful in a variety of perceptual tasks like semantic segmentation. However, these networks are vulnerable to adversarial perturbations of the input which are imperceptible for humans but lead to incorrect predictions. Treating image segmentation as a sum of pixel-wise classifications, adversarial attacks developed for classification models were shown to be applicable to segmentation models as well. In this work, we present simple uncertainty-based weighting schemes for the loss functions of such attacks that (i) put higher weights on pixel classifications which can more easily perturbed and (ii) zero-out the pixel-wise losses corresponding to those pixels that are already confidently misclassified. The weighting schemes can be easily integrated into the loss function of a range of well-known adversarial attackers with minimal additional computational overhead, but lead to significant improved perturbation performance, as we demonstrate in our empirical analysis on several datasets and models.


title: Sign Languague Recognition without frame-sequencing constraints: A proof of concept on the Argentinian Sign Language

abstract: Automatic sign language recognition (SLR) is an important topic within the areas of human-computer interaction and machine learning. On the one hand, it poses a complex challenge that requires the intervention of various knowledge areas, such as video processing, image processing, intelligent systems and linguistics. On the other hand, robust recognition of sign language could assist in the translation process and the integration of hearing-impaired people, as well as the teaching of sign language for the hearing population. SLR systems usually employ Hidden Markov Models, Dynamic Time Warping or similar models to recognize signs. Such techniques exploit the sequential ordering of frames to reduce the number of hypothesis. This paper presents a general probabilistic model for sign classification that combines sub-classifiers based on different types of features such as position, movement and handshape. The model employs a bag-of-words approach in all classification steps, to explore the hypothesis that ordering is not essential for recognition. The proposed model achieved an accuracy rate of 97% on an Argentinian Sign Language dataset containing 64 classes of signs and 3200 samples, providing some evidence that indeed recognition without ordering is possible.


title: Localisation-to-delocalisation transition of moir\'{e} excitons in WSe$_2$/MoSe$_2$ heterostructures

abstract: Moir\'{e} excitons (MXs) are electron-hole pairs localised by the periodic (moir\'{e}) potential forming in two-dimensional heterostructures (HSs). MXs can be exploited, $e.g.$, for creating nanoscale-ordered quantum emitters and achieving or probing strongly correlated electronic phases at relatively high temperatures. Here, we studied the exciton properties of a WSe$_2$/MoSe$_2$ HS from $T$=6 K to room temperature using time-resolved and continuous-wave micro-photoluminescence, also under magnetic field. The exciton dynamics and emission lineshape evolution with temperature show clear signatures that MXs de-trap from the moir\'{e} potential and turn into free interlayer excitons (IXs) at $T\gtrsim$120 K. The MX-to-IX transition is also apparent from the exciton magnetic moment reversing its sign when the moir\'{e} potential is not capable to localise excitons at elevated temperatures. Concomitantly, the exciton formation and decay times reduce drastically. Thus, our findings establish the conditions for a truly confined nature of the exciton states in a moir\'{e} superlattice with increasing temperature.


title: Designing Hash and Encryption Engines using Quantum Computing

abstract: Quantum computing (QC) holds the promise of revolutionizing problem-solving by exploiting quantum phenomena like superposition and entanglement. It offers exponential speed-ups across various domains, from machine learning and security to drug discovery and optimization. In parallel, quantum encryption and key distribution have garnered substantial interest, leveraging quantum engines to enhance cryptographic techniques. Classical cryptography faces imminent threats from quantum computing, exemplified by Shors algorithms capacity to breach established encryption schemes. However, quantum circuits and algorithms, capitalizing on superposition and entanglement, offer innovative avenues for enhancing security. In this paper we explore quantum-based hash functions and encryption to fortify data security. Quantum hash functions and encryption can have numerous potential application cases, such as password storage, digital signatures, cryptography, anti-tampering etc. The integration of quantum and classical methods demonstrates potential in securing data in the era of quantum computing.


title: Gibbs optimal design of experiments

abstract: Bayesian optimal design of experiments is a well-established approach to planning experiments. Briefly, a probability distribution, known as a statistical model, for the responses is assumed which is dependent on a vector of unknown parameters. A utility function is then specified which gives the gain in information for estimating the true value of the parameters using the Bayesian posterior distribution. A Bayesian optimal design is given by maximising the expectation of the utility with respect to the joint distribution given by the statistical model and prior distribution for the true parameter values. The approach takes account of the experimental aim via specification of the utility and of all assumed sources of uncertainty via the expected utility. However, it is predicated on the specification of the statistical model. Recently, a new type of statistical inference, known as Gibbs (or General Bayesian) inference, has been advanced. This is Bayesian-like, in that uncertainty on unknown quantities is represented by a posterior distribution, but does not necessarily rely on specification of a statistical model. Thus the resulting inference should be less sensitive to misspecification of the statistical model. The purpose of this paper is to propose Gibbs optimal design: a framework for optimal design of experiments for Gibbs inference. The concept behind the framework is introduced along with a computational approach to find Gibbs optimal designs in practice. The framework is demonstrated on exemplars including linear models, and experiments with count and time-to-event responses.


title: Intermodal quantum key distribution field trial with active switching between fiber and free-space channels

abstract: Intermodal quantum key distribution enables the full interoperability of fiber networks and free-space channels, which are both necessary elements for the development of a global quantum network. We present a field trial of an intermodal quantum key distribution system in a 3-node heterogeneous quantum network - comprised of two polarization-based transmitters and a single receiver - in which the active channel is alternately switched between a free-space link of 620 m and a 17km-long deployed fiber in the metropolitan area of Padova. The performance of the free-space channel is evaluated against the atmospheric turbulence strength of the link. The field trial lasted for several hours in daylight conditions, attesting the interoperability between fiber and free-space channels, with a secret key rate of the order of kbps for both the channels. The QKD hardware and software require no different strategies to work over the two channels, even if the intrinsic characteristics of the links are clearly different. The switching system represents a cost-effective solution for a trusted quantum key distribution network, reducing the number of necessary devices in different network topologies.


title: Quasisymmetries of finitely ramified Julia sets

abstract: We develop a theory of quasisymmetries for finitely ramified fractals, with applications to finitely ramified Julia sets. We prove that certain finitely ramified fractals admit a naturally defined class of "undistorted metrics" that are all quasi-equivalent. As a result, piecewise-defined homeomorphisms of such a fractal that locally preserve the cell structure are quasisymmetries. This immediately gives a solution to the quasisymmetric uniformization problem for topologically rigid fractals such as the Sierpi\'nski triangle. We show that our theory applies to many finitely ramified Julia sets, and we prove that any connected Julia set for a hyperbolic unicritical polynomial has infinitely many quasisymmetries, generalizing a result of Lyubich and Merenkov. We also prove that the quasisymmetry group of the Julia set for the rational function $1-z^{-2}$ is infinite, and we show that the quasisymmetry groups for the Julia sets of a broad class of polynomials contain Thompson's group $F$.


title: On the Smooth Locus in Flat Linear Degenerations of Flag Varieties

abstract: We use some moment graph techniques, recently introduced by Lanini and P\"utz, to provide a combinatorial description of the smooth locus in flat linear degenerations of flag varieties, generalizing a result proved by Cerulli Irelli, Feigin and Reineke for the Feigin degeneration. Moreover, we propose a different combinatorial criterion linking the smoothness at a fixed point to transitive tournaments.


title: Baryon density dependence of viscosities of the quark-gluon plasma at hadronization

abstract: The $\phi$ meson and $\Omega$ baryon provide unique probes of the properties of the quark-gluon plasma (QGP) at hadronization in relativistic heavy-ion collisions. Using the quark recombination model with the quark phase-space information parameterized in a viscous blastwave, we perform Bayesian inference of the shear and bulk viscosities of the QGP at hadronization with a temperature of $T\sim 160$ MeV by analyzing the $\phi$ and $\Omega$ data in Au+Au collisions at $\sqrt{s_{\rm NN}}=$ 19.6-200 GeV and Pb+Pb collisions at $\sqrt{s_{\rm NN}}=$ 2.76 TeV, corresponding to a baryon chemical potential variation from $\mu_B\approx 0$ (at $\sqrt{s_{\rm NN}}= 2.76$ TeV) to $200$ MeV (at $\sqrt{s_{\rm NN}}= 19.6$ GeV). We find that the shear viscosity to enthalpy ratio $\eta T/(\epsilon +P)$ of the QGP at hadronization decreases as $\mu_B$ increases, with $\eta T/(\epsilon +P)\approx 0.18$ at $\mu_B=0$ and $\eta T/(\epsilon +P)\approx 0.08$ at $\mu_B=200$ MeV, while the corresponding specific bulk viscosity is essentially constant with $\zeta T/(\epsilon + P)=0.02\sim 0.04$ for $\mu_B<200$ MeV. Our results suggest that the QGP at hadronization ($T\sim 160$ MeV) with finite baryon density is more close to perfect fluid than that with zero baryon density.


title: Aberrant High-Order Dependencies in Schizophrenia Resting-State Functional MRI Networks

abstract: The human brain has a complex, intricate functional architecture. While many studies primarily emphasize pairwise interactions, delving into high-order associations is crucial for a comprehensive understanding of how functional brain networks intricately interact beyond simple pairwise connections. Analyzing high-order statistics allows us to explore the nuanced and complex relationships across the brain, unraveling the heterogeneity and uncovering patterns of multilevel overlap on the psychosis continuum. Here, we employed high-order independent component analysis (ICA) plus multivariate information-theoretical metrics ($O$-information and $S$-information) to estimate high-order interaction to examine schizophrenia using resting-state fMRI. The results show that multiple brain regions networks may be altered in schizophrenia, such as temporal, subcortical, and higher-cognitive brain regions, and meanwhile, it also shows that revealed synergy gives more information than redundancy in diagnosing schizophrenia. All in all, we showed that high-order dependencies were altered in schizophrenia. Identification of these aberrant patterns will give us a new window to diagnose schizophrenia.


title: Bockstein cohomology of Maximal Cohen-Macaulay modules over Gorenstein isolated singularities

abstract: Let $(A,\mathfrak{m})$ be an excellent equi-charateristic Gorenstein isolated singularity of dimension $d \geq 2$. Assume the residue field of $A$ is perfect. Let $I$ be any $\mathfrak{m}$-primary ideal. Let $G_I(A) = \bigoplus_{n \geq 0}I^n/I^{n+1}$ be the associated graded ring of $A$ with respect to $I$ and let $\mathcal{R}_I(A) = \bigoplus_{n \in \mathbb{Z}}I^n$ be the extended Rees algebra of $A$ with respect to $I$. Let $M$ be a finitely generated $A$-module. Let $G_I(M) = \bigoplus_{n \geq 0}I^nM/I^{n+1}M$ be the associated graded ring of $M$ with respect to $I$ (considered as a $G_I(A)$-module). Let $BH^i(G_I(M))$ be the $i^{th}$-Bockstein cohomology of $G_I(M)$ with respect to $\mathcal{R}_I(A)_+$-torsion functor. We show there exists $a \geq 1$ depending only on $A$ such that if $I$ is any $\mathfrak{m}$-primary ideal with $I \subseteq \mathfrak{m}^a$ and $G_I(A) $ generalized Cohen-Macaulay then the Bockstein cohomology $BH^i(G_I(M))$ has finite length for $i = 0, \ldots, d-1$ for any maximal Cohen-Macaulay $A$-module $M$.


title: Holographic Weyl Anomalies for 4d Defects in 6d SCFTs

abstract: In this note, we study $1/4$- and $1/2$-BPS co-dimension two superconformal defects in the $6d$ $\mathcal{N}=(2,0)$ $A_{N-1}$ SCFT at large $N$ using their holographic descriptions as solutions of $11d$ supergravity. In this regime, we are able to compute the defect contribution to the sphere entanglement entropy and the change in the stress-energy tensor one-point function due to the presence of the defect using holography. From these quantities, we are then able to unambiguously compute the values for two of the twenty-nine total Weyl anomaly coefficients that characterize $4d$ conformal defects in six and higher dimensions. We are able to demonstrate the consistency of the supergravity description of the defect theories with the average null energy condition on the field theory side. For each class of defects that we consider, we also show that the A-type Weyl anomaly coefficient is non-negative. Lastly, we uncover and resolve a discrepancy between the on-shell action of the $7d$ $1/4$-BPS domain wall solutions and that of their $11d$ uplift.


title: Dialect Adaptation and Data Augmentation for Low-Resource ASR: TalTech Systems for the MADASR 2023 Challenge

abstract: This paper describes Tallinn University of Technology (TalTech) systems developed for the ASRU MADASR 2023 Challenge. The challenge focuses on automatic speech recognition of dialect-rich Indian languages with limited training audio and text data. TalTech participated in two tracks of the challenge: Track 1 that allowed using only the provided training data and Track 3 which allowed using additional audio data. In both tracks, we relied on wav2vec2.0 models. Our methodology diverges from the traditional procedure of finetuning pretrained wav2vec2.0 models in two key points: firstly, through the implementation of the aligned data augmentation technique to enhance the linguistic diversity of the training data, and secondly, via the application of deep prefix tuning for dialect adaptation of wav2vec2.0 models. In both tracks, our approach yielded significant improvements over the provided baselines, achieving the lowest word error rates across all participating teams.


title: On the Hadamard inverse of a resurgent function with only one singularity

abstract: This note discusses the location of the singularities of the Hadamard inverse of an endlessly continuable function, in the case when the original function has only one singular singularity which is either a single pole or a simple singularity.


title: Rapid Generation of Kilonova Light Curves Using Conditional Variational Autoencoder

abstract: The discovery of the optical counterpart, along with the gravitational waves from GW170817, of the first binary neutron star merger, opened up a new era for multi-messenger astrophysics. Combining the GW data with the optical counterpart, also known as AT2017gfo, classified as a kilonova, has revealed the nature of compact binary merging systems by extracting enriched information about the total binary mass, the mass ratio, the system geometry, and the equation of state. Even though the detection of kilonova brought about a revolution in the domain of multi-messenger astronomy, since there has been only one kilonova from a gravitational wave detected binary neutron star merger event so far, this limits the exact understanding of the origin and propagation of the kilonova. Here, we use a conditional variational autoencoder trained on light curve data from two kilonova models having different temporal lengths, and consequently, generate kilonova light curves rapidly based on physical parameters of our choice with good accuracy. Once trained, the time scale for light curve generation is of the order of a few milliseconds, thus speeding up generating light curves by $1000$ times compared to the simulation. The mean squared error between the generated and original light curves is typically $0.015$ with a maximum of $0.08$ for each set of considered physical parameter; while having a maximum of $\approx0.6$ error across the whole parameter space. Hence, implementing this technique provides fast and reliably accurate results.


title: Generating by Understanding: Neural Visual Generation with Logical Symbol Groundings

abstract: Despite the great success of neural visual generative models in recent years, integrating them with strong symbolic reasoning systems remains a challenging task. There are two levels of symbol grounding problems among the core challenges: the first is symbol assignment, i.e. mapping latent factors of neural visual generators to semantic-meaningful symbolic factors from the reasoning systems by learning from limited labeled data. The second is rule learning, i.e. learning new rules that govern the generative process to enhance the symbolic reasoning systems. To deal with these two problems, we propose a neurosymbolic learning approach, Abductive visual Generation (AbdGen), for integrating logic programming systems with neural visual generative models based on the abductive learning framework. To achieve reliable and efficient symbol grounding, the quantized abduction method is introduced for generating abduction proposals by the nearest-neighbor lookup within semantic codebooks. To achieve precise rule learning, the contrastive meta-abduction method is proposed to eliminate wrong rules with positive cases and avoid less informative rules with negative cases simultaneously. Experimental results show that compared to the baseline approaches, AbdGen requires significantly less labeled data for symbol assignment. Furthermore, AbdGen can effectively learn underlying logical generative rules from data, which is out of the capability of existing approaches. The code is released at this link: https://github.com/candytalking/AbdGen.


title: Resummation schemes for high-electric-charge objects leading to improved experimental mass limits

abstract: High-Electric-Charge compact Objects (HECOs) appear in several theoretical particle physics models beyond the Standard Model, and are actively searched for in current colliders, such as the Large Hadron Collider at CERN. In such searches, mass bounds of these objects have been placed, using Drell-Yan and photon-fusion processes at tree level so far. However, such mass-bound estimates are not reliable, given that, as a result of the large values of the electric charge of the HECO, perturbative Quantum Electrodynamics calculations break down. In this work, we perform a Dyson-Schwinger resummation scheme (as opposed to lattice strong-coupling approach), which makes the computation of the pertinent HECO-production cross sections reliable, thus allowing us to extract improved mass bounds for such objects from ATLAS and MoEDAL searches.


title: Floer theory for the variation operator of an isolated singularity

abstract: The variation operator in singularity theory maps relative homology cycles to compact cycles in the Milnor fiber using the monodromy. We construct its symplectic analogue for an isolated singularity. We define a new Floer cohomology, called monodromy Lagrangian Floer cohomology, which provides categorifications of the standard theorems on the variation operator and the Seifert form. The key ingredients are a special class $\Gamma$ in the symplectic cohomology of the inverse of the monodromy and its closed-open images. For isolated plane curve singularities whose A'Campo divide has depth zero, we find an exceptional collection consisting of non-compact Lagrangians in the Milnor fiber corresponding to a distinguished collection of vanishing cycles under the variation operator.


title: A Marstrand projection theorem for lines

abstract: Fix integers $1<k<n$. For $V\in G(k,n)$, let $P_V: \mathbb{R}^n\rightarrow V$ be the orthogonal projection. For $V\in G(k,n)$, define the map \[ \pi_V: A(1,n)\rightarrow A(1,V)\bigsqcup V. \] \[ \ell\mapsto P_V(\ell). \] For any $0<a<\text{dim}(A(1,n))$, we find the optimal number $s(a)$ such that the following is true. For any Borel set $\boldsymbol{A} \subset A(1,n)$ with $\text{dim}(\boldsymbol{A})=a$, we have \[ \text{dim}(\pi_V(\boldsymbol{A}))=s(a), \text{for a.e. } V\in G(k,n). \] When $A(1,n)$ is replaced by $A(0,n)=\mathbb{R}^n$, it is the classical Marstrand projection theorem, for which $s(a)=\min\{k,a\}$. A new ingredient of the paper is the Fourier transform on affine Grassmannian.


title: OTMatch: Improving Semi-Supervised Learning with Optimal Transport

abstract: Semi-supervised learning has made remarkable strides by effectively utilizing a limited amount of labeled data while capitalizing on the abundant information present in unlabeled data. However, current algorithms often prioritize aligning image predictions with specific classes generated through self-training techniques, thereby neglecting the inherent relationships that exist within these classes. In this paper, we present a new approach called OTMatch, which leverages semantic relationships among classes by employing an optimal transport loss function to match distributions. We conduct experiments on many standard vision and language datasets. The empirical results show improvements in our method above baseline, this demonstrates the effectiveness and superiority of our approach in harnessing semantic relationships to enhance learning performance in a semi-supervised setting.


title: Stability inequality for the problem of determining an unbounded potential from boundary measurements

abstract: We establish in dimension $3$ a stability inequality for the problem of determining the potential in the Schr\"odinger equation from boundary measurements in the case where the potential belongs to $L^s$ with $s\in (2,3)$.


title: A hidden 2d CFT for self-dual Yang-Mills on the celestial sphere

abstract: Self-dual Yang-Mills theory admits an underlying infinite dimensional symmetry algebra, which has been obtained from mode expansion of Mellin transformed 4d scattering amplitudes and separately, Koszul duality on twistor space. In this paper, we propose to derive an explicit 2d realization of the algebra by performing a particular gauge transformation on the twistor action for self-dual Yang-Mills. The gauge parameter used in the transformation generates pure gauge connections corresponding to large gauge transformations on 4d Minkowski space, which localises part of the twistor action to a CP1 after scaling reduction of twistor space. Under a projection, it can be mapped to the celestial sphere at the light-cone cut of the origin on null infinity. Geometrically, this is the common boundary celestial sphere shared by Euclidean AdS3 or Lorentzian dS3 slices of Minkowski space. We comment on the geometric meaning of the derivation from the perspective of minitwistor spaces of the 3d slices embedded in 4d Minkowski space. Using the action functional of this 2d CFT, we compute its stress-energy tensor and central charge. By a further marginal deformation, we calculate correlation functions of current algebra generators purely from the 2d side which reproduce 4d MHV form factors.


title: Coalitional Bargaining via Reinforcement Learning: An Application to Collaborative Vehicle Routing

abstract: Collaborative Vehicle Routing is where delivery companies cooperate by sharing their delivery information and performing delivery requests on behalf of each other. This achieves economies of scale and thus reduces cost, greenhouse gas emissions, and road congestion. But which company should partner with whom, and how much should each company be compensated? Traditional game theoretic solution concepts, such as the Shapley value or nucleolus, are difficult to calculate for the real-world problem of Collaborative Vehicle Routing due to the characteristic function scaling exponentially with the number of agents. This would require solving the Vehicle Routing Problem (an NP-Hard problem) an exponential number of times. We therefore propose to model this problem as a coalitional bargaining game where - crucially - agents are not given access to the characteristic function. Instead, we implicitly reason about the characteristic function, and thus eliminate the need to evaluate the VRP an exponential number of times - we only need to evaluate it once. Our contribution is that our decentralised approach is both scalable and considers the self-interested nature of companies. The agents learn using a modified Independent Proximal Policy Optimisation. Our RL agents outperform a strong heuristic bot. The agents correctly identify the optimal coalitions 79% of the time with an average optimality gap of 4.2% and reduction in run-time of 62%.


title: $K$-theoretic counterexamples to Ravenel's telescope conjecture

abstract: At each prime $p$ and height $n+1 \ge 2$, we prove that the telescopic and chromatic localizations of spectra differ. Specifically, for $\mathbb{Z}$ acting by Adams operations on $\mathrm{BP}\langle n \rangle$, we prove that the $T(n+1)$-localized algebraic $K$-theory of $\mathrm{BP}\langle n \rangle^{h\mathbb{Z}}$ is not $K(n+1)$-local. We also show that Galois hyperdescent, $\mathbb{A}^1$-invariance, and nil-invariance fail for the $K(n+1)$-localized algebraic $K$-theory of $K(n)$-local $\mathbb{E}_{\infty}$-rings. In the case $n=1$ and $p \ge 7$ we make complete computations of $T(2)_*\mathrm{K}(R)$, for $R$ certain finite Galois extensions of the $K(1)$-local sphere. We show for $p\geq 5$ that the algebraic $K$-theory of the $K(1)$-local sphere is asymptotically $L_2^{f}$-local.