title: The Power and Pitfalls of Transparent Privacy Policies in Social Networking Service Platforms

abstract: Users disclose ever-increasing amounts of personal data on Social Network Service platforms (SNS). Unless SNSs' policies are privacy friendly, this leaves them vulnerable to privacy risks because they ignore the privacy policies. Designers and regulators have pushed for shorter, simpler and more prominent privacy policies, however the evidence that transparent policies increase informed consent is lacking. To answer this question, we conducted an online experiment with 214 regular Facebook users asked to join a fictitious SNS. We experimentally manipulated the privacy-friendliness of SNS's policy and varied threats of secondary data use and data visibility. Half of our participants incorrectly recalled even the most formally "perfect" and easy-to-read privacy policies. Mostly, users recalled policies as more privacy friendly than they were. Moreover, participants self-censored their disclosures when aware that visibility threats were present, but were less sensitive to threats of secondary data use. We present design recommendations to increase informed consent.


title: Unity and Diversity of Yellow Hypergiants Family

abstract: We summarize the results of long-term spectral monitoring of yellow hypergiants (YHGs) of northern hemisphere with a R$\ge$60000 resolution. The spectra of these F-G stars of extremely high luminosity, compactly located at the top of the Hertzsprung-Russell diagram revealed a variety of spectral features: various types of H$\alpha$ profile, the presence (or absence) of forbidden and permitted emissions, as well as circumstellar components. Variability of spectral details of various nature is studied. Absolute luminosity, circumstellar envelope expansion rate and amplitude of pulsations are determined. The reliability of the YHG status for V1427 Aql is reliably confirmed; manifestations of a significant dynamic instability of the upper layers of the atmosphere of $\rho$ Cas after the 2017 ejection and stratification of its gas envelope are registered; the lack of companion in the system of the V509 Cas hypergiant is proven; a conclusion is made that the V1302 Aql hypergiant is approaching to the low-temperature boundary of the Yellow Void.


title: FILO: FIx-LOcus Recommendation for Problems Caused by Android Framework Upgrade

abstract: Dealing with the evolution of operating systems is challenging for developers of mobile apps, who have to deal with frequent upgrades that often include backward incompatible changes of the underlying API framework. As a consequence of framework upgrades, apps may show misbehaviours and unexpected crashes once executed within an evolved environment. Identifying the portion of the app that must be modified to correctly execute on a newly released operating system can be challenging. Although incompatibilities are visibile at the level of the interactions between the app and its execution environment, the actual methods to be changed are often located in classes that do not directly interact with any external element. To facilitate debugging activities for problems introduced by backward incompatible upgrades of the operating system, this paper presents FILO, a technique that can recommend the method that must be changed to implement the fix from the analysis of a single failing execution. FILO can also select key symptomatic anomalous events that can help the developer understanding the reason of the failure and facilitate the implementation of the fix. Our evaluation with multiple known compatibility problems introduced by Android upgrades shows that FILO can effectively and efficiently identify the faulty methods in the apps.


title: Classification-driven Single Image Dehazing

abstract: Most existing dehazing algorithms often use hand-crafted features or Convolutional Neural Networks (CNN)-based methods to generate clear images using pixel-level Mean Square Error (MSE) loss. The generated images generally have better visual appeal, but not always have better performance for high-level vision tasks, e.g. image classification. In this paper, we investigate a new point of view in addressing this problem. Instead of focusing only on achieving good quantitative performance on pixel-based metrics such as Peak Signal to Noise Ratio (PSNR), we also ensure that the dehazed image itself does not degrade the performance of the high-level vision tasks such as image classification. To this end, we present an unified CNN architecture that includes three parts: a dehazing sub-network (DNet), a classification-driven Conditional Generative Adversarial Networks sub-network (CCGAN) and a classification sub-network (CNet) related to image classification, which has better performance both on visual appeal and image classification. We conduct comprehensive experiments on two challenging benchmark datasets for fine-grained and object classification: CUB-200-2011 and Caltech-256. Experimental results demonstrate that the proposed method outperforms many recent state-of-the-art single image dehazing methods in terms of image dehazing metrics and classification accuracy.


title: Von Neumann Entropy in QFT

abstract: In the framework of Quantum Field Theory, we provide a rigorous, operator algebraic notion of entanglement entropy associated with a pair of open double cones $O \subset \tilde O$ of the spacetime, where the closure of $O$ is contained in $\tilde O$. Given a QFT net $A$ of local von Neumann algebras $A(O)$, we consider the von Neumann entropy $S_A(O, \tilde O)$ of the restriction of the vacuum state to the canonical intermediate type $I$ factor for the inclusion of von Neumann algebras $A(O)\subset A(\tilde O)$ (split property). We show that this canonical entanglement entropy $S_A(O, \tilde O)$ is finite for the chiral conformal net on the circle generated by finitely many free Fermions (here double cones are intervals). To this end, we first study the notion of von Neumann entropy of a closed real linear subspace of a complex Hilbert space, that we then estimate for the local free fermion subspaces. We further consider the lower entanglement entropy $\underline S_A(O, \tilde O)$, the infimum of the vacuum von Neumann entropy of $F$, where $F$ here runs over all the intermediate, discrete type $I$ von Neumann algebras. We prove that $\underline S_A(O, \tilde O)$ is finite for the local chiral conformal net generated by finitely many commuting $U(1)$-currents.


title: Accelerating Reinforcement Learning with Suboptimal Guidance

abstract: Reinforcement Learning in domains with sparse rewards is a difficult problem, and a large part of the training process is often spent searching the state space in a more or less random fashion for any learning signals. For control problems, we often have some controller readily available which might be suboptimal but nevertheless solves the problem to some degree. This controller can be used to guide the initial exploration phase of the learning controller towards reward yielding states, reducing the time before refinement of a viable policy can be initiated. In our work, the agent is guided through an auxiliary behaviour cloning loss which is made conditional on a Q-filter, i.e. it is only applied in situations where the critic deems the guiding controller to be better than the agent. The Q-filter provides a natural way to adjust the guidance throughout the training process, allowing the agent to exceed the guiding controller in a manner that is adaptive to the task at hand and the proficiency of the guiding controller. The contribution of this paper lies in identifying shortcomings in previously proposed implementations of the Q-filter concept, and in suggesting some ways these issues can be mitigated. These modifications are tested on the OpenAI Gym Fetch environments, showing clear improvements in adaptivity and yielding increased performance in all robotic environments tested.


title: Weak And Strong Boundedness For P-adic Fractional Hausdorff Operator And Its Commutator

abstract: In this paper, boundedness of Hausdorff operator on weak central Morrey space is obtained. Furthermore, we investigate the weak bounds of p- adic fractional Hausdorff Operator on weighted p-adic weak Lebesgue Space. We also obtain the sufficient condition of commutators of p-adic fractional Hausdorff Operator by taking symbol function from Lipschitz space. Moreover, strong type estimates for fractional Hausdorff Operator and its commutator on weighted p-adic Lorentz space are also acquired.


title: InsteaDMatic: Towards cross-platform automated continuous rotation electron diffraction

abstract: A DigitalMicrograph script InsteaDMatic has been developed to facilitate rapid automated continuous rotation electron diffraction (cRED) data acquisition. The script coordinates microscope functions, such as stage rotation, camera functions relevant for data collection, and stores the experiment metadata. The script is compatible with any microscope that can be controlled by DigitalMicrograph and has been tested on both JEOL and Thermo Fisher Scientific microscopes. A proof-of-concept has been performed through employing InsteaDMatic for data collection and structure determination of a ZSM-5 zeolite. The influence of illumination settings and electron dose rate on the quality of diffraction data, unit cell determination and structure solution has been investigated in order to optimize the data acquisition procedure.


title: The Poset of All Logics I: Interpretations and Lattice Structure

abstract: A notion of interpretation between arbitrary logics is introduced, and the poset Log of all logics ordered under interpretability is studied. It is shown that in Log infima of arbitrarily large sets exist, but binary suprema in general do not. On the other hand, the existence of suprema of sets of equivalential logics is established. The relations between Log and the lattice of interpretability types of varieties are investigated.


title: Self-testing and certification using trusted quantum inputs

abstract: Device-independent certification of quantum devices is of crucial importance for the development of secure quantum information protocols. So far, the most studied scenario corresponds to a system consisting of different non-characterized devices that observers probe with classical inputs to obtain classical outputs. The certification of relevant quantum properties follows from the observation of correlations between these events that do not have a classical counterpart. In the fully device-independent scenario no assumptions are made on the devices and therefore their non-classicality follows from Bell non-locality. There exist other scenarios, known as semidevice-independent, in which assumptions are made on the devices, such as their dimension, and non-classicality is associated to the observation of other types of correlations with no classical analogue. More recently, the use of trusted quantum inputs for certification has been introduced. The goal of this work is to study the power of this formalism and describe self-testing protocols in various settings using trusted quantum inputs. We also relate these different types of self-testing to some of the most basic quantum information protocols, such as quantum teleportation. Finally, we apply our findings to quantum networks and provide methods for estimating the quality of the whole network, as well as of parts of it.


title: HI column density statistics of the cold neutral medium from absorption studies

abstract: Physical properties of the tiny scale structures in the cold neutral medium (CNM) of galaxies is a long-standing puzzle. Only a few lines of sights in our Galaxy have been studies with mixed results on the scale-invariant properties of such structures. Moreover, since these studies measure the variation of neutral hydrogen optical depth, they do not directly constrain the density structures. In this letter, we investigate the possibility of measuring the properties of density and spin temperature structures of the \HI from absorption studies of \HI. Our calculations show that irrespective of the thermal properties of the clouds, the scale structure of the \HI column density can be estimated, whereas, \HI absorption studies alone cannot shed much light on either the amplitude of the density fluctuations and their temperature structures. Detailed methodology and calculations with some fiducial examples are presented.


title: Excision in equivariant fibred G-theory

abstract: This paper provides a generalization of excision theorems in controlled algebra in the context of equivariant G-theory with fibred control and families of bounded actions. It also states and proves several characteristic features of this theory such as existence of the fibred assembly and the fibrewise trivialization.


title: Searching for non-unitary neutrino oscillations in the present T2K and NO$\nu$A data

abstract: The mixing of three active neutrino flavors is parameterized by the unitary PMNS matrix. If there are more than three neutrino flavors and if the extra generations are heavy isosinglets, the effective $3\times 3$ mixing matrix for the three active neutrinos will be non-unitary. We have analyzed the latest T2K and \nova data with the hypothesis of non-unitary mixing of the active neutrinos. We found that the 2019 NO$\nu$A data slightly (at $\sim 1\, \sigma$ C.L.) prefer the non-unitary mixing over unitary mixing. In fact, allowing the non-unitary mixing brings the \nova best-fit point in the $\sin^2\theta_{23}-\delta_{CP}$ plane closer to the T2K best-fit point. The 2019 T2K data, on the other hand, cannot rule out any of the two mixing schemes. A combined analysis of the NO$\nu$A and T2K 2019 data prefers the non-unitary mixing at $1\, \sigma$ C.L.. We derive constraints on the non-unitary mixing parameters using the best-fit to the combined NO$\nu$A and T2K data. These constraints are weaker than previously found. The latest 2020 data from both the experiments prefer non-unitarity over unitary mixing at $1\, \sigma$ C.L. The combined analysis preferes non-unitarity at $2\, \sigma$ C.L. The stronger tension, which exists between the latest 2020 data of the two experiments, also gets reduced with non-unitary analysis.


title: Continuous Variable Quantum Perceptron

abstract: We present a model of Continuous Variable Quantum Perceptron (CVQP) whose architecture implements a classical perceptron. The necessary non-linearity is obtained via measuring the output qubit and using the measurement outcome as input to an activation function. The latter is chosen to be the so-called ReLu activation function by virtue of its practical feasibility and the advantages it provides in learning tasks. The encoding of classical data into realistic finitely squeezed states and the use of superposed (entangled) input states for specific binary problems are discussed.


title: Low damping and microstructural perfection of sub-40nm-thin yttrium iron garnet films grown by liquid phase epitaxy

abstract: The field of magnon spintronics is experiencing an increasing interest in the development of solutions for spin-wave-based data transport and processing technologies that are complementary or alternative to modern CMOS architectures. Nanometer-thin yttrium iron garnet (YIG) films have been the gold standard for insulator-based spintronics to date, but a potential process technology that can deliver perfect, homogeneous large-diameter films is still lacking. We report that liquid phase epitaxy (LPE) enables the deposition of nanometer-thin YIG films with low ferromagnetic resonance losses and consistently high magnetic quality down to a thickness of 20 nm. The obtained epitaxial films are characterized by an ideal stoichiometry and perfect film lattices, which show neither significant compositional strain nor geometric mosaicity, but sharp interfaces. Their magneto-static and dynamic behavior is similar to that of single crystalline bulk YIG. We found, that the Gilbert damping coefficient alpha is independent of the film thickness and close to 1 x 10-4, and that together with an inhomogeneous peak-to-peak linewidth broadening of delta H0|| = 0.4 G, these values are among the lowest ever reported for YIG films with a thickness smaller than 40 nm. These results suggest, that nanometer-thin LPE films can be used to fabricate nano- and micro-scaled circuits with the required quality for magnonic devices. The LPE technique is easily scalable to YIG sample diameters of several inches.


title: Segmenting Medical MRI via Recurrent Decoding Cell

abstract: The encoder-decoder networks are commonly used in medical image segmentation due to their remarkable performance in hierarchical feature fusion. However, the expanding path for feature decoding and spatial recovery does not consider the long-term dependency when fusing feature maps from different layers, and the universal encoder-decoder network does not make full use of the multi-modality information to improve the network robustness especially for segmenting medical MRI. In this paper, we propose a novel feature fusion unit called Recurrent Decoding Cell (RDC) which leverages convolutional RNNs to memorize the long-term context information from the previous layers in the decoding phase. An encoder-decoder network, named Convolutional Recurrent Decoding Network (CRDN), is also proposed based on RDC for segmenting multi-modality medical MRI. CRDN adopts CNN backbone to encode image features and decode them hierarchically through a chain of RDCs to obtain the final high-resolution score map. The evaluation experiments on BrainWeb, MRBrainS and HVSMR datasets demonstrate that the introduction of RDC effectively improves the segmentation accuracy as well as reduces the model size, and the proposed CRDN owns its robustness to image noise and intensity non-uniformity in medical MRI.


title: Max-Min Fair Precoder Design and Power Allocation for MU-MIMO NOMA

abstract: In this paper, a downlink multiple input multiple output (MIMO) non-orthogonal multiple access (NOMA) wireless communication system is considered. In NOMA systems, the base station has unicast data for all users, and multiple users in a group share the same resources. The objective is to design transmit precoders and power allocation coefficients jointly that provide max-min fairness (MMF) among the strongest users in each group, while maintaining minimum target rates for all the other users. The problem is solved via two main iterative approaches. The first method is based on semi-definite relaxation (SDR) and successive convex approximation (SCA), and the second method is based on the equivalency between achievable rate and minimum mean square error (MMSE) expressions. For the latter approach, Karush-Kuhn-Tucker (KKT) optimality conditions are derived and the expressions satisfied by the optimal receivers, MMSE weights and the optimal precoders are obtained. Proposed algorithms are compared with rate-splitting (RS), orthogonal multiple access (OMA) and multi-user linear precoding (MULP) schemes in terms of MMF rates, energy efficiency and complexity. It is shown that while RS has the best MMF rates and energy efficiency, the MMSE approach based on KKT optimality conditions has the least complexity. Moreover, the SDR/SCA approach offers an excellent tradeoff. It offers high MMF rates, low complexity and superior energy efficiency.


title: Heat capacity of anisotropic Heisenberg antiferromagnet within the spin Hartree-Fock approach in quasi-1D Regime

abstract: We study the anisotropic quantum Heisenberg antiferromagnet for spin-1/2 that interpolates smoothly between the one-dimensional (1D) and the two-dimensional (2D) limits. Using the spin Hartree-Fock approach we construct a quantitative theory of heat capacity in the quasi-1D regime with a finite coupling between spin chains. This theory reproduces closely the exact result of Bethe Ansatz in the 1D limit and does not produces any spurious phase transitions for any anisotropy in the quasi-1D regime at finite temperatures in agreement with the Mermin-Wagner theorem. We study the static spin-spin correlation function in order to analyse the interplay of lattice geometry and anisotropy in these systems. We compare the square and triangular lattice. For the latter we find that there is a quantum transition point at an intermediate anisotropy of $\sim0.6$. This quantum phase transition establishes that the quasi-1D regime extends upto a particular point in this geometry. For the square lattice the change from the 1D to 2D occurs smoothly as a function of anisotropy, i.e. it is of the crossover type. Comparing the newly developed theory to the available experimental data on the heat capacity of $\rm{Cs}_2\rm{CuBr}_4$ and $\rm{Cs}_2\rm{CuCl}_4$ we extract the microscopic constants of the exchange interaction that previously could only be measured using inelastic neutron scattering in high magnetic fields.


title: Assessing Cyber-Physical Security in Industrial Control Systems

abstract: Over the last years, Industrial Control Systems (ICS) have become increasingly exposed to a wide range of cyber-physical threats. Efficient models and techniques able to capture their complex structure and identify critical cyber-physical components are therefore essential. AND/OR graphs have proven very useful in this context as they are able to semantically grasp intricate logical interdependencies among ICS components. However, identifying critical nodes in AND/OR graphs is an NP-complete problem. In addition, ICS settings normally involve various cyber and physical security measures that simultaneously protect multiple ICS components in overlapping manners, which makes this problem even harder. In this paper, we present an extended security metric based on AND/OR hypergraphs which efficiently identifies the set of critical ICS components and security measures that should be compromised, with minimum cost (effort) for an attacker, in order to disrupt the operation of vital ICS assets. Our approach relies on MAX-SAT techniques, which we have incorporated in META4ICS, a Java-based security metric analyser for ICS. We also provide a thorough performance evaluation that shows the feasibility of our method. Finally, we illustrate our methodology through a case study in which we analyse the security posture of a realistic Water Transport Network (WTN).


title: Enhanced, phase coherent, multifractal-like, two-dimensional superconductivity

abstract: We study the interplay of superconductivity and disorder by solving numerically the Bogoliubov-de-Gennes equations in a two dimensional lattice of size $80\times80$ which makes possible to investigate the weak-coupling limit. In contrast with results in the strong coupling region, we observe enhancement of superconductivity and intriguing multifractal-like features such as a broad log-normal spatial distribution of the order parameter, a parabolic singularity spectrum, and level statistics consistent with those of a disordered metal at the Anderson transition. The calculation of the superfluid density, including small phase fluctuations, reveals that, despite this intricate spatial structure, phase coherence still holds for sufficiently weak disorder. It only breaks down for stronger disorder but before the insulating transition takes place.


title: Perturbations of graphs for Newton maps

abstract: We study the convergence of graphs consisting of finitely many internal rays for degenerating Newton maps. We state a sufficient condition to guarantee the convergence. As an application, we investigate the boundedness of hyperbolic components in the moduli space of quartic Newton maps. We prove that such a hyperbolic component is bounded if and only if every element has degree $2$ on the immediate basin of each root.


title: Redshifted 21-cm emission signal from the halos in Dark Ages

abstract: The emission in the hyperfine structure 21 cm line of atomic hydrogen arising in the halos with masses $\sim10^6-10^{10}$ M$_\odot$ from the Dark Ages in the models with Warm Dark Matter (WDM) is analysed. The halos are assumed to be formed from Gaussian density peaks of cosmological density perturbations at $10\lesssim z\lesssim50$. Semi-analytical modelling of the formation of individual spherical halos in multi-component models shows that gas in them has the kinetic temperature in the range of $60-800$ K under adiabatic compression of the collapsing halo, and the temperature of each halo depends on the time of virialization. It is shown that inelastic collisions between neutral hydrogen atoms are the dominant excitation mechanism for hyperfine structure levels, which pulls the spin temperature closer to the kinetic temperature. The brightness temperature of individual halos is in the range of 1-10 K, depending on the mass of the halo and its virialization redshift, and increasing as these two increase. The apparent angular radii of such halos are in the range 0.06-1.2 arcseconds, their surface number density decreasing exponentially from a few per arcmin$^2$ for the lowest mass and redshift to nearly zero for higher values. Assuming a 1 MHz observation bandwidth the surface number density of the halo at various redshifts is evaluated as well as beam-averaged differential antenna temperatures and fluxes of hydrogen emission from halos of different masses. The beam-averaged signal strongly depends on the cut-off scale in the mass function of dark ages halos that may be caused by free-streaming of WDM particles. The finding is compared with the upper limits on the amplitude of the power spectrum of the hydrogen 21-cm line fluctuations derived from the recent observation data obtained with MWA and LOFAR.


title: Detection of Two-Way Outliers in Multivariate Data and Application to Cheating Detection in Educational Tests

abstract: The paper proposes a new latent variable model for the simultaneous (two-way) detection of outlying individuals and items for item-response-type data. The proposed model is a synergy between a factor model for binary responses and continuous response times that captures normal item response behaviour and a latent class model that captures the outlying individuals and items. A statistical decision framework is developed under the proposed model that provides compound decision rules for controlling local false discovery/nondiscovery rates of outlier detection. Statistical inference is carried out under a Bayesian framework, for which a Markov chain Monte Carlo algorithm is developed. The proposed method is applied to the detection of cheating in educational tests due to item leakage using a case study of a computer-based nonadaptive licensure assessment. The performance of the proposed method is evaluated by simulation studies.


title: An integral Nash equilibrium control scheme for a class of multi-agent linear systems

abstract: We propose an integral Nash equilibrium seeking control (I-NESC) law which steers the multi-agent system composed of a special class of linear agents to the neighborhood of the Nash equilibrium in noncooperative strongly monotone games. First, we prove that there exist parameters of the integral controller such that the system converges to the Nash equilibrium in the full-information case, in other words, without the parameter estimation scheme used in extremum seeking algorithms. Then we prove that there exist parameters of the I-NESC such that the system converges to the neighborhood of the Nash equilibrium in the limited information case where parameter estimation is used. We provide a simulation example that demonstrates that smaller perturbation frequencies and amplitudes are needed to attain similar convergence speed as the existing state-of-the-art algorithm.


title: Propagation of active nematic-isotropic interfaces on substrates

abstract: Motivated by results for the propagation of active-passive interfaces of bacterial Serratia marcescens swarms [Nat. Comm., 9, 5373 (2018)] we use a hydrodynamic multiphase model to investigate the propagation of interfaces of active nematics on substrates. We characterize the active nematic phase of the model and discuss its description of the statistical dynamics of the swarms. We show that the velocicity correlation functions and the energy spectrum of the active turbulent phase of the model scale with the active length, for a range of activities. In addition, the energy spectrum exhibits two power-law regimes with exponents close to those reported for other models and bacterial swarms. Although the exponent of the rising branch of the spectrum (small wavevector) appears to be independent of the activity, the exponent of the decay changes with activity systematically, albeit slowly. We characterize also the propagation of circular and flat active-passive interfaces. We find that the closing time of the circular passive domain decays quadratically with the activity and that the structure factor of the flat interface is similar to that reported for swarms, with an activity dependent exponent. Finally, the effect of the substrate friction was investigated. We found an activity dependent threshold, above which the turbulent active nematic forms isolated islands that shrink until the system becomes isotropic and below which the active nematic expands, with a well defined propagating interface. The interface may be stopped by a fricion gradient.


title: Random Machines: A bagged-weighted support vector model with free kernel choice

abstract: Improvement of statistical learning models in order to increase efficiency in solving classification or regression problems is still a goal pursued by the scientific community. In this way, the support vector machine model is one of the most successful and powerful algorithms for those tasks. However, its performance depends directly from the choice of the kernel function and their hyperparameters. The traditional choice of them, actually, can be computationally expensive to do the kernel choice and the tuning processes. In this article, it is proposed a novel framework to deal with the kernel function selection called Random Machines. The results improved accuracy and reduced computational time. The data study was performed in simulated data and over 27 real benchmarking datasets.


title: Decomposition of arrow type positive semidefinite matrices with application to topology optimization

abstract: Decomposition of large matrix inequalities for matrices with chordal sparsity graph has been recently used by Kojima et al.\ \cite{kim2011exploiting} to reduce problem size of large scale semidefinite optimization (SDO) problems and thus increase efficiency of standard SDO software. A by-product of such a decomposition is the introduction of new dense small-size matrix variables. We will show that for arrow type matrices satisfying suitable assumptions, the additional matrix variables have rank one and can thus be replaced by vector variables of the same dimensions. This leads to significant improvement in efficiency of standard SDO software. We will apply this idea to the problem of topology optimization formulated as a large scale linear semidefinite optimization problem. Numerical examples will demonstrate tremendous speed-up in the solution of the decomposed problems, as compared to the original large scale problem. In our numerical example the decomposed problems exhibit linear growth in complexity, compared to the more than cubic growth in the original problem formulation. We will also give a connection of our approach to the standard theory of domain decomposition and show that the additional vector variables are outcomes of the corresponding discrete Steklov-Poincar\'{e} operators.


title: Properties of carbon stars in the Solar neighbourhood based on Gaia DR2 astrometry

abstract: We find that the combined LF of N- and SC-type stars are consistent with a Gaussian distribution peaking at M_bol~ -5.2 mag. The resulting LF however shows two tails at lower and higher luminosities more extended than those previously found, indicating that AGB carbon stars with Solar metallicity may reach M_bol~-6.0 mag. We find that J-type stars are about half a magnitude fainter on average than N- and SC-type stars, while R-hot stars are half a magnitude brighter than previously found. The Galactic spatial distribution and velocity components of the N-, SC- and J-type stars are very similar, while about 30 % of the R-hot stars in the sample are located at distances larger than ~ 500 pc from the Galactic Plane, and show a significant drift with respect to the local standard of rest. The LF derived for N- and SC-type in the Solar neighbourhood fully agrees with the expected luminosity of stars of 1.5-3 M_o on the AGB. On a theoretical basis, the existence of an extended low luminosity tail would require a contribution of extrinsic low mass carbon stars, while the high luminosity one would imply that stars with mass up to ~5 Mo may become carbon star on the AGB. J-type stars not only differ significantly in their chemical composition with respect to the N- and SC-types but also in their LF, which reinforces the idea that these carbon stars belong to a dvifferent type whose origin is still unknown. The derived luminosities of R-hot stars make these stars unlikely to be in the red-clump as previously claimed. On the other hand, the derived spatial distribution and kinematic properties, together with their metallicity, indicate that most of the N-, SC- and J-type stars belong to the thin disc population, while a significant fraction of R-hot stars show characteristics compatible with the thick disc.


abstract: We compute the Hochschild-Kostant-Rosenberg decomposition of the Hochschild cohomology of generalised Grassmannians, i.e. partial flag varieties associated to maximal parabolic subgroups in a simple algebraic group. We explain how the decomposition is concentrated in global sections for so-called (co)minuscule and (co)adjoint generalised Grassmannians, and we suggest that for (almost) all other cases the same vanishing of the higher cohomology does not hold. Our methods give an explicit partial description of the Gerstenhaber algebra structure for the Hochschild cohomology of cominuscule and adjoint generalised Grassmannians. We also consider the case of adjoint partial flag varieties in type A, which are associated to certain submaximal parabolic subgroups.


title: Optimal Number of Clusters by Measuring Similarity among Topographies for Spatio-temporal ERP Analysis

abstract: Averaging amplitudes over consecutive time samples within a time-window is widely used to calculate the amplitude of an event-related potential (ERP) for cognitive neuroscience. Objective determination of the time-window is critical for determining the ERP component. Clustering on the spatio-temporal ERP data can obtain the time-window in which the consecutive time samples topographies are expected to be highly similar in practice. However, there exists a challenging problem of determining an optimal number of clusters. Here, we develop a novel methodology to obtain the optimal number of clusters using consensus clustering on the spatio-temporal ERP data. Various clustering methods, namely, K-means, hierarchical clustering, fuzzy C-means, self-organizing map, and diffusion maps spectral clustering are combined in an ensemble clustering manner to find the most reliable clusters. When a range of numbers of clusters is applied on the spatio-temporal ERP dataset, the optimal number of clusters should correspond to the cluster of interest within which the average of correlation coefficients between topographies of every two-time sample in the time-window is the maximum for an ERP of interest. In our method, we consider fewer cluster maps for analyzing an optimal number of clusters for isolating the components of interest in the spatio-temporal ERP. The statistical comparison demonstrates that the present method outperforms other conventional approaches. This finding would be practically useful for discovering the optimal clustering in spatio-temporal ERP, especially when the cognitive knowledge about time-window is not clearly defined.


title: Are Charged Leptons in the Simultaneous Eigenstates of Mass and Family?

abstract: Conventionally, the observed charged leptons are regarded the simultaneous eigenstates of "mass" and "family". Against this view, we discuss a possibility that the observed charged leptons $e_i=(e, \mu, \tau)$ are not identical with the eigenstates of family $e^0_\alpha =(e_1^0, e_2^0, e_3^0)$. Here, we define the eigenstates of family, $e^0_\alpha$, as the states which interact with family gauge bosons in the mass eigenstates of the broken U(3)$_{family}$ gauge symmetry. Although there is at present not any experimental evidence for $e^0_1$-$e^0_2$ mixing, and we have only an upper limit for the mixing from the present experimental data. We will conclude that the $e$-$\mu$ mixing angle $\theta$ must be $\theta \lesssim 10^{-3}$. Thus, we can not exclude a possibility $\theta\neq 0$. If we want more small upper limit of $\theta$, a rare decay search $\mu \rightarrow e + \gamma$ will be useful.


title: First Simulations of Axion Minicluster Halos

abstract: We study the gravitational collapse of axion dark matter fluctuations in the post-inflationary scenario, so-called axion miniclusters, with N-body simulations. Largely confirming theoretical expectations, overdensities begin to collapse in the radiation-dominated epoch and form an early distribution of miniclusters with masses up to $10^{-12}\,M_\odot$. After matter-radiation equality, ongoing mergers give rise to a steep power-law distribution of minicluster halo masses. The density profiles of well-resolved halos are NFW-like to good approximation. The fraction of axion dark matter in these bound structures is $\sim 0.75$ at redshift $z=100$.


title: MSD: Multi-Self-Distillation Learning via Multi-classifiers within Deep Neural Networks

abstract: As the development of neural networks, more and more deep neural networks are adopted in various tasks, such as image classification. However, as the huge computational overhead, these networks could not be applied on mobile devices or other low latency scenes. To address this dilemma, multi-classifier convolutional network is proposed to allow faster inference via early classifiers with the corresponding classifiers. These networks utilize sophisticated designing to increase the early classifier accuracy. However, naively training the multi-classifier network could hurt the performance (accuracy) of deep neural networks as early classifiers throughout interfere with the feature generation process. In this paper, we propose a general training framework named multi-self-distillation learning (MSD), which mining knowledge of different classifiers within the same network and increase every classifier accuracy. Our approach can be applied not only to multi-classifier networks, but also modern CNNs (e.g., ResNet Series) augmented with additional side branch classifiers. We use sampling-based branch augmentation technique to transform a single-classifier network into a multi-classifier network. This reduces the gap of capacity between different classifiers, and improves the effectiveness of applying MSD. Our experiments show that MSD improves the accuracy of various networks: enhancing the accuracy of every classifier significantly for existing multi-classifier network (MSDNet), improving vanilla single-classifier networks with internal classifiers with high accuracy, while also improving the final accuracy.


title: Learning Hierarchy-Aware Knowledge Graph Embeddings for Link Prediction

abstract: Knowledge graph embedding, which aims to represent entities and relations as low dimensional vectors (or matrices, tensors, etc.), has been shown to be a powerful technique for predicting missing links in knowledge graphs. Existing knowledge graph embedding models mainly focus on modeling relation patterns such as symmetry/antisymmetry, inversion, and composition. However, many existing approaches fail to model semantic hierarchies, which are common in real-world applications. To address this challenge, we propose a novel knowledge graph embedding model -- namely, Hierarchy-Aware Knowledge Graph Embedding (HAKE) -- which maps entities into the polar coordinate system. HAKE is inspired by the fact that concentric circles in the polar coordinate system can naturally reflect the hierarchy. Specifically, the radial coordinate aims to model entities at different levels of the hierarchy, and entities with smaller radii are expected to be at higher levels; the angular coordinate aims to distinguish entities at the same level of the hierarchy, and these entities are expected to have roughly the same radii but different angles. Experiments demonstrate that HAKE can effectively model the semantic hierarchies in knowledge graphs, and significantly outperforms existing state-of-the-art methods on benchmark datasets for the link prediction task.


title: Volume preserving diffeomorphisms as Poincare maps for volume preserving flows

abstract: Let $q:M\to M$ be a volume-preserving diffeomorphism of a smooth manifold $M$. We study the possibility to present $q$ as the Poincar\'e map, corresponding to a volume-preserving vector field on $\mathbb{T}\times M$, $\mathbb{T} = \mathbb{R}/\mathbb{Z}$.


title: The Linear Algebra Mapping Problem. Current state of linear algebra languages and libraries

abstract: We observe a disconnect between the developers and the end users of linear algebra libraries. On the one hand, the numerical linear algebra and the high-performance communities invest significant effort in the development and optimization of highly sophisticated numerical kernels and libraries, aiming at the maximum exploitation of both the properties of the input matrices, and the architectural features of the target computing platform. On the other hand, end users are progressively less likely to go through the error-prone and time consuming process of directly using said libraries by writing their code in C or Fortran; instead, languages and libraries such as Matlab, Julia, Eigen and Armadillo, which offer a higher level of abstraction, are becoming more and more popular. Users are given the opportunity to code matrix computations with a syntax that closely resembles the mathematical description; it is then a compiler or an interpreter that internally maps the input program to lower level kernels, as provided by libraries such as BLAS and LAPACK. Unfortunately, our experience suggests that in terms of performance, this translation is typically vastly suboptimal. In this paper, we first introduce the Linear Algebra Mapping Problem, and then investigate how effectively a benchmark of test problems is solved by popular high-level programming languages. Specifically, we consider Matlab, Octave, Julia, R, Armadillo (C++), Eigen (C++), and NumPy (Python); the benchmark is meant to test both standard compiler optimizations such as common subexpression elimination and loop-invariant code motion, as well as linear algebra specific optimizations such as optimal parenthesization of a matrix product and kernel selection for matrices with properties. The aim of this study is to give concrete guidelines for the development of languages and libraries that support linear algebra computations.


title: Against mass media trends: minority growth in cultural globalization

abstract: We investigate the collective behavior of a globalized society under the influence of endogenous mass media trends. The mass media trend is a global field corresponding to the statistical mode of the states of the agents in the system. The interaction dynamics is based on Axelrod's rules for the dissemination of culture. We find situations where the largest minority group, possessing a cultural state different from that of the predominant trend transmitted by the mass media, can grow to almost half of the size of the population. We show that this phenomenon occurs when a critical number of long-range connections are present in the underlying network of interactions. We have numerically characterized four phases on the space of parameters of the system: an ordered phase; a semi-ordered phase where almost half of the population consists of the largest minority in a state different from that of the mass media; a disordered phase; and a chimera-like phase where one large domain coexists with many very small domains.


title: Stability of the solitary wave boundary layer subject to finite amplitude disturbances

abstract: The stability and transition in the bottom boundary layer under a solitary wave are analysed in the presence of finite amplitude disturbances. First, the receptivity of the boundary layer is investigated using a linear input-output analysis, in which the environment noise is modelled as distributed body forces. The most dangerous perturbations in a time frame until flow reversal are found to be arranged as counter-rotating streamwise-constant rollers. One of these roller configurations is then selected and deployed to nonlinear equations, and streaks of various amplitudes are generated via lift-up mechanism. By means of secondary stability analysis and direct numerical simulations, the dual role of streaks in the boundary-layer transition is shown. When the amplitude of streaks remains moderate, these elongated features remain stable until the adverse-pressure-gradient stage and have a dampening effect on the instabilities developing thereafter. In contrast, when the low-speed streaks reach high amplitudes exceeding 15% of free-stream velocity at the respective phase, they become highly unstable to secondary sinuous modes in the outer shear layers. Consequently, a subcritical transition to turbulence, i.e., bypass transition, can be already initiated in the favourable-pressure-gradient region ahead of the wave crest.


title: The flickering nuclear activity of Fornax A

abstract: We present new observations of Fornax A taken at 1 GHz with the MeerKAT telescope and at 6 GHz with the Sardinia Radio Telescope (SRT). The sensitive (noise ~16 micro-Jy beam$^{-1}$), high resolution ( < 10'') MeerKAT images show that the lobes of Fornax A have a double-shell morphology, where dense filaments are embedded in a diffuse and extended cocoon. We study the spectral properties of these components by combining the MeerKAT and SRT observations with archival data between 84 MHz and 217 GHz. For the first time, we show that multiple episodes of nuclear activity must have formed the extended radio lobes. The modelling of the radio spectrum suggests that the last episode of injection of relativistic particles into the lobes started ~ 24 Myr ago and stopped approximately 12 Myr ago. More recently (~ 3 Myr ago), a less powerful and short ( < 1 Myr) phase of nuclear activity generated the central jets. Currently, the core may be in a new active phase. It appears that Fornax A is rapidly flickering. The dense environment in which Fornax A lives has lead to a complex recent merger history for this galaxy, including mergers spanning a range of gas contents and mass ratios, as shown by the analysis of the galaxy's stellar- and cold-gas phases. This complex recent history may be the cause of the rapid, recurrent nuclear activity of Fornax A.


title: SolidityCheck : Quickly Detecting Smart Contract Problems Through Regular Expressions

abstract: As a blockchain platform that has developed vigorously in recent years, Ethereum is different from Bitcoin in that it introduces smart contracts into blockchain.Solidity is one of the most mature and widely used smart contract programming language,which is used to write smart contracts and deploy them on blockchain. However, once the data in the blockchain is written, it cannot be modified. Ethereum smart contract is stored in the block chain, which makes the smart contract can no longer repair the code problems such as re-entrancy vulnerabilities or integer overflow problems. Currently, there still lacks of an efficient and effective approach for detecting these problems in Solidity. In this paper, we first classify all the possible problems in Solidity, then propose a smart contract problem detection approach for Solidity, namely SolidityCheck. The approach uses regular expressions to define the characteristics of problematic statements and uses regular matching and program instrumentation to prevent or detect problems. Finally, a large number of experiments is performed to show that SolidityCheck is superior to existing approaches.


title: KPZ statistics of second class particles in ASEP via mixing

abstract: We consider the asymmetric simple exclusion process on $\mathbb{Z}$ with a single second class particle initially at the origin. The first class particles form two rarefaction fans which come together at the origin, where the large time density jumps from $0$ to $1$. We are interested in $X(t)$, the position of the second class particle at time $t$. We show that, under the KPZ $1/3$ scaling, $X(t)$ is asymptotically distributed as the difference of two independent, $\mathrm{GUE}$-distributed random variables.The key part of the proof is to show that $X(t)$ equals, up to a negligible term, the difference of a random number of holes and particles, with the randomness built up by ASEP itself. This provides a KPZ analogue to the 1994 result of Ferrari and Fontes \cite{FF94b}, where this randomness comes from the initial data and leads to Gaussian limit laws.


title: Accurate Hydrologic Modeling Using Less Information

abstract: Joint models are a common and important tool in the intersection of machine learning and the physical sciences, particularly in contexts where real-world measurements are scarce. Recent developments in rainfall-runoff modeling, one of the prime challenges in hydrology, show the value of a joint model with shared representation in this important context. However, current state-of-the-art models depend on detailed and reliable attributes characterizing each site to help the model differentiate correctly between the behavior of different sites. This dependency can present a challenge in data-poor regions. In this paper, we show that we can replace the need for such location-specific attributes with a completely data-driven learned embedding, and match previous state-of-the-art results with less information.


title: Single Image Super Resolution based on a Modified U-net with Mixed Gradient Loss

abstract: Single image super-resolution (SISR) is the task of inferring a high-resolution image from a single low-resolution image. Recent research on super-resolution has achieved great progress due to the development of deep convolutional neural networks in the field of computer vision. Existing super-resolution reconstruction methods have high performances in the criterion of Mean Square Error (MSE) but most methods fail to reconstruct an image with shape edges. To solve this problem, the mixed gradient error, which is composed by MSE and a weighted mean gradient error, is proposed in this work and applied to a modified U-net network as the loss function. The modified U-net removes all batch normalization layers and one of the convolution layers in each block. The operation reduces the number of parameters, and therefore accelerates the reconstruction. Compared with the existing image super-resolution algorithms, the proposed reconstruction method has better performance and time consumption. The experiments demonstrate that modified U-net network architecture with mixed gradient loss yields high-level results on three image datasets: SET14, BSD300, ICDAR2003. Code is available online.


title: Effects of weak disorder on two-dimensional bilayered dipolar Bose-Einstein condensates

abstract: We investigate properties of two-dimensional bilayered dipolar Bose condensed gases in a weak random potential with Gaussian correlation at zero temperature. Here the dipoles are oriented perpendicularly to the layers and in parallel/antiparallel configurations. We calculate analytically and numerically the condensate depletion, the one-body density-matrix, and the superfluid fraction in the framework of the Bogoliubov theory. Our analysis not only provides fascinating new results do not exist in the literature but also shows that the intriguing interplay between the disorder, the interlayer coupling and the polarization orientation may lead to localize/delocalize the condensed particles results in the formation of glassy/superfluid phases. For a pure short-range interaction and a vanishing correlation length and a small interlayer distance, we reproduce the seminal results of Huang and Meng. While for a vanishing interlayer distance, our results reduce to the those obtained for single layer systems.


title: Visual Tactile Fusion Object Clustering

abstract: Object clustering, aiming at grouping similar objects into one cluster with an unsupervised strategy, has been extensivelystudied among various data-driven applications. However, most existing state-of-the-art object clustering methods (e.g., single-view or multi-view clustering methods) only explore visual information, while ignoring one of most important sensing modalities, i.e., tactile information which can help capture different object properties and further boost the performance of object clustering task. To effectively benefit both visual and tactile modalities for object clustering, in this paper, we propose a deep Auto-Encoder-like Non-negative Matrix Factorization framework for visual-tactile fusion clustering. Specifically, deep matrix factorization constrained by an under-complete Auto-Encoder-like architecture is employed to jointly learn hierarchical expression of visual-tactile fusion data, and preserve the local structure of data generating distribution of visual and tactile modalities. Meanwhile, a graph regularizer is introduced to capture the intrinsic relations of data samples within each modality. Furthermore, we propose a modality-level consensus regularizer to effectively align thevisual and tactile data in a common subspace in which the gap between visual and tactile data is mitigated. For the model optimization, we present an efficient alternating minimization strategy to solve our proposed model. Finally, we conduct extensive experiments on public datasets to verify the effectiveness of our framework.


title: System Identification with Time-Aware Neural Sequence Models

abstract: Established recurrent neural networks are well-suited to solve a wide variety of prediction tasks involving discrete sequences. However, they do not perform as well in the task of dynamical system identification, when dealing with observations from continuous variables that are unevenly sampled in time, for example due to missing observations. We show how such neural sequence models can be adapted to deal with variable step sizes in a natural way. In particular, we introduce a time-aware and stationary extension of existing models (including the Gated Recurrent Unit) that allows them to deal with unevenly sampled system observations by adapting to the observation times, while facilitating higher-order temporal behavior. We discuss the properties and demonstrate the validity of the proposed approach, based on samples from two industrial input/output processes.


title: A Cryptoeconomic Traffic Analysis of Bitcoin's Lightning Network

abstract: Lightning Network (LN) is designed to amend the scalability and privacy issues of Bitcoin. It's a payment channel network where Bitcoin transactions are issued off chain, onion routed through a private payment path with the aim to settle transactions in a faster, cheaper, and private manner, as they're not recorded in a costly-to-maintain, slow, and public ledger. In this work, we design a traffic simulator to empirically study LN's transaction fees and privacy provisions. The simulator relies on publicly available data of the network structure and generates transactions under assumptions we attempt to validate based on information spread by certain blog posts of LN node owners. Our findings on the estimated revenue from transaction fees are in line with widespread opinion that participation is economically irrational for the majority of large routing nodes who currently hold the network together. Either traffic or transaction fees must increase by orders of magnitude to make payment routing economically viable. We give worst-case estimates for the potential fee increase by assuming strong price competition among the routers. We estimate how current channel structures and pricing policies respond to a potential increase in traffic, how reduction in locked funds on channels would affect the network, and show examples of nodes who are estimated to operate with economically feasible revenue. Even if transactions are onion routed, strong statistical evidence on payment source and destination can be inferred, as many transaction paths only consist of a single intermediary by the side effect of LN's small-world nature. Based on our simulation experiments, we quantitatively characterize the privacy shortcomings of current LN operation, and propose a method to inject additional hops in routing paths to demonstrate how privacy can be strengthened with very little additional transactional cost.


title: Time Varying Channel Tracking for Multi-UAV Wideband Communications with Beam Squint

abstract: Unmanned aerial vehicle (UAV) has become an appealing solution for a wide range of commercial and civilian applications because of its high mobility and flexible deployment. Due to the continuous UAV navigation, the channel between UAV and base station (BS) is subject to the Doppler effect. Meanwhile, when the BS is equipped with massive number of antennas, the non-negligible propagation delay across the array aperture would cause beam squint effect. In this paper, we first investigate the channel of UAV communications under both Doppler shift effect and beam squint effect. Then, we design a gridless compressed sensing (GCS) based channel tracking method, where the high dimension uplink channel can be derived by estimating a few physical parameters such as the direction of arrival (DOA), Doppler shift, and the complex gain information. Besides, with the Doppler shift reciprocity and angular reciprocity, the downlink channel can be derived by only one pilot symbol, which greatly decreases the downlink channel training overhead. Various simulation results are provided to verify the effectiveness of the proposed methods.


title: Probing the Properties of the Pulsar Wind in the Gamma-Ray Binary HESS J0632+057 with NuSTAR and VERITAS Observations

abstract: HESS J0632+057 is a gamma-ray binary composed of a compact object orbiting a Be star with a period of about $315$ days. Extensive X-ray and TeV gamma-ray observations have revealed a peculiar light curve containing two peaks, separated by a dip. We present the results of simultaneous observations in hard X-rays with NuSTAR and in TeV gamma-rays with VERITAS, performed in November and December 2017. These observations correspond to the orbital phases $\phi\approx0.22$ and $0.3$, where the fluxes are rising towards the first light-curve peak. A significant variation of the spectral index from 1.77$\pm$0.05 to 1.56$\pm$0.05 is observed in the X-ray data. The multi-wavelength spectral energy distributions (SED) derived from the observations are interpreted in terms of a leptonic model, in which the compact object is assumed to be a pulsar and non-thermal radiation is emitted by high-energy electrons accelerated at the shock formed by the collision between the stellar and pulsar wind. The results of the SED fitting show that our data can be consistently described within this scenario, and allow us to estimate the magnetization of the pulsar wind at the location of the shock formation. The constraints on the pulsar-wind magnetization provided by our results are shown to be consistent with those obtained from other systems.


title: TEINet: Towards an Efficient Architecture for Video Recognition

abstract: Efficiency is an important issue in designing video architectures for action recognition. 3D CNNs have witnessed remarkable progress in action recognition from videos. However, compared with their 2D counterparts, 3D convolutions often introduce a large amount of parameters and cause high computational cost. To relieve this problem, we propose an efficient temporal module, termed as Temporal Enhancement-and-Interaction (TEI Module), which could be plugged into the existing 2D CNNs (denoted by TEINet). The TEI module presents a different paradigm to learn temporal features by decoupling the modeling of channel correlation and temporal interaction. First, it contains a Motion Enhanced Module (MEM) which is to enhance the motion-related features while suppress irrelevant information (e.g., background). Then, it introduces a Temporal Interaction Module (TIM) which supplements the temporal contextual information in a channel-wise manner. This two-stage modeling scheme is not only able to capture temporal structure flexibly and effectively, but also efficient for model inference. We conduct extensive experiments to verify the effectiveness of TEINet on several benchmarks (e.g., Something-Something V1&V2, Kinetics, UCF101 and HMDB51). Our proposed TEINet can achieve a good recognition accuracy on these datasets but still preserve a high efficiency.


title: The Casimir-Polder interaction of an atom and real graphene sheet: Verification of the Nernst heat theorem

abstract: We find the low-temperature behavior of the Casimir-Polder free energy and entropy for an atom interacting with real graphene sheet possessing nonzero energy gap and chemical potential. Employing the formalism of the polarization tensor, it is shown that the Casimir-Polder entropy goes to zero by the power law with vanishing temperature, i.e., the Nernst heat theorem is satisfied. This result is discussed in connection with the problems connected with account of free charge carriers in the Lifshitz theory.


title: Top Quark Mass Measurements in ATLAS and CMS

abstract: The ATLAS and CMS Collaborations have performed a variety of measurements of the top quark mass, taking advantage of the abundant production of top quarks at the LHC. The most recent measurements are reported here, based on data collected at 8 and 13 TeV, with particular emphasis on the distinction between the so-called "direct" measurements and the "indirect" evaluations obtained from cross sections and differential cross sections.


title: Three body open flavor decays of higher vector charmonium and bottomonium

abstract: With an extended quark pair creation model we systematically study the OZI-allowed three body open flavor decays of higher vector charmonium and bottomonium states. We obtain that the $BB^*\pi$ and $B^*B^*\pi$ partial decay widths of $\Upsilon(10860)$ are consistent with experiment, and the corresponding partial decay widths of $\Upsilon(11020)$ can reach up to 2$\sim$3 MeV. Meanwhile the partial widths of $DD^*\pi$ and $D^*D^*\pi$ modes for most higher vector charmonium states can reach up to several MeV.


title: Measuring $H_0$ from low-$z$ datasets

abstract: Adopting the low-redshift observational datasets, including the Pantheon sample of Type Ia supernovae, baryon acoustic oscillation measurements, and the tomographic Alcock-Paczynski method, we determine the Hubble constant to be $67.95^{+0.78}_{-1.03}$ , $69.81^{+2.22}_{-2.70}$ and $66.75^{+3.42}_{-4.23}$ km s$^{-1}$ Mpc$^{-1}$ at 68\% confidence level in the $\Lambda$CDM, $w$CDM and $w_0w_a$CDM models, respectively. Compared to the Hubble constant given by Riess et al. in 2019, we conclude that the new physics beyond the standard $\Lambda$CDM model is needed if all of these datasets are reliable.


title: Classification of integro-differential $C^*$-algebras

abstract: The integro-differential algebra $\mathscr{F}_{N,M}$ is the $C^*$-algebra generated by the following operators acting on $L^2([0,1)^N\to\mathbb{C}^M)$: 1) operators of multiplication by bounded matrix-valued functions, 2) finite differential operators, 3) integral operators. We give a complete characterization of $\mathscr{F}_{N,M}$ in terms of its Bratteli diagram. In particular, we show that $\mathscr{F}_{N,M}$ does not depend on $M$ but depends on $N$. At the same time, it is known that differential algebras $\mathscr{H}_{N,M}$, generated by the operators 1) and 2), do not depend on both dimensions $N$ and $M$, they are all $*$-isomorphic to the universal UHF-algebra. We explicitly compute the Glimm-Bratteli symbols (for $\mathscr{H}_{N,M}$ it was already computed earlier) $$ \mathfrak{n}(\mathscr{F}_{N,M})=\prod_{n=1}^{\infty}\begin{pmatrix} n & 0 \\ n-1 & 1 \end{pmatrix}^{\otimes N}\begin{pmatrix}1 \\ 1 \end{pmatrix}^{\otimes N},\ \ \ \ \mathfrak{n}(\mathscr{H}_{N,M})=\prod_{n=1}^{\infty}n, $$ which characterize completely the corresponding AF-algebras.


title: Some analytically solvable problems of the mean-field games theory

abstract: We study the mean field games equations, consisting of the coupled Kolmogorov-Fokker-Planck and Hamilton-Jacobi-Bellman equations. The equations are complemented by initial and terminal conditions. It is shown that with some specific choice of data, this problem can be reduced to solving a quadratically nonlinear system of ODEs. This situation occurs naturally in economic applications. As an example, the problem of forming an investor's opinion on an asset is considered.


title: Controlling the FDR in variable selection via multiple knockoffs

abstract: Barber and Candes recently introduced a feature selection method called knockoff+ that controls the false discovery rate (FDR) among the selected features in the classical linear regression problem. Knockoff+ uses the competition between the original features and artificially created knockoff features to control the FDR [1]. We generalize Barber and Candes' knockoff construction to generate multiple knockoffs and use those in conjunction with a recently developed general framework for multiple competition-based FDR control [9]. We prove that using our initial multiple-knockoff construction the combined procedure rigorously controls the FDR in the finite sample setting. Because this construction has a somewhat limited utility we introduce a heuristic we call "batching" which significantly improves the power of our multiple-knockoff procedures. Finally, we combine the batched knockoffs with a new context-dependent resampling scheme that replaces the generic resampling scheme used in the general multiple-competition setup. We show using simulations that the resulting "multi-knockoff-select" procedure empirically controls the FDR in the finite setting of the variable selection problem while often delivering substantially more power than knockoff+.


title: Beyond Max-SNR: Joint Encoding for Reconfigurable Intelligent Surfaces

abstract: A communication link aided by a Reconfigurable Intelligent Surface (RIS) is studied, in which the transmitter can control the state of the RIS via a finite-rate control link. Prior work mostly assumed a fixed RIS configuration irrespective of the transmitted information. In contrast, this work derives information-theoretic limits, and demonstrates that the capacity is achieved by a scheme that jointly encodes information in the transmitted signal as well as in the RIS configuration. In addition, a novel signaling strategy based on layered encoding is proposed that enables practical successive cancellation-type decoding at the receiver. Numerical experiments demonstrate that the standard max-SNR scheme that fixes the configuration of the RIS as to maximize the Signal-to-Noise Ratio (SNR) at the receiver is strictly suboptimal, and is outperformed by the proposed strategies at all practical SNR levels.


title: On the equivalence between a conjecture of Babai-Godsil and a conjecture of Xu concerning the enumeration of Cayley graphs

abstract: In this paper we show that two distinct conjectures, the first proposed by Babai and Godsil in $1982$ and the second proposed by Xu in $1998$, concerning the asymptotic enumeration of Cayley graphs are in fact equivalent. This result follows from a more general theorem concerning the asymptotic enumeration of a certain family of Cayley graphs.


title: Approximated Orthonormal Normalisation in Training Neural Networks

abstract: Generalisation of a deep neural network (DNN) is one major concern when employing the deep learning approach for solving practical problems. In this paper we propose a new technique, named approximated orthonormal normalisation (AON), to improve the generalisation capacity of a DNN model. Considering a weight matrix W from a particular neural layer in the model, our objective is to design a function h(W) such that its row vectors are approximately orthogonal to each other while allowing the DNN model to fit the training data sufficiently accurate. By doing so, it would avoid co-adaptation among neurons of the same layer to be able to improve network-generalisation capacity. Specifically, at each iteration, we first approximate (WW^T)^(-1/2) using its Taylor expansion before multiplying the matrix W. After that, the matrix product is then normalised by applying the spectral normalisation (SN) technique to obtain h(W). Conceptually speaking, AON is designed to turn orthonormal regularisation into orthonormal normalisation to avoid manual balancing the original and penalty functions. Experimental results show that AON yields promising validation performance compared to orthonormal regularisation.


title: The Manin constant and the modular degree

abstract: The Manin constant $c$ of an elliptic curve $E$ over $\mathbb{Q}$ is the nonzero integer that scales the differential $\omega_f$ determined by the normalized newform $f$ associated to $E$ into the pullback of a N\'{e}ron differential under a minimal parametrization $\phi\colon X_0(N)_{\mathbb{Q}} \twoheadrightarrow E$. Manin conjectured that $c = \pm 1$ for optimal parametrizations, and we prove that in general $c \mid \mathrm{deg}(\phi)$ under a minor assumption at $2$ and $3$ that is not needed for cube-free $N$ or for parametrizations by $X_1(N)_{\mathbb{Q}}$. Since $c$ is supported at the additive reduction primes, which need not divide $\mathrm{deg}(\phi)$, this improves the status of the Manin conjecture for many $E$. Our core result that gives this divisibility is the containment $\omega_f \in H^0(X_0(N), \Omega)$, which we establish by combining automorphic methods with techniques from arithmetic geometry; here the modular curve $X_0(N)$ is considered over $\mathbb{Z}$ and $\Omega$ is its relative dualizing sheaf over $\mathbb{Z}$. We reduce this containment to $p$-adic bounds on denominators of the Fourier expansions of $f$ at all the cusps of $X_0(N)_{\mathbb{C}}$ and then use the recent basic identity for the $p$-adic Whittaker newform to establish stronger bounds in the more general setup of newforms of weight $k$ on $X_0(N)$. To overcome obstacles at $2$ and $3$, we analyze nondihedral supercuspidal representations of $\mathrm{GL}_2(\mathbb{Q}_2)$ and exhibit new cases in which $X_0(N)_{\mathbb{Z}}$ has rational singularities.


title: S-RASTER: Contraction Clustering for Evolving Data Streams

abstract: Contraction Clustering (RASTER) is a single-pass algorithm for density-based clustering of 2D data. It can process arbitrary amounts of data in linear time and in constant memory, quickly identifying approximate clusters. It also exhibits good scalability in the presence of multiple CPU cores. RASTER exhibits very competitive performance compared to standard clustering algorithms, but at the cost of decreased precision. Yet, RASTER is limited to batch processing and unable to identify clusters that only exist temporarily. In contrast, S-RASTER is an adaptation of RASTER to the stream processing paradigm that is able to identify clusters in evolving data streams. This algorithm retains the main benefits of its parent algorithm, i.e. single-pass linear time cost and constant memory requirements for each discrete time step within a sliding window. The sliding window is efficiently pruned, and clustering is still performed in linear time. Like RASTER, S-RASTER trades off an often negligible amount of precision for speed. Our evaluation shows that competing algorithms are at least 50% slower. Furthermore, S-RASTER shows good qualitative results, based on standard metrics. It is very well suited to real-world scenarios where clustering does not happen continually but only periodically.


title: Local certification of programmable quantum devices of arbitrary high dimensionality

abstract: The onset of the era of fully-programmable error-corrected quantum computers will be marked by major breakthroughs in all areas of science and engineering. These devices promise to have significant technological and societal impact, notable examples being the analysis of big data through better machine learning algorithms and the design of new materials. Nevertheless, the capacity of quantum computers to faithfully implement quantum algorithms relies crucially on their ability to prepare specific high-dimensional and high-purity quantum states, together with suitable quantum measurements. Thus, the unambiguous certification of these requirements without assumptions on the inner workings of the quantum computer is critical to the development of trusted quantum processors. One of the most important approaches for benchmarking quantum devices is through the mechanism of self-testing that requires a pair of entangled non-communicating quantum devices. Nevertheless, although computation typically happens in a localized fashion, no local self-testing scheme is known to benchmark high dimensional states and measurements. Here, we show that the quantum self-testing paradigm can be employed to an individual quantum computer that is modelled as a programmable black box by introducing a noise-tolerant certification scheme. We substantiate the applicability of our scheme by providing a family of outcome statistics whose observation certifies that the computer is producing specific high-dimensional quantum states and implementing specific measurements.


title: Heuristic Black-box Adversarial Attacks on Video Recognition Models

abstract: We study the problem of attacking video recognition models in the black-box setting, where the model information is unknown and the adversary can only make queries to detect the predicted top-1 class and its probability. Compared with the black-box attack on images, attacking videos is more challenging as the computation cost for searching the adversarial perturbations on a video is much higher due to its high dimensionality. To overcome this challenge, we propose a heuristic black-box attack model that generates adversarial perturbations only on the selected frames and regions. More specifically, a heuristic-based algorithm is proposed to measure the importance of each frame in the video towards generating the adversarial examples. Based on the frames' importance, the proposed algorithm heuristically searches a subset of frames where the generated adversarial example has strong adversarial attack ability while keeps the perturbations lower than the given bound. Besides, to further boost the attack efficiency, we propose to generate the perturbations only on the salient regions of the selected frames. In this way, the generated perturbations are sparse in both temporal and spatial domains. Experimental results of attacking two mainstream video recognition methods on the UCF-101 dataset and the HMDB-51 dataset demonstrate that the proposed heuristic black-box adversarial attack method can significantly reduce the computation cost and lead to more than 28\% reduction in query numbers for the untargeted attack on both datasets.


title: Few Shot Network Compression via Cross Distillation

abstract: Model compression has been widely adopted to obtain light-weighted deep neural networks. Most prevalent methods, however, require fine-tuning with sufficient training data to ensure accuracy, which could be challenged by privacy and security issues. As a compromise between privacy and performance, in this paper we investigate few shot network compression: given few samples per class, how can we effectively compress the network with negligible performance drop? The core challenge of few shot network compression lies in high estimation errors from the original network during inference, since the compressed network can easily over-fits on the few training instances. The estimation errors could propagate and accumulate layer-wisely and finally deteriorate the network output. To address the problem, we propose cross distillation, a novel layer-wise knowledge distillation approach. By interweaving hidden layers of teacher and student network, layer-wisely accumulated estimation errors can be effectively reduced.The proposed method offers a general framework compatible with prevalent network compression techniques such as pruning. Extensive experiments on benchmark datasets demonstrate that cross distillation can significantly improve the student network's accuracy when only a few training instances are available.


title: Deep neuroethology of a virtual rodent

abstract: Parallel developments in neuroscience and deep learning have led to mutually productive exchanges, pushing our understanding of real and artificial neural networks in sensory and cognitive systems. However, this interaction between fields is less developed in the study of motor control. In this work, we develop a virtual rodent as a platform for the grounded study of motor activity in artificial models of embodied control. We then use this platform to study motor activity across contexts by training a model to solve four complex tasks. Using methods familiar to neuroscientists, we describe the behavioral representations and algorithms employed by different layers of the network using a neuroethological approach to characterize motor activity relative to the rodent's behavior and goals. We find that the model uses two classes of representations which respectively encode the task-specific behavioral strategies and task-invariant behavioral kinematics. These representations are reflected in the sequential activity and population dynamics of neural subpopulations. Overall, the virtual rodent facilitates grounded collaborations between deep reinforcement learning and motor neuroscience.


title: Photo and acoustic emissions from the non-equilibrium phase transition at the interface during cavitation

abstract: This study investigates the emission of light and sound from cavitation caused by intense pressure pulses in water. Based on time-resolved measurements of (a) pressure waveform at the focus, (b) light scattering upon cavitation, (c) acoustic emission, and (d) photoemission (sonoluminescence) it is shown that emissions occur upon the creation or expansion as well as the collapse of the cavity. These results suggest that the thermodynamic irreversibility, resulting from non-equilibrium phase transition and changes in surface entropy, is a basis for photo and acoustic emissions during cavitation.


title: Identifying possible pairing states in Sr$_2$RuO$_4$ by tunneling spectroscopy

abstract: We examine the tunneling spectroscopy of three-dimensional normal-metal/Sr$_2$RuO$_4$ junctions as an experimental means to identify pairing symmetry in Sr$_2$RuO$_4$. In particular, we consider three different possible pairing states in Sr$_2$RuO$_4$: spin-singlet chiral $d$-wave, spin-triplet helical $p$-wave, and spin-nematic $f$-wave ones, all of which are consistent with recent nuclear-magnetic-resonance experiments [A. Pustogow et al., Nature 574, 72 (2019)]. The Blonder-Tinkham-Klapwijk theory is employed to calculate the tunneling conductance, and the cylindrical two-dimensional Fermi surface of Sr$_2$RuO$_4$ is properly taken into account as an anisotropic effective mass and a cutoff in the momentum integration. It is pointed out that the chiral $d$-wave pairing state is inconsistent with previous tunneling conductance experiments along the $c$-axis. We also find that the remaining candidates, the spin-triplet helical $p$-wave pairing state and the spin-nematic $f$-wave ones, can be distinguished from each other by the in-plane tunneling spectroscopy along the $a$- and $b$-axes.


title: Customized Graph Embedding: Tailoring Embedding Vectors to different Applications

abstract: Graph is a natural representation of data for a variety of real-word applications, such as knowledge graph mining, social network analysis and biological network comparison. For these applications, graph embedding is crucial as it provides vector representations of the graph. One limitation of existing graph embedding methods is that their embedding optimization procedures are disconnected from the target application. In this paper, we propose a novel approach, namely Customized Graph Embedding (CGE) to tackle this problem. The CGE algorithm learns customized vector representations of graph nodes by differentiating the importance of distinct graph paths automatically for a specific application. Extensive experiments were carried out on a diverse set of node classification datasets, which demonstrate strong performances of CGE and provide deep insights into the model.


title: Conductivity of a two-dimensional HgTe layer near the critical width: The role of developed edge states network and random mixture of $p$- and $n$-domains

abstract: The conductivity of a two-dimensional HgTe quantum well with a width $\sim$6.3~nm, close to the transition from ordinary to topological insulating phases, is studied. The Fermi level is supposed to get to the overall energy gap. The consideration is based on the percolation theory. We have found that the width fluctuations convert the system to a random mixture of domains with positive and negative energy gaps with internal edge states formed near zero gap lines. In the case with no potential fluctuations, the conductance of a finite sample is provided by a random edge states network. The zero-temperature conductivity of an infinite sample is determined by the free motion of electrons along the zero-gap lines and tunneling between them. The conductance of a single $p$-$n$ junction, which is crossed by the edge state, is found. The result is applied to the situation when potential fluctuations transform the system to a mixture of $p$- and $n$-domains. It is stated that the tunneling across $p$-$n$ junctions forbids the low-temperature conductivity of a random system, but the latter is restored due to the random edge states crossing the junctions.


title: Ammonia in circumstellar environment of V Cyg

abstract: The HIFI instrument on board of the Herschel Space Observatory (HSO) has been very successful in detecting molecular lines from circumstellar envelopes around evolved stars, like massive red supergiants, Asymptotic Giant Branch (AGB) and post-AGB stars, as well as planetary nebulae. Among others, ammonia has been found in circumstellar envelopes of C-rich AGB stars in amounts that significantly exceeded theoretical predictions for C-rich stars. Few scenarios have been proposed to resolve this problem: formation of ammonia behind the shock front, photochemical processes in the inner part of the envelope partly transparent to UV background radiation due to the clumpy structure of the gas, and formation of ammonia on dust grains. Careful analysis of observations may help to put constraints on one or another mechanism of ammonia formation. Here, we present results of the non-LTE radiative transfer modeling of ammonia transitions including a crucial process of radiative pumping via v$_2$ = 1 vibrational band (at $\sim$10 $\mu$m) for V Cyg. Only ground-based ammonia transition NH$_{3}$ J = 1$_{0}$ - 0$_{0}$ at 572.5 GHz has been observed by HIFI. Therefore, to determine abundance of ammonia we estimate a photodissociation radius of NH$_{3}$ using chemical model of the envelope consistent with dust grain properties concluded from the spectral energy distribution.


title: Refined de Jonqui\`eres divisors and secant varieties on algebraic curves

abstract: The aim of this paper is to provide another perspective on secant varieties on algebraic curves by reformulating the problem in terms of refined de Jonqui\`eres divisors, that is divisors on the curve with prescribed multiplicities and dimensions of their spaces of global sections. We are able to both recover some already known results and to obtain some new statements concerning the dimension theory of secant varieties. We do this via the study of the dimension theory of refined de Jonqui\`eres divisors in some relevant cases and degeneration arguments.


title: Observe Before Play: Multi-armed Bandit with Pre-observations

abstract: We consider the stochastic multi-armed bandit (MAB) problem in a setting where a player can pay to pre-observe arm rewards before playing an arm in each round. Apart from the usual trade-off between exploring new arms to find the best one and exploiting the arm believed to offer the highest reward, we encounter an additional dilemma: pre-observing more arms gives a higher chance to play the best one, but incurs a larger cost. For the single-player setting, we design an Observe-Before-Play Upper Confidence Bound (OBP-UCB) algorithm for $K$ arms with Bernoulli rewards, and prove a $T$-round regret upper bound $O(K^2\log T)$. In the multi-player setting, collisions will occur when players select the same arm to play in the same round. We design a centralized algorithm, C-MP-OBP, and prove its $T$-round regret relative to an offline greedy strategy is upper bounded in $O(\frac{K^4}{M^2}\log T)$ for $K$ arms and $M$ players. We also propose distributed versions of the C-MP-OBP policy, called D-MP-OBP and D-MP-Adapt-OBP, achieving logarithmic regret with respect to collision-free target policies. Experiments on synthetic data and wireless channel traces show that C-MP-OBP and D-MP-OBP outperform random heuristics and offline optimal policies that do not allow pre-observations.


title: Designing Virtual Soundscapes for Alzheimer's Disease Care

abstract: Sound environment is a prime source of conscious and unconscious information which allows listeners to place themselves, to communicate, to feel, to remember. The author describes the process of designing a new audio interactive apparatus for Alzheimer's care, in the context of an active multidisciplinary research project led by the author in collaboration with a longterm care centre (EHPAD) in Burgundy (France), a geriatrician, a gerontologist, psychologists and caregivers. The apparatus, named Madeleines Sonores in reference to Proust's madeleine, have provided virtual soundscapes sounding for a year for 14 elderly people hosted in the dedicated Alzheimer's unit of the care centre, 24/7. Empiric aspects of sonic interactivity are discussed in relation to dementia and to the activity of caring. Scientific studies are initiated to evaluate the benefits of such a disposal in Alzheimer's disease therapy and in caring dementia.


title: Multidimensional Borg-Levinson inverse spectral theory

abstract: This text deals with multidimensional Borg-Levinson inverse theory. Its main purpose is to establish that the Dirichlet eigenvalues and Neumann boundary data of the Dirichlet Laplacian acting in a bounded domain of dimension 2 or greater, uniquely determine the real-valued bounded potential. We first address the case of incomplete spectral data, where finitely many boundary spectral eigen-pairs remain unknown. Under suitable summability condition on the Neumann data, we also consider the case where only the asymptotic behavior of the eigenvalues is known. Finally, we use the multidimensional Borg-Levinson theory for solving parabolic inverse coefficient problems.


title: JANOS: An Integrated Predictive and Prescriptive Modeling Framework

abstract: Business research practice is witnessing a surge in the integration of predictive modeling and prescriptive analysis. We describe a modeling framework JANOS that seamlessly integrates the two streams of analytics, for the first time allowing researchers and practitioners to embed machine learning models in an optimization framework. JANOS allows for specifying a prescriptive model using standard optimization modeling elements such as constraints and variables. The key novelty lies in providing modeling constructs that allow for the specification of commonly used predictive models and their features as constraints and variables in the optimization model. The framework considers two sets of decision variables; regular and predicted. The relationship between the regular and the predicted variables are specified by the user as pre-trained predictive models. JANOS currently supports linear regression, logistic regression, and neural network with rectified linear activation functions, but we plan to expand on this set in the future. In this paper, we demonstrate the flexibility of the framework through an example on scholarship allocation in a student enrollment problem and provide a numeric performance evaluation.


title: ADMET polymerization of $\alpha$,$\omega$-unsaturated glycolipids: synthesis and physico-chemical properties of the resulting polymers

abstract: Trehalose diesters exhibiting $\alpha$,$\omega$-unsaturation are glycolipids which can be easily polymerized by ADMET (acyclic diene metathesis) polymerization. In this paper, enzymatic esterification was performed to selectively esterify primary hydroxyl groups of trehalose (6 and 6'-positions) with vinyl undecenoate. The vinyl ester was beforehand obtained by palladium-catalyzed transesterification of undecenoic acid with vinyl acetate. The resulting trehalose diundecenoate was homopolymerized and copolymerized with undecenyl undecenoate in order to obtain random copolymers with different compositions. The synthesis of such copolymers was confirmed by 1 H NMR spectroscopy and size exclusion chromatography (SEC). Their solid-state phase separation were investigated by DSC and X-ray scattering as function of temperature and their solution self-assembly was investigated by dynamic light scattering (DLS) in water.


title: On Fixed Points of a Map Defined by Alain Connes

abstract: In this paper we study certain analogues of the map defined by Alain Connes, which follows an idea of Atiyah in trying to simplify the proof of Feit-Thompson theorem. It turns out that the the non-zero fixed points of the map can be characterized explicitly as an abelian group, and we can calculate some examples. It turns out that most fixed points are not one dimensional representations for these examples, and much work need to be done.


title: Quantization Networks

abstract: Although deep neural networks are highly effective, their high computational and memory costs severely challenge their applications on portable devices. As a consequence, low-bit quantization, which converts a full-precision neural network into a low-bitwidth integer version, has been an active and promising research topic. Existing methods formulate the low-bit quantization of networks as an approximation or optimization problem. Approximation-based methods confront the gradient mismatch problem, while optimization-based methods are only suitable for quantizing weights and could introduce high computational cost in the training stage. In this paper, we propose a novel perspective of interpreting and implementing neural network quantization by formulating low-bit quantization as a differentiable non-linear function (termed quantization function). The proposed quantization function can be learned in a lossless and end-to-end manner and works for any weights and activations of neural networks in a simple and uniform way. Extensive experiments on image classification and object detection tasks show that our quantization networks outperform the state-of-the-art methods. We believe that the proposed method will shed new insights on the interpretation of neural network quantization. Our code is available at https://github.com/aliyun/alibabacloud-quantization-networks.


title: Spectrum of non-degenerate functions with simplicial Newton polytopes

abstract: We show a precise proof of Steenbrink's formula for the spectrum of convenient Newton non-degenerate functions, and prove the symmetry of combinatorial polynomials in the simplicial case. Combined with the modified Steenbrink conjecture for spectral pairs (that is, weighted spectrum) which is recently proved in that case, this simplifies quite a lot of their calculations in such a case. We also introduce the $\Gamma$-spectrum of simplicial convenient non-degenerate functions as a first approximation of the spectrum, generalizing Arnold's picture in the 2 variable case. Analyzing their difference, we can find simple formulas for weighted spectrum in the 3 or 4 variable case. This is proved by using the symmetry of combinatorial polynomials, and fails in the non-simplicial case. Combining these with the Yomdin-Steenbrink formula for the spectrum, we can prove a formula for the spectrum of certain non-isolated surface singularities with simplicial non-degenerate Newton boundaries. As a byproduct of these arguments, we find an example where the Yomdin-Steenbrink formula for spectral pairs does not hold because of fusions of compact faces under projections.


title: Impact of polarised extragalactic sources on the measurement of CMB B-mode anisotropies

abstract: One of the main goals of Cosmology is to search for the imprint of primordial gravitational waves in the CMB polarisation field, to probe inflationary theories. One of the obstacles toward the detection of the primordial signal is to extract the B-mode polarisation from astrophysical contaminations. We present a complete analysis of extragalactic foreground contamination due to polarised emission of radio and dusty star-forming galaxies. We update or use up-to-date models that are validated using the most recent measurements. We predict the flux limit (confusion noise) for the future CMB space or balloon experiments (IDS, PIPER, SPIDER, LiteBIRD, PICO), as well as ground-based experiments (C-BASS, NEXT-BASS, QUIJOTE, AdvACTPOL, BICEP3+Keck, BICEPArray, CLASS, SO, SPT3G, S4). Telescope aperture size (and frequency) is the main characteristic impacting the level of confusion noise. Using the flux limits and assuming constant polarisation fractions for radio and dusty galaxies, we compute the B-mode power spectra of the three extragalactic foregrounds (radio source shot noise, dusty galaxy shot noise and clustering), discuss their relative levels and compare their amplitudes to that of the primordial tensor modes parametrized by the tensor-to-scalar ratio r. At the reionization bump (l=5), contamination by extragalactic foregrounds is negligible. At the recombination peak (l=80), while the contamination is much lower than the targeted sensitivity on r for large-aperture telescopes, it is at comparable level for some of the medium- and small-aperture telescope experiments. For example, the contamination is at the level of the 68 per cent confidence level uncertainty on the primordial r for the LiteBIRD and PICO space experiments. Finally we also provide some useful unit conversion factors and give some predictions for the SPICA B-BOP experiment. Abridged


title: Event-triggered Add-on Safety for Connected and Automated Vehicles Using Road-side Network Infrastructure

abstract: This paper proposes an event-triggered add-on safety mechanism to adjust the control parameters for timely braking in a networked vehicular system while maintaining maneuverability. Passenger vehicle maneuverability is significantly affected by the combined-slip friction effect, in which larger longitudinal tire slips result in considerable drop in lateral tire forces. This is of higher importance when unexpected dangerous situations occur on the road and immediate actions, such as braking, need to be taken to avoid collision. Harsh braking can lead to high-slip and loss of maneuverability, hence, timely braking is essential to reduce high-slip scenarios. In addition to the vehicles own active safety systems, the proposed event-triggered add-on safety is activated upon being informed about dangers by the road-side infrastructure. The aim is to incorporate the add-on safety feature to adjust the automatic control parameters for smooth and timely braking such that a collision is avoided while vehicle's maneuverability is maintained. We study two different wireless technologies for communication between the infrastructure and the vehicles, the Long-Term Evolution (LTE) and the fifth generation (5G) schemes. The framework is validated through high-fidelity software simulations and the advantages of including the add-on feature to augment the safety margins for each communication technology is evaluated.


title: Phase covariant qubit dynamics and divisibility

abstract: Phase covariant qubit dynamics describes an evolution of a two-level system under simultaneous action of pure dephasing, energy dissipation, and energy gain with time-dependent rates $\gamma_z(t)$, $\gamma_-(t)$, and $\gamma_+(t)$, respectively. Non-negative rates correspond to completely positive divisible dynamics, which can still exhibit such peculiarities as non-monotonicity of populations for any initial state. We find a set of quantum channels attainable in the completely positive divisible phase covariant dynamics and show that this set coincides with the set of channels attainable in semigroup phase covariant dynamics. We also construct new examples of eternally indivisible dynamics with $\gamma_z(t) < 0$ for all $t > 0$ that is neither unital nor commutative. Using the quantum Sinkhorn theorem, we for the first time derive a restriction on the decoherence rates under which the dynamics is positive divisible, namely, $\gamma_{\pm}(t) \geq 0$, $\sqrt{\gamma_+(t) \gamma_-(t)} + 2 \gamma_z(t) > 0$. Finally, we consider phase covariant convolution master equations and find a class of admissible memory kernels that guarantee complete positivity of the dynamical map.