title: Study of the Berezinskii-Kosterlitz-Thouless transition: An unsupervised machine learning approach

abstract: The Berezinskii-Kosterlitz-Thouless (BKT) transition in magnetic system is an intriguing phenomena and an accurate estimation of the BKT transition temperature has been a long-standing problem. In this work we explore the anisotropic classical Heisenberg XY and XXZ models with ferromagnetic exchange on a square lattice and antiferromagnetic exchange on a triangular lattice using an unsupervised machine learning approach called principal component analysis (PCA). In earlier studies of the BKT transition, spin configurations and vorticities calculated from Monte Carlo method are used to determine the transition temperature $T_{BKT}$, but those methods fail to give any conclusive results by analyzing the principal components in the PCA approach. In this work vorticities are used as initial input to the PCA and curve of the first principal component with temperature is fitted with a function to determine an accurate value of $T_{BKT}$. This procedure works well for anisotropic classical Heisenberg with ferromagnetic exchange on square lattice as well as for frustrated antiferromagnetic exchange on a triangular lattice. The classical anisotropic Heisenberg antiferromagnetic model on the triangular lattice has two close transitions; the BKT at $T_{BKT}$ and Ising like phase transition for chirality at $T_c$ and it is difficult to separate these transition points. It is also noted that using the PCA method and manipulation of their first principal component, not only separation of transition points are possible but also transition temperature can be determined accurately.


title: Semiclassical spectrum of the Dirichlet-Pauli operator on an annulus

abstract: This paper is devoted to the semiclassical analysis of the spectrum of the Dirichlet-Pauli operator on an annulus. We assume that the magnetic field is strictly positive and radial. We give an explicit asymptotic expansion at the first order of the lowest eigenvalues of this operator in the semiclassical limit. In particular, we exhibit the Aharonov-Bohm effect that has been revealed, for constant magnetic field, in a recent paper by Helffer and Sundqvist.


title: Explanation of electron and muon $g-2$ anomalies in AMSB

abstract: We propose to jointly explain the electron/muon $g-2$ anomalies in the framework of anomaly mediated SUSY breaking (AMSB) scenario. Two Yukawa deflected AMSB models are proposed and discussed in depth: one with lepton-specific interactions and the other one with messenger-matter interactions. Both models are found to be able to jointly explain the anomalies at $2 \sigma$ level by naturally realizing the preferred parameter space with $\mu M_1,\mu M_2<0$ and very heavy left-handed smuon.


title: Upper bounds of holographic entanglement entropy growth rate for thermofield double states

abstract: We studied the upper bounds of the holographic entanglement entropy growth rate for thermofield double (TFD) states. By comparing the cases of vacuum AdS and charged AdS black holes, we conjecture: for all static planar or spherically symmetric asymptotically Schwarzschild-AdS black holes of same mass density or entropy density, the vacuum AdS black hole gives the maximum entanglement entropy growth rate. We gave proofs by assuming dominant energy condition. We also considered the AdS black hole spacetime with real scalar fields case, where the scalar fields violate the dominant energy condition and the bulk geometry is not asymptotically Schwarzschild-AdS. Numerical results show that this case vacuum black hole still has maximal growth rate if we fixed entropy. However, in the case of fixed energy, vacuum case has maximal growth rate of entanglement entropy only under standard quantization scheme.


title: Skyrmion Helicity: Quantization and Quantum Tunneling Effects

abstract: We derive the quantization of magnetic helicity in the solid-state and demonstrate tunable macroscopic quantum tunneling, coherence, and oscillation for a skyrmion spin texture stabilized in frustrated magnets. We also discuss the parameter space for the experimental realization of quantum effects. Typically, for a skyrmion of 5 nm radius, quantum tunneling between two macroscopic states with distinct helicities occurs with an inverse escape rate within seconds below 100 mK, and an energy splitting in the MHz regime. Feasibility of quantum tunneling of an ensemble of magnetic spins inspires new platforms for quantum operations utilizing topologically protected chiral spin configurations.


title: Towards Efficient 3D Object Detection with Knowledge Distillation

abstract: Despite substantial progress in 3D object detection, advanced 3D detectors often suffer from heavy computation overheads. To this end, we explore the potential of knowledge distillation (KD) for developing efficient 3D object detectors, focusing on popular pillar- and voxel-based detectors.In the absence of well-developed teacher-student pairs, we first study how to obtain student models with good trade offs between accuracy and efficiency from the perspectives of model compression and input resolution reduction. Then, we build a benchmark to assess existing KD methods developed in the 2D domain for 3D object detection upon six well-constructed teacher-student pairs. Further, we propose an improved KD pipeline incorporating an enhanced logit KD method that performs KD on only a few pivotal positions determined by teacher classification response, and a teacher-guided student model initialization to facilitate transferring teacher model's feature extraction ability to students through weight inheritance. Finally, we conduct extensive experiments on the Waymo dataset. Our best performing model achieves $65.75\%$ LEVEL 2 mAPH, surpassing its teacher model and requiring only $44\%$ of teacher flops. Our most efficient model runs 51 FPS on an NVIDIA A100, which is $2.2\times$ faster than PointPillar with even higher accuracy. Code is available at \url{https://github.com/CVMI-Lab/SparseKD}.


title: Automatic Search Intervals for the Smoothing Parameter in Penalized Splines

abstract: The selection of smoothing parameter is central to the estimation of penalized splines. The best value of the smoothing parameter is often the one that optimizes a smoothness selection criterion, such as generalized cross-validation error (GCV) and restricted likelihood (REML). To correctly identify the global optimum rather than being trapped in an undesired local optimum, grid search is recommended for optimization. Unfortunately, the grid search method requires a pre-specified search interval that contains the unknown global optimum, yet no guideline is available for providing this interval. As a result, practitioners have to find it by trial and error. To overcome such difficulty, we develop novel algorithms to automatically find this interval. Our automatic search interval has four advantages. (i) It specifies a smoothing parameter range where the associated penalized least squares problem is numerically solvable. (ii) It is criterion-independent so that different criteria, such as GCV and REML, can be explored on the same parameter range. (iii) It is sufficiently wide to contain the global optimum of any criterion, so that for example, the global minimum of GCV and the global maximum of REML can both be identified. (iv) It is computationally cheap compared with the grid search itself, carrying no extra computational burden in practice. Our method is ready to use through our recently developed R package gps (>= version 1.1). It may be embedded in more advanced statistical modeling methods that rely on penalized splines.


title: Landau damping of transverse head-tail instabilities with a pulsed electron lens in hadron synchrotrons

abstract: A pulsed electron lens produces a betatron tune shift along a hadron bunch as a function of the longitudinal coordinates, which is a longitudinal detuning. An example of transverse detuning are the tune shifts due to octupole magnets. This paper considers a pulsed electron lens as a measure to mitigate the head-tail instabilities. Using a detailed analytical description within a Vlasov formalism, the coherent properties of the longitudinal and transverse detuning are presented. The analytical predictions are compared with the results of the particle tracking simulations. A pulsed electron lens is demonstrated to be a source of tune spread with two components: a static one, leading to Landau damping; and a dynamic one, leading to an effective impedance modification, which we demonstrate analytically and in our particle tracking simulations. The effective impedance modification can be important for beam stability due to devices causing a longitudinal detuning, especially for nonzero head-tail modes. The Vlasov formalism is extended to include the combination of longitudinal and transverse detuning. As a possible application at the SIS100 heavy-ion synchrotron (FAIR at GSI Darmstadt, Germany), a combination of a pulsed electron lens with octupole magnets is considered.


title: Updating belief functions over Belnap--Dunn logic

abstract: Belief and plausibility are weaker measures of uncertainty than that of probability. They are motivated by the situations when full probabilistic information is not available. However, information can also be contradictory. Therefore, the framework of classical logic is not necessarily the most adequate. Belnap-Dunn logic was introduced to reason about incomplete and contradictory information. Klein et al and Bilkova et al generalize the notion of probability measures and belief functions to Belnap-Dunn logic, respectively. In this article, we study how to update belief functions with new pieces of information. We present a first approach via a frame semantics of Belnap-Dunn logic.


title: On algorithmic applications of sim-width and mim-width of $(H_1, H_2)$-free graphs

abstract: Mim-width and sim-width are among the most powerful graph width parameters, with sim-width more powerful than mim-width, which is in turn more powerful than clique-width. While several $\mathsf{NP}$-hard graph problems become tractable for graph classes whose mim-width is bounded and quickly computable, no algorithmic applications of boundedness of sim-width are known. In [Kang et al., A width parameter useful for chordal and co-comparability graphs, Theoretical Computer Science, 704:1-17, 2017], it is asked whether \textsc{Independent Set} and \textsc{$3$-Colouring} are $\mathsf{NP}$-complete on graphs of sim-width at most $1$. We observe that, for each $k \in \mathbb{N}$, \textsc{List $k$-Colouring} is polynomial-time solvable for graph classes whose sim-width is bounded and quickly computable. Moreover, we show that if the same holds for \textsc{Independent Set}, then \textsc{Independent $\mathcal{H}$-Packing} is polynomial-time solvable for graph classes whose sim-width is bounded and quickly computable. This problem is a common generalisation of \textsc{Independent Set}, \textsc{Induced Matching}, \textsc{Dissociation Set} and \textsc{$k$-Separator}. We also make progress toward classifying the mim-width of $(H_1,H_2)$-free graphs in the case $H_1$ is complete or edgeless. Our results solve some open problems in [Brettell et al., Bounding the mim-width of hereditary graph classes, Journal of Graph Theory, 99(1):117-151, 2022].


title: Continuous-Variable Quantum Key Distribution Over 60 km Optical Fiber With Real Local Oscillator

abstract: We report the first continuous-variable quantum key distribution experiment that enables the generation of secure key over a 60 km fiber channel with locally generated local oscillator. This is achieved by controlling the excess noise using machine learning for phase noise compensation while operating the system at a low modulation variance


title: A practical optimal control approach for two-speed actuators

abstract: This paper addresses the closed-loop control of an actuator with both a continuous input variable (motor torque) and a discrete input variable (mode selection). In many applications, robots have to bear large loads while moving slowly and also have to move quickly through the air with almost no load, leading to conflicting requirements for their actuators. An actuator with multiple gear ratios, like in a powertrain, can address this issue by allowing an effective use of power over a wide range of output speed. However, having discrete modes of operation adds complexity to the high-level control and planning. Here a controller for two-speed actuators that automatically select both the best gear ratio and the motor torque is developed. The approach is to: first derive a low-dimensional model, then use dynamic programming to find the best actions for all possible situations, and last use regression analysis to extract simplified global feedback laws. This approach produces simple practical nearly-optimal feedback laws. A controller that globally minimizes a quadratic cost function is derived for a two-speed actuator prototype, global stability is proven and performance is demonstrated experimentally.


title: You Have Earned a Trophy: Characterize In-Game Achievements and Their Completions

abstract: Achievement systems have been actively adopted in gaming platforms to maintain players' interests. Among them, trophies in PlayStation games are one of the most successful achievement systems. While the importance of trophy design has been casually discussed in many game developers' forums, there has been no systematic study of the historical dataset of trophies yet. In this work, we construct a complete dataset of PlayStation games and their trophies and investigate them from both the developers' and players' perspectives.


title: Application of the first-passage time method to tribological problems

abstract: The time until the failure of some node of the system or until the end of some stage of the operation of the tribological system is associated with the change in entropy in the system that occurs during this time. Methods of the first-passage time by a random process of some given level are used. We assume that the first-passage time is equal to the time to failure. A statistical distribution containing the first-passage time is introduced. The thermodynamic parameter associated with the random variable of the first-passage time is expressed in terms of the change in entropy. This parameter is also included in the expression for the time to failure. This approach allows arbitrary reasons for failures to be included in the consideration. The possibilities of the proposed approach are discussed.


title: Dust Emission as a Function of Stellar Population Age in the Nearby Galaxy M33

abstract: Dust emission at 8 micron has been extensively calibrated as an indicator of current star formation rate for galaxies and ~kpc-size regions within galaxies. Yet, the exact link between the 8 micron emission and the young stellar populations in galaxies is still under question, as dust grains can be stochastically heated also by older field stars. In order to investigate this link, we have combined mid-infrared images from the Spitzer Space Telescope with a published star cluster candidates catalog for the Local Group galaxy M33. M33 is sufficiently close that the Spitzer's 8 micron images resolve individual regions of star formation. Star clusters represent almost-single-age stellar populations, which are significantly easier to model than more complex mixtures of stars. We find a decrease in the 8 micron luminosity per unit stellar mass as a function of age of the star clusters, with a large scatter that is consistent with varying fractions of stellar light absorbed by dust. The decrease and scatter both confirm findings based on more distant galaxies and are well described by simple models for the dust emission of a young stellar population. We conclude that the dust emission at 8 micron depends sensitively on the age of the stellar population, out to at least the oldest age analyzed here, ~400 Myr. This dependence complicates the use of the 8 micron emission as a star formation rate indicator, at least for small galactic regions and individual star forming regions. By leveraging the Spitzer legacy, this investigation paves the way for future explorations with the James Webb Space Telescope.


title: Self-healing (solitonic) slip pulses in frictional systems

abstract: A prominent spatiotemporal failure mode of frictional systems is self-healing slip pulses, which are propagating solitonic structures that feature a characteristic length. Here, we numerically derive a family of steady state slip pulse solutions along generic and realistic rate-and-state dependent frictional interfaces, separating large deformable bodies in contact. Such nonlinear interfaces feature a non-monotonic frictional strength as a function of the slip velocity, with a local minimum. The solutions exhibit a diverging length and strongly inertial propagation velocities, when the driving stress approaches the frictional strength characterizing the local minimum from above, and change their character when it is away from it. An approximate scaling theory quantitatively explains these observations. The derived pulse solutions also exhibit significant spatially-extended dissipation in excess of the edge-localized dissipation (the effective fracture energy) and an unconventional edge singularity. The relevance of our findings for available observations is discussed.

categories: cond-mat.mtrl-sci cond-mat.soft nlin.PS physics.class-ph


title: Unlabelled landmark matching via Bayesian data selection, and application to cell matching across imaging modalities

abstract: We consider the problem of landmark matching between two unlabelled point sets, in particular where the number of points in each cloud may differ, and where points in each cloud may not have a corresponding match. We invoke a Bayesian framework to identify the transformation of coordinates that maps one cloud to the other, alongside correspondence of the points. This problem necessitates a novel methodology for Bayesian data selection; simultaneous inference of model parameters, and selection of the data which leads to the best fit of the model to the majority of the data. We apply this to a problem in developmental biology where the landmarks correspond to segmented cell centres, where potential death or division of cells can lead to discrepancies between the point-sets from each image. We validate the efficacy of our approach using in silico tests and a microinjected fluorescent marker experiment. Subsequently we apply our approach to the matching of cells between real time imaging and immunostaining experiments, facilitating the combination of single-cell data between imaging modalities. Furthermore our approach to Bayesian data selection is broadly applicable across data science, and has the potential to change the way we think about fitting models to data.


title: Subrank and Optimal Reduction of Scalar Multiplications to Generic Tensors

abstract: Since the seminal works of Strassen and Valiant it has been a central theme in algebraic complexity theory to understand the relative complexity of algebraic problems, that is, to understand which algebraic problems (be it bilinear maps like matrix multiplication in Strassen's work, or the determinant and permanent polynomials in Valiant's) can be reduced to each other (under the appropriate notion of reduction). In this paper we determine precisely how many independent scalar multiplications can be reduced to a given bilinear map (this number is called the subrank, and extends the concept of matrix diagonalization to tensors), for essentially all (i.e. generic) bilinear maps. Namely, we prove for a generic bilinear map $T : V \times V \to V$ where $\dim(V) = n$ that $\theta(\sqrt{n})$ independent scalar multiplications can be reduced to $T$. Our result significantly improves on the previous upper bound from the work of Strassen (1991) and B\"urgisser (1990) which was $n^{2/3 + o(1)}$. Our full result is much more general and applies not only to bilinear maps and 3-tensors but also to $k$-tensors, for which we find that the generic subrank is $\theta(n^{1/(k-1)})$. Moreover, as an application we prove that the subrank is not additive under the direct sum. The subrank plays a central role in several areas of complexity theory (matrix multiplication algorithms, barrier results) and combinatorics (e.g., the cap set problem and sunflower problem). As a consequence of our result we obtain several large separations between the subrank and tensor methods that have received much interest recently, notably the slice rank (Tao, 2016), analytic rank (Gowers--Wolf, 2011; Lovett, 2018; Bhrushundi--Harsha--Hatami--Kopparty--Kumar, 2020), geometric rank (Kopparty--Moshkovitz--Zuiddam, 2020), and G-stable rank (Derksen, 2020).


title: Asymptotic dependence modelling of the BRICS stock markets

abstract: With the use of empirical data, this paper focuses on solving financial and investment issues involving extremal dependence of ten pairwise combinations of the five BRICS (Brazil, Russia, India, China, and South Africa) stock markets. Daily closing equity indices from 5 January 2010 to 6 August 2018 are used in the study. Unlike previous literature, we use bivariate point process and conditional multivariate extreme value models to investigate the extremal dependence of the stock market returns. However, it is observed that the point process was able to model many more extreme observations or exceedances that contribute to the likelihood estimation. It gives more information than the threshold excess method of the CMEV model. This study shows varying levels of low extremal dependence structure whose outcomes are highly beneficial to investors, portfolio managers and other market participants interested in maximising investment returns and financial gains.


title: GAN-based Medical Image Small Region Forgery Detection via a Two-Stage Cascade Framework

abstract: Using generative adversarial network (GAN)\cite{RN90} for data enhancement of medical images is significantly helpful for many computer-aided diagnosis (CAD) tasks. A new attack called CT-GAN has emerged. It can inject or remove lung cancer lesions to CT scans. Because the tampering region may even account for less than 1\% of the original image, even state-of-the-art methods are challenging to detect the traces of such tampering. This paper proposes a cascade framework to detect GAN-based medical image small region forgery like CT-GAN. In the local detection stage, we train the detector network with small sub-images so that interference information in authentic regions will not affect the detector. We use depthwise separable convolution and residual to prevent the detector from over-fitting and enhance the ability to find forged regions through the attention mechanism. The detection results of all sub-images in the same image will be combined into a heatmap. In the global classification stage, using gray level co-occurrence matrix (GLCM) can better extract features of the heatmap. Because the shape and size of the tampered area are uncertain, we train PCA and SVM methods for classification. Our method can classify whether a CT image has been tampered and locate the tampered position. Sufficient experiments show that our method can achieve excellent performance.


title: Modular and On-demand Bias Mitigation with Attribute-Removal Subnetworks

abstract: Societal biases are reflected in large pre-trained language models and their fine-tuned versions on downstream tasks. Common in-processing bias mitigation approaches, such as adversarial training and mutual information removal, introduce additional optimization criteria, and update the model to reach a new debiased state. However, in practice, end-users and practitioners might prefer to switch back to the original model, or apply debiasing only on a specific subset of protected attributes. To enable this, we propose a novel modular bias mitigation approach, consisting of stand-alone highly sparse debiasing subnetworks, where each debiasing module can be integrated into the core model on-demand at inference time. Our approach draws from the concept of \emph{diff} pruning, and proposes a novel training regime adaptable to various representation disentanglement optimizations. We conduct experiments on three classification tasks with gender, race, and age as protected attributes. The results show that our modular approach, while maintaining task performance, improves (or at least remains on-par with) the effectiveness of bias mitigation in comparison with baseline finetuning. Particularly on a two-attribute dataset, our approach with separately learned debiasing subnetworks shows effective utilization of either or both the subnetworks for selective bias mitigation.


title: Billions of Parameters Are Worth More Than In-domain Training Data: A case study in the Legal Case Entailment Task

abstract: Recent work has shown that language models scaled to billions of parameters, such as GPT-3, perform remarkably well in zero-shot and few-shot scenarios. In this work, we experiment with zero-shot models in the legal case entailment task of the COLIEE 2022 competition. Our experiments show that scaling the number of parameters in a language model improves the F1 score of our previous zero-shot result by more than 6 points, suggesting that stronger zero-shot capability may be a characteristic of larger models, at least for this task. Our 3B-parameter zero-shot model outperforms all models, including ensembles, in the COLIEE 2021 test set and also achieves the best performance of a single model in the COLIEE 2022 competition, second only to the ensemble composed of the 3B model itself and a smaller version of the same model. Despite the challenges posed by large language models, mainly due to latency constraints in real-time applications, we provide a demonstration of our zero-shot monoT5-3b model being used in production as a search engine, including for legal documents. The code for our submission and the demo of our system are available at https://github.com/neuralmind-ai/coliee and https://neuralsearchx.neuralmind.ai, respectively.


title: Self-Supervised Pre-training of Vision Transformers for Dense Prediction Tasks

abstract: We present a new self-supervised pre-training of Vision Transformers for dense prediction tasks. It is based on a contrastive loss across views that compares pixel-level representations to global image representations. This strategy produces better local features suitable for dense prediction tasks as opposed to contrastive pre-training based on global image representation only. Furthermore, our approach does not suffer from a reduced batch size since the number of negative examples needed in the contrastive loss is in the order of the number of local features. We demonstrate the effectiveness of our pre-training strategy on two dense prediction tasks: semantic segmentation and monocular depth estimation.


title: Modeling and simulation of nematic LCE rods

abstract: We introduce a nonlinear, one-dimensional bending-twisting model for an inextensible bi-rod that is composed of a nematic liquid crystal elastomer. The model combines an elastic energy that is quadratic in curvature and torsion with a Frank-Oseen energy for the liquid crystal elastomer. Moreover, the model features a nematic-elastic coupling that relates the crystalline orientation with a spontaneous bending-twisting term. We show that the model can be derived as a $\Gamma$-limit from three-dimensional nonlinear elasticity. Moreover, we introduce a numerical scheme to compute critical points of the bending-twisting model via a discrete gradient flow. We present various numerical simulations that illustrate the rich mechanical behavior predicted by the model. The numerical experiments reveal good stability and approximation properties of the method.


title: ShuffleMixer: An Efficient ConvNet for Image Super-Resolution

abstract: Lightweight and efficiency are critical drivers for the practical application of image super-resolution (SR) algorithms. We propose a simple and effective approach, ShuffleMixer, for lightweight image super-resolution that explores large convolution and channel split-shuffle operation. In contrast to previous SR models that simply stack multiple small kernel convolutions or complex operators to learn representations, we explore a large kernel ConvNet for mobile-friendly SR design. Specifically, we develop a large depth-wise convolution and two projection layers based on channel splitting and shuffling as the basic component to mix features efficiently. Since the contexts of natural images are strongly locally correlated, using large depth-wise convolutions only is insufficient to reconstruct fine details. To overcome this problem while maintaining the efficiency of the proposed module, we introduce Fused-MBConvs into the proposed network to model the local connectivity of different features. Experimental results demonstrate that the proposed ShuffleMixer is about 6x smaller than the state-of-the-art methods in terms of model parameters and FLOPs while achieving competitive performance. In NTIRE 2022, our primary method won the model complexity track of the Efficient Super-Resolution Challenge [23]. The code is available at https://github.com/sunny2109/MobileSR-NTIRE2022.


title: Constraining the ${\rm\overline{K}N}$ coupled channel dynamics using femtoscopic correlations at the LHC

abstract: The interaction of $\rm{K}^{-}$ with protons is characterised by the presence of several coupled channels, systems like ${\rm \overline{K}^0}$n and $\pi\Sigma$ with a similar mass and the same quantum numbers as the $\rm{K}^{-}$p state. The strengths of these couplings to the $\rm{K}^{-}$p system are of crucial importance for the understanding of the nature of the $\Lambda(1405)$ resonance and of the attractive $\rm{K}^{-}$p strong interaction. In this article, we present measurements of the $\rm{K}^{-}$p correlation functions in relative momentum space obtained in pp collisions at $\sqrt{s}~=~13$ TeV, in p-Pb collisions at $\sqrt{s_{\mathrm{NN}}}~=~5.02$ TeV, and (semi)peripheral Pb-Pb collisions at $\sqrt{s_{\mathrm{NN}}}~=~5.02$ TeV. The emitting source size, composed of a core radius anchored to the $\rm{K}^{+}$p correlation and of a resonance halo specific to each particle pair, varies between 1 and 2 fm in these collision systems. The strength and the effects of the ${\rm \overline{K}^0}$n and $\pi\Sigma$ inelastic channels on the measured $\rm{K}^{-}$p correlation function are investigated in the different colliding systems by comparing the data with state-of-the-art models of chiral potentials. A novel approach to determine the conversion weights $\omega$, necessary to quantify the amount of produced inelastic channels in the correlation function, is presented. In this method, particle yields are estimated from thermal model predictions, and their kinematic distribution from blast-wave fits to measured data. The comparison of chiral potentials to the measured $\rm{K}^{-}$p interaction indicates that, while the $\pi\Sigma-\rm{K}^{-}$p dynamics is well reproduced by the model, the coupling to the ${\rm \overline{K}^0}$n channel in the model is currently underestimated.


title: Geometrical magnetoresistance effect and mobility in graphene field-effect transistors

abstract: Further development of the graphene field-effect transistors (GFETs) for high-frequency electronics requires accurate evaluation and study of the mobility of charge carriers in a specific device. Here, we demonstrate that the mobility in the GFETs can be directly characterized and studied using the geometrical magnetoresistance (gMR) effect. The method is free from the limitations of other approaches since it does not require an assumption of the constant mobility and the knowledge of the gate capacitance. Studies of a few sets of GFETs in the wide range of transverse magnetic fields indicate that the gMR effect dominates up to approximately 0.55 T. In higher fields, the physical magnetoresistance effect starts to contribute. The advantages of the gMR approach allowed us to interpret the measured dependencies of mobility on the gate voltage, i.e., carrier concentration, and identify the corresponding scattering mechanisms. In particular, the range of the fairly constant mobility is associated with the dominating Coulomb scattering. The decrease in mobility at higher carrier concentrations is associated with the contribution of the phonon scattering. Analysis shows that the gMR mobility is typically 2-3 times higher than that found via the commonly used drain resistance model. The latter underestimates the mobility since it does not take the interfacial capacitance into account.


title: Experimental investigation of a maneuver selection algorithm for vehicles in low adhesion conditions

abstract: Winter conditions, characterized by the presence of ice and snow on the ground, are more likely to lead to road accidents. This paper presents an experimental proof of concept, with a 1/5th scale car platform, of a maneuver selection scheme for low adhesion conditions. In the proposed approach, a model-based estimator first processes the high-dimensional sensors data of the IMU, LIDAR and encoders to estimate physically relevant vehicle and ground conditions parameters such as the inertial velocity of the vehicle $v$, the friction coefficient $\mu$, the cohesion $c$ and the internal shear angle $\phi$. Then, a data-driven predictor is trained to predict the optimal maneuver to perform in the situation characterized by the estimated parameters. Experimental results show that it is possible to 1) produce a real-time estimate of the relevant ground parameters, and 2) determine an optimal maneuver based on the estimated parameters between a limited set of maneuvers.


title: Triadic resonant instability in confined and unconfined axisymmetric geometries

abstract: We present an investigation of the resonance conditions of axisymmetric internal wave sub-harmonics in confined and unconfined domains. In both cases, sub-harmonics can be spontaneously generated from a primary wave field if they satisfy at least a resonance condition on their frequencies, of the form $\omega_0 = \pm \omega_1 \pm \omega_2$. We demonstrate that, in an unconfined domain, the sub-harmonics follow three dimensional spatial resonance conditions similar to the ones of Triadic Resonance Instability (TRI) for Cartesian plane waves. In a confined domain, however, the spatial structure of the sub-harmonics is fully determined by the boundary conditions and we observed that these conditions prevail upon the resonance conditions. In both configurations, these findings are supported by experimental data showing good agreement with analytical and numerical derivations.


title: T-Wise Presence Condition Coverage and Sampling for Configurable Systems

abstract: Sampling techniques, such as t-wise interaction sampling are used to enable efficient testing for configurable systems. This is achieved by generating a small yet representative sample of configurations for a system, which circumvents testing the entire solution space. However, by design, most recent approaches for t-wise interaction sampling only consider combinations of configuration options from a configurable system's variability model and do not take into account their mapping onto the solution space, thus potentially leaving critical implementation artifacts untested. Tartler et al. address this problem by considering presence conditions of implementation artifacts rather than pure configuration options, but do not consider the possible interactions between these artifacts. In this paper, we introduce t-wise presence condition coverage, which extends the approach of Tartler et al. by using presence conditions extracted from the code as basis to cover t-wise interactions. This ensures that all t-wise interactions of implementation artifacts are included in the sample and that the chance of detecting combinations of faulty configuration options is increased. We evaluate our approach in terms of testing efficiency and testing effectiveness by comparing the approach to existing t-wise interaction sampling techniques. We show that t-wise presence condition sampling is able to produce mostly smaller samples compared to t-wise interaction sampling, while guaranteeing a t-wise presence condition coverage of 100%.


title: A Review and Evaluation of Elastic Distance Functions for Time Series Clustering

abstract: Time series clustering is the act of grouping time series data without recourse to a label. Algorithms that cluster time series can be classified into two groups: those that employ a time series specific distance measure; and those that derive features from time series. Both approaches usually rely on traditional clustering algorithms such as $k$-means. Our focus is on distance based time series that employ elastic distance measures, i.e. distances that perform some kind of realignment whilst measuring distance. We describe nine commonly used elastic distance measures and compare their performance with k-means and k-medoids clustering. Our findings are surprising. The most popular technique, dynamic time warping (DTW), performs worse than Euclidean distance with k-means, and even when tuned, is no better. Using k-medoids rather than k-means improved the clusterings for all nine distance measures. DTW is not significantly better than Euclidean distance with k-medoids. Generally, distance measures that employ editing in conjunction with warping perform better, and one distance measure, the move-split-merge (MSM) method, is the best performing measure of this study. We also compare to clustering with DTW using barycentre averaging (DBA). We find that DBA does improve DTW k-means, but that the standard DBA is still worse than using MSM. Our conclusion is to recommend MSM with k-medoids as the benchmark algorithm for clustering time series with elastic distance measures. We provide implementations in the aeon toolkit, results and guidance on reproducing results on the associated GitHub repository.


title: Analytic continuation of harmonic sums: dispersion representation

abstract: We present a simple representation for analytically continued nested harmonic sums for the arbitrary complex argument. This representation can be obtained for a wide range of nested harmonic sums from a precomputed database for the pole expressions of these sums near negative integers. We describe the procedure for the precise numerical evaluations of the corresponding results from the dispersion representation.


title: Classical and quantum reconciliation of electromagnetic radiation: vector Unruh modes and zero-Rindler-energy photons

abstract: A great deal of evidence has been mounting over the years showing a deep connection between acceleration, radiation, and the Unruh effect. Indeed, the fact that the Unruh effect can be codified in the Larmor radiation emitted by the charge was used to propose an experiment to experimentally confirm the existence of the Unruh thermal bath. However, such connection has two puzzling issues: (1) how the quantum Unruh effect can be codified in the classical Larmor radiation and (2) the fundamental role played by zero-Rindler-energy modes of the Unruh thermal bath in such a context. Here we generalize a recent analysis made for the scalar case to the more realistic case of Maxwell electrodynamics and settle these two puzzling issues.


title: Very massive star winds as sources of the short-lived radioactive isotope $^{26}$Al

abstract: The $^{26}$Al short-lived radioactive nuclide is the source of the observed galactic diffuse $\gamma$-ray emission at 1.8 MeV. While different sources of $^{26}$Al have been explored, such as AGB stars, massive stars winds, and supernovae, the contribution of very massive stars has never been studied. We study the stellar wind contribution of very massive stars, i.e stars with initial masses between 150 and 300 M$_\odot$, to the enrichment in $^{26}$Al of the galactic interstellar medium. We discuss the production of $^{26}$Al by studying rotating and non-rotating very massive stellar models with initial masses between 150 and 300 M$_\odot$ for metallicities Z=0.006, 0.014, and 0.020. We confront this result to a simple Milky Way model taking into account both the metallicity and the star formation rate gradients. We obtain that very massive stars in the Z=0.006-0.020 metallicity range might be very significant contributors to the $^{26}$Al enrichment of the interstellar medium. Typically, the contribution of the winds of massive stars to the total quantity of $^{26}$Al in the Galaxy increases by 150\% when very massive stars are considered. Very massive stars, despite their rarity, might be important contributors to $^{26}$Al and overall very important actors for nucleosynthesis in the Galaxy.


title: Various notions of (co)simplicial (pre)sheaves

abstract: The phrase "(co)simplicial (pre)sheaf" can be reasonably interpreted in multiple ways. In this survey we study how the various notions familiar to the author relate to one another. We end by giving some example applications of the most general of these notions.


title: Double-cover-based analysis of the Bethe permanent of non-negative matrices

abstract: The permanent of a non-negative matrix appears naturally in many information processing scenarios. Because of the intractability of the permanent beyond small matrices, various approximation techniques have been developed in the past. In this paper, we study the Bethe approximation of the permanent and add to the body of literature showing that this approximation is very well behaved in many respects. Our main technical tool are topological double covers of the normal factor graph whose partition function equals the permanent of interest, along with a transformation of these double covers.


title: Do Deep Neural Networks Always Perform Better When Eating More Data?

abstract: Data has now become a shortcoming of deep learning. Researchers in their own fields share the thinking that "deep neural networks might not always perform better when they eat more data," which still lacks experimental validation and a convincing guiding theory. Here to fill this lack, we design experiments from Identically Independent Distribution(IID) and Out of Distribution(OOD), which give powerful answers. For the purpose of guidance, based on the discussion of results, two theories are proposed: under IID condition, the amount of information determines the effectivity of each sample, the contribution of samples and difference between classes determine the amount of sample information and the amount of class information; under OOD condition, the cross-domain degree of samples determine the contributions, and the bias-fitting caused by irrelevant elements is a significant factor of cross-domain. The above theories provide guidance from the perspective of data, which can promote a wide range of practical applications of artificial intelligence.


title: Effect of Fluid Composition on a Jet Breaking Out of a Cocoon in Gamma-ray Bursts: A Relativistic de Laval Nozzle Treatment

abstract: In this paper, we carry out a semi-analytic general relativistic study of a Gamma-Ray Bursts (GRB) jet that is breaking out of a cocoon or stellar envelope. We solve hydrodynamic equations with the relativistic equation of state that takes care of fluid composition. In short GRBs, a general relativistic approach is required to account for curved spacetime in strong gravity. The piercing of the jet through the cocoon resembles a de Laval nozzle and the jet may go through recollimation shock transitions. We show that the possibility of shock transition and the shock properties are sensitive to the matter composition and the cocoon strength. Obtained Lorentz factors in thermally driven jets comfortably reach a few $\times$10.


title: Independence number of intersection graphs of axis-parallel segments

abstract: We prove that for any triangle-free intersection graph of $n$ axis-parallel segments in the plane, the independence number $\alpha$ of this graph is at least $\alpha \ge n/4 + \Omega(\sqrt{n})$. We complement this with a construction of a graph in this class satisfying $\alpha \le n/4 + c \sqrt{n}$ for an absolute constant $c$, which demonstrates the optimality of our result.


title: Vehicle Route Planning using Dynamically Weighted Dijkstra's Algorithm with Traffic Prediction

abstract: Traditional vehicle routing algorithms do not consider the changing nature of traffic. While implementations of Dijkstra's algorithm with varying weights exist, the weights are often changed after the outcome of algorithm is executed, which may not always result in the optimal route being chosen. Hence, this paper proposes a novel vehicle routing algorithm that improves upon Dijkstra's algorithm using a traffic prediction model based on the traffic flow in a road network. Here, Dijkstra's algorithm is adapted to be dynamic and time dependent using traffic flow theory principles during the planning stage itself. The model provides predicted traffic parameters and travel time across each edge of the road network at every time instant, leading to better routing results. The dynamic algorithm proposed here predicts changes in traffic conditions at each time step of planning to give the optimal forward-looking path. The proposed algorithm is verified by comparing it with conventional Dijkstra's algorithm on a graph with randomly simulated traffic, and is shown to predict the optimal route better with continuously changing traffic.


title: On the Largest Product-free Subsets of the Alternating Groups

abstract: A subset $A$ of a group $G$ is called product-free if there is no solution to $a=bc$ with $a,b,c$ all in $A$. It is easy to see that the largest product-free subset of the symmetric group $S_n$ is obtained by taking the set of all odd permutations, i.e. $S_n \setminus A_n$, where $A_n$ is the alternating group. By contrast, it is a long-standing open problem to find the largest product-free subset of $A_n$. We solve this problem for large $n$, showing that the maximum size is achieved by the previously conjectured extremal examples, namely families of the form $\{\pi~|~\pi(x)\in I, \pi(I)\cap I=\emptyset\}$ and their inverses. Moreover, we show that the maximum size is only achieved by these extremal examples, and we have stability: any product-free subset of $A_n$ of nearly maximum size is structurally close to an extremal example. Our proof uses a combination of tools from Combinatorics and Non-abelian Fourier Analysis, including a crucial new ingredient exploiting some recent theory developed by Filmus, Kindler, Liftshitz and Minzer for global hypercontractivity on the symmetric group.


title: Bounds for the distribution of the Frobenius traces associated to products of non-CM elliptic curves

abstract: Let $g \geq 1$ be an integer and let $A/\mathbb{Q}$ be an abelian variety that is isogenous over $\mathbb{Q}$ to %the product $E_1 \times \ldots \times E_g$ of elliptic curves $E_1/\mathbb{Q}$, $\ldots$, $E_g/\mathbb{Q}$, without complex multiplication and pairwise non-isogenous over $\overline{\mathbb{Q}}$. a product of $g$ elliptic curves defined over $\mathbb{Q}$, pairwise non-isogenous over $\overline{\mathbb{Q}}$ and each without complex multiplication. %pairwise non-isogenous over $\overline{\mathbb{Q}}$. For an integer $t$ and a positive real number $x$, denote by $\pi_A(x, t)$ the number of primes $p \leq x$, of good reduction for %the abelian variety $A$, for which the Frobenius trace $a_{1, p}(A)$ associated to the reduction of $A$ modulo $p$ equals $t$. Assuming the Generalized Riemann Hypothesis for Dedekind zeta functions, we prove that $\pi_A(x, 0) \ll_A x^{1 - \frac{1}{3 g+1 }}/(\log x)^{1 - \frac{2}{3 g+1}}$ and $\pi_A(x, t) \ll_A x^{1 - \frac{1}{3 g + 2}}/(\log x)^{1 - \frac{2}{3 g + 2}}$ if $t \neq 0$. These bounds largely improve upon recent ones obtained for $g = 2$ by H. Chen, N. Jones, and V. Serban, and may be viewed as generalizations to arbitrary $g$ of the bounds obtained for $g=1$ by M.R. Murty, V.K. Murty, and N. Saradha, combined with a refinement in the power of $\log x$ by D. Zywina. Under the same assumptions, we also prove the existence of a density one set of primes $p$ satisfying $|a_{1, p}(A)|>p^{\frac{1}{3 g + 1} - \varepsilon}$ for any fixed $\varepsilon>0$.


title: Demon driven by geometric phase

abstract: We theoretically study the entropy production and the work extracted from a system connected to two reservoirs by periodic modulations of the electrochemical potentials of the reservoirs and the parameter of a system Hamiltonian under isothermal conditions. We find that the modulation of the parameters can drive a geometric state, which is away from a nonequilibrium steady state. Using this property, we construct a demon in which the entropy production during the first one-cycle is negative such that we can extract the work if we start from the nonequilibrium steady state without parameter modulations. We use the Anderson model to implement the demon in a realistic situation.


title: Exploring Bifurcations in Bose-Einstein Condensates via Phase Field Crystal Models

abstract: To facilitate the analysis of pattern formation and of the related phase transitions in Bose-Einstein condensates (BECs) we present an explicit approximate mapping from the nonlocal Gross-Pitaevskii equation with cubic nonlinearity to a phase field crystal (PFC) model. This approximation is valid close to the superfluid-supersolid phase transition boundary. The simplified PFC model permits the exploration of bifurcations and phase transitions via numerical path continuation employing standard software. While revealing the detailed structure of the bifurcations present in the system, we demonstrate the existence of localized states. Finally, we discuss how higher-order nonlinearities change the structure of the bifurcation diagram representing the transitions found in the system.


title: Personalized Acoustic Echo Cancellation for Full-duplex Communications

abstract: Deep neural networks (DNNs) have shown promising results for acoustic echo cancellation (AEC). But the DNN-based AEC models let through all near-end speakers including the interfering speech. In light of recent studies on personalized speech enhancement, we investigate the feasibility of personalized acoustic echo cancellation (PAEC) in this paper for full-duplex communications, where background noise and interfering speakers may coexist with acoustic echoes. Specifically, we first propose a novel backbone neural network termed as gated temporal convolutional neural network (GTCNN) that outperforms state-of-the-art AEC models in performance. Speaker embeddings like d-vectors are further adopted as auxiliary information to guide the GTCNN to focus on the target speaker. A special case in PAEC is that speech snippets of both parties on the call are enrolled. Experimental results show that auxiliary information from either the near-end speaker or the far-end speaker can improve the DNN-based AEC performance. Nevertheless, there is still much room for improvement in the utilization of the finite-dimensional speaker embeddings.


title: PAC Generalization via Invariant Representations

abstract: One method for obtaining generalizable solutions to machine learning tasks when presented with diverse training environments is to find \textit{invariant representations} of the data. These are representations of the covariates such that the best model on top of the representation is invariant across training environments. In the context of linear Structural Equation Models (SEMs), invariant representations might allow us to learn models with out-of-distribution guarantees, i.e., models that are robust to interventions in the SEM. To address the invariant representation problem in a {\em finite sample} setting, we consider the notion of $\epsilon$-approximate invariance. We study the following question: If a representation is approximately invariant with respect to a given number of training interventions, will it continue to be approximately invariant on a larger collection of unseen SEMs? This larger collection of SEMs is generated through a parameterized family of interventions. Inspired by PAC learning, we obtain finite-sample out-of-distribution generalization guarantees for approximate invariance that holds \textit{probabilistically} over a family of linear SEMs without faithfulness assumptions. Our results show bounds that do not scale in ambient dimension when intervention sites are restricted to lie in a constant size subset of in-degree bounded nodes. We also show how to extend our results to a linear indirect observation model that incorporates latent variables.


title: Absolutely avoidable order-size pairs in hypergraphs

abstract: For fixed integer $r\ge 2$, we call a pair $(m,f)$ of integers, $m\geq 1$, $0\leq f \leq \binom{m}{r}$, $absolutely$ $avoidable$ if there is $n_0$, such that for any pair of integers $(n,e)$ with $n>n_0$ and $0\leq e\leq \binom{n}{r}$ there is an $r$-uniform hypergraph on $n$ vertices and $e$ edges that contains no induced sub-hypergraph on $m$ vertices and $f$ edges. Some pairs are clearly not absolutely avoidable, for example $(m,0)$ is not absolutely avoidable since any sufficiently sparse hypergraph on at least $m$ vertices contains independent sets on $m$ vertices. Here we show that for any $r\ge 3$ and $m \ge m_0$, either the pair $(m, \lfloor\binom mr/2\rfloor)$ or the pair $(m, \lfloor\binom{m}{r}/2\rfloor-m-1)$ is absolutely avoidable. Next, following the definition of Erd\H{o}s, F\"uredi, Rothschild and S\'os, we define the $density$ of a pair $(m,f)$ as $\sigma_r(m,f) = \limsup_{n \to \infty} \frac{|\{e : (n,e) \to (m,f)\}|}{\binom mr}$. We show that for $ r\ge 3$ most pairs $(m,f)$ satisfy $\sigma_r(m,f)=0$, and that for $m > r$, there exists no pair $(m,f)$ of density 1.


title: STN: Scalable Tensorizing Networks via Structure-Aware Training and Adaptive Compression

abstract: Deep neural networks (DNNs) have delivered a remarkable performance in many tasks of computer vision. However, over-parameterized representations of popular architectures dramatically increase their computational complexity and storage costs, and hinder their availability in edge devices with constrained resources. Regardless of many tensor decomposition (TD) methods that have been well-studied for compressing DNNs to learn compact representations, they suffer from non-negligible performance degradation in practice. In this paper, we propose Scalable Tensorizing Networks (STN), which dynamically and adaptively adjust the model size and decomposition structure without retraining. First, we account for compression during training by adding a low-rank regularizer to guarantee networks' desired low-rank characteristics in full tensor format. Then, considering network layers exhibit various low-rank structures, STN is obtained by a data-driven adaptive TD approach, for which the topological structure of decomposition per layer is learned from the pre-trained model, and the ranks are selected appropriately under specified storage constraints. As a result, STN is compatible with arbitrary network architectures and achieves higher compression performance and flexibility over other tensorizing versions. Comprehensive experiments on several popular architectures and benchmarks substantiate the superiority of our model towards improving parameter efficiency.


title: Distribution of primes of split reductions for abelian surfaces

abstract: Let $A$ be an absolutely simple abelian surface defined over a number field $K$ with a commutative (geometric) endomorphism ring. Let $\pi_{A, \text{split}}(x)$ denote the number of primes $\mathfrak{p}$ in $K$ such that each prime has norm bounded by $x$, of good reduction for $A$, and the reduction of $A$ at $\mathfrak{p}$ splits. It is known that the density of such primes is zero. Under the Generalized Riemann Hypothesis for Dedekind zeta functions and possibly extending the field $K$, we prove that $\pi_{A, \text{split}}(x) \ll_{A, K} x^{\frac{41}{42}}\log x$ if the endomorphism ring of $A$ is trivial; $\pi_{A, \text{split}}(x) \ll_{A, F, K} \frac{x^{\frac{11}{12}}}{(\log x)^{\frac{2}{3}}}$ if $A$ has real multiplication by a real quadratic field $F$; $\pi_{A, \text{split}}(x) \ll_{A, F, K} x^{\frac{2}{3}}(\log x)^{\frac{1}{3}}$ if $A$ has complex multiplication by a CM field $F$. These results improve the bounds by J. Achter in 2012 and D. Zywina in 2014. We also provide better bounds under other credible conjectures.


title: Markov selections and Feller properties of nonlinear diffusions

abstract: In this paper we study a family of nonlinear (conditional) expectations that can be understood as a diffusion with uncertain local characteristics. Here, the differential characteristics are prescribed by a set-valued function. We establish its Feller properties and examine how to linearize the associated sublinear Markovian semigroup. In particular, we observe a novel smoothing effect of sublinear semigroups in frameworks which carry enough randomness. Furthermore, we link the value function corresponding to the semigroup to a nonlinear Kolmogorov equation. This provides a connection to the so-called Nisio semigroup.


title: Controller design and experimental evaluation of a motorised assistance for a patient transfer floor lift

abstract: Patient transfer is a challenging, critical task because it exposes caregivers to injury risks. Available transfer devices, like floor lifts, lead to improvements but are far from perfect. They do not eliminate the caregivers risk of musculoskeletal disorders, and they can be burdensome to use due to their poor maneuverability. This paper presents a new motorized floor lift with a single central motorized wheel connected to an instrumented handle. Admittance controllers are designed to 1) improve the device maneuverability, 2) reduce the required caregiver effort, and 3) ensure the security and comfort of patients. Two controller designs, one with a linear admittance law and a non-linear admittance law with variable damping, were developed and implemented on a prototype. Tests were performed on seven participants to evaluate the performance of the assistance system and the controllers. The experimental results show that 1) the motorized assistance with the variable damping controller improves maneuverability by 28%, 2) reduces the amount of effort required to push the lift by 66% and 3) provides the same level of patient comfort compared to a standard unassisted floor lift.


title: A Small Leak Will Sink Many Ships: Vulnerabilities Related to Mini Programs Permissions

abstract: As a new format of mobile application, mini programs, which function within a larger app and are built with HTML, CSS, and JavaScript web technology, have become the way to do almost everything in China. This paper presents our research on the permissions of mini programs. We conducted a systematic study on 9 popular mobile app ecosystems, which host over 7 million mini programs, and tested over 2,580 APIs to understand these emerging systems better. We extracted a common abstracted model for mini programs permission control and revealed six categories of potential security vulnerabilities in the permission environments. It is alarming that the current popular mobile app ecosystems (host apps) under study have at least one security vulnerability. We present the corresponding attack methods to dissect these potential weaknesses further to exploit the discovered vulnerabilities. To prove that the revealed vulnerabilities may cause severe consequences in real-world use, we show three kinds of attacks related to the mini programs' permissions. We have responsibly disclosed the newly discovered vulnerabilities, officially confirmed and revised. Finally, we put forward systematic suggestions to strengthen the standardization of mini programs.


title: Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic

abstract: This paper introduces the exponential substitution calculus (ESC), a new presentation of cut elimination for IMELL, based on proof terms and building on the idea that exponentials can be seen as explicit substitutions. The idea in itself is not new, but here it is pushed to a new level, inspired by Accattoli and Kesner's linear substitution calculus (LSC). One of the key properties of the LSC is that it naturally models the sub-term property of abstract machines, that is the key ingredient for the study of reasonable time cost models for the $\lambda$-calculus. The new ESC is then used to design a cut elimination strategy with the sub-term property, providing the first polynomial cost model for cut elimination with unconstrained exponentials. For the ESC, we also prove untyped confluence and typed strong normalization, showing that it is an alternative to proof nets for an advanced study of cut elimination.


title: Programming with rules and everything else, seamlessly

abstract: Logic rules are powerful for expressing complex reasoning and analysis problems. At the same time, they are inconvenient or impossible to use for many other aspects of applications. Integrating rules in a language with sets and functions, and furthermore with updates to objects, has been a subject of significant study. What's lacking is a language that integrates all constructs seamlessly. This paper presents a language, Alda, that supports all of rules, sets, functions, updates, and objects as seamlessly integrated built-ins, including concurrent and distributed processes. The key idea is to support predicates as set-valued variables that can be used and updated in any scope, and support queries and inference with both explicit and automatic calls to an inference function. We develop a complete formal semantics for Alda. We design a compilation framework that ensures the declarative semantics of rules, while also being able to exploit available optimizations. We describe a prototype implementation that builds on a powerful extension of Python and employs an efficient logic rule engine. We develop a range of benchmarks and present results of experiments to demonstrate Alda's power for programming and generally good performance.


title: Finite $p$-groups of class two with a large multiple holomorph

abstract: Let $G$ be any group. The quotient group $T(G)$ of the multiple holomorph by the holomorph of $G$ has been investigated for various families of groups $G$. In this paper, we shall take $G$ to be a finite $p$-group of class two for any odd prime $p$, in which case $T(G)$ may be studied using certain bilinear forms. For any $n\geq 4$, we exhibit examples of $G$ of order $p^{n+{n\choose 2}}$ such that $T(G)$ contains a subgroup isomorphic to \begin{equation*} \operatorname{GL}_n(\mathbb{F}_p) \times \operatorname{GL}_{\binom{n}{2}-n}(\mathbb{F}_p).\end{equation*} For finite $p$-groups $G$, the prime factors of the order of $T(G)$ which are known so far all came from $p(p-1)$. Our examples show that the order of $T(G)$ can have other prime factors as well. In fact, we can embed any finite group into $T(G)$ for a suitable choice of $G$.


title: Mediation Analysis with Multiple Mediators under Unmeasured Mediator-Outcome Confounding

abstract: It is often of interest in the health and social sciences to investigate the joint mediation effects of multiple post-exposure mediating variables. Identification of such joint mediation effects generally require no unmeasured confounding of the outcome with respect to the whole set of mediators. As the number of mediators under consideration grows, this key assumption is likely to be violated as it is often infeasible to intervene on any of the mediators. In this paper, we develop a simple two-step method of moments estimation procedure to assess mediation with multiple mediators simultaneously in the presence of potential unmeasured mediator-outcome confounding. Our identification result leverages heterogeneity of the exposure effect on each mediator in the population, which is plausible under a variety of empirical settings. The proposed estimators are illustrated through both simulations and an application to evaluate the mediating effects of post-traumatic stress disorder symptoms in the association between self-efficacy and fatigue among health care workers during the COVID-19 outbreak.


title: Adiabatic invariant approach on Friedmann cyclic universe

abstract: Oscillating or cyclic models of the universe were inspired by Friedmann's seminal paper of 1922. The model supposes a closed universe. In this work, we study Friedmann closed universe using the adiabatic invariant approach. We start revisiting the cosmological force proposed by N. Rosen and derive the Lagrangian density from Rosen's concepts of cosmological force. Importantly, we introduce the Noether gauge symmetry followed by the Rund-Traumann identity (RTI) and adiabatic invariant approach to examine the cyclic models. We consider a single component form of relativistic matter (stiff matter) at $a(t=0)$ and $a(t=T)$, and surprisingly discover the world period is given by $\sim 15.8$ Gy which is very close to that computed using the Friedmann's formula for the cyclic universe.


title: Defects and excitations in the Kitaev model

abstract: We construct a Kitaev model with defects using twists or 2-cocycles of semi-simple, finite-dimensional Hopf algebras as defect data. This data is derived by applying Tannaka duality to Turaev-Viro topological quantum field theories with defects. From this we also derive additional conditions for moving, fusing and braiding excitations in the Kitaev model with defects. We give a description of excitations in the Kitaev model and show that they satisfy conditions we derive from Turaev-Viro topological quantum field theories with defects. Assigning trivial defect data one obtains transparent defects and we show that they can be removed, yielding the Kitaev model without defects.


title: Flowification: Everything is a Normalizing Flow

abstract: The two key characteristics of a normalizing flow is that it is invertible (in particular, dimension preserving) and that it monitors the amount by which it changes the likelihood of data points as samples are propagated along the network. Recently, multiple generalizations of normalizing flows have been introduced that relax these two conditions. On the other hand, neural networks only perform a forward pass on the input, there is neither a notion of an inverse of a neural network nor is there one of its likelihood contribution. In this paper we argue that certain neural network architectures can be enriched with a stochastic inverse pass and that their likelihood contribution can be monitored in a way that they fall under the generalized notion of a normalizing flow mentioned above. We term this enrichment flowification. We prove that neural networks only containing linear layers, convolutional layers and invertible activations such as LeakyReLU can be flowified and evaluate them in the generative setting on image datasets.


title: The Devil is in the Pose: Ambiguity-free 3D Rotation-invariant Learning via Pose-aware Convolution

abstract: Rotation-invariant (RI) 3D deep learning methods suffer performance degradation as they typically design RI representations as input that lose critical global information comparing to 3D coordinates. Most state-of-the-arts address it by incurring additional blocks or complex global representations in a heavy and ineffective manner. In this paper, we reveal that the global information loss stems from an unexplored pose information loss problem, which can be solved more efficiently and effectively as we only need to restore more lightweight local pose in each layer, and the global information can be hierarchically aggregated in the deep networks without extra efforts. To address this problem, we develop a Pose-aware Rotation Invariant Convolution (i.e., PaRI-Conv), which dynamically adapts its kernels based on the relative poses. To implement it, we propose an Augmented Point Pair Feature (APPF) to fully encode the RI relative pose information, and a factorized dynamic kernel for pose-aware kernel generation, which can further reduce the computational cost and memory burden by decomposing the kernel into a shared basis matrix and a pose-aware diagonal matrix. Extensive experiments on shape classification and part segmentation tasks show that our PaRI-Conv surpasses the state-of-the-art RI methods while being more compact and efficient.


title: Type Systems in Resource-Aware Programming: Opportunities and Challenges

abstract: Type systems provide software developers immediate feedback about a subset of correctness properties of their programs. IDE integrations often take advantage of type systems to present errors, suggest completions and even improve navigation. On the other hand, understanding the time and energy consumption of the execution of a program requires manual testing. In this paper, we identify existing work on using type systems for energy awareness, and define the requirements for a practical approach, which the existing approaches do not address fully. Furthermore, we also discuss how existing type systems can help generalize refactors for energy-efficiency.


title: Disentangling Lepton Flavour Universal and Lepton Flavour Universality Violating Effects in $b\to s\ell^+\ell^-$ Transitions

abstract: In this letter we propose a strategy for discerning if new physics in the Wilson coefficient ${\cal C}_{9\mu}$ is dominantly lepton flavour universality violating or if it contains a sizable lepton flavour universal component (${\cal C}_9^{\rm U}$). Distinguishing among these two cases, for which the model independent fit of the related scenarios exhibits similar pulls w.r.t. the Standard Model, is crucial to advance our understanding of the $B$ anomalies. We first identify the origin of the degeneracy of these two cases and point out the key observables that can break it. In particular, while the observables measured so far that test lepton flavour universality exhibit similar dependencies to all the relevant Wilson coefficients, the forthcoming measurement of $Q_5=P_{5}^{\prime\mu}-P_{5}^{\prime e}$ is particularly sensitive to ${\cal C}_{9\mu}-{\cal C}_{9e}$. In fact, if $Q_5$ were found to be small (i.e. close to its Standard Model value), this would imply a small ${\cal C}_{9\mu}-{\cal C}_{9e}$ but a sizable ${\cal C}_{9}^{\rm U}$, given the preference of global fits for a large negative new physics contribution in ${\cal C}_{9\mu}$. We discuss the possible origins of ${\cal C}_9^{\rm U}$, in particular how it could originate from new physics. Here, a promising scenario, that could even link $b\to s \ell^+\ell^-$ to $R_{D^{(*)}}$, is the one in which ${\cal C}_9^{\rm U}$ is generated from a tau loop via an off-shell photon penguin diagram. This setup predicts the branching ratios of $B_s\to\tau^+\tau^-$ and $B\to K^{(*)}\tau^+\tau^-$ to lie within the reach of LHCb, CMS and Belle II. Alternatively, in case of a non-observation of these tauonic processes, we show that the most natural possibility to generate ${\cal C}_9^{\rm U}$ is a $Z^\prime$ with partially lepton flavour universal couplings.


title: Backpropagation through Combinatorial Algorithms: Identity with Projection Works

abstract: Embedding discrete solvers as differentiable layers has given modern deep learning architectures combinatorial expressivity and discrete reasoning capabilities. The derivative of these solvers is zero or undefined, therefore a meaningful replacement is crucial for effective gradient-based learning. Prior works rely on smoothing the solver with input perturbations, relaxing the solver to continuous problems, or interpolating the loss landscape with techniques that typically require additional solver calls, introduce extra hyper-parameters, or compromise performance. We propose a principled approach to exploit the geometry of the discrete solution space to treat the solver as a negative identity on the backward pass and further provide a theoretical justification. Our experiments demonstrate that such a straightforward hyper-parameter-free approach is able to compete with previous more complex methods on numerous experiments such as backpropagation through discrete samplers, deep graph matching, and image retrieval. Furthermore, we substitute the previously proposed problem-specific and label-dependent margin with a generic regularization procedure that prevents cost collapse and increases robustness.


title: Prominence eruption observed in He II 304 {\AA} up to $>6 R_\sun$ by EUI/FSI aboard Solar Orbiter

abstract: We report observations of a unique, large prominence eruption that was observed in the He II 304 {\AA} passband of the the Extreme Ultraviolet Imager/Full Sun Imager telescope aboard Solar Orbiter on 15-16 February 2022. Observations from several vantage points (Solar Orbiter, the Solar-Terrestrial Relations Observatory, the Solar and Heliospheric Observatory, and Earth-orbiting satellites) were used to measure the kinematics of the erupting prominence and the associated coronal mass ejection. Three-dimensional reconstruction was used to calculate the deprojected positions and speeds of different parts of the prominence. Observations in several passbands allowed us to analyse the radiative properties of the erupting prominence. The leading parts of the erupting prominence and the leading edge of the corresponding coronal mass ejection propagate at speeds of around 1700 km/s and 2200 km/s, respectively, while the trailing parts of the prominence are significantly slower (around 500 km/s). Parts of the prominence are tracked up to heights of over $6 R_\sun$. The He II emission is probably produced via collisional excitation rather than scattering. Surprisingly, the brightness of a trailing feature increases with height. The reported prominence is the first observed in He II 304 {\AA} emission at such a great height (above 6 $R_\sun$).


title: Support Recovery in Sparse PCA with Incomplete Data

abstract: We study a practical algorithm for sparse principal component analysis (PCA) of incomplete and noisy data. Our algorithm is based on the semidefinite program (SDP) relaxation of the non-convex $l_1$-regularized PCA problem. We provide theoretical and experimental evidence that SDP enables us to exactly recover the true support of the sparse leading eigenvector of the unknown true matrix, despite only observing an incomplete (missing uniformly at random) and noisy version of it. We derive sufficient conditions for exact recovery, which involve matrix incoherence, the spectral gap between the largest and second-largest eigenvalues, the observation probability and the noise variance. We validate our theoretical results with incomplete synthetic data, and show encouraging and meaningful results on a gene expression dataset.


title: Perfectly packing a square by squares of sidelength $f(n)^{-t}$

abstract: In this paper, we prove that for any $1/2<t<1$, there exists a positive integer $N_{0}$ depending on $t$ such that for any $n_{0}\geq N_{0}$, squares of sidelength $f(n)^{-t}$ for $n\geq n_{0}$ can be packed with disjoint interiors into a square of area $\sum_{n=n_{0}}^{\infty}f(n)^{-2t}$, if the function $f$ satisfies some suitable conditions. The main theorem (Theorem 1.1) is a generalization of Tao's theorem, which argued the case $f(n)=n$. As corollaries, we prove that there are such packings of squares when $f(n)$ represents the $n$th element of either an arithmetic progression or the set of prime numbers. In these cases, we give effective lower bounds for $N_{0}$ with respect to $t$. Furthermore, we consider the case that $f(n)$ represents the $n$th element of the set of twin primes and prove that squares of sidelength $f(n)^{-t}$ for $n\geq n_{0}$ can be packed with disjoint interiors into a slightly larger square than theoretically expected.


title: GraphWalks: Efficient Shape Agnostic Geodesic Shortest Path Estimation

abstract: Geodesic paths and distances are among the most popular intrinsic properties of 3D surfaces. Traditionally, geodesic paths on discrete polygon surfaces were computed using shortest path algorithms, such as Dijkstra. However, such algorithms have two major limitations. They are non-differentiable which limits their direct usage in learnable pipelines and they are considerably time demanding. To address such limitations and alleviate the computational burden, we propose a learnable network to approximate geodesic paths. The proposed method is comprised by three major components: a graph neural network that encodes node positions in a high dimensional space, a path embedding that describes previously visited nodes and a point classifier that selects the next point in the path. The proposed method provides efficient approximations of the shortest paths and geodesic distances estimations. Given that all of the components of our method are fully differentiable, it can be directly plugged into any learnable pipeline as well as customized under any differentiable constraint. We extensively evaluate the proposed method with several qualitative and quantitative experiments.


title: A Graph and Attentive Multi-Path Convolutional Network for Traffic Prediction

abstract: Traffic prediction is an important and yet highly challenging problem due to the complexity and constantly changing nature of traffic systems. To address the challenges, we propose a graph and attentive multi-path convolutional network (GAMCN) model to predict traffic conditions such as traffic speed across a given road network into the future. Our model focuses on the spatial and temporal factors that impact traffic conditions. To model the spatial factors, we propose a variant of the graph convolutional network (GCN) named LPGCN to embed road network graph vertices into a latent space, where vertices with correlated traffic conditions are close to each other. To model the temporal factors, we use a multi-path convolutional neural network (CNN) to learn the joint impact of different combinations of past traffic conditions on the future traffic conditions. Such a joint impact is further modulated by an attention} generated from an embedding of the prediction time, which encodes the periodic patterns of traffic conditions. We evaluate our model on real-world road networks and traffic data. The experimental results show that our model outperforms state-of-art traffic prediction models by up to 18.9% in terms of prediction errors and 23.4% in terms of prediction efficiency.


title: Automatic Short Math Answer Grading via In-context Meta-learning

abstract: Automatic short answer grading is an important research direction in the exploration of how to use artificial intelligence (AI)-based tools to improve education. Current state-of-the-art approaches use neural language models to create vectorized representations of students responses, followed by classifiers to predict the score. However, these approaches have several key limitations, including i) they use pre-trained language models that are not well-adapted to educational subject domains and/or student-generated text and ii) they almost always train one model per question, ignoring the linkage across a question and result in a significant model storage problem due to the size of advanced language models. In this paper, we study the problem of automatic short answer grading for students' responses to math questions and propose a novel framework for this task. First, we use MathBERT, a variant of the popular language model BERT adapted to mathematical content, as our base model and fine-tune it for the downstream task of student response grading. Second, we use an in-context learning approach that provides scoring examples as input to the language model to provide additional context information and promote generalization to previously unseen questions. We evaluate our framework on a real-world dataset of student responses to open-ended math questions and show that our framework (often significantly) outperforms existing approaches, especially for new questions that are not seen during training.


title: The $k$-apex trees with minimum augmented Zagreb index

abstract: For a connected graph $G$ on at least three vertices, the augmented Zagreb index (AZI) of $G$ is defined as $$AZI(G)=\sum_{uv\in E(G)}\left(\frac{d(u)d(v)}{d(u)+d(v)-2}\right)^{3},$$ being a topological index well-correlated with the formation heat of heptanes and octanes. A $k$-apex tree $G$ is a connected graph admitting a $k$-subset $X\subset V(G)$ such that $G-X$ is a tree, while $G-S$ is not a tree for any $S\subset V(G)$ of cardinality less than $k$. By investigating some structural properties of $k$-apex trees, we identify the graphs minimizing the AZI among all $k$-apex trees on $n$ vertices for $k\ge 4$ and $n\ge 3(k+1)$. The latter solves an open problem posed in [K. Cheng, M. Liu, F. Belardo, {\em Appl. Math. Comput.}, {\bf402} (2021), 126139].


title: Interaction of excitons with magnetic topological defects in 2D magnetic monolayers: localization and anomalous Hall effect

abstract: Novel 2D material CrI3 reveals unique combination of 2D ferromagnetism and robust excitonic response. We demonstrate that the possibility of the formation of magnetic topological defects, such as Neel skyrmions, together with large excitonic Zeeman splitting, leads to giant scattering asymmetry, which is the necessary prerequisite for the excitonic anomalous Hall effect. In addition, the diamagnetic effect breaks the inversion symmetry, and in certain cases can result in exciton localization on the skyrmion. This enables the formation of magnetoexcitonic quantum dots with tunable parameters.


title: From elasticity tetrads to rectangular vielbein

abstract: The paper is devoted to the memory of Igor E. Dzyaloshinsky. In our common paper I.E. Dzyaloshinskii and G.E. Volovick, Poisson brackets in condensed matter, Ann. Phys. {\bf 125} 67--97 (1980), we discussed the elasticity theory described in terms of the gravitational field variables -- the elasticity vielbein $E_\mu^a$. They come from the phase fields, which describe the deformations of crystal. The important property of the elasticity vielbein $E^a_\mu$ is that in general they are not the square mstrices. While the spacetime index $\mu$ takes the values $\mu=(0,1,2,3)$, in crystals the index $a=(1,2,3)$, in vortex lattices $a=(1,2)$, and in smectic liquid crystals there is only one phase field, $a=1$. These phase fields can be considered as the spin gauge fields, which are similar to the gauge fields in Standard Model (SM) or in Grand Unification (GUT). On the other hand, the rectangular vielbein $e^\mu_a$ may emerge in the vicinity of Dirac points in Dirac materials. In particular, in the planar phase of the spin-triplet superfluid $^3$He the spacetime index $\mu=(0,1,2,3)$, while the spin index $a$ takes values $a=(0,1,2,3,4)$. Although these $(4 \times 5)$ vielbein describing the Dirac fermions are rectangular, the effective metric $g^{\mu\nu}$of Dirac quasiparticles remains (3+1)-dimensional. All this suggests the possible extension of the Einstein-Cartan gravity by introducing the rectangular vielbein, where the spin fields belong to the higher groups, which may include SM or even GUT groups.

categories: physics.class-ph cond-mat.other gr-qc hep-ph


title: Prompting ELECTRA: Few-Shot Learning with Discriminative Pre-Trained Models

abstract: Pre-trained masked language models successfully perform few-shot learning by formulating downstream tasks as text infilling. However, as a strong alternative in full-shot settings, discriminative pre-trained models like ELECTRA do not fit into the paradigm. In this work, we adapt prompt-based few-shot learning to ELECTRA and show that it outperforms masked language models in a wide range of tasks. ELECTRA is pre-trained to distinguish if a token is generated or original. We naturally extend that to prompt-based few-shot learning by training to score the originality of the target options without introducing new parameters. Our method can be easily adapted to tasks involving multi-token predictions without extra computation overhead. Analysis shows that ELECTRA learns distributions that align better with downstream tasks.


title: Group delay time of fermions in graphene through tilted potential barrier

abstract: The group delay time of Dirac fermions subjected to a tilting barrier potential along the $ x $-axis is investigated in graphene. We start by finding the eigenspinor solution of the Dirac equation and then relating it to incident, reflected, and transmitted beam waves. This relationship allows us to compute the group delay time in transmission and reflection by obtaining the corresponding phase shifts. We discovered that the barrier width, incident energy, and incident angle can all be used to modify the group delay time, and that the particles travel through the barrier at the Fermi velocity $ v_F $. Our findings also show that the transmission group delay might be controlled, and that gate voltage control could be useful in graphene-based tilting barriers.


title: Few-shot Class-incremental Learning for 3D Point Cloud Objects

abstract: Few-shot class-incremental learning (FSCIL) aims to incrementally fine-tune a model (trained on base classes) for a novel set of classes using a few examples without forgetting the previous training. Recent efforts address this problem primarily on 2D images. However, due to the advancement of camera technology, 3D point cloud data has become more available than ever, which warrants considering FSCIL on 3D data. This paper addresses FSCIL in the 3D domain. In addition to well-known issues of catastrophic forgetting of past knowledge and overfitting of few-shot data, 3D FSCIL can bring newer challenges. For example, base classes may contain many synthetic instances in a realistic scenario. In contrast, only a few real-scanned samples (from RGBD sensors) of novel classes are available in incremental steps. Due to the data variation from synthetic to real, FSCIL endures additional challenges, degrading performance in later incremental steps. We attempt to solve this problem using Microshapes (orthogonal basis vectors) by describing any 3D objects using a pre-defined set of rules. It supports incremental training with few-shot examples minimizing synthetic to real data variation. We propose new test protocols for 3D FSCIL using popular synthetic datasets (ModelNet and ShapeNet) and 3D real-scanned datasets (ScanObjectNN and CO3D). By comparing state-of-the-art methods, we establish the effectiveness of our approach in the 3D domain.


title: Progress and prospects in the quantum anomalous Hall effect

abstract: The quantum anomalous Hall effect refers to the quantization of Hall effect in the absence of applied magnetic field. The quantum anomalous Hall effect is of topological nature and well suited for field-free resistance metrology and low-power information processing utilizing dissipationless chiral edge transport. In this Perspective, we provide an overview of the recent achievements as well as the materials challenges and opportunities, pertaining to engineering intrinsic/interfacial magnetic coupling, that are expected to propel future development of the field.


title: Housekeeping and excess entropy production for general nonlinear dynamics

abstract: We propose a housekeeping/excess decomposition of entropy production for general nonlinear dynamics in a discrete space, including chemical reaction networks and discrete stochastic systems. We exploit the geometric structure of thermodynamic forces to define the decomposition; this does not rely on the notion of a steady state, and even applies to systems that exhibit multistability, limit cycles, and chaos. In the decomposition, distinct aspects of the dynamics contribute separately to entropy production: the housekeeping part stems from a cyclic mode that arises from external driving, generalizing Schnakenberg's cyclic decomposition to non-steady states, while the excess part stems from an instantaneous relaxation mode that arises from conservative forces. Our decomposition refines previously known thermodynamic uncertainty relations and speed limits. In particular, it not only improves an optimal-transport-theoretic speed limit, but also extends the optimal transport theory of discrete systems to nonlinear and nonconservative settings.


title: A unified combinatorial view beyond some spectral properties

abstract: Let $\beta>0$. Motivated by jumbled graphs defined by Thomason, the celebrated expander mixing lemma and Haemers's vertex separation inequality, we define that a graph $G$ with $n$ vertices is a weakly $(n,\beta)$-graph if $\frac{|X| |Y|}{(n-|X|)(n-|Y|)} \le \beta^2$ holds for every pair of disjoint proper subsets $X, Y$ of $V(G)$ with no edge between $X$ and $Y$, and it is an $(n,\beta)$-graph if in addition $X$ and $Y$ are not necessarily disjoint. Our main results include the following. (i) For any weakly $(n,\beta)$-graph $G$, the matching number $\alpha'(G)\ge \min\left\{\frac{1-\beta}{1+\beta},\, \frac{1}{2}\right\}\cdot (n-1).$ If in addition $G$ is a $(U, W)$-bipartite graph with $|W|\ge t|U|$ where $t\ge 1$, then $\alpha'(G)\ge \min\{t(1-2\beta^2),1\}\cdot |U|$. (ii) For any $(n,\beta)$-graph $G$, $\alpha'(G)\ge \min\left\{\frac{2-\beta}{2(1+\beta)},\, \frac{1}{2}\right\}\cdot (n-1).$ If in addition $G$ is a $(U, W)$-bipartite graph with $|W|\ge |U|$ and no isolated vertices, then $\alpha'(G)\ge \min\{1/\beta^{2},1\}\cdot |U|$. (iii) If $G$ is a weakly $(n,\beta)$-graph for $0<\beta\le 1/3$ or an $(n,\beta)$-graph for $0<\beta\le 1/2$, then $G$ has a fractional perfect matching. In addition, $G$ has a perfect matching when $n$ is even and $G$ is factor-critical when $n$ is odd. (iv) For any connected $(n,\beta)$-graph $G$, the toughness $t(G)\ge \frac{1-\beta}{\beta}$. For any connected weakly $(n,\beta)$-graph $G$, $t(G)> \frac{5(1-\beta)}{11\beta}$ and if $n$ is large enough, then $t(G) >\left(\frac{1}{2}-\varepsilon\right)\frac{1-\beta}{\beta}$ for any $\varepsilon >0$.


title: Laser-induced dynamic alignment of the HD molecule without the Born-Oppenheimer approximation

abstract: Laser-induced molecular alignment is well understood within the framework of the Born-Oppenheimer (BO) approximation Without the BO approximation, however, the concept of molecular structure is lost, making alignment hard to define precisely. In this work, we demonstrate the emergence of alignment from the first-ever non-BO quantum dynamics simulations, using the HD molecule exposed to ultrashort laser pulses as a few-body test case We extract the degree of alignment from the non-BO wave function by means of an operator expressed in terms of pseudo-proton coordinates that mimics the BO-based definition of alignment The only essential approximation, in addition to the semiclassical electric-dipole approximation for the matter-field interaction, is the choice of time-independent explicitly correlated Gaussian basis functions. We use a variational, electric-field-dependent basis-set construction procedure, which allows us to keep the basis-set dimension low whilst capturing the main effects of electric polarization on the nuclear and electronic degrees of freedom. The basis-set construction procedure is validated by comparing with virtually exact grid-based simulations for two one-dimensional model systems: laser-driven electron dynamics in a soft attractive Coulomb potential and nuclear rovibrational dynamics in a Morse potential.


title: Observation of Chiral State Transfer Without Encircling an Exceptional Point

abstract: The adiabatic theorem, a corollary of the Schr\"odinger equation, manifests itself in a profoundly different way in non-Hermitian arrangements, resulting in counterintuitive state transfer schemes that have no counterpart in closed quantum systems. In particular, the dynamical encirclement of exceptional points (EPs) in parameter space has been shown to lead to a chiral phase accumulation, non-adiabatic jumps, and topological mode conversion [1- 8]. Recent theoretical studies, however, have shown that contrary to previously established demonstrations, this behavior is not strictly a result of winding around a non-Hermitian degeneracy [9]. Instead, it appears to be mostly attributed to the non-trivial landscape of the Riemann surfaces, sometimes because of the presence of an exceptional point in the vicinity [9- 11]. In an effort to bring this counterintuitive aspect of non-Hermitian systems into light and confirm this hypothesis, we provide here the first set of experiments to directly observe the field evolution and chiral state conversion in an EP-excluding cycle in a slowly varying non- Hermitian system. To do so, a versatile yet unique fiber-based photonic emulator is realized that utilizes the polarization degrees of freedom in a quasi-common path single-ring arrangement. Our observations may open up new avenues for light manipulation and state conversion, while providing a foundation for understanding the intricacies of the adiabatic theorem in non-Hermitian systems.


title: A Survey in Mathematical Language Processing

abstract: Informal mathematical text underpins real-world quantitative reasoning and communication. Developing sophisticated methods of retrieval and abstraction from this dual modality is crucial in the pursuit of the vision of automating discovery in quantitative science and mathematics. We track the development of informal mathematical language processing approaches across five strategic sub-areas in recent years, highlighting the prevailing successful methodological elements along with existing limitations.


title: Biased random walk on random networks in presence of stochastic resetting: Exact results

abstract: We consider biased random walks on random networks constituted by a random comb comprising a backbone with quenched-disordered random-length branches. The backbone and the branches run in the direction of the bias. For the bare model as also when the model is subject to stochastic resetting, whereby the walkers on the branches reset with a constant rate to the respective backbone sites, we obtain exact stationary-state static and dynamic properties for a given disorder realization of branch lengths sampled following an arbitrary distribution. We derive a criterion to observe in the stationary state a non-zero drift velocity along the backbone. For the bare model, we discuss the occurrence of a drift velocity that is non-monotonic as a function of the bias, becoming zero beyond a threshold bias because of walkers trapped at very long branches. Further, we show that resetting allows the system to escape trapping, resulting in a drift velocity that is finite at any bias.


title: Can Type III Radio Storms be a Source of Seed Particles to Shock Acceleration?

abstract: An intense type III radio storm has been disrupted by a fast halo coronal mass ejection (CME) on 2000 April 4. The CME is also associated with a large solar energetic particle (SEP) event. The storm recovers after about10 hrs. We identified another CME that occurs on 2003 November 11 with similar CME properties but there is no type III storm in progress. The 2003 November 11 CME is also not associated with an SEP event above the background (less than 2 pfu), whereas the one with type III storm has an intense SEP event (about 56 pfu). One of the factors affecting the intensity of SEP events is the presence of seed particles that are accelerated by CME-driven shocks. We suggest that the type III storm source, which accelerates electrons to produce the storm, also accelerates ions that serve as seed particles to the CME shock.


title: Few-Shot Adaptation of Pre-Trained Networks for Domain Shift

abstract: Deep networks are prone to performance degradation when there is a domain shift between the source (training) data and target (test) data. Recent test-time adaptation methods update batch normalization layers of pre-trained source models deployed in new target environments with streaming data to mitigate such performance degradation. Although such methods can adapt on-the-fly without first collecting a large target domain dataset, their performance is dependent on streaming conditions such as mini-batch size and class-distribution, which can be unpredictable in practice. In this work, we propose a framework for few-shot domain adaptation to address the practical challenges of data-efficient adaptation. Specifically, we propose a constrained optimization of feature normalization statistics in pre-trained source models supervised by a small support set from the target domain. Our method is easy to implement and improves source model performance with as few as one sample per class for classification tasks. Extensive experiments on 5 cross-domain classification and 4 semantic segmentation datasets show that our method achieves more accurate and reliable performance than test-time adaptation, while not being constrained by streaming conditions.


title: Non-convex online learning via algorithmic equivalence

abstract: We study an algorithmic equivalence technique between non-convex gradient descent and convex mirror descent. We start by looking at a harder problem of regret minimization in online non-convex optimization. We show that under certain geometric and smoothness conditions, online gradient descent applied to non-convex functions is an approximation of online mirror descent applied to convex functions under reparameterization. In continuous time, the gradient flow with this reparameterization was shown to be exactly equivalent to continuous-time mirror descent by Amid and Warmuth 2020, but theory for the analogous discrete time algorithms is left as an open problem. We prove an $O(T^{\frac{2}{3}})$ regret bound for non-convex online gradient descent in this setting, answering this open problem. Our analysis is based on a new and simple algorithmic equivalence method.