title: Khinchin families, set constructions, partitions and exponentials

abstract: In this paper, we give a simple criterion to verify that functions of the form $e^g$ are in the Hayman class when $g$ is a power series with nonnegative coefficients. Thus, using the Hayman and B\'aez-Duarte formulas, we obtain asymptotics for the coefficients of generating functions that arise in many examples of set construction in analytic combinatorics. This new criterion greatly simplifies that obtained previously by the authors.


title: A machine transliteration tool between Uzbek alphabets

abstract: Machine transliteration, as defined in this paper, is a process of automatically transforming written script of words from a source alphabet into words of another target alphabet within the same language, while preserving their meaning, as well as pronunciation. The main goal of this paper is to present a machine transliteration tool between three common scripts used in low-resource Uzbek language: the old Cyrillic, currently official Latin, and newly announced New Latin alphabets. The tool has been created using a combination of rule-based and fine-tuning approaches. The created tool is available as an open-source Python package, as well as a web-based application including a public API. To our knowledge, this is the first machine transliteration tool that supports the newly announced Latin alphabet of the Uzbek language.


title: TRT-ViT: TensorRT-oriented Vision Transformer

abstract: We revisit the existing excellent Transformers from the perspective of practical application. Most of them are not even as efficient as the basic ResNets series and deviate from the realistic deployment scenario. It may be due to the current criterion to measure computation efficiency, such as FLOPs or parameters is one-sided, sub-optimal, and hardware-insensitive. Thus, this paper directly treats the TensorRT latency on the specific hardware as an efficiency metric, which provides more comprehensive feedback involving computational capacity, memory cost, and bandwidth. Based on a series of controlled experiments, this work derives four practical guidelines for TensorRT-oriented and deployment-friendly network design, e.g., early CNN and late Transformer at stage-level, early Transformer and late CNN at block-level. Accordingly, a family of TensortRT-oriented Transformers is presented, abbreviated as TRT-ViT. Extensive experiments demonstrate that TRT-ViT significantly outperforms existing ConvNets and vision Transformers with respect to the latency/accuracy trade-off across diverse visual tasks, e.g., image classification, object detection and semantic segmentation. For example, at 82.7% ImageNet-1k top-1 accuracy, TRT-ViT is 2.7$\times$ faster than CSWin and 2.0$\times$ faster than Twins. On the MS-COCO object detection task, TRT-ViT achieves comparable performance with Twins, while the inference speed is increased by 2.8$\times$.


title: Line Planning in Public Transport: Bypassing Line Pool Generation

abstract: Line planning, i.e. choosing paths which are operated by one vehicle end-to-end, is an important aspect of public transport planning. While there exists heuristic procedures for generating lines from scratch, most theoretical observations consider the problem of choosing lines from a predefined line pool. In this paper, we consider the complexity of the line planning problem when all simple paths can be used as lines. Depending on the cost structure, we show that the problem can be NP-hard even for paths and stars and that no polynomial time approximation of sub-linear performance is possible. Additionally, we identify polynomially solvable cases and present a pseudo-polynomial solution approach for trees.


title: Density functional study of atoms spatially confined inside a hard sphere

abstract: An atom placed inside a cavity of finite dimension offers many interesting features, and thus has been a topic of great current activity. This work proposes a density functional approach to pursue both ground and excited states of a multi-electron atom under a spherically impenetrable enclosure. The radial Kohn-Sham (KS) equation has been solved by invoking a physically motivated work-function-based exchange potential, which offers near-Hartree-Fock-quality results. Accurate numerical eigenfunctions and eigenvalues are obtained through a generalized pseudospectral method (GPS) fulfilling the Dirichlet boundary condition. Two correlation functionals, \emph{viz.,} (i) simple, parametrized local Wigner-type, and (ii) gradient- and Laplacian-dependent non-local Lee-Yang-Parr (LYP) functionals are adopted to analyze the electron correlation effects. Preliminary exploratory results are offered for ground states of He-isoelectronic series ($Z=2-4$), as well as Li and Be atom. Several low-lying singly excited states of He atom are also reported. These are compared with available literature results -- which offers excellent agreement. Radial densities as well as expectation values are also provided. The performance of correlation energy functionals are discussed critically. In essence, this presents a simple, accurate scheme for studying atomic systems inside a \emph{hard} spherical box within the rubric of KS density functional theory.


title: From superconductor stability and relaxation to Andreev reflections

abstract: How exactly can critical temperature be determined from results obtained in resistivity measurements? An unconventional approach using an electrical resistance network is presented in this paper to find an answer to this question. In a first step, a recently suggested, dynamic relaxation model is refined and extended beyond its proper applicability and competence range (superconductor stability against quench). This step addresses bending of the resistivity vs. temperature curves near critical temperature. In a second step, an alternative solution of the thermal fluctuations problem is presented. From both results, existence of a non-local, transition boundary layer can be postulated, a temperature uncertainty around critical temperature. Finally, severe limitations to calculate total current through superconductor/normal conductor thin film junctions become obvious from this approach if any non-Ohmic contributions (like Andreev reflection or Josephson currents) have to be taken into account. This problem is a parallel to multi-component heat transfer.


title: Evonne: Interactive Proof Visualization for Description Logics (System Description) -- Extended Version

abstract: Explanations for description logic (DL) entailments provide important support for the maintenance of large ontologies. The "justifications" usually employed for this purpose in ontology editors pinpoint the parts of the ontology responsible for a given entailment. Proofs for entailments make the intermediate reasoning steps explicit, and thus explain how a consequence can actually be derived. We present an interactive system for exploring description logic proofs, called Evonne, which visualizes proofs of consequences for ontologies written in expressive DLs. We describe the methods used for computing those proofs, together with a feature called signature-based proof condensation. Moreover, we evaluate the quality of generated proofs using real ontologies.


title: Multi-Armed Bandits in Brain-Computer Interfaces

abstract: The multi-armed bandit (MAB) problem models a decision-maker that optimizes its actions based on current and acquired new knowledge to maximize its reward. This type of online decision is prominent in many procedures of Brain-Computer Interfaces (BCIs) and MAB has previously been used to investigate, e.g., what mental commands to use to optimize BCI performance. However, MAB optimization in the context of BCI is still relatively unexplored, even though it has the potential to improve BCI performance during both calibration and real-time implementation. Therefore, this review aims to further introduce MABs to the BCI community. The review includes a background on MAB problems and standard solution methods, and interpretations related to BCI systems. Moreover, it includes state-of-the-art concepts of MAB in BCI and suggestions for future research.


title: Hybrid kT-factorization and impact factors at NLO

abstract: In the hybrid kT-factorization formula, one initial-state parton momentum is space-like and carries non-vanishing transverse components, while the other is on-shell. We promote this factorization formula to next-to-leading order. Studying the partonic cross section, we identify all soft and collinear divergencies in the real and virtual contribution, and recognize that all non-cancelling ones can be attributed to PDF evolution, evolution kernel, and target impact factors. In result, we construct a framework that may be used to compute NLO impact factors in general. In particular, we recover known expressions for inclusive NLO quark-and gluon impact factor corrections.


title: On Trace of PGD-Like Adversarial Attacks

abstract: Adversarial attacks pose safety and security concerns to deep learning applications, but their characteristics are under-explored. Yet largely imperceptible, a strong trace could have been left by PGD-like attacks in an adversarial example. Recall that PGD-like attacks trigger the ``local linearity'' of a network, which implies different extents of linearity for benign or adversarial examples. Inspired by this, we construct an Adversarial Response Characteristics (ARC) feature to reflect the model's gradient consistency around the input to indicate the extent of linearity. Under certain conditions, it qualitatively shows a gradually varying pattern from benign example to adversarial example, as the latter leads to Sequel Attack Effect (SAE). To quantitatively evaluate the effectiveness of ARC, we conduct experiments on CIFAR-10 and ImageNet for attack detection and attack type recognition in a challenging setting. The results suggest that SAE is an effective and unique trace of PGD-like attacks reflected through the ARC feature. The ARC feature is intuitive, light-weighted, non-intrusive, and data-undemanding.


title: Combining Deep Learning and Adaptive Sparse Modeling for Low-dose CT Reconstruction

abstract: Traditional model-based image reconstruction (MBIR) methods combine forward and noise models with simple object priors. Recent application of deep learning methods for image reconstruction provides a successful data-driven approach to addressing the challenges when reconstructing images with measurement undersampling or various types of noise. In this work, we propose a hybrid supervised-unsupervised learning framework for X-ray computed tomography (CT) image reconstruction. The proposed learning formulation leverages both sparsity or unsupervised learning-based priors and neural network reconstructors to simulate a fixed-point iteration process. Each proposed trained block consists of a deterministic MBIR solver and a neural network. The information flows in parallel through these two reconstructors and is then optimally combined, and multiple such blocks are cascaded to form a reconstruction pipeline. We demonstrate the efficacy of this learned hybrid model for low-dose CT image reconstruction with limited training data, where we use the NIH AAPM Mayo Clinic Low Dose CT Grand Challenge dataset for training and testing. In our experiments, we study combinations of supervised deep network reconstructors and sparse representations-based (unsupervised) learned or analytical priors. Our results demonstrate the promising performance of the proposed framework compared to recent reconstruction methods.


title: How catastrophic can catastrophic forgetting be in linear regression?

abstract: To better understand catastrophic forgetting, we study fitting an overparameterized linear model to a sequence of tasks with different input distributions. We analyze how much the model forgets the true labels of earlier tasks after training on subsequent tasks, obtaining exact expressions and bounds. We establish connections between continual learning in the linear setting and two other research areas: alternating projections and the Kaczmarz method. In specific settings, we highlight differences between forgetting and convergence to the offline solution as studied in those areas. In particular, when T tasks in d dimensions are presented cyclically for k iterations, we prove an upper bound of T^2 * min{1/sqrt(k), d/k} on the forgetting. This stands in contrast to the convergence to the offline solution, which can be arbitrarily slow according to existing alternating projection results. We further show that the T^2 factor can be lifted when tasks are presented in a random ordering.


title: Learning Energy Networks with Generalized Fenchel-Young Losses

abstract: Energy-based models, a.k.a. energy networks, perform inference by optimizing an energy function, typically parametrized by a neural network. This allows one to capture potentially complex relationships between inputs and outputs. To learn the parameters of the energy function, the solution to that optimization problem is typically fed into a loss function. The key challenge for training energy networks lies in computing loss gradients, as this typically requires argmin/argmax differentiation. In this paper, building upon a generalized notion of conjugate function, which replaces the usual bilinear pairing with a general energy function, we propose generalized Fenchel-Young losses, a natural loss construction for learning energy networks. Our losses enjoy many desirable properties and their gradients can be computed efficiently without argmin/argmax differentiation. We also prove the calibration of their excess risk in the case of linear-concave energies. We demonstrate our losses on multilabel classification and imitation learning tasks.


title: Ro-vibrational energy and thermodynamic properties of molecules subjected to Deng-Fan potential through an improved approximation

abstract: Accurate solution of the Schr\"odinger equation with Deng-Fan potential is presented by means of Nikiforov-Uvarov method. A modified Pekeris-type approximation is proposed for the centrifugal term, from a linear combination of the $r \to 0$ and $r \to r_e$ limits. It can potentially offer a series of approximations (depending on an adjustable parameter $\lambda$). The existing approximations in the literature can then be recovered in certain special cases. Its efficiency and feasibility is demonstrated by a critical comparison of eigenvalues produced at various $\lambda$'s for four molecules, \emph{viz.}, H$_2$, LiH, HCl and CO. Analytical expressions are derived for energies, eigenfunctions and the thermodynamic properties such as vibrational mean free energy, vibrational free energy, vibrational entropy and vibrational specific heat. The effect of quantum correction on partition function and thermodynamic properties is discussed by including the correction up to 10th-order, for H$_2$ and LiH. The effect of $\lambda$ parameter on these properties is also studied.


title: Breathing Life into Models: The Next Generation of Enterprise Modeling

abstract: Edsger W. Dijkstra has frequently suggested building a "firewall" between the technology- and application-side of computer science. His justification: The methods to attack the computer scientists' formal, mathematical "correctness problem" differ fundamentally from the methods to attack the applicants' informal "pleasantness problem". In this setting, a model is always confined to one side or the other of this wall. This keynote shows that a seamless transition between both sides can be achieved by a framework with architecture, statics, and dynamics as the three pillars of modeling computer-integrated systems. Selected examples justify this framework. It allows to "breath life" into (static) models, and it implies a new understanding of the "pleasantness" of computer-integrated systems, which is well-needed in the age of "digital first".


title: Transferable Physical Attack against Object Detection with Separable Attention

abstract: Transferable adversarial attack is always in the spotlight since deep learning models have been demonstrated to be vulnerable to adversarial samples. However, existing physical attack methods do not pay enough attention on transferability to unseen models, thus leading to the poor performance of black-box attack.In this paper, we put forward a novel method of generating physically realizable adversarial camouflage to achieve transferable attack against detection models. More specifically, we first introduce multi-scale attention maps based on detection models to capture features of objects with various resolutions. Meanwhile, we adopt a sequence of composite transformations to obtain the averaged attention maps, which could curb model-specific noise in the attention and thus further boost transferability. Unlike the general visualization interpretation methods where model attention should be put on the foreground object as much as possible, we carry out attack on separable attention from the opposite perspective, i.e. suppressing attention of the foreground and enhancing that of the background. Consequently, transferable adversarial camouflage could be yielded efficiently with our novel attention-based loss function. Extensive comparison experiments verify the superiority of our method to state-of-the-art methods.


title: Improving Micro-video Recommendation via Contrastive Multiple Interests

abstract: With the rapid increase of micro-video creators and viewers, how to make personalized recommendations from a large number of candidates to viewers begins to attract more and more attention. However, existing micro-video recommendation models rely on expensive multi-modal information and learn an overall interest embedding that cannot reflect the user's multiple interests in micro-videos. Recently, contrastive learning provides a new opportunity for refining the existing recommendation techniques. Therefore, in this paper, we propose to extract contrastive multi-interests and devise a micro-video recommendation model CMI. Specifically, CMI learns multiple interest embeddings for each user from his/her historical interaction sequence, in which the implicit orthogonal micro-video categories are used to decouple multiple user interests. Moreover, it establishes the contrastive multi-interest loss to improve the robustness of interest embeddings and the performance of recommendations. The results of experiments on two micro-video datasets demonstrate that CMI achieves state-of-the-art performance over existing baselines.


title: A Comparative Study of Feature Expansion Unit for 3D Point Cloud Upsampling

abstract: Recently, deep learning methods have shown great success in 3D point cloud upsampling. Among these methods, many feature expansion units were proposed to complete point expansion at the end. In this paper, we compare various feature expansion units by both theoretical analysis and quantitative experiments. We show that most of the existing feature expansion units process each point feature independently, while ignoring the feature interaction among different points. Further, inspired by upsampling module of image super-resolution and recent success of dynamic graph CNN on point clouds, we propose a novel feature expansion units named ProEdgeShuffle. Experiments show that our proposed method can achieve considerable improvement over previous feature expansion units.


title: Particular flows and attracting sets: A comment on "How particular is the physics of the Free Energy Principle?" by Aguilera, Millidge, Tschantz and Buckley

abstract: In this commentary, I expand on the analysis of the recent article "How particular is the physics of the Free Energy Principle?" by Aguilera et al. by studying the flow fields of linear diffusions, and particularly the rotation of their attracting sets in the presence of different types of solenoidal coupling. This analysis sheds new light on previous claims made in the FEP literature (and contested in the target article) that the internal dynamics of stochastic systems can be cast performing a gradient flow on variational free energy, and thus endowed with an inferential interpretation, i.e., as if internal states are performing inference about states external to the system. I express general agreement with the target article's statement that the marginal flow of internal states does not point along variational free energy gradients evaluated at the most likely internal state (i.e., the conditional mode). However, in this commentary I focus on the flow of particular states (internal and blanket states) and their variational free energy gradients, and show that for a wide but restricted class of solenoidal couplings, the average flow of these systems point along variational free energy gradients. This licenses a different but perhaps stronger re-description of the flow of particular states as performing inference, which importantly holds at arbitrary points in state space, not just at the conditional modes.


title: An Extended Kalman Filter for Distance Estimation and Power Control in Mobile Molecular Communication

abstract: In this paper, we consider a mobile molecular communication (MC) system consisting of two mobile nanomachines, a transmitter and a receiver, propelled by a positive drift velocity and Brownian motion in a realistic blood-vessel-type flow regime. Considering the nonlinear movement of the nanomachines, an extended Kalman filter is employed to estimate the distance from the transmitter. Furthermore, based on the predicted distance, to keep the number of received molecules for bit 1 at a stable level, we employ power control on the number of transmitted molecules based on the distance between the transmitter and the receiver and the residual molecules in the channel from the previous transmission. Finally, the optimal detection threshold is obtained by minimizing the error probability. It is verified that a fixed optimal detection threshold can be effective for the power control scheme in the mobile MC. The bit error rate (BER) performance of our scheme is verified via simulation results.


title: Search for electroweak production of charginos and neutralinos at $\sqrt{s}$ = 13 TeV in final states containing hadronic decays of WW, WZ, or WH and missing transverse momentum

abstract: This Letter presents a search for direct production of charginos and neutralinos via electroweak interactions. The results are based on data from proton-proton collisions at a center-of-mass energy of 13 TeV collected with the CMS detector at the LHC, corresponding to an integrated luminosity of 137 fb$^{-1}$. The search considers final states with large missing transverse momentum and pairs of hadronically decaying bosons WW, WZ, and WH, where H is the Higgs boson. These bosons are identified using novel algorithms. No significant excess of events is observed relative to the expectations from the standard model. Limits at the 95% confidence level are placed on the cross section for production of mass-degenerate wino-like supersymmetric particles $\tilde{\chi}_1^\pm$ and $\tilde{\chi}_2^0$, and mass-degenerate higgsino-like supersymmetric particles $\tilde{\chi}_1^\pm$, $\tilde{\chi}_2^0$, and $\tilde{\chi}_3^0$. In the limit of a nearly-massless lightest supersymmetric particle $\tilde{\chi}_1^0$, wino-like particles with masses up to 870 and 960 GeV are excluded in the cases of $\tilde{\chi}_2^0$ $\to$ Z$\tilde{\chi}_1^0$ and $\tilde{\chi}_2^0$ $\to$ H$\tilde{\chi}_1^0$, respectively, and higgsino-like particles are excluded between 300 and 650 GeV.


title: Small-scale solar jet formation and their associated waves and instabilities

abstract: Studies on small-scale jets' formation, propagation, evolution, and role, such as type I and II spicules, mottles, and fibrils in the lower solar atmosphere's energetic balance, have progressed tremendously thanks to the combination of detailed observations and sophisticated mathematical modelling. This review provides a survey of the current understanding of jets, their formation in the solar lower atmosphere, and their evolution from observational, numerical, and theoretical perspectives. First, we review some results to describe the jet properties, acquired numerically, analytically and through high-spatial and temporal resolution observations. Further on, we discuss the role of hydrodynamic and magnetohydrodynamic instabilities, namely Rayleigh-Taylor and Kelvin-Helmholtz instabilities, in jet evolution and their role in the energy transport through the solar atmosphere in fully and partially ionised plasmas. Finally, we discuss several mechanisms of magnetohydrodynamic wave generation, propagation, and energy transport in the context of small-scale solar jets in detail. This review identifies several gaps in the understanding of small-scale solar jets and some misalignments between the observational studies and knowledge acquired through theoretical studies and numerical modelling. It is to be expected that these gaps will be closed with the advent of high-resolution observational instruments, such as Daniel K. Inouye Solar Telescope, Solar Orbiter, Parker Solar Probe, and Solar CubeSats for Linked Imaging Spectropolarimetry, combined with further theoretical and computational developments.


title: Feasibility of studying astrophysically important charged-particle emission with the variable energy $\gamma$-ray system at the Extreme Light Infrastructure -- Nuclear Physics facility

abstract: In the environment of a hot plasma, as achieved in stellar explosions, capture and photodisintegration reactions proceeding on excited states in the nucleus can considerably contribute to the astrophysical reaction rate. Such reaction rates including the excited-state contribution are obtained from theoretical calculations as the direct experimental determination of these astrophysical rates is currently unfeasible. In the present study, ($\gamma$,p) and ($\gamma$,$\alpha$) reactions in the mass and energy range relevant to the astrophysical $p$ process are considered and the feasibility of measuring them with the ELISSA detector system at the future Variable Energy $\gamma$-ray (VEGA) facility at ELI-NP is investigated. The simulation results reveal that, for the ($\gamma$,p) reaction on twelve targets of $^{29}$Si, $^{56}$Fe, $^{74}$Se, $^{84}$Sr, $^{91}$Zr, $^{96,98}$Ru, $^{102}$Pd, $^{106}$Cd, and $^{115, 117, 119}$Sn, and the ($\gamma$,$\alpha$) reaction on five targets of $^{50}$V, $^{87}$Sr, $^{123,125}$Te, and $^{149}$Sm, the yields of the reaction channels with the transitions to the excited states in the residual nucleus are relevant and even dominant. It is further found that for each considered reaction, the total yields of the charged-particle $X$ may be dominantly contributed from one, two or three ($\gamma$,$X_{i}$) channels within a specific, narrow energy range of the incident $\gamma$-beam. Furthermore, the energy spectra of the ($\gamma$,$X_{i}$) channels with $0\leq i\leq 10$ are simulated for each considered reaction, with the incident $\gamma$-beam energies in the respective energy range as derived before. It becomes evident that measurements of the photon-induced reactions with charged-particle emissions considered in this work are feasible with the VEGA+ELISSA system and will provide knowledge useful for nuclear astrophysics.


title: Visualization of Chiral Electronic Structure and Anomalous Optical Response in a Material with Chiral Charge Density Waves

abstract: Chiral materials have attracted significant research interests as they exhibit intriguing physical properties, such as chiral optical response, spin-momentum locking and chiral induced spin selectivity. Recently, layered transition metal dichalcogenide 1T-TaS2 has been found to host a chiral charge density wave (CDW) order. Nevertheless, the physical consequences of the chiral order, for example, in electronic structures and the optical properties, are yet to be explored. Here, we report the spectroscopic visualization of an emergent chiral electronic band structure in the CDW phase, characterized by windmill-shape Fermi surfaces. We uncover a remarkable chirality-dependent circularly polarized Raman response due to the salient chiral symmetry of CDW, although the ordinary circular dichroism vanishes. Chiral Fermi surfaces and anomalous Raman responses coincide with the CDW transition, proving their lattice origin. Our work paves a path to manipulate the chiral electronic and optical properties in two-dimensional materials and explore applications in polarization optics and spintronics.


title: CORPS: Cost-free Rigorous Pseudo-labeling based on Similarity-ranking for Brain MRI Segmentation

abstract: Segmentation of brain magnetic resonance images (MRI) is crucial for the analysis of the human brain and diagnosis of various brain disorders. The drawbacks of time-consuming and error-prone manual delineation procedures are aimed to be alleviated by atlas-based and supervised machine learning methods where the former methods are computationally intense and the latter methods lack a sufficiently large number of labeled data. With this motivation, we propose CORPS, a semi-supervised segmentation framework built upon a novel atlas-based pseudo-labeling method and a 3D deep convolutional neural network (DCNN) for 3D brain MRI segmentation. In this work, we propose to generate expert-level pseudo-labels for unlabeled set of images in an order based on a local intensity-based similarity score to existing labeled set of images and using a novel atlas-based label fusion method. Then, we propose to train a 3D DCNN on the combination of expert and pseudo labeled images for binary segmentation of each anatomical structure. The binary segmentation approach is proposed to avoid the poor performance of multi-class segmentation methods on limited and imbalanced data. This also allows to employ a lightweight and efficient 3D DCNN in terms of the number of filters and reserve memory resources for training the binary networks on full-scale and full-resolution 3D MRI volumes instead of 2D/3D patches or 2D slices. Thus, the proposed framework can encapsulate the spatial contiguity in each dimension and enhance context-awareness. The experimental results demonstrate the superiority of the proposed framework over the baseline method both qualitatively and quantitatively without additional labeling cost for manual labeling.


title: Entanglement-assisted quantum communication with simple measurements

abstract: Dense coding is the seminal example of how entanglement can boost qubit communication, from sending one bit to sending two bits. This is made possible by projecting separate particles onto a maximally entangled basis. We investigate more general communication tasks, in both theory and experiment, and show that simpler measurements enable strong and sometimes even optimal entanglement-assisted qubit communication protocols. Using only partial Bell state analysers for two qubits, we demonstrate quantum correlations that cannot be simulated with two bits of classical communication. Then, we show that there exists an established and operationally meaningful task for which product measurements are sufficient for the strongest possible quantum predictions based on a maximally entangled two-qubit state. Our results reveal that there are scenarios in which the power of entanglement in enhancing quantum communication can be harvested in simple and scalable optical experiments.


title: Sphere on a plane: Two-dimensional scattering from a finite curved region

abstract: Non-relativistic particles that are effectively confined to two dimensions can in general move on curved surfaces, allowing dynamical phenomena beyond what can be described with scalar potentials or even vector gauge fields. Here we consider a simple case of piecewise uniform curvature: a particle moves on a plane with a spherical extrusion. Depending on the latitude at which the sphere joins the plane, the extrusion can range from an infinitesimal bump to a nearly full sphere that just touches the plane. Free classical motion on this surface of piecewise uniform curvature follows geodesics that are independent of velocity, while quantum mechanical scattering depends on energy. We compare classical, semi-classical, and fully quantum problems, which are all exactly solvable, and show how semi-classical analysis explains the complex quantum differential cross section in terms of interference between two classical trajectories: the sphere on a plane acts as a kind of double slit.

categories: quant-ph math-ph math.MP physics.class-ph


title: Robust Deep Neural Network Estimation for Multi-dimensional Functional Data

abstract: In this paper, we propose a robust estimator for the location function from multi-dimensional functional data. The proposed estimators are based on the deep neural networks with ReLU activation function. At the meanwhile, the estimators are less susceptible to outlying observations and model-misspecification. For any multi-dimensional functional data, we provide the uniform convergence rates for the proposed robust deep neural networks estimators. Simulation studies illustrate the competitive performance of the robust deep neural network estimators on regular data and their superior performance on data that contain anomalies. The proposed method is also applied to analyze 2D and 3D images of patients with Alzheimer's disease obtained from the Alzheimer Disease Neuroimaging Initiative database.


title: Needle bevel geometry influences the flexural deflection magnitude in ultrasound-enhanced fine-needle biopsy

abstract: It has been recently demonstrated that use of ultrasound increases the tissue yield in ultrasound-enhanced fine-needle aspiration biopsy (USeFNAB) as compared to conventional fine-needle aspiration biopsy (FNAB). To date, the association between bevel geometry and needle tip action has not been widely explored. In this study, we studied the needle resonance characteristics and deflection magnitude of various needle bevel geometries with varying bevel lengths. With a conventional lancet, having a 3.9 mm long bevel, the tip deflection efficiency in air and water was 220 and 105 micrometres per Watt, respectively. This was higher in comparison to an axi-symmetric tip, having a bevel length of 4 mm, which achieved a deflection efficiency of 180 and 80 micrometres per Watt in air and water, respectively. This study emphasised the importance of relationship between flexural modulus of bevel geometry in the context of various insertion media and, thus, could provide understanding on approaches to control post-puncture cutting action by modifying the needle bevel geometry, essential for the USeFNAB application.


title: AU Microscopii in the FUV: Observations in Quiescence, During Flares, and Implications for AU Mic b and c

abstract: High energy X-ray and ultraviolet (UV) radiation from young stars impacts planetary atmospheric chemistry and mass loss. The active $\sim 22$ Myr M dwarf AU Mic hosts two exoplanets orbiting interior to its debris disk. Therefore, this system provides a unique opportunity to quantify the effects of stellar XUV irradiation on planetary atmospheres as a function of both age and orbital separation. In this paper we present over 5 hours of Far-UV (FUV) observations of AU Mic taken with the Cosmic Origins Spectrograph (COS; 1070-1360 Angstrom) on the Hubble Space Telescope (HST). We provide an itemization of $120$ emission features in the HST/COS FUV spectrum and quantify the flux contributions from formation temperatures ranging from $10^4-10^7$ K. We detect 13flares in the FUV white-light curve with energies ranging from $10^{29} - 10^{31}$ ergs. The majority of the energy in each of these flares is released from the transition region between the chromosphere and the corona. There is a 100$\times$ increase in flux at continuum wavelengths $\lambda < 1100$ Angstrom in each flare which may be caused by thermal Bremsstrahlung emission. We calculate that the baseline atmospheric mass-loss rate for AU Mic b is $\sim 10^8$ g s$^{-1}$, although this rate can be as high as $\sim 10^{14}$ g s$^{-1}$ during flares with $L_\textrm{flare} \simeq 10^{33}$ erg s$^{-1}$. Finally, we model the transmission spectra for AU Mic b and c with a new panchromatic spectrum of AU Mic c and motivate future JWST observations of these planets.


title: LAGr: Label Aligned Graphs for Better Systematic Generalization in Semantic Parsing

abstract: Semantic parsing is the task of producing structured meaning representations for natural language sentences. Recent research has pointed out that the commonly-used sequence-to-sequence (seq2seq) semantic parsers struggle to generalize systematically, i.e. to handle examples that require recombining known knowledge in novel settings. In this work, we show that better systematic generalization can be achieved by producing the meaning representation directly as a graph and not as a sequence. To this end we propose LAGr (Label Aligned Graphs), a general framework to produce semantic parses by independently predicting node and edge labels for a complete multi-layer input-aligned graph. The strongly-supervised LAGr algorithm requires aligned graphs as inputs, whereas weakly-supervised LAGr infers alignments for originally unaligned target graphs using approximate maximum-a-posteriori inference. Experiments demonstrate that LAGr achieves significant improvements in systematic generalization upon the baseline seq2seq parsers in both strongly- and weakly-supervised settings.


title: The Pragmatic QFT Measurement Problem and the need for a Heisenberg-like Cut in QFT

abstract: Despite quantum theory's remarkable success, many philosophers worry that it nonetheless lacks some crucial connection between theory and experiment. One under-discussed aspect of the Quantum Measurement Problems is that it is sometimes unclear how to model our measurement processes in order to extract experimental predictions. Without a solution to these pragmatic worries, quantum theory would be at risk of losing both its evidential support and its physical salience. Avoiding these risks requires solving the Pragmatic Measurement Problem. For non-relativistic quantum theory, this problem has been solved as follows: One can model each of quantum theory's key experimental successes on a case-by-case in terms of measurement chains and Heisenberg cuts. From here, one can then strive for a wide-scoping measurement theory capable of modeling all (or nearly all) possible measurement processes. Indeed, for non-relativistic quantum theory this leads us to our usual projective measurement theory. But how does this story have to change when we move into the context of quantum field theory (QFT)? It is well known that in QFT almost all localized projective measurements violate causality, allowing for faster-than-light signaling. Despite this, I will argue that we can proceed largely as we did in the non-relativistic case. We first ought to build up a case-by-case measurement framework for QFT by using measurement chains and Heisdenberg-like cuts (where we switch from a QFT model to a non-QFT model). We can then strive for both a new measurement theory for QFT and an empirically meaningful characterization of its observables. It is at this point that significantly more theoretical work is needed. This paper ends by briefly reviewing the state of the art in the physics literature regarding the modeling of measurement processes involving quantum fields.


title: Nodeless time-reversal symmetry breaking in the centrosymmetric superconductor Sc$_5$Co$_4$Si$_{10}$ probed by muon-spin spectroscopy

abstract: We investigate the superconducting properties of Sc$_{5}$Co$_{4}$Si$_{10}$ using low-temperature resistivity, magnetization, heat capacity, and muon-spin rotation and relaxation ($\mu$SR) measurements. We find that Sc$_{5}$Co$_{4}$Si$_{10}$ {exhibits type-II} superconductivity with a superconducting transition temperature $T_\mathrm{C}= 3.5 (1)$\,K. The temperature dependence of the superfluid density obtained from transverse-field $\mu$SR spectra is best modeled using an isotropic Bardeen-Cooper-Schrieffer type $s$-wave gap symmetry with $2\Delta/k_\mathrm{B}T_\mathrm{C} = 2.84(2)$. However, the zero-field muon-spin relaxation asymmetry reveals the appearance of a spontaneous magnetic field below $T_\mathrm{C}$, indicating that time-reversal symmetry (TRS) is broken in the superconducting state. Although this behavior is commonly associated with non-unitary or mixed singlet-triplet pairing, our group-theoretical analysis of the Ginzburg-Landau free energy alongside density functional theory calculations indicates that unconventional mechanisms are pretty unlikely. Therefore, we have hypothesized that TRS breaking may occur via a conventional electron-phonon process.


title: Way down in the hole... and up again

abstract: I argue that an approach which uses an appropriate admixture of both classical and semiclassical effects is essential for understanding the ultimate fate of gravitational collapse and the nature of black holes. I provide an example of a problem which pushes the boundaries of what is known in both the classical and semiclassical approaches: the evolution of the inner horizon of a black hole. I show that solving this problem requires considering perturbations of both classical and semiclassical origin. In fact, it has been found that classical mass inflation might be counteracted by a semiclassical tendency for the inner horizon to inflate outward.


title: How long do high-redshift massive black hole seeds remain outliers in black hole vs. host galaxy relations?

abstract: The existence of $10^9\ {\rm M_\odot}$ supermassive black holes (SMBHs) within the first billion years of the universe remains a puzzle in our conventional understanding of black hole formation and growth. Several suggested formation pathways for these SMBHs lead to a heavy seed, with an initial black hole mass of $10^4-10^6~{\rm M_\odot}$. This can lead to an overly massive BH galaxy (OMBG), whose nuclear black hole's mass is comparable to or even greater than the surrounding stellar mass: the black hole to stellar mass ratio is $M_{\rm bh}/M_* \gg 10^{-3}$, well in excess of the typical values at lower redshift. We investigate how long these newborn BHs remain outliers in the $M_{\rm bh}-M_{*}$ relation, by exploring the subsequent evolution of two OMBGs previously identified in the \texttt{Renaissance} simulations. We find that both OMBGs have $M_{\rm bh}/M_* > 1$ during their entire life, from their birth at $z\approx 15$ until they merge with much more massive haloes at $z\approx 8$. We find that the OMBGs are spatially resolvable from their more massive, $10^{11}~{\rm M_\odot}$, neighboring haloes until their mergers are complete at $z\approx 8$. This affords a window for future observations with {\it JWST} and sensitive X-ray telescopes to diagnose the heavy-seed scenario, by detecting similar OMBGs and establishing their uniquely high black hole-to-stellar mass ratio.


title: CLCNet: Rethinking of Ensemble Modeling with Classification Confidence Network

abstract: In this paper, we propose a Classification Confidence Network (CLCNet) that can determine whether the classification model classifies input samples correctly. It can take a classification result in the form of vector in any dimension, and return a confidence score as output, which represents the probability of an instance being classified correctly. We can utilize CLCNet in a simple cascade structure system consisting of several SOTA (state-of-the-art) classification models, and our experiments show that the system can achieve the following advantages: 1. The system can customize the average computation requirement (FLOPs) per image while inference. 2. Under the same computation requirement, the performance of the system can exceed any model that has identical structure with the model in the system, but different in size. In fact, this is a new type of ensemble modeling. Like general ensemble modeling, it can achieve higher performance than single classification model, yet our system requires much less computation than general ensemble modeling. We have uploaded our code to a github repository: https://github.com/yaoching0/CLCNet-Rethinking-of-Ensemble-Modeling.


title: Integrally Migrating Pre-trained Transformer Encoder-decoders for Visual Object Detection

abstract: Modern object detectors have taken the advantages of backbone networks pre-trained on large scale datasets. Except for the backbone networks, however, other components such as the detector head and the feature pyramid network (FPN) remain trained from scratch, which hinders fully tapping the potential of representation models. In this study, we propose to integrally migrate pre-trained transformer encoder-decoders (imTED) to a detector, constructing a feature extraction path which is ``fully pre-trained" so that detectors' generalization capacity is maximized. The essential differences between imTED with the baseline detector are twofold: (1) migrating the pre-trained transformer decoder to the detector head while removing the randomly initialized FPN from the feature extraction path; and (2) defining a multi-scale feature modulator (MFM) to enhance scale adaptability. Such designs not only reduce randomly initialized parameters significantly but also unify detector training with representation learning intendedly. Experiments on the MS COCO object detection dataset show that imTED consistently outperforms its counterparts by $\sim$2.4 AP. Without bells and whistles, imTED improves the state-of-the-art of few-shot object detection by up to 7.6 AP. Code is available at https://github.com/LiewFeng/imTED.


title: Zeros in the Character Tables of Symmetric Groups with an $\ell$-Core Index

abstract: Let $\mathcal{C}_n =\left [\chi_{\lambda}(\mu)\right]_{\lambda, \mu}$ be the character table for $S_n,$ where the indices $\lambda$ and $\mu$ run over the $p(n)$ many integer partitions of $n.$ In this note we study $Z_{\ell}(n),$ the number of zero entries $\chi_{\lambda}(\mu)$ in $\mathcal{C}_n,$ where $\lambda$ is an $\ell$-core partition of $n.$ For every prime $\ell\geq 5,$ we prove an asymptotic formula of the form $$ Z_{\ell}(n)\sim \alpha_{\ell}\cdot \sigma_{\ell}(n+\delta_{\ell})p(n)\gg_{\ell} n^{\frac{\ell-5}{2}}e^{\pi\sqrt{2n/3}},$$ where $\sigma_{\ell}(n)$ is a twisted Legendre symbol divisor function, $\delta_{\ell}:=(\ell^2-1)/24,$ and $1/\alpha_{\ell}>0$ is a normalization of the Dirichlet $L$-value $L\left(\left(\frac{\cdot}{\ell}\right),\frac{\ell-1}{2}\right).$ For primes $\ell$ and $n>\ell^6/24,$ we show that $\chi_{\lambda}(\mu)=0$ whenever $\lambda$ and $\mu$ are both $\ell$-cores. Furthermore, if $Z^*_{\ell}(n)$ is the number of zero entries indexed by two $\ell$-cores, then for $\ell\geq 5$ we obtain the asymptotic $$ Z^*_{\ell}(n)\sim \alpha_{\ell}^2 \cdot \sigma_{\ell}( n+\delta_{\ell})^2 \gg_{\ell} n^{\ell-3}. $$


title: EXACT: How to Train Your Accuracy

abstract: Classification tasks are usually evaluated in terms of accuracy. However, accuracy is discontinuous and cannot be directly optimized using gradient ascent. Popular methods minimize cross-entropy, hinge loss, or other surrogate losses, which can lead to suboptimal results. In this paper, we propose a new optimization framework by introducing stochasticity to a model's output and optimizing expected accuracy, i.e. accuracy of the stochastic model. Extensive experiments on linear models and deep image classification show that the proposed optimization method is a powerful alternative to widely used classification losses.


title: Masked Image Modeling with Denoising Contrast

abstract: Since the development of self-supervised visual representation learning from contrastive learning to masked image modeling (MIM), there is no significant difference in essence, that is, how to design proper pretext tasks for vision dictionary look-up. MIM recently dominates this line of research with state-of-the-art performance on vision Transformers (ViTs), where the core is to enhance the patch-level visual context capturing of the network via denoising auto-encoding mechanism. Rather than tailoring image tokenizers with extra training stages as in previous works, we unleash the great potential of contrastive learning on denoising auto-encoding and introduce a pure MIM method, ConMIM, to produce simple intra-image inter-patch contrastive constraints as the sole learning objectives for masked patch prediction. We further strengthen the denoising mechanism with asymmetric designs, including image perturbations and model progress rates, to improve the network pre-training. ConMIM-pretrained models with various scales achieve competitive results on downstream image classification, semantic segmentation, object detection, and instance segmentation tasks, e.g., on ImageNet-1K classification, we achieve 83.9% top-1 accuracy with ViT-Small and 85.3% with ViT-Base without extra data for pre-training.


title: A Topological Approach for Semi-Supervised Learning

abstract: Nowadays, Machine Learning and Deep Learning methods have become the state-of-the-art approach to solve data classification tasks. In order to use those methods, it is necessary to acquire and label a considerable amount of data; however, this is not straightforward in some fields, since data annotation is time consuming and might require expert knowledge. This challenge can be tackled by means of semi-supervised learning methods that take advantage of both labelled and unlabelled data. In this work, we present new semi-supervised learning methods based on techniques from Topological Data Analysis (TDA), a field that is gaining importance for analysing large amounts of data with high variety and dimensionality. In particular, we have created two semi-supervised learning methods following two different topological approaches. In the former, we have used a homological approach that consists in studying the persistence diagrams associated with the data using the Bottleneck and Wasserstein distances. In the latter, we have taken into account the connectivity of the data. In addition, we have carried out a thorough analysis of the developed methods using 3 synthetic datasets, 5 structured datasets, and 2 datasets of images. The results show that the semi-supervised methods developed in this work outperform both the results obtained with models trained with only manually labelled data, and those obtained with classical semi-supervised learning methods, reaching improvements of up to a 16%.


title: Eco-driving Trajectory Planning of a Heterogeneous Platoon in Urban Environments

abstract: Given the increasing popularity and demand for connected and autonomous vehicles (CAVs), Eco-driving and platooning in highways and urban areas to increase the efficiency of the traffic system is becoming a possibility. This paper presents Eco-driving trajectory planning for a platoon of heterogeneous electric vehicles (EVs) in urban environments. The proposed control strategy for the platoon considers energy consumption, mobility and passenger comfort, with which vehicles may pass signalized intersections with no stops. For a given urban route, first, the platoon's leader vehicle employs dynamic programming (DP) to plan a trajectory for the anticipated path with the aim of balancing energy consumption, mobility and passenger comfort. Then, every other following CAV in the platoon either follows its preceding vehicle using a PID-based cooperative adaptive cruise control or plans its own trajectory by checking whether it can pass the next intersection without stopping. Furthermore, a heavy-duty vehicle that cannot efficiently follow a light-weight vehicle would instead employ the DP-based trajectory planner. Simulation studies demonstrate the efficacy of the proposed control strategy with which the platoon's energy consumption is shown to reduce while the mobility is not compromised.


title: Improving Robustness against Real-World and Worst-Case Distribution Shifts through Decision Region Quantification

abstract: The reliability of neural networks is essential for their use in safety-critical applications. Existing approaches generally aim at improving the robustness of neural networks to either real-world distribution shifts (e.g., common corruptions and perturbations, spatial transformations, and natural adversarial examples) or worst-case distribution shifts (e.g., optimized adversarial examples). In this work, we propose the Decision Region Quantification (DRQ) algorithm to improve the robustness of any differentiable pre-trained model against both real-world and worst-case distribution shifts in the data. DRQ analyzes the robustness of local decision regions in the vicinity of a given data point to make more reliable predictions. We theoretically motivate the DRQ algorithm by showing that it effectively smooths spurious local extrema in the decision surface. Furthermore, we propose an implementation using targeted and untargeted adversarial attacks. An extensive empirical evaluation shows that DRQ increases the robustness of adversarially and non-adversarially trained models against real-world and worst-case distribution shifts on several computer vision benchmark datasets.


title: Towards a Theory of Faithfulness: Faithful Explanations of Differentiable Classifiers over Continuous Data

abstract: There is broad agreement in the literature that explanation methods should be faithful to the model that they explain, but faithfulness remains a rather vague term. We revisit faithfulness in the context of continuous data and propose two formal definitions of faithfulness for feature attribution methods. Qualitative faithfulness demands that scores reflect the true qualitative effect (positive vs. negative) of the feature on the model and quanitative faithfulness that the magnitude of scores reflect the true quantitative effect. We discuss under which conditions these requirements can be satisfied to which extent (local vs global). As an application of the conceptual idea, we look at differentiable classifiers over continuous data and characterize Gradient-scores as follows: every qualitatively faithful feature attribution method is qualitatively equivalent to Gradient-scores. Furthermore, if an attribution method is quantitatively faithful in the sense that changes of the output of the classifier are proportional to the scores of features, then it is either equivalent to gradient-scoring or it is based on an inferior approximation of the classifier. To illustrate the practical relevance of the theory, we experimentally demonstrate that popular attribution methods can fail to give faithful explanations in the setting where the data is continuous and the classifier differentiable.


title: Homogeneous eigenvalue problems in Orlicz-Sobolev spaces

abstract: In this article we consider a homogeneous eigenvalue problem ruled by the fractional $g-$Laplacian operator whose Euler-Lagrange equation is obtained by minimization of a quotient involving Luxemburg norms. We prove existence of an infinite sequence of variational eigenvalues and study its behavior as the fractional parameter $s\uparrow 1$ among other stability results.


title: What Is Fairness? On the Role of Protected Attributes and Fictitious Worlds

abstract: A growing body of literature in fairness-aware machine learning (fairML) aims to mitigate machine learning (ML)-related unfairness in automated decision-making (ADM) by defining metrics that measure fairness of an ML model and by proposing methods to ensure that trained ML models achieve low scores on these metrics. However, the underlying concept of fairness, i.e., the question of what fairness is, is rarely discussed, leaving a significant gap between centuries of philosophical discussion and the recent adoption of the concept in the ML community. In this work, we try to bridge this gap by formalizing a consistent concept of fairness and by translating the philosophical considerations into a formal framework for the training and evaluation of ML models in ADM systems. We argue that fairness problems can arise even without the presence of protected attributes (PAs), and point out that fairness and predictive performance are not irreconcilable opposites, but that the latter is necessary to achieve the former. Furthermore, we argue why and how causal considerations are necessary when assessing fairness in the presence of PAs by proposing a fictitious, normatively desired (FiND) world in which PAs have no causal effects. In practice, this FiND world must be approximated by a warped world in which the causal effects of the PAs are removed from the real-world data. Finally, we achieve greater linguistic clarity in the discussion of fairML. We outline algorithms for practical applications and present illustrative experiments on COMPAS data.


title: Energy-efficient quantum non-demolition measurement with a spin-photon interface

abstract: Spin-photon interfaces (SPIs) are key devices of quantum technologies, aimed at coherently transferring quantum information between spin qubits and propagating pulses of polarized light. We study the potential of a SPI for quantum non demolition (QND) measurements of a spin state. After being initialized and scattered by the SPI, the state of a light pulse depends on the spin state. It thus plays the role of a pointer state, information being encoded in the light's temporal and polarization degrees of freedom. Building on the fully Hamiltonian resolution of the spin-light dynamics, we show that quantum superpositions of zero and single photon states outperform coherent pulses of light, producing pointer states which are more distinguishable with the same photon budget. The energetic advantage provided by quantum pulses over coherent ones is maintained when information on the spin state is extracted at the classical level by performing projective measurements on the light pulses. The proposed schemes are robust against imperfections in state of the art semi-conducting devices.


title: Focused Adversarial Attacks

abstract: Recent advances in machine learning show that neural models are vulnerable to minimally perturbed inputs, or adversarial examples. Adversarial algorithms are optimization problems that minimize the accuracy of ML models by perturbing inputs, often using a model's loss function to craft such perturbations. State-of-the-art object detection models are characterized by very large output manifolds due to the number of possible locations and sizes of objects in an image. This leads to their outputs being sparse and optimization problems that use them incur a lot of unnecessary computation. We propose to use a very limited subset of a model's learned manifold to compute adversarial examples. Our \textit{Focused Adversarial Attacks} (FA) algorithm identifies a small subset of sensitive regions to perform gradient-based adversarial attacks. FA is significantly faster than other gradient-based attacks when a model's manifold is sparsely activated. Also, its perturbations are more efficient than other methods under the same perturbation constraints. We evaluate FA on the COCO 2017 and Pascal VOC 2007 detection datasets.


title: Probing stellar cores from inversions of frequency separation ratios

abstract: With the rapid development of asteroseismology thanks to space-based photometry missions such as CoRoT, Kepler, TESS, and in the future, PLATO, and the use of inversion techniques, quasi-model-independent constraints on the stellar properties can be extracted from a given stellar oscillation spectrum. In this context, inversions based on frequency separation ratios, that are less sensitive to surface effects, appear as a promising technique to constrain the properties of stellar convective cores. We developed an inversion based on frequency separation ratios with the goal of damping the surface effects of the oscillation frequencies. Using this new inversion, we defined a new indicator to constrain the boundary mixing properties of convective cores in solar-like oscillators. We verified our inversion technique by conducting tests in a controlled environment, where the stellar mass and radius are known exactly, and conducted an extensive hare and hounds exercise. The inversion is not affected by surface effects. With the construction of an extensive set of models, favoured and forbidden regions can be highlighted in the parameter space. If the ratios are well fitted, the inversion is unsurprisingly not providing additional information. The indicator coupled with the inversion based on frequency separation ratios seems promising at probing the properties of convective cores, especially for F-type stars exhibiting solar-like oscillations.


title: BARS: Towards Open Benchmarking for Recommender Systems

abstract: The past two decades have witnessed the rapid development of personalized recommendation techniques. Despite significant progress made in both research and practice of recommender systems, to date, there is a lack of a widely-recognized benchmarking standard in this field. Many existing studies perform model evaluations and comparisons in an ad-hoc manner, for example, by employing their own private data splits or using different experimental settings. Such conventions not only increase the difficulty in reproducing existing studies, but also lead to inconsistent experimental results among them. This largely limits the credibility and practical value of research results in this field. To tackle these issues, we present an initiative project (namely BARS) aiming for open benchmarking for recommender systems. In comparison to some earlier attempts towards this goal, we take a further step by setting up a standardized benchmarking pipeline for reproducible research, which integrates all the details about datasets, source code, hyper-parameter settings, running logs, and evaluation results. The benchmark is designed with comprehensiveness and sustainability in mind. It covers both matching and ranking tasks, and also enables researchers to easily follow and contribute to the research in this field. This project will not only reduce the redundant efforts of researchers to re-implement or re-run existing baselines, but also drive more solid and reproducible research on recommender systems. We would like to call upon everyone to use the BARS benchmark for future evaluation, and contribute to the project through the portal at: https://openbenchmark.github.io/BARS.


title: Modeling Approaches for Addressing Simple Unrelaxable Constraints with Unconstrained Optimization Methods

abstract: We explore novel approaches for solving nonlinear optimization problems with unrelaxable bound constraints, which must be satisfied before the objective function can be evaluated. Our method reformulates the unrelaxable bound-constrained problem as an unconstrained optimization problem that is amenable to existing unconstrained optimization methods. The reformulation relies on a domain warping to form a merit function; the choice of the warping determines the level of exactness with which the unconstrained problem can be used to find solutions to the bound-constrained problem, as well as key properties of the unconstrained formulation such as smoothness. We develop theory when the domain warping is a multioutput sigmoidal warping, and we explore the practical elements of applying unconstrained optimization methods to the formulation. We develop an algorithm that exploits the structure of the sigmoidal warping to guarantee that unconstrained optimization algorithms applied to the merit function will find a stationary point to the desired tolerance.


title: What killed the Convex Booster ?

abstract: A landmark negative result of Long and Servedio established a worst-case spectacular failure of a supervised learning trio (loss, algorithm, model) otherwise praised for its high precision machinery. Hundreds of papers followed up on the two suspected culprits: the loss (for being convex) and/or the algorithm (for fitting a classical boosting blueprint). Here, we call to the half-century+ founding theory of losses for class probability estimation (properness), an extension of Long and Servedio's results and a new general boosting algorithm to demonstrate that the real culprit in their specific context was in fact the (linear) model class. We advocate for a more general stanpoint on the problem as we argue that the source of the negative result lies in the dark side of a pervasive -- and otherwise prized -- aspect of ML: \textit{parameterisation}.


title: Stress-constrained topology optimization of lattice-like structures using component-wise reduced order models

abstract: Lattice-like structures can provide a combination of high stiffness with light weight that is useful in many applications, but a resolved finite element mesh of such structures results in a computationally expensive discretization. This computational expense may be particularly burdensome in many-query applications, such as optimization. We develop a stress-constrained topology optimization method for lattice-like structures that uses component-wise reduced order models as a cheap surrogate, providing accurate computation of stress fields while greatly reducing run time relative to a full order model. We demonstrate the ability of our method to produce large reductions in mass while respecting a constraint on the maximum stress in a pair of test problems. The ROM methodology provides a speedup of about 150x in forward solves compared to full order static condensation and provides a relative error of less than 5% in the relaxed stress.


title: Acceptability Judgements via Examining the Topology of Attention Maps

abstract: The role of the attention mechanism in encoding linguistic knowledge has received special interest in NLP. However, the ability of the attention heads to judge the grammatical acceptability of a sentence has been underexplored. This paper approaches the paradigm of acceptability judgments with topological data analysis (TDA), showing that the geometric properties of the attention graph can be efficiently exploited for two standard practices in linguistics: binary judgments and linguistic minimal pairs. Topological features enhance the BERT-based acceptability classifier scores by $8$%-$24$% on CoLA in three languages (English, Italian, and Swedish). By revealing the topological discrepancy between attention maps of minimal pairs, we achieve the human-level performance on the BLiMP benchmark, outperforming nine statistical and Transformer LM baselines. At the same time, TDA provides the foundation for analyzing the linguistic functions of attention heads and interpreting the correspondence between the graph features and grammatical phenomena.


title: Continuity of pseudodifferential operators with nonsmooth symbols on mixed-norm Lebesgue spaces

abstract: Mixed-norm Lebesgue spaces found their place in the study of some questions in the theory of partial differential equations, as can be seen from recent interest in the continuity of certain classes of pseudodifferential operators on these spaces. In this paper, we use some recent advances in the pseudodifferential calculus for nonsmooth symbols to prove the boundedness of pseudodifferential operators with such symbols on mixed-norm Lebesgue spaces.


title: Measurement of a quantum system with a classical apparatus using ensembles on configuration space

abstract: Finding a physically consistent approach to modelling interactions between classical and quantum systems is a highly nontrivial task. While many proposals based on various mathematical formalisms have been made, most of these efforts run into difficulties of one sort or another. One of the first detailed descriptions was given by Sudarshan and his collaborators who, motivated by the measurement problem in quantum mechanics, proposed a Hilbert space formulation of classical-quantum interactions which made use of the Koopman-von Neumann description of classical systems. Here we use the approach of ensembles on configurations space to give a detailed account of a classical apparatus measuring the position of a quantum particle that is prepared in a superposition of two localized states. We show that the probability of the pointer of the classical apparatus is left in a state that corresponds to the probability of the quantum particle. A subsequent observation of the pointer leads to an update of its probability density. From this we can obtain information about the position of the quantum particle, leading to an update of its wave function. Since this formalism incorporates uncertainties and finite measurement precision, it is well suited for metrological applications. Furthermore, it resolves fundamental issues that appear in the case of a quantum description of the apparatus.


title: Deep Generative Survival Analysis: Nonparametric Estimation of Conditional Survival Function

abstract: We propose a deep generative approach to nonparametric estimation of conditional survival and hazard functions with right-censored data. The key idea of the proposed method is to first learn a conditional generator for the joint conditional distribution of the observed time and censoring indicator given the covariates, and then construct the Kaplan-Meier and Nelson-Aalen estimators based on this conditional generator for the conditional hazard and survival functions. Our method combines ideas from the recently developed deep generative learning and classical nonparametric estimation in survival analysis. We analyze the convergence properties of the proposed method and establish the consistency of the generative nonparametric estimators of the conditional survival and hazard functions. Our numerical experiments validate the proposed method and demonstrate its superior performance in a range of simulated models. We also illustrate the applications of the proposed method in constructing prediction intervals for survival times with the PBC (Primary Biliary Cholangitis) and SUPPORT (Study to Understand Prognoses and Preferences for Outcomes and Risks of Treatments) datasets.


title: Phylogeny-Inspired Adaptation of Multilingual Models to New Languages

abstract: Large pretrained multilingual models, trained on dozens of languages, have delivered promising results due to cross-lingual learning capabilities on variety of language tasks. Further adapting these models to specific languages, especially ones unseen during pre-training, is an important goal towards expanding the coverage of language technologies. In this study, we show how we can use language phylogenetic information to improve cross-lingual transfer leveraging closely related languages in a structured, linguistically-informed manner. We perform adapter-based training on languages from diverse language families (Germanic, Uralic, Tupian, Uto-Aztecan) and evaluate on both syntactic and semantic tasks, obtaining more than 20% relative performance improvements over strong commonly used baselines, especially on languages unseen during pre-training.


title: BP-MAC: Fast Authentication for Short Messages

abstract: Resource-constrained devices increasingly rely on wireless communication for the reliable and low-latency transmission of short messages. However, especially the implementation of adequate integrity protection of time-critical messages places a significant burden on these devices. We address this issue by proposing BP-MAC, a fast and memory-efficient approach for computing message authentication codes based on the well-established Carter-Wegman construction. Our key idea is to offload resource-intensive computations to idle phases and thus save valuable time in latency-critical phases, i.e., when new data awaits processing. Therefore, BP-MAC leverages a universal hash function designed for the bitwise preprocessing of integrity protection to later only require a few XOR operations during the latency-critical phase. Our evaluation on embedded hardware shows that BP-MAC outperforms the state-of-the-art in terms of latency and memory overhead, notably for small messages, as required to adequately protect resource-constrained devices with stringent security and latency requirements.


title: The theory of screws derived from a module over the dual numbers

abstract: The theory of screws clarifies many analogies between apparently unrelated notions in mechanics, including the duality between forces and angular velocities. It is known that the real 6-dimensional space of screws can be endowed with an operator E, E^2 = 0, that converts it into a rank 3 free module over the dual numbers. In this paper we prove the converse, namely, given a rank 3 free module over the dual numbers, endowed with orientation and a suitable scalar product (D-module geometry), we show that it is possible to define, in a canonical way, a Euclidean space so that each element of the module is represented by a screw vector field over it. The new approach has the effectiveness of motor calculus while being independent of any reduction point. It gives insights into the transference principle by showing that affine space geometry is basically vector space geometry over the dual numbers. The main results of screw theory are then recovered by using this point of view.


title: Couple stresses and discrete potentials in the vertex model of cellular monolayers

abstract: The vertex model is widely used to simulate the mechanical properties of confluent epithelia and other multicellular tissues. This inherently discrete framework allows a Cauchy stress to be attributed to each cell, and its symmetric component has been widely reported, at least for planar monolayers. Here we consider the stress attributed to the neighbourhood of each tricellular junction, evaluating in particular its leading-order antisymmetric component and the associated couple stresses, which characterise the degree to which individual cells experience (and resist) in-plane bending deformations. We develop discrete potential theory for localised monolayers having disordered internal structure and use this to derive the analogues of Airy and Mindlin stress functions. These scalar potentials typically have broad-banded spectra, highlighting the contributions of small-scale defects and boundary-layers to global stress patterns. An affine approximation attributes couple stresses to pressure differences between cells sharing a trijunction, but simulations indicate an additional role for non-affine deformations.


title: Certified Error Control of Candidate Set Pruning for Two-Stage Relevance Ranking

abstract: In information retrieval (IR), candidate set pruning has been commonly used to speed up two-stage relevance ranking. However, such an approach lacks accurate error control and often trades accuracy off against computational efficiency in an empirical fashion, lacking theoretical guarantees. In this paper, we propose the concept of certified error control of candidate set pruning for relevance ranking, which means that the test error after pruning is guaranteed to be controlled under a user-specified threshold with high probability. Both in-domain and out-of-domain experiments show that our method successfully prunes the first-stage retrieved candidate sets to improve the second-stage reranking speed while satisfying the pre-specified accuracy constraints in both settings. For example, on MS MARCO Passage v1, our method yields an average candidate set size of 27 out of 1,000 which increases the reranking speed by about 37 times, while the MRR@10 is greater than a pre-specified value of 0.38 with about 90% empirical coverage and the empirical baselines fail to provide such guarantee. Code and data are available at: https://github.com/alexlimh/CEC-Ranking.


title: Multilevel Picard approximation algorithm for semilinear partial integro-differential equations and its complexity analysis

abstract: In this paper we introduce a multilevel Picard approximation algorithm for semilinear parabolic partial integro-differential equations (PIDEs). We prove that the numerical approximation scheme converges to the unique viscosity solution of the PIDE under consideration. To that end, we derive a Feynman-Kac representation for the unique viscosity solution of the semilinear PIDE, extending the classical Feynman-Kac representation for linear PIDEs. Furthermore, we show that the algorithm does not suffer from the curse of dimensionality, i.e. the computational complexity of the algorithm is bounded polynomially in the dimension $d$ and the reciprocal of the prescribed accuracy $\varepsilon$. We also provide a numerical example in up to 10'000 dimensions to demonstrate its applicability.


title: Neutrino capture on tritium as a probe of flavor vacuum condensate and dark matter

abstract: We show that the study of neutrino capture on tritium, for non-relativistic neutrinos, can allow to distinguish among the various neutrino models, eventually prove the quantum field theory condensation effects and permit to test the hypothesis according to which the flavor vacuum energy gives a contribution to the dark matter of the universe. Indeed, we show that the capture rate depends on the neutrino model considered, and that it brings an imprint of the flavor vacuum condensate. Experiments like PTOLEMY, designed to reveal the cosmic neutrino background, then can give an indication of the existence of the dark matter component induced by neutrino mixing.


title: SNaC: Coherence Error Detection for Narrative Summarization

abstract: Progress in summarizing long texts is inhibited by the lack of appropriate evaluation frameworks. When a long summary must be produced to appropriately cover the facets of that text, that summary needs to present a coherent narrative to be understandable by a reader, but current automatic and human evaluation methods fail to identify gaps in coherence. In this work, we introduce SNaC, a narrative coherence evaluation framework rooted in fine-grained annotations for long summaries. We develop a taxonomy of coherence errors in generated narrative summaries and collect span-level annotations for 6.6k sentences across 150 book and movie screenplay summaries. Our work provides the first characterization of coherence errors generated by state-of-the-art summarization models and a protocol for eliciting coherence judgments from crowd annotators. Furthermore, we show that the collected annotations allow us to train a strong classifier for automatically localizing coherence errors in generated summaries as well as benchmarking past work in coherence modeling. Finally, our SNaC framework can support future work in long document summarization and coherence evaluation, including improved summarization modeling and post-hoc summary correction.


title: Age-structured Models with Nonlocal Diffusion of Dirichlet Type, I: Principal Spectral Theory and Limiting Properties

abstract: Age-structured models with nonlocal diffusion arise naturally in describing the population dynamics of biological species and the transmission dynamics of infectious diseases in which individuals disperse nonlocally and interact each other and the age structure of individuals matters. In the first part of our series papers, we study the principal spectral theory of age-structured models with nonlocal diffusion of Dirichlet type. First, we provide two criteria on the existence of principal eigenvalues by using the theory of resolvent positive operators with their perturbations. Then we define the generalized principal eigenvalue and use it to investigate the influence of diffusion rate on the principal eigenvalue. In addition, we establish the strong maximum principle for age-structured nonlocal diffusion operators. In the second part \cite{Ducrot2022Age-structuredII} we will investigate the effects of principal eigenvalues on the global dynamics of the model with monotone nonlinearity in the birth rate and show that the principal eigenvalue being zero is critical.


title: Electromagnetic precursor flares from the late inspiral of neutron star binaries

abstract: The coalescence of two neutron stars is accompanied by the emission of gravitational waves, and can also feature electromagnetic counterparts powered by mass ejecta and the formation of a relativistic jet after the merger. Since neutron stars can feature strong magnetic fields, the non-trivial interaction of the neutron star magnetospheres might fuel potentially powerful electromagnetic transients prior to merger. A key process powering those precursor transients is relativistic reconnection in strong current sheets formed between the two stars. In this work, we provide a detailed analysis of how the twisting of the common magnetosphere of the binary leads to an emission of electromagnetic flares, akin to those produced in the solar corona. By means of relativistic force-free electrodynamics simulations, we clarify the role of different magnetic field topologies in the process. We conclude that flaring will always occur for suitable magnetic field alignments, unless one of the neutron stars has a magnetic field significantly weaker than the other.


title: Neural network for multi-exponential sound energy decay analysis

abstract: An established model for sound energy decay functions (EDFs) is the superposition of multiple exponentials and a noise term. This work proposes a neural-network-based approach for estimating the model parameters from EDFs. The network is trained on synthetic EDFs and evaluated on two large datasets of over 20000 EDF measurements conducted in various acoustic environments. The evaluation shows that the proposed neural network architecture robustly estimates the model parameters from large datasets of measured EDFs, while being lightweight and computationally efficient. An implementation of the proposed neural network is publicly available.


title: Boson mixing and flavor oscillations in curved space-time

abstract: We develop a quantum field theory of boson mixing in curved space. We derive new general oscillation probabilities and prove that the formalism correctly reproduces the flat space limit. We explicitly compute the oscillation formulae for two cosmologically relevant Friedmann-Lemaitre-Robertson-Walker metrics.


title: Great Power, Great Responsibility: Recommendations for Reducing Energy for Training Language Models

abstract: The energy requirements of current natural language processing models continue to grow at a rapid, unsustainable pace. Recent works highlighting this problem conclude there is an urgent need for methods that reduce the energy needs of NLP and machine learning more broadly. In this article, we investigate techniques that can be used to reduce the energy consumption of common NLP applications. In particular, we focus on techniques to measure energy usage and different hardware and datacenter-oriented settings that can be tuned to reduce energy consumption for training and inference for language models. We characterize the impact of these settings on metrics such as computational performance and energy consumption through experiments conducted on a high performance computing system as well as popular cloud computing platforms. These techniques can lead to significant reduction in energy consumption when training language models or their use for inference. For example, power-capping, which limits the maximum power a GPU can consume, can enable a 15\% decrease in energy usage with marginal increase in overall computation time when training a transformer-based language model.


title: The First Optimal Acceleration of High-Order Methods in Smooth Convex Optimization

abstract: In this paper, we study the fundamental open question of finding the optimal high-order algorithm for solving smooth convex minimization problems. Arjevani et al. (2019) established the lower bound $\Omega\left(\epsilon^{-2/(3p+1)}\right)$ on the number of the $p$-th order oracle calls required by an algorithm to find an $\epsilon$-accurate solution to the problem, where the $p$-th order oracle stands for the computation of the objective function value and the derivatives up to the order $p$. However, the existing state-of-the-art high-order methods of Gasnikov et al. (2019b); Bubeck et al. (2019); Jiang et al. (2019) achieve the oracle complexity $\mathcal{O}\left(\epsilon^{-2/(3p+1)} \log (1/\epsilon)\right)$, which does not match the lower bound. The reason for this is that these algorithms require performing a complex binary search procedure, which makes them neither optimal nor practical. We fix this fundamental issue by providing the first algorithm with $\mathcal{O}\left(\epsilon^{-2/(3p+1)}\right)$ $p$-th order oracle complexity.


title: Are Graph Representation Learning Methods Robust to Graph Sparsity and Asymmetric Node Information?

abstract: The growing popularity of Graph Representation Learning (GRL) methods has resulted in the development of a large number of models applied to a miscellany of domains. Behind this diversity of domains, there is a strong heterogeneity of graphs, making it difficult to estimate the expected performance of a model on a new graph, especially when the graph has distinctive characteristics that have not been encountered in the benchmark yet. To address this, we have developed an experimental pipeline, to assess the impact of a given property on the models performances. In this paper, we use this pipeline to study the effect of two specificities encountered on banks transactional graphs resulting from the partial view a bank has on all the individuals and transactions carried out on the market. These specific features are graph sparsity and asymmetric node information. This study demonstrates the robustness of GRL methods to these distinctive characteristics. We believe that this work can ease the evaluation of GRL methods to specific characteristics and foster the development of such methods on transactional graphs.


title: What Type of Explanation Do Rejected Job Applicants Want? Implications for Explainable AI

abstract: Rejected job applicants seldom receive explanations from employers. Techniques from Explainable AI (XAI) could provide explanations at scale. Although XAI researchers have developed many different types of explanations, we know little about the type of explanations job applicants want. We use a survey of recent job applicants to fill this gap. Our survey generates three main insights. First, the current norm of, at most, generic feedback frustrates applicants. Second, applicants feel the employer has an obligation to provide an explanation. Third, job applicants want to know why they were unsuccessful and how to improve.


title: High-quality femtosecond laser surface micro/nano-structuring assisted by a thin frost layer

abstract: Femtosecond laser ablation has been demonstrated to be a versatile tool to produce micro/nanoscale features with high precision and accuracy. However, the use of high laser fluence to increase the ablation efficiency usually results in unwanted effects, such as redeposition of debris, formation of recast layer and heat-affected zone in or around the ablation craters. Here we circumvent this limitation by exploiting a thin frost layer with a thickness of tens of microns, which can be directly formed by the condensation of water vapor from the air onto the exposed surface whose temperature is below the freezing point. When femtosecond laser beam is focused onto the target surface covered with a thin frost layer, only the local frost layer around the laser-irradiated spot melts into water, helping to boost ablation efficiency, suppress the recast layer and reduce the heat-affect zone, while the remaining frost layer can prevent ablation debris from adhering to the target surface. By this frost-assisted strategy, high-quality surface micro/nano-structures are successfully achieved on both plane and curved surfaces at high laser fluences, and the mechanism behind the formation of high-spatial-frequency (HSF) laser induced periodic surface structures (LIPSSs) on silicon is discussed.


title: Wojood: Nested Arabic Named Entity Corpus and Recognition using BERT

abstract: This paper presents Wojood, a corpus for Arabic nested Named Entity Recognition (NER). Nested entities occur when one entity mention is embedded inside another entity mention. Wojood consists of about 550K Modern Standard Arabic (MSA) and dialect tokens that are manually annotated with 21 entity types including person, organization, location, event and date. More importantly, the corpus is annotated with nested entities instead of the more common flat annotations. The data contains about 75K entities and 22.5% of which are nested. The inter-annotator evaluation of the corpus demonstrated a strong agreement with Cohen's Kappa of 0.979 and an F1-score of 0.976. To validate our data, we used the corpus to train a nested NER model based on multi-task learning and AraBERT (Arabic BERT). The model achieved an overall micro F1-score of 0.884. Our corpus, the annotation guidelines, the source code and the pre-trained model are publicly available.


title: Free-energy density functional for Strauss's model of transitive networks

abstract: Ensemble models of graphs are one of the most important theoretical tools to study complex networks. Among them, exponential random graphs (ERGs) have proven to be very useful in the analysis of social networks. In this paper we develop a technique, borrowed from the statistical mechanics of lattice gases, to solve Strauss's model of transitive networks. This model was introduced long ago as an ERG ensemble for networks with high clustering and exhibits a first-order phase transition above a critical value of the triangle interaction parameter, where two different kinds of networks with different densities of links (or, alternatively, different clustering) coexist. Compared to previous mean-field approaches, our method describes accurately even small networks and can be extended beyond Strauss's classical model -- e.g. to networks with different types of nodes. This allows us to tackle, for instance, models with node homophily. We provide results for the latter and show that they accurately reproduce the outcome of Monte Carlo simulations.


title: Self-Consistent Dynamical Field Theory of Kernel Evolution in Wide Neural Networks

abstract: We analyze feature learning in infinite-width neural networks trained with gradient flow through a self-consistent dynamical field theory. We construct a collection of deterministic dynamical order parameters which are inner-product kernels for hidden unit activations and gradients in each layer at pairs of time points, providing a reduced description of network activity through training. These kernel order parameters collectively define the hidden layer activation distribution, the evolution of the neural tangent kernel, and consequently output predictions. We show that the field theory derivation recovers the recursive stochastic process of infinite-width feature learning networks obtained from Yang and Hu (2021) with Tensor Programs . For deep linear networks, these kernels satisfy a set of algebraic matrix equations. For nonlinear networks, we provide an alternating sampling procedure to self-consistently solve for the kernel order parameters. We provide comparisons of the self-consistent solution to various approximation schemes including the static NTK approximation, gradient independence assumption, and leading order perturbation theory, showing that each of these approximations can break down in regimes where general self-consistent solutions still provide an accurate description. Lastly, we provide experiments in more realistic settings which demonstrate that the loss and kernel dynamics of CNNs at fixed feature learning strength is preserved across different widths on a CIFAR classification task.


title: Invariant traces of the flat space chiral higher-spin algebra as scattering amplitudes

abstract: We sum up two- and three-point amplitudes in the chiral higher-spin theory over helicities and find that these quite manifestly have the form of invariant traces of the flat space chiral higher-spin algebra. We consider invariant traces of products of higher numbers of on-shell higher-spin fields and interpret these as higher-point scattering amplitudes. This construction closely mimics its anti-de Sitter space counterpart, which was considered some time ago and was confirmed holographically.


title: Primrose: Selecting Container Data Types by Their Properties

abstract: Context: Container data types are ubiquitous in computer programming, enabling developers to efficiently store and process collections of data with an easy-to-use programming interface. Many programming languages offer a variety of container implementations in their standard libraries based on data structures offering different capabilities and performance characteristics. Inquiry: Choosing the *best* container for an application is not always straightforward, as performance characteristics can change drastically in different scenarios, and as real-world performance is not always correlated to theoretical complexity. Approach: We present Primrose, a language-agnostic tool for selecting the best performing valid container implementation from a set of container data types that satisfy *properties* given by application developers. Primrose automatically selects the set of valid container implementations for which the *library specifications*, written by the developers of container libraries, satisfies the specified properties. Finally, Primrose ranks the valid library implementations based on their runtime performance. Knowledge: With Primrose, application developers can specify the expected behaviour of a container as a type refinement with *semantic properties*, e.g., if the container should only contain unique values (such as a `set`) or should satisfy the LIFO property of a `stack`. Semantic properties nicely complement *syntactic properties* (i.e., traits, interfaces, or type classes), together allowing developers to specify a container's programming interface *and* behaviour without committing to a concrete implementation. Grounding: We present our prototype implementation of Primrose that preprocesses annotated Rust code, selects valid container implementations and ranks them on their performance. The design of Primrose is, however, language-agnostic, and is easy to integrate into other programming languages that support container data types and traits, interfaces, or type classes. Our implementation encodes properties and library specifications into verification conditions in Rosette, an interface for SMT solvers, which determines the set of valid container implementations. We evaluate Primrose by specifying several container implementations, and measuring the time taken to select valid implementations for various combinations of properties with the solver. We automatically validate that container implementations conform to their library specifications via property-based testing. Importance: This work provides a novel approach to bring abstract modelling and specification of container types directly into the programmer's workflow. Instead of selecting concrete container implementations, application programmers can now work on the level of specification, merely stating the behaviours they require from their container types, and the best implementation can be selected automatically.


title: Categorical descriptions of 1-dimensional gapped phases with abelian onsite symmetries

abstract: In a recent work arXiv:2108.08835, Kong, Wen and Zheng use Ising chain to show that the macroscopic observables in a 1d (space dimension) gapped quantum phase form an enriched fusion category. In this work, we generalize their results to the phases with finite abelian onsite symmetries. By carefully analyzing the observables on both the symmetry preserving and symmetry breaking cases, we explicitly show that the spacetime observables of these 1d phases form fusion categories enriched in their monoidal centers. These are actually concrete examples of the holographic duality based on topological wick rotation. Our categorical descriptions also reproduce an existing classification result and shed light on a unified definition of all quantum phases.


title: On the generalized multiplicities of maximal minors and sub-maximal pfaffians

abstract: Let $S=\mathbb{C}[x_{ij}]$ be a polynomial ring of $m\times n$ generic variables (resp. a polynomial ring of $(2n+1) \times (2n+1)$ skew-symmetric variables) over $\mathbb{C}$ and let $I$ (resp. Pf) be the determinantal ideal of maximal minors (resp. sub-maximal pfaffians) of $S$. Using the representation theoretic techniques introduced in the work of Raicu et al, we study the asymptotic behavior of the length of the local cohomology module of determinantal and pfaffian thickenings for suitable choices of cohomological degrees. This asymptotic behavior is also defined as a notion of multiplicty. We show that the multiplicity in our setting coincides with the degrees of Grassmannian and Orthogonal Grassmannian.


title: Image-Based Conditioning for Action Policy Smoothness in Autonomous Miniature Car Racing with Reinforcement Learning

abstract: In recent years, deep reinforcement learning has achieved significant results in low-level controlling tasks. However, the problem of control smoothness has less attention. In autonomous driving, unstable control is inevitable since the vehicle might suddenly change its actions. This problem will lower the controlling system's efficiency, induces excessive mechanical wear, and causes uncontrollable, dangerous behavior to the vehicle. In this paper, we apply the Conditioning for Action Policy Smoothness (CAPS) with image-based input to smooth the control of an autonomous miniature car racing. Applying CAPS and sim-to-real transfer methods helps to stabilize the control at a higher speed. Especially, the agent with CAPS and CycleGAN reduces 21.80% of the average finishing lap time. Moreover, we also conduct extensive experiments to analyze the impact of CAPS components.


title: An Efficient Piggybacking Design Framework with Sub-packetization $l\le r$ for All-Node Repair

abstract: Piggybacking design has been widely applied in distributed storage systems since it can greatly reduce the repair bandwidth with small sub-packetization. Compared with other existing erasure codes, piggybacking is more convenient to operate and the I/O cost is lower. In this paper, we propose a new efficient design which can further reduce the repair bandwidth with the sub-packetization $l\le r$ where $r = n-k$. Generally, we let $l\le 8$. Compared with other analogous designs, our design has lower $l$ and the value of $l$ is more flexible. Moreover, our design can repair all nodes with small repair bandwidth. Therefore our piggybacking design is more feasible.