title: Interpretable ML for Imbalanced Data

abstract: Deep learning models are being increasingly applied to imbalanced data in high stakes fields such as medicine, autonomous driving, and intelligence analysis. Imbalanced data compounds the black-box nature of deep networks because the relationships between classes may be highly skewed and unclear. This can reduce trust by model users and hamper the progress of developers of imbalanced learning algorithms. Existing methods that investigate imbalanced data complexity are geared toward binary classification, shallow learning models and low dimensional data. In addition, current eXplainable Artificial Intelligence (XAI) techniques mainly focus on converting opaque deep learning models into simpler models (e.g., decision trees) or mapping predictions for specific instances to inputs, instead of examining global data properties and complexities. Therefore, there is a need for a framework that is tailored to modern deep networks, that incorporates large, high dimensional, multi-class datasets, and uncovers data complexities commonly found in imbalanced data (e.g., class overlap, sub-concepts, and outlier instances). We propose a set of techniques that can be used by both deep learning model users to identify, visualize and understand class prototypes, sub-concepts and outlier instances; and by imbalanced learning algorithm developers to detect features and class exemplars that are key to model performance. Our framework also identifies instances that reside on the border of class decision boundaries, which can carry highly discriminative information. Unlike many existing XAI techniques which map model decisions to gray-scale pixel locations, we use saliency through back-propagation to identify and aggregate image color bands across entire classes. Our framework is publicly available at \url{https://github.com/dd1github/XAI_for_Imbalanced_Learning}


title: Anomalous diffusion in the Long-Range Haken-Strobl-Reineker model

abstract: We analyze the propagation of excitons in a $d$-dimensional lattice with power-law hopping $\propto 1/r^\alpha$ in the presence of dephasing, described by a generalized Haken-Strobl-Reineker model. We show that in the strong dephasing (quantum Zeno) regime the dynamics is described by a classical master equation for an exclusion process with long jumps. In this limit, we analytically compute the spatial distribution, whose shape changes at a critical value of the decay exponent $\alpha_{\rm cr} = (d+2)/2$. The exciton always diffuses anomalously: a superdiffusive motion is associated to a L\'evy stable distribution with long-range algebraic tails for $\alpha\leq\alpha_{\rm cr}$, while for $\alpha > \alpha_{\rm cr}$ the distribution corresponds to a surprising mixed Gaussian profile with long-range algebraic tails, leading to the coexistence of short-range diffusion and long-range L\'evy-flights. In the many-exciton case, we demonstrate that, starting from a domain-wall exciton profile, algebraic tails appear in the distributions for any $\alpha$, which affects thermalization: the longer the hopping range, the faster equilibrium is reached. Our results are directly relevant to experiments with cold trapped ions, Rydberg atoms and supramolecular dye aggregates. They provide a way to realize an exclusion process with long jumps experimentally.


title: Duality for Landau-Ginzburg models

abstract: This article surveys various duality statements attached to a pair consisting of a smooth complex quasi-projective variety and a regular function on it. It is dedicated to the memory of Bumsig Kim.


title: Remarks on rigid irreducible meromorphic connections on the projective line

abstract: We illustrate the Arinkin-Deligne-Katz algorithm for rigid irreducible meromorphic bundles with connection on the projective line by giving motivicity consequences similar to those given by Katz for rigid local systems.


title: An estimator for the recombination rate from a continuously observed diffusion of haplotype frequencies

abstract: Recombination is a fundamental evolutionary force, but it is difficult to quantify because the effect of a recombination event on patterns of variation in a sample of genetic data can be hard to discern. Estimators for the recombination rate, which are usually based on the idea of integrating over the unobserved possible evolutionary histories of a sample, can therefore be noisy. Here we consider a related question: how would an estimator behave if the evolutionary history actually was observed? This would offer an upper bound on the performance of estimators used in practice. In this paper we derive an expression for the maximum likelihood estimator for the recombination rate based on a continuously observed, multi-locus, Wright--Fisher diffusion of haplotype frequencies, complementing existing work for an estimator of selection. We show that, contrary to selection, the estimator has unusual properties because the observed information matrix can explode in finite time whereupon the recombination parameter is learned without error. We also show that the recombination estimator is robust to the presence of selection in the sense that incorporating selection into the model leaves the estimator unchanged. We study the properties of the estimator by simulation and show that its distribution can be quite sensitive to the underlying mutation rates.


title: The solvability of a finite group by the sum of powers of element orders

abstract: We prove a new criterion for the solvability of the finite groups, depending on the function $\psi_k(G)$ which is defined as the sum of $k$-th powers of the element orders of $G$. We show that our result can be used to show the solvability of some groups for which the solvability does not follow from earlier similar kind of results and we emphasize the following: looking at $\psi_k(G)$ for $k>1$ can be useful to get further pieces of information about the group $G$.


title: Kesten's incipient infinite cluster for the three-dimensional, metric-graph Gaussian free field, from critical level-set percolation, and for the Villain model, from random cluster geometries and a Swendsen-Wang type algorithm

abstract: We address one open problem in a recent work due to Ding and Wirth, the first version of which was available in $2019$, relating to level-set percolation on metric-graphs for the Gaussian free field in three dimensions, in which it was shown that a percolation estimate that the authors employ for studying connectivity properties of different heights of the metric graph Gaussian free field is bounded above poly-logarithmically. In three dimensions, in order to construct Kesten's incipient infinite cluster which was first seminally introduced for Bernoulli percolation in two dimensions, in $1986$, through the equality of two probabilistic quantities, we make use of a streamlined version of the $1986$ argument due to Basu and Sapozhnikov, which was first made available in $2016$, that introduces properties of crossing probabilities for demonstrating that the IIC exists for Bernoulli percolation on an infinite connected, bounded degree graph. To make use of such arguments for demonstrating the existence of the metric-graph GFF IIC in three dimensions, we also address another open problem raised in a recent work, from October $2022$, due to Dubedat and Falconet, which expresses an open problem pertaining to the construction of an IIC-type limit for the Villain model.


title: Chaos and complexity in the dynamics of nonlinear Alfv\'en waves in a magnetoplasma

abstract: The nonlinear dynamics of circularly polarized dispersive Alfv{\'e}n wave (AW) envelopes coupled to the driven ion sound waves of plasma slow response is studied in a uniform magnetoplasma. By restricting the wave dynamics to a few number of harmonic modes, a low-dimensional dynamical model is proposed to describe the nonlinear wave-wave interactions. It is found that two subintervals of the wave number of modulation $k$ of AW envelope exists, namely $(3/4)k_c<k<k_c$ and $0<k<(3/4)k_c$, where $k_c$ is the critical value of $k$ below which the modulational instability (MI) occurs. In the former, where the MI growth rate is low, the periodic and/or quasi-periodic states are shown to occur, whereas the latter, where the MI growth is high, brings about the chaotic states. The existence of these states is established by the analyses of Lyapunov exponent spectra together with the bifurcation diagram and phase-space portraits of dynamical variables. Furthermore, the complexities of chaotic phase spaces in the nonlinear motion are measured by the estimations of the correlation dimension (CD) as well as the approximate entropy (ApEn), and compared with those for the known H{\'e}non map and the Lorenz system in which a good qualitative agreement is noted. The chaotic motion thus predicted in a low-dimensional model can be a prerequisite for the onset of Alfv{\'e}nic wave turbulence to be observed in a higher dimensional model that and is relevant in the Earth's ionosphere and magnetosphere.


title: Combating Uncertainty and Class Imbalance in Facial Expression Recognition

abstract: Recognition of facial expression is a challenge when it comes to computer vision. The primary reasons are class imbalance due to data collection and uncertainty due to inherent noise such as fuzzy facial expressions and inconsistent labels. However, current research has focused either on the problem of class imbalance or on the problem of uncertainty, ignoring the intersection of how to address these two problems. Therefore, in this paper, we propose a framework based on Resnet and Attention to solve the above problems. We design weight for each class. Through the penalty mechanism, our model will pay more attention to the learning of small samples during training, and the resulting decrease in model accuracy can be improved by a Convolutional Block Attention Module (CBAM). Meanwhile, our backbone network will also learn an uncertain feature for each sample. By mixing uncertain features between samples, the model can better learn those features that can be used for classification, thus suppressing uncertainty. Experiments show that our method surpasses most basic methods in terms of accuracy on facial expression data sets (e.g., AffectNet, RAF-DB), and it also solves the problem of class imbalance well.


title: Advancing Multilingual Pre-training: TRIP Triangular Document-level Pre-training for Multilingual Language Models

abstract: Despite the success of multilingual sequence-to-sequence pre-training, most existing approaches rely on document-level monolingual corpora in many different languages, sentence-level bilingual corpora,\footnote{In this paper, we use `bilingual corpora' to denote parallel corpora with `bilingual translation pairs' in many different language pairs, each consisting of two sentences/documents with the same meaning written in different languages. We use `trilingual corpora' to denote parallel corpora with `trilingual translation pairs' in many different language combinations, each consisting of three sentences/documents.} and sometimes synthetic document-level bilingual corpora. This hampers the performance with cross-lingual document-level tasks such as document-level translation. Therefore, we propose to mine and leverage document-level trilingual parallel corpora to improve sequence-to-sequence multilingual pre-training. We present \textbf{Tri}angular Document-level \textbf{P}re-training (\textbf{TRIP}), which is the first in the field to accelerate the conventional monolingual and bilingual objectives into a trilingual objective with a novel method called Grafting. Experiments show that TRIP achieves several strong state-of-the-art (SOTA) scores on three multilingual document-level machine translation benchmarks and one cross-lingual abstractive summarization benchmark, including consistent improvements by up to 3.11 d-BLEU points and 8.9 ROUGE-L points.


title: Differential graded cell 2-representations

abstract: This article develops a theory of cell combinatorics and cell 2-representations for differential graded 2-categories. We introduce two types of partial preorders, called the strong and weak preorder, and analyse and compare them. The weak preorder is more easily tractable, while the strong preorder is more closely related to the combinatorics of the associated homotopy 2-representations. To each left cell, we associate a maximal ideal spectrum, and each maximal ideal gives rise to a differential graded cell 2-representation. Any strong cell is contained in a weak cell, and there is a bijection between the corresponding maximal ideal spectra. We classify weak and strong cell 2-representation for a class of examples associated to finite-dimensional differential graded algebras.


title: Event-based Visual Tracking in Dynamic Environments

abstract: Visual object tracking under challenging conditions of motion and light can be hindered by the capabilities of conventional cameras, prone to producing images with motion blur. Event cameras are novel sensors suited to robustly perform vision tasks under these conditions. However, due to the nature of their output, applying them to object detection and tracking is non-trivial. In this work, we propose a framework to take advantage of both event cameras and off-the-shelf deep learning for object tracking. We show that reconstructing event data into intensity frames improves the tracking performance in conditions under which conventional cameras fail to provide acceptable results.


title: Square-tiled surfaces and curves over number fields

abstract: The paper presents an analog of the old result by the author and V. Voevodsky, according to which a Riemann surface admits a conformal structure, defined by an equilateral triangulation, if and only if the corresponding algebraic curve can be defined over the field of the algebraic numbers; the similar result is obtained for the square-tiled surfaces.


title: Multi-step phase transition and gravitational wave from general $\mathbb{Z}_2$ scalar extensions

abstract: Multi-step phase transition provides a paradigm in which a broken symmetry during phase transition can be restored, enriching the phenomena of both dark matter and baryon asymmetry. We study the dynamics of the multi-step phase transition in the standard model extension with additional isospin $N$-plet scalar field $\Phi_2$ under a discrete $\mathbb{Z}_2$ symmetry. We find that the multi-step phase transition could be triggered if there is a moderately large coupling between the Higgs and the $\Phi_2$ and this coupling is required to be larger as the mass of the $\Phi_2$ and/or isospin increase. The first-order phase transition at the first (second) step can be realized by the thermal loop (tree-level barrier) effects. Thus it is more likely that a detectable spectrum of gravitational waves can be produced at the second step of the phase transition.


title: Spatial-Temporal Anomaly Detection for Sensor Attacks in Autonomous Vehicles

abstract: Time-of-flight (ToF) distance measurement devices such as ultrasonics, LiDAR and radar are widely used in autonomous vehicles for environmental perception, navigation and assisted braking control. Despite their relative importance in making safer driving decisions, these devices are vulnerable to multiple attack types including spoofing, triggering and false data injection. When these attacks are successful they can compromise the security of autonomous vehicles leading to severe consequences for the driver, nearby vehicles and pedestrians. To handle these attacks and protect the measurement devices, we propose a spatial-temporal anomaly detection model \textit{STAnDS} which incorporates a residual error spatial detector, with a time-based expected change detection. This approach is evaluated using a simulated quantitative environment and the results show that \textit{STAnDS} is effective at detecting multiple attack types.


title: Thermal one point functions, large $d$ and interior geometry of black holes

abstract: We study thermal one point functions of massive scalars in $AdS_{d+1}$ black holes. These are induced by coupling the scalar to either the Weyl tensor squared or the Gauss-Bonnet term. Grinberg and Maldacena argued that the one point functions sourced by the Weyl tensor exponentiate in the limit of large scalar masses and they contain information of the black hole geometry behind the horizon. We observe that the one point functions behave identically in this limit for either of the couplings mentioned earlier. We show that in an appropriate large $d$ limit, the one point function for the charged black hole in $AdS_{d+1}$ can be obtained exactly. These black holes in general contain an inner horizon. We show that the one point function exponentiates and contains the information of both the proper time between the outer horizon to the inner horizon as well as the proper length from the inner horizon to the singularity. We also show that Gauss-Bonnet coupling induced one point functions in $AdS_{d+1}$ black holes with hyperbolic horizons behave as anticipated by Grinberg-Maldacena. Finally, we study the one point functions in the background of rotating BTZ black holes induced by the cubic coupling of scalars.


title: The omnidirectional receiver for UWOC systems based on the diffractive deep neural network

abstract: The link alignment requirement in underwater wireless optical communication (UWOC) systems is a knotty problem. The diffractive deep neural network (D2NN) has shown great potential in accomplishing tasks all optically these years. In this paper, an omnidirectional receiver based on 7-layer D2NN is first proposed to alleviate the link alignment difficulties in UWOC systems. In addition, the vectorial diffraction theory is introduced into the training of the D2NN to obtain more accurate diffraction calculations compared with the prevalently adopted scalar diffraction theory. Simulation results verify the validity of the vectorial diffraction theory and demonstrate that the presented method can focus incident light waves with tilt angles from 0 to 89 degrees in a 6.25% area of the detection plane with an average focusing efficiency of 90.96%, proving the feasibility of omnidirectional focusing at the receiver end. Extra simulations further reveal that more layers do not lead to a sustained performance improvement but rather reach a bottleneck, and the D2NN can achieve omnidirectional focusing with a certain range of focusing region size. With more effort, the proposed receiver design, which can be highly integrated with detectors, holds promise to realize both omnidirectional and reliable link establishment in UWOC systems in the future.


title: Choquard equation involving mixed local and nonlocal operators

abstract: In this article, we study an elliptic problem involving an operator of mixed order with both local and nonlocal aspects and in the presence of critical nonlinearity of Hartree type. To this end, we first investigate the corresponding Hardy-Littlewood-Sobolev inequality and detect the optimal constant. Using variational methods and a Poho\v{z}aev identity we then show the existence and nonexistence results for the corresponding subcritical perturbation problem.


title: Successive Interference Cancellation for Bandlimited Channels with Direct Detection

abstract: The maximum information rates for bandlimited channels with direct detection are achieved with joint detection and decoding (JDD), but JDD is often too complex to implement. Two receiver structures are studied to reduce complexity: separate detection and decoding (SDD) and successive interference cancellation (SIC). For bipolar modulation, frequency-domain raised-cosine pulse shaping, and fiber-optic channels with chromatic dispersion, SIC achieves rates close to those of JDD, thereby attaining significant energy gains over SDD and intensity modulation. Gibbs sampling further reduces the detector complexity and achieves rates close to those of the forward-backward algorithm at low to intermediate signal-to-noise ratio (SNR) but stalls at high SNR. Simulations with polar codes, higher-order modulation, and multi-level coding confirm the predicted gains.


title: Hydrodynamic and hydrostatic limit for a generalized contact process with mixed boundary conditions

abstract: We consider an interacting particle system which models the sterile insect technique. It is the superposition of a generalized contact process with exchanges of particles on a finite cylinder with open boundaries (see Kuoch et al., 2017). We show that when the system is in contact with reservoirs at different slowdown rates, the hydrodynamic limit is a set of coupled non linear reaction-diffusion equations with mixed boundary conditions. We also prove the hydrostatic limit when the macroscopic equations exhibit a unique attractor.


title: Synthesizing Research on Programmers' Mental Models of Programs, Tasks and Concepts -- a Systematic Literature Review

abstract: Programmers' mental models represent their knowledge and understanding of programs, programming concepts, and programming in general. They guide programmers' work and influence their task performance. Understanding mental models is important for designing work systems and practices that support programmers. Although the importance of programmers' mental models is widely acknowledged, research on mental models has decreased over the years. The results are scattered and do not take into account recent developments in software engineering. We analyze the state of research into programmers' mental models and provide an overview of existing research. We connect results on mental models from different strands of research to form a more unified knowledge base on the topic. We conducted a systematic literature review on programmers' mental models. We analyzed literature addressing mental models in different contexts, including mental models of programs, programming tasks, and programming concepts. Using nine search engines, we found 3678 articles (excluding duplicates). 84 were selected for further analysis. Using the snowballing technique, we obtained a final result set containing 187 articles. We show that the literature shares a kernel of shared understanding of mental models. By collating and connecting results on mental models from different fields of research, we uncovered some well-researched aspects, which we argue are fundamental characteristics of programmers' mental models. This work provides a basis for future work on mental models. The research field on programmers' mental models still faces many challenges rising from a lack of a shared knowledge base and poorly defined constructs. We created a unified knowledge base on the topic. We also point to directions for future studies. In particular, we call for studies that examine programmers working with modern practices and tools.


title: DOPAMINE: Doppler frequency and Angle of arrival MINimization of tracking Error for extended reality

abstract: In this paper, we investigate how Joint Communication And Sensing (JCAS) can be used to improve the Inertial Measurement Unit (IMU)- based tracking accuracy of eXtended Reality (XR) Head-Mounted Displays (HMDs). Such tracking is used when optical and InfraRed (IR) tracking is lost, and its lack of accuracy can lead to disruption of the user experience. In particular, we analyze the impact of using doppler-based speed estimation to aid the accelerometer-based position estimation, and Angle of Arrival (AoA) estimation to aid the gyroscope-based orientation estimation. Although less accurate than IMUs for short times in fact, the JCAS based methods require one fewer integration step, making the tracking more sustainable over time. Based on the proposed model, we conclude that at least in the case of the position estimate, introducing JCAS can make long lasting optical/IR tracking losses more sustainable.


title: Real-time Curative Actions for Power Systems via Online Feedback Optimization

abstract: Curative or remedial actions are the set of immediate actions intended to bring the power grid to a safe operating point after a contingency. The effectiveness of these actions is essential to guarantee curative N-1 security. Nowadays, curative actions are derived ahead of time, based on the anticipated future grid state. Due to the shift from steady to volatile energy resources, the grid state will frequently change and the curative actions would need to be pre-planned increasingly often. Furthermore, with the shift from large bulk production to many small decentralized energy sources more devices need to be actuated simultaneously to achieve the same outcome. Instead of pre-planning, we propose to calculate these complex curative actions in real-time after the occurrence of a contingency. We show how the method of Online Feedback Optimization (OFO) is well suited for this task. As a preliminary demonstration of these capabilities, we use an (OFO) controller, that after a fault, reduces the voltage difference over a breaker to enable the operators to reclose it. This test case is inspired by the 2003 Swiss-Italian blackout, which was caused by a relatively minor incident followed by ineffective curative actions. Finally, we identify and discuss some open questions, including closed-loop stability and robustness to model mismatch.


title: DeepLSD: Line Segment Detection and Refinement with Deep Image Gradients

abstract: Line segments are ubiquitous in our human-made world and are increasingly used in vision tasks. They are complementary to feature points thanks to their spatial extent and the structural information they provide. Traditional line detectors based on the image gradient are extremely fast and accurate, but lack robustness in noisy images and challenging conditions. Their learned counterparts are more repeatable and can handle challenging images, but at the cost of a lower accuracy and a bias towards wireframe lines. We propose to combine traditional and learned approaches to get the best of both worlds: an accurate and robust line detector that can be trained in the wild without ground truth lines. Our new line segment detector, DeepLSD, processes images with a deep network to generate a line attraction field, before converting it to a surrogate image gradient magnitude and angle, which is then fed to any existing handcrafted line detector. Additionally, we propose a new optimization tool to refine line segments based on the attraction field and vanishing points. This refinement improves the accuracy of current deep detectors by a large margin. We demonstrate the performance of our method on low-level line detection metrics, as well as on several downstream tasks using multiple challenging datasets. The source code and models are available at https://github.com/cvg/DeepLSD.


title: COLA: Improving Conversational Recommender Systems by Collaborative Augmentation

abstract: Conversational recommender systems (CRS) aim to employ natural language conversations to suggest suitable products to users. Understanding user preferences for prospective items and learning efficient item representations are crucial for CRS. Despite various attempts, earlier studies mostly learned item representations based on individual conversations, ignoring item popularity embodied among all others. Besides, they still need support in efficiently capturing user preferences since the information reflected in a single conversation is limited. Inspired by collaborative filtering, we propose a collaborative augmentation (COLA) method to simultaneously improve both item representation learning and user preference modeling to address these issues. We construct an interactive user-item graph from all conversations, which augments item representations with user-aware information, i.e., item popularity. To improve user preference modeling, we retrieve similar conversations from the training corpus, where the involved items and attributes that reflect the user's potential interests are used to augment the user representation through gate control. Extensive experiments on two benchmark datasets demonstrate the effectiveness of our method. Our code and data are available at https://github.com/DongdingLin/COLA.


title: A scalable framework for annotating photovoltaic cell defects in electroluminescence images

abstract: The correct functioning of photovoltaic (PV) cells is critical to ensuring the optimal performance of a solar plant. Anomaly detection techniques for PV cells can result in significant cost savings in operation and maintenance (O&M). Recent research has focused on deep learning techniques for automatically detecting anomalies in Electroluminescence (EL) images. Automated anomaly annotations can improve current O&M methodologies and help develop decision-making systems to extend the life-cycle of the PV cells and predict failures. This paper addresses the lack of anomaly segmentation annotations in the literature by proposing a combination of state-of-the-art data-driven techniques to create a Golden Standard benchmark. The proposed method stands out for (1) its adaptability to new PV cell types, (2) cost-efficient fine-tuning, and (3) leverage public datasets to generate advanced annotations. The methodology has been validated in the annotation of a widely used dataset, obtaining a reduction of the annotation cost by 60%.


title: CLAM: Selective Clarification for Ambiguous Questions with Generative Language Models

abstract: Users often ask dialogue systems ambiguous questions that require clarification. We show that current language models rarely ask users to clarify ambiguous questions and instead provide incorrect answers. To address this, we introduce CLAM: a framework for getting language models to selectively ask for clarification about ambiguous user questions. In particular, we show that we can prompt language models to detect whether a given question is ambiguous, generate an appropriate clarifying question to ask the user, and give a final answer after receiving clarification. We also show that we can simulate users by providing language models with privileged information. This lets us automatically evaluate multi-turn clarification dialogues. Finally, CLAM significantly improves language models' accuracy on mixed ambiguous and unambiguous questions relative to SotA.


title: Calculation of the High-Energy Neutron Flux for Anticipating Errors and Recovery Techniques in Exascale Supercomputer Centres

abstract: The age of exascale computing has arrived and the risks associated with neutron and other atmospheric radiation are becoming more critical as the computing power increases, hence, the expected Mean Time Between Failures will be reduced because of this radiation. In this work, a new and detailed calculation of the neutron flux for energies above 50 MeV is presented. This has been done by using state-of-the-art Monte Carlo astroparticle techniques and including real atmospheric profiles at each one of the next 23 exascale supercomputing facilities. Atmospheric impact in the flux and seasonal variations were observed and characterised, and the barometric coefficient for high-energy neutrons at each site was obtained. With these coefficients, potential risks of errors associated with the increase in the flux of energetic neutrons, such as the occurrence of single event upsets or transients, and the corresponding failure-in-time rates, can be anticipated just by using the atmospheric pressure before the assignation of resources to critical tasks at each exascale facility. For more clarity, examples about how the rate of failures is affected by the cosmic rays are included, so administrators will better anticipate which more or less restrictive actions could take for overcoming errors.


title: Temporal Saliency Detection Towards Explainable Transformer-based Timeseries Forecasting

abstract: Despite the notable advancements in numerous Transformer-based models, the task of long multi-horizon time series forecasting remains a persistent challenge, especially towards explainability. Focusing on commonly used saliency maps in explaining DNN in general, our quest is to build attention-based architecture that can automatically encode saliency-related temporal patterns by establishing connections with appropriate attention heads. Hence, this paper introduces Temporal Saliency Detection (TSD), an effective approach that builds upon the attention mechanism and applies it to multi-horizon time series prediction. While our proposed architecture adheres to the general encoder-decoder structure, it undergoes a significant renovation in the encoder component, wherein we incorporate a series of information contracting and expanding blocks inspired by the U-Net style architecture. The TSD approach facilitates the multiresolution analysis of saliency patterns by condensing multi-heads, thereby progressively enhancing the forecasting of complex time series data. Empirical evaluations illustrate the superiority of our proposed approach compared to other models across multiple standard benchmark datasets in diverse far-horizon forecasting settings. The initial TSD achieves substantial relative improvements of 31% and 46% over several models in the context of multivariate and univariate prediction. We believe the comprehensive investigations presented in this study will offer valuable insights and benefits to future research endeavors.


title: Photometric and Spectroscopic Observations of GRB 210104A: Bright Reverse shock Emission and Dense Circumburst Environment

abstract: Early afterglow observations of gamma-ray bursts (GRBs) are valuable for exploring the properties of their jets and ambient medium. We report our photometric and spectroscopic observations of GRB 210104A and discuss its jet properties with multiwavelength data. Our spectroscopic observation reveals several absorption features and a tentative redshift of 0.46 is identified. A bright optical flare that has a peak brightness of $R=13$ mag at $112\pm 7$~s was observed in the $R$ band during $67\sim 165$ seconds post the GRB trigger. The flux of the $R$-band afterglow decays with a slope of $\alpha_{\rm O}={-0.91\pm 0.03}$ at $t>650$~s. The early X-ray afterglow lightcurve is a smooth bump, and it decays with a slope of $\alpha_{\rm X}=-1.18\pm 0.01$ at late epoch. Our joint spectral fit to the optical-X-ray afterglows during $(1.1-1.3)\times 10^{4}$~s yields a photon index $\Gamma_{\rm O,X}=-1.82\pm 0.04$. The derived host galaxy extinction is $A_{R}=0.87$. Attributing the early optical flare to the reverse-shock (RS) emission and the late optical-X-ray emission to the forward shock emission; the optical and X-ray lightcurves at $t<3\times 10^4$~s can be well fit adopting an Markov Chain Monte Carlo algorithm. Comparing the properties of GRB 210104A with other GRBs that have detection of bright RS emission, we show that its jet is mildly magnetized ($R_{\rm B}=28$), with high radiation efficiency ($77\%$), is sub-energetic ($E_{\rm k, iso}=4.5\times 10^{51}$ erg), and moderately relativistic ($\Gamma_0\sim 35$) in a density medium ($n_{0}\sim 417\;{\rm cm}^{-3}$). It follows the tight $L_{\gamma,\rm iso}-E_{\rm p,z}-\Gamma_{0}$ relation as with typical GRBs.


title: Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks

abstract: Runtime monitoring provides a more realistic and applicable alternative to verification in the setting of real neural networks used in industry. It is particularly useful for detecting out-of-distribution (OOD) inputs, for which the network was not trained and can yield erroneous results. We extend a runtime-monitoring approach previously proposed for classification networks to perception systems capable of identification and localization of multiple objects. Furthermore, we analyze its adequacy experimentally on different kinds of OOD settings, documenting the overall efficacy of our approach.


title: Convergence of the Eberlein diagonalization method under the generalized serial pivot strategies

abstract: The Eberlein method is a Jacobi-type process for solving the eigenvalue problem of an arbitrary matrix. In each iteration two transformations are applied on the underlying matrix, a plane rotation and a non-unitary elementary transformation. The paper studies the method under the broad class of generalized serial pivot strategies. We prove the global convergence of the Eberlein method under the generalized serial pivot strategies with permutations and present several numerical examples.


title: Calibrating AI Models for Wireless Communications via Conformal Prediction

abstract: When used in complex engineered systems, such as communication networks, artificial intelligence (AI) models should be not only as accurate as possible, but also well calibrated. A well-calibrated AI model is one that can reliably quantify the uncertainty of its decisions, assigning high confidence levels to decisions that are likely to be correct and low confidence levels to decisions that are likely to be erroneous. This paper investigates the application of conformal prediction as a general framework to obtain AI models that produce decisions with formal calibration guarantees. Conformal prediction transforms probabilistic predictors into set predictors that are guaranteed to contain the correct answer with a probability chosen by the designer. Such formal calibration guarantees hold irrespective of the true, unknown, distribution underlying the generation of the variables of interest, and can be defined in terms of ensemble or time-averaged probabilities. In this paper, conformal prediction is applied for the first time to the design of AI for communication systems in conjunction to both frequentist and Bayesian learning, focusing on demodulation, modulation classification, and channel prediction.


title: Enhancing Indic Handwritten Text Recognition Using Global Semantic Information

abstract: Handwritten Text Recognition (HTR) is more interesting and challenging than printed text due to uneven variations in the handwriting style of the writers, content, and time. HTR becomes more challenging for the Indic languages because of (i) multiple characters combined to form conjuncts which increase the number of characters of respective languages, and (ii) near to 100 unique basic Unicode characters in each Indic script. Recently, many recognition methods based on the encoder-decoder framework have been proposed to handle such problems. They still face many challenges, such as image blur and incomplete characters due to varying writing styles and ink density. We argue that most encoder-decoder methods are based on local visual features without explicit global semantic information. In this work, we enhance the performance of Indic handwritten text recognizers using global semantic information. We use a semantic module in an encoder-decoder framework for extracting global semantic information to recognize the Indic handwritten texts. The semantic information is used in both the encoder for supervision and the decoder for initialization. The semantic information is predicted from the word embedding of a pre-trained language model. Extensive experiments demonstrate that the proposed framework achieves state-of-the-art results on handwritten texts of ten Indic languages.


title: $\ell$-Complementary Subspaces and Codes in Finite Bilinear Spaces

abstract: We consider (symmetric, non-degenerate) bilinear spaces over a finite field and investigate the properties of their $\ell$-complementary subspaces, i.e., the subspaces that intersect their dual in dimension $\ell$. This concept generalizes that of a totally isotropic subspace and, in the context of coding theory, specializes to the notions of self-orthogonal, self-dual and linear-complementary-dual (LCD) codes. In this paper, we focus on the enumerative and asymptotic combinatorics of all these objects, giving formulas for their numbers and describing their typical behavior (rather than the behavior of a single object). For example, we give a closed formula for the average weight distribution of an $\ell$-complementary code in the Hamming metric, generalizing a result by Pless and Sloane on the aggregate weight enumerator of binary self-dual codes. Our results also show that self-orthogonal codes, despite being very sparse in the set of codes of the same dimension over a large field, asymptotically behave quite similarly to a typical, not necessarily self-orthogonal, code. In particular, we prove that most self-orthogonal codes are MDS over a large field by computing the asymptotic proportion of the non-MDS ones for growing field size.


title: Efficient Visual Computing with Camera RAW Snapshots

abstract: Conventional cameras capture image irradiance on a sensor and convert it to RGB images using an image signal processor (ISP). The images can then be used for photography or visual computing tasks in a variety of applications, such as public safety surveillance and autonomous driving. One can argue that since RAW images contain all the captured information, the conversion of RAW to RGB using an ISP is not necessary for visual computing. In this paper, we propose a novel $\rho$-Vision framework to perform high-level semantic understanding and low-level compression using RAW images without the ISP subsystem used for decades. Considering the scarcity of available RAW image datasets, we first develop an unpaired CycleR2R network based on unsupervised CycleGAN to train modular unrolled ISP and inverse ISP (invISP) models using unpaired RAW and RGB images. We can then flexibly generate simulated RAW images (simRAW) using any existing RGB image dataset and finetune different models originally trained for the RGB domain to process real-world camera RAW images. We demonstrate object detection and image compression capabilities in RAW-domain using RAW-domain YOLOv3 and RAW image compressor (RIC) on snapshots from various cameras. Quantitative results reveal that RAW-domain task inference provides better detection accuracy and compression compared to RGB-domain processing. Furthermore, the proposed \r{ho}-Vision generalizes across various camera sensors and different task-specific models. Additional advantages of the proposed $\rho$-Vision that eliminates the ISP are the potential reductions in computations and processing times.


title: Comparing Voting Districts with Uncertain Data Envelopment Analysis

abstract: Gerrymandering voting districts is one of the most salient concerns of contemporary American society, and the creation of new voting maps, along with their subsequent legal challenges, speaks for much of our modern political discourse. The legal, societal, and political debate over serviceable voting districts demands a concept of fairness, which is a loosely characterized, but amorphous, concept that has evaded precise definition. We advance a new paradigm to compare voting maps that avoids the pitfalls associated with an a priori metric being used to uniformly assess maps. Our evaluative method instead shows how to use uncertain data envelopment analysis to assess maps on a variety of metrics, a tactic that permits each district to be assessed separately and optimally. We test our methodology on a collection of proposed and publicly available maps to illustrate our assessment strategy.


title: General inequalities and new shape operator inequality for contact CR-warped product submanifolds in cosymplectic space form

abstract: We establish two main inequalities; one for the norm of the second fundamental form and the other for the matrix of the shape operator. The results obtained are for cosymplectic manifolds and, for these, we show that the contact warped product submanifolds naturally possess a geometric property; namely $\mathcal{D}_1$-minimality which, by means of the Gauss equation, allows us to obtain an optimal general inequality. For sake of generalization, we state our hypotheses for nearly cosymplectic manifolds, then we obtain them as particular cases for cosymplectic manifolds. For the other part of the paper, we derived some inequalities and applied them to construct and introduce a shape operator inequality for cosimpleptic manifolds involving the harmonic series. As further research directions, we have addressed a couple of open problems arose naturally during this work and which depend on its results.


title: Joint Channel Estimation and Equalization in Massive MIMO Using a Single Pilot Subcarrier

abstract: The focus of this letter is on the reduction of the large pilot overhead in orthogonal frequency division multiplexing (OFDM) based massive multiple-input multiple-output (MIMO) systems. We propose a novel joint channel estimation and equalization technique that requires only one pilot subcarrier, reducing the pilot overhead by orders of magnitude. We take advantage of the coherent bandwidth spanning over multiple subcarrier bands. This allows for a band of subcarriers to be equalized with the channel frequency response (CFR) at a single subcarrier. Subsequently, the detected data symbols are considered as virtual pilots, and their CFRs are updated without additional pilot overhead. Thereafter, the remaining channel estimation and equalization can be performed in a sliding manner. With this approach, we use multiple channel estimates to equalize the data at each subcarrier. This allows us to take advantage of frequency diversity and improve the detection performance. Finally, we corroborate the above claims through extensive numerical analysis, showing the superior performance of our proposed technique compared to conventional methods.


title: Universality and beyond in optical microcavity billiards with source-induced dynamics

abstract: Optical microcavity billiards are a paradigm of a mesoscopic model system for quantum chaos. We demonstrate the action and origin of ray-wave correspondence in real and phase space using far field emission characteristics and Husimi functions. Whereas universality induced by the invariant-measure dominated far field emission is known to be a feature shaping the properties of many lasing optical microcavities, the situation changes in the presence of sources that we discuss here. We investigate the source-induced dynamics and the resulting limits of universality while we find ray-picture results to remain a useful tool in order to understand the wave behaviour of optical microcavities with sources. We demonstrate the source-induced dynamics in phase space from the source ignition until a stationary regime is reached comparing results from ray, ray-with-phase, and wave simulations and explore ray-wave correpondence.


title: Efficient iterative arbitrary high order methods: an adaptive bridge between low and high order

abstract: We propose a new paradigm for designing efficient p-adaptive arbitrary high order methods. We consider arbitrary high order iterative schemes that gain one order of accuracy at each iteration and we modify them in order to match the accuracy achieved in a specific iteration with the discretization accuracy of the same iteration. Apart from the computational advantage, the new modified methods allow to naturally perform p-adaptivity, stopping the iterations when appropriate conditions are met. Moreover, the modification is very easy to be included in an existing implementation of an arbitrary high order iterative scheme and it does not ruin the possibility of parallelization, if this was achievable by the original method. An application to the Arbitrary DERivative (ADER) method for hyperbolic Partial Differential Equations (PDEs) is presented here. We explain how such framework can be interpreted as an arbitrary high order iterative scheme, by recasting it as a Deferred Correction (DeC) method, and how to easily modify it to obtain a more efficient formulation, in which a local a posteriori limiter can be naturally integrated leading to p-adaptivity and structure preserving properties. Finally, the novel approach is extensively tested against classical benchmarks for compressible gas dynamics to show the robustness and the computational efficiency.


title: RTMDet: An Empirical Study of Designing Real-Time Object Detectors

abstract: In this paper, we aim to design an efficient real-time object detector that exceeds the YOLO series and is easily extensible for many object recognition tasks such as instance segmentation and rotated object detection. To obtain a more efficient model architecture, we explore an architecture that has compatible capacities in the backbone and neck, constructed by a basic building block that consists of large-kernel depth-wise convolutions. We further introduce soft labels when calculating matching costs in the dynamic label assignment to improve accuracy. Together with better training techniques, the resulting object detector, named RTMDet, achieves 52.8% AP on COCO with 300+ FPS on an NVIDIA 3090 GPU, outperforming the current mainstream industrial detectors. RTMDet achieves the best parameter-accuracy trade-off with tiny/small/medium/large/extra-large model sizes for various application scenarios, and obtains new state-of-the-art performance on real-time instance segmentation and rotated object detection. We hope the experimental results can provide new insights into designing versatile real-time object detectors for many object recognition tasks. Code and models are released at https://github.com/open-mmlab/mmdetection/tree/3.x/configs/rtmdet.


title: Projection hypothesis in the setting for the quantum Jarzynski equality

abstract: Projective quantum measurement is a theoretically accepted process in modern quantum mechanics. However, its projection hypothesis is widely regarded as an experimentally established empirical law. In this paper, we combine a previous result regarding the realization of a Hamiltonian process of the projection hypothesis in projective quantum measurement, where the complete set of the orbital observables of the center of mass of a macroscopic quantum mechanical system is restricted to a set of mutually commuting classical observables, and a previous result regarding the work required for an event reading (i.e., the informatical process in projective quantum measurement). Then, a quantum thermodynamic scheme is proposed for experimentally testing these two mutually independent theoretical results of projective quantum measurement simultaneously.


title: Convergent Data-driven Regularizations for CT Reconstruction

abstract: The reconstruction of images from their corresponding noisy Radon transform is a typical example of an ill-posed linear inverse problem as arising in the application of computerized tomography (CT). As the (naive) solution does not depend on the measured data continuously, regularization is needed to re-establish a continuous dependence. In this work, we investigate simple, but yet still provably convergent approaches to learning linear regularization methods from data. More specifically, we analyze two approaches: One generic linear regularization that learns how to manipulate the singular values of the linear operator in an extension of our previous work, and one tailored approach in the Fourier domain that is specific to CT-reconstruction. We prove that such approaches become convergent regularization methods as well as the fact that the reconstructions they provide are typically much smoother than the training data they were trained on. Finally, we compare the spectral as well as the Fourier-based approaches for CT-reconstruction numerically, discuss their advantages and disadvantages and investigate the effect of discretization errors at different resolutions.


title: Modelling of human exhaled sprays and aerosols to enable real-time estimation of spatially-resolved infection risk in indoor environments

abstract: A numerical framework for the 'real-time' estimation of the infection risk from airborne diseases (e.g., SARS-CoV-2) in indoor spaces such as hospitals, restaurants, cinemas or teaching rooms is proposed. The developed model is based on the use of computational fluid dynamics as a pre-processor to obtain the time-averaged ventilation pattern inside a room, and a post-processing tool for the computation of the dispersion of sprays and aerosols emitted by its occupants in 'real time'. The model can predict the dispersion and concentration of droplets carrying viable viral copies in the air, the contamination of surfaces, and the related spatially-resolved infection risk. It may therefore provide useful information for the management of indoor environments in terms of, e.g., maximum occupancy, air changes per hour and cleaning of surfaces. This work describes the fundamentals of the model and its main characteristics. The model was developed using open-source software and is conceived to be simple, user-friendly and highly automated to enable any potential user to perform estimations of the local infection risk.


title: Geometric theory of composition operators on Sobolev spaces

abstract: In this paper we give the basic concepts of the geometric theory of composition operators on Sobolev spaces. The main objects are topological mappings which generate the bounded embedding operators on Sobolev spaces by the composition rule. This theory is in some sense a "generalization" of the theory of quasiconformal mappings, but the theory of composition operators is oriented to its applications to the Sobolev embedding theorems, the spectral theory of elliptic operators and the continuum mechanics problems.


title: Cross-Platform Verification in Quantum Networks

abstract: Intermediate-scale quantum devices are becoming more reliable, and may soon be harnessed to solve useful computational tasks. At the same time, common classical methods used to verify their computational output become intractable due to a prohibitive scaling of required resources with system size. Inspired by recent experimental progress, here we describe and analyze efficient cross-platform verification protocols for quantum states and show how these can be used to verify computations. We focus on the pair-wise comparison between distant nodes of a quantum network, identify the most promising protocols and then discuss how they can be implemented in laboratory settings. As a proof of principle, we implement basic versions of these schemes on available quantum processors.


title: Population Template-Based Brain Graph Augmentation for Improving One-Shot Learning Classification

abstract: The challenges of collecting medical data on neurological disorder diagnosis problems paved the way for learning methods with scarce number of samples. Due to this reason, one-shot learning still remains one of the most challenging and trending concepts of deep learning as it proposes to simulate the human-like learning approach in classification problems. Previous studies have focused on generating more accurate fingerprints of the population using graph neural networks (GNNs) with connectomic brain graph data. Thereby, generated population fingerprints named connectional brain template (CBTs) enabled detecting discriminative bio-markers of the population on classification tasks. However, the reverse problem of data augmentation from single graph data representing brain connectivity has never been tackled before. In this paper, we propose an augmentation pipeline in order to provide improved metrics on our binary classification problem. Divergently from the previous studies, we examine augmentation from a single population template by utilizing graph-based generative adversarial network (gGAN) architecture for a classification problem. We benchmarked our proposed solution on AD/LMCI dataset consisting of brain connectomes with Alzheimer's Disease (AD) and Late Mild Cognitive Impairment (LMCI). In order to evaluate our model's generalizability, we used cross-validation strategy and randomly sampled the folds multiple times. Our results on classification not only provided better accuracy when augmented data generated from one sample is introduced, but yields more balanced results on other metrics as well.


title: A Model Theory for the Potential Infinite

abstract: We present the model theoretic concepts that allow mathematics to be developed with the notion of the potential infinite instead of the actual infinite. The potential infinite is understood as a dynamic notion, being an indefinitely extensible finite. The main adoption is the interpretation of the universal quantifier, which has an implicit reflection principle. Each universal quantification refers to an indefinitely large, but finite set. The quantified sets may increase, so after a reference by quantification, a further reference typically uses a larger, still finite set. We present the concepts for classical first-order logic and show that these dynamic models are sound and complete with respect to the usual inference rules. Moreover, a finite set of formulas requires a finite part of the increasing model for a correct interpretation.


title: Detecting Bone Lesions in X-Ray Under Diverse Acquisition Conditions

abstract: The diagnosis of primary bone tumors is challenging, as the initial complaints are often non-specific. Early detection of bone cancer is crucial for a favorable prognosis. Incidentally, lesions may be found on radiographs obtained for other reasons. However, these early indications are often missed. In this work, we propose an automatic algorithm to detect bone lesions in conventional radiographs to facilitate early diagnosis. Detecting lesions in such radiographs is challenging: first, the prevalence of bone cancer is very low; any method must show high precision to avoid a prohibitive number of false alarms. Second, radiographs taken in health maintenance organizations (HMOs) or emergency departments (EDs) suffer from inherent diversity due to different X-ray machines, technicians and imaging protocols. This diversity poses a major challenge to any automatic analysis method. We propose to train an off-the-shelf object detection algorithm to detect lesions in radiographs. The novelty of our approach stems from a dedicated preprocessing stage that directly addresses the diversity of the data. The preprocessing consists of self-supervised region-of-interest detection using vision transformer (ViT), and a foreground-based histogram equalization for contrast enhancement to relevant regions only. We evaluate our method via a retrospective study that analyzes bone tumors on radiographs acquired from January 2003 to December 2018 under diverse acquisition protocols. Our method obtains 82.43% sensitivity at 1.5% false-positive rate and surpasses existing preprocessing methods. For lesion detection, our method achieves 82.5% accuracy and an IoU of 0.69. The proposed preprocessing method enables to effectively cope with the inherent diversity of radiographs acquired in HMOs and EDs.


title: Tetraquarks and pentaquarks in lattice QCD with light and heavy quarks

abstract: We review how lattice QCD can contribute to the prediction and the comprehension of tetraquarks, pentaquarks and related exotic hadrons, with at least one heavy quark. We include all families of exotic hadrons, except for the quarkless glueballs and the hexaquarks which are related to nuclear physics. Since the discovery of quarks and the development of the QCD theory, there has been a large interest in exotic hadrons, initiated by the tetraquark models developed by Jaffe in 1977. Lattice QCD, being a first principle approach to solve non-perturbative QCD, has been crucial not only to compute precise results, but also to inspire research in hadronic physics. In the new millennium, this interest exploded with several experimental discoveries of tetraquark and pentaquark resonances with heavy quarks, starting with the Zc and Zb. Lattice QCD has not yet been able to comprehend this Z class of tetraquarks, and is developing new methods to determine their masses, decay widths and decay processes. The interest in tetraquarks was also fuelled by the lattice QCD prediction of a second class of tetraquarks such as the Tbb, boundstates in the sense of having no strong decays. Recently, the Tcc tetraquark, first predicted with quark models in 1982 by Richard et al, was observed experimentally. We expect the lattice QCD community will be able to explore this T class of tetraquarks in more detail and with very precise results. We report on all the different direct and indirect approaches that lattice QCD, with more focus on tetraquarks, has been employing to study exotic hadrons with at least one heavy quark. We also briefly review the experimental progress in observing tetraquarks and pentaquarks, and some of the theoretical paradigms of tetraquarks, including three different types of mechanisms (diquark, molecular and s pole), comparing them with the results of lattice QCD.


title: $C$ and $CP$ violation in effective field theories

abstract: The quest for new sources of the simultaneous violation of $C$ and $CP$ symmetry was popular in the 1960s and has since been mostly neglected for more than half a century. In this work we revisit fundamental quark-level operators that break $C$ and $CP$ up to and including mass dimension 8 for flavor-conserving transitions, relying on the complete operator sets of the so-called Standard Model effective field theory and the low-energy effective field theory. With the formalism of chiral perturbation theory, we match these quark operators to light-meson physics, derive $C$- and $CP$-odd Lagrangians for several processes in the $\eta$, $\eta'$, and pion sectors, and furthermore, as a proof of principle, give estimates for the respective observables in explicit dependence of the underlying high-energy scale for new physics.


title: Online Feedback Optimization for Subtransmission Grid Control

abstract: The increasing electric power consumption and the shift towards renewable energy resources demand for new ways to operate transmission and subtransmission grids. Online Feedback Optimization (OFO) is a feedback control method that enables real-time, constrained, and optimal control of these grids. Such controllers can minimize, e.g., curtailment and losses while satisfying grid constraints like voltage and current limits. We tailor and extend the OFO control method to handle discrete inputs and explain how to design an OFO controller for the subtransmission grid. We present a novel and publicly available benchmark which is of the real French subtransmission grid on which we analyze the proposed controller in terms of robustness against model mismatch, constraint satisfaction, and tracking performance. Overall, we show that OFO controllers can help utilize the grid to its full extent, virtually reinforce it, and operate it optimally and in real-time by using flexibility offered by renewable generators connected to distribution grids.


title: CREPE: Can Vision-Language Foundation Models Reason Compositionally?

abstract: A fundamental characteristic common to both human vision and natural language is their compositional nature. Yet, despite the performance gains contributed by large vision and language pretraining, we find that: across 7 architectures trained with 4 algorithms on massive datasets, they struggle at compositionality. To arrive at this conclusion, we introduce a new compositionality evaluation benchmark, CREPE, which measures two important aspects of compositionality identified by cognitive science literature: systematicity and productivity. To measure systematicity, CREPE consists of a test dataset containing over $370K$ image-text pairs and three different seen-unseen splits. The three splits are designed to test models trained on three popular training datasets: CC-12M, YFCC-15M, and LAION-400M. We also generate $325K$, $316K$, and $309K$ hard negative captions for a subset of the pairs. To test productivity, CREPE contains $17K$ image-text pairs with nine different complexities plus $183K$ hard negative captions with atomic, swapping and negation foils. The datasets are generated by repurposing the Visual Genome scene graphs and region descriptions and applying handcrafted templates and GPT-3. For systematicity, we find that model performance decreases consistently when novel compositions dominate the retrieval set, with Recall@1 dropping by up to $12\%$. For productivity, models' retrieval success decays as complexity increases, frequently nearing random chance at high complexity. These results hold regardless of model and training dataset size.


title: On the ill-posed Cauchy problem for the polyharmonic heat equation

abstract: We consider the ill-posed Cauchy problem for the polyharmonic heat equation on recovering a function, satisfying the equation $(\partial _t + (- \Delta)^m) u=0$ in a cylindrical domain in the half-space ${\mathbb R}^n \times [0,+\infty)$, where $n\geq 1$, $m\geq 1$ and $\Delta$ is the Laplace operator, via its values and the values of its normal derivatives up to order $(2m-1)$ on a given part of the lateral surface of the cylinder. We obtain a Uniqueness Theorem for the problem and a criterion of its solvability in terms of the real-analytic continuation of parabolic potentials, associated with the Cauchy data.


title: Utilizing Background Knowledge for Robust Reasoning over Traffic Situations

abstract: Understanding novel situations in the traffic domain requires an intricate combination of domain-specific and causal commonsense knowledge. Prior work has provided sufficient perception-based modalities for traffic monitoring, in this paper, we focus on a complementary research aspect of Intelligent Transportation: traffic understanding. We scope our study to text-based methods and datasets given the abundant commonsense knowledge that can be extracted using language models from large corpus and knowledge graphs. We adopt three knowledge-driven approaches for zero-shot QA over traffic situations, based on prior natural language inference methods, commonsense models with knowledge graph self-supervision, and dense retriever-based models. We constructed two text-based multiple-choice question answering sets: BDD-QA for evaluating causal reasoning in the traffic domain and HDT-QA for measuring the possession of domain knowledge akin to human driving license tests. Among the methods, Unified-QA reaches the best performance on the BDD-QA dataset with the adaptation of multiple formats of question answers. Language models trained with inference information and commonsense knowledge are also good at predicting the cause and effect in the traffic domain but perform badly at answering human-driving QA sets. For such sets, DPR+Unified-QA performs the best due to its efficient knowledge extraction.


title: Metastability and quantum coherence-assisted sensing in interacting parallel quantum dots

abstract: We study the transient dynamics subject to quantum coherence effects of two interacting parallel quantum dots weakly coupled to macroscopic leads. The stationary particle current of this quantum system is sensitive to perturbations much smaller than any other energy scale, specifically compared to the system-lead coupling and the temperature. We show that this is due to the presence of a parity-like symmetry in the dynamics, as a consequence of which, two distinct stationary states arise. In the presence of small perturbations breaking this symmetry, the system exhibits metastability with two metastable phases that can be approximated by a combination of states corresponding to stationary states in the unperturbed limit. Furthermore, the long-time dynamics can be described as classical dynamics between those phases, leading to a unique stationary state. In particular, the competition of those two metastable phases explains the sensitive behavior of the stationary current towards small perturbations. We show that this behavior bears the potential of utilizing the parallel dots as a charge sensor which makes use of quantum coherence effects to achieve a signal to noise ratio that is not limited by the temperature. As a consequence, the parallel dots outperform an analogous single-dot charge sensor for a wide range of temperatures.


title: Locally covariant approach to effective quantum gravity

abstract: Despite the fact that quantum gravity is non-renormalisable, a consistent and mathematically rigorous construction of a perturbation series is possible. This is based on the use of the Batalin-Vilkovisky-Becchi-Rouet-Stora-Tyutin formalism for gauge theories, the methods of perturbative algebraic quantum field theory and the principle of local covariance. The truncation of the series can be interpreted as an effective quantum field theory which provides predictions for observations at sufficiently small energy scales. Quantum cosmology can be seen as its lowest order expansion, and precision measurements on the cosmic microwave background yield the first empirical test of this approach to quantum gravity.


title: Dynamic mutation enhanced greedy strategy for wavefront shaping

abstract: Optical focusing through scattering media has important implications for optical applications in medicine, communications, and detection. In recent years, many wavefront shaping methods have been successfully applied to the field, among which the population optimization algorithm has achieved remarkable results. However, the current population optimization algorithm has some drawbacks: 1. the offspring do not fully inherit the good genes from the parent. 2. more efforts are needed to tune the parameters. In this paper, we propose the mutate greedy algorithm. It combines greedy strategies and real-time feedback of mutation rates to generate offspring. In wavefront shaping, people can realize high enhancement and fast convergence without a parameter-tuning process.


title: Chaotic Variational Auto Encoder based One Class Classifier for Insurance Fraud Detection

abstract: Of late, insurance fraud detection has assumed immense significance owing to the huge financial & reputational losses fraud entails and the phenomenal success of the fraud detection techniques. Insurance is majorly divided into two categories: (i) Life and (ii) Non-life. Non-life insurance in turn includes health insurance and auto insurance among other things. In either of the categories, the fraud detection techniques should be designed in such a way that they capture as many fraudulent transactions as possible. Owing to the rarity of fraudulent transactions, in this paper, we propose a chaotic variational autoencoder (C-VAE to perform one-class classification (OCC) on genuine transactions. Here, we employed the logistic chaotic map to generate random noise in the latent space. The effectiveness of C-VAE is demonstrated on the health insurance fraud and auto insurance datasets. We considered vanilla Variational Auto Encoder (VAE) as the baseline. It is observed that C-VAE outperformed VAE in both datasets. C-VAE achieved a classification rate of 77.9% and 87.25% in health and automobile insurance datasets respectively. Further, the t-test conducted at 1% level of significance and 18 degrees of freedom infers that C-VAE is statistically significant than the VAE.


title: Exploring extreme conditions for star formation: a deep search for molecular gas in the Leo ring

abstract: We carry out sensitive searches for the CO J=1-0 and J=2-1 lines in the giant extragalactic HI ring in Leo to investigate the star formation process within environments where gas metallicities are close to solar but physical conditions are different than those typical of bright galaxy disks. Our aim is to check the range of validity of known scaling relations. We use the IRAM-30m telescope to observe eleven regions close to HI gas peaks or where sparse young massive stars have been found. For all pointed observations we reached a spectral noise between 1 and 5~mK for at least one observed frequencies at 2~km/s spectral resolution. We marginally detect two CO J=1-0 lines in the star forming region Clump~1 of the Leo ring, whose radial velocities are consistent with those of Halpha lines but line widths are much smaller than observed for virialized molecular clouds of similar mass in galaxies. The low signal-to-noise ratio, the small line widths and the extremely low number densities suggest that a more standard population of molecular clouds, still undetected, might be in place. Using upper limits to the CO lines, the most sensitive pointed observations show that the molecular gas mass surface density is lower than expected from the extrapolation of the molecular Kennicutt-Schmidt relation established in the disk of galaxies. The sparse stellar population in the ring, possibly forming ultra diffuse dwarf galaxies, might then be the result of a short molecular gas depletion time in this extreme environment.}


title: Martingale Type, the Gamlen-Gaudet Construction and a Greedy Algorithm

abstract: In the present paper we identify those filtered probability spaces $(\Omega,\, \mathcal{F},\, \left(\mathcal{F}_n\right),\, \mathbb{P})$ that determine already the martingale type of a Banach space $X$. We isolate intrinsic conditions on the filtration $(\mathcal{F}_n)$ of purely atomic $\sigma$-algebras which determine that the upper $\ell^p$ estimates \[ \|f\|_{L^p(\Omega,\, X)}^p\leq C^p\left( \|\mathbb{E} f|\mathcal{F}_0\|^p_{L^p(\Omega,\, X)}+\sum_{n=1}^{\infty} \|\Delta_n f\|^p_{L^p(\Omega,\, X)}\right),\qquad f\in L^p(\Omega,X)\] imply that the Banach space $X$ is of martingale type $p$. Our paper complements \mbox{G. Pisier's} investigation \cite{Pisier1975} and continues the work by S. Geiss and second named author in \cite{Geiss2008}.


title: Duality and LP Bounds for Codes with Locality

abstract: We initiate the study of the duality theory of locally recoverable codes, with a focus on the applications. We characterize the locality of a code in terms of the dual code, and introduce a class of invariants that refine the classical weight distribution. In this context, we establish a duality theorem analogous to (but very different from) a MacWilliams identity. As an application of our results, we obtain two new bounds for the parameters of a locally recoverable code, including an LP bound that improves on the best available bounds in several instances.


title: Multipartite concurrence of W-class states based on sub-partite quantum systems

abstract: We study the concurrence for arbitrary N-partite W-class states based on the (N-1)-partite partitions of subsystems by taking account to the structures of W-class states. By using the method of permutation and combination we give analytical formula of concurrence and some elegant relations between the multipartite concurrence and the (N-1)-partite concurrence for arbitrary multipartite W-class states. Applying these relations we present better lower bounds of concurrence for multipartite mixed states. An example is given to demonstrate that our lower bounds can detect more entanglements.


title: Mean Number of Visible Confetti

abstract: We use a Monte Carlo simulation to estimate the mean number of visible confetti per unit square when the confetti are placed successively at random positions.


title: Factorization of Characteristic Functions of Iterated Liftings

abstract: We obtain a factorization of the characteristic function of a contractive two-step iterated lifting in terms of the characteristic functions of constituent liftings of the iterated lifting and the Julia-Halmos matrix. We also give an expression for the characteristic function of the minimal part of a contractive two-step iterated lifting as a restriction of the product of the characteristic functions of constituent liftings of the iterated lifting.


title: MineProt: modern application for custom protein curation

abstract: AI systems represented by AlphaFold are rapidly expanding the scale of protein structure modelling data, and the MineProt project provides an effective solution for custom curation of these novel high-throughput data. It enables researchers to build their own protein server in simple steps, run almost out-of-the-box scripts to annotate and curate their proteins, visualize, browse and search their data via a user-friendly online interface, and utilize plugins to extend the functionality of server. It is expected to support researcher productivity and facilitate data sharing in the new era of structural proteomics. MineProt is open-sourced at https://github.com/huiwenke/MineProt.


title: Isotropic Buchdahl's relativistic fluid sphere within $f(R,\,T)$ gravity

abstract: The aim of the research is to look into a new solution for isotropic compact stars in the context of the $f(R,\,T)$ theory of gravity. We used the Buchdahl [H.A. Buchdahl, Phys. Rev. {\bf 116} (1959) 1027] metric potentials as input to deal with the field equations in the $f(R,\,T)$ framework. For different values of the coupling parameter $\chi$, graphical representation of the model parameters have been shown to canvass the analytical results more clearly. Interestingly, we have proven that for $\chi=0$, the standard General Relativity (GR) results can be recovered. A comparison of our obtained solutions with the GR results is also discussed. To study the effect of the coupling parameter $\chi$, the numerical values of the different physical variables have been tabulated for the values of the coupling parameter $\chi=0,\,0.25,\,0.5,\,0.75,1,\,1.25$. We used the compact stars candidate LMC X-4 with mass$=(1.04 \pm 0.09)M_{\odot}$; Radius $= 8.301_{-0.2}^{+0.2}$ km. respectively, for graphical analysis. To determine the physical acceptability of the model, we looked into the necessary physical properties such as energy conditions, causality, hydrostatic equilibrium, and pressure-density ratio etc. and found that our system satisfies all of these criteria, indicating that the model is physically reasonable.


title: Do altmetric scores reflect article quality? Evidence from the UK Research Excellence Framework 2021

abstract: Altmetrics are web-based quantitative impact or attention indicators for academic articles that have been proposed to supplement citation counts. This article reports the first assessment of the extent to which mature altmetrics from Altmetric.com and Mendeley associate with journal article quality. It exploits expert norm-referenced peer review scores from the UK Research Excellence Framework 2021 for 67,030+ journal articles in all fields 2014-17/18, split into 34 Units of Assessment (UoAs). The results show that altmetrics are better indicators of research quality than previously thought, although not as good as raw and field normalised Scopus citation counts. Surprisingly, field normalising citation counts can reduce their strength as a quality indicator for articles in a single field. For most UoAs, Mendeley reader counts are the best, tweet counts are also a relatively strong indicator in many fields, and Facebook, blogs and news citations are moderately strong indicators in some UoAs, at least in the UK. In general, altmetrics are the strongest indicators of research quality in the health and physical sciences and weakest in the arts and humanities. The Altmetric Attention Score, although hybrid, is almost as good as Mendeley reader counts as a quality indicator and reflects more non-scholarly impacts.


title: Do bibliometrics introduce gender, institutional or interdisciplinary biases into research evaluations?

abstract: Systematic evaluations of publicly funded research typically employ a combination of bibliometrics and peer review, but it is not known whether the bibliometric component introduces biases. This article compares three alternative mechanisms for scoring 73,612 UK Research Excellence Framework (REF) journal articles from all 34 field-based Units of Assessment (UoAs) 2014-17: peer review, field normalised citations, and journal average field normalised citation impact. All three were standardised into a four-point scale. The results suggest that in almost all academic fields, bibliometric scoring can disadvantage departments publishing high quality research, with the main exception of article citation rates in chemistry. Thus, introducing journal or article level citation information into peer review exercises may have a regression to the mean effect. Bibliometric scoring slightly advantaged women compared to men, but this varied between UoAs and was most evident in the physical sciences, engineering, and social sciences. In contrast, interdisciplinary research gained from bibliometric scoring in about half of the UoAs, but relatively substantially in two. In conclusion, out of the three potential source of bias examined, the most serious seems to be the tendency for bibliometric scores to work against high quality departments, assuming that the peer review scores are correct. This is almost a paradox: although high quality departments tend to get the highest bibliometric scores, bibliometrics conceal the full extent of departmental quality advantages. This should be considered when using bibliometrics or bibliometric informed peer review.


title: Angle-insensitive spectral imaging based on topology-optimized plasmonic metasurfaces

abstract: On-chip spectral imaging based on engineered spectral modulation and computational spectral reconstruction provides a promising scheme for portable spectral cameras. However, the angle dependence of modulation units results in the angle sensitivity of spectral imaging, which limits its practical applications. Here, we proposed a design for angle-robust spectral recovery based on a group of topology-optimized plasmonic metasurface units under a 30{\deg} field-of-view, and demonstrate angle-insensitive on-chip spectral imaging in the wavelength range of 450 to 750 nm for average polarization. Furthermore, we experimentally verified the angle-insensitive spectral filtering effects of the fabricated metasurface units, and demonstrated angle-robust spectral reconstruction with a fidelity of 98%. Our approach expands the application scale of spectral imaging, and provides a guidance for designing other angle-robust devices.


title: Fully conservative hydraulic jumps and solibores in two-layer Boussinesq fluids

abstract: We consider a special type of hydraulic jumps (internal bores) which, in the vertically bounded system of two immiscible fluids with slightly different densities, conserve not only the mass and impulse but also the circulation and energy. This is possible only at specific combinations of the upstream and downstream states. Two such combinations are identified with arbitrary upstream and downstream interface heights. The first has a cross symmetry between the interface height and shear on both sides of the jump. This symmetry, which is due to the invariance of the two-layer shallow-water system with swapping the interface height and shear, ensures the automatic conservation of the impulse and energy as well as the continuity of characteristic velocities across the jump. The speed at which such jumps propagate is uniquely defined by the conservation of the mass and circulation. The other possibility is a marginally stable shear flow which can have fully conservative jumps with discontinuous characteristic velocities. Both types of conservative jumps are shown to represent a long-wave approximation to the so-called solibores which appear as smooth permanent-shape solutions in a weakly non-hydrostatic model. A new analytical solution for solibores is obtained and found to agree very well with the previous DNS results for partial-depth lock release flow. The finding that certain large-amplitude hydraulic jumps can be fully conservative, while most are not such even in the inviscid approximation, points toward the wave dispersion as a primary mechanism behind the lossy nature of internal bores.


title: Adversarially Robust Video Perception by Seeing Motion

abstract: Despite their excellent performance, state-of-the-art computer vision models often fail when they encounter adversarial examples. Video perception models tend to be more fragile under attacks, because the adversary has more places to manipulate in high-dimensional data. In this paper, we find one reason for video models' vulnerability is that they fail to perceive the correct motion under adversarial perturbations. Inspired by the extensive evidence that motion is a key factor for the human visual system, we propose to correct what the model sees by restoring the perceived motion information. Since motion information is an intrinsic structure of the video data, recovering motion signals can be done at inference time without any human annotation, which allows the model to adapt to unforeseen, worst-case inputs. Visualizations and empirical experiments on UCF-101 and HMDB-51 datasets show that restoring motion information in deep vision models improves adversarial robustness. Even under adaptive attacks where the adversary knows our defense, our algorithm is still effective. Our work provides new insight into robust video perception algorithms by using intrinsic structures from the data. Our webpage is available at https://motion4robust.cs.columbia.edu.


title: DUIDD: Deep-Unfolded Interleaved Detection and Decoding for MIMO Wireless Systems

abstract: Iterative detection and decoding (IDD) is known to achieve near-capacity performance in multi-antenna wireless systems. We propose deep-unfolded interleaved detection and decoding (DUIDD), a new paradigm that reduces the complexity of IDD while achieving even lower error rates. DUIDD interleaves the inner stages of the data detector and channel decoder, which expedites convergence and reduces complexity. Furthermore, DUIDD applies deep unfolding to automatically optimize algorithmic hyperparameters, soft-information exchange, message damping, and state forwarding. We demonstrate the efficacy of DUIDD using NVIDIA's Sionna link-level simulator in a 5G-near multi-user MIMO-OFDM wireless system with a novel low-complexity soft-input soft-output data detector, an optimized low-density parity-check decoder, and channel vectors from a commercial ray-tracer. Our results show that DUIDD outperforms classical IDD both in terms of block error rate and computational complexity.


title: Reconstructing Volatility: Pricing of Index Options under Rough Volatility

abstract: In previous works Avellaneda et al. pioneered the pricing and hedging of index options - products highly sensitive to implied volatility and correlation assumptions - with large deviations methods, assuming local volatility dynamics for all components of the index. We here present an extension applicable to non-Markovian dynamics and in particular the case of rough volatility dynamics.


title: Towards Hardware-Specific Automatic Compression of Neural Networks

abstract: Compressing neural network architectures is important to allow the deployment of models to embedded or mobile devices, and pruning and quantization are the major approaches to compress neural networks nowadays. Both methods benefit when compression parameters are selected specifically for each layer. Finding good combinations of compression parameters, so-called compression policies, is hard as the problem spans an exponentially large search space. Effective compression policies consider the influence of the specific hardware architecture on the used compression methods. We propose an algorithmic framework called Galen to search such policies using reinforcement learning utilizing pruning and quantization, thus providing automatic compression for neural networks. Contrary to other approaches we use inference latency measured on the target hardware device as an optimization goal. With that, the framework supports the compression of models specific to a given hardware target. We validate our approach using three different reinforcement learning agents for pruning, quantization and joint pruning and quantization. Besides proving the functionality of our approach we were able to compress a ResNet18 for CIFAR-10, on an embedded ARM processor, to 20% of the original inference latency without significant loss of accuracy. Moreover, we can demonstrate that a joint search and compression using pruning and quantization is superior to an individual search for policies using a single compression method.


title: Third homology of $\mathrm{SL}_{2}$ over Number fields: The norm-Euclidean quadratic imaginary case

abstract: In the article The third homology of $SL_{2}(\mathbb{Q})$, Hutchinson determined the structure of $H_{3}\left(\mathrm{SL}_{2}(\mathbb{Q}),\mathbb{Z}\left[\frac{1}{2}\right]\right)$ by expressing it in terms of $K_{3}^{\mathrm{ind}}(\mathbb{Q})\cong \mathbb{Z}/24$ and the scissor congruence group of the residue field $\mathbb{F}_{p}$ with $p$ a prime number. In this paper, we develop further the properties of the refined scissors congruence group in order to extend this result to the case of imaginary quadratic number fields whose ring of integers is a Euclidean domain with respect to the norm.


title: Online Heatmap Generation with Both High and Low Weights

abstract: Heatmap is a common geovisualization method that interpolates and visualizes a set of point observations on a map surface. Most of online web mapping libraries implement a one-pass heatmap algorithm using HTML5 canvas or WebGL for efficient heatmap generation. However, such implementation applies additive operations that accumulate the rendering of point weights on the map surface grid, making it inappropriate for visualizations that require the highlighting of both low and high weights. We introduce \textit{hilomap}, an online heatmap algorithm that highlights surface areas where points with both low and high trends are located. An HTML5 Canvas-based reference implementation on OpenLayers is presented and evaluated.


title: Stability through non-shadows

abstract: We study families $\mathcal{F}\subseteq 2^{[n]}$ with restricted intersections and prove a conjecture of Snevily in a stronger form for large $n$. We also obtain stability results for Kleitman's isodiametric inequality and families with bounded set-wise differences. Our proofs introduce a new twist to the classical linear algebra method, harnessing the non-shadows of $\mathcal{F}$, which may be of independent interest.


title: Removing the Cosmological Bound on the Axion Scale in the KSVZ and DFSZ Models

abstract: It is known for some time that the cosmological bound on the invisible axion scale can be avoided by an early phase of strong QCD. While most approaches rely on theories where the strong coupling constant is determined through the expectation value of some scalar field, we show that this mechanism can also be implemented into the benchmark KSVZ and DFSZ models when the early phase of strong QCD emerges by the modification of the running coupling during inflation. For both models the physics that are responsible for making QCD strong do not displace the axions minimum by too much, so that the efficiency of the relaxation is controlled by parameters of the theory and the number of inflationary e-folds. In particular, we consider the case of very efficient relaxation where the axion abundance is dominated by inflationary quantum and post-inflationary thermal fluctuations. Within this situation we identify the parameter space compatible with all cosmological constrains and derive conditions on the reheating temperature and the QCD scale during inflation that result in the axion making up all the dark matter. Due to duality below the Peccei-Quinn scale and a minor influence of the KSVZ and DFSZ fields on the running, our findings also apply to a minimal 2-form implementation of the axion.


title: A class of functional identities associated to curves over finite fields

abstract: Goss zeta values can be found, in some cases, as evaluations of a new type of rigid analytic function on projective curves $X$ over a finite field $\mathbb{F}_q$, called "Pellarin $L$-series". In the case of genus $0$ and $1$, Pellarin and Green--Papanikolas further determined functional identities for Pellarin $L$-series, in partial analogy with the functional equation of Dirichlet $L$-series. The aim of this paper is to prove that a generalization of these functional identities holds in arbitrary genus. Our proof exploits the topological nature of divisors on the curve $X$, as well as the introduction of an "adjoint shtuka function". This allows us to reinterpret Pellarin $L$-series as dual versions of the special functions studied by Angl\`es, Ngo Dac, and Tavares Ribeiro.


title: Regularized Newton Methods for Monotone Variational Inequalities with H\"older Continuous Jacobians

abstract: This paper considers the problems of solving monotone variational inequalities with H\"older continuous Jacobians. By employing the knowledge of H\"older parameter $\nu$, we propose the $\nu$-regularized extra-Newton method within at most $\mathcal O(\epsilon^{-2/(2+\nu)})$ iterations to obtain an $\epsilon$-accurate solution. In the case of $\nu$ is unknown, we propose the universal regularized extra-Newton method within $\mathcal O(\epsilon^{-4/(3(1+\nu))})$ iteration complexity.


title: Elliptic problems with mixed nonlinearities and potentials singular at the origin and at the boundary of the domain

abstract: We are interested in the following Dirichlet problem $$ \left\{ \begin{array}{ll} -\Delta u + \lambda u - \mu \frac{u}{|x|^2} - \nu \frac{u}{\mathrm{dist}\,(x,\mathbb{R}^N \setminus \Omega)^2} = f(x,u) & \quad \mbox{in } \Omega \\ u = 0 & \quad \mbox{on } \partial \Omega, \end{array} \right. $$ on a bounded domain $\Omega \subset \mathbb{R}^N$ with $0 \in \Omega$. We assume that the nonlinear part is superlinear on some closed subset $K \subset \Omega$ and asymptotically linear on $\Omega \setminus K$. We find a solution with the energy bounded by a certain min-max level, and infinitely many solutions provided that $f$ is odd in $u$. Moreover we study also the multiplicity of solutions to the associated normalized problem.


title: Hybrid Quantum Generative Adversarial Networks for Molecular Simulation and Drug Discovery

abstract: In molecular research, simulation \& design of molecules are key areas with significant implications for drug development, material science, and other fields. Current classical computational power falls inadequate to simulate any more than small molecules, let alone protein chains on hundreds of peptide. Therefore these experiment are done physically in wet-lab, but it takes a lot of time \& not possible to examine every molecule due to the size of the search area, tens of billions of dollars are spent every year in these research experiments. Molecule simulation \& design has lately advanced significantly by machine learning models, A fresh perspective on the issue of chemical synthesis is provided by deep generative models for graph-structured data. By optimising differentiable models that produce molecular graphs directly, it is feasible to avoid costly search techniques in the discrete and huge space of chemical structures. But these models also suffer from computational limitations when dimensions become huge and consume huge amount of resources. Quantum Generative machine learning in recent years have shown some empirical results promising significant advantages over classical counterparts.


title: Order routing and market quality: Who benefits from internalisation?

abstract: We analyse two models of liquidity provision to determine the retail traders' preference for marketable order routing. Order internalization is captured by a model of market makers competing for the retail order flow in a Bertrand fashion. On the other hand, the price-taking competitive liquidity providers characterize the open exchange model. We show that, when liquidity providers are risk averse, routing of the marketable orders to the wholesalers is preferred by all retail traders: informed, uninformed and noisy. The unwillingness of liquidity providers to bear risk causes the strategic trader (informed or not) to absorb large shocks in their inventories. This results in mean reverting inventories, price reversal, and lower market depth. The equilibria in both models coincide with Kyle (1985) when liquidity providers are risk neutral. We also identify a universal parameter that allows comparison of market liquidity, profit and value of information across different markets.


title: Formation of shifted shock for the 3D compressible Euler equations with time-dependent damping

abstract: In this paper, we show the shock formation to the compressible Euler equations with time-dependent damping $\frac{a\p u}{(1+t)^{\lam}}$ in three spatial dimensions without any symmetry conditions. It's well-known that for $\lam>1$, the damping is too weak to prevent the shock formation for suitably large data. However, the classical results only showed the finite existence of the solution. Follow the work by D.Christodoulou in\cite{christodoulou2007}, starting from the initial isentropic and irrotational short pulse data, we show the formation of shock is characterized by the collapse of the characteristic hypersurfaces and the vanishing of the inverse foliation density function $\mu$, at which the first derivatives of the velocity and the density blow up, and the lifespan $T_{\ast}(a,\lam)$ is exponentially large. Moreover, the damping effect will shift the time of shock formation $T_{\ast}$. The methods in the paper can also be extended to the Euler equations with general time-decay damping.


title: Comparison between the HUBCAP and DIGITBrain Platforms for Model-Based Design and Evaluation of Digital Twins

abstract: Digital twin technology is an essential approach to managing the lifecycle of industrial products. Among the many approaches used to manage digital twins, co-simulation has proven to be a reliable one. There have been multiple attempts to create collaborative and sustainable platforms for management of digital twins. This paper compares two such platforms, namely the HUBCAP and the DIGITbrain. Both these platforms have been and continue to be used among a stable group of researchers and industrial product manufacturers of digital twin technologies. This comparison of the HUBCAP and the DIGITbrain platforms is illustrated with an example use case of industrial factory to be used for manufacturing of agricultural robots.


title: Disjointness with all minimal systems under group actions

abstract: Let $G$ be a countable discrete group. We give a necessary and sufficient condition for a transitive $G$-system to be disjoint with all minimal $G$-systems, which implies that if a transitive $G$-system is disjoint with all minimal $G$-systems, then it is $\infty$-transitive, i.e. $(X^k,G)$ is transitive for all $k\in\N$, and has dense minimal points. In addition, we show that any $\infty$-transitive $G$-system with dense distal points are disjoint with all minimal $G$-systems.