title: Distributed Control of Linear Quadratic Mean Field Social Systems with Heterogeneous Agents

abstract: In this paper, we study the social optimality for mean field linear quadratic control systems following the direct approach, where subsystems are coupled via individual dynamics and costs according to a network topology. A graph is introduced to represent the network topology of the large-population system, where nodes represent subpopulations called clusters and edges represent communication relationship. By the direct approach, we first seek the optimal controller under centralized information structure, which characterized by a set of forward-backward stochastic differential equations. Then the feedback controller is obtained with the help of Riccat equations. Finally, we design the distributed controller with mean field approximations, which has the property of asymptotically social optimality.


title: Stackelberg game-based optimal scheduling of integrated energy systems considering differences in heat demand across multi-functional areas

abstract: Demand-side management is very critical in China's energy systems because of its high fossil energy consumption and low system energy efficiency. A building shape factor is introduced in describing the architectural characteristics of different functional areas, which are combined with the characteristics of the energy consumed by users to investigate the features of heating load in different functional areas. A Stackelberg game-based optimal scheduling model is proposed for electro-thermal integrated energy systems, which seeks to maximize the revenue of integrated energy operator (IEO) and minimize the cost of users. Here, IEO and users are the Stackelberg game leader and followers, respectively. The leader uses real-time energy prices to guide loads to participate in demand response, while the followers make energy plans based on price feedback. Using the Karush-Kuhn-Tucker (KKT) condition and the big-M method, the model is transformed into a mixed-integer quadratic programming (MIQP) problem, which is solved by using MATLAB and CPLEX software. The results demonstrate that the proposal manages to balance the interests of IEO and users. Furthermore, the heating loads of public and residential areas can be managed separately based on the differences in energy consumption and building shape characteristics, thereby improving the system operational flexibility and promoting renewable energy consumption.


title: The Classification of Blazars Candidates of Uncertain Types

abstract: In this work, the support vector machine (SVM) method is adopted to separate BL Lacertae objects (BL Lacs) and flat spectrum radio quasars (FSRQs) in the plots of photon spectrum index against the photon flux, $\alpha_{\rm ph} \sim {\rm log}\,F$, that of photon spectrum index against the variability index, $\alpha_{\rm ph} \sim {\rm log}\, \textit{V\!I}$, and that of variability index against the photon flux, ${\rm log}\,{V\!I} \sim {\rm log}\,F$. Then we used the dividing lines to tell BL Lacs from FSRQs in the blazars candidates of uncertain types from \textit{Fermi}/LAT catalogue. Our main conclusions are: 1. We separate BL Lacs and FSRQs by $\alpha_{\rm ph} = -0.123\,{\rm log}\,F + 1.170$ in the $\alpha_{\rm ph} \sim {\rm log}\,F$ plot, $\alpha_{\rm ph} = -0.161\,{\rm log}\,{V\!I} + 2.594$ in the $\alpha_{\rm ph} \sim {\rm log}\,{V\!I}$ plot, and ${\rm log}\,{V\!I} = 0.792\,{\rm log}\,F + 9.203$ in the ${\rm log}\,{V\!I} \sim {\rm log}\,F$ plot. 2. We obtained 932 BL Lac candidates and possible BL Lac candidates, and 585 FSRQ candidates and possible FSRQ candidates. 3. Some discussions are given for comparisons with those in literature.


title: New generalized uncertainty principle with parameter adaptability for the minimum length

abstract: There have been many papers suggesting that the parameter of the generalized uncertainty principle should be negative rather than positive in some specific scenarios, and the negative parameter can remove the minimum length. However, the minimum length is a model-independent feature of quantum gravity and it should not be affected by the specific scenarios. In order to solve this contradiction, we derive a new generalized uncertainty principle to reflect a fixed and unified minimum length in both cases of positive and negative parameters.


title: Linear codes associated with the Desarguesian ovoids in $Q^+(7,q)$

abstract: The Desarguesian ovoids in the orthogonal polar space $Q^+(7,q)$ with $q$ even have first been introduced by Kantor by examining the $8$-dimensional absolutely irreducible modular representations of $\text{PGL}(2,q^3)$. We investigate this module for all prime power values of $q$. The shortest $\text{PGL}(2,q^3)$-orbit $O$ gives the Desarguesian ovoid in $Q^+(7,q)$ for even $q$ and it is known to give a complete partial ovoid of the symplectic polar space $W(7,q)$ for odd~$q$. We determine the hyperplane sections of $O$. As a corollary, we obtain the parameters $[q^3+1,8,q^3-q^2-q]_q$ and the weight distribution of the associated $\mathbb{F}_q$-linear code $C_O$ and the parameters $[q^3+1,q^3-7,5]_q$ of the dual code $C_O^\perp$ for $q \ge 4$. We also show that both codes $C_O$ and $C_O^\perp$ are length-optimal for all prime power values of $q$.


title: Frequency-Volume Optimization of Arch-Dams using Charged System Search Method

abstract: This paper presents a novel multi-objective formulation to investigate optimal shape of double curvature arch dams in dam-reservoir systems considering its volume and natural frequencies. For this purpose, multi-objective charge system search algorithm in combination with multi-criteria tournament decision-making method is utilized. Concrete volume and natural frequencies of dam body are considered as two main objective functions. Numerical modeling and frequency analysis of dam-reservoir system are implemented by developing a parallel-working MATLAB-APDL code. A case study of a well-known arch dam is performed to show the effectiveness and reliability of proposed methodology.


title: Research on Multi-Objective Planning of Electric Vehicle Charging Stations Considering the Condition of Urban Traffic Network

abstract: As an important supporting facility for electric vehicles, the reasonable planning and layout of charging stations are of great significance to the development of electric vehicles. However, the planning and layout of charging stations is affected by various complex factors such as policy economy, charging demand, user charging comfort, and road traffic conditions. How to weigh various factors to construct a reasonable model of charging station location and capacity has become a major difficulty in the field of electric vehicle charging facility planning. Firstly, this paper constructs the location and capacity optimization model of the charging station with the goal of maximizing the revenue of operators and minimizing the user's charging additional cost. At the same time, the road time-consuming index is introduced to quantify the impact of road congestion on the user's charging additional cost, so as to effectively improve the user's satisfaction during charging. Then, aiming at the charging station planning model, a non-dominated sorting genetic algorithm with an elite strategy (NSGA-II) based on chaos initialization and arithmetic crossover operator is proposed. Finally, taking the Haidian District of Beijing as the simulation object, the results show that compared with the situation of urban traffic networks not considered, the model proposed in this paper significantly reduces the cost of lost time of users by 11.4% and the total additional cost of users' charging by 7.6%. It not only ensures the economy of the system, but also effectively improves the charging satisfaction of users, which further verifies the feasibility and effectiveness of the model, and can provide a reference for the planning and layout of charging stations in the future.


title: Spanning tree packing and 2-essential edge-connectivity

abstract: An edge (vertex) cut $X$ of $G$ is $r$-essential if $G-X$ has two components each of which has at least $r$ edges. A graph $G$ is $r$-essentially $k$-edge-connected (resp. $k$-connected) if it has no $r$-essential edge (resp. vertex) cuts of size less than $k$. If $r=1$, we simply call it essential. Recently, Lai and Li proved that every $m$-edge-connected essentially $h$-edge-connected graph contains $k$ edge-disjoint spanning trees, where $k,m,h$ are positive integers such that $k+1\le m\le 2k-1$ and $h\ge \frac{m^2}{m-k}-2$. In this paper, we show that every $m$-edge-connected and $2$-essentially $h$-edge-connected graph that is not a $K_5$ or a fat-triangle with multiplicity less than $k$ has $k$ edge-disjoint spanning trees, where $k+1\le m\le 2k-1$ and $$h\ge f(m,k)=\begin{cases} 2m+k-4+\frac{k(2k-1)}{2m-2k-1}, & m< k+\frac{1+\sqrt{8k+1}}{4}, \\ m+3k-4+\frac{k^2}{m-k}, & m\ge k+\frac{1+\sqrt{8k+1}}{4}. \end{cases}$$ Extending Zhan's result, we also prove that every 3-edge-connected essentially 5-edge-connected and $2$-essentially 8-edge-connected graph has two edge-disjoint spanning trees. As an application, this gives a new sufficient condition for Hamilton-connectedness of line graphs. In 2012, Kaiser and Vr\'ana proved that every 5-connected line graph of minimum degree at least 6 is Hamilton-connected. We allow graphs to have minimum degree 5 and prove that every 5-connected essentially 8-connected line graph is Hamilton-connected.


title: Global RTK Positioning in Graphical State Space

abstract: This paper proposes a new method for RTK post-processing. Different from the traditional forward-backward Kalman filter, in our method, the whole system equation is built on a graphical state space model and solved by factor graph optimization. The position solution provided by the forward Kalman filter is used as the linearization points of the graphical state space model. Constant variables, such as double-difference ambiguity, will exist as constants in the graphical state space model, not as time-series variables. It is shown by experiment results that factor graph optimization with a graphical state space model is more effective than Kalman filter with a traditional discrete-time state space model for RTK post-processing problem.


title: Quantifying French Document Complexity

abstract: Measuring a document's complexity level is an open challenge, particularly when one is working on a diverse corpus of documents rather than comparing several documents on a similar topic or working on a language other than English. In this paper, we define a methodology to measure the complexity of French documents, using a new general and diversified corpus of texts, the "French Canadian complexity level corpus", and a wide range of metrics. We compare different learning algorithms to this task and contrast their performances and their observations on which characteristics of the texts are more significant to their complexity. Our results show that our methodology gives a general-purpose measurement of text complexity in French.


title: Robust 3D Vision for Autonomous Robots

abstract: This paper presents a fault-tolerant 3D vision system for autonomous robotic operation. In particular, pose estimation of space objects is achieved using 3D vision data in an integrated Kalman filter (KF) and an Iterative Closest Point (ICP) algorithm in a closed-loop configuration. The initial guess for the internal ICP iteration is provided by the state estimate propagation of the Kalman filer. The Kalman filter is capable of not only estimating the target's states but also its inertial parameters. This allows the motion of the target to be predictable as soon as the filter converges. Consequently, the ICP can maintain pose tracking over a wider range of velocity due to the increased precision of ICP initialization. Furthermore, incorporation of the target's dynamics model in the estimation process allows the estimator continuously provide pose estimation even when the sensor temporally loses its signal namely due to obstruction. The capabilities of the pose estimation methodology is demonstrated by a ground testbed for Automated Rendezvous & Docking. In this experiment, Neptec's Laser Camera System (LCS) is used for real-time scanning of a satellite model attached to a manipulator arm, which is driven by a simulator according to orbital and attitude dynamics. The results showed that robust tracking of the free-floating tumbling satellite can be achieved only if the Kalman filter and ICP are in a closed-loop configuration.


title: Overparameterization from Computational Constraints

abstract: Overparameterized models with millions of parameters have been hugely successful. In this work, we ask: can the need for large models be, at least in part, due to the \emph{computational} limitations of the learner? Additionally, we ask, is this situation exacerbated for \emph{robust} learning? We show that this indeed could be the case. We show learning tasks for which computationally bounded learners need \emph{significantly more} model parameters than what information-theoretic learners need. Furthermore, we show that even more model parameters could be necessary for robust learning. In particular, for computationally bounded learners, we extend the recent result of Bubeck and Sellke [NeurIPS'2021] which shows that robust models might need more parameters, to the computational regime and show that bounded learners could provably need an even larger number of parameters. Then, we address the following related question: can we hope to remedy the situation for robust computationally bounded learning by restricting \emph{adversaries} to also be computationally bounded for sake of obtaining models with fewer parameters? Here again, we show that this could be possible. Specifically, building on the work of Garg, Jha, Mahloujifar, and Mahmoody [ALT'2020], we demonstrate a learning task that can be learned efficiently and robustly against a computationally bounded attacker, while to be robust against an information-theoretic attacker requires the learner to utilize significantly more parameters.


title: Engineering the Temporal Dynamics with Fast and Slow Materials for All-Optical Switching

abstract: All optical switches offer advanced control over the properties of light at ultrafast timescales using optical pulses as both the signal and the control. Limited only by material response times, these switches can operate at terahertz speeds, essential for technology-driven applications such as all-optical signal processing and ultrafast imaging, as well as for fundamental studies such as frequency translation and novel optical media concepts such as photonic time crystals. In conventional systems, the switching time is determined by the relaxation response of a single active material, which is challenging to adjust dynamically. This work demonstrates that the zero-to-zero response time of an all-optical switch can instead be varied through the combination of so-called fast and slow materials in a single device. When probed in the epsilon-near-zero operational regime of a material with a slow response time, namely, plasmonic titanium nitride, the switch exhibits a relatively slow, nanosecond response time. The response time then decreases reaching the picosecond time scale in the ENZ regime of the faster material, namely, aluminum-doped zinc oxide. Overall, the response time of the switch is shown to vary by two orders of magnitude in a single device and can be selectively controlled through the interaction of the probe signal with the constituent materials. The ability to adjust the switching speed by controlling the light-matter interaction in a multi-material structure provides an additional degree of freedom in all-optical switch design. Moreover, the proposed approach utilizes slower materials that are very robust and allow to enhance the field intensities while faster materials ensure an ultrafast dynamic response. The proposed control of the switching time could lead to new functionalities within key applications in multiband transmission, optical computing, and nonlinear optics.


title: A scalable pipeline for COVID-19: the case study of Germany, Czechia and Poland

abstract: Throughout the coronavirus disease 2019 (COVID-19) pandemic, decision makers have relied on forecasting models to determine and implement non-pharmaceutical interventions (NPI). In building the forecasting models, continuously updated datasets from various stakeholders including developers, analysts, and testers are required to provide precise predictions. Here we report the design of a scalable pipeline which serves as a data synchronization to support inter-country top-down spatiotemporal observations and forecasting models of COVID-19, named the where2test, for Germany, Czechia and Poland. We have built an operational data store (ODS) using PostgreSQL to continuously consolidate datasets from multiple data sources, perform collaborative work, facilitate high performance data analysis, and trace changes. The ODS has been built not only to store the COVID-19 data from Germany, Czechia, and Poland but also other areas. Employing the dimensional fact model, a schema of metadata is capable of synchronizing the various structures of data from those regions, and is scalable to the entire world. Next, the ODS is populated using batch Extract, Transfer, and Load (ETL) jobs. The SQL queries are subsequently created to reduce the need for pre-processing data for users. The data can then support not only forecasting using a version-controlled Arima-Holt model and other analyses to support decision making, but also risk calculator and optimisation apps. The data synchronization runs at a daily interval, which is displayed at https://www.where2test.de.


title: Graphical and numerical diagnostic tools to assess multiple imputation models by posterior predictive checking

abstract: Missing data are often dealt with multiple imputation. A crucial part of the multiple imputation process is selecting sensible models to generate plausible values for incomplete data. A method based on posterior predictive checking is proposed to diagnose imputation models based on posterior predictive checking. To assess the congeniality of imputation models, the proposed diagnostic method compares the observed data with their replicates generated under corresponding posterior predictive distributions. If the imputation model is congenial with the substantive model, the observed data are expected to be located in the centre of corresponding predictive posterior distributions. Simulation and application are designed to investigate the proposed diagnostic method for parametric and semi-parametric imputation approaches, continuous and discrete incomplete variables, univariate and multivariate missingness patterns. The results show the validity of the proposed diagnostic method.


title: Joint distribution properties of Fully Conditional Specification under the normal linear model with normal inverse-gamma priors

abstract: Fully conditional specification (FCS) is a convenient and flexible multiple imputation approach. It specifies a sequence of simple regression models instead of a potential complex joint density for missing variables. However, FCS may not converge to a stationary distribution. Many authors have studied the convergence properties of FCS when priors of conditional models are non-informative. We extend to the case of informative priors. This paper evaluates the convergence properties of the normal linear model with normal-inverse gamma prior. The theoretical and simulation results prove the convergence of FCS and show the equivalence of prior specification under the joint model and a set of conditional models when the analysis model is a linear regression with normal inverse-gamma priors.


title: How to relate potential outcomes: Estimating individual treatment effects under a given specified partial correlation

abstract: In most medical research, the average treatment effect is used to evaluate a treatment's performance. However, precision medicine requires knowledge of individual treatment effects: What is the difference between a unit's measurement under treatment and control conditions? In most treatment effect studies, such answers are not possible because the outcomes under both experimental conditions are not jointly observed. This makes the problem of causal inference a missing data problem. We propose to solve this problem by imputing the individual potential outcomes under a specified partial correlation (SPC), thereby allowing for heterogeneous treatment effects. We demonstrate in simulation that our proposed methodology yields valid inferences for the marginal distribution of potential outcomes. We highlight that the posterior distribution of individual treatment effects varies with different specified partial correlations. This property can be used to study the sensitivity of optimal treatment outcomes under different correlation specifications. In a practical example on HIV-1 treatment data, we demonstrate that the proposed methodology generalises to real-world data. Imputing under the SPC, therefore, opens up a wealth of possibilities for studying heterogeneous treatment effects on incomplete data and the further adaptation of individual treatment effects.


title: BOBA: Byzantine-Robust Federated Learning with Label Skewness

abstract: In federated learning, most existing robust aggregation rules (AGRs) combat Byzantine attacks in the IID setting, where client data is assumed to be independent and identically distributed. In this paper, we address label skewness, a more realistic and challenging non-IID setting, where each client only has access to a few classes of data. In this setting, state-of-the-art AGRs suffer from selection bias, leading to significant performance drop for particular classes; they are also more vulnerable to Byzantine attacks due to the increased variation among gradients of honest clients. To address these limitations, we propose an efficient two-stage method named BOBA. Theoretically, we prove the convergence of BOBA with an error of the optimal order. Our empirical evaluations demonstrate BOBA's superior unbiasedness and robustness across diverse models and datasets when compared to various baselines. Our code is available at https://github.com/baowenxuan/BOBA .


title: Consistency between ordering and clustering methods for graphs

abstract: A relational dataset is often analyzed by optimally assigning a label to each element through clustering or ordering. While similar characterizations of a dataset would be achieved by both clustering and ordering methods, the former has been studied much more actively than the latter, particularly for the data represented as graphs. This study fills this gap by investigating methodological relationships between several clustering and ordering methods, focusing on spectral techniques. Furthermore, we evaluate the resulting performance of the clustering and ordering methods. To this end, we propose a measure called the label continuity error, which generically quantifies the degree of consistency between a sequence and partition for a set of elements. Based on synthetic and real-world datasets, we evaluate the extents to which an ordering method identifies a module structure and a clustering method identifies a banded structure.


title: xCloth: Extracting Template-free Textured 3D Clothes from a Monocular Image

abstract: Existing approaches for 3D garment reconstruction either assume a predefined template for the garment geometry (restricting them to fixed clothing styles) or yield vertex colored meshes (lacking high-frequency textural details). Our novel framework co-learns geometric and semantic information of garment surface from the input monocular image for template-free textured 3D garment digitization. More specifically, we propose to extend PeeledHuman representation to predict the pixel-aligned, layered depth and semantic maps to extract 3D garments. The layered representation is further exploited to UV parametrize the arbitrary surface of the extracted garment without any human intervention to form a UV atlas. The texture is then imparted on the UV atlas in a hybrid fashion by first projecting pixels from the input image to UV space for the visible region, followed by inpainting the occluded regions. Thus, we are able to digitize arbitrarily loose clothing styles while retaining high-frequency textural details from a monocular image. We achieve high-fidelity 3D garment reconstruction results on three publicly available datasets and generalization on internet images.


title: Binary open clusters in the Gaia data

abstract: Context. Observations indicate that the fraction of potential binary star clusters in the Milky Way is either the same or lower than that of the Magellanic Clouds. The unprecedented precision in the parallax measurements by Gaia has allowed for the discovery of a growing number of new binary open clusters (OCs). Aims. We aim to survey the candidates of truly binary open clusters that are formed simultaneously, using information from the Gaia database. Methods. Based on the most recent catalog of open clusters, we investigated the interactions of adjacent binary open clusters in our Galaxy within separations of 50 pc. We compared their coordinates, proper motions, parallaxes, and color-magnitude diagrams(CMDs) via binary plots for all candidate pairs. The candidates of truly binary open clusters are selected on the basis of their common proper motions and consistent behaviors in the CMDs of different clusters that are limited to a separation of 50 pc. Results. About ten pairs of the selected binary open clusters appear to be the same clusters, based on evidence that almost half ofthe cluster members are shared. Fourteen pairs are possibly true binaries, implying that they may come from the same clouds, among which five pairs are newly discovered. In addition, two clusters, UBC 46 and UBC 192, were found to be part of the stellar complex LISCA I. Our results confirm that OCs born in groups are usually composed of young open clusters.


title: Memory efficient Fock-space recursion scheme for computing many-fermion resolvents

abstract: A fundamental roadblock to the exact numerical solution of many-fermion problems is the exponential growth of the Hilbert space with system size. It manifests as extreme dynamical memory and computation-time requirements for simulating many-fermion processes. Here we construct a novel reorganization of the Hilbert space to establish that the exponential growth of dynamical-memory requirement is suppressed inversely with system size in our approach. Consequently, the state-of-the-art resolvent computation can be performed with substantially less memory. The memory-efficiency does not rely on Hamiltonian symmetries, sparseness, or boundary conditions and requires no additional memory to handle long-range density-density interaction and hopping. We provide examples calculations of interacting fermion ground state energy, the many-fermion density of states and few-body excitations in interacting ground states in one and two dimensions.


title: Pseudodifferential arithmetic and Riemann hypothesis: a minimal version

abstract: In the preceding version of this manuscript, we claimed a proof of the Riemann hypothesis. Not surprisingly, we just discovered an error in this attempt. The aims of the present version are the following: first, to save what can be saved and which we consider of interest, especially the development of pseudodifferential arithmetic, a novel chapter of pseudodifferential analysis; next, to locate the error and analyze the (probably disappointing so far as R.H. is concerned) value of the results obtained.


title: TSGN: Transaction Subgraph Networks Assisting Phishing Detection in Ethereum

abstract: Due to the decentralized and public nature of the Blockchain ecosystem, the malicious activities on the Ethereum platform impose immeasurable losses for the users. Existing phishing scam detection methods mostly rely only on the analysis of original transaction networks, which is difficult to dig deeply into the transaction patterns hidden in the network structure of transaction interaction. In this paper, we propose a \underline{T}ransaction \underline{S}ub\underline{G}raph \underline{N}etwork (TSGN) based phishing accounts identification framework for Ethereum. We first extract transaction subgraphs for target accounts and then expand these subgraphs into corresponding TSGNs based on the different mapping mechanisms. In order to make our model incorporate more important information about real transactions, we encode the transaction attributes into the modeling process of TSGNs, yielding two variants of TSGN, i.e., Directed-TSGN and Temporal-TSGN, which can be applied to the different attributed networks. Especially, by introducing TSGN into multi-edge transaction networks, the Multiple-TSGN model proposed is able to preserve the temporal transaction flow information and capture the significant topological pattern of phishing scams, while reducing the time complexity of modeling large-scale networks. Extensive experimental results show that TSGN models can provide more potential information to improve the performance of phishing detection by incorporating graph representation learning.


title: Magnon drag induced by magnon-magnon interactions characteristic of noncollinear magnets

abstract: A noncollinear magnet consists of the magnetic moments forming a noncollinear spin structure. Because of this structure, the Hamiltonian of magnons acquires the cubic terms. Although the cubic terms are the magnon-magnon interactions characteristic of noncollinear magnets, their effects on magnon transport have not been clarified yet. Here we show that in a canted antiferromagnet the cubic terms cause a magnon drag that magnons drag magnon spin current and heat current, which can be used to enhance these currents by tuning a magnetic field. For a strong magnetic field, we find that the cubic terms induce low-temperature peaks of a spin-Seebeck coefficient, a magnon conductivity, and a magnon thermal conductivity, and that each value is one order of magnitude larger than the noninteracting value. This enhancement is mainly due to the magnetic field dependence of the coupling constant of the cubic terms through the magnetic-field dependent canting angle. Our magnon drag offers a way for controlling the magnon currents of noncollinear magnets via the many-body effect.


title: Actor-identified Spatiotemporal Action Detection -- Detecting Who Is Doing What in Videos

abstract: The success of deep learning on video Action Recognition (AR) has motivated researchers to progressively promote related tasks from the coarse level to the fine-grained level. Compared with conventional AR which only predicts an action label for the entire video, Temporal Action Detection (TAD) has been investigated for estimating the start and end time for each action in videos. Taking TAD a step further, Spatiotemporal Action Detection (SAD) has been studied for localizing the action both spatially and temporally in videos. However, who performs the action, is generally ignored in SAD, while identifying the actor could also be important. To this end, we propose a novel task, Actor-identified Spatiotemporal Action Detection (ASAD), to bridge the gap between SAD and actor identification. In ASAD, we not only detect the spatiotemporal boundary for instance-level action but also assign the unique ID to each actor. To approach ASAD, Multiple Object Tracking (MOT) and Action Classification (AC) are two fundamental elements. By using MOT, the spatiotemporal boundary of each actor is obtained and assigned to a unique actor identity. By using AC, the action class is estimated within the corresponding spatiotemporal boundary. Since ASAD is a new task, it poses many new challenges that cannot be addressed by existing methods: i) no dataset is specifically created for ASAD, ii) no evaluation metrics are designed for ASAD, iii) current MOT performance is the bottleneck to obtain satisfactory ASAD results. To address those problems, we contribute to i) annotate a new ASAD dataset, ii) propose ASAD evaluation metrics by considering multi-label actions and actor identification, iii) improve the data association strategies in MOT to boost the MOT performance, which leads to better ASAD results. The code is available at https://github.com/fandulu/ASAD.


title: Virtual Control Group: Measuring Hidden Performance Metrics

abstract: Performance metrics measuring in Financial Integrity systems are crucial for maintaining an efficient and cost effective operation. An important performance metric is False Positive Rate. This metric cannot be directly monitored since we don't know for sure if a user is bad once blocked. We present a statistical method based on survey theory and causal inference methods to estimate the false positive rate of the system or a single blocking policy. We also suggest a new approach of outcome matching that in some cases including empirical data outperformed other commonly used methods. The approaches described in this paper can be applied in other Integrity domains such as Cyber Security.


title: Likelihood-Free Parameter Estimation with Neural Bayes Estimators

abstract: Neural point estimators are neural networks that map data to parameter point estimates. They are fast, likelihood free and, due to their amortised nature, amenable to fast bootstrap-based uncertainty quantification. In this paper, we aim to increase the awareness of statisticians to this relatively new inferential tool, and to facilitate its adoption by providing user-friendly open-source software. We also give attention to the ubiquitous problem of making inference from replicated data, which we address in the neural setting using permutation-invariant neural networks. Through extensive simulation studies we show that these neural point estimators can quickly and optimally (in a Bayes sense) estimate parameters in weakly-identified and highly-parameterised models with relative ease. We demonstrate their applicability through an analysis of extreme sea-surface temperature in the Red Sea where, after training, we obtain parameter estimates and bootstrap-based confidence intervals from hundreds of spatial fields in a fraction of a second.


title: Unveiling the nature of polar-ring galaxies from deep imaging

abstract: General structural properties and low surface brightness tidal features hold important clues to the formation of galaxies. In this paper, we study a sample of polar-ring galaxies (PRGs) based on optical imaging from the Sloan Digital Sky Survey (SDSS) Stripe82 and other deep surveys. We investigate the deepest images of candidates for PRGs to date. We carry out photometric decomposition on the host galaxies and associated polar structures that allows us to derive the structural properties of both components. We are able to detect very faint tidal structures around most PRGs in our sample. For several galaxies, we can directly observe the formation of the polar ring due to merging, which is manifested in debris of the victim galaxy and an arc-like polar structure made up of its material. In a few cases, we can discern signs of tidal accretion. The results obtained indicate that the gravitational interaction and merging of galaxies are the most plausible mechanisms for the formation of polar-ring galaxies.


title: An ordinal analysis of a single stable ordinal

abstract: In this paper we give an ordinal analysis of a set theory extending ${\sf KP}\ell^{r}$ with an axiom stating that `there exists a transitive set $M$ such that $M\prec_{\Sigma_{1}}V$'.


title: Comments on "Channel Coding Rate in the Finite Blocklength Regime": On the Quadratic Decaying Property of the Information Rate Function

abstract: The quadratic decaying property of the information rate function states that given a fixed conditional distribution $p_{\mathsf{Y}|\mathsf{X}}$, the mutual information between the (finite) discrete random variables $\mathsf{X}$ and $\mathsf{Y}$ decreases at least quadratically in the Euclidean distance as $p_\mathsf{X}$ moves away from the capacity-achieving input distributions. It is a property of the information rate function that is particularly useful in the study of higher order asymptotics and finite blocklength information theory, where it was already implicitly used by Strassen [1] and later, more explicitly, by Polyanskiy-Poor-Verd\'u [2]. However, the proofs outlined in both works contain gaps that are nontrivial to close. This comment provides an alternative, complete proof of this property.


title: Nondistributivity of human logic and violation of response replicability effect in cognitive psychology

abstract: The aim of this paper is to promote quantum logic as one of the basic tools for analyzing human reasoning. We compare it with classical (Boolean) logic and highlight the role of violation of the distributive law for conjunction and disjunction. It is well known that nondistributivity is equivalent to incompatibility of logical variables -- the impossibility to assign jointly the two-valued truth values to these variables. A natural question arises as to whether quantum logical nondistributivity in human logic can be tested experimentally. We show that testing the response replicability effect (RRE) in cognitive psychology is equivalent to testing nondistributivity -- under the prevailing conjecture that the mental state update generated by observation is described as orthogonal projection of the mental state vector (the projective update conjecture of Wang and Busemeyer). A simple test of RRE is suggested. In contrast to the previous works in quantum-like modeling, we proceed in the state-dependent framework; in particular, distributivity, compatibility, and RRE are considered in a fixed mental state. In this framework, we improve the previous result on the impossibility to combine question order and response replicability effects by using (von Neumann-L\"uders) projective measurements.


title: Forbidden conductors of L-functions and continued fractions of particular form

abstract: In this paper we study the forbidden values of the conductor $q$ of the $L$-functions of degree 2 in the extended Selberg class by a novel technique, linking the problem to certain continued fractions and to their weight $w_q$. Our basic result states that if an $L$ function with conductor $q$ exists, then the weight $w_q$ is unique in a suitable sense. From this we deduce several results, both of theoretical and computational nature.


title: Impact of the free-streaming neutrinos to the second order induced gravitational waves

abstract: The damping effect of the free-streaming neutrinos on the second order gravitational waves is investigated in detail. We solve the Boltzmann equation and give the anisotropic stress induced by neutrinos to second order. The first order tensor and its coupling with scalar perturbations induced gravitational waves are considered. We give the analytic equations of the damping kernel functions and finally obtain the energy density spectrum. The results show that the free-streaming neutrinos suppress the density spectrum significantly for low frequency gravitational waves and enlarge the logarithmic slope $n$ in the infrared region ($k \ll k_*$) of the spectrum. For the spectrum of $k_*\sim 10^{-7}$Hz, the damping effect in the range of $k<k_*$ is significant. The combined effect of the first and second order could reduce the amplitude by $30\%$ and make $n$ jump from $1.54$ to $1.63$ at $k\sim 10^{-9}$Hz, which may be probed by the pulsar timing arrays (PTA) in the future.


title: Height function localisation on trees

abstract: We study two models of discrete height functions, that is, models of random integer-valued functions on the vertices of a tree. First, we consider the random homomorphism model, in which neighbours must have a height difference of exactly one. The local law is uniform by definition. We prove that the height variance of this model is bounded, uniformly over all boundary conditions (both in terms of location and boundary heights). This implies a strong notion of localisation, uniformly over all extremal Gibbs measures of the system. For the second model, we consider directed trees, in which each vertex has exactly one parent and at least two children. We consider the locally uniform law on height functions which are monotone, that is, such that the height of the parent vertex is always at least the height of the child vertex. We provide a complete classification of all extremal gradient Gibbs measures, and describe exactly the localisation-delocalisation transition for this model. Typical extremal gradient Gibbs measures are localised also in this case. Localisation in both models is consistent with the observation that the Gaussian free field is localised on trees, which is an immediate consequence of transience of the random walk.


title: GASP XXXIX: MeerKAT hunts Jellyfish in A2626

abstract: We present MeerKAT HI observations of six jellyfish candidate galaxies (JFCGs) in the galaxy cluster, A2626. Two of the six galaxies JW100 and JW103, that were identified as JFCGs from B-band images, are confirmed as jellyfish galaxies (JFGs). Both of the JFGs have low HI content, reside in the cluster core, and move at very high velocities ($\sim$ 3$\sigma_{cl}$). The other JFCGs, identified as non-jellyfish galaxies, are HI rich, with HI morphologies revealing warps, asymmetries, and possible tidal interactions. Both the A2626 JFGs and three other confirmed JFGs from the GASP sample show that these galaxies are HI stripped but not yet quenched. We detect HI, Halpha, and CO tails of similar extent ($\sim$ 50 kpc) in JW100. Comparing the multi-phase velocity channels, we do not detect any HI or CO emission in the northern section of the tail where Halpha emission is present, possibly due to prolonged interaction between the stripped gas and the ICM. We also observe an anti-correlation between HI and CO, which hints at an efficient conversion of HI to H2 in the southern part of the tail. We find that both RPS and HI-to-H2 conversion are significant depletion channels for atomic gas. HI-to-H2 conversion is more efficient in the disc than in the tail.


title: Transition from band insulator to Mott insulator and formation of local moment in half-filled ionic SU($N$) Hubbard model

abstract: We investigate the local moment formation in the half-filled SU($N$) Hubbard model under a staggered ionic potential. As the Hubbard $U$ increases, the charge fluctuations are suppressed and eventually frozen when $U$ is above a critical value $U_c$, marking the development of well-defined local moment with integer $m$ fermions on the A-sublattice and $(N-m)$ fermions on the B-sublattice, respectively. We obtain an analytical solution for $U_c$ for the paramagnetic ground state within the variational Gutzwiller approximation and renormalized mean field theory. For large $N$, $U_c$ is found to depend on $N$ linearly with fixed $m/N$, but sublinearly with fixed $m$. The local moment formation is accompanied by a peculiar phase transition from the band insulator to the Mott insulator, where the ionic potential and quasiparticle weight are renormalized to zero simultaneously. Inside the Mott phase, the low energy physics is described by the SU($N$) Heisenberg model with conjugate representations, which is widely studied in the literature.


title: Experimental optimal verification of three-dimensional entanglement on a silicon chip

abstract: High-dimensional entanglement is significant for the fundamental studies of quantum physics and offers unique advantages in various quantum information processing (QIP) tasks. Integrated quantum devices have recently emerged as a promising platform for creating, processing, and detecting complex high-dimensional entangled states. A crucial step towards practical quantum technologies is to verify that these devices work reliably with an optimal strategy. In this work, we experimentally implement an optimal quantum verification strategy on a three-dimensional maximally entangled state using local projective measurements on a silicon photonic chip. A 95% confidence is achieved from 1190 copies to verify the target quantum state. The obtained scaling of infidelity as a function of the number of copies is -0.5497+-0.0002, exceeding the standard quantum limit of -0.5 with 248 standard deviations. Our results indicate that quantum state verification could serve as an efficient tool for complex quantum measurement tasks.


title: Conditional investment strategy in evolutionary trust games with repeated group interactions

abstract: It has a long tradition to study trust behavior among humans or artificial agents by investigating the trust game. Although previous studies based on evolutionary game theory have revealed that trust and trustworthiness can be promoted if network structure or reputation is considered, they often assume that interactions among agents are one-shot and investors do not consider the investment environment before making decisions, which collide with many realistic situations. In this paper, we introduce the conditional investment strategy into the repeated N-player trust game, in which conditional investors decide to invest or not depending on their assessment of the trustworthiness level of the group. By using the approach of the Markov decision process, we study the evolutionary dynamics of trust in repeated group interactions with the conditional investment strategy. We find that conditional investors can form an effective alliance with trustworthy trustees, hence they can sweep out untrustworthy trustees. Moreover, we verify that such alliance can exist in a wide range of model parameters. These results may explain why trusting in others and reciprocating them with trustworthy actions can be sustained in game interactions among intelligent agents.


title: Monomial and Rodrigues orthogonal polynomials on the cone

abstract: We study two families of orthogonal polynomials with respect to the weight function $w(t)(t^2-\|x\|^2)^{\mu-\frac12}$, $\mu > -\frac 12$, on the cone $\{(x,t): \|x\| \le t, \, x \in \mathbb{R}^d, t >0\}$ in $\mathbb{R}^{d+1}$. The first family consists of monomial polynomials $\mathsf{V}_{\mathbf{k},n}(x,t) = t^{n-|\mathbf{k}|} x^\mathbf{k} + \cdots$ for $\mathbf{k} \in \mathbb{N}_0^d$ with $|\mathbf{k}| \le n$, which has the least $L^2$ norm among all polynomials of the form $t^{n-|\mathbf{k}|} x^\mathbf{k} + \mathsf{P}$ with $\deg \mathsf{P} \le n-1$, and we will provide an explicit construction for $\mathsf{V}_{\mathbf{k},n}$. The second family consists of orthogonal polynomials defined by the Rodrigues type formulas when $w$ is either the Laguerre weight or the Jacobi weight, which satisfies a generating function in both cases. The two families of polynomials are partially biorthogonal.


title: Strong transience for one-dimensional Markov chains with asymptotically zero drifts

abstract: For near-critical, transient Markov chains on the non-negative integers in the Lamperti regime, where the mean drift at $x$ decays as $1/x$ as $x \to \infty$, we quantify degree of transience via existence of moments for conditional return times and for last exit times, assuming increments are uniformly bounded. Our proof uses a Doob $h$-transform, for the transient process conditioned to return, and we show that the conditioned process is also of Lamperti type with appropriately transformed parameters. To do so, we obtain an asymptotic expansion for the ratio of two return probabilities, evaluated at two nearby starting points; a consequence of this is that the return probability for the transient Lamperti process is a regularly-varying function of the starting point.


title: Spectral data asymptotics for the higher-order differential operators with distribution coefficients

abstract: In this paper, the asymptotics of the spectral data (eigenvalues and weight numbers) are obtained for the higher-order differential operators with distribution coefficients and separated boundary conditions. Additionally, we consider the case when, for the two boundary value problems, some coefficients of the differential expressions and of the boundary conditions coincide. We estimate the difference of their spectral data in this case. Although the asymptotic behaviour of spectral data is well-studied for differential operators with regular (integrable) coefficients, to the best of the author's knowledge, there were no results in this direction for the higher-order differential operators with distribution coefficients (generalized functions) in a general form. The technique of this paper relies on the recently obtained regularization and the Birkhoff-type solutions for differential operators with distribution coefficients. Our results have applications to the theory of inverse spectral problems as well as a separate significance.


title: Triangulations of prisms and preprojective algebras of type $A$

abstract: We show that indecomposable two-term presilting complexes over $\Pi_{n}$, the preprojective algebra of $A_{n}$, are in bijection with internal $n$-simplices in the prism $\Delta_{n} \times \Delta_{1}$, the product of an $n$-simplex with a 1-simplex. We show further that this induces a bijection between triangulations of $\Delta_{n} \times \Delta_{1}$ and two-term silting complexes over $\Pi_{n}$ such that bistellar flips of triangulations correspond to mutations of two-term silting complexes. These bijections are shown to compatible with the known bijections involving the symmetric group.


title: Assessment of Biomechanical Properties for Corneal Post Refractive Surgery

abstract: A stable shape for corneas experiencing refractive surgery has to be sustained so as to elude post-refractive surgery de-compensation. This de-compensation leads to visual complications and unsatisfactory procedure recovery. Variation in corneal lamellae and collagen fibres is induced by recent LASER refractive surgical procedures utilizing LASER ablation and disruption techniques. Conserving a steady response of central apex flattening and peripheral steepening in an elastic cornea pre- and post- procedure is the ultimate purpose of successful refractive surgery. Early diagnosis of ectatic corneal disorders and better understanding of corneal pathogenesis is achieved by assessment of corneal biomechanical properties. The ultimate objective of this research is to estimate the biomechanical properties for both normal and pathogenic corneal tissue pre- and post-operative refractive surgery. This achieved using ultrasonic acoustic radiation force impulse as a non-invasive method accounting for its high localization. Induced displacement tracking methods will be utilized for assessment of soft tissue biomechanical properties related to the investigated soft tissue. Ultrasound probe simulations will be carried out to optimize the probe design. FEM simulations will take place to precisely estimate in-situ corneal tissue biomechanics. In this research, corneal biomechanical properties are studied and estimated using acoustic radiation force impulse. This is achieved either by estimating the focal peak axial deformation value or by estimating the shear wave speed for the resulting propagating deformation wave.


title: Tensor Decomposition based Personalized Federated Learning

abstract: Federated learning (FL) is a new distributed machine learning framework that can achieve reliably collaborative training without collecting users' private data. However, due to FL's frequent communication and average aggregation strategy, they experience challenges scaling to statistical diversity data and large-scale models. In this paper, we propose a personalized FL framework, named Tensor Decomposition based Personalized Federated learning (TDPFed), in which we design a novel tensorized local model with tensorized linear layers and convolutional layers to reduce the communication cost. TDPFed uses a bi-level loss function to decouple personalized model optimization from the global model learning by controlling the gap between the personalized model and the tensorized local model. Moreover, an effective distributed learning strategy and two different model aggregation strategies are well designed for the proposed TDPFed framework. Theoretical convergence analysis and thorough experiments demonstrate that our proposed TDPFed framework achieves state-of-the-art performance while reducing the communication cost.


title: An Automated Analyzer for Financial Security of Ethereum Smart Contracts

abstract: At present, millions of Ethereum smart contracts are created per year and attract financially motivated attackers. However, existing analyzers do not meet the need to precisely analyze the financial security of large numbers of contracts. In this paper, we propose and implement FASVERIF, an automated analyzer for fine-grained analysis of smart contracts' financial security. On the one hand, FASVERIF automatically generates models to be verified against security properties of smart contracts. On the other hand, our analyzer automatically generates the security properties, which is different from existing formal verifiers for smart contracts. As a result, FASVERIF can automatically process source code of smart contracts, and uses formal methods whenever possible to simultaneously maximize its accuracy. We evaluate FASVERIF on a vulnerabilities dataset by comparing it with other automatic tools. Our evaluation shows that FASVERIF greatly outperforms the representative tools using different technologies, with respect to accuracy and coverage of types of vulnerabilities.


title: Kuchibashi: 3D-Printed Tweezers Bioinspired by the New Caledonian Crow's Beak

abstract: In this study we implemented Kuchibashi, the New Caledonian Crow beak-like tweezers, and conducted a user study to evaluate the prototype's usability. We proved that Kuchibashi is superior in interacting with large spherical objects than hands and tweezers. Also, impressions of security and safeness were perceived positively by the participants.


title: Reduction mod. 2 of del Pezzo lattices

abstract: For an even lattice L , the form v --> (v.v)/2 induces a quadratic form q on the (Z/2)-vector space L/2L . For the lattices associated to some particular root systems, we show that reduction mod. 2 induces a bijection between the roots of L and the vectors of L/2L with q=1 , and an isomorphism of O(L)/<-1> onto O(L/2L).


title: Design of the new CHARA instrument SILMARIL: pushing the sensitivity of a 3-beam combiner in the H- and K-bands

abstract: Optical interferometry is a powerful technique to achieve high angular resolution. However, its main issue is its lack of sensitivity, compared to other observation techniques. Efforts have been made in the previous decade to improve the sensitivity of optical interferometry, with instruments such as PIONIER and GRAVITY at VLTI, or MIRC-X and MYSTIC at CHARA. While those instruments pushed on sensitivity, their design focus was not the sensitivity but relative astrometric accuracy, imaging capability, or spectral resolution. Our goal is to build an instrument specifically designed to optimize for sensitivity. This meant focusing our design efforts on different parts of the instrument and investigating new technologies and techniques. First, we make use of the low-noise C-RED One camera using e-APD technology and provided by First Light Imaging, already used in the improvement of sensitivity in recent new instruments. We forego the use of single-mode fibers but still favor an image plane design that offers more sensitivity than a pupil plane layout. We also use a minimum number of optical elements to maximize the throughput of the design, using a long focal length cylindrical mirror. We chose to limit our design to 3 beams, to have the capability to obtain closure phases, but not dilute the incoming flux in more beam combinations. We also use in our design an edge filter to have the capability to observe H- and K-band at the same time. We use a low spectral resolution, allowing for group delay fringe tracking but maximizing the SNR of the fringes for each spectral channel. All these elements will lead to a typical limiting magnitude between 10 and 11 in both H- and K-bands.


title: Uniformly Sampled Polar and Cylindrical Grid Approach for 2D, 3D Image Reconstruction using Algebraic Algorithm

abstract: Image reconstruction by Algebraic Methods (AM) outperforms the transform methods in situations where the data collection procedure is constrained by time, space, and radiation dose. AM algorithms can also be applied for the cases where these constraints are not present but their high computational and storage requirement prohibit their actual breakthrough in such cases. In the present work, we propose a novel Uniformly Sampled Polar/Cylindrical Grid (USPG/USCG) discretization scheme to reduce the computational and storage burden of algebraic methods. The symmetries of USPG/USCG are utilized to speed up the calculations of the projection coefficients. In addition, we also offer an efficient approach for USPG to Cartesian Grid (CG) transformation for the visualization. The Multiplicative Algebraic Reconstruction Technique (MART) has been used to determine the field function of the suggested grids. Experimental projections data of a frog and Cu-Lump have been exercised to validate the proposed approach. A variety of image quality measures have been evaluated to check the accuracy of the reconstruction. Results indicate that the current strategies speed up (when compared to CG-based algorithms) the reconstruction process by a factor of 2.5 and reduce the memory requirement by the factor p, the number of projections used in the reconstruction.


title: Ensemble dependence of the critical behavior of a system with long-range interaction and quenched randomness

abstract: We propose a hybrid model governed by the Blume-Emery-Griffiths (BEG) Hamiltonian with a mean-field-like interaction, where the spins are randomly quenched such that some of them are "pure" Ising and the others admit the BEG set of states. It is found, by varying the concentration of the Ising spins, that the model displays different phase portraits in concentration-temperature parameter space, within the canonical and the microcanonical ensembles. Phenomenological indications that these portraits are rich and rather unusual are provided.


title: Grid-Forming Loads: Can the loads be in charge of forming the grid in modern power systems?

abstract: Modern power systems are facing the tremendous challenge of integrating vast amounts of variable (non-dispatchable) renewable generation capacity, such as solar photovoltaic or wind power. In this context, the required power system flexibility needs to be allocated in other units that can include energy storage, demand management or providing reserve from renewables curtailing the output power. The present paper proposes the new concept of grid-forming load, which can be considered a totally flexible concept of demand. The concept is not only ensuring the load is supporting the grid stability by adapting the load to the overall system balancing, but also ensures that the load is actually contributing to form the grid and to provide synchronization power to the overall system. In this sense, the new concept allows running a system powered only by renewables operating at maximum power (or operator defined set-point) in grid-following mode, while the overall system control is ubicated in the demand side. This is an important change of paradigm as it considers that all the flexibility, synchronism and stability provision is on the demand side. This concept can applied either to isolated systems or also to future power systems, where millions of loads steer the power system while the renewables are operating at full power. The paper proposes the concept, suggests possible control implementations of the grid-forming load and analyses the concept in four simulation case studies.


title: Anti-Retroactive Interference for Lifelong Learning

abstract: Humans can continuously learn new knowledge. However, machine learning models suffer from drastic dropping in performance on previous tasks after learning new tasks. Cognitive science points out that the competition of similar knowledge is an important cause of forgetting. In this paper, we design a paradigm for lifelong learning based on meta-learning and associative mechanism of the brain. It tackles the problem from two aspects: extracting knowledge and memorizing knowledge. First, we disrupt the sample's background distribution through a background attack, which strengthens the model to extract the key features of each task. Second, according to the similarity between incremental knowledge and base knowledge, we design an adaptive fusion of incremental knowledge, which helps the model allocate capacity to the knowledge of different difficulties. It is theoretically analyzed that the proposed learning paradigm can make the models of different tasks converge to the same optimum. The proposed method is validated on the MNIST, CIFAR100, CUB200 and ImageNet100 datasets.


title: Effect of twin boundaries on the strength of body-centered cubic tungsten nanowires

abstract: Twin boundaries (TBs) are assumed to be obstacles to dislocation motion and increase the strength of metals. Here, we report the abnormal phenomenon that TBs reduce the strength of body-centered cubic (BCC) tungsten (W). [1-11]-oriented W nanowires with (121) twin planes and free of dislocations were fabricated by chemical vapor deposition. In situ tensile tests within the transmission electron microscope were performed on single-crystal and twinned W nanowires. The fracture strength of the twinned W nanowire was 13.7 GPa, 16% lower than that of the single-crystal W nanowire (16.3 GPa). The weakening mechanism of the TB was revealed by a combination of atomic-resolution characterizations and atomistic simulations. Twinned W nanowires failed by the early nucleation of a crack at the intersection of the TB with the surface. The standard strengthening mechanism by dislocation/TB interaction was not operative in W because the high Peierls barrier and stacking fault energy in W hinder dislocation nucleation and glide. These findings provide a new insight into the influence of TBs on the mechanical properties of BCC metals.


title: Change in spin-down rate and detection of emission line in HMXB 4U 2206+54 with AstroSat observation

abstract: This work presents timing and spectral analysis of 4U 2206+54 using data obtained from LAXPC instrument onboard India's AstroSat mission. This source was observed with AstroSat in September 2016 and October 2016. We report detection of $5648 (4)$ s pulsations at MJD 57669 in the latter observation of 4U 2206+54. The pulse profile is sinusoidal and the inherent shape is independent of energy up to 30 keV. The pulse fraction increases with energy from $\sim 0.5$% to $\sim 0.8$%. We report an updated spin down rate of $2.95 (14) \times 10^{-7}$ s s$^{-1}$. This is about 0.40 times smaller than the previously reported long term value. The energy spectrum is best modelled with an absorbed power-law with high energy exponential cut-off. We have detected presence of broad emission line in 4U 2206+54 at an energy of $7$ keV with equivalent width of $\sim 0.4$ keV.


title: SR-DCSK Cooperative Communication System with Code Index Modulation: A New Design for 6G New Radios

abstract: This paper proposes a high-throughput short reference differential chaos shift keying cooperative communication system with the aid of code index modulation, referred to as CIM-SR-DCSK-CC system. In the proposed CIM-SR-DCSK-CC system, the source transmits information bits to both the relay and destination in the first time slot, while the relay not only forwards the source information bits but also sends new information bits to the destination in the second time slot. To be specific, the relay employs an $N$-order Walsh code to carry additional ${{\log }_{2}}N$ information bits, which are superimposed onto the SR-DCSK signal carrying the decoded source information bits. Subsequently, the superimposed signal carrying both the source and relay information bits is transmitted to the destination. Moreover, the theoretical bit error rate (BER) expressions of the proposed CIM-SR-DCSK-CC system are derived over additive white Gaussian noise (AWGN) and multipath Rayleigh fading channels. Compared with the conventional DCSK-CC system and SR-DCSK-CC system, the proposed CIM-SR-DCSK-CC system can significantly improve the throughput without deteriorating any BER performance. As a consequence, the proposed system is very promising for the applications of the 6G-enabled low-power and high-rate communication.


title: Gaia DR2 and EDR3 data and evolutionary status of post-AGB stars with high radial velocities

abstract: Using the Gaia DR2 and EDR3 data and list of post-AGB candidates, we investigate the parallax, proper motion and binarity for twenty post-AGB stars and candidates having high radial velocities. From their Gaia distances their luminosities and kinematics are derived. The evolutionary status of these stars is discussed from their location on the post-AGB evolutionary tracks. Nine stars are confirmed to be post-AGB stars that have their initial main-sequence mass around one or two solar masses. From their kinematics information, two objects among them are identified to clearly belong to the halo population, suggesting that low-mass. We discuss on the origin and evolutionary status of other objects in the sample of this work with high radial velocities.


title: Generally-Altered, -Inflated, -Truncated and -Deflated Regression, With Application to Heaped and Seeped Data

abstract: Models such as the zero-inflated and zero-altered Poisson and zero-truncated binomial are well-established in modern regression analysis. We propose a super model that jointly and maximally unifies alteration, inflation, truncation and deflation for counts, given a 1- or 2-parameter parent (base) distribution. Seven disjoint sets of special value types are accommodated because all but truncation have parametric and nonparametric variants. Some highlights include: (i) the mixture distribution is exceeding flexible, e.g., up to seven modes; (ii) under-, equi- and over-dispersion can be handled using a negative binomial (NB) parent, with underdispersion handled by a novel Generally-Truncated-Expansion method; (iii) overdispersion can be studied holistically in terms of the four operators; (iv) an important application: heaped and seeped data from retrospective self-reported surveys are readily handled, e.g., spikes and dips which are located virtually anywhere; (v) while generally-altered regression explains why observations are there, generally-inflated regression accounts for why they are there in excess, and generally-deflated regression explains why observations are not there; (vi) the VGAM R package implements the methodology based on Fisher scoring and multinomial logit model (Poisson, NB, zeta and logarithmic parents are implemented.) The GAITD-NB has potential to become the Swiss army knife of count distributions.


title: Magnetic bond-order potential for iron-cobalt alloys

abstract: For large-scale atomistic simulations of magnetic materials, the interplay of atomic and magnetic degrees of freedom needs to be described with high computational efficiency. Here we present an analytic bond-order potential (BOP) for iron-cobalt, an interatomic potential based on a coarse-grained description of the electronic structure. We fitted BOP parameters to magnetic and non-magnetic density-functional theory (DFT) calculations of Fe, Co, and Fe-Co bulk phases. Our BOP captures the electronic structure of magnetic and non-magnetic Fe-Co phases. It provides accurate predictions of structural stability, elastic constants, phonons, point and planar defects, and structural transformations. It also reproduces the DFT-predicted sequence of stable ordered phases peculiar to Fe-Co and the stabilization of B2 against disordered phases by magnetism. Our Fe-Co BOP is suitable for atomistic simulations with thousands and millions of atoms.


title: Generalized Volterra type integral operators on large Bergman spaces

abstract: Let $\phi$ be an analytic self-map of the open unit disk $\mathbb{D}$ and $g$ analytic in $\mathbb{D}$. We characterize boundedness and compactness of generalized Volterra type integral operators $$GI_{(\phi,g)}f(z)= \int_{0}^{z}f'(\phi(\xi))\,g(\xi)\, d\xi $$ and $$GV_{ (\phi, g)}f(z)= \int_{0}^{z} f(\phi(\xi))\,g(\xi)\, d\xi, $$ acting between large Bergman spaces $A^p_\omega$ and $A^q_\omega$ for $0<p,q\le \infty$. To prove our characterizations, which involve Berezin type integral transforms, we use the Littlewood-Paley formula of Constantin and Pel\'aez and establish corresponding embedding theorems, which are also of independent interest. When $\phi(z) = z$, our results for $GV_{(\phi,g)}$ complement the descriptions of Pau and Pel\'aez.


title: Deep Kernel Learning of Dynamical Models from High-Dimensional Noisy Data

abstract: This work proposes a Stochastic Variational Deep Kernel Learning method for the data-driven discovery of low-dimensional dynamical models from high-dimensional noisy data. The framework is composed of an encoder that compresses high-dimensional measurements into low-dimensional state variables, and a latent dynamical model for the state variables that predicts the system evolution over time. The training of the proposed model is carried out in an unsupervised manner, i.e., not relying on labeled data. Our learning method is evaluated on the motion of a pendulum -- a well studied baseline for nonlinear model identification and control with continuous states and control inputs -- measured via high-dimensional noisy RGB images. Results show that the method can effectively denoise measurements, learn compact state representations and latent dynamical models, as well as identify and quantify modeling uncertainties.


title: Paraconsistent logic and query answering in inconsistent databases

abstract: This paper concerns the paraconsistent logic LPQ$^{\supset,\mathsf{F}}$ and an application of it in the area of relational database theory. The notions of a relational database, a query applicable to a relational database, and a consistent answer to a query with respect to a possibly inconsistent relational database are considered from the perspective of this logic. This perspective enables among other things the definition of a consistent answer to a query with respect to a possibly inconsistent database without resort to database repairs. In a previous paper, LPQ$^{\supset,\mathsf{F}}$ is presented with a sequent-style natural deduction proof system. In this paper, a sequent calculus proof system is presented because it is common to use a sequent calculus proof system as the basis of proof search procedures and such procedures may form the core of algorithms for computing consistent answers to queries.


title: Indirect exclusion can promote cooperation in repeated group interactions

abstract: Social exclusion has been regarded as one of the most effective measures to promote the evolution of cooperation. In real society, the way in which social exclusion works can be direct or indirect. However, thus far there is no related work to explore how indirect exclusion influences the evolution of cooperation from a theoretical perspective. Here, we introduce indirect exclusion into the repeated public goods game where the game organizer probabilistically selects cooperators after the first game round to participate in the following possible game interactions. We then investigate the evolutionary dynamics of cooperation both in infinite and finite well-mixed populations. Through theoretical analysis and numerical calculations, we find that the introduction of indirect exclusion can induce the stable coexistence of cooperators and defectors or the dominance of cooperators, which thus effectively promotes the evolution of cooperation. Besides, we show that the identifying probability of the organizer has a nonlinear effect on public cooperation when its value is lower than an intermediate value, while the higher identifying probability can maintain a high level of cooperation. Furthermore, our results show that increasing the average rounds of game interactions can effectively promote the evolution of cooperation.


title: Normalized ground state solutions of nonlinear Schr\"odinger equations involving exponential critical growth

abstract: We are concerned with the following nonlinear Schr\"odinger equation \begin{eqnarray*} \begin{aligned} \begin{cases} -\Delta u+\lambda u=f(u) \ \ {\rm in}\ \mathbb{R}^{2},\\ u\in H^{1}(\mathbb{R}^{2}),~~~ \int_{\mathbb{R}^2}u^2dx=\rho, \end{cases} \end{aligned} \end{eqnarray*} where $\rho>0$ is given, $\lambda\in\mathbb{R}$ arises as a Lagrange multiplier and $f$ satisfies an exponential critical growth. Without assuming the Ambrosetti-Rabinowitz condition, we show the existence of normalized ground state solutions for any $\rho>0$. The proof is based on a constrained minimization method and the Trudinger-Moser inequality in $\mathbb{R}^2$.


title: Regular black holes in Verlinde's emergent gravity

abstract: In this paper, we construct a class of charged and regular black hole solutions in Verlinde's Emergent Gravity (VEG). In particular, these solutions include, black holes with asymptotically Minkowski core, T-duality, Frolov/Simpson-Visser type solutions, as well as the Bardeen/Hayward type solutions as a special case. Using the relation between the apparent dark matter and the baryonic matter we find the effect of apparent dark matter on the spacetime geometry. We show that in general, the apparent dark matter leads to non-asymptotically flat spacetime geometry and, in the special limit of a point like mass distribution, all the black hole solutions in VEG resembles the global monopole-like solution with a deficit angle. To this end, we extend the solutions by including the cosmological constant (de Sitter space) and we elaborate different energy conditions of black hole solutions. Finally, having in mind that the Einstein's field equation are not modified in this theory while the apparent dark matter is encoded in the energy-momentum tensor, we used the modified Newman--Janis-Azreg-A\"inou algorithm to obtain the corresponding effective rotating metrics.


title: Marine Integrated Energy Microgrids

abstract: Marine sector decarbonization is another important battlefield for meeting the goal of climate action and ensuring the fulfillment of ambitions for a zero-emission society. Driven immediately by the policy incentives such as Energy Efficiency Design Index (EEDI) from International Maritime Organization(IMO), carbon taxation and labeling, a series of innovations centered around marine transportation are emerging from both industry and academia. As an efficient energy system form, the microgrid is playing an increasingly important role as the system constitution form for various marine energy systems. With specific concern about multi-energy integrations, the conventional definition of the microgrid needs also to be extended for an integrated energy system. In this paper, we will first introduce the extended concept of the microgrid as an integrated energy system and its applications in the marine sector, and then present the state of the art for the control, operation, and system integration for it and its clusters. The challenges and opportunities for marine integrated energy microgrids will also be discussed to shed light on future research.


title: CodeToon: Story Ideation, Auto Comic Generation, and Structure Mapping for Code-Driven Storytelling

abstract: Recent work demonstrated how we can design and use coding strips, a form of comic strips with corresponding code, to enhance teaching and learning in programming. However, creating coding strips is a creative, time-consuming process. Creators have to generate stories from code (code->story) and design comics from stories (story->comic). We contribute CodeToon, a comic authoring tool that facilitates this code-driven storytelling process with two mechanisms: (1) story ideation from code using metaphor and (2) automatic comic generation from the story. We conducted a two-part user study that evaluates the tool and the comics generated by participants to test whether CodeToon facilitates the authoring process and helps generate quality comics. Our results show that CodeToon helps users create accurate, informative, and useful coding strips in a significantly shorter time. Overall, this work contributes methods and design guidelines for code-driven storytelling and opens up opportunities for using art to support computer science education.


title: Relatively projective pro-$p$ groups

abstract: It is known that the Kurosh Subgroup Theorem does not hold for pro-$p$ groups of big cardinality. However, a subgroup $G$ of a free pro-$p$ product is projective relative to the Kurosh family of subgroups. In this paper we prove the converse of this fact.


title: BlueTiSCH: A Multi-PHY Simulation of Low-Power 6TiSCH IoT Networks

abstract: Low-power wireless IoT networks have traditionally operated over a single physical layer (PHY) -- many based on the IEEE 802.15.4 standard. However, recent low-power wireless chipsets offer both the IEEE 802.15.4 and all four PHYs of the Bluetooth 5 (BT 5) standard. This introduces the intriguing possibility that IoT solutions might not necessarily be bound by the limits of a single PHY, and could actively or proactively adapt their PHY depending on RF or networking conditions (e.g., to offer a higher throughput or a longer radio range). Several recent studies have explored such use-cases. However, these studies lack comprehensive evaluation over various metrics (such as reliability, latency, and energy) with regards to scalability and the Radio Frequency (RF) environment. In this work we evaluate the performance of IEEE 802.15.4 and the four BT 5 2.4GHz PHY options for the recently completed IETF 6TiSCH low-power wireless standard. To the best of our knowledge, this is the first work to directly compare these PHYs in identical settings. Specifically, we use a recently released 6TiSCH simulator, TSCH-Sim, to compare these PHY options in networks of up to 250 nodes over different RF environments (home, industrial, and outdoor), and highlight from these results how different PHY options might be better suited to particular application use-cases.


title: Si plate radius influence on the photoacoustic signal processed by neural networks

abstract: The effect of the sample radius on the total photoacoustic signal processed by neural networks trained with undistorded and distorded signals is carefully analized for modulation frequencies from 20 to 20 kHz. This is done for signals generated for a 400micrometers thick Si n-type plate, whose radius varies from 2 to 7 mm. It is found that the networks trained with both undistorded or distorded signals yield the best predictions for sample radii between 2 and 3 mm, which is close to the used microphone aperture radius of 1.5 mm. The network trained only with undistorted signals gives the best results for sample radii comparable to the microphone dimensions. The obtained results justify the validity of a theoretical model derived for a sample radius equals to the microphone aperture and indicate the experimental necessity to use samples with radii comparable to this aperture.


title: The profinite completion of accessible groups

abstract: We introduce a class $\A$ of finitely generated residually finite accessible groups with some natural restriction on one-ended vertex groups in their JSJ-decompositions. We prove that the profinite completion of groups in $\A$ almost detects its JSJ-decomposition and compute the genus of free products of groups in $\A$.


title: 6D Robotic Assembly Based on RGB-only Object Pose Estimation

abstract: Vision-based robotic assembly is a crucial yet challenging task as the interaction with multiple objects requires high levels of precision. In this paper, we propose an integrated 6D robotic system to perceive, grasp, manipulate and assemble blocks with tight tolerances. Aiming to provide an off-the-shelf RGB-only solution, our system is built upon a monocular 6D object pose estimation network trained solely with synthetic images leveraging physically-based rendering. Subsequently, pose-guided 6D transformation along with collision-free assembly is proposed to construct any designed structure with arbitrary initial poses. Our novel 3-axis calibration operation further enhances the precision and robustness by disentangling 6D pose estimation and robotic assembly. Both quantitative and qualitative results demonstrate the effectiveness of our proposed 6D robotic assembly system.


title: HiStore: Rethinking Hybrid Index in RDMA-based Key-Value Store

abstract: RDMA (Remote Direct Memory Access) is widely exploited in building key-value stores to achieve ultra low latency. In RDMA-based key-value stores, the indexing time takes a large fraction (up to 74%) of the overall operation latency as RDMA enables fast data accesses. However, the single index structure used in existing RDMA-based key-value stores, either hash-based or sorted index, fails to support range queries efficiently while achieving high performance for single-point operations. In this paper, we reconsider the adoption of hybrid index in the key-value stores based on RDMA, to combine the benefits of hash table and sorted index. We propose HiStore, an RDMA-based key-value store using hash table for single-point lookups and leveraging skiplist for range queries. To maintain strong consistency in a lightweight and efficient approach, HiStore introduces index groups where a skiplist corresponds to a hash table, and asynchronously applies updates to the skiplist within a group. Guided by previous work on using RDMA for key-value services, HiStore dedicatedly chooses different RDMA primitives to optimize the read and write performance. Furthermore, HiStore tolerates the failures of servers that maintain index structures with index replication for high availability. Our evaluation results demonstrate that HiStore improves the performance of both GET and SCAN operations (by up to 2.03x) with hybrid index.


title: Optomechanical-interface-induced strong spin-magnon coupling

abstract: Strong long-distance spin-magnon coupling is essential for solid-state quantum information processing and single qubit manipulation. Here, we propose an approach to realize strong spin-magnon coupling in a hybrid optomechanical cavity-spin-magnon system, where the optomechanical system, consisting of two cavities coupled to a common high-frequency mechanical resonator, acts as quantum interface. By eliminating the mechanical mode, a position-position coupling and two-mode squeezing of two cavities are induced. In the squeezing presentation, the spin-photon, magnon-photon and photon-photon coupling strengths are exponentially amplified, thus lower- and upper-branch polaritons (LBP and UBP) are generated by strongly coupled squeezed modes of two cavities. Utilizing the critical property of the LBP, the coupling between the spin qubit (magnon) and LBP is greatly enhanced, while the coupling between the spin qubit (magnon) and UBP is fully suppressed. In the dispersive regime, strong and tunable spin-magnon coupling is induced by the virtual LBP, allowing quantum state exchange between them. Our proposal provides a promising platform to construct magnon-based hybrid systems and realize solid-state quantum information processing with optomechanical interfaces.


title: Quantum Langevin Equation of a spin in a magnetic field : an analysis

abstract: We derive a quantum Langevin equation for a quantum spin in the presence of a magnetic field and study its dynamics in the Markovian limit using the Ohmic bath model. We extend our analysis to the Drude bath with a finite memory. We study the time evolution of the expectation values of the magnetic moments. The spin auto-correlation functions exhibit a damped oscillatory behaviour with the randomization time being determined by the damping rate and also the memory time for the Drude bath model. We also analyse the spin response function of the system for the Ohmic bath model. Our results are consistent with findings in cold atom experiments. In addition we make predictions which can be tested in future ultra cold atom experiments.


title: A restricted eigenvalue condition for unit-root non-stationary data

abstract: In this paper, we develop a restricted eigenvalue condition for unit-root non-stationary data and derive its validity under the assumption of independent Gaussian innovations that may be contemporaneously correlated. The method of proof relies on matrix concentration inequalities and offers sufficient flexibility to enable extensions of our results to alternative time series settings. As an application of this result, we show the consistency of the lasso estimator on ultra high-dimensional cointegrated data in which the number of integrated regressors may grow exponentially in relation to the sample size.


title: Sub-mW Neuromorphic SNN audio processing applications with Rockpool and Xylo

abstract: Spiking Neural Networks (SNNs) provide an efficient computational mechanism for temporal signal processing, especially when coupled with low-power SNN inference ASICs. SNNs have been historically difficult to configure, lacking a general method for finding solutions for arbitrary tasks. In recent years, gradient-descent optimization methods have been applied to SNNs with increasing ease. SNNs and SNN inference processors therefore offer a good platform for commercial low-power signal processing in energy constrained environments without cloud dependencies. However, to date these methods have not been accessible to ML engineers in industry, requiring graduate-level training to successfully configure a single SNN application. Here we demonstrate a convenient high-level pipeline to design, train and deploy arbitrary temporal signal processing applications to sub-mW SNN inference hardware. We apply a new straightforward SNN architecture designed for temporal signal processing, using a pyramid of synaptic time constants to extract signal features at a range of temporal scales. We demonstrate this architecture on an ambient audio classification task, deployed to the Xylo SNN inference processor in streaming mode. Our application achieves high accuracy (98%) and low latency (100ms) at low power (<100$\mu$W inference power). Our approach makes training and deploying SNN applications available to ML engineers with general NN backgrounds, without requiring specific prior experience with spiking NNs. We intend for our approach to make Neuromorphic hardware and SNNs an attractive choice for commercial low-power and edge signal processing applications.


title: Assessing the robustness of sound horizon-free determinations of the Hubble constant

abstract: The Hubble tension can be addressed by modifying the sound horizon ($r_s$) before recombination, triggering interest in $r_s$-free early-universe estimates of the Hubble constant, $H_0$. Constraints on $H_0$ from an $r_s$-free analysis of the full shape BOSS galaxy power spectra within LCDM were recently reported and used to comment on the viability of physics beyond LCDM. Here we demonstrate that $r_s$-free analyses with current data depend on the model and the priors placed on the cosmological parameters, such that LCDM analyses cannot be used as evidence for or against new physics. We find that beyond-LCDM models which introduce additional energy density with significant pressure support, such as early dark energy (EDE) or additional neutrino energy density ($\Delta N_{\rm eff}$), lead to larger values of $H_0$. On the other hand, models which only affect the time of recombination, such as a varying electron mass ($\Delta m_e$), produce $H_0$ constraints similar to LCDM. Using BOSS data, constraints from light element abundances, cosmic microwave background (CMB) lensing, a CMB-based prior on the scalar amplitude ($A_s$), spectral index ($n_s$), and $\Omega_m$ from the Pantheon+ supernovae data set, we find that in LCDM, $H_0=64.9\pm 2.2$ km/s/Mpc; EDE, $H_0=68.7^{+3}_{-3.9}$; $\Delta N_{\rm eff}$, $H_0=68.1^{+2.7}_{-3.8}$; $\Delta m_e$, $H_0=64.7^{+1.9}_{-2.3}$. Using a prior on $\Omega_m$ from uncalibrated BAO and CMB measurements of the projected sound horizon, these values become in LCDM, $H_0=68.8^{+1.8}_{-2.1}$; EDE, $H_0=73.7^{+3.2}_{-3.9}$; $\Delta N_{\rm eff}$, $H_0=72.6^{+2.8}_{-3.7}$; $\Delta m_e$, $H_0=68.8\pm 1.9$. With current data, none of the models are in significant tension with SH0ES, and consistency tests based on comparing $H_0$ posteriors with and without $r_s$ marginalization are inconclusive with respect to the viability of beyond LCDM models.


title: Hawking Temperature as the Total Gauss-Bonnet Invariant of the Region Outside a Black Hole

abstract: We provide two novel ways to compute the surface gravity ($\kappa$) and the Hawking temperature $(T_{H})$ of a stationary black hole: in the first method $T_{H}$ is given as the three-volume integral of the Gauss-Bonnet invariant (or the Kretschmann scalar for Ricci-flat metrics) in the total region outside the event horizon; in the second method it is given as the surface integral of the Riemann tensor contracted with the covariant derivative of a Killing vector on the event horizon. To arrive at these new formulas for the black hole temperature (and the related surface gravity), we first construct a new differential geometric identity using the Bianchi identity and an antisymmetric rank-$2$ tensor, valid for spacetimes with at least one Killing vector field. The Gauss-Bonnet tensor and the Gauss-Bonnet scalar play a particular role in this geometric identity. We calculate the surface gravity and the Hawking temperature of the Kerr and the extremal Reissner-Nordstr\"om holes as examples.


title: Bragg Coherent Modulation Imaging for Highly Strained Nanocrystals-A Numerical Study

abstract: Bragg coherent diffraction imaging (BCDI) is a unique and powerful method for tracking three-dimensional strain fields non-destructively. While BCDI has been successfully applied to many scientific research fields and receives high demands, the reconstructed results for highly strained crystals are still subject to big uncertainties. Here, the progress in improving the suitability of BCDI for general samples by exploiting wavefront modulation is reported. Extensive numerical simulations demonstrate that significant improvements over the current method for reconstructing highly strained model nanocrystals can be achieved. The proposed method highly suppresses the appearance of ambiguous solutions and exhibits fast convergence and high robustness in phase retrieval. Possible experimental difficulties in implementing this method are discussed in detail.


title: Domain-Specific NER via Retrieving Correlated Samples

abstract: Successful Machine Learning based Named Entity Recognition models could fail on texts from some special domains, for instance, Chinese addresses and e-commerce titles, where requires adequate background knowledge. Such texts are also difficult for human annotators. In fact, we can obtain some potentially helpful information from correlated texts, which have some common entities, to help the text understanding. Then, one can easily reason out the correct answer by referencing correlated samples. In this paper, we suggest enhancing NER models with correlated samples. We draw correlated samples by the sparse BM25 retriever from large-scale in-domain unlabeled data. To explicitly simulate the human reasoning process, we perform a training-free entity type calibrating by majority voting. To capture correlation features in the training stage, we suggest to model correlated samples by the transformer-based multi-instance cross-encoder. Empirical results on datasets of the above two domains show the efficacy of our methods.


title: A Federated Learning-enabled Smart Street Light Monitoring Application: Benefits and Future Challenges

abstract: Data-enabled cities are recently accelerated and enhanced with automated learning for improved Smart Cities applications. In the context of an Internet of Things (IoT) ecosystem, the data communication is frequently costly, inefficient, not scalable and lacks security. Federated Learning (FL) plays a pivotal role in providing privacy-preserving and communication efficient Machine Learning (ML) frameworks. In this paper we evaluate the feasibility of FL in the context of a Smart Cities Street Light Monitoring application. FL is evaluated against benchmarks of centralised and (fully) personalised machine learning techniques for the classification task of the lampposts operation. Incorporating FL in such a scenario shows minimal performance reduction in terms of the classification task, but huge improvements in the communication cost and the privacy preserving. These outcomes strengthen FL's viability and potential for IoT applications.


title: Learning to SLAM on the Fly in Unknown Environments: A Continual Learning Approach for Drones in Visually Ambiguous Scenes

abstract: Learning to safely navigate in unknown environments is an important task for autonomous drones used in surveillance and rescue operations. In recent years, a number of learning-based Simultaneous Localisation and Mapping (SLAM) systems relying on deep neural networks (DNNs) have been proposed for applications where conventional feature descriptors do not perform well. However, such learning-based SLAM systems rely on DNN feature encoders trained offline in typical deep learning settings. This makes them less suited for drones deployed in environments unseen during training, where continual adaptation is paramount. In this paper, we present a new method for learning to SLAM on the fly in unknown environments, by modulating a low-complexity Dictionary Learning and Sparse Coding (DLSC) pipeline with a newly proposed Quadratic Bayesian Surprise (QBS) factor. We experimentally validate our approach with data collected by a drone in a challenging warehouse scenario, where the high number of ambiguous scenes makes visual disambiguation hard.


title: Some results on degenerate harmonic numbers and degenerate Fubini polynomials

abstract: In recent years, some degenerate versions of quite a few special numbers and polynomials are introduced and investigated by means of various methods. The aim of this paper is to study some results on degenerate harmonic numbers, degenerate hyperharmonic numbers, degenerate Fubi polynomials and degenerate r-Fubini polynomials from a general identity which is valid for any two formal power series and involves the degenerate r-Stirling numbers of the second kind.


title: Remote Water-to-air Eavesdropping through Phase-Engineered Impedance Matching Metasurfaces

abstract: Efficiently receiving underwater sound remotely from air is a long-standing challenge in acoustics hindered by the large impedance mismatch at the water-air interface. Here we introduce and experimentally demonstrate a technique for remote and efficient water-to-air eavesdropping through phase-engineered impedance matching metasurfaces. By judiciously engineering an ultrathin mechanically-rigid boundary, we make the water-air interface acoustically transparent and at the same time we are able to pattern the transmitted wavefront, enabling efficient control over the effective spatial location of a distant airborne sensor such that it can measure underwater signals with large signal-to-noise ratio as if placed close to the physical underwater source. Such airborne eavesdropping of underwater sound is experimentally demonstrated with a measured sensitivity enhancement exceeding 38 dB at 8 kHz. We further demonstrate opportunities for orbital-angular-momentum-multiplexed communications and underwater acoustic communications. Our metasurface opens new avenues for communication and sensing, which may be translated to nano-optics and radio-frequencies.


title: YouTube COVID-19 Vaccine Misinformation on Twitter: Platform Interactions and Moderation Blind Spots

abstract: While most social media companies have attempted to address the challenge of COVID-19 misinformation, the success of those policies is difficult to assess, especially when focusing on individual platforms. This study explores the relationship between Twitter and YouTube in spreading COVID-19 vaccine-related misinformation through a mixed-methods approach to analyzing a collection of tweets in 2021 sharing YouTube videos where those Twitter accounts had also linked to deleted YouTube videos. Principal components, cluster and network analyses are used to group the videos and tweets into interpretable groups by shared tweet dates, terms and sharing patterns; content analysis is employed to assess the orientation of tweets and videos to COVID-19 messages. From this we observe that a preponderance of anti-vaccine messaging remains among users who previously shared suspect information, in which a dissident political framing dominates, and which suggests moderation policy inefficacy where the platforms interact.