title: Eilmer: an Open-Source Multi-Physics Hypersonic Flow Solver

abstract: This paper introduces Eilmer, a general-purpose open-source compressible flow solver developed at the University of Queensland, designed to support research calculations in hypersonics and high-speed aerothermodynamics. Eilmer has a broad userbase in several university research groups and a wide range of capabilities, which are documented on the project's website, in the accompanying reference manuals, and in an extensive catalogue of example simulations. The first part of this paper describes the formulation of the code: the equations, physical models, and numerical methods that are used in a basic fluid dynamics simulation, as well as a handful of optional multi-physics models that are commonly added on to do calculations of hypersonic flow. The second section describes the processes used to develop and maintain the code, documenting our adherence to good programming practice and endorsing certain techniques that seem to be particularly helpful for scientific codes. The final section describes a half-dozen example simulations that span the range of Eilmer's capabilities, each consisting of some sample results and a short explanation of the problem being solved, which together will hopefully assist new users in beginning to use Eilmer in their own research projects.


title: Magnetic effect on equilibrium tides and its influence on the orbital evolution of binary systems

abstract: In the standard theory of equilibrium tides, hydrodynamic turbulence is considered. In this paper we study the effect of magnetic fields on equilibrium tides. We find that the turbulent Ohmic dissipation associated with a tidal flow is much stronger than the turbulent viscous dissipation such that a magnetic field can greatly speed up the tidal evolution of a binary system. We then apply the theory to three binary systems: the orbital migration of 51 Pegasi b, the orbital decay of WASP-12b, and the circularization of close binary stars. Theoretical predictions are in good agreement with observations, which cannot be clearly interpreted with hydrodynamic equilibrium tides.


title: Bremsstrahlung on noble gases at low energies

abstract: A detailed analysis of the bremsstrahlung spectrum at nonrelativistic electron scattering on argon and xenon is carried out. It is shown that the approximate formulas widely used for the description of bremsstrahlung spectra lead to predictions that significantly differ from the exact results. In the limit when the photon frequency tends to zero, a rigorous proof of the relationship between the spectrum of the bremsstrahlung with a transport cross section of electron scattering on an atom is given. This proof does not require any assumptions about the dependence of the scattering phases on energy. For electron energies lower than the luminescence threshold, it is shown that the predictions for a number of radiated photons obtained by the exact formula are in good agreement with the available experimental data.


title: Critical gravitational collapse of a massive complex scalar field

abstract: We study the critical collapse of a massive complex scalar field coupled minimally to gravity. Taking as initial data a simple gaussian pulse with a shape similar to the harmonic ansatz for boson stars, we obtain critical collapse of type type I and II when varying the gaussian width $\sigma$. For $\sigma \leq 0.5$ we find collapse of type II with a critical exponent $\gamma=0.38\pm0.01$ and an echoing period $\Delta=3.4\pm0.1$. These values are very similar to the known results for a real massless scalar field. On the other hand, for $\sigma \geq 2.5$ we obtain collapse of type I. In this case we find that the critical solutions turn out to be an unstable boson stars in the ground state: all the data obtained from our simulations can be contrasted with the characteristic values for unstable boson stars and their corresponding Lyapunov exponents.


title: Superradiant instability of dyonic Reissner-Nordstrom black holes

abstract: We investigate the superradiant instability of dyonic Reissner-Nordstr\"{o}m (dRN) black holes with two charges under a charged massive scalar perturbation. Two conditions for possessing a trapping well are obtained from analyzing asymptotic scalar potential and far-region wave functions. It is clear that the superradiant instability is not allowed in the dRN black holes because the conditions for a trapping well are not compatible with the superradiance condition.


title: The error term in the truncated Perron formula for the logarithm of an $L$-function

abstract: We improve upon the traditional error term in the truncated Perron formula for the logarithm of an $L$-function. All our constants are explicit.


title: Quasi-2D anomalous Hall Mott insulator of topologically engineered Jeff =1/2 electrons

abstract: We investigate an experimental toy-model system of a pseudospin-half square-lattice Hubbard Hamiltonian in [(SrIrO3)1/(CaTiO3)1] to include both nontrivial complex hopping and moderate electronic correlation. While the former induces electronic Berry phases as anticipated from the weak-coupling limit, the later stabilizes an antiferromagnetic (AFM) Mott insulator ground state in analogous to the strong-coupling limit. Their combined results in the real system are found to be an anomalous Hall effect with a non-monotonic temperature dependence due to the self-competition of the electron-hole pairing in the Mott state, and an exceptionally large Ising anisotropy that is captured as a giant magnon gap beyond the superexchange approach. The unusual phenomena highlight the rich interplay of electronic topology and electronic correlation in the intermediate-coupling regime that is largely unexplored and challenging in theoretical modelling.


title: Simulation of Crowd Egress with Environmental Stressors

abstract: This article introduces a modeling framework to characterize evacuee response to environmental stimuli during emergency egress. The model is developed in consistency with stress theory, which explains how an organism reacts to environmental stressors. We integrate the theory into the well-known social-force model, and develop a framework to simulate crowd evacuation behavior in multi-compartment buildings. Our method serves as a theoretical basis to study crowd movement at bottlenecks, and simulate their herding and way-finding behavior in normal and hazardous conditions. The pre-movement behavior is also briefly investigated by using opinion dynamics with social group model. The algorithms have been partly tested in FDS+EVAC as well as our simulation platform crowdEgress.


title: Influence Maximization in Hypergraphs

abstract: Influence maximization in complex networks, i.e., maximizing the size of influenced nodes via selecting K seed nodes for a given spreading process, has attracted great attention in recent years. However, the influence maximization problem in hypergraphs, in which the hyperedges are leveraged to represent the interactions among more than two nodes, is still an open question. In this paper, we propose an adaptive degree-based heuristic algorithm, i.e., Heuristic Degree Discount (HDD), which iteratively selects nodes with low influence overlap as seeds, to solve the influence maximization problem in hypergraphs. We further extend algorithms from ordinary networks as baselines and compare the performance of the proposed algorithm and baselines on both real data and synthetic hypergraphs. Results show that HDD outperforms the baselines in terms of both effectiveness and efficiency. Moreover, the experiments on synthetic hypergraphs indicate that HDD shows high performance, especially in hypergraphs with heterogeneous degree distribution.


title: Sun-as-a-star Analysis of H$\alpha$ Spectra of a Solar Flare Observed by SMART/SDDI: Time Evolution of Red Asymmetry and Line Broadening

abstract: Stellar flares sometimes show red/blue asymmetries of H$\alpha$ line, which can indicate chromospheric dynamics and prominence activations. However, the origin of asymmetries is not completely understood. For a deeper understanding of stellar data, we performed a Sun-as-a-star analysis of H$\alpha$ line profiles of an M4.2-class solar flare showing dominant emissions from flare ribbons by using the data of the Solar Dynamics Doppler Imager onboard the Solar Magnetic Activity Research Telescope at Hida Observatory. The Sun-as-a-star H$\alpha$ spectra of the flare show red asymmetry of up to $\sim$95 km s$^{-1}$ and line broadening of up to $\sim$7.5 {\AA}. The Sun-as-a-star H$\alpha$ profiles are consistent with spectra from flare regions with weak intensity, but they take smaller redshift velocities and line widths by a factor of $\sim$2 than those with strong intensity. The redshift velocities, as well as line widths, peak out and decay more rapidly than the H$\alpha$ equivalent widths, which is consistent with chromospheric condensation model and spatially-resolved flare spectra. This suggests that as a result of superposition, the nature of chromospheric condensation is observable even from stellar flare spectra. The time evolution of redshift velocities is found to be similar to that of luminosities of near-ultraviolet rays (1600 {\AA}), while the time evolution of line broadening is similar to that of optical white lights. These H$\alpha$ spectral behaviors in Sun-as-a-star view could be helpful to distinguish whether the origin of H$\alpha$ red asymmetry of stellar flares is a flare ribbon or other phenomena.


title: The Impact of $f(\mathcal{G}, T)$ Gravity on the Evolution of Cavity in the Cluster of Stars

abstract: This paper analyzes the evolution of cavities for the cluster of stars in the context of modified Gauss-Bonnet gravity. For this purpose, we assume a spherically symmetric geometry with locally anisotropic fluid distribution. It is assumed that the proper radial distance among neighboring stellar components stays unchanged during purely areal evolution stage. We provide some analytical solutions by using general formulism in $f(\mathcal{G}, T)$ gravitation theory. The thick-shells cavities at one or both boundary surfaces are found to satisfy the Darmois conditions. Moreover, we also investigate the physical behavior of cavity models by considering the stellar $4U 1820-30$. We conclude that the dark matter has a strong impact on the evolution of cavities in the cluster of stars.


title: Dynamic Structured Illumination Microscopy with a Neural Space-time Model

abstract: Structured illumination microscopy (SIM) reconstructs a super-resolved image from multiple raw images captured with different illumination patterns; hence, acquisition speed is limited, making it unsuitable for dynamic scenes. We propose a new method, Speckle Flow SIM, that uses static patterned illumination with moving samples and models the sample motion during data capture in order to reconstruct the dynamic scene with super-resolution. Speckle Flow SIM relies on sample motion to capture a sequence of raw images. The spatio-temporal relationship of the dynamic scene is modeled using a neural space-time model with coordinate-based multi-layer perceptrons (MLPs), and the motion dynamics and the super-resolved scene are jointly recovered. We validate Speckle Flow SIM for coherent imaging in simulation and build a simple, inexpensive experimental setup with off-the-shelf components. We demonstrate that Speckle Flow SIM can reconstruct a dynamic scene with deformable motion and 1.88x the diffraction-limited resolution in experiment.

categories: physics.optics cs.CV cs.GR eess.IV eess.SP


title: A closer look at TDFA

abstract: We present an algorithm for regular expression parsing and submatch extraction based on tagged deterministic finite automata. The algorithm works with different disambiguation policies. We give detailed pseudocode for the algorithm, covering important practical optimizations. All transformations from a regular expression to an optimized automaton are explained on a step-by-step example. We consider both ahead-of-time and just-in-time determinization and describe variants of the algorithm suited to each setting. We provide benchmarks showing that the algorithm is very fast in practice. Our research is based on two independent implementations: an open-source lexer generator RE2C and an experimental Java library.


title: Generalization for multiclass classification with overparameterized linear models

abstract: Via an overparameterized linear model with Gaussian features, we provide conditions for good generalization for multiclass classification of minimum-norm interpolating solutions in an asymptotic setting where both the number of underlying features and the number of classes scale with the number of training points. The survival/contamination analysis framework for understanding the behavior of overparameterized learning problems is adapted to this setting, revealing that multiclass classification qualitatively behaves like binary classification in that, as long as there are not too many classes (made precise in the paper), it is possible to generalize well even in some settings where the corresponding regression tasks would not generalize. Besides various technical challenges, it turns out that the key difference from the binary classification setting is that there are relatively fewer positive training examples of each class in the multiclass setting as the number of classes increases, making the multiclass problem "harder" than the binary one.


title: The chromatic number of heptagraphs

abstract: A hole is an induced cycle of length at least 4. A graph is called a pentagraph if it has no cycles of length 3 or 4 and has no holes of odd length at least 7, and is called a heptagraph if it has no cycles of length less than 7 and has no holes of odd length at least 9. Let $\l\ge 2$ be an integer. The current authors proved that a graph is 4- colorable if it has no cycles of length less than $2\l+1$ and has no holes of odd length at least $2\l+3$. Confirming a conjecture of Plummer and Zha, Chudnovsky and Seymour proved that every pentagraph is 3-colorable. Following their idea, we show that every heptagraph is 3-colorable.


title: Deligne--Beilinson cohomology and log Hodge theory

abstract: We show that the description of Deligne--Beilinson cohomology is improved by using log Hodge theory. We consider the log relative version of it, and also present a fundamental conjecture in log Hodge theory.


title: Data Encryption based on 9D Complex Chaotic System with Quaternion for Smart Grid

abstract: With the development of smart grid, the operation and control of power system is realized through power communication network, especially the power production and enterprise management business involve a large amount of sensitive information, and the requirements for data security and real-time transmission are gradually improved. In this paper, a new 9D complex chaotic system with quaternion is proposed for the encryption of smart grid data. Firstly, a new 9D complex chaotic system with quaternion is proposed, and its attractors, bifurcation diagram, complexity, and 0-1 test are analyzed. Secondly, the pseudo-random sequences are generated by the new chaotic system to encrypt power data. Finally, the proposed encryption algorithm is verifed with power data and images in the smart grid, which can ensure the encryption security and real-time. The verifcation results show that the proposed encryption scheme is technically feasible and available for power data and image encryption in smart grid.


title: Wigner-Smith Time Delay Matrix for Electromagnetics: Systems with Material Dispersion and Losses

abstract: The Wigner-Smith (WS) time delay matrix relates a system's scattering matrix to its frequency derivative and gives rise to so-called WS modes that experience well-defined group delays when interacting with the system. For systems composed of nondispersive and lossless materials, the WS time delay matrix previously was shown to consist of volume integrals of energy-like densities plus correction terms that account for the guiding, scattering, or radiating characteristics of the system. This study extends the use of the WS time delay matrix to systems composed of dispersive and lossy materials. Specifically, it shows that such systems' WS time delay matrix can be expressed by augmenting the previously derived expressions with terms that account for the dispersive and lossy nature of the system, followed by a transformation that disentangles effects of losses from time delays. Analytical and numerical examples demonstrate the new formulation once again allows for the construction of frequency stable WS modes that experience well-defined group delays upon interacting with a system.


title: Modeling the sea-surface $p$CO$_2$ of the central Bay of Bengal region using machine learning algorithms

abstract: The present study explores the capabilities of advanced machine learning algorithms in predicting the sea-surface $p$CO$_2$ in the open oceans of the Bay of Bengal (BoB). We collect the available observations (outside EEZ) from the cruise tracks and the mooring stations. Due to the paucity of data in the BoB, we attempt to predict $p$CO$_2$ based on the Sea Surface Temperature (SST) and the Sea Surface Salinity (SSS). Comparing the MLR, the ANN, and the XGBoost algorithm against a common dataset reveals that the XGBoost performs the best for predicting the sea-surface $p$CO$_2$ in the BoB. Using the satellite-derived SST and SSS, we predict the sea-surface $p$CO$_2$ using the XGBoost model and compare the same with the in-situ observations from RAMA buoy. The model performs satisfactorily, having a correlation of 0.75 and the RMSE of $\pm$ 12.23 $\mu$atm. Further using this model, we emulate the monthly variations in the sea-surface $p$CO$_2$ for the central BoB between 2010-2019. Using the satellite data, we show that the central BoB is warming at a rate of 0.0175 per year, whereas the SSS decreases with a rate of -0.0088 per year. The modeled $p$CO$_2$ shows a declination at a rate of -0.4852 $\mu$atm per year. We perform sensitivity experiments to find that the variations in SST and SSS contribute $\approx$ 41$\%$ and $\approx$ 37$\%$ to the declining trends of the $p$CO$_2$ for the last decade. Seasonal analysis shows that the pre-monsoon season has the highest rate of decrease of the sea-surface $p$CO$_2$.


title: Uniqueness of Positive Vorticity Solutions to the 2D Euler Equations on Singular Domains

abstract: We show that particle trajectories for positive vorticity solutions to the 2D Euler equations on fairly general bounded simply connected domains cannot reach the boundary in finite time. This includes domains with possibly nowhere $C^1$ boundaries and having corners with arbitrary angles, and can fail without the sign hypothesis when the domain has large angle corners. Hence positive vorticity solutions on such domains are Lagrangian, and we also obtain their uniqueness if the vorticity is initially constant near the boundary.


title: Modeling the seasonal variability and the governing factors of Ocean Acidification over the Bay of Bengal region

abstract: The Bay of Bengal (BoB) is a high recipient of freshwater flux from rivers and precipitation, making the region strongly stratified. The strong stratification results in a thick barrier layer formation, which inhibits vertical mixing making this region a low-productive zone. In the present study, we attempt to model the pH of the BoB region and understand the role of different governing factors such as sea-surface temperature (SST), sea-surface salinity (SSS), dissolved inorganic carbon (DIC), and total alkalinity (TALK) on the seasonality of sea-surface pH. We run a set of sensitivity experiments to understand the role of each of the governing factors. The results show that the SST, SSS, and DIC are the principal drivers affecting the sea-surface pH, while TALK plays a buffering role. The SST and DIC are consistently found to be opposite to each other. The pre-monsoon season (MAM) has shown to have an almost equal contribution from all the drivers. In the pre-monsoon season, the SST and DIC are balanced by TALK and SSS. The role of SSS is significantly dominant in the second half of the year. Both SST and SSS counter the role of DIC in the southwest monsoon season. The strong stratification plays an essential role in modulating the pH of the BoB region. The thickness of the barrier layer formed in the sub-surface layers positively affects the sea-surface pH. The northern BoB is found to be more alkaline than the southern BoB. Our study highlights the complexity of ocean acidification in the BoB region compared to the other part of the world ocean.


title: Radiative proton capture on $^{15}\mathrm{N}$ within effective field theory

abstract: The astrophysical $S$ factor for the radiative proton capture process on the $^{15}\mathrm{N}$ nucleus, i.e., $^{15}\mathrm{N}(p, \gamma)^{16}\mathrm{O}$, at stellar energies are studied within the framework of the cluster effective field theory. The thermonuclear $^{15}\mathrm{N}(p, \gamma)^{16}\mathrm{O}$ reaction links the type-I to type-II cycles of the carbon-nitrogen-oxygen cycle and affects the abundances of elements in the univere. For investigating this reaction in the effective field theory formalism, we first construct an effective Lagrangian that is appropriate for this reaction at low-energies. Since the intermediate excited states of the $^{16}\mathrm{O}$ nucleus have a crucial role in this reaction, we include these resonances in the formalism. The corresponding radiative capture amplitudes and cross section are calculated, which lead to the astrophysical $S$ factor. The low energy constants introduced in the effective Lagrangian are determined by fitting the theoretical results to the observed $S$ factors in the range of $130~\mathrm{keV} < E_p < 2500~\mathrm{keV}$ using three different experimental data sets. Considering the recent data sets, we obtain $S(0) = 29.8\mbox{-}34.1~\mathrm{keV\ b}$, which is in a good agreement with the estimates from $R$-matrix approaches in the literature. The values of $S$ at the Gamow energy are found to be larger than $S(0)$ values by about $10\%$.


title: MetaLR: Meta-tuning of Learning Rates for Transfer Learning in Medical Imaging

abstract: In medical image analysis, transfer learning is a powerful method for deep neural networks (DNNs) to generalize well on limited medical data. Prior efforts have focused on developing pre-training algorithms on domains such as lung ultrasound, chest X-ray, and liver CT to bridge domain gaps. However, we find that model fine-tuning also plays a crucial role in adapting medical knowledge to target tasks. The common fine-tuning method is manually picking transferable layers (e.g., the last few layers) to update, which is labor-expensive. In this work, we propose a meta-learning-based LR tuner, named MetaLR, to make different layers automatically co-adapt to downstream tasks based on their transferabilities across domains. MetaLR learns appropriate LRs for different layers in an online manner, preventing highly transferable layers from forgetting their medical representation abilities and driving less transferable layers to adapt actively to new domains. Extensive experiments on various medical applications show that MetaLR outperforms previous state-of-the-art (SOTA) fine-tuning strategies. Codes are released.


title: Hybrid Parameter Search and Dynamic Model Selection for Mixed-Variable Bayesian Optimization

abstract: This paper presents a new type of hybrid model for Bayesian optimization (BO) adept at managing mixed variables, encompassing both quantitative (continuous and integer) and qualitative (categorical) types. Our proposed new hybrid models (named hybridM) merge the Monte Carlo Tree Search structure (MCTS) for categorical variables with Gaussian Processes (GP) for continuous ones. hybridM leverages the upper confidence bound tree search (UCTS) for MCTS strategy, showcasing the tree architecture's integration into Bayesian optimization. Our innovations, including dynamic online kernel selection in the surrogate modeling phase and a unique UCTS search strategy, position our hybrid models as an advancement in mixed-variable surrogate models. Numerical experiments underscore the superiority of hybrid models, highlighting their potential in Bayesian optimization.


title: Fair Classification via Transformer Neural Networks: Case Study of an Educational Domain

abstract: Educational technologies nowadays increasingly use data and Machine Learning (ML) models. This gives the students, instructors, and administrators support and insights for the optimum policy. However, it is well acknowledged that ML models are subject to bias, which raises concerns about the fairness, bias, and discrimination of using these automated ML algorithms in education and its unintended and unforeseen negative consequences. The contribution of bias during the decision-making comes from datasets used for training ML models and the model architecture. This paper presents a preliminary investigation of the fairness of transformer neural networks on the two tabular datasets: Law School and Student-Mathematics. In contrast to classical ML models, the transformer-based models transform these tabular datasets into a richer representation while solving the classification task. We use different fairness metrics for evaluation and check the trade-off between fairness and accuracy of the transformer-based models over the tabular datasets. Empirically, our approach shows impressive results regarding the trade-off between fairness and performance on the Law School dataset.


title: One-shot Learning for Autonomous Aerial Manipulation

abstract: This paper is concerned with learning transferable contact models for aerial manipulation tasks. We investigate a contact-based approach for enabling unmanned aerial vehicles with cable-suspended passive grippers to compute the attach points on novel payloads for aerial transportation. This is the first time that the problem of autonomously generating contact points for such tasks has been investigated. Our approach builds on the underpinning idea that we can learn a probability density of contacts over objects' surfaces from a single demonstration. We enhance this formulation for encoding aerial transportation tasks while maintaining the one-shot learning paradigm without handcrafting task-dependent features or employing ad-hoc heuristics; the only prior is extrapolated directly from a single demonstration. Our models only rely on the geometrical properties of the payloads computed from a point cloud, and they are robust to partial views. The effectiveness of our approach is evaluated in simulation, in which one or three quadropters are requested to transport previously unseen payloads along a desired trajectory. The contact points and the quadroptors configurations are computed on-the-fly for each test by our apporach and compared with a baseline method, a modified grasp learning algorithm from the literature. Empirical experiments show that the contacts generated by our approach yield a better controllability of the payload for a transportation task. We conclude this paper with a discussion on the strengths and limitations of the presented idea, and our suggested future research directions.


title: Revisiting evolution equations for generalised parton distributions

abstract: We revisit the evolution of generalised parton distributions (GPDs) in momentum space. We formulate the evolution kernels at one-loop in perturbative QCD (pQCD) in a form suitable for numerical implementation and that allows for an accurate study of their properties. This leads to the first open-source implementation of GPD evolution equations able to cover the entire kinematic region and allowing for heavy-quark-threshold crossings. The numerical implementation of the GPD evolution equations is publicly accessible through the APFEL++ evolution library and is available within the PARTONS framework. Our formulation makes use of the operator definition of GPDs in light-cone gauge renormalised in the $\overline{\mbox{MS}}$ scheme. For the sake of clarity, we recompute the evolution kernels at one-loop in pQCD, confirming previous calculations. We obtain general conditions on the evolution kernels deriving from the GPD sum rules and show that our formulation obeys these conditions. We analytically show that our calculation reproduces the DGLAP and the ERBL equations in the appropriate limits and that it guarantees the continuity of GPDs. We numerically check that the evolved GPDs fulfil DGLAP and ERBL limits, continuity, and polynomiality. We benchmark our numerical implementation against analytical evolution in conformal space. Finally, we perform a numerical comparison to an existing implementation of GPD evolution finding a general good agreement on the kinematic region accessible to the latter. This work provides a pedagogical description of GPD evolution equations which benefits from a renewed interest as future colliders, such as the electron-ion colliders in the US and in China, are being designed. It also paves the way to the extension of GPD evolution codes to higher accuracies in pQCD desirable for precision phenomenology at these facilities.


title: Impact of the composition of feature extraction and class sampling in medicare fraud detection

abstract: With healthcare being critical aspect, health insurance has become an important scheme in minimizing medical expenses. Following this, the healthcare industry has seen a significant increase in fraudulent activities owing to increased insurance, and fraud has become a significant contributor to rising medical care expenses, although its impact can be mitigated using fraud detection techniques. To detect fraud, machine learning techniques are used. The Centers for Medicaid and Medicare Services (CMS) of the United States federal government released "Medicare Part D" insurance claims is utilized in this study to develop fraud detection system. Employing machine learning algorithms on a class-imbalanced and high dimensional medicare dataset is a challenging task. To compact such challenges, the present work aims to perform feature extraction following data sampling, afterward applying various classification algorithms, to get better performance. Feature extraction is a dimensionality reduction approach that converts attributes into linear or non-linear combinations of the actual attributes, generating a smaller and more diversified set of attributes and thus reducing the dimensions. Data sampling is commonlya used to address the class imbalance either by expanding the frequency of minority class or reducing the frequency of majority class to obtain approximately equal numbers of occurrences for both classes. The proposed approach is evaluated through standard performance metrics. Thus, to detect fraud efficiently, this study applies autoencoder as a feature extraction technique, synthetic minority oversampling technique (SMOTE) as a data sampling technique, and various gradient boosted decision tree-based classifiers as a classification algorithm. The experimental results show the combination of autoencoders followed by SMOTE on the LightGBM classifier achieved best results.


title: Vision-Aided Frame-Capture-Based CSI Recomposition for WiFi Sensing: A Multimodal Approach

abstract: Recompositing channel state information (CSI) from the beamforming feedback matrix (BFM), which is a compressed version of CSI and can be captured because of its lack of encryption, is an alternative way of implementing firmware-agnostic WiFi sensing. In this study, we propose the use of camera images toward the accuracy enhancement of CSI recomposition from BFM. The key motivation for this vision-aided CSI recomposition is to draw a first-hand insight that the BFM does not fully involve spatial information to recomposite CSI and that this could be compensated by camera images. To leverage the camera images, we use multimodal deep learning, where the two modalities, i.e., images and BFMs, are integrated to recomposite the CSI. We conducted experiments using IEEE 802.11ac devices. The experimental results confirmed that the recomposition accuracy of the proposed multimodal framework is improved compared to the single-modal framework only using images or BFMs.


title: Computable presentations of C*-algebras

abstract: We initiate the study of computable presentations of real and complex C*-algebras under the program of effective metric structure theory. With the group situation as a model, we develop corresponding notions of recursive presentations and word problems for C*-algebras, and show some analogous results hold in this setting. Famously, every finitely generated group with a computable presentation is computably categorical, but we provide a counterexample in the case of C*-algebras. On the other hand, we show every finite-dimensional C*-algebra is computably categorical.


title: Multipliers of a semigroup object in a monoidal category

abstract: The monoid of multipliers of a semigroup object in a monoidal category is introduced, arising from an abstraction of the definition of the translational hull of an ordinary semigroup or of the multiplier algebra of a Banach algebra and dually, the monoid of comultipliers of a cosemigroup object is obtained. Its set-theoretic version, the classical translational hull, is shown to provide a functor from a subcategory of ordinary semigroups to monoids, similar to a left adjoint. The abstract multiplier monoid of a semigroup object is related to the concrete translational hull of its convolution semigroup by a ``concretization'' homomorphism. For semigroup objects for which this homomorphism is onto, the multiplier construction is functorial and the concretization homomorphisms form a natural epimorphism.


title: Learning an Adaptation Function to Assess Image Visual Similarities

abstract: Human perception is routinely assessing the similarity between images, both for decision making and creative thinking. But the underlying cognitive process is not really well understood yet, hence difficult to be mimicked by computer vision systems. State-of-the-art approaches using deep architectures are often based on the comparison of images described as feature vectors learned for image categorization task. As a consequence, such features are powerful to compare semantically related images but not really efficient to compare images visually similar but semantically unrelated. Inspired by previous works on neural features adaptation to psycho-cognitive representations, we focus here on the specific task of learning visual image similarities when analogy matters. We propose to compare different supervised, semi-supervised and self-supervised networks, pre-trained on distinct scales and contents datasets (such as ImageNet-21k, ImageNet-1K or VGGFace2) to conclude which model may be the best to approximate the visual cortex and learn only an adaptation function corresponding to the approximation of the the primate IT cortex through the metric learning framework. Our experiments conducted on the Totally Looks Like image dataset highlight the interest of our method, by increasing the retrieval scores of the best model @1 by 2.25x. This research work was recently accepted for publication at the ICIP 2021 international conference [1]. In this new article, we expand on this previous work by using and comparing new pre-trained feature extractors on other datasets.


title: Eigenvalue ratio statistics of complex networks: Disorder vs. Randomness

abstract: The distribution of the ratios of consecutive eigenvalue spacings of random matrices has emerged as an important tool to study spectral properties of many-body systems. This article numerically investigates the eigenvalue ratios distribution of various model networks, namely, small-world, Erd\H{o}s-R\'enyi random, and (dis)assortative random having a diagonal disorder in the corresponding adjacency matrices. Without any diagonal disorder, the eigenvalues ratio distribution of these model networks depict Gaussian orthogonal ensemble (GOE) statistics. Upon adding diagonal disorder, there exists a gradual transition from the GOE to Poisson statistics depending upon the strength of the disorder. The critical disorder (wc) required to procure the Poisson statistics increases with the randomness in the network architecture. We relate wc with the time taken by the maximum entropy random walker to reach the steady-state. These analyses will be helpful to understand the role of eigenvalues other than the principal one for various network dynamics such as transient behaviour.


title: Moduli Spaces of Marked Branched Projective Structures on Surfaces

abstract: We show that the moduli space of marked branched projective structures of genus g and branching degree n is a complex analytic space. In the case g > 1 we show that this moduli space is of dimension 6 g - 6 + n and we characterize its singular points in terms of their monodromy. We introduce a notion of branching class, that is an infinitesimal description of branched projective structures at the branched points. We show that the space of marked branching classes of genus g and branching degree n is a complex manifold. We show that if n < 2g-2 the space of branched projective structures is an affine bundle over the space of branching classes, while if n > 4g-4 the former is an analytic subspace of the latter.


title: Dissociative electron attachment to gold(i) based compounds: 4,5-dichloro 1,3-diethyl imidazolylidene trifluoromethyl gold(i)

abstract: With the use of proton-NMR and powder XRD (XRPD) studies, the suitability of specific Au FEBID precursors has been investigated to low electron energy, structure, excited states and resonances, structural crystal modifications, flexibility, and vaporization level. Uniquely designed precursor to meet the needs of focused electron beam induced deposition (FEBID) at the nanostructure level, the 4,5-dichloro 1,3-diethyl imidazolylidene trifluoromethyl gold(i) is a compound that proves its capability to create high purity structures, and its growing importance between other AuImx and AuClnB (where x, n are the number of radicals, B = CH, CH3 or Br) compounds in the radiation cancer therapy increases the efforts to design more suitable bonds in processes of SEM deposition and in gas-phase studies. The investigation done to its powder shape using the XRPD XPERT3 Panalytical diffractometer based on CoK{\alpha} lines show changes to its structure with temperature, level of vacuum, and light; the sensitivity of this compound makes it highly interesting to radiation research in particular. Used for FEBID, through its smaller number of C, H, and O atoms has lower levels of C contamination in the structures and on the surface, but it replaces these bonds with C-Cl and C-N bonds that have a lower bond breaking energy but still needing an extra purification step in the deposition process, whether is H2O, O2 or H jets.


title: 12 Years of Self-tracking for Promoting Physical Activity from a User Diversity Perspective: Taking Stock and Thinking Ahead

abstract: Despite the indisputable personal and societal benefits of regular physical activity, a large portion of the population does not follow the recommended guidelines, harming their health and wellness. The World Health Organization has called upon governments, practitioners, and researchers to accelerate action to address the global prevalence of physical inactivity. To this end, an emerging wave of research in ubiquitous computing has been exploring the potential of interactive self-tracking technology in encouraging positive health behavior change. Numerous findings indicate the benefits of personalization and inclusive design regarding increasing the motivational appeal and overall effectiveness of behavior change systems, with the ultimate goal of empowering and facilitating people to achieve their goals. However, most interventions still adopt a "one-size-fits-all" approach to their design, assuming equal effectiveness for all system features in spite of individual and collective user differences. To this end, we analyze a corpus of 12 years of research in self-tracking technology for health behavior change, focusing on physical activity, to identify those design elements that have proven most effective in inciting desirable behavior across diverse population segments. We then provide actionable recommendations for designing and evaluating behavior change self-tracking technology based on age, gender, occupation, fitness, and health condition. Finally, we engage in a critical commentary on the diversity of the domain and discuss ethical concerns surrounding tailored interventions and directions for moving forward.


title: Structural Analysis of Si(OEt)4 Deposits on Au(111)/SiO2 Substrates at Nanometer Scale using Focused Electron Beam Induced Deposition

abstract: The focused electron beam induced deposition (FEBID) process was used by employing a Gemini SEM with a beam characteristic of 1keV and 24pA for the deposition of pillars and line shaped deposits with heights between 9nm to 1um and widths from 5nm to 0.5um. All structures have been analyzed to their composition looking at a desired Si : O : C content of 1: 2 : 0. The C content of the structure was found to be ~over 60% for older deposits kept in air (~at room temperature) and less than 50% for younger deposits, only 12 hours old. Using a deposition of Si(OEt)4 at high rates and a deposition temperature of under 0 degC, an Si content of our structure between 10at% and 15at% (compositional percentage) was obtained. The FEBID structures have been deposited on Au(111) over an SiO2 wafer. The Au(111) was chosen as a substrate for the deposition of Si(OEt)4 due to its structural and morphological properties, with its surface granulation following a Chevron pattern, and the Au(111) defects having a higher contribution to the change in the composition of the final content of the structure with the increase in O ratio and a reduction in the shapes heights.


title: Time-Continuous and Time-Discontinuous Space-Time Finite Elements for Advection-Diffusion Problems

abstract: We construct four variants of space-time finite element discretizations based on linear tensor-product and simplex-type finite elements. The resulting discretizations are continuous in space, and continuous or discontinuous in time. In a first test run, all four methods are applied to a linear scalar advection-diffusion model problem. Then, the convergence properties of the time-discontinuous space-time finite element discretizations are studied in numerical experiments. Advection velocity and diffusion coefficient are varied, such that the parabolic case of pure diffusion (heat equation), as well as, the hyperbolic case of pure advection (transport equation) are included in the study. For each model parameter set, the L2 error at the final time is computed for spatial and temporal element lengths ranging over several orders of magnitude to allow for an individual evaluation of the methods' spatial, temporal, and spacetime accuracy. In the parabolic case, particular attention is paid to the influence of time-dependent boundary conditions. Key findings include a spatial accuracy of second order and a temporal accuracy between second and third order. The temporal accuracy tends towards third order depending on how advection-dominated the test case is, on the choice of the specific discretization method, and on the time-(in)dependence and treatment of the boundary conditions. Additionally, the potential of time-continuous simplex space-time finite elements for heat flux computations is demonstrated with a piston ring pack test case.


title: Comprehensive Survey of Ternary Full Adders: Statistics, Corrections, and Assessments

abstract: The history of ternary adders goes back to more than six decades ago. Since then, a multitude of ternary full adders (TFAs) have been presented in the literature. This paper conducts a review of TFAs so that one can be familiar with the utilized design methodologies and their prevalence. Moreover, despite numerous TFAs, almost none of them are in their simplest form. A large number of transistors could have been eliminated by considering a partial TFA instead of a complete one. According to our investigation, only 28.6% of the previous designs are partial TFAs. Also, they could have been simplified even further by assuming a partial TFA with an output carry voltage of 0V or VDD. This way, in a single-VDD design, voltage division inside the Carry generator part would have been eliminated and less power dissipated. As far as we have searched, there are only three partial TFAs with this favorable condition in the literature. Additionally, most of the simulation setups in the previous articles are not realistic enough. Therefore, the simulation results reported in these papers are neither comparable nor entirely valid. Therefore, we got motivated to conduct a survey, elaborate on this issue, and enhance some of the previous designs. Among 84 papers, 10 different TFAs (from 11 papers) are selected, simplified, and simulated in this paper. Simulation results by HSPICE and 32nm CNFET technology reveal that the simplified partial TFAs outperform their original versions in terms of delay, power, and transistor count.


title: Roles of $a_0(980)$, $\Lambda(1670)$, and $\Sigma(1385)$ in the $\Lambda_c^+ \to \eta \Lambda \pi^+$ decay

abstract: Recently, the Belle Collaboration has measured the $\Lambda_c^+ \to \eta \Lambda \pi^+$ decay and reported the $\eta\Lambda$ and $\Lambda\pi^+ $ invariant mass distributions, which show the clear signals of the resonances $\Lambda(1670)$ and $\Sigma(1385)$, respectively. Based on our previous works [Eur. Phys. J. C 76 (2016) 496 and Phys. Rev. D 95 (2017) 074024], we re-analyze this process by considering the $S$-wave $\eta\Lambda$ and $\eta\pi^+$ final state interactions within the chiral unitary approach, which dynamically generate the $\Lambda(1670)$ and $a_0(980)$, respectively. Our results are in good agreement with the Belle measurements, which supports the molecular nature of the $\Lambda(1670)$ and $a_0(980)$. In addition, the $\eta \pi^+$ invariant mass distributions are also computed and a cusp structure of $a_0(980)$ is cleary shown around the $K\bar{K}$ mass threshold.


title: Rate-Optimal Online Convex Optimization in Adaptive Linear Control

abstract: We consider the problem of controlling an unknown linear dynamical system under adversarially changing convex costs and full feedback of both the state and cost function. We present the first computationally-efficient algorithm that attains an optimal $\smash{\sqrt{T}}$-regret rate compared to the best stabilizing linear controller in hindsight, while avoiding stringent assumptions on the costs such as strong convexity. Our approach is based on a careful design of non-convex lower confidence bounds for the online costs, and uses a novel technique for computationally-efficient regret minimization of these bounds that leverages their particular non-convex structure.


title: Higher differentiability for bounded solutions to a class of obstacle problems with $(p,q)$-growth

abstract: We establish the higher fractional differentiability of bounded minimizers to a class of obstacle problems with non-standard growth conditions of the form \begin{gather*} \min \biggl\{ \displaystyle\int_{\Omega} F(x,Dw)dx \ : \ w \in \mathcal{K}_{\psi}(\Omega) \biggr\}, \end{gather*} where $\Omega$ is a bounded open set of $\mathbb{R}^n$, $n \geq 2$, the function $\psi \in W^{1,p}(\Omega)$ is a fixed function called \textit{obstacle} and $\mathcal{K}_{\psi}(\Omega) := \{ w \in W^{1,p}(\Omega) : w \geq \psi \ \text{a.e. in} \ \Omega \}$ is the class of admissible functions. If the obstacle $\psi$ is locally bounded, we prove that the gradient of solution inherits some fractional differentiability property, assuming that both the gradient of the obstacle and the mapping $x \mapsto D_\xi F(x,\xi)$ belong to some suitable Besov space. The main novelty is that such assumptions are not related to the dimension $n$.


title: Age- and Deviation-of-Information of Time-Triggered and Event-Triggered Systems

abstract: Age-of-information is a metric that quantifies the freshness of information obtained by sampling a remote sensor. In signal-agnostic sampling, sensor updates are triggered at certain times without being conditioned on the actual sensor signal. Optimal update policies have been researched and it is accepted that periodic updates achieve smaller age-of-information than random updates. We contribute a study of a signal-aware policy, where updates are triggered by a random sensor event. By definition, this implies random updates and as a consequence inferior age-of-information. Considering a notion of deviation-of-information as a signal-aware metric, our results show, however, that event-triggered systems can perform equally well as time-triggered systems while causing smaller mean network utilization.


title: Learning rich optical embeddings for privacy-preserving lensless image classification

abstract: By replacing the lens with a thin optical element, lensless imaging enables new applications and solutions beyond those supported by traditional camera design and post-processing, e.g. compact and lightweight form factors and visual privacy. The latter arises from the highly multiplexed measurements of lensless cameras, which require knowledge of the imaging system to recover a recognizable image. In this work, we exploit this unique multiplexing property: casting the optics as an encoder that produces learned embeddings directly at the camera sensor. We do so in the context of image classification, where we jointly optimize the encoder's parameters and those of an image classifier in an end-to-end fashion. Our experiments show that jointly learning the lensless optical encoder and the digital processing allows for lower resolution embeddings at the sensor, and hence better privacy as it is much harder to recover meaningful images from these measurements. Additional experiments show that such an optimization allows for lensless measurements that are more robust to typical real-world image transformations. While this work focuses on classification, the proposed programmable lensless camera and end-to-end optimization can be applied to other computational imaging tasks.


title: LenslessPiCam: A Hardware and Software Platform for Lensless Computational Imaging with a Raspberry Pi

abstract: Lensless imaging seeks to replace/remove the lens in a conventional imaging system. The earliest cameras were in fact lensless, relying on long exposure times to form images on the other end of a small aperture in a darkened room/container (camera obscura). The introduction of a lens allowed for more light throughput and therefore shorter exposure times, while retaining sharp focus. The incorporation of digital sensors readily enabled the use of computational imaging techniques to post-process and enhance raw images (e.g. via deblurring, inpainting, denoising, sharpening). Recently, imaging scientists have started leveraging computational imaging as an integral part of lensless imaging systems, allowing them to form viewable images from the highly multiplexed raw measurements of lensless cameras (see [5] and references therein for a comprehensive treatment of lensless imaging). This represents a real paradigm shift in camera system design as there is more flexibility to cater the hardware to the application at hand (e.g. lightweight or flat designs). This increased flexibility comes however at the price of a more demanding post-processing of the raw digital recordings and a tighter integration of sensing and computation, often difficult to achieve in practice due to inefficient interactions between the various communities of scientists involved. With LenslessPiCam, we provide an easily accessible hardware and software framework to enable researchers, hobbyists, and students to implement and explore practical and computational aspects of lensless imaging. We also provide detailed guides and exercises so that LenslessPiCam can be used as an educational resource, and point to results from our graduate-level signal processing course.


title: Receding Horizon Games with Coupling Constraints for Demand-Side Management

abstract: Distributed energy storage and flexible loads are essential tools for ensuring stable and robust operation of the power grid in spite of the challenges arising from the integration of volatile renewable energy generation and increasing peak loads due to widespread electrification. This paper proposes a demand-side management policy to coordinate self-interested energy prosumers based on receding horizon games, i.e., a closed-loop receding-horizon implementation of game-theoretic day-ahead planning. Practical stability and recursive constraint satisfaction of the proposed feedback control policy is proven under symmetric pricing assumptions using tools from game theory and economic model predictive control. Our numerical studies show that the proposed approach is superior to standard open-loop day-head implementations in terms of peak-shaving, disturbance rejection, and control performance.


title: On the Generalization of Wasserstein Robust Federated Learning

abstract: In federated learning, participating clients typically possess non-i.i.d. data, posing a significant challenge to generalization to unseen distributions. To address this, we propose a Wasserstein distributionally robust optimization scheme called WAFL. Leveraging its duality, we frame WAFL as an empirical surrogate risk minimization problem, and solve it using a local SGD-based algorithm with convergence guarantees. We show that the robustness of WAFL is more general than related approaches, and the generalization bound is robust to all adversarial distributions inside the Wasserstein ball (ambiguity set). Since the center location and radius of the Wasserstein ball can be suitably modified, WAFL shows its applicability not only in robustness but also in domain adaptation. Through empirical evaluation, we demonstrate that WAFL generalizes better than the vanilla FedAvg in non-i.i.d. settings, and is more robust than other related methods in distribution shift settings. Further, using benchmark datasets we show that WAFL is capable of generalizing to unseen target domains.


title: Stability analysis of tensegrity mechanism coupled with a bio-inspired piping inspection robot

abstract: Piping inspection robots play an essential role for industries as they can reduce human effort and pose a lesser risk to their lives. Generally, the locomotion techniques of these robots can be classified into mechanical and bioinspired. By using slot-follower leg mechanisms, DC-motors, and control units, a rigid caterpillar type inspection robot was designed and developed at LS2N, France . This rigid prototype helped in identifying the static forces required to accomplish good contact forces with the pipeline walls. In order to work inside curvatures, a tensegrity mechanism that uses three tension springs and a passive universal joint was introduced between each module of this robot. The optimal parameters of the robot assembly were identified by considering a preload of the cables, which ensured the stability of the entire robot. However, under static conditions, there exist some forces on the robot, especially on the tensegrity mechanism when one end of the leg mechanism is clamped with the pipeline walls. These forces are dominant when the orientation of the pipeline is horizontal. The objective of this article is to understand the effect of the stiffness of the spring on the static stability of the tensegrity mechanism under the self-weight of the robot assembly.


title: Geometry of generalized fluid flows

abstract: The Euler equation of an ideal (i.e. inviscid incompressible) fluid can be regarded, following V.Arnold, as the geodesic flow of the right-invariant $L^2$-metric on the group of volume-preserving diffeomorphisms of the flow domain. In this paper we describe the common origin and symmetry of generalized flows, multiphase fluids (homogenized vortex sheets), and conventional vortex sheets: they all correspond to geodesics on certain groupoids of multiphase diffeomorphisms. Furthermore, we prove that all these problems are Hamiltonian with respect to a Poisson structure on a dual Lie algebroid, generalizing the Hamiltonian property of the Euler equation on a Lie algebra dual.


title: Dual-Port Dynamically Reconfigurable Battery with Semi-Controlled and Fully-Controlled Outputs

abstract: Modular multilevel converters (MMC) and cascaded H-bridge (CHB) converters are an established concept in ultra-high voltage systems. In combination with batteries, these circuits allow dynamically changing the series or parallel configuration of subportions of the battery as so-called modular battery integrated converters or reconfigurable batteries, and are being discussed for grid-storage and electromobility applications. A large body of research focuses on such circuits for supplying a single load, such as a motor for electric drives. Modularity, failure tolerance, less dependence on the weakest element of a battery pack, higher controllability, and better efficiency are the main incentives behind this pursuit. However, most studies neglect the auxiliary loads which require isolation from the high-voltage battery. This paper proposes a simple topology and controller that can fork off a second (galvanically isolated) output of a reconfigurable dc battery. The proposed system provides a nonisolated semicontrolled port for the dc link to maintain the operating point of the main inverter(s) close to optimal, while fully controlling an isolated output for the auxiliaries per the safety regulations. The proposed system does not require additional active switches for the auxiliary port and can operate with a wide range of voltages. Simulation and experiments verify the developed analysis.


title: Modeling electronic health record data using a knowledge-graph-embedded topic model

abstract: The rapid growth of electronic health record (EHR) datasets opens up promising opportunities to understand human diseases in a systematic way. However, effective extraction of clinical knowledge from the EHR data has been hindered by its sparsity and noisy information. We present KG-ETM, an end-to-end knowledge graph-based multimodal embedded topic model. KG-ETM distills latent disease topics from EHR data by learning the embedding from the medical knowledge graphs. We applied KG-ETM to a large-scale EHR dataset consisting of over 1 million patients. We evaluated its performance based on EHR reconstruction and drug imputation. KG-ETM demonstrated superior performance over the alternative methods on both tasks. Moreover, our model learned clinically meaningful graph-informed embedding of the EHR codes. In additional, our model is also able to discover interpretable and accurate patient representations for patient stratification and drug recommendations.


title: Mean field type equations on line bundle over a closed Riemann surface

abstract: Let $(\mathcal{L},\mathfrak{g})$ be a line bundle over a closed Riemann surface $(\Sigma,g)$, $\Gamma(\mathcal{L})$ be the set of all smooth sections, and $\mathcal{D}:\Gamma(\mathcal{L})\rightarrow T^\ast\Sigma\otimes \Gamma(\mathcal{L})$ be a connection independent of the bundle metric $\mathfrak{g}$, where $T^\ast\Sigma$ is the cotangent bundle. Suppose that there exists a global unit frame $\zeta$ on $\Gamma({\mathcal{L}})$. Precisely for any $\sigma\in\Gamma(\mathcal{L})$, there exists a unique smooth function $u:\Sigma\rightarrow\mathbb{R}$ such that $\sigma=u\zeta$ with $|\zeta|\equiv 1$ on $\Sigma$. For any real number $\rho$, we define a functional $\mathcal{J}_\rho:W^{1,2}(\Sigma,\mathcal{L})\rightarrow\mathbb{R}$ by $$\mathcal{J}_\rho(\sigma)=\frac{1}{2}\int_\Sigma|\mathcal{D} \sigma|^2dv_g+\frac{\rho} {|\Sigma|}\int_\Sigma\langle\sigma,\zeta\rangle dv_g-\rho\log\int_\Sigma h e^{\langle\sigma,\zeta\rangle}dv_g,$$ where $W^{1,2}(\Sigma,\mathcal{L})$ is a completion of $\Gamma(\mathcal{L})$ under the usual Sobolev norm, $|\Sigma|$ is the area of $(\Sigma,g)$, $h:\Sigma\rightarrow\mathbb{R}$ is a strictly positive smooth function and $\langle\cdot,\cdot\rangle$ is the inner product induced by $\mathfrak{g}$. The Euler-Lagrange equations of $\mathcal{J}_\rho$ are called mean field type equations. Write $\mathcal{H}_0=\{\sigma\in W^{1,2}(\Sigma,\mathcal{L}):\mathcal{D}\sigma=0\}$ and $$\mathcal{H}_1=\left\{\sigma\in W^{1,2}(\Sigma,\mathcal{L}):\int_\Sigma \langle\sigma,\tau\rangle dv_g=0,\,\,\forall \tau \in \mathcal{H}_0\right\}.$$ Based on the variational method, we prove that $\mathcal{J}_\rho$ has a constraint critical point on the space $\mathcal{H}_1$ for any $\rho<8\pi$; Based on blow-up analysis, we calculate the exact value of $\inf_{\sigma\in\mathcal{H}_1}\mathcal{J}_{8\pi}(\sigma)$, provided that it is not achieved by any $\sigma\in\mathcal{H}_1$;


title: Bounds on the mass and mixing of $Z^\prime$ and $W^\prime$ bosons decaying into different pairings of $W$, $Z$, or Higgs bosons using CMS data at the LHC

abstract: The full CMS Run 2 datasets with time-integrated luminosity of 137 fb$^{-1}$ in the diboson channels are used to probe benchmark models with extended gauge sectors such as $E_6$, left-right symmetric (LR) and the sequential standard model (extended gauge model, EGM), that predict the existence of neutral $Z'$- and charged $W'$-bosons decaying to a pair of bosons $WW$, $ZH$, $WZ$ and $WH$ in the semileptonic final state. These benchmark models are used to interpret the results. Exclusion limits at the 95% C.L. on the $Z'$ and $W'$ resonance production cross section times branching ratio to electroweak gauge boson pairs in the resonance mass range between 1.0 and 4.5 TeV are here converted to constraints on $Z$-$Z'$ and $W$-$W'$ mixing parameters and masses. We present exclusion regions on the parameter spaces of the $Z'$ and $W'$ and show that the obtained exclusion regions are significantly extended compared to those derived from the previous analysis performed with Tevatron data as well as with the CMS data collected at 7 and 8 TeV in Run 1. The reported limits are the most restrictive to date.


title: Open Research Knowledge Graph:A System Walkthrough

abstract: Despite improved digital access to scholarly literature in the last decades, the fundamental principles of scholarly communication remain unchanged and continue to be largely document-based. Scholarly knowledge remains locked in representations that are inadequate for machine processing. The Open Research Knowledge Graph (ORKG) is an infrastructure for representing, curating and exploring scholarly knowledge in a machine actionable manner. We demonstrate the core functionality of ORKG for representing research contributions published in scholarly articles. A video of the demonstration and the system are available online.


title: Photometric redshifts for quasars from WISE-PS1-STRM

abstract: Three-dimensional wide-field galaxy surveys are fundamental for cosmological studies. For higher redshifts (z > 1.0), where galaxies are too faint, quasars still trace the large-scale structure of the Universe. Since available telescope time limits spectroscopic surveys, photometric methods are efficient for estimating redshifts for many quasars. Recently, machine learning methods are increasingly successful for quasar photometric redshifts, however, they hinge on the distribution of the training set. Therefore a rigorous estimation of reliability is critical. We extracted optical and infrared photometric data from the cross-matched catalogue of the WISE All-Sky and PS1 3$\pi$ DR2 sky surveys. We trained an XGBoost regressor and an artificial neural network on the relation between color indices and spectroscopic redshift. We approximated the effective training set coverage with the K nearest neighbors algorithm. We estimated reliable photometric redshifts of 2,879,298 quasars which overlap with the training set in feature space. We validated the derived redshifts with an independent, clustering-based redshift estimation technique. The final catalog is publicly available.


title: Exploring Transformers for Behavioural Biometrics: A Case Study in Gait Recognition

abstract: Biometrics on mobile devices has attracted a lot of attention in recent years as it is considered a user-friendly authentication method. This interest has also been motivated by the success of Deep Learning (DL). Architectures based on Convolutional Neural Networks (CNNs) and Recurrent Neural Networks (RNNs) have been established to be convenient for the task, improving the performance and robustness in comparison to traditional machine learning techniques. However, some aspects must still be revisited and improved. To the best of our knowledge, this is the first article that intends to explore and propose novel gait biometric recognition systems based on Transformers, which currently obtain state-of-the-art performance in many applications. Several state-of-the-art architectures (Vanilla, Informer, Autoformer, Block-Recurrent Transformer, and THAT) are considered in the experimental framework. In addition, new configurations of the Transformers are proposed to further increase the performance. Experiments are carried out using the two popular public databases whuGAIT and OU-ISIR. The results achieved prove the high ability of the proposed Transformer, outperforming state-of-the-art CNN and RNN architectures.


title: Plumber: A Modular Framework to Create Information Extraction Pipelines

abstract: Information Extraction (IE) tasks are commonly studied topics in various domains of research. Hence, the community continuously produces multiple techniques, solutions, and tools to perform such tasks. However, running those tools and integrating them within existing infrastructure requires time, expertise, and resources. One pertinent task here is triples extraction and linking, where structured triples are extracted from a text and aligned to an existing Knowledge Graph (KG). In this paper, we present PLUMBER, the first framework that allows users to manually and automatically create suitable IE pipelines from a community-created pool of tools to perform triple extraction and alignment on unstructured text. Our approach provides an interactive medium to alter the pipelines and perform IE tasks. A short video to show the working of the framework for different use-cases is available online under: https://www.youtube.com/watch?v=XC9rJNIUv8g


title: Evolution of the mass relation between supermassive black holes and dark matter halos across the cosmic time

abstract: A positive observational proof suggests that most galaxies contain a central supermassive black hole (SMBH) with mass in the range of $10^6M_\odot$ $-$ $10^{10}M_\odot$. It is suggested that the mass of SMBHs is proportionally related to that of the dark matter (DM) halo, even at $z= 6$. This implies that these SMBHs could coevolve with the host DM halos. Here, we investigate the mass evolution of SMBHs in a hierarchical structure formation by building halo merger trees using the extended Press-Schechter formalism. An SMBH with a mass that follows various power-law relations with the DM halo mass is assigned as an initial condition. Assuming that the mass growth of all black holes is due to mergers, we obtain the relation between SMBH and DM halo masses at the present epoch. By requiring that the mass of the SMBHs at $z=0$ should not be greater than the currently observed SMBH-DM halo mass relation, a lower bound on the mass of the DM halo that can contain a SMBH can be imposed at $z= 6$ as $M_{\rm lim} > 3.6 \times 10^{10} M_\odot\times (1.4-n)^{2.3}$, where $n$ is the power-law index of the SMBH-DM halo mass relation at $z=6$. Because we only consider mergers for the mass evolution of SMBHs, this model is simplistic and should underestimate the mass of SMBHs relative to the mass of the DM halo at the present epoch. Our work aims to constrain the SMBH-DM mass relation at z=6 and not build a new model to explain the observations


title: XPASC: Measuring Generalization in Weak Supervision by Explainability and Association

abstract: Weak supervision is leveraged in a wide range of domains and tasks due to its ability to create massive amounts of labeled data, requiring only little manual effort. Standard approaches use labeling functions to specify signals that are relevant for the labeling. It has been conjectured that weakly supervised models over-rely on those signals and as a result suffer from overfitting. To verify this assumption, we introduce a novel method, XPASC (eXPlainability-Association SCore), for measuring the generalization of a model trained with a weakly supervised dataset. Considering the occurrences of features, classes and labeling functions in a dataset, XPASC takes into account the relevance of each feature for the predictions of the model as well as the associations of the feature with the class and the labeling function, respectively. The association in XPASC can be measured in two variants: XPASC-CHI SQAURE measures associations relative to their statistical significance, while XPASC-PPMI measures association strength more generally. We use XPASC to analyze KnowMAN, an adversarial architecture intended to control the degree of generalization from the labeling functions and thus to mitigate the problem of overfitting. On one hand, we show that KnowMAN is able to control the degree of generalization through a hyperparameter. On the other hand, results and qualitative analysis show that generalization and performance do not relate one-to-one, and that the highest degree of generalization does not necessarily imply the best performance. Therefore methods that allow for controlling the amount of generalization can achieve the right degree of benign overfitting. Our contributions in this study are i) the XPASC score to measure generalization in weakly-supervised models, ii) evaluation of XPASC across datasets and models and iii) the release of the XPASC implementation.


title: Quantum coherent feedback control with photons

abstract: The purpose of this paper is to study two-photon dynamics induced by the coherent feedback control of a cavity quantum electrodynamics (cavity-QED) system coupled to a waveguide. In this set-up, the two-level system in the cavity can work as a photon source, and the photon emitted into the waveguide can re-interact with the cavity-QED system many times after the transmission and reflection in the waveguide, during which the feedback can tune the number of the photons in and out of the cavity. We analyze the dynamics of two-photon processes in this coherent feedback network in two scenarios: the continuous mode coupling scheme and the discrete periodic mode coupling scheme between the waveguide and cavity. The difference of these coupling schemes is due to their relative scales and the number of semi-transparent mirrors for coupling. Specifically, in the continuous mode coupling scheme, the generation of two-photon states is influenced by the length of the feedback loop by the waveguide and the coupling strength between the waveguide and the cavity-QED system. By tuning the length of the waveguide and the coupling strength, we are able to generate two-photon states efficiently. In the discrete periodic mode coupling scheme, the Rabi oscillation in the cavity can be stabilized and there are no notable two-photon states in the waveguide.


title: Modified Bivariate Weibull Distribution Allowing Instantaneous and Early Failures

abstract: In reliability and life data analysis, the Weibull distribution is widely used to accommodate more data characteristics by changing the values of the parameters. We frequently observe many zeros or close to zero data points in reliability and life testing experiments. We call this phenomenon a nearly instantaneous failure. Many researchers modified the commonly used univariate parametric models such as exponential, gamma, Weibull, and log-normal distributions to appropriately fit such data having instantaneous failure observations. Researchers also find bivariate correlated life testing data having many observations near a particular point while the remaining observations follow some continuous distribution. This situation defines as responses having early failures for such bivariate responses. If the point is the origin, then we call the situation a nearly instantaneous failure for the responses. Here, we propose a modified bivariate Weibull distribution that allows early failure by combining bivariate uniform distribution and bivariate Weibull distribution. The bivariate Weibull distribution is constructed using a 2-dimensional copula, assuming the marginal distributions as two parametric Weibull distributions. We derive some properties of that modified bivariate Weibull distribution, mainly the joint probability density function, the survival (reliability) function, and the hazard (failure rate) function. The model's unknown parameters are estimated using the Maximum Likelihood Estimation (MLE) technique combined with a machine learning clustering algorithm. Numerical examples are provided using simulated data to illustrate and test the performance of the proposed methodologies. The method is also applied to real data and compared with existing approaches to model such data in the literature.


title: Minimax Rate for Optimal Transport Regression Between Distributions

abstract: Distribution-on-distribution regression considers the problem of formulating and estimating a regression relationship where both covariate and response are probability distributions. The optimal transport distributional regression model postulates that the conditional Fr\'echet mean of the response distribution is linked to the covariate distribution via an optimal transport map. We establish the minimax rate of estimation of such a regression function, by deriving a lower-bound that matches the convergence rate attained by the Fr\'echet least squares estimator.


title: Optimal Control for Unmanned Systems with One-way Broadcast Communication

abstract: Unmanned systems (USs) including unmanned aerial vehicles, unmanned underwater vehicles, and unmanned ground vehicles have great application prospects in military and civil fields, among which the process of finding feasible and optimal paths for the agents in USs is a kernel problem. Traditional path finding algorithms are hard to adequately obtain optimal paths in real-time under fast time-varying and poor communication environments. We propose an online optimal control algorithm for USs based on a one-way broadcast communication mode under the assumption of a poor communication environment, mobile targets, radars (or sonar), and missiles (or torpedoes). With the principle of receding horizon control, optimal (or suboptimal) paths are then generated by the approximation theory of neural networks and gradient optimization techniques, with low computation requirements. Also, we give a convergence analysis for our algorithm, and show that each agent can reach its target in finite time under some conditions on agents, targets and radar-missiles. Moreover, simulations demonstrate that the agents in USs can generate optimal (or suboptimal) paths in real time using our algorithm while effectively avoiding collision with other agents or detection by enemy radars.


title: Classification of Hessian Rank 1 Affinely Homogeneous Hypersurfaces H^n in R^{n+1} in Dimensions n = 2, 3, 4

abstract: In a previous memoir 2202.03030, we showed that in every dimension $n \geq 5$, there exists (unexpectedly) no affinely homogeneous hypersurface $H^n \subset \mathbb{R}^{n+1}$ having Hessian of constant rank 1 (and not being affinely equivalent to a product with $\mathbb{R}^{m \geqslant 1}$). The present work is devoted to determine all non-product constant Hessian rank 1 affinely homogeneous hypersurfaces $H^n \subset \mathbb{R}^{n+1}$ in dimensions $n = 2, 3, 4$, the cases $n = 1, 2$ being known. With complete details in the case $n = 2$, we illustrate the main features of what can be termed the "Power Series Method of Equivalence". The gist is to capture invariants at the origin only, to create branches, and to infinitesimalize calculations. In dimension $n = 3$, we find a single homogeneous model: \[ u \,=\, \frac{1}{3\,z^2} \Big\{ \big( 1-2\,y+y^2-2\,xz \big)^{3/2} - (1-y)\, \big( 1-2\,y+y^2-3\,xz \big) \Big\}, \] the singularity $\frac{1}{3z^2}$ being illusory. In dimension $n = 4$, without reaching closed forms, we find two simply homogeneous models, differing by some $\pm$ sign.


title: Towards a full $w$CDM map-based analysis for weak lensing surveys

abstract: The next generation of weak lensing surveys will measure the matter distribution of the local Universe with unprecedented precision, allowing the resolution of non-Gaussian features of the convergence field. This encourages the use of higher-order mass-map statistics for cosmological parameter inference. We extend the forward-modelling based methodology introduced in a previous forecast paper to match these new requirements. We provide multiple forecasts for the wCDM parameter constraints that can be expected from stage 3 and 4 weak lensing surveys. We consider different survey setups, summary statistics and mass map filters including wavelets. We take into account the shear bias, photometric redshift uncertainties and intrinsic alignment. The impact of baryons is investigated and the necessary scale cuts are applied. We compare the angular power spectrum analysis to peak and minima counts as well as Minkowski functionals of the mass maps. We find a preference for Starlet over Gaussian filters. Our results suggest that using a survey setup with 10 instead of 5 tomographic redshift bins is beneficial. Adding cross-tomographic information improves the constraints on cosmology and especially on galaxy intrinsic alignment for all statistics. In terms of constraining power, we find the angular power spectrum and the peak counts to be equally matched for stage 4 surveys, followed by minima counts and the Minkowski functionals. Combining different summary statistics significantly improves the constraints and compensates the stringent scale cuts. We identify the most `cost-effective' combination to be the angular power spectrum, peak counts and Minkowski functionals following Starlet filtering.


title: Learning Distributed and Fair Policies for Network Load Balancing as Markov Potential Game

abstract: This paper investigates the network load balancing problem in data centers (DCs) where multiple load balancers (LBs) are deployed, using the multi-agent reinforcement learning (MARL) framework. The challenges of this problem consist of the heterogeneous processing architecture and dynamic environments, as well as limited and partial observability of each LB agent in distributed networking systems, which can largely degrade the performance of in-production load balancing algorithms in real-world setups. Centralised-training-decentralised-execution (CTDE) RL scheme has been proposed to improve MARL performance, yet it incurs -- especially in distributed networking systems, which prefer distributed and plug-and-play design scheme -- additional communication and management overhead among agents. We formulate the multi-agent load balancing problem as a Markov potential game, with a carefully and properly designed workload distribution fairness as the potential function. A fully distributed MARL algorithm is proposed to approximate the Nash equilibrium of the game. Experimental evaluations involve both an event-driven simulator and real-world system, where the proposed MARL load balancing algorithm shows close-to-optimal performance in simulations, and superior results over in-production LBs in the real-world system.


title: Anisotropic Laser-Pulse-Induced Magnetization Dynamics in van der Waals Magnet Fe$_3$GeTe$_2$

abstract: Femtosecond laser-pulse excitation provides an energy efficient and fast way to control magnetization at the nanoscale, providing great potential for ultrafast next-generation data manipulation and nonvolatile storage devices. Ferromagnetic van der Waals materials have garnered much attention over the past few years due to their low dimensionality, excellent magnetic properties, and large response to external stimuli. Nonetheless, their behaviour upon fs laser-pulse excitation remains largely unexplored. Here, we investigate the ultrafast magnetization dynamics of a thin flake of Fe$_3$GeTe$_2$ (FGT) and extract its intrinsic magnetic properties using a microscopic framework. We find that our data is well described by our modelling, with FGT undergoing a slow two-step demagnetization, and we experimentally extract the spin-relaxation timescale as a function of temperature, magnetic field and excitation fluence. Our observations indicate a large spin-flip probability in agreement with a theoretically expected large spin-orbit coupling, as well as a weak interlayer exchange coupling. The spin-flip probability is found to increase when the magnetization is pulled away from its quantization axis, opening doors to an external control over the spins in this material. Our results provide a deeper understanding of the dynamics van der Waals materials upon fs laser-pulse excitation, paving the way towards two-dimensional materials-based ultrafast spintronics.


title: Application of Generalized Quaternion in Physics

abstract: The applications of quaternion in physics are discussed with an emphasis on elementary particle symmetry and interaction. Three colours of the quark and the quantum chromodynamics (QCD) can be introduced directly from the invariance of basic equations under the quaternion phase transformation (quaternion gauge invariance). The generalized quaternions obey the SU(3) symmetry. QCD is essentially the quantum quaternion dynamics. The further generalization of SU(3) quaternion to G2 octonion is worked out. We demonstrate that the G2 octonion contains seven tri-generator sets of SU(2) symmetry and three of them form SU(3) subgroup. A model of the elementary particle classification and interaction based on octonion gauge theory is proposed. The model unifies the colour and flavour of all particles. It provides a framework for the unified description of four kinds of elementary particles (quarks, leptons, gauge fields and Higgs bosons) and their interactions.


title: Indirect Active Learning

abstract: Traditional models of active learning assume a learner can directly manipulate or query a covariate $X$ in order to study its relationship with a response $Y$. However, if $X$ is a feature of a complex system, it may be possible only to indirectly influence $X$ by manipulating a control variable $Z$, a scenario we refer to as Indirect Active Learning. Under a nonparametric model of Indirect Active Learning with a fixed budget, we study minimax convergence rates for estimating the relationship between $X$ and $Y$ locally at a point, obtaining different rates depending on the complexities and noise levels of the relationships between $Z$ and $X$ and between $X$ and $Y$. We also identify minimax rates for passive learning under comparable assumptions. In many cases, our results show that, while there is an asymptotic benefit to active learning, this benefit is fully realized by a simple two-stage learner that runs two passive experiments in sequence.

categories: math.ST cs.IT cs.LG math.IT stat.ME stat.ML stat.TH


title: Strain-induced stacking transition in bilayer graphene

abstract: Strain, both naturally occurring and deliberately engineered, can have a considerable effect on the structural and electronic properties of 2D and layered materials. Uniaxial or biaxial heterostrain modifies the stacking arrangement of bilayer graphene (BLG) which subsequently influences the electronic structure of the bilayer. Here, we use Density Functional Theory (DFT) calculations to investigate the interplay between an external applied heterostrain and the resulting stacking in BLG. We determine how a strain applied to one layer is transferred to a second, 'free' layer and at what critical strain the ground-state AB-stacking is disrupted. To overcome limitations introduced by periodic boundary conditions, we consider an approximate system consisting of an infinite graphene sheet and an armchair graphene nanoribbon (AGNR). We find that above a critical strain of ~1%, it is energetically favourable for the free layer to be unstrained, indicating a transition between uniform AB-stacking and non-uniform mixed stacking. This is in agreement with a simple model estimate based on the individual energy contributions of strain and stacking effects. Our findings suggest that small levels of strain provide a platform to reversibly engineer stacking order and Moir\'e features in bilayers, providing a viable alternative to twistronics to engineer topological and exotic physical phenomena in such systems.


title: A classification of finite primitive IBIS groups with alternating socle

abstract: Let $G$ be a finite permutation group on $\Omega$. An ordered sequence $(\omega_1,\ldots,\omega_\ell)$ of elements of $\Omega$ is an irredundant base for $G$ if the pointwise stabilizer is trivial and no point is fixed by the stabilizer of its predecessors. If all irredundant bases of $G$ have the same cardinality, $G$ is said to be an IBIS group. Lucchini, Morigi and Moscatiello have proved a theorem reducing the problem of classifying finite primitive IBIS groups $G$ to the case that the socle of $G$ is either abelian or non-abelian simple. In this paper, we classify the finite primitive IBIS groups having socle an alternating group. Moreover, we propose a conjecture aiming to give a classification of all almost simple primitive IBIS groups.


title: The PUMAS library

abstract: The PUMAS library is a transport engine for muon and tau leptons in matter. It can operate with a configurable level of details, from a fast deterministic CSDA mode to a detailed Monte~Carlo simulation. A peculiarity of PUMAS is that it is revertible, i.e. it can run in forward or in backward mode. Thus, the PUMAS library is particularly well suited for muography applications. In the present document, we provide a detailed description of PUMAS, of its physics and of its implementation.


title: Robust Change-Point Detection for Functional Time Series Based on $U$-Statistics and Dependent Wild Bootstrap

abstract: The aim of this paper is to develop a change-point test for functional time series that uses the full functional information and is less sensitive to outliers compared to the classical CUSUM test. For this aim, the Wilcoxon two-sample test is generalized to functional data. To obtain the asymptotic distribution of the test statistic, we proof a limit theorem for a process of $U$-statistics with values in a Hilbert space under weak dependence. Critical values can be obtained by a newly developed version of the dependent wild bootstrap for non-degenerate 2-sample $U$-statistics.


title: Kernel Angle Dependence Measures for Complex Objects

abstract: Measuring and testing dependence between complex objects is of great importance in modern statistics. Most existing work relied on the distance between random variables, which inevitably required the moment conditions to guarantee the distance is well-defined. Based on the geometry element ``angle", we develop a novel class of nonlinear dependence measures for data in metric space that can avoid such conditions. Specifically, by making use of the reproducing kernel Hilbert space equipped with Gaussian measure, we introduce kernel angle covariances that can be applied to complex objects such as random vectors or matrices. We estimate kernel angle covariances based on $U$-statistic and establish the corresponding independence tests via gamma approximation. Our kernel angle independence tests, imposing no-moment conditions on kernels, are robust with heavy-tailed random variables. We conduct comprehensive simulation studies and apply our proposed methods to a facial recognition task. Our kernel angle covariances-based tests show remarkable performances in dealing with image data.


title: Optical-plug-assisted spin vortex in a $^{87}$Rb dipolar spinor Bose-Einstein condensate

abstract: Generating a spin vortex in a $^{87}$Rb dipolar spinor Bose-Einstein condensate in a controllable way is still experimentally challenging. We propose an experimentally easy and tunable way to produce spin vortex by varying the potential barrier height and the width of an additionally applied optical plug. A topological phase transition occurs from the trivial single mode approximation phase to the optical-plug-assisted-vortex one, as the barrier height increases and the width lies in an appropriate range. The optical plug causes radial density variation thus the spin vortex is favored by significantly lowering the intrinsic magnetic dipolar energy. A type of coreless spin vortex, different from the conventional polar core vortex, is predicted by our numerical results. Our proposal removes a major obstacle to investigate the topological phase transition in a $^{87}$Rb dipolar spinor BEC.


title: Generalized Adaptive Smoothing Using Matrix Completion for Traffic State Estimation

abstract: The Adaptive Smoothing Method (ASM) is a data-driven approach for traffic state estimation. It interpolates unobserved traffic quantities by smoothing measurements along spatio-temporal directions defined by characteristic traffic wave speeds. The standard ASM consists of a superposition of two a priori estimates weighted by a heuristic weight factor. In this paper, we propose a systematic procedure to calculate the optimal weight factors. We formulate the a priori weights calculation as a constrained matrix completion problem, and efficiently solve it using the Alternating Direction Method of Multipliers (ADMM) algorithm. Our framework allows one to further improve the conventional ASM, which is limited by utilizing only one pair of congested and free flow wave speeds, by considering multiple wave speeds. Our proposed algorithm does not require any field-dependent traffic parameters, thus bypassing frequent field calibrations as required by the conventional ASM. Experiments using NGSIM data show that the proposed ADMM-based estimation incurs lower error than the ASM estimation.


title: Axion dark matter with thermal friction

abstract: Cosmological evolution of axion field in the early universe might be significantly affected by a thermal friction induced by the axion coupling to thermalized hidden sector. We examine the effects of such a thermal friction on axion dark matter density and its perturbation when the thermal friction dominates over the Hubble friction until when the axion field begins to oscillate around the potential minimum. We show that in the presence of sizable thermal friction there can be an exponential decay phase of the axion field before the oscillation phase, during which the axion energy density is efficiently dissipated into hidden thermal bath. Consequently, the previously excluded parameter region due to overclosing relic axion density becomes cosmologically viable with thermal friction. In particular, a QCD axion much lighter than $\mu$eV is viable without tuning the initial misalignment angle. We also find that thermal friction can affect the density perturbation of axion dark matter in various ways. For instance, it can alleviate the large-scale isocurvature bound on axion dark matter in the pre-inflationary PQ breaking scenario, which would make the pre-inflationary axion dark matter compatible with high scale inflation over a wide range of model parameters. In the post-inflationary PQ breaking scenario, thermal friction can also significantly change the scaling behavior of axionic strings, and therefore the typical size of the resultant axion miniclusters.


title: Safety Certification for Stochastic Systems via Neural Barrier Functions

abstract: Providing non-trivial certificates of safety for non-linear stochastic systems is an important open problem that limits the wider adoption of autonomous systems in safety-critical applications. One promising solution to address this problem is barrier functions. The composition of a barrier function with a stochastic system forms a supermartingale, thus enabling the computation of the probability that the system stays in a safe set over a finite time horizon via martingale inequalities. However, existing approaches to find barrier functions for stochastic systems generally rely on convex optimization programs that restrict the search of a barrier to a small class of functions such as low degree SoS polynomials and can be computationally expensive. In this paper, we parameterize a barrier function as a neural network and show that techniques for robust training of neural networks can be successfully employed to find neural barrier functions. Specifically, we leverage bound propagation techniques to certify that a neural network satisfies the conditions to be a barrier function via linear programming and then employ the resulting bounds at training time to enforce the satisfaction of these conditions. We also present a branch-and-bound scheme that makes the certification framework scalable. We show that our approach outperforms existing methods in several case studies and often returns certificates of safety that are orders of magnitude larger.


title: Pointwise Semicommutative Rings

abstract: We call a ring R pointwise semicommutative if for any element a in R either l(a) or r(a) is an ideal of R. A class of pointwise semicommutative rings is a strict generalization of semicommutative rings. Since reduced rings are pointwise semicommutative, this paper studies sufficient conditions for pointwise semicommutative rings to be reduced. For a pointwise semicommutative ring R, R is strongly regular if and only if R left SF ; R is exchange if and only if R is clean; if R is semiperiodic then R/J(R) is commutative.


title: PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP

abstract: Markov decision processes (MDP) and continuous-time MDP (CTMDP) are the fundamental models for non-deterministic systems with probabilistic uncertainty. Mean payoff (a.k.a. long-run average reward) is one of the most classic objectives considered in their context. We provide the first algorithm to compute mean payoff probably approximately correctly in unknown MDP; further, we extend it to unknown CTMDP. We do not require any knowledge of the state space, only a lower bound on the minimum transition probability, which has been advocated in literature. In addition to providing probably approximately correct (PAC) bounds for our algorithm, we also demonstrate its practical nature by running experiments on standard benchmarks.


title: Recognition of Unseen Bird Species by Learning from Field Guides

abstract: We exploit field guides to learn bird species recognition, in particular zero-shot recognition of unseen species. Illustrations contained in field guides deliberately focus on discriminative properties of each species, and can serve as side information to transfer knowledge from seen to unseen bird species. We study two approaches: (1) a contrastive encoding of illustrations, which can be fed into standard zero-shot learning schemes; and (2) a novel method that leverages the fact that illustrations are also images and as such structurally more similar to photographs than other kinds of side information. Our results show that illustrations from field guides, which are readily available for a wide range of species, are indeed a competitive source of side information for zero-shot learning. On a subset of the iNaturalist2021 dataset with 749 seen and 739 unseen species, we obtain a classification accuracy of unseen bird species of $12\%$ @top-1 and $38\%$ @top-10, which shows the potential of field guides for challenging real-world scenarios with many species. Our code is available at https://github.com/ac-rodriguez/zsl_billow


title: The Importance of Image Interpretation: Patterns of Semantic Misclassification in Real-World Adversarial Images

abstract: Adversarial images are created with the intention of causing an image classifier to produce a misclassification. In this paper, we propose that adversarial images should be evaluated based on semantic mismatch, rather than label mismatch, as used in current work. In other words, we propose that an image of a "mug" would be considered adversarial if classified as "turnip", but not as "cup", as current systems would assume. Our novel idea of taking semantic misclassification into account in the evaluation of adversarial images offers two benefits. First, it is a more realistic conceptualization of what makes an image adversarial, which is important in order to fully understand the implications of adversarial images for security and privacy. Second, it makes it possible to evaluate the transferability of adversarial images to a real-world classifier, without requiring the classifier's label set to have been available during the creation of the images. The paper carries out an evaluation of a transfer attack on a real-world image classifier that is made possible by our semantic misclassification approach. The attack reveals patterns in the semantics of adversarial misclassifications that could not be investigated using conventional label mismatch.


title: Multi-Asset Bubbles Equilibrium Price Dynamics

abstract: The price-bubble and crash process formation is theoretically investigated in a two-asset equilibrium model. Sufficient and necessary conditions are derived for the existence of average equilibrium price dynamics of different agent-based models, where agents are distinguished in terms of factor and investment trading strategies. In line with experimental results, we show that assets with a positive average dividend, i.e., with a strictly declining fundamental value, display at the equilibrium price the typical hump-shaped bubble observed in experimental asset markets. Moreover, a misvaluation effect is observed in the asset with a constant fundamental value, triggered by the other asset that displays the price bubble shape when a sharp price decline is exhibited at the end of the market.