title: TensorFlow as a DSL for stencil-based computation on the Cerebras Wafer Scale Engine

abstract: The Cerebras Wafer Scale Engine (WSE) is an accelerator that combines hundreds of thousands of AI-cores onto a single chip. Whilst this technology has been designed for machine learning workloads, the significant amount of available raw compute means that it is also a very interesting potential target for accelerating traditional HPC computational codes. Many of these algorithms are stencil-based, where update operations involve contributions from neighbouring elements, and in this paper we explore the suitability of this technology for such codes from the perspective of an early adopter of the technology, compared to CPUs and GPUs. Using TensorFlow as the interface, we explore the performance and demonstrate that, whilst there is still work to be done around exposing the programming interface to users, performance of the WSE is impressive as it out performs four V100 GPUs by two and a half times and two Intel Xeon Platinum CPUs by around 114 times in our experiments. There is significant potential therefore for this technology to play an important role in accelerating HPC codes on future exascale supercomputers.


title: Coherent forward scattering as a robust probe of multifractality in critical disordered media

abstract: We study coherent forward scattering (CFS) in critical disordered systems, whose eigenstates are multifractals. We give general and simple arguments that make it possible to fully characterize the dynamics of the shape and height of the CFS peak. We show that the dynamics is governed by multifractal dimensions $D_1$ and $D_2$, which suggests that CFS could be used as an experimental probe for quantum multifractality. Our predictions are universal and numerically verified in three paradigmatic models of quantum multifractality: Power-law Random Banded Matrices (PRBM), the Ruijsenaars-Schneider ensembles (RS), and the three-dimensional kicked-rotor (3DKR). In the strong multifractal regime, we show analytically that these universal predictions exactly coincide with results from standard perturbation theory applied to the PRBM and RS models.


title: DeepVol: Volatility Forecasting from High-Frequency Data with Dilated Causal Convolutions

abstract: Volatility forecasts play a central role among equity risk measures. Besides traditional statistical models, modern forecasting techniques, based on machine learning, can readily be employed when treating volatility as a univariate, daily time-series. However, econometric studies have shown that increasing the number of daily observations with high-frequency intraday data helps to improve predictions. In this work, we propose DeepVol, a model based on Dilated Causal Convolutions to forecast day-ahead volatility by using high-frequency data. We show that the dilated convolutional filters are ideally suited to extract relevant information from intraday financial data, thereby naturally mimicking (via a data-driven approach) the econometric models which incorporate realised measures of volatility into the forecast. This allows us to take advantage of the abundance of intraday observations, helping us to avoid the limitations of models that use daily data, such as model misspecification or manually designed handcrafted features, whose devise involves optimising the trade-off between accuracy and computational efficiency and makes models prone to lack of adaptation into changing circumstances. In our analysis, we use two years of intraday data from NASDAQ-100 to evaluate DeepVol's performance. The reported empirical results suggest that the proposed deep learning-based approach learns global features from high-frequency data, achieving more accurate predictions than traditional methodologies, yielding to more appropriate risk measures.


title: A flag version of Beilinson-Drinfeld Grassmannian for surfaces

abstract: In this paper we define and study a generalization of the Belinson-Drinfeld Grassmannian to the case where the curve is replaced by a smooth projective surface $X$, and the trivialization data are given on loci suitably associated to a nonlinear flag of closed subschemes. In order to do this, we first establish some general formal gluing results for moduli of almost perfect complexes, perfect complexes and torsors. We then construct a simplicial object $Fl_X$ of flags of closed subschemes of a smooth projective surface $X$, naturally associated to the operation of taking union of flags. We prove that this simplicial object has the 2-Segal property. For an affine complex algebraic group $G$, we finally define a derived, flag analog $Gr_X$ of the Beilinson-Drinfeld Grassmannian of $G$-bundles on the surface $X$, and show that most of the properties of the Beilinson-Drinfeld Grassmannian for curves can be extended to our flag generalization. In particular, we prove a factorization formula, the existence of a canonical flat connection, and define a chiral product on suitable sheaves on $Fl_X$ and on $Gr_X$. We also sketch the construction of actions of flags analogs of the loop group and of the positive loop group on $Gr_X$. To fixed ``large'' flags on $X$, we associate ``exotic'' derived structures on the classical stack of $G$-bundles on $X$. Analogs of the flag Grassmannian for other Perf-local stacks (replacing the stack of $G$-bundles) are briefly considered, and flag factorization is proved for them, too.


title: Intermodulation Distortion in a Josephson Traveling Wave Parametric Amplifier

abstract: Josephson traveling wave parametric amplifiers enable the amplification of weak microwave signals close to the quantum limit with large bandwidth, which has a broad range of applications in superconducting quantum computing and in the operation of single-photon detectors. While the large bandwidth allows for their use in frequency-multiplexed detection architectures, an increased number of readout tones per amplifier puts more stringent requirements on the dynamic range to avoid saturation. Here, we characterize the undesired mixing processes between the different frequency-multiplexed tones applied to a Josephson traveling wave parametric amplifier, a phenomenon also known as intermodulation distortion. The effect becomes particularly significant when the amplifier is operated close to its saturation power. Furthermore, we demonstrate that intermodulation distortion can lead to significant crosstalk and reduction of fidelity for multiplexed readout of superconducting qubits. We suggest using large detunings between the pump and signal frequencies to mitigate crosstalk. Our work provides insights into the limitations of current Josephson traveling wave parametric amplifiers and highlights the importance of performing further research on these devices.


title: Non-linear Eulerian Hydrodynamics of Dark Energy: Riemann problem and Finite Volume Schemes

abstract: Upcoming large-scale-structure surveys can shed new light on the properties of dark energy. In particular, if dark energy is a dynamical component, it must have spatial perturbations. Their behaviour is regulated by the speed of sound parameter, which is currently unconstrained. In this work we present the numerical methods that will allow to perform cosmological simulations of inhomogeneous dark energy scenarios where the speed of sound is small and non-vanishing. We treat the dark energy component as an effective fluid and build upon established numerical methods for hydrodynamics to construct a numerical solution of the effective continuity and Euler equations. In particular, we develop conservative finite volume schemes that rely on the solution of the Riemann problem, which we provide here in both exact and approximate forms for the case of a dark energy fluid.


title: 4D Unsupervised Object Discovery

abstract: Object discovery is a core task in computer vision. While fast progresses have been made in supervised object detection, its unsupervised counterpart remains largely unexplored. With the growth of data volume, the expensive cost of annotations is the major limitation hindering further study. Therefore, discovering objects without annotations has great significance. However, this task seems impractical on still-image or point cloud alone due to the lack of discriminative information. Previous studies underlook the crucial temporal information and constraints naturally behind multi-modal inputs. In this paper, we propose 4D unsupervised object discovery, jointly discovering objects from 4D data -- 3D point clouds and 2D RGB images with temporal information. We present the first practical approach for this task by proposing a ClusterNet on 3D point clouds, which is jointly iteratively optimized with a 2D localization network. Extensive experiments on the large-scale Waymo Open Dataset suggest that the localization network and ClusterNet achieve competitive performance on both class-agnostic 2D object detection and 3D instance segmentation, bridging the gap between unsupervised methods and full supervised ones. Codes and models will be made available at https://github.com/Robertwyq/LSMOL.


title: SimSCOOD: Systematic Analysis of Out-of-Distribution Generalization in Fine-tuned Source Code Models

abstract: Large code datasets have become increasingly accessible for pre-training source code models. However, for the fine-tuning phase, obtaining representative training data that fully covers the code distribution for specific downstream tasks remains challenging due to the task-specific nature and limited labeling resources. Moreover, fine-tuning pretrained models can result in forgetting previously acquired pre-training knowledge. These lead to out-of-distribution (OOD) generalization issues with unexpected model inference behaviors that have not been systematically studied yet. In this paper, we contribute the first systematic approach that simulates various OOD scenarios along different dimensions of source code data properties and study the fine-tuned model behaviors in such scenarios. We investigate the behaviors of models under different fine-tuning methodologies, including full fine-tuning and Low-Rank Adaptation (LoRA) fine-tuning methods. Our comprehensive analysis, conducted on four state-of-the-art pretrained models and applied to two code generation tasks, exposes multiple failure modes attributed to OOD generalization issues. Additionally, our analysis uncovers that LoRA fine-tuning consistently exhibits significantly better OOD generalization performance than full fine-tuning across various scenarios.


title: Using Whole Slide Image Representations from Self-Supervised Contrastive Learning for Melanoma Concordance Regression

abstract: Although melanoma occurs more rarely than several other skin cancers, patients' long term survival rate is extremely low if the diagnosis is missed. Diagnosis is complicated by a high discordance rate among pathologists when distinguishing between melanoma and benign melanocytic lesions. A tool that provides potential concordance information to healthcare providers could help inform diagnostic, prognostic, and therapeutic decision-making for challenging melanoma cases. We present a melanoma concordance regression deep learning model capable of predicting the concordance rate of invasive melanoma or melanoma in-situ from digitized Whole Slide Images (WSIs). The salient features corresponding to melanoma concordance were learned in a self-supervised manner with the contrastive learning method, SimCLR. We trained a SimCLR feature extractor with 83,356 WSI tiles randomly sampled from 10,895 specimens originating from four distinct pathology labs. We trained a separate melanoma concordance regression model on 990 specimens with available concordance ground truth annotations from three pathology labs and tested the model on 211 specimens. We achieved a Root Mean Squared Error (RMSE) of 0.28 +/- 0.01 on the test set. We also investigated the performance of using the predicted concordance rate as a malignancy classifier, and achieved a precision and recall of 0.85 +/- 0.05 and 0.61 +/- 0.06, respectively, on the test set. These results are an important first step for building an artificial intelligence (AI) system capable of predicting the results of consulting a panel of experts and delivering a score based on the degree to which the experts would agree on a particular diagnosis. Such a system could be used to suggest additional testing or other action such as ordering additional stains or genetic tests.


title: Smooth linearization of nonautonomous dynamics under polynomial behaviour

abstract: The main purpose of this paper is to formulate new conditions for smooth linearization of nonautonomous systems with discrete and continuous time. Our results assume that the linear part admits a nonuniform polynomial dichotomy and that the associated polynomial dichotomy spectrum exhibits appropriate spectral gap and spectral band conditions. This is in sharp contrast to most of the previous results in the literature which assumed that the linear part admits an exponential dichotomy. Our techniques exploit the relationship between polynomial and exponential dichotomies via a suitable reparametrization of time.


title: Phenotype switching in chemotaxis aggregation models controls the spontaneous emergence of large densities

abstract: We consider a phenotype-switching chemotaxis model for aggregation, in which a chemotactic population is capable of switching back and forth between a chemotaxing state (performing chemotactic movement) and a secreting state (producing the attractant). We show that the switching rate provides a powerful mechanism for controlling the densities of spontaneously emerging aggregates. Specifically, in two- and three-dimensional settings it is shown that when both switching rates coincide and are suitably large, then the densities of both the chemotaxing and the secreting population will exceed any prescribed level at some points in the considered domain. This is complemented by two results asserting the absence of such aggregation phenomena in corresponding scenarios in which one of the switching rates remains within some bounded interval.


title: Generating image captions with external encyclopedic knowledge

abstract: Accurately reporting what objects are depicted in an image is largely a solved problem in automatic caption generation. The next big challenge on the way to truly humanlike captioning is being able to incorporate the context of the image and related real world knowledge. We tackle this challenge by creating an end-to-end caption generation system that makes extensive use of image-specific encyclopedic data. Our approach includes a novel way of using image location to identify relevant open-domain facts in an external knowledge base, with their subsequent integration into the captioning pipeline at both the encoding and decoding stages. Our system is trained and tested on a new dataset with naturally produced knowledge-rich captions, and achieves significant improvements over multiple baselines. We empirically demonstrate that our approach is effective for generating contextualized captions with encyclopedic knowledge that is both factually accurate and relevant to the image.


title: Efficient NTK using Dimensionality Reduction

abstract: Recently, neural tangent kernel (NTK) has been used to explain the dynamics of learning parameters of neural networks, at the large width limit. Quantitative analyses of NTK give rise to network widths that are often impractical and incur high costs in time and energy in both training and deployment. Using a matrix factorization technique, we show how to obtain similar guarantees to those obtained by a prior analysis while reducing training and inference resource costs. The importance of our result further increases when the input points' data dimension is in the same order as the number of input points. More generally, our work suggests how to analyze large width networks in which dense linear layers are replaced with a low complexity factorization, thus reducing the heavy dependence on the large width.


title: A stochastic integer programming approach to reserve staff scheduling with preferences

abstract: Nowadays, reaching a high level of employee satisfaction in efficient schedules is an important and difficult task faced by companies. We tackle a new variant of the personnel scheduling problem under unknown demand by considering employee satisfaction via endogenous uncertainty depending on the combination of their preferred and received schedules. We address this problem in the context of reserve staff scheduling, an unstudied operational problem from the transit industry. To handle the challenges brought by the two uncertainty sources, regular employee and reserve employee absences, we formulate this problem as a two-stage stochastic integer program with mixed-integer recourse. The first-stage decisions consist in finding the days off of the reserve employees. After the unknown regular employee absences are revealed, the second-stage decisions are to schedule the reserve staff duties. We incorporate reserve employees' days-off preferences into the model to examine how employee satisfaction may affect their own absence rates.


title: Topology vs localization in synthetic dimensions

abstract: Motivated by recent developments in quantum simulation of synthetic dimensions, e.g. in optical lattices of ultracold atoms, we discuss here $d$-dimensional periodic, gapped quantum systems for $d \le 4$, with focus on the topology of the occupied energy states. We perform this analysis by asking whether the spectral subspace below the gap can be spanned by smooth and periodic Bloch functions, corresponding to localized Wannier functions in position space. By constructing these Bloch functions inductively in the dimension, we show that if they are required to be orthonormal then in general their existence is obstructed by the first two Chern classes of the underlying Bloch bundle, with the second Chern class characterizing in particular the 4-dimensional situation. If the orthonormality constraint is relaxed, we show how $m$ occupied energy bands can be spanned by a Parseval frame comprising at most $m+2$ Bloch functions.


title: Towards a Theoretical Foundation of Policy Optimization for Learning Control Policies

abstract: Gradient-based methods have been widely used for system design and optimization in diverse application domains. Recently, there has been a renewed interest in studying theoretical properties of these methods in the context of control and reinforcement learning. This article surveys some of the recent developments on policy optimization, a gradient-based iterative approach for feedback control synthesis, popularized by successes of reinforcement learning. We take an interdisciplinary perspective in our exposition that connects control theory, reinforcement learning, and large-scale optimization. We review a number of recently-developed theoretical results on the optimization landscape, global convergence, and sample complexity of gradient-based methods for various continuous control problems such as the linear quadratic regulator (LQR), $\mathcal{H}_\infty$ control, risk-sensitive control, linear quadratic Gaussian (LQG) control, and output feedback synthesis. In conjunction with these optimization results, we also discuss how direct policy optimization handles stability and robustness concerns in learning-based control, two main desiderata in control engineering. We conclude the survey by pointing out several challenges and opportunities at the intersection of learning and control.


title: Bayesian Sparse Regression for Mixed Multi-Responses with Application to Runtime Metrics Prediction in Fog Manufacturing

abstract: Fog manufacturing can greatly enhance traditional manufacturing systems through distributed Fog computation units, which are governed by predictive computational workload offloading methods under different Industrial Internet architectures. It is known that the predictive offloading methods highly depend on accurate prediction and uncertainty quantification of runtime performance metrics, containing multivariate mixed-type responses (i.e., continuous, counting, binary). In this work, we propose a Bayesian sparse regression for multivariate mixed responses to enhance the prediction of runtime performance metrics and to enable the statistical inferences. The proposed method considers both group and individual variable selection to jointly model the mixed types of runtime performance metrics. The conditional dependency among multiple responses is described by a graphical model using the precision matrix, where a spike-and-slab prior is used to enable the sparse estimation of the graph. The proposed method not only achieves accurate prediction, but also makes the predictive model more interpretable with statistical inferences on model parameters and prediction in the Fog manufacturing. A simulation study and a real case example in a Fog manufacturing are conducted to demonstrate the merits of the proposed model.


title: High-redshift JWST Observations and Primordial Non-Gaussianity

abstract: Several bright and massive galaxy candidates at high redshifts have been recently observed by the James Webb Space Telescope. Such early massive galaxies seem difficult to reconcile with standard $\Lambda$ Cold Dark Matter model predictions. We discuss under which circumstances such observed massive galaxy candidates can be explained by introducing primordial non-Gaussianity in the initial conditions of the cosmological perturbations.


title: Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic

abstract: In this work, we present a novel robustness measure for continuous-time stochastic trajectories with respect to Signal Temporal Logic (STL) specifications. We show the soundness of the measure and develop a monitor for reasoning about partial trajectories. Using this monitor, we introduce an STL sampling-based motion planning algorithm for robots under uncertainty. Given a minimum robustness requirement, this algorithm finds satisfying motion plans; alternatively, the algorithm also optimizes for the measure. We prove probabilistic completeness and asymptotic optimality, and demonstrate the effectiveness of our approach on several case studies.


title: Angle-robust Two-Qubit Gates in a Linear Ion Crystal

abstract: In trapped-ion quantum computers, two-qubit entangling gates are generated by applying spin-dependent force which uses phonons to mediate interaction between the internal states of the ions. To maintain high-fidelity two-qubit gates under fluctuating experimental parameters, robust pulse-design methods are applied to remove the residual spin-motion entanglement in the presence of motional mode frequency drifts. Here we propose an improved pulse-design method that also guarantees the robustness of the two-qubit rotation angle against uniform mode frequency drifts by combining pulses with opposite sensitivity of the angle to mode frequency drifts. We experimentally measure the performance of the designed gates and see an improvement on both gate fidelity and gate performance under uniform mode frequency offsets.


title: Truncated proposals for scalable and hassle-free simulation-based inference

abstract: Simulation-based inference (SBI) solves statistical inverse problems by repeatedly running a stochastic simulator and inferring posterior distributions from model-simulations. To improve simulation efficiency, several inference methods take a sequential approach and iteratively adapt the proposal distributions from which model simulations are generated. However, many of these sequential methods are difficult to use in practice, both because the resulting optimisation problems can be challenging and efficient diagnostic tools are lacking. To overcome these issues, we present Truncated Sequential Neural Posterior Estimation (TSNPE). TSNPE performs sequential inference with truncated proposals, sidestepping the optimisation issues of alternative approaches. In addition, TSNPE allows to efficiently perform coverage tests that can scale to complex models with many parameters. We demonstrate that TSNPE performs on par with previous methods on established benchmark tasks. We then apply TSNPE to two challenging problems from neuroscience and show that TSNPE can successfully obtain the posterior distributions, whereas previous methods fail. Overall, our results demonstrate that TSNPE is an efficient, accurate, and robust inference method that can scale to challenging scientific models.


title: Ensemble Learning using Transformers and Convolutional Networks for Masked Face Recognition

abstract: Wearing a face mask is one of the adjustments we had to follow to reduce the spread of the coronavirus. Having our faces covered by masks constantly has driven the need to understand and investigate how this behavior affects the recognition capability of face recognition systems. Current face recognition systems have extremely high accuracy when dealing with unconstrained general face recognition cases but do not generalize well with occluded masked faces. In this work, we propose a system for masked face recognition. The proposed system comprises two Convolutional Neural Network (CNN) models and two Transformer models. The CNN models have been fine-tuned on FaceNet pre-trained model. We ensemble the predictions of the four models using the majority voting technique to identify the person with the mask. The proposed system has been evaluated on a synthetically masked LFW dataset created in this work. The best accuracy is obtained using the ensembled models with an accuracy of 92%. This recognition rate outperformed the accuracy of other models and it shows the correctness and robustness of the proposed model for recognizing masked faces. The code and data are available at https://github.com/Hamzah-Luqman/MFR


title: Do you pay for Privacy in Online learning?

abstract: Online learning, in the mistake bound model, is one of the most fundamental concepts in learning theory. Differential privacy, instead, is the most widely used statistical concept of privacy in the machine learning community. It is thus clear that defining learning problems that are online differentially privately learnable is of great interest. In this paper, we pose the question on if the two problems are equivalent from a learning perspective, i.e., is privacy for free in the online learning framework?


title: Rhombic Grids Reduce the Number of Voxels in Fast Pulse-Echo Ultrasound Imaging

abstract: Ultrafast imaging modes, such as coherent plane-wave compounding (CPWC), capture a large field of view in a single pulse-echo measurement using parallel receive focusing. The number of foci or, equivalently, the number of volume elements (voxels) in the image determines the computational costs and the memory consumption of the image formation. Herein, 120{\deg} rhombic grids are proposed to specify the voxel positions and reduce the number of voxels in comparison to orthogonal grids. The proposed grids derive from the bivariate sampling theorem and the spectral properties of the images formed by the delay-and-sum algorithm in CPWC. A phantom experiment validated the proposed grids and showed reductions in the number of voxels by 81.4 % and 14.7 % in comparison to the usual and optimal orthogonal grids, respectively. Mean structural similarity indices above 96.6 % and relative root mean-squared errors below 6.8 % confirmed the visual equivalence of all images after interpolations to the usual orthogonal grid.


title: Efficient Learning of Locomotion Skills through the Discovery of Diverse Environmental Trajectory Generator Priors

abstract: Data-driven learning based methods have recently been particularly successful at learning robust locomotion controllers for a variety of unstructured terrains. Prior work has shown that incorporating good locomotion priors in the form of trajectory generators (TGs) is effective at efficiently learning complex locomotion skills. However, defining a good, single TG as tasks/environments become increasingly more complex remains a challenging problem as it requires extensive tuning and risks reducing the effectiveness of the prior. In this paper, we present Evolved Environmental Trajectory Generators (EETG), a method that learns a diverse set of specialised locomotion priors using Quality-Diversity algorithms while maintaining a single policy within the Policies Modulating TG (PMTG) architecture. The results demonstrate that EETG enables a quadruped robot to successfully traverse a wide range of environments, such as slopes, stairs, rough terrain, and balance beams. Our experiments show that learning a diverse set of specialized TG priors is significantly (5 times) more efficient than using a single, fixed prior when dealing with a wide range of environments.


title: Long N-step Surrogate Stage Reward to Reduce Variances of Deep Reinforcement Learning in Complex Problems

abstract: High variances in reinforcement learning have shown impeding successful convergence and hurting task performance. As reward signal plays an important role in learning behavior, multi-step methods have been considered to mitigate the problem, and are believed to be more effective than single step methods. However, there is a lack of comprehensive and systematic study on this important aspect to demonstrate the effectiveness of multi-step methods in solving highly complex continuous control problems. In this study, we introduce a new long $N$-step surrogate stage (LNSS) reward approach to effectively account for complex environment dynamics while previous methods are usually feasible for limited number of steps. The LNSS method is simple, low computational cost, and applicable to value based or policy gradient reinforcement learning. We systematically evaluate LNSS in OpenAI Gym and DeepMind Control Suite to address some complex benchmark environments that have been challenging to obtain good results by DRL in general. We demonstrate performance improvement in terms of total reward, convergence speed, and coefficient of variation (CV) by LNSS. We also provide analytical insights on how LNSS exponentially reduces the upper bound on the variances of Q value from a respective single step method


title: The constant of point-line incidence constructions

abstract: We study a lower bound for the constant of the Szemer\'edi-Trotter theorem. In particular, we show that a recent infinite family of point-line configurations satisfies $I({\mathcal P},{\mathcal L})\ge (c+o(1)) |{\mathcal P}|^{2/3}|{\mathcal L}|^{2/3}$, with $c\approx 1.27$. Our technique is based on studying a variety of properties of Euler's totient function. We also improve the current best constant for Elekes's construction from 1 to about 1.27. From an expository perspective, this is the first full analysis of the constant of Erd\H os's construction.


title: Driving and characterizing nucleation of urea and glycine polymorphs in water

abstract: Crystal nucleation is relevant across the domains of fundamental and applied sciences. However, in many cases its mechanism remains unclear due to a lack of temporal or spatial resolution. To gain insights to the molecular details of nucleation, some form of molecular dynamics simulations is typically performed; these simulations, in turn, are limited by their ability to run long enough to sample the nucleation event thoroughly. To overcome the timescale limits in typical molecular dynamics simulations in a manner free of prior human bias, here we employ the machine learning augmented molecular dynamics framework ``Reweighted Autoencoded Variational Bayes for enhanced sampling (RAVE)". We study two molecular systems, urea and glycine in explicit all-atom water, due to their enrichment in polymorphic structures and common utility in commercial applications. From our simulations, we observe multiple back-and-forth liquid-solid transitions of different polymorphs and from these trajectories calculate the polymorph stability relative to the dissolved liquid state. We further observe that the obtained reaction coordinates and transitions are highly non-classical.


title: O'Grady spaces and symplectic resolution of moduli spaces of Higgs bundles

abstract: We describe here a degeneration of the symplectic desingularization of the moduli spaces of topologically trivial $GL(2,\mathbb{C})$ and $SL(2,\mathbb{C})$-Higgs bundles over a hyperelliptic curve, into O'Grady's ten and six dimensional exceptional examples of irreducible holomorphic symplectic manifolds. Most of this note is a survey of work on these degenerations by Donagi-Ein-Lazarsfeld, de Cataldo-Maulik-Shen and Felissetti-Mauri, although in certain cases we provide details that were missing the previous articles.


title: A Method to Achieve High Dynamic Range in a CMOS Image Sensor Using Interleaved Row Readout

abstract: We present a readout scheme for CMOS image sensors that can be used to achieve arbitrarily high dynamic range (HDR) in principle. The linear full well capacity (LFWC) in high signal regions was extended 50 times from 20 ke$^{-}$ to 984 ke$^{-}$ via an interlaced row-wise readout order, whilst the noise floor remained unchanged in low signal regions, resulting in a 34 dB increase in DR. The peak signal-to-noise ratio (PSNR) is increased in a continuous fashion from 43 dB to 60 dB. This was achieved by summing user-selected rows which were read out multiple times. Centroiding uncertainties were lowered when template-fitting a projected pattern, compared to the standard readout scheme. Example applications are aimed at scientific imaging due to the linearity and PSNR increase.


title: Higgs boson origin from a gauge symmetric theory of massive composite particles and massless $W^\pm$ and $Z^0$ bosons at the TeV scale

abstract: The ultraviolet completion is the Standard Model (SM) gauge-symmetric four-fermion couplings at the high-energy cutoff. Composite particles appear in the gauge symmetric phase in contrast with SM particles in the spontaneous symmetry-breaking phase. The critical point between the two phases is a weak first-order transition. It relates to an ultraviolet fixed point for an SM gauge symmetric theory of composite particles in the strong coupling regime. The low-energy SM realizes at an infrared fixed point in the weak coupling regime. Composite bosons dissolve into SM particles at the phase transition, and in the top-quark channel, they become a composite SM Higgs boson and three Goldstone bosons. Extrapolation of SM renormalization-group solutions to high energies implies that the gauge-symmetric theory of composite particles has a characteristic scale of about $5.1$ TeV. We discuss the phenomenological implications of composite SM Higgs boson in the gauge symmetry-breaking phase and massive composite bosons coupling to massless $W^\pm$ and $Z^0$ gauge bosons in the gauge symmetric phase.


title: Data types as a more ergonomic frontend for Grammar-Guided Genetic Programming

abstract: Genetic Programming (GP) is an heuristic method that can be applied to many Machine Learning, Optimization and Engineering problems. In particular, it has been widely used in Software Engineering for Test-case generation, Program Synthesis and Improvement of Software (GI). Grammar-Guided Genetic Programming (GGGP) approaches allow the user to refine the domain of valid program solutions. Backus Normal Form is the most popular interface for describing Context-Free Grammars (CFG) for GGGP. BNF and its derivatives have the disadvantage of interleaving the grammar language and the target language of the program. We propose to embed the grammar as an internal Domain-Specific Language in the host language of the framework. This approach has the same expressive power as BNF and EBNF while using the host language type-system to take advantage of all the existing tooling: linters, formatters, type-checkers, autocomplete, and legacy code support. These tools have a practical utility in designing software in general, and GP systems in particular. We also present Meta-Handlers, user-defined overrides of the tree-generation system. This technique extends our object-oriented encoding with more practicability and expressive power than existing CFG approaches, achieving the same expressive power of Attribute Grammars, but without the grammar vs target language duality. Furthermore, we evidence that this approach is feasible, showing an example Python implementation as proof. We also compare our approach against textual BNF-representations w.r.t. expressive power and ergonomics. These advantages do not come at the cost of performance, as shown by our empirical evaluation on 5 benchmarks of our example implementation against PonyGE2. We conclude that our approach has better ergonomics with the same expressive power and performance of textual BNF-based grammar encodings.


title: Efficient Analysis Routines for Single and Double Peaked Type 2 AGN Spectra

abstract: Driven by the imminent need to rapidly process and classify millions of AGN spectra drawn from next generation astronomical facilities, we present a spectral fitting routine for Type 2 AGN spectra optimised for high volume processing, using the Quasar Spectral Fitting library (QSFit). We analyse an optically selected sample of 813 luminous Type 2 AGN spectra at $z < 0.83$ from the Sloan Digital Sky Survey (SDSS) to qualify its performance. We report a median narrow line H$\alpha$/H$\beta$ Balmer decrement of 4.5$\pm$0.8, alluding to the presence of dust in the narrow line region (NLR). We publish a specialised QSFit fitting routine for high signal to noise ratio spectra and general fitting routine for double peaked Type 2 AGN spectra applied on a sub-sample of 45 spectra from our parent sample. We report a median red and blue peak velocity separation of 390$\pm$60kms$^{-1}$. No trend is found for red or blue peaks to exhibit systematically different luminosity or ionization properties. Emission line diagnostics show that the double peaks in all sources are illuminated by an AGN-powered ionizing continuum. Finally, we examine the morphology of host galaxies of our double peaked sample. We find double peaked Type 2 AGN reside in merging systems at a comparable frequency to single peaked AGN. This suggests that the double peaked AGN phenomenon is likely to have a bi-conical outflow origin in the majority of cases. We publicly release the code used for spectral analysis and produced catalogues used in this work.


title: Assessing Neural Referential Form Selectors on a Realistic Multilingual Dataset

abstract: Previous work on Neural Referring Expression Generation (REG) all uses WebNLG, an English dataset that has been shown to reflect a very limited range of referring expression (RE) use. To tackle this issue, we build a dataset based on the OntoNotes corpus that contains a broader range of RE use in both English and Chinese (a language that uses zero pronouns). We build neural Referential Form Selection (RFS) models accordingly, assess them on the dataset and conduct probing experiments. The experiments suggest that, compared to WebNLG, OntoNotes is better for assessing REG/RFS models. We compare English and Chinese RFS and confirm that, in line with linguistic theories, Chinese RFS depends more on discourse context than English.


title: Hierarchical3D Adapters for Long Video-to-text Summarization

abstract: In this paper, we focus on video-to-text summarization and investigate how to best utilize multimodal information for summarizing long inputs (e.g., an hour-long TV show) into long outputs (e.g., a multi-sentence summary). We extend SummScreen (Chen et al., 2021), a dialogue summarization dataset consisting of transcripts of TV episodes with reference summaries, and create a multimodal variant by collecting corresponding full-length videos. We incorporate multimodal information into a pre-trained textual summarizer efficiently using adapter modules augmented with a hierarchical structure while tuning only 3.8\% of model parameters. Our experiments demonstrate that multimodal information offers superior performance over more memory-heavy and fully fine-tuned textual summarization methods.


title: Breaking through the Mermin-Wagner limit in 2D van der Waals magnets

abstract: The Mermin-Wagner theorem states that long-range magnetic order does not exist in one- or two-dimensional (2D) isotropic magnets with short-ranged interactions. The theorem has been a milestone in magnetism and has been driving the research of recently discovered 2D van der Waals (vdW) magnetic materials from fundamentals up to potential applications. In such systems, the existence of magnetic ordering is typically attributed to the presence of a significant magnetic anisotropy, which is known to introduce a spin-wave gap and circumvent the core assumption of the theorem. Here we show that in finite-size 2D vdW magnets typically found in lab setups (e.g., within millimetres), short-range interactions can be large enough to allow the stabilisation of magnetic order at finite temperatures without any magnetic anisotropy for practical implementations. We demonstrate that magnetic ordering can be created in flakes of 2D materials independent of the lattice symmetry due to the intrinsic nature of the spin exchange interactions and finite-size effects in two-dimensions. Surprisingly we find that the crossover temperature, where the intrinsic magnetisation changes from superparamagnetic to a completely disordered paramagnetic regime, is weakly dependent on the system length, requiring giant sizes (e.g., of the order of the observable universe ~10$^{26}$ m) in order to observe the vanishing of the magnetic order at cryogenic temperatures as expected from the Mermin-Wagner theorem. Our findings indicate exchange interactions as the main driving force behind the stabilisation of short-range order in 2D magnetism and broaden the horizons of possibilities for exploration of compounds with low anisotropy at an atomically thin level.

categories: cond-mat.mtrl-sci cond-mat.mes-hall cond-mat.stat-mech cond-mat.str-el cond-mat.supr-con


title: Visual Prompt Tuning for Test-time Domain Adaptation

abstract: Models should be able to adapt to unseen data during test-time to avoid performance drops caused by inevitable distribution shifts in real-world deployment scenarios. In this work, we tackle the practical yet challenging test-time adaptation (TTA) problem, where a model adapts to the target domain without accessing the source data. We propose a simple recipe called \textit{Data-efficient Prompt Tuning} (DePT) with two key ingredients. First, DePT plugs visual prompts into the vision Transformer and only tunes these source-initialized prompts during adaptation. We find such parameter-efficient finetuning can efficiently adapt the model representation to the target domain without overfitting to the noise in the learning objective. Second, DePT bootstraps the source representation to the target domain by memory bank-based online pseudo-labeling. A hierarchical self-supervised regularization specially designed for prompts is jointly optimized to alleviate error accumulation during self-training. With much fewer tunable parameters, DePT demonstrates not only state-of-the-art performance on major adaptation benchmarks VisDA-C, ImageNet-C, and DomainNet-126, but also superior data efficiency, i.e., adaptation with only 1\% or 10\% data without much performance degradation compared to 100\% data. In addition, DePT is also versatile to be extended to online or multi-source TTA settings.


title: The full coverage approach to the detection of Extensive Air Showers

abstract: A shower array exploiting the full coverage approach with a high segmentation of the readout allow to image the front of atmospheric showers with unprecedented resolution and detail. The grid distance determines the energy threshold (small energy showers are lost in the gap between detectors) and the quality of the shower sampling. Therefore, this experimental solution is needed to detect showers with a threshold in the 100 GeV range. The full coverage approach has been exploited in the ARGO-YBJ experiment. In this contribution we will summarise the advantages of this technique and discuss possible applications in new wide field of view detectors.

categories: astro-ph.HE astro-ph.IM hep-ex physics.ins-det


title: Design and implementation of a device based on an off-axis parabolic mirror to perform luminescence experiments in a scanning tunneling microscope

abstract: We present the design, implementation, and illustrative results of a light collection/injection strategy based on an off-axis parabolic mirror collector for a low-temperature Scanning Tunneling Microscope (STM). This device allows us to perform STM induced Light Emission (STM-LE) and Cathodoluminescence (STM-CL) experiments and in situ Photoluminescence (PL) and Raman spectroscopy as complementary techniques. Considering the \'Etendue conservation and using an off-axis parabolic mirror, it is possible to design a light collection and injection system that displays 72% of collection efficiency (considering the hemisphere above the sample surface) while maintaining high spectral resolution and minimizing signal loss. The performance of the STM is tested by atomically resolved images and scanning tunneling spectroscopy results on standard sample surfaces. The capabilities of our system are demonstrated by performing STM-LE on metallic surfaces and two-dimensional semiconducting samples, observing both plasmonic and excitonic emissions. In addition, we carried out in situ PL measurements on semiconducting monolayers and quantum dots and in situ Raman on graphite and hexagonal boron nitride (h-BN) samples. Additionally, STM-CL and PL were obtained on monolayer h-BN gathering luminescence spectra that are typically associated with intragap states related to carbon defects. The results show that the flexible and efficient light injection and collection device based on an off-axis parabolic mirror is a powerful tool to study several types of nanostructures with multiple spectroscopic techniques in correlation with their morphology at the atomic scale and electronic structure.


title: Knowledge Distillation Transfer Sets and their Impact on Downstream NLU Tasks

abstract: Teacher-student knowledge distillation is a popular technique for compressing today's prevailing large language models into manageable sizes that fit low-latency downstream applications. Both the teacher and the choice of transfer set used for distillation are crucial ingredients in creating a high quality student. Yet, the generic corpora used to pretrain the teacher and the corpora associated with the downstream target domain are often significantly different, which raises a natural question: should the student be distilled over the generic corpora, so as to learn from high-quality teacher predictions, or over the downstream task corpora to align with finetuning? Our study investigates this trade-off using Domain Classification (DC) and Intent Classification/Named Entity Recognition (ICNER) as downstream tasks. We distill several multilingual students from a larger multilingual LM with varying proportions of generic and task-specific datasets, and report their performance after finetuning on DC and ICNER. We observe significant improvements across tasks and test sets when only task-specific corpora is used. We also report on how the impact of adding task-specific data to the transfer set correlates with the similarity between generic and task-specific data. Our results clearly indicate that, while distillation from a generic LM benefits downstream tasks, students learn better using target domain data even if it comes at the price of noisier teacher predictions. In other words, target domain data still trumps teacher knowledge.


title: Factoring Numbers with elliptic curves

abstract: In the present paper we provide a probabilistic polynomial time algorithm that reduces the complete factorization of any squarefree integer $n$ to counting points on elliptic curves modulo $n$, succeeding with probability $1-\varepsilon$, for any $\varepsilon<0$ .


title: Spatial asymptotic expansions in the Navier-Stokes equation

abstract: We prove that the Navier-Stokes equation for a viscous incompressible fluid in $\mathbb{R}^d$ is locally well-posed in spaces of functions allowing spatial asymptotic expansions with log terms as $|x|\to\infty$ of any a priori given order. The solution depends analytically on the initial data and time so that for any $0<\vartheta<\pi/2$ it can be holomorphically extended in time to a conic sector in $\mathbb{C}$ with angle $2\vartheta$ at zero. We discuss the approximation of solutions by their asymptotic parts.


title: Second-Order, Biconformally Invariant Scalar-Tensor Field Theories in a Four-Dimensional Space

abstract: In this paper I shall consider field theories in a space of four-dimensions which have field variables consisting of the components of a metric tensor and scalar field. The field equations of these scalar-tensor field theories will be derivable from a variational principle using a Lagrange scalar density which is a concomitant of the field variables and their derivatives of arbitrary, but finite, order. I shall consider biconformal transformations of the field variables, which are conformal transformations which affect both the metric tensor and scalar field. A necessary and sufficient condition will be developed to determine when the Euler-Lagrange tensor densities are biconformally invariant. This condition will be employed to construct all of the second-order biconformally invariant scalar-tensor field theories in a space of four-dimensions. It turns out that the field equations of these theories can be derived from a linear combination of (at most) two second-order Lagrangians, with the coefficients in that linear combination being real constants.


title: Pseudo-countable models

abstract: Every mathematical structure has an elementary extension to a pseudo-countable structure, one that is seen as countable inside a suitable class model of set theory, even though it may actually be uncountable. This observation, proved easily with the Boolean ultrapower theorem, enables a sweeping generalization of results concerning countable models to a rich realm of uncountable models. The Barwise extension theorem, for example, holds amongst the pseudo-countable models -- every pseudo-countable model of ZF admits an end extension to a model of ZFC+V=L. Indeed, the class of pseudo-countable models is a rich multiverse of set-theoretic worlds, containing elementary extensions of any given model of set theory and closed under forcing extensions and interpreted models, while simultaneously fulfilling the Barwise extension theorem, the Keisler-Morley theorem, the resurrection theorem, and the universal finite sequence theorem, among others.


title: Benchmarking Reinforcement Learning Techniques for Autonomous Navigation

abstract: Deep reinforcement learning (RL) has brought many successes for autonomous robot navigation. However, there still exists important limitations that prevent real-world use of RL-based navigation systems. For example, most learning approaches lack safety guarantees; and learned navigation systems may not generalize well to unseen environments. Despite a variety of recent learning techniques to tackle these challenges in general, a lack of an open-source benchmark and reproducible learning methods specifically for autonomous navigation makes it difficult for roboticists to choose what learning methods to use for their mobile robots and for learning researchers to identify current shortcomings of general learning methods for autonomous navigation. In this paper, we identify four major desiderata of applying deep RL approaches for autonomous navigation: (D1) reasoning under uncertainty, (D2) safety, (D3) learning from limited trial-and-error data, and (D4) generalization to diverse and novel environments. Then, we explore four major classes of learning techniques with the purpose of achieving one or more of the four desiderata: memory-based neural network architectures (D1), safe RL (D2), model-based RL (D2, D3), and domain randomization (D4). By deploying these learning techniques in a new open-source large-scale navigation benchmark and real-world environments, we perform a comprehensive study aimed at establishing to what extent can these techniques achieve these desiderata for RL-based navigation systems.


title: Rieoptax: Riemannian Optimization in JAX

abstract: We present Rieoptax, an open source Python library for Riemannian optimization in JAX. We show that many differential geometric primitives, such as Riemannian exponential and logarithm maps, are usually faster in Rieoptax than existing frameworks in Python, both on CPU and GPU. We support various range of basic and advanced stochastic optimization solvers like Riemannian stochastic gradient, stochastic variance reduction, and adaptive gradient methods. A distinguishing feature of the proposed toolbox is that we also support differentially private optimization on Riemannian manifolds.


title: Color flux-tube nature of the states $T_{cs}(2900)$ and $T^a_{c\bar{s}}(2900)$

abstract: Inspired by the states $T_{cs0}(2900)^0$, $T_{cs1}(2900)^0$, $T^a_{c\bar{s}0}(2900)^{0}$ and $T^a_{c\bar{s}0}(2900)^{++}$ reported by the LHCb Collaboration, we carry out a systematical investigation on the properties of the ground and $P$-wave states $[cs][\bar{u}\bar{d}]$ and $[cu][\bar{s}\bar{d}]$ with various spin, isospin or $U$-spin, and color combinations in a multiquark color flux-tube model. Matching our results with the spin-parity and mass of the states $T_{cs0}(2900)^0$ and $T_{cs1}(2900)^0$, we can describe them as the compact states $[cs][\bar{u}\bar{d}]$ with $I(J^{P})=1(0^+)$ and $0(1^-)$ in the model, respectively. The ground state $T_{cs0}(2900)^0$ is mainly made of strongly overlapped an axial-vector $[cs]_{\bar{\mathbf{3}}_c}$ and an axial-vector $[\bar{u}\bar{d}]_{\mathbf{3}_c}$. The $P$-wave state $T_{cs1}(2900)^0$ is dominantly consisted of a gradually separated scalar or axial vector $[cs]_{\bar{\mathbf{3}}_c}$ and a scalar $[\bar{u}\bar{d}]_{\mathbf{3}_c}$ in the shape of a dumbbell. Supposing the states $T^a_{c\bar{s}0}(2900)^{0}$ and $T^a_{c\bar{s}0}(2900)^{++}$ belong to the same isospin triplet, the mass of the state $\left [[cu]_{\bar{\mathbf{3}}_c}[\bar{s}\bar{d}]_ {\mathbf{3}_c}\right ]_{\mathbf{1}_c}$ with symmetrical $U$-spin and $J^P=0^+$ is highly consistent with that of the states $T^a_{c\bar{s}0}(2900)^{0}$ and $T^a_{c\bar{s}0}(2900)^{++}$ in the model. After coupling two color configurations, the state $[cu][\bar{s}\bar{d}]$ is slightly lighter than the states $T^a_{c\bar{s}0}(2900)^{0}$ and $T^a_{c\bar{s}0}(2900)^{++}$. In addition, we also discuss the properties of other states in the model.


title: Loss and decoherence at the quantum Hall - superconductor interface

abstract: We perform a systematic study of Andreev conversion at the interface between a superconductor and graphene in the quantum Hall (QH) regime. We find that the probability of Andreev conversion from electrons to holes follows an unexpected but clear trend: the dependencies on temperature and magnetic field are nearly decoupled. We discuss these trends and the role of the superconducting vortices, whose normal cores could both absorb and dephase the individual electrons in a QH edge. Our study may pave the road to engineering future generation of hybrid devices for exploiting superconductivity proximity in chiral channels.


title: Multi-Modal Fusion by Meta-Initialization

abstract: When experience is scarce, models may have insufficient information to adapt to a new task. In this case, auxiliary information - such as a textual description of the task - can enable improved task inference and adaptation. In this work, we propose an extension to the Model-Agnostic Meta-Learning algorithm (MAML), which allows the model to adapt using auxiliary information as well as task experience. Our method, Fusion by Meta-Initialization (FuMI), conditions the model initialization on auxiliary information using a hypernetwork, rather than learning a single, task-agnostic initialization. Furthermore, motivated by the shortcomings of existing multi-modal few-shot learning benchmarks, we constructed iNat-Anim - a large-scale image classification dataset with succinct and visually pertinent textual class descriptions. On iNat-Anim, FuMI significantly outperforms uni-modal baselines such as MAML in the few-shot regime. The code for this project and a dataset exploration tool for iNat-Anim are publicly available at https://github.com/s-a-malik/multi-few .


title: Time-Frequency Analysis and Coorbit Spaces of Operators

abstract: We introduce an operator valued Short-Time Fourier Transform for certain classes of operators with operator windows, and show that the transform acts in an analogous way to the Short-Time Fourier Transform for functions, in particular giving rise to a family of vector-valued reproducing kernel Banach spaces, the so called coorbit spaces, as spaces of operators. As a result of this structure the operators generating equivalent norms on the function modulation spaces are fully classified. We show that these operator spaces have the same atomic decomposition properties as the function spaces, and use this to give a characterisation of the spaces using localisation operators.


title: FS-DETR: Few-Shot DEtection TRansformer with prompting and without re-training

abstract: This paper is on Few-Shot Object Detection (FSOD), where given a few templates (examples) depicting a novel class (not seen during training), the goal is to detect all of its occurrences within a set of images. From a practical perspective, an FSOD system must fulfil the following desiderata: (a) it must be used as is, without requiring any fine-tuning at test time, (b) it must be able to process an arbitrary number of novel objects concurrently while supporting an arbitrary number of examples from each class and (c) it must achieve accuracy comparable to a closed system. Towards satisfying (a)-(c), in this work, we make the following contributions: We introduce, for the first time, a simple, yet powerful, few-shot detection transformer (FS-DETR) based on visual prompting that can address both desiderata (a) and (b). Our system builds upon the DETR framework, extending it based on two key ideas: (1) feed the provided visual templates of the novel classes as visual prompts during test time, and (2) ``stamp'' these prompts with pseudo-class embeddings (akin to soft prompting), which are then predicted at the output of the decoder. Importantly, we show that our system is not only more flexible than existing methods, but also, it makes a step towards satisfying desideratum (c). Specifically, it is significantly more accurate than all methods that do not require fine-tuning and even matches and outperforms the current state-of-the-art fine-tuning based methods on the most well-established benchmarks (PASCAL VOC & MSCOCO).


title: Thermal Activation of Dry Sliding Friction at The Nano-scale

abstract: Molecular dynamic (MD) simulations are applied to investigate the dependency of the kinetic friction coefficient on the temperature at the nano-scale. The system is comprised of an aluminum spherical particle consisting of 32000 atoms in an FCC lattice sliding on a stack of several layers of graphene, and the simulations have done using LAMMPS. The interaction potential is charge-optimized many-body (COMB3) potential and a Langevin thermostat keep the system at a nearly constant temperature. With an assumption of linear viscous friction, $F_{fr}= - \gamma v$, the kinetic friction coefficient $\gamma$ is derived and plotted at different temperatures in the interval of $T \in [1, 600] K$. As a result, by increasing temperature, the kinetic friction coefficient is decreased. Consequently, while the friction is assumed as a linear viscous model, the results are similar to the thermal activation in atomic-scale friction. That is, (1) by increasing sliding velocity friction force will be increased and (2) by increasing temperature, kinetic friction coefficient decreases.


title: NerfAcc: A General NeRF Acceleration Toolbox

abstract: We propose NerfAcc, a toolbox for efficient volumetric rendering of radiance fields. We build on the techniques proposed in Instant-NGP, and extend these techniques to not only support bounded static scenes, but also for dynamic scenes and unbounded scenes. NerfAcc comes with a user-friendly Python API, and is ready for plug-and-play acceleration of most NeRFs. Various examples are provided to show how to use this toolbox. Code can be found here: https://github.com/KAIR-BAIR/nerfacc. Note this write-up matches with NerfAcc v0.3.5. For the latest features in NerfAcc, please check out our more recent write-up at arXiv:2305.04966


title: A novel generative method for star clusters from hydro-dynamical simulations

abstract: Most stars form in clumpy and sub-structured clusters. These properties also emerge in hydro-dynamical simulations of star-forming clouds, which provide a way to generate realistic initial conditions for $N-$body runs of young stellar clusters. However, producing large sets of initial conditions by hydro-dynamical simulations is prohibitively expensive in terms of computational time. We introduce a novel technique for generating new initial conditions from a given sample of hydro-dynamical simulations, at a tiny computational cost. In particular, we apply a hierarchical clustering algorithm to learn a tree representation of the spatial and kinematic relations between stars, where the leaves represent the single stars and the nodes describe the structure of the cluster at larger and larger scales. This procedure can be used as a basis for the random generation of new sets of stars, by simply modifying the global structure of the stellar cluster, while leaving the small-scale properties unaltered.


title: Reconstructing velocity and pressure from sparse noisy particle tracks using Physics-Informed Neural Networks

abstract: Volume-resolving imaging techniques are rapidly advancing progress in experimental fluid mechanics. However, reconstructing the full and structured Eulerian velocity and pressure fields from sparse and noisy particle tracks obtained experimentally remains a significant challenge. We introduce a new method for this reconstruction, based on Physics-Informed Neural Networks (PINNs). The method uses a Neural Network regularized by the Navier-Stokes equations to interpolate the velocity data and simultaneously determine the pressure field. We compare this approach to the state-of-the-art Constrained Cost Minimization method [1]. Using data from direct numerical simulations and various types of synthetically generated particle tracks, we show that PINNs are able to accurately reconstruct both velocity and pressure even in regions with low particle density and small accelerations. PINNs are also robust against increasing the distance between particles and the noise in the measurements, when studied under synthetic and experimental conditions.


title: Centre-free kurtosis orderings for asymmetric distributions

abstract: The concept of kurtosis is used to describe and compare theoretical and empirical distributions in a multitude of applications. In this connection, it is commonly applied to asymmetric distributions. However, there is no rigorous mathematical foundation establishing what is meant by kurtosis of an asymmetric distribution and what is required to measure it properly. All corresponding proposals in the literature centre the comparison with respect to kurtosis around some measure of central location. Since this either disregards critical amounts of information or is too restrictive, we instead revisit a canonical approach that has barely received any attention in the literature. It reveals the non-transitivity of kurtosis orderings due to an intrinsic entanglement of kurtosis and skewness as the underlying problem. This is circumvented by restricting attention to sets of distributions with equal skewness, on which the proposed kurtosis ordering is shown to be transitive. Moreover, we introduce a functional that preserves this order for arbitrary asymmetric distributions. As application, we examine the families of Weibull and sinh-arsinh distributions and show that the latter family exhibits a skewness-invariant kurtosis behaviour.


title: Pfister's local-global principle for Azumaya algebras with involution

abstract: We prove Pfister's local-global principle for hermitian forms over Azumaya algebras with involution over semilocal rings, and show in particular that the Witt group of nonsingular hermitian forms is $2$-primary torsion. Our proof relies on a hermitian version of Sylvester's law of inertia, which is obtained from an investigation of the connections between a pairing of hermitian forms extensively studied by Garrel, signatures of hermitian forms, and positive semidefinite quadratic forms.


title: Learning Real-world Autonomous Navigation by Self-Supervised Environment Synthesis

abstract: Machine learning approaches have recently enabled autonomous navigation for mobile robots in a data-driven manner. Since most existing learning-based navigation systems are trained with data generated in artificially created training environments, during real-world deployment at scale, it is inevitable that robots will encounter unseen scenarios, which are out of the training distribution and therefore lead to poor real-world performance. On the other hand, directly training in the real world is generally unsafe and inefficient. To address this issue, we introduce Self-supervised Environment Synthesis (SES), in which, after real-world deployment with safety and efficiency requirements, autonomous mobile robots can utilize experience from the real-world deployment, reconstruct navigation scenarios, and synthesize representative training environments in simulation. Training in these synthesized environments leads to improved future performance in the real world. The effectiveness of SES at synthesizing representative simulation environments and improving real-world navigation performance is evaluated via a large-scale deployment in a high-fidelity, realistic simulator and a small-scale deployment on a physical robot.


title: Carbon nanotube substrates enhance SARS-CoV-2 spike protein ion yields in matrix assisted laser desorption-ionization mass spectrometry

abstract: Nanostructured surfaces enhance ion yields in matrix assisted laser desorption-ionization mass spectrometry (MALDI-MS). The spike protein complex, S1, is one fingerprint signature of Sars-CoV-2 with a mass of 75 kDa. Here, we show that MALDI-MS yields of Sars-CoV-2 spike protein ions in the 100 kDa range are enhanced 50-fold when the matrix-analyte solution is placed on substrates that are coated with a dense forest of multi-walled carbon nanotubes, compared to yields from uncoated substrates. Nanostructured substrates can support the development of mass spectrometry techniques for sensitive pathogen detection and environmental monitoring.


title: Some properties on extremes for transient random walks in random sceneries

abstract: Let $(S_n)_{n \geq 0}$ be a transient random walk in the domain of attraction of a stable law and let $(\xi(s))_{s \in \mathbb{Z}}$ be a stationary sequence of random variables. In a previous work, under conditions of type $D(u_n)$ and $D'(u_n)$, we established a limit theorem for the maximum of the first $n$ terms of the sequence $(\xi(S_n))_{n\geq 0}$ as $n$ goes to infinity. In this paper we show that, under the same conditions and under a suitable scaling, the point process of exceedances converges to a Poisson point process. We also give some properties of $(\xi(S_n))_{n\geq 0}$.


title: 3D Quantum Gravity from Holomorphic Blocks

abstract: Three-dimensional gravity is a topological field theory, which can be quantized as the Ponzano-Regge state-sum model built from the $\{3nj\}$-symbols of the recoupling of the $\SU(2)$ representations, in which spins are interpreted as quantized edge lengths in Planck units. It describes the flat spacetime as gluing of three-dimensional cells with a fixed boundary metric encoding length scale. In this paper, we revisit the Ponzano-Regge model formulated in terms of spinors and rewrite the quantum geometry of 3D cells with holomorphic recoupling symbols. These symbols, known as Schwinger's generating function for the $\{6j\}$-symbols, are simply the squared inverse of the partition function of the 2D Ising model living on the boundary of the 3D cells. They can furthermore be interpreted, in their critical regime, as scale-invariant basic elements of geometry. We show how to glue them together into a discrete topological quantum field theory. This reformulation of the path integral for 3D quantum gravity, with a rich pole structure of the elementary building blocks, opens a new door toward the study of phase transitions and continuum limits in 3D quantum gravity, and offers a new twist on the construction of a duality between 3D quantum gravity and a 2d conformal theory.


title: A Posteriori Error Estimate and Adaptivity for QM/MM Models of Crystalline Defects

abstract: Hybrid quantum/molecular mechanics (QM/MM) models play a pivotal role in molecular simulations. These models provide a balance between accuracy, surpassing pure MM models, and computational efficiency, offering advantages over pure QM models. Adaptive approaches have been developed to further improve this balance by allowing on-the-fly selection of the QM and MM subsystems as necessary. We propose a novel and robust adaptive QM/MM method for practical material defect simulations. To ensure mathematical consistency with the QM reference model, we employ machine-learning interatomic potentials (MLIPs) as the MM models. Our adaptive QM/MM method utilizes a residual-based error estimator that provides both upper and lower bounds for the approximation error, thus indicating its reliability and efficiency. Furthermore, we introduce a novel adaptive algorithm capable of anisotropically updating the QM/MM partitions. This update is based on the proposed residual-based error estimator and involves solving a free interface motion problem, which is efficiently achieved using the fast marching method. We demonstrate the robustness of our approach via numerical tests on a wide range of crystalline defects.


title: Efficient characterization of qudit logical gates with gate set tomography using an error-free Virtual-Z-gate model

abstract: Gate-set tomography (GST) characterizes the process matrix of quantum logic gates, along with measurement and state preparation errors in quantum processors. GST typically requires extensive data collection and significant computational resources for model estimation. We propose a more efficient GST approach for qudits, utilizing the qudit Hadamard and virtual Z gates to construct fiducials while assuming virtual Z gates are error-free. Our method reduces the computational costs of estimating characterization results, making GST more practical at scale. We experimentally demonstrate the applicability of this approach on a superconducting transmon qutrit.


title: Eigenvalue processes in light of Riemannian submersion and gradient flow of isospectral orbits

abstract: We prove eigenvalue processes from dynamical random matrix theory including Dyson Brownian motion, Wishart process, and Dynkin's Brownian motion of ellipsoids are results of projecting Brownian motion through Riemannian submersions induced by isometric action of compact Lie groups, whose orbits have nonzero mean curvature, which contributes to drift terms and is the log gradient of orbit volume function, showing in another way that eigenvalues collide whenever the fibre is degenerate. We thus provide a unified treatment and better connection between eigenvalue processes in different settings with the language of Riemannian geometry. Under such interpretation, we see how we can naturally recover eigenvector processes and derive $\beta$ process such as $\beta$-Dyson Brownian motion for general $\beta>0$. \textbf{KEYWORDS}: eigenvalue process, symmetric space, mean curvature flow, gradient flow, isospectral manifold, random matrix ensemble


title: Advanced Tri-Sectoral Multi-User Millimeter-Wave Smart Repeater

abstract: Smart Repeaters (SR) can potentially enhance the coverage in Millimeter-wave (mmWave) wireless communications. However, the angular coverage of the existing two-panel SR is too limited to make the SR a truly cost-effective mmWave range extender. This paper proposes the usage of a tri-sectoral Advanced SR (ASR) to extend the angular coverage with respect to conventional SR. We propose a multi-user precoder optimization for ASR in a downlink multi-carrier communication system to maximize the number of served User Equipments (UEs) while guaranteeing constraints on per-UE rate and time-frequency resources. Numerical results show the benefits of the ASR against conventional SR in terms of both cumulative spectral efficiency and number of served UEs (both improved by an average factor 2), varying the system parameters.


title: Second-order regression models exhibit progressive sharpening to the edge of stability

abstract: Recent studies of gradient descent with large step sizes have shown that there is often a regime with an initial increase in the largest eigenvalue of the loss Hessian (progressive sharpening), followed by a stabilization of the eigenvalue near the maximum value which allows convergence (edge of stability). These phenomena are intrinsically non-linear and do not happen for models in the constant Neural Tangent Kernel (NTK) regime, for which the predictive function is approximately linear in the parameters. As such, we consider the next simplest class of predictive models, namely those that are quadratic in the parameters, which we call second-order regression models. For quadratic objectives in two dimensions, we prove that this second-order regression model exhibits progressive sharpening of the NTK eigenvalue towards a value that differs slightly from the edge of stability, which we explicitly compute. In higher dimensions, the model generically shows similar behavior, even without the specific structure of a neural network, suggesting that progressive sharpening and edge-of-stability behavior aren't unique features of neural networks, and could be a more general property of discrete learning algorithms in high-dimensional non-linear models.


title: Associated $\phi$ and $J/\Psi$ photoproduction in ultraperipheral $PbPb$ collisions at the Large Hadron Collider and Future Circular Collider

abstract: In this paper we analyze the associated $\phi$ and $J/\Psi$ photoproduction in ultraperipheral $PbPb$ collisions through the double scattering mechanism for the energies of the Large Hadron Collider (LHC) and Future Circular Collider (FCC). Our results complement a previous analysis for the $\rho\rho$, $J/\Psi J/\Psi$ and $\rho J/\Psi$ production. We present our predictions for the total cross sections and rapidity distributions considering the rapidity ranges covered by the ALICE and LHCb detectors, which indicate that a future experimental analysis of $\phi J/\Psi$ final state is feasible. These results point out that the study of the double vector meson photoproduction in heavy ion collisions can be useful to constrain the double scattering mechanism and improve our understanding of the QCD dynamics at high energies.


title: Sedimentation path theory for mass-polydisperse colloidal systems

abstract: Both polydispersity and the presence of a gravitational field are inherent to essentially any colloidal experiment. While several theoretical works have focused on the effect of polydispersity on the bulk phase behavior of a colloidal system, little is known about the effect of a gravitational field on a polydisperse colloidal suspension. We extend here sedimentation path theory to study sedimentation-diffusion-equilibrium of a mass-polydisperse colloidal system: the particles possess different buoyant masses but they are otherwise identical. The model helps to understand the interplay between gravity and polydispersity on sedimentation experiments. Since the theory can be applied to any parent distribution of buoyant masses, it can be also used to study sedimentation of monodisperse colloidal systems. We find that mass-polydispersity has a strong influence in colloidal systems near density matching for which the bare density of the colloidal particles equals the solvent density. To illustrate the theory, we study crystallization in sedimentation-diffusion-equilibrium of a suspension of mass-polydisperse hard spheres.


title: Deep and fast Solar System flybys: The controversial case of WD 0810-353

abstract: Context. Most flybys in the Galactic disk are distant, beyond 10,000 AU, and have characteristic velocities of about 70 km/s. However, deep and fast encounters also take place, albeit with lower probability, particularly if one of the objects involved is a stellar remnant ejected during a supernova. WD 0810-353 might be a high velocity white dwarf, and it was recently identified as heading straight for the Solar System; however, the Gaia DR3 data that support its future deep and fast flyby are regarded as suspicious. Aims. Here, we reanalyze the Gaia DR3 data set associated with WD 0810-353 to confirm or reject the reality of its Solar System flyby and also to investigate its possible runaway status. Methods. We studied the evolution of WD 0810-353 forward in time using N-body simulations. We computed the distribution of distances of closest approach and their associated times of perihelion passage. We used a statistical analysis of the kinematics of this object to assess its possible hypervelocity. We compared its mean BP/RP spectrum to those of other well-studied white dwarfs. Results. We confirm that WD 0810-353 is headed for the Solar System, but the actual parameters of the encounter depend strongly on its radial velocity. The Gaia DR3 value of -373.74+/-8.18 km/s is strongly disfavored by our analyses. Its mean BP/RP spectrum suggests a value over ten times higher based on the position of its putative Halpha line. However, spectral matching using other white dwarfs with non-Gaia data indicate a radial velocity in the interval (-60, -70) km/s. Conclusions. These results confirm the future flyby of WD 0810-353 near the Solar System, although the relative velocity could be high enough or the minimum approach distance large enough to preclude any significant perturbation on the Oort cloud.


title: Transformer-based Localization from Embodied Dialog with Large-scale Pre-training

abstract: We address the challenging task of Localization via Embodied Dialog (LED). Given a dialog from two agents, an Observer navigating through an unknown environment and a Locator who is attempting to identify the Observer's location, the goal is to predict the Observer's final location in a map. We develop a novel LED-Bert architecture and present an effective pretraining strategy. We show that a graph-based scene representation is more effective than the top-down 2D maps used in prior works. Our approach outperforms previous baselines.


title: Tracking changes using Kullback-Leibler divergence for the continual learning

abstract: Recently, continual learning has received a lot of attention. One of the significant problems is the occurrence of \emph{concept drift}, which consists of changing probabilistic characteristics of the incoming data. In the case of the classification task, this phenomenon destabilizes the model's performance and negatively affects the achieved prediction quality. Most current methods apply statistical learning and similarity analysis over the raw data. However, similarity analysis in streaming data remains a complex problem due to time limitation, non-precise values, fast decision speed, scalability, etc. This article introduces a novel method for monitoring changes in the probabilistic distribution of multi-dimensional data streams. As a measure of the rapidity of changes, we analyze the popular Kullback-Leibler divergence. During the experimental study, we show how to use this metric to predict the concept drift occurrence and understand its nature. The obtained results encourage further work on the proposed methods and its application in the real tasks where the prediction of the future appearance of concept drift plays a crucial role, such as predictive maintenance.


title: PoGaIN: Poisson-Gaussian Image Noise Modeling from Paired Samples

abstract: Image noise can often be accurately fitted to a Poisson-Gaussian distribution. However, estimating the distribution parameters from a noisy image only is a challenging task. Here, we study the case when paired noisy and noise-free samples are accessible. No method is currently available to exploit the noise-free information, which may help to achieve more accurate estimations. To fill this gap, we derive a novel, cumulant-based, approach for Poisson-Gaussian noise modeling from paired image samples. We show its improved performance over different baselines, with special emphasis on MSE, effect of outliers, image dependence, and bias. We additionally derive the log-likelihood function for further insights and discuss real-world applicability.


title: Contra-Analysis: Prioritizing Meaningful Effect Size in Scientific Research

abstract: At every phase of scientific research, scientists must decide how to allocate limited resources to pursue the research inquiries with the greatest potential. This prioritization dictates which controlled interventions are studied, awarded funding, published, reproduced with repeated experiments, investigated in related contexts, and translated for societal use. There are many factors that influence this decision-making, but interventions with larger effect size are often favored because they exert the greatest influence on the system studied. To inform these decisions, scientists must compare effect size across studies with dissimilar experiment designs to identify the interventions with the largest effect. These studies are often only loosely related in nature, using experiments with a combination of different populations, conditions, timepoints, measurement techniques, and experiment models that measure the same phenomenon with a continuous variable. We name this assessment contra-analysis and propose to use credible intervals of the relative difference in means to compare effect size across studies in a meritocracy between competing interventions. We propose a data visualization, the contra plot, that allows scientists to score and rank effect size between studies that measure the same phenomenon, aid in determining an appropriate threshold for meaningful effect, and perform hypothesis tests to determine which interventions have meaningful effect size. We illustrate the use of contra plots with real biomedical research data. Contra-analysis promotes a practical interpretation of effect size and facilitates the prioritization of scientific research.


title: Deep object detection for waterbird monitoring using aerial imagery

abstract: Monitoring of colonial waterbird nesting islands is essential to tracking waterbird population trends, which are used for evaluating ecosystem health and informing conservation management decisions. Recently, unmanned aerial vehicles, or drones, have emerged as a viable technology to precisely monitor waterbird colonies. However, manually counting waterbirds from hundreds, or potentially thousands, of aerial images is both difficult and time-consuming. In this work, we present a deep learning pipeline that can be used to precisely detect, count, and monitor waterbirds using aerial imagery collected by a commercial drone. By utilizing convolutional neural network-based object detectors, we show that we can detect 16 classes of waterbird species that are commonly found in colonial nesting islands along the Texas coast. Our experiments using Faster R-CNN and RetinaNet object detectors give mean interpolated average precision scores of 67.9% and 63.1% respectively.


title: A copula-based boosting model for time-to-event prediction with dependent censoring

abstract: A characteristic feature of time-to-event data analysis is possible censoring of the event time. Most of the statistical learning methods for handling censored data are limited by the assumption of independent censoring, even if this can lead to biased predictions when the assumption does not hold. This paper introduces Clayton-boost, a boosting approach built upon the accelerated failure time model, which uses a Clayton copula to handle the dependency between the event and censoring distributions. By taking advantage of a copula, the independent censoring assumption is not needed any more. During comparisons with commonly used methods, Clayton-boost shows a strong ability to remove prediction bias at the presence of dependent censoring and outperforms the comparing methods either if the dependency strength or percentage censoring are considerable. The encouraging performance of Clayton-boost shows that there is indeed reasons to be critical about the independent censoring assumption, and that real-world data could highly benefit from modelling the potential dependency.


title: SMiLE: Schema-augmented Multi-level Contrastive Learning for Knowledge Graph Link Prediction

abstract: Link prediction is the task of inferring missing links between entities in knowledge graphs. Embedding-based methods have shown effectiveness in addressing this problem by modeling relational patterns in triples. However, the link prediction task often requires contextual information in entity neighborhoods, while most existing embedding-based methods fail to capture it. Additionally, little attention is paid to the diversity of entity representations in different contexts, which often leads to false prediction results. In this situation, we consider that the schema of knowledge graph contains the specific contextual information, and it is beneficial for preserving the consistency of entities across contexts. In this paper, we propose a novel Schema-augmented Multi-level contrastive LEarning framework (SMiLE) to conduct knowledge graph link prediction. Specifically, we first exploit network schema as the prior constraint to sample negatives and pre-train our model by employing a multi-level contrastive learning method to yield both prior schema and contextual information. Then we fine-tune our model under the supervision of individual triples to learn subtler representations for link prediction. Extensive experimental results on four knowledge graph datasets with thorough analysis of each component demonstrate the effectiveness of our proposed framework against state-of-the-art baselines. The implementation of SMiLE is available at https://github.com/GKNL/SMiLE.


title: Certified Training: Small Boxes are All You Need

abstract: To obtain, deterministic guarantees of adversarial robustness, specialized training methods are used. We propose, SABR, a novel such certified training method, based on the key insight that propagating interval bounds for a small but carefully selected subset of the adversarial input region is sufficient to approximate the worst-case loss over the whole region while significantly reducing approximation errors. We show in an extensive empirical evaluation that SABR outperforms existing certified defenses in terms of both standard and certifiable accuracies across perturbation magnitudes and datasets, pointing to a new class of certified training methods promising to alleviate the robustness-accuracy trade-off.


title: Sequential Neural Score Estimation: Likelihood-Free Inference with Conditional Score Based Diffusion Models

abstract: We introduce Sequential Neural Posterior Score Estimation (SNPSE), a score-based method for Bayesian inference in simulator-based models. Our method, inspired by the remarkable success of score-based methods in generative modelling, leverages conditional score-based diffusion models to generate samples from the posterior distribution of interest. The model is trained using an objective function which directly estimates the score of the posterior. We embed the model into a sequential training procedure, which guides simulations using the current approximation of the posterior at the observation of interest, thereby reducing the simulation cost. We also introduce several alternative sequential approaches, and discuss their relative merits. We then validate our method, as well as its amortised, non-sequential, variant on several numerical examples, demonstrating comparable or superior performance to existing state-of-the-art methods such as Sequential Neural Posterior Estimation (SNPE).


title: CORE: A Retrieve-then-Edit Framework for Counterfactual Data Generation

abstract: Counterfactual data augmentation (CDA) -- i.e., adding minimally perturbed inputs during training -- helps reduce model reliance on spurious correlations and improves generalization to out-of-distribution (OOD) data. Prior work on generating counterfactuals only considered restricted classes of perturbations, limiting their effectiveness. We present COunterfactual Generation via Retrieval and Editing (CORE), a retrieval-augmented generation framework for creating diverse counterfactual perturbations for CDA. For each training example, CORE first performs a dense retrieval over a task-related unlabeled text corpus using a learned bi-encoder and extracts relevant counterfactual excerpts. CORE then incorporates these into prompts to a large language model with few-shot learning capabilities, for counterfactual editing. Conditioning language model edits on naturally occurring data results in diverse perturbations. Experiments on natural language inference and sentiment analysis benchmarks show that CORE counterfactuals are more effective at improving generalization to OOD data compared to other DA approaches. We also show that the CORE retrieval framework can be used to encourage diversity in manually authored perturbations


title: Lipschitz continuity of quantum-classical conditional entropies with respect to angular distance and related properties

abstract: We derive a Lipschitz continuity bound for quantum-classical conditional entropies with respect to angular distance, with a Lipschitz constant that is independent of the dimension of the conditioning system. This bound is sharper in some situations than previous continuity bounds, which were either based on trace distance (where Lipschitz continuity is not possible), or based on angular distance but did not include a conditioning system. However, we find that the bound does not directly generalize to fully quantum conditional entropies. To investigate possible counterexamples in that setting, we study the characterization of states which saturate the Fuchs--van de Graaf inequality and thus have angular distance approximately equal to trace distance. We give an exact characterization of such states in the invertible case. For the noninvertible case, we show that the situation appears to be significantly more elaborate, and seems to be strongly connected to the question of characterizing the set of fidelity-preserving measurements.


title: Conditions for proton temperature anisotropy to drive instabilities in the solar wind

abstract: Using high-resolution data from Solar Orbiter, we investigate the plasma conditions necessary for the proton temperature anisotropy driven mirror-mode and oblique firehose instabilities to occur in the solar wind. We find that the unstable plasma exhibits dependencies on the angle between the direction of the magnetic field and the bulk solar wind velocity which cannot be explained by the double-adiabatic expansion of the solar wind alone. The angle dependencies suggest that perpendicular heating in Alfv\'enic wind may be responsible. We quantify the occurrence rate of the two instabilities as a function of the length of unstable intervals as they are convected over the spacecraft. This analysis indicates that mirror-mode and oblique firehose instabilities require a spatial interval of length greater than 2 to 3 unstable wavelengths in order to relax the plasma into a marginally stable state and thus closer to thermodynamic equilibrium in the solar wind. Our analysis suggests that the conditions for these instabilities to act effectively vary locally on scales much shorter than the correlation length of solar wind turbulence.


title: Parametric Simulation of Dynamic Glazing System with Changeable NIR Response

abstract: Windows are one of the main contributors to building energy consumption, and emerging dynamic window technologies offer improved performance. Specifically, NIRfocused window technologies are desirable in climates that consume both heating and cooling energy. However, the whole building energy effects of changeable NIR response of building windows have not been captured, largely due to the lack of an appropriate energy simulation method and NIR-focused window modeling. This study focuses on developing a simulation method that enables the comprehensive evaluation of the whole building energy effects of dynamic NIR modulations. Using an EnergyPlus EMS-based parametric framework, annual energy savings were estimated for a switchable between glass built-in system across three representative cities in ASHRAE climate zones 3, 4, and 5. This NIR-focused technology yielded energy savings of up to 19%. The results demonstrate the effects of NIR-focused window technologies on heating and cooling loads in different climates.


title: Topological Phases and Curvature-Driven Pattern Formation in Cholesteric Shells

abstract: We study the phase behaviour of cholesteric liquid crystal shells with different geometries. We compare the cases of tangential and no anchoring at the surface, focussing on the former case, which leads to a competition between the intrinsic tendency of the cholesteric to twist and the anchoring free energy which suppresses it. We then characterise the topological phases arising close to the isotropic-cholesteric transition. These typically consist of quasi-crystalline or amorphous tessellations of the surface by half-skyrmions, which are stable at lower and larger shell size respectively. For ellipsoidal shells, defects in the tessellation couple to local curvature, and according to the shell size they either migrate to the poles or distribute uniformly on the surface. For toroidal shells, the variations in the local curvature of the surface stabilises heterogeneous phases where cholesteric or isotropic patterns coexist with hexagonal lattices of half-skyrmions.


title: Translate First Reorder Later: Leveraging Monotonicity in Semantic Parsing

abstract: Prior work in semantic parsing has shown that conventional seq2seq models fail at compositional generalization tasks. This limitation led to a resurgence of methods that model alignments between sentences and their corresponding meaning representations, either implicitly through latent variables or explicitly by taking advantage of alignment annotations. We take the second direction and propose TPOL, a two-step approach that first translates input sentences monotonically and then reorders them to obtain the correct output. This is achieved with a modular framework comprising a Translator and a Reorderer component. We test our approach on two popular semantic parsing datasets. Our experiments show that by means of the monotonic translations, TPOL can learn reliable lexico-logical patterns from aligned data, significantly improving compositional generalization both over conventional seq2seq models, as well as over other approaches that exploit gold alignments.


title: Forward silicon tracking detector developments for the future Electron-Ion Collider

abstract: The future Electron-Ion Collider (EIC) will utilize a series of high-luminosity high-energy electron+proton ($e+p$) and electron+nucleus ($e+A$) collisions to explore the inner structure of nucleon and nucleus and the matter formation process. Heavy flavor hadron and jet measurements at the EIC will play an essential role in determining the nucleon/nucleus parton distribution function and heavy quark hadronization process in not well constrained kinematic regions. A high granularity and low material budget forward silicon tracker will enable precise forward heavy flavor measurements at the EIC, which have enhanced sensitivities to access these kinematic extremes. A Forward Silicon Tracker (FST) detector is under design and R$\&$D for the EIC. Two advanced silicon technologies, the Depleted Monolithic Active Pixel Sensor (DMAPS) and the AC coupled Low Gain Avalanche Diode (AC-LGAD), which can provide fine spatial and timing resolutions, have been considered as candidates for the EIC silicon tracking detector. Progresses and results about the FST conceptual design and ongoing DMAPS and LGAD detector R$\&$D will be presented. The path towards an integrated EIC detector will be discussed as well.


title: Obvious Independence of Clones

abstract: The Independence of Clones (IoC) criterion for social choice functions (voting rules) measures a function's robustness to strategic nomination. However, prior literature has established empirically that individuals cannot always recognize whether or not a mechanism is strategy-proof and may still submit costly, distortionary misreports even in strategy-proof settings. The intersection of these issues motivates the search for mechanisms which are Obviously Independent of Clones (OIoC): where strategic nomination or strategic exiting of clones obviously have no effect on the outcome of the election. We examine three IoC ranked-choice voting mechanisms and the pre-existing proofs that they are independent of clones: Single Transferable Vote (STV), Ranked Pairs, and the Schulze method. We construct a formal definition of a voting system being Obviously Independent of Clones based on a reduction to a clocked election by considering a bounded agent. Finally, we show that STV and Ranked Pairs are OIoC, whereas we prove an impossibility result for the Schulze method showing that this voting system is not OIoC.