title: Design of Link-Selection Strategies for Buffer-Aided DCSK-SWIPT Relay System

abstract: Adaptive link selection for buffer-aided relaying can achieve significant performance gain compared with the conventional relaying with fixed transmission criterion. However, most of the existing link-selection strategies are designed based on perfect channel state information (CSI), which are very complex by requiring channel estimator. To solve this issue, in this paper, we investigate a buffer-aided differential chaos-shift-keying based simultaneous wireless information and power transfer (DCSK-SWIPT) relay system, where a decode-and-forward protocol is considered and the relay is equipped with a data buffer and an energy buffer. In particular, we propose two link-selection protocols for the proposed system based on harvested energy, data-buffer status and energy-shortage status, where the CSI is replaced by the harvested energy to avoid the channel estimation and the practical problem of the decoding cost at the relay is considered. Furthermore, the bit-error-rate (BER) and average-delay closed-form expressions of the proposed protocols are derived over multipath Rayleigh fading channels, which are validated via simulations. Finally, results demonstrate that both the proposed protocols not only provide better BER performance than the conventional DCSK system and DCSK-SWIPT relay system but also achieve better BER performance and lower average delay in comparison to the conventional signal-to-noise-ratio-based buffer-aided DCSK-SWIPT relay systems.


title: Reconstruction of quintessence field for the THDE with swampland correspondence in $f(R,T)$ gravity

abstract: In the present work, we construct the Tsallis holographic quintessence model of dark energy in $f(R, T)$ gravity with Hubble horizon as IR cut-off. In a flat FRW background, the correspondence among the energy density of the quintessence model with the Tsallis holographic density permits the reconstruction of the dynamics and the potentials for the quintessence field. The suggested Hubble horizon infrared cut-off for the THDE density acts for two specific cases: (i) THDE 1 and (ii) THDE 2. We have reconstructed the Tsallis holographic quintessence model in the region $\omega_{\Lambda} > -1$ for the EoS parameter for both the cases. In addition, the quintessence phase of the THDE models is analyzed with swampland conjecture to describe the accelerated expansion of the Universe.


title: Quantum Epistemology from Mimicry and Ambiguity

abstract: In the paper we look into the epistemology of quantum theory. The starting point is the previously established mathematical ambiguity. The perspective of our study is the way that Schroedinger described Einstein s idea of physics epistemology. Namely, physical theory is a map with flags. Each flag must, according to Einstein in Schroedinger s representation, correspond to a physical reality and vice versa. With the ambiguity transformed to quantum-like operators we are able to mimic quantum theory. Therefore we have created little flags. The question is raised whether nature itself is ambiguous. The created flags point at ambiguous nature. Or, nature is not ambiguous and the ambiguity can be repaired in mathematics.


title: Negative refractive index, Perfect Lens and Ces\`aro convergence

abstract: In this letter, we show that the restoration of evanescent wave in perfect lens obeys a new kind of convergence known as Cesaro convergence. Cesaro convergence allows us to extend the domain of convergence that is analytically continuing to the complex plane in terms of Riemann zeta function. Therefore, from the properties of Riemann zeta function we show that it is not possible to restore the evanescent wave for all the values of $r_z'$, [here $r_z'$ is complex]. The special value, that is, $r_z'$ = 1=2+ib refers to the non-existence of evanescent wave, is the physicists proof of Riemann Hypothesis.


title: Distributed Stochastic Constrained Composite Optimization over Time-Varying Network with a Class of Communication Noise

abstract: This paper is concerned with distributed stochastic multi-agent constrained optimization problem over time-varying network with a class of communication noise. This paper considers the problem in composite optimization setting which is more general in the literature of noisy network optimization. It is noteworthy that the mainstream existing methods for noisy network optimization are Euclidean projection based. Based on Bregman projection-based mirror descent scheme, we present a non-Euclidean method and investigate their convergence behavior. This method is the distributed stochastic composite mirror descent type method (DSCMD-N) which provides a more general algorithm framework. Some new error bounds for DSCMD-N are obtained. To the best of our knowledge, this is the first work to analyze and derive convergence rates of optimization algorithm in noisy network optimization. We also show that an optimal rate of $O(1/\sqrt{T})$ in nonsmooth convex optimization can be obtained for the proposed method under appropriate communication noise condition. Moreover, novel convergence results are comprehensively derived in expectation convergence, high probability convergence, and almost surely sense.


title: Rigidity of rationally connected smooth projective varieties from dynamical viewpoints

abstract: Let $X$ be a rationally connected smooth projective variety of dimension $n$. We show that $X$ is a toric variety if and only if $X$ admits an int-amplified endomorphism with totally invariant ramification divisor. We also show that $X\cong (\mathbb{P}^1)^{\times n}$ if and only if $X$ admits a surjective endomorphism $f$ such that the eigenvalues of $f^*|_{\text{N}^1(X)}$ (without counting multiplicities) are $n$ distinct real numbers greater than $1$.


title: Physics of Limit Values at Planck scale

abstract: The traditional formulation of the ultimate goal of physics (in the narrower sense of axiomatic theory) involves the derivation of physical laws from first principles. Though, such option doesn't make things easier since the task of the first principles finding is not less complicated versus to the original problem. The alternative path for understanding the world around us is to interpret the fundamental limit values as a factor determining the physical laws structure. A significant part of this path has already been completed. It was possible to show that the quantum mechanics can be built on the basis of the existence of the minimum quantum action, while the special theory of relativity - on the maximum speed c. Furthermore, from rather recently it became clear that a similar approach could be implemented in general relativity but in this case it can be constructed by postulating the existence of a minimum lengths. The goal of this review is to demonstrate the effectiveness of limit values as a tool for describing the physics of the Planck scale. Moreover, by virtue of their universality, the limit values allow us to establish relationships between, on first glance, distant fields of physics. We will consider the simplest consequences of the inclusion of gravitational effects in quantum reality. The most important consequence of this consideration is the inevitability of transition from the classical concept of continuum to the concept of the discrete space-time. The new physics generated by such transition will be in the center of our attention.


title: Traversable wormholes with logarithmic shape function in f(R, T) gravity

abstract: In the present work, a new form of the logarithmic shape function is proposed for the linear $f(R,T)$ gravity, $f(R,T)=R+2\lambda T$ where $\lambda$ is an arbitrary coupling constant, in wormhole geometry. The desired logarithmic shape function accomplishes all necessary conditions for traversable and asymptotically flat wormholes. The obtained wormhole solutions are analyzed from the energy conditions for different values of $\lambda$. It has been observed that our proposed shape function for the linear form of $f(R,T)$ gravity, represents the existence of exotic matter and non-exotic matter. Moreover, for $\lambda=0$ i.e. for the general relativity case, the existence of exotic matter for the wormhole geometry has been confirmed. Further, the behaviour of the radial state parameter $\omega_{r}$, the tangential state parameter $\omega_{t}$ and the anisotropy parameter $\triangle$ describing the geometry of the universe, has been presented for different values of $\lambda$ chosen in $[-100,100]$.


title: Exploiting $\mathbf{c}$-Closure in Kernelization Algorithms for Graph Problems

abstract: A graph is c-closed if every pair of vertices with at least c common neighbors is adjacent. The c-closure of a graph G is the smallest number such that G is c-closed. Fox et al. [ICALP '18] defined c-closure and investigated it in the context of clique enumeration. We show that c-closure can be applied in kernelization algorithms for several classic graph problems. We show that Dominating Set admits a kernel of size k^O(c), that Induced Matching admits a kernel with O(c^7*k^8) vertices, and that Irredundant Set admits a kernel with O(c^(5/2)*k^3) vertices. Our kernelization exploits the fact that c-closed graphs have polynomially-bounded Ramsey numbers, as we show.


title: Coping with the variability in humans reward during simulated human-robot interactions through the coordination of multiple learning strategies

abstract: An important current challenge in Human-Robot Interaction (HRI) is to enable robots to learn on-the-fly from human feedback. However, humans show a great variability in the way they reward robots. We propose to address this issue by enabling the robot to combine different learning strategies, namely model-based (MB) and model-free (MF) reinforcement learning. We simulate two HRI scenarios: a simple task where the human congratulates the robot for putting the right cubes in the right boxes, and a more complicated version of this task where cubes have to be placed in a specific order. We show that our existing MB-MF coordination algorithm previously tested in robot navigation works well here without retuning parameters. It leads to the maximal performance while producing the same minimal computational cost as MF alone. Moreover, the algorithm gives a robust performance no matter the variability of the simulated human feedback, while each strategy alone is impacted by this variability. Overall, the results suggest a promising way to promote robot learning flexibility when facing variable human feedback.


title: Fractional trends in unobserved components models

abstract: We develop a generalization of unobserved components models that allows for a wide range of long-run dynamics by modelling the permanent component as a fractionally integrated process. The model does not require stationarity and can be cast in state space form. In a multivariate setup, fractional trends may yield a cointegrated system. We derive the Kalman filter estimator for the common fractionally integrated component and establish consistency and asymptotic (mixed) normality of the maximum likelihood estimator. We apply the model to extract a common long-run component of three US inflation measures, where we show that the $I(1)$ assumption is likely to be violated for the common trend.


title: Gravitational waves, 100 years later

abstract: We present a short communication on the recent direct measurements of gravitational waves, made possible by the joint efforts of the LIGO and the Virgo projects. These notes are devoted to a broad audience. In the first part we will present the basic ideas of the theory of relativity, leading to the prediction of the existence of gravitational waves. The second part is devoted to present the main results and consequences of the discovery.


title: Detecting and Counting Pistachios based on Deep Learning

abstract: Pistachios are nutritious nuts that are sorted based on the shape of their shell into two categories: Open-mouth and Closed-mouth. The open-mouth pistachios are higher in price, value, and demand than the closed-mouth pistachios. Because of these differences, it is considerable for production companies to precisely count the number of each kind. This paper aims to propose a new system for counting the different types of pistachios with computer vision. We have introduced and shared a new dataset of pistachios, including six videos with a total length of 167 seconds and 3927 labeled pistachios. Unlike many other works, our model counts pistachios in videos, not images. Counting objects in videos need assigning each object between the video frames so that each object be counted once. The main two challenges in our work are the existence of pistachios' occlusion and deformation of pistachios in different frames because open-mouth pistachios that move and roll on the transportation line may appear as closed-mouth in some frames and open-mouth in other frames. Our novel model first is trained on the RetinaNet object detector network using our dataset to detect different types of pistachios in video frames. After gathering the detections, we apply them to a new counter algorithm based on a new tracker to assign pistachios in consecutive frames with high accuracy. Our model is able to assign pistachios that turn and change their appearance (e.g., open-mouth pistachios that look closed-mouth) to each other so does not count them incorrectly. Our algorithm performs very fast and achieves good counting results. The computed accuracy of our algorithm on six videos (9486 frames) is 94.75%.


title: Compressive sensing with un-trained neural networks: Gradient descent finds the smoothest approximation

abstract: Un-trained convolutional neural networks have emerged as highly successful tools for image recovery and restoration. They are capable of solving standard inverse problems such as denoising and compressive sensing with excellent results by simply fitting a neural network model to measurements from a single image or signal without the need for any additional training data. For some applications, this critically requires additional regularization in the form of early stopping the optimization. For signal recovery from a few measurements, however, un-trained convolutional networks have an intriguing self-regularizing property: Even though the network can perfectly fit any image, the network recovers a natural image from few measurements when trained with gradient descent until convergence. In this paper, we provide numerical evidence for this property and study it theoretically. We show that---without any further regularization---an un-trained convolutional neural network can approximately reconstruct signals and images that are sufficiently structured, from a near minimal number of random measurements.


title: Sufficient Conditions for Observability in Electrocardiography Problem

abstract: The aim of this paper, is to study electrical cardiography problem. Thus, we construct the state space system of this model as mathematical model. Moreover, we present some definitions and results which is described some concepts of linear control system analysis related to this problem. More precisely, the sufficient conditions which characterize the observability notion of linear dynamical controlled system are presented and discussed. Finally, we prove that, the electrical cardiography model is completely observable system over finite time.


title: Sentiment Analysis Using Simplified Long Short-term Memory Recurrent Neural Networks

abstract: LSTM or Long Short Term Memory Networks is a specific type of Recurrent Neural Network (RNN) that is very effective in dealing with long sequence data and learning long term dependencies. In this work, we perform sentiment analysis on a GOP Debate Twitter dataset. To speed up training and reduce the computational cost and time, six different parameter reduced slim versions of the LSTM model (slim LSTM) are proposed. We evaluate two of these models on the dataset. The performance of these two LSTM models along with the standard LSTM model is compared. The effect of Bidirectional LSTM Layers is also studied. The work also consists of a study to choose the best architecture, apart from establishing the best set of hyper parameters for different LSTM Models.


title: Cell Type Identification from Single-Cell Transcriptomic Data via Semi-supervised Learning

abstract: Cell type identification from single-cell transcriptomic data is a common goal of single-cell RNA sequencing (scRNAseq) data analysis. Neural networks have been employed to identify cell types from scRNAseq data with high performance. However, it requires a large mount of individual cells with accurate and unbiased annotated types to build the identification models. Unfortunately, labeling the scRNAseq data is cumbersome and time-consuming as it involves manual inspection of marker genes. To overcome this challenge, we propose a semi-supervised learning model to use unlabeled scRNAseq cells and limited amount of labeled scRNAseq cells to implement cell identification. Firstly, we transform the scRNAseq cells to "gene sentences", which is inspired by similarities between natural language system and gene system. Then genes in these sentences are represented as gene embeddings to reduce data sparsity. With these embeddings, we implement a semi-supervised learning model based on recurrent convolutional neural networks (RCNN), which includes a shared network, a supervised network and an unsupervised network. The proposed model is evaluated on macosko2015, a large scale single-cell transcriptomic dataset with ground truth of individual cell types. It is observed that the proposed model is able to achieve encouraging performance by learning on very limited amount of labeled scRNAseq cells together with a large number of unlabeled scRNAseq cells.


title: DeepHist: Differentiable Joint and Color Histogram Layers for Image-to-Image Translation

abstract: We present the DeepHist - a novel Deep Learning framework for augmenting a network by histogram layers and demonstrate its strength by addressing image-to-image translation problems. Specifically, given an input image and a reference color distribution we aim to generate an output image with the structural appearance (content) of the input (source) yet with the colors of the reference. The key idea is a new technique for a differentiable construction of joint and color histograms of the output images. We further define a color distribution loss based on the Earth Mover's Distance between the output's and the reference's color histograms and a Mutual Information loss based on the joint histograms of the source and the output images. Promising results are shown for the tasks of color transfer, image colorization and edges $\rightarrow$ photo, where the color distribution of the output image is controlled. Comparison to Pix2Pix and CyclyGANs are shown.


title: Quantum-gravity in a dynamical system perspective

abstract: General Theory of Relativity and Quantum theory gives two different description of the same mother nature in the big and small scale respectively. Mathematical languages of these two theories are entirely different, one is geometric while the other one is probabilistic. This curious feature makes the merging of these theories (quantum-gravity) considerably difficult. In this manuscript, we explore quantum-gravity in a dynamical system perspective. For example, in the standard quantum theory, the wave equation is a linear partial differential equation while in General Theory of relativity, the field equations are highly nonlinear. A classical dynamical system can show very rich phase-space structures which is absent in a linear partial differential equation. In order to incorporate gravitational corrections one can think about the nonlinear extensions of quantum theory. In this manuscript such an attempt to quantum gravity is explored. Dissipative and forcing corrections are found in the newly formulated quantum equation and it's physical interpretations are given.


title: Physically viable solutions of anisotropic spheres in $f(\mathscr{R},\mathscr{G})$ gravity satisfying the Karmarkar condition

abstract: This paper is devoted to discuss compact stars in $f(\mathscr{R},\mathscr{G})$ gravity, where $\mathscr{R}$ and $\mathscr{G}$ denote the Ricci scalar and Gauss-Bonnet invariant respectively. To meet this aim, we consider spherically symmetric space-time with anisotropic fluid distribution. In particular, the Karmarkar condition is used to explore the compact star solutions. Further, we choose two specific model of compact stars namely LMC X-4 (mass =1.29$M/M_{\odot}$ \& radii=9.711 km) and EXO 1785-248 (mass =1.30$M/M_{\odot}$ \& radii=8.849 km). We develop the field equations for $f(\mathscr{R},\mathscr{G})$ gravity by employing the Karmarkar condition with a specific model already reported in literature by Lake [Phys. Rev. D 67, 104015 (2003)]. We further consider the Schwarzschild geometry for matching conditions at the boundary. It is important to mention here that we calculate the values of all the involved parameter by imposing the matching condition. We have provided a detailed graphical analysis to discuss the physical acceptability of parameters, i.e., energy density, pressure, anisotropy, and gradients. We have also examined the stability of compacts stars by exploring the energy conditions, equation of state, generalized Tolman-Oppenheimer-Volkoff equation, causality condition, and adiabatic index. For present analysis, we predict some numerical values in tabular form for central gravitational metric functions, central density and central pressures components. We have also calculated the ratio $p_{rc}/ \rho_{c}$ to check the validity of Zeldovich's condition. Conclusively, it is found that our obtained solutions are physically viable with well-behaved nature in $f(\mathscr{R},\mathscr{G})$ modified gravity for the compact star models under discussion.


title: The effect of norm-based messages on reading and understanding COVID-19 pandemic response governmental rules

abstract: The new coronavirus disease (COVID-19) threatens the lives of millions of people around the world, making it the largest health threat in recent times. Billions of people around the world are asked to adhere to strict shelter-in-place rules, finalised to slow down the spread of the virus. Appeals and messages are being used by leaders and policy-makers to promote pandemic response. Given the stakes at play, it is thus important for social scientists to explore which messages are most effective in promoting pandemic response. In fact, some papers in the last month have explored the effect of several messages on people's intentions to engage in pandemic response behaviour. In this paper, we make two contributions. First, we explore the effect of messages on people's actual engagement, and not on intentions. Specifically, our dependent variables are the level of understanding of official COVID-19 pandemic response governmental informative panels, measured through comprehension questions, and the time spent on reading these rules. Second, we test a novel set of appeals built through the theory of norms. One message targets the personal norm (what people think is the right thing to do), one targets the descriptive norm (what people think others are doing), and one targets the injunctive norm (what people think others approve or disapprove of). Our experiment is conducted online with a representative (with respect to gender, age, and location) sample of Italians. Norms are made salient using a flier. We find that norm-based fliers had no effect on comprehension and on time spent on the panels. These results suggest that norm-based interventions through fliers have very little impact on people's reading and understanding of COVID-19 pandemic response governmental rules.


title: A Possible Solution of the Cosmological Constant Problem based on Minimal Length Uncertainty and GW170817 and PLANCK Observations

abstract: We propose the generalized uncertainty principle (GUP) with an additional term of quadratic momentum motivated by string theory and black hole physics as a quantum mechanical framework for the minimal length uncertainty at the Planck scale. We demonstrate that the GUP parameter, $\beta_0$, could be best constrained by the the gravitational waves observations; GW170817 event. Also, we suggest another proposal based on the modified dispersion relations (MDRs) in order to calculate the difference between the group velocity of gravitons and that of photons. We conclude that the upper bound reads $\beta_0 \simeq 10^{60}$. Utilizing features of the UV/IR correspondence and the obvious similarities between GUP (including non-gravitating and gravitating impacts on Heisenberg uncertainty principle) and the discrepancy between the theoretical and the observed cosmological constant $\Lambda$ (apparently manifesting gravitational influences on the vacuum energy density), known as {\it catastrophe of non-gravitating vacuum}, we suggest a possible solution for this long-standing physical problem, $\Lambda \simeq 10^{-47}~$GeV$^4/\hbar^3 c^3$.


title: Precessional angular velocity and field strength in the complex octonion space

abstract: The paper aims to apply the octonions to explore the precessional angular velocities of several particles in the electromagnetic and gravitational fields. Some scholars utilize the octonions to research the electromagnetic and gravitational fields. One formula can be derived from the octonion torque, calculating the precessional angular velocity generated by the gyroscopic torque. When the octonion force is equal to zero, it is able to deduce the force equilibrium equation and precession equilibrium equation and so forth. From the force equilibrium equation, one can infer the angular velocity of revolution for the particles. Meanwhile, from the precession equilibrium equation, it is capable of ascertaining the precessional angular velocity induced by the torque derivative, including the angular velocity of Larmor precession. Especially, some ingredients of torque derivative are in direct proportion to the field strengths. The study reveals that the precessional angular velocity induced by the torque derivative is independent of that generated by the torque. The precessional angular velocity, induced by the torque derivative, is relevant to the torque derivative and the spatial dimension of precessional velocity. It will be of great benefit to understanding further the precessional angular velocity of the spin angular momentum.


title: Distributed Resource Allocation Algorithms for Multi-Operator Cognitive Communication Systems

abstract: We address the problem of resource allocation (RA) in a cognitive radio (CR) communication system with multiple secondary operators sharing spectrum with an incumbent primary operator. The key challenge of the RA problem is the inter-operator coordination arising in the optimization problem so that the aggregated interference at the primary users (PUs) does not exceed the target threshold. While this problem is easily solvable if a centralized unit could access information of all secondary operators, it becomes challenging in a realistic scenario. In this paper, considering a satellite setting, we alleviate this problem by proposing two approaches to reduce the information exchange level among the secondary operators. In the first approach, we formulate an RA scheme based on a partial information sharing method which enables distributed optimization across secondary operators. In the second approach, instead of exchanging secondary users (SUs) information, the operators only exchange their contributions of the interference-level and RA is performed locally across secondary operators. These two approaches, for the first time in this context, provide a trade-off between performance and level of inter-operator information exchange. Through the numerical simulations, we explain this trade-off and illustrate the penalty resulting from partial information exchange.


title: CIV emission line properties and uncertainties in black hole mass estimates of z ~ 3.5 quasars

abstract: Using a high luminosity ($L_{\rm bol} \sim 10^{47.5} - 10^{48.3}$ erg s$^{-1}$), high redshift ($3.2 < z < 3.8$) quasar sample of 19 quasars with optical and near-infrared spectroscopy, we investigate the reliability of the CIV-based black hole mass estimates ($M_{\rm BH}$). The median logarithm of the CIV- and H$\beta$-based $M_{\rm BH}$ ratios is 0.110 dex with the scatter of 0.647 dex. The CIV-to-H$\beta$ BH mass differences are significantly correlated with the CIV FWHMs, blueshifts and asymmetries. Corrections of the CIV FWHM using the blueshift and asymmetry reduce the scatter of the mass differences by $\sim$ 0.04-0.2 dex. Quasars in our sample accrete at the Eddington ratio $R_{\rm EDD}>0.3$ and cover a considerable range of blueshifts, with 18/19 of the quasars showing CIV blueshifts (with the median value of 1126 km s$^{-1}$) and 14/19 of the quasars showing CIV blueshifts larger than 500 km s$^{-1}$. It suggests that not all quasars with high Eddington ratios show large blueshifts. The Baldwin effect between the CIV rest-frame equivalent width (REW) and the continuum luminosity at 1350 $\overset{\lower.5em\circ}{\mathrm{A}}$ is not seen, likely due to the limited luminosity range of our sample. We find a lack of flux in the red wing of the composite spectrum with larger CIV blueshift, and detect a higher ratio of [OIII] quasars with REW$_{\rm [OIII]}>5$ $\overset{\lower.5em\circ}{\mathrm{A}}$ in the subsample with lower CIV blueshift. It is more likely that they are caused by the combination of the Eddington ratio and the orientation effect.


title: A Possible Relation Between the Magnetic Pole and the Gravitational Field

abstract: We reformulate the quantization of the gravitational field and its sources, including the electric and magnetic fields as they appear in the knot algebra.


title: Regularity for parabolic systems with critical growth in the gradient and applications

abstract: Motivated by problems arising in geometric flows, we prove several regularity results for systems of local and nonlocal equations, adapting to the parabolic case a neat argument due to Caffarelli. The geometric motivation of this work comes from recent works arising in the theory harmonic maps with free boundary in particular. We prove H\"older regularity of weak solutions.


title: Biosignature Surveys to Exoplanet Yields and Beyond

abstract: Upcoming biosignature searches focus on indirect indicators to infer the presence of life on other worlds. Aside from just signaling the presence of life, however, some biosignatures can contain information about the state that a planet's biosphere has achieved. This additional information can be used to measure what fractions of planets achieve certain key stages, corresponding to the advent of life, photosynthesis, multicellularity, and technological civilization. We forecast the uncertainties of each measurement for upcoming surveys, and outline the key factors that determine these uncertainties. Our approach is probabilistic and relies on large numbers of candidates rather than detailed examination of individual exoplanet spectra. The dependence on survey size, likeliness of the transition, and several measures of degrees of confidence are discussed, including discussion of geological false positives in biosignatures as well as how combining data from different missions can affect the inference. Our analysis should influence policy recommendations for future mission design and strategy to minimize the impact of measurement uncertainties.


title: Robust distributed model predictive control of linear systems: analysis and synthesis

abstract: To provide robustness of distributed model predictive control (DMPC), this work proposes a robust DMPC formulation for discrete-time linear systems subject to unknown-but-bounded disturbances. Taking advantage of the structure of certain classes of distributed systems seen in applications with interagent coupling like vehicle platooning, a novel robust DMPC is formulated. The proposed approach is characterised by separable terminal costs and locally robust terminal sets, with the latter sets adaptively estimated in the online optimisation problem. A constraint tightening approach based on a set-membership approach is used to guarantee constraint satisfaction for coupled subsystems in the presence of disturbances. Under this formulation, the closed-loop system is shown to be recursively feasible and input-to-state stable. To aid in the deployment of the proposed robust DMPC, a possible synthesis method and design conditions for practical implementation are presented. Finally, simulation results with a mass-spring-damper system are provided to demonstrate the proposed robust DMPC.


title: EXPOSED: An occupant exposure model for confined spaces to retrofit crowd models during a pandemic

abstract: Crowd models can be used for the simulation of people movement in the built environment. Crowd model outputs have been used for evaluating safety and comfort of pedestrians, inform crowd management and perform forensic investigations. Microscopic crowd models allow the representation of each person and the obtainment of information concerning their location over time and interactions with the physical space/other people. Pandemics such as COVID-19 have posed several questions on safe building usage, given the risk of disease transmission among building occupants. Here we show how crowd modelling can be used to assess occupant exposure in confined spaces. The policies adopted concerning building usage and social distancing during a pandemic can vary greatly, and they are mostly based on the macroscopic analysis of the spread of disease rather than a safety assessment performed at a building level. The proposed model allows the investigation of occupant exposure in buildings based on the analysis of microscopic people movement. Risk assessment is performed by retrofitting crowd models with a universal model for exposure assessment which can account for different types of disease transmissions. This work allows policy makers to perform informed decisions concerning building usage during a pandemic.


title: Feature Location Benchmark for Decomposing and Reusing Android Apps

abstract: Software reuse enables developers to reuse architecture, programs and other software artifacts. Realizing a systematical reuse in software brings a large amount of benefits for stakeholders, including lower maintenance efforts, lower development costs, and time to market. Unfortunately, currently implementing a framework for large-scale software reuse in Android apps is still a huge problem, regarding the complexity of the task and lacking of practical technical support from either tools or domain experts. Therefore, proposing a feature location benchmark for apps will help developers either optimize their feature location techniques or reuse the assets created in the benchmark for reusing. In this paper, we release a feature location benchmark, which can be used for those developers, who intend to compose software product lines (SPL) and release reuse in apps. The benchmark not only contributes to the research community for reuse research, but also helps participants in industry for optimizing their architecture and enhancing modularity. In addition, we also develop an Android Studio plugin named caIDE for developers to view and operate on the benchmark.


title: Constructive Feedback of Non-Markovianity on Resources in Random Quantum States

abstract: We explore the impact of non-Markovian channels on the quantum correlations (QCs) of Haar uniformly generated random two-qubit input states with different ranks -- either one of the qubits (single-sided) or both the qubits independently (double-sided) are passed through noisy channels. Under dephasing and depolarizing channels with varying non-Markovian strength, entanglement and quantum discord of the output states collapse and revive with the increase of noise. We find that in case of the depolarizing double-sided channel, both the QCs of random states show a higher number of revivals on average than that of the single-sided ones with a fixed non-Markovianity strength, irrespective of the rank of the states -- we call such a counter-intuitive event as a constructive feedback of non-Markovianity. Consequently, the average noise at which QCs of random states show first revival decreases with the increase of the strength of non-Markovian noise, thereby indicating the role of non-Markovian channels on the regenerations of QCs even in presence of a high amount of noise. However, we observe that non-Markovianity does not play any role to increase the robustness in random quantum states which can be measured by the mean value of critical noise at which quantum correlations first collapse. Moreover, we observe that the tendency of a state to show regeneration increases with the increase of average QCs of the random input states along with non-Markovianity.


title: Flexible co-data learning for high-dimensional prediction

abstract: Clinical research often focuses on complex traits in which many variables play a role in mechanisms driving, or curing, diseases. Clinical prediction is hard when data is high-dimensional, but additional information, like domain knowledge and previously published studies, may be helpful to improve predictions. Such complementary data, or co-data, provide information on the covariates, such as genomic location or p-values from external studies. Our method enables exploiting multiple and various co-data sources to improve predictions. We use discrete or continuous co-data to define possibly overlapping or hierarchically structured groups of covariates. These are then used to estimate adaptive multi-group ridge penalties for generalised linear and Cox models. We combine empirical Bayes estimation of group penalty hyperparameters with an extra level of shrinkage. This renders a uniquely flexible framework as any type of shrinkage can be used on the group level. The hyperparameter shrinkage learns how relevant a specific co-data source is, counters overfitting of hyperparameters for many groups, and accounts for structured co-data. We describe various types of co-data and propose suitable forms of hypershrinkage. The method is very versatile, as it allows for integration and weighting of multiple co-data sets, inclusion of unpenalised covariates and posterior variable selection. We demonstrate it on two cancer genomics applications and show that it may improve the performance of other dense and parsimonious prognostic models substantially, and stabilises variable selection.


title: Inverse scattering transform for the integrable nonlocal Lakshmanan-Porsezian-Daniel equation

abstract: In this work, a generalized nonlocal Lakshmanan-Porsezian-Daniel (LPD) equation is introduced, and its integrability as an infinite dimensional Hamilton dynamic system is established. Motivated by the ideas of Ablowitz and Musslimani (2016 Nonlinearity 29 915), we successfully derive the inverse scattering transform (IST) of the nonlocal LPD equation. The direct scattering problem of the equation is first constructed, and some important symmetries of the eigenfunctions and the scattering data are discussed. By using a novel Left-Right Riemann-Hilbert (RH) problem, the inverse scattering problem is analyzed, and the potential function is recovered. By introducing the special conditions of reflectionless case, the time-periodic soliton solutions formula of the equation is derived successfully. Take $J=\overline{J}=1,2,3$ and $4$ for example, we obtain some interesting phenomenon such as breather-type solitons, arc solitons, three soliton and four soliton. Furthermore, the influence of parameter $\delta$ on these solutions is further considered via the graphical analysis. Finally, the eigenvalues and conserved quantities are investigated under a few special initial conditions.


title: Explicit solution of the generalised Langevin equation

abstract: Generating an initial condition for a Langevin equation with memory is a non trivial issue. We introduce a generalisation of the Laplace transform as a useful tool for solving this problem, in which a limit procedure may send the extension of memory effects to arbitrary times in the past. This method allows us to compute average position, work, their variances and the entropy production rate of a particle dragged in a complex fluid by an harmonic potential, which could represent the effect of moving optical tweezers. For initial conditions in equilibrium we generalise the results by van Zon and Cohen, finding the variance of the work for generic protocols of the trap. In addition, we study a particle dragged for a long time captured in an optical trap with constant velocity in a steady state. Our formulas open the door to thermodynamic uncertainty relations in systems with memory.


title: A Unified Description of Superconductivity: Electron Density Dynamic's Response to Phonons at the Brillouin Zone Boundary Driven Real Space Electron-Hole Pairing Characterized by CP Symmetry

abstract: It is argued that electron density dynamic's response to phonons at the Brillouin zone boundary is the key factor in the superconductivity mechanism of MgB2 as well as of all superconducting compounds leading to a real space electron-hole pairing characterized by CP symmetry (Charge and Parity symmetries) that enables a unified description of superconductivity phenomenon.First principle calculation of the electron density difference is determined by subtracting the electron density of the crystal distorted by longitudinal acoustical phonons at the Brillouin zone boundary from that of the perfect crystal.The origin of this electron density dynamic's response to this kind of distortion that leads to in real space electron hole pairing caracterized by CP symmetry is discussed in terms of local polarizabilities and delocalized transfer of charge caused by phonon-distortion driven dynamical change of orbital hybridization. This approach also provides clear and quick guidelines in the search for a new superconductors.


title: Convolutional Sparse Support Estimator Based Covid-19 Recognition from X-ray Images

abstract: Coronavirus disease (Covid-19) has been the main agenda of the whole world since it came in sight in December 2019. It has already caused thousands of causalities and infected several millions worldwide. Any technological tool that can be provided to healthcare practitioners to save time, effort, and possibly lives has crucial importance. The main tools practitioners currently use to diagnose Covid-19 are Reverse Transcription-Polymerase Chain reaction (RT-PCR) and Computed Tomography (CT), which require significant time, resources and acknowledged experts. X-ray imaging is a common and easily accessible tool that has great potential for Covid-19 diagnosis. In this study, we propose a novel approach for Covid-19 recognition from chest X-ray images. Despite the importance of the problem, recent studies in this domain produced not so satisfactory results due to the limited datasets available for training. Recall that Deep Learning techniques can generally provide state-of-the-art performance in many classification tasks when trained properly over large datasets, such data scarcity can be a crucial obstacle when using them for Covid-19 detection. Alternative approaches such as representation-based classification (collaborative or sparse representation) might provide satisfactory performance with limited size datasets, but they generally fall short in performance or speed compared to Machine Learning methods. To address this deficiency, Convolution Support Estimation Network (CSEN) has recently been proposed as a bridge between model-based and Deep Learning approaches by providing a non-iterative real-time mapping from query sample to ideally sparse representation coefficient' support, which is critical information for class decision in representation based techniques.


title: On computing the determinant, other characteristic polynomial coefficients, and inverse in Clifford algebras of arbitrary dimension

abstract: In this paper, we solve the problem of computing the inverse in Clifford algebras of arbitrary dimension. We present basis-free formulas of different types (explicit and recursive) for the determinant, other characteristic polynomial coefficients, adjugate, and inverse in real Clifford algebras (or geometric algebras) over vector spaces of arbitrary dimension $n$. The formulas involve only the operations of multiplication, summation, and operations of conjugation without explicit use of matrix representation. We use methods of Clifford algebras (including the method of quaternion typification proposed by the author in previous papers and the method of operations of conjugation of special type presented in this paper) and generalizations of numerical methods of matrix theory (the Faddeev-LeVerrier algorithm based on the Cayley-Hamilton theorem; the method of calculating the characteristic polynomial coefficients using Bell polynomials) to the case of Clifford algebras in this paper. We present the construction of operations of conjugation of special type and study relations between these operations and the projection operations onto fixed subspaces of Clifford algebras. We use this construction in the analytical proof of formulas for the determinant, other characteristic polynomial coefficients, adjugate, and inverse in Clifford algebras. The basis-free formulas for the inverse give us basis-free solutions to linear algebraic equations, which are widely used in computer science, image and signal processing, physics, engineering, control theory, etc. The results of this paper can be used in symbolic computation.


title: Detecting sudden and gradual drifts in business processes from execution traces

abstract: Business processes are prone to unexpected changes, as process workers may suddenly or gradually start executing a process differently in order to adjust to changes in workload, season, or other external factors. Early detection of business process changes enables managers to identify and act upon changes that may otherwise affect process performance. Business process drift detection refers to a family of methods to detect changes in a business process by analyzing event logs extracted from the systems that support the execution of the process. Existing methods for business process drift detection are based on an explorative analysis of a potentially large feature space and in some cases they require users to manually identify specific features that characterize the drift. Depending on the explored feature space, these methods miss various types of changes. Moreover, they are either designed to detect sudden drifts or gradual drifts but not both. This paper proposes an automated and statistically grounded method for detecting sudden and gradual business process drifts under a unified framework. An empirical evaluation shows that the method detects typical change patterns with significantly higher accuracy and lower detection delay than existing methods, while accurately distinguishing between sudden and gradual drifts.


title: On Weyl multipliers of non-overlapping Franklin polynomial systems

abstract: We prove that $\log n$ is an almost everywhere convergence Weyl multiplier for any orthonormal system of non-overlapping Franklin polynomials. It will also be remarked that $\log n$ is the optimal sequence in this context.


title: Stochastic Games with Lexicographic Reachability-Safety Objectives

abstract: We study turn-based stochastic zero-sum games with lexicographic preferences over reachability and safety objectives. Stochastic games are standard models in control, verification, and synthesis of stochastic reactive systems that exhibit both randomness as well as angelic and demonic non-determinism. Lexicographic order allows to consider multiple objectives with a strict preference order over the satisfaction of the objectives. To the best of our knowledge, stochastic games with lexicographic objectives have not been studied before. We establish determinacy of such games and present strategy and computational complexity results. For strategy complexity, we show that lexicographically optimal strategies exist that are deterministic and memory is only required to remember the already satisfied and violated objectives. For a constant number of objectives, we show that the relevant decision problem is in NP $\cap$ coNP, matching the current known bound for single objectives; and in general the decision problem is PSPACE-hard and can be solved in NEXPTIME $\cap$ coNEXPTIME. We present an algorithm that computes the lexicographically optimal strategies via a reduction to computation of optimal strategies in a sequence of single-objectives games. We have implemented our algorithm and report experimental results on various case studies.


title: Wilson loops as defects in N=2 conformal field theories

abstract: In this thesis we consider four dimensional N=2 superconformal field theories, in presence of line defects such as Wilson loops. In this set up, using supersymmetric localization, we compute many observables, such as the vacuum expectation value of the Wilson loop, correlation functions with chiral operators and the emitted radiation of the charged particle moving along the Wilson loop trajectory. These results are achieved by exploiting the localized matrix model on a four sphere, and checked against a perturbative computation on the flat space in N=1 superspace formalism, up to four loops in perturbation theory.


title: Modeling ball possession dynamics in the game of football

abstract: In this paper, we study interaction dynamics in the game of football-soccer in the context of ball possession intervals. To do so, we analyze a database comprising one season of the five major football leagues of Europe. Using this input, we developed a stochastic model based on three agents: two teammates and one defender. Despite its simplicity, the model is able to capture, in good approximation, the statistical behavior of possession times, pass lengths, and number of passes performed. In the last section, we show that the model's dynamics can be mapped into a Wiener process with drift and an absorbing barrier.


title: Complete $3$-dimensional $\lambda$-translators in the Minkowski space $\mathbb{R}^{4}_{1}$

abstract: In this paper, we obtain the classification theorem for three-dimensional complete space-like $\lambda$-translators $x:M^{3} \rightarrow \mathbb R^{4}_{1}$ with constant norm of the second fundamental form and constant $f_{4}$ in the Minkowski space $\mathbb R^{4}_{1}$.


title: On the Effect of Learned Clauses on Stochastic Local Search

abstract: There are two competing paradigms in successful SAT solvers: Conflict-driven clause learning (CDCL) and stochastic local search (SLS). CDCL uses systematic exploration of the search space and has the ability to learn new clauses. SLS examines the neighborhood of the current complete assignment. Unlike CDCL, it lacks the ability to learn from its mistakes. This work revolves around the question whether it is beneficial for SLS to add new clauses to the original formula. We experimentally demonstrate that clauses with a large number of correct literals w. r. t. a fixed solution are beneficial to the runtime of SLS. We call such clauses high-quality clauses. Empirical evaluations show that short clauses learned by CDCL possess the high-quality attribute. We study several domains of randomly generated instances and deduce the most beneficial strategies to add high-quality clauses as a preprocessing step. The strategies are implemented in an SLS solver, and it is shown that this considerably improves the state-of-the-art on randomly generated instances. The results are statistically significant.


title: Neutrino Mixing by modifying the Yukawa coupling structure of constrained sequential dominance

abstract: In the constrained sequential dominance (CSD), tri-bimaximal mixing (TBM) pattern in the neutrino sector has been explained, by proposing a certain Yukawa coupling structure for the right-handed neutrinos of the model. However, from the current experimental data it is known that the values of neutrino mixing angles are deviated from the TBM values. In order to explain this neutrino mixing, we first propose a phenomenological model where we consider Yukawa couplings which are modified from that of CSD. Essentially, we add small complex parameters to the Yukawa couplings of CSD. Using these modified Yukawa couplings, we demonstrate that neutrino mixing angles can deviate from their TBM values. We also construct a model, based on a flavor symmetry, in order to justify the modified form of Yukawa couplings of our work.


title: Estimation of the partition functions of two-dimensional nearest neighbour Ising models

abstract: Employing the exact solution of Onsager for two-dimensional Ising models, simple expressions are proposed for computing the partition function, magnetization, specific heat and susceptibility for non-zero magnetic fields of square lattices. The partition function in zero fields is also estimated and excellent agreement with the values arising from the exact solution of Onsager is demonstrated.


title: Weyl type $f(Q,T)$ gravity, and its cosmological implications

abstract: We consider an $f(Q,T)$ type gravity model in which the scalar non-metricity $Q_{\alpha \mu \nu}$ of the space-time is expressed in its standard Weyl form, and it is fully determined by a vector field $w_{\mu}$. The field equations of the theory are obtained under the assumption of the vanishing of the total scalar curvature, a condition which is added into the gravitational action via a Lagrange multiplier. The gravitational field equations are obtained from a variational principle, and they explicitly depend on the scalar nonmetricity and on the Lagrange multiplier. The covariant divergence of the matter energy-momentum tensor is also determined, and it follows that the nonmetricity-matter coupling leads to the nonconservation of the energy and momentum. The energy and momentum balance equations are explicitly calculated, and the expressions of the energy source term and of the extra force are found. We investigate the cosmological implications of the theory, and we obtain the cosmological evolution equations for a flat, homogeneous and isotropic geometry, which generalize the Friedmann equations of standard general relativity. We consider several cosmological models by imposing some simple functional forms of the function $f(Q,T)$, and we compare the predictions of the theory with the standard $\Lambda$CDM model.


title: Improved mathematical models of structured-light modulation analysis technique for contaminant and defect detection

abstract: Surface quality inspection of optical components is critical in optical and electronic industries. Structured-Light Modulation Analysis Technique (SMAT) is a novel method recently proposed for the contaminant and defect detection of specular surfaces and transparent objects, and this approach was verified to be effective in eliminating ambient light. The mechanisms and mathematical models of SMAT were analyzed and established based on the theory of photometry and the optical characteristics of contaminants and defects. However, there are still some phenomena exist as conundrums in actual detection process, which cannot be well explained. In order to better analyze the phenomena in practical circumstances, improved mathematical models of SMAT are constructed based on the surface topography of contaminants and defects in this paper. These mathematical models can be used as tools for analyzing various contaminants and defects in different systems, and provide effective instruction for subsequent work. Simulations and experiments on the modulation and the luminous flux of fringe patterns have been implemented to verify the validity of these mathematical models. In adddition, by using the fringe patterns with mutually perpendicular sinusoidal directions, two obtained modulation images can be merged to solve the incomplete information acquisition issue caused by the differentiated response of modulation.


abstract: This article is an introduction for a theme issue following a Scientific Discussion Meeting on \emph{The next generation of analogue gravity experiments} held at the Royal Society in December 2019. This theme issue comprises a collection of recent advances of the research programme, as well as their philosophical implications, that were presented at the meeting.


title: Color flavor locked strange stars in 4D Einstein-Gauss-Bonnet gravity

abstract: This work is devoted on the recently introduced Einstein-Gauss-Bonnet gravity in four dimensions. The theory can bypass the Lovelock's theorem and avoids Ostrogradsky instability. The integrated part of this theory is the GB term gives rise to a non-trivial contribution to the gravitational dynamics in the limit $D \to 4$. Our main interest is to explore a class of static and spherically symmetric compact objects made of strange matter in the color flavor locked (CFL) phase, in which all three quark flavors participate to pairing symmetrically. It is therefore natural to ask for compact objects in 4$D$ EGB gravity since, compact stars signatures may be the test-bed to compare new models to the Einstein gravity; on the other hand, this could shed new light on the possible presence of CFL phase in compact stars. This feature may be relevant in view of recent observations claiming the existence of stable compact \emph{quark} stars (hybrid neutron stars or strange stars).


title: The overall mortality caused by COVID-19 in the European region is highly associated with demographic composition: A spatial regression-based approach

abstract: The demographic factors have a substantial impact on the overall casualties caused by the COVID-19. In this study, the spatial association between the key demographic variables and COVID-19 cases and deaths were analyzed using the spatial regression models. Total 13 (for COVID-19 case factor) and 8 (for COVID-19 death factor) key variables were considered for the modelling. Total five spatial regression models such as Geographically weighted regression (GWR), Spatial Error Model (SEM), Spatial Lag Model (SLM), Spatial Error_Lag model (SEM_SLM), and Ordinary Least Square (OLS) were performed for the spatial modelling and mapping of model estimates. The local R2 values, which suggesting the influences of the selected demographic variables on overall casualties caused by COVID-19, was found highest in Italy and the UK. The moderate local R2 was observed for France, Belgium, Netherlands, Ireland, Denmark, Norway, Sweden, Poland, Slovakia, and Romania. The lowest local R2 value for COVID-19 cases was accounted for Latvia and Lithuania. Among the 13 variables, the highest local R2 was calculated for total population (R2 = 0.92), followed by death crude death rate (R2 = 0.9), long time illness (R2 = 0.84), population with age >80 (R2 = 0.59), employment (R2 = 0.46), life expectancy at 65 (R2 = 0.34), crude birth rate (R2 = 0.31), life expectancy (R2 = 0.31), Population with age 65-80 (R2 = 0.29), Population with age 15-24 (R2 = 0.27), Population with age 25-49 (R2 = 0.27), Population with age 0-14 (R2 = 0.23), and Population with age 50-65 (R2 = 0.23), respectively.


title: An ideal class to construct solutions for skew Brownian motion equations

abstract: This paper contributes to the study of stochastic processes of the class $(\Sigma)$. First, we extend the notion of the above-mentioned class to c\`adl\`ag semi-martingales, whose finite variational part is considered c\`adl\`ag instead of continuous. Thus, we present some properties and propose a method to characterize such stochastic processes. Second, we investigate continuous processes of the class $(\Sigma)$. More precisely, we derive a series of new characterization results. In addition, we construct solutions for skew Brownian motion equations using continuous stochastic processes of the class $(\Sigma)$.


title: Example of quasianalytic contraction whose spectrum is a proper subarc of the unit circle

abstract: A partial answer on [KS2, Question 2] is given. Namely, an operator $R$ similar to a quasianalytic contraction whose quasianalytic spectral set is equal to its spectrum and is a proper subarc of the unit circle is constructed, but no estimates of $\|R^{-1}\|$ is given.


title: Local times and sample path properties of the Rosenblatt process

abstract: Let $Z = (Z_t)_{t \geq 0}$ be the Rosenblatt process with Hurst index $H \in (1/2, 1)$. We prove joint continuity for the local time of $Z$, and establish H\"older conditions for the local time. These results are then used to study the irregularity of the sample paths of $Z$. Based on analogy with similar known results in the case of fractional Brownian motion, we believe our results are sharp. A main ingredient of our proof is a rather delicate spectral analysis of arbitrary linear combinations of integral operators, which arise from the representation of the Rosenblatt process as an element in the second chaos.


title: The Richberg technique for subsolutions

abstract: This note adapts the sophisticated Richberg technique for approximation in pluripotential theory to the $F$-potential theory associated to a general nonlinear convex subequation $F \subset J^2(X)$ on a manifold $X$. The main theorem is the following "local to global" result. Suppose $u$ is a continuous strictly $F$-subharmonic function such that each point $x\in X$ has a fundamental neighborhood system consisting of domains for which a "quasi" form of $C^\infty$ approximation holds. Then for any positive $h\in C(X)$ there exists a strictly $F$-subharmonic function $w\in C^\infty(X)$ with $u< w< u+h$. Applications include all convex constant coefficient subequations on ${\bf R}^n$, various nonlinear subequations on complex and almost complex manifolds, and many more.


title: From univariate to multivariate coupling between continuous signals and point processes: a mathematical framework

abstract: Time series datasets often contain heterogeneous signals, composed of both continuously changing quantities and discretely occurring events. The coupling between these measurements may provide insights into key underlying mechanisms of the systems under study. To better extract this information, we investigate the asymptotic statistical properties of coupling measures between continuous signals and point processes. We first introduce martingale stochastic integration theory as a mathematical model for a family of statistical quantities that include the Phase Locking Value, a classical coupling measure to characterize complex dynamics. Based on the martingale Central Limit Theorem, we can then derive the asymptotic Gaussian distribution of estimates of such coupling measure, that can be exploited for statistical testing. Second, based on multivariate extensions of this result and Random Matrix Theory, we establish a principled way to analyze the low rank coupling between a large number of point processes and continuous signals. For a null hypothesis of no coupling, we establish sufficient conditions for the empirical distribution of squared singular values of the matrix to converge, as the number of measured signals increases, to the well-known Marchenko-Pastur (MP) law, and the largest squared singular value converges to the upper end of the MPs support. This justifies a simple thresholding approach to assess the significance of multivariate coupling. Finally, we illustrate with simulations the relevance of our univariate and multivariate results in the context of neural time series, addressing how to reliably quantify the interplay between multi channel Local Field Potential signals and the spiking activity of a large population of neurons.


title: Spectral Ranking with Covariates

abstract: We consider spectral approaches to the problem of ranking n players given their incomplete and noisy pairwise comparisons, but revisit this classical problem in light of player covariate information. We propose three spectral ranking methods that incorporate player covariates and are based on seriation, low-rank structure assumption and canonical correlation, respectively. Extensive numerical simulations on both synthetic and real-world data sets demonstrated that our proposed methods compare favorably to existing state-of-the-art covariate-based ranking algorithms.


title: On Minimizing Channel-Aware Age of Information in a Multi-Sensor Setting

abstract: We propose a variant of the Age of Information (AoI) metric called Channel-Aware Age of Information (CA-AoI). Unlike AoI, CA-AoI takes into account the channel conditions between the source and the intended destination to compute the "age" of the recent most update received by the destination. This new metric ensures that the resource allocation is not heavily tilted towards the sources with poor channel conditions. We design scheduling policies for multi-sensor systems in which sensors report their measurements to a central monitoring station via a shared unreliable communication channel with the goal of minimizing the time-average of the weighted sum of CA-AoIs. We initially derive universal lower bounds for the freshness objective. We show that the scheduling problem is indexable and derive low complexity Whittle index based scheduling policies. We also design stationary randomized scheduling algorithms and give optimization procedures to find the optimal parameters of the policy. Via simulations, we show that our proposed policies surpass the greedy policy in several settings. Moreover the Whittle Index based scheduling policies outperform other policies in all the settings considered.


title: Multi-Winner Election Control via Social Influence

abstract: In an election, we are given a set of voters, each having a preference list over a set of candidates, that are distributed on a social network. We consider a scenario where voters may change their preference lists as a consequence of the messages received by their neighbors in a social network. Specifically, we consider a political campaign that spreads messages in a social network in support or against a given candidate and the spreading follows a dynamic model for information diffusion. When a message reaches a voter, this latter changes its preference list according to an update rule. The election control problem asks to find a bounded set of nodes to be the starter of a political campaign in support (constructive problem) or against (destructive problem) a given target candidate $c$, in such a way that the margin of victory of $c$ w.r.t. its most voted opponents is maximized. It has been shown that several variants of the problem can be solved within a constant factor approximation of the optimum, which shows that controlling elections by means of social networks is doable and constitutes a real problem for modern democracies. Most of the literature, however, focuses on the case of single-winner elections. In this paper, we define the election control problem in social networks for "multi-winner elections" with the aim of modeling parliamentarian elections. Differently from the single-winner case, we show that the multi-winner election control problem is NP-hard to approximate within any factor in both constructive and destructive cases. We then study a relaxation of the problem where votes are aggregated on the basis of parties (instead of single candidates), which is a variation of the so-called "straight-party voting" used in some real parliamentarian elections. We show that the latter problem remains NP-hard but can be approximated within a constant factor.


title: Dynamical Transition Theory of Hexagonal Pattern Formations

abstract: The main goal of this paper is to understand the formation of hexagonal patterns from the dynamical transition theory point of view. We consider the transitions from a steady state of an abstract nonlinear dissipative system. To shed light on the formation of mixed mode patterns such as the hexagonal pattern, we consider the case where the linearized operator of the system has two critical real eigenvalues, at a critical value $\lambda_c$ of a control parameter $\lambda$ with associated eigenmodes having a roll and rectangular pattern. By using center manifold reduction, we obtain the reduced equations of the system near the critical transition value $\lambda_c$. By a through analysis of these equations, we fully characterize all possible transition scenarios when the coefficients of the quadratic part of the reduced equations do not vanish. We consider three problems, two variants of the 2D Swift-Hohenberg equation and the 3D surface tension driven convection, to demonstrate that all the main theoretical results we obtain here are indeed realizable.


title: Early stage phase separation of AlCoCr0.75Cu0.5FeNi high-entropy powder at the nanoscale

abstract: High entropy alloys are generally considered to be single phase material. This state is, however, typically a non-equilibrium state after fabrication at high cooling rates. Phase constitution after fabrication or heat treatment is mostly known for isothermal annealing only and for casts as well as rapidly quenched alloys. Knowledge on early phase separation stages of high entropy alloys and their mechanisms are missing so far. Here, we present results on phase separation at intermediate cooling rates, by characterization of gas atomized powder of the AlCoCr0.75Cu0.5FeNi alloy. Although investigation by X-ray diffraction and Electron Backscatter Diffraction indicates a single-phase nature of the powder particles, aberration-corrected scanning transmission electron microscopy and atom probe tomography reveal a nanoscale phase separation into Ni-Al-rich B2 and Fe-Cr-rich A2 regions as well as a high number density of 3.1x1024 Cu-rich clusters per m3 in the B2 matrix. The observed phase separation and cluster formation are linked to spinodal decomposition and nucleation processes, respectively. The study highlights that adequate characterization techniques need to be chosen when making statements about phase stability and structural evolution in compositionally complex alloys.


title: Turbulent flame speed and reaction layer thickening in premixed jet flames at constant Karlovitz and increasing Reynolds numbers

abstract: A series of Direct Numerical Simulations (DNS) of lean methane/air flames was conducted in order to investigate the enhancement of the turbulent flame speed and modifications to the reaction layer structure associated with the systematic increase of the integral scale of turbulence $l$ while the Karlovitz number and the Kolmogorov scale are kept constant. Four turbulent slot jet flames are simulated at increasing Reynolds number and up to $Re \approx 22000$, defined based on the bulk velocity, slot width, and the reactants' properties. The turbulent flame speed $S_T$ is evaluated locally at select streamwise locations and it is observed to increase both in the streamwise direction for each flame and across flames for increasing Reynolds number, in line with a corresponding increase of the turbulent integral scale. In particular, the turbulent flame speed $S_T$ increases exponentially with the integral scale for $l$ up to about 6 laminar flame thicknesses, while the scaling becomes a power-law for larger values of $l$. These trends cannot be ascribed completely to the increase in the flame surface, since the turbulent flame speed looses its proportionality to the flame area as the integral scale increases; in particular, it is found that the ratio of turbulent flame speed to area attains a power-law scaling $l^{0.2}$. This is caused by an overall broadening of the reaction layer for increasing integral scale, which is not associated with a corresponding decrease of the reaction rate, causing a net enhancement of the overall burning rate. This observation is significant since it suggests that a continuous increase in the size of the largest scales of turbulence might be responsible for progressively stronger modifications of the flame's inner layers even if the smallest scales, i.e., the Karlovitz number, are kept constant.


title: Spin selectivity through time-reversal symmetric helical junctions

abstract: Time-reversal symmetric charge and spin transport through a molecule comprising two-orbital channels and connected to two leads is analyzed. It is demonstrated that spin-resolved currents are generated when spin-flip processes are accompanied by a flip of the orbital channels. This surprising finding does not contradict Bardarson's theorem [J. H. Bardarson, J. Phys. A: Math. Theor. 41, 405203 (2008)] for two-terminal junctions: the transmission does possess two pairs of doubly-degenerate eigenvalues as required by the theorem. The spin-filtering effect is explicitly demonstrated for a two-terminal chiral molecular junction, modeled by a two-orbital tight-binding chain with intra-atomic spin-orbit interactions (SOI). In the context of transport through organic molecules like DNA, this effect is termed "chirality-induced spin selectivity" (CISS). The model exhibits spin-splitting without breaking time-reversal symmetry: the intra-atomic SOI induces concomitant spin and orbital flips. Examining these transitions from the point of view of the Bloch states in an infinite molecule, it is shown that they cause shifts in the Bloch wave numbers, of the size of the reciprocal single turn, whose directions depend on the left-and right-handedness of the helix. As a result, spin-up and spin-down states propagate in the opposite directions, leading to the CISS effect. To further substantiate our picture, we present an analytically-tractable expression for the 8$\times$8 scattering matrix of such a (single) molecule.


title: Computational Complexity of Synchronization under Regular Commutative Constraints

abstract: Here we study the computational complexity of the constrained synchronization problem for the class of regular commutative constraint languages. Utilizing a vector representation of regular commutative constraint languages, we give a full classification of the computational complexity of the constraint synchronization problem. Depending on the constraint language, our problem becomes PSPACE-complete, NP-complete or polynomial time solvable. In addition, we derive a polynomial time decision procedure for the complexity of the constraint synchronization problem, given some constraint automaton accepting a commutative language as input.


title: Hypergraph Learning for Identification of COVID-19 with CT Imaging

abstract: The coronavirus disease, named COVID-19, has become the largest global public health crisis since it started in early 2020. CT imaging has been used as a complementary tool to assist early screening, especially for the rapid identification of COVID-19 cases from community acquired pneumonia (CAP) cases. The main challenge in early screening is how to model the confusing cases in the COVID-19 and CAP groups, with very similar clinical manifestations and imaging features. To tackle this challenge, we propose an Uncertainty Vertex-weighted Hypergraph Learning (UVHL) method to identify COVID-19 from CAP using CT images. In particular, multiple types of features (including regional features and radiomics features) are first extracted from CT image for each case. Then, the relationship among different cases is formulated by a hypergraph structure, with each case represented as a vertex in the hypergraph. The uncertainty of each vertex is further computed with an uncertainty score measurement and used as a weight in the hypergraph. Finally, a learning process of the vertex-weighted hypergraph is used to predict whether a new testing case belongs to COVID-19 or not. Experiments on a large multi-center pneumonia dataset, consisting of 2,148 COVID-19 cases and 1,182 CAP cases from five hospitals, are conducted to evaluate the performance of the proposed method. Results demonstrate the effectiveness and robustness of our proposed method on the identification of COVID-19 in comparison to state-of-the-art methods.


title: Literature Triage on Genomic Variation Publications by Knowledge-enhanced Multi-channel CNN

abstract: Background: To investigate the correlation between genomic variation and certain diseases or phenotypes, the fundamental task is to screen out the concerning publications from massive literature, which is called literature triage. Some knowledge bases, including UniProtKB/Swiss-Prot and NHGRI-EBI GWAS Catalog are created for collecting concerning publications. These publications are manually curated by experts, which is time-consuming. Moreover, the manual curation of information from literature is not scalable due to the rapidly increasing amount of publications. In order to cut down the cost of literature triage, machine-learning models were adopted to automatically identify biomedical publications. Methods: Comparing to previous studies utilizing machine-learning models for literature triage, we adopt a multi-channel convolutional network to utilize rich textual information and meanwhile bridge the semantic gaps from different corpora. In addition, knowledge embeddings learned from UMLS is also used to provide extra medical knowledge beyond textual features in the process of triage. Results: We demonstrate that our model outperforms the state-of-the-art models over 5 datasets with the help of knowledge embedding and multiple channels. Our model improves the accuracy of biomedical literature triage results. Conclusions: Multiple channels and knowledge embeddings enhance the performance of the CNN model in the task of biomedical literature triage. Keywords: Literature Triage; Knowledge Embedding; Multi-channel Convolutional Network


title: Fundamental Considerations around Scenario-Based Testing for Automated Driving

abstract: The homologation of automated vehicles, being safety-critical complex systems, requires sound evidence for their safe operability. Traditionally, verification and validation activities are guided by a combination of ISO 26262 and ISO/PAS 21448, together with distance-based testing. Starting at SAE Level 3, such approaches become infeasible, resulting in the need for novel methods. Scenario-based testing is regarded as a possible enabler for verification and validation of automated vehicles. Its effectiveness, however, rests on the consistency and substantiality of the arguments used in each step of the process. In this work, we sketch a generic framework around scenario-based testing and analyze contemporary approaches to the individual steps. For each step, we describe its function, discuss proposed approaches and solutions, and identify the underlying arguments, principles and assumptions. As a result, we present a list of fundamental considerations for which evidences need to be gathered in order for scenario-based testing to support the homologation of automated vehicles.


title: Tensor Isomorphism by conjugacy of Lie algebras

abstract: We introduce an algorithm to decide isomorphism between tensors. The algorithm uses the Lie algebra of derivations of a tensor to compress the space in which the search takes place to a so-called densor space. To make the method practicable we give a polynomial-time algorithm to solve a generalization of module isomorphism for a common class of Lie modules. As a consequence, we show that isomorphism testing is in polynomial time for tensors whose derivation algebras are classical Lie algebras and whose densor spaces are 1-dimensional. The method has been implemented in the Magma computer algebra system.


title: Convergence of IT and SCADA: Associated Security Threats and Vulnerabilities

abstract: As many industries shift towards centralised controlled information systems for monitoring and control, more importance is being placed upon technologies such as Supervisory Control and Data Acquisitions industrial systems (SCADA). This focus on integration and interoperability presents numerous challenges for security personnel and organisational management alike. It becomes paramount therefore to reciprocate this new direction within an organisation with adequate plans and frameworks that ensure protection and security of its SCADA architecture. A clear understanding of the relevant threats and vulnerabilities is critical for adopting/developing appropriate policy and frameworks. To this end, in this research we identify and analyse relevant SCADA security threats and vulnerabilities and present a simple scheme to classify them for better understanding.


title: Sherpa: Robust Hyperparameter Optimization for Machine Learning

abstract: Sherpa is a hyperparameter optimization library for machine learning models. It is specifically designed for problems with computationally expensive, iterative function evaluations, such as the hyperparameter tuning of deep neural networks. With Sherpa, scientists can quickly optimize hyperparameters using a variety of powerful and interchangeable algorithms. Sherpa can be run on either a single machine or in parallel on a cluster. Finally, an interactive dashboard enables users to view the progress of models as they are trained, cancel trials, and explore which hyperparameter combinations are working best. Sherpa empowers machine learning practitioners by automating the more tedious aspects of model tuning. Its source code and documentation are available at https://github.com/sherpa-ai/sherpa.


title: A Human Dimension of Hacking: Social Engineering through Social Media

abstract: Social engineering through social media channels targeting organizational employees is emerging as one of the most challenging information security threats. Social engineering defies traditional security efforts due to the method of attack relying on human naivet\'e or error. The vast amount of information now made available to social engineers through online social networks is facilitating methods of attack which rely on some form of human error to enable infiltration into company networks. While, paramount to organisational information security objectives is the introduction of relevant comprehensive policy and guideline, perspectives and practices vary from global region to region. This paper identifies such regional variations and then presents a detailed investigation on information security outlooks and practices, surrounding social media, in Australian organisations (both public and private). Results detected disparate views and practices, suggesting further work is needed to achieve effective protection against security threats arsing due to social media adoption.


title: Monitoring data in R with the lumberjack package

abstract: Monitoring data while it is processed and transformed can yield detailed insight into the dynamics of a (running) production system. The lumberjack package is a lightweight package allowing users to follow how an R object is transformed as it is manipulated by R code. The package abstracts all logging code from the user, who only needs to specify which objects are logged and what information should be logged. A few default loggers are included with the package but the package is extensible through user-defined logger objects.


title: The numerical statistical fan for noisy experimental designs

abstract: Identifiability of polynomial models is a key requirement for multiple regression. We consider an analogue of the so-called statistical fan, the set of all maximal identifiable hierarchical models, for cases of noisy experimental designs or measured covariate vectors with a given tolerance vector. This gives rise to the definition of the numerical statistical fan. It includes all maximal hierarchical models that avoid approximate linear dependence of the model terms. We develop an algorithm to compute the numerical statistical fan using recent results on the computation of all border bases of a design ideal from the field of algebra. The ideas are applied to data from a thermal spraying process. It turns out that the numerical statistical fan is effectively computable and much smaller than the respective statistical fan. The gained enhanced knowledge of the space of all stable identifiable hierarchical models enables improved model selection procedures.


title: Unravelling stellar populations in the Andromeda Galaxy

abstract: To understand the history and formation mechanisms of galaxies it is crucial to determine their current multidimensional structure. Here we focus on stellar population properties, such as metallicity and [$\alpha$/Fe] enhancement. We devise a new technique to recover the distribution of these parameters using spatially resolved, line-of-sight averaged data. Our chemodynamical method is based on the made-to-measure (M2M) framework and results in an $N$-body model for the abundance distribution. We test our method on a mock data set and find that the radial and azimuthal profiles are well-recovered, however only the overall shape of the vertical profile matches the true profile. We apply our procedure to spatially resolved maps of mean [Z/H] and [$\alpha$/Fe] for the Andromeda Galaxy, using an earlier barred dynamical model of M31. We find that the metallicity is enhanced along the bar, with possible maxima at the ansae. In the edge-on view the [Z/H] distribution has an X shape due to the boxy/peanut bulge; the average vertical metallicity gradient is equal to $-0.133\pm0.006$ dex/kpc. We identify a metallicity-enhanced ring around the bar, which also has relatively lower [$\alpha$/Fe]. The highest [$\alpha$/Fe] is found in the centre, due to the classical bulge. Away from the centre, the $\alpha$-overabundance in the bar region increases with height, which could be an indication of a thick disc. We argue that the galaxy assembly resulted in a sharp peak of metallicity in the central few hundred parsecs and a more gentle negative gradient in the remaining disc, but no [$\alpha$/Fe] gradient. The formation of the bar lead to the re-arrangement of the [Z/H] distribution, causing a flat gradient along the bar. Subsequent star formation close to the bar ends may have produced the metallicity enhancements at the ansae and the [Z/H] enhanced lower-$\alpha$ ring.


title: Formal Controller Synthesis for Frequency Regulation Utilising Electric Vehicles

abstract: In this paper, we propose a formal controller synthesis approach for integrating a population of plug-in electric vehicles in frequency regulation of power systems. This approach is the first application of formal methods to the smart grids in particular to the frequency regulation of power systems. We design and simulate a novel symbolic controller for the Great Britain power system. The proposed controller enhances the frequency response behaviour of the system when encountered with a large outage event. The symbolic controller guarantees the settlement of the after-event's frequency in the specified safe interval and ensures other requirements on the frequency are met.


title: Improving Energy Expenditure Estimation in Wearables using a Heat Flux Sensor: First Observations

abstract: Wearable electronics are often used for estimating the energy expenditure of the user based on heart rate measurement. While heart rate is a good predictor of calorie consumption at high intensities, it is less precise at low intensity levels, which translates into inaccurate results when estimating daily net energy expenditure. In this study, heart rate measurement was augmented with heat flux measurement, a form of direct calorimetry. A physical exercise test on a group of 15 people showed that heat flux measurement can significantly improve the accuracy of calorie consumption estimates when used in conjunction with heart rate information and vital background parameters of the user.


title: Effects of rearing density on growth, digestive conditions, welfare indicators and gut bacterial community of gilthead sea bream (Sparus aurata, L. 1758) fed different fishmeal and fish oil dietary levels

abstract: In Mediterranean aquaculture little research has examined the interaction between rearing density and dietary composition on main key performance indicators, physiological processes and gut bacterial community. A study was undertaken, therefore to assess growth response, digestive enzyme activity, humoral immunity on skin mucus, plasma biochemistry and gut microbiota of gilthead sea bream (Sparus aurata, L. 1758) reared at high (HD) and low (LD) final stocking densities and fed high (FM30FO15, 30 % fishmeal FM, 15 % fish oil, FO) and low (FM10FO3; 10 % FM and 3 % FO) FM and FO levels. Isonitrogenous and isolipidic extruded diets were fed to triplicate fish groups (initial weight: 96.2 g) to overfeeding over 98 days. The densities tested had no major effects on overall growth and feed efficiency of sea bream reared at high or low FM and FO dietary level. Results of digestive enzyme activity indicated a comparable digestive efficiency among rearing densities and within each dietary treatment. Plasma parameters related to nutritional and physiological conditions were not affected by rearing densities under both nutritional conditions a similar observation was also achieved through the study of lysozyme, protease, antiprotease and total protein determination in skin mucus, For the first time on this species, the effect of rearing density on gut bacterial community was studied. Different response in relation to dietary treatment under HD and LD were detected. Low FM-FO diet maintained steady the biodiversity of the gut bacterial community between LD and HD conditions while fish fed high FM-FO level showed a reduced biodiversity at HD. According to the results, it seems feasible to rear gilthead sea bream at the on-growing phase at a density up to 36-44 kg m3 with low or high FM-FO diet without negatively affecting growth, feed efficiency, welfare condition and gut bacterial community.


title: Strategic Spatiotemporal Vaccine Distribution Increases the Survival Rate in an Infectious Disease like Covid-19

abstract: Covid-19 has caused hundred of thousands of deaths and an economic damage amounting to trillions of dollars, creating a desire for the rapid development of vaccine. Once available, vaccine is gradually produced, evoking the question on how to distribute it best. While official vaccination guidelines largely focus on the question to whom vaccines should be provided first (e.g. to risk groups), here we propose a strategy for their distribution in time and space, which sequentially prioritizes regions with a high local infection growth rate. To demonstrate this strategy, we develop a simple statistical model describing the time-evolution of infection patterns and their response to vaccination, for infectious diseases like Covid-19. For inhomogeneous infection patterns, locally well-mixed populations and basic reproduction numbers $R_0\sim 1.5-4$ the proposed strategy at least halves the number of deaths in our simulations compared to the standard practice of distributing vaccines proportionally to the population density. For $R_0\sim 1$ we still find a significant increase of the survival rate. The proposed vaccine distribution strategy can be further tested in detailed modelling works and could excite discussions on the importance of the spatiotemporal distribution of vaccines for official guidelines.


title: Nearby quintuple systems Kappa Tucanae and Xi Scorpii

abstract: Architecture and parameters of two wide nearby hierarchical systems containing five solar-type stars each, $\kappa$ Tuc and $\xi$ Sco, are studied. Using Gaia astrometry and photometry, masses are determined from visual orbits and isochrones, effective temperatures from spectra or colors. Both systems are ~2 Gyr old. Their spatial motion corresponds to young disk but does not match any known kinematic group. Internal proper motions relative to the center of mass and radial velocities show that wide ~8 kau outer pairs are bound. No correlation between orbit orientations in the inner subsystems is observed. All masses except one are confined to the narrow range from 0.8 to 1.5 solar. Strongly correlated masses and wide orbits can be explained if those systems formed by fragmentation in relative isolation and their components accreted gas from common source, as expected in a hierarchical collapse. Young moving groups could be formed in similar environments, and many of them contain high-order hierarchies.


title: Guidelines For Pursuing and Revealing Data Abstractions

abstract: Many data abstraction types, such as networks or set relationships, remain unfamiliar to data workers beyond the visualization research community. We conduct a survey and series of interviews about how people describe their data, either directly or indirectly. We refer to the latter as latent data abstractions. We conduct a Grounded Theory analysis that (1) interprets the extent to which latent data abstractions exist, (2) reveals the far-reaching effects that the interventionist pursuit of such abstractions can have on data workers, (3) describes why and when data workers may resist such explorations, and (4) suggests how to take advantage of opportunities and mitigate risks through transparency about visualization research perspectives and agendas. We then use the themes and codes discovered in the Grounded Theory analysis to develop guidelines for data abstraction in visualization projects. To continue the discussion, we make our dataset open along with a visual interface for further exploration.


title: Experimental verification of a reversed Clausius inequality in an isolated system

abstract: The second law of thermodynamics is a fundamental law of Nature. It is almost universally associated with the Clausius inequality that lower bounds a change in entropy by the ratio of supplied heat and temperature. However, this result presupposes that a system is in contact with a heat bath that drives it to a thermal state. For isolated systems that are moved from an initial equilibrium state by a dissipative heat exchange, the Clausius inequality has been predicted to be reversed. We here experimentally investigate the nonequilibrium thermodynamics of an isolated dilute gas of ultracold Cesium atoms that can be either thermalized or pushed out of equilibrium by means of laser cooling techniques. We determine in both cases the phase-space dynamics by tracing the evolution of the gas with position-resolved fluorescence imaging, from which we evaluate all relevant thermodynamic quantities. Our results confirm the validity of the usual Clausius inequality for the first process and of the reversed Clausius inequality for the second transformation.


title: Adaptive voltage regulation of an inverter-based power distribution network with a class of droop controllers

abstract: The voltage received by each customer connected to a power distribution line with local controllers (inverters) is regulated to be within a desired margin through a class of slope-restricted controllers, known conventionally as \emph{droop} controllers. We adapt the design of the droop controllers according to the known bounds of the net power consumption of each customer in each observation time window. A sufficient condition for voltage regulation is provided for each time window, which guides the design of the droop controllers, depending on the properties of the distribution line (line impedances) and the upper bound of all the customers' power consumption during each time window. The resulting adaptive scheme is verified on a benchmark model of a European low-voltage network by the CIGRE task force.


title: Primordial dark matter from curvature induced symmetry breaking

abstract: We demonstrate that adiabatic dark matter can be generated by gravity induced symmetry breaking during inflation. We study a $Z_2$ symmetric scalar singlet that couples to other fields only through gravity and for which the symmetry is broken by the spacetime curvature during inflation when the non-minimal coupling $\xi$ is negative. We find that the symmetry breaking leads to the formation of adiabatic dark matter with the observed abundance for the singlet mass $m\sim{\rm MeV}$ and $|\xi|\sim 1$.


title: Improved Upper Bounds for the Hitting Times of Quantum Walks

abstract: Continuous-time quantum walks have proven to be an extremely useful framework for the design of several quantum algorithms. Often, the running time of quantum algorithms in this framework is characterized by the quantum hitting time: the time required by the quantum walk to find a vertex of interest with a high probability. In this article, we provide improved upper bounds for the quantum hitting time that can be applied to several CTQW-based quantum algorithms. In particular, we apply our techniques to the glued-trees problem, improving their hitting time upper bound by a polynomial factor: from $O(n^5)$ to $O(n^2\log n)$. Furthermore, our methods also help to exponentially improve the dependence on precision of the continuous-time quantum walk based algorithm to find a marked node on any ergodic, reversible Markov chain by Chakraborty et al. [PRA 102, 022227 (2020)].


title: TSDM: Tracking by SiamRPN++ with a Depth-refiner and a Mask-generator

abstract: In a generic object tracking, depth (D) information provides informative cues for foreground-background separation and target bounding box regression. However, so far, few trackers have used depth information to play the important role aforementioned due to the lack of a suitable model. In this paper, a RGB-D tracker named TSDM is proposed, which is composed of a Mask-generator (M-g), SiamRPN++ and a Depth-refiner (D-r). The M-g generates the background masks, and updates them as the target 3D position changes. The D-r optimizes the target bounding box estimated by SiamRPN++, based on the spatial depth distribution difference between the target and the surrounding background. Extensive evaluation on the Princeton Tracking Benchmark and the Visual Object Tracking challenge shows that our tracker outperforms the state-of-the-art by a large margin while achieving 23 FPS. In addition, a light-weight variant can run at 31 FPS and thus it is practical for real world applications. Code and models of TSDM are available at https://github.com/lql-team/TSDM.