title: Vacancy-Ordered Double Perovskites Cs$_2$BI$_6$ (B = Pt, Pd, Te, Sn): An Emerging Class of Thermoelectric Materials

abstract: Vacancy-ordered double perovskites (A$_2$BX$_6$), being one of the environmentally friendly and stable alternatives to lead halide perovskites, have garnered considerable research attention in the scientific community. However, their thermal transport has not been explored much despite their potential applications. Here, we explore Cs$_2$BI$_6$ (B = Pt, Pd, Te, Sn) as potential thermoelectric materials using the state-of-the-art first-principles based methodologies, viz., density functional theory combined with many-body perturbation theory (G$_0$W$_0$) and spin-orbit coupling. %The phonon dispersion plots and Poisson's and Pugh's ratios show the dynamical and mechanical stability of this class of perovskites. The absence of polyhedral connectivity in vacancy-ordered perovskites gives rise to additional degrees of freedom leading to lattice anharmonicity. The presence of anharmonic lattice dynamics leads to strong electron-phonon coupling, which is well captured by Fr\"{o}hlich mesoscopic model. % to investigate the interaction of longitudinal optical phonon modes with the carriers that strongly influence the carrier mobility. The lattice anharmonicity is further studied using {\it ab initio} molecular dynamics and electron localization function. The maximum anharmonicity is observed in Cs$_2$PtI$_6$, followed by Cs$_2$PdI$_6$, Cs$_2$TeI$_6$ and Cs$_2$SnI$_6$. Also, the computed average thermoelectric figure of merit ($zT$) for Cs$_2$PtI$_6$, Cs$_2$PdI$_6$, Cs$_2$TeI$_6$ and Cs$_2$SnI$_6$ are 0.88, 0.85, 0.95 and 0.78, respectively, which reveals their promising renewable energy applications.


title: Spatial autocorrelation equation based on Moran's index

abstract: Based on standardized vector and globally normalized weight matrix, Moran's index of spatial autocorrelation analysis has been expressed as a formula of quadratic form. Further, based on this formula, an inner product equation and outer product equation of the standardized vector can be constructed for Moran's index. However, the theoretical foundations and application direction of these equations are not yet clear. This paper is devoted to exploring the inner and outer product equations of Moran's index. The methods include mathematical derivation and empirical analysis. The results are as follows. First, based on the inner product equation, two spatial autocorrelation models can be constructed. One bears constant terms, and the other bear no constant term. The spatial autocorrelation models can be employed to calculate Moran's index by regression analysis. Second, the inner and outer product equations can be used to improve Moran's scatterplot. The normalized Moran's scatterplot can show more geospatial information than the conventional Moran's scatterplot. A conclusion can be reached that the spatial autocorrelation models are useful spatial analysis tools, complementing the uses of spatial autocorrelation coefficient and spatial autoregressive models. These models are helpful for understanding the boundary values of Moran's index and spatial autoregressive modeling process.


title: Interpretability of Path-Complete Techniques and Memory-based Lyapunov functions

abstract: We study path-complete Lyapunov functions, which are stability criteria for switched systems, described by a combinatorial component (namely, an automaton), and a functional component (a set of candidate Lyapunov functions, called the template). We introduce a class of criteria based on what we call memory-based Lyapunov functions, which generalize several techniques in the literature. Our main result is an equivalence result: any path-complete Lyapunov function is equivalent to a memory-based Lyapunov function, however defined on another template. We show the usefulness of our result in terms of numerical efficiency via an academic example.


title: Deriving two sets of bounds of Moran's index by conditional extremum method

abstract: Moran's index is a basic measure of spatial autocorrelation, which has been applied to varied fields of both natural and social sciences. A good measure should have clear boundary values or critical value. However, for Moran's index, both boundary values and critical value are controversial. In this paper, a novel method is proposed to derive the boundary values of Moran's index. The key lies in finding conditional extremum based on quadratic form of defining Moran's index. As a result, two sets of boundary values are derived naturally for Moran's index. One is determined by the eigenvalues of spatial weight matrix, and the other is determined by the quadratic form of spatial autocorrelation coefficient (-1<Moran's I<1). The intersection of these two sets of boundary values gives four possible numerical ranges of Moran's index. A conclusion can be reached that the bounds of Moran's index is determined by size vector and spatial weight matrix, and the basic boundary values are -1 and 1. The eigenvalues of spatial weight matrix represent the maximum extension length of the eigenvector axes of n geographical elements at different directions. This work solves one of the fundamental problems of spatial autocorrelation analysis.


title: Submodularity, pairwise independence and correlation gap

abstract: In this paper, we provide a characterization of the expected value of monotone submodular set functions with $n$ pairwise independent random inputs. Inspired by the notion of ``correlation gap'', we study the ratio of the maximum expected value of a function with arbitrary dependence among the random inputs with given marginal probabilities to the maximum expected value of the function with pairwise independent random inputs and the same marginal probabilities. Our results show that the ratio is upper bounded by: (a) $4/3$ for $n = 3$ with general marginal probabilities and any monotone submodular set function (b) $4/3$ for general $n$ with small and large marginal probabilities and any monotone submodular set function and (c) $4k/(4k-1)$ for general $n$, general identical probabilities and rank functions of $k$-uniform matroids. The bound is tight in all three cases. This contrasts with the $e/(e-1)$ bound on the correlation gap ratio for monotone submodular set functions with mutually independent random inputs (which is known to be tight in case (b)), and illustrates a fundamental difference in the behavior of submodular functions with weaker notions of independence. These results can be immediately extended beyond pairwise independence to correlated random inputs. We discuss applications in distributionally robust optimization and mechanism design and end the paper with a conjecture.


title: Perception-Distortion Trade-off in the SR Space Spanned by Flow Models

abstract: Flow-based generative super-resolution (SR) models learn to produce a diverse set of feasible SR solutions, called the SR space. Diversity of SR solutions increases with the temperature ($\tau$) of latent variables, which introduces random variations of texture among sample solutions, resulting in visual artifacts and low fidelity. In this paper, we present a simple but effective image ensembling/fusion approach to obtain a single SR image eliminating random artifacts and improving fidelity without significantly compromising perceptual quality. We achieve this by benefiting from a diverse set of feasible photo-realistic solutions in the SR space spanned by flow models. We propose different image ensembling and fusion strategies which offer multiple paths to move sample solutions in the SR space to more desired destinations in the perception-distortion plane in a controllable manner depending on the fidelity vs. perceptual quality requirements of the task at hand. Experimental results demonstrate that our image ensembling/fusion strategy achieves more promising perception-distortion trade-off compared to sample SR images produced by flow models and adversarially trained models in terms of both quantitative metrics and visual quality.


title: Distributed Probabilistic Congestion Control in LEO Satellite Networks

abstract: In a dense Low Earth Orbit (LEO) satellite constellation, using a centralized algorithm for minimum-delay routing would incur significant signaling and computational overhead. In this work, we exploit the deterministic topology of the constellation to calculate the minimum-delay path between any two nodes in a satellite network. We propose a distributed probabilistic congestion control scheme to minimize end-to-end delay, which is built on top of the existing Datagram Routing Algorithm (DRA). The decision to route packets is taken based on the latest traffic information received from neighbours. We provide an analysis of the congestion caused by a simplified DRA on a uniform infinite mesh of nodes. We compare the proposed congestion control mechanism with the existing congestion control used by the DRA via simulations, and show improvements over the latter.


title: Algebraic semantics for one-variable lattice-valued logics

abstract: The one-variable fragment of any first-order logic may be considered as a modal logic, where the universal and existential quantifiers are replaced by a box and diamond modality, respectively. In several cases, axiomatizations of algebraic semantics for these logics have been obtained: most notably, for the modal counterparts S5 and MIPC of the one-variable fragments of first-order classical logic and intuitionistic logic, respectively. Outside the setting of first-order intermediate logics, however, a general approach is lacking. This paper provides the basis for such an approach in the setting of first-order lattice-valued logics, where formulas are interpreted in algebraic structures with a lattice reduct. In particular, axiomatizations are obtained for modal counterparts of one-variable fragments of a broad family of these logics by generalizing a functional representation theorem of Bezhanishvili and Harding for monadic Heyting algebras. An alternative proof-theoretic proof is also provided for one-variable fragments of first-order substructural logics that have a cut-free sequent calculus and admit a certain bounded interpolation property.


title: Estimation of the Selected Treatment Mean in Two-Stage Drop-the-Losers Design

abstract: A common problem faced in clinical studies is that of estimating the effect of the most effective (e.g., the one having the largest mean) treatment among $k~(\geq2)$ available treatments. The most effective treatment is adjudged based on numerical values of some statistic corresponding to the $k$ treatments. A proper design for such problems is the so-called "Drop-the-Losers Design (DLD)". We consider two treatments whose effects are described by independent Gaussian distributions having different unknown means and a common known variance. To select the more effective treatment, the two treatments are independently administered to $n_1$ subjects each and the treatment corresponding to the larger sample mean is selected. To study the effect of the adjudged more effective treatment (i.e., estimating its mean), we consider the two-stage DLD in which $n_2$ subjects are further administered the adjudged more effective treatment in the second stage of the design. We obtain some admissibility and minimaxity results for estimating the mean effect of the adjudged more effective treatment. The maximum likelihood estimator is shown to be minimax and admissible. We show that the uniformly minimum variance conditionally unbiased estimator (UMVCUE) of the selected treatment mean is inadmissible and obtain an improved estimator. In this process, we also derive a sufficient condition for inadmissibility of an arbitrary location and permutation equivariant estimator and provide dominating estimators in cases where this sufficient condition is satisfied. The mean squared error and the bias performances of various competing estimators are compared via a simulation study. A real data example is also provided for illustration purposes.


title: MMSR: Multiple-Model Learned Image Super-Resolution Benefiting From Class-Specific Image Priors

abstract: Assuming a known degradation model, the performance of a learned image super-resolution (SR) model depends on how well the variety of image characteristics within the training set matches those in the test set. As a result, the performance of an SR model varies noticeably from image to image over a test set depending on whether characteristics of specific images are similar to those in the training set or not. Hence, in general, a single SR model cannot generalize well enough for all types of image content. In this work, we show that training multiple SR models for different classes of images (e.g., for text, texture, etc.) to exploit class-specific image priors and employing a post-processing network that learns how to best fuse the outputs produced by these multiple SR models surpasses the performance of state-of-the-art generic SR models. Experimental results clearly demonstrate that the proposed multiple-model SR (MMSR) approach significantly outperforms a single pre-trained state-of-the-art SR model both quantitatively and visually. It even exceeds the performance of the best single class-specific SR model trained on similar text or texture images.


title: ERNIE-mmLayout: Multi-grained MultiModal Transformer for Document Understanding

abstract: Recent efforts of multimodal Transformers have improved Visually Rich Document Understanding (VrDU) tasks via incorporating visual and textual information. However, existing approaches mainly focus on fine-grained elements such as words and document image patches, making it hard for them to learn from coarse-grained elements, including natural lexical units like phrases and salient visual regions like prominent image regions. In this paper, we attach more importance to coarse-grained elements containing high-density information and consistent semantics, which are valuable for document understanding. At first, a document graph is proposed to model complex relationships among multi-grained multimodal elements, in which salient visual regions are detected by a cluster-based method. Then, a multi-grained multimodal Transformer called mmLayout is proposed to incorporate coarse-grained information into existing pre-trained fine-grained multimodal Transformers based on the graph. In mmLayout, coarse-grained information is aggregated from fine-grained, and then, after further processing, is fused back into fine-grained for final prediction. Furthermore, common sense enhancement is introduced to exploit the semantic information of natural lexical units. Experimental results on four tasks, including information extraction and document question answering, show that our method can improve the performance of multimodal Transformers based on fine-grained elements and achieve better performance with fewer parameters. Qualitative analyses show that our method can capture consistent semantics in coarse-grained elements.


title: Bumpless Topology Transition

abstract: The topology transition problem of transmission networks is becoming increasingly crucial with topological flexibility more widely leveraged to promote high renewable penetration. This paper proposes a novel methodology to address this problem. Aiming at achieving a bumpless topology transition regarding both static and dynamic performance, this methodology utilizes various eligible control resources in transmission networks to cooperate with the optimization of line-switching sequence. Mathematically, a composite formulation is developed to efficiently yield bumpless transition schemes with AC feasibility and stability both ensured. With linearization of all non-convexities involved and tractable bumpiness metrics, a convex mixed-integer program firstly optimizes the line-switching sequence and partial control resources. Then, two nonlinear programs recover AC feasibility, and optimize the remaining control resources by minimizing the $\mathcal{H}_2$-norm of associated linearized systems, respectively. The final transition scheme is selected by accurate evaluation including stability verification using time-domain simulations. Finally, numerical studies demonstrate the effectiveness and superiority of the proposed methodology to achieve bumpless topology transition.


title: Free $\Omega$-Rota-Baxter systems and Gr\"obner-Shirshov bases

abstract: In this paper, we propose the concept of an $\Omega$-Rota-Baxter system, which is a generalization of a Rota-Baxter system and an $\Omega$-Rota-Baxter algebra of weight zero. In the framework of operated algebras, we obtain a linear basis of a free $\Omega$-Rota-Baxter system for an extended diassociative semigroup $\Omega$, in terms of bracketed words and the method of Gr\"obner-Shirshov bases. As applications, we introduce the concepts of Rota-Baxter system family algebras and matching Rota-Baxter systems as special cases of $\Omega$-Rota-Baxter systems, and construct their free objects. Meanwhile, free $\Omega$-Rota-Baxter algebras of weight zero, free Rota-Baxter systems, free Rota-Baxter family algebras and free matching Rota-Baxter algebras are reconstructed via new method.


title: A Computational Model of Learning Flexible Navigation in a Maze by Layout-Conforming Replay of Place Cells

abstract: Recent experimental observations have shown that the reactivation of hippocampal place cells (PC) during sleep or immobility depicts trajectories that can go around barriers and can flexibly adapt to a changing maze layout. Such layout-conforming replay sheds a light on how the activity of place cells supports the learning of flexible navigation of an animal in a dynamically changing maze. However, existing computational models of replay fall short of generating layout-conforming replay, restricting their usage to simple environments, like linear tracks or open fields. In this paper, we propose a computational model that generates layout-conforming replay and explains how such replay drives the learning of flexible navigation in a maze. First, we propose a Hebbian-like rule to learn the inter-PC synaptic strength during exploring a maze. Then we use a continuous attractor network (CAN) with feedback inhibition to model the interaction among place cells and hippocampal interneurons. The activity bump of place cells drifts along a path in the maze, which models layout-conforming replay. During replay in rest, the synaptic strengths from place cells to striatal medium spiny neurons (MSN) are learned by a novel dopamine-modulated three-factor rule to store place-reward associations. During goal-directed navigation, the CAN periodically generates replay trajectories from the animal's location for path planning, and the trajectory leading to a maximal MSN activity is followed by the animal. We have implemented our model into a high-fidelity virtual rat in the MuJoCo physics simulator. Extensive experiments have demonstrated that its superior flexibility during navigation in a maze is due to a continuous re-learning of inter-PC and PC-MSN synaptic strength.


title: Stigmergy-based, Dual-Layer Coverage of Unknown Indoor Regions

abstract: We present algorithms for uniformly covering an unknown indoor region with a swarm of simple, anonymous and autonomous mobile agents. The exploration of such regions is made difficult by the lack of a common global reference frame, severe degradation of radio-frequency communication, and numerous ground obstacles. We propose addressing these challenges by using airborne agents, such as Micro Air Vehicles, in dual capacity, both as mobile explorers and (once they land) as beacons that help other agents navigate the region. The algorithms we propose are designed for a swarm of simple, identical, ant-like agents with local sensing capabilities. The agents enter the region, which is discretized as a graph, over time from one or more entry points and are tasked with occupying all of its vertices. Unlike many works in this area, we consider the requirement of informing an outside operator with limited information that the coverage mission is complete. Even with this additional requirement we show, both through simulations and mathematical proofs, that the dual role concept results in linear-time termination, while also besting many well-known algorithms in the literature in terms of energy use.


title: Skills and Liquidity Barriers to Youth Employment: Medium-term Evidence from a Cash Benchmarking Experiment in Rwanda

abstract: We present results of an experiment benchmarking a workforce training program against cash transfers for underemployed young adults in Rwanda. 3.5 years after treatment, the training program enhances productive time use and asset investment, while the cash transfers drive productive assets, livestock values, savings, and subjective well-being. Both interventions have powerful effects on entrepreneurship. But while labor, sales, and profits all go up, the implied wage rate in these businesses is low. Our results suggest that credit is a major barrier to self-employment, but deeper reforms may be required to enable entrepreneurship to provide a transformative pathway out of poverty.


title: SegNeXt: Rethinking Convolutional Attention Design for Semantic Segmentation

abstract: We present SegNeXt, a simple convolutional network architecture for semantic segmentation. Recent transformer-based models have dominated the field of semantic segmentation due to the efficiency of self-attention in encoding spatial information. In this paper, we show that convolutional attention is a more efficient and effective way to encode contextual information than the self-attention mechanism in transformers. By re-examining the characteristics owned by successful segmentation models, we discover several key components leading to the performance improvement of segmentation models. This motivates us to design a novel convolutional attention network that uses cheap convolutional operations. Without bells and whistles, our SegNeXt significantly improves the performance of previous state-of-the-art methods on popular benchmarks, including ADE20K, Cityscapes, COCO-Stuff, Pascal VOC, Pascal Context, and iSAID. Notably, SegNeXt outperforms EfficientNet-L2 w/ NAS-FPN and achieves 90.6% mIoU on the Pascal VOC 2012 test leaderboard using only 1/10 parameters of it. On average, SegNeXt achieves about 2.0% mIoU improvements compared to the state-of-the-art methods on the ADE20K datasets with the same or fewer computations. Code is available at https://github.com/uyzhang/JSeg (Jittor) and https://github.com/Visual-Attention-Network/SegNeXt (Pytorch).


title: On a result concerning algebraic curves passing through $n$-independent nodes

abstract: Let a set of nodes $\mathcal X$ in the plane be $n$-independent, i.e., each node has a fundamental polynomial of degree $n.$ Assume that\\ $\#\mathcal X=d(n,n-3)+3= (n+1)+n+\cdots+5+3.$ In this paper we prove that there are at most three linearly independent curves of degree less than or equal to $n-1$ that pass through all the nodes of $\mathcal X.$ We provide a characterization of the case when there are exactly three such curves. Namely, we prove that then the set $\mathcal X$ has a special construction: either all its nodes belong to a curve of degree $n-2,$ or all its nodes but three belong to a (maximal) curve of degree $n-3.$ This result complements a result established recently by H. Kloyan, D. Voskanyan, and H. H. Note that the proofs of the two results are completely different.


title: Wave Turbulence in Inertial Electron Magnetohydrodynamics

abstract: A wave turbulence theory is developed for inertial electron magnetohydrodynamics (IEMHD) in the presence of a relatively strong and uniform external magnetic field $\boldsymbol{B_0} = B_0 \hat{\boldsymbol{e}}_\|$. This regime is relevant for scales smaller than the electron inertial length $d_e$. We derive the kinetic equations that describe the three-wave interactions between inertial whistler or kinetic Alfv\'en waves. We show that for both invariants, energy and momentum, the transfer is anisotropic (axisymmetric) with a direct cascade mainly in the direction perpendicular ($\perp$) to $\boldsymbol{B_0}$. The exact stationary solutions (Kolmogorov-Zakharov spectra) are obtained for which we prove the locality. We also found the Kolmogorov constant $C_K \simeq 8.474$. In the simplest case, the study reveals an energy spectrum in $k_\perp^{-5/2} k_\|^{-1/2}$ and a momentum spectrum enslaved to the energy dynamics in $k_\perp^{-3/2} k_\|^{-1/2}$. These solutions correspond to a magnetic energy spectrum $\sim k_\perp^{-9/2}$, which is steeper than the EMHD prediction made for scales larger than $d_e$. We conclude with a discussion on the application of the theory to space plasmas.


title: Data-driven Loop Closure Detection in Bathymetric Point Clouds for Underwater SLAM

abstract: Simultaneous localization and mapping (SLAM) frameworks for autonomous navigation rely on robust data association to identify loop closures for back-end trajectory optimization. In the case of autonomous underwater vehicles (AUVs) equipped with multibeam echosounders (MBES), data association is particularly challenging due to the scarcity of identifiable landmarks in the seabed, the large drift in dead-reckoning navigation estimates to which AUVs are prone and the low resolution characteristic of MBES data. Deep learning solutions to loop closure detection have shown excellent performance on data from more structured environments. However, their transfer to the seabed domain is not immediate and efforts to port them are hindered by the lack of bathymetric datasets. Thus, in this paper we propose a neural network architecture aimed to showcase the potential of adapting such techniques to correspondence matching in bathymetric data. We train our framework on real bathymetry from an AUV mission and evaluate its performance on the tasks of loop closure detection and coarse point cloud alignment. Finally, we show its potential against a more traditional method and release both its implementation and the dataset used.


title: Bivariate Causal Discovery for Categorical Data via Classification with Optimal Label Permutation

abstract: Causal discovery for quantitative data has been extensively studied but less is known for categorical data. We propose a novel causal model for categorical data based on a new classification model, termed classification with optimal label permutation (COLP). By design, COLP is a parsimonious classifier, which gives rise to a provably identifiable causal model. A simple learning algorithm via comparing likelihood functions of causal and anti-causal models suffices to learn the causal direction. Through experiments with synthetic and real data, we demonstrate the favorable performance of the proposed COLP-based causal model compared to state-of-the-art methods. We also make available an accompanying R package COLP, which contains the proposed causal discovery algorithm and a benchmark dataset of categorical cause-effect pairs.


title: A higher speed type II blow-up for the 4-d Fujita equation

abstract: This paper is concerned with blow-up solutions of the 4-dimensional energy critical heat equation $u_t=\Delta u + u^3$. Our main result is to show that the existence of type II blowup solutions, and $\|u(\cdot,t)\|_\infty\sim(T-t)^{-k}|ln(T-t)|^{\frac{2k}{2k-1}}, (k=1,2,3\cdots)$.The inner-outer gluing method has been employed.


title: Gravitational Waves from Preheating in Gauss-Bonnet Inflation

abstract: We study gravitational wave production in an expanding Universe during the first stages following inflation, and investigate the consequences of the Gauss-Bonnet term on the inflationary parameters for a power-law inflation model with a GB coupling term. Moreover, we perform the analyses on the preheating parameters involving the number of e-folds $N_{pre}$, and the temperature of thermalization $T_{th},$ and show that it's sensitive to the parameters $n$, and $\gamma$, the parameter $\gamma$ is proposed to connect the density energy at the end of inflation to the preheating energy density. We set a correlation of gravitational wave energy density spectrum with the spectral index $n_{s}$ detected by the cosmic microwave background experiments$.$ The density spectrum $\Omega_{gw}$ shows good consistency with observation for $\gamma = 10^{3}$ and $10^{6}$. Our findings suggest that the generation of gravitational waves (GWs) during preheating can satisfy the constraints from Planck's data.


title: Quantum Symbolic Execution

abstract: With advances in quantum computing, researchers can now write and run many quantum programs. However, there is still a lack of effective methods for debugging quantum programs. In this paper, quantum symbolic execution (QSE) is proposed to generate test cases, which helps to finding bugs in quantum programs. The main idea of quantum symbolic execution is to find the suitable test cases from all possible ones (i.e. test case space). It is different from the way of classical symbol execution, which gets test cases by calculating instead of searching. QSE utilizes quantum superposition and parallelism to store the test case space with only a few qubits. According to the conditional statements in the debugged program, the test case space is continuously divided into subsets, subsubsets and so on. Elements in the same subset are suitable test cases that can test the corresponding branch in the code to be tested. QSE not only provides a possible way to debug quantum programs, but also avoids the difficult problem of solving constraints in classical symbolic execution.


title: Evidence for the singly Cabibbo-suppressed decay $\Omega^0_c\to\Xi^-\pi^+$ and search for $\Omega^0_c\to\Xi^-K^+$ and $\Omega^-K^+$ decays at Belle

abstract: Using a data sample of 980 fb$^{-1}$ collected with the Belle detector at the KEKB asymmetric-energy $e^+e^-$ collider, we study for the first time the singly Cabibbo-suppressed decays $\Omega^0_c\to\Xi^{-}\pi^{+}$ and $\Omega^-K^+$ and the doubly Cabibbo-suppressed decay $\Omega^0_c\to \Xi^- K^{+}$. Evidence for an $\Omega^0_c$ signal in the $\Omega^0_c\to\Xi^-\pi^+$ mode is reported with a significance of $4.5\sigma$ including systematic uncertainties. The ratio of branching fractions to the normalization mode $\Omega_c^0\to \Omega^-\pi^+$ is measured to be $${\cal B}(\Omega_{c}^{0} \to \Xi^{-} \pi ^{+} )/{\cal B}(\Omega_c^0\to \Omega^-\pi^+)=0.253\pm 0.053({\rm stat.})\pm 0.030({\rm syst.}).$$ No significant signals of $\Omega^0_c\to\Xi^-K^+$ and $\Omega^-K^+$ modes are found. The upper limits at $90\%$ confidence level on ratios of branching fractions are determined to be $${\cal B}(\Omega_{c}^{0} \to \Xi^{-} K ^{+})/{\cal B}(\Omega_c^0\to \Omega^-\pi^+) < 0.070$$ and $${\cal B}(\Omega_{c}^{0} \to \Omega^{-}K^{+})/{\cal B}(\Omega_c^0\to \Omega^-\pi^+) < 0.29.$$


title: Nucleon spin decomposition with one dynamical gluon

abstract: We solve for the light-front wave functions of the nucleon from a light-front quantum chromodynamics (QCD) effective Hamiltonian with three-dimensional confinement. We obtain solutions using constituent three quarks combined with three quarks and one gluon Fock components. The resulting light-front wave functions provide a good quality description of the nucleon's quark distribution functions following QCD scale evolution. We present the effects from incorporating a dynamical gluon on the nucleon's gluon densities, helicity distribution and orbital angular momentum that constitutes the nucleon spin sum rule.


title: Primordial black holes and gravitational waves in teleparallel Gravity

abstract: In this paper, we consider the possible effect of the teleparallel gravity on the production of the primordial black holes (PBH) and on the gravitational waves (GWs). We investigate the relationship between the slow roll, the e-folds number and the teleparallel parameters. We show that in the case of the teleparallel parameter $\delta =3$, the e-folds number reaches the values $50$ and $60$ in consistency with the contour plot of the $(r,n_{s})$ plane obtained by Planck data at $1\sigma $ and $2\sigma $ C.L.. Furthermore, we use the fraction of the energy density and the variance of the density perturbations approach to study the abundance of the production PBH. We find that the PBH overproduction can be satisfied for specific values of parameters of the non-adiabatic curvature power spectrum at some narrow parametric resonance. Moreover, to explain the GWs expected by observations, the duration of preheating should be bounded by values less or equal to $2$. This bound is in agreement with values of the tensor-to-scalar ratio and the spectral index constrained by Planck data.


title: Convergence Rate of Sample Mean for $\varphi$-Mixing Random Variables with Heavy-Tailed Distributions

abstract: This article studies the convergence rate of the sample mean for $\varphi$-mixing dependent random variables with finite means and infinite variances. Dividing the sample mean into sum of the average of the main parts and the average of the tailed parts, we not only obtain the convergence rate of the sample mean but also prove that the convergence rate of the average of the main parts is faster than that of the average of the tailed parts.


title: Too Global To Be Local: Swarm Consensus in Adversarial Settings

abstract: Reaching a consensus in a swarm of robots is one of the fundamental problems in swarm robotics, examining the possibility of reaching an agreement within the swarm members. The recently-introduced contamination problem offers a new perspective of the problem, in which swarm members should reach a consensus in spite of the existence of adversarial members that intentionally act to divert the swarm members towards a different consensus. In this paper, we search for a consensus-reaching algorithm under the contamination problem setting by taking a top-down approach: We transform the problem to a centralized two-player game in which each player controls the behavior of a subset of the swarm, trying to force the entire swarm to converge to an agreement on its own value. We define a performance metric for each players performance, proving a correlation between this metric and the chances of the player to win the game. We then present the globally optimal solution to the game and prove that unfortunately it is unattainable in a distributed setting, due to the challenging characteristics of the swarm members. We therefore examine the problem on a simplified swarm model, and compare the performance of the globally optimal strategy with locally optimal strategies, demonstrating its superiority in rigorous simulation experiments.


title: Design of a stiffness adjustable magnetic fluid shock absorber based on optimal stiffness coefficient

abstract: With the rapid development of aerospace technology, the vibration problem of the spacecraft flexible structure urgently needs to be solved. Magnetic fluids are a type of multi-functional smart materials, which can be employed in shock absorbers to eliminate these vibrations. Referring to the calculation methods of stiffness coefficients of other passive dampers, the stiffness coefficient formula of magnetic fluid shock absorbers (MFSAs) was derived. Meanwhile, a novel stiffness adjustable magnetic fluid shock absorber (SA-MFSA) was proposed. On the basis of the second-order buoyancy principle, a series of SA-MFSAs were fabricated. The range of stiffness coefficients covered by these SA-MFSAs contains the optimal stiffness coefficient estimated by formulas. The repulsive force measurement and vibration attenuation experiments were conducted on these SA-MFSAs. In the case of small amplitude, the relationship between the repulsive force and the offset distance was linear. The simulation and experiment curves of repulsive forces were in good agreement. The results of vibration attenuation experiments demonstrated that the rod length and the magnetic fluid mass influence the damping efficiency of SA-MFSAs. In addition, these results verified that the SA-MFSA with the optimal stiffness coefficient performed best. Therefore, the stiffness coefficient formula can guide the design of MFSAs.


title: Deviation of geodesics and particle trajectories in a gravitational wave of the Bianchi type VI universe

abstract: For the Bianchi type VI universe, exact solutions of the equation of geodesic deviation in a strong primordial gravitational wave in a privileged coordinate system are obtained. The solutions refer to Shapovalov's gravitational-wave models of spacetime and allow the existence of complete integrals of the Hamilton-Jacobi equation for test particles. For all the solutions obtained, the analytical form of the tidal acceleration vector in a strong primordial gravitational wave is obtained. An explicit form of the coordinate transformation, an explicit form of the metric of the primordial gravitational wave of the Bianchi type VI universe, and the form of the tidal acceleration vector in the laboratory synchronous coordinate system are obtained. The synchronous coordinate system is associated with a freely falling observer and allows the observer to separate time and spatial coordinates, as well as to synchronize time at different points in space. The presented mathematical approach can be applied both in the general theory of relativity and in modified theories of gravity.


title: RankFeat: Rank-1 Feature Removal for Out-of-distribution Detection

abstract: The task of out-of-distribution (OOD) detection is crucial for deploying machine learning models in real-world settings. In this paper, we observe that the singular value distributions of the in-distribution (ID) and OOD features are quite different: the OOD feature matrix tends to have a larger dominant singular value than the ID feature, and the class predictions of OOD samples are largely determined by it. This observation motivates us to propose \texttt{RankFeat}, a simple yet effective \texttt{post hoc} approach for OOD detection by removing the rank-1 matrix composed of the largest singular value and the associated singular vectors from the high-level feature (\emph{i.e.,} $\mathbf{X}{-} \mathbf{s}_{1}\mathbf{u}_{1}\mathbf{v}_{1}^{T}$). \texttt{RankFeat} achieves the \emph{state-of-the-art} performance and reduces the average false positive rate (FPR95) by 17.90\% compared with the previous best method. Extensive ablation studies and comprehensive theoretical analyses are presented to support the empirical results.


title: Resource Allocation of STAR-RIS Assisted Full-Duplex Systems

abstract: Well-designed simultaneously transmitting and reflecting RIS (STAR-RIS), which extends the half-space coverage to full-space coverage, incurs wireless communication environments to be smart and reconfigurable. In this paper, we survey how STAR-RIS affects the performance of full-duplex communication systems with the presence of full-duplex users, wherein the base station (BS) and the uplink users are subject to maximum transmission power constraints. Firstly, the weighted sum-rate (WSR) is derived as a system performance metric. Then, we formulate the resource allocation design into an equivalent weighted minimum mean-square-error form and then transform it into several convex sub-problems to maximize the WSR as an optimization problem which jointly optimizes the beamforming and the combining vectors at the BS, the transmit powers of the uplink users, and phase shifts of STAR-RIS. Although the WSR optimization is non-convex, an efficient iterative alternating procedure is proposed to achieve a sub-optimal solution for the optimization problem. Secondly, the STAR-RIS's phase shifts are optimized via the successive convex approximation technique. Finally, numerical results are provided to explain how STAR-RIS improves the performance metric with the presence of full-duplex users.


title: Hourglass Charge-Three Weyl Phonons

abstract: Unconventional Weyl point with nonlinear dispersion features higher topological charge $|{\cal{C}}|>1$ and multiple topologically protected Fermi arc states at its boundary. As a novel topological state, it has been attracting widespread attention. However, the unconventional Weyl point with $|{\cal{C}}|=3$ has not yet been reported in realistic materials, even though it has been theoretically proposed for more than a decade. In this work, based on first-principles calculations and theoretical analysis, we predict the existing material, $\rm\alpha$-LiIO$_3$ as the first realistic example with this unconventional Weyl point. Particularly, in the phonon spectra of $\rm\alpha$-LiIO$_3$, two Weyl points with ${\cal{C}}=-3$, connected by time-reversal symmetry, appear at the neck crossing-point of a hourglass-type band, leading to two hourglass charge-3 Weyl phonons. The symmetry protection and the associated novel triple- and sextuple-helicoid surface arc states of the hourglass charge-3 Weyl phonons are revealed. Our results uncover a hidden topological character of $\rm\alpha$-LiIO$_3$ and also show that the phonon spectra is a great platform for exploring unconventional topological states.


title: Testing hadronic and photo-hadronic interactions as responsible for UHECR and neutrino fluxes from Starburst Galaxies

abstract: We test the hypothesis of starburst galaxies as sources of ultra-high energy cosmic rays and high-energy neutrinos. The computation of interactions of ultra-high energy cosmic rays in the starburst environment as well as in the propagation to the Earth is made using a modified version of the Monte Carlo code {\it SimProp}, where hadronic processes in the environment of sources are implemented for the first time. Taking into account a star-formation-rate distribution of sources, the fluxes of ultra-high energy cosmic rays and high-energy neutrinos are computed and compared with observations, and the explored parameter space for the source characteristics is discussed. We find that, depending on the density of the gas in the source environment, spallation reactions could exceed theoutcome in neutrinos from photo-hadronic interactions in the source environment and in the extra-galactic space.


title: Quantum Algorithm for Anomaly Detection of Sequences

abstract: Anomaly detection of sequences is a hot topic in data mining. Anomaly Detection using Piecewise Aggregate approximation in the Amplitude Domain (called ADPAAD) is one of the widely used methods in anomaly detection of sequences. The core step in the classical algorithm for performing ADPAAD is to construct an approximate representation of the subsequence, where the elements of each subsequence are divided into several subsections according to the amplitude domain and then the average of the subsections is computed. It is computationally expensive when processing large-scale sequences. In this paper, we propose a quantum algorithm for ADPAAD, which can divide the subsequence elements and compute the average in parallel. Our quantum algorithm can achieve polynomial speedups on the number of subsequences and the length of subsequences over its classical counterpart.


title: Low-cost machine learning approach to the prediction of transition metal phosphor excited state properties

abstract: Photoactive iridium complexes are of broad interest due to their applications ranging from lighting to photocatalysis. However, the excited state property prediction of these complexes challenges ab initio methods such as time-dependent density functional theory (TDDFT) both from an accuracy and a computational cost perspective, complicating high throughput virtual screening (HTVS). We instead leverage low-cost machine learning (ML) models to predict the excited state properties of photoactive iridium complexes. We use experimental data of 1,380 iridium complexes to train and evaluate the ML models and identify the best-performing and most transferable models to be those trained on electronic structure features from low-cost density functional theory tight binding calculations. Using these models, we predict the three excited state properties considered, mean emission energy of phosphorescence, excited state lifetime, and emission spectral integral, with accuracy competitive with or superseding TDDFT. We conduct feature importance analysis to identify which iridium complex attributes govern excited state properties and we validate these trends with explicit examples. As a demonstration of how our ML models can be used for HTVS and the acceleration of chemical discovery, we curate a set of novel hypothetical iridium complexes and identify promising ligands for the design of new phosphors.


title: On the solutions of universal differential equation by noncommutative Picard-Vessiot theory

abstract: Basing on Picard-Vessiot theory of noncommutative differential equations and algebraic combinatorics on noncommutative formal series with holomorphic coefficients, various recursive constructions of sequences of grouplike series converging to solutions of universal differential equation are proposed. Basing on monoidal factorizations, these constructions intensively use diagonal series and various pairs of bases in duality, in concatenation-shuffle bialgebra and in a Loday's generalized bialgebra. As applications, the unique solution, satisfying asymptotic conditions, of Knizhnik-Zamolodchikov equations is provided by d\'evissage.


title: ASAP: Adaptive Scheme for Asynchronous Processing of Event-based Vision Algorithms

abstract: Event cameras can capture pixel-level illumination changes with very high temporal resolution and dynamic range. They have received increasing research interest due to their robustness to lighting conditions and motion blur. Two main approaches exist in the literature to feed the event-based processing algorithms: packaging the triggered events in event packages and sending them one-by-one as single events. These approaches suffer limitations from either processing overflow or lack of responsivity. Processing overflow is caused by high event generation rates when the algorithm cannot process all the events in real-time. Conversely, lack of responsivity happens in cases of low event generation rates when the event packages are sent at too low frequencies. This paper presents ASAP, an adaptive scheme to manage the event stream through variable-size packages that accommodate to the event package processing times. The experimental results show that ASAP is capable of feeding an asynchronous event-by-event clustering algorithm in a responsive and efficient manner and at the same time prevents overflow.


title: The game of life on a magnetar crust: from $\gamma$-ray flares to FRBs

abstract: This paper presents a model to unify the diverse range of magnetar activity, through the building and release of elastic stress from the crust. A cellular automaton drives both local and global yielding of the crust, leading to braiding of coronal loops and energy release. The model behaves like a real magnetar in many ways: giant flares and small bursts both occur, as well as periods of quiescence whose typical duration is either $\lesssim 1$ yr or $\sim 10-30$ yr. The burst energy distribution broadly follows an earthquake-like power law over the energy range $10^{40}-10^{45}\,{\rm erg}$. The local nature of coronal loops allows for the possibility of high-energy and fast radio bursts from the same magnetar. Within this paradigm, magnetar observations can be used to constrain the poorly-understood mechanical properties of the neutron-star crust.


title: Arnold conjecture over integers

abstract: For any closed symplectic manifold, we show that the number of 1-periodic orbits of a nondegenerate Hamiltonian thereon is bounded from below by a version of total Betti number over Z of the ambient space taking account of the total Betti number over Q and torsions of all characteristic. The proof is based on constructing a Hamiltonian Floer theory over the Novikov ring with integer coefficients, which generalizes our earlier work for constructing integer-valued Gromov-Witten type invariants. In the course of the construction, we build a Hamiltonian Floer flow category with compatible smooth global Kuranishi charts. This generalizes a recent work of Abouzaid-McLean-Smith, which might be of independent interest.


title: GenPIP: In-Memory Acceleration of Genome Analysis via Tight Integration of Basecalling and Read Mapping

abstract: Nanopore sequencing is a widely-used high-throughput genome sequencing technology that can sequence long fragments of a genome into raw electrical signals at low cost. Nanopore sequencing requires two computationally-costly processing steps for accurate downstream genome analysis. The first step, basecalling, translates the raw electrical signals into nucleotide bases (i.e., A, C, G, T). The second step, read mapping, finds the correct location of a read in a reference genome. In existing genome analysis pipelines, basecalling and read mapping are executed separately. We observe in this work that such separate execution of the two most time-consuming steps inherently leads to (1) significant data movement and (2) redundant computations on the data, slowing down the genome analysis pipeline. This paper proposes GenPIP, an in-memory genome analysis accelerator that tightly integrates basecalling and read mapping. GenPIP improves the performance of the genome analysis pipeline with two key mechanisms: (1) in-memory fine-grained collaborative execution of the major genome analysis steps in parallel; (2) a new technique for early-rejection of low-quality and unmapped reads to timely stop the execution of genome analysis for such reads, reducing inefficient computation. Our experiments show that, for the execution of the genome analysis pipeline, GenPIP provides 41.6X (8.4X) speedup and 32.8X (20.8X) energy savings with negligible accuracy loss compared to the state-of-the-art software genome analysis tools executed on a state-of-the-art CPU (GPU). Compared to a design that combines state-of-the-art in-memory basecalling and read mapping accelerators, GenPIP provides 1.39X speedup and 1.37X energy savings.


title: Comparative study of machine learning and deep learning methods on ASD classification

abstract: The autism dataset is studied to identify the differences between autistic and healthy groups. For this, the resting-state Functional Magnetic Resonance Imaging (rs-fMRI) data of the two groups are analyzed, and networks of connections between brain regions were created. Several classification frameworks are developed to distinguish the connectivity patterns between the groups. The best models for statistical inference and precision were compared, and the tradeoff between precision and model interpretability was analyzed. Finally, the classification accuracy measures were reported to justify the performance of our framework. Our best model can classify autistic and healthy patients on the multisite ABIDE I data with 71% accuracy.


title: ASAP: Adaptive Transmission Scheme for Online Processing of Event-based Algorithms

abstract: Online event-based perception techniques on board robots navigating in complex, unstructured, and dynamic environments can suffer unpredictable changes in the incoming event rates and their processing times, which can cause computational overflow or loss of responsiveness. This paper presents ASAP: a novel event handling framework that dynamically adapts the transmission of events to the processing algorithm, keeping the system responsiveness and preventing overflows. ASAP is composed of two adaptive mechanisms. The first one prevents event processing overflows by discarding an adaptive percentage of the incoming events. The second mechanism dynamically adapts the size of the event packages to reduce the delay between event generation and processing. ASAP has guaranteed convergence and is flexible to the processing algorithm. It has been validated on board a quadrotor and an ornithopter robot in challenging conditions.


title: The slice spectral sequence for a motivic analogue of the connective $K(1)$-local sphere

abstract: We compute the slice spectral sequence for the motivic stable homotopy groups of $L$, a motivic analogue of the connective $K(1)$-local sphere over prime fields of characteristic not two. Together with the analogous computation over algebraically closed fields, this yields information about the motivic $K(1)$-local sphere over arbitrary base fields of characteristic not two. To compute the slice spectral sequence, we prove several results which may be of independent interest. We describe the $d_1$-differentials in the slice spectral sequence in terms of the motivic Steenrod operations over general base fields, building on analogous results of Ananyevskiy, R{\"o}ndigs, and {\O}stv{\ae}r for the very effective cover of Hermitian K-theory. We also explicitly describe the coefficients of certain motivic Eilenberg--MacLane spectra and compute the slice spectral sequence for the very effective cover of Hermitian K-theory over prime fields.


title: An Interactive Knowledge-based Multi-objective Evolutionary Algorithm Framework for Practical Optimization Problems

abstract: Experienced users often have useful knowledge and intuition in solving real-world optimization problems. User knowledge can be formulated as inter-variable relationships to assist an optimization algorithm in finding good solutions faster. Such inter-variable interactions can also be automatically learned from high-performing solutions discovered at intermediate iterations in an optimization run - a process called innovization. These relations, if vetted by the users, can be enforced among newly generated solutions to steer the optimization algorithm towards practically promising regions in the search space. Challenges arise for large-scale problems where the number of such variable relationships may be high. This paper proposes an interactive knowledge-based evolutionary multi-objective optimization (IK-EMO) framework that extracts hidden variable-wise relationships as knowledge from evolving high-performing solutions, shares them with users to receive feedback, and applies them back to the optimization process to improve its effectiveness. The knowledge extraction process uses a systematic and elegant graph analysis method which scales well with number of variables. The working of the proposed IK-EMO is demonstrated on three large-scale real-world engineering design problems. The simplicity and elegance of the proposed knowledge extraction process and achievement of high-performing solutions quickly indicate the power of the proposed framework. The results presented should motivate further such interaction-based optimization studies for their routine use in practice.


title: Transition from localized to delocalized trajectories in random walk subject to random drives

abstract: Random walk subject to random drive has been extensively employed as a model for physical and biological processes. While equilibrium statistical physics has yielded significant insights into the distributions of dynamical fixed points of such a system, its non-equilibrium properties remain largely unexplored. In contrast, most real-world applications concern the dynamical aspects of this model. In particular, dynamical quantities like heat dissipation and work absorption play a central role in predicting and controlling non-equilibrium phases of matter. Recent advances in non-equilibrium statistical physics enable a more refined study of the dynamical aspects of random walk under random drives. We perform a numerical study on this model and demonstrate that it exhibits two distinct phases: a localized phase where typical random walk trajectories are non-extensive and confined to the neighborhood of fixed points, and a delocalized phase where typical random walk trajectories are extensive and can transition between fixed points. We propose different summary statistics for the heat dissipation and show that these two phases are distinctly different. Our characterization of these distinctive phases deepens the understanding of and provides novel strategies for the non-equilibrium phase of this model.


title: Wideband mmWave Massive MIMO Channel Estimation and Localization

abstract: Spatial wideband effects are known to affect channel estimation and localization performance in millimeter wave (mmWave) massive multiple-input multiple-output (MIMO) systems. Based on perturbation analysis, we show that the spatial wideband effect is in fact more pronounced than previously thought and significantly degrades performance, even at moderate bandwidths, if it is not properly considered in the algorithm design. We propose a novel channel estimation method based on multidimensional ESPRIT per subcarrier, combined with unsupervised learning for pairing across subcarriers, which shows significant performance gain over existing schemes under wideband conditions.


title: On images of affine spaces

abstract: We prove that every non-degenerate toric variety, every homogeneous space of a connected linear algebraic group without non-constant invertible regular functions, and every variety covered by affine spaces admits a surjective morphism from an affine space.


title: HGI-SLAM: Loop Closure With Human and Geometric Importance Features

abstract: We present Human and Geometric Importance SLAM (HGI-SLAM), a novel approach to loop closure using salient and geometric features. Loop closure is a key element of SLAM, with many established methods for this problem. However, current methods are narrow, using either geometric or salient based features. We merge their successes into a model that outperforms both types of methods alone. Our method utilizes inexpensive monocular cameras and does not depend on depth sensors nor Lidar. HGI-SLAM utilizes geometric and salient features, processes them into descriptors, and optimizes them for a bag of words algorithm. By using a concurrent thread and combing our loop closure detection with ORB-SLAM2, our system is a complete SLAM framework. We present extensive evaluations of HGI loop detection and HGI-SLAM on the KITTI and EuRoC datasets. We also provide a qualitative analysis of our features. Our method runs in real time, and is robust to large viewpoint changes while staying accurate in organic environments. HGI-SLAM is an end-to-end SLAM system that only requires monocular vision and is comparable in performance to state-of-the-art SLAM methods.


title: Neutron Tagging following Atmospheric Neutrino Events in a Water Cherenkov Detector

abstract: We present the development of neutron-tagging techniques in Super-Kamiokande IV using a neural network analysis. The detection efficiency of neutron capture on hydrogen is estimated to be 26%, with a mis-tag rate of 0.016 per neutrino event. The uncertainty of the tagging efficiency is estimated to be 9.0%. Measurement of the tagging efficiency with data from an Americium-Beryllium calibration agrees with this value within 10%. The tagging procedure was performed on 3,244.4 days of SK-IV atmospheric neutrino data, identifying 18,091 neutrons in 26,473 neutrino events. The fitted neutron capture lifetime was measured as 218 \pm 9 \mu s.


title: Common origin of $\theta_{13}$ and dark matter within the flavor symmetric scoto-seesaw framework

abstract: To understand the observed pattern of neutrino masses and mixing as well as to account for the dark matter we propose a hybrid scoto-seesaw model based on the $A_4$ discrete flavor symmetry. In this setup, including at least two heavy right-handed neutrinos is essential to employ the discrete flavor symmetry that mimics once popular tribimaximal neutrino mixing at the leading order via type-I seesaw. The scotogenic contribution then acts as a critical deviation to reproduce the observed value of the reactor mixing angle $\theta_{13}$ (within the trimaximal mixing scheme) and to accommodate potential dark matter candidates, pointing towards a common origin of $\theta_{13}$ and dark matter. The model predicts the atmospheric angle to be in the upper octant, excludes some regions on the Dirac CP phase, and restricts the Majorana phases too. Further, normal and inverted mass hierarchies can be distinguished for specific values of the relative phases associated with the complex light neutrino mass matrix. Owing to the considered flavor symmetry, contributions coming from the scotogenic mechanism towards the lepton flavor violating decays such as $\mu \rightarrow e \gamma$, $\tau \rightarrow e \gamma$ vanish, and a lower limit on the second right-handed neutrino mass can be obtained. Prediction for the effective mass parameter appearing in the neutrinoless double beta decay falls within the sensitivity of future experiments such as LEGEND-1k and nEXO.


title: Autonomous Task Planning for Heterogeneous Multi-Agent Systems

abstract: This paper presents a solution to the automatic task planning problem for multi-agent systems. A formal framework is developed based on the Nondeterministic Finite Automata with $\epsilon$-transitions, where given the capabilities, constraints and failure modes of the agents involved, an initial state of the system and a task specification, an optimal solution is generated that satisfies the system constraints and the task specification. The resulting solution is guaranteed to be complete and optimal; moreover a heuristic solution that offers significant reduction of the computational requirements while relaxing the completeness and optimality requirements is proposed. The constructed system model is independent from the initial condition and the task specification, alleviating the need to repeat the costly pre-processing cycle for solving other scenarios, while allowing the incorporation of failure modes on-the-fly. Two case studies are provided: a simple one to showcase the concepts of the proposed methodology and a more elaborate one to demonstrate the effectiveness and validity of the methodology.


title: A Stochastic Model for the Early Stages of Highly Contagious Epidemics by using a State-Dependent Point Process

abstract: The recent COVID-19 pandemic has shown that when the reproduction number is high and there are no proper measurements in place, the number of infected people can increase dramatically in a short time, producing a phenomenon that many stochastic SIR-like models cannot describe: overdispersion of the number of infected people (i.e., the variance of the number of infected people during any interval is very high compared to the average). To address this issue, in this paper we explore the possibility of modeling the total number of infections as a state dependent self-exciting point process. In this way, infections are not independent among themselves, but any infection will increase the likelihood of a new infection while also the number of currently infected and recovered individuals are included into determining the likelihood of new infections, Since long term simulation is extremely computationally intensive, exact expressions for the moments of the processes determining the number of infected and recovered individuals are computed, while also simulation algorithms for these state-dependent processes are provided.


title: Controlling frustrated magnetism on the kagome lattice by uniaxial-strain tuning

abstract: It is predicted that strongly interacting spins on a frustrated lattice may lead to a quantum disordered ground state or even form a quantum spin liquid with exotic low-energy excitations. However, a thorough tuning of the frustration strength, separating its effects from those of disorder and other factors, is pending. Here we break the symmetry of a kagome-lattice compound in a controlled manner by applying $in$ $situ$ uniaxial stress. The transition temperature of $\rm Y_3Cu_9(OH)_{18}OCl_8$ is linearly enhanced with strain, $\Delta T_{\rm N}/T_{\rm N} \approx 10\%$ upon in-plane compression of order $1\%$, providing clear evidence for a release of frustration and its pivotal role for magnetic order. Our comprehensive $^1$H NMR results suggest a $\overrightarrow{Q}=(1/3\times 1/3)$ state under unstrained conditions and further reveal an incomplete antiferromagnetic transition with fluctuating moments in this strongly frustrated system.


title: Deep Adaptation of Adult-Child Facial Expressions by Fusing Landmark Features

abstract: Imaging of facial affects may be used to measure psychophysiological attributes of children through their adulthood for applications in education, healthcare, and entertainment, among others. Deep convolutional neural networks show promising results in classifying facial expressions of adults. However, classifier models trained with adult benchmark data are unsuitable for learning child expressions due to discrepancies in psychophysical development. Similarly, models trained with child data perform poorly in adult expression classification. We propose domain adaptation to concurrently align distributions of adult and child expressions in a shared latent space for robust classification of either domain. Furthermore, age variations in facial images are studied in age-invariant face recognition yet remain unleveraged in adult-child expression classification. We take inspiration from multiple fields and propose deep adaptive FACial Expressions fusing BEtaMix SElected Landmark Features (FACE-BE-SELF) for adult-child expression classification. For the first time in the literature, a mixture of Beta distributions is used to decompose and select facial features based on correlations with expression, domain, and identity factors. We evaluate FACE-BE-SELF using 5-fold cross validation for two pairs of adult-child data sets. Our proposed FACE-BE-SELF approach outperforms transfer learning and other baseline domain adaptation methods in aligning latent representations of adult and child expressions.


title: Membership Inference Attacks and Generalization: A Causal Perspective

abstract: Membership inference (MI) attacks highlight a privacy weakness in present stochastic training methods for neural networks. It is not well understood, however, why they arise. Are they a natural consequence of imperfect generalization only? Which underlying causes should we address during training to mitigate these attacks? Towards answering such questions, we propose the first approach to explain MI attacks and their connection to generalization based on principled causal reasoning. We offer causal graphs that quantitatively explain the observed MI attack performance achieved for $6$ attack variants. We refute several prior non-quantitative hypotheses that over-simplify or over-estimate the influence of underlying causes, thereby failing to capture the complex interplay between several factors. Our causal models also show a new connection between generalization and MI attacks via their shared causal factors. Our causal models have high predictive power ($0.90$), i.e., their analytical predictions match with observations in unseen experiments often, which makes analysis via them a pragmatic alternative.


title: The Mosquito incident and the need-(not-)to-know

abstract: I am reporting here how professor Cristian Sorin Calude, henceforth called Cris, became involved in the "Mosquito incident". More generally, the relationship between the single individual vis-a-vis the state or collective is reviewed, with special emphasis to need-(not)-to-know secrets.


title: PIM-QAT: Neural Network Quantization for Processing-In-Memory (PIM) Systems

abstract: Processing-in-memory (PIM), an increasingly studied neuromorphic hardware, promises orders of energy and throughput improvements for deep learning inference. Leveraging the massively parallel and efficient analog computing inside memories, PIM circumvents the bottlenecks of data movements in conventional digital hardware. However, an extra quantization step (i.e. PIM quantization), typically with limited resolution due to hardware constraints, is required to convert the analog computing results into digital domain. Meanwhile, non-ideal effects extensively exist in PIM quantization because of the imperfect analog-to-digital interface, which further compromises the inference accuracy. In this paper, we propose a method for training quantized networks to incorporate PIM quantization, which is ubiquitous to all PIM systems. Specifically, we propose a PIM quantization aware training (PIM-QAT) algorithm, and introduce rescaling techniques during backward and forward propagation by analyzing the training dynamics to facilitate training convergence. We also propose two techniques, namely batch normalization (BN) calibration and adjusted precision training, to suppress the adverse effects of non-ideal linearity and stochastic thermal noise involved in real PIM chips. Our method is validated on three mainstream PIM decomposition schemes, and physically on a prototype chip. Comparing with directly deploying conventionally trained quantized model on PIM systems, which does not take into account this extra quantization step and thus fails, our method provides significant improvement. It also achieves comparable inference accuracy on PIM systems as that of conventionally quantized models on digital hardware, across CIFAR10 and CIFAR100 datasets using various network depths for the most popular network topology.


title: Koopman-theoretic Approach for Identification of Exogenous Anomalies in Nonstationary Time-series Data

abstract: In many scenarios, it is necessary to monitor a complex system via a time-series of observations and determine when anomalous exogenous events have occurred so that relevant actions can be taken. Determining whether current observations are abnormal is challenging. It requires learning an extrapolative probabilistic model of the dynamics from historical data, and using a limited number of current observations to make a classification. We leverage recent advances in long-term probabilistic forecasting, namely {\em Deep Probabilistic Koopman}, to build a general method for classifying anomalies in multi-dimensional time-series data. We also show how to utilize models with domain knowledge of the dynamics to reduce type I and type II error. We demonstrate our proposed method on the important real-world task of global atmospheric pollution monitoring, integrating it with NASA's Global Earth System Model. The system successfully detects localized anomalies in air quality due to events such as COVID-19 lockdowns and wildfires.


title: A Stack-of-Tasks Approach Combined with Behavior Trees: a New Framework for Robot Control

abstract: Stack-of-Tasks (SoT) control allows a robot to simultaneously fulfill a number of prioritized goals formulated in terms of (in)equality constraints in error space. Since this approach solves a sequence of Quadratic Programs (QP) at each time-step, without taking into account any temporal state evolution, it is suitable for dealing with local disturbances. However, its limitation lies in the handling of situations that require non-quadratic objectives to achieve a specific goal, as well as situations where countering the control disturbance would require a locally suboptimal action. Recent works address this shortcoming by exploiting Finite State Machines (FSMs) to compose the tasks in such a way that the robot does not get stuck in local minima. Nevertheless, the intrinsic trade-off between reactivity and modularity that characterizes FSMs makes them impractical for defining reactive behaviors in dynamic environments. In this letter, we combine the SoT control strategy with Behavior Trees (BTs), a task switching structure that addresses some of the limitations of the FSMs in terms of reactivity, modularity and re-usability. Experimental results on a Franka Emika Panda 7-DOF manipulator show the robustness of our framework, that allows the robot to benefit from the reactivity of both SoT and BTs.


title: Ultra-broadband integrated optical filters based on adiabatic optimization of coupled waveguides

abstract: Broadband spectral filters are highly sought-after in many integrated photonics applications such as ultra-broadband wavelength division multiplexing, multi-band spectroscopy, and broadband sensing. In this study, we present the design, simulation, and experimental demonstration of compact and ultra-broadband silicon photonic filters with adiabatic waveguides. We first develop an optimization algorithm for coupled adiabatic waveguide structures, and use it to design individual, single-cutoff spectral filters. These single-cutoff filters are 1x2 port devices that optimally separate a broadband signal into short-pass and long-pass outputs, within a specified device length. We control the power roll-off and extinction ratio in these filters using the adiabaticity parameter. Both outputs of the filters operate in transmission, making it possible to cascade multiple filters in different configurations. Taking advantage of this flexibility, we cascade two filters with different cutoff wavelengths on-chip, and experimentally demonstrate band-pass operation. The independent and flexible design of these band edges enables filters with bandwidths well over 100 nm. Experimentally, we demonstrate band-pass filters with passbands ranging from 6.4 nm up to 96.6 nm. Our devices achieve flat-band transmission in all three of the short-pass, band-pass, and long-pass outputs with less than 1.5 dB insertion loss and extinction ratios of over 15 dB. These ultra-broadband filters can enable new capabilities for multi-band integrated photonics in communications, spectroscopy, and sensing applications.


title: Born rule: quantum probability as classical probability

abstract: I provide a simple derivation of the Born rule as giving a classical probability, that is, the ratio of the measure of favorable states of the system to the measure of its total possible states. In classical systems, the probability is due to the fact that the same macrostate can be realized in different ways as a microstate. Despite the radical differences between quantum and classical systems, I show that the same can be applied to quantum systems, and the result is the Born rule. This works only if the basis is continuous, but all known physically realistic measurements involve a continuous basis, because they are based eventually on distinguishing positions. The continuous basis is not unique, and for subsystems it depends on the observable. But for the entire universe, there are continuous bases that give the Born rule for all measurements, because all measurements reduce to distinguishing macroscopic pointer states, and macroscopic observations commute. This allows for the possibility of an ontic basis for the entire universe. In the wavefunctional formulation, the basis can be chosen to consist of classical field configurations, and the coefficients $\Psi[\phi]$ can be made real by absorbing them into a global U(1) gauge. For the many-worlds interpretation, this result gives the Born rule from micro-branch counting.

categories: quant-ph math-ph math.MP physics.hist-ph


title: The Geometry of Self-supervised Learning Models and its Impact on Transfer Learning

abstract: Self-supervised learning (SSL) has emerged as a desirable paradigm in computer vision due to the inability of supervised models to learn representations that can generalize in domains with limited labels. The recent popularity of SSL has led to the development of several models that make use of diverse training strategies, architectures, and data augmentation policies with no existing unified framework to study or assess their effectiveness in transfer learning. We propose a data-driven geometric strategy to analyze different SSL models using local neighborhoods in the feature space induced by each. Unlike existing approaches that consider mathematical approximations of the parameters, individual components, or optimization landscape, our work aims to explore the geometric properties of the representation manifolds learned by SSL models. Our proposed manifold graph metrics (MGMs) provide insights into the geometric similarities and differences between available SSL models, their invariances with respect to specific augmentations, and their performances on transfer learning tasks. Our key findings are two fold: (i) contrary to popular belief, the geometry of SSL models is not tied to its training paradigm (contrastive, non-contrastive, and cluster-based); (ii) we can predict the transfer learning capability for a specific model based on the geometric properties of its semantic and augmentation manifolds.


title: Background freedom leads to many-worlds with local beables and probabilities

abstract: I argue that background freedom in quantum gravity automatically leads to a dissociation of the quantum state into states having a classical space. That is, interference is not completely well-defined for states with different space geometries, even if their linear combination is. Interference of states with different space geometry is still allowed at small scales, but precluded at macro-scales. Macrostates, including measuring devices, appear classical. The distribution of space geometries automatically gives the Born rule. The dissociation entails a kind of absolute decoherence, making the ad-hoc wavefunction collapse unnecessary. This naturally leads to a new version of the many-worlds interpretation, in which: 1) the classical space-states form an absolute preferred basis, 2) at any time, the resulting micro-branches are like classical worlds, with objects in space, 3) macro-branches stop interfering, even though micro-branches can interfere (as they should), 4) the space geometries converge at the Big-Bang, favoring macro-branching towards the future, 5) the wavefunctional becomes real by absorbing the phases in the global U(1) gauge, 6) ontologically, the wavefunctional consists of many gauged space-states, each of them counting as a world by having local beables (the space geometry and the classical fields), 7) the density of the classical space-states automatically obeys the Born rule.


title: Analysis of Gaia radial-velocity standards: stability and new substellar companion candidates

abstract: Our main aim is to test the non-variability of the radial velocity (RV) of a sample of 2351 standard stars used for wavelength calibration of the RVS instrument onboard Gaia. In this paper, we present the spectroscopic analysis of these stars with the determination of their physical parameters by matching observed and synthetic spectra. We estimate the offset between different instruments after determining the shift between measured and archived RVs since the instrument pipelines use various numerical masks. Through the confirmation of the stability of the target RVs, we find 68 stars with a long-term variation having an acceleration which exceeds $10 \,\rm{m\, s^{-1}yr^{-1}}$. This suggests a barycentric reflex motion caused by a companion. As activity phenomena may be the source of periodic and trend-like RV variations in stars with putative planetary companions, we analysed various activity indicators in order to check their correlations to the RV changes. Among the trend stars, 18 have a trend model scatter greater than $100 \,\rm{m\, s^{-1}}$ over a time span from 10 to 12 years. We also confirm that six stars with known substellar companions have a total model scatter, $3\sigma$, exceeding the threshold set by Gaia, that is, $300 \,\rm{m\, s^{-1}}$. In addition, TYC8963-01543-1 an SB2 star has data scatter $\sigma = 176.6\, \rm{m\, s^{-1}}$. Four more other stars are revealed to be variable after combining data from different instruments. Despite the presence of low-amplitude changes, a very large fraction of our sample (98.8\%) appears suitable as RV calibrators for Gaia RVS.

categories: astro-ph.SR astro-ph.EP astro-ph.GA astro-ph.IM


title: Improving the Performance of DNN-based Software Services using Automated Layer Caching

abstract: Deep Neural Networks (DNNs) have become an essential component in many application domains including web-based services. A variety of these services require high throughput and (close to) real-time features, for instance, to respond or react to users' requests or to process a stream of incoming data on time. However, the trend in DNN design is toward larger models with many layers and parameters to achieve more accurate results. Although these models are often pre-trained, the computational complexity in such large models can still be relatively significant, hindering low inference latency. Implementing a caching mechanism is a typical systems engineering solution for speeding up a service response time. However, traditional caching is often not suitable for DNN-based services. In this paper, we propose an end-to-end automated solution to improve the performance of DNN-based services in terms of their computational complexity and inference latency. Our caching method adopts the ideas of self-distillation of DNN models and early exits. The proposed solution is an automated online layer caching mechanism that allows early exiting of a large model during inference time if the cache model in one of the early exits is confident enough for final prediction. One of the main contributions of this paper is that we have implemented the idea as an online caching, meaning that the cache models do not need access to training data and perform solely based on the incoming data at run-time, making it suitable for applications using pre-trained models. Our experiments results on two downstream tasks (face and object classification) show that, on average, caching can reduce the computational complexity of those services up to 58\% (in terms of FLOPs count) and improve their inference latency up to 46\% with low to zero reduction in accuracy.


title: Improving Topic Segmentation by Injecting Discourse Dependencies

abstract: Recent neural supervised topic segmentation models achieve distinguished superior effectiveness over unsupervised methods, with the availability of large-scale training corpora sampled from Wikipedia. These models may, however, suffer from limited robustness and transferability caused by exploiting simple linguistic cues for prediction, but overlooking more important inter-sentential topical consistency. To address this issue, we present a discourse-aware neural topic segmentation model with the injection of above-sentence discourse dependency structures to encourage the model make topic boundary prediction based more on the topical consistency between sentences. Our empirical study on English evaluation datasets shows that injecting above-sentence discourse structures to a neural topic segmenter with our proposed strategy can substantially improve its performances on intra-domain and out-of-domain data, with little increase of model's complexity.


title: Is Stochastic Gradient Descent Near Optimal?

abstract: The success of neural networks over the past decade has established them as effective models for many relevant data generating processes. Statistical theory on neural networks indicates graceful scaling of sample complexity. For example, Joen & Van Roy (arXiv:2203.00246) demonstrate that, when data is generated by a ReLU teacher network with $W$ parameters, an optimal learner needs only $\tilde{O}(W/\epsilon)$ samples to attain expected error $\epsilon$. However, existing computational theory suggests that, even for single-hidden-layer teacher networks, to attain small error for all such teacher networks, the computation required to achieve this sample complexity is intractable. In this work, we fit single-hidden-layer neural networks to data generated by single-hidden-layer ReLU teacher networks with parameters drawn from a natural distribution. We demonstrate that stochastic gradient descent (SGD) with automated width selection attains small expected error with a number of samples and total number of queries both nearly linear in the input dimension and width. This suggests that SGD nearly achieves the information-theoretic sample complexity bounds of Joen & Van Roy (arXiv:2203.00246) in a computationally efficient manner. An important difference between our positive empirical results and the negative theoretical results is that the latter address worst-case error of deterministic algorithms, while our analysis centers on expected error of a stochastic algorithm.


title: Transverse instability of concentric soliton waves

abstract: Should it be a pebble hitting water surface or an explosion taking place underwater, concentric surface waves inevitably propagate. Except for possibly early times of the impact, finite amplitude concentric water waves emerge from a balance between dispersion or nonlinearity resulting in solitary waves. While stability of plane solitary waves on deep and shallow water has been extensively studied, there are no analogous analyses for concentric solitary waves. On shallow water, the equation governing soliton formation -- the nearly concentric Korteweg-de Vries -- has been deduced before without surface tension, so we extend the derivation onto the surface tension case. On deep water, the envelope equation is traditionally thought to be the nonlinear Schr\"{o}dinger type originally derived in the Cartesian coordinates. However, with a systematic derivation in cylindrical coordinates suitable for studying concentric waves we demonstrate that the appropriate envelope equation must be amended with an inverse-square potential, thus leading to a Gross-Pitaevskii equation instead. Properties of both models for deep and shallow water cases are studied in detail, including conservation laws and the base states corresponding to axisymmetric solitary waves. Stability analyses of the latter lead to singular eigenvalue problems, which dictate the use of analytical tools. We identify the conditions resulting in the transverse instability of the concentric solitons revealing crucial differences from their plane counterparts. Of particular interest here are the effects of surface tension and cylindrical geometry on the occurrence of transverse instability.


title: Representation of Random Variables as Lebesgue Integrals

abstract: We study representations of a random variable $\xi$ as an integral of an adapted process with respect to the Lebesgue measure. The existence of such representations in two different regularity classes is characterized in terms of the quadratic variation of (local) martingales closed by $\xi$.


title: RVSL: Robust Vehicle Similarity Learning in Real Hazy Scenes Based on Semi-supervised Learning

abstract: Recently, vehicle similarity learning, also called re-identification (ReID), has attracted significant attention in computer vision. Several algorithms have been developed and obtained considerable success. However, most existing methods have unpleasant performance in the hazy scenario due to poor visibility. Though some strategies are possible to resolve this problem, they still have room to be improved due to the limited performance in real-world scenarios and the lack of real-world clear ground truth. Thus, to resolve this problem, inspired by CycleGAN, we construct a training paradigm called \textbf{RVSL} which integrates ReID and domain transformation techniques. The network is trained on semi-supervised fashion and does not require to employ the ID labels and the corresponding clear ground truths to learn hazy vehicle ReID mission in the real-world haze scenes. To further constrain the unsupervised learning process effectively, several losses are developed. Experimental results on synthetic and real-world datasets indicate that the proposed method can achieve state-of-the-art performance on hazy vehicle ReID problems. It is worth mentioning that although the proposed method is trained without real-world label information, it can achieve competitive performance compared to existing supervised methods trained on complete label information.


title: Halo heating from fluctuating gas in a model dwarf

abstract: The cold dark matter (CDM) structure formation scenario faces challenges on (sub)galactic scales, central among them being the `cusp-core' problem. A known remedy, driving CDM out of galactic centres, invokes interactions with baryons, through fluctuations in the gravitational potential arising from feedback or orbiting clumps of gas or stars. Here we interpret core formation in a hydrodynamic simulation in terms of a theoretical formulation, which may be considered a generalisation of Chandrasekhar's theory of two body relaxation to the case when the density fluctuations do not arise from white noise; it presents a simple characterisation of the effects of complex hydrodynamics and `subgrid physics'. The power spectrum of gaseous fluctuations is found to follow a power law over a range of scales, appropriate for a fully turbulent compressible medium. The potential fluctuations leading to core formation are nearly normally distributed, which allows for the energy transfer leading to core formation to be described as a standard diffusion process, initially increasing the velocity dispersion of test particles as in Chandrasekhar's theory. We calculate the energy transfer from the fluctuating gas to the halo and find it consistent with theoretical expectations. We also examine how the initial kinetic energy input to halo particles is redistributed to form a core. The temporal mass decrease inside the forming core may be fit by an exponential form; a simple prescription based on our model associates the characteristic timescale with an energy relaxation time. We compare the resulting theoretical density distribution with that in the simulation.


title: Strong Spin Filtering by Silicon Nanoparticles with Adsorbed Bismuth Atom Clusters: Role of Symmetry and Electrostatic Control of the Direction of the Spin Polarization

abstract: We present a theoretical study, based on density functional theory and tight binding modeling, of the electronic structure and spin transport properties of silicon nanoparticles with adsorbed bismuth atoms. We find the bismuth atoms to form clusters separated by quantum tunnel barriers. We predict strong spin filtering by these nanostructures in the high conductance regime when the source and drain leads are connected to the same bismuth cluster and in the low conductance regime when the source and drain leads are connected to different bismuth clusters. We relate the spin filtering to a symmetry obeyed by the spin transmission probability matrix of the system. We also predict that for such systems the direction of the spin polarization in the drain lead can be tuned through large angles and even reversed electrostatically simply by varying the voltage applied to a gate. Realization of these silicon-bismuth nanostructures in the laboratory is feasible. We expect the predicted spin filtering to be experimentally accessible and potentially relevant for device applications.


title: CNN based Intelligent Streetlight Management Using Smart CCTV Camera and Semantic Segmentation

abstract: One of the most neglected sources of energy loss is streetlights which generate too much light in areas where it is not required. Energy waste has enormous economic and environmental effects. In addition, due to the conventional manual nature of the operation, streetlights are frequently seen being turned ON during the day and OFF in the evening, which is regrettable even in the twenty-first century. These issues require automated streetlight control in order to be resolved. This study aims to develop a novel streetlight controlling method by combining a smart transport monitoring system powered by computer vision technology with a closed circuit television (CCTV) camera that allows the light-emitting diode (LED) streetlight to automatically light up with the appropriate brightness by detecting the presence of pedestrians or vehicles and dimming the streetlight in their absence using semantic image segmentation from the CCTV video streaming. Consequently, our model distinguishes daylight and nighttime, which made it feasible to automate the process of turning the streetlight 'ON' and 'OFF' to save energy consumption costs. According to the aforementioned approach, geolocation sensor data could be utilized to make more informed streetlight management decisions. To complete the tasks, we consider training the U-net model with ResNet-34 as its backbone. The validity of the models is guaranteed with the use of assessment matrices. The suggested concept is straightforward, economical, energy-efficient, long-lasting, and more resilient than conventional alternatives.


title: Divided powers in the Witt ring of symmetric bilinear forms

abstract: The Witt ring of symmetric bilinear forms over a field has divided power operations. On the other hand, it follows from Garibaldi-Merkurjev-Serre's work on cohomological invariants that all operations on the Witt ring are essentially linear combinations of exterior powers. We find the explicit formula for the divided powers as a linear combination of exterior powers. The coefficients involve the ``tangent numbers'', related to Bernoulli numbers. The divided powers on the Witt ring give another construction of the divided powers on Milnor K-theory modulo 2.


title: An electro-chemo-mechanical framework for predicting hydrogen uptake in metals due to aqueous electrolytes

abstract: We present a theoretical and numerical scheme that enables quantifying hydrogen ingress in metals for arbitrary environments and defect geometries. This is achieved by explicitly resolving the electrochemical behaviour of the electrolyte, the hydrogen and corrosion reactions, the kinetics of surface adsorption, and hydrogen uptake, diffusion and trapping in mechanically-deforming solids. This new framework is used to produce maps that relate the absorbed hydrogen with the applied potential, specimen geometry and fluid velocity. We also present simplified versions of our generalised model, and benchmark predictions of these and other existing models against the generalised electro-chemo-mechanical results, establishing regimes of validity.


title: A search for stellar tidal streams around Milky Way analogues from the SAGA sample

abstract: Context. Stellar tidal streams are the result of tidal interactions between a central galaxy and lower mass systems like satellite galaxies or globular clusters. For the Local Group, many diffuse substructures have been identified and their link to the galaxy evolution has been traced. However it cannot be assumed that the Milky Way or M31 are representative of their galaxy class, and a larger sample of analogue galaxies beyond the Local Group is required to be able to generalise the underlying theory. Aims. We want to characterise photometrically the stellar streams around Milky Way analogues in the local Universe with the goal to deepen our understanding of the interaction between host and satellite galaxies, and ultimately of the galaxy formation and evolution processes. Methods. In the present work we identified and analysed stellar tidal streams around Milky Way analogue galaxies from the SAGA sample, using deep images of the DESI Legacy Imaging Surveys (for this sample, we obtain a range of r-band surface brightness limit between 27.8 and 29 mag / arcsec2). We measure the surface brightness and colours of the detected streams using GNU Astronomy Utilities software. Results. We identified 16 new stellar tidal streams around Milky Way analogue galaxies at distances between 25 and 40 Mpc. Applying statistical analysis to our findings for the SAGA II galaxy sample, we obtained a frequency of 12.2% +/- 2.4% for stellar streams. We measured surface brightness and colours of the detected streams, and the comparison to the dwarf satellite galaxies population around galaxies belonging to the same SAGA sample shows that the mean colour of the streams is 0.20 mag redder than that of the SAGA satellites; also, the streams are, in average, 0.057 +/- 0.021 mag redder that their progenitor, for those cases when a likely progenitor could be identified.


title: Control-aware Learning of Koopman Embedding Models

abstract: A learning method is proposed for Koopman operator-based models with the goal of improving closed-loop control behavior. A neural network-based approach is used to discover a space of observables in which nonlinear dynamics is linearly embedded. While accurate state predictions can be expected with the use of such complex state-to-observable maps, undesirable side-effects may be introduced when the model is deployed in a closed-loop environment. This is because of modeling or residual error in the linear embedding process, which can manifest itself in a different manner compared to the state prediction. To this end, a technique is proposed to refine the originally trained model with the goal of improving the closed-loop behavior of the model while retaining the state-prediction accuracy obtained in the initial learning. Finally, a simple data sampling strategy is proposed to use inputs deterministically sampled from continuous functions, leading to additional improvements in the controller performance for nonlinear dynamical systems. Several numerical examples are provided to show the efficacy of the proposed method.