title: Accelerating Magnetic Resonance T1\r{ho} Mapping Using Simultaneously Spatial Patch-based and Parametric Group-based Low-rank Tensors (SMART)

abstract: Quantitative magnetic resonance (MR) T1\r{ho} mapping is a promising approach for characterizing intrinsic tissue-dependent information. However, long scan time significantly hinders its widespread applications. Recently, low-rank tensor has been employed and demonstrated good performance in accelerating MR T1\r{ho} mapping. In this study, we propose a novel method that uses spatial patch-based and parametric group-based low rank tensors simultaneously (SMART) to reconstruct images from highly undersampled k-space data. The spatial patch-based low-rank tensor exploits the high local and nonlocal redundancies and similarities between the contrast images in T1\r{ho} mapping. The parametric group based low-rank tensor, which integrates similar exponential behavior of the image signals, is jointly used to enforce the multidimensional low-rankness in the reconstruction process. In vivo brain datasets were used to demonstrate the validity of the proposed method. Experimental results have demonstrated that the proposed method achieves 11.7-fold and 13.21-fold accelerations in two-dimensional and three-dimensional acquisitions, respectively, with more accurate reconstructed images and maps than several state-of-the-art methods. Prospective reconstruction results further demonstrate the capability of the SMART method in accelerating MR T1\r{ho} imaging.


title: Unfolding of relative g-entropies and monotone metrics

abstract: We discuss the geometric aspects of a recently described unfolding procedure and show the form of objects relevant in the field of Quantum Information Geometry in the unfolding space. In particular, we show the form of the quantum monotone metric tensors characterized by Petz and retrace in this unfolded perspective a recently introduced procedure of extracting a covariant tensor from a relative $g$-entropy.


title: FloLPIPS: A Bespoke Video Quality Metric for Frame Interpoation

abstract: Video frame interpolation (VFI) serves as a useful tool for many video processing applications. Recently, it has also been applied in the video compression domain for enhancing both conventional video codecs and learning-based compression architectures. While there has been an increased focus on the development of enhanced frame interpolation algorithms in recent years, the perceptual quality assessment of interpolated content remains an open field of research. In this paper, we present a bespoke full reference video quality metric for VFI, FloLPIPS, that builds on the popular perceptual image quality metric, LPIPS, which captures the perceptual degradation in extracted image feature space. In order to enhance the performance of LPIPS for evaluating interpolated content, we re-designed its spatial feature aggregation step by using the temporal distortion (through comparing optical flows) to weight the feature difference maps. Evaluated on the BVI-VFI database, which contains 180 test sequences with various frame interpolation artefacts, FloLPIPS shows superior correlation performance (with statistical significance) with subjective ground truth over 12 popular quality assessors. To facilitate further research in VFI quality assessment, our code is publicly available at https://danier97.github.io/FloLPIPS.


title: On the Practical Power of Automata in Pattern Matching

abstract: The classical pattern matching paradigm is that of seeking occurrences of one string - the pattern, in another - the text, where both strings are drawn from an alphabet set $\Sigma$. Assuming the text length is $n$ and the pattern length is $m$, this problem can naively be solved in time $O(nm)$. In Knuth, Morris and Pratt's seminal paper of 1977, an automaton, was developed that allows solving this problem in time $O(n)$ for any alphabet. This automaton, which we will refer to as the {\em KMP-automaton}, has proven useful in solving many other problems. A notable example is the {\em parameterized pattern matching} model. In this model, a consistent renaming of symbols from $\Sigma$ is allowed in a match. The parameterized matching paradigm has proven useful in problems in software engineering, computer vision, and other applications. It has long been suspected that for texts where the symbols are uniformly random, the naive algorithm will perform as well as the KMP algorithm. In this paper we examine the practical efficiency of the KMP algorithm vs. the naive algorithm on a randomly generated text. We analyse the time under various parameters, such as alphabet size, pattern length, and the distribution of pattern occurrences in the text. We do this for both the original exact matching problem and parameterized matching. While the folklore wisdom is vindicated by these findings for the exact matching case, surprisingly, the KMP algorithm works significantly faster than the naive in the parameterized matching case. We check this hypothesis for DNA texts, and observe a similar behaviour as in the random text. We also show a very structured case where the automaton is much more efficient.


title: Root number bias for newforms

abstract: Previously we observed that newforms obey a strict bias towards root number $+1$ in squarefree levels: at least half of the newforms in $S_k(\Gamma_0(N))$ with root number $+1$ for $N$ squarefree, and it is strictly more than half outside of a few special cases. Subsequently, other authors treated levels which are cubes of squarefree numbers. Here we treat arbitrary levels, and find that if the level is not the square of a squarefree number, this strict bias still holds for any weight. In fact the number of such exceptional levels is finite for fixed weight, and 0 if $k < 12$. We also investigate some variants of this question to better understand the exceptional levels.


title: Simulation analysis with rock muons from atmospheric neutrino interactions in the ICAL detector at INO

abstract: The proposed magnetized Iron CALorimeter detector (ICAL) to be built in the India-based Neutrino Observatory (INO) laboratory aims to study atmospheric neutrinos and its properties such as precision measurements of oscillation parameters and the neutrino mass hierarchy. High energy charged current (CC) interactions of atmospheric neutrinos with the rock surrounding the detector produce so-called "rock muons" along with hadrons. While the hadron component of these events are absorbed in the rock itself, the rock muons traverse the rock and are detected in the detector. These rock muon events can be distinguished from cosmic muons only in the upward direction and can provide an independent measurement of the oscillation parameters. A simulation study of these events at the ICAL detector shows that, although reduced in significance compared to muons produced in direct CC neutrino interactions with the detector, these events are indeed sensitive to the oscillation parameters, achieving a possible $1\sigma$ precision of 10\% and 27\% in determining $\Delta m_{32}^2$ and $\sin^2\theta_{23}$, respectively. Hence a combination of the standard atmospheric neutrino analysis which is the main goal of ICAL, with these rock muon events, will improve the precision reach of ICAL for these parameters.


title: Latency Minimization for mmWave D2D Mobile Edge Computing Systems: Joint Task Allocation and Hybrid Beamforming Design

abstract: Mobile edge computing (MEC) and millimeter wave (mmWave) communications are capable of significantly reducing the network's delay and enhancing its capacity. In this paper we investigate a mmWave and device-to-device (D2D) assisted MEC system, in which user A carries out some computational tasks and shares the results with user B with the aid of a base station (BS). We propose a novel two-timescale joint hybrid beamforming and task allocation algorithm to reduce the system latency whilst cut down the required signaling overhead. Specifically, the high-dimensional analog beamforming matrices are updated in a frame-based manner based on the channel state information (CSI) samples, where each frame consists of a number of time slots, while the low-dimensional digital beamforming matrices and the offloading ratio are optimized more frequently relied on the low-dimensional effective channel matrices in each time slot. A stochastic successive convex approximation (SSCA) based algorithm is developed to design the long-term analog beamforming matrices. As for the short-term variables, the digital beamforming matrices are optimized relying on the innovative penalty-concave convex procedure (penalty-CCCP) for handling the mmWave non-linear transmit power constraint, and the offloading ratio can be obtained via the derived closed-form solution. Simulation results verify the effectiveness of the proposed algorithm by comparing the benchmarks.


title: Source-free Unsupervised Domain Adaptation for Blind Image Quality Assessment

abstract: Existing learning-based methods for blind image quality assessment (BIQA) are heavily dependent on large amounts of annotated training data, and usually suffer from a severe performance degradation when encountering the domain/distribution shift problem. Thanks to the development of unsupervised domain adaptation (UDA), some works attempt to transfer the knowledge from a label-sufficient source domain to a label-free target domain under domain shift with UDA. However, it requires the coexistence of source and target data, which might be impractical for source data due to the privacy or storage issues. In this paper, we take the first step towards the source-free unsupervised domain adaptation (SFUDA) in a simple yet efficient manner for BIQA to tackle the domain shift without access to the source data. Specifically, we cast the quality assessment task as a rating distribution prediction problem. Based on the intrinsic properties of BIQA, we present a group of well-designed self-supervised objectives to guide the adaptation of the BN affine parameters towards the target domain. Among them, minimizing the prediction entropy and maximizing the batch prediction diversity aim to encourage more confident results while avoiding the trivial solution. Besides, based on the observation that the IQA rating distribution of single image follows the Gaussian distribution, we apply Gaussian regularization to the predicted rating distribution to make it more consistent with the nature of human scoring. Extensive experimental results under cross-domain scenarios demonstrated the effectiveness of our proposed method to mitigate the domain shift.


title: Directional aspects of vegetation linear and circular polarization biosignatures

abstract: Homochirality is a generic and unique property of all biochemical life and is considered a universal and agnostic biosignature. Upon interaction with unpolarized light, homochirality induces fractional circular polarization in the light that is scattered from it, which can be sensed remotely. As such, it can be a prime candidate biosignature in the context of future life-detection missions and observatories. The linear polarizance of vegetation is also sometimes envisaged as a biosignature, although it does not share the molecular origin as circular polarization. It is known that the linear polarization of surfaces is strongly dependent on the phase angle. The relation between the phase angle and circular polarization stemming from macromolecular assemblies, such as in vegetation, however, remained unclear. We demonstrate in this study using the average of 27 different species that the circular polarization phase angle dependency of vegetation induces relatively small changes in spectral shape and mostly affects the signal magnitude. With these results we underline the use of circular spectropolarimetry as a promising agnostic biosignature complementary to the use of linear spectropolarimetry and scalar reflectance.


title: Multi-channel target speech enhancement based on ERB-scaled spatial coherence features

abstract: Recently, speech enhancement technologies that are based on deep learning have received considerable research attention. If the spatial information in microphone signals is exploited, microphone arrays can be advantageous under some adverse acoustic conditions compared with single-microphone systems. However, multichannel speech enhancement is often performed in the short-time Fourier transform (STFT) domain, which renders the enhancement approach computationally expensive. To remedy this problem, we propose a novel equivalent rectangular bandwidth (ERB)-scaled spatial coherence feature that is dependent on the target speaker activity between two ERB bands. Experiments conducted using a four-microphone array in a reverberant environment, which involved speech interference, demonstrated the efficacy of the proposed system. This study also demonstrated that a network that was trained with the ERB-scaled spatial feature was robust against variations in the geometry and number of the microphones in the array.


title: ASFAP impact towards the 1st African Light Source

abstract: The concrete vision of having Africa as a leader sharing equivalent responsibilities and deliverables towards the global scientific societies turn out to be more obvious by time. Africa is not an exception when it comes to advanced science and technological grounds. Many challenges do exist and many others are still accumulating such as establishing cutting-edge large scale research infrastructures and institutions, reversing the brain-drain dramatic challenge, addressing local and/or regional concerns (health, environment, water, human heritage), as well as being a vehicle for industrial development and growing economy. In addition to bringing forward the African educational systems, employment status, besides the human capacity building which is alleged to be the backbone of any advanced society. Into the discussion, and besides their strong influence on education and advancing science and technology, as well as, capacity building development, are synchrotron light sources demonstrating the extensive capabilities with numerous techniques supporting a wide range of applications of basic science for instance physics, chemistry and biology, along with applied science aspects including life sciences such as biomedicine, pharmaceuticals and drug design, in addition to agriculture, environment, and air and water pollution, besides materials science and industrial applications, and energy and climate change. Furthermore, comprehensive insights can be identified and documented for cultural heritage and archaeology domains.


title: Sparse least squares solutions of multilinear equations

abstract: In this paper, we propose a sparse least squares (SLS) optimization model for solving multilinear equations, in which the sparsity constraint on the solutions can effectively reduce storage and computation costs. By employing variational properties of the sparsity set, along with differentiation properties of the objective function in the SLS model, the first-order optimality conditions are analyzed in terms of the stationary points. Based on the equivalent characterization of the stationary points, we propose the Newton Hard-Threshold Pursuit (NHTP) algorithm and establish its locally quadratic convergence under some regularity conditions. Numerical experiments conducted on simulated datasets including cases of Completely Positive(CP)-tensors and symmetric strong M-tensors illustrate the efficacy of our proposed NHTP method.


title: New invariants for virtual knots via spanning surfaces

abstract: We define three different types of spanning surfaces for knots in thickened surfaces. We use these to introduce new Seifert matrices, Alexander-type polynomials, genera, and a signature invariant. One of these Alexander polynomials extends to virtual knots and can obstruct a virtual knot from being classical. Furthermore, it can distinguish a knot in a thickened surface from its mirror up to isotopy. We also propose several constructions of Heegaard Floer homology for knots in thickened surfaces, and give examples why they are not stabilization invariant. However, we can define Floer homology for virtual knots by taking a minimal genus representative. Finally, we use the Behrens-Golla $\delta$-invariant to obstruct a knot from being a stabilization of another.


title: Discover Life Skills for Planning with Bandits via Observing and Learning How the World Works

abstract: We propose a novel approach for planning agents to compose abstract skills via observing and learning from historical interactions with the world. Our framework operates in a Markov state-space model via a set of actions under unknown pre-conditions. We formulate skills as high-level abstract policies that propose action plans based on the current state. Each policy learns new plans by observing the states' transitions while the agent interacts with the world. Such an approach automatically learns new plans to achieve specific intended effects, but the success of such plans is often dependent on the states in which they are applicable. Therefore, we formulate the evaluation of such plans as infinitely many multi-armed bandit problems, where we balance the allocation of resources on evaluating the success probability of existing arms and exploring new options. The result is a planner capable of automatically learning robust high-level skills under a noisy environment; such skills implicitly learn the action pre-condition without explicit knowledge. We show that this planning approach is experimentally very competitive in high-dimensional state space domains.


title: Singularities in the Loschmidt echo of quenched topological superconductors

abstract: We study the Loschmidt echo in the quenched two-dimensional $p$-wave topological superconductor. We find that if this superconductor is quenched out of the critical point separating its topological and non-topological phases into either of the two gapful phases, its Loschmidt echo features singularities occurring periodically in time where the second derivative of the Loschmidt echo over time diverges logarithmically. Conversely, we give arguments towards $s$-wave superconductors not having singularities in their Loschmidt echo regardless of the quench. We also demonstrate that the conventional mean field theory calculates classical echo instead of its quantum counterpart, and show how it should be modified to capture the full quantum Loschmidt echo.


title: E-NeRV: Expedite Neural Video Representation with Disentangled Spatial-Temporal Context

abstract: Recently, the image-wise implicit neural representation of videos, NeRV, has gained popularity for its promising results and swift speed compared to regular pixel-wise implicit representations. However, the redundant parameters within the network structure can cause a large model size when scaling up for desirable performance. The key reason of this phenomenon is the coupled formulation of NeRV, which outputs the spatial and temporal information of video frames directly from the frame index input. In this paper, we propose E-NeRV, which dramatically expedites NeRV by decomposing the image-wise implicit neural representation into separate spatial and temporal context. Under the guidance of this new formulation, our model greatly reduces the redundant model parameters, while retaining the representation ability. We experimentally find that our method can improve the performance to a large extent with fewer parameters, resulting in a more than $8\times$ faster speed on convergence. Code is available at https://github.com/kyleleey/E-NeRV.


title: Comment on 'Ultradense protium p(0) and deuterium D(0) and their relation to ordinary Rydberg matter: a review' 2019 Physica Scripta 94, 075005

abstract: The article by Holmlid and Zeiner-Gundersen (2019, Physica Scripta, vol. 94, 075005) contains a number of claims that explicitly or implicitly contradict fundamental knowledge of modern science. Some can only be true if long held conservation laws are broken. One such is baryon number conservation. A second fatal mistake is the treatment of the structure of molecules that disregard fundamental quantum mechanical aspects, such as the concept of kinetic energy operators and the Heisenberg indeterminacy relations.


title: Editing Out-of-domain GAN Inversion via Differential Activations

abstract: Despite the demonstrated editing capacity in the latent space of a pretrained GAN model, inverting real-world images is stuck in a dilemma that the reconstruction cannot be faithful to the original input. The main reason for this is that the distributions between training and real-world data are misaligned, and because of that, it is unstable of GAN inversion for real image editing. In this paper, we propose a novel GAN prior based editing framework to tackle the out-of-domain inversion problem with a composition-decomposition paradigm. In particular, during the phase of composition, we introduce a differential activation module for detecting semantic changes from a global perspective, \ie, the relative gap between the features of edited and unedited images. With the aid of the generated Diff-CAM mask, a coarse reconstruction can intuitively be composited by the paired original and edited images. In this way, the attribute-irrelevant regions can be survived in almost whole, while the quality of such an intermediate result is still limited by an unavoidable ghosting effect. Consequently, in the decomposition phase, we further present a GAN prior based deghosting network for separating the final fine edited image from the coarse reconstruction. Extensive experiments exhibit superiorities over the state-of-the-art methods, in terms of qualitative and quantitative evaluations. The robustness and flexibility of our method is also validated on both scenarios of single attribute and multi-attribute manipulations.


title: Parallelizing Explicit and Implicit Extrapolation Methods for Ordinary Differential Equations

abstract: Numerically solving ordinary differential equations (ODEs) is a naturally serial process and as a result the vast majority of ODE solver software are serial. In this manuscript we developed a set of parallelized ODE solvers using extrapolation methods which exploit "parallelism within the method" so that arbitrary user ODEs can be parallelized. We describe the specific choices made in the implementation of the explicit and implicit extrapolation methods which allow for generating low overhead static schedules to then exploit with optimized multi-threaded implementations. We demonstrate that while the multi-threading gives a noticeable acceleration on both explicit and implicit problems, the explicit parallel extrapolation methods gave no significant improvement over state-of-the-art even with a multi-threading advantage against current optimized high order Runge-Kutta tableaus. However, we demonstrate that the implicit parallel extrapolation methods are able to achieve state-of-the-art performance (2x-4x) on standard multicore x86 CPUs for systems of $<200$ stiff ODEs solved at low tolerance, a typical setup for a vast majority of users of high level language equation solver suites. The resulting method is distributed as the first widely available open source software for within-method parallel acceleration targeting typical modest compute architectures.


title: Phase-change metasurfaces for dynamic image display and information encryption

abstract: Optical metasurfaces enable to engineer the electromagnetic space and control light propagation at an unprecedented level, offering a powerful tool to achieve modulation of light over multiple physical dimensions. Here, we demonstrate a Sb$_{2}$S$_{3}$ phase-change metasurface platform that allows active manipulation of both amplitude and phase. In particular, we implement dynamic nanoprinting and holographic image display through tuning crystallization levels of this phase-change material. The Sb$_{2}$S$_{3}$ nanobricks tailored to function the amplitude, geometric and propagation phase modulation constitute the dynamic meta-atoms in the multiplexed metasurfaces. Using the incident polarizations as decoding keys, the encoded information can be reproduced into a naonprinting grayscale image in the near field and two holographic images in the far field. These images can be switched on and off by taking advantages of the reversible tunability of Sb$_{2}$S$_{3}$ nanostructure between amorphous and crystalline states. The proposed phase-change metasurfaces featuring manifold information and multifold encryption promise ultracompact data storage with high capacity and high security, which suggests an exciting direction for modern cryptography and security applications.


title: Achieve Optimal Adversarial Accuracy for Adversarial Deep Learning using Stackelberg Game

abstract: Adversarial deep learning is to train robust DNNs against adversarial attacks, which is one of the major research focuses of deep learning. Game theory has been used to answer some of the basic questions about adversarial deep learning such as the existence of a classifier with optimal robustness and the existence of optimal adversarial samples for a given class of classifiers. In most previous work, adversarial deep learning was formulated as a simultaneous game and the strategy spaces are assumed to be certain probability distributions in order for the Nash equilibrium to exist. But, this assumption is not applicable to the practical situation. In this paper, we give answers to these basic questions for the practical case where the classifiers are DNNs with a given structure, by formulating the adversarial deep learning as sequential games. The existence of Stackelberg equilibria for these games are proved. Furthermore, it is shown that the equilibrium DNN has the largest adversarial accuracy among all DNNs with the same structure, when Carlini-Wagner's margin loss is used. Trade-off between robustness and accuracy in adversarial deep learning is also studied from game theoretical aspect.


title: Non-Markovian effects in stochastic resonance in a two level system

abstract: Stochastic resonance is a phenomenon where the response signal to external driving is enhanced by environment noise. In quantum regime, the effect of environment is often intrinsically non-Markovian. Due to the combination of such non-Markovian quantum noise and external driving force, it is difficult to evaluate the correlation function and hence the power spectrum. Nevertheless, a recently developed algorithm, which is called time-evolving matrix product operators (TEMPO), and its extensions provide an efficient and numerically exact approach for this task. Using TEMPO we investigate non-Markovian effects in quantum stochastic resonance in a two level system. The periodic signal and the time-averaged asymptotic correlation function, along with the power spectrum, are calculated. From the power spectrum the signal-to-noise ratio is evaluated. It is shown that both signal strength and signal-to-noise ratio are enhanced by non-Markovian effects, which indicates the importance of non-Markovian effects in quantum stochastic resonance. In addition, we show that the non-Markovian effects can shift the peak position of the background noise power spectrum.


title: 2D Self-Organized ONN Model For Handwritten Text Recognition

abstract: Deep Convolutional Neural Networks (CNNs) have recently reached state-of-the-art Handwritten Text Recognition (HTR) performance. However, recent research has shown that typical CNNs' learning performance is limited since they are homogeneous networks with a simple (linear) neuron model. With their heterogeneous network structure incorporating non-linear neurons, Operational Neural Networks (ONNs) have recently been proposed to address this drawback. Self-ONNs are self-organized variations of ONNs with the generative neuron model that can generate any non-linear function using the Taylor approximation. In this study, in order to improve the state-of-the-art performance level in HTR, the 2D Self-organized ONNs (Self-ONNs) in the core of a novel network model are proposed. Moreover, deformable convolutions, which have recently been demonstrated to tackle variations in the writing styles better, are utilized in this study. The results over the IAM English dataset and HADARA80P Arabic dataset show that the proposed model with the operational layers of Self-ONNs significantly improves Character Error Rate (CER) and Word Error Rate (WER). Compared with its counterpart CNNs, Self-ONNs reduce CER and WER by 1.2% and 3.4 % in the HADARA80P and 0.199% and 1.244% in the IAM dataset. The results over the benchmark IAM demonstrate that the proposed model with the operational layers of Self-ONNs outperforms recent deep CNN models by a significant margin while the use of Self-ONNs with deformable convolutions demonstrates exceptional results.


title: Measurement of the Electric Dipole Moment of $^{171}$Yb Atoms in an Optical Dipole Trap

abstract: The permanent electric dipole moment (EDM) of the $^{171}$Yb $(I=1/2)$ atom is measured with atoms held in an optical dipole trap (ODT). By enabling a cycling transition that is simultaneously spin-selective and spin-preserving, a quantum non-demolition measurement with a spin-detection efficiency of 50$\%$ is realized. A systematic effect due to parity mixing induced by a static E field is observed, and is suppressed by averaging between measurements with ODTs in opposite directions. The coherent spin precession time is found to be much longer than 300 s. The EDM is determined to be $d({\rm^{171}Yb})={\color{black}(-6.8\pm5.1_{\rm stat}\pm1.2_{\rm syst})\times10^{-27}\ e\ \rm cm}$, leading to an upper limit of $|d({\rm^{171}Yb})|<{\color{black}1.5\times10^{-26}\ e\ \rm cm}$ ($95\%$ C.L.). These measurement techniques can be adapted to search for the EDM of $^{225}$Ra.


title: ELECTRA is a Zero-Shot Learner, Too

abstract: Recently, for few-shot or even zero-shot learning, the new paradigm "pre-train, prompt, and predict" has achieved remarkable achievements compared with the "pre-train, fine-tune" paradigm. After the success of prompt-based GPT-3, a series of masked language model (MLM)-based (e.g., BERT, RoBERTa) prompt learning methods became popular and widely used. However, another efficient pre-trained discriminative model, ELECTRA, has probably been neglected. In this paper, we attempt to accomplish several NLP tasks in the zero-shot scenario using a novel our proposed replaced token detection (RTD)-based prompt learning method. Experimental results show that ELECTRA model based on RTD-prompt learning achieves surprisingly state-of-the-art zero-shot performance. Numerically, compared to MLM-RoBERTa-large and MLM-BERT-large, our RTD-ELECTRA-large has an average of about 8.4% and 13.7% improvement on all 15 tasks. Especially on the SST-2 task, our RTD-ELECTRA-large achieves an astonishing 90.1% accuracy without any training data. Overall, compared to the pre-trained masked language models, the pre-trained replaced token detection model performs better in zero-shot learning. The source code is available at: https://github.com/nishiwen1214/RTD-ELECTRA.


title: S.M.A.S.H.E.D.: Standard Model Axion Seesaw Higgs Inflation Extended for Dirac Neutrinos

abstract: Inspired by the S.M.A.S.H. framework we construct a model that addresses the strong CP problem, axion dark matter, inflation and Dirac neutrino masses as well as leptogenesis. The model possesses only two dynamical scales, namely the SM breaking scale $v_H$ and the Peccei Quinn (PQ) breaking scale $v_\sigma$. We introduce heavy vector-like quarks in the usual KSVZ fashion to implement the PQ mechanism for the strong CP problem. To generate neutrino masses via a dimension six operator scaling as $m_\nu \sim v_H^3 / v_\sigma^2$ we add heavy triplet and doublet leptons, which are vector-like under the SM but chiral under PQ symmetry. The model is free from the cosmological domain wall problem and predicts an axion to photon coupling which is about an order of magnitude larger than in conventional DFSZ and KSVZ models. Thus our scenario can be probed and potentially excluded by current and next generation axion experiments such as ORGAN or MADMAX. In addition we numerically demonstrate that our construction can generate the observed baryon asymmetry by realizing a version of the Dirac-Leptogenesis scenario. As a consequence of our neutrino mass mechanism we find that the asymmetry in triplet fermion decays can also be significantly enhanced by up to six orders of magnitude when compared to typical Seesaw scenarios without needing to invoke a resonant enhancement. In passing we note that a decaying Dirac fermion with multiple decay modes contains all the necessary ingredients required for the \enquote{quasi optimal efficiency}-scenario previously encountered in the context decaying scalar triplets. The impact of the right handed neutrinos and the axion on $\Delta N_\text{eff}$ is estimated and lies within current bounds.


title: Can large language models reason about medical questions?

abstract: Although large language models (LLMs) often produce impressive outputs, it remains unclear how they perform in real-world scenarios requiring strong reasoning skills and expert domain knowledge. We set out to investigate whether close- and open-source models (GPT-3.5, LLama-2, etc.) can be applied to answer and reason about difficult real-world-based questions. We focus on three popular medical benchmarks (MedQA-USMLE, MedMCQA, and PubMedQA) and multiple prompting scenarios: Chain-of-Thought (CoT, think step-by-step), few-shot and retrieval augmentation. Based on an expert annotation of the generated CoTs, we found that InstructGPT can often read, reason and recall expert knowledge. Last, by leveraging advances in prompt engineering (few-shot and ensemble methods), we demonstrated that GPT-3.5 not only yields calibrated predictive distributions, but also reaches the passing score on three datasets: MedQA-USMLE 60.2%, MedMCQA 62.7% and PubMedQA 78.2%. Open-source models are closing the gap: Llama-2 70B also passed the MedQA-USMLE with 62.5% accuracy.


title: Helmholtz's decomposition for Aeroacoustics using a standard Flow Solver

abstract: This paper is a short guideline to the decomposition of a compressible velocity into vortical and compressible structures using standard flow solvers. In particular, this is a fast solution to get an idea of the compressible fields inside your simulation, respectively acoustics for low Mach number isothermal flows. The details of the implementation are presented and the algorithm is applied to an overflown cavity with a lip. The results of the flow solver show clearly visible to acoustic radiation for the application. Finally and as previous studies showed, the use of the scalar potential formulation of Helmholtz's decomposition is valid for convex propagation domains.


title: Coupling Adversarial Learning with Selective Voting Strategy for Distribution Alignment in Partial Domain Adaptation

abstract: In contrast to a standard closed-set domain adaptation task, partial domain adaptation setup caters to a realistic scenario by relaxing the identical label set assumption. The fact of source label set subsuming the target label set, however, introduces few additional obstacles as training on private source category samples thwart relevant knowledge transfer and mislead the classification process. To mitigate these issues, we devise a mechanism for strategic selection of highly-confident target samples essential for the estimation of class-importance weights. Furthermore, we capture class-discriminative and domain-invariant features by coupling the process of achieving compact and distinct class distributions with an adversarial objective. Experimental findings over numerous cross-domain classification tasks demonstrate the potential of the proposed technique to deliver superior and comparable accuracy over existing methods.


title: Mapping Disruption Sources in the Power Grid and Implications for Resilience

abstract: Developing models and metrics that can address resilience against disruptions is vital to ensure power grid reliability and that adequate recovery and adaptation mechanisms are in place. In this paper, we propose a novel disruption mapping approach and apply it to the publicly available U.S. Department of Energy DOE-417 Electric Emergency and Disturbance Report to holistically analyze the origin of anomalous events and their propagation through the cyber, physical and human domains. We show that capturing the disruption process onset has implications for quantifying, mitigating, and reporting power grid resilience.


title: Multi-Task and Transfer Learning for Federated Learning Applications

abstract: Federated learning enables many applications benefiting distributed and private datasets of a large number of potential data-holding clients. However, different clients usually have their own particular objectives in terms of the tasks to be learned from the data. So, supporting federated learning with meta-learning tools such as multi-task learning and transfer learning will help enlarge the set of potential applications of federated learning by letting clients of different but related tasks share task-agnostic models that can be then further updated and tailored by each individual client for its particular task. In a federated multi-task learning problem, the trained deep neural network model should be fine-tuned for the respective objective of each client while sharing some parameters for more generalizability. We propose to train a deep neural network model with more generalized layers closer to the input and more personalized layers to the output. We achieve that by introducing layer types such as pre-trained, common, task-specific, and personal layers. We provide simulation results to highlight particular scenarios in which meta-learning-based federated learning proves to be useful.


title: Improving Deep Neural Network Random Initialization Through Neuronal Rewiring

abstract: The deep learning literature is continuously updated with new architectures and training techniques. However, weight initialization is overlooked by most recent research, despite some intriguing findings regarding random weights. On the other hand, recent works have been approaching Network Science to understand the structure and dynamics of Artificial Neural Networks (ANNs) after training. Therefore, in this work, we analyze the centrality of neurons in randomly initialized networks. We show that a higher neuronal strength variance may decrease performance, while a lower neuronal strength variance usually improves it. A new method is then proposed to rewire neuronal connections according to a preferential attachment (PA) rule based on their strength, which significantly reduces the strength variance of layers initialized by common methods. In this sense, PA rewiring only reorganizes connections, while preserving the magnitude and distribution of the weights. We show through an extensive statistical analysis in image classification that performance is improved in most cases, both during training and testing, when using both simple and complex architectures and learning schedules. Our results show that, aside from the magnitude, the organization of the weights is also relevant for better initialization of deep ANNs.


title: Observation of Structure Evolution and Reaction Intermediates at the Gate-tunable Suspended Graphene/Electrolyte Interface

abstract: Graphene serves as an ideal platform to investigate the microscopic structure and reaction kinetics at the graphitic electrode interfaces. However, graphene is susceptible to various extrinsic factors, e.g. substrate, causing much confusion and controversy. Hereby we have obtained cm-sized substrate-free monolayer graphene suspended on electrolyte surface with gate tunability. Using sum-frequency spectroscopy, we have observed the structural evolution versus the gate voltage at the graphene/water interface. The Stern layer structure is invariant within the water electrolysis window, but undergoes drastic change when switching on the electrochemical reactions. The electrode is turned from hydrophobic to hydrophilic near the onset of hydrogen evolution reaction due to hydrogen adsorption. The large-size suspended pristine graphene offers a new platform to unravel the microscopic processes at the graphitic electrode interfaces.


title: FashionViL: Fashion-Focused Vision-and-Language Representation Learning

abstract: Large-scale Vision-and-Language (V+L) pre-training for representation learning has proven to be effective in boosting various downstream V+L tasks. However, when it comes to the fashion domain, existing V+L methods are inadequate as they overlook the unique characteristics of both the fashion V+L data and downstream tasks. In this work, we propose a novel fashion-focused V+L representation learning framework, dubbed as FashionViL. It contains two novel fashion-specific pre-training tasks designed particularly to exploit two intrinsic attributes with fashion V+L data. First, in contrast to other domains where a V+L data point contains only a single image-text pair, there could be multiple images in the fashion domain. We thus propose a Multi-View Contrastive Learning task for pulling closer the visual representation of one image to the compositional multimodal representation of another image+text. Second, fashion text (e.g., product description) often contains rich fine-grained concepts (attributes/noun phrases). To exploit this, a Pseudo-Attributes Classification task is introduced to encourage the learned unimodal (visual/textual) representations of the same concept to be adjacent. Further, fashion V+L tasks uniquely include ones that do not conform to the common one-stream or two-stream architectures (e.g., text-guided image retrieval). We thus propose a flexible, versatile V+L model architecture consisting of a modality-agnostic Transformer so that it can be flexibly adapted to any downstream tasks. Extensive experiments show that our FashionViL achieves a new state of the art across five downstream tasks. Code is available at https://github.com/BrandonHanx/mmf.


title: Simultaneous Contests with Equal Sharing Allocation of Prizes: Computational Complexity and Price of Anarchy

abstract: We study a general scenario of simultaneous contests that allocate prizes based on equal sharing: each contest awards its prize to all players who satisfy some contest-specific criterion, and the value of this prize to a winner decreases as the number of winners increases. The players produce outputs for a set of activities, and the winning criteria of the contests are based on these outputs. We consider two variations of the model: (i) players have costs for producing outputs; (ii) players do not have costs but have generalized budget constraints. We observe that these games are exact potential games and hence always have a pure-strategy Nash equilibrium. The price of anarchy is $2$ for the budget model, but can be unbounded for the cost model. Our main results are for the computational complexity of these games. We prove that for general versions of the model exactly or approximately computing a best response is NP-hard. For natural restricted versions where best response is easy to compute, we show that finding a pure-strategy Nash equilibrium is PLS-complete, and finding a mixed-strategy Nash equilibrium is (PPAD$\cap$PLS)-complete. On the other hand, an approximate pure-strategy Nash equilibrium can be found in pseudo-polynomial time. These games are a strict but natural subclass of explicit congestion games, but they still have the same equilibrium hardness results.


title: Direct numerical simulations of incompressible multiphase electrohydrodynamic flow with single-phase transportation schemes

abstract: In the present study, two schemes named face discernment and flux correction are proposed to achieve single-phase transportation of free charge in multiphase electrohydrodynamic(EHD) problems. Many EHD phenomena occur between air and another liquid while the free charge can only be transported in the liquid phase through ohmic conduction and convection due to the poor conductivity of air. However, the charge may be leaked into the dielectric air during the simulation due to the asynchronous transportation between interface and free charge. To avoid this unphysical error, a face discernment method is designed to produce an accurate ohmic conduction of free charge by providing a superior physical properties distribution at the interface. Subsequently the flux correction method is developed to correct the advection flux of charge density to prevent ions crossing the interface. These two schemes are based on the Volume of Fluid (VOF) model and independent with the specific interface updating method. The performance of the proposed methods are carefully validated with several test cases. The algorithms are implemented as an OpenFOAM extension and are published as open source.


title: Anyonic quantum symmetries of finite spaces

abstract: We construct a braided analogue of the quantum permutation group and show that it is the universal braided compact quantum group acting on a finite space in the category of $\mathbb{Z}/N\mathbb{Z}$-$\textrm{C}^*$-algebras with a twisted monoidal structure. As an application, we prove the existence of braided quantum symmetries of finite, simple, undirected, circulant graphs, explicitly compute it for several examples, and obtain a generalization of a result of Banica in this direction. Finally, in an appendix, we briefly describe the irreducible representations of this braided analogue of the quantum permutation group and their fusion rules.


title: Understanding the degradation of a model Si-anode in Li-ion battery at the atomic-scale

abstract: Si-anodes have long been candidates thanks to an expected ten-fold increase in capacity compared to graphite. However, details of the mechanisms governing their degradation remain elusive, hindering science-guided development of long-lived Si-based anodes. Here we demonstrate how the latest developments in cryo-atom probe tomography enable the in-depth analysis of the electrode and electrolyte, and their interface at atomic-level.


title: Rationalizing systematic discrepancies between election outcomes and opinion polls

abstract: The Bradley effect concerns the discrepancy between opinion polls and actual election outcomes that emerges when candidates do not exhibit ideological, sexual or racial mainstream features. This effect was first observed during the 1982 election for the Governor of California that resulted in a significant loss for the black Democratic candidate, Tom Bradley, despite him being ahead in polls. It has been argued that poll respondents may tend to mask their true political preference in favour of what is generally considered more socially acceptable. We propose an exactly solvable statistical mechanical model, which allows for a quantitative exploration of this phenomenon. The model includes three main ingredients: (i) the tendency of individuals to align their real preference to the declared (public) opinions of others, (ii) a term accounting for an individual integrity factor, which induces voters to be consistent between their public and private opinions, and (iii) a self-monitoring component, which tunes the strength by which an individual is affected by and wishes to publicly conform to social norms. We observe the emergence of order in a wide range of parameters of the model and discuss the effect of noise on the correlation between hidden and public preference. Finally, we present an application of this model to the prediction of election outcomes.


title: Stochastic accretion of the Earth

abstract: Earth is depleted in volatile elements relative to chondritic meteorites, its possible building blocks. The extent of this depletion increases with decreasing condensation temperature, and is approximated by a cumulative normal distribution, unlike that in any chondrite. However, moderately volatile elements, occupying the mid-range of the distribution, have chondritic isotope ratios, contrary to that expected from loss by partial vaporisation/condensation. Here we reconcile these observations by showing, using N-body simulations, that Earth accreted stochastically from many precursor bodies whose variable compositions reflect the temperatures at which they formed. Impact-induced atmospheric loss was efficient only when the proto-Earth was small, and elements that accreted thereafter retain near-chondritic isotope ratios. Earth's composition is reproduced when initial temperatures of planetesimal- to embryo-sized bodies are set by disk accretion rates of (1.08 $\pm$ 0.17) $\times$ 10$^{-7}$ solar masses/yr, although they may be perturbed by $^{26}$Al heating on bodies formed at different times. The model implies a heliocentric gradient in composition and rapid planetesimal formation within $\sim$ 1 Myr, in accord with radiometric volatile depletion ages of Earth.


title: Automated Repair of Neural Networks

abstract: Over the last decade, Neural Networks (NNs) have been widely used in numerous applications including safety-critical ones such as autonomous systems. Despite their emerging adoption, it is well known that NNs are susceptible to Adversarial Attacks. Hence, it is highly important to provide guarantees that such systems work correctly. To remedy these issues we introduce a framework for repairing unsafe NNs w.r.t. safety specification, that is by utilizing satisfiability modulo theories (SMT) solvers. Our method is able to search for a new, safe NN representation, by modifying only a few of its weight values. In addition, our technique attempts to maximize the similarity to original network with regard to its decision boundaries. We perform extensive experiments which demonstrate the capability of our proposed framework to yield safe NNs w.r.t. the Adversarial Robustness property, with only a mild loss of accuracy (in terms of similarity). Moreover, we compare our method with a naive baseline to empirically prove its effectiveness. To conclude, we provide an algorithm to automatically repair NNs given safety properties, and suggest a few heuristics to improve its computational performance. Currently, by following this approach we are capable of producing small-sized (i.e., with up to few hundreds of parameters) correct NNs, composed of the piecewise linear ReLU activation function. Nevertheless, our framework is general in the sense that it can synthesize NNs w.r.t. any decidable fragment of first-order logic specification.


title: Stability of Time-inconsistent Stopping for One-dimensional Diffusion -- A Longer Version

abstract: We investigate the stability of the equilibrium-induced optimal value in one-dimensional diffusion setting for a time-inconsistent stopping problem under non-exponential discounting. We show that the optimal value is semi-continuous with respect to the drift, volatility, and reward function. An example is provided showing that the exact continuity may fail. With equilibria extended to $\varepsilon$-equilibria, we establish the relaxed continuity of the optimal value.


title: Task-aware Similarity Learning for Event-triggered Time Series

abstract: Time series analysis has achieved great success in diverse applications such as network security, environmental monitoring, and medical informatics. Learning similarities among different time series is a crucial problem since it serves as the foundation for downstream analysis such as clustering and anomaly detection. It often remains unclear what kind of distance metric is suitable for similarity learning due to the complex temporal dynamics of the time series generated from event-triggered sensing, which is common in diverse applications, including automated driving, interactive healthcare, and smart home automation. The overarching goal of this paper is to develop an unsupervised learning framework that is capable of learning task-aware similarities among unlabeled event-triggered time series. From the machine learning vantage point, the proposed framework harnesses the power of both hierarchical multi-scale sequence autoencoders and Gaussian Mixture Model (GMM) to effectively learn the low-dimensional representations from the time series. Finally, the obtained similarity measure can be easily visualized for explaining. The proposed framework aspires to offer a stepping stone that gives rise to a systematic approach to model and learn similarities among a multitude of event-triggered time series. Through extensive qualitative and quantitative experiments, it is revealed that the proposed method outperforms state-of-the-art methods considerably.


title: Congruence-simple multiplicatively idempotent semirings

abstract: Let $S$ be a multiplicatively idempotent congruence-simple semiring. We show that $|S|=2$ if $S$ has a multiplicatively absorbing element. We also prove that if $S$ is finite then either $|S|=2$ or $S\cong End(L)$ or $S^{op}\cong End(L)$ where $L$ is a 2-element semilattice. It seems to be an open question, whether $S$ can be infinite at all.


title: Field-linear anomalous Hall effect and Berry curvature induced by spin chirality in the kagome antiferromagnet Mn3Sn

abstract: During the past two decades, it has been established that a non-trivial electron wave-function topology generates an anomalous Hall effect (AHE), which shows itself as a Hall conductivity non-linear in magnetic field. Here, we report on an unprecedented case of field-linear AHE. In Mn$_3$Sn, a kagome magnet, the out-of-plane Hall response, which shows an abrupt jump, was discovered to be a case of AHE. We find now that the in-plane Hall response, which is perfectly linear in magnetic field, is set by the Berry curvature of the wavefunction. The amplitude of the Hall response and its concomitant Nernst signal exceed by far what is expected in the semiclassical picture. We argue that magnetic field induces out-of-plane spin canting and thereafter gives rise to nontrivial spin chirality on the kagome lattice. In band structure, we find that the spin chirality modifies the topology by gapping out Weyl nodal lines unknown before, accounting for the AHE observed. Our work reveals intriguing unification of real-space Berry phase from spin chirality and momentum-space Berry curvature.


title: Natural language processing for clusterization of genes according to their functions

abstract: There are hundreds of methods for analysis of data obtained in mRNA-sequencing. The most of them are focused on small number of genes. In this study, we propose an approach that reduces the analysis of several thousand genes to analysis of several clusters. The list of genes is enriched with information from open databases. Then, the descriptions are encoded as vectors using the pretrained language model (BERT) and some text processing approaches. The encoded gene function pass through the dimensionality reduction and clusterization. Aiming to find the most efficient pipeline, 180 cases of pipeline with different methods in the major pipeline steps were analyzed. The performance was evaluated with clusterization indexes and expert review of the results.


title: Robust Transmission Scheduling for UAV-assisted Millimeter-Wave Train-Ground Communication System

abstract: With the explosive growth of mobile data, the demand of high-speed railway (HSR) passengers for broadband wireless access services urgently needs the support of ultra-highspeed scenario broadband wireless communication. Millimeterwave (mmWave) can achieve high data transmission rates, but it is accompanied by high propagation loss and vulnerability to blockage. To address this issue, developments of directional antennas and unmanned aerial vehicles (UAVs) enhance the robustness of the mmWave train-ground communication system. In this paper, we propose a UAV and MRs relay assistance (UMRA) algorithm to effectively overcome link blockage, which can maximize the number of transmission flows on the premise of meeting QoS requirements and channel qualities. First, we formulate a mixed integer nonlinear programming (MINLP) problem for UAV trajectory design and transmission scheduling in the full-duplex (FD) mode. Then, in UMRA, the relay decision algorithm and transmission scheduling algorithm based on graph theory are proposed, which make a good tradeoff between computation complexity and system performance. Extensive simulation results show that a suitable UAV position will greatly improve the performance of the UMRA algorithm and make it close to the optimal solution. Compared with the other two existing benchmark schemes, with the high channel quality requirements and large-area blockage, UMRA can greatly improve the number of completed flows and system throughput.


title: Action-conditioned On-demand Motion Generation

abstract: We propose a novel framework, On-Demand MOtion Generation (ODMO), for generating realistic and diverse long-term 3D human motion sequences conditioned only on action types with an additional capability of customization. ODMO shows improvements over SOTA approaches on all traditional motion evaluation metrics when evaluated on three public datasets (HumanAct12, UESTC, and MoCap). Furthermore, we provide both qualitative evaluations and quantitative metrics demonstrating several first-known customization capabilities afforded by our framework, including mode discovery, interpolation, and trajectory customization. These capabilities significantly widen the spectrum of potential applications of such motion generation models. The novel on-demand generative capabilities are enabled by innovations in both the encoder and decoder architectures: (i) Encoder: Utilizing contrastive learning in low-dimensional latent space to create a hierarchical embedding of motion sequences, where not only the codes of different action types form different groups, but within an action type, codes of similar inherent patterns (motion styles) cluster together, making them readily discoverable; (ii) Decoder: Using a hierarchical decoding strategy where the motion trajectory is reconstructed first and then used to reconstruct the whole motion sequence. Such an architecture enables effective trajectory control. Our code is released on the Github page: https://github.com/roychowdhuryresearch/ODMO


title: Statistical model for describing heart rate variability in normal rhythm and atrial fibrillation

abstract: Heart rate variability (HRV) indices describe properties of interbeat intervals in electrocardiogram (ECG). Usually HRV is measured exclusively in normal sinus rhythm (NSR) excluding any form of paroxysmal rhythm. Atrial fibrillation (AF) is the most widespread cardiac arrhythmia in human population. Usually such abnormal rhythm is not analyzed and assumed to be chaotic and unpredictable. Nonetheless, ranges of HRV indices differ between patients with AF, yet physiological characteristics which influence them are poorly understood. In this study, we propose a statistical model that describes relationship between HRV indices in NSR and AF. The model is based on Mahalanobis distance, the k-Nearest neighbour approach and multivariate normal distribution framework. Verification of the method was performed using 10 min intervals of NSR and AF that were extracted from long-term Holter ECGs. For validation we used Bhattacharyya distance and Kolmogorov-Smirnov 2-sample test in a k-fold procedure. The model is able to predict at least 7 HRV indices with high precision.


title: Gravitational and Dilatonic Radiations from the Parallel Dressed-Dynamical Unstable Dp-Branes

abstract: In the context of the bosonic string theory, we shall extract the general radiation amplitude of a massless closed string from the interaction of two parallel unstable D$p$-branes. The branes are non-stationary and have been dressed by background fields. The foregoing amplitude will be rewritten for the massless state radiation from the branes with the large distance. Besides, we shall study the gravitational and dilatonic radiations from this configuration.


title: Multiplicity and orbital stability of normalized solutions to non-autonomous Schr\"{o}dinger equation with mixed nonlinearities

abstract: This paper studies the multiplicity of normalized solutions to the Schr\"{o}dinger equation with mixed nonlinearities \begin{equation*} \begin{cases} -\Delta u=\lambda u+h(\epsilon x)|u|^{q-2}u+\eta |u|^{p-2}u,\quad x\in \mathbb{R}^N, \\ \int_{\mathbb{R}^N}|u|^2dx=a^2, \end{cases} \end{equation*} where $a, \epsilon, \eta>0$, $q$ is $L^2$-subcritical, $p$ is $L^2$-supercritical, $\lambda\in \mathbb{R}$ is an unknown parameter that appears as a Lagrange multiplier, $h$ is a positive and continuous function. It is proved that the numbers of normalized solutions are at least the numbers of global maximum points of $h$ when $\epsilon$ is small enough. Moreover, the orbital stability of the solutions obtained is analyzed as well. In particular, our results cover the Sobolev critical case $p=2N/(N-2)$.


title: $\chi$-binding function for a superclass of $2K_2$-free graphs

abstract: The class of $2K_2$-free graphs has been well studied in various contexts in the past. In this paper, we study the chromatic number of $\{butterfly, hammer\}$-free graphs, a superclass of $2K_2$-free graphs and show that a connected $\{butterfly, hammer\}$-free graph $G$ with $\omega(G)\neq 2$ admits $\binom{\omega+1}{2}$ as a $\chi$-binding function which is also the best available $\chi$-binding function for its subclass of $2K_2$-free graphs. In addition, we show that if $H\in\{C_4+K_p, P_4+K_p\}$, then any $\{butterfly, hammer, H\}$-free graph $G$ with no components of clique size two admits a linear $\chi$-binding function. Furthermore, we also establish that any connected $\{butterfly, hammer, H\}$-free graph $G$ where $H\in \{(K_1\cup K_2)+K_p, 2K_1+K_p\}$, is perfect for $\omega(G)\geq 2p$.


title: Ethnic Representation Analysis of Commercial Movie Posters

abstract: In the last decades, global awareness towards the importance of diverse representation has been increasing. Lack of diversity and discrimination toward minorities did not skip the film industry. Here, we examine ethnic bias in the film industry through commercial posters, the industry's primary advertisement medium for decades. Movie posters are designed to establish the viewer's initial impression. We developed a novel approach for evaluating ethnic bias in the film industry by analyzing nearly 125,000 posters using state-of-the-art deep learning models. Our analysis shows that while ethnic biases still exist, there is a trend of reduction of bias, as seen by several parameters. Particularly in English-speaking movies, the ethnic distribution of characters on posters from the last couple of years is reaching numbers that are approaching the actual ethnic composition of US population. An automatic approach to monitor ethnic diversity in the film industry, potentially integrated with financial value, may be of significant use for producers and policymakers.


title: Possible tidal dissipation in millisecond pulsar binaries

abstract: The post-Keplerian(PK) parameters inferred from pulsar timing provide a convenient way to test Einstein's general theory of relativity. However, before obtaining a pure orbital decay $\dot{P}_b$ induced by gravitational wave radiation, which is one of the PK parameters, a number of factors need to be accounted for carefully. The effect of tidal dissipation on $\dot{P}_b$ has been thought of as negligible. Here, we investigate the data for possible effects of tidal dissipation on $\dot{P}_b$. The possibility of the tidal dissipation as a contributor to $\dot{P}_b$ in a large sample of millisecond pulsar binaries is investigated in detail. We collected a large sample of pulsar binaries with measured $\dot{P}_b$. All of the systems are millisecond pulsars. The residual $\dot{P}^{Res}_b$ of these systems was obtained by subtracting the three normal effects, that is to say the effect of Shklovskii, line-of-sight acceleration, and gravitational radiation. Assuming that tidal dissipation is responsible for such a residual $\dot{P}^{Res}_b$, the tidal parameters of these systems can be calculated and compared with the tidal models. The residual $\dot{P}^{Res}_b$ is distributed over the half positive and half negative. The dynamical tidal model can explain the residual $\dot{P}_b$ of millisecond pulsar-white dwarf binaries. And the Love number of the main-sequence companion of \object{PSR J1227-4853} can be derived as a reasonable value $k_2=0.177^{+0.098}_{-0.058}$ with the equilibrium tidal model. Those results are compatible with the scenario of tidal dissipation. Additionally, a weak correlation between the tidal parameter and orbital period is revealed, likely originating in the tidal process of the recycled stage which is worthy of further investigation.


title: SP2: A Second Order Stochastic Polyak Method

abstract: Recently the "SP" (Stochastic Polyak step size) method has emerged as a competitive adaptive method for setting the step sizes of SGD. SP can be interpreted as a method specialized to interpolated models, since it solves the interpolation equations. SP solves these equation by using local linearizations of the model. We take a step further and develop a method for solving the interpolation equations that uses the local second-order approximation of the model. Our resulting method SP2 uses Hessian-vector products to speed-up the convergence of SP. Furthermore, and rather uniquely among second-order methods, the design of SP2 in no way relies on positive definite Hessian matrices or convexity of the objective function. We show SP2 is very competitive on matrix completion, non-convex test problems and logistic regression. We also provide a convergence theory on sums-of-quadratics.


title: Pluripolar Hulls and Fine Holomorphy

abstract: Examples by Poletsky and the author and by Zwonek show the existence nowhere extendable holomorphic functions with the property that the pluripolar hull of their graphs is much larger than the graph of the respective functions and contains multiple sheets. We will explain this phenomenon by fine analytic continuation of the function over part of a Cantor-type set involved. This gives more information on the hull, and allows for weakening and effectiveness of the conditions in the original examples.


title: Symmetric Configuration spaces of linkages

abstract: A $configuration$ of a linkage $\Gamma$ is a possible positioning of $\Gamma$ in $\mathbb{R}^d$ and the collection of all such forms the configuration space $\mathcal{C}(\Gamma)$ of $\Gamma$. We here introduce the notion of the $symmetric configuration space$ of a linkage, in which we identify configurations which are geometrically indistinguishable. We show that the symmetric configuration space of a planar polygon has a regular cell structure, provide some principles for calculating this structure, and give a complete description of the symmetric configuration space of all quadrilaterals and of the equilateral pentagon.


title: There are no minimal essentially undecidable Theories

abstract: We show that there is no theory that is minimal with respect to interpretability among recursively enumerable essentially undecidable theories.


title: FaaSLight: General Application-Level Cold-Start Latency Optimization for Function-as-a-Service in Serverless Computing

abstract: Serverless computing is a popular cloud computing paradigm that frees developers from server management. Function-as-a-Service (FaaS) is the most popular implementation of serverless computing, representing applications as event-driven and stateless functions. However, existing studies report that functions of FaaS applications severely suffer from cold-start latency. In this paper, we propose an approach namely FaaSLight to accelerating the cold start for FaaS applications through application-level optimization. We first conduct a measurement study to investigate the possible root cause of the cold start problem of FaaS. The result shows that application code loading latency is a significant overhead. Therefore, loading only indispensable code from FaaS applications can be an adequate solution. Based on this insight, we identify code related to application functionalities by constructing the function-level call graph, and separate other code (i.e., optional code) from FaaS applications. The separated optional code can be loaded on demand to avoid the inaccurate identification of indispensable code causing application failure. In particular, a key principle guiding the design of FaaSLight is inherently general, i.e., platform- and language-agnostic. The evaluation results on real-world FaaS applications show that FaaSLight can significantly reduce the code loading latency (up to 78.95%, 28.78% on average), thereby reducing the cold-start latency. As a result, the total response latency of functions can be decreased by up to 42.05% (19.21% on average). Compared with the state-of-the-art, FaaSLight achieves a 21.25X improvement in reducing the average total response latency.


title: Phase convergence and crest enhancement of modulated wave trains

abstract: The Akhmediev breather (AB) solution of the nonlinear Schr$\"{o}$dinger equation (NLSE) shows that the maximum crest height of modulated wave trains reaches triple the initial amplitude as a consequence of nonlinear long-term evolution. Several fully nonlinear numerical studies have indicated that the amplification can exceed 3, but its physical mechanism has not been clarified. This study shows that spectral broadening, bound-wave production, and phase convergence are essential to crest enhancement beyond the AB solution. The free-wave spectrum of modulated wave trains broadens owing to nonlinear quasi-resonant interaction. This enhances bound-wave production at high wavenumbers. The phases of all the wave components nearly coincide at peak modulation and enhance amplification. We find that the phase convergence observed in linear-focusing waves can also occur due to nonlinear wave evolution. These findings are obtained by numerically investigating the modulated wave trains using the higher-order spectral method (HOSM) up to the fifth order, which allows investigations of nonlinearity and spectral bandwidth beyond the NLSE framework. Moreover, we confirm the crest enhancement through a tank experiment wherein waves are generated in the transition region from non-breaking to breaking. Owing to strong nonlinearity, the maximum crest height observed in the tank begins to exceed the HOSM prediction at an initial wave steepness of 0.10.


title: The rise of 212 MAX phase borides, Ti$_2$PB$_2$, Zr$_2$PbB$_2$, and Nb$_2$AB$_2$ [A = P, S]: DFT insights into the physical properties for thermo-mechanical applications

abstract: An interesting class of ternary metallic borides, known as the 212 MAX phase borides, is the recent advancement of the MAX phase family. In this article, results from ab-initio calculations on unexplored Ti$_2$PB$_2$, Zr$_2$PbB$_2$, and Nb$_2$AB$_2$ [A = P, S] are reported wherein Ti$_2$PB$_2$ along with its 211 boride phase Ti$_2$PB are predicted for the first time. The stability was confirmed by calculating the formation energy, phonon dispersion curve, and elastic stiffness constants. The obtained elastic constants, elastic moduli, and Vickers hardness values of Ti$_2$PB$_2$, Zr$_2$PbB$_2$, and Nb$_2$AB$_2$ [A = P, S] were found to be significantly larger than those of their counterparts 211 borides and carbides, in a trend similar to other 212 borides. The studied compounds are brittle like most of the MAX and MAB phases. The electronic band structure and density of states revealed the metallic nature of the titled borides. Several thermal parameters were explored, certifying the suitability of Ti2PB2, Zr2PbB2, and Nb2AB2 [A = P, S] compared to their counterparts, and a similar trend was found for the other 212 borides. The obtained results predict that Ti2PB2, Zr2PbB2, and Nb2AB2 [A = P, S] have significant potential for use as efficient thermal barrier coating materials. The response of Ti$_2$PB$_2$, Zr$_2$PbB$_2$, and Nb$_2$AB$_2$ [A = P, S] to the incident photon was studied by computing the dielectric constant (real and imaginary part), refractive index, absorption coefficient, photoconductivity, reflectivity, and energy loss function. The ability to protect from solar heating was revealed from the studied reflectivity spectra. In this work, we have explored the physical basis of the improved thermo-mechanical properties of 212 MAX phase borides compared to their carbide and boride counterparts.


title: Watermark Vaccine: Adversarial Attacks to Prevent Watermark Removal

abstract: As a common security tool, visible watermarking has been widely applied to protect copyrights of digital images. However, recent works have shown that visible watermarks can be removed by DNNs without damaging their host images. Such watermark-removal techniques pose a great threat to the ownership of images. Inspired by the vulnerability of DNNs on adversarial perturbations, we propose a novel defence mechanism by adversarial machine learning for good. From the perspective of the adversary, blind watermark-removal networks can be posed as our target models; then we actually optimize an imperceptible adversarial perturbation on the host images to proactively attack against watermark-removal networks, dubbed Watermark Vaccine. Specifically, two types of vaccines are proposed. Disrupting Watermark Vaccine (DWV) induces to ruin the host image along with watermark after passing through watermark-removal networks. In contrast, Inerasable Watermark Vaccine (IWV) works in another fashion of trying to keep the watermark not removed and still noticeable. Extensive experiments demonstrate the effectiveness of our DWV/IWV in preventing watermark removal, especially on various watermark removal networks.


title: End-to-End Spoken Language Understanding: Performance analyses of a voice command task in a low resource setting

abstract: Spoken Language Understanding (SLU) is a core task in most human-machine interaction systems. With the emergence of smart homes, smart phones and smart speakers, SLU has become a key technology for the industry. In a classical SLU approach, an Automatic Speech Recognition (ASR) module transcribes the speech signal into a textual representation from which a Natural Language Understanding (NLU) module extracts semantic information. Recently End-to-End SLU (E2E SLU) based on Deep Neural Networks has gained momentum since it benefits from the joint optimization of the ASR and the NLU parts, hence limiting the cascade of error effect of the pipeline architecture. However, little is known about the actual linguistic properties used by E2E models to predict concepts and intents from speech input. In this paper, we present a study identifying the signal features and other linguistic properties used by an E2E model to perform the SLU task. The study is carried out in the application domain of a smart home that has to handle non-English (here French) voice commands. The results show that a good E2E SLU performance does not always require a perfect ASR capability. Furthermore, the results show the superior capabilities of the E2E model in handling background noise and syntactic variation compared to the pipeline model. Finally, a finer-grained analysis suggests that the E2E model uses the pitch information of the input signal to identify voice command concepts. The results and methodology outlined in this paper provide a springboard for further analyses of E2E models in speech processing.


title: Federated Learning and catastrophic forgetting in pervasive computing: demonstration in HAR domain

abstract: Federated Learning has been introduced as a new machine learning paradigm enhancing the use of local devices. At a server level, FL regularly aggregates models learned locally on distributed clients to obtain a more general model. In this way, no private data is sent over the network, and the communication cost is reduced. However, current solutions rely on the availability of large amounts of stored data at the client side in order to fine-tune the models sent by the server. Such setting is not realistic in mobile pervasive computing where data storage must be kept low and data characteristic (distribution) can change dramatically. To account for this variability, a solution is to use the data regularly collected by the client to progressively adapt the received model. But such naive approach exposes clients to the well-known problem of catastrophic forgetting. The purpose of this paper is to demonstrate this problem in the mobile human activity recognition context on smartphones.


title: Federated Continual Learning through distillation in pervasive computing

abstract: Federated Learning has been introduced as a new machine learning paradigm enhancing the use of local devices. At a server level, FL regularly aggregates models learned locally on distributed clients to obtain a more general model. Current solutions rely on the availability of large amounts of stored data at the client side in order to fine-tune the models sent by the server. Such setting is not realistic in mobile pervasive computing where data storage must be kept low and data characteristic can change dramatically. To account for this variability, a solution is to use the data regularly collected by the client to progressively adapt the received model. But such naive approach exposes clients to the well-known problem of catastrophic forgetting. To address this problem, we have defined a Federated Continual Learning approach which is mainly based on distillation. Our approach allows a better use of resources, eliminating the need to retrain from scratch at the arrival of new data and reducing memory usage by limiting the amount of data to be stored. This proposal has been evaluated in the Human Activity Recognition (HAR) domain and has shown to effectively reduce the catastrophic forgetting effect.


title: Kuramoto Networks with Infinitely Many Stable Equilibria

abstract: We prove that the Kuramoto model on a graph can contain infinitely many non-equivalent stable equilibria. More precisely, we prove that for every positive integer d there is a connected graph such that the set of stable equilibria contains a manifold of dimension d. In particular, we solve a conjecture of R. Delabays, T. Coletta and P. Jacquod about the number of equilibria on planar graphs. Our results are based on the analysis of balanced configurations, which correspond to equilateral polygon linkages in topology. In order to analyze the stability of manifolds of equilibria we apply topological bifurcation theory.


title: Factorization of Toeplitz operators

abstract: In this article, by considering $T=(T_1,\dots, T_d)$, an $d$-tuple of commuting contractions on a Hilbert space $\mathcal{H}$, we study $T$-Toeplitz operators which consists of bounded operators $X$ on $\mathcal{H}$ such that \[ T_i^*XT_i=X \] for all $i=1,\dots,d$. We show that any positive $T$-Toeplitz operator can be factorized in terms of an isometric pseudo-extension of $T$. A similar factorization result is also obtained for positive pure lower $T$-Toeplitz operators. However, the latter factorization is obtained in terms of a special type of isometric pseudo-extension of $T$, and a certain difference has been observed between the case $d=2$ and $d>2$. In a more general context, by considering $d$-tuples of commuting contractions $S$ and $T$, we also study $(S, T)$-Toeplitz operators.


title: Zero-Shot Temporal Action Detection via Vision-Language Prompting

abstract: Existing temporal action detection (TAD) methods rely on large training data including segment-level annotations, limited to recognizing previously seen classes alone during inference. Collecting and annotating a large training set for each class of interest is costly and hence unscalable. Zero-shot TAD (ZS-TAD) resolves this obstacle by enabling a pre-trained model to recognize any unseen action classes. Meanwhile, ZS-TAD is also much more challenging with significantly less investigation. Inspired by the success of zero-shot image classification aided by vision-language (ViL) models such as CLIP, we aim to tackle the more complex TAD task. An intuitive method is to integrate an off-the-shelf proposal detector with CLIP style classification. However, due to the sequential localization (e.g, proposal generation) and classification design, it is prone to localization error propagation. To overcome this problem, in this paper we propose a novel zero-Shot Temporal Action detection model via Vision-LanguagE prompting (STALE). Such a novel design effectively eliminates the dependence between localization and classification by breaking the route for error propagation in-between. We further introduce an interaction mechanism between classification and localization for improved optimization. Extensive experiments on standard ZS-TAD video benchmarks show that our STALE significantly outperforms state-of-the-art alternatives. Besides, our model also yields superior results on supervised TAD over recent strong competitors. The PyTorch implementation of STALE is available at https://github.com/sauradip/STALE.


title: Mind the Gap: Polishing Pseudo labels for Accurate Semi-supervised Object Detection

abstract: Exploiting pseudo labels (e.g., categories and bounding boxes) of unannotated objects produced by a teacher detector have underpinned much of recent progress in semi-supervised object detection (SSOD). However, due to the limited generalization capacity of the teacher detector caused by the scarce annotations, the produced pseudo labels often deviate from ground truth, especially those with relatively low classification confidences, thus limiting the generalization performance of SSOD. To mitigate this problem, we propose a dual pseudo-label polishing framework for SSOD. Instead of directly exploiting the pseudo labels produced by the teacher detector, we take the first attempt at reducing their deviation from ground truth using dual polishing learning, where two differently structured polishing networks are elaborately developed and trained using synthesized paired pseudo labels and the corresponding ground truth for categories and bounding boxes on the given annotated objects, respectively. By doing this, both polishing networks can infer more accurate pseudo labels for unannotated objects through sufficiently exploiting their context knowledge based on the initially produced pseudo labels, and thus improve the generalization performance of SSOD. Moreover, such a scheme can be seamlessly plugged into the existing SSOD framework for joint end-to-end learning. In addition, we propose to disentangle the polished pseudo categories and bounding boxes of unannotated objects for separate category classification and bounding box regression in SSOD, which enables introducing more unannotated objects during model training and thus further improve the performance. Experiments on both PASCAL VOC and MS COCO benchmarks demonstrate the superiority of the proposed method over existing state-of-the-art baselines.


title: Persistent exchange splitting in a chiral helimagnet Cr1/3NbS2

abstract: Using high-resolution angle-resolved photoemission spectroscopy (ARPES) and ab-initio calculation, we systematically investigate the electronic structure of the chiral helimagnet Cr1/3NbS2 and its temperature evolution. The comparison with NbS2 suggests that the electronic structure of Cr1/3NbS2 is strongly modified by the intercalation of Cr atoms. Our ab-initio calculation, consistent with experimental result, suggests strong hybridization between Nb- and Cr-derived states near the Fermi level. In the chiral helimagnetic state (below the Curie temperature Tc), we observe exchange splitting of the energy bands crossing EF, which follows the temperature evolution of the magnetic moment, suggesting an important role of the conduction electrons in the long-range magnetic ordering. Interestingly, the exchange splitting persists far above Tc with negligible temperature dependence, in drastic contrast to the itinerant ferromagnetism described by the Stoner model, indicating the existence of short-range magnetic order. Our results provide important insights into the microscopic mechanism of the chiral helimagnetic ordering in Cr1/3NbS2.


title: Federated Self-Supervised Learning in Heterogeneous Settings: Limits of a Baseline Approach on HAR

abstract: Federated Learning is a new machine learning paradigm dealing with distributed model learning on independent devices. One of the many advantages of federated learning is that training data stay on devices (such as smartphones), and only learned models are shared with a centralized server. In the case of supervised learning, labeling is entrusted to the clients. However, acquiring such labels can be prohibitively expensive and error-prone for many tasks, such as human activity recognition. Hence, a wealth of data remains unlabelled and unexploited. Most existing federated learning approaches that focus mainly on supervised learning have mostly ignored this mass of unlabelled data. Furthermore, it is unclear whether standard federated Learning approaches are suited to self-supervised learning. The few studies that have dealt with the problem have limited themselves to the favorable situation of homogeneous datasets. This work lays the groundwork for a reference evaluation of federated Learning with Semi-Supervised Learning in a realistic setting. We show that standard lightweight autoencoder and standard Federated Averaging fail to learn a robust representation for Human Activity Recognition with several realistic heterogeneous datasets. These findings advocate for a more intensive research effort in Federated Self Supervised Learning to exploit the mass of heterogeneous unlabelled data present on mobile devices.


title: Locational Aspect of Fast Frequency Reserves in Low-Inertia Systems -- Control Performance Analysis

abstract: This paper evaluates the frequency performance of an AC system when primary frequency response is provided by inverter-based resources located at remote-areas. Due to potentially larger wave propagation constants over longer lines, fast active power response from inverter based resources may have a negative impact on the system frequency response. Within this context, this paper presents a control performance analysis is presented in order to identify limitations for improving the frequency stability when inverter-based resources in remote locations use local frequency measurements. Our results suggest that there exists a trafeoff between disturbance rejection and stability robustness when allocating primary frequency control. In particular, fast frequency control can have a negative impact on the damping ratio of poorly damped electromechanical modes.


title: Supplementing Recurrent Neural Networks with Annealing to Solve Combinatorial Optimization Problems

abstract: Combinatorial optimization problems can be solved by heuristic algorithms such as simulated annealing (SA) which aims to find the optimal solution within a large search space through thermal fluctuations. The algorithm generates new solutions through Markov-chain Monte Carlo techniques. This sampling scheme can result in severe limitations, such as slow convergence and a tendency to stay within the same local search space at small temperatures. To overcome these shortcomings, we use the variational classical annealing (VCA) framework that combines autoregressive recurrent neural networks (RNNs) with traditional annealing to sample solutions that are uncorrelated. In this paper, we demonstrate the potential of using VCA as an approach to solving real-world optimization problems. We explore VCA's performance in comparison with SA at solving three popular optimization problems: the maximum cut problem (Max-Cut), the nurse scheduling problem (NSP), and the traveling salesman problem (TSP). For all three problems, we find that VCA outperforms SA on average in the asymptotic limit by one or more orders of magnitude in terms of relative error. Interestingly, we reach large system sizes of up to $256$ cities for the TSP. We also conclude that in the best case scenario, VCA can serve as a great alternative when SA fails to find the optimal solution.


title: Nowhere-uniform continuity of the solution map of the Camassa-Holm equation in Besov spaces

abstract: In the paper, we gave a strengthening of our previous work in [32] (J. Differ. Equ. 269 (2020)) and proved that the data-to-solution map for the Camassa-Holm equation is nowhere uniformly continuous in $B^s_{p,r}(\R)$ with $s>\max\{1+1/{p},3/2\}$ and $(p,r)\in [1,\infty]\times[1,\infty)$. The method applies also to the b-family of equations which contain the Camassa-Holm and Degasperis-Procesi equations.


title: Stroke-Based Autoencoders: Self-Supervised Learners for Efficient Zero-Shot Chinese Character Recognition

abstract: Chinese characters carry a wealth of morphological and semantic information; therefore, the semantic enhancement of the morphology of Chinese characters has drawn significant attention. The previous methods were intended to directly extract information from a whole Chinese character image, which usually cannot capture both global and local information simultaneously. In this paper, we develop a stroke-based autoencoder(SAE), to model the sophisticated morphology of Chinese characters with the self-supervised method. Following its canonical writing order, we first represent a Chinese character as a series of stroke images with a fixed writing order, and then our SAE model is trained to reconstruct this stroke image sequence. This pre-trained SAE model can predict the stroke image series for unseen characters, as long as their strokes or radicals appeared in the training set. We have designed two contrasting SAE architectures on different forms of stroke images. One is fine-tuned on existing stroke-based method for zero-shot recognition of handwritten Chinese characters, and the other is applied to enrich the Chinese word embeddings from their morphological features. The experimental results validate that after pre-training, our SAE architecture outperforms other existing methods in zero-shot recognition and enhances the representation of Chinese characters with their abundant morphological and semantic information.


title: BusyBot: Learning to Interact, Reason, and Plan in a BusyBoard Environment

abstract: We introduce BusyBoard, a toy-inspired robot learning environment that leverages a diverse set of articulated objects and inter-object functional relations to provide rich visual feedback for robot interactions. Based on this environment, we introduce a learning framework, BusyBot, which allows an agent to jointly acquire three fundamental capabilities (interaction, reasoning, and planning) in an integrated and self-supervised manner. With the rich sensory feedback provided by BusyBoard, BusyBot first learns a policy to efficiently interact with the environment; then with data collected using the policy, BusyBot reasons the inter-object functional relations through a causal discovery network; and finally by combining the learned interaction policy and relation reasoning skill, the agent is able to perform goal-conditioned manipulation tasks. We evaluate BusyBot in both simulated and real-world environments, and validate its generalizability to unseen objects and relations. Video is available at https://youtu.be/EJ98xBJZ9ek.


title: Ground state interface exponents of the diluted Sherrington-Kirkpatrick spin glass

abstract: We present a large-scale simulation of the ground state interface properties of the diluted Sherrington-Kirkpatrick spin glass of Gaussian disorder for a broad range of the bond occupation probability $p$ using the strong disorder renormalization group and the population annealing Monte Carlo methods. We find that the interface is space-filling independent of $p$, i.e., the fractal dimension $d_s=1$. The stiffness exponent $\theta$ is likely also independent of $p$, despite that the energy finite-size correction exponent $\omega$ varies with $p$ as recently found. The energy finite-size scaling is also analyzed and compared with that of the $\pm J$ disorder, finding that the thermodynamic energy is universal in both $p$ and the disorder, and the exponent $\omega$ varies with $p$ but is universal in the disorder.


title: Expectation-Maximization Based Defense Mechanism for Distributed Model Predictive Control

abstract: Controlling large-scale systems sometimes requires decentralized computation. Communication among agents is crucial to achieving consensus and optimal global behavior. These negotiation mechanisms are sensitive to attacks on those exchanges. This paper proposes an algorithm based on Expectation Maximization to mitigate the effects of attacks in a resource allocation based distributed model predictive control. The performance is assessed through an academic example of the temperature control of multiple rooms under input power constraints.


title: SPIRAL: A superlinearly convergent incremental proximal algorithm for nonconvex finite sum minimization

abstract: We introduce SPIRAL, a SuPerlinearly convergent Incremental pRoximal ALgorithm, for solving nonconvex regularized finite sum problems under a relative smoothness assumption. Each iteration of SPIRAL consists of an inner and an outer loop. It combines incremental gradient updates with a linesearch that has the remarkable property of never being triggered asymptotically, leading to superlinear convergence under mild assumptions at the limit point. Simulation results with L-BFGS directions on different convex, nonconvex, and non-Lipschitz differentiable problems show that our algorithm, as well as its adaptive variant, are competitive to the state of the art.


title: Gravitational orbits in the expanding universe revisited

abstract: Modified Newtonian equations for gravitational orbits in the expanding universe indicate that local gravitationally bounded systems like galaxies and planetary systems are unaffected by the expansion of the Universe. This result is derived under the assumption of the space expansion described by the standard FLRW metric. In this paper, an alternative metric is applied and the modified Newtonian equations are derived for the space expansion described by the conformal FLRW metric. As shown by Vavry\v{c}uk (Frontiers in Physics, 2022), this metric is advantageous, because it properly predicts the cosmic time dilation and fits the SNe Ia luminosity observations with no need to introduce dark energy. Surprisingly, the Newtonian equations based on the conformal FLRW metric behave quite differently than those based on the standard FLRW metric. In contrast to the common opinion that local systems resist the space expansion, the results for the conformal metric indicate that all local systems expand according to the Hubble flow. The evolution of the local systems with cosmic time is exemplified on numerical modelling of spiral galaxies. The size of the spiral galaxies grows consistently with observations and a typical spiral pattern is well reproduced. The theory predicts flat rotation curves without an assumption of dark matter surrounding the galaxy. The theory resolves challenges to the $\Lambda$CDM model such as the problem of faint satellite galaxies, baryonic Tully-Fisher relation or the radial acceleration relation. Furthermore, puzzles in the solar system are successfully explained such as the Pioneer anomaly, the Faint young Sun paradox, the Moon's and Titan's orbit anomalies or the presence of rivers on ancient Mars.


title: An Order-Theoretical Multi-Valued Fixed Point Approach to Quasi-Variational Inclusions with Bifunctions

abstract: We present an order-theoretical fixed point theorem for increasing multivalued operators suitable for the method of sub-supersolutions and its application to the following multivalued quasi-variational inclusion: Let $\Omega \subset \mathbb R^N$ be a bounded Lipschitz domain and $W = W_0^{1,p}(\Omega)$. Find $u\in W$ such that for some measurable selection $\eta$ of $f(\cdot,u,u)$ it holds \begin{equation*} \langle Eu,w-u\rangle + \int_\Omega \eta(w-u) + K(w,u) - K(u,u) \geq 0\quad\text{for all }w\in W, \end{equation*} where $E\colon W \to W^\ast$ is an elliptic Leray-Lions operator of divergence form, $f\colon \Omega \times \mathbb R\times \mathbb R \to \mathcal P(\mathbb R)$ is a multivalued bifunction being upper semicontinuous in the second and decreasing in the third argument, and $K(\cdot,u)$ is a convex functional for each $u\in W$. Under weak assumptions on the data we will prove that there are smallest and greatest solutions between each pair of appropriately defined sub-supersolutions.


title: Luminous Optical and X-ray Flaring of the Putative Redback Millisecond Pulsar 1FGL J0523.5$-$2529

abstract: Several redback and black widow millisecond pulsar binaries have episodes of flaring in X-rays and optical. We initially detected such behavior from the Fermi selected redback candidate 1FGL J0523.5$-$2529 during optical time-series monitoring. Triggered observations with the Neil Gehrels Swift Observatory over the next $\approx100$ days showed episodic flaring in X-rays with luminosity up to $8\times10^{33}$ erg s$^{-1}$ ($\sim100$ times the minimum), and a comparable luminosity in the optical/UV, with similar power-law spectra of $f_{\nu}\propto\nu^{-0.7}$. These are the most luminous flares seen in any non-accreting "spider" pulsar system, which may be related to the large size of the companion through the fraction of the pulsar wind that it or its ablated wind intercepts. Simultaneously with an optical flare, we see Balmer-line and He I emission, not previously known in this object, which is evidence of a stellar wind that may also inhibit detection of radio pulsations. The quiescent optical light curves, while dominated by ellipsoidal modulation, show evidence of variable non-uniform temperature that could be due either to large starspots or asymmetric heating of the companion by the pulsar. This may explain a previous measurement of unusual non-zero orbital eccentricity as, alternatively, distortion of the radial-velocity curve by the surface temperature distribution of the large companion.