title: Integration-free Learning of Flow Maps

abstract: We present a method for learning neural representations of flow maps from time-varying vector field data. The flow map is pervasive within the area of flow visualization, as it is foundational to numerous visualization techniques, e.g. integral curve computation for pathlines or streaklines, as well as computing separation/attraction structures within the flow field. Yet bottlenecks in flow map computation, namely the numerical integration of vector fields, can easily inhibit their use within interactive visualization settings. In response, in our work we seek neural representations of flow maps that are efficient to evaluate, while remaining scalable to optimize, both in computation cost and data requirements. A key aspect of our approach is that we can frame the process of representation learning not in optimizing for samples of the flow map, but rather, a self-consistency criterion on flow map derivatives that eliminates the need for flow map samples, and thus numerical integration, altogether. Central to realizing this is a novel neural network design for flow maps, coupled with an optimization scheme, wherein our representation only requires the time-varying vector field for learning, encoded as instantaneous velocity. We show the benefits of our method over prior works in terms of accuracy and efficiency across a range of 2D and 3D time-varying vector fields, while showing how our neural representation of flow maps can benefit unsteady flow visualization techniques such as streaklines, and the finite-time Lyapunov exponent.


title: An Efficient MCMC Approach to Energy Function Optimization in Protein Structure Prediction

abstract: Protein structure prediction is a critical problem linked to drug design, mutation detection, and protein synthesis, among other applications. To this end, evolutionary data has been used to build contact maps which are traditionally minimized as energy functions via gradient descent based schemes like the L-BFGS algorithm. In this paper we present what we call the Alternating Metropolis-Hastings (AMH) algorithm, which (a) significantly improves the performance of traditional MCMC methods, (b) is inherently parallelizable allowing significant hardware acceleration using GPU, and (c) can be integrated with the L-BFGS algorithm to improve its performance. The algorithm shows an improvement in energy of found structures of 8.17% to 61.04% (average 38.9%) over traditional MH and 0.53% to 17.75% (average 8.9%) over traditional MH with intermittent noisy restarts, tested across 9 proteins from recent CASP competitions. We go on to map the Alternating MH algorithm to a GPGPU which improves sampling rate by 277x and improves simulation time to a low energy protein prediction by 7.5x to 26.5x over CPU. We show that our approach can be incorporated into state-of-the-art protein prediction pipelines by applying it to both trRosetta2's energy function and the distogram component of Alphafold1's energy function. Finally, we note that specially designed probabilistic computers (or p-computers) can provide even better performance than GPUs for MCMC algorithms like the one discussed here.


title: Side-Constrained Dynamic Traffic Equilibria

abstract: We study dynamic traffic assignment with side-constraints. We first give a counter-example to a key result from the literature regarding the existence of dynamic equilibria for volume-constrained traffic models in the classical edge-delay model. Our counter-example shows that the feasible flow space need not be convex and it further reveals that classical infinite dimensional variational inequalities are not suited for the definition of side-constrained dynamic equilibria. We propose a new framework for side-constrained dynamic equilibria based on the concept of feasible $\varepsilon$-deviations of flow particles in space and time. Under natural assumptions, we characterize the resulting equilibria by means of quasi-variational and variational inequalities, respectively. Finally, we establish first existence results for side-constrained dynamic equilibria for the non-convex setting of volume-constraints.


title: Evaluating Digital Tools for Sustainable Agriculture using Causal Inference

abstract: In contrast to the rapid digitalization of several industries, agriculture suffers from low adoption of climate-smart farming tools. Even though AI-driven digital agriculture can offer high-performing predictive functionalities, it lacks tangible quantitative evidence on its benefits to the farmers. Field experiments can derive such evidence, but are often costly and time consuming. To this end, we propose an observational causal inference framework for the empirical evaluation of the impact of digital tools on target farm performance indicators. This way, we can increase farmers' trust by enhancing the transparency of the digital agriculture market, and in turn accelerate the adoption of technologies that aim to increase productivity and secure a sustainable and resilient agriculture against a changing climate. As a case study, we perform an empirical evaluation of a recommendation system for optimal cotton sowing, which was used by a farmers' cooperative during the growing season of 2021. We leverage agricultural knowledge to develop a causal graph of the farm system, we use the back-door criterion to identify the impact of recommendations on the yield and subsequently estimate it using several methods on observational data. The results show that a field sown according to our recommendations enjoyed a significant increase in yield (12% to 17%).


title: Design and numerical investigation of cadmium telluride (CdTe) and iron silicide (FeSi2) based double absorber solar cells to enhance power conversion efficiency

abstract: Inorganic CdTe and FeSi2-based solar cells have recently drawn a lot of attention because they offer superior thermal stability and good optoelectronic properties compared to conventional solar cells. In this work, a unique alternative technique is presented by using FeSi2 as a secondary absorber layer and In2S3 as the window layer for improving photovoltaic (PV) performance parameters. Simulating on SCAPS-1D, the proposed double-absorber (Cu/FTO/In2S3/CdTe/FeSi2/Ni) structure is thoroughly examined and analyzed. The window layer thickness, absorber layer thickness, acceptor density (NA), donor density (ND), defect density (Nt), series resistance (RS), and shunt resistance (Rsh) were simulated in detail for optimization of the above configuration to improve PV performance. According to this study, 0.5 um is the optimized thickness for both the CdTe and FeSi2 absorber layers in order to maximize efficiency. Here, the value of the optimum window layer thickness is 50 nm. For using CdTe as a single absorber, the efficiency is achieved by 13.26%. But for using CdTe and FeSi2 as a dual absorber, the efficiency is enhanced and the obtaining value is 27.35%. The other parameters are also improved and the obtaining values for fill factor (FF) are 83.68%, open-circuit voltage (Voc) is 0.6566V, and short circuit current density (JSc) is 49.78 mA/cm2. Furthermore, the proposed model performs good at 300 K operating temperature. The addition of the FeSi2 layer to the cell structure has resulted in a significant quantum efficiency (QE) enhancement because of the rise in solar spectrum absorption at longer wavelengths. The findings of this work offer a promising approach for producing high-performance and reasonably priced CdTe-based solar cells.


title: Webs, Nijenhuis operators, and heavenly PDEs

abstract: In 1989 Mason and Newman proved that there is a 1-1-correspondence between self-dual metrics satisfying Einstein vacuum equation (in complex case or in neutral signature) and pairs of commuting parameter depending vector fields $X_1(\lambda),X_2(\lambda)$ which are divergence free with respect to some volume form. Earlier (in 1975) Pleba\'nski showed instances of such vector fields depending of one function of four variables satisfying the so-called I or II Pleba\'nski heavenly PDEs. Other PDEs leading to Mason--Newman vector fields are also known in the literature: Husain--Park (1992--94), Schief (1996). In this paper we discuss these matters in the context of the web theory, i.e. theory of collections of foliations on a manifold, understood from the point of view of Nijenhuis operators. In particular we show how to apply this theory for constructing new ``heavenly'' PDEs based on different normal forms of Nijenhuis operators in 4D, which are integrable similarly to their predecessors. Relation with the Hirota dispersionless systems of PDEs and the corresponding Veronese webs, which was recently observed by Konopelchenko--Schief--Szereszewski, is established in all the cases. We also discuss some higher dimensional generalizations of the ``heavelny'' PDEs and the existence of related vacuum Einstein metrics in 4D-case.


title: Gauge Equivariant Neural Networks for 2+1D U(1) Gauge Theory Simulations in Hamiltonian Formulation

abstract: Gauge Theory plays a crucial role in many areas in science, including high energy physics, condensed matter physics and quantum information science. In quantum simulations of lattice gauge theory, an important step is to construct a wave function that obeys gauge symmetry. In this paper, we have developed gauge equivariant neural network wave function techniques for simulating continuous-variable quantum lattice gauge theories in the Hamiltonian formulation. We have applied the gauge equivariant neural network approach to find the ground state of 2+1-dimensional lattice gauge theory with U(1) gauge group using variational Monte Carlo. We have benchmarked our approach against the state-of-the-art complex Gaussian wave functions, demonstrating improved performance in the strong coupling regime and comparable results in the weak coupling regime.

categories: hep-lat cond-mat.dis-nn cond-mat.str-el cs.LG quant-ph


title: KGTN-ens: Few-Shot Image Classification with Knowledge Graph Ensembles

abstract: We propose KGTN-ens, a framework extending the recent Knowledge Graph Transfer Network (KGTN) in order to incorporate multiple knowledge graph embeddings at a small cost. We evaluate it with different combinations of embeddings in a few-shot image classification task. We also construct a new knowledge source - Wikidata embeddings - and evaluate it with KGTN and KGTN-ens. Our approach outperforms KGTN in terms of the top-5 accuracy on the ImageNet-FS dataset for the majority of tested settings.


title: A Review of Applications, Prospects, and Challenges of Proton-Conducting Zirconates in Electrochemical Hydrogen Devices

abstract: In the future, when fossil fuels are exhausted, alternative energy sources will be essential for everyday needs. Hydrogen-based energy can play a vital role in this aspect. This energy is green, clean, and renewable. Elec-trochemical hydrogen devices have been used extensively in nuclear power plants to manage hydrogen-based renewable fuel. Doped zirconate materials are commonly used as an electrolyte in these electrochemical devices. These materials have excellent physical stability and high proton transport numbers, which make them suitable for multiple applications. Doping enhances the physical and electronic properties of zirconate materials and makes them ideal for practical applications. This review highlights the applications of zirconate-based pro-ton-conducting materials in electrochemical cells, particularly in tritium monitors, tritium recovery, hydrogen sensors, and hydrogen pump systems. The central section of this review summarizes recent investigations and provides a comprehensive insight into the various doping schemes, experimental setup, instrumentation, op-timum operating conditions, morphology, composition, and performance of zirconate electrolyte materials. In addition, different challenges that are hindering zirconate materials from achieving their full potential in elec-trochemical hydrogen devices are discussed. Finally, this paper lays out a few pathways for aspirants who wish to undertake research in this field.


title: Quality over Quantity: Optimizing pulsar timing array analysis for stochastic and continuous gravitational wave signals

abstract: The search for gravitational waves using Pulsar Timing Arrays (PTAs) is a computationally expensive complex analysis that involves source-specific noise studies. As more pulsars are added to the arrays, this stage of PTA analysis will become increasingly challenging. Therefore, optimizing the number of included pulsars is crucial to reduce the computational burden of data analysis. Here, we present a suite of methods to rank pulsars for use within the scope of PTA analysis. First, we use the maximization of the signal-to-noise ratio as a proxy to select pulsars. With this method, we target the detection of stochastic and continuous gravitational wave signals. Next, we present a ranking that minimizes the coupling between spatial correlation signatures, namely monopolar, dipolar, and Hellings & Downs correlations. Finally, we also explore how to combine these two methods. We test these approaches against mock data using frequentist and Bayesian hypothesis testing. For equal-noise pulsars, we find that an optimal selection leads to an increase in the log-Bayes factor two times steeper than a random selection for the hypothesis test of a gravitational wave background versus a common uncorrelated red noise process. For the same test but for a realistic EPTA dataset, a subset of 25 pulsars selected out of 40 can provide a log-likelihood ratio that is $89\%$ of the total, implying that an optimally selected subset of pulsars can yield results comparable to those obtained from the whole array. We expect these selection methods to play a crucial role in future PTA data combinations.


title: "Seeing Sound": Audio Classification with the Wigner-Wille Distribution and Convolutional Neural Networks

abstract: With big data becoming increasingly available, IoT hardware becoming widely adopted, and AI capabilities becoming more powerful, organizations are continuously investing in sensing. Data coming from sensor networks are currently combined with sensor fusion and AI algorithms to drive innovation in fields such as self-driving cars. Data from these sensors can be utilized in numerous use cases, including alerts in safety systems of urban settings, for events such as gun shots and explosions. Moreover, diverse types of sensors, such as sound sensors, can be utilized in low-light conditions or at locations where a camera is not available. This paper investigates the potential of the utilization of sound-sensor data in an urban context. Technically, we propose a novel approach of classifying sound data using the Wigner-Ville distribution and Convolutional Neural Networks. In this paper, we report on the performance of the approach on open-source datasets. The concept and work presented is based on my doctoral thesis, which was performed as part of the Engineering Doctorate program in Data Science at the University of Eindhoven, in collaboration with the Dutch National Police. Additional work on real-world datasets was performed during the thesis, which are not presented here due to confidentiality.


title: Integrated correlators from integrability: Maldacena-Wilson line in $\mathcal{N}=4$ SYM

abstract: We present a systematic method for the derivation of a relation which connects the correlation function of operators on the straight Maldacena-Wilson line with the integrability data for the cusp anomalous dimension. As we show, the derivation requires very careful treatment of the UV divergences. Our method opens a way to derive infinitely many constraints on integrals of multi-point correlation functions, relating them with the integrability data for the generalised cusp anomalous dimension governed by the Quantum Spectral Curve. Such constraints have been shown recently to be very powerful in combination with the numerical conformal bootstrap, leading to very narrow non-perturbative bounds on conformal data beyond the spectrum.


title: A route for the top-down fabrication of ordered ultrathin GaN nanowires

abstract: Ultrathin GaN nanowires (NWs) are attractive to maximize surface effects and as building block in high-frequency transistors. Here, we introduce a facile route for the top-down fabrication of ordered arrays of GaN NWs with aspect ratios exceeding $10$ and diameters below $20\,$nm. Highly uniform thin GaN NWs are first obtained by using electron beam lithography to pattern a Ni/SiN$_x$ hard mask, followed by dry etching and wet etching in hot KOH. The SiN$_x$ is found to work as an etch stop during wet etching in hot KOH. Arrays with NW diameters down to $(33 \pm5)\,$nm can be achieved with a yield exceeding $99.9\,\%$. Further reduction of the NW diameter down to $5\,$nm is obtained by applying digital etching which consists in plasma oxidation followed by wet etching in hot KOH. The NW radial etching depth is tuned by varying the RF power during plasma oxidation. NW breaking or bundling is observed for diameters below $\approx 20\,$nm, an effect that is associated to capillary forces acting on the NWs during sample drying in air. This effect can be principally mitigated using critical point dryers. Interestingly, this mechanical instability of the NWs is found to occur at much smaller aspect ratios than what is predicted for models dealing with macroscopic elastic rods. Explicit calculations of buckling states show an improved agreement when considering an inclined water surface, as can be expected if water assembles into droplets. The proposed fabrication route can be principally applied to any GaN/SiN$_{x}$ nanostructures and allows regrowth after removal of the SiN$_{x}$ mask.


title: On The Complete Description Of Entangled Systems Part II: The (Meta)Physical Status And Semantic Aspects

abstract: We review some semantical aspects of probability bounds from Boole's "conditions on possible experience" violated by quantum mechanics. We also speculate about emerging space-time categories as an epiphenomenon of quantization and the resulting breakdown of relativity theory by non-unitary and non-linear processes.


title: On Vertex Bisection Width of Random $d$-Regular Graphs

abstract: Vertex bisection is a graph partitioning problem in which the aim is to find a partition into two equal parts that minimizes the number of vertices in one partition set that have a neighbor in the other set. We are interested in giving upper bounds on the vertex bisection width of random $d$-regular graphs for constant values of $d$. Our approach is based on analyzing a greedy algorithm by using the Differential Equations Method. In this way, we obtain the first known upper bounds for the vertex bisection width in random regular graphs. The results are compared with experimental ones and with lower bounds obtained by Kolesnik and Wormald, (Lower Bounds for the Isoperimetric Numbers of Random Regular Graphs, SIAM J. on Disc. Math. 28(1), 553-575, 2014).


title: Hyperheavenly spaces and their application in Walker and para-K\"ahler geometries: part II

abstract: 4-dimensional spaces equipped with congruences of null strings are considered. It is assumed that a space admits a congruence of expanding self-dual null strings and its self-dual part of the Weyl tensor is algebraically degenerate. Different Petrov-Penrose types of such spaces are analyzed. A special attention is paid to para-K\"ahler Einstein spaces. All para-K\"ahler Einstein metrics of spaces with algebraically degenerate self-dual Weyl spinor are found in all the generality.


title: Recent Developments in Structure-Based Virtual Screening Approaches

abstract: Drug development is a wide scientific field that faces many challenges these days. Among them are extremely high development costs, long development times, as well as a low number of new drugs that are approved each year. To solve these problems, new and innovate technologies are needed that make the drug discovery process of small-molecules more time and cost-efficient, and which allow to target previously undruggable target classes such as protein-protein interactions. Structure-based virtual screenings have become a leading contender in this context. In this review, we give an introduction to the foundations of structure-based virtual screenings, and survey their progress in the past few years. We outline key principles, recent success stories, new methods, available software, and promising future research directions. Virtual screenings have an enormous potential for the development of new small-molecule drugs, and are already starting to transform early-stage drug discovery.

categories: q-bio.BM cs.LG physics.bio-ph physics.chem-ph q-bio.QM


title: Robust Decentralized Secondary Control Scheme for Inverter-based Power Networks

abstract: Inverter-dominated microgrids are quickly becoming a key building block of future power systems. They rely on centralized controllers that can provide reliability and resiliency in extreme events. Nonetheless, communication failures due to cyber-physical attacks or natural disasters can make autonomous operation of islanded microgrids challenging. This paper examines a unified decentralized secondary control scheme that is robust to inverter clock synchronization errors and can be seamlessly applied to grid-following or grid-forming control architectures. The proposed scheme overcomes the well-known stability problem that arises from parallel operation of local integral controllers. Theoretical guarantees for stability are provided along with criteria to appropriately tune the secondary control gains to achieve good frequency regulation performance while ensuring fair power sharing. The efficacy of our approach in eliminating the steady-state frequency deviation is demonstrated through simulations on a 5-bus microgrid with four grid-forming inverters.


title: A Construction of Rational Seifert Surface in Lens Space

abstract: In this note, I give a method to construct rational Seifert surface for those smooth or piece-wise linear oriented knots in Lens space. I assume that the oriented knot has a regular projection on Heegaard torus and then construct rational Seifert surface on twist toroidal diagram.


title: Towards real-time 6D pose estimation of objects in single-view cone-beam X-ray

abstract: Deep learning-based pose estimation algorithms can successfully estimate the pose of objects in an image, especially in the field of color images. 6D Object pose estimation based on deep learning models for X-ray images often use custom architectures that employ extensive CAD models and simulated data for training purposes. Recent RGB-based methods opt to solve pose estimation problems using small datasets, making them more attractive for the X-ray domain where medical data is scarcely available. We refine an existing RGB-based model (SingleShotPose) to estimate the 6D pose of a marked cube from grayscale X-ray images by creating a generic solution trained on only real X-ray data and adjusted for X-ray acquisition geometry. The model regresses 2D control points and calculates the pose through 2D/3D correspondences using Perspective-n-Point(PnP), allowing a single trained model to be used across all supporting cone-beam-based X-ray geometries. Since modern X-ray systems continuously adjust acquisition parameters during a procedure, it is essential for such a pose estimation network to consider these parameters in order to be deployed successfully and find a real use case. With a 5-cm/5-degree accuracy of 93% and an average 3D rotation error of 2.2 degrees, the results of the proposed approach are comparable with state-of-the-art alternatives, while requiring significantly less real training examples and being applicable in real-time applications.


title: A Comparison of Encoding Techniques for an Analog Quantum Emulation Device

abstract: Quantum computers can outperform classical computers in certain tasks. However, there are still many challenges to the current quantum computers such as decoherence and fault tolerance, and other drawbacks such as portability and accessibility. In this study, we circumvent these issues by realizing an analog quantum emulation device (AQED) where each qubit state is represented by a unique analog signal. It is possible to do this because previously it was shown that Hermitian operations on a Hilbert space are not unique to quantum systems and can also be applied to a basis of complex signals that form a Hilbert space. Orthogonality of the complex signal basis can be maintained by separating the signals into the frequency domain or the spatial domain. We study both these approaches and present a comparison. We finally realize the entire device on a UMC 180nm processing node and demonstrate the computational advantage of an AQED by emulating Grover's search algorithm (GSA) and Quantum Fourier Transform (QFT). We also present the equivalent quantum volume achieved by this device.


title: Two-Qutrit entanglement: 56-years old algorithm challenges machine learning

abstract: Classifying states as entangled or separable is a highly challenging task, while it is also one of the foundations of quantum information processing theory. This task is higly nontrivial even for relatively simple cases, such as two-qutrit Bell-diagonal states, i.e., mixture of nine mutually orthogonal maximally entangled states. In this article we apply the Gilbert algorithm to revise previously obtained results for this class. In particular we use ``cartography of entanglement'' to argue that most states left in [Hiesmayr, B. C. {\em Scientific Reports} {\bf 11}, 19739 (2021)] as unknown to be entangled or separable are most likely indeed separable, or very weakly entangled. The presented technique can find endless applications in more general cases.


title: Beyond time-homogeneity for continuous-time multistate Markov models

abstract: Multistate Markov models are a canonical parametric approach for data modeling of observed or latent stochastic processes supported on a finite state space. Continuous-time Markov processes describe data that are observed irregularly over time, as is often the case in longitudinal medical data, for example. Assuming that a continuous-time Markov process is time-homogeneous, a closed-form likelihood function can be derived from the Kolmogorov forward equations -- a system of differential equations with a well-known matrix-exponential solution. Unfortunately, however, the forward equations do not admit an analytical solution for continuous-time, time-inhomogeneous Markov processes, and so researchers and practitioners often make the simplifying assumption that the process is piecewise time-homogeneous. In this paper, we provide intuitions and illustrations of the potential biases for parameter estimation that may ensue in the more realistic scenario that the piecewise-homogeneous assumption is violated, and we advocate for a solution for likelihood computation in a truly time-inhomogeneous fashion. Particular focus is afforded to the context of multistate Markov models that allow for state label misclassifications, which applies more broadly to hidden Markov models (HMMs), and Bayesian computations bypass the necessity for computationally demanding numerical gradient approximations for obtaining maximum likelihood estimates (MLEs). Supplemental materials are available online.


title: Hierarchies of Hofstadter butterflies in 2D covalent-organic frameworks

abstract: The Hofstadter butterfly is one of the first and most fascinating examples of the fractal and self-similar quantum nature of free electrons in a lattice pierced by a perpendicular magnetic field. However, the direct experimental verification of this effect on single-layer materials is still missing as very strong and inaccessible magnetic fields are necessary. For this reason, its indirect experimental verification has only been realized in artificial periodic 2D systems, like moir\'e lattices. The only recently synthesized 2D covalent-organic frameworks might circumvent this limitation: Due to their large pore structures, magnetic fields needed to detect most features of the Hofstadter butterfly are indeed accessible with today's technology. This work opens the door to making this exotic and theoretical issue from the 70s measurable and might solve the quest for the experimental verification of the Hofstadter butterfly in single-layer materials. Moreover, the intrinsic hierarchy of different pore sizes in a 2D covalent-organic framework adds additional complexity and beauty to the original butterflies and leads to a directly accessible playground for new physical observations.


title: Unlearning Graph Classifiers with Limited Data Resources

abstract: As the demand for user privacy grows, controlled data removal (machine unlearning) is becoming an important feature of machine learning models for data-sensitive Web applications such as social networks and recommender systems. Nevertheless, at this point it is still largely unknown how to perform efficient machine unlearning of graph neural networks (GNNs); this is especially the case when the number of training samples is small, in which case unlearning can seriously compromise the performance of the model. To address this issue, we initiate the study of unlearning the Graph Scattering Transform (GST), a mathematical framework that is efficient, provably stable under feature or graph topology perturbations, and offers graph classification performance comparable to that of GNNs. Our main contribution is the first known nonlinear approximate graph unlearning method based on GSTs. Our second contribution is a theoretical analysis of the computational complexity of the proposed unlearning mechanism, which is hard to replicate for deep neural networks. Our third contribution are extensive simulation results which show that, compared to complete retraining of GNNs after each removal request, the new GST-based approach offers, on average, a 10.38x speed-up and leads to a 2.6% increase in test accuracy during unlearning of 90 out of 100 training graphs from the IMDB dataset (10% training ratio). Our implementation is available online at https://doi.org/10.5281/zenodo.7613150.


title: Deliberation Networks and How to Train Them

abstract: Deliberation networks are a family of sequence-to-sequence models, which have achieved state-of-the-art performance in a wide range of tasks such as machine translation and speech synthesis. A deliberation network consists of multiple standard sequence-to-sequence models, each one conditioned on the initial input and the output of the previous model. During training, there are several key questions: whether to apply Monte Carlo approximation to the gradients or the loss, whether to train the standard models jointly or separately, whether to run an intermediate model in teacher forcing or free running mode, whether to apply task-specific techniques. Previous work on deliberation networks typically explores one or two training options for a specific task. This work introduces a unifying framework, covering various training options, and addresses the above questions. In general, it is simpler to approximate the gradients. When parallel training is essential, separate training should be adopted. Regardless of the task, the intermediate model should be in free running mode. For tasks where the output is continuous, a guided attention loss can be used to prevent degradation into a standard model.


title: Projection error-based guaranteed L2 error bounds for finite element approximations of Laplace eigenfunctions

abstract: For conforming finite element approximations of the Laplacian eigenfunctions, a fully computable guaranteed error bound in the $L^2$ norm sense is proposed. The bound is based on the a priori error estimate for the Galerkin projection of the conforming finite element method, and has an optimal speed of convergence for the eigenfunctions with the worst regularity. The resulting error estimate bounds the distance of spaces of exact and approximate eigenfunctions and, hence, is robust even in the case of multiple and tightly clustered eigenvalues. The accuracy of the proposed bound is illustrated by numerical examples. The demonstration code is available at https://ganjin.online/xfliu/EigenfunctionEstimation4FEM .


title: B-SMART: A Reference Architecture for Artificially Intelligent Autonomic Smart Buildings

abstract: The pervasive application of artificial intelligence and machine learning algorithms is transforming many industries and aspects of the human experience. One very important industry trend is the move to convert existing human dwellings to smart buildings, and to create new smart buildings. Smart buildings aim to mitigate climate change by reducing energy consumption and associated carbon emissions. To accomplish this, they leverage artificial intelligence, big data, and machine learning algorithms to learn and optimize system performance. These fields of research are currently very rapidly evolving and advancing, but there has been very little guidance to help engineers and architects working on smart buildings apply artificial intelligence algorithms and technologies in a systematic and effective manner. In this paper we present B-SMART: the first reference architecture for autonomic smart buildings. B-SMART facilitates the application of artificial intelligence techniques and technologies to smart buildings by decoupling conceptually distinct layers of functionality and organizing them into an autonomic control loop. We also present a case study illustrating how B-SMART can be applied to accelerate the introduction of artificial intelligence into an existing smart building.


title: On Localization of Tight Closure in Line-$S_4$ Quartics

abstract: Building on work of Brenner and Monsky from 2010 and on a Hilbert-Kunz calculation of Monsky from 1998, we exhibit a novel example of a hypersurface over $\overline{\mathbb{F}_2}$ in which tight closure does not commute with localization. Our methods involve a surprising tiling argument using Sierpi\'nski triangles, as well as an inspection of a certain dynamical system in characteristic two.


title: Stressing Dynamic Loss Models

abstract: Stress testing, and in particular, reverse stress testing, is a prominent exercise in risk management practice. Reverse stress testing, in contrast to (forward) stress testing, aims to find an alternative but plausible model such that under that alternative model, specific adverse stresses (i.e. constraints) are satisfied. Here, we propose a reverse stress testing framework for dynamic models. Specifically, we consider a compound Poisson process over a finite time horizon and stresses composed of expected values of functions applied to the process at the terminal time. We then define the stressed model as the probability measure under which the process satisfies the constraints and which minimizes the Kullback-Leibler divergence to the reference compound Poisson model. We solve this optimization problem, prove existence and uniqueness of the stressed probability measure, and provide a characterization of the Radon-Nikodym derivative from the reference model to the stressed model. We find that under the stressed measure, the intensity and the severity distribution of the process depend on time and state. We illustrate the dynamic stress testing by considering stresses on VaR and both VaR and CVaR jointly and provide illustrations of how the stochastic process is altered under these stresses. We generalize the framework to multivariate compound Poisson processes and stresses at times other than the terminal time. We illustrate the applicability of our framework by considering ``what if'' scenarios, where we answer the question: What is the severity of a stress on a portfolio component at an earlier time such that the aggregate portfolio exceeds a risk threshold at the terminal time? Furthermore, for general constraints, we propose an algorithm to simulate sample paths under the stressed measure, thus allowing to compare the effects of stresses on the dynamics of the process.


title: Longitudinal-Twist Wave Converter based on Chiral Metamaterials

abstract: Advances in material architectures have enabled endowing materials with exotic attributes not commonly available in the conventional realm of mechanical engineering. Twisting, a mechanism whereby metamaterials are used to transform static axial load into twist motion, is of particular interest to this study. Herein, computations based on the finite element method, corroborated by an analytical approach derived from applying Lagrange's equations to a monoatomic spring-mass system, are employed to explore the longitudinal-twist (L-T) conversion exhibited by a chiral tetragonal-beam metamaterial. Firstly, we perform an eigenvalue analysis taking into account the polarization states to highlight the potential contribution of the longitudinal mode in the L-T conversion. We contrast the twisting behavior of the chiral cell with that of other homogeneous medium, octagonal-tube, and non-chiral cells. Moreover, we demonstrate the influence of the cell's chirality on the L-T conversion using both time-domain and frequency-domain studies. The findings indicate that at least a portion of the longitudinally propagating wave is transformed into twist throughout a broad frequency range and even quasi-totally converted at distinct frequencies.


title: Cementron: Machine Learning the Constituent Phases in Cement Clinker from Optical Images

abstract: Cement is the most used construction material. The performance of cement hydrate depends on the constituent phases, viz. alite, belite, aluminate, and ferrites present in the cement clinker, both qualitatively and quantitatively. Traditionally, clinker phases are analyzed from optical images relying on a domain expert and simple image processing techniques. However, the non-uniformity of the images, variations in the geometry and size of the phases, and variabilities in the experimental approaches and imaging methods make it challenging to obtain the phases. Here, we present a machine learning (ML) approach to detect clinker microstructure phases automatically. To this extent, we create the first annotated dataset of cement clinker by segmenting alite and belite particles. Further, we use supervised ML methods to train models for identifying alite and belite regions. Specifically, we finetune the image detection and segmentation model Detectron-2 on the cement microstructure to develop a model for detecting the cement phases, namely, Cementron. We demonstrate that Cementron, trained only on literature data, works remarkably well on new images obtained from our experiments, demonstrating its generalizability. We make Cementron available for public use.


title: Fano resonances in all-dielectric electromagnetic metasurfaces

abstract: We are interested in the resonant electromagnetic (EM) scattering by all-dielectric metasurfaces made of a two-dimensional lattice of nanoparticles with high refractive indices. In [Ammari et al., Trans. AMS, 376 (2023), 39-90], it has been shown that a single high-index nanoresonator can couple with the incident wave and exhibit a strong magnetic dipole response. Recent physics experiments reveal that when the particles are arranged in certain periodic configurations, they may have different anomalous scattering effects in the macroscopic scale, compared to the single-particle case. In this work, we shall develop a rigorous mathematical framework for analyzing the resonant behaviors of all-dielectric metasurfaces. We start with the characterization of subwavelength scattering resonances in such a periodic setting and their asymptotic expansions in terms of the refractive index of the nanoparticles. Then we show that real resonances always exist below the essential spectrum of the periodic Maxwell operator and that they are the simple poles of the scattering resolvent with the exponentially decaying resonant modes. By using group theory, we discuss the implications of the symmetry of the metasurface on the subwavelength band functions and their associated eigenfunctions. For the symmetric metasurfaces with the normal incidence, we use a variational method to show the existence of embedded eigenvalues (i.e., real subwavelength resonances embedded in the continuous radiation spectrum). Furthermore, we break the configuration symmetry either by introducing a small deformation of particles or by slightly deviating from the normal incidence and prove that Fano-type reflection and transmission anomalies can arise in both of these scenarios.


title: DeepSec: Deciding Equivalence Properties for Security Protocols -- Improved theory and practice

abstract: Automated verification has become an essential part in the security evaluation of cryptographic protocols. In this context privacy-type properties are often modelled by indistinguishability statements, expressed as behavioural equivalences in a process calculus. In this paper we contribute both to the theory and practice of this verification problem. We establish new complexity results for static equivalence, trace equivalence and labelled bisimilarity and provide a decision procedure for these equivalences in the case of a bounded number of protocol sessions. Our procedure is the first to decide trace equivalence and labelled bisimilarity exactly for a large variety of cryptographic primitives -- those that can be represented by a subterm convergent destructor rewrite system. We also implemented the procedure in a new tool, DeepSec. We showed through extensive experiments that it is significantly more efficient than other similar tools, while at the same time raises the scope of the protocols that can be analysed.


title: Rotation-equivariant Graph Neural Networks for Learning Glassy Liquids Representations

abstract: The difficult problem of relating the static structure of glassy liquids and their dynamics is a good target for Machine Learning, an approach which excels at finding complex patterns hidden in data. Indeed, this approach is currently a hot topic in the glassy liquids community, where the state of the art consists in Graph Neural Networks (GNNs), which have great expressive power but are heavy models and lack interpretability. Inspired by recent advances in the field of Machine Learning group-equivariant representations, we build a GNN that learns a robust representation of the glass' static structure by constraining it to preserve the roto-translation (SE(3)) equivariance. We show that this constraint significantly improves the predictive power at comparable or reduced number of parameters but most importantly, improves the ability to generalize to unseen temperatures. While remaining a Deep network, our model has improved interpretability compared to other GNNs, as the action of our basic convolution layer relates directly to well-known rotation-invariant expert features. Through transfer-learning experiments displaying unprecedented performance, we demonstrate that our network learns a robust representation, which allows us to push forward the idea of a learned structural order parameter for glasses.


title: Coulhon Saloff-Coste isoperimetric inequalities for finitely generated groups

abstract: We prove an inequality, valid on any finitely generated group with a fixed finite symmetric generating set, involving the growth of successive balls, and the average length of an element in a ball. It generalizes recent improvements of the Coulhon Saloff-Coste inequality. We reformulate the inequality in terms of the F{\o}lner function; in the case the finitely generated group is amenable with exponential growth, this allows us to express the best possible (outer) constant in the Coulhon Saloff-Coste isoperimetric inequality with the help of a formula involving the growth rate and the asymptotic behavior of the F{\o}lner function.


title: The chain covering number of a poset with no infinite antichains

abstract: The chain covering number $\Cov(P)$ of a poset $P$ is the least number of chains needed to cover $P$. For a cardinal $\nu$, we give a list of posets of cardinality and covering number $\nu$ such that for every poset $P$ with no infinite antichain, $\Cov(P)\geq \nu$ if and only if $P$ embeds a member of the list. This list has two elements if $\nu$ is a successor cardinal, namely $[\nu]^2$ and its dual, and four elements if $\nu$ is a limit cardinal with $\cf(\nu)$ weakly compact. For $\nu= \aleph_1$, a list was given by the first author; his construction was extended by F. Dorais to every infinite successor cardinal $\nu$.


title: Computing and Exploiting Document Structure to Improve Unsupervised Extractive Summarization of Legal Case Decisions

abstract: Though many algorithms can be used to automatically summarize legal case decisions, most fail to incorporate domain knowledge about how important sentences in a legal decision relate to a representation of its document structure. For example, analysis of a legal case summarization dataset demonstrates that sentences serving different types of argumentative roles in the decision appear in different sections of the document. In this work, we propose an unsupervised graph-based ranking model that uses a reweighting algorithm to exploit properties of the document structure of legal case decisions. We also explore the impact of using different methods to compute the document structure. Results on the Canadian Legal Case Law dataset show that our proposed method outperforms several strong baselines.


title: The De-Relationalizing of Relational Quantum Mechanics

abstract: A recent phase transition in the relational interpretation of quantum mechanics (RQM) is situated in its historical context, and the novelty of the post-transition viewpoint is questioned.


title: A Spectral Analysis of Graph Neural Networks on Dense and Sparse Graphs

abstract: In this work we propose a random graph model that can produce graphs at different levels of sparsity. We analyze how sparsity affects the graph spectra, and thus the performance of graph neural networks (GNNs) in node classification on dense and sparse graphs. We compare GNNs with spectral methods known to provide consistent estimators for community detection on dense graphs, a closely related task. We show that GNNs can outperform spectral methods on sparse graphs, and illustrate these results with numerical examples on both synthetic and real graphs.


title: Exponentially Improving the Complexity of Simulating the Weisfeiler-Lehman Test with Graph Neural Networks

abstract: Recent work shows that the expressive power of Graph Neural Networks (GNNs) in distinguishing non-isomorphic graphs is exactly the same as that of the Weisfeiler-Lehman (WL) graph test. In particular, they show that the WL test can be simulated by GNNs. However, those simulations involve neural networks for the 'combine' function of size polynomial or even exponential in the number of graph nodes $n$, as well as feature vectors of length linear in $n$. We present an improved simulation of the WL test on GNNs with \emph{exponentially} lower complexity. In particular, the neural network implementing the combine function in each node has only a polylogarithmic number of parameters in $n$, and the feature vectors exchanged by the nodes of GNN consists of only $O(\log n)$ bits. We also give logarithmic lower bounds for the feature vector length and the size of the neural networks, showing the (near)-optimality of our construction.


title: Fitting a Collider in a Quantum Computer: Tackling the Challenges of Quantum Machine Learning for Big Datasets

abstract: Current quantum systems have significant limitations affecting the processing of large datasets with high dimensionality, typical of high energy physics. In the present paper, feature and data prototype selection techniques were studied to tackle this challenge. A grid search was performed and quantum machine learning models were trained and benchmarked against classical shallow machine learning methods, trained both in the reduced and the complete datasets. The performance of the quantum algorithms was found to be comparable to the classical ones, even when using large datasets. Sequential Backward Selection and Principal Component Analysis techniques were used for feature's selection and while the former can produce the better quantum machine learning models in specific cases, it is more unstable. Additionally, we show that such variability in the results is caused by the use of discrete variables, highlighting the suitability of Principal Component analysis transformed data for quantum machine learning applications in the high energy physics context.


title: General-relativistic pilot-wave quantum mechanics with torsion

abstract: We propose that the four-velocity of a Dirac particle is related to its relativistic wave function by $u^i=\bar{\psi}\gamma^i\psi/\bar{\psi}\psi$. We associate the four-momentum of a spinor with a generator of translation, given by a covariant derivative. We associate the intrinsic angular momentum four-tensor of a spinor with a generator of rotation in the spinor representation of the Lorentz group. We use the covariant conservation laws for the spin and energy$-$momentum tensors for a spinor field in the presence of the Einstein$-$Cartan torsion to show that if the wave satisfies the Dirac equation, then the four-velocity, four-momentum, and spin four-tensor satisfy the classical Mathisson$-$Papapetrou equations of motion. We show that these equations reduce to the geodesic equation of motion. Consequently, the motion of a particle guided by the four-velocity in the pilot-wave quantum mechanics coincides with the geodesic motion of the particle determined by the geometry of spacetime, representing a relativistic wave$-$particle duality.


title: On Strongly pi-Regular Rings with Involution

abstract: Recall that a ring R is called strongly pi-regular if, for every a in R, there is a positive integer n, depending on a, such that a^n belongs to the intersection of a^{n+1}R and Ra^{n+1}. In this paper we give a further study of the notion of a strongly pi-star-regular ring, which is the star-version of strongly pi-regular rings and which was originally introduced by Cui-Wang in J. Korean Math. Soc. (2015). We also establish various properties of these rings and give several new characterizations in terms of (strong) pi-regularity and involution. Our results also considerably extend recent ones in the subject due to Cui-Yin in Algebra Colloq. (2018) proved for pi-star-regular rings and due to Cui-Danchev in J. Algebra Appl. (2020) proved for star-periodic rings.


title: Mirror Dark Sector Solution of the Hubble Tension with Time-varying Fine-structure Constant

abstract: We explore a model introduced by Cyr-Racine, Ge, and Knox (arXiv:2107.13000(2)) that resolves the Hubble tension by invoking a ``mirror world" dark sector with energy density a fixed fraction of the ``ordinary" sector of Lambda-CDM. Although it reconciles cosmic microwave background and large-scale structure observations with local measurements of the Hubble constant, the model requires a value of the primordial Helium mass fraction that is discrepant with observations and with the predictions of Big Bang Nucleosynthesis (BBN). We consider a variant of the model with standard Helium mass fraction but with the value of the electromagnetic fine-structure constant slightly different during photon decoupling from its present value. If $\alpha$ at that epoch is lower than its current value by $\Delta \alpha \simeq -2\times 10^{-5}$, then we can achieve the same Hubble tension resolution as in Cyr-Racine, et al. but with consistent Helium abundance. As an example of such time-evolution, we consider a toy model of an ultra-light scalar field, with mass $m <4\times 10^{-29}$ eV, coupled to electromagnetism, which evolves after photon decoupling and that appears to be consistent with late-time constraints on $\alpha$ variation and the weak equivalence principle.


title: Parallel Attention Forcing for Machine Translation

abstract: Attention-based autoregressive models have achieved state-of-the-art performance in various sequence-to-sequence tasks, including Text-To-Speech (TTS) and Neural Machine Translation (NMT), but can be difficult to train. The standard training approach, teacher forcing, guides a model with the reference back-history. During inference, the generated back-history must be used. This mismatch limits the evaluation performance. Attention forcing has been introduced to address the mismatch, guiding the model with the generated back-history and reference attention. While successful in tasks with continuous outputs like TTS, attention forcing faces additional challenges in tasks with discrete outputs like NMT. This paper introduces the two extensions of attention forcing to tackle these challenges. (1) Scheduled attention forcing automatically turns attention forcing on and off, which is essential for tasks with discrete outputs. (2) Parallel attention forcing makes training parallel, and is applicable to Transformer-based models. The experiments show that the proposed approaches improve the performance of models based on RNNs and Transformers.


title: Breaking wave field statistics with a multilayer model

abstract: The statistics of breaking wave fields is characterised within a novel multi-layer framework, which generalises the single-layer Saint-Venant system into a multi-layer and non-hydrostatic formulation of the Navier-Stokes equations. We simulate an ensemble of phase-resolved surface wave fields in physical space, where strong non-linearities including wave breaking are modelled, without surface overturning. We extract the kinematics of wave breaking by identifying breaking fronts and their speed, for freely evolving wave fields initialised with typical wind wave spectra. The $\Lambda(c)$ distribution, defined as the length of breaking fronts (per unit area) moving with speed $c$ to $c+dc$ following Phillips 1985, is reported for a broad range of conditions. We recover the $\Lambda(c) \propto c^{-6}$ scaling without any explicit wind forcing for steep enough wave fields. A scaling of $\Lambda(c)$ based solely on the mean square slope and peak wave phase speed is shown to describe the modelled breaking distributions well. The modelled breaking distributions are found to be in good agreement with field measurements and the proposed scaling is consistent with previous empirical formulations. The present work paves the way for simulations of the turbulent upper ocean directly coupled with realistic breaking waves dynamics, including Langmuir turbulence, and other sub-mesoscale processes.


title: Closed-form formula for some recursively-defined integro-difference sequence of functions

abstract: The main purpose of this paper is to derive the closed form solution the sequence $(g_n)_{n\in \mathbb{N}}$ of integro-difference equations that is defined recursively as follows: \begin{align*} g_1(x) & = \chi_{(-1/2, 1/2)} (x), g_{n+1}(x) & = g_n(x + 1/2)- g_n(x- 1/2) + \int_{x-\frac{1}{2}}^{x + \frac{1}{2}} g_n(s)ds, \, n\in \mathbb{N}, \end{align*} where $ g_1(x)= \chi_{(-1/2, 1/2)} (x) $ is the characteristic function of the unit interval $(-1/2, 1/2) $ has value equal to $ 1 $ on $(-1/2, 1/2) $ and $0$ elsewhere in $ \mathbb{R} $.


title: Spatio-temporal Incentives Optimization for Ride-hailing Services with Offline Deep Reinforcement Learning

abstract: A fundamental question in any peer-to-peer ride-sharing system is how to, both effectively and efficiently, meet the request of passengers to balance the supply and demand in real time. On the passenger side, traditional approaches focus on pricing strategies by increasing the probability of users' call to adjust the distribution of demand. However, previous methods do not take into account the impact of changes in strategy on future supply and demand changes, which means drivers are repositioned to different destinations due to passengers' calls, which will affect the driver's income for a period of time in the future. Motivated by this observation, we make an attempt to optimize the distribution of demand to handle this problem by learning the long-term spatio-temporal values as a guideline for pricing strategy. In this study, we propose an offline deep reinforcement learning based method focusing on the demand side to improve the utilization of transportation resources and customer satisfaction. We adopt a spatio-temporal learning method to learn the value of different time and location, then incentivize the ride requests of passengers to adjust the distribution of demand to balance the supply and demand in the system. In particular, we model the problem as a Markov Decision Process (MDP).


title: Neural PDE Solvers for Irregular Domains

abstract: Neural network-based approaches for solving partial differential equations (PDEs) have recently received special attention. However, the large majority of neural PDE solvers only apply to rectilinear domains, and do not systematically address the imposition of Dirichlet/Neumann boundary conditions over irregular domain boundaries. In this paper, we present a framework to neurally solve partial differential equations over domains with irregularly shaped (non-rectilinear) geometric boundaries. Our network takes in the shape of the domain as an input (represented using an unstructured point cloud, or any other parametric representation such as Non-Uniform Rational B-Splines) and is able to generalize to novel (unseen) irregular domains; the key technical ingredient to realizing this model is a novel approach for identifying the interior and exterior of the computational grid in a differentiable manner. We also perform a careful error analysis which reveals theoretical insights into several sources of error incurred in the model-building process. Finally, we showcase a wide variety of applications, along with favorable comparisons with ground truth solutions.


title: Fast Key Points Detection and Matching for Tree-Structured Images

abstract: This paper offers a new authentication algorithm based on image matching of nano-resolution visual identifiers with tree-shaped patterns. The algorithm includes image-to-tree conversion by greedy extraction of the fractal pattern skeleton along with a custom-built graph matching algorithm that is robust against imaging artifacts such as scaling, rotation, scratch, and illumination change. The proposed algorithm is applicable to a variety of tree-structured image matching, but our focus is on dendrites, recently-developed visual identifiers. Dendrites are entropy rich and unclonable with existing 2D and 3D printers due to their natural randomness, nano-resolution granularity, and 3D facets, making them an appropriate choice for security applications such as supply chain trace and tracking. The proposed algorithm improves upon graph matching with standard image descriptors. For instance, image inconsistency due to the camera sensor noise may cause unexpected feature extraction leading to inaccurate tree conversion and authentication failure. Also, previous tree extraction algorithms are prohibitively slow hindering their scalability to large systems. In this paper, we fix the current issues of [1] and accelerate the key points extraction up to 10-times faster by implementing a new skeleton extraction method, a new key points searching algorithm, as well as an optimized key point matching algorithm. Using minimum enclosing circle and center points, make the algorithm robust to the choice of pattern shape. In contrast to [1] our algorithm handles general graphs with loop connections, therefore is applicable to a wider range of applications such as transportation map analysis, fingerprints, and retina vessel imaging.


title: On the deep-water and shallow-water limits of the intermediate long wave equation from a statistical viewpoint

abstract: (Due to the limit on the number of characters for an abstract set by arXiv, the full abstract can not be displayed here. See the abstract in the paper.) We study convergence problems for the intermediate long wave equation (ILW), with the depth parameter $\delta > 0$, in the deep-water limit ($\delta \to \infty$) and the shallow-water limit ($\delta \to 0$) from a statistical point of view. In particular, we establish convergence of invariant Gibbs dynamics for ILW in both the deep-water and shallow-water limits. For this purpose, we first construct the Gibbs measures for ILW, $0 < \delta < \infty$. As they are supported on distributions, a renormalization is required. With the Wick renormalization, we carry out the construction of the Gibbs measures for ILW. We then prove that the Gibbs measures for ILW converge in total variation to that for the Benjamin-Ono equation (BO) in the deep-water limit. In the shallow-water regime, after applying a scaling transformation, we prove that, as $\delta \to 0$, the Gibbs measures for the scaled ILW converge weakly to that for the Korteweg-de Vries equation (KdV). We point out that this second result is of particular interest since the Gibbs measures for the scaled ILW and KdV are mutually singular (whereas the Gibbs measures for ILW and BO are equivalent). We also discuss convergence of the associated dynamical problem. Lastly, we point out that our results also apply to the generalized ILW equation in the defocusing case, converging to the generalized BO in the deep-water limit and to the generalized KdV in the shallow-water limit. In the non-defocusing case, however, our results can not be extended to a nonlinearity with a higher power due to the non-normalizability of the corresponding Gibbs measures.


title: Arbitrage from a Bayesian's Perspective

abstract: This paper builds a model of interactive belief hierarchies to derive the conditions under which judging an arbitrage opportunity requires Bayesian market participants to exercise their higher-order beliefs. As a Bayesian, an agent must carry a complete recursion of priors over the uncertainty about future asset payouts, the strategies employed by other market participants that are aggregated in the price, other market participants' beliefs about the agent's strategy, other market participants beliefs about what the agent believes their strategies to be, and so on ad infinitum. Defining this infinite recursion of priors -- the belief hierarchy so to speak -- along with how they update gives the Bayesian decision problem equivalent to the standard asset pricing formulation of the question. The main results of the paper show that an arbitrage trade arises only when an agent updates his recursion of priors about the strategies and beliefs employed by other market participants. The paper thus connects the foundations of finance to the foundations of game theory by identifying a bridge from market arbitrage to market participant belief hierarchies.


title: On conservative sticky peakons to the modified Camassa-Holm equation

abstract: We use a sticky particle method to show global existence of (energy) conservative sticky $N$-peakon solutions to the modified Camassa-Holm equation. A dispersion regularization is provided as a selection principle for the uniqueness of conservative $N$-peakon solutions. The dispersion limit avoids the collision between peakons, and numerical results show that the dispersion limit is exactly the sticky peakons. At last, when the splitting of peakons is allowed, we give an example to show the non-uniqueness of conservative solutions.


title: A giant glitch from the magnetar SGR J1935+2154 before FRB 200428

abstract: Fast radio bursts (FRBs) are short pulses observed in radio frequencies usually originating from cosmological distances. The discovery of FRB 200428 and its X-ray counterpart from the Galactic magnetar SGR J1935+2154 suggests that at least some FRBs can be generated by magnetars. However, the majority of X-ray bursts from magnetars are not associated with radio emission. The fact that only in rare cases can an FRB be generated raises the question regarding the special triggering mechanism of FRBs. Here we report a giant glitch from SGR J1935+2154, which occurred approximately $3.1\pm2.5$\,day before FRB 200428, with $\Delta\nu=19.8\pm1.4$ {\rm $\mu$Hz} and $\Delta\dot{\nu}=6.3\pm1.1$\,pHz s$^{-1}$. The corresponding spin-down power change rate $\Delta\dot\nu/\dot\nu$ is among the largest in all the detected pulsar glitches. The glitch contains a delayed spin-up process that is only detected in the Crab pulsar and the magnetar 1E 2259+586, a large persistent offset of the spin-down rate, and a recovery component which is about one order of magnitude smaller than the persistent one. The temporal coincidence between the glitch and FRB 200428 suggests a physical connection between the two. The internally triggered giant glitch of the magnetar likely altered the magnetosphere structure dramatically in favour of FRB generation, which subsequently triggered many X-ray bursts and eventually FRB 200428 through additional crustal cracking and Alfv\'en wave excitation and propagation.


title: Optical scattering imaging with sub-nanometer precision based on position-ultra-sensitive giant Lamb shift

abstract: The Lamb shift of a quantum emitter very close to a plasmonic nanostructure, mainly induced by the higher-order plasmonic dark modes, can be three or more orders of magnitude larger than that in the free space and it is ultra-sensitive to the emitter position and polarization. We show that this giant Lamb shift can be sensitively observed from the scattering spectrum dip shift of coupled system when the plasmonic nanoparticle or tip scans through the emitter. Based on these observations, we propose an optical localization and polarization microscopy scheme with sub-nanometer precision for a quantum emitter via detecting the scattering spectrum instead of fluorescence. Our method is free of fluorescence quenching problem and it is relatively easier to be implemented in the plasmon-emitter coupling system. Moreover, the sample in our method does not need to be placed inside a plasmonic picocavity to enhance the radiative fluorescence rate and it also works even if the quantum emitter is slightly below a dielectric surface which can bring about broader applications in various fields, such as physics, chemistry, medicine, life science and materials science.


title: Sparse Horseshoe Estimation via Expectation-Maximisation

abstract: The horseshoe prior is known to possess many desirable properties for Bayesian estimation of sparse parameter vectors, yet its density function lacks an analytic form. As such, it is challenging to find a closed-form solution for the posterior mode. Conventional horseshoe estimators use the posterior mean to estimate the parameters, but these estimates are not sparse. We propose a novel expectation-maximisation (EM) procedure for computing the MAP estimates of the parameters in the case of the standard linear model. A particular strength of our approach is that the M-step depends only on the form of the prior and it is independent of the form of the likelihood. We introduce several simple modifications of this EM procedure that allow for straightforward extension to generalised linear models. In experiments performed on simulated and real data, our approach performs comparable, or superior to, state-of-the-art sparse estimation methods in terms of statistical performance and computational cost.


title: Graded automorphisms of the algebra of polynomials in three variables

abstract: Let us consider a polynomial algebra in three variables equipped with an integer grading. We construct a system of group-generating automorphisms that preserve a given grading.


title: Uplink Sensing Using CSI Ratio in Perceptive Mobile Networks

abstract: Uplink sensing in perceptive mobile networks (PMNs), which uses uplink communication signals for sensing the environment around a base station, faces challenging issues of clock asynchronism and the requirement of a line-of-sight (LOS) path between transmitters and receivers. The channel state information (CSI) ratio has been applied to resolve these issues, however, current research on the CSI ratio is limited to Doppler estimation in a single dynamic path. This paper proposes an advanced parameter estimation scheme that can extract multiple dynamic parameters, including Doppler frequency, angle-of-arrival (AoA), and delay, in a communication uplink channel and completes the localization of multiple moving targets. Our scheme is based on the multi-element Taylor series of the CSI ratio that converts a nonlinear function of sensing parameters to linear forms and enables the applications of traditional sensing algorithms. Using the truncated Taylor series, we develop novel multiple-signal-classification grid searching algorithms for estimating Doppler frequencies and AoAs and use the least-square method to obtain delays. Both experimental and simulation results are provided, demonstrating that our proposed scheme can achieve good performances for sensing both single and multiple dynamic paths, without requiring the presence of a LOS path.


title: Stardust: Compiling Sparse Tensor Algebra to a Reconfigurable Dataflow Architecture

abstract: We introduce Stardust, a compiler that compiles sparse tensor algebra to reconfigurable dataflow architectures (RDAs). Stardust introduces new user-provided data representation and scheduling language constructs for mapping to resource-constrained accelerated architectures. Stardust uses the information provided by these constructs to determine on-chip memory placement and to lower to the Capstan RDA through a parallel-patterns rewrite system that targets the Spatial programming model. The Stardust compiler is implemented as a new compilation path inside the TACO open-source system. Using cycle-accurate simulation, we demonstrate that Stardust can generate more Capstan tensor operations than its authors had implemented and that it results in 138$\times$ better performance than generated CPU kernels and 41$\times$ better performance than generated GPU kernels.


title: Zero-Shot Classification by Logical Reasoning on Natural Language Explanations

abstract: Humans can classify data of an unseen category by reasoning on its language explanations. This ability is owing to the compositional nature of language: we can combine previously seen attributes to describe the new category. For example, we might describe a sage thrasher as "it has a slim straight relatively short bill, yellow eyes and a long tail", so that others can use their knowledge of attributes "slim straight relatively short bill", "yellow eyes" and "long tail" to recognize a sage thrasher. Inspired by this observation, in this work we tackle zero-shot classification task by logically parsing and reasoning on natural language expla-nations. To this end, we propose the framework CLORE (Classification by LOgical Reasoning on Explanations). While previous methods usually regard textual information as implicit features, CLORE parses explanations into logical structures and then explicitly reasons along thess structures on the input to produce a classification score. Experimental results on explanation-based zero-shot classification benchmarks demonstrate that CLORE is superior to baselines, which we further show mainly comes from higher scores on tasks requiring more logical reasoning. We also demonstrate that our framework can be extended to zero-shot classification on visual modality. Alongside classification decisions, CLORE can provide the logical parsing and reasoning process as a clear form of rationale. Through empirical analysis we demonstrate that CLORE is also less affected by linguistic biases than baselines.


title: Soft Robotic Link with Controllable Transparency for Vision-based Tactile and Proximity Sensing

abstract: Robots have been brought to work close to humans in many scenarios. For coexistence and collaboration, robots should be safe and pleasant for humans to interact with. To this end, the robots could be both physically soft with multimodal sensing/perception, so that the robots could have better awareness of the surrounding environment, as well as to respond properly to humans' action/intention. This paper introduces a novel soft robotic link, named ProTac, that possesses multiple sensing modes: tactile and proximity sensing, based on computer vision and a functional material. These modalities come from a layered structure of a soft transparent silicon skin, a polymer dispersed liquid crystal (PDLC) film, and reflective markers. Here, the PDLC film can switch actively between the opaque and the transparent state, from which the tactile sensing and proximity sensing can be obtained by using cameras solely built inside the ProTac link. In this paper, inference algorithms for tactile proximity perception are introduced. Evaluation results of two sensing modalities demonstrated that, with a simple activation strategy, ProTac link could effectively perceive useful information from both approaching and in-contact obstacles. The proposed sensing device is expected to bring in ultimate solutions for design of robots with softness, whole-body and multimodal sensing, and safety control strategies.


title: Data Processing Techniques for Ion and Electron Energy Distribution Functions

abstract: Retarding field energy analyzers and Langmuir probes are routinely used to obtain ion and electron energy distribution functions (IEDF, EEDF). These typically require knowledge of the first and second derivatives of the I-V characteristics, both of which can be obtained in various ways. This poses challenges inherent to differentiating noisy signals, a frequent problem with electric-probe plasma diagnostics. A brief review of commonly used analog and numerical filtering and differentiation techniques is presented, together with their application on experimental data collected in a radio-frequency plasma. The application of each method is detailed with regards to the obtained IEDF and EEDF, the deduced plasma parameters, dynamic range, energy resolution and signal distortion.


title: Minimal Area of a Voronoi Cell in a Packing of Unit Circles

abstract: We present a new self-contained proof of the well-known fact that the minimal area of a Voronoi cell in a unit circle packing is equal to $2\sqrt{3}$, and the minimum is achieved only on a perfect hexagon. The proof is short and, in our opinion, instructive.


title: On Web-based Visual Corpus Construction for Visual Document Understanding

abstract: In recent years, research on visual document understanding (VDU) has grown significantly, with a particular emphasis on the development of self-supervised learning methods. However, one of the significant challenges faced in this field is the limited availability of publicly accessible visual corpora or extensive collections of images with detailed text annotations, particularly for non-Latin or resource-scarce languages. To address this challenge, we propose Web-based Visual Corpus Builder (Webvicob), a dataset generator engine capable of constructing large-scale, multilingual visual corpora from raw Wikipedia HTML dumps. Our experiments demonstrate that the data generated by Webvicob can be used to train robust VDU models that perform well on various downstream tasks, such as DocVQA and post-OCR parsing. Furthermore, when using a dataset of 1 million images generated by Webvicob, we observed an improvement of over 13% on the DocVQA Task 3 compared to a dataset of 11 million images from the IIT-CDIP. The implementation of our engine is publicly available on https://github.com/clovaai/webvicob


title: Lattices, Garside structures and weakly modular graphs

abstract: In this article we study combinatorial non-positive curvature aspects of various simplicial complexes with natural $\widetilde A_n$ shaped simplicies, including Euclidean buildings of type $\widetilde A_n$ and Cayley graphs of Garside groups and their quotients by the Garside elements. All these examples fit into the more general setting of lattices with order-increasing $\mathbb Z$-actions and the associated lattice quotients proposed in a previous work by the first named author. We show that both the lattice quotients and the lattices themselves give rise to weakly modular graphs, which is a form of combinatorial non-positive curvature. We also show that several other complexes fit into this setting of lattices/lattice quotients, hence our result applies, including Artin complexes of Artin-Tits groups of type $\widetilde A_n$, a class of arc complexes and weak Garside groups arising from a categorical Garside structure in the sense of Bessis. Along the way, we also clarify the relationship between categorical Garside structure, lattices with $\mathbb Z$ action and different classes of complexes studied this article. We use this point of view to describe the first examples of Garside groups with exotic properties, like non-linearity or rigidity results.


title: Nested sampling statistical errors

abstract: Nested sampling (NS) is a popular algorithm for Bayesian computation. We investigate statistical errors in NS both analytically and numerically. We show two analytic results. First, we show that the leading terms in Skilling's expression using information theory match the leading terms in Keeton's expression from an analysis of moments. This approximate agreement was previously only known numerically and was somewhat mysterious. Second, we show that the uncertainty in single NS runs approximately equals the standard deviation in repeated NS runs. Whilst intuitive, this was previously taken for granted. We close by investigating our results and their assumptions in several numerical examples, including cases in which NS uncertainties increase without bound.

categories: astro-ph.IM hep-ph physics.data-an stat.CO


title: Quadratic Crofton and sets that see themselves as little as possible

abstract: Let $\Omega \subset \mathbb{R}^2$ and let $\mathcal{L} \subset \Omega$ be a one-dimensional set with finite length $L =|\mathcal{L}|$. We are interested in minimizers of an energy functional that measures the size of a set projected onto itself in all directions: we are thus asking for sets that see themselves as little as possible (suitably interpreted). Obvious minimizers of the functional are subsets of a straight line but this is only possible for $L \leq \mbox{diam}(\Omega)$. The problem has an equivalent formulation: the expected number of intersections between a random line and $\mathcal{L}$ depends only on the length of $\mathcal{L}$ (Crofton's formula). We are interested in sets $\mathcal{L}$ that minimize the variance of the expected number of intersections. We solve the problem for convex $\Omega$ and slightly less than half of all values of $L$: there, a minimizing set is the union of copies of the boundary and a line segment.


title: Whittle estimation based on the extremal spectral density of a heavy-tailed random field

abstract: We consider a strictly stationary random field on the two-dimensional integer lattice with regularly varying marginal and finite-dimensional distributions. Exploiting the regular variation, we define the spatial extremogram which takes into account only the largest values in the random field. This extremogram is a spatial autocovariance function. We define the corresponding extremal spectral density and its estimator, the extremal periodogram. Based on the extremal periodogram, we consider the Whittle estimator for suitable classes of parametric random fields including the Brown-Resnick random field and regularly varying max-moving averages.


title: Time evolution of nonadditive entropies: The logistic map

abstract: Due to the second principle of thermodynamics, the time dependence of entropy for all kinds of systems under all kinds of physical circumstances always thrives interest. The logistic map $x_{t+1}=1-a x_t^2 \in [-1,1]\;(a\in [0,2])$ is neither large, since it has only one degree of freedom, nor closed, since it is dissipative. It exhibits, nevertheless, a peculiar time evolution of its natural entropy, which is the additive Boltzmann-Gibbs-Shannon one, $S_{BG}=-\sum_{i=1}^W p_i \ln p_i$, for all values of $a$ for which the Lyapunov exponent is positive, and the nonadditive one $S_q= \frac{1-\sum_{i=1}^W p_i^q}{q-1}$ with $q=0.2445\dots$ at the edge of chaos, where the Lyapunov exponent vanishes, $W$ being the number of windows of the phase space partition. We numerically show that, for increasing time, the phase-space-averaged entropy overshoots above its stationary-state value in all cases. However, when $W\to\infty$, the overshooting gradually disappears for the most chaotic case ($a=2$), whereas, in remarkable contrast, it appears to monotonically diverge at the Feigenbaum point ($a=1.4011\dots$). Consequently, the stationary-state entropy value is achieved from {\it above}, instead of from {\it below}, as it could have been a priori expected. These results raise the question whether the usual requirements -- large, closed, and for generic initial conditions -- for the second principle validity might be necessary but not sufficient.


title: Detecting Interference in A/B Testing with Increasing Allocation

abstract: In the past decade, the technology industry has adopted online randomized controlled experiments (a.k.a. A/B testing) to guide product development and make business decisions. In practice, A/B tests are often implemented with increasing treatment allocation: the new treatment is gradually released to an increasing number of units through a sequence of randomized experiments. In scenarios such as experimenting in a social network setting or in a bipartite online marketplace, interference among units may exist, which can harm the validity of simple inference procedures. In this work, we introduce a widely applicable procedure to test for interference in A/B testing with increasing allocation. Our procedure can be implemented on top of an existing A/B testing platform with a separate flow and does not require a priori a specific interference mechanism. In particular, we introduce two permutation tests that are valid under different assumptions. Firstly, we introduce a general statistical test for interference requiring no additional assumption. Secondly, we introduce a testing procedure that is valid under a time fixed effect assumption. The testing procedure is of very low computational complexity, it is powerful, and it formalizes a heuristic algorithm implemented already in industry. We demonstrate the performance of the proposed testing procedure through simulations on synthetic data. Finally, we discuss one application at LinkedIn, where a screening step is implemented to detect potential interference in all their marketplace experiments with the proposed methods in the paper.


title: AfroLM: A Self-Active Learning-based Multilingual Pretrained Language Model for 23 African Languages

abstract: In recent years, multilingual pre-trained language models have gained prominence due to their remarkable performance on numerous downstream Natural Language Processing tasks (NLP). However, pre-training these large multilingual language models requires a lot of training data, which is not available for African Languages. Active learning is a semi-supervised learning algorithm, in which a model consistently and dynamically learns to identify the most beneficial samples to train itself on, in order to achieve better optimization and performance on downstream tasks. Furthermore, active learning effectively and practically addresses real-world data scarcity. Despite all its benefits, active learning, in the context of NLP and especially multilingual language models pretraining, has received little consideration. In this paper, we present AfroLM, a multilingual language model pretrained from scratch on 23 African languages (the largest effort to date) using our novel self-active learning framework. Pretrained on a dataset significantly (14x) smaller than existing baselines, AfroLM outperforms many multilingual pretrained language models (AfriBERTa, XLMR-base, mBERT) on various NLP downstream tasks (NER, text classification, and sentiment analysis). Additional out-of-domain sentiment analysis experiments show that \textbf{AfroLM} is able to generalize well across various domains. We release the code source, and our datasets used in our framework at https://github.com/bonaventuredossou/MLM_AL.


title: Few-shot Image Generation with Diffusion Models

abstract: Denoising diffusion probabilistic models (DDPMs) have been proven capable of synthesizing high-quality images with remarkable diversity when trained on large amounts of data. However, to our knowledge, few-shot image generation tasks have yet to be studied with DDPM-based approaches. Modern approaches are mainly built on Generative Adversarial Networks (GANs) and adapt models pre-trained on large source domains to target domains using a few available samples. In this paper, we make the first attempt to study when do DDPMs overfit and suffer severe diversity degradation as training data become scarce. Then we fine-tune DDPMs pre-trained on large source domains to solve the overfitting problem when training data is limited. Although the directly fine-tuned models accelerate convergence and improve generation quality and diversity compared with training from scratch, they still fail to retain some diverse features and can only produce coarse images. Therefore, we design a DDPM pairwise adaptation (DDPM-PA) approach to optimize few-shot DDPM domain adaptation. DDPM-PA efficiently preserves information learned from source domains by keeping the relative pairwise distances between generated samples during adaptation. Besides, DDPM-PA enhances the learning of high-frequency details from source models and limited training data. DDPM-PA further improves generation quality and diversity and achieves results better than current state-of-the-art GAN-based approaches. We demonstrate the effectiveness of our approach on a series of few-shot image generation tasks qualitatively and quantitatively.


title: Machine-learning approach for discovery of conventional superconductors

abstract: First-principles computations are the driving force behind numerous discoveries of hydride-based superconductors, mostly at high pressures, during the last decade. Machine-learning (ML) approaches can further accelerate the future discoveries if their reliability can be improved. The main challenge of current ML approaches, typically aiming at predicting the critical temperature $T_{\rm c}$ of a solid from its chemical composition and target pressure, is that the correlations to be learned are deeply hidden, indirect, and uncertain. In this work, we showed that predicting superconductivity at any pressure from the atomic structure is sustainable and reliable. For a demonstration, we curated a diverse dataset of 584 atomic structures for which $\lambda$ and $\omega_{\log}$, two parameters of the electron-phonon interactions, were computed. We then trained some ML models to predict $\lambda$ and $\omega_{\log}$, from which $T_{\rm c}$ can be computed in a post-processing manner. The models were validated and used to identify two possible superconductors whose $T_{\rm c}\simeq 10-15$K at zero pressure. Interestingly, these materials have been synthesized and studied in some other contexts. In summary, the proposed ML approach enables a pathway to directly transfer what can be learned from the high-pressure atomic-level details that correlate with high-$T_{\rm c}$ superconductivity to zero pressure. Going forward, this strategy will be improved to better contribute to the discoveries of new superconductors.


title: A $(k+1)$-partite entanglement measure of $N$-partite quantum states

abstract: The concept of \textquotedblleft the permutationally invariant part of a density matrx\textquotedblright constitutes an important tool for entanglement characterization of multiqubit systems. In this paper, we first present $(k+1)$-partite entanglement measure of $N$-partite quantum system, which possesses desirable properties of an entanglement measure. Moreover, we give strong bounds on this measure by considering the permutationally invariant part of a multipartite state. We give two definitions of efficient measurable degree of $(k+1)$-partite entanglement. Finally, several concrete examples are given to illustrate the effectiveness of our results.


title: Prompter: Utilizing Large Language Model Prompting for a Data Efficient Embodied Instruction Following

abstract: Embodied Instruction Following (EIF) studies how autonomous mobile manipulation robots should be controlled to accomplish long-horizon tasks described by natural language instructions. While much research on EIF is conducted in simulators, the ultimate goal of the field is to deploy the agents in real life. This is one of the reasons why recent methods have moved away from training models end-to-end and take modular approaches, which do not need the costly expert operation data. However, as it is still in the early days of importing modular ideas to EIF, a search for modules effective in the EIF task is still far from a conclusion. In this paper, we propose to extend the modular design using knowledge obtained from two external sources. First, we show that embedding the physical constraints of the deployed robots into the module design is highly effective. Our design also allows the same modular system to work across robots of different configurations with minimal modifications. Second, we show that the landmark-based object search, previously implemented by a trained model requiring a dedicated set of data, can be replaced by an implementation that prompts pretrained large language models for landmark-object relationships, eliminating the need for collecting dedicated training data. Our proposed Prompter achieves 41.53\% and 45.32\% on the ALFRED benchmark with high-level instructions only and step-by-step instructions, respectively, significantly outperforming the previous state of the art by 5.46\% and 9.91\%.


title: Newton Like Iterative Method without Derivative for Solving Nonlinear Equations Based on Dynamical Systems

abstract: The iterative problem of solving nonlinear equations is studied. A new Newton like iterative method with adjustable parameters is designed based on the dynamic system theory. In order to avoid the derivative function in the iterative scheme, the difference quotient is used instead of the derivative. Different from the existing methods, the difference quotient scheme in this paper has higher accuracy. Thus, the new iterative method is suitable for a wider range of initial values. Finally, several numerical examples are given to verify the practicability and superiority of the method.


title: An Accelerated Variance Reduced Extra-Point Approach to Finite-Sum VI and Optimization

abstract: In this paper, we develop stochastic variance reduced algorithms for solving a class of finite-sum monotone VI, where the operator consists of the sum of finitely many monotone VI mappings and the sum of finitely many monotone gradient mappings. We study the gradient complexities of the proposed algorithms under the settings when the sum of VI mappings is either strongly monotone or merely monotone. Furthermore, we consider the case when each of the VI mapping and gradient mapping is only accessible via noisy stochastic estimators and establish the sample gradient complexity. We demonstrate the application of the proposed algorithms for solving finite-sum convex optimization with finite-sum inequality constraints and develop a zeroth-order approach when only noisy and biased samples of objective/constraint function values are available.


title: Reconciliation of Pre-trained Models and Prototypical Neural Networks in Few-shot Named Entity Recognition

abstract: Incorporating large-scale pre-trained models with the prototypical neural networks is a de-facto paradigm in few-shot named entity recognition. Existing methods, unfortunately, are not aware of the fact that embeddings from pre-trained models contain a prominently large amount of information regarding word frequencies, biasing prototypical neural networks against learning word entities. This discrepancy constrains the two models' synergy. Thus, we propose a one-line-code normalization method to reconcile such a mismatch with empirical and theoretical grounds. Our experiments based on nine benchmark datasets show the superiority of our method over the counterpart models and are comparable to the state-of-the-art methods. In addition to the model enhancement, our work also provides an analytical viewpoint for addressing the general problems in few-shot name entity recognition or other tasks that rely on pre-trained models or prototypical neural networks.


title: Kreutz Sungrazers: Summary of Recent Modeling and Orbits of the SOHO Objects

abstract: I summarize and streamline the results of recent modeling of the orbital evolution and cascading fragmentation of the Kreutz sungrazers. The model starts with Aristotle's comet -- the progenitor whose nucleus is assumed to be a contact binary -- splitting near aphelion into the two lobes and concludes with the SOHO dwarf objects as the end products of the fragmentation process. The Great March Comet of 1843, a member of Population I, and the Great September Comet of 1882, a member of Population II, are deemed the largest surviving masses of the lobes. I establish that the Kreutz system consists currently of nine populations, one of which -- associated with comet Pereyra -- is a side branch of Population I. The additions to the Kreutz system proposed as part of the new model are the daylight comets of AD 363, recorded by the Roman historian Ammianus Marcellinus, and the Chinese comets of September 1041 and September 1138, both listed in Ho's catalogue. The comets of 363 are the first-generation fragments, the latter -- together with the Great Comet of 1106 -- the second-generation fragments. Attention is directed toward the populations' histograms of perihelion distance of the SOHO sungrazers and the plots of this distance as a function of the longitude of the ascending node. Arrival of bright, naked-eye Kreutz sungrazers in the coming decades is predicted.


title: On Tur\'an problems with bounded matching number

abstract: Very recently, Alon and Frankl initiated the study of the maximum number of edges in $n$-vertex $F$-free graphs with matching number at most $s$. For fixed $F$ and $s$, we determine this number apart from a constant additive term. We also obtain several exact results.


title: Atiyah classes and Todd classes of pullback dg Lie algebroids associated with Lie pairs

abstract: For a Lie algebroid $L$ and a Lie subalgebroid $A$, i.e. a Lie pair $(L,A)$, we study the Atiyah class and the Todd class of the pullback dg (i.e. differential graded) Lie algebroid $\pi^! L$ of $L$ along the bundle projection $\pi:A[1] \to M$ of the shifted vector bundle $A[1]$. Applying the homological perturbation lemma, we provide a new construction of Sti\'{e}non--Vitagliano--Xu's contraction relating the cochain complex $\big(\Gamma(\pi^! L),\mathit{Q}\big)$ of sections of $\pi^! L$ to the Chevalley--Eilenberg complex $(\Gamma(\Lambda^\bullet A^\vee\otimes(L/A)),d^{\mathrm{Bott}})$ of the Bott representation. Using this contraction, we construct two isomorphisms: the first identifies the cohomology of the cochain complex $(\Gamma((\pi^! L)^\vee\otimes\mathrm{End}(\pi^! L)),\mathit{Q})$ with the Chevalley--Eilenberg cohomology $H^\bullet_{\mathrm{CE}}(A,(L/A)^\vee\otimes\mathrm{End}(L/A))$ arising from the Bott representation, while the second identifies the cohomologies $H^\bullet(\Gamma(\Lambda(\pi^! L)^\vee),\mathit{Q})$ and $H^\bullet_{\mathrm{CE}}(A,\Lambda(L/A)^\vee)$. We prove that this pair of isomorphisms identifies the Atiyah class and the Todd class of the dg Lie algebroid $\pi^! L$ with the Atiyah class and the Todd class of the Lie pair $(L,A)$, respectively.


title: A General Framework for Cutting Feedback within Modularized Bayesian Inference

abstract: Standard Bayesian inference can build models that combine information from various sources, but this inference may not be reliable if components of a model are misspecified. Cut inference, as a particular type of modularized Bayesian inference, is an alternative which splits a model into modules and cuts the feedback from the suspect module. Previous studies have focused on a two-module case, but a more general definition of a ``module'' remains unclear. We present a formal definition of a ``module'' and discuss its properties. We formulate methods for identifying modules; determining the order of modules; and building the cut distribution that should be used for cut inference within an arbitrary directed acyclic graph structure. We justify the cut distribution by showing that it not only cuts the feedback but also is the best approximation satisfying this condition to the joint distribution in the Kullback-Leibler divergence. We also extend cut inference for the two-module case to a general multiple-module case via a sequential splitting technique and demonstrate this via illustrative applications.


title: Born-Infeld Solitons and Existence & Non-uniqueness of Solutions to the Bj\"orling Problem

abstract: In this semi-expository article, we study Born-Infeld soliton surfaces as zero mean curvature surfaces and derive conformal parameters for them. Then we present two approaches to solve the Bj\"orling problem for such surfaces, one of them treating them as time-like minimal surfaces and the other one using the Barbashov-Chernikov representation. Finally, we show that the solution to the Bj\"orling problem may not be unique unlike minimal and maximal surfaces.


title: On the localization map in the Galois cohomology of algebraic groups

abstract: We study surjectivity of a localization map in Galois cohomology.


title: Complex Reading Comprehension Through Question Decomposition

abstract: Multi-hop reading comprehension requires not only the ability to reason over raw text but also the ability to combine multiple evidence. We propose a novel learning approach that helps language models better understand difficult multi-hop questions and perform "complex, compositional" reasoning. Our model first learns to decompose each multi-hop question into several sub-questions by a trainable question decomposer. Instead of answering these sub-questions, we directly concatenate them with the original question and context, and leverage a reading comprehension model to predict the answer in a sequence-to-sequence manner. By using the same language model for these two components, our best seperate/unified t5-base variants outperform the baseline by 7.2/6.1 absolute F1 points on a hard subset of DROP dataset.