title: Cracking Double-Blind Review: Authorship Attribution with Deep Learning

abstract: Double-blind peer review is considered a pillar of academic research because it is perceived to ensure a fair, unbiased, and fact-centered scientific discussion. Yet, experienced researchers can often correctly guess from which research group an anonymous submission originates, biasing the peer-review process. In this work, we present a transformer-based, neural-network architecture that only uses the text content and the author names in the bibliography to attribute an anonymous manuscript to an author. To train and evaluate our method, we created the largest authorship identification dataset to date. It leverages all research papers publicly available on arXiv amounting to over 2 million manuscripts. In arXiv-subsets with up to 2,000 different authors, our method achieves an unprecedented authorship attribution accuracy, where up to 73% of papers are attributed correctly. We present a scaling analysis to highlight the applicability of the proposed method to even larger datasets when sufficient compute capabilities are more widely available to the academic community. Furthermore, we analyze the attribution accuracy in settings where the goal is to identify all authors of an anonymous manuscript. Thanks to our method, we are not only able to predict the author of an anonymous work, but we also provide empirical evidence of the key aspects that make a paper attributable. We have open-sourced the necessary tools to reproduce our experiments.


title: Weighted $\infty$-Willmore Spheres

abstract: On the two-sphere $\Sigma$, we consider the problem of minimising among suitable immersions $f \,\colon \Sigma \rightarrow \mathbb{R}^3$ the weighted $L^\infty$ norm of the mean curvature $H$, with weighting given by a prescribed ambient function $\xi$, subject to a fixed surface area constraint. We show that, under a low-energy assumption which prevents topological issues from arising, solutions of this problem and also a more general set of ``pseudo-minimiser'' surfaces must satisfy a second-order PDE system obtained as the limit as $p \rightarrow \infty$ of the Euler-Lagrange equations for the approximating $L^p$ problems. This system gives some information about the geometric behaviour of the surfaces, and in particular implies that their mean curvature takes on at most three values: $H \in \{ \pm \vert \vert \xi H \vert \vert_{L^\infty} \}$ away from the nodal set of the PDE system, and $H = 0$ on the nodal set (if it is non-empty).


title: Adaptive Analytical Ray Tracing of Black Hole Photon Rings

abstract: Recent interferometric observations by the Event Horizon Telescope have resolved the horizon-scale emission from sources in the vicinity of nearby supermassive black holes. Future space-based interferometers promise to measure the "photon ring"--a narrow, ring-shaped, lensed feature predicted by general relativity, but not yet observed--and thereby open a new window into strong gravity. Here we present AART: an Adaptive Analytical Ray-Tracing code that exploits the integrability of light propagation in the Kerr spacetime to rapidly compute high-resolution simulated black hole images, together with the corresponding radio visibility accessible on very long space-ground baselines. The code samples images on a nonuniform adaptive grid that is specially tailored to the lensing behavior of the Kerr geometry and is therefore particularly well-suited to studying photon rings. This numerical approach guarantees that interferometric signatures are correctly computed on long baselines, and the modularity of the code allows for detailed studies of equatorial sources with complex emission profiles and time variability. To demonstrate its capabilities, we use AART to simulate a black hole movie of a stochastic, non-stationary, non-axisymmetric equatorial source; by time-averaging the visibility amplitude of each snapshot, we are able to extract the projected diameter of the photon ring and recover the shape predicted by general relativity.


title: On the homology of big mapping class groups

abstract: We prove that the mapping class group of the one-holed Cantor tree surface is acyclic. This in turn determines the homology of the mapping class group of the once-punctured Cantor tree surface (i.e. the plane minus a Cantor set), in particular answering a recent question of Calegari and Chen. We in fact prove these results for a general class of infinite-type surfaces called binary tree surfaces. To prove our results we use two main ingredients: one is a modification of an argument of Mather related to the notion of dissipated groups; the other is a general homological stability result for mapping class groups of infinite-type surfaces.


title: Optimal investment with insider information using Skorokhod & Russo-Vallois integration

abstract: We study the maximization of the logarithmic utility of an insider with different anticipating techniques. Our aim is to compare the usage of the forward and Skorokhod integrals in this context with multiple assets. We show theoretically and with simulations that the Skorokhod insider always overcomes the forward insider, just the opposite of what happens in the case of risk-neutral traders. Moreover, an ordinary trader might overcome both insiders if there is a large enough negative fluctuation in the driving stochastic process that leads to a negative enough final value. Our results point to the fact that the interplay between anticipating stochastic calculus and nonlinear utilities might yield non-intuitive results from the financial viewpoint.


title: A new method using machine learning to integrate ECG and gated SPECT MPI for Cardiac Resynchronization Therapy Decision Support on behalf of the VISION-CRT

abstract: Cardiac resynchronization therapy (CRT) has been established as an important therapy for heart failure. Mechanical dyssynchrony has the potential to predict responders to CRT. The aim of this study was to report the development and the validation of machine learning (ML) models which integrates ECG, gated SPECT MPI (GMPS) and clinical variables to predict patients' response to CRT. This analysis included 153 patients who met criteria for CRT from a prospective cohort study. The variables were used to modeling predictive methods for CRT. Patients were classified as responders for an increase of LVEF>=5% at follow-up. In a second analysis, patients were classified super-responders for increase of LVEF>=15%. For ML, variable selection was applied, and Prediction Analysis of Microarrays (PAM) approach was used for response modeling while Naive Bayes (NB) was used for super-response. They were compared to models obtained with guideline variables. PAM had AUC of 0.80 against 0.71 of logistic regression with guideline variables (p = 0.47). The sensitivity (0.86) and specificity (0.75) were better than for guideline alone, sensitivity (0.72) and specificity (0.22). Neural network with guideline variables outperformed NB (AUC = 0.87 vs 0.86; p = 0.88). Its sensitivity and specificity (1.0 and 0.75, respectively) was better than guideline alone (0.40 and 0.06, respectively). Compared to guideline criteria, ML methods trended towards improved CRT response and super-response prediction. GMPS had a central role in the acquisition of most parameters. Further studies are needed to validate the models.


title: The simulation of non-Hermitian disordered system in linear circuits

abstract: Non-Hermitian skin effect (NHSE) is a novel phenomenon appearing in non-Hermitian systems. Here, we report the experimental observation of NHSE. Different from the previous non-reciprocal circuit implementation scheme using logic components, we construct our one-dimensional (1D) circuits using linear components only. Besides, we achieve the non-reciprocity by proportionally varying the parameter value of the components. By measuring the voltage response of each site, the information of eigenstates can be mapped out. The results show that the voltage response is always larger on one end of the circuit no matter on which end voltage driving is applied, indicating clearly the presence of the NHSE. Furthermore, we also simulate the interplay of NHSE and Anderson localization (AL) when additional disorder is introduced. Upon increasing the disorder strength, we observe the transformation from the skin effect phase to the localized phase. In the regime of skin effect phase, the eigenstates are all localized at one edge while eigenstates are affected by the voltage supply input in localized phase. Our findings unveil a possible new route for simulation of topological phenomena in non-Hermitian systems.


title: On Some Variants Of Schinzel's Theorem For Global Function Fields

abstract: In this paper, we obtain global function field versions of the results of Schinzel - Postnikova for multiplicative groups, and of Hahn - Cheon for elliptic curves, which is an analog of the former result.


title: Acoustic radiation from a superconducting qubit: From spontaneous emission to Rabi oscillations

abstract: Acoustic spontaneous emission into bulk dielectrics can be a strong source of decoherence in quantum devices, especially when a qubit is in the presence of piezoelectric materials. We study the dynamics of a qubit coupled to an acoustic resonator by a piezoelectric film. By varying the surface topography of the resonator from rough to polished to shaped, we explore the crossover from fast decay of an excited qubit to quantum-coherent coupling between the qubit and an isolated phonon mode. Our experimental approach may be used for precision measurements of crystalline vibrations, the design of quantum memories, and the study of electro-mechanical contributions to dielectric loss.


title: The effect of cities and distance on COVID-19 spreading in the United States

abstract: The COVID-19 pandemic has evolved over time through multiple spatial and temporal dynamics. The varying extent of interactions among different geographical areas can result to a complex pattern of spreading so that influences between these areas can be hard to discern. Here, we use cross-correlation analysis to detect synchronous evolution and potential inter-influences in the time evolution of new COVID-19 cases at the county level in the USA. Our analysis identified two main time periods with distinguishable features in the behavior of correlations. In the first phase, there were few strong correlations which only emerged between urban areas. In the second phase of the epidemic, strong correlations became widespread and there was a clear directionality of influence from urban to rural areas. In general, the effect of distance between two counties was much weaker than that of the counties population. Such analysis can provide possible clues on the evolution of the disease and may identify parts of the country where intervention may be more efficient in limiting the disease spread.


title: Search for boosted keV-MeV light dark matter particles from evaporating primordial black holes at the CDEX-10 experiment

abstract: We present novel constraints on boosted light dark matter particles (denoted as ``$\chi$'') from evaporating primordial black holes (PBHs) using 205.4 kg$\cdot$day data from the China Jinping Underground Laboratory's CDEX-10 p-type point contact germanium detector with a 160 eVee analysis threshold. $\chi$ from PBHs with masses ranging from 1$\times$10$^{15}$ g to 7$\times$10$^{16}$ g are searched in this work. In the presence of PBH abundance compatible with present bounds, our result excludes the $\chi$-nucleon elastic-scattering cross section region from 3.4$\times$10$^{-32}$ cm$^{2}$ to 2.3$\times$10$^{-29}$ cm$^{2}$ for $\chi$ of 1 keV to 24 MeV from PBHs with masses of 5$\times$10$^{15}$ g, as well as from 1.1$\times$10$^{-28}$ cm$^{2}$ to 7.6$\times$10$^{-28}$ cm$^{2}$ for $\chi$ of 1 keV to 0.6 MeV from PBHs with masses of 7$\times$10$^{16}$ g. If the $\chi$-nucleon elastic-scattering cross section can be determined in the future, the abundance of PBHs may be severely constrained by $\chi$ evaporation. With the lower threshold (160 eVee) of the CDEX-10 experiment compared to the previously used experiments, this work allows for a better reach at soft spectra produced by heavier PBHs, which demonstrates the vast potential of such a technical route to pursue $\chi$ from larger PBHs with a low threshold.


title: Study of $HZZ$ anomalous couplings by angular differential cross sections

abstract: Being one of the golden channels for precise measurement of Higgs properties, the process $gg \to H\to ZZ \rightarrow 4l$ provides an opportunity to detect the anomalous $HZZ$ couplings in searching of new physics beyond the Standard Model. In this paper, we adopt the method of spinor helicity amplitudes to calculate the amplitudes of process $gg \to H \to ZZ \rightarrow 2e2\mu$ at the LHC in the frame of the effective dimension-6 operators. Signal processes of CP-even and CP-odd anomalous $HVV$ couplings in Higgs on/off-shell region and their interference are simulated by using the package MCFM. The most sensitive angle $\phi$ to extract the CP violated $HZZ$ coupling coefficients, which is defined as the angle between two $Z$ decay planes in Higgs rest frame, is found for experimental measurements.


title: Spreading processes with population heterogeneity over multi-layer networks

abstract: It's been controversial whether re-opening school will facilitate viral spread among household communities with mitigation strategies such as mask-wearing in place. In this work, we propose an epidemiological model that explores the viral transmission over the multi-layer contact network composed of the school layer and community layer with population heterogeneity on mask-wearing behavior. We derive analytical expressions for three key epidemiological quantities: the probability of emergence, the epidemic threshold, and the expected epidemic size. In particular, we show how the aforementioned quantities depend on the structure of the multi-layer contact network, viral transmission dynamics, and the distribution of the different types of masks within the population. Through extensive simulations, our analytical results show near-perfect agreement with the simulation results with a limited number of nodes. Utilizing the model, we study the impact of the opening/closure of the school layer on the viral transmission dynamics with various mask-wearing scenarios. Interestingly, we found that it's safe to open the school layer with the proper proportion of good-quality masks in the population. Moreover, we validate the theory of the trade-off between source-control and self-protection over a single layer by Tian et al on our multi-layer setting. We conclude that even on a multi-layer network, it's of great significance to treat the spreading process as two distinct phases in mind when considering mitigation strategies. Besides, we would like to remark that our model of spreading process over multi-layer networks with population heterogeneity can also be applied to various other domains, such as misinformation control.


title: Electroadhesive Clutches for Programmable Shape Morphing of Soft Actuators

abstract: Soft robotic actuators are safe and adaptable devices with inherent compliance, which makes them attractive for manipulating delicate and complex objects. Researchers have integrated stiff materials into soft actuators to increase their force capacity and direct their deformation. However, these embedded materials have largely been pre-prescribed and static, which constrains the actuators to a predetermined range of motion. In this work, electroadhesive (EA) clutches integrated on a single-chamber soft pneumatic actuator (SPA) provide local programmable stiffness modulation to control the actuator deformation. We show that activating different clutch patterns inflates a silicone membrane into pyramidal, round, and plateau shapes. Curvatures from these shapes are combined during actuation to apply forces on both a 3.7 g and 820 g object along five different degrees of freedom (DoF). The actuator workspace is up to 12 mm for light objects. Clutch deactivation, which results in local elastomeric expansion, rapidly applies forces up to 3.2 N to an object resting on the surface and launches a 3.7 g object in controlled directions. The actuator also rotates a heavier, 820 g, object by 5 degrees and rapidly restores it to horizontal alignment after clutch deactivation. This actuator is fully powered by a 5 V battery, AA battery, DC-DC transformer, and 4.5 V (63 g) DC air pump. These results demonstrate a first step towards realizing a soft actuator with high DoF shape change that preserves the inherent benefits of pneumatic actuation while gaining the electrical controllability and strength of EA clutches. We envision such a system supplying human contact forces in the form of a low-profile sit-to-stand assistance device, bed-ridden patient manipulator, or other ergonomic mechanism. This technology was also demonstrated at ICRA 2022: https://www.youtube.com/watch?v=6Y6-iHWNi6s


title: The conformational phase diagram of neutral polymers in the presence of attractive crowders

abstract: Extensive coarse grained molecular dynamics simulations are performed to investigate the conformational phase diagram of a neutral polymer in the presence of attractive crowders. We show that, for low crowded densities, the polymer predominantly shows three phases as a function of both intra polymer and polymer-crowder interactions: (1) weak intra polymer and weak polymer-crowder attractive interactions induce extended or coil polymer conformations (phase E) (2) strong intra polymer and relatively weak polymer-crowder attractive interactions induce collapsed or globular conformations (phase CI) and (3) strong polymer-crowder attractive interactions, regardless of intra polymer interactions, induce a second collapsed or globular conformation that encloses bridging crowders (phase CB). The detailed phase diagram is obtained by determining the phase boundaries delineating the different phases based on an analysis of the radius of gyration as well as bridging crowders. The dependence of the phase diagram on strength of crowder-crowder attractive interactions and crowder density is clarified. We also show that when the crowder density is increased, a third collapsed phase of the polymer emerges for weak intra polymer attractive interactions. This crowder density induced compaction is shown to be enhanced by stronger crowder-crowder attraction and is different from the depletion induced collapse mechanism which is primarily driven by repulsive interactions. We also provide a unified explanation of the observed reentrant swollen/extended conformations of earlier simulations of weak and strongly self interacting polymers in terms of crowder-crowder attractive interactions.


title: Unifying O(3) Equivariant Neural Networks Design with Tensor-Network Formalism

abstract: Many learning tasks, including learning potential energy surfaces from ab initio calculations, involve global spatial symmetries and permutational symmetry between atoms or general particles. Equivariant graph neural networks are a standard approach to such problems, with one of the most successful methods employing tensor products between various tensors that transform under the spatial group. However, as the number of different tensors and the complexity of relationships between them increase, maintaining parsimony and equivariance becomes increasingly challenging. In this paper, we propose using fusion diagrams, a technique widely employed in simulating SU($2$)-symmetric quantum many-body problems, to design new equivariant components for equivariant neural networks. This results in a diagrammatic approach to constructing novel neural network architectures. When applied to particles within a given local neighborhood, the resulting components, which we term "fusion blocks," serve as universal approximators of any continuous equivariant function defined in the neighborhood. We incorporate a fusion block into pre-existing equivariant architectures (Cormorant and MACE), leading to improved performance with fewer parameters on a range of challenging chemical problems. Furthermore, we apply group-equivariant neural networks to study non-adiabatic molecular dynamics of stilbene cis-trans isomerization. Our approach, which combines tensor networks with equivariant neural networks, suggests a potentially fruitful direction for designing more expressive equivariant neural networks.


title: Butterfly Effect Attack: Tiny and Seemingly Unrelated Perturbations for Object Detection

abstract: This work aims to explore and identify tiny and seemingly unrelated perturbations of images in object detection that will lead to performance degradation. While tininess can naturally be defined using $L_p$ norms, we characterize the degree of "unrelatedness" of an object by the pixel distance between the occurred perturbation and the object. Triggering errors in prediction while satisfying two objectives can be formulated as a multi-objective optimization problem where we utilize genetic algorithms to guide the search. The result successfully demonstrates that (invisible) perturbations on the right part of the image can drastically change the outcome of object detection on the left. An extensive evaluation reaffirms our conjecture that transformer-based object detection networks are more susceptible to butterfly effects in comparison to single-stage object detection networks such as YOLOv5.


title: Contextual Bandits with Packing and Covering Constraints: A Modular Lagrangian Approach via Regression

abstract: We consider contextual bandits with linear constraints (CBwLC), a variant of contextual bandits in which the algorithm consumes multiple resources subject to linear constraints on total consumption. This problem generalizes contextual bandits with knapsacks (CBwK), allowing for packing and covering constraints, as well as positive and negative resource consumption. We provide the first algorithm for CBwLC (or CBwK) that is based on regression oracles. The algorithm is simple, computationally efficient, and admits vanishing regret. It is statistically optimal for the variant of CBwK in which the algorithm must stop once some constraint is violated. Further, we provide the first vanishing-regret guarantees for CBwLC (or CBwK) that extend beyond the stochastic environment. We side-step strong impossibility results from prior work by identifying a weaker (and, arguably, fairer) benchmark to compare against. Our algorithm builds on LagrangeBwK (Immorlica et al., FOCS 2019), a Lagrangian-based technique for CBwK, and SquareCB (Foster and Rakhlin, ICML 2020), a regression-based technique for contextual bandits. Our analysis leverages the inherent modularity of both techniques.


title: Is the compact object associated with HESS J1731-347 a strange quark star?

abstract: The analysis of the central compact object within the supernova remnant HESS J1731-347 suggests that it has a small radius and, even more interestingly, a mass of the order or smaller than one solar mass. This raises the question of which astrophysical process could lead to such a small mass, since the analysis of various types of SN explosions indicate that is it not possible to produce a neutron star with a mass smaller than about $1.17 M_\odot$. Here we show that masses of the order or smaller than one solar mass can be obtained in the case of strange quark stars and that it is possible to build a coherent model explaining not only the mass and the radius of that object, but also its slow cooling suggested in various analyses. We also show that an astrophysical path exists which leads to the formation of such an object, and we discuss the role played in that scenario by strangelets assumed to constitute the dark matter.


title: Saturn's Seasonal Variability from Four Decades of Ground-Based Mid-Infrared Observations

abstract: A multi-decade record of ground-based mid-infrared (7-25 $\mu$m) images of Saturn is used to explore seasonal and non-seasonal variability in thermal emission over more than a Saturnian year (1984-2022). Thermal emission measured by 3-m and 8-m-class observatories compares favourably with synthetic images based on both Cassini-derived temperature records and the predictions of radiative climate models. 8-m class facilities are capable of resolving thermal contrasts on the scale of Saturn's belts, zones, polar hexagon, and polar cyclones, superimposed onto large-scale seasonal asymmetries. Seasonal changes in brightness temperatures of $\sim30$ K in the stratosphere and $\sim10$ K in the upper troposphere are observed, as the northern and southern polar stratospheric vortices (NPSV and SPSV) form in spring and dissipate in autumn. The timings of the first appearance of the warm polar vortices is successfully reproduced by radiative climate models, confirming them to be radiative phenomena, albeit entrained within sharp boundaries influenced by dynamics. Axisymmetric thermal bands (4-5 per hemisphere) display temperature gradients that are strongly correlated with Saturn's zonal winds, indicating winds that decay in strength with altitude, and implying meridional circulation cells forming the system of cool zones and warm belts. Saturn's thermal structure is largely repeatable from year to year (via comparison of infrared images in 1989 and 2018), with the exception of low-latitudes. Here we find evidence of inter-annual variations because the equatorial banding at 7.9 $\mu$m is inconsistent with a $\sim15$-year period for Saturn's equatorial stratospheric oscillation, i.e., it is not strictly semi-annual. Finally, observations between 2017-2022 extend the legacy of the Cassini mission, revealing the continued warming of the NPSV during northern summer. [Abr.]


title: External univalence for second-order generalized algebraic theories

abstract: Voevodsky's univalence axiom is often motivated as a realization of the equivalence principle; the idea that equivalent mathematical structures satisfy the same properties. Indeed, in Homotopy Type Theory, properties and structures can be transported over type equivalences. However, we may wish to explain the equivalence principle without relying on the univalence axiom. For example, all type formers preserve equivalences in most type theories; thus it should be possible to transport structures over type equivalences even in non-univalent type theories. We define external univalence, a property of type theories (and more general second-order generalized algebraic theories) that captures the preservation of equivalences (or other homotopy relations). This property is defined syntactically, as the existence of identity types on the (syntactically defined) coclassifying (Sigma,Pi_rep)-CwF (also called generic model or walking model) of the theory. Semantically, it corresponds to the existence of some left semi-model structure on the category of models of the theory. We give syntactic conditions that can be used to check that a theory satisfies external univalence. We prove external univalence for some theories, such as the first-order generalized algebraic theory of categories, and dependent type theory with any standard choice of type formers and axioms, including identity types, Sigma-types, Pi-types, universes \`a la Tarski, the univalence axiom, the Uniqueness of Identity Proofs axiom, etc.


title: Robust Markov decision processes under parametric transition distributions

abstract: This paper considers robust Markov decision processes under parametric transition distributions. We assume that the true transition distribution is uniquely specified by some parametric distribution, and explicitly enforce that the worst-case distribution from the model is uniquely specified by a distribution in the same parametric family. After formulating the parametric robust model, we focus on developing algorithms for carrying out the robust Bellman updates required to complete robust value iteration. We first formulate the update as a linear program by discretising the ambiguity set. Since this model scales poorly with problem size and requires large amounts of pre-computation, we develop two additional algorithms for solving the robust Bellman update. Firstly, we present a cutting surface algorithm for solving this linear program in a shorter time. This algorithm requires the same pre-computation, but only ever solves the linear program over small subsets of the ambiguity set. Secondly, we present a novel projection-based bisection search algorithm that completely eliminates the need for discretisation and does not require any pre-computation. We test our algorithms extensively on a dynamic multi-period newsvendor problem under binomial and Poisson demands. In addition, we compare our methods with the non-parametric phi-divergence based methods from the literature. We show that our projection-based algorithm completes robust value iteration significantly faster than our other two parametric algorithms, and also faster than its non-parametric equivalent.


title: Merger identification through photometric bands, colours, and their errors

abstract: Aims. We present the application of a fully connected neural network (NN) for galaxy merger identification using exclusively photometric information. Our purpose is not only to test the method's efficiency, but also to understand what merger properties the NN can learn and what their physical interpretation is. Methods. We created a class-balanced training dataset of 5\,860 galaxies split into mergers and non-mergers. The galaxy observations came from SDSS DR6 and were visually identified in Galaxy Zoo. The 2$\,$930 mergers were selected from known SDSS mergers and the respective non-mergers were the closest match in both redshift and $r$ magnitude. The NN architecture was built by testing a different number of layers with different sizes and variations of the dropout rate. We compared input spaces constructed using: the five SDSS filters: $u$, $g$, $r$, $i$, and $z$; combinations of bands, colours, and their errors; six magnitude types; and variations of input normalization. Results. We find that the fibre magnitude errors contribute the most to the training accuracy. Studying the parameters from which they are calculated, we show that the input space built from the sky error background in the five SDSS bands alone leads to 92.64 $\pm$ 0.15 \% training accuracy. We also find that the input normalization, that is to say, how the data are presented to the NN, has a significant effect on the training performance. Conclusions. We conclude that, from all the SDSS photometric information, the sky error background is the most sensitive to merging processes. This finding is supported by an analysis of its five-band feature space by means of data visualization. Moreover, studying the plane of the $g$ and $r$ sky error bands shows that a decision boundary line is enough to achieve an accuracy of 91.59\%.


title: PCWE for FSAI -- Derivation of scalar wave equations for fluid-structure-acoustics interaction of low Mach number flows

abstract: This paper presents a novel derivation of the perturbed convective wave equation by utilizing the instantaneous velocity field as the foundation for the convective operator. This approach holds particular significance in the context of modeling fluid-structure-acoustic interaction (FSAI) problems, such as those encountered in human phonation or systems involving fans with flexible blades. The derivation is explored through two distinct methodologies: one commencing from the linearized perturbed compressible equations (LPCE) and the other rooted in the acoustic perturbation equations of variant 2 (APE-2). The comparative analysis of these alternative derivations may contribute to a more profound understanding of the underlying physics involved in FSI scenarios and aeroacoustics.


title: Piecewise Planar Hulls for Semi-Supervised Learning of 3D Shape and Pose from 2D Images

abstract: We study the problem of estimating 3D shape and pose of an object in terms of keypoints, from a single 2D image. The shape and pose are learned directly from images collected by categories and their partial 2D keypoint annotations.. In this work, we first propose an end-to-end training framework for intermediate 2D keypoints extraction and final 3D shape and pose estimation. The proposed framework is then trained using only the weak supervision of the intermediate 2D keypoints. Additionally, we devise a semi-supervised training framework that benefits from both labeled and unlabeled data. To leverage the unlabeled data, we introduce and exploit the \emph{piece-wise planar hull} prior of the canonical object shape. These planar hulls are defined manually once per object category, with the help of the keypoints. On the one hand, the proposed method learns to segment these planar hulls from the labeled data. On the other hand, it simultaneously enforces the consistency between predicted keypoints and the segmented hulls on the unlabeled data. The enforced consistency allows us to efficiently use the unlabeled data for the task at hand. The proposed method achieves comparable results with fully supervised state-of-the-art methods by using only half of the annotations. Our source code will be made publicly available.


title: Relevance of Shockley states on the electrical and thermoelectric response of gold-based single-molecule junctions

abstract: Noble metals break preferably exposing (111)-oriented surfaces, that host Shockley type surface states (SSs). Nevertheless, the relevance of SSs on the electrical properties of gold-based molecular junctions has not been explored in detail yet. Here, we present ab initio simulations that show how the gold (111) SS, that lies approximately 0.5 eV below the Fermi energy, is key to determining correctly the electrical and thermoelectric response of the above junctions. We show how the ability to shift in a controlled way the energy position of gold SS enables us to tune the electrical and thermoelectric response of gold molecular junctions. We also show that gold's SS appears in our simulations only if the 5d orbitals are included explicitly in the valence shell. To illustrate this behaviour, we discuss in detail Benzenediamine (BDA) and Benzenedicarbonitrile (BDCN) gold (111) junctions.


title: The Potential of Neural Speech Synthesis-based Data Augmentation for Personalized Speech Enhancement

abstract: With the advances in deep learning, speech enhancement systems benefited from large neural network architectures and achieved state-of-the-art quality. However, speaker-agnostic methods are not always desirable, both in terms of quality and their complexity, when they are to be used in a resource-constrained environment. One promising way is personalized speech enhancement (PSE), which is a smaller and easier speech enhancement problem for small models to solve, because it focuses on a particular test-time user. To achieve the personalization goal, while dealing with the typical lack of personal data, we investigate the effect of data augmentation based on neural speech synthesis (NSS). In the proposed method, we show that the quality of the NSS system's synthetic data matters, and if they are good enough the augmented dataset can be used to improve the PSE system that outperforms the speaker-agnostic baseline. The proposed PSE systems show significant complexity reduction while preserving the enhancement quality.


title: Topological invariants for interacting systems: from twisted boundary condition to center-of-mass momentum

abstract: Beyond the well-known topological band theory for single-particle systems, it is a great challenge to characterize the topological nature of interacting multi-particle quantum systems. Here, we uncover the relation between topological invariants defined through the twist boundary condition (TBC) and the center-of-mass (c.m.) momentum state in multi-particle systems. We find that the Berry phase defined through TBC can be equivalently obtained from the multi-particle Wilson loop formulated by c.m. momentum states. As the Chern number can be written as the winding of the Berry phase, we consequently prove the equivalence of Chern numbers obtained via TBC and c.m. momentum state approaches. As a proof-of-principle example, we study topological properties of the Aubry-Andr{\'e}-Harper (AAH) model. Our numerical results show that the TBC approach and c.m. approach are well consistent with each other for both many-body case and few-body case. Our work lays a concrete foundation and provides new insights for exploring multi-particle topological states.


title: Bidirectional Wave-Propelled Capillary Spinners

abstract: When a solid body floats at the interface of a vibrating liquid bath, the relative motion between the object and interface generates outwardly propagating surface waves. It has recently been demonstrated that millimetric objects with fore-aft mass asymmetry generate an associated asymmetric wavefield and consequently self-propel in unidirectional motion. Harnessing this wave-powered mechanism of propulsion, we here demonstrate that chiral objects placed on a vibrating fluid interface are set into steady, yet reversible, rotation, with the angular speed and direction of rotation controlled by the interplay between object geometry and driving parameters. Scaling laws and a simplified model of the wavefield reveal the underlying physical mechanism of rotation, while collapsing experimental measurements of the angular velocity across parameters. Leveraging the control over the chiral object's direction of rotation, we then demonstrate that a floating body with an asymmetric mass distribution and chirality can be remotely steered along two-dimensional trajectories via modulation of the driving frequency alone. This accessible and tunable macroscopic system serves as a potential platform for future explorations of chiral active and driven matter, and demonstrates a mechanism by which wave-mediated fluid forces can be manipulated for directed propulsion.


title: On the population III binary black hole mergers with intermediate mass black holes: dependence on common envelope parameter

abstract: The current gravitational wave (GW) detectors have successfully observed many binary compact objects, and the third generation ground-based GW detectors such as Einstein telescope and space-borne detectors such as LISA will start their GW observation in a decade. Ahead of the arrival of this new era, we perform a binary population synthesis calculation for very massive ($\sim$ 100--1000 $M_\odot$) population (Pop.) III stars, derive the various property of binary black hole (BBH) mergers with intermediate mass black holes (IMBHs) and investigate the dependence on common envelope parameter $\alpha\lambda$ which is still not a well understood parameter. We find that the maximum mass of primary BH mass is larger for smaller value of common envelope parameter. In this study, we adopt double power law initial mass function (IMF) for Pop. III stars, and put some constraints on Pop. III IMF by comparing our obtained merger rate density at the local Universe with that derived from gravitational wave (GW) observation. We compute the detection rate and show that the third generation ground-based GW detector, Einstein telescope, have a potential to detect $\sim$ 10--1000 BBHs with IMBHs per year. We also find that we may be able to obtain the insight into $\alpha\lambda$ if a BBH with total mass $\gtrsim500M_\odot$ are detected by advanced LIGO (O4) or LISA.


title: Is Birkhoff's Theorem Valid in Einstein-Aether Theory?

abstract: We attempt to answer whether Birkhoff's theorem (BT) is valid in the Einstein-Aether (EA) theory. The BT states that any spherically symmetric solution of the vacuum field equations must be static, unique, and asymptotically flat. For a general spherically symmetric metric with metric functions $A(r,t)$ \& $B(r,t)$, and aether components $a(r,t)$ \& $b(r,t)$, we prove the conditions for the staticity of spacetime using two different methods. We point out that BT is valid in EA theory only for special values of $c_1+c_3$, $c_1+c_4$, and $c_2$, where we can show that all these special cases are asymptotically flat. In particular, when the aether has only a temporal component, i.e., $b(r,t)=0$ and the $c_{14} \neq 0$ case gives us spherically symmetric static black holes without horizons; that is, they have naked singularities, at least for special values of $c_{14}$. Thus, the cosmic censorship conjecture is violated for the case BT holds. However, when we have an aether vector with temporal and radial components, we only prove that the staticity and the flatness at infinity hold for a special metric and particular combination of the aether parameters. For this case, there exist universal horizons instead of naked singularities.


title: The weak coupling theory of all dimensional loop quantum gravity

abstract: The weak coupling loop quantum theory with Abelian gauge group provides us a new perspective to study the weak coupling properties of LQG. In this paper, the weak coupling theory of all dimensional loop quantum gravity is established based on a symplectic-morphism between the $SO(D+1)$ holonomy-flux phase space and the $U(1)^{\frac{D(D+1)}{2}}$ holonomy-flux phase space. More explicitly, the Gaussian, simplicity, diffeomorphism and scalar constraint operators in $SO(D+1)$ loop quantum gravity will be generalized to the $U(1)^{\frac{D(D+1)}{2}}$ loop quantum theory based on the symplectic-morphism, and the $U(1)^{\frac{D(D+1)}{2}}$ loop quantum theory equipped with these constraint operators gives the weak coupling $U(1)^{\frac{D(D+1)}{2}}$ loop quantum gravity, with the corresponding Hilbert space is composed by the $U(1)^{\frac{D(D+1)}{2}}$ heat-kernel coherent states which are peaked at the weak coupling region of the $U(1)^{\frac{D(D+1)}{2}}$ holonomy-flux phase space.


title: AdaptKeyBERT: An Attention-Based approach towards Few-Shot & Zero-Shot Domain Adaptation of KeyBERT

abstract: Keyword extraction has been an important topic for modern natural language processing. With its applications ranging from ontology generation, fact verification in summarized text, and recommendation systems. While it has had significant data-intensive applications, it is often hampered when the data set is small. Downstream training for keyword extractors is a lengthy process and requires a significant amount of data. Recently, Few-shot Learning (FSL) and Zero-Shot Learning (ZSL) have been proposed to tackle this problem. Therefore, we propose AdaptKeyBERT, a pipeline for training keyword extractors with LLM bases by incorporating the concept of regularized attention into a pre-training phase for downstream domain adaptation. As we believe our work has implications to be utilized in the pipeline of FSL/ZSL and keyword extraction, we open-source our code as well as provide the fine-tuning library of the same name AdaptKeyBERT at https://github.com/AmanPriyanshu/AdaptKeyBERT.


title: A second Higgs near 0.5 TeV from bottom-up holographic modeling of beyond the Standard Model strong sector

abstract: One of the simplest extensions of the Standard Model (SM) consists in adding a scalar singlet. This second Higgs boson is able to solve several fundamental problems of SM. Additional scalar particles arise naturally in composite Higgs scenarios in which some confining "strong sector" beyond the SM drives the electroweak symmetry breaking. The underlying strongly coupled gauge theory may be similar to QCD and could be modeled holographically. We construct a bottom-up holographic model for description of the spectrum of composite Higgs particles. The model is based on the holographic Soft Wall model and the Wilson confinement criterion. The constructed model predicts the existence of a second Higgs boson with a mass of about 515 GeV.


title: Discovering A Variety of Objects in Spatio-Temporal Human-Object Interactions

abstract: Spatio-temporal Human-Object Interaction (ST-HOI) detection aims at detecting HOIs from videos, which is crucial for activity understanding. In daily HOIs, humans often interact with a variety of objects, e.g., holding and touching dozens of household items in cleaning. However, existing whole body-object interaction video benchmarks usually provide limited object classes. Here, we introduce a new benchmark based on AVA: Discovering Interacted Objects (DIO) including 51 interactions and 1,000+ objects. Accordingly, an ST-HOI learning task is proposed expecting vision systems to track human actors, detect interactions and simultaneously discover interacted objects. Even though today's detectors/trackers excel in object detection/tracking tasks, they perform unsatisfied to localize diverse/unseen objects in DIO. This profoundly reveals the limitation of current vision systems and poses a great challenge. Thus, how to leverage spatio-temporal cues to address object discovery is explored, and a Hierarchical Probe Network (HPN) is devised to discover interacted objects utilizing hierarchical spatio-temporal human/context cues. In extensive experiments, HPN demonstrates impressive performance. Data and code are available at https://github.com/DirtyHarryLYL/HAKE-AVA.


title: Cosmic Census: Relative Distributions of Dark Matter, Galaxies and Diffuse Gas

abstract: Galaxies, diffuse gas, and dark matter make up the cosmic web that defines the large-scale structure of the Universe. We constrained the joint distribution of these constituents by cross-correlating galaxy samples binned by stellar mass from the Sloan Digital Sky Survey CMASS catalog with maps of lensing convergence and the thermal Sunyaev-Zeldovich (tSZ) effect from the Planck mission. Fitting a halo-based model to our measured angular power spectra (galaxy-galaxy, galaxy-lensing convergence, and galaxy-tSZ) at a median redshift of $z=0.53$, we detected variation with stellar mass of the galaxy satellite fraction and galaxy spatial distribution within host halos. We find a tSZ-halo hydrostatic mass bias, $b_h$, such that $(1-b_h)=0.6\pm0.05$, with a hint of a larger bias, $b_h$, at the high stellar mass end. The normalization of the galaxy-cosmic microwave background lensing convergence cross-power spectrum shows that galaxies trace the matter distribution without an indication of stochasticity ($A=0.98\pm 0.09$). We forecast that next-generation cosmic microwave background experiments will improve the constraints on the hydrostatic bias by a factor of two and will be able to constrain the small-scale distribution of dark matter, hence informing the theory of feedback processes.


title: Efficient algorithms for certifying lower bounds on the discrepancy of random matrices

abstract: We initiate the study of the algorithmic problem of certifying lower bounds on the discrepancy of random matrices: given an input matrix $A \in \mathbb{R}^{m \times n}$, output a value that is a lower bound on $\mathsf{disc}(A) = \min_{x \in \{\pm 1\}^n} ||Ax||_\infty$ for every $A$, but is close to the typical value of $\mathsf{disc}(A)$ with high probability over the choice of a random $A$. This problem is important because of its connections to conjecturally-hard average-case problems such as negatively-spiked PCA, the number-balancing problem and refuting random constraint satisfaction problems. We give the first polynomial-time algorithms with non-trivial guarantees for two main settings. First, when the entries of $A$ are i.i.d. standard Gaussians, it is known that $\mathsf{disc} (A) = \Theta (\sqrt{n}2^{-n/m})$ with high probability. Our algorithm certifies that $\mathsf{disc}(A) \geq \exp(- O(n^2/m))$ with high probability. As an application, this formally refutes a conjecture of Bandeira, Kunisky, and Wein on the computational hardness of the detection problem in the negatively-spiked Wishart model. Second, we consider the integer partitioning problem: given $n$ uniformly random $b$-bit integers $a_1, \ldots, a_n$, certify the non-existence of a perfect partition, i.e. certify that $\mathsf{disc} (A) \geq 1$ for $A = (a_1, \ldots, a_n)$. Under the scaling $b = \alpha n$, it is known that the probability of the existence of a perfect partition undergoes a phase transition from 1 to 0 at $\alpha = 1$; our algorithm certifies the non-existence of perfect partitions for some $\alpha = O(n)$. We also give efficient non-deterministic algorithms with significantly improved guarantees. Our algorithms involve a reduction to the Shortest Vector Problem.


title: On Analyzing the Role of Image for Visual-enhanced Relation Extraction

abstract: Multimodal relation extraction is an essential task for knowledge graph construction. In this paper, we take an in-depth empirical analysis that indicates the inaccurate information in the visual scene graph leads to poor modal alignment weights, further degrading performance. Moreover, the visual shuffle experiments illustrate that the current approaches may not take full advantage of visual information. Based on the above observation, we further propose a strong baseline with an implicit fine-grained multimodal alignment based on Transformer for multimodal relation extraction. Experimental results demonstrate the better performance of our method. Codes are available at https://github.com/zjunlp/DeepKE/tree/main/example/re/multimodal.


title: Search for doubly charged Higgs boson production in multi-lepton final states using 139 fb$^{-1}$ of proton-proton collisions at $\sqrt{s}$ = 13 TeV with the ATLAS detector

abstract: A search for pair production of doubly charged Higgs bosons ($H^{\pm \pm}$), each decaying into a pair of prompt, isolated, highly energetic leptons with the same electric charge, is presented. The search uses a proton-proton collision data sample at a centre-of-mass energy of 13 TeV corresponding to an integrated luminosity of 139 fb$^{-1}$ recorded by the ATLAS detector during Run 2 of the Large Hadron Collider. This analysis focuses on same-charge leptonic decays, $H^{\pm \pm} \rightarrow \ell^{\pm} \ell^{\prime \pm}$ where $\ell, \ell^\prime=e, \mu, \tau$, in two-, three-, and four-lepton channels, but only considers final states which include electrons or muons. No evidence of a signal is observed. Corresponding limits on the production cross-section and consequently a lower limit on $m(H^{\pm \pm})$ are derived at 95% confidence level. Assuming that the branching ratios to each of the possible leptonic final states are equal, $\mathcal{B}(H^{\pm \pm} \rightarrow e^\pm e^\pm) = \mathcal{B}(H^{\pm \pm} \rightarrow e^\pm \mu^\pm) = \mathcal{B}(H^{\pm \pm} \rightarrow \mu^\pm \mu^\pm) = \mathcal{B}(H^{\pm \pm} \rightarrow e^\pm \tau^\pm) = \mathcal{B}(H^{\pm \pm} \rightarrow \mu^\pm \tau^\pm) = \mathcal{B}(H^{\pm \pm} \rightarrow \tau^\pm \tau^\pm) = 1/6$, the observed lower limit on the mass of a doubly charged Higgs boson is 1080 GeV within the left-right symmetric type-II seesaw model, which is an improvement over previous limits. Additionally, a lower limit of $m(H^{\pm \pm})$ = 900 GeV is obtained in the context of the Zee-Babu neutrino mass model.


title: Type I Tobit Bayesian Additive Regression Trees for Censored Outcome Regression

abstract: Censoring occurs when an outcome is unobserved beyond some threshold value. Methods that do not account for censoring produce biased predictions of the unobserved outcome. This paper introduces Type I Tobit Bayesian Additive Regression Tree (TOBART-1) models for censored outcomes. Simulation results and real data applications demonstrate that TOBART-1 produces accurate predictions of censored outcomes. TOBART-1 provides posterior intervals for the conditional expectation and other quantities of interest. The error term distribution can have a large impact on the expectation of the censored outcome. Therefore the error is flexibly modeled as a Dirichlet process mixture of normal distributions.


title: High-Accuracy Machine Learning Techniques for Functional Connectome Fingerprinting and Cognitive State Decoding

abstract: The human brain is a complex network comprised of functionally and anatomically interconnected brain regions. A growing number of studies have suggested that empirical estimates of brain networks may be useful for discovery of biomarkers of disease and cognitive state. A prerequisite for realizing this aim, however, is that brain networks also serve as reliable markers of an individual. Here, using Human Connectome Project data, we build upon recent studies examining brain-based fingerprints of individual subjects and cognitive states based on cognitively-demanding tasks that assess, for example, working memory, theory of mind, and motor function. Our approach achieves accuracy of up to 99\% for both identification of the subject of an fMRI scan, and for classification of the cognitive state of a previously-unseen subject in a scan. More broadly, we explore the accuracy and reliability of five different machine learning techniques on subject fingerprinting and cognitive state decoding objectives, using functional connectivity data from fMRI scans of a high number of subjects (865) across a number of cognitive states (8). These results represent an advance on existing techniques for functional connectivity-based brain fingerprinting and state decoding. Additionally, 16 different pre-processing pipelines are compared in order to characterize the effects of different aspects of the production of functional connectomes (FCs) on the accuracy of subject and task classification, and to identify possible confounds.


title: A simple proof of the fundamental theorem of Galois theory

abstract: We give a simple proof of the fundamental theorem of Galois theory which provides a correspondence between the intermediate fields of a finite Galois extension and the subgroups of its Galois group. The proof relies on the combinatorial fact that a field cannot be written as a union of finitely many proper subfields.


title: Mean-field approach to Random Apollonian Packing

abstract: We revisit the scaling properties of growing spheres randomly seeded in d=2,3 and 4 dimensions using a mean-field approach. We model the insertion probability without assuming a priori a functional form for the radius distribution. The functional form of the insertion probability shows an unprecedented agreement with numerical simulations in d=2, 3 and 4 dimensions. We infer from the insertion probability the scaling behavior of the Random Apollonian Packing and its fractal dimensions. The validity of our model is assessed with sets of 256 simulations each containing 20 million spheres in 2, 3 and 4 dimensions.


title: Identifying Time Scales in Particle Production from Fields

abstract: Particle production through ultra-strong electric fields is a well-studied research field. Nevertheless, despite repeated attempts to relate the production rate within the field to the formation time of a particle, the latter is still shrouded in mystery. We provide an interpretation of a particle distribution at finite times enabling us to isolate and, therefore, identify the relevant time scales regarding particle formation in quantum physics within and beyond perturbation theory.


title: A Formal CHERI-C Semantics for Verification

abstract: CHERI-C extends the C programming language by adding hardware capabilities, ensuring a certain degree of memory safety while remaining efficient. Capabilities can also be employed for higher-level security measures, such as software compartmentalization, that have to be used correctly to achieve the desired security guarantees. As the extension changes the semantics of C, new theories and tooling are required to reason about CHERI-C code and verify correctness. In this work, we present a formal memory model that provides a memory semantics for CHERI-C programs. We present a generalised theory with rich properties suitable for verification and potentially other types of analyses. Our theory is backed by an Isabelle/HOL formalisation that also generates an OCaml executable instance of the memory model. The verified and extracted code is then used to instantiate the parametric Gillian program analysis framework, with which we can perform concrete execution of CHERI-C programs. The tool can run a CHERI-C test suite, demonstrating the correctness of our tool, and catch a good class of safety violations that the CHERI hardware might miss.


title: Large-Z atoms in the strong-interaction limit of DFT: Implications for gradient expansions and for the Lieb-Oxford bound

abstract: We study numerically the strong-interaction limit of the exchange-correlation functional for neutral atoms and for Bohr atoms as the number of electrons increases. Using a compact representation, we analyse the second-order gradient expansion, comparing it with the one for exchange (weak interaction limit). The two gradient expansions, at strong and weak interaction, turn out to be very similar in magnitude, but with opposite signs. We find that the point-charge plus continuum model is surprisingly accurate for the gradient expansion coefficient at strong coupling, while generalized gradient approximations such as PBE and PBEsol severely underestimate it. We then use our results to analyse the Lieb-Oxford bound from the point of view of slowly-varying densities, clarifying some aspects on the bound at fixed number of electrons.


title: Comment on $\mu p$ and $\mu A$ Luminosities of Muon-Ion Collider at BNL

abstract: Luminosities of muon-proton and muon-nucleus collisions at a recently proposed muon-ion collider (MuIC) at Brookhaven National Laboratory (BNL) in the USA have been estimated using A Luminosity Optimizer for High Energy Physics (AloHEP) software keeping in mind beam-beam tune-shift values. It is shown that L$_{\mu p}$ = 3.6x10$^{31}$ cm$^{-2}$s$^{-1}$ and L$_{\mu{\rm -Au}}$ = 2.84x10$^{27}$ cm$^{-2}$s$^{-1}$ values can be achieved at MuIC. The physics search potential of the collider is superior to HERA. However, LHeC will provide 2 orders of higher luminosities at approximately same center-of-mass (CoM) energies.


title: CST5: Data Augmentation for Code-Switched Semantic Parsing

abstract: Extending semantic parsers to code-switched input has been a challenging problem, primarily due to a lack of supervised training data. In this work, we introduce CST5, a new data augmentation technique that finetunes a T5 model using a small seed set ($\approx$100 utterances) to generate code-switched utterances from English utterances. We show that CST5 generates high quality code-switched data, both intrinsically (per human evaluation) and extrinsically by comparing baseline models which are trained without data augmentation to models which are trained with augmented data. Empirically we observe that using CST5, one can achieve the same semantic parsing performance by using up to 20x less labeled data. To aid further research in this area, we are also releasing (a) Hinglish-TOP, the largest human annotated code-switched semantic parsing dataset to date, containing 10k human annotated Hindi-English (Hinglish) code-switched utterances, and (b) Over 170K CST5 generated code-switched utterances from the TOPv2 dataset. Human evaluation shows that both the human annotated data as well as the CST5 generated data is of good quality.


title: A Novel Design and Improvement of 15-Bar Assembly Tensegrity Robotics Structure

abstract: While the ultimate goal is to produce a tensegrity more than 6 struts, e.g. a 15-bar tensegrity, past experience has demonstrated that we must first develop an innovative system that will facilitate the assembly of a general n-bar tensegrity. To be successful, we believe the development of the new assembly methodology must encompass not only the design of the clamping system but also the design of the tensegrity itself, including the struts, the springs and the spring-to-strut connectors. We therefore propose to develop the 15-bar in two phases: Phase I will be the development of an innovative assembly method, and Phase II will focus on the design and manufacture of a 15-bar tensegrity, with a new strut design probably being part of this. Longer term goals will be aimed at repackaging the wireless electronics on the new struts and adding encoders to control the phase of the motors shafts.


title: Why Did the Chicken Cross the Road? Rephrasing and Analyzing Ambiguous Questions in VQA

abstract: Natural language is ambiguous. Resolving ambiguous questions is key to successfully answering them. Focusing on questions about images, we create a dataset of ambiguous examples. We annotate these, grouping answers by the underlying question they address and rephrasing the question for each group to reduce ambiguity. Our analysis reveals a linguistically-aligned ontology of reasons for ambiguity in visual questions. We then develop an English question-generation model which we demonstrate via automatic and human evaluation produces less ambiguous questions. We further show that the question generation objective we use allows the model to integrate answer group information without any direct supervision.


title: Are Hard Examples also Harder to Explain? A Study with Human and Model-Generated Explanations

abstract: Recent work on explainable NLP has shown that few-shot prompting can enable large pretrained language models (LLMs) to generate grammatical and factual natural language explanations for data labels. In this work, we study the connection between explainability and sample hardness by investigating the following research question - "Are LLMs and humans equally good at explaining data labels for both easy and hard samples?" We answer this question by first collecting human-written explanations in the form of generalizable commonsense rules on the task of Winograd Schema Challenge (Winogrande dataset). We compare these explanations with those generated by GPT-3 while varying the hardness of the test samples as well as the in-context samples. We observe that (1) GPT-3 explanations are as grammatical as human explanations regardless of the hardness of the test samples, (2) for easy examples, GPT-3 generates highly supportive explanations but human explanations are more generalizable, and (3) for hard examples, human explanations are significantly better than GPT-3 explanations both in terms of label-supportiveness and generalizability judgements. We also find that hardness of the in-context examples impacts the quality of GPT-3 explanations. Finally, we show that the supportiveness and generalizability aspects of human explanations are also impacted by sample hardness, although by a much smaller margin than models. Supporting code and data are available at https://github.com/swarnaHub/ExplanationHardness


title: Heterogeneous Graph Sparsification for Efficient Representation Learning

abstract: Graph sparsification is a powerful tool to approximate an arbitrary graph and has been used in machine learning over homogeneous graphs. In heterogeneous graphs such as knowledge graphs, however, sparsification has not been systematically exploited to improve efficiency of learning tasks. In this work, we initiate the study on heterogeneous graph sparsification and develop sampling-based algorithms for constructing sparsifiers that are provably sparse and preserve important information in the original graphs. We have performed extensive experiments to confirm that the proposed method can improve time and space complexities of representation learning while achieving comparable, or even better performance in subsequent graph learning tasks based on the learned embedding.


title: Adaptive search space decomposition method for pre- and post- buckling analyses of space truss structures

abstract: The paper proposes a novel adaptive search space decomposition method and a novel gradient-free optimization-based formulation for the pre- and post-buckling analyses of space truss structures. Space trusses are often employed in structural engineering to build large steel constructions, such as bridges and domes, whose structural response is characterized by large displacements. Therefore, these structures are vulnerable to progressive collapses due to local or global buckling effects, leading to sudden failures. The method proposed in this paper allows the analysis of the load-equilibrium path of truss structures to permanent and variable loading, including stable and unstable equilibrium stages and explicitly considering geometric nonlinearities. The goal of this work is to determine these equilibrium stages via optimization of the Lagrangian kinematic parameters of the system, determining the global equilibrium. However, this optimization problem is non-trivial due to the undefined parameter domain and the sensitivity and interaction among the Lagrangian parameters. Therefore, we propose formulating this problem as a nonlinear, multimodal, unconstrained, continuous optimization problem and develop a novel adaptive search space decomposition method, which progressively and adaptively re-defines the search domain (hypersphere) to evaluate the equilibrium of the system using a gradient-free optimization algorithm. We tackle three benchmark problems and evaluate a medium-sized test representing a real structural problem in this paper. The results are compared to those available in the literature regarding displacement-load curves and deformed configurations. The accuracy and robustness of the adopted methodology show a high potential of gradient-free algorithms in analyzing space truss structures.


title: Wikigender: A Machine Learning Model to Detect Gender Bias in Wikipedia

abstract: The way Wikipedia's contributors think can influence how they describe individuals resulting in a bias based on gender. We use a machine learning model to prove that there is a difference in how women and men are portrayed on Wikipedia. Additionally, we use the results of the model to obtain which words create bias in the overview of the biographies of the English Wikipedia. Using only adjectives as input to the model, we show that the adjectives used to portray women have a higher subjectivity than the ones used to describe men. Extracting topics from the overview using nouns and adjectives as input to the model, we obtain that women are related to family while men are related to business and sports.


title: PKCAM: Previous Knowledge Channel Attention Module

abstract: Recently, attention mechanisms have been explored with ConvNets, both across the spatial and channel dimensions. However, from our knowledge, all the existing methods devote the attention modules to capture local interactions from a uni-scale. In this paper, we propose a Previous Knowledge Channel Attention Module(PKCAM), that captures channel-wise relations across different layers to model the global context. Our proposed module PKCAM is easily integrated into any feed-forward CNN architectures and trained in an end-to-end fashion with a negligible footprint due to its lightweight property. We validate our novel architecture through extensive experiments on image classification and object detection tasks with different backbones. Our experiments show consistent improvements in performances against their counterparts. Our code is published at https://github.com/eslambakr/EMCA.


title: Learning to Answer Multilingual and Code-Mixed Questions

abstract: Question-answering (QA) that comes naturally to humans is a critical component in seamless human-computer interaction. It has emerged as one of the most convenient and natural methods to interact with the web and is especially desirable in voice-controlled environments. Despite being one of the oldest research areas, the current QA system faces the critical challenge of handling multilingual queries. To build an Artificial Intelligent (AI) agent that can serve multilingual end users, a QA system is required to be language versatile and tailored to suit the multilingual environment. Recent advances in QA models have enabled surpassing human performance primarily due to the availability of a sizable amount of high-quality datasets. However, the majority of such annotated datasets are expensive to create and are only confined to the English language, making it challenging to acknowledge progress in foreign languages. Therefore, to measure a similar improvement in the multilingual QA system, it is necessary to invest in high-quality multilingual evaluation benchmarks. In this dissertation, we focus on advancing QA techniques for handling end-user queries in multilingual environments. This dissertation consists of two parts. In the first part, we explore multilingualism and a new dimension of multilingualism referred to as code-mixing. Second, we propose a technique to solve the task of multi-hop question generation by exploiting multiple documents. Experiments show our models achieve state-of-the-art performance on answer extraction, ranking, and generation tasks on multiple domains of MQA, VQA, and language generation. The proposed techniques are generic and can be widely used in various domains and languages to advance QA systems.


title: Closed string mirrors of symplectic cluster manifolds

abstract: We compute the relative symplectic cohomology sheaf in degree $0$ on the bases of nodal Lagrangian torus fibrations on four dimensional symplectic cluster manifolds. We show that it is the pushforward of the structure sheaf of a certain rigid analytic manifold under a non-archimedean torus fibration. The rigid analytic manifold is constructed in a canonical way from the relative SH sheaf and is referred as the \emph{closed string mirror}. The construction relies on computing relative SH for local models by applying general axiomatic properties rather than ad hoc analysis of holomorphic curves. These axiomatic properties include previously established ones such as the Mayer-Vietoris property and locality for complete embeddings; and new ones such as the Hartogs property and the holomorphic volume form preservation property of wall crossing in relative $SH$.


title: Towards a Mathematics Formalisation Assistant using Large Language Models

abstract: Mathematics formalisation is the task of writing mathematics (i.e., definitions, theorem statements, proofs) in natural language, as found in books and papers, into a formal language that can then be checked for correctness by a program. It is a thriving activity today, however formalisation remains cumbersome. In this paper, we explore the abilities of a large language model (Codex) to help with formalisation in the Lean theorem prover. We find that with careful input-dependent prompt selection and postprocessing, Codex is able to formalise short mathematical statements at undergrad level with nearly 75\% accuracy for $120$ theorem statements. For proofs quantitative analysis is infeasible and we undertake a detailed case study. We choose a diverse set of $13$ theorems at undergrad level with proofs that fit in two-three paragraphs. We show that with a new prompting strategy Codex can formalise these proofs in natural language with at least one out of twelve Codex completion being easy to repair into a complete proof. This is surprising as essentially no aligned data exists for formalised mathematics, particularly for proofs. These results suggest that large language models are a promising avenue towards fully or partially automating formalisation.


title: Antiferromagnetic metal phase in an electron-doped rare-earth nickelate

abstract: Long viewed as passive elements, antiferromagnetic materials have emerged as promising candidates for spintronic devices due to their insensitivity to external fields and potential for high-speed switching. Recent work exploiting spin and orbital effects has identified ways to electrically control and probe the spins in metallic antiferromagnets, especially in noncollinear or noncentrosymmetric spin structures. The rare earth nickelate NdNiO3 is known to be a noncollinear antiferromagnet where the onset of antiferromagnetic ordering is concomitant with a transition to an insulating state. Here, we find that for low electron doping, the magnetic order on the nickel site is preserved while electronically a new metallic phase is induced. We show that this metallic phase has a Fermi surface that is mostly gapped by an electronic reconstruction driven by the bond disproportionation. Furthermore, we demonstrate the ability to write to and read from the spin structure via a large zero-field planar Hall effect. Our results expand the already rich phase diagram of the rare-earth nickelates and may enable spintronics applications in this family of correlated oxides.


title: K3 surface entropy and automorphism groups

abstract: We derive a characterization of the complex projective K3 surfaces which have automorphisms of positive entropy in term of their N\'eron-Severi lattices. Along the way, we classify the projective K3 surfaces of zero entropy with infinite automorphism groups and we determine the projective K3 surfaces of Picard number at least five with almost abelian automorphism groups, which gives an answer to a long standing question of Nikulin.


title: Stability property for the quantum jump operators of an open system

abstract: We show the continuity property of spectral gaps and complete Logarithmic constants in terms of the jump operators of Lindblad generators in finite dimensional setting. Our method is based on the bimodule structure of the derivation space and the technique developed in [Paulsen09]. Using the same trick, we also show the continuity of the $g^2(0)$ constant used to distinguish quantum and classical lights in quantum optics.


title: Eccentricity or spin precession? Distinguishing subdominant effects in gravitational-wave data

abstract: Eccentricity and spin precession are key observables in gravitational-wave astronomy, encoding precious information about the astrophysical formation of compact binaries together with fine details of the relativistic two-body problem. However, the two effects can mimic each other in the emitted signals, raising issues around their distinguishability. Since inferring the existence of both eccentricity and spin precession simultaneously is -- at present -- not possible, current state-of-the-art analyses assume that either one of the effects may be present in the data. In such a setup, what are the conditions required for a confident identification of either effect? We present simulated parameter inference studies in realistic LIGO/Virgo noise, studying events consistent with either spin precessing or eccentric binary black hole coalescences and recovering under the assumption that either of the two effects may be at play. We quantify how the distinguishability of eccentricity and spin precession increases with the number of visible orbital cycles, confirming that the signal must be sufficiently long for the two effects to be separable. The threshold depends on the injected source, with inclination, eccentricity, and effective spin playing crucial roles. In particular, for injections similar to GW190521, we find that it is impossible to confidently distinguish eccentricity from spin precession.


title: Discovery of $\delta$ Sct Components in Eclipsing Binary Systems IQ CMa, AW Men and W Vol

abstract: We present the first evidence on the $\delta$~Sct type pulsations of the primary components of three eclipsing binaries IQ CMa, AW Men and W Vol in the TESS field. A comprehensive investigation of the binary properties is conducted. The light curves of the systems are analysed and the frequency analyses are performed to residual data. The systems are compared to the binaries of the same morphological types, and the primaries are examined in contrast to the $\delta$~Sct type pulsators. The results show that the systems are oscillating eclipsing Algol-type systems.


title: A Survey on Preserving Fairness Guarantees in Changing Environments

abstract: Human lives are increasingly being affected by the outcomes of automated decision-making systems and it is essential for the latter to be, not only accurate, but also fair. The literature of algorithmic fairness has grown considerably over the last decade, where most of the approaches are evaluated under the strong assumption that the train and test samples are independently and identically drawn from the same underlying distribution. However, in practice, dissimilarity between the training and deployment environments exists, which compromises the performance of the decision-making algorithm as well as its fairness guarantees in the deployment data. There is an emergent research line that studies how to preserve fairness guarantees when the data generating processes differ between the source (train) and target (test) domains, which is growing remarkably. With this survey, we aim to provide a wide and unifying overview on the topic. For such purpose, we propose a taxonomy of the existing approaches for fair classification under distribution shift, highlight benchmarking alternatives, point out the relation with other similar research fields and eventually, identify future venues of research.


title: On the capacity of neural networks

abstract: The aim of this thesis is to compare the capacity of different models of neural networks. We start by analysing the problem solving capacity of a single perceptron using a simple combinatorial argument. After some observations on the storage capacity of a basic network, known as an associative memory, we introduce a powerful statistical mechanical approach to calculate its capacity in the training rule-dependent Hopfield model. With the aim of finding a more general definition that can be applied even to quantum neural nets, we then follow Gardner's work, which let us get rid of the dependency on the training rule, and comment the results obtained by Lewenstein et al. by applying Gardner's methods on a recently proposed quantum perceptron model.


title: High-resolution single-shot spiral diffusion-weighted imaging at 7T using expanded encoding with compressed sensing

abstract: Purpose: The expanded encoding model incorporates spatially- and time-varying field perturbations for correction during reconstruction. So far, these reconstructions have used the conjugate gradient method with early stopping used as implicit regularization. However, this approach is likely suboptimal for low-SNR cases like diffusion or high-resolution MRI. Here, we investigate the extent that l1-wavelet regularization, or equivalently compressed sensing (CS), combined with expanded encoding improves trade-offs between spatial resolution, readout time and SNR for single-shot spiral diffusion-weighted imaging at 7T. The reconstructions were performed using our open-source GPU-enabled reconstruction toolbox, MatMRI, that allows inclusion of the different components of the expanded encoding model, with or without CS. Methods: In vivo accelerated single-shot spirals were acquired with five acceleration factors (2-6) and three in-plane spatial resolutions (1.5, 1.3, and 1.1 mm). From the in vivo reconstructions, we estimated diffusion tensors and computed fractional anisotropy maps. Then, simulations were used to quantitatively investigate and validate the impact of CS-based regularization on image quality when compared to a known ground truth. Results: In vivo reconstructions revealed improved image quality with retainment of small features when CS was used. Simulations showed that the joint use of the expanded encoding model and CS improves accuracy of image reconstructions (reduced mean-squared error) over the range of acceleration factors investigated. Conclusion: The expanded encoding model and CS regularization are complementary tools for single-shot spiral diffusion MRI, which enables both higher spatial resolutions and higher acceleration factors.


title: Generalized Balancing Weights via Deep Neural Networks

abstract: Estimating causal effects from observational data is a central problem in many domains. A general approach is to balance covariates with weights such that the distribution of the data mimics randomization. We present generalized balancing weights, Neural Balancing Weights (NBW), to estimate the causal effects of an arbitrary mixture of discrete and continuous interventions. The weights were obtained through direct estimation of the density ratio between the source and balanced distributions by optimizing the variational representation of $f$-divergence. For this, we selected $\alpha$-divergence as it presents efficient optimization because it has an estimator whose sample complexity is independent of its ground truth value and unbiased mini-batch gradients; moreover, it is advantageous for the vanishing-gradient problem. In addition, we provide the following two methods for estimating the balancing weights: improving the generalization performance of the balancing weights and checking the balance of the distribution changed by the weights. Finally, we discuss the sample size requirements for the weights as a general problem of a curse of dimensionality when balancing multidimensional data. Our study provides a basic approach for estimating the balancing weights of multidimensional data using variational $f$-divergences.


title: High-Resource Methodological Bias in Low-Resource Investigations

abstract: The central bottleneck for low-resource NLP is typically regarded to be the quantity of accessible data, overlooking the contribution of data quality. This is particularly seen in the development and evaluation of low-resource systems via down sampling of high-resource language data. In this work we investigate the validity of this approach, and we specifically focus on two well-known NLP tasks for our empirical investigations: POS-tagging and machine translation. We show that down sampling from a high-resource language results in datasets with different properties than the low-resource datasets, impacting the model performance for both POS-tagging and machine translation. Based on these results we conclude that naive down sampling of datasets results in a biased view of how well these systems work in a low-resource scenario.


title: General entropic constraints on CSS codes within magic distillation protocols

abstract: Magic states are fundamental building blocks on the road to fault-tolerant quantum computing. CSS codes play a crucial role in the construction of magic distillation protocols. Previous work has cast quantum computing with magic states for odd dimension $d$ within a phase space setting in which universal quantum computing is described by the statistical mechanics of quasiprobability distributions. Here we extend this framework to the important $d=2$ qubit case and show that we can exploit common structures in CSS circuits to obtain distillation bounds capable of out-performing previous monotone bounds in regimes of practical interest. Moreover, in the case of CSS code projections, we arrive at a novel cut-off result on the code length $n$ of the CSS code in terms of parameters characterising a desired distillation, which implies that for fixed target error rate and acceptance probability, one needs only consider CSS codes below a threshold number of qubits. These entropic constraints are not due simply to the data-processing inequality but rely explicitly on the stochastic representation of such protocols.


title: A Reduced Landau-de Gennes Study for Nematic Equilibria in Three-Dimensional Prisms

abstract: We model nematic liquid crystal configurations inside three-dimensional prisms, with a polygonal cross-section and Dirichlet boundary conditions on all prism surfaces. We work in a reduced Landau-de Gennes framework, and the Dirichlet conditions on the top and bottom surfaces are special in the sense, that they are critical points of the reduced Landau-de Gennes energy on the polygonal cross-section. The choice of the boundary conditions allows us to make a direct correspondence between the three-dimensional Landau-de Gennes critical points and pathways on the two-dimensional Landau-de Gennes solution landscape on the polygonal cross-section. We explore this concept by means of asymptotic analysis and numerical examples, with emphasis on a cuboid and a hexagonal prism, focusing on three-dimensional multistability tailored by two-dimensional solution landscapes.


title: Cross-overs of Bramson's shift at the transition between pulled and pushed fronts

abstract: The Bramson logarithmic shift of the position of pulled fronts is a universal feature common to a large class of monostable traveling wave equations. As one varies the non-linearities it so happens that one can observe, at some critical non linearity, a transition from pulled fronts to pushed fronts. At this transition the Bramson shift is modified. In the limit where time goes to infinity and the non-linearity becomes critical, the position of the front exhibits a cross-over. The goal of the present note is to give the expression of this cross-over function, for a particular model which is exactly soluble, with the hope that this expression would remain valid for more general traveling wave equations at the transition between pulled and pushed fronts. Other cross-over functions are also obtained, for this particular model, to describe the dependence on initial conditions or the effect of a cut-off.


title: Numerical and Experimental Investigation of Static Wetting Morphologies of Aqueous Drops on Lubricated Slippery Surfaces Using a Quasi-Static Approach

abstract: Due to the slow dynamics of the wetting ridge, it is challenging to predict the wetting morphology of liquid drops on thin lubricant coated surfaces. It is hypothesized that when a drop sinks on a lubricated surface, quasi-static wetting morphology can be numerically computed only from the knowledge of interfacial energies, lubricant thickness, and drop volume. We used Surface Evolver software for the numerical computation of the interface profiles for a four-phase system. For the experiments, we used drops of 80 wt% formamide on silicone oil coated substrates with varying lubricant thickness, substrate wettability and drop volume. Optical images of drops were used to compare the experimental interfacial profiles and apparent contact angles with the numerically computed ones. We found good agreement between the experiments and the simulations for the interfacial profiles and apparent contact angles as a function of various systems parameters except for very thin lubricating films. Apparent contact angles varied non-linearly as a function of substrate wettability and lubricant thickness, however, were found constant with the drop volume.


title: Local predictability and coherence versus distributed entanglement in entanglement swapping from partially entangled pure states

abstract: Complete complementarity relations, as e.g. $P(\rho_{A})^{2} + C(\rho_{A})^{2} + E(|\Psi\rangle_{AB})^{2}=1$, constrain the local predictability, $P$, and local coherence, $C$, and the entanglement, $E$, of bipartite pure states. For pairs of qubits prepared initially in a particular class of partially entangled pure states with null local coherence, these relations were used in Ref. [Phys. Lett. A, 451, 128414 (2022)] to provide an operational connection between local predictability of the pre-measurement states with the probability of the maximally entangled components of the states after the Bell-basis measurement of the entanglement swapping protocol (ESP). In this article, we extend this result for general pure initial states establishing the relation between $P$, $C$ and the distributed entanglement in the ESP. We use IBM's quantum computers to verify experimentally some instances of these general theoretical results.


title: First Light And Reionisation Epoch Simulations (FLARES) VIII. The Emergence of Passive Galaxies at $z \geqslant 5$

abstract: Passive galaxies are ubiquitous in the local universe, and various physical channels have been proposed that lead to this passivity. To date, robust passive galaxy candidates have been detected up to $z \leqslant 5$, but it is still unknown if they exist at higher redshifts, what their relative abundances are, and what causes them to stop forming stars. We present predictions from the First Light And Reionisation Epoch Simulations (FLARES), a series of zoom simulations of a range of overdensities using the EAGLE code. Passive galaxies occur naturally in the EAGLE model at high redshift, and are in good agreement with number density estimates from HST and early JWST results at $3 \leqslant z \leqslant 5$. Due to the unique FLARES approach, we extend these predictions to higher redshifts, finding passive galaxy populations up to $z \sim 8$. Feedback from supermassive black holes is the main driver of passivity, leading to reduced gas fractions and star forming gas reservoirs. We find that passive galaxies at $z \geqslant 5$ are not identified in the typical UVJ selection space due to their still relatively young stellar populations, and present new rest--frame selection regions. We also present NIRCam and MIRI fluxes, and find that significant numbers of passive galaxies at $z \geqslant 5$ should be detectable in upcoming wide surveys with JWST. Finally, we present JWST colour distributions, with new selection regions in the observer--frame for identifying these early passive populations.


title: Aspects of scaling and scalability for flow-based sampling of lattice QCD

abstract: Recent applications of machine-learned normalizing flows to sampling in lattice field theory suggest that such methods may be able to mitigate critical slowing down and topological freezing. However, these demonstrations have been at the scale of toy models, and it remains to be determined whether they can be applied to state-of-the-art lattice quantum chromodynamics calculations. Assessing the viability of sampling algorithms for lattice field theory at scale has traditionally been accomplished using simple cost scaling laws, but as we discuss in this work, their utility is limited for flow-based approaches. We conclude that flow-based approaches to sampling are better thought of as a broad family of algorithms with different scaling properties, and that scalability must be assessed experimentally.


title: On Consistency for Bulk-Bitwise Processing-in-Memory

abstract: Processing-in-memory (PIM) architectures allow software to explicitly initiate computation in the memory. This effectively makes PIM operations a new class of memory operations, alongside standard memory operations (e.g., load, store). For software correctness, it is crucial to have ordering rules for a PIM operation with other PIM operations and other memory operations, i.e., a consistency model that takes into account PIM operations is vital. To the best of our knowledge, little attention to PIM operation consistency has been given in existing works. In this paper, we focus on a specific PIM approach, named bulk-bitwise PIM. In bulk-bitwise PIM, large bitwise operations are performed directly and stored in the memory array. We show that previous solutions for the related topic of maintaining coherency of bulk-bitwise PIM have broken the host native consistency model and prevent any guaranteed correctness. As a solution, we propose and evaluate four consistency models for bulk-bitwise PIM, from strict to relaxed. Our designs also preserve coherency between PIM and the host processor. Evaluating the proposed designs' performance with a gem5 simulation, using the YCSB short-range scan benchmark and TPC-H queries, shows that the run time overhead of guaranteeing correctness is at most $6\%$, and in many cases the run time is even improved. The hardware overhead of our design is less than $0.22\%$.


title: Scaling of the Non-Phononic Spectrum of Two-Dimensional Glasses

abstract: Low-frequency vibrational harmonic modes of glasses are frequently used to understand their universal low-temperature properties. One well studied feature is the excess low-frequency density of states over the Debye model prediction. Here we examine the system size dependence of the density of states for two-dimensional glasses. For systems of fewer than 100 particles, the density of states scales with the system size as if all the modes were plane-wave-like. However, for systems greater than 100 particles we find a different system-size scaling of the cumulative density of states below the first transverse sound mode frequency, which can be derived from the assumption that these modes are quasi-localized. Moreover, for systems greater than 100 particles, we find that the cumulative density of states scales with frequency as a power law with the exponent that leads to the exponent $\beta=3.5$ for the density of states independent of system size.


title: Probabilistic Reachability and Invariance Computation of Stochastic Systems using Linear Programming

abstract: We consider the safety evaluation of discrete time, stochastic systems over a finite horizon. Therefore, we discuss and link probabilistic invariance with reachability as well as reach-avoid problems. We show how to efficiently compute these quantities using dynamic and linear programming.


title: NeurIPS 2022 Competition: Driving SMARTS

abstract: Driving SMARTS is a regular competition designed to tackle problems caused by the distribution shift in dynamic interaction contexts that are prevalent in real-world autonomous driving (AD). The proposed competition supports methodologically diverse solutions, such as reinforcement learning (RL) and offline learning methods, trained on a combination of naturalistic AD data and open-source simulation platform SMARTS. The two-track structure allows focusing on different aspects of the distribution shift. Track 1 is open to any method and will give ML researchers with different backgrounds an opportunity to solve a real-world autonomous driving challenge. Track 2 is designed for strictly offline learning methods. Therefore, direct comparisons can be made between different methods with the aim to identify new promising research directions. The proposed setup consists of 1) realistic traffic generated using real-world data and micro simulators to ensure fidelity of the scenarios, 2) framework accommodating diverse methods for solving the problem, and 3) baseline method. As such it provides a unique opportunity for the principled investigation into various aspects of autonomous vehicle deployment.


title: Marine Microalgae Detection in Microscopy Images: A New Dataset

abstract: Marine microalgae are widespread in the ocean and play a crucial role in the ecosystem. Automatic identification and location of marine microalgae in microscopy images would help establish marine ecological environment monitoring and water quality evaluation system. A new dataset for marine microalgae detection is proposed in this paper. Six classes of microalgae commonlyfound in the ocean (Bacillariophyta, Chlorella pyrenoidosa, Platymonas, Dunaliella salina, Chrysophyta, Symbiodiniaceae) are microscopically imaged in real-time. Images of Symbiodiniaceae in three physiological states known as normal, bleaching, and translating are also included. We annotated these images with bounding boxes using Labelme software and split them into the training and testing sets. The total number of images in the dataset is 937 and all the objects in these images were annotated. The total number of annotated objects is 4201. The training set contains 537 images and the testing set contains 430 images. Baselines of different object detection algorithms are trained, validated and tested on this dataset. This data set can be got accessed via tianchi.aliyun.com/competition/entrance/532036/information.


title: On the Smoothed Complexity of Combinatorial Local Search

abstract: We propose a unifying framework for smoothed analysis of combinatorial local optimization problems, and show how a diverse selection of problems within the complexity class PLS can be cast within this model. This abstraction allows us to identify key structural properties, and corresponding parameters, that determine the smoothed running time of local search dynamics. We formalize this via a black-box tool that provides concrete bounds on the expected maximum number of steps needed until local search reaches an exact local optimum. This bound is particularly strong, in the sense that it holds for any starting feasible solution, any choice of pivoting rule, and does not rely on the choice of specific noise distributions that are applied on the input, but it is parameterized by just a global upper bound $\phi$ on the probability density. The power of this tool can be demonstrated by instantiating it for various PLS-hard problems of interest to derive efficient smoothed running times (as a function of $\phi$ and the input size). Most notably, we focus on the important local optimization problem of finding pure Nash equilibria in Congestion Games, that has not been studied before from a smoothed analysis perspective. Specifically, we propose novel smoothed analysis models for general and Network Congestion Games, under various representations, including explicit, step-function, and polynomial resource latencies. We study PLS-hard instances of these problems and show that their standard local search algorithms run in polynomial smoothed time. Finally, we present further applications of our framework to a wide range of additional combinatorial problems, including local Max-Cut in weighted graphs, the Travelling Salesman problem (TSP) under the $k$-opt local heuristic, and finding pure equilibria in Network Coordination Games.


title: Generic equidistribution for area-preserving diffeomorphisms of compact surfaces with boundary

abstract: We prove that a generic area-preserving diffeomorphism of a compact surface with non-empty boundary has an equidistributed set of periodic orbits. This implies that such a diffeomorphism has a dense set of periodic points, although we also give a self-contained proof of this "generic density'' theorem. One application of our results is the extension of mean action inequalities proved by Hutchings and Weiler for the disk and annulus to generic Hamiltonian diffeomorphisms of any compact surface with boundary.