title: Symbolic Reasoning about Quantum Circuits in Coq

abstract: A quantum circuit is a computational unit that transforms an input quantum state to an output one. A natural way to reason about its behavior is to compute explicitly the unitary matrix implemented by it. However, when the number of qubits increases, the matrix dimension grows exponentially and the computation becomes intractable. In this paper, we propose a symbolic approach to reasoning about quantum circuits. It is based on a small set of laws involving some basic manipulations on vectors and matrices. This symbolic reasoning scales better than the explicit one and is well suited to be automated in Coq, as demonstrated with some typical examples.


title: Environment-controlled Floquet-state paramagnetism

abstract: We study the response of ideal spin systems which are interacting with both a strong oscillating magnetic field, and a thermal environment, to a weak probing magnetic field. We demonstrate that even the sign of the resulting mean magnetization depends on the amplitude of the driving field, and that its absolute value can be significantly larger than the equilibrium magnetization in the absence of time-periodic forcing. Since the underlying Floquet-state occupation probabilities are determined by the precise form of the system-bath coupling, future measurements of such effects have the potential to establish a particularly innovative line of research, providing information on nonequilibrium thermodynamics, and giving access to quantities which usually remain hidden when probing equilibrium systems.


title: Coexistence of Two Components in Magnetic Excitations of La$_{2-x}$Sr$_x$CuO$_4$ ($x$ = 0.10 and 0.16)

abstract: To elucidate the spin dynamics of La$_{2-x}$Sr$_x$CuO$_4$, which couples with the charge degree of freedom, the spin excitations spanning the characteristic energy ($E_{\rm cross}$ $\sim$35-40 meV) are investigated for underdoped $x$ = 0.10 and optimally doped (OP) $x$ = 0.16 through inelastic neutron scattering measurements. Analysis based on a two-component picture of high-quality data clarified the possible coexistence of uprightly standing incommensurate (IC) excitations with gapless commensurate (C) excitations in the energy-momentum space. The IC component weakens the intensity toward $E_{\rm cross}$ with increasing energy transfer ($\hbar\omega$), whereas the C component strengthens at high-$\hbar\omega$ regions. The analysis results imply that the superposition of two components with a particular intensity balance forms an hourglass-shaped excitation in appearance. Furthermore, the temperature dependence of the intensity of each component exhibits different behaviors; the IC component disappears near the pseudo-gap temperature ($T$*) upon warming, whereas the C component is robust against temperature. These results suggest the itinerant electron spin nature and the localized magnetism of the parent La$_2$CuO$_4$ in IC and C excitations, respectively, similar to the spin excitations in the OP YBa$_2$Cu$_3$O$_{6+\delta}$ and HgBa$_2$CuO$_{4+\delta}$ with higher superconducting-transition temperatures.


title: Target Location Problem for Multi-commodity Flow

abstract: Motivated by scheduling in Geo-distributed data analysis, we propose a target location problem for multi-commodity flow (LoMuF for short). Given commodities to be sent from their resources, LoMuF aims at locating their targets so that the multi-commodity flow is optimized in some sense. LoMuF is a combination of two fundamental problems, namely, the facility location problem and the network flow problem. We study the hardness and algorithmic issues of the problem in various settings. The findings lie in three aspects. First, a series of NP-hardness and APX-hardness results are obtained, uncovering the inherent difficulty in solving this problem. Second, we propose an approximation algorithm for general undirected networks and an exact algorithm for undirected trees, which naturally induce efficient approximation algorithms on directed networks. Third, we observe separations between directed networks and undirected ones, indicating that imposing direction on edges makes the problem strictly harder. These results show the richness of the problem and pave the way to further studies.


title: Neon Abundances of B-stars in the Solar Neighborhood

abstract: We constructed a comprehensive model atom for NeI -- NeII using the most up-to-date atomic data available and evaluated the non-local thermodynamic equilibrium (NLTE) line formation for NeI and NeII in classical 1D models representing the atmospheres of B-type stars. We find that the large NLTE strengthening of the NeI lines corresponding to the 2p$^5$3p $-$ 2p$^5$3s transitions array occurs due to extremely small photoionization cross-sections of 2p$^5$3s levels that leads to strong overpopulation of these levels relative to their LTE populations. The deviations from LTE for the most NeII lines are small and do not exceed 0.11~dex in the absolute value. We analysed 20 lines of NeI and 13 lines of NeII for twenty-four B-type stars in the temperature range of 10\,400 $\le$ \Teff\ $\le$ 33\,400~K. For five stars, the NLTE leads to consistent abundances of NeI and NeII, while the difference in LTE abundance can reach up to 0.50~dex. The using of the experimental oscillator strengths recently measured by Piracha et al. (2015) leads to smaller line-by-line scatter for the most investigated stars. The averaged neon abundance in twenty-four B-type stars in solar neighborhood is 8.02$\pm$0.05. This value may provide indirect constraints on solar photospheric neon abundance.


title: Asymptotic accuracy of the saddlepoint approximation for maximum likelihood estimation

abstract: The saddlepoint approximation gives an approximation to the density of a random variable in terms of its moment generating function. When the underlying random variable is itself the sum of $n$ unobserved i.i.d. terms, the basic classical result is that the relative error in the density is of order $1/n$. If instead the approximation is interpreted as a likelihood and maximised as a function of model parameters, the result is an approximation to the maximum likelihood estimate (MLE) that can be much faster to compute than the true MLE. This paper proves the analogous basic result for the approximation error between the saddlepoint MLE and the true MLE: subject to certain explicit identifiability conditions, the error has asymptotic size $O(1/n^2)$ for some parameters, and $O(1/n^{3/2})$ or $O(1/n)$ for others. In all three cases, the approximation errors are asymptotically negligible compared to the inferential uncertainty. The proof is based on a factorisation of the saddlepoint likelihood into an exact and approximate term, along with an analysis of the approximation error in the gradient of the log-likelihood. This factorisation also gives insight into alternatives to the saddlepoint approximation, including a new and simpler saddlepoint approximation, for which we derive analogous error bounds. As a corollary of our results, we also obtain the asymptotic size of the MLE error approximation when the saddlepoint approximation is replaced by the normal approximation.


title: Economic Valuation and Pricing of Inertia in Inverter-Dominated Power Systems

abstract: This paper studies the procurement and pricing of inertial response using a frequency-constrained unit commitment formulation, which co-optimizes the provision of energy and inertia services while accounting for their complementary properties. The proposed approach builds on a two-step process that allows to differentiate between the units being online for energy purposes and the ones committed additionally solely for inertia provision. Subsequently, three novel pricing and payment schemes that reimburse inertia providers in a transparent and fair manner according to their individual participation are proposed. The analysis considers both synchronous and converter-based generators and provides insights regarding the impact of each pricing scheme on total system cost, as well as on the investment signals for technologies capable of offering affordable inertial response. The results show that all three methods will have a beneficial impact on frequency stability and aid the operator in ensuring system reliability, whereas the policy implications to different inertia providing units will vary between the payment schemes.


title: Gauge invariance and amplitudes of two-photon processes

abstract: A method to derive the convenient representations for many two-photon amplitudes is suggested. It is based on the use of the gauge in which the photon propagator has only space components. The amplitudes obtained have no any strong numerical cancellations and, therefore, are very convenient for numerical evaluations. Our approach is illustrated by the consideration of the processes $e^+e^-\to e^+e^-e^+e^-$, $e^+e^-\rightarrow e^+e^-\mu^+\mu^-$, and $e^+e^-\to \mu^+\mu^-\pi^+\pi^-$. The method is extended on the case of polarized particles. The amplitudes obtained in this approach have been employed for extension of the event generator developed by F.A. Berends, P.H. Daverveldt, and R. Kleiss.


title: Feature selection for gesture recognition in Internet-of-Things for healthcare

abstract: Internet of Things is rapidly spreading across several fields, including healthcare, posing relevant questions related to communication capabilities, energy efficiency and sensors unobtrusiveness. Particularly, in the context of recognition of gestures, e.g., grasping of different objects, brain and muscular activity could be simultaneously recorded via EEG and EMG, respectively, and analyzed to identify the gesture that is being accomplished, and the quality of its performance. This paper proposes a new algorithm that aims (i) to robustly extract the most relevant features to classify different grasping tasks, and (ii) to retain the natural meaning of the selected features. This, in turn, gives the opportunity to simplify the recording setup to minimize the data traffic over the communication network, including Internet, and provide physiologically significant features for medical interpretation. The algorithm robustness is ensured both by consensus clustering as a feature selection strategy, and by nested cross-validation scheme to evaluate its classification performance.


title: Improving Dynamic Performance of Low-Inertia Systems through Eigensensitivity Optimization

abstract: An increasing penetration of renewable generation has led to reduced levels of rotational inertia and damping in the system. The consequences are higher vulnerability to disturbances and deterioration of the dynamic response of the system. To overcome these challenges, novel converter control schemes that provide virtual inertia and damping have been introduced, which raises the question of optimal distribution of such devices throughout the network. This paper presents a framework for performance-based allocation of virtual inertia and damping to the converter-interfaced generators in a low-inertia system. This is achieved through an iterative, eigensensitivity-based optimization algorithm that determines the optimal controller gains. Two conceptually different problem formulations are presented and validated on a 3-area, 12-bus test system.


title: A Modal-Space Method for Online Power System Steady-State Stability Monitoring

abstract: This paper proposes a novel approach to estimate the steady-state angle stability limit (SSASL) by using the nonlinear power system dynamic model in the modal space. Through two linear changes of coordinates and a simplification introduced by the steady-state condition, the nonlinear power system dynamic model is transformed into a number of single-machine-like power systems whose power-angle curves can be derived and used for estimating the SSASL. The proposed approach estimates the SSASL of angles at all machines and all buses without the need for manually specifying the scenario, i.e. setting sink and source areas, and also without the need for solving multiple nonlinear power flows. Case studies on 9-bus and 39-bus power systems demonstrate that the proposed approach is always able to capture the aperiodic instability in an online environment, showing promising performance in the online monitoring of the steady-state angle stability over the traditional power flow-based analysis.


title: Real-time Semantic Segmentation via Spatial-detail Guided Context Propagation

abstract: Nowadays, vision-based computing tasks play an important role in various real-world applications. However, many vision computing tasks, e.g. semantic segmentation, are usually computationally expensive, posing a challenge to the computing systems that are resource-constrained but require fast response speed. Therefore, it is valuable to develop accurate and real-time vision processing models that only require limited computational resources. To this end, we propose the Spatial-detail Guided Context Propagation Network (SGCPNet) for achieving real-time semantic segmentation. In SGCPNet, we propose the strategy of spatial-detail guided context propagation. It uses the spatial details of shallow layers to guide the propagation of the low-resolution global contexts, in which the lost spatial information can be effectively reconstructed. In this way, the need for maintaining high-resolution features along the network is freed, therefore largely improving the model efficiency. On the other hand, due to the effective reconstruction of spatial details, the segmentation accuracy can be still preserved. In the experiments, we validate the effectiveness and efficiency of the proposed SGCPNet model. On the Citysacpes dataset, for example, our SGCPNet achieves 69.5% mIoU segmentation accuracy, while its speed reaches 178.5 FPS on 768x1536 images on a GeForce GTX 1080 Ti GPU card. In addition, SGCPNet is very lightweight and only contains 0.61 M parameters.


title: Position-based Scaled Gradient for Model Quantization and Pruning

abstract: We propose the position-based scaled gradient (PSG) that scales the gradient depending on the position of a weight vector to make it more compression-friendly. First, we theoretically show that applying PSG to the standard gradient descent (GD), which is called PSGD, is equivalent to the GD in the warped weight space, a space made by warping the original weight space via an appropriately designed invertible function. Second, we empirically show that PSG acting as a regularizer to a weight vector is favorable for model compression domains such as quantization and pruning. PSG reduces the gap between the weight distributions of a full-precision model and its compressed counterpart. This enables the versatile deployment of a model either as an uncompressed mode or as a compressed mode depending on the availability of resources. The experimental results on CIFAR-10/100 and ImageNet datasets show the effectiveness of the proposed PSG in both domains of pruning and quantization even for extremely low bits. The code is released in Github.


title: Time traps for electron-positron pairs

abstract: Analytical solutions of the Dirac equation in an external electromagnetic field are found such that according to the field-theoretic interpretation electron-positron pairs are trapped for a period of time. The naive one-particle interpretation of the Dirac wave function fails in this case completely. Simple electromagnetic field which produces this effect was undeniably concocted and may look artificial but the phenomenon of time traps seems real.


title: Style Normalization and Restitution for Generalizable Person Re-identification

abstract: Existing fully-supervised person re-identification (ReID) methods usually suffer from poor generalization capability caused by domain gaps. The key to solving this problem lies in filtering out identity-irrelevant interference and learning domain-invariant person representations. In this paper, we aim to design a generalizable person ReID framework which trains a model on source domains yet is able to generalize/perform well on target domains. To achieve this goal, we propose a simple yet effective Style Normalization and Restitution (SNR) module. Specifically, we filter out style variations (e.g., illumination, color contrast) by Instance Normalization (IN). However, such a process inevitably removes discriminative information. We propose to distill identity-relevant feature from the removed information and restitute it to the network to ensure high discrimination. For better disentanglement, we enforce a dual causal loss constraint in SNR to encourage the separation of identity-relevant features and identity-irrelevant features. Extensive experiments demonstrate the strong generalization capability of our framework. Our models empowered by the SNR modules significantly outperform the state-of-the-art domain generalization approaches on multiple widely-used person ReID benchmarks, and also show superiority on unsupervised domain adaptation.


title: Relativistic Anisotropic Fluid Spheres Satisfying a Non-Linear Equation of State

abstract: In this work, a spherically symmetric and static relativistic anisotropic fluid sphere solution of the Einstein field equations is provided. To build this particular model, we have imposed metric potential $e^{2\lambda(r)}$ and an equation of state. Specifically, the so-called modified generalized Chaplygin equation of state with $\omega=1$ and depending on two parameters, namely, $A$ and $B$. These ingredients close the problem, at least mathematically. However, to check the feasibility of the model, a complete physical analysis has been performed. Thus, we analyze the obtained geometry and the main physical observables, such as the density $\rho$, the radial $p_{r}$, and tangential $p_{t}$ pressures as well as the anisotropy factor $\Delta$. Besides, the stability of the system has been checked by means of the velocities of the pressure waves and the relativistic adiabatic index. It is found that the configuration is stable in considering the adiabatic index criteria and is under hydrostatic balance. Finally, to mimic a realistic compact object, we have imposed the radius to be $R=9.5\ [km]$. With this information and taking different values of the parameter $A$ the total mass of the object has been determined. The resulting numerical values for the principal variables of the model established that the structure could represent a quark (strange) star mixed with dark energy.


title: The analysis of periodic orbits generated by Lagrangian solutions of the restricted three-body problem with non-spherical primaries

abstract: The present paper deals with the periodic orbits generated by Lagrangian solutions of the restricted three-body problem when both the primaries are oblate bodies. We have illustrated the periodic orbits for different values of $\mu, h,\sigma_1$ and $\sigma_2$ ($h$ is energy constant, $\mu$ mass ratio of the two primaries, $\sigma_1$ and $\sigma_2$ are oblateness factors). These orbits have been determined by giving displacements along the tangent and normal to the mobile coordinates as defined by Karimov and Sokolsky \cite{Kari}. We have applied the predictor-corrector algorithm to construct the periodic orbits in an attempt to unveil the effect of oblateness of the primaries by taking the fixed values of parameters $\mu, h, \sigma_1$ and $\sigma_2$.


title: DevReplay: Automatic Repair with Editable Fix Pattern

abstract: Static analysis tools, or linters, detect violation of source code conventions to maintain project readability. Those tools automatically fix specific violations while developers edit the source code. However, existing tools are designed for the general conventions of programming languages. These tools do not check the project/API-specific conventions. We propose a novel static analysis tool DevReplay that generates code change patterns by mining the code change history, and we recommend changes using the matched patterns. Using DevReplay, developers can automatically detect and fix project/API-specific problems in the code editor and code review. Also, we evaluate the accuracy of DevReplay using automatic program repair tool benchmarks and real software. We found that DevReplay resolves more bugs than state-of-the-art APR tools. Finally, we submitted patches to the most popular open-source projects that are implemented by different languages, and project reviewers accepted 80% (8 of 10) patches. DevReplay is available on https://devreplay.github.io.


title: A Survey of Information Cascade Analysis: Models, Predictions, and Recent Advances

abstract: The deluge of digital information in our daily life -- from user-generated content, such as microblogs and scientific papers, to online business, such as viral marketing and advertising -- offers unprecedented opportunities to explore and exploit the trajectories and structures of the evolution of information cascades. Abundant research efforts, both academic and industrial, have aimed to reach a better understanding of the mechanisms driving the spread of information and quantifying the outcome of information diffusion. This article presents a comprehensive review and categorization of information popularity prediction methods, from feature engineering and stochastic processes, through graph representation, to deep learning-based approaches. Specifically, we first formally define different types of information cascades and summarize the perspectives of existing studies. We then present a taxonomy that categorizes existing works into the aforementioned three main groups as well as the main subclasses in each group, and we systematically review cutting-edge research work. Finally, we summarize the pros and cons of existing research efforts and outline the open challenges and opportunities in this field.


title: A Note on the Maximum Principle-based Approach for ISS Analysis of Higher Dimensional Parabolic PDEs with Variable Coefficients

abstract: This paper presents a maximum principle-based approach in the establishment of input-to-state stability (ISS) for a class of nonlinear parabolic partial differential equations (PDEs) over higher dimensional domains with variable coefficients and different types of nonlinear boundary conditions. Technical development on ISS analysis of the considered systems is detailed, and an example of establishing ISS estimates for a nonlinear parabolic equation with, respectively, a nonlinear Robin boundary condition and a nonlinear Dirichlet boundary condition is provided to illustrate the application of the developed method.


title: Arbitrary-sized Image Training and Residual Kernel Learning: Towards Image Fraud Identification

abstract: Preserving original noise residuals in images are critical to image fraud identification. Since the resizing operation during deep learning will damage the microstructures of image noise residuals, we propose a framework for directly training images of original input scales without resizing. Our arbitrary-sized image training method mainly depends on the pseudo-batch gradient descent (PBGD), which bridges the gap between the input batch and the update batch to assure that model updates can normally run for arbitrary-sized images. In addition, a 3-phase alternate training strategy is designed to learn optimal residual kernels for image fraud identification. With the learnt residual kernels and PBGD, the proposed framework achieved the state-of-the-art results in image fraud identification, especially for images with small tampered regions or unseen images with different tampering distributions.


title: Polarimetric image augmentation

abstract: Robotics applications in urban environments are subject to obstacles that exhibit specular reflections hampering autonomous navigation. On the other hand, these reflections are highly polarized and this extra information can successfully be used to segment the specular areas. In nature, polarized light is obtained by reflection or scattering. Deep Convolutional Neural Networks (DCNNs) have shown excellent segmentation results, but require a significant amount of data to achieve best performances. The lack of data is usually overcomed by using augmentation methods. However, unlike RGB images, polarization images are not only scalar (intensity) images and standard augmentation techniques cannot be applied straightforwardly. We propose to enhance deep learning models through a regularized augmentation procedure applied to polarimetric data in order to characterize scenes more effectively under challenging conditions. We subsequently observe an average of 18.1% improvement in IoU between non augmented and regularized training procedures on real world data.


title: Discovering Frequent Gradual Itemsets with Imprecise Data

abstract: The gradual patterns that model the complex co-variations of attributes of the form "The more/less X, The more/less Y" play a crucial role in many real world applications where the amount of numerical data to manage is important, this is the biological data. Recently, these types of patterns have caught the attention of the data mining community, where several methods have been defined to automatically extract and manage these patterns from different data models. However, these methods are often faced the problem of managing the quantity of mined patterns, and in many practical applications, the calculation of all these patterns can prove to be intractable for the user-defined frequency threshold and the lack of focus leads to generating huge collections of patterns. Moreover another problem with the traditional approaches is that the concept of gradualness is defined just as an increase or a decrease. Indeed, a gradualness is considered as soon as the values of the attribute on both objects are different. As a result, numerous quantities of patterns extracted by traditional algorithms can be presented to the user although their gradualness is only a noise effect in the data. To address this issue, this paper suggests to introduce the gradualness thresholds from which to consider an increase or a decrease. In contrast to literature approaches, the proposed approach takes into account the distribution of attribute values, as well as the user's preferences on the gradualness threshold and makes it possible to extract gradual patterns on certain databases where literature approaches fail due to too large search space. Moreover, results from an experimental evaluation on real databases show that the proposed algorithm is scalable, efficient, and can eliminate numerous patterns that do not verify specific gradualness requirements to show a small set of patterns to the user.


title: Long-Time Correlations in Single-Neutron Interferometry Data

abstract: We present a detailed analysis of the time series of time-stamped neutron counts obtained by single-neutron interferometry. The neutron counting statistics display the usual Poissonian behavior, but the variance of the neutron counts does not. Instead, the variance is found to exhibit a dependence on the phase-shifter setting which can be explained by a probabilistic model that accounts for fluctuations of the phase shift. The time series of the detection events exhibit long-time correlations with amplitudes that also depend on the phase-shifter setting. These correlations appear as damped oscillations with a period of about 2.8 s. By simulation, we show that the correlations of the time differences observed in the experiment can be reproduced by assuming that, for a fixed setting of the phase shifter, the phase shift experienced by the neutrons varies periodically in time with a period of 2.8 s. The same simulations also reproduce the behavior of the variance. Our analysis of the experimental data suggests that time-stamped data of singleparticle interference experiments may exhibit transient features that require a description in terms of non-stationary processes, going beyond the standard quantum model of independent random events.


title: A model for the collapse of the edge when two transitions routes compete

abstract: The transition to turbulence in many shear flows proceeds along two competing routes, one linked with finite-amplitude disturbances and the other one originating from a linear instability, as in e.g. boundary layer flows. The dynamical systems concept of edge manifold has been suggested in the subcritical case to explain the partition of the state space of the system. This investigation is devoted to the evolution of the edge manifold when a linear stability is added in such subcritical systems, a situation poorly studied despite its prevalence in realistic fluid flows. In particular the fate of the edge state as a mediator of transition is unclear. A deterministic three-dimensional model is suggested, parametrised by the linear instability growth rate. The edge manifold evolves topologically, via a global saddle-loop bifurcation, from the separatrix between two attraction basins to the mediator between two transition routes. For larger instability rates, the stable manifold of the saddle point increases in codimension from 1 to 2 after an additional local saddle node bifurcation, causing the collapse of the edge manifold. As the growth rate is increased, three different regimes of this model are identified, each one associated with a flow case from the recent hydrodynamic literature. A simple nonautonomous generalisation of the model is also suggested in order to capture the complexity of spatially developing flows.


title: New 3D fine-grained scintillation detector for the T2K experiment

abstract: The main goal of the T2K long-baseline neutrino experiment is the precise measurement of the parameters of neutrino oscillation and the search for CP-violation in the lepton sector. In 2017, the T2K collaboration launched the Near Detector Upgrade project. This upgrade aims to reduce the systematic errors of the oscillation parameters from 6-7% to 3-4%. In order to accomplish such goal, ND280 Upgrade proposes to implement new upstream trackers to improve the wide angle acceptance and low momentum threshold. One of the novel technologies introduced in ND280 Upgrade is super fine-grained (SuperFGD) scintillator target with 3D WLS fiber readout. The detector will consist of about 2 million (192x184x56) scintillation cubes of 1-cm size. Each cube has three orthogonal holes for WLS fibers to provide 3D optical readout. The total mass of the detector is about 2 tons and the number of the readout channels is about 60,000. This paper presents the current status of the development of this detector.


title: Evolution of pomeron and odderon at all angular momemnta

abstract: In the QCD the small~$x$ evolution of the interacting pomerons and odderons is studied with all angular momenta $l$ taken into account. The resulting system of coupled nonlinear evolution equations is formulated in the momentum space and solved numerically. Excellent convergence in $l$ is observed. Also it is found that states with $l>1$ play an important role and substantially reduce the basic pomeron state at large rapidities


title: Autonomous Task Dropping Mechanism to Achieve Robustness in Heterogeneous Computing Systems

abstract: Robustness of a distributed computing system is defined as the ability to maintain its performance in the presence of uncertain parameters. Uncertainty is a key problem in heterogeneous (and even homogeneous) distributed computing systems that perturbs system robustness. Notably, the performance of these systems is perturbed by uncertainty in both task execution time and arrival. Accordingly, our goal is to make the system robust against these uncertainties. Considering task execution time as a random variable, we use probabilistic analysis to develop an autonomous proactive task dropping mechanism to attain our robustness goal. Specifically, we provide a mathematical model that identifies the optimality of a task dropping decision, so that the system robustness is maximized. Then, we leverage the mathematical model to develop a task dropping heuristic that achieves the system robustness within a feasible time complexity. Although the proposed model is generic and can be applied to any distributed system, we concentrate on heterogeneous computing (HC) systems that have a higher degree of exposure to uncertainty than homogeneous systems. Experimental results demonstrate that the autonomous proactive dropping mechanism can improve the system robustness by up to 20%.


title: An improved bound for the rigidity of linearly constrained frameworks

abstract: We consider the problem of characterising the generic rigidity of bar-joint frameworks in $\mathbb{R}^d$ in which each vertex is constrained to lie in a given affine subspace. The special case when $d=2$ was previously solved by I. Streinu and L. Theran in 2010 and the case when each vertex is constrained to lie in an affine subspace of dimension $t$, and $d\geq t(t-1)$ was solved by Cruickshank, Guler and the first two authors in 2019. We extend the latter result by showing that the given characterisation holds whenever $d\geq 2t$.


title: VDO-SLAM: A Visual Dynamic Object-aware SLAM System

abstract: Combining Simultaneous Localisation and Mapping (SLAM) estimation and dynamic scene modelling can highly benefit robot autonomy in dynamic environments. Robot path planning and obstacle avoidance tasks rely on accurate estimations of the motion of dynamic objects in the scene. This paper presents VDO-SLAM, a robust visual dynamic object-aware SLAM system that exploits semantic information to enable accurate motion estimation and tracking of dynamic rigid objects in the scene without any prior knowledge of the objects' shape or geometric models. The proposed approach identifies and tracks the dynamic objects and the static structure in the environment and integrates this information into a unified SLAM framework. This results in highly accurate estimates of the robot's trajectory and the full SE(3) motion of the objects as well as a spatiotemporal map of the environment. The system is able to extract linear velocity estimates from objects' SE(3) motion providing an important functionality for navigation in complex dynamic environments. We demonstrate the performance of the proposed system on a number of real indoor and outdoor datasets and the results show consistent and substantial improvements over the state-of-the-art algorithms. An open-source version of the source code is available.


title: The principle of creating quasiperiodic surfaces under the action of vibrating dielectric matrix

abstract: A method for creating metasurfaces using a standing wave, formed in a dielectric, is proposed. Such metasurfaces are formed from metal suspensions, deposited on a dielectric plate, placed in a metal frame-screen. A series of parameters for creating the standing waves is discussed. Here the method for creating Hladni figures using acoustic standing waves is transferred to electromagnetic ones. The mathematical description of this model is proposed, as well as the research methods.


title: Reasonableness discussion and analysis for Hyperledger Fabric configuration

abstract: Blockchain, as a distributed ledger technology, becomes more and more popular in both industry and academia. Each peer in blockchain system maintains a copy of ledger and makes sure of data consistency through consensus protocol. Blockchain system can provide many benefits such as immutability, transparency and security. Hyperledger Fabric is permissioned blockchain platform hosted by Linux foundation. Fabric has various components such as peer, ordering service, chaincode and state database. The structure of Fabric network is very complicated to provide reliable permissioned blockchain service. Generally, developers must deal with hundreds of parameters to configure a network. That will cause many reasonableness problems in configurations. In this paper, we focus on how to detect reasonableness problems in Fabric configurations. Firstly, we discuss and provide a reasonableness problem knowledge database based on the perspectives of functionality, security and performance. Secondly, we implemented a detect tool for reasonableness check to Fabric. Finally, we collect 108 sample networks as the testing dataset in the experiment. The result shows our tool can help developers to locate reasonableness problems and understand their network better.


title: Improving Segmentation for Technical Support Problems

abstract: Technical support problems are often long and complex. They typically contain user descriptions of the problem, the setup, and steps for attempted resolution. Often they also contain various non-natural language text elements like outputs of commands, snippets of code, error messages or stack traces. These elements contain potentially crucial information for problem resolution. However, they cannot be correctly parsed by tools designed for natural language. In this paper, we address the problem of segmentation for technical support questions. We formulate the problem as a sequence labelling task, and study the performance of state of the art approaches. We compare this against an intuitive contextual sentence-level classification baseline, and a state of the art supervised text-segmentation approach. We also introduce a novel component of combining contextual embeddings from multiple language models pre-trained on different data sources, which achieves a marked improvement over using embeddings from a single pre-trained language model. Finally, we also demonstrate the usefulness of such segmentation with improvements on the downstream task of answer retrieval.


title: Enhancement of the $^{81}\mathrm{Kr}$ and $^{85}\mathrm{Kr}$ count rates by optical pumping

abstract: We report an increase of up to 60% on the count rates of the rare $^{81}\mathrm{Kr}$ and $^{85}\mathrm{Kr}$ isotopes in the Atom Trap Trace Analysis method by enhancing the production of metastable atoms in the discharge source. Additional atoms in the metastable $ 1s_5 $ level (Paschen notation) are obtained via optically pumping the $1s_4-2p_6$ transition at 819 nm. By solving the master equation for the system, we identify this transition to be the most suitable one and can describe the measured increase in metastable population as a function of the 819-nm laser power. We calculate the previously unknown isotope shifts and hyperfine splittings of the $1s_4-2p_6$ transition in $^{81}\mathrm{Kr}$ and $^{85}\mathrm{Kr}$, and verify the results with count rate measurements. The demonstrated count-rate increase enables a corresponding decrease in the required sample sizes for $^{81}\mathrm{Kr}$ and $^{85}\mathrm{Kr}$ dating, a significant improvement for applications such as dating of ocean water and deep ice cores.


title: Risk scoring calculation for the current NHSx contact tracing app

abstract: We consider how the NHS COVID-19 application will initially calculate a risk score for an individual based on their recent contact with people who report that they have coronavirus symptoms.


title: Swapping Exchange and Spin-Orbit Coupling in 2D van der Waals Heterostructures

abstract: The concept of swapping the two most important spin interactions -- exchange and spin-orbit coupling -- is proposed based on two-dimensional multilayer van der Waals heterostructures. Specifically, we show by performing realistic ab initio simulations, that a single device consisting of a bilayer graphene sandwiched by a 2D ferromagnet Cr$_2$Ge$_2$Te$_6$ (CGT) and a monolayer WS$_2$, is able not only to generate, but also to swap the two interactions. The highly efficient swapping is enabled by the interplay of gate-dependent layer polarization in bilayer graphene and short-range spin-orbit and exchange proximity effects affecting only the layers in contact with the sandwiching materials. We call these structures ex-so-tic, for supplying either exchange (ex) or spin-orbit (so) coupling in a single device, by gating. Such bifunctional devices demonstrate the potential of van der Waals spintronics engineering using 2D crystal multilayers.


title: An Integrated Framework of Decision Making and Motion Planning for Autonomous Vehicles Considering Social Behaviors

abstract: This paper presents a novel integrated approach to deal with the decision making and motion planning for lane-change maneuvers of autonomous vehicle (AV) considering social behaviors of surrounding traffic occupants. Reflected by driving styles and intentions of surrounding vehicles, the social behaviors are taken into consideration during the modelling process. Then, the Stackelberg Game theory is applied to solve the decision-making, which is formulated as a non-cooperative game problem. Besides, potential field is adopted in the motion planning model, which uses different potential functions to describe surrounding vehicles with different behaviors and road constrains. Then, Model Predictive Control (MPC) is utilized to predict the state and trajectory of the autonomous vehicle. Finally, the decision-making and motion planning is then integrated into a constrained multi-objective optimization problem. Three testing scenarios considering different social behaviors of surrounding vehicles are carried out to validate the performance of the proposed approach. Testing results show that the integrated approach is able to address different social interactions with other traffic participants, and make proper and safe decisions and planning for autonomous vehicles, demonstrating its feasibility and effectiveness.


title: Normal electric field enhanced light-induced polarizations in silicene

abstract: The role of staggered potential on light-induced spin and pseudo-spin polarization has been investigated in silicene. It has been shown that non-equilibrium spin and pseudo-spin polarizations are emerged in silicene sheet by applying an external perpendicular electric field in the presence of circularly polarized light emission. This electric field results in pseudo-spin resolved states very close to the Dirac points therefore could be considered as a pseudomagnetic field. It has been shown that staggered potential induced spin-valley locking and pseudo-spin resolved bands are responsible for enhancement of the spin and pseudo-spin polarizations. Meanwhile, spin-valley locking suggests a coexistence of both spin and valley polarizations with nearly identical population imbalance at low Fermi energies which could be employed for magnetic detection of the valley polarization. It has been shown that spin-valley locking results in protection of the spin polarizations against the relaxations in elastic scattering regime. In addition results indicate that the pseudo-spin current can be generated by the circularly polarized light which could be explained by asymmetric light absorption of the states in k-space.


title: Vulnerability of deep neural networks for detecting COVID-19 cases from chest X-ray images to universal adversarial attacks

abstract: Under the epidemic of the novel coronavirus disease 2019 (COVID-19), chest X-ray computed tomography imaging is being used for effectively screening COVID-19 patients. The development of computer-aided systems based on deep neural networks (DNNs) has been advanced, to rapidly and accurately detect COVID-19 cases, because the need for expert radiologists, who are limited in number, forms a bottleneck for the screening. However, so far, the vulnerability of DNN-based systems has been poorly evaluated, although DNNs are vulnerable to a single perturbation, called universal adversarial perturbation (UAP), which can induce DNN failure in most classification tasks. Thus, we focus on representative DNN models for detecting COVID-19 cases from chest X-ray images and evaluate their vulnerability to UAPs generated using simple iterative algorithms. We consider nontargeted UAPs, which cause a task failure resulting in an input being assigned an incorrect label, and targeted UAPs, which cause the DNN to classify an input into a specific class. The results demonstrate that the models are vulnerable to nontargeted and targeted UAPs, even in case of small UAPs. In particular, 2% norm of the UPAs to the average norm of an image in the image dataset achieves >85% and >90% success rates for the nontargeted and targeted attacks, respectively. Due to the nontargeted UAPs, the DNN models judge most chest X-ray images as COVID-19 cases. The targeted UAPs make the DNN models classify most chest X-ray images into a given target class. The results indicate that careful consideration is required in practical applications of DNNs to COVID-19 diagnosis; in particular, they emphasize the need for strategies to address security concerns. As an example, we show that iterative fine-tuning of the DNN models using UAPs improves the robustness of the DNN models against UAPs.


title: Robust strategic planning for mobile medical units with steerable and unsteerable demands

abstract: Mobile medical units (MMUs) are customized vehicles fitted with medical equipment that are used to provide primary care in rural environments. As MMUs can be easily relocated, they enable a demand-oriented, flexible, and local provision of health services. In this paper, we investigate the strategic planning of an MMU service by deciding where MMU operation sites should be set up and how often these should be serviced. To that end, we study the strategic planning problem for MMUs (SPMMU) $-$ a capacitated set covering problem that includes existing practices and two types of patient demands: (i) steerable demands representing patients who seek health services through a centralized appointment system and can be steered to any treatment facility within a given consideration set and (ii) unsteerable demands representing walk-in patients who always visit the closest available treatment facility. We propose an integer linear program for the SPMMU that can be solved via Benders decomposition and constraint generation. Starting from this formulation, we focus on the uncertain version of the problem in which steerable and unsteerable demands are modeled as random variables that may vary within a given interval. Using methods from robust optimization and duality theory, we devise exact constraint generation methods to solve the robust counterparts for interval and budgeted uncertainty sets. All our results transfer to the session-specific SPMMU and we evaluate our models in a computational study based on a set of instances generated from a rural primary care system in Germany.


title: Dynamics of Rod like Particles in Supercooled Liquids -- Probing Dynamic Heterogeneity and Amorphous Order

abstract: Probing dynamic and static correlation in glass-forming supercooled liquids has been a challenge for decades in spite of extensive research. Dynamic correlation which manifests itself as Dynamic Heterogeneity is ubiquitous in a vast variety of systems starting from molecular glass-forming liquids, dense colloidal systems to collections of cells. On the other hand, the mere concept of static correlation in these dense disordered systems remain somewhat elusive and its existence is still actively debated. We propose a novel method to extract both dynamic and static correlations using rod-like particles as probe. This method can be implemented in molecular glass-forming liquids in experiments as well as in other soft matter systems including biologically relevant systems. We also rationalize the observed log-normal like distribution of rotational decorrelation time of elongated probe molecules in reported experimental studies along with a proposal of a novel methodology to extract dynamic and static correlation lengths in experiments.


title: Human-Like Decision Making for Autonomous Driving: A Noncooperative Game Theoretic Approach

abstract: Considering that human-driven vehicles and autonomous vehicles (AVs) will coexist on roads in the future for a long time, how to merge AVs into human drivers traffic ecology and minimize the effect of AVs and their misfit with human drivers, are issues worthy of consideration. Moreover, different passengers have different needs for AVs, thus, how to provide personalized choices for different passengers is another issue for AVs. Therefore, a human-like decision making framework is designed for AVs in this paper. Different driving styles and social interaction characteristics are formulated for AVs regarding driving safety, ride comfort and travel efficiency, which are considered in the modeling process of decision making. Then, Nash equilibrium and Stackelberg game theory are applied to the noncooperative decision making. In addition, potential field method and model predictive control (MPC) are combined to deal with the motion prediction and planning for AVs, which provides predicted motion information for the decision-making module. Finally, two typical testing scenarios of lane change, i.e., merging and overtaking, are carried out to evaluate the feasibility and effectiveness of the proposed decision-making framework considering different human-like behaviors. Testing results indicate that both the two game theoretic approaches can provide reasonable human-like decision making for AVs. Compared with the Nash equilibrium approach, under the normal driving style, the cost value of decision making using the Stackelberg game theoretic approach is reduced by over 20%.


title: Online non-convex learning for river pollution source identification

abstract: In this paper, novel gradient-based online learning algorithms are developed to investigate an important environmental application: real-time river pollution source identification, which aims at estimating the released mass, location, and time of a river pollution source based on downstream sensor data monitoring the pollution concentration. The pollution is assumed to be instantaneously released once. The problem can be formulated as a non-convex loss minimization problem in statistical learning, and our online algorithms have vectorized and adaptive step sizes to ensure high estimation accuracy in three dimensions which have different magnitudes. In order to keep the algorithm from stucking to the saddle points of non-convex loss, the escaping from saddle points module and multi-start setting are derived to further improve the estimation accuracy by searching for the global minimizer of the loss functions. This can be shown theoretically and experimentally as the $O(N)$ local regret of the algorithms and the high probability cumulative regret bound $O(N)$ under a particular error bound condition in loss functions. A real-life river pollution source identification example shows the superior performance of our algorithms compared to existing methods in terms of estimation accuracy. Managerial insights for the decision maker to use the algorithms are also provided.


title: Applying saliency-map analysis in searches for pulsars and fast radio bursts

abstract: To investigate the use of saliency-map analysis to aid in searches for transient signals, such as fast radio bursts and individual pulses from radio pulsars. We aim to demonstrate that saliency maps provide the means to understand predictions from machine learning algorithms and can be implemented in piplines used to search for transient events. We have implemented a new deep learning methodology to predict whether or not any segment of the data contains a transient event. The algorithm has been trained using real and simulated data sets. We demonstrate that the algorithm is able to identify such events. The output results are visually analysed via the use of saliency maps. We find that saliency maps can produce an enhanced image of any transient feature without the need for de-dispersion or removal of radio frequency interference. Such maps can be used to understand which features in the image were used in making the machine learning decision and to visualise the transient event. Even though the algorithm reported here was developed to demonstrate saliency-map analysis, we have detected, in archival data, a single burst event with dispersion measure of $41$\,cm$^{-3}$pc that is not associated with any currently known pulsar.


title: Interacting with Explanations through Critiquing

abstract: Using personalized explanations to support recommendations has been shown to increase trust and perceived quality. However, to actually obtain better recommendations, there needs to be a means for users to modify the recommendation criteria by interacting with the explanation. We present a novel technique using aspect markers that learns to generate personalized explanations of recommendations from review texts, and we show that human users significantly prefer these explanations over those produced by state-of-the-art techniques. Our work's most important innovation is that it allows users to react to a recommendation by critiquing the textual explanation: removing (symmetrically adding) certain aspects they dislike or that are no longer relevant (symmetrically that are of interest). The system updates its user model and the resulting recommendations according to the critique. This is based on a novel unsupervised critiquing method for single- and multi-step critiquing with textual explanations. Experiments on two real-world datasets show that our system is the first to achieve good performance in adapting to the preferences expressed in multi-step critiquing.


title: The Dirichlet kernel on the real hyperbolic space for radial functions

abstract: Asymptotic expansions as well as necessary and sufficient conditions are provided for the pointwise convergence of the spherical partial integrals of the associated Fourier transforms on the real hyperbolic space. The proposed method permits one to produce new results and opens a connection with already known ones utilizing a unified framework.


title: Non-minimally coupled curvaton

abstract: We investigate two-field inflationary models in which scalar cosmological pertubations are generated via a spectator field nonminimally coupled to gravity, with the particular emphasis on curvaton scenarios. The principal advantage of these models is in the possibility to tune the spectator spectral index via the nonminimal coupling. Our models naturally yield red spectrum of the adiabatic perturbation demanded by observations. We study how the nonminimal coupling affects the spectrum of the curvature perturbation generated in the curvaton scenarios. In particular we find that for small, negative nonminimal couplings the spectral index gets a contribution that is negative and linear in the nonminimal coupling. Since in this way the curvature spectrum becomes redder, some of curvaton scenarios can be saved, which would otherwise be ruled out. In the power law inflation we find that a large nonminimal coupling is excluded since it gives the principal slow roll parameter that is of the order of unity. Finally, we point out that nonminimal coupling can affect the postinflationary growth of the spectator perturbation, and in this way the effectiveness of the curvaton mechanism.


title: Sn4+ Precursor Enables 12.4% Efficient Kesterite Solar Cell from DMSO Solution with Open Circuit Voltage Deficit Below 0.30 V

abstract: The limiting factor preventing kesterite (CZTSSe) thin film solar cell performance further improvement is the large open-circuit voltage deficit (Voc,def) issue, which is 0.345V for the current world record device with an efficiency of 12.6%. In this work, SnCl4 and SnCl2_2H2O are respectively used as tin precursor to investigate the Voc,def issue of dimethyl sulfoxide (DMSO) solution processed CZTSSe solar cells. Different complexations of tin compounds with thiourea and DMSO lead to different reaction pathways from solution to absorber material and thus dramatic difference in photovoltaic performance. The coordination of Sn2+ with Tu leads to the formation of SnS and ZnS and Cu2S in the precursor film, which converted to selenides first and then fused to CZTSSe, resulting in poor film quality and device performance. The highest efficiency obtained from this film is 8.84% with a Voc,def of 0.391V. The coordination of Sn4+ with DMSO facilitates direct formation ofkesterite CZTS phase in the precursor film which directed converted to CZTSSe during selenization, resulting in compositional uniform absorber and high device performance. A device with active area efficiency 12.2% and a Voc,def of 0.344 V was achieved from Sn4+ solution processed absorber. Furthermore, CZTSSe/CdS heterojunction heat treatment (JHT) significantly improved Sn4+ device performance but had slightly negative effect on Sn2+ device. A champion CZTSSe solar cell with a total area efficiency of 12.4% (active are efficiency 13.6%) and low Voc,def of 0.297 V was achieved from Sn4+ solution. Our results demonstrate the preformed uniform kesterite phase enabled by Sn4+ precursor is the key in achieving highly efficient kesterite absorber material. The lowest Voc-def and high efficiency achieved here shines new light on the future of kesterite solar cell.


title: HXMT Identification of a non-thermal X-ray burst from SGR J1935+2154 and with FRB 200428

abstract: Fast radio bursts (FRBs) are short pulses observed in radio band from cosmological distances. One class of models invoke soft gamma-ray repeaters (SGRs), or magnetars, as the sources of FRBs. Some radio pulses have been observed from some magnetars, however, no FRB-like events had been detected in association any magnetar burst, including one giant flare. Recently, a pair of FRB-like bursts (FRB 200428 hereafter) separated by milliseconds (ms) were detected from the general direction of the Galactic magnetar SGR J1935+2154. Here we report the detection of a non-thermal X-ray burst in the 1-250 keV energy band with the Insight-HXMT satellite, which we identify as emitted from SGR J1935+2154. The burst showed two hard peaks with a separation of 34 ms, broadly consistent with that of the two bursts in FRB 200428. The delay time between the double radio and X-ray peaks is about 8.57 s, fully consistent with the dispersion delay of FRB 200428. We thus identify the non-thermal X-ray burst is associated with FRB 200428 whose high energy counterpart is the two hard peaks in X-ray. Our results suggest that the non-thermal X-ray burst and FRB 200428 share the same physical origin in an explosive event from SGR J1935+2154.


title: Regulating Artificial Intelligence: Proposal for a Global Solution

abstract: With increasing ubiquity of artificial intelligence (AI) in modern societies, individual countries and the international community are working hard to create an innovation-friendly, yet safe, regulatory environment. Adequate regulation is key to maximize the benefits and minimize the risks stemming from AI technologies. Developing regulatory frameworks is, however, challenging due to AI's global reach and the existence of widespread misconceptions about the notion of regulation. We argue that AI-related challenges cannot be tackled effectively without sincere international coordination supported by robust, consistent domestic and international governance arrangements. Against this backdrop, we propose the establishment of an international AI governance framework organized around a new AI regulatory agency that -- drawing on interdisciplinary expertise -- could help creating uniform standards for the regulation of AI technologies and inform the development of AI policies around the world. We also believe that a fundamental change of mindset on what constitutes regulation is necessary to remove existing barriers that hamper contemporary efforts to develop AI regulatory regimes, and put forward some recommendations on how to achieve this, and what opportunities doing so would present.


title: Dual formulations of Polyakov loop lattice models

abstract: Dual representations are constructed for non-abelian lattice spin models with U(N) and SU(N) symmetry groups, for all N and in any dimension. These models are usually related to the effective models describing the interaction between Polyakov loops in the strong coupled QCD. The original spin degrees of freedom are explicitly integrated out and a dual theory appears to be a local theory for the dual integer-valued variables. The construction is performed for the partition function and for the most general correlation function. The latter include the two-point function corresponding to quark-anti-quark free energy and the N-point function related to the free energy of a baryon. We consider both pure gauge models and models with static fermion determinant for both the staggered and Wilson fermions with an arbitrary number of flavours. While the Boltzmann weights of such models are complex in the presence of non-zero chemical potential the dual Boltzmann weights appear to be strictly positive on admissible configurations. An essential part of this work with respect to previous studies is an extension of the dual representation to the case of 1) an arbitrary value of the temporal coupling constant in the Wilson action and 2) an arbitrary number of flavours of static quark determinants. The applications and extensions of the results are discussed in detail. In particular, we outline a possible approach to Monte-Carlo simulations of the dual theory, to the large N expansion and to the development of a tensor renormalization group.


title: An Introduction to Neural Architecture Search for Convolutional Networks

abstract: Neural Architecture Search (NAS) is a research field concerned with utilizing optimization algorithms to design optimal neural network architectures. There are many approaches concerning the architectural search spaces, optimization algorithms, as well as candidate architecture evaluation methods. As the field is growing at a continuously increasing pace, it is difficult for a beginner to discern between major, as well as emerging directions the field has followed. In this work, we provide an introduction to the basic concepts of NAS for convolutional networks, along with the major advances in search spaces, algorithms and evaluation techniques.


title: Bootstrapping Named Entity Recognition in E-Commerce with Positive Unlabeled Learning

abstract: Named Entity Recognition (NER) in domains like e-commerce is an understudied problem due to the lack of annotated datasets. Recognizing novel entity types in this domain, such as products, components, and attributes, is challenging because of their linguistic complexity and the low coverage of existing knowledge resources. To address this problem, we present a bootstrapped positive-unlabeled learning algorithm that integrates domain-specific linguistic features to quickly and efficiently expand the seed dictionary. The model achieves an average F1 score of 72.02% on a novel dataset of product descriptions, an improvement of 3.63% over a baseline BiLSTM classifier, and in particular exhibits better recall (4.96% on average).


title: Following up the afterglow: strategy for X-ray observation triggered by gravitational wave events

abstract: The multi-messenger observation of compact binary coalescence promises great scientific treasure. However, a synthetic observation from both gravitational wave and electromagnetic channels remains challenging. Relying on the day-to-week long macronova emission, GW170817 remains the only event with successful electromagnetic followup. In this manuscript, we explore the possibility of using the early stage X-ray afterglow to search for the electromagnetic counterpart of gravitational wave events. Two algorithms, the sequential observation and the local optimization are considered and applied to three simulated events. We consider the proposed Einstein probe as a candidate X-ray telescope. Benefiting from the large field of view and high sensitivity, we find that the sequential observation algorithm not only is easy to implement, but also promises a good chance of actual detection.


title: Driver Identification through Stochastic Multi-State Car-Following Modeling

abstract: Intra-driver and inter-driver heterogeneity has been confirmed to exist in human driving behaviors by many studies. In this study, a joint model of the two types of heterogeneity in car-following behavior is proposed as an approach of driver profiling and identification. It is assumed that all drivers share a pool of driver states; under each state a car-following data sequence obeys a specific probability distribution in feature space; each driver has his/her own probability distribution over the states, called driver profile, which characterize the intradriver heterogeneity, while the difference between the driver profile of different drivers depict the inter-driver heterogeneity. Thus, the driver profile can be used to distinguish a driver from others. Based on the assumption, a stochastic car-following model is proposed to take both intra-driver and inter-driver heterogeneity into consideration, and a method is proposed to jointly learn parameters in behavioral feature extractor, driver states and driver profiles. Experiments demonstrate the performance of the proposed method in driver identification on naturalistic car-following data: accuracy of 82.3% is achieved in an 8-driver experiment using 10 car-following sequences of duration 15 seconds for online inference. The potential of fast registration of new drivers are demonstrated and discussed.


title: The Mean Absorption Line Spectra of a Selection of Luminous z~6 Lyman Break Galaxies

abstract: We examine the absorption line spectra of a sample of 31 luminous (M_UV=-23) Lyman break galaxies at redshift z~6 using data taken with the FOCAS and OSIRIS spectrographs on the Subaru and GTC telescopes. For two of these sources we present longer exposure data taken at higher spectral resolution from ESO's X-shooter spectrograph. Using these data, we demonstrate the practicality of stacking our lower resolution data to measure the depth of various interstellar and stellar absorption lines to probe the covering fraction of low ionization gas and the gas-phase and stellar metallicities near the end of the era of cosmic reionization. From maximum absorption line depths of SiII1260 and CII1334, we infer a mean covering fraction of >0.85+/-0.16 for our sample. This is larger than that determined using similar methods for lower luminosity galaxies at slightly lower redshifts, suggesting that the most luminous galaxies appear to have a lower escape fraction than fainter galaxies, and therefore may not play a prominent role in concluding reionization. Using various interstellar absorption lines we deduce gas-phase metallicities close to solar indicative of substantial early enrichment. Using selected stellar absorption lines, we model our spectra with a range of metallicities using techniques successfully employed at lower redshift and deduce a stellar metallicity of 0.4 +0.3/-0.1 solar, consistent with the stellar mass - stellar metallicity relation recently found at z~3-5. We discuss the implications of these metallicity estimates for the typical ages of our luminous galaxies and conclude our results imply initial star formation at redshifts z~10, consistent with independent analyses of earlier objects.


title: Graph Random Neural Network for Semi-Supervised Learning on Graphs

abstract: We study the problem of semi-supervised learning on graphs, for which graph neural networks (GNNs) have been extensively explored. However, most existing GNNs inherently suffer from the limitations of over-smoothing, non-robustness, and weak-generalization when labeled nodes are scarce. In this paper, we propose a simple yet effective framework -- GRAPH RANDOM NEURAL NETWORKS (GRAND) -- to address these issues. In GRAND, we first design a random propagation strategy to perform graph data augmentation. Then we leverage consistency regularization to optimize the prediction consistency of unlabeled nodes across different data augmentations. Extensive experiments on graph benchmark datasets suggest that GRAND significantly outperforms state-of-the-art GNN baselines on semi-supervised node classification. Finally, we show that GRAND mitigates the issues of over-smoothing and non-robustness, exhibiting better generalization behavior than existing GNNs. The source code of GRAND is publicly available at https://github.com/Grand20/grand.


title: Quasinormal modes, shadow and greybody factors of 5D electrically charged Bardeen black holes

abstract: We study quasinormal modes (QNMs) in 5D electrically charged Bardeen black holes spacetime by considering the scalar and electromagnetic field perturbations. The black holes spacetime is an exact solution of Einstein gravity coupled to nonlinear electrodynamics in five dimensions, which has nonsingular behavior. To calculate QNMs, we use the WKB approximation method up to sixth order. Due to the presence of electric charge $q_e > 0$, both the scalar and electromagnetic field perturbations decay more slowly when compared to the Schwarzschild-Tangherlini black holes. We discover that the scalar field perturbations oscillate more rapidly when compared to the electromagnetic field perturbations. In terms of damping, the scalar field perturbations damp more quickly. Graphically we show that the transmission (reflection) coefficients decrease (increase) with an increase in the magnitude of the electric charge $q_e$. The emission of gravitational waves allows spacetime to undergo damped oscillations due to the nonzero value of the imaginary part, which is always negative. The imaginary part of the QNMs frequencies is continuously decreasing with an increase in the magnitude of the electric charge $q_e$ for a given mode ($l,n$). A connection between the QNMs frequencies and the black hole shadow, as well as the geometric cross-section in the eikonal limit, is also described.


title: Learning Combinatorial Optimization on Graphs: A Survey with Applications to Networking

abstract: Existing approaches to solving combinatorial optimization problems on graphs suffer from the need to engineer each problem algorithmically, with practical problems recurring in many instances. The practical side of theoretical computer science, such as computational complexity, then needs to be addressed. Relevant developments in machine learning research on graphs are surveyed for this purpose. We organize and compare the structures involved with learning to solve combinatorial optimization problems, with a special eye on the telecommunications domain and its continuous development of live and research networks.


title: Tractometry-based Anomaly Detection for Single-subject White Matter Analysis

abstract: There is an urgent need for a paradigm shift from group-wise comparisons to individual diagnosis in diffusion MRI (dMRI) to enable the analysis of rare cases and clinically-heterogeneous groups. Deep autoencoders have shown great potential to detect anomalies in neuroimaging data. We present a framework that operates on the manifold of white matter (WM) pathways to learn normative microstructural features, and discriminate those at genetic risk from controls in a paediatric population.


title: Some harmonic problems on the tangent bundle with a Berger-type deformed Sasaki metric

abstract: Let $(M_{2k},\varphi ,g)$ be an almost anti-paraHermitian manifold and $(TM,g_{BS})$ be its tangent bundle with a Berger type deformed Sasaki metric $g_{BS}$. In this paper, we deal with the harmonicity of the canonical projection $\pi :TM\rightarrow M$ and a vector field $\xi $ which is considered as a map $\xi :M\rightarrow TM$.


title: Point2Mesh: A Self-Prior for Deformable Meshes

abstract: In this paper, we introduce Point2Mesh, a technique for reconstructing a surface mesh from an input point cloud. Instead of explicitly specifying a prior that encodes the expected shape properties, the prior is defined automatically using the input point cloud, which we refer to as a self-prior. The self-prior encapsulates reoccurring geometric repetitions from a single shape within the weights of a deep neural network. We optimize the network weights to deform an initial mesh to shrink-wrap a single input point cloud. This explicitly considers the entire reconstructed shape, since shared local kernels are calculated to fit the overall object. The convolutional kernels are optimized globally across the entire shape, which inherently encourages local-scale geometric self-similarity across the shape surface. We show that shrink-wrapping a point cloud with a self-prior converges to a desirable solution; compared to a prescribed smoothness prior, which often becomes trapped in undesirable local minima. While the performance of traditional reconstruction approaches degrades in non-ideal conditions that are often present in real world scanning, i.e., unoriented normals, noise and missing (low density) parts, Point2Mesh is robust to non-ideal conditions. We demonstrate the performance of Point2Mesh on a large variety of shapes with varying complexity.


title: COVID-19: The unreasonable effectiveness of simple models

abstract: When the novel coronavirus disease SARS-CoV2 (COVID-19) was officially declared a pandemic by the WHO in March 2020, the scientific community had already braced up in the effort of making sense of the fast-growing wealth of data gathered by national authorities all over the world. However, despite the diversity of novel theoretical approaches and the comprehensiveness of many widely established models, the official figures that recount the course of the outbreak still sketch a largely elusive and intimidating picture. Here we show unambiguously that the dynamics of the COVID-19 outbreak belongs to the simple universality class of the SIR model and extensions thereof. Our analysis naturally leads us to establish that there exists a fundamental limitation to any theoretical approach, namely the unpredictable non-stationarity of the testing frames behind the reported figures. However, we show how such bias can be quantified self-consistently and employed to mine useful and accurate information from the data. In particular, we describe how the time evolution of the reporting rates controls the occurrence of the apparent epidemic peak, which typically follows the true one in countries that were not vigorous enough in their testing at the onset of the outbreak. The importance of testing early and resolutely appears as a natural corollary of our analysis, as countries that tested massively at the start clearly had their true peak earlier and less deaths overall.


title: Probing triple Higgs coupling with machine learning at the LHC

abstract: Measuring the triple Higgs coupling is a crucial task in the LHC and future collider experiments. We apply the Message Passing Neural Network (MPNN) to the study of the non-resonant Higgs pair production process $pp \to hh$ in the final state with $2b + 2\ell + E_{\rm T}^{\rm miss}$ at the LHC. Although the MPNN can improve the signal significance, it is still challenging to observe such a process at the LHC. We find that a $2\sigma$ upper bound (including a 10\% systematic uncertainty) on the production cross section of the Higgs pair is 3.7 times the predicted SM cross section at the LHC with the luminosity of 3000 fb$^{-1}$, which will limit the triple Higgs coupling to the range of $[-3,11.5]$.


title: The Copernican Multiverse of Sets

abstract: We develop an untyped framework for the multiverse of set theory. $\mathsf{ZF}$ is extended with semantically motivated axioms utilizing the new symbols $\mathsf{Uni}(\mathcal{U})$ and $\mathsf{Mod}(\mathcal{U, \sigma})$, expressing that $\mathcal{U}$ is a universe and that $\sigma$ is true in the universe $\mathcal{U}$, respectively. Here $\sigma$ ranges over the augmented language, leading to liar-style phenomena that are analysed. The framework is both compatible with a broad range of multiverse conceptions and suggests its own philosophically and semantically motivated multiverse principles. In particular, the framework is closely linked with a deductive rule of Necessitation expressing that the multiverse theory can only prove statements that it also proves to hold in all universes. We argue that this may be philosophically thought of as a Copernican principle that the background theory does not hold a privileged position over the theories of its internal universes. Our main mathematical result is a lemma encapsulating a technique for locally interpreting a wide variety of extensions of our basic framework in more familiar theories. We apply this to show, for a range of such semantically motivated extensions, that their consistency strength is at most slightly above that of the base theory $\mathsf{ZF}$, and thus not seriously limiting to the diversity of the set-theoretic multiverse. We end with case studies applying the framework to two multiverse conceptions of set theory: arithmetic absoluteness and Joel D. Hamkins' multiverse theory.


title: Drug repurposing prediction for COVID-19 using probabilistic networks and crowdsourced curation

abstract: Severe acute respiratory syndrome coronavirus two (SARS-CoV-2), the virus responsible for the coronavirus disease 2019 (COVID-19) pandemic, represents an unprecedented global health challenge. Consequently, a large amount of research into the disease pathogenesis and potential treatments has been carried out in a short time frame. However, developing novel drugs is a costly and lengthy process, and is unlikely to deliver a timely treatment for the pandemic. Drug repurposing, by contrast, provides an attractive alternative, as existing drugs have already undergone many of the regulatory requirements. In this work we used a combination of network algorithms and human curation to search integrated knowledge graphs, identifying drug repurposing opportunities for COVID-19. We demonstrate the value of this approach, reporting on eight potential repurposing opportunities identified, and discuss how this approach could be incorporated into future studies.


title: A new study of the spectroscopic binary 7 Vul with a Be star primary

abstract: We confirmed the binary nature of the Be star 7~Vul, derived a~more accurate spectroscopic orbit with an orbital period of (69.4212+/-0.0034) d, and improved the knowledge of the basic physical elements of the system. Analyzing available photometry and the strength of the \ha emission, we also document the long-term spectral variations of the Be primary. In addition, we confirmed rapid light changes with a~period of 0.5592 d, which is comparable to the expected rotational period of the Be primary, but note that its amplitude and possibly its period vary with time. We were able to disentangle only the He I 6678 A line of the secondary, which could support our tentative conclusion that the secondary appears to be a hot subdwarf. A search for this object in high-dispersion far-UV spectra could provide confirmation. Probable masses of the binary components are ($6\pm1$)~Mnom \ and ($0.6\pm0.1$)~Mnom. If the presence of a hot subdwarf is firmly confirmed, 7 Vul might be identified as a rare object with a B4-B5 primary; all Be + hot subdwarf systems found so far contain B0-B3 primaries.


title: Super-Penrose process for extremal charged white holes

abstract: We consider collision of two particles 1 and 2 near the horizon of the extremal Reissner-Nordstr\"{o}m (RN) black hole that produce two other particles 3 and 4. There exists such a scenario that both new particles fall in a black hole. One of them emerges from the white hole horizon in the asymptotically flat region, the other one oscillates between turning points. However, the unbounded energies $E$ at infinity (super-Penrose process - SPP) turn out to be impossible for any finite angular momenta $L_{3.4}$. In this sense, the situation for such a white hole scenarios is opposite to the black hole ones, where the SPP is found earlier to be possible for the RN metric even for all $L_{i}=0$. However, if $L_{3,4}$ themselves are unbounded, the SPP does exist for white holes.


title: Resonant dispersive wave emission in hollow capillary fibres filled with pressure gradients

abstract: Resonant dispersive wave (RDW) emission in gas-filled hollow waveguides is a powerful technique for the generation of bright few-femtosecond laser pulses from the vacuum ultraviolet to the near infrared. Here we investigate deep-ultraviolet RDW emission in a hollow capillary fibre filled with a longitudinal gas pressure gradient. We obtain broadly similar emission to the constant-pressure case by applying a surprisingly simple scaling rule for the gas pressure and study the energy-dependent dispersive-wave spectrum in detail using simulations. We further find that in addition to enabling dispersion-free delivery to experimental targets, a decreasing gradient also reduces the pulse stretching within the waveguide itself, and that transform-limited pulses with 3 fs duration can be generated by using short waveguides. Our results illuminate the fundamental dynamics underlying this frequency conversion technique and will aid in fully exploiting it for applications in ultrafast science and beyond.


title: Improving Co-registration for Sentinel-1 SAR and Sentinel-2 Optical images

abstract: Co-registering the Sentinel-1 SAR and Sentinel-2 optical data of European Space Agency (ESA) is of great importance for many remote sensing applications. However, we find that there are evident misregistration shifts between the Sentinel-1 SAR and Sentinel-2 optical images that are directly downloaded from the official website. To address that, this paper presents a fast and effective registration method for the two types of images. In the proposed method, a block-based scheme is first designed to extract evenly distributed interest points. Then the correspondences are detected by using the similarity of structural features between the SAR and optical images, where the three dimension (3D) phase correlation (PC) is used as the similarity measure for accelerating image matching. Finally, the obtained correspondences are employed to measure the misregistration shifts between the images. Moreover, to eliminate the misregistration, we use some representative geometric transformation models such as polynomial models, projective models, and rational function models for the co-registration of the two types of images, and compare and analyze their registration accuracy under different numbers of control points and different terrains. Six pairs of the Sentinel-1 SAR L1 and Sentinel-2 optical L1C images covering three different terrains are tested in our experiments. Experimental results show that the proposed method can achieve precise correspondences between the images, and the 3rd. Order polynomial achieves the most satisfactory registration results. Its registration accuracy of the flat areas is less than 1.0 10m pixels, and that of the hilly areas is about 1.5 10m pixels, and that of the mountainous areas is between 1.7 and 2.3 10m pixels, which significantly improves the co-registration accuracy of the Sentinel-1 SAR and Sentinel-2 optical images.


title: DJEnsemble: On the Selection of a Disjoint Ensemble of Deep Learning Black-Box Spatio-Temporal Models

abstract: In this paper, we present a cost-based approach for the automatic selection and allocation of a disjoint ensemble of black-box predictors to answer predictive spatio-temporal queries. Our approach is divided into two parts -- offline and online. During the offline part, we preprocess the predictive domain data -- transforming it into a regular grid -- and the black-box models -- computing their spatio-temporal learning function. In the online part, we compute a DJEnsemble plan which minimizes a multivariate cost function based on estimates for the prediction error and the execution cost -- producing a model spatial allocation matrix -- and run the optimal ensemble plan. We conduct a set of extensive experiments that evaluate the DJEnsemble approach and highlight its efficiency. We show that our cost model produces plans with performance close to the actual best plan. When compared against the traditional ensemble approach, DJEnsemble achieves up to $4X$ improvement in execution time and almost $9X$ improvement in prediction accuracy. To the best of our knowledge, this is the first work to solve the problem of optimizing the allocation of black-box models to answer predictive spatio-temporal queries.


title: On the Potential of Smarter Multi-layer Maps

abstract: The most common way for robots to handle environmental information is by using maps. At present, each kind of data is hosted on a separate map, which complicates planning because a robot attempting to perform a task needs to access and process information from many different maps. Also, most often correlation among the information contained in maps obtained from different sources is not evaluated or exploited. In this paper, we argue that in robotics a shift from single-source maps to a multi-layer mapping formalism has the potential to revolutionize the way robots interact with knowledge about their environment. This observation stems from the raise in metric-semantic mapping research, but expands to include in its formulation also layers containing other information sources, e.g., people flow, room semantic, or environment topology. Such multi-layer maps, here named hypermaps, not only can ease processing spatial data information but they can bring added benefits arising from the interaction between maps. We imagine that a new research direction grounded in such multi-layer mapping formalism for robots can use artificial intelligence to process the information it stores to present to the robot task-specific information simplifying planning and bringing us one step closer to high-level reasoning in robots.


title: Infinite co-minimal pairs in the integers and integral lattices

abstract: Given two nonempty subsets $A, B$ of a group $G$, they are said to form a co-minimal pair if $A \cdot B = G$, and $A' \cdot B \subsetneq G$ for any $\emptyset \neq A' \subsetneq A$ and $A\cdot B' \subsetneq G$ for any $\emptyset \neq B' \subsetneq B$. In this article, we show several new results on co-minimal pairs in the integers and the integral lattices. We prove that for any $d\geq 1$, the group $\mathbb{Z}^{2d}$ admits infinitely many automorphisms such that for each such automorphism $\sigma$, there exists a subset $A$ of $\mathbb{Z}^{2d}$ such that $A$ and $\sigma(A)$ form a co-minimal pair. The existence and construction of co-minimal pairs in the integers with both the subsets $A$ and $B$ ($A\neq B$) of infinite cardinality was unknown. We show that such pairs exist and explicitly construct these pairs satisfying a number of algebraic properties.


title: Floer theory of disjointly supported Hamiltonians on symplectically aspherical manifolds

abstract: We study the Floer-theoretic interaction between disjointly supported Hamiltonians by comparing Floer-theoretic invariants of these Hamiltonians with the ones of their sum. These invariants include spectral invariants, boundary depth and Abbondandolo-Haug-Schlenk's action selector. Additionally, our method shows that in certain situations the spectral invariants of a Hamiltonian supported in an open subset of a symplectic manifold are independent of the ambient manifold.


title: Parallel non-linear iterations

abstract: Developing a system of parallel non-linear iterations, we establish the consistency of $\mathfrak{b}<\mathfrak{s}<\mathfrak{d}<\mathfrak{c}$ where $\mathfrak{b}, \mathfrak{d}, \mathfrak{c}$ are arbitrary subject to the known ZFC restrictions and $\mathfrak{s}$ is regular. By evaluating other invariants we achieve also the constellations $\mathfrak{b}<\mathfrak{r}<\mathfrak{d}<\mathfrak{c}$, $\mathfrak{b}<\mathfrak{e}<\mathfrak{d}<\mathfrak{c}$ and $\mathfrak{b}<\mathfrak{u}<\mathfrak{d}<\mathfrak{c}$.


title: Deep Learning Based Detection and Localization of Intracranial Aneurysms in Computed Tomography Angiography

abstract: Purpose: To develop CADIA, a supervised deep learning model based on a region proposal network coupled with a false-positive reduction module for the detection and localization of intracranial aneurysms (IA) from computed tomography angiography (CTA), and to assess our model's performance to a similar detection network. Methods: In this retrospective study, we evaluated 1,216 patients from two separate institutions who underwent CT for the presence of saccular IA>=2.5 mm. A two-step model was implemented: a 3D region proposal network for initial aneurysm detection and 3D DenseNetsfor false-positive reduction and further determination of suspicious IA. Free-response receiver operative characteristics (FROC) curve and lesion-/patient-level performance at established false positive per volume (FPPV) were also performed. Fisher's exact test was used to compare with a similar available model. Results: CADIA's sensitivities at 0.25 and 1 FPPV were 63.9% and 77.5%, respectively. Our model's performance varied with size and location, and the best performance was achieved in IA between 5-10 mm and in those at anterior communicating artery, with sensitivities at 1 FPPV of 95.8% and 94%, respectively. Our model showed statistically higher patient-level accuracy, sensitivity, and specificity when compared to the available model at 0.25 FPPV and the best F-1 score (P<=0.001). At 1 FPPV threshold, our model showed better accuracy and specificity (P<=0.001) and equivalent sensitivity. Conclusions: CADIA outperformed a comparable network in the detection task of IA. The addition of a false-positive reduction module is a feasible step to improve the IA detection models.


title: Cosmic Rays and Spectral Distortions from Collapsing Textures

abstract: We compute the energy spectrum of photons and neutrinos produced by the unwinding of a scaling distribution of cosmic textures, and discuss the implications for the spectrum of high energy cosmic rays, and for CMB spectral distortions. Textures lead to a contribution to the photon flux which scales as $E^3 F(E) \sim E^{3/2}$. Hence, the tightest constraints on the texture model come from the highest energies from which primordial photons can reach us without being scattered by the CMB and other foregrounds. Textures lead to both $\mu$ type and $y$ type distortions. While the constraints on the texture model coming from the current COBE bounds are weaker than the bounds from the angular power spectrum of the CMB, future surveys such as PIXIE can lead to stronger bounds. The high energy neutrino flux is constrained by data from the Pierre Auger experiment and yields a bound on the energy scale of textures which is competitive with CMB bounds.


title: Premium Access to Convolutional Neural Networks

abstract: Neural Networks (NNs) are today used for all our daily tasks; for instance, in mobile phones. We here want to show how to restrict their access to privileged users. Our solution relies on a degraded implementation which can be corrected thanks to a PIN. We explain how to select a few parameters in an NN so as to maximize the gap in the accuracy between the premium and the degraded modes. We report experiments on an implementation of our proposal on a deep NN to prove its practicability.


title: A Comparative Evaluation of Heart Rate Estimation Methods using Face Videos

abstract: This paper presents a comparative evaluation of methods for remote heart rate estimation using face videos, i.e., given a video sequence of the face as input, methods to process it to obtain a robust estimation of the subjects heart rate at each moment. Four alternatives from the literature are tested, three based in hand crafted approaches and one based on deep learning. The methods are compared using RGB videos from the COHFACE database. Experiments show that the learning-based method achieves much better accuracy than the hand crafted ones. The low error rate achieved by the learning based model makes possible its application in real scenarios, e.g. in medical or sports environments.


title: Large Kernel Polar Codes with efficient Window Decoding

abstract: In this paper, we modify polar codes constructed with some 2^t x 2^t polarization kernels to reduce the time complexity of the window decoding. This modification is based on the permutation of the columns of the kernels. This method is applied to some of the kernels constructed in the literature of size 16 and 32, with different error exponents and scaling exponents such as eNBCH kernel. It is shown that this method reduces the complexity of the window decoding significantly without affecting the performance.


title: Super Vust theorem and Schur-Sergeev duality for principal finite $W$-superalgebras

abstract: In this paper, we first formulate a super version of Vust theorem associated with a regular nilpotent element $e\in\mathfrak{gl}(V)$. As an application of this theorem, we then obtain the Schur-Sergeev duality for principal finite $W$-superalgebras which is partially a super version of Brundan-Kleshchev's higher level Schur-Weyl duality.


title: On the joint distribution of an infinite-buffer discrete-time batch-size-dependent service queue with single and multiple vacation

abstract: Due to the widespread applicability of discrete-time queues in wireless networks or telecommunication systems, this paper analyzes an infinite-buffer batch-service queue with single and multiple vacation where customers/messages arrive according to the Bernoulii process and service time varies with the batch-size. The foremost focal point of this analysis is to get the complete joint distribution of queue length and server content at service completion epoch, for which first the bivariate probability generating function has been derived. We also acquire the joint distribution at arbitrary slot. We also provide several marginal distributions and performance measures for the utilization of the vendor. Transmission of data through a particular channel is skipped due to the high transmission error. As the discrete phase type distribution plays a noteworthy role to control this error, we include numerical example where service time distribution follows discrete phase type distribution. A comparison between batch-size dependent and independent service has been drawn through the graphical representation of some performance measures and total system cost.


title: Non-linear iterations and higher splitting

abstract: We show that generalized eventually narrow sequences on a strongly inaccessible cardinal $\kappa$ are preserved under the Cummings-Shaleh non-linear iterations of the higher Hechler forcing on $\kappa$. Moreover assuming GCH, $\kappa^{<\kappa}=\kappa$, we show that: (1) if $\kappa$ is strongly unfoldable, $\kappa^+\leq\beta=\hbox{cf}(\beta)\leq \hbox{cf}(\delta)\leq\delta\leq\mu$ and $\hbox{cf}(\mu)>\kappa$,then there is a cardinal preserving generic extension in which $$\mathfrak{s}(\kappa)=\kappa^+\leq\mathfrak{b}(\kappa)=\beta\leq\mathfrak{d}(\kappa)=\delta\leq 2^\kappa=\mu.$$ (2) if $\kappa$ is strongly inaccessible, $\lambda>\kappa^+$, then in the generic extension obtained as the $<\kappa$-support iteration of $\kappa$-Hechler forcing of length $\lambda$ there are no $\kappa$-towers of length $\lambda$.


title: On the suitability of generalized regression neural networks for GNSS position time series prediction for geodetic applications in geodesy and geophysics

abstract: In this paper, the generalized regression neural network is used to predict the GNSS position time series. Using the IGS 24-hour final solution data for Bad Hamburg permanent GNSS station in Germany, it is shown that the larger the training of the network, the higher the accuracy is, regardless of the time span of the time series. In order to analyze the performance of the neural network in various conditions, 14 permanent stations are used in different countries, namely, Spain, France, Romania, Poland, Russian Federation, United Kingdom, Czech Republic, Sweden, Ukraine, Italy, Finland, Slovak Republic, Cyprus, and Greece. The performance analysis is divided into two parts, continuous data-without gaps-and discontinuous ones-having intervals of gaps with no data available. Three measure of error are presented, namely, symmetric mean absolute percentage error, standard deviation, and mean of absolute errors. It is shown that for discontinuous data the position can be predicted with an accuracy of up to 6 centimeters, while the continuous data positions present a higher prediction accuracy, as high as 3 centimeters. In order to compare the results of this machine learning algorithm with the traditional statistical approaches, the Theta method is used, which is well-established for high-accuracy time series prediction. The comparison shows that the generalized regression neural network machine learning algorithm presents better accuracy than the Theta method, possibly up to 250 times. In addition, it is approximately 4.6 times faster.


title: Rdimtools: An R package for Dimension Reduction and Intrinsic Dimension Estimation

abstract: Discovering patterns of the complex high-dimensional data is a long-standing problem. Dimension Reduction (DR) and Intrinsic Dimension Estimation (IDE) are two fundamental thematic programs that facilitate geometric understanding of the data. We present Rdimtools - an R package that supports 133 DR and 17 IDE algorithms whose extent makes multifaceted scrutiny of the data in one place easier. Rdimtools is distributed under the MIT license and is accessible from CRAN, GitHub, and its package website, all of which deliver instruction for installation, self-contained examples, and API documentation.


title: Global Prym-Torelli for double coverings ramified in at least 6 points

abstract: We prove that the ramified Prym map $\mathcal P_{g, r}$ which sends a covering $\pi:D\longrightarrow C$ ramified in $r$ points to the Prym variety $P(\pi):=\text{Ker}(\text{Nm}_{\pi})$ is an embedding for all $r\ge 6$ and for all $g(C)>0$. Moreover, by studying the restriction to the locus of coverings of hyperelliptic curves, we show that $\mathcal P_{g, 2}$ and $\mathcal P_{g, 4}$ have positive dimensional fibers.