title: Spatio-Temporal Interaction Graph Parsing Networks for Human-Object Interaction Recognition

abstract: For a given video-based Human-Object Interaction scene, modeling the spatio-temporal relationship between humans and objects are the important cue to understand the contextual information presented in the video. With the effective spatio-temporal relationship modeling, it is possible not only to uncover contextual information in each frame but also to directly capture inter-time dependencies. It is more critical to capture the position changes of human and objects over the spatio-temporal dimension when their appearance features may not show up significant changes over time. The full use of appearance features, the spatial location and the semantic information are also the key to improve the video-based Human-Object Interaction recognition performance. In this paper, Spatio-Temporal Interaction Graph Parsing Networks (STIGPN) are constructed, which encode the videos with a graph composed of human and object nodes. These nodes are connected by two types of relations: (i) spatial relations modeling the interactions between human and the interacted objects within each frame. (ii) inter-time relations capturing the long range dependencies between human and the interacted objects across frame. With the graph, STIGPN learn spatio-temporal features directly from the whole video-based Human-Object Interaction scenes. Multi-modal features and a multi-stream fusion strategy are used to enhance the reasoning capability of STIGPN. Two Human-Object Interaction video datasets, including CAD-120 and Something-Else, are used to evaluate the proposed architectures, and the state-of-the-art performance demonstrates the superiority of STIGPN.


title: q-analogues of multiple zeta values and the formal double Eisenstein space

abstract: In this survey article, we discuss the algebraic structure of q-analogues of multiple zeta values, which are closely related to derivatives of Eisenstein series. Moreover, we introduce the formal double Eisenstein space, which generalizes the formal double zeta space of Gangl, Kaneko, and Zagier. Using the algebraic structure of q-analogues of multiple zeta values, we will present a realization of this space. As an application, we will obtain purely combinatorial proofs of identities among (quasi-)modular forms.


title: A Sensor Fusion-based GNSS Spoofing Attack Detection Framework for Autonomous Vehicles

abstract: This paper presents a sensor fusion based Global Navigation Satellite System (GNSS) spoofing attack detection framework for autonomous vehicles (AV) that consists of two concurrent strategies: (i) detection of vehicle state using predicted location shift -- i.e., distance traveled between two consecutive timestamps -- and monitoring of vehicle motion state -- i.e., standstill/ in motion; and (ii) detection and classification of turns (i.e., left or right). Data from multiple low-cost in-vehicle sensors (i.e., accelerometer, steering angle sensor, speed sensor, and GNSS) are fused and fed into a recurrent neural network model, which is a long short-term memory (LSTM) network for predicting the location shift, i.e., the distance that an AV travels between two consecutive timestamps. This location shift is then compared with the GNSS-based location shift to detect an attack. We have then combined k-Nearest Neighbors (k-NN) and Dynamic Time Warping (DTW) algorithms to detect and classify left and right turns using data from the steering angle sensor. To prove the efficacy of the sensor fusion-based attack detection framework, attack datasets are created for four unique and sophisticated spoofing attacks-turn-by-turn, overshoot, wrong turn, and stop, using the publicly available real-world Honda Research Institute Driving Dataset (HDD). Our analysis reveals that the sensor fusion-based detection framework successfully detects all four types of spoofing attacks within the required computational latency threshold.


title: Wind Turbine Blade Surface Damage Detection based on Aerial Imagery and VGG16-RCNN Framework

abstract: In this manuscript, an image analytics based deep learning framework for wind turbine blade surface damage detection is proposed. Turbine blade(s) which carry approximately one-third of a turbine weight are susceptible to damage and can cause sudden malfunction of a grid-connected wind energy conversion system. The surface damage detection of wind turbine blade requires a large dataset so as to detect a type of damage at an early stage. Turbine blade images are captured via aerial imagery. Upon inspection, it is found that the image dataset was limited and hence image augmentation is applied to improve blade image dataset. The approach is modeled as a multi-class supervised learning problem and deep learning methods like Convolutional neural network (CNN), VGG16-RCNN and AlexNet are tested for determining the potential capability of turbine blade surface damage.


title: The water-ice feature in near-infrared disk-scattered light around HD 142527: Micron-sized icy grains lifted up to the disk surface?

abstract: We study the $3~\mu$m scattering feature of water ice detected in the outer disk of HD 142527 by performing radiative transfer simulations. We show that an ice mass abundance at the outer disk surface of HD 142527 is much lower than estimated in a previous study. It is even lower than inferred from far-infrared ice observations, implying ice disruption at the disk surface. Next, we demonstrate that a polarization fraction of disk-scattered light varies across the ice-band wavelengths depending on ice grain properties; hence, polarimetric spectra would be another tool for characterizing water-ice properties. Finally, we argue that the observed reddish disk-scattered light is due to grains with a few microns in size. To explain the presence of such grains at the disk surface, we need a mechanism that can efficiently oppose dust settling. If we assume turbulent mixing, our estimate requires $\alpha\gtrsim2\times10^{-3}$, where $\alpha$ is a non-dimensional parameter describing the vertical diffusion coefficient of grains. Future observations probing gas kinematics would be helpful to elucidate vertical grain dynamics in the outer disk of HD 142527.


title: Accretion induced merger leading to core collapse supernovae in old stellar populations

abstract: We examine a triple-star evolution that might lead to core collapse supernovae (CCSNe) in stellar populations that are too old to allow for single or binary evolution to form CCSNe, i.e., where the most massive stars that evolve off the main sequence have masses of ~4-5Mo. In the scenario we examine the most massive star in the triple system, of mass ~4-5Mo, transfers mass to an inner binary system at an orbital separation of ~100-1000Ro. The initial orbital separation of the inner binary is ~10-50Ro. The inner binary accretes most of the mass that the primary star loses and the two stars expand and their mutual orbit contracts until merger. The merger product is a main sequence star of mass ~8-10Mo that later experiences a CCSN explosion and leaves a NS remnant, bound or unbound to the white dwarf (WD) remnant of the primary star. We estimate the event rate of this WD-NS reverse evolution scenario to be a fraction of ~5e-5 of all CCSNe. We expect that in the coming decade sky surveys will detect 1-5 such events.


title: Generalizations of Dyson's Rank on Overpartitions

abstract: We introduce a statistic on overpartitions called the $\overline{k}$-rank. When there are no overlined parts, this coincides with the $k$-rank of a partition introduced by Garvan. Moreover, it reduces to the D-rank of an overpartition when $k=2$. The generating function for the $\overline{k}$-rank of overpartitions is given. We also establish a relation between the generating function of self-3-conjugate overpartitions and the tenth order mock theta functions $X(q)$ and $\chi(q)$.


title: Polish Doughnuts around Scalarized Kerr Black Holes

abstract: In this work we aim to investigate non-mainstream thick tori configurations around Kerr Black Holes with Scalar Hair (KBHsSH). For that goal, we provide a first approach using constant specific angular momentum non-self-gravitating Polish doughnuts. Through a series of examples, we show the feasibility of new topologies, such as double-centered tori with two cusps as well as similar structures as the ones found for rotating Boson Stars (BSs), namely tori endowed with two centers and a single cusp. These KBHsSH' solutions are also shown to possibly house static surfaces, associated to the static rings present in these spacetimes. Through this report we highlight the differences between these fluid configurations when housed by some KBHsSH examples, standard Kerr black holes and rotating BSs.


title: Successive cohorts of Twitter users show increasing activity and shrinking content horizons

abstract: The global public sphere has changed dramatically over the past decades: a significant part of public discourse now takes place on algorithmically driven platforms owned by a handful of private companies. Despite its growing importance, there is scant large-scale academic research on the long-term evolution of user behaviour on these platforms, because the data are often proprietary to the platforms. Here, we evaluate the individual behaviour of 600,000 Twitter users between 2012 and 2019 and find empirical evidence for an acceleration of the way Twitter is used on an individual level. This manifests itself in the fact that cohorts of Twitter users behave differently depending on when they joined the platform. Behaviour within a cohort is relatively consistent over time and characterised by strong internal interactions, but over time behaviour from cohort to cohort shifts towards increased activity. Specifically, we measure this in terms of more tweets per user over time, denser interactions with others via retweets, and shorter content horizons, expressed as an individual's decaying autocorrelation of topics over time. Our observations are explained by a growing proportion of active users who not only tweet more actively but also elicit more retweets. These behaviours suggest a collective contribution to an increased flow of information through each cohort's news feed -- an increase that potentially depletes available collective attention over time. Our findings complement recent, empirical work on social acceleration, which has been largely agnostic about individual user activity.


title: Spectral theory of spin substitutions

abstract: We introduce qubit substitutions in $\mathbb{Z}^m$, which have non-rectangular domains based on an endomorphism $Q$ of $\mathbb{Z}^m$ and a set $\mathcal{D}$ of coset representatives of $\mathbb{Z}^m/Q\mathbb{Z}^m$. We then focus on a specific family of qubit substitutions which we call spin substitutions, whose combinatorial definition requires a finite abelian group $G$ as its spin group. We investigate the spectral theory of the underlying subshift $(\Sigma,\mathbb{Z}^m)$. Under certain assumptions, we show that it is measure-theoretically isomorphic to a group extension of an $m$-dimensional odometer, which induces a complete decomposition of the function space $L^{2}(\Sigma,\mu)$ . This enables one to use group characters in $\widehat{G}$ to derive substitutive factors and carry out a spectral analysis on specific subspaces. We provide general sufficient criteria for the existence of pure point, absolutely continuous and singular continuous spectral measures, together with some bounds on their spectral multiplicity.


title: Batch Curation for Unsupervised Contrastive Representation Learning

abstract: The state-of-the-art unsupervised contrastive visual representation learning methods that have emerged recently (SimCLR, MoCo, SwAV) all make use of data augmentations in order to construct a pretext task of instant discrimination consisting of similar and dissimilar pairs of images. Similar pairs are constructed by randomly extracting patches from the same image and applying several other transformations such as color jittering or blurring, while transformed patches from different image instances in a given batch are regarded as dissimilar pairs. We argue that this approach can result similar pairs that are \textit{semantically} dissimilar. In this work, we address this problem by introducing a \textit{batch curation} scheme that selects batches during the training process that are more inline with the underlying contrastive objective. We provide insights into what constitutes beneficial similar and dissimilar pairs as well as validate \textit{batch curation} on CIFAR10 by integrating it in the SimCLR model.


title: Maxwell-Lorentz without self interactions: Conservation of energy and momentum

abstract: Since a classical charged point particle radiates energy and momentum it is argued that there must be a radiation reaction force. Here we present an action for the Maxwell-Lorentz without self interactions model, where each particle only responds to the fields of the other charged particles. The corresponding stress-energy tensor automatically conserves energy and momentum in Minkowski and other appropriate spacetimes.


title: A survey of the Thurston norm

abstract: We present an overview of the study of the Thurston norm, introduced by W. P. Thurston in the seminal paper "A norm for the homology of 3-manifolds" (written in 1976 and published in 1986). We first review fundamental properties of the Thurston norm of a 3-manifold, including a construction of codimension-1 taut foliations from norm-minimizing embedded surfaces, established by D. Gabai. In the main part we describe relationships between the Thurston norm and other topological invariants of a 3-manifold: the Alexander polynomial and its various generalizations, Reidemeister torsion, the Seiberg-Witten invariant, Heegaard Floer homology, the complexity of triangulations and the profinite completion of the fundamental group. Some conjectures and questions on related topics are also collected. The final version of this paper will appear as a chapter in the book "In the tradition of Thurston, II", edited by K. Ohshika and A. Papadopoulos (Springer, 2022).


title: Model Reduction of Parametric Differential-Algebraic Systems by Balanced Truncation

abstract: We deduce a procedure to apply balanced truncation to parameter-dependent differential-algebraic systems. For that we solve multiple projected Lyapunov equations for different parameter values to compute the Gramians that are required for the truncation procedure. As this process would lead to high computational costs if we perform it for a large number of parameters, we combine this approach with the reduced basis method that determines a reduced representation of the Lyapunov equation solutions for the parameters of interest. Residual-based error estimators are then used to evaluate the quality of the approximations. After introducing the procedure for a general class of differential-algebraic systems we turn our focus to systems with a specific structure, for which the method can be applied particularly efficiently. We illustrate the efficiency of our approach on several models from fluid dynamics and mechanics.


title: Multi-Center Federated Learning: Clients Clustering for Better Personalization

abstract: Personalized decision-making can be implemented in a Federated learning (FL) framework that can collaboratively train a decision model by extracting knowledge across intelligent clients, e.g. smartphones or enterprises. FL can mitigate the data privacy risk of collaborative training since it merely collects local gradients from users without access to their data. However, FL is fragile in the presence of statistical heterogeneity that is commonly encountered in personalized decision-making, e.g., non-IID data over different clients. Existing FL approaches usually update a single global model to capture the shared knowledge of all users by aggregating their gradients, regardless of the discrepancy between their data distributions. By comparison, a mixture of multiple global models could capture the heterogeneity across various clients if assigning the client to different global models (i.e., centers) in FL. To this end, we propose a novel multi-center aggregation mechanism to cluster clients using their models' parameters. It learns multiple global models from data as the cluster centers, and simultaneously derives the optimal matching between users and centers. We then formulate it as an optimization problem that can be efficiently solved by a stochastic expectation maximization (EM) algorithm. Experiments on multiple benchmark datasets of FL show that our method outperforms several popular baseline methods. The experimental source codes are publicly available on the Github repository https://github.com/mingxuts/multi-center-fed-learning .


title: Exact solution for Riemann problems of the shear shallow water model

abstract: The shear shallow water model is a higher order model for shallow flows which includes some shear effects that are neglected in the classical shallow models. The model is a non-conservative hyperbolic system which can admit shocks, rarefactions, shear and contact waves. The notion of weak solution is based on a path but the choice of the correct path is not known for this problem. In this paper, we construct exact solution for the Riemann problem assuming a linear path in the space of conserved variables, which is also used in approximate Riemann solvers. We compare the exact solutions with those obtained from a path conservative finite volume scheme on some representative test cases.


title: Thermal aspects of neutron star mergers

abstract: In order to extract maximal information from neutron-star merger signals, both gravitational and electromagnetic, we need to ensure that our theoretical models/numerical simulations faithfully represent the extreme physics involved. This involves a range of issues, with the finite temperature effects regulating many of the relevant phenomena. As a step towards understanding these issues, we explore the conditions for $\beta$-equilibrium in neutron star matter for the densities and temperatures reached in a binary neutron star merger. Using the results from our out-of-equilibrium merger simulation, we consider how different notions of equilibrium may affect the merger dynamics, raising issues that arise when attempting to account for these conditions in future simulations. These issues are both computational and conceptual. We show that the effects lead to, in our case, a softening of the equation of state in some density regions, and to composition changes that affect processes that rely on deviation from equilibrium, such as bulk viscosity, both in terms of the magnitude and the equilibration timescales inherent to the relevant set of reactions. We also demonstrate that it is difficult to determine exactly which equilibrium conditions are relevant in which regions of the matter due to the dependence on neutrino absorption, further complicating the calculation of the reactions that work to restore the matter to equilibrium.


title: Identifying low-amplitude pulsating stars through microlensing observations

abstract: One possibility for detecting low-amplitude pulsational variations is through gravitational microlensing. During a microlensing event, the temporary brightness increase leads to improvement in the signal-to-noise ratio, and thereby better detectability of pulsational signatures in light curves. We explore this possibility under two primary considerations. The first is when the standard point-source and point-lens approximation applies. In this scenario, dividing the observed light curve by the best-fitted microlensing model leads to residuals that result in pulsational features with improved uncertainties. The second is for transit events (single lens) or caustic crossing (binary lens). The point-source approximation breaks down, and residuals relative to a simple best-fitted microlensing model display more complex behavior. We employ a Monte-Carlo simulation of microlensing of pulsating variables toward the Galactic bulge for the surveys of OGLE and of KMTNet. We demonstrate that the efficiency for detecting pulsational signatures with intrinsic amplitudes of $<0.25$ mag during single and binary microlensing events, at differences in $\chi^{2}$ of $\Delta \chi^{2} >350$, is $\sim 50-60\%$. The maximum efficiency occurs for pulsational periods $P \simeq 0.1-0.3$ days. We also study the possibility that high-magnification microlensing events of non-radially pulsating stars (NRPs) could be misinterpreted as planetary or binary microlensing events. We conclude that small asymmetric features around lightcurve peaks due to stellar pulsations could be misdiagnosed with crossing (or passing close to) small caustic curves.


title: Efficient Algorithms for Stochastic Ridepooling Assignment with Mixed Fleets

abstract: Ride-pooling, which accommodates multiple passenger requests in a single trip, has the potential to significantly increase fleet utilization in shared mobility platforms. The ride-pooling assignment problem finds optimal co-riders to maximize the total utility or profit on a shareability graph, a hypergraph representing the matching compatibility between available vehicles and pending requests. With mixed fleets due to the introduction of automated or premium vehicles, fleet sizing and relocation decisions should be made before the requests are revealed. Due to the immense size of the underlying shareability graph and demand uncertainty, it is impractical to use exact methods to calculate the optimal trip assignments. Two approximation algorithms for mid-capacity and high-capacity vehicles are proposed in this paper; The respective approximation ratios are $\frac1{p^2}$ and $\frac{e-1}{(2e+o(1)) p \ln p}$, where $p$ is the maximum vehicle capacity plus one. The performance of these algorithms is validated using a mixed autonomy on-demand mobility simulator. These efficient algorithms serve as a stepping stone for a variety of multimodal and multiclass on-demand mobility applications.


title: Analysis of general shape optimization problems in nonlinear acoustics

abstract: In various biomedical applications, precise focusing of nonlinear ultrasonic waves is crucial for efficiency and safety of the involved procedures. This work analyzes a class of shape optimization problems constrained by general quasi-linear acoustic wave equations that arise in high-intensity focused ultrasound (HIFU) applications. Within our theoretical framework, the Westervelt and Kuznetsov equations of nonlinear acoustics are obtained as particular cases. The quadratic gradient nonlinearity, specific to the Kuznetsov equation, requires special attention throughout. To prove the existence of the Eulerian shape derivative, we successively study the local well-posedness and regularity of the forward problem, uniformly with respect to shape variations, and prove that it does not degenerate under the hypothesis of small initial and boundary data. Additionally, we prove H\"older-continuity of the acoustic potential with respect to domain deformations. We then derive and analyze the corresponding adjoint problems for several different cost functionals of practical interest and conclude with the expressions of well-defined shape derivatives.


title: 3DIAS: 3D Shape Reconstruction with Implicit Algebraic Surfaces

abstract: 3D Shape representation has substantial effects on 3D shape reconstruction. Primitive-based representations approximate a 3D shape mainly by a set of simple implicit primitives, but the low geometrical complexity of the primitives limits the shape resolution. Moreover, setting a sufficient number of primitives for an arbitrary shape is challenging. To overcome these issues, we propose a constrained implicit algebraic surface as the primitive with few learnable coefficients and higher geometrical complexities and a deep neural network to produce these primitives. Our experiments demonstrate the superiorities of our method in terms of representation power compared to the state-of-the-art methods in single RGB image 3D shape reconstruction. Furthermore, we show that our method can semantically learn segments of 3D shapes in an unsupervised manner. The code is publicly available from https://myavartanoo.github.io/3dias/ .


title: Integrated Random Projection and Dimensionality Reduction by Propagating Light in Photonic Lattices

abstract: It is proposed that the propagation of light in disordered photonic lattices can be harnessed as a random projection that preserves distances between a set of projected vectors. This mapping is enabled by the complex evolution matrix of a photonic lattice with diagonal disorder, which turns out to be a random complex Gaussian matrix. Thus, by collecting the output light from a subset of the waveguide channels, one can perform an embedding from a higher-dimension to a lower-dimension space that respects the Johnson-Lindenstrauss lemma and nearly preserves the Euclidean distances. It is discussed that distance-preserving random projection through photonic lattices requires intermediate disorder levels that allow diffusive spreading of light from a single channel excitation, as opposed to strong disorder which initiates the localization regime. The proposed scheme can be utilized as a simple and powerful integrated dimension reduction stage that can greatly reduce the burden of a subsequent neural computing stage.

categories: physics.optics cond-mat.dis-nn cs.GL physics.data-an


title: Global Convergence of the ODE Limit for Online Actor-Critic Algorithms in Reinforcement Learning

abstract: Actor-critic algorithms are widely used in reinforcement learning, but are challenging to mathematically analyse due to the online arrival of non-i.i.d. data samples. The distribution of the data samples dynamically changes as the model is updated, introducing a complex feedback loop between the data distribution and the reinforcement learning algorithm. We prove that, under a time rescaling, the online actor-critic algorithm with tabular parametrization converges to an ordinary differential equation (ODE) as the number of updates becomes large. The proof first establishes the geometric ergodicity of the data samples under a fixed actor policy. Then, using a Poisson equation, we prove that the fluctuations of the data samples around a dynamic probability measure, which is a function of the evolving actor model, vanish as the number of updates become large. Once the ODE limit has been derived, we study its convergence properties using a two time-scale analysis which asymptotically de-couples the critic ODE from the actor ODE. The convergence of the critic to the solution of the Bellman equation and the actor to the optimal policy are proven. In addition, a convergence rate to this global minimum is also established. Our convergence analysis holds under specific choices for the learning rates and exploration rates in the actor-critic algorithm, which could provide guidance for the implementation of actor-critic algorithms in practice.


title: Max-min Fairness Based Faucet Design for Blockchains

abstract: In order to have transactions executed and recorded on blockchains such as the Ethereum Mainnet, fees expressed in crypto-currency units of the blockchain must be paid. One can buy crypto-currency called Ether of the Ethereum blockchain from exchanges and pay for the transaction fees. In the case of test networks (such as Rinkeby) or scientific research blockchains (such as Bloxberg), free crypto-currency, Ether, is distributed to users via faucets. Since transaction slots on the blocks, storage and smart contract executions are consuming blockchain resources, Ethers are distributed by fixed small amounts to users. Users may have different amount of Ether requirements; some small amounts and some large amounts during different times. As a result, rather than allowing the user to get a fixed small amount of Ether, a more general distribution mechanism that allows a user to demand and claim arbitrary amounts of Ether, while satisfying fairness among users, is needed. For this end, Max-min Fairness based schemes have been used in centralized settings. Our work contributes a Max-min Fairness based algorithm and its Solidity smart contract implementation that requires low transaction costs independent of the number of users. This is important on the Ethereum blockchain, since a smart contract execution with transaction costs depending on the number of users would mean block gas limit exhaustion problem will eventually be met, making the smart contract ineffective. We report tests which confirm that the low transaction cost aims have been achieved by our algorithm.


title: Permutations whose reverse shares the same recording tableau in the RSK correspondence

abstract: The RSK correspondence is a bijection between permutations and pairs of standard Young tableaux with identical shape, where the tableaux are commonly denoted $P$ (insertion) and $Q$ (recording). It has been an open problem to demonstrate $$ |\{w \in \mathfrak{S}_n | \, Q(w) = Q(w^r)\}| = \begin{cases} \displaystyle 2^{\frac{n-1}{2}}{n-1 \choose \frac{n-1}{2}} & n \text{ odd} \newline \displaystyle 0 & n \text{ even} \end{cases}, $$ where $w^r$ is the reverse permutation of $w$. First we show that for each $w$ where $Q(w) = Q(w^r)$ the recording tableau $Q(w)$ has a symmetric hook shape and satisfies a certain simple property. From these two results, we succeed in proving the desired identity.


title: Discrete-time Flatness-based Control of a Gantry Crane

abstract: This article addresses the design of a discrete-time flatness-based tracking control for a gantry crane and demonstrates the practical applicability of the approach by measurement results. The required sampled-data model is derived by an Euler-discretization with a prior state transformation in such a way that the flatness of the continuous-time system is preserved. Like in the continuous-time case, the flatness-based controller design is performed in two steps. First, the sampled-data system is exactly linearized by a discrete-time quasi-static state feedback. Subsequently, a further feedback enforces a stable linear tracking error dynamics. To underline its practical relevance, the performance of the novel discrete-time tracking control is compared to the classical continuous-time approach by measurement results from a laboratory setup. In particular, it turns out that the discrete-time controller is significantly more robust with respect to large sampling times. Moreover, it is shown how the discrete-time approach facilitates the design of optimal reference trajectories, and further measurement results are presented.


title: Residual Tensor Train: A Quantum-inspired Approach for Learning Multiple Multilinear Correlations

abstract: States of quantum many-body systems are defined in a high-dimensional Hilbert space, where rich and complex interactions among subsystems can be modelled. In machine learning, complex multiple multilinear correlations may also exist within input features. In this paper, we present a quantum-inspired multilinear model, named Residual Tensor Train (ResTT), to capture the multiple multilinear correlations of features, from low to high orders, within a single model. ResTT is able to build a robust decision boundary in a high-dimensional space for solving fitting and classification tasks. In particular, we prove that the fully-connected layer and the Volterra series can be taken as special cases of ResTT. Furthermore, we derive the rule for weight initialization that stabilizes the training of ResTT based on a mean-field analysis. We prove that such a rule is much more relaxed than that of TT, which means ResTT can easily address the vanishing and exploding gradient problem that exists in the existing TT models. Numerical experiments demonstrate that ResTT outperforms the state-of-the-art tensor network and benchmark deep learning models on MNIST and Fashion-MNIST datasets. Moreover, ResTT achieves better performance than other statistical methods on two practical examples with limited data which are known to have complex feature interactions.


title: Coefficients of the monodromy matrices of one-parameter families of double octic Calabi-Yau threefolds at a half-conifold point

abstract: Doran and Morgan have introduced certain rational basis for the monodromy group of the Picard-Fuchs operator of a hypergeometric family of Calabi-Yau threefolds. In this paper we compute numerically the transition matrix between a generalization of the Doran-Morgan basis and the Frobenius basis at a half-conifold point of a one-parameter family of double octic Calabi-Yau threefolds. We identify the entries of this matrix as rational functions in the special values $L(f,1)$ and $L(f,2)$ of the corresponding modular form $f$ and one constant. We also present related results concerning the rank of the group of period integrals generated by the action of the monodromy group on the conifold period.


title: Asymptotic behaviour of the first positions of uniform parking functions

abstract: In this paper we study the asymptotic behavior of a random uniform parking function $\pi_n$ of size $n$. We show that the first $k_n$ places $\pi_n(1),\dots,\pi_n(k_n)$ of $\pi_n$ are asymptotically i.i.d. and uniform on $\{1,2,\dots,n\}$, for the total variation distance when $k_n = o(\sqrt{n})$, and for the Kolmogorov distance when $k_n=o(n)$, improving results of Diaconis & Hicks. Moreover we give bounds for the rate of convergence, as well as limit theorems for some statistics like the sum or the maximum of the first $k_n$ parking places. The main tool is a reformulation using conditioned random walks.


title: Phase-stable source of high-quality three-photon polarization entanglement by cascaded downconversion

abstract: Stable sources of entangled photons are important requirements for quantum communications. In recent years, cascaded downconversion has been demonstrated as an effective method of directly producing three-photon entanglement. However, to produce polarization entanglement these sources have until now relied on intricate active phase stabilization schemes, thus limiting their robustness and usability. In this work, we present a completely phase-stable source of three-photon entanglement in the polarization degree of freedom. With this source, which is based on a cascade of two pair sources based on Sagnac configurations, we produce states with over 96\% fidelity with an ideal GHZ state. Moreover, we demonstrate the stability of the source over several days without any ongoing optimization. We expect this source to be a useful tool for applications requiring multiphoton entanglement, such as quantum secret sharing and producing heralded entangled photon pairs.


title: Unsupervised Cross-Lingual Speech Emotion Recognition Using Pseudo Multilabel

abstract: Speech Emotion Recognition (SER) in a single language has achieved remarkable results through deep learning approaches in the last decade. However, cross-lingual SER remains a challenge in real-world applications due to a great difference between the source and target domain distributions. To address this issue, we propose an unsupervised cross-lingual Neural Network with Pseudo Multilabel (NNPM) that is trained to learn the emotion similarities between source domain features inside an external memory adjusted to identify emotion in cross-lingual databases. NNPM introduces a novel approach that leverages external memory to store source domain features and generates pseudo multilabel for each target domain data by computing the similarities between the external memory and the target domain features. We evaluate our approach on multiple different languages of speech emotion databases. Experimental results show our proposed approach significantly improves the weighted accuracy (WA) across multiple low-resource languages on Urdu, Skropus, ShEMO, and EMO-DB corpus. To facilitate further research, code is available at https://github.com/happyjin/NNPM


title: Regime of small number of photons in the cavity for a single-emitter laser

abstract: The simplest model of a single-emitter laser generating in the regime of small number of photons in the cavity is theoretically investigated. Based on a system of equations for different moments of the field operators the analytical expressions for mean number of photons and its dispersion are obtained. Using the master equation approach the differential equation for the phase-averaged quasi-probability Q is derived. For some limiting cases the exact solutions of this equation are found.


title: Trust as a Metric for Resiliency in Signed Social Networks

abstract: Recent technological advancements have resulted in a surge in online trading, raising severe concerns about theft and fraud, especially on platforms like Bitcoin OTC (over-the-counter), where users' identities remain anonymous. To mitigate the risk, it has become essential to capture the reputation of users based on their trade histories. The who-trusts-whom signed network of people has the capability to reflect the nature of such positive and negative relations between the users. It can be used to analyze linkage patterns, strength, and resiliency of such platforms. Due to the dynamic nature of trust between individuals, these trust networks are often vulnerable to link or node failures, making it critical to understand the stability of such systems. In this paper, we consider the problem of quantifying the resiliency of signed networks with the help of trustworthy community structures. We propose a metric for computing the Trustworthiness of a community structure. Using the trustworthiness scores of all communities structures, we generate a pipeline for assessing the resiliency of a signed network. We also show how these generated resiliency scores are concordant with the true nature of the network.


title: Fe0.79Si0.07B0.14 metallic glass gaskets for high-pressure research beyond 1 Mbar

abstract: A gasket is an important constituent of a diamond anvil cell (DAC) assembly, responsible for the sample chamber stability at extreme conditions for x-ray diffraction studies. In this work, we studied the performance of gaskets made of metallic glass Fe0.79Si0.07B0.14 in a number of high-pressure x-ray diffraction (XRD) experiments in DACs equipped with conventional and toroidal-shape diamond anvils. The experiments were conducted in either uniaxial or radial geometry with x-ray beams of micron to sub-micron size. We report that the Fe0.79Si0.07B0.14 metallic glass gaskets offered stable sample environment under compression exceeding one megabar in all XRD experiments described here, even in those involving inter- or small-molecule gases (e.g. Ne, H2) used as pressure transmitting media or in those with laser heating in a DAC. These emphasize the material's importance for a great number of delicate experiments conducted under extreme conditions. Our results indicate that the application of Fe0.79Si0.07B0.14 metallic glass gaskets in XRD experiments of both uniaxial and radial geometries substantially improves the signal-to-noise ratio in comparison to that with conventional gaskets made of Re, W, steel or other crystalline metals.


title: The Pareto-frontier-based Stiffness of A Controller: Trade-off between Trajectory Plan and Controller Design

abstract: Approaching a set goal for a UAV comprises a trajectory plan and a controller design (control after plan problems). The optimal trajectory (reference) is calculated before being tracked with a proper controller. It is believed that the quadrotor will follow the designed trajectory totally in the trajectory plan process. However, the dynamic state error usually, for a mismatched feed-forward, spoils this assumption, making the unwanted sacrifice in the objective function defined in the trajectory plan process. We base the target problem in this research on a second-order system model which widely exists in the dynamics of vehicles. Specially, the unavoidable dynamic state error is considered in the trajectory plan process, assuming the LQR without the feed-forward is applied in the subsequent control after plan problems. The Copenhagen Limit provides the possibility of estimating the dynamic state error in an analytical solution. The trade-off results are provided in multiobjective Pareto front solutions and the mapped pseudo Pareto fronts. We explore the relationship between the controller and the corresponding pseudo Pareto fronts.


title: Master Functions and Equations for Perturbations of Vacuum Spherically-Symmetric Spacetimes

abstract: Perturbation theory of vacuum spherically-symmetric spacetimes is a crucial tool to understand the dynamics of black hole perturbations. Spherical symmetry allows for an expansion of the perturbations in scalar, vector, and tensor harmonics. The resulting perturbative equations are decoupled for modes with different parity and different harmonic numbers. Moreover, for each harmonic and parity, the equations for the perturbations can be decoupled in terms of (gauge-invariant) master functions that satisfy 1+1 wave equations. By working in a completely general perturbative gauge, in this paper we study what is the most general master function that is linear in the metric perturbations and their first-order derivatives and satisfies a wave equation with a potential. The outcome of the study is that for each parity we have two branches of solutions with similar features. One of the branches includes the known results: In the odd-parity case, the most general master function is an arbitrary linear combination of the Regge-Wheeler and the Cunningham-Price-Moncrief master functions whereas in the even-parity case it is an arbitrary linear combination of the Zerilli master function and another master function that is new to our knowledge. The other branch is very different since it includes an infinite collection of potentials which in turn lead to an independent collection master of functions which depend on the potential. The allowed potentials satisfy a non-linear ordinary differential equation. Finally, all the allowed master functions are gauge invariant and can be written in a fully covariant form.

categories: gr-qc astro-ph.HE hep-th math-ph math.MP


title: Video Relation Detection via Tracklet based Visual Transformer

abstract: Video Visual Relation Detection (VidVRD), has received significant attention of our community over recent years. In this paper, we apply the state-of-the-art video object tracklet detection pipeline MEGA and deepSORT to generate tracklet proposals. Then we perform VidVRD in a tracklet-based manner without any pre-cutting operations. Specifically, we design a tracklet-based visual Transformer. It contains a temporal-aware decoder which performs feature interactions between the tracklets and learnable predicate query embeddings, and finally predicts the relations. Experimental results strongly demonstrate the superiority of our method, which outperforms other methods by a large margin on the Video Relation Understanding (VRU) Grand Challenge in ACM Multimedia 2021. Codes are released at https://github.com/Dawn-LX/VidVRD-tracklets.


title: On Accelerating Distributed Convex Optimizations

abstract: This paper studies a distributed multi-agent convex optimization problem. The system comprises multiple agents in this problem, each with a set of local data points and an associated local cost function. The agents are connected to a server, and there is no inter-agent communication. The agents' goal is to learn a parameter vector that optimizes the aggregate of their local costs without revealing their local data points. In principle, the agents can solve this problem by collaborating with the server using the traditional distributed gradient-descent method. However, when the aggregate cost is ill-conditioned, the gradient-descent method (i) requires a large number of iterations to converge, and (ii) is highly unstable against process noise. We propose an iterative pre-conditioning technique to mitigate the deleterious effects of the cost function's conditioning on the convergence rate of distributed gradient-descent. Unlike the conventional pre-conditioning techniques, the pre-conditioner matrix in our proposed technique updates iteratively to facilitate implementation on the distributed network. In the distributed setting, we provably show that the proposed algorithm converges linearly with an improved rate of convergence than the traditional and adaptive gradient-descent methods. Additionally, for the special case when the minimizer of the aggregate cost is unique, our algorithm converges superlinearly. We demonstrate our algorithm's superior performance compared to prominent distributed algorithms for solving real logistic regression problems and emulating neural network training via a noisy quadratic model, thereby signifying the proposed algorithm's efficiency for distributively solving non-convex optimization. Moreover, we empirically show that the proposed algorithm results in faster training without compromising the generalization performance.


title: Exploiting Different Levels of Parallelism in the Quantum Control Microarchitecture for Superconducting Qubits

abstract: As current Noisy Intermediate Scale Quantum (NISQ) devices suffer from decoherence errors, any delay in the instruction execution of quantum control microarchitecture can lead to the loss of quantum information and incorrect computation results. Hence, it is crucial for the control microarchitecture to issue quantum operations to the Quantum Processing Unit (QPU) in time. As in classical microarchitecture, parallelism in quantum programs needs to be exploited for speedup. However, three challenges emerge in the quantum scenario: 1) the quantum feedback control can introduce significant pipeline stall latency; 2) timing control is required for all quantum operations; 3) QPU requires a deterministic operation supply to prevent the accumulation of quantum errors. In this paper, we propose a novel control microarchitecture design to exploit Circuit Level Parallelism (CLP) and Quantum Operation Level Parallelism (QOLP). Firstly, we develop a Multiprocessor architecture to exploit CLP, which supports dynamic scheduling of different sub-circuits. This architecture can handle parallel feedback control and minimize the potential overhead that disrupts the timing control. Secondly, we propose a Quantum Superscalar approach that exploits QOLP by efficiently executing massive quantum instructions in parallel. Both methods issue quantum operations to QPU deterministically. In the benchmark test of a Shor syndrome measurement, a six-core implementation of our proposal achieves up to 2.59$\times$ speedup compared with a single core. For various canonical quantum computing algorithms, our superscalar approach achieves an average of 4.04$\times$ improvement over a baseline design. Finally, We perform a simultaneous randomized benchmarking (simRB) experiment on a real QPU using the proposed microarchitecture for validation.


title: A Survey on Domain-Specific Memory Architectures

abstract: The never-ending demand for high performance and energy efficiency is pushing designers towards an increasing level of heterogeneity and specialization in modern computing systems. In such systems, creating efficient memory architectures is one of the major opportunities for optimizing modern workloads (e.g., computer vision, machine learning, graph analytics, etc.) that are extremely data-driven. However, designers demand proper design methods to tackle the increasing design complexity and address several new challenges, like the security and privacy of the data to be elaborated. This paper overviews the current trend for the design of domain-specific memory architectures. Domain-specific architectures are tailored for the given application domain, with the introduction of hardware accelerators and custom memory modules while maintaining a certain level of flexibility. We describe the major components, the common challenges, and the state-of-the-art design methodologies for building domain-specific memory architectures. We also discuss the most relevant research projects, providing a classification based on our main topics.


title: Local existence and uniqueness for a fractional SIRS model with Mittag-Leffler law

abstract: In this paper, we study an epidemic model with Atangana-Baleanu-Caputo (ABC) fractional derivatives. We obtain a special solution using an iterative scheme via Laplace transformation. Uniqueness and existence of solution using the Banach fixed point theorem are studied. A detailed analysis of the stability of the special solution is presented. Finally, our generalized model in the ABC derivative sense is solved numerically by the Adams-Bashforth-Moulton method.


title: Towards Controllable and Photorealistic Region-wise Image Manipulation

abstract: Adaptive and flexible image editing is a desirable function of modern generative models. In this work, we present a generative model with auto-encoder architecture for per-region style manipulation. We apply a code consistency loss to enforce an explicit disentanglement between content and style latent representations, making the content and style of generated samples consistent with their corresponding content and style references. The model is also constrained by a content alignment loss to ensure the foreground editing will not interfere background contents. As a result, given interested region masks provided by users, our model supports foreground region-wise style transfer. Specially, our model receives no extra annotations such as semantic labels except for self-supervision. Extensive experiments show the effectiveness of the proposed method and exhibit the flexibility of the proposed model for various applications, including region-wise style editing, latent space interpolation, cross-domain style transfer.


title: Uniform in time propagation of chaos for the 2D vortex model and other singular stochastic systems

abstract: In this article, we adapt the work of Jabin and Wang (2018) to show the first result of uniform in time propagation of chaos for a class of singular interaction kernels. In particular, our models contain the Biot-Savart kernel on the torus and thus the 2D vortex model.


title: Fine-Grained Element Identification in Complaint Text of Internet Fraud

abstract: Existing system dealing with online complaint provides a final decision without explanations. We propose to analyse the complaint text of internet fraud in a fine-grained manner. Considering the complaint text includes multiple clauses with various functions, we propose to identify the role of each clause and classify them into different types of fraud element. We construct a large labeled dataset originated from a real finance service platform. We build an element identification model on top of BERT and propose additional two modules to utilize the context of complaint text for better element label classification, namely, global context encoder and label refiner. Experimental results show the effectiveness of our model.


title: Order Optimal Bounds for One-Shot Federated Learning over non-Convex Loss Functions

abstract: We consider the problem of federated learning in a one-shot setting in which there are $m$ machines, each observing $n$ sample functions from an unknown distribution on non-convex loss functions. Let $F:[-1,1]^d\to\mathbb{R}$ be the expected loss function with respect to this unknown distribution. The goal is to find an estimate of the minimizer of $F$. Based on its observations, each machine generates a signal of bounded length $B$ and sends it to a server. The server collects signals of all machines and outputs an estimate of the minimizer of $F$. We show that the expected loss of any algorithm is lower bounded by $\max\big(1/(\sqrt{n}(mB)^{1/d}), 1/\sqrt{mn}\big)$, up to a logarithmic factor. We then prove that this lower bound is order optimal in $m$ and $n$ by presenting a distributed learning algorithm, called Multi-Resolution Estimator for Non-Convex loss function (MRE-NC), whose expected loss matches the lower bound for large $mn$ up to polylogarithmic factors.


title: The Legislative Recipe: Syntax for Machine-Readable Legislation

abstract: Legal interpretation is a linguistic venture. In judicial opinions, for example, courts are often asked to interpret the text of statutes and legislation. As time has shown, this is not always as easy as it sounds. Matters can hinge on vague or inconsistent language and, under the surface, human biases can impact the decision-making of judges. This raises an important question: what if there was a method of extracting the meaning of statutes consistently? That is, what if it were possible to use machines to encode legislation in a mathematically precise form that would permit clearer responses to legal questions? This article attempts to unpack the notion of machine-readability, providing an overview of both its historical and recent developments. The paper will reflect on logic syntax and symbolic language to assess the capacity and limits of representing legal knowledge. In doing so, the paper seeks to move beyond existing literature to discuss the implications of various approaches to machine-readable legislation. Importantly, this study hopes to highlight the challenges encountered in this burgeoning ecosystem of machine-readable legislation against existing human-readable counterparts.


title: A construction of maximally recoverable codes

abstract: We construct a family of linear maximally recoverable codes with locality $r$ and dimension $r+1.$ For codes of length $n$ with $r\approx n^\alpha, 0\le\alpha\le 1$ the code alphabet is of the order $n^{1+3\alpha},$ which improves upon the previously known constructions of maximally recoverable codes.


title: Piecewise circular curves and positivity

abstract: We introduce the moduli space of generic piecewise circular $n$-gons in the Riemann sphere and relate it to a moduli space of Legendrian polygons. We prove that when $n=2k$, this moduli space contains a connected component homeomorphic to the Fock-Goncharov space of $k$-tuples of positive flags for $\mathsf{PSp}(4,\mathbb{R})$ and hence is a topological ball. We characterize this component geometrically as the space of simple piecewise circular curves with decreasing curvature.


title: Sparse Packetized Predictive Control of Disturbed Plants Over Channels with Data Loss

abstract: This paper investigates closed-loop stability of a linear discrete-time plant subject to bounded disturbances when controlled according to packetized predictive control (PPC) policies. In the considered feedback loop, the controller is connected to the actuator via a digital communication channel imposing bounded dropouts. Two PPC strategies are taken into account. In both cases, the control packets are generated by solving sparsity-promoting optimization problems. One is based upon an l2-constrained l0 optimization problem. Such problem is relaxed by an l1-l2 optimization problem in the other sparse PPC setting. We utilize effective solving methods for the latter optimization problems. Moreover, we show that in the presence of plant disturbances, the l2-constrained l0 sparse PPC and unconstrained l1-l2 sparse PPC guarantee practical stability for the system if certain conditions are met. More precisely, in each case, we can derive an upper bound on system state if the design parameters satisfy certain conditions. The bounds we derive are increasing with respect to the disturbance magnitude. We show via simulation that in both cases of proposed sparse PPC strategies, larger disturbances bring about performance degradation with no effect on system practical stability.


title: Stability of the Closed Einstein Universe in Energy-Momentum Squared Gravity

abstract: This paper analyzes the stability of the closed Einstein static universe by using linear homogeneous perturbations in the framework of energy-momentum squared gravity. This newly developed proposal resolves the primordial singularity and yields feasible cosmological results in the early times. For this purpose, we consider the closed Friedmann-Robertson-Walker universe with isotropic matter configuration and adopt small perturbations on the matter parameters and scale factor. Further, we establish equations of motion for static as well as perturbed systems and analyze the stable regions for particular $f(\mathcal{R},\mathbf{T}^{2})$ models corresponding to both conserved and non-conserved energy-momentum tensor. The graphical interpretation demonstrates that stable regions of the Einstein cosmos exist for all values of the model parameters and equation of state variable. We conclude that stable regions in this modified theory are large as compared to other modified theories of gravity.


title: MESH: A Memory-Efficient Safe Heap for C/C++

abstract: While memory corruption bugs stemming from the use of unsafe programming languages are an old and well-researched problem, the resulting vulnerabilities still dominate real-world exploitation today. Various mitigations have been proposed to alleviate the problem, mainly in the form of language dialects, static program analysis, and code or binary instrumentation. Solutions like AdressSanitizer (ASan) and Softbound/CETS have proven that the latter approach is very promising, being able to achieve memory safety without requiring manual source code adaptions, albeit suffering substantial performance and memory overheads. While performance overhead can be seen as a flexible constraint, extensive memory overheads can be prohibitive for the use of such solutions in memory-constrained environments. To address this problem, we propose MESH, a highly memory-efficient safe heap for C/C++. With its constant, very small memory overhead (configurable up to 2 MB on x86-64) and constant complexity for pointer access checking, MESH offers efficient, byte-precise spatial and temporal memory safety for memory-constrained scenarios. Without jeopardizing the security of safe heap objects, MESH is fully compatible with existing code and uninstrumented libraries, making it practical to use in heterogeneous environments. We show the feasibility of our approach with a full LLVM-based prototype supporting both major architectures, i.e., x86-64 and ARM64, in a Linux runtime environment. Our prototype evaluation shows that, compared to ASan and Softbound/CETS, MESH can achieve huge memory savings while preserving similar execution performance.


title: Anomalous singularity of the solution of the vector Dyson equation in the critical case

abstract: We consider the solution of the vector Dyson equation $-1/m=z+Sm$ in the case when $S$ has a block staircase structure with $(n-1)$ different critical zero blocks below the strictly positive anti-diagonal and all elements right above the anti-diagonal are strictly positive. We prove that the components of $m$ behave as fractional powers of $z$ in the neighbourhood of zero and show that the self-consistent density of states $\rho(E)$ behaves as $\vert E\vert^{-\frac{n-1}{n+1}}$ as $E$ tends to zero, where $n^2$ is a number of blocks. Both constant block and non-constant block cases are considered. In the non-constant case uniform estimates for the components of $m$ are obtained.


title: On the Future of Cloud Engineering

abstract: Ever since the commercial offerings of the Cloud started appearing in 2006, the landscape of cloud computing has been undergoing remarkable changes with the emergence of many different types of service offerings, developer productivity enhancement tools, and new application classes as well as the manifestation of cloud functionality closer to the user at the edge. The notion of utility computing, however, has remained constant throughout its evolution, which means that cloud users always seek to save costs of leasing cloud resources while maximizing their use. On the other hand, cloud providers try to maximize their profits while assuring service-level objectives of the cloud-hosted applications and keeping operational costs low. All these outcomes require systematic and sound cloud engineering principles. The aim of this paper is to highlight the importance of cloud engineering, survey the landscape of best practices in cloud engineering and its evolution, discuss many of the existing cloud engineering advances, and identify both the inherent technical challenges and research opportunities for the future of cloud computing in general and cloud engineering in particular.


title: Inverse Gauss curvature flow in a time cone of Lorentz-Minkowski space $\mathbb{R}^{n+1}_{1}$

abstract: In this paper, we consider the evolution of spacelike graphic hypersurfaces defined over a convex piece of hyperbolic plane $\mathscr{H}^{n}(1)$, of center at origin and radius $1$, in the $(n+1)$-dimensional Lorentz-Minkowski space $\mathbb{R}^{n+1}_{1}$ along the inverse Gauss curvature flow (i.e., the evolving speed equals the $(-1/n)$-th power of the Gaussian curvature) with the vanishing Neumann boundary condition, and prove that this flow exists for all the time. Moreover, we can show that, after suitable rescaling, the evolving spacelike graphic hypersurfaces converge smoothly to a piece of the spacelike graph of a positive constant function defined over the piece of $\mathscr{H}^{n}(1)$ as time tends to infinity.


title: Clustering dynamics on graphs: from spectral clustering to mean shift through Fokker-Planck interpolation

abstract: In this work we build a unifying framework to interpolate between density-driven and geometry-based algorithms for data clustering, and specifically, to connect the mean shift algorithm with spectral clustering at discrete and continuum levels. We seek this connection through the introduction of Fokker-Planck equations on data graphs. Besides introducing new forms of mean shift algorithms on graphs, we provide new theoretical insights on the behavior of the family of diffusion maps in the large sample limit as well as provide new connections between diffusion maps and mean shift dynamics on a fixed graph. Several numerical examples illustrate our theoretical findings and highlight the benefits of interpolating density-driven and geometry-based clustering algorithms.


title: Contrastive Language-Image Pre-training for the Italian Language

abstract: CLIP (Contrastive Language-Image Pre-training) is a very recent multi-modal model that jointly learns representations of images and texts. The model is trained on a massive amount of English data and shows impressive performance on zero-shot classification tasks. Training the same model on a different language is not trivial, since data in other languages might be not enough and the model needs high-quality translations of the texts to guarantee a good performance. In this paper, we present the first CLIP model for the Italian Language (CLIP-Italian), trained on more than 1.4 million image-text pairs. Results show that CLIP-Italian outperforms the multilingual CLIP model on the tasks of image retrieval and zero-shot classification.


title: Analyze and Design Network Architectures by Recursion Formulas

abstract: The effectiveness of shortcut/skip-connection has been widely verified, which inspires massive explorations on neural architecture design. This work attempts to find an effective way to design new network architectures. It is discovered that the main difference between network architectures can be reflected in their recursion formulas. Based on this, a methodology is proposed to design novel network architectures from the perspective of mathematical formulas. Afterwards, a case study is provided to generate an improved architecture based on ResNet. Furthermore, the new architecture is compared with ResNet and then tested on ResNet-based networks. Massive experiments are conducted on CIFAR and ImageNet, which witnesses the significant performance improvements provided by the architecture.


title: High-quality grand unified theories with three generations

abstract: We extend the unitary groups beyond the ${\rm SU}(5)$ and ${\rm SU}(6)$ to look for possible grand unified theories that give rise to three-generational Standard Model fermions without the simple repetition. By demanding asymptotic free theories at short distances, we find gauge groups of ${\rm SU}(7)$, ${\rm SU}(8)$ and ${\rm SU}(9)$ together with their anomaly-free irreducible representations are such candidates. Two additional gauge groups of ${\rm SU}(10)$ and ${\rm SU}(11)$ can also achieve the generational structure without asymptotic freedom. We also find these models can solve the Peccei-Quinn (PQ) quality problem which is intrinsic in the axion models, with the leading PQ-breaking operators determined from the symmetry requirement.


title: A Cuckoo Quantum Evolutionary Algorithm for the Graph Coloring Problem

abstract: Based on the framework of the quantum-inspired evolutionary algorithm, a cuckoo quantum evolutionary algorithm (CQEA) is proposed for solving the graph coloring problem (GCP). To reduce iterations for the search of the chromatic number, the initial quantum population is generated by random initialization assisted by inheritance. Moreover, improvement of global exploration is achieved by incorporating the cuckoo search strategy, and a local search operation, as well as a perturbance strategy, is developed to enhance its performance on GCPs. Numerical results demonstrate that CQEA operates with strong exploration and exploitation abilities, and is competitive to the compared state-of-the-art heuristic algorithms.


title: Cosmology for high school

abstract: These notes on modern cosmology were made with high school teachers and students in mind. Taking into account the lack of availability of time and classes that many teachers have nowadays in Brazil, often caused by having to comply with very extensive subject curricula, performing various extra-class tasks and the tribulations inherent in the daily lives of all As workers in this country, we seek to develop basic topics and essentials about modern cosmology for your learning and consultation. We believe that, using it, you will be very well prepared to bring this very important theme of nature to the classroom. A differential of this didactic material is that each chapter has practical activities that allow us to fix the concepts of cosmology.


title: Complete Classification of Local Conservation Laws for Generalized Cahn-Hilliard-Kuramoto-Sivashinsky Equation

abstract: In the present paper we consider nonlinear multidimensional Cahn-Hilliard and Kuramoto-Sivashinsky equations that have many important applications in physics and chemistry, and a certain natural generalization of these equations. For an arbitrary number of spatial independent variables we present a complete list of cases when the generalized Cahn-Hilliard-Kuramoto-Sivashinsky equation admits nontrivial local conservation laws of any order, and for each of those cases we give an explicit form of all the local conservation laws of all orders modulo trivial ones admitted by the equation under study. In particular, we show that the original Kuramoto-Sivashinsky equation admits no nontrivial local conservation laws, and find all nontrivial local conservation laws for the Cahn-Hilliard equation.


title: BPS Skyrmions of Generalized Skyrme Model In Higher Dimensions

abstract: In this work we consider the higher dimensional Skyrme model, with spatial dimension $d > 3$, focusing on its BPS submodels and their corresponding features. To accommodate the cases with a higher topological degree, \(B\geq 1\), a modified generalized hedgehog ansatz is used where we assign an integer \(n_i\) for each rotational plane, resulting in a topological degree that proportional to product of these integers. It is found via BPS Lagrangian method that there are only two possible BPS submodels for this spherically symmetric ansatz which shall be called as BPS Skyrme model and scale-invariant model. The properties of the higher dimensional version of both submodels are studied and it is found that the BPS Skyrmions with \(B\geq1\) exist in the first submodel but there is only \(B=1\) BPS Skyrmion in the second submodel. We also study the higher dimensional version of self-duality conditions in terms of strain tensor eigenvalues and find that, in general, the scale-invariant model has a stronger self-duality condition than the BPS Skyrme model.


title: Sub-Unit Cell Spatial Resolution of Phase and Polarization Mapping in Scanning Electron Diffraction

abstract: Diffraction analysis in four dimensional scanning transmission electron microscopy now enables the mapping of local structures including symmetry, strain, and polarization of materials. However, measuring the distribution of these configurations at the unit cell level remains a challenge because most analysis methods require the diffraction disks to be separated, limiting the electron probe sizes to be larger than a unit cell. Here we show improved spatial resolution in mapping the polarization displacement and phases of BaTiO3 sampled at a rate equivalent to the size of the projected unit cells using 4DSTEM. This improvement in spatial resolution is accomplished by masking out the overlapping regions in partially overlapped CBED patterns. By reducing the probe size to the order of single projected unit cells in size, the fluctuations of symmetry and structure inside the rhombohedral symmetry nanoregions inside of tetragonal domains can be observed. With the mapping performed at the unit cell resolution the nano-sized rhombohedral domains break down with local fluctuation, showing different character at different length scales.


title: Geometry and kinematics of the broad emission line region in the lensed quasar Q2237+0305

abstract: Line profile distortions are commonly observed in gravitationally lensed quasar spectra. These distortions are caused by microlensing from the stars in the lensing galaxy, which produce differential magnification of spatially and kinematically separated parts of the broad line region (BLR). The quasi-simultaneous visible and near-infrared spectroscopy of the lensed quasar Q2237+0305 reveals strong microlensing-induced line deformations in the high-ionization CIV $\lambda$ 1549 \AA and the low-ionization H$\alpha$ emission lines. We use this effect to constrain the BLR size, geometry, and kinematics in Q2237+0305. For this purpose, we modeled the deformation of the emission lines for three representative BLR models: a Keplerian disk, an equatorial wind, and a biconical polar wind. We considered various inclinations with respect to the line of sight. We find that the observed microlensing effect, characterized by a set of four indices, can only be reproduced by a subsample of the considered BLR models. The microlensing analysis favors a Keplerian disk model for the regions emitting the CIV and the H$\alpha$ emission lines. A polar wind model remains possible for the CIV BLR, although it is less likely. The equatorial wind model is totally excluded. A preferred inclination of the BLR of 40$\deg$ is found, in agreement with expectations for a type 1 AGN and past constraints on the accretion disk inclination. The half-light radius of the BLR is $ r_{\rm 1/2} \simeq$ 47$\pm$19 light-days, with no significant difference between the CIV and H$\alpha$ BLRs. The size of the CIV BLR agrees with the radius-luminosity relation derived from reverberation mapping, while the size of the Balmer line BLR is one order of magnitude smaller, possibly revealing different quasar properties at high luminosities and high accretion rates.


title: Real-time Image Enhancer via Learnable Spatial-aware 3D Lookup Tables

abstract: Recently, deep learning-based image enhancement algorithms achieved state-of-the-art (SOTA) performance on several publicly available datasets. However, most existing methods fail to meet practical requirements either for visual perception or for computation efficiency, especially for high-resolution images. In this paper, we propose a novel real-time image enhancer via learnable spatial-aware 3-dimentional lookup tables(3D LUTs), which well considers global scenario and local spatial information. Specifically, we introduce a light weight two-head weight predictor that has two outputs. One is a 1D weight vector used for image-level scenario adaptation, the other is a 3D weight map aimed for pixel-wise category fusion. We learn the spatial-aware 3D LUTs and fuse them according to the aforementioned weights in an end-to-end manner. The fused LUT is then used to transform the source image into the target tone in an efficient way. Extensive results show that our model outperforms SOTA image enhancement methods on public datasets both subjectively and objectively, and that our model only takes about 4ms to process a 4K resolution image on one NVIDIA V100 GPU.


title: Measurement device-independent quantum key distribution with passive, time-dependent source side-channels

abstract: While measurement-device-independent (MDI) quantum key distribution (QKD) allows two trusted parties to establish a shared secret key from a distance without needing to trust a central detection node, their quantum sources must be well-characterized, with side-channels at the source posing the greatest loophole to the protocol's security. In this paper, we identify a time-dependent side-channel in a common polarization-based QKD source that employs a Faraday mirror for phase stabilization. We apply the recently developed numerical proof technique from [Phys. Rev. A 99, 062332 (2019)] to quantify the sensitivity of the secret key rate to the quantum optical model for the side-channel, and to develop strategies to mitigate the information leakage. In particular, we find that the MDI three-state and BB84 protocols, while yielding the same key rate under ideal conditions, have diverging results in the presence of a side-channel, with BB84 proving more advantageous. While we consider only a representative case example, we expect the strategies developed and key rate analysis method to be broadly applicable to other leaky sources.


title: A proof of Kosniowski conjecture

abstract: Let $M$ be a unitary $S^1$-manifold with only isolated fixed points such that $M$ is not a boundary. We show that $4\chi(M)>\dim M$, where $\chi(M)$ is the Euler characteristic of $M$. This gives an affirmative answer of Kosniowski conjecture.


title: 5G System Security Analysis

abstract: Fifth generation mobile networks (5G) are currently being deployed by mobile operators around the globe. 5G acts as an enabler for various use cases and also improves the security and privacy over 4G and previous network generations. However, as recent security research has revealed, the standard still has security weaknesses that may be exploitable by attackers. In addition, the migration from 4G to 5G systems is taking place by first deploying 5G solutions in a non-standalone (NSA) manner where the first step of the 5G deployment is restricted to the new radio aspects of 5G, while the control of the user equipment is still based on 4G protocols, i.e. the core network is still the legacy 4G evolved packet core (EPC) network. As a result, many security vulnerabilities of 4G networks are still present in current 5G deployments. This paper presents a systematic risk analysis of standalone and non-standalone 5G networks. We first describe an overview of the 5G system specification and the new security features of 5G compared to 4G. Then, we define possible threats according to the STRIDE threat classification model and derive a risk matrix based on the likelihood and impact of 12 threat scenarios that affect the radio access and the network core. Finally, we discuss possible mitigations and security controls. Our analysis is generic and does not account for the specifics of particular 5G network vendors or operators. Further work is required to understand the security vulnerabilities and risks of specific 5G implementations and deployments.


title: From additive to transport noise in 2D fluid dynamics

abstract: Additive noise in Partial Differential equations, in particular those of fluid mechanics, has relatively natural motivations. The aim of this work is showing that suitable multiscale arguments lead rigorously, from a model of fluid with additive noise, to transport type noise. The arguments apply both to small-scale random perturbations of the fluid acting on a large-scale passive scalar and to the action of the former on the large scales of the fluid itself. Our approach consists in studying the (stochastic) characteristics associated to small-scale random perturbations of the fluid, here modelled by stochastic 2D Euler equations with additive noise, and their convergence in the infinite scale separation limit.


title: Finite-temperature linear response theory based on relativistic Hartree Bogoliubov model with point-coupling interaction

abstract: The finite-temperature linear response theory based on the finite-temperature relativistic Hartree-Bogoliubov (FT-RHB) model is developed in the charge-exchange channel to study the temperature evolution of spin-isospin excitations. Calculations are performed self-consistently with relativistic point-coupling interactions DD-PC1 and DD-PCX. In the charge-exchange channel, the pairing interaction can be split into isovector ($T = 1$) and isoscalar ($T = 0$) parts. For the isovector component, the same separable form of the Gogny D1S pairing interaction is used both for the ground-state calculation as well as for the residual interaction, while the strength of the isoscalar pairing in the residual interaction is determined by comparison with experimental data on Gamow-Teller resonance (GTR) and Isobaric analog resonance (IAR) centroid energy differences in even-even tin isotopes. The temperature effects are introduced by treating Bogoliubov quasiparticles within a grand-canonical ensemble. Thus, unlike the conventional formulation of the quasiparticle random-phase approximation (QRPA) based on the Bardeen-Cooper-Schrieffer (BCS) basis, our model is formulated within the Hartree-Fock-Bogoliubov (HFB) quasiparticle basis. Implementing a relativistic point-coupling interaction and a separable pairing force allows for the reduction of complicated two-body residual interaction matrix elements, which considerably decreases the dimension of the problem in the coordinate space. The main advantage of this method is to avoid the diagonalization of a large QRPA matrix, especially at finite temperature where the size of configuration space is significantly increased. The implementation of the linear response code is used to study the temperature evolution of IAR, GTR, and spin-dipole resonance (SDR) in even-even tin isotopes in the temperature range $T = 0 - 1.5$ MeV.


title: Dimensioned Algebra: the mathematics of physical quantities

abstract: A rigorous mathematical theory of dimensional analysis, systematically accounting for the use of physical quantities in science and engineering, perhaps surprisingly, was not developed until relatively recently. We claim that this has shaped current mathematical models of theoretical physics, which generally lack any explicit reference to units of measurement, and we propose a novel mathematical framework to alleviate this. Our proposal is a generalization of the usual categories of algebraic structures used to formulate physical theories (groups, rings, vector spaces...), herein dubbed dimensioned, that can naturally articulate the structure of physical dimension. Our goal in the present work is not so much to define an algebraic theory of physical quantities - this has already been done - but to define a theory of algebra informed by how physical quantities are used in practice. We conclude by studying the dimensioned analogue of Poisson algebras in some detail due to their relevance in Jacobi geometry and classical mechanics. These topics are further explored in sequel papers by the author.


title: IT2CFNN: An Interval Type-2 Correlation-Aware Fuzzy Neural Network to Construct Non-Separable Fuzzy Rules with Uncertain and Adaptive Shapes for Nonlinear Function Approximation

abstract: In this paper, a new interval type-2 fuzzy neural network able to construct non-separable fuzzy rules with adaptive shapes is introduced. To reflect the uncertainty, the shape of fuzzy sets considered to be uncertain. Therefore, a new form of interval type-2 fuzzy sets based on a general Gaussian model able to construct different shapes (including triangular, bell-shaped, trapezoidal) is proposed. To consider the interactions among input variables, input vectors are transformed to new feature spaces with uncorrelated variables proper for defining each fuzzy rule. Next, the new features are fed to a fuzzification layer using proposed interval type-2 fuzzy sets with adaptive shape. Consequently, interval type-2 non-separable fuzzy rules with proper shapes, considering the local interactions of variables and the uncertainty are formed. For type reduction the contribution of the upper and lower firing strengths of each fuzzy rule are adaptively selected separately. To train different parameters of the network, the Levenberg-Marquadt optimization method is utilized. The performance of the proposed method is investigated on clean and noisy datasets to show the ability to consider the uncertainty. Moreover, the proposed paradigm, is successfully applied to real-world time-series predictions, regression problems, and nonlinear system identification. According to the experimental results, the performance of our proposed model outperforms other methods with a more parsimonious structure.


title: Diophantine equations: a systematic approach

abstract: This paper initiates a novel research direction in the theory of Diophantine equations: define an appropriate version of the equation's size, order all polynomial Diophantine equations starting from the smallest ones, and then solve the equations in that order. By combining a new computer-aided procedure with human reasoning, we solved the Hilbert's tenth problem for all polynomial Diophantine equations of size less than $31$, where the size is defined in (Zidane, 2018). In addition, we solved this problem for all equations of size equal to $31$, with a single exception. Further, we solved the Hilbert's tenth problem for all two-variable Diophantine equations of size less than $32$, all symmetric equations of size less than $39$, all three-monomial equations of size less than $45$, and, in each category, identified the explicit smallest equations for which the problem remains open. As a result, we derived a list of equations that are very simple to write down but which are apparently difficult to solve. As we know from the example of Fermat's Last Theorem, such equations have a potential to stimulate the development of new methods in number theory.


title: Attribute-based Explanations of Non-Linear Embeddings of High-Dimensional Data

abstract: Embeddings of high-dimensional data are widely used to explore data, to verify analysis results, and to communicate information. Their explanation, in particular with respect to the input attributes, is often difficult. With linear projects like PCA the axes can still be annotated meaningfully. With non-linear projections this is no longer possible and alternative strategies such as attribute-based color coding are required. In this paper, we review existing augmentation techniques and discuss their limitations. We present the Non-Linear Embeddings Surveyor (NoLiES) that combines a novel augmentation strategy for projected data (rangesets) with interactive analysis in a small multiples setting. Rangesets use a set-based visualization approach for binned attribute values that enable the user to quickly observe structure and detect outliers. We detail the link between algebraic topology and rangesets and demonstrate the utility of NoLiES in case studies with various challenges (complex attribute value distribution, many attributes, many data points) and a real-world application to understand latent features of matrix completion in thermodynamics.


title: Where Did Combinators Come From? Hunting the Story of Moses Sch\"onfinkel

abstract: Combinators were a key idea in the development of mathematical logic and the emergence of the concept of universal computation. They were introduced on December 7, 1920, by Moses Sch\"onfinkel. This is an exploration of the personal story and intellectual context of Moses Sch\"onfinkel, including extensive new research based on primary sources.


title: Czech News Dataset for Semantic Textual Similarity

abstract: This paper describes a novel dataset consisting of sentences with semantic similarity annotations. The data originate from the journalistic domain in the Czech language. We describe the process of collecting and annotating the data in detail. The dataset contains 138,556 human annotations divided into train and test sets. In total, 485 journalism students participated in the creation process. To increase the reliability of the test set, we compute the annotation as an average of 9 individual annotations. We evaluate the quality of the dataset by measuring inter and intra annotation annotators' agreements. Beside agreement numbers, we provide detailed statistics of the collected dataset. We conclude our paper with a baseline experiment of building a system for predicting the semantic similarity of sentences. Due to the massive number of training annotations (116 956), the model can perform significantly better than an average annotator (0,92 versus 0,86 of Person's correlation coefficients).


title: Neural density estimation and uncertainty quantification for laser induced breakdown spectroscopy spectra

abstract: Constructing probability densities for inference in high-dimensional spectral data is often intractable. In this work, we use normalizing flows on structured spectral latent spaces to estimate such densities, enabling downstream inference tasks. In addition, we evaluate a method for uncertainty quantification when predicting unobserved state vectors associated with each spectrum. We demonstrate the capability of this approach on laser-induced breakdown spectroscopy data collected by the ChemCam instrument on the Mars rover Curiosity. Using our approach, we are able to generate realistic spectral samples and to accurately predict state vectors with associated well-calibrated uncertainties. We anticipate that this methodology will enable efficient probabilistic modeling of spectral data, leading to potential advances in several areas, including out-of-distribution detection and sensitivity analysis.


title: Derived isogenies and isogenies for abelian surfaces

abstract: In this paper, we study the twisted Fourier-Mukai partners of abelian surfaces. Following the work of Huybrechts [doi:10.4171/CMH/465], we introduce the twisted derived equivalence between abelian surfaces. We show that there is a twisted derived Torelli theorem for abelian surfaces over algebraically closed fields with characteristic $\neq 2,3$. Over complex numbers, the derived isogenies correspond to rational Hodge isometries between the second cohomology groups, which is in analogy to the work of Huybrechts and Fu-Vial on K3 surfaces. Their proof relies on the global Torelli theorem over $\mathbb{C}$, which is missing in positive characteristics. To overcome this issue, we firstly extend a trick given by Shioda on integral Hodge structures, to rational Hodge structures, $\ell$-adic Tate modules and $F$-crystals. Then we make use of Tate's isogeny theorem to give a characterization of the twisted derived equivalences between abelian surfaces via isogenies. As a consequence, we show the two abelian surfaces are principally isogenous if and only if they are derived isogenous.


title: Quantum Oscillations between weakly coupled Bose-Einstein Condensates: Evolution in a Non-degenerate Double Well

abstract: We discuss coherent atomic oscillations between two weakly coupled Bose-Einstein condensates that are energetically different. The weak link is notionally provided by a laser barrier in a (possibly asymmetric) multi-well trap or by Raman coupling between condensates in different hyperfine levels. The resultant boson Josephson junction dynamics is described by a double-well nonlinear Gross-Pitaevskii equation. On the basis of a new set of Jacobian elliptic function solutions, we describe the period of the oscillations as well as associated quantities and predict novel observable consequences of the interplay of the energy difference and initial phase difference between the two condensate populations.


title: Teaching Uncertainty Quantification in Machine Learning through Use Cases

abstract: Uncertainty in machine learning is not generally taught as general knowledge in Machine Learning course curricula. In this paper we propose a short curriculum for a course about uncertainty in machine learning, and complement the course with a selection of use cases, aimed to trigger discussion and let students play with the concepts of uncertainty in a programming setting. Our use cases cover the concept of output uncertainty, Bayesian neural networks and weight distributions, sources of uncertainty, and out of distribution detection. We expect that this curriculum and set of use cases motivates the community to adopt these important concepts into courses for safety in AI.


title: How to cheat with metrics in single-image HDR reconstruction

abstract: Single-image high dynamic range (SI-HDR) reconstruction has recently emerged as a problem well-suited for deep learning methods. Each successive technique demonstrates an improvement over existing methods by reporting higher image quality scores. This paper, however, highlights that such improvements in objective metrics do not necessarily translate to visually superior images. The first problem is the use of disparate evaluation conditions in terms of data and metric parameters, calling for a standardized protocol to make it possible to compare between papers. The second problem, which forms the main focus of this paper, is the inherent difficulty in evaluating SI-HDR reconstructions since certain aspects of the reconstruction problem dominate objective differences, thereby introducing a bias. Here, we reproduce a typical evaluation using existing as well as simulated SI-HDR methods to demonstrate how different aspects of the problem affect objective quality metrics. Surprisingly, we found that methods that do not even reconstruct HDR information can compete with state-of-the-art deep learning methods. We show how such results are not representative of the perceived quality and that SI-HDR reconstruction needs better evaluation protocols.


title: A vector-valued almost sure invariance principle for random expanding on average cocycles

abstract: We obtain a quenched vector-valued almost sure invariance principle (ASIP) for random expanding on average cocycles. This is achieved by combining the adapted version of Gou\"{e}zel's approach for establishing ASIP and the recent construction of the so-called adapted norms, which in some sense eliminate the non-uniformity of the decay of correlations. For real-valued observables, we also show that the martingale approximation technique is applicable in our setup, and that it yields the ASIP with better error rates. Finally, we present an example showing the necessity of a scaling condition, answering a question of the first and third authors.


title: From Real-Time Optimization Techniques to an Autopilot for Steady-State Processes

abstract: Any industrial system goes along with objectives to be met (e.g. economic performance), disturbances to handle (e.g. market fluctuations, catalyst decay, unexpected variations in uncontrolled flow rates and compositions,...), and uncertainties about its behavior. In response to these, decisions must be taken and instructions be sent to the operators to drive and maintain the plant at satisfactory, yet potentially changing operating conditions. Over the past thirty years many methods have been created and developed to answer these questions. In particular, the field of Real-Time Optimization (RTO) has emerged that, among others, encompasses methods that allow the systematic improvement of the performances of the industrial system, using plant measurements and a potentially inaccurate tool to predict its behaviour, generally in the form of a model. Even though the definition of RTO can differ between authors, inside and outside the process systems engineering community, there is currently no RTO method, which is deemed capable of fully automating the aforementioned decision-making process. This thesis consists of a series of contributions in this direction, which brings RTO closer to being capable of a full plant automation. Keywords: Real-time optimization, Decision-making, Optimization, Reduced-order-model optimization, Autopilot for steady-state processes, Operational research.


title: NB QC-LDPC Coded QAM Signals with Optimized Mapping: Bounds and Simulation Results

abstract: The goal of the paper is to study specific properties of nonbinary low-density parity-check (NB LDPC) codes when used in coded modulation systems. The paper is focused on the practically important NB LDPC codes over extensions of the Galois field GF$(2^m)$ with $m \le 6$ used with QAM signaling. Performance of NB QC LDPC coded transmission strongly depends on mapping of nonbinary symbols to signal constellation points. We obtain a random coding bound on the maximum-likelihood decoding error probability for an ensemble of random irregular NB LDPC codes used with QAM signaling for specific symbol-to-signal point mappings. This bound is based on the ensemble average Euclidean distance spectra derived for these mappings. The simulation results for the belief-propagation decoding in the coded modulation schemes with the NB quasi-cyclic (QC)-LDPC codes under different mappings are given. Comparisons with the optimized binary QC-LDPC codes in the WiFi and 5G standards, as well as with the new bound, are performed.


title: Can Primordial Black Holes as all Dark Matter explain Fast Radio Bursts?

abstract: Primordial black holes (PBHs) are one of the most interesting nonparticle dark matter (DM) candidates. They may explain all the DM content in the Universe in the mass regime from about $10^{-14}M_{\odot}$ to $10^{-11}M_{\odot}$. We study PBHs as the source of fast radio bursts (FRBs) via magnetic reconnection in the event of collisions between them and neutron stars (NSs) in galaxies. We investigate the energy loss of PBHs during PBH-NS encounters to model their capture by NSs. To an order-of-magnitude estimation, we conclude that the parameter space of PBHs being all DM is accidentally consistent with that to produce FRBs with a rate which is the order of the observed FRB rate.


title: Coronal microjets in quiet-Sun regions observed with the Extreme Ultraviolet Imager onboard Solar Orbiter

abstract: We report the smallest coronal jets ever observed in the quiet Sun with recent high resolution observations from the High Resolution Telescopes (HRI-EUV and HRI-Ly{\alpha}) of the Extreme Ultraviolet Imager (EUI) onboard Solar Orbiter. In the HRI-EUV (174 {\AA}) images, these microjets usually appear as nearly collimated structures with brightenings at their footpoints. Their average lifetime, projected speed, width, and maximum length are 4.6 min, 62 km s^(-1), 1.0 Mm, and 7.7 Mm, respectively. Inverted-Y shaped structures and moving blobs can be identified in some events. A subset of these events also reveal signatures in the HRI-Ly{\alpha} (H I Ly{\alpha} at 1216 {\AA}) images and the extreme ultraviolet images taken by the Atmospheric Imaging Assembly onboard the Solar Dynamics Observatory. Our differential emission measure analysis suggests a multi-thermal nature and an average density of ~1.4x10^9 cm^(-3) for these microjets. Their thermal and kinetic energies were estimated to be ~3.9x10^24 erg and ~2.9x10^23 erg, respectively, which are of the same order of the released energy predicted by the nanoflare theory. Most events appear to be located at the edges of network lanes and magnetic flux concentrations, suggesting that these coronal microjets are likely generated by magnetic reconnection between small-scale magnetic loops and the adjacent network field.


title: Temporal Graph Functional Dependencies [Extended Version]

abstract: Data dependencies have been extended to graphs to characterize topological and value constraints. Existing data dependencies are defined to capture inconsistencies in static graphs. Nevertheless, inconsistencies may occur over evolving graphs and only for certain time periods. The need for capturing such inconsistencies in temporal graphs is evident in anomaly detection and predictive dynamic network analysis. This paper introduces a class of data dependencies called Temporal Graph Functional Dependencies (TGFDs). TGFDs generalize functional dependencies to temporal graphs as a sequence of graph snapshots that are induced by time intervals, and enforce both topological constraints and attribute value dependencies that must be satisfied by these snapshots. (1) We establish the complexity results for the satisfiability and implication problems of TGFDs. (2) We propose a sound and complete axiomatization system for TGFDs. (3) We also present efficient parallel algorithms to detect inconsistencies in temporal graphs as violations of TGFDs. The algorithm exploits data and temporal locality induced by time intervals, and uses incremental pattern matching and load balancing strategies to enable feasible error detection in large temporal graphs. Using real datasets, we experimentally verify that our algorithms achieve lower runtimes compared to existing baselines, while improving the accuracy over error detection using existing graph data constraints, e.g., GFDs and GTARs with 55% and 74% gain in F1-score, respectively.