title: ASTRIDE: Adaptive Symbolization for Time Series Databases

abstract: We introduce ASTRIDE (Adaptive Symbolization for Time seRIes DatabasEs), a novel symbolic representation of time series, along with its accelerated variant FASTRIDE (Fast ASTRIDE). Unlike most symbolization procedures, ASTRIDE is adaptive during both the segmentation step by performing change-point detection and the quantization step by using quantiles. Instead of proceeding signal by signal, ASTRIDE builds a dictionary of symbols that is common to all signals in a data set. We also introduce D-GED (Dynamic General Edit Distance), a novel similarity measure on symbolic representations based on the general edit distance. We demonstrate the performance of the ASTRIDE and FASTRIDE representations compared to SAX (Symbolic Aggregate approXimation), 1d-SAX, SFA (Symbolic Fourier Approximation), and ABBA (Adaptive Brownian Bridge-based Aggregation) on reconstruction and, when applicable, on classification tasks. These algorithms are evaluated on 86 univariate equal-size data sets from the UCR Time Series Classification Archive. An open source GitHub repository called astride is made available to reproduce all the experiments in Python.


title: Source Code Recommender Systems: The Practitioners' Perspective

abstract: The automatic generation of source code is one of the long-lasting dreams in software engineering research. Several techniques have been proposed to speed up the writing of new code. For example, code completion techniques can recommend to developers the next few tokens they are likely to type, while retrieval-based approaches can suggest code snippets relevant for the task at hand. Also, deep learning has been used to automatically generate code statements starting from a natural language description. While research in this field is very active, there is no study investigating what the users of code recommender systems (i.e., software practitioners) actually need from these tools. We present a study involving 80 software developers to investigate the characteristics of code recommender systems they consider important. The output of our study is a taxonomy of 70 "requirements" that should be considered when designing code recommender systems. For example, developers would like the recommended code to use the same coding style of the code under development. Also, code recommenders being "aware" of the developers' knowledge (e.g., what are the framework/libraries they already used in the past) and able to customize the recommendations based on this knowledge would be appreciated by practitioners. The taxonomy output of our study points to a wide set of future research directions for code recommenders.


title: Extragradient-Type Methods with $\mathcal{O} (1/k)$ Last-Iterate Convergence Rates for Co-Hypomonotone Inclusions

abstract: We develop two "Nesterov's accelerated" variants of the well-known extragradient method to approximate a solution of a co-hypomonotone inclusion constituted by the sum of two operators, where one is Lipschitz continuous and the other is possibly multivalued. The first scheme can be viewed as an accelerated variant of Tseng's forward-backward-forward splitting (FBFS) method, while the second one is a Nesterov's accelerated variant of the "past" FBFS scheme, which requires only one evaluation of the Lipschitz operator and one resolvent of the multivalued mapping. Under appropriate conditions on the parameters, we theoretically prove that both algorithms achieve $\mathcal{O}(1/k)$ last-iterate convergence rates on the residual norm, where $k$ is the iteration counter. Our results can be viewed as alternatives of a recent class of Halpern-type methods for root-finding problems. For comparison, we also provide a new convergence analysis of the two recent extra-anchored gradient-type methods for solving co-hypomonotone inclusions.


title: Newtonian pulsations of relativistic ONe-core ultra-massive DA white dwarfs

abstract: Ultra-massive H-rich (DA spectral type) white dwarf stars ($M_{\star} > 1.05 M_{\odot}$) are expected to be substantially crystallized by the time they reach the ZZ Ceti instability strip ($T_{\rm eff} \sim 12\,000$ K). Crystallization leads to a separation of $^{16}$O and $^{20}$Ne (or $^{12}$C and $^{16}$O) in the core of ultra-massive WDs, which strongly impacts their pulsational properties. An additional factor to take into account when modeling the evolution and pulsations of WDs in this range of masses are the relativistic effects, which induce changes in the cooling times and the stellar masses derived from the effective temperature and surface gravity. Given the arrival of large amounts of photometric data from space missions such as {\it Kepler}/{\it K2} and {\it TESS}, it is important to assess the impact of General Relativity in the context of pulsations of ultra-massive ZZ Ceti stars. In this work, we present results of Newtonian gravity($g$)-mode pulsation calculations in evolutionary ultra-massive WD models computed in the frame of the General Relativity theory.


title: Generation of Pseudo-Random Quantum States on Actual Quantum Processors

abstract: The generation of a large amount of entanglement is a necessary condition for a quantum computer to achieve quantum advantage. In this paper, we propose a method to efficiently generate pseudo-random quantum states, for which the degree of multipartite entanglement is nearly maximal. We argue that the method is optimal, and use it to benchmark actual superconducting (IBM's ibm_lagos) and ion trap (IonQ's Harmony) quantum processors. Despite the fact that ibm_lagos has lower single-qubit and two-qubit error rates, the overall performance of Harmony is better thanks to low error rate in state preparation and measurement and to the all-to-all connectivity of qubits. Our result highlights the relevance of the qubits network architecture to generate highly entangled state.


title: WF-UNet: Weather Fusion UNet for Precipitation Nowcasting

abstract: Designing early warning systems for harsh weather and its effects, such as urban flooding or landslides, requires accurate short-term forecasts (nowcasts) of precipitation. Nowcasting is a significant task with several environmental applications, such as agricultural management or increasing flight safety. In this study, we investigate the use of a UNet core-model and its extension for precipitation nowcasting in western Europe for up to 3 hours ahead. In particular, we propose the Weather Fusion UNet (WF-UNet) model, which utilizes the Core 3D-UNet model and integrates precipitation and wind speed variables as input in the learning process and analyze its influences on the precipitation target task. We have collected six years of precipitation and wind radar images from Jan 2016 to Dec 2021 of 14 European countries, with 1-hour temporal resolution and 31 square km spatial resolution based on the ERA5 dataset, provided by Copernicus, the European Union's Earth observation programme. We compare the proposed WF-UNet model to persistence model as well as other UNet based architectures that are trained only using precipitation radar input data. The obtained results show that WF-UNet outperforms the other examined best-performing architectures by 22%, 8% and 6% lower MSE at a horizon of 1, 2 and 3 hours respectively.


title: The AGILEScience App to execute gamma-ray scientific analyses from mobile devices

abstract: AGILE is a space mission launched in 2007 devoted to high-energy astrophysics. The AGILE Team is involved in the multi-messenger campaigns to send and receive science alerts about transient events in the shortest time possible. For this reason, the AGILE Team developed several real-time analysis pipelines to analyse data and follow-up external science alerts. However, the results obtained by these pipelines are preliminary and must be validated with manual analyses that are the bottleneck of the workflow. To speed up the scientific analysis performed by scientists, the AGILE Team developed the AGILEScience mobile application (for iOS and Android devices) that offers to the AGILE Team a password-protected section used to visualise the results of automated pipelines. We present in this contribution an improved functionality of the AGILEScience application that aims to enable the AGILE Team to execute a full scientific analysis using their mobile devices. When the analysis is completed, the system sends an email to notify the user that can visualise the results (e.g. plots, tables, and HTML pages) through the application. The possibility to perform scientific analysis from a mobile device enables the AGILE researchers to perform fast scientific analyses remotely to validate the preliminary results obtained with the automated pipelines. This workflow reduces the overall reaction time of the AGILE Team for the follow-up of transient phenomena.


title: Cyclic Frobenius algebras

abstract: In this paper, we introduce the notion of cyclic Frobenius algebras (CF-algebras). Canonical structures of CF-algebras exist on associative and Poisson algebras. It turns out that the modern theory of integrable systems yields non-trivial examples of CF-algebras. In the theory of the KdV hierarchy there is a structure of CF-algebra which leads to explicit expressions for the first integrals of the N-th Novikov hierarchy, suitable for classical, non-Abelian and quantum cases.


title: Size effect on the thermal conductivity of a type-I clathrate

abstract: Clathrates are a materials class with an extremely low phonon thermal conductivity, which is a key ingredient for a high thermoelectric conversion efficiency. Here, we present a study on the type-I clathrate La$_{1.2}$Ba$_{6.8}$Au$_{5.8}$Si$_{38.8}\square_{1.4}$ directed at lowering the phonon thermal conductivity even further by forming mesoscopic wires out of it. Our hypothesis is that the interaction of the low-energy rattling modes of the guest atoms (La and Ba) with the acoustic modes, which originate mainly from the type-I clathrate framework (formed by Au and Si atoms, with some vacancies $\square$), cuts off their dispersion and thereby tilts the balance of phonons relevant for thermal transport to long-wavelength ones. Thus, size effects are expected to set in at relatively long length scales. The structuring was carried out using a top-down approach, where the wires, ranging from 1260 nm to 630 nm in diameter, were cut from a piece of single crystal using a focused ion beam technique. Measurements of the thermal conductivity were performed with a self-heating $3\omega$ technique down to 80 K. Indeed, they reveal a reduction of the room-temperature phonon thermal conductivity by a sizable fraction of $\sim$40 % for our thinnest wire, thereby confirming our hypothesis.


title: Detecting Data Type Inconsistencies in a Property Graph Database

abstract: Some property graph databases do not have a fixed schema, which can result in data type inconsistencies for properties on nodes and relationships, especially when importing data into a running database. Here we present a tool which can rapidly produce a detailed report on every property in the graph. When executed on a large knowledge graph, it allowed us to debug a complex ETL process and enforce 100% data type consistency.


title: Can Physics-Informed Neural Networks beat the Finite Element Method?

abstract: Partial differential equations play a fundamental role in the mathematical modelling of many processes and systems in physical, biological and other sciences. To simulate such processes and systems, the solutions of PDEs often need to be approximated numerically. The finite element method, for instance, is a usual standard methodology to do so. The recent success of deep neural networks at various approximation tasks has motivated their use in the numerical solution of PDEs. These so-called physics-informed neural networks and their variants have shown to be able to successfully approximate a large range of partial differential equations. So far, physics-informed neural networks and the finite element method have mainly been studied in isolation of each other. In this work, we compare the methodologies in a systematic computational study. Indeed, we employ both methods to numerically solve various linear and nonlinear partial differential equations: Poisson in 1D, 2D, and 3D, Allen-Cahn in 1D, semilinear Schr\"odinger in 1D and 2D. We then compare computational costs and approximation accuracies. In terms of solution time and accuracy, physics-informed neural networks have not been able to outperform the finite element method in our study. In some experiments, they were faster at evaluating the solved PDE.


title: Triplet Loss-less Center Loss Sampling Strategies in Facial Expression Recognition Scenarios

abstract: Facial expressions convey massive information and play a crucial role in emotional expression. Deep neural network (DNN) accompanied by deep metric learning (DML) techniques boost the discriminative ability of the model in facial expression recognition (FER) applications. DNN, equipped with only classification loss functions such as Cross-Entropy cannot compact intra-class feature variation or separate inter-class feature distance as well as when it gets fortified by a DML supporting loss item. The triplet center loss (TCL) function is applied on all dimensions of the sample's embedding in the embedding space. In our work, we developed three strategies: fully-synthesized, semi-synthesized, and prediction-based negative sample selection strategies. To achieve better results, we introduce a selective attention module that provides a combination of pixel-wise and element-wise attention coefficients using high-semantic deep features of input samples. We evaluated the proposed method on the RAF-DB, a highly imbalanced dataset. The experimental results reveal significant improvements in comparison to the baseline for all three negative sample selection strategies.


title: Explainable Label-flipping Attacks on Human Emotion Assessment System

abstract: This paper's main goal is to provide an attacker's point of view on data poisoning assaults that use label-flipping during the training phase of systems that use electroencephalogram (EEG) signals to evaluate human emotion. To attack different machine learning classifiers such as Adaptive Boosting (AdaBoost) and Random Forest dedicated to the classification of 4 different human emotions using EEG signals, this paper proposes two scenarios of label-flipping methods. The results of the studies show that the proposed data poison attacksm based on label-flipping are successful regardless of the model, but different models show different degrees of resistance to the assaults. In addition, numerous Explainable Artificial Intelligence (XAI) techniques are used to explain the data poison attacks on EEG signal-based human emotion evaluation systems.


title: Assessing the impact of regulations and standards on innovation in the field of AI

abstract: Regulations and standards in the field of artificial intelligence (AI) are necessary to minimise risks and maximise benefits, yet some argue that they stifle innovation. This paper critically examines the idea that regulation stifles innovation in the field of AI. Current trends in AI regulation, particularly the proposed European AI Act and the standards supporting its implementation, are discussed. Arguments in support of the idea that regulation stifles innovation are analysed and criticised, and an alternative point of view is offered, showing how regulation and standards can foster innovation in the field of AI.


title: Coarse-graining the vertex model and its response to shear

abstract: Tissue dynamics and collective cell motion are crucial biological processes. Their biological machinery is mostly known, and simulation models such as the "active vertex model" (AVM) exist and yield reasonable agreement with experimental observations like tissue fluidization or fingering. However, a good and well-founded continuum description for tissues remains to be developed. In this work we derive a macroscopic description for a two-dimensional cell monolayer by coarse-graining the vertex model through the Poisson bracket approach. We obtain equations for cell density, velocity and the cellular shape tensor. We then study the homogeneous steady states, their stability (which coincides with thermodynamic stability), and especially their behavior under an externally applied shear. Our results contribute to elucidate the interplay between flow and cellular shape. The obtained macroscopic equations present a good starting point for adding cell motion, morphogenetic and other biologically relevant processes.


title: An Empirical Study of Uniform-Architecture Knowledge Distillation in Document Ranking

abstract: Although BERT-based ranking models have been commonly used in commercial search engines, they are usually time-consuming for online ranking tasks. Knowledge distillation, which aims at learning a smaller model with comparable performance to a larger model, is a common strategy for reducing the online inference latency. In this paper, we investigate the effect of different loss functions for uniform-architecture distillation of BERT-based ranking models. Here "uniform-architecture" denotes that both teacher and student models are in cross-encoder architecture, while the student models include small-scaled pre-trained language models. Our experimental results reveal that the optimal distillation configuration for ranking tasks is much different than general natural language processing tasks. Specifically, when the student models are in cross-encoder architecture, a pairwise loss of hard labels is critical for training student models, whereas the distillation objectives of intermediate Transformer layers may hurt performance. These findings emphasize the necessity of carefully designing a distillation strategy (for cross-encoder student models) tailored for document ranking with pairwise training samples.


title: Cliques in High-Dimensional Geometric Inhomogeneous Random Graphs

abstract: A recent trend in the context of graph theory is to bring theoretical analyses closer to empirical observations, by focusing the studies on random graph models that are used to represent practical instances. There, it was observed that geometric inhomogeneous random graphs (GIRGs) yield good representations of complex real-world networks, by expressing edge probabilities as a function that depends on (heterogeneous) vertex weights and distances in some underlying geometric space that the vertices are distributed in. While most of the parameters of the model are understood well, it was unclear how the dimensionality of the ground space affects the structure of the graphs. In this paper, we complement existing research into the dimension of geometric random graph models and the ongoing study of determining the dimensionality of real-world networks, by studying how the structure of GIRGs changes as the number of dimensions increases. We prove that, in the limit, GIRGs approach non-geometric inhomogeneous random graphs and present insights on how quickly the decay of the geometry impacts important graph structures. In particular, we study the expected number of cliques of a given size as well as the clique number and characterize phase transitions at which their behavior changes fundamentally. Finally, our insights help in better understanding previous results about the impact of the dimensionality on geometric random graphs.


title: Resistance Distances in Directed Graphs: Definitions, Properties, and Applications

abstract: Resistance distance has been studied extensively in the past years, with the majority of previous studies devoted to undirected networks, in spite of the fact that various realistic networks are directed. Although several generalizations of resistance distance on directed graphs have been proposed, they either have no physical interpretation or are not a metric. In this paper, we first extend the definition of resistance distance to strongly connected directed graphs based on random walks and show that the two-node resistance distance on directed graphs is a metric. Then, we introduce the Laplacian matrix for directed graphs that subsumes the Laplacian matrix of undirected graphs as a particular case and use its pseudoinverse to express the two-node resistance distance, and many other relevant quantities derived from resistance distances. Moreover, we define the resistance distance between a vertex and a vertex group on directed graphs and further define a problem of optimally selecting a group of fixed number of nodes, such that their resistance distance is minimized. Since this combinatorial optimization problem is NP-hard, we present a greedy algorithm with a proved approximation ratio, and conduct experiments on model and realistic networks to validate the performance of this approximation algorithm.


title: Deviation frequencies of Brownian path property approximations

abstract: This case study proposes robustness quantifications of many classical sample path properties of Brownian motion in terms of the (mean) deviation frequencies along typical a.s.~approximations. This includes L\'evy's construction of Brownian motion, the Kolmogorov-Chentsov (and the Kolmogorov-Totoki) continuity theorem, L\'evy's modulus of continuity, the Paley-Wiener-Zygmund theorem, the a.s.~approximation of the quadratic variation as well as the laws of the iterated logarithm by Khinchin, Chung and Strassen, among others.


title: Training-free Lexical Backdoor Attacks on Language Models

abstract: Large-scale language models have achieved tremendous success across various natural language processing (NLP) applications. Nevertheless, language models are vulnerable to backdoor attacks, which inject stealthy triggers into models for steering them to undesirable behaviors. Most existing backdoor attacks, such as data poisoning, require further (re)training or fine-tuning language models to learn the intended backdoor patterns. The additional training process however diminishes the stealthiness of the attacks, as training a language model usually requires long optimization time, a massive amount of data, and considerable modifications to the model parameters. In this work, we propose Training-Free Lexical Backdoor Attack (TFLexAttack) as the first training-free backdoor attack on language models. Our attack is achieved by injecting lexical triggers into the tokenizer of a language model via manipulating its embedding dictionary using carefully designed rules. These rules are explainable to human developers which inspires attacks from a wider range of hackers. The sparse manipulation of the dictionary also habilitates the stealthiness of our attack. We conduct extensive experiments on three dominant NLP tasks based on nine language models to demonstrate the effectiveness and universality of our attack. The code of this work is available at https://github.com/Jinxhy/TFLexAttack.


title: A polyhedral homotopy algorithm for computing critical points of polynomial programs

abstract: In this paper we propose a method that uses Lagrange multipliers and numerical algebraic geometry to find all critical points, and therefore globally solve, polynomial optimization problems. We design a polyhedral homotopy algorithm that explicitly constructs an optimal start system, circumventing the typical bottleneck associated with polyhedral homotopy algorithms. The correctness of our algorithm follows from intersection theoretic computations of the algebraic degree of polynomial optimization programs and relies on explicitly solving the tropicalization of a corresponding Lagrange system. We present experiments that demonstrate the superiority of our algorithm over traditional homotopy continuation algorithms.


title: On the Richness of Calibration

abstract: Probabilistic predictions can be evaluated through comparisons with observed label frequencies, that is, through the lens of calibration. Recent scholarship on algorithmic fairness has started to look at a growing variety of calibration-based objectives under the name of multi-calibration but has still remained fairly restricted. In this paper, we explore and analyse forms of evaluation through calibration by making explicit the choices involved in designing calibration scores. We organise these into three grouping choices and a choice concerning the agglomeration of group errors. This provides a framework for comparing previously proposed calibration scores and helps to formulate novel ones with desirable mathematical properties. In particular, we explore the possibility of grouping datapoints based on their input features rather than on predictions and formally demonstrate advantages of such approaches. We also characterise the space of suitable agglomeration functions for group errors, generalising previously proposed calibration scores. Complementary to such population-level scores, we explore calibration scores at the individual level and analyse their relationship to choices of grouping. We draw on these insights to introduce and axiomatise fairness deviation measures for population-level scores. We demonstrate that with appropriate choices of grouping, these novel global fairness scores can provide notions of (sub-)group or individual fairness.


title: Local Law 144: A Critical Analysis of Regression Metrics

abstract: The use of automated decision tools in recruitment has received an increasing amount of attention. In November 2021, the New York City Council passed a legislation (Local Law 144) that mandates bias audits of Automated Employment Decision Tools. From 15th April 2023, companies that use automated tools for hiring or promoting employees are required to have these systems audited by an independent entity. Auditors are asked to compute bias metrics that compare outcomes for different groups, based on sex/gender and race/ethnicity categories at a minimum. Local Law 144 proposes novel bias metrics for regression tasks (scenarios where the automated system scores candidates with a continuous range of values). A previous version of the legislation proposed a bias metric that compared the mean scores of different groups. The new revised bias metric compares the proportion of candidates in each group that falls above the median. In this paper, we argue that both metrics fail to capture distributional differences over the whole domain, and therefore cannot reliably detect bias. We first introduce two metrics, as possible alternatives to the legislation metrics. We then compare these metrics over a range of theoretical examples, for which the legislation proposed metrics seem to underestimate bias. Finally, we study real data and show that the legislation metrics can similarly fail in a real-world recruitment application.


title: Dimensional lattice Boltzmann method for transport phenomena simulation without conversion to lattice units

abstract: It is proposed a dimensional Lattice Boltzmann Method (LBM) of wide application for simulating fluid flow and heat transfer problems. The proposed LBM consists in the numerical solution of the discrete lattice Boltzmann equation (LBE) using directly the variables in physical units, without the necessity of employing any particular unit conversion system. This includes the integration of LBE in the discrete physical domain using the spatial and time intervals and all the involved quantities in physical units. The dimensional LBM is proposed for both the single and multiple relaxation time schemes, considering the BGK and MRT collision operators, respectively. Several simple tests problems treating different physical phenomena such as one dimensional heat diffusion with source term, two dimensional forced convection with developed and developing flow in a channel under an oscillating and constant heat flux, two-phase stationary bubble in a liquid phase and two-phase dynamic layered Poiseuille flow, both under very high density and viscosity ratios, are simulated. All the numerical solutions were compared with analytical solutions, when available, or with finite difference solutions, otherwise, showing a very good agreement. The proposed method was also compared with the traditional LBM for the treated problems, showing the same accuracy. Besides the simulation of the applied problems employing physical units directly, the proposed LBM allowed the solution of transport phenomena for more severe operational conditions. This includes the simulation of the two multiphase problems with liquid/gas density and gas/liquid kinematic viscosity ratios of about 43300 and 470 respectively, employing the Allen-Canh phase field model. With base on the obtained results it is estimated that the proposed method could enhance the LBM use as simulation tool.


title: Differential Equations of General Genus Hyperelliptic $\wp$ Functions

abstract: We review the Baker's method to obtain differential equations of the general genus hyperelliptic $\wp$ functions. Further, we demonstrate to obtain differential equations of genus four hyperelliptic differential equations, which agree with our previous result.


title: The hat guessing number of random graphs with constant edge-chosen probability

abstract: Let $G$ be a graph with $n$ vertices. The {\em hat guessing number} of $G$ is defined in terms of the following game: There are $n$ players and one opponent. The opponent will wear one of the $q$ hats of different colors on the player's head. At this time, the player can only see the player's hat color at the adjacent vertex, and communication between players is not allowed. Once players are assigned hats, each player must guess the color of his hat at the same time. If at least one player guesses right, then they will win collectively. Given a graph $G$, its hat guessing number $HG(G)$ is the largest integer $q$ such that there exists a guessing strategy guaranteeing at least one correct guess for any hat assignment of $q$ different colors. Let $\mathcal{G}(n,p)$ denote the Erd\H{o}s-R\'{e}nyi random graphs with $n$ vertices and edge-chosen probability $ p\in(0,1)$. Alon-Chizewer and Bosek-Dudek-Farnik-Grytczuk-Mazur investigated the lower and upper bound for $HG(G)$ when $G\in \mathcal{G}(n,1/2)$, respectively. In this paper, we extends their results by showing that for any constant number $p$, we have $n^{1 - o(1)}\le HG(G) \le (1-o(1))n$ with high probability when $G\in \mathcal{G}(n,p)$.


title: A Parametric Similarity Method: Comparative Experiments based on Semantically Annotated Large Datasets

abstract: We present the parametric method SemSimp aimed at measuring semantic similarity of digital resources. SemSimp is based on the notion of information content, and it leverages a reference ontology and taxonomic reasoning, encompassing different approaches for weighting the concepts of the ontology. In particular, weights can be computed by considering either the available digital resources or the structure of the reference ontology of a given domain. SemSimp is assessed against six representative semantic similarity methods for comparing sets of concepts proposed in the literature, by carrying out an experimentation that includes both a statistical analysis and an expert judgement evaluation. To the purpose of achieving a reliable assessment, we used a real-world large dataset based on the Digital Library of the Association for Computing Machinery (ACM), and a reference ontology derived from the ACM Computing Classification System (ACM-CCS). For each method, we considered two indicators. The first concerns the degree of confidence to identify the similarity among the papers belonging to some special issues selected from the ACM Transactions on Information Systems journal, the second the Pearson correlation with human judgement. The results reveal that one of the configurations of SemSimp outperforms the other assessed methods. An additional experiment performed in the domain of physics shows that, in general, SemSimp provides better results than the other similarity methods.


title: An extended Gauss-Newton method for full waveform inversion

abstract: Full waveform inversion (FWI) is a large-scale nonlinear ill-posed problem for which computationally expensive Newton-type methods can become trapped in undesirable local minima, particularly when the initial model lacks a low-wavenumber component and the recorded data lacks low-frequency content. A modification to the Gauss-Newton (GN) method is proposed to address these issues. The standard GN system for multisource multireceiver FWI is reformulated into an equivalent matrix equation form, with the solution becoming a diagonal matrix rather than a vector as in the standard system. The search direction is transformed from a vector to a matrix by relaxing the diagonality constraint, effectively adding a degree of freedom to the subsurface offset axis. The relaxed system can be explicitly solved with only the inversion of two small matrices that deblur the data residual matrix along the source and receiver dimensions, which simplifies the inversion of the Hessian matrix. When used to solve the extended source FWI objective function, the Extended GN (EGN) method integrates the benefits of both model and source extension. The EGN method effectively combines the computational effectiveness of the reduced FWI method with the robustness characteristics of extended formulations and offers a promising solution for addressing the challenges of FWI. It bridges the gap between these extended formulations and the reduced FWI method, enhancing inversion robustness while maintaining computational efficiency. The robustness and stability of the EGN algorithm for waveform inversion are demonstrated numerically.


title: Intrinsic Rewards from Self-Organizing Feature Maps for Exploration in Reinforcement Learning

abstract: We introduce an exploration bonus for deep reinforcement learning methods calculated using self-organising feature maps. Our method uses adaptive resonance theory (ART) providing online, unsupervised clustering to quantify the novelty of a state. This heuristic is used to add an intrinsic reward to the extrinsic reward signal for then to optimize the agent to maximize the sum of these two rewards. We find that this method was able to play the game Ordeal at a human level after a comparable number of training epochs to ICM arXiv:1705.05464. Agents augmented with RND arXiv:1810.12894 were unable to achieve the same level of performance in our space of hyperparameters.


title: Predicting the performance of hybrid ventilation in buildings using a multivariate attention-based biLSTM Encoder-Decoder neural network

abstract: Hybrid ventilation is an energy-efficient solution to provide fresh air for most climates, given that it has a reliable control system. To operate such systems optimally, a high-fidelity control-oriented modesl is required. It should enable near-real time forecast of the indoor air temperature based on operational conditions such as window opening and HVAC operating schedules. However, physics-based control-oriented models (i.e., white-box models) are labour-intensive and computationally expensive. Alternatively, black-box models based on artificial neural networks can be trained to be good estimators for building dynamics. This paper investigates the capabilities of a deep neural network (DNN), which is a multivariate multi-head attention-based long short-term memory (LSTM) encoder-decoder neural network, to predict indoor air temperature when windows are opened or closed. Training and test data are generated from a detailed multi-zone office building model (EnergyPlus). Pseudo-random signals are used for the indoor air temperature setpoints and window opening instances. The results indicate that the DNN is able to accurately predict the indoor air temperature of five zones whenever windows are opened or closed. The prediction error plateaus after the 24th step ahead prediction (6 hr ahead prediction).


title: High-Harmonic Generation with a twist: all-optical characterization of magic-angle twisted bilayer graphene

abstract: If we stack up two layers of graphene while changing their respective orientation by some twisting angle, we end up with a system that has striking differences when compared to single-layer graphene. For a very specific value of this twist angle, known as magic angle, twisted bilayer graphene displays a unique phase diagram that cannot be found in other systems. Recently, high harmonic generation spectroscopy has been successfully applied to elucidate the electronic properties of quantum materials. The purpose of the present work is to exploit the nonlinear optical response of magic-angle twisted bilayer graphene to unveil its electronic properties. We show that the band structure of magic-angle twisted bilayer graphene is imprinted onto its high-harmonic spectrum. Specifically, we observe a drastic decrease of harmonic signal as we approach the magic angle. Our results show that high harmonic generation can be used as a spectroscopy tool for measuring the twist angle and also the electronic properties of twisted bilayer graphene, paving the way for an all-optical characterization of moir\'e materials.


title: Particle Swarm Optimization-Based Co-State Initialization for Low-Thrust Minimum-Fuel Trajectory Optimization

abstract: In this paper, Particle Swarm Optimization with energy-to-fuel continuation is proposed for initializing the co-state variables for low-thrust minimum-fuel trajectory optimization problems in the circular restricted three-body problem. Particle Swarm Optimization performs a search of the solution space by minimizing the weighted sum of squares of the two-point boundary-value problem final boundary condition residuals for the minimum-energy problem. Next, an energy-to-fuel homotopy is employed to transition the minimum-energy trajectory to a minimum-fuel trajectory, starting from the generated guess. The proposed methodology is applied to two low-thrust transfer problems in the Earth-Moon system: a transfer from a geostationary transfer orbit to an L1 halo orbit, and a transfer from an L2 halo orbit to an L1 halo orbit. The resulting minimum-fuel trajectories are validated with the literature. It is demonstrated that the methodology can successfully generate guesses for the initial co-state variables which converge to a solution for both scenarios. A strategically chosen particle swarm size is shown to improve the convergence rate of the methodology. The proposed approach is of simple implementation, can be easily extended to other trajectory optimization problems, facilitates the discovery of multiple candidate trajectories, and does not require a user-provided guess, all of which are advantageous features for the preliminary phase of mission design.


title: Hyperspectral Image Compression Using Implicit Neural Representation

abstract: Hyperspectral images, which record the electromagnetic spectrum for a pixel in the image of a scene, often store hundreds of channels per pixel and contain an order of magnitude more information than a typical similarly-sized color image. Consequently, concomitant with the decreasing cost of capturing these images, there is a need to develop efficient techniques for storing, transmitting, and analyzing hyperspectral images. This paper develops a method for hyperspectral image compression using implicit neural representations where a multilayer perceptron network $\Phi_\theta$ with sinusoidal activation functions ``learns'' to map pixel locations to pixel intensities for a given hyperspectral image $I$. $\Phi_\theta$ thus acts as a compressed encoding of this image. The original image is reconstructed by evaluating $\Phi_\theta$ at each pixel location. We have evaluated our method on four benchmarks -- Indian Pines, Cuprite, Pavia University, and Jasper Ridge -- and we show the proposed method achieves better compression than JPEG, JPEG2000, and PCA-DCT at low bitrates.


title: High-energy neutrino emission associated with gravitational-wave signals: effects of cocoon photons and constraints on late-time emission

abstract: We investigate prospects for the detection of high-energy neutrinos produced in the prolonged jets of short gamma-ray bursts (sGRBs). The X-ray lightcurves of sGRBs show extended emission components lasting for 100-1000 seconds, which are considered to be produced by prolonged engine activity. Jets by prolonged engine activity should interact with photons in the cocoon formed by the jet propagation inside the ejecta of neutron star mergers. We calculate neutrino emission from jets by prolonged engine activity, taking account of the interaction between photons provided from the cocoon and cosmic rays accelerated in the jets. We find that IceCube-Gen2, a future neutrino telescope, with the second-generation gravitational wave detectors will probably be able to observe neutrino signals associated with gravitational waves with around 10 years of operation, regardless of the assumed value of the Lorentz factor of the jets. Neutrino observations may enable us to constrain the dissipation region of the jets. We apply this model to GRB 211211A, a peculiar long GRB whose origin may be a binary neutron-star merger. Our model predicts that IceCube is unlikely to detect any associated neutrino, but a few similar events will be able to put a meaningful constraint on the physical quantities of the prolonged engine activities.


title: Stabilizing skyrmions in stepped magnetic devices for multistate memory

abstract: The dynamics and stability of magnetic skyrmions within a nano-track with multiple confinements are investigated. Firstly, the motion of a single skyrmion under spin transfer torque (STT) is studied. By accurately adjusting the current pulse magnitude and width, the study reveals the possibility to pin and stabilize the skyrmion in each confinement. Due to the Hall angle, the depining of the skyrmion from the top confinement requires two pulses with adjustable time delay while a single pulse is enough to depin it for the case of bottom confinement. In the case of two skyrmions, once one is pinned in one confinement, the second one stabilizes in the nearest available empty state and no more than one skyrmion could be seen in single confinement. Finally and for further confirmation of this behavior, the motion of a large number of skyrmions is investigated under the same conditions. The results show that a multistate device could be obtained with still the existence of only one skyrmion per state. The skyrmions could be displaced along the nano-track until their annihilation at the end of the device.


title: Robustness to Spurious Correlations Improves Semantic Out-of-Distribution Detection

abstract: Methods which utilize the outputs or feature representations of predictive models have emerged as promising approaches for out-of-distribution (OOD) detection of image inputs. However, these methods struggle to detect OOD inputs that share nuisance values (e.g. background) with in-distribution inputs. The detection of shared-nuisance out-of-distribution (SN-OOD) inputs is particularly relevant in real-world applications, as anomalies and in-distribution inputs tend to be captured in the same settings during deployment. In this work, we provide a possible explanation for SN-OOD detection failures and propose nuisance-aware OOD detection to address them. Nuisance-aware OOD detection substitutes a classifier trained via empirical risk minimization and cross-entropy loss with one that 1. is trained under a distribution where the nuisance-label relationship is broken and 2. yields representations that are independent of the nuisance under this distribution, both marginally and conditioned on the label. We can train a classifier to achieve these objectives using Nuisance-Randomized Distillation (NuRD), an algorithm developed for OOD generalization under spurious correlations. Output- and feature-based nuisance-aware OOD detection perform substantially better than their original counterparts, succeeding even when detection based on domain generalization algorithms fails to improve performance.


title: Isometric embeddings of surfaces for scl

abstract: Let $\varphi:F_1\to F_2$ be an injective morphism of free groups. If $\varphi$ is geometric (i.e. induced by an inclusion of oriented compact connected surfaces with nonempty boundary), then we show that $\varphi$ is an isometric embedding for stable commutator length. More generally, we show that if $T$ is a subsurface of an oriented compact (possibly closed) connected surface $S$, and $c$ is an integral $1$-chain on $\pi_1T$, then there is an isometric embedding $H_2(T,c)\to H_2(S,c)$ for the relative Gromov seminorm. Those statements are proved by finding an appropriate standard form for admissible surfaces and showing that, under the right homology vanishing conditions, such an admissible surface in $S$ for a chain in $T$ is in fact an admissible surface in $T$.


title: Inverse Models for Estimating the Initial Condition of Spatio-Temporal Advection-Diffusion Processes

abstract: Inverse problems involve making inference about unknown parameters of a physical process using observational data. This paper investigates an important class of inverse problems -- the estimation of the initial condition of a spatio-temporal advection-diffusion process using spatially sparse data streams. Three spatial sampling schemes are considered, including irregular, non-uniform and shifted uniform sampling. The irregular sampling scheme is the general scenario, while computationally efficient solutions are available in the spectral domain for non-uniform and shifted uniform sampling. For each sampling scheme, the inverse problem is formulated as a regularized convex optimization problem that minimizes the distance between forward model outputs and observations. The optimization problem is solved by the Alternating Direction Method of Multipliers algorithm, which also handles the situation when a linear inequality constraint (e.g., non-negativity) is imposed on the model output. Numerical examples are presented, code is made available on GitHub, and discussions are provided to generate some useful insights of the proposed inverse modeling approaches.


title: Multi-Modal Evaluation Approach for Medical Image Segmentation

abstract: Manual segmentation of medical images (e.g., segmenting tumors in CT scans) is a high-effort task that can be accelerated with machine learning techniques. However, selecting the right segmentation approach depends on the evaluation function, particularly in medical image segmentation where we must deal with dependency between voxels. For instance, in contrast to classical systems where the predictions are either correct or incorrect, predictions in medical image segmentation may be partially correct and incorrect simultaneously. In this paper, we explore this expressiveness to extract the useful properties of these systems and formally define a novel multi-modal evaluation (MME) approach to measure the effectiveness of different segmentation methods. This approach improves the segmentation evaluation by introducing new relevant and interpretable characteristics, including detection property, boundary alignment, uniformity, total volume, and relative volume. Our proposed approach is open-source and publicly available for use. We have conducted several reproducible experiments, including the segmentation of pancreas, liver tumors, and multi-organs datasets, to show the applicability of the proposed approach.


title: Combinatorics of the Delta conjecture at q=-1

abstract: In the context of the shuffle theorem, many classical integer sequences appear with a natural refinement by two statistics $q$ and $t$: for example the Catalan and Schr\"oder numbers. In particular, the bigraded Hilbert series of diagonal harmonics is a $q,t$-analog of $(n+1)^{n-1}$ (and can be written in terms of symmetric functions via the nabla operator). The motivation for this work is the observation that at $q=-1$, this $q,t$-analog becomes a $t$-analog of Euler numbers, a famous integer sequence that counts alternating permutations. We prove this observation via a more general statement, that involves the Delta operator on symmetric functions (on one side), and new combinatorial statistics on permutations involving peaks and valleys (on the other side). An important tool are the schedule numbers of a parking function first introduced by Hicks; and expanded upon by Haglund and Sergel. Other empirical observation suggest that nonnegativity at $q=-1$ holds in far greater generality.


title: Separation of Wigner and Continuum-continuum Delays by Mirror-symmetry-broken Attosecond Interferometry

abstract: Photoionization of matter is one of the fastest electronic processes in nature. Experimental measurements of photoionization dynamics have become possible through attosecond metrology. However, all experiments reported to date contain a so-far unavoidable measurement-induced contribution, known as continuum-continuum (CC) or Coulomb-laser-coupling delay. Exploiting the recently characterized circularly polarized attosecond pulse trains, we introduce the concept of mirror-symmetry-broken attosecond interferometry, which enables the direct and separate measurement of both the native one-photon ionization delays as well as the continuum-continuum delays. Our technique solves the longstanding challenge of experimentally isolating both the native one-photon-ionization (or Wigner) delays and the measurement-induced (CC) delays. This advance opens the door to a new generation of precision measurements that is likely to drive major progress in experimental and theoretical attosecond science with implications for benchmarking the accuracy of electronic-structure and electron-dynamics methods.


title: EDEN Survey: Small Transiting Planet Detection Limits and Constraints on the Occurrence Rates for Late M Dwarfs within 15 pc

abstract: Earth-sized exoplanets that transit nearby, late spectral type red dwarfs will be prime targets for atmospheric characterization in the coming decade. Such systems, however, are difficult to find via wide-field transit surveys like Kepler or TESS. Consequently, the presence of such transiting planets is unexplored and the occurrence rates of short-period Earth-sized planets around late M dwarfs remain poorly constrained. Here, we present the deepest photometric monitoring campaign of 22 nearby late M dwarf stars, using data from over 500 nights on seven 1-2 meter class telescopes. Our survey includes all known single quiescent northern late M dwarfs within 15 pc. We use transit-injection-and-recovery tests to quantify the completeness of our survey, successfully identify most ($>80\%$) transiting short-period (0.5-1 d) super-Earths ($R > 1.9 R_\oplus$), and are sensitive ($\sim50\%$) to transiting Earth-sized planets ($1.0-1.2 R_\oplus$). Our high sensitivity to transits with a near-zero false positive rate demonstrates an efficient survey strategy. Our survey does not yield a transiting planet detection, yet it provides the most sensitive upper limits on transiting planets orbiting our target stars. Finally, we explore multiple hypotheses about the occurrence rates of short-period planets (from Earth-sized planets to giant planets) around late M dwarfs. We show, for example, that giant planets at short periods ($<1$ day) are uncommon around our target stars. Our dataset provides some insight into occurrence rates of short-period planets around TRAPPIST-1-like stars, and our results can help test planetary formation and system evolution models, as well as guide future observations of nearby late M dwarfs.


title: On the sharpness of Strichartz estimates and spectrum of compact Lie groups

abstract: We prove Strichartz estimates on any compact connected simple Lie group. In the diagonal case of Bourgain's exponents $p=q,$ we provide a new regularity order $s_{0}^{R}(p)$ in the sense that our (reverse) Strichartz estimates are valid when $s> s_{0}^{R}(p)$ and when $p\rightarrow 2^{+}.$ As expected our Sobolev index satisfies the estimate $ s_{0}^{R}(p)>s_{0}(d)=\frac{d}{2}-\frac{d+2}{p}.$ Motivated by the recent progress in the field, in the spirit of the analytical number theory methods developed by Bourgain in the analysis of periodic Schr\"odinger equations, we link the problem of finding Strichartz estimates on compact Lie groups with the problem of counting the number of representations $r_{s,2}(R)$ of an integer number $R$ as a sum of $s$ squares, and then, we implicitly use the very well known bounds for $r_{s,2}(R)$ from the Hardy-Littlewood-Ramanujan circle method. In our analysis, we explicitly compute the parametrisation of the spectrum of the Laplacian (modulo a factor depending on the geometry of the group) in terms of sums of squares. As a byproduct, our approach also yields explicit expressions for the spectrum of the Laplacian on all compact connected simple Lie groups, providing also a number of results for Strichartz estimates in the borderline case $p=2.$


title: A simple coin for a $2d$ entangled walk

abstract: We analyze the effect of a simple coin operator, built out of Bell pairs, in a $2d$ Discrete Quantum Random Walk (DQRW) problem. The specific form of the coin enables us to find analytical and closed form solutions to the recursion relations of the DQRW. The coin induces entanglement between the spin and position degrees of freedom, which oscillates with time and reaches a constant value asymptotically. We probe the entangling properties of the coin operator further, by two different measures. First, by integrating over the space of initial tensor product states, we determine the {\it Entangling Power} of the coin operator. Secondly, we compute the {\it Generalized Relative R\'{e}nyi Entropy} between the corresponding density matrices for the entangled state and the initial pure unentangled state. Both the {\it Entangling Power} and {\it Generalized Relative R\'{e}nyi Entropy} behaves similar to the entanglement with time. Finally, in the continuum limit, the specific coin operator reduces the $2d$ DQRW into two $1d$ massive fermions coupled to synthetic gauge fields, where both the mass term and the gauge fields are built out of the coin parameters.


title: Combining self-labeling and demand based active learning for non-stationary data streams

abstract: Learning from non-stationary data streams is a research direction that gains increasing interest as more data in form of streams becomes available, for example from social media, smartphones, or industrial process monitoring. Most approaches assume that the ground truth of the samples becomes available (possibly with some delay) and perform supervised online learning in the test-then-train scheme. While this assumption might be valid in some scenarios, it does not apply to all settings. In this work, we focus on scarcely labeled data streams and explore the potential of self-labeling in gradually drifting data streams. We formalize this setup and propose a novel online $k$-nn classifier that combines self-labeling and demand-based active learning.


title: The topology of real algebraic sets with isolated singularities is determined by the field of rational numbers

abstract: We prove that every real algebraic set $V\subset\mathbb{R}^n$ with isolated singularities is homeomorphic to a set $V'\subset\mathbb{R}^m$ that is $\mathbb{Q}$-algebraic in the sense that $V'$ is defined in $\mathbb{R}^m$ by polynomial equations with rational coefficients. The homeomorphism $\phi:V\to V'$ we construct is semialgebraic, preserves nonsingular points and restricts to a Nash diffeomorphism between the nonsingular loci. In addition, we can assume that $V'$ has a codimension one subset of rational points. If $m$ is sufficiently large, we can also assume that $V'\subset\mathbb{R}^m$ is arbitrarily close to $V\subset\mathbb{R}^n\subset\mathbb{R}^m$, and $\phi$ extends to a semialgebraic homeomorphism from $\mathbb{R}^m$ to $\mathbb{R}^m$. A first consequence of this result is a $\mathbb{Q}$-version of the Nash-Tognoli theorem: Every compact smooth manifold admits a $\mathbb{Q}$-algebraic model. Another consequence concerns the open problem of making Nash germs $\mathbb{Q}$-algebraic: Every Nash set germ with an isolated singularity is semialgebraically equivalent to a $\mathbb{Q}$-algebraic set germ.


title: Predicting Thrombectomy Recanalization from CT Imaging Using Deep Learning Models

abstract: For acute ischemic stroke (AIS) patients with large vessel occlusions, clinicians must decide if the benefit of mechanical thrombectomy (MTB) outweighs the risks and potential complications following an invasive procedure. Pre-treatment computed tomography (CT) and angiography (CTA) are widely used to characterize occlusions in the brain vasculature. If a patient is deemed eligible, a modified treatment in cerebral ischemia (mTICI) score will be used to grade how well blood flow is reestablished throughout and following the MTB procedure. An estimation of the likelihood of successful recanalization can support treatment decision-making. In this study, we proposed a fully automated prediction of a patient's recanalization score using pre-treatment CT and CTA imaging. We designed a spatial cross attention network (SCANet) that utilizes vision transformers to localize to pertinent slices and brain regions. Our top model achieved an average cross-validated ROC-AUC of 77.33 $\pm$ 3.9\%. This is a promising result that supports future applications of deep learning on CT and CTA for the identification of eligible AIS patients for MTB.


title: An Energy Estimation Benchmark for Quantum Computers

abstract: Certifying the performance of quantum computers requires standardized tests. We propose a simple energy estimation benchmark that is motivated from quantum chemistry. With this benchmark we statistically characterize the noisy outcome of the IBM Quantum System One in Ehningen, Germany. We find that the benchmark results hardly correlate with the gate errors and readout errors reported for the device. In a time-resolved analysis, we monitor the device over several hours and find two-hour oscillations of the benchmark results, as well as outliers, which we cannot explain from the reported device status. We then show that the implemented measurement error mitigation techniques cannot resolve these oscillations, which suggests that deviations from the theoretical benchmark outcome statistics do not stem solely from the measurement noise of the device.


title: Diophantine $D(n)$-quadruples in $\mathbb{Z}[\sqrt{4k + 2}]$

abstract: Let $d$ be a square-free integer and $\mathbb{Z}[\sqrt{d}]$ a quadratic ring of integers. For a given $n\in\mathbb{Z}[\sqrt{d}]$, a set of $m$ non-zero distinct elements in $\mathbb{Z}[\sqrt{d}]$ is called a Diophantine $D(n)$-$m$-tuple (or simply $D(n)$-$m$-tuple) in $\mathbb{Z}[\sqrt{d}]$ if product of any two of them plus $n$ is a square in $\mathbb{Z}[\sqrt{d}]$. Assume that $d \equiv 2 \pmod 4$ is a positive integer such that $x^2 - dy^2 = -1$ and $x^2 - dy^2 = 6$ are solvable in integers. In this paper, we prove the existence of infinitely many $D(n)$-quadruples in $\mathbb{Z}[\sqrt{d}]$ for $n = 4m + 4k\sqrt{d}$ with $m, k \in \mathbb{Z}$ satisfying $m \not\equiv 5 \pmod{6}$ and $k \not\equiv 3 \pmod{6}$. Moreover, we prove the same for $n = (4m + 2) + 4k\sqrt{d}$ when either $m \not\equiv 9 \pmod{12}$ and $k \not\equiv 3 \pmod{6}$, or $m \not\equiv 0 \pmod{12}$ and $k \not\equiv 0 \pmod{6}$. At the end, some examples supporting the existence of quadruples in $\mathbb{Z}[\sqrt{d}]$ with the property $D(n)$ for the above exceptional $n$'s are provided for $d = 10$.


title: Controlled non-autonomous matter-wave solitons in spinor Bose-Einstein condensates with spatiotemporal modulation

abstract: To study controlled evolution of non-autonomous matter-wave solitons in spinor Bose-Einstein condensates with spatiotemporal modulation, we focus on a system of three coupled Gross-Pitaevskii (GP) equations with space-time-dependent external potentials and temporally modulated gain/loss distributions. An integrability condition and a non-isospectral Lax pair for the coupled GP equations are obtained. Using it, we derive an infinite set of dynamical invariants, the first two of which are the mass and momentum. The Darboux transform is used to generate one- and two-soliton solutions. Under the action of different external potentials and gain/loss distributions, various solutions for controlled non-autonomous matter-wave solitons of both ferromagnetic and polar types are obtained, such as self-compressed, snake-like and stepwise solitons, and as well as breathers. In particular, the formation of states resembling rogue waves, under the action of a sign-reversible gain-loss distribution, is demonstrated too. Shape-preserving and changing interactions between two non-autonomous matter-wave solitons and bound states of solitons are addressed too. In this context, spin switching arises in the polar-ferromagnetic interaction. Stability of the non-autonomous matter-wave solitons is verified by means of systematic simulations of their perturbed evolution.


title: Impact of O4 future detection on the determination of the dense matter equations of state

abstract: In view of the next LIGO-Virgo-KAGRA Observing period O4 (to start in Spring 2023), we address the question of the ability of the interferometers network to discriminate among different neutron stars equation of states better than what was possible with the observation of the binary neutron stars merger GW170817. We show that the observation of an event similar to GW170817 during O4 would allow to resolve the dimensionless effective tidal deformability $\tilde{\Lambda}$ within an uncertainty 7 times better than the one obtained in O2. Thanks to the expected increase in sensitivities, we show that any GW170817-like single-event within a distance of 100 Mpc would imply significantly improved constraints of the neutron stars equations of state. We also illustrate the important impact of the noise in the analysis of the signal, showing how it can impact the effective tidal deformability probability density function for large signal-to-noise ratio.


title: Decoherence as a high-dimensional geometrical phenomenon

abstract: We develop a mathematical formalism that allows to study decoherence with a great level generality, so as to make it appear as a geometrical phenomenon between reservoirs of dimensions. It enables us to give quantitative estimates of the level of decoherence induced by a purely random environment on a system according to their respectives sizes, and to exhibit some links with entanglement entropy.


title: Domain Adaptation of Synthetic Driving Datasets for Real-World Autonomous Driving

abstract: While developing perception based deep learning models, the benefit of synthetic data is enormous. However, performance of networks trained with synthetic data for certain computer vision tasks degrade significantly when tested on real world data due to the domain gap between them. One of the popular solutions in bridging this gap between synthetic and actual world data is to frame it as a domain adaptation task. In this paper, we propose and evaluate novel ways for the betterment of such approaches. In particular we build upon the method of UNIT-GAN. In normal GAN training for the task of domain translation, pairing of images from both the domains (viz, real and synthetic) is done randomly. We propose a novel method to efficiently incorporate semantic supervision into this pair selection, which helps in boosting the performance of the model along with improving the visual quality of such transformed images. We illustrate our empirical findings on Cityscapes \cite{cityscapes} and challenging synthetic dataset Synscapes. Though the findings are reported on the base network of UNIT-GAN, they can be easily extended to any other similar network.


title: The $X(6900)$ peak could be a molecular state

abstract: The analyses of the LHCb data on $X(6900)$ found in di-$J/\psi$ and $J/\psi \psi(3686)$ systems are performed using a momentum-dependent {Flatt\'{e}}-like parameterization. The use of the pole counting rule and spectral density function sum rule give consistent conclusions that $X(6900)$ may not be a molecule of $J/\psi \psi(3686)$. Nevertheless it is still possible that $X(6900)$ be a molecule of higher states, such as $J/\psi\psi(3770)$, $\chi_{c0}\chi_{c2}$, etc.


title: Policy Evaluation in Decentralized POMDPs with Belief Sharing

abstract: Most works on multi-agent reinforcement learning focus on scenarios where the state of the environment is fully observable. In this work, we consider a cooperative policy evaluation task in which agents are not assumed to observe the environment state directly. Instead, agents can only have access to noisy observations and to belief vectors. It is well-known that finding global posterior distributions under multi-agent settings is generally NP-hard. As a remedy, we propose a fully decentralized belief forming strategy that relies on individual updates and on localized interactions over a communication network. In addition to the exchange of the beliefs, agents exploit the communication network by exchanging value function parameter estimates as well. We analytically show that the proposed strategy allows information to diffuse over the network, which in turn allows the agents' parameters to have a bounded difference with a centralized baseline. A multi-sensor target tracking application is considered in the simulations.


title: Estimation of Combinatoric Background in SeaQuest using an Event-Mixing Method

abstract: All experiments observing dilepton pairs (e.g. $e^+e^-$, $\mu^+\mu^-$) must confront the existence of a combinatoric background caused by the combining of tracks not arising from the same physics vertex. Some method must be devised to calculate and remove this background. In this document we describe a particular event-mixing method relying on many of the unique aspects of the SeaQuest spectrometer and data. The method described here calculates the combinatoric background with correct normalization; i.e., there is no need to assign a floating normalization factor that is then determined in a subsequent fitting procedure. Numerous tests are applied to demonstrate the reliability of the method.


title: Reduction modulo $p$ of the Noether problem

abstract: Let $k$ be an algebraically closed field of characteristic $p \geq 0$ and $V$ be a faithful $k$-rational representation of a finite $\ell$-group $G$, where $\ell$ is a prime number. The Noether problem asks whether $V/G$ is a stably rational variety. While if $\ell=p$ it is well-known that $V/G$ is always rational, when $\ell\neq p$, Saltman and then Bogomolov constructed $\ell$-groups for which $V/G$ is not stably rational. Hence, the geometry of $V/G$ depends heavily on the characteristic of the field. We show that for all the groups $G$ constructed by Saltman and Bogomolov, one cannot interpolate between the Noether problem in characteristic $0$ and $p$. More precisely, we show that it does not exist a complete valuation ring $R$ of mixed characteristic $(0,p)$ and a smooth proper $R$-scheme $X\rightarrow \mathrm{Spec}(R)$ whose special fiber and generic fiber are both stably birational to $V/G$. The proof combines the integral $p$-adic Hodge theoretic results of Bhatt-Morrow-Scholze with the study of indefinitely closed differential forms in positive characteristic.


title: Evolution of Two Membrane Protein Sequences and Functions

abstract: TRPC(3,6) are two ~ 930 amino acid membrane proteins that form calcium permeant cation channels. Here we examine the differences between mammals and oviparous species. Our method is based on the concept of evolution towards criticality, a general concept we have previously applied to many proteins, especially in describing the evolution of pandemic sequences through natural selection.


title: Mean-field dynamics of open quantum systems with collective operator-valued rates: validity and application

abstract: We consider a class of open quantum many-body Lindblad dynamics characterized by an all-to-all coupling Hamiltonian and by dissipation featuring collective ``state-dependent" rates. The latter encodes local incoherent transitions that depend on average properties of the system. This type of open quantum dynamics can be seen as a generalization of classical (mean-field) stochastic Markov dynamics, in which transitions depend on the instantaneous configuration of the system, to the quantum domain. We study the time evolution in the limit of infinitely large systems, and we demonstrate the exactness of the mean-field equations for the dynamics of average operators. We further derive the effective dynamical generator governing the time evolution of (quasi-)local operators. Our results allow for a rigorous and systematic investigation of the impact of quantum effects on paradigmatic classical models, such as quantum generalized Hopfield associative memories or (mean-field) kinetically-constrained models.

categories: cond-mat.stat-mech math-ph math.MP quant-ph


title: Prompting for Multimodal Hateful Meme Classification

abstract: Hateful meme classification is a challenging multimodal task that requires complex reasoning and contextual background knowledge. Ideally, we could leverage an explicit external knowledge base to supplement contextual and cultural information in hateful memes. However, there is no known explicit external knowledge base that could provide such hate speech contextual information. To address this gap, we propose PromptHate, a simple yet effective prompt-based model that prompts pre-trained language models (PLMs) for hateful meme classification. Specifically, we construct simple prompts and provide a few in-context examples to exploit the implicit knowledge in the pre-trained RoBERTa language model for hateful meme classification. We conduct extensive experiments on two publicly available hateful and offensive meme datasets. Our experimental results show that PromptHate is able to achieve a high AUC of 90.96, outperforming state-of-the-art baselines on the hateful meme classification task. We also perform fine-grained analyses and case studies on various prompt settings and demonstrate the effectiveness of the prompts on hateful meme classification.


title: Hilbert's tenth problem in Anticyclotomic towers of number fields

abstract: Let $K$ be an imaginary quadratic field and $p$ be an odd prime which splits in $K$. Let $E_1$ and $E_2$ be elliptic curves over $K$ such that the $Gal(\bar{K}/K)$-modules $E_1[p]$ and $E_2[p]$ are isomorphic. We show that under certain explicit additional conditions on $E_1$ and $E_2$, the anticyclotomic $\mathbb{Z}_p$-extension $K_{anti}$ of $K$ is integrally diophantine over $K$. When such conditions are satisfied, we deduce new cases of Hilbert's tenth problem. In greater detail, the conditions imply that Hilbert's tenth problem is unsolvable for all number fields that are contained in $K_{anti}$. We illustrate our results by constructing an explicit example for $p=3$ and $K=\mathbb{Q}(\sqrt{-5})$.


title: Universality of Superconcentration in the Sherrington-Kirkpatrick Model

abstract: We study the universality of superconcentration for the free energy in the Sherrington-Kirkpatrick (SK) model. In arXiv:0907.3381, Chatterjee showed that when the system consists of $N$ spins and Gaussian disorders, the variance of this quantity is superconcentrated by establishing an upper bound of order $N/\log{N}$, in contrast to the $O(N)$ bound obtained from the Gaussian-Poincar\'e inequality. In this paper, we show that superconcentration indeed holds for any choice of centered disorders with finite third moment, where the upper bound is expressed in terms of an auxiliary nondecreasing function $f$ that arises in the representation of the disorder as $f(g)$ for $g$ standard normal. Under an additional regularity assumption on $f$, we further show that the variance is of order at most $N/\log{N}$.


title: A Discrete Four Vertex Theorem for Hyperbolic Polygons

abstract: There are many four vertex type theorems appearing in the literature, coming in both smooth and discrete flavors. The most familiar of these is the classical theorem in differential geometry, which states that the curvature function of a simple smooth closed curve in the plane has at least four extreme values. This theorem admits a natural discretization to Euclidean polygons due to O. Musin. In this article we adapt the techniques of Musin and prove a discrete four vertex theorem for convex hyperbolic polygons.


title: Probing the Higgs trilinear self-coupling through Higgs+jet production

abstract: We present the calculation of the next-to-leading order (NLO) electroweak (EW) corrections proportional to the Higgs trilinear self-coupling ($\lambda_{HHH}$) for Higgs boson plus one jet production at the Large Hadron Collider (LHC). We use the method of large top quark mass expansion to tackle the most challenging two-loop virtual amplitude, and apply the Pad\'{e} approximation to extend the region of convergence of the expansion. We find that the NLO EW corrections is $0.66\%$ for the total cross section. For the invariant mass distribution and Higgs boson transverse momentum distribution, the NLO corrections are almost flat with their values similar in size. Our results can be used to set extra constraints on $\lambda_{HHH}$ at the LHC.


title: Masking Kernel for Learning Energy-Efficient Representations for Speaker Recognition and Mobile Health

abstract: Modern smartphones possess hardware for audio acquisition and to perform speech processing tasks such as speaker recognition and health assessment. However, energy consumption remains a concern, especially for resource-intensive DNNs. Prior work has improved the DNN energy efficiency by utilizing a compact model or reducing the dimensions of speech features. Both approaches reduced energy consumption during DNN inference but not during speech acquisition. This paper proposes using a masking kernel integrated into gradient descent during DNN training to learn the most energy-efficient speech length and sampling rate for windowing, a common step for sample construction. To determine the most energy-optimal parameters, a masking function with non-zero derivatives was combined with a low-pass filter. The proposed approach minimizes the energy consumption of both data collection and inference by 57%, and is competitive with speaker recognition and traumatic brain injury detection baselines.


title: Optimal Sufficient Requirements on the Embedded Ising Problem in Polynomial Time

abstract: One of the central applications for quantum annealers is to find the solutions of Ising problems. Suitable Ising problems, however, need to be formulated such that they, on the one hand, respect the specific restrictions of the hardware and, on the other hand, represent the original problems which shall actually be solved. We evaluate sufficient requirements on such an embedded Ising problem analytically and transform them into a linear optimization problem. With an objective function aiming to minimize the maximal absolute problem parameter, the precision issues of the annealers are addressed. Due to the redundancy of several constraints, we can show that the formally exponentially large optimization problem can be reduced and finally solved in polynomial time for the standard embedding setting where the embedded vertices induce trees. This allows to formulate provably equivalent embedded Ising problems in a practical setup.


title: Task Space Control of Robot Manipulators based on Visual SLAM

abstract: This paper aims to address the open problem of designing a globally stable vision-based controller for robot manipulators. Accordingly, based on a hybrid mechanism, this paper proposes a novel task-space control law attained by taking the gradient of a potential function in SE(3). The key idea is to employ the Visual Simultaneous Localization and Mapping (VSLAM) algorithm to estimate a robot pose. The estimated robot pose is then used in the proposed hybrid controller as feedback information. Invoking Barbalats lemma and Lyapunov's stability theorem, it is guaranteed that the resulting closed-loop system is globally asymptotically stable, which is the main accomplishment of the proposed structure. Simulation studies are conducted on a six degrees of freedom (6-DOF) robot manipulator to demonstrate the effectiveness and validate the performance of the proposed VSLAM-based control scheme.


title: (-1)-Enumerations of arrowed Gelfand-Tsetlin patterns

abstract: Arrowed Gelfand-Tsetlin patterns have recently been introduced to study alternating sign matrices. In this paper, we show that a $(-1)$-enumeration of arrowed Gelfand-Tsetlin patterns can be expressed by a simple product formula. The numbers are a one-parameter generalization of the numbers $2^{n(n-1)/2} \prod_{j=0}^{n-1} \frac{(4j+2)!}{(n+2j+1)!}$ that appear in recent work of Di Francesco. A second result concerns the (-1)-enumeration of arrowed Gelfand-Tsetlin patterns when excluding double-arrows as decoration in which case we also obtain a simple product formula. We are also able to provide signless interpretations of our results. The proofs of the enumeration formulas are based on a recent Littlewood-type identity, which allows us to reduce the problem to the evaluations of two determinants. The evaluations are accomplished by means of the LU-decompositions of the underlying matrices, and an extension of Sister Celine's algorithm as well as creative telescoping to evaluate certain triple sums. In particular, we use implementations of such algorithms by Koutschan, and by Wegschaider and Riese.


title: IRTCI: Item Response Theory for Categorical Imputation

abstract: Most datasets suffer from partial or complete missing values, which has downstream limitations on the available models on which to test the data and on any statistical inferences that can be made from the data. Several imputation techniques have been designed to replace missing data with stand in values. The various approaches have implications for calculating clinical scores, model building and model testing. The work showcased here offers a novel means for categorical imputation based on item response theory (IRT) and compares it against several methodologies currently used in the machine learning field including k-nearest neighbors (kNN), multiple imputed chained equations (MICE) and Amazon Web Services (AWS) deep learning method, Datawig. Analyses comparing these techniques were performed on three different datasets that represented ordinal, nominal and binary categories. The data were modified so that they also varied on both the proportion of data missing and the systematization of the missing data. Two different assessments of performance were conducted: accuracy in reproducing the missing values, and predictive performance using the imputed data. Results demonstrated that the new method, Item Response Theory for Categorical Imputation (IRTCI), fared quite well compared to currently used methods, outperforming several of them in many conditions. Given the theoretical basis for the new approach, and the unique generation of probabilistic terms for determining category belonging for missing cells, IRTCI offers a viable alternative to current approaches.


title: GPTScore: Evaluate as You Desire

abstract: Generative Artificial Intelligence (AI) has enabled the development of sophisticated models that are capable of producing high-caliber text, images, and other outputs through the utilization of large pre-trained models. Nevertheless, assessing the quality of the generation is an even more arduous task than the generation itself, and this issue has not been given adequate consideration recently. This paper proposes a novel evaluation framework, GPTScore, which utilizes the emergent abilities (e.g., zero-shot instruction) of generative pre-trained models to score generated texts. There are 19 pre-trained models explored in this paper, ranging in size from 80M (e.g., FLAN-T5-small) to 175B (e.g., GPT3). Experimental results on four text generation tasks, 22 evaluation aspects, and corresponding 37 datasets demonstrate that this approach can effectively allow us to achieve what one desires to evaluate for texts simply by natural language instructions. This nature helps us overcome several long-standing challenges in text evaluation--how to achieve customized, multi-faceted evaluation without the need for annotated samples. We make our code publicly available at https://github.com/jinlanfu/GPTScore.


title: Dynamical-Corrected Nonadiabatic Geometric Quantum Computation

abstract: Recently, nonadiabatic geometric quantum computation has been received great attentions, due to its fast operation and intrinsic error resilience. However, compared with the corresponding dynamical gates, the robustness of implemented nonadiabatic geometric gates based on the conventional single-loop scheme still has the same order of magnitude due to the requirement of strict multi-segment geometric controls, and the inherent geometric fault-tolerance characteristic is not fully explored. Here, we present an effective geometric scheme combined with a general dynamical-corrected technique, with which the super-robust nonadiabatic geometric quantum gates can be constructed over the conventional single-loop and two-loop composite-pulse strategies, in terms of resisting the systematic error, i.e., $\sigma_x$ error. In addition, combined with the decoherence-free subspace (DFS) coding, the resulting geometric gates can also effectively suppress the $\sigma_z$ error caused by the collective dephasing. Notably, our protocol is a general one with simple experimental setups, which can be potentially implemented in different quantum systems, such as Rydberg atoms, trapped ions and superconducting qubits. These results indicate that our scheme represents a promising way to explore large-scale fault-tolerant quantum computation.


title: Generalizing Neural Wave Functions

abstract: Recent neural network-based wave functions have achieved state-of-the-art accuracies in modeling ab-initio ground-state potential energy surface. However, these networks can only solve different spatial arrangements of the same set of atoms. To overcome this limitation, we present Graph-learned orbital embeddings (Globe), a neural network-based reparametrization method that can adapt neural wave functions to different molecules. Globe learns representations of local electronic structures that generalize across molecules via spatial message passing by connecting molecular orbitals to covalent bonds. Further, we propose a size-consistent wave function Ansatz, the Molecular orbital network (Moon), tailored to jointly solve Schr\"odinger equations of different molecules. In our experiments, we find Moon converging in 4.5 times fewer steps to similar accuracy as previous methods or to lower energies given the same time. Further, our analysis shows that Moon's energy estimate scales additively with increased system sizes, unlike previous work where we observe divergence. In both computational chemistry and machine learning, we are the first to demonstrate that a single wave function can solve the Schr\"odinger equation of molecules with different atoms jointly.

categories: cs.LG physics.chem-ph physics.comp-ph quant-ph


title: Cross-link Interference Modeling in 6G Millimeter Wave and Terahertz LEO Satellite Communications

abstract: One of the important questions when discussing next-generation near-Earth mmWave and terahertz (THz) band satellite communications as an integral part of the 5G-Advanced and 6G landscape is the potential interference-related issues when deploying such systems. While the space-to-ground and ground-to-space interference has been explored in multiple works already, the interference at mmWave and THz cross-links, the links between the satellites themselves, have not been extensively studied yet. However, severe cross-link interference may both challenge the reliability of the data exchange within the constellation, as well as compromise the efficient co-existence of multiple satellite constellations (i.e., by different providers) covering the same or neighboring areas. In this paper, both relevant mathematical models and extensive simulation studies are presented for cross-link mmWave and THz satellite communications. Our results indicate that the cross-link interference in the considered setups is a non-negligible factor that must be further explored and accounted for in the design and deployment of next-general mmWave and THz satellite communication systems.


title: On the algebraic approach to GUP in anisotropic space

abstract: Motivated by current searches for signals of Lorentz symmetry violation in nature and recent investigations on generalized uncertainty principle (GUP) models in anisotropic space, in this paper we identify GUP models satisfying two criteria: (i) invariance of commutators under canonical transformations, and (ii) physical independence of position and momentum on the ordering of auxiliary operators in their definitions. Compliance of these criteria is fundamental if one wishes to unambiguously describe GUP using an algebraic approach but, surprisingly, neither is trivially satisfied when GUP is assumed within anisotropic space. As a consequence, we use these criteria to place important restrictions on what or how GUP models may be approached algebraically.


title: Non-Coplanar Magnetic Orders in Classical Square-Kagome Antiferromagnets

abstract: Motivated by the recent synthesis of a number of Mott insulating square-kagome materials, we explore the rich phenomenology of frustrated magnetism induced by this lattice geometry, also referred to as the squagome or shuriken lattice. On the classical level, square-kagome antiferromagnets are found to exhibit extensive degeneracies, order-by-disorder, and non-coplanar ordering tendencies, which we discuss for an elementary, classical Heisenberg model with nearest-neighbor and cross-plaquette interactions. Having in mind that upon introducing quantum fluctuations non-coplanar order can melt into chiral quantum spin liquids, we provide detailed information on the multitude of non-coplanar orders, including some which break rotational symmetry (possibly leading to nematic quantum orders), as well as a number of (incommensurate) spin spiral phases. Using extensive numerical simulations, we also discuss the thermodynamic signatures of these phases, which often show multi-step thermal ordering. Our comprehensive discussion of the classical square-kagome Heisenberg model, often drawing comparisons to the conventional kagome antiferromagnet, sets the stage for future explorations of quantum analogs of the various phases, either conceptually such as in quantum spin-1/2 generalizations of our model or experimentally such as in the Cu-based candidate materials.


title: Non Fermi liquid behavior at flat hot spots from quantum critical fluctuations at the onset of charge- or spin-density wave order

abstract: We analyze quantum fluctuation effects at the onset of charge or spin density wave order with a $2k_F$ wave vector $\mathbf{Q}$ in two-dimensional metals -- for the special case where $\mathbf{Q}$ connects a pair of hot spots situated at high symmetry points of the Fermi surface with a vanishing Fermi surface curvature. We compute the order parameter susceptibility and the fermion self-energy in one-loop approximation. The susceptibility has a pronounced peak at $\mathbf{Q}$, and the self-energy displays non-Fermi liquid behavior at the hot spots, with a linear frequency dependence of its imaginary part. The real part of the one-loop self-energy exhibits logarithmic divergences with universal prefactors as a function of both frequency and momentum, which may be interpreted as perturbative signatures of power laws with universal anomalous dimensions. As a result, one obtains a non-Fermi liquid metal with a vanishing quasiparticle weight at the hot spots, and a renormalized dispersion relation with anomalous algebraic momentum dependencies near the hot spots.


title: A Survey of Feature detection methods for localisation of plain sections of Axial Brain Magnetic Resonance Imaging

abstract: Matching MRI brain images between patients or mapping patients' MRI slices to the simulated atlas of a brain is key to the automatic registration of MRI of a brain. The ability to match MRI images would also enable such applications as indexing and searching MRI images among multiple patients or selecting images from the region of interest. In this work, we have introduced robustness, accuracy and cumulative distance metrics and methodology that allows us to compare different techniques and approaches in matching brain MRI of different patients or matching MRI brain slice to a position in the brain atlas. To that end, we have used feature detection methods AGAST, AKAZE, BRISK, GFTT, HardNet, and ORB, which are established methods in image processing, and compared them on their resistance to image degradation and their ability to match the same brain MRI slice of different patients. We have demonstrated that some of these techniques can correctly match most of the brain MRI slices of different patients. When matching is performed with the atlas of the human brain, their performance is significantly lower. The best performing feature detection method was a combination of SIFT detector and HardNet descriptor that achieved 93% accuracy in matching images with other patients and only 52% accurately matched images when compared to atlas.


title: The Hardware Impact of Quantization and Pruning for Weights in Spiking Neural Networks

abstract: Energy efficient implementations and deployments of Spiking neural networks (SNNs) have been of great interest due to the possibility of developing artificial systems that can achieve the computational powers and energy efficiency of the biological brain. Efficient implementations of SNNs on modern digital hardware are also inspired by advances in machine learning and deep neural networks (DNNs). Two techniques widely employed in the efficient deployment of DNNs -- the quantization and pruning of parameters, can both compress the model size, reduce memory footprints, and facilitate low-latency execution. The interaction between quantization and pruning and how they might impact model performance on SNN accelerators is currently unknown. We study various combinations of pruning and quantization in isolation, cumulatively, and simultaneously (jointly) to a state-of-the-art SNN targeting gesture recognition for dynamic vision sensor cameras (DVS). We show that this state-of-the-art model is amenable to aggressive parameter quantization, not suffering from any loss in accuracy down to ternary weights. However, pruning only maintains iso-accuracy up to 80% sparsity, which results in 45% more energy than the best quantization on our architectural model. Applying both pruning and quantization can result in an accuracy loss to offer a favourable trade-off on the energy-accuracy Pareto-frontier for the given hardware configuration.


title: Finding Causally Different Tests for an Industrial Control System

abstract: Industrial control systems (ICSs) are types of cyber-physical systems in which programs, written in languages such as ladder logic or structured text, control industrial processes through sensing and actuating. Given the use of ICSs in critical infrastructure, it is important to test their resilience against manipulations of sensor/actuator inputs. Unfortunately, existing methods fail to test them comprehensively, as they typically focus on finding the simplest-to-craft manipulations for a testing goal, and are also unable to determine when a test is simply a minor permutation of another, i.e. based on the same causal events. In this work, we propose a guided fuzzing approach for finding 'meaningfully different' tests for an ICS via a general formalisation of sensor/actuator-manipulation strategies. Our algorithm identifies the causal events in a test, generalises them to an equivalence class, and then updates the fuzzing strategy so as to find new tests that are causally different from those already identified. An evaluation of our approach on a real-world water treatment system shows that it is able to find 106% more causally different tests than the most comparable fuzzer. While we focus on diversifying the test suite of an ICS, our formalisation may be useful for other fuzzers that intercept communication channels.


title: Parameter estimates and a uniqueness result for double phase problem with a singular nonlinearity

abstract: We consider the boundary value problem $-\Delta_p u_\lambda -\Delta_q u_\lambda =\lambda g(x) u_\lambda^{-\beta}$ in $\Omega$ , $u_\lambda=0$ on $\partial \Omega$ with $u_\lambda>0$ in $\Omega.$ We assume $\Omega$ is a bounded open set in $\mathbb{R}^N$ with smooth boundary, $1<p<q<\infty$, $\beta\in [0,1),$ $g$ is a positive weight function and $\lambda$ is a positive parameter. We derive an estimate for $u_\lambda$ which describes its exact behavior when the parameter $\lambda$ is large. In general, by invoking appropriate comparison principles, this estimate can be used as a powerful tool in deducing the existence, non-existence and multiplicity of positive solutions of nonlinear elliptic boundary value problems. Here, as an application of this estimate, we obtain a uniqueness result for a nonlinear elliptic boundary value problem with a singular nonlinearity.


title: A Dynamic Graph CNN with Cross-Representation Distillation for Event-Based Recognition

abstract: Recent advances in event-based research prioritize sparsity and temporal precision. Approaches using dense frame-based representations processed via well-pretrained CNNs are being replaced by the use of sparse point-based representations learned through graph CNNs (GCN). Yet, the efficacy of these graph methods is far behind their frame-based counterparts with two limitations. ($i$) Biased graph construction without carefully integrating variant attributes ($i.e.$, semantics, spatial and temporal cues) for each vertex, leading to imprecise graph representation. ($ii$) Deficient learning because of the lack of well-pretrained models available. Here we solve the first problem by proposing a new event-based GCN (EDGCN), with a dynamic aggregation module to integrate all attributes of vertices adaptively. To address the second problem, we introduce a novel learning framework called cross-representation distillation (CRD), which leverages the dense representation of events as a cross-representation auxiliary to provide additional supervision and prior knowledge for the event graph. This frame-to-graph distillation allows us to benefit from the large-scale priors provided by CNNs while still retaining the advantages of graph-based models. Extensive experiments show our model and learning framework are effective and generalize well across multiple vision tasks.


title: DynGFN: Towards Bayesian Inference of Gene Regulatory Networks with GFlowNets

abstract: One of the grand challenges of cell biology is inferring the gene regulatory network (GRN) which describes interactions between genes and their products that control gene expression and cellular function. We can treat this as a causal discovery problem but with two non-standard challenges: (1) regulatory networks are inherently cyclic so we should not model a GRN as a directed acyclic graph (DAG), and (2) observations have significant measurement noise, so for typical sample sizes there will always be a large equivalence class of graphs that are likely given the data, and we want methods that capture this uncertainty. Existing methods either focus on challenge (1), identifying cyclic structure from dynamics, or on challenge (2) learning complex Bayesian posteriors over DAGs, but not both. In this paper we leverage the fact that it is possible to estimate the "velocity" of gene expression with RNA velocity techniques to develop an approach that addresses both challenges. Because we have access to velocity information, we can treat the Bayesian structure learning problem as a problem of sparse identification of a dynamical system, capturing cyclic feedback loops through time. Since our objective is to model uncertainty over discrete structures, we leverage Generative Flow Networks (GFlowNets) to estimate the posterior distribution over the combinatorial space of possible sparse dependencies. Our results indicate that our method learns posteriors that better encapsulate the distributions of cyclic structures compared to counterpart state-of-the-art Bayesian structure learning approaches.


title: A Scale-Independent Multi-Objective Reinforcement Learning with Convergence Analysis

abstract: Many sequential decision-making problems need optimization of different objectives which possibly conflict with each other. The conventional way to deal with a multi-task problem is to establish a scalar objective function based on a linear combination of different objectives. However, for the case of having conflicting objectives with different scales, this method needs a trial-and-error approach to properly find proper weights for the combination. As such, in most cases, this approach cannot guarantee an optimal Pareto solution. In this paper, we develop a single-agent scale-independent multi-objective reinforcement learning on the basis of the Advantage Actor-Critic (A2C) algorithm. A convergence analysis is then done for the devised multi-objective algorithm providing a convergence-in-mean guarantee. We then perform some experiments over a multi-task problem to evaluate the performance of the proposed algorithm. Simulation results show the superiority of developed multi-objective A2C approach against the single-objective algorithm.