title: Clear the Fog: Combat Value Assessment in Incomplete Information Games with Convolutional Encoder-Decoders

abstract: StarCraft, one of the most popular real-time strategy games, is a compelling environment for artificial intelligence research for both micro-level unit control and macro-level strategic decision making. In this study, we address an eminent problem concerning macro-level decision making, known as the 'fog-of-war', which rises naturally from the fact that information regarding the opponent's state is always provided in the incomplete form. For intelligent agents to play like human players, it is obvious that making accurate predictions of the opponent's status under incomplete information will increase its chance of winning. To reflect this fact, we propose a convolutional encoder-decoder architecture that predicts potential counts and locations of the opponent's units based on only partially visible and noisy information. To evaluate the performance of our proposed method, we train an additional classifier on the encoder-decoder output to predict the game outcome (win or lose). Finally, we designed an agent incorporating the proposed method and conducted simulation games against rule-based agents to demonstrate both effectiveness and practicality. All experiments were conducted on actual game replay data acquired from professional players.


title: OHIE: Blockchain Scaling Made Simple

abstract: Many blockchain consensus protocols have been proposed recently to scale the throughput of a blockchain with available bandwidth. However, these protocols are becoming increasingly complex, making it more and more difficult to produce proofs of their security guarantees. We propose a novel permissionless blockchain protocol OHIE which explicitly aims for simplicity. OHIE composes as many parallel instances of Bitcoin's original (and simple) backbone protocol as needed to achieve excellent throughput. We formally prove the safety and liveness properties of OHIE. We demonstrate its performance with a prototype implementation and large-scale experiments with up to 50,000 nodes. In our experiments, OHIE achieves linear scaling with available bandwidth, providing about 4-10 Mbps transaction throughput (under 8-20 Mbps per-node available bandwidth configurations) and at least about 20x better decentralization over prior works.


title: LoAdaBoost: loss-based AdaBoost federated machine learning with reduced computational complexity on IID and non-IID intensive care data

abstract: Intensive care data are valuable for improvement of health care, policy making and many other purposes. Vast amount of such data are stored in different locations, on many different devices and in different data silos. Sharing data among different sources is a big challenge due to regulatory, operational and security reasons. One potential solution is federated machine learning, which is a method that sends machine learning algorithms simultaneously to all data sources, trains models in each source and aggregates the learned models. This strategy allows utilization of valuable data without moving them. One challenge in applying federated machine learning is the possibly different distributions of data from diverse sources. To tackle this problem, we proposed an adaptive boosting method named LoAdaBoost that increases the efficiency of federated machine learning. Using intensive care unit data from hospitals, we investigated the performance of learning in IID and non-IID data distribution scenarios, and showed that the proposed LoAdaBoost method achieved higher predictive accuracy with lower computational complexity than the baseline method.


title: Quantum topology identification with deep neural networks and quantum walks

abstract: Topologically ordered materials may serve as a platform for new quantum technologies such as fault-tolerant quantum computers. To fulfil this promise, efficient and general methods are needed to discover and classify new topological phases of matter. We demonstrate that deep neural networks augmented with external memory can use the density profiles formed in quantum walks to efficiently identify properties of a topological phase as well as phase transitions. On a trial topological ordered model, our method's accuracy of topological phase identification reaches 97.4%, and is shown to be robust to noise on the data. Furthermore, we demonstrate that our trained DNN is able to identify topological phases of a perturbed model and predict the corresponding shift of topological phase transitions without learning any information about the perturbations in advance. These results demonstrate that our approach is generally applicable and may be used to identify a variety of quantum topological materials.


title: The Weil bound and non-exceptional permutation polynomials over finite fields

abstract: A well-known result of von zur Gathen asserts that a non-exceptional permutation polynomial of degree $n$ over $\mathbb{F}_{q}$ exists only if $q<n^{4}$. With the help of the Weil bound for the number of $\mathbb{F}_{q}$-points on an absolutely irreducible (possibly singular) affine plane curve, Chahal and Ghorpade improved von zur Gathen's proof to replace $n^{4}$ by a bound less than $n^{2}(n-2)^{2}$. Also based on the Weil bound, we further refine the upper bound for $q$ with respect to $n$, by a more concise and direct proof following Wan's arguments.


title: Characterization and Modeling of 0.18{\mu}m CMOS Technology at sub-Kelvin Temperature

abstract: Previous cryogenic electronics studies are most above 4.2K. In this paper we present the cryogenic characterization of a 0.18{\mu}m standard bulk CMOS technology(1.8V and 5V) at sub-kelvin temperature around 270mK. PMOS and NMOS devices with different width to length ratios(W/L) are tested and characterized under various bias conditions at temperatures from 300K to 270mK. It is shown that the 0.18{\mu}m standard bulk CMOS technology is still working at sub-kelvin temperature. The kink effect and current overshoot phenomenon are observed at sub-kelvin temperature. Especially, current overshoot phenomenon in PMOS devices at sub-kelvin temperature is shown for the first time. The transfer characteristics of large and thin-oxide devices at sub-kelvin temperature are modeled using the simplified EKV model. This work facilitates the CMOS circuits design and the integration of CMOS circuits with silicon-based quantum chips at extremely low temperatures.


title: CubemapSLAM: A Piecewise-Pinhole Monocular Fisheye SLAM System

abstract: We present a real-time feature-based SLAM (Simultaneous Localization and Mapping) system for fisheye cameras featured by a large field-of-view (FoV). Large FoV cameras are beneficial for large-scale outdoor SLAM applications, because they increase visual overlap between consecutive frames and capture more pixels belonging to the static parts of the environment. However, current feature-based SLAM systems such as PTAM and ORB-SLAM limit their camera model to pinhole only. To compensate for the vacancy, we propose a novel SLAM system with the cubemap model that utilizes the full FoV without introducing distortion from the fisheye lens, which greatly benefits the feature matching pipeline. In the initialization and point triangulation stages, we adopt a unified vector-based representation to efficiently handle matches across multiple faces, and based on this representation we propose and analyze a novel inlier checking metric. In the optimization stage, we design and test a novel multi-pinhole reprojection error metric that outperforms other metrics by a large margin. We evaluate our system comprehensively on a public dataset as well as a self-collected dataset that contains real-world challenging sequences. The results suggest that our system is more robust and accurate than other feature-based fisheye SLAM approaches. The CubemapSLAM system has been released into the public domain.


title: ADSaS: Comprehensive Real-time Anomaly Detection System

abstract: Since with massive data growth, the need for autonomous and generic anomaly detection system is increased. However, developing one stand-alone generic anomaly detection system that is accurate and fast is still a challenge. In this paper, we propose conventional time-series analysis approaches, the Seasonal Autoregressive Integrated Moving Average (SARIMA) model and Seasonal Trend decomposition using Loess (STL), to detect complex and various anomalies. Usually, SARIMA and STL are used only for stationary and periodic time-series, but by combining, we show they can detect anomalies with high accuracy for data that is even noisy and non-periodic. We compared the algorithm to Long Short Term Memory (LSTM), a deep-learning-based algorithm used for anomaly detection system. We used a total of seven real-world datasets and four artificial datasets with different time-series properties to verify the performance of the proposed algorithm.


title: MISO NOMA Downlink Beamforming Optimization with Per-Antenna Power Constraints

abstract: Consider a multiuser downlink beamforming optimization problem for the non-orthogonal multiple access (NOMA) transmission in a multiple-input single-output (MISO) system. The total transmission power minimization problem is formulated subject to both per-antenna power constraints and quality-of-service (QoS) constraints under the NOMA principal. The problem is a non-convex quadratically constrained quadratic program, and the conventional semidefinite program (SDP) relaxation is not tight. In order to tackle the non-convex NOMA beamforming problem, we construct a second-order cone approximation for each signal-to-interference-plus-noise ratio (SINR) constraint and form an iterative algorithm, in which a sequence of second-order cone programs (SOCPs) are solved. The optimal values of the sequence of SOCPs are non-increasing, and it converges to a locally optimal value. However, our extensive simulation results show that the locally optimal value is more or less as good as the globally optimal value. In particular, we show that the SDP relaxation is tight for two-user case if one of the SINR constraints is strict (non-binding) at the optimality. Detailed simulation results are presented to demonstrate the performance gains of the NOMA downlink beamforming with per-antenna power constraints through the proposed approximate algorithm.


title: Classical and quantum complementarity

abstract: Two complementary observables can be measured simultaneously so that the exact individual distributions can be recovered by a proper data inversion. We apply this program to the paradigmatic example of the Young interferometer from the classical and quantum points of view. We show complete parallelism between complementarity in the quantum and classical theories. In both domains, complementarity manifests in a pathological behavior for the inferred joint distribution.


title: Sampling Schemes for Accurate Reconstruction and Computation of Performance Parameters of Antenna Radiation Pattern

abstract: In practice, the finite number of samples of the spherical radiation pattern or antenna gain are taken on the sphere for both the reconstruction of the antenna radiation pattern and the computation of mobile handset performance measures such as directivity and mean effective gain (MEG). The acquisition of samples is time consuming as the measurements are required to be collected over the range of frequencies and in multiple spatial directions. It is therefore desired to have a sampling strategy that takes fewer number of samples for the accurate reconstruction of radiation pattern and incoming signal power distribution. In this work, we propose to use equiangular sampling, Gauss-Legendre sampling and optimal dimensionality sampling schemes on the sphere for the acquisition of measurements of spherical radiation pattern of the antenna for its reconstruction, analysis and evaluation of performance parameters of the antenna. By appropriately choosing the spherical harmonic degree band-limits of the gain and the power distribution model of the incoming signal, we demonstrate that the proposed sampling strategies require significantly less number of samples for the accurate evaluation of MEG than the existing methods that rely on the approximate evaluation of the surface integral on the sphere.


title: Towards Robust Lung Segmentation in Chest Radiographs with Deep Learning

abstract: Automated segmentation of Lungs plays a crucial role in the computer-aided diagnosis of chest X-Ray (CXR) images. Developing an efficient Lung segmentation model is challenging because of difficulties such as the presence of several edges at the rib cage and clavicle, inconsistent lung shape among different individuals, and the appearance of the lung apex. In this paper, we propose a robust model for Lung segmentation in Chest Radiographs. Our model learns to ignore the irrelevant regions in an input Chest Radiograph while highlighting regions useful for lung segmentation. The proposed model is evaluated on two public chest X-Ray datasets (Montgomery County, MD, USA, and Shenzhen No. 3 People's Hospital in China). The experimental result with a DICE score of 98.6% demonstrates the robustness of our proposed lung segmentation approach.


title: Non-invasive tracking of polarization rotation from speckle contrast measurement

abstract: A technique based on speckle contrast measurement is proposed and demonstrated to track the polarization rotation of an optical beam behind a scattering layer. It is shown that with the help of a reference speckle pattern with a known linear polarization, it is possible to track the polarization rotation behind a scattering layer in a non-invasive manner by measuring the contrast of the resultant speckle pattern. Working principle and experimental demonstration are presented, and results are compared with the theoretically known results in certain cases. Performance of the proposed technique is quantitatively evaluated by determining the polarization vector rotation behind the scattering layer for two different cases, namely polarization rotation by a half wave plate and sugar solution of different concentrations, and good match are found between the experimental results and theoretical prediction. Issues like resolution of determination of the polarization vector rotation and sugar solution concentration are also discussed in the context of the recovered results. The proposed technique can have potential application in non-invasive sensing and biomedical imaging.


title: Inferring Concept Prerequisite Relations from Online Educational Resources

abstract: The Internet has rich and rapidly increasing sources of high quality educational content. Inferring prerequisite relations between educational concepts is required for modern large-scale online educational technology applications such as personalized recommendations and automatic curriculum creation. We present PREREQ, a new supervised learning method for inferring concept prerequisite relations. PREREQ is designed using latent representations of concepts obtained from the Pairwise Latent Dirichlet Allocation model, and a neural network based on the Siamese network architecture. PREREQ can learn unknown concept prerequisites from course prerequisites and labeled concept prerequisite data. It outperforms state-of-the-art approaches on benchmark datasets and can effectively learn from very less training data. PREREQ can also use unlabeled video playlists, a steadily growing source of training data, to learn concept prerequisites, thus obviating the need for manual annotation of course prerequisites.


title: Transferable Adversarial Attacks for Image and Video Object Detection

abstract: Adversarial examples have been demonstrated to threaten many computer vision tasks including object detection. However, the existing attacking methods for object detection have two limitations: poor transferability, which denotes that the generated adversarial examples have low success rate to attack other kinds of detection methods, and high computation cost, which means that they need more time to generate an adversarial image, and therefore are difficult to deal with the video data. To address these issues, we utilize a generative mechanism to obtain the adversarial image and video. In this way, the processing time is reduced. To enhance the transferability, we destroy the feature maps extracted from the feature network, which usually constitutes the basis of object detectors. The proposed method is based on the Generative Adversarial Network (GAN) framework, where we combine the high-level class loss and low-level feature loss to jointly train the adversarial example generator. A series of experiments conducted on PASCAL VOC and ImageNet VID datasets show that our method can efficiently generate image and video adversarial examples, and more importantly, these adversarial examples have better transferability, and thus, are able to simultaneously attack two kinds of representative object detection models: proposal based models like Faster-RCNN, and regression based models like SSD.


title: AI Neurotechnology for Aging Societies -- Task-load and Dementia EEG Digital Biomarker Development Using Information Geometry Machine Learning Methods

abstract: Dementia and especially Alzheimer's disease (AD) are the most common causes of cognitive decline in elderly people. A spread of the above mentioned mental health problems in aging societies is causing a significant medical and economic burden in many countries around the world. According to a recent World Health Organization (WHO) report, it is approximated that currently, worldwide, about 47 million people live with a dementia spectrum of neurocognitive disorders. This number is expected to triple by 2050, which calls for possible application of AI-based technologies to support an early screening for preventive interventions and a subsequent mental wellbeing monitoring as well as maintenance with so-called digital-pharma or beyond a pill therapeutical approaches. This paper discusses our attempt and preliminary results of brainwave (EEG) techniques to develop digital biomarkers for dementia progress detection and monitoring. We present an information geometry-based classification approach for automatic EEG-derived event related responses (ERPs) discrimination of low versus high task-load auditory or tactile stimuli recognition, of which amplitude and latency variabilities are similar to those in dementia. The discussed approach is a step forward to develop AI, and especially machine learning (ML) approaches, for the subsequent application to mild-cognitive impairment (MCI) and AD diagnostics.


title: Phonon-Assisted Andreev Reflection at Majorana Zero Mode

abstract: One of the typical features of Majorana zero mode (MZM) at the end of topological superconductor is a zero-bias peak in the tunneling spectroscopy of the normal lead-superconductor junction. In this paper we study on a model with one phonon mode coupling to the superconductor lead of the normal lead-superconductor junction, which can be viewed as an electron-lead/phonon-coupled-MZM/hole-lead structure. The phonon-coupled MZM acts as a series of channels in which electron can turn into hole by absorbing and emitting phonons. These channels present in the local density of states (LDOS) as a series of stripes, generating the corresponding peaks in the tunneling spectroscopy. In LDOS, the electron-phonon interaction narrows and redistributes the weight among stripes. In the tunneling spectroscopy, the heights of peaks present a feature of the multi-phonon process. With these investigations, our work illuminates the mechanism of phonon-assisted Andreev reflection at a Majorana zero mode.


title: Evolution of high-energy particle distribution in Supernova Remnants

abstract: Supernova remnants (SNRs) have been considered as the dominant contributors to Galactic cosmic rays. However, the relation between high-energy particles trapped in SNRs and cosmic rays observed at the Earth remains obscure. In this paper, we fit the spectral energy distributions of 35 SNRs with a simple one-zone emission model and analyze correlations of model parameters to uncover the evolution of high-energy particle distribution in SNRs. We find that (1) the particle distribution in general can be described by a broken power-law function with a high-energy cutoff for all SNRs; (2) the low-energy spectrum becomes harder and the break energy decreases with aging of SNRs, (3) for most middle-age SNRs, the energy loss timescale of electrons at the high-energy cutoff is approximately equal to the age of the corresponding remnant implying quenching of very high-energy electron acceleration; for young SNRs, this energy loss timescale is shorter than the age of SNRs implying continuous electon acceleration at the cutoff energy; and for a few old age SNRs, the energy loss timescale is longer than the corresponding age which may suggest escaping of higher energy particles from SNRs. Finally, we comment on the implications of these results on the SNR origin of Galactic cosmic rays.


title: Robust Learning-Based ML Detection for Massive MIMO Systems with One-Bit Quantized Signals

abstract: In this paper, we investigate learning-based maximum likelihood (ML) detection for uplink massive multiple-input and multiple-output (MIMO) systems with one-bit analog-to-digital converters (ADCs). To overcome the significant dependency of learning-based detection on the training length, we propose two one-bit ML detection methods: a biased-learning method and a dithering-and-learning method. The biased-learning method keeps likelihood functions with zero probability from wiping out the obtained information through learning, thereby providing more robust detection performance. Extending the biased method to a system with knowledge of the received signal-to-noise ratio, the dithering-and-learning method estimates more likelihood functions by adding dithering noise to the quantizer input. The proposed methods are further improved by adopting the post likelihood function update, which exploits correctly decoded data symbols as training pilot symbols. The proposed methods avoid the need for channel estimation. Simulation results validate the detection performance of the proposed methods in symbol error rate.


title: Local Descriptor for Robust Place Recognition using LiDAR Intensity

abstract: Place recognition is a challenging problem in mobile robotics, especially in unstructured environments or under viewpoint and illumination changes. Most LiDAR-based methods rely on geometrical features to overcome such challenges, as generally scene geometry is invariant to these changes, but tend to affect camera-based solutions significantly. Compared to cameras, however, LiDARs lack the strong and descriptive appearance information that imaging can provide. To combine the benefits of geometry and appearance, we propose coupling the conventional geometric information from the LiDAR with its calibrated intensity return. This strategy extracts extremely useful information in the form of a new descriptor design, coined ISHOT, outperforming popular state-of-art geometric-only descriptors by significant margin in our local descriptor evaluation. To complete the framework, we furthermore develop a probabilistic keypoint voting place recognition algorithm, leveraging the new descriptor and yielding sublinear place recognition performance. The efficacy of our approach is validated in challenging global localization experiments in large-scale built-up and unstructured environments.


title: Light Sterile Neutrino and Low Scale Left-Right Symmetry in D-brane inspired $SU(4)_C \times SU(2)_L \times SU(2)_R$

abstract: Motivated by the ongoing searches for new physics at the LHC, we explore the low energy consequences of a D-brane inspired $ SU(4)_C\times SU(2)_L \times SU(2)_R$ (4-2-2) model. The Higgs sector consists of an $SU(4)$ adjoint, a pair $H+\bar H$ in $(4,1,2)+(\bar 4,1,2)$, and a bidoublet field in $h(1,2,2)$. With the $SU(4)$ adjoint the symmetry breaks to a left-right symmetric $SU(3)_C\times U(1)_{B-L} \times SU(2)_L \times SU(2)_R$ model. A missing partner mechanism protects the $SU(2)_R$ Higgs doublets in $H,\bar H$, which subsequently break the symmetry to the Standard Model at a few TeV scale. An inverse seesaw mechanism generates masses for the observed neutrinos and also yields a sterile neutrino which can play the r\^ole of dark matter if its mass lies in the keV range. Other phenomenological implications including proton decay are briefly discussed.


title: A semi-automated method to reveal the evolution of each sunspot group in a solar cycle

abstract: Sunspots are the most important indicator of the magnetic activity on the solar surface during a cycle. Every sunspot group is formed and shaped by the magnetic field of the Sun. Hence, the magnetic field intensity shows itself as the size of a sunspot group area on the surface. This shows that getting the development or evolution of sunspot groups over time means getting the change of magnetic field intensity during same interval. Here, to reveal the evolution of sunspot groups in a cycle, a method called Solar Cycle Analyzer Tool (SCAT) is presented. This method was developed as a part of Computer-Aided Measurements for Sunspots (CAMS) because the same subroutines and subprograms were used for calculations (Cakmak 2014). The developed software tracks sunspot groups every day and gives them the same group number. The confirmation is made by the user to prevent counting re-formations as a continuation of an old group in the same active region. With this method, the evolution of every sunspot group can be listed for each cycle year besides other cycle features like the daily and monthly sunspot relative numbers and distribution frequency of the sunspot group types. Since 2015, SCAT is being used to get data for the annual reports of Istanbul University Observatory.


title: Classification is a Strong Baseline for Deep Metric Learning

abstract: Deep metric learning aims to learn a function mapping image pixels to embedding feature vectors that model the similarity between images. Two major applications of metric learning are content-based image retrieval and face verification. For the retrieval tasks, the majority of current state-of-the-art (SOTA) approaches are triplet-based non-parametric training. For the face verification tasks, however, recent SOTA approaches have adopted classification-based parametric training. In this paper, we look into the effectiveness of classification based approaches on image retrieval datasets. We evaluate on several standard retrieval datasets such as CAR-196, CUB-200-2011, Stanford Online Product, and In-Shop datasets for image retrieval and clustering, and establish that our classification-based approach is competitive across different feature dimensions and base feature networks. We further provide insights into the performance effects of subsampling classes for scalable classification-based training, and the effects of binarization, enabling efficient storage and computation for practical applications.


title: Frozen $(\Delta+1)$-colourings of bounded degree graphs

abstract: Let $G$ be a graph of maximum degree $\Delta$ and $k$ be an integer. The $k$-recolouring graph of $G$ is the graph whose vertices are $k$-colourings of $G$ and where two $k$-colourings are adjacent if they differ at exactly one vertex. It is well-known that the $k$-recolouring graph is connected for $k\geq \Delta+2$. Feghali, Johnson and Paulusma [Journal of Graph Theory, 83(4):340--358] showed that the $(\Delta+1)$-recolouring graph is composed by a unique connected component of size at least $2$ and (possibly many) isolated vertices. In this paper, we study the proportion of isolated vertices (also called frozen colourings) in the $(\Delta+1)$-recolouring graph. Our main contribution is to show that, if $G$ is connected, the proportion of frozen colourings of $G$ is exponentially smaller than the total number of colourings. This motivates the study of the Glauber dynamics on $(\Delta+1)$-colourings. In contrast to the conjectured mixing time for $k\geq \Delta+2$ colours, we show that the mixing time of the Glauber dynamics for $(\Delta+1)$-colourings can be of quadratic order. Finally, we prove some results about the existence of graphs with large girth and frozen colourings, and study frozen colourings in random regular graphs.


title: PEARL: PrEference Appraisal Reinforcement Learning for Motion Planning

abstract: Robot motion planning often requires finding trajectories that balance different user intents, or preferences. One of these preferences is usually arrival at the goal, while another might be obstacle avoidance. Here, we formalize these, and similar, tasks as preference balancing tasks (PBTs) on acceleration controlled robots, and propose a motion planning solution, PrEference Appraisal Reinforcement Learning (PEARL). PEARL uses reinforcement learning on a restricted training domain, combined with features engineered from user-given intents. PEARL's planner then generates trajectories in expanded domains for more complex problems. We present an adaptation for rejection of stochastic disturbances and offer in-depth analysis, including task completion conditions and behavior analysis when the conditions do not hold. PEARL is evaluated on five problems, two multi-agent obstacle avoidance tasks and three that stochastically disturb the system at run-time: 1) a multi-agent pursuit problem with 1000 pursuers, 2) robot navigation through 900 moving obstacles, which is is trained with in an environment with only 4 static obstacles, 3) aerial cargo delivery, 4) two robot rendezvous, and 5) flying inverted pendulum. Lastly, we evaluate the method on a physical quadrotor UAV robot with a suspended load influenced by a stochastic disturbance. The video, https://youtu.be/ZkFt1uY6vlw contains the experiments and visualization of the simulations.


title: Dichotomy of the Photo Induced 2-Dimensional Electron Gas on SrTiO$_3$ Surface Terminations

abstract: Oxide materials are important candidates for the next generation of electronics due to a wide array of desired properties which they can exhibit alone or when combined with other materials. While SrTiO$_3$ (STO) is often considered a prototypical oxide, it too hosts a wide array of unusual properties including a two dimensional electron gas (2DEG) which can form at the surface when exposed to UV light. Using layer-by-layer growth of high quality STO films, we show that the 2DEG only forms with the SrO termination and not with the TiO$_2$ termination, contrary to expectation. This behavior is similarly seen in BaTiO$_3$ (BTO), in which the 2DEG is only observed for BaO terminated films. These results will allow for a deeper understanding, and better control, of the electronic structure of titanate films, substrates and heterostructures.


title: A graphic approach to gauge invariance induced identity

abstract: All tree-level amplitudes in Einstein-Yang-Mills (EYM) theory and gravity (GR) can be expanded in terms of color ordered Yang-Mills (YM) ones whose coefficients are polynomial functions of Lorentz inner products and are constructed by a graphic rule. Once the gauge invariance condition of any graviton is imposed, the expansion of a tree level EYM or gravity amplitude induces a nontrivial identity between color ordered YM amplitudes. Being different from traditional Kleiss-Kuijf (KK) and Bern-Carrasco-Johansson (BCJ) relations, the gauge invariance induced identity includes polarizations in the coefficients. In this paper, we investigate the relationship between the gauge invariance induced identity and traditional BCJ relations. By proposing a refined graphic rule, we prove that all the gauge invariance induced identities for single trace tree-level EYM amplitudes can be precisely expanded in terms of traditional BCJ relations, without referring any property of polarizations. When further considering the transversality of polarizations and momentum conservation, we prove that the gauge invariance induced identity for tree-level GR (or pure YM) amplitudes can also be expanded in terms of traditional BCJ relations for YM (or bi-scalar) amplitudes. As a byproduct, a graph-based BCJ relation is proposed and proved.


title: Diagrammatic State Sums for 2D Pin-Minus TQFTs

abstract: The two dimensional state sum models of Barrett and Tavares are extended to unoriented spacetimes. The input to the construction is an algebraic structure dubbed half twist algebras, a class of examples of which is real separable superalgebras with a continuous parameter. The construction generates pin-minus TQFTs, including the root invertible theory with partition function the Arf-Brown-Kervaire invariant. Decomposability, the stacking law, and Morita invariance of the construction are discussed.


title: Prior-free Data Acquisition for Accurate Statistical Estimation

abstract: We study a data analyst's problem of acquiring data from self-interested individuals to obtain an accurate estimation of some statistic of a population, subject to an expected budget constraint. Each data holder incurs a cost, which is unknown to the data analyst, to acquire and report his data. The cost can be arbitrarily correlated with the data. The data analyst has an expected budget that she can use to incentivize individuals to provide their data. The goal is to design a joint acquisition-estimation mechanism to optimize the performance of the produced estimator, without any prior information on the underlying distribution of cost and data. We investigate two types of estimations: unbiased point estimation and confidence interval estimation. Unbiased estimators: We design a truthful, individually rational, online mechanism to acquire data from individuals and output an unbiased estimator of the population mean when the data analyst has no prior information on the cost-data distribution and individuals arrive in a random order. The performance of this mechanism matches that of the optimal mechanism, which knows the true cost distribution, within a constant factor. The performance of an estimator is evaluated by its variance under the worst-case cost-data correlation. Confidence intervals: We characterize an approximately optimal (within a factor $2$) mechanism for obtaining a confidence interval of the population mean when the data analyst knows the true cost distribution at the beginning. This mechanism is efficiently computable. We then design a truthful, individually rational, online algorithm that is only worse than the approximately optimal mechanism by a constant factor. The performance of an estimator is evaluated by its expected length under the worst-case cost-data correlation.


title: Magnetic Phases of Frustrated Ferromagnetic Spin-Trimer System Gd_3_Ru_4_Al_12_ With a Distorted Kagome Lattice Structure

abstract: The magnetization and specific heat measurements have been performed on single-crystalline Gd_3_Ru_4_Al_12_ with a distorted Kagome lattice structure. This spin system is regarded as an antiferromagnetic triangular lattice of XY like Heisenberg model at low temperatures. The magnetic phase diagrams indicate the existence of frustration and Z_2_ degeneracy. The magnetization and specific heat imply the successive phase transitions with partial disorder and a T-shaped spin structure in the ground state.


title: Optimal Algorithms for Scheduling under Time-of-Use Tariffs

abstract: We consider a natural generalization of classical scheduling problems in which using a time unit for processing a job causes some time-dependent cost which must be paid in addition to the standard scheduling cost. We study the scheduling objectives of minimizing the makespan and the sum of (weighted) completion times. It is not difficult to derive a polynomial-time algorithm for preemptive scheduling to minimize the makespan on unrelated machines. The problem of minimizing the total (weighted) completion time is considerably harder, even on a single machine. We present a polynomial-time algorithm that computes for any given sequence of jobs an optimal schedule, i.e., the optimal set of time-slots to be used for scheduling jobs according to the given sequence. This result is based on dynamic programming using a subtle analysis of the structure of optimal solutions and a potential function argument. With this algorithm, we solve the unweighted problem optimally in polynomial time. For the more general problem, in which jobs may have individual weights, we develop a polynomial-time approximation scheme (PTAS) based on a dual scheduling approach introduced for scheduling on a machine of varying speed. As the weighted problem is strongly NP-hard, our PTAS is the best possible approximation we can hope for.


title: Note About T-duality of Non-Relativistic String

abstract: In this note we perform canonical analysis of T-duality for non-relativistic string in stringy Newton-Cartan background. We confirm recent result that T-duality along longitudinal spatial direction of stringy Newton-Cartan geometry maps non-relativistic string to the relativistic string that propagates on the background with light-like isometry.


title: Pulsating stars in binary systems: a review

abstract: Binary systems anchor many of the fundamental relations relied upon in asteroseismology. Masses and radii are rarely constrained better than when measured via orbital dynamics and eclipse depths. Pulsating binaries have much to offer. They are clocks, moving in space, that encode orbital motion in the Doppler-shifted pulsation frequencies. They offer twice the opportunity to obtain an asteroseismic age, which is then applicable to both stars. They enable comparative asteroseismology -- the study of two stars by their pulsation properties, whose only fundamental differences are the mass and rotation rates with which they were born. In eccentric binaries, oscillations can be excited tidally, informing our knowledge of tidal dissipation and resonant frequency locking. Eclipsing binaries offer benchmarks against which the asteroseismic scaling relations can be tested. We review these themes in light of both observational and theoretical developments recently made possible by space-based photometry.


title: Planetary Systems in Star Clusters: the dynamical evolution and survival

abstract: Most stars, perhaps even all stars, form in crowded stellar environments. Such star forming regions typically dissolve within ten million years, while others remain bound as stellar groupings for hundreds of millions to billions of years, and then become the open clusters or globular clusters that are present in our Milky Way galaxy today. A large fraction of stars in the Galaxy hosts planetary companions. To understand the origin and dynamical evolution of such exoplanet systems, it is necessary to carefully study the effect of their environments. Here, we combine theoretical estimates with state-of-the-art numerical simulations of evolving planetary systems similar to our own solar system in different star cluster environments. We combine the REBOUND planetary system evolution code, and the NBODY6++GPU star cluster evolution code, integrated in the AMUSE multi-physics environment. With our study we can constrain the effect of external perturbations of different environments on the planets and debris structures of a wide variety of planetary systems, which may play a key role for the habitability of exoplanets in the Universe.


title: Alternative Characterizations of Fitch's Xenology Relation

abstract: According to Walter M. Fitch, two genes are xenologs if they are separated by at least one horizontal gene transfer. This concept is formalized through Fitch relations, which are defined as binary relations that comprise all pairs $(x,y)$ of genes $x$ and $y$ for which $y$ has been horizontally transferred at least once since it diverged from the least common ancestor of $x$ and $y$. This definition, in particular, preserves the directional character of the transfer. Fitch relations are characterized by a small set of forbidden induced subgraphs on three vertices and can be recognized in linear time. In this contribution, we provide two novel characterizations of Fitch relations and present an alternative, short and elegant proof of the characterization theorem established by Gei{\ss} et al.\ in \emph{J.\ Math.\ Bio 77(5), 2018}.


title: Stabilization of a linearized Cahn-Hilliard system for phase separation by proportional boundary feedbacks

abstract: This work represents a first contribution on the problem of boundary stabilization for the phase field system of Cahn-Hilliard type, which models the phase separation in a binary mixture. The feedback controller we design here is with actuation only on the temperature flow of the system, on one part of the boundary only. Moreover, it is of proportional type, given in an explicit form, expressed only in terms of the eigenfunctions of the Laplace operator, being easy to manipulate from the computational point of view. Furthermore, it ensures that the closed loop nonlinear system exponentially reaches the prescribed stationary solution provided that the initial datum is close enough to it.


title: An efficient reduction strategy for signature-based algorithms to compute Groebner basis

abstract: This paper introduces a strategy for signature-based algorithms to compute Groebner basis. The signature-based algorithms generate S-pairs instead of S-polynomials, and use s-reduction instead of the usual reduction used in the Buchberger algorithm. There are two strategies for s-reduction: one is the only-top reduction strategy which is the way that only leading monomials are s-reduced. The other is the full reduction strategy which is the way that all monomials are s-reduced. A new strategy, which we call selective-full strategy, for s-reduction of S-pairs is introduced in this paper. In the experiment, this strategy is efficient for computing the reduced Groebner basis. For computing a signature Groebner basis, it is the most efficient or not the worst of the three strategies.


title: Comments on the shifts and the signs in A-infinity categories

abstract: We discuss that there exist at least two different choices in the signs of the induced A-infinity structures in shifting the degree of objects in an A-infinity category. We show that both of these choices are naturalin the sense that they are compatible with the homological perturbation theory of A-infinity categories. These different choices give different triangulated categories out of an A-infinity category.


title: Fukaya categories of two-tori revisited

abstract: We construct an A-infinity structure of the Fukaya category explicitly for any flat symplectic two-torus. The structure constants of the non-transversal A-infinity products are obtained as derivatives of those of transversal A-infinity products.


title: FSNet: An Identity-Aware Generative Model for Image-based Face Swapping

abstract: This paper presents FSNet, a deep generative model for image-based face swapping. Traditionally, face-swapping methods are based on three-dimensional morphable models (3DMMs), and facial textures are replaced between the estimated three-dimensional (3D) geometries in two images of different individuals. However, the estimation of 3D geometries along with different lighting conditions using 3DMMs is still a difficult task. We herein represent the face region with a latent variable that is assigned with the proposed deep neural network (DNN) instead of facial textures. The proposed DNN synthesizes a face-swapped image using the latent variable of the face region and another image of the non-face region. The proposed method is not required to fit to the 3DMM; additionally, it performs face swapping only by feeding two face images to the proposed network. Consequently, our DNN-based face swapping performs better than previous approaches for challenging inputs with different face orientations and lighting conditions. Through several experiments, we demonstrated that the proposed method performs face swapping in a more stable manner than the state-of-the-art method, and that its results are compatible with the method thereof.


title: Improved Crowding Distance for NSGA-II

abstract: Non-dominated sorting genetic algorithm II (NSGA-II) does well in dealing with multi-objective problems. When evaluating validity of an algorithm for multi-objective problems, two kinds of indices are often considered simultaneously, i.e. the convergence to Pareto Front and the distribution characteristic. The crowding distance in the standard NSGA-II has the property that solutions within a cubic have the same crowding distance, which has no contribution to the convergence of the algorithm. Actually the closer to the Pareto Front a solution is, the higher priority it should have. In the paper, the crowding distance is redefined while keeping almost all the advantages of the original one. Moreover, the speed of converging to the Pareto Front is faster. Finally, the improvement is proved to be effective by applying it to solve nine Benchmark problems.


title: Escape Metrics and its Applications

abstract: Geodesics escape is widely used to study the scattering of hyperbolic equations. However, there are few progresses except in a simply connected complete Riemannian manifold with nonpositive curvature. We propose a kind of complete Riemannian metrics in $\mathbb{R}^n$, which is called as escape metrics. We expose the relationship between escape metrics and geodesics escape in $\mathbb{R}^n$. Under the escape metric $g$, we prove that each geodesic of $(\mathbb{R}^n,g)$ escapes, that is, $\lim_{t\rightarrow +\infty} |\gamma (t)|=+\infty$ for any $x\in \mathbb{R}^n$ and any unit-speed geodesic $\gamma (t)$ starting at $x$. We also obtain the geodesics escape velocity and give the counterexample that if escape metrics are not satisfied, then there exists an unit-speed geodesic $\gamma (t)$ such that $\overline{\lim}_{t\rightarrow +\infty} |\gamma (t)|<+\infty$. In addition, we establish Morawetz multipliers in Riemannian geometry to derive dispersive estimates for the wave equation on an exterior domain of $\mathbb{R}^n$ with an escape metric. More concretely, for radial solutions, the uniform decay rate of the local energy is independent of the parity of the dimension $n$. For general solutions, we prove the space-time estimation of the energy and uniform decay rate $t^{-1}$ of the local energy. It is worth pointing out that different from the assumption of an Euclidean metric at infinity in the existing studies, escape metrics are more general Riemannian metrics.


title: Structured Information Retrieval Strategies for Localising Software Changes

abstract: During software maintenance and evolution, developers need to deal with a large number of change requests by modifying existing code or adding code into the system. An efficient tackling of change request calls for an accurate localising of software changes, i.e. identifying which code are problematic and where new files should be added for any type of change request at hand, such as a bug report or a feature request. Existing automatic techniques for this change localisation problem are limited in two aspects: on the one hand, they are only limited to tackle a specific type of change request; on the other hand, they are focused on finding files that should be modified for a change request, yet barely capable of recommending what files or packages might be newly created. To address the limitations, we are inspired to propose a generalised change localisation approach to identify the to-be-modified files (mostly for bugs), and at the same time point out where new files or packages should be created (mostly for new feature requests) for an arbitrary type of change request. In order to tackle the key challenge of predicting to-be-created program elements, our proposed SeekChanges approach leverages the hierarchical package structure for Java projects, and model the change localisation problem as a structured information retrieval (IR) task. A systematic investigation of three structured IR strategies is carried out for scoring and ranking both the files that should be modified and the software packages in which the new files should be created to address change requests. Extensive experiments on four open source Java projects from the Apache Software Foundation demonstrate that structured IR strategies have a good performance on recommending newly created files, while the overall performance of localising change requests is equally satisfactory.


title: Instance-level Facial Attributes Transfer with Geometry-Aware Flow

abstract: We address the problem of instance-level facial attribute transfer without paired training data, e.g. faithfully transferring the exact mustache from a source face to a target face. This is a more challenging task than the conventional semantic-level attribute transfer, which only preserves the generic attribute style instead of instance-level traits. We propose the use of geometry-aware flow, which serves as a well-suited representation for modeling the transformation between instance-level facial attributes. Specifically, we leverage the facial landmarks as the geometric guidance to learn the differentiable flows automatically, despite of the large pose gap existed. Geometry-aware flow is able to warp the source face attribute into the target face context and generate a warp-and-blend result. To compensate for the potential appearance gap between source and target faces, we propose a hallucination sub-network that produces an appearance residual to further refine the warp-and-blend result. Finally, a cycle-consistency framework consisting of both attribute transfer module and attribute removal module is designed, so that abundant unpaired face images can be used as training data. Extensive evaluations validate the capability of our approach in transferring instance-level facial attributes faithfully across large pose and appearance gaps. Thanks to the flow representation, our approach can readily be applied to generate realistic details on high-resolution images.


title: The Hall--Paige conjecture, and synchronization for affine and diagonal groups

abstract: The Hall--Paige conjecture asserts that a finite group has a complete mapping if and only if its Sylow subgroups are not cyclic. The conjecture is now proved, and one aim of this paper is to document the final step in the proof (for the sporadic simple group $\mathrm{J}_4$). We apply this result to prove that primitive permutation groups of simple diagonal type with three or more simple factors in the socle are non-synchronizing. We also give the simpler proof that, for groups of affine type, or simple diagonal type with two socle factors, synchronization and separation are equivalent. Synchronization and separation are conditions on permutation groups which are stronger than primitivity but weaker than $2$-homogeneity, the second of these being stronger than the first. Empirically it has been found that groups which are synchronizing but not separating are rather rare. It follows from our results that such groups must be primitive of almost simple type.


title: VSUSY models with Carroll or Galilei invariance

abstract: The general method introduced in a previous paperto build up a class of models invariant under generalization of Carroll and Galilei algebra is extended to systems including a set of Grassmann variables describing the spin degree of freedom. The models described here are based on a relativistic supersymmetric algebra with vector and scalar generators (VSUSY) . Therefore, in order to obtain dynamical systems consistent with Carroll or Galilei, we will study the contractions of the anticommuting generators compatible with the Poincar\'e contractions.


title: ComDefend: An Efficient Image Compression Model to Defend Adversarial Examples

abstract: Deep neural networks (DNNs) have been demonstrated to be vulnerable to adversarial examples. Specifically, adding imperceptible perturbations to clean images can fool the well trained deep neural networks. In this paper, we propose an end-to-end image compression model to defend adversarial examples: \textbf{ComDefend}. The proposed model consists of a compression convolutional neural network (ComCNN) and a reconstruction convolutional neural network (ResCNN). The ComCNN is used to maintain the structure information of the original image and purify adversarial perturbations. And the ResCNN is used to reconstruct the original image with high quality. In other words, ComDefend can transform the adversarial image to its clean version, which is then fed to the trained classifier. Our method is a pre-processing module, and does not modify the classifier's structure during the whole process. Therefore, it can be combined with other model-specific defense models to jointly improve the classifier's robustness. A series of experiments conducted on MNIST, CIFAR10 and ImageNet show that the proposed method outperforms the state-of-the-art defense methods, and is consistently effective to protect classifiers against adversarial attacks.


title: Unstable Entropy and Unstable Pressure for Random Partially Hyperbolic Dynamical Systems

abstract: Let $\mathcal{F}$ be a $C^2$ random partially hyperbolic dynamical system. For the unstable foliation, the corresponding unstable metric entropy, unstable topological entropy and unstable pressure via the dynamics of $\mathcal{F}$ on the unstable foliation are introduced and investigated. A version of Shannon-McMillan-Breiman Theorem for unstable metric entropy is given, and a variational principle for unstable pressure (and hence for unstable entropy) is obtained. Moreover, as an application of the variational principle, equilibrium states for the unstable pressure including Gibbs $u$-states are investigated.


title: Fractal character of the phase ordering kinetics of a diluted ferromagnet

abstract: We study numerically the coarsening kinetics of a two-dimensional ferromagnetic system with aleatory bond dilution. We show that interfaces between domains of opposite magnetisation are fractal on every lengthscale, but with different properties at short or long distances. Specifically, on lengthscales larger than the typical domains' size the topology is that of critical random percolation, similarly to what observed in clean systems or models with different kinds of quenched disorder. On smaller lengthscales a dilution dependent fractal dimension emerges. The Hausdorff dimension increases with increasing dilution $d$ up to the value $4/3$ expected at the bond percolation threshold $d=1/2$. We discuss how such different geometries develop on different lengthscales during the phase-ordering process and how their simultaneous presence determines the scaling properties of observable quantities.


title: Optimal asymptotic bounds for designs on manifolds

abstract: We extend to the case of a $d$-dimensional compact connected oriented Riemannian manifold $\mathcal M$ the theorem of A. Bondarenko, D. Radchenko and M. Viazovska on the existence of $L$-designs consisting of $N$ nodes, for any $N\ge C_{\mathcal M} L^d$. For this, we need to prove a version of the Marcinkiewicz-Zygmund inequality for the gradient of diffusion polynomials.


title: A brief review on muSR studies of unconventional Fe and Cr-based superconductors

abstract: Muon spin relaxation/rotation (muSR) is a vital technique for probing the superconducting gap structure, pairing symmetry and time reversal symmetry breaking, enabling an understanding of the mechanisms behind the unconventional superconductivity of cuprates and Fe-based high-temperature superconductors, which remain a puzzle. Very recently double layered Fe-based super-conductors having quasi-2D crystal structures and Cr-based superconductors with a quasi-1D structure have drawn considerable attention. Here we present a brief review of the characteristics of a few selected Fe- and Cr-based superconducting materials and highlight some of the major outstanding problems, with an emphasis on the superconducting pairing symmetries of these materials. We focus on muSR studies of the newly discovered superconductors ACa2Fe4As4F2(A = K, Rb, and Cs), ThFeAsN, and A2Cr3As3(A = K, Cs), which were used to determine the superconducting gap structures, the presence of spin fluctuations, and to search for time reversal symmetry breaking in the superconducting states. We also briefly discuss the results of muSR investigations of the superconductivity in hole and electron doped BaFe2As2.


title: Scaling properties of cosmological axion strings

abstract: There has been recent interest in the evolution and cosmological consequences of global axionic string networks, and in particular in the issue of whether or not these networks reach the scale-invariant scaling solution that is known to exist for the simpler Goto-Nambu and Abelian-Higgs string networks. This is relevant for determining the amount and spectrum of axions they produce. We use the canonical velocity-dependent one-scale model for cosmic defect network evolution to study the evolution of these global networks, confirming the presence of deviations to scale-invariant evolution and in agreement with the most recent numerical simulations. We also quantify the cosmological impact of these corrections and discuss how the model can be used to extrapolate the results of numerical simulations, which have a limited dynamic range, to the full cosmological evolution of the networks, enabling robust predictions of their consequences. Our analysis suggests that around the QCD scale, when the global string network is expected to disappear and produce most of the axions, the number of global strings per Hubble patch should be around $\xi\sim4.2$, but also highlights the need for additional high-resolution numerical simulations.


title: ExB flows for high-throughput plasma mass separation

abstract: High-throughput plasma separation based on atomic mass holds the promise for offering unique solutions to a variety of high-impact societal applications. Through the mass differential effects they exhibit, crossed-field configurations can in principle be exploited in various ways to separate ions based on atomic mass. Yet, the practicality of these concepts is conditioned upon the ability to drive suitable crossed-field flows for plasma parameters compatible with high-throughput operation. Limited current predictive capabilities have not yet made it possible to confirm this possibility. Yet, past experimental results suggest that end-electrodes biasing may be effective, at least for certain electric field values. A better understanding of cross-field conductivity is needed to confirm these results and confirm the potential of crossed-field configurations for high-throughput separation.


title: VOEvent for Solar and Planetary Sciences

abstract: With its Planetary Space Weather Service (PSWS), the Europlanet-H2020 Research Insfrastructure (EPN2020RI) project is proposing a compelling set of databases and tools to that provides Space Weather forecasting throughout the Solar System. We present here the selected event transfer system (VOEvent). We describe the user requirements, develop the way to implement event alerts, and chain those to the 1) planetary event and 2) planetary space weather predictions. The service of alerts is developed with the objective to facilitate discovery or prediction announcements within the PSWS user community in order to watch or warn against specific events. The ultimate objective is to set up dedicated amateur and/or professional observation campaigns, diffuse contextual information for science data analysis, and enable safety operations of planet-orbiting spacecraft against the risks of impacts from meteors or solar wind disturbances.


title: Embedding Galilean and Carrollian geometries I. Gravitational waves

abstract: The aim of this series of papers is to generalise the ambient approach of Duval et al. regarding the embedding of Galilean and Carrollian geometries inside gravitational waves with parallel rays. In this first part, we propose a generalisation of the embedding of torsionfree Galilean and Carrollian manifolds inside larger classes of gravitational waves. On the Galilean side, the quotient procedure of Duval et al. is extended to gravitational waves endowed with a lightlike hypersurface-orthogonal Killing vector field. This extension is shown to provide the natural geometric framework underlying the generalisation by Lichnerowicz of the Eisenhart lift. On the Carrollian side, a new class of gravitational waves - dubbed Dodgson waves - is introduced and geometrically characterised. Dodgson waves are shown to admit a lightlike foliation by Carrollian manifolds and furthermore to be the largest subclass of gravitational waves satisfying this property. This extended class allows to generalise the embedding procedure to a larger class of Carrollian manifolds that we explicitly identify. As an application of the general formalism, (Anti) de Sitter spacetime is shown to admit a lightlike foliation by codimension one (A)dS Carroll manifolds.


title: Large Datasets, Bias and Model Oriented Optimal Design of Experiments

abstract: We review recent literature that proposes to adapt ideas from classical model based optimal design of experiments to problems of data selection of large datasets. Special attention is given to bias reduction and to protection against confounders. Some new results are presented. Theoretical and computational comparisons are made.


title: The consequence of a new ISRF model of the Milky Way on predictions for diffuse gamma-ray emission

abstract: We investigate the impact of the recently published ISRF model of the Milky Way by Popescu et al. on the CR electrons and positrons in the context of cosmic-ray transport modelling. We also study predictions for diffuse Galactic gamma radiation and underline the importance of the increased ISRF intensities.We use the PICARD code for solving the CR transport equation to obtain predictions based on Galactic cosmic-ray electron fluxes. We show that the new ISRF yields gamma-ray intensity increases, most particular at the Galactic Center and in the Galactic Plane. The impact is largest at energies around 220 GeV.


title: Spin Gapless Semiconducting Nature in Co-rich Co1+xFe1-xCrGa: Insight and Advancements

abstract: In this report, we present structural, electronic, magnetic and transport properties of Co-rich spin gapless semiconductor CoFeCrGa using both theoretical and experimental techniques. The key advantage of Co-rich samples $\mathrm{Co_{1+x}Fe_{1-x}CrGa}$ is the high Curie temperature (T$\mathrm{_C}$) and magnetization, without compromising the SGS nature (up to x = 0.4), and hence our choice. The quaternary Heusler alloys $\mathrm{Co_{1+x}Fe_{1-x}CrGa}$ (x = 0.1 to 0.5) are found to crystallize in LiMgPdSn-type structure having space group $F\bar{4}3m$ (\# 216). The measured Curie temperature increases from 690 K (x = 0) to 870 K (x = 0.5). Observed magnetization values follow the Slater-Pauling rule. Measured electrical resistivity, in the temperature range of 5-350 K, suggests that the alloys retain the SGS behavior up to x = 0.4, beyond which it reflects metallic character. Unlike conventional semiconductors, the conductivity value ($\mathrm{\sigma_{xx}}$) at 300 K lies in the range of 2289 S $\mathrm{cm^{-1}}$ to 3294 S $\mathrm{cm^{-1}}$, which is close to that of other reported SGS materials. The anomalous Hall effect is comparatively low. The intrinsic contribution to the anomalous Hall conductivity increase with x, which can be correlated with the enhancement in chemical order. The anomalous Hall coefficient is found to increase from 38 S/cm for x = 0.1 to 43 S/cm for 0.3. Seebeck coefficients turn out to be vanishingly small below 300 K, another signature for being SGS. All the alloys (for different x) are found to be both chemically and thermally stable. Simulated magnetization agrees fairly with the experiment. As such Co-rich CoFeCrGa is a promising candidate for room temperature spintronic applications, with enhanced T$\mathrm{_C}$, magnetic properties and SGS nature.


title: Chow-Witt rings of split quadrics

abstract: We compute the Chow-Witt rings of split quadrics over a field of characteristic not two. We even determine the full bigraded I-cohomology and Milnor-Witt cohomology rings, including twists by line bundles. The results on I-cohomology corroborate the general philosophy that I-cohomology is an algebro-geometric version of singular cohomology of real varieties: our explicit calculations confirm that the I-cohomology ring of a split quadric over the reals is isomorphic to the singular cohomology ring of the space of its real points.


title: Offloading Energy Efficiency with Delay Constraint for Cooperative Mobile Edge Computing Networks

abstract: We propose a novel edge computing network architecture that enables edge nodes to cooperate in sharing computing and radio resources to minimize the total energy consumption of mobile users while meeting their delay requirements. To find the optimal task offloading decisions for mobile users, we first formulate the joint task offloading and resource allocation optimization problem as a mixed integer non-linear programming (MINLP). The optimization involves both binary (offloading decisions) and real variables (resource allocations), making it an NP-hard and computational intractable problem. To circumvent, we relax the binary decision variables to transform the MINLP to a relaxed optimization problem with real variables. After proving that the relaxed problem is a convex one, we propose two solutions namely ROP and IBBA. ROP is adopted from the interior point method and IBBA is developed from the branch and bound algorithm. Through the numerical results, we show that our proposed approaches allow minimizing the total energy consumption and meet all delay requirements for mobile users.


title: Hybrid Distortion Aggregated Visual Comfort Assessment for Stereoscopic Image Retargeting

abstract: Visual comfort is a quite important factor in 3D media service. Few research efforts have been carried out in this area especially in case of 3D content retargeting which may introduce more complicated visual distortions. In this paper, we propose a Hybrid Distortion Aggregated Visual Comfort Assessment (HDA-VCA) scheme for stereoscopic retargeted images (SRI), considering aggregation of hybrid distortions including structure distortion, information loss, binocular incongruity and semantic distortion. Specifically, a Local-SSIM feature is proposed to reflect the local structural distortion of SRI, and information loss is represented by Dual Natural Scene Statistics (D-NSS) feature extracted from the binocular summation and difference channels. Regarding binocular incongruity, visual comfort zone, window violation, binocular rivalry, and accommodation-vergence conflict of human visual system (HVS) are evaluated. Finally, the semantic distortion is represented by the correlation distance of paired feature maps extracted from original stereoscopic image and its retargeted image by using trained deep neural network. We validate the effectiveness of HDA-VCA on published Stereoscopic Image Retargeting Database (SIRD) and two stereoscopic image databases IEEE-SA and NBU 3D-VCA. The results demonstrate HDA-VCA's superior performance in handling hybrid distortions compared to state-of-the-art VCA schemes.


title: Exploring the phase diagram of finite density QCD at low temperature by the complex Langevin method

abstract: Monte Carlo studies of QCD at finite density suffer from the sign problem, which becomes easily uncontrollable as the chemical potential $\mu$ is increased even for a moderate lattice size. In this work we make an attempt to approach the high density low temperature region by the complex Langevin method (CLM) using four-flavor staggered fermions with reasonably small quark mass on a $8^3 \times 16$ lattice. Unlike the previous work on a $4^3 \times 8$ lattice, the criterion for correct convergence is satisfied within a wide range of $\mu$ without using the deformation technique. In particular, the baryon number density exhibits a plateau behavior consistent with the formation of eight baryons, and it starts to grow gradually at some $\mu$.


title: Detection of periodic radio signal from the blazar J1043+2408

abstract: Search for periodic signals from blazars has become widely discussed topic in recent years. In the scenario that such periodic changes originate from the innermost regions of blazars, the signals bear imprints of the processes occurring near the central engine, which is mostly inaccessible to our direct view. Such signals provide insights into various aspect of blazar studies including disk-jet connection, magnetic field configuration and, more importantly, strong gravity near the supermassive black holes and release of gravitational waves from the binary supermassive black hole systems. In this work, we report detection of a periodic signal in the radio light curve of the blazar J1043+2408 spanning $\sim$10.5 years. We performed multiple methods of time series analysis, namely, epoch folding, Lomb-Scargle periodogram, and discrete auto-correlation function. All three methods consistently reveal a repeating signal with a periodicity of $\sim560$ days. To robustly account for the red-noise processes usually dominant in the blazar variability and other possible artifacts, a large number of Monte Carlo simulations were performed. This allowed us to estimate a high significance (99.9\% local and 99.4\% global) against possible spurious detection. As possible explanations, we discuss a number of scenarios including binary supermassive black hole system, Lense-Thirring precession and jet precession.


title: Euclidean axion wormholes have multiple negative modes

abstract: We show that Euclidean axion wormholes in theories of gravity coupled to a single axion have several independent inhomogeneous perturbations that lower the Euclidean action. Our analysis relies on a judiciously chosen gauge-invariant variable which makes the negative mode structure about axion wormholes transparent. Perturbations lowering the action are concentrated in the neck region and exist for wormholes in flat space and in AdS. Their presence means axion wormholes are not relevant saddle points of the functional integral in quantum gravity. This resolves the paradoxes associated with these solutions from the viewpoint of AdS/CFT. We conjecture that the lower action configurations one flows to are ensembles of microscopic `quantum wormholes' with unit charge.


title: Branching structures emerging from a continuous optimal transport model

abstract: Recently a Dynamic-Monge-Kantorovich formulation of the PDE-based $L^1$-optimal transport problem was presented. The model considers a diffusion equation enforcing the balance of the transported masses with a time-varying conductivity that volves proportionally to the transported flux. In this paper we present an extension of this model that considers a time derivative of the conductivity that grows as a power law of the transport flux with exponent $\beta>0$. A sub-linear growth ($0<\beta<1$) penalizes the flux intensity and promotes distributed transport, with equilibrium solutions that are reminiscent of Congested Transport Problems. On the contrary, a super-linear growth ($\beta>1$) favors flux intensity and promotes concentrated transport, leading to the emergence of steady-state "singular" and "fractal-like" configurations that resemble those of Branched Transport Problems. We derive a numerical discretization of the proposed model that is accurate, efficient, and robust for a wide range of scenarios. For $\beta>1$ the numerical model is able to reproduce highly irregular and fractal-like formations without any a-priory structural assumption.


title: On the generation of probabilistic forecasts from deterministic models

abstract: Most of the methods that produce space weather forecasts are based on deterministic models. In order to generate a probabilistic forecast, a model needs to be run several times sampling the input parameter space, in order to generate an ensemble from which the distribution of outputs can be inferred. However, ensemble simulations are costly and often preclude the possibility of real-time forecasting. We introduce a simple and robust method to generate uncertainties from deterministic models, that does not require ensemble simulations. The method is based on the simple consideration that a probabilistic forecast needs to be both accurate and well-calibrated (reliable). We argue that these two requirements are equally important, and we introduce the Accuracy-Reliability cost function that quantitatively measures the trade-off between accuracy and reliability. We then define the optimal uncertainties as the standard deviation of the Gaussian distribution that minimizes the cost function. We demonstrate that this simple strategy, implemented here by means of a regularized deep neural network, produces accurate and well-calibrated forecasts, showing examples both on synthetic and real-world space weather data.


title: Void Filling of Digital Elevation Models with Deep Generative Models

abstract: In recent years, advances in machine learning algorithms, cheap computational resources, and the availability of big data have spurred the deep learning revolution in various application domains. In particular, supervised learning techniques in image analysis have led to superhuman performance in various tasks, such as classification, localization, and segmentation, while unsupervised learning techniques based on increasingly advanced generative models have been applied to generate high-resolution synthetic images indistinguishable from real images. In this paper we consider a state-of-the-art machine learning model for image inpainting, namely a Wasserstein Generative Adversarial Network based on a fully convolutional architecture with a contextual attention mechanism. We show that this model can successfully be transferred to the setting of digital elevation models (DEMs) for the purpose of generating semantically plausible data for filling voids. Training, testing and experimentation is done on GeoTIFF data from various regions in Norway, made openly available by the Norwegian Mapping Authority.


title: Thick groups have trivial Floyd boundary

abstract: We prove that thick groups (and more generally thick graphs) have trivial Floyd boundary. This shows a wide class of finitely generated groups that are non-relatively hyperbolic have trivial Floyd boundary. In addition to giving new examples, our result provides a common proof and framework for many of the known results in the literature.


title: An Efficient Image Retrieval Based on Fusion of Low-Level Visual Features

abstract: Due to an increase in the number of image achieves, Content-Based Image Retrieval (CBIR) has gained attention for research community of computer vision. The image visual contents are represented in a feature space in the form of numerical values that is considered as a feature vector of image. Images belonging to different classes may contain the common visuals and shapes that can result in the closeness of computed feature space of two different images belonging to separate classes. Due to this reason, feature extraction and image representation is selected with appropriate features as it directly affects the performance of image retrieval system. The commonly used visual features are image spatial layout, color, texture and shape. Image feature space is combined to achieve the discriminating ability that is not possible to achieve when the features are used separately. Due to this reason, in this paper, we aim to explore the low-level feature combination that are based on color and shape features. We selected color moments and color histogram to represent color while shape is represented by using invariant moments. We selected this combination, as these features are reported intuitive, compact and robust for image representation. We evaluated the performance of our proposed research by using the Corel, Coil and Ground Truth (GT) image datasets. We evaluated the proposed low-level feature fusion by calculating the precision, recall and time required for feature extraction. The precision, recall and feature extraction values obtained from the proposed low-level feature fusion outperforms the existing research of CBIR.


title: Penetrative turbulent Rayleigh-B\'enard convection in two and three dimensions

abstract: Penetrative turbulent Rayleigh-B\'enard convection which depends on the density maximum of water near $4^\circ\rm{C}$ is studied using two-dimensional (2D) and three-dimensional (3D) direct numerical simulations (DNS). The working fluid is water near $4^\circ\rm{C}$ with Prandtl number $Pr=11.57$. The considered Rayleigh numbers $Ra$ range from $10^7$ to $10^{10}$. The density inversion parameter $\theta_m$ varies from 0 to 0.9. It is found that the ratio of the top and bottom thermal boundary-layer thickness ($F_\lambda=\lambda_t^\theta/\lambda_b^\theta$) increases with increasing $\theta_m$, and the relationship between $F_\lambda$ and $\theta_m$ seems to be independent of $Ra$. The centre temperature $\theta_c$ is enhanced compared to that of Oberbeck-Boussinesq (OB) cases, as $\theta_c$ is related to $F_\lambda$ with $1/\theta_c=1/F_\lambda+1$, $\theta_c$ is also found to have a universal relationship with $\theta_m$ which is independent of $Ra$. Both the Nusselt number $Nu$ and the Reynolds number $Re$ decrease with increasing $\theta_m$, the normalized Nusselt number $Nu(\theta_m)/Nu(0)$ and Reynolds number $Re(\theta_m)/Re(0)$ also have universal relationships with $\theta_m$ which seem to be independent of both $Ra$ and the aspect ratio $\Gamma$. The scaling exponents of $Nu\sim Ra^\alpha$ and $Re\sim Ra^\beta$ are found to be insensitive to $\theta_m$ despite of the remarkable change of the flow organizations.


title: Vibrational properties of sodosilicate glasses from first-principles calculations

abstract: The vibrational properties of three sodosilicate glasses have been investigated in the framework of Density Functional Theory. The pure vibrational density of states has been calculated for all systems and the different vibrational modes have been assigned to specific atoms or structural units. It is shown that the Na content affects several vibrational features as the position and intensity of the $R$ band or the mixing of the rocking and bending atomic motions of the Si-O-Si bridges. The calculated Raman spectra have been found to agree with experimental observations and their decomposition indicated the dominant character of the non-bridging oxygen contribution on the spectra, in particular for the high-frequency band, above 800~cm$^{-1}$. The decomposition of the high-frequency Raman feature into vibrations of the depolymerized tetrahedra (i.e. $Q_n$-units) has revealed spectral shapes of the partial contributions that cannot be accounted for by simple gaussians as frequently assumed in the treatment of experimentally obtained Raman spectra.


title: Fixed points of metrically nonspreading mappings in Hadamard spaces

abstract: We study the existence and approximation of fixed points of metrically nonspreading mappings and firmly metrically nonspreading mappings in Hadamard spaces. The resolvents of monotone operators satisfying range conditions are typical examples of firmly metrically nonspreading mappings. Applications to monotone operators in such spaces are also included.


title: Gaugino Mediation Scenarios for Muon $g-2$ and Dark Matter

abstract: We explore the possibility that the muon $g-2$ anomaly and the nature of dark matter can be simultaneously explained within the framework of gaugino mediation, focusing on bino-like dark matter where the observed abundance is obtained via co-annihilations. The minimal model with non-universal gaugino masses is excluded by stau vacuum instability, although this constraint can be somewhat relaxed via the addition of a universal soft scalar mass (or $B-L$ gaugino mediation). A more promising alternative is gaugino+Higgs mediation, which significantly raises the soft masses of the third generation sfermions leading to a split spectrum. In this framework, the muon $g-2$ can be easily explained and the dark matter abundance obtained through either bino-wino or bino-slepton co-annihilations.


title: A parallel treatment of semi-continuous functions with left and right-functions continuous and some application in pedagogy

abstract: Left and right-continuous functions play an important role in Real analysis, especially in Measure Theory and Integration on the real line and in Stochastic processes indexed by a continuous real time. Semi-continuous functions are also of major interest in the same way. This paper aims at presenting a useful handling of semi-continuous function in parallel with the way left or right continuous functions are treated. For example, a lower or upper continuous function shares the property that it is measurable if it fails to be upper or lower continuous at most at a number of countable points with a left or right-continuous when it fails to be left or right-continuous at most at a number of countable points. As a final result, the comparison between the Riemann and the Lebesgue integrals on compact sets is done in a very comfortable and comprehensive way. The frame used here is open to more further sophistication


title: Thinging Machine applied to Information Leakage

abstract: This paper introduces a case study that involves data leakage in a bank applying the so-called Thinging Machine (TM) model. The aim is twofold: (1) Presenting a systematic conceptual framework for the leakage problem that provides a foundation for the description and design of a data leakage system. (2) The aim in (1) is developed in the context of experimentation with the TM as a new methodology in modeling. The TM model is based on slicing the domain of interest (a part of the world) to reveal data leakage. The bank case study concentrates on leakage during internal operations of the bank. The leakage spots are exposed through surveying data territory throughout the bank. All streams of information flow are identified, thus points of possible leakage can be traced with appropriate evidence. The modeling of flow may uncover possible hidden points of leakage and provide a base for a comprehensive information flow policy. We conclude that a TM based on the Heideggerian notion of thinging can serve as a foundation for early stages of software development and as an alternative approach to the dominant object-orientation paradigm.


title: Stabilizability in optimal control

abstract: We extend the classical concepts of sampling and Euler solutions for control systems associated to discontinuous feedbacks by considering also the corresponding costs. In particular, we introduce the notions of Sample and Euler stabilizability to a closed target set (p0,W)-regulated cost, for some continuous, state-dependent function W and some positive constant p0: it roughly means that we require the existence of a stabilizing feedback K such that all the corresponding sampling and Euler solutions starting from a point z have suitably defined finite costs, bounded above by W(z)/p0. Then, we show how the existence of a special, semiconcave Control Lyapunov Function W, called p0-Minimum Restraint Function, allows us to construct explicitly such a feedback K. When dynamics and Lagrangian are Lipschitz continuous in the state variable, we prove that K as above can be still obtained if there exists a p0-Minimum Restraint Function which is merely Lipschitz continuous. An example on the stabilizability with (p0,W)-regulated cost of the nonholonomic integrator control system associated to any cost with bounded Lagrangian illustrates the results.


title: Controlling the energy gap of a tunable two-level system by ac drive

abstract: We study the influence of a strong off-resonant driving signal to the energy levels of a superconducting flux qubit both experimentally and theoretically. In the experiment, we carry out a three-tone spectroscopy. This allows us to directly observe the modification of the qubit's energy levels by the dynamical Stark shift caused by the driving signal. A theoretical treatment including corrections from both, rotating and counter-rotating frame, allowed us to completely explain the observed experimental results and to reconstruct the influence of the strong driving to the dissipative dynamics as well as to the coupling constants of the qubit. As one potential application, the tunability of the minimal energy-level splitting of a superconducting qubit by a microwave induced dynamical Stark shift can help to overcome the parameter spread induced by the micro fabrication of superconducting artificial quantum circuits.


title: Style Decomposition for Improved Neural Style Transfer

abstract: Universal Neural Style Transfer (NST) methods are capable of performing style transfer of arbitrary styles in a style-agnostic manner via feature transforms in (almost) real-time. Even though their unimodal parametric style modeling approach has been proven adequate to transfer a single style from relatively simple images, they are usually not capable of effectively handling more complex styles, producing significant artifacts, as well as reducing the quality of the synthesized textures in the stylized image. To overcome these limitations, in this paper we propose a novel universal NST approach that separately models each sub-style that exists in a given style image (or a collection of style images). This allows for better modeling the subtle style differences within the same style image and then using the most appropriate sub-style (or mixtures of different sub-styles) to stylize the content image. The ability of the proposed approach to a) perform a wide range of different stylizations using the sub-styles that exist in one style image, while giving the ability to the user to appropriate mix the different sub-styles, b) automatically match the most appropriate sub-style to different semantic regions of the content image, improving existing state-of-the-art universal NST approaches, and c) detecting and transferring the sub-styles from collections of images are demonstrated through extensive experiments.


title: Searching for the Odderon in Ultraperipheral Proton--Ion Collisions at the LHC

abstract: We explore the possibility of observing Odderon exchange in proton--ion collisions at the LHC, via the ultraperipheral photoproduction of C-even mesons. As well as the signal, we consider in detail the principle backgrounds, due to QCD--initiated production (i.e. double Pomeron exchange) and $\gamma\gamma$ fusion. We find that while the photon--initiated background is dominant at very small momentum transfer, this can be effectively removed by placing a reasonable cut on the transverse momentum of the produced meson. In the case of QCD--initiated production, we show this is in general strongly suppressed by the small probability of no additional particle production in the central detector, namely the survival factor. In some scenarios, this suppression is sufficient to permit the observation of Odderon exchange in Pb$-p$ collisions in a clean environment, or else to place bounds on this. We in addition identify the cases of $\pi^0$ and $\eta(548)$ production as particularly promising channels. Here, the QCD--initiated background is absent for $\pi^0$ due to isospin conservation and very small for $\eta(548)$ due to its dominantly flavour octet nature and odd parity.


title: The Approach to Managing Provenance Metadata and Data Access Rights in Distributed Storage Using the Hyperledger Blockchain Platform

abstract: The paper suggests a new approach based on blockchain technologies and smart contracts to creation of a distributed system for managing provenance metadata, as well as access rights to data in distributed storages, which is fault-tolerant, safe and secure from the point of view of preservation of metadata records from accidental or intentional distortions. The implementation of the proposed approach is based on the permissioned blockchains and on the Hyperledger Fabric blockchain platform in conjunction with Hyperledger Composer.


title: LEARN Codes: Inventing Low-latency Codes via Recurrent Neural Networks

abstract: Designing channel codes under low-latency constraints is one of the most demanding requirements in 5G standards. However, a sharp characterization of the performance of traditional codes is available only in the large block-length limit. Guided by such asymptotic analysis, code designs require large block lengths as well as latency to achieve the desired error rate. Tail-biting convolutional codes and other recent state-of-the-art short block codes, while promising reduced latency, are neither robust to channel-mismatch nor adaptive to varying channel conditions. When the codes designed for one channel (e.g.,~Additive White Gaussian Noise (AWGN) channel) are used for another (e.g.,~non-AWGN channels), heuristics are necessary to achieve non-trivial performance. In this paper, we first propose an end-to-end learned neural code, obtained by jointly designing a Recurrent Neural Network (RNN) based encoder and decoder. This code outperforms canonical convolutional code under block settings. We then leverage this experience to propose a new class of codes under low-latency constraints, which we call Low-latency Efficient Adaptive Robust Neural (LEARN) codes. These codes outperform state-of-the-art low-latency codes and exhibit robustness and adaptivity properties. LEARN codes show the potential to design new versatile and universal codes for future communications via tools of modern deep learning coupled with communication engineering insights.


title: 2D Proactive Uplink Resource Allocation Algorithm for Event Based MTC Applications

abstract: We propose a two dimension (2D) proactive uplink resource allocation (2D-PURA) algorithm that aims to reduce the delay/latency in event-based machine-type communications (MTC) applications. Specifically, when an event of interest occurs at a device, it tends to spread to the neighboring devices. Consequently, when a device has data to send to the base station (BS), its neighbors later are highly likely to transmit. Thus, we propose to cluster devices in the neighborhood around the event, also referred to as the disturbance region, into rings based on the distance from the original event. To reduce the uplink latency, we then proactively allocate resources for these rings. To evaluate the proposed algorithm, we analytically derive the mean uplink delay, the proportion of resource conservation due to successful allocations, and the proportion of uplink resource wastage due to unsuccessful allocations for 2D-PURA algorithm. Numerical results demonstrate that the proposed method can save over 16.5 and 27 percent of mean uplink delay, compared with the 1D algorithm and the standard method, respectively.


title: Evaluating Bayesian Deep Learning Methods for Semantic Segmentation

abstract: Deep learning has been revolutionary for computer vision and semantic segmentation in particular, with Bayesian Deep Learning (BDL) used to obtain uncertainty maps from deep models when predicting semantic classes. This information is critical when using semantic segmentation for autonomous driving for example. Standard semantic segmentation systems have well-established evaluation metrics. However, with BDL's rising popularity in computer vision we require new metrics to evaluate whether a BDL method produces better uncertainty estimates than another method. In this work we propose three such metrics to evaluate BDL models designed specifically for the task of semantic segmentation. We modify DeepLab-v3+, one of the state-of-the-art deep neural networks, and create its Bayesian counterpart using MC dropout and Concrete dropout as inference techniques. We then compare and test these two inference techniques on the well-known Cityscapes dataset using our suggested metrics. Our results provide new benchmarks for researchers to compare and evaluate their improved uncertainty quantification in pursuit of safer semantic segmentation.


title: Non-coercive first order Mean Field Games

abstract: We study first order evolutive Mean Field Games where the Hamiltonian is non-coercive. This situation occurs, for instance, when some directions are "forbidden" to the generic player at some points. We establish the existence of a weak solution of the system via a vanishing viscosity method and, mainly, we prove that the evolution of the population's density is the push-forward of the initial density through the flow characterized almost everywhere by the optimal trajectories of the control problem underlying the Hamilton-Jacobi equation. As preliminary steps, we need that the optimal trajectories for the control problem are unique (at least for a.e. starting points) and that the optimal controls can be expressed in terms of the horizontal gradient of the value function.


title: Regularized numerical methods for the logarithmic Schrodinger equation

abstract: We present and analyze two numerical methods for the logarithmic Schr{\"o}dinger equation (LogSE) consisting of a regularized splitting method and a regularized conservative Crank-Nicolson finite difference method (CNFD). In order to avoid numerical blow-up and/or to suppress round-off error due to the logarithmic nonlinearity in the LogSE, a regularized logarithmic Schr{\"o}dinger equation (RLogSE) with a small regularized parameter 0 < $\epsilon$ $\ll$ 1 is adopted to approximate the LogSE with linear convergence rate O($\epsilon$). Then we use the Lie-Trotter splitting integrator to solve the RLogSE and establish its error bound O($\tau$ 1/2 ln($\epsilon$ --1)) with $\tau$ > 0 the time step, which implies an error bound at O($\epsilon$ + $\tau$ 1/2 ln($\epsilon$ --1)) for the LogSE by the Lie-Trotter splitting method. In addition, the CNFD is also applied to discretize the RLogSE, which conserves the mass and energy in the discretized level. Numerical results are reported to confirm our error bounds and to demonstrate rich and complicated dynamics of the LogSE.


title: Self-testing non-projective quantum measurements in prepare-and-measure experiments

abstract: Self-testing represents the strongest form of certification of a quantum system. Here we investigate theoretically and experimentally the question of self-testing non-projective quantum measurements. That is, how can one certify, from observed data only, that an uncharacterised measurement device implements a desired non-projective positive-operator-valued-measure (POVM). We consider a prepare-and-measure scenario with a bound on the Hilbert space dimension, which we argue is natural for this problem since any measurement can be made projective by artificially increasing the Hilbert space dimension. We develop methods for (i) robustly self-testing extremal qubit POVMs (which feature either three or four outcomes), and (ii) certify that an uncharacterised qubit measurement is non-projective, or even a genuine four-outcome POVM. Our methods are robust to noise and thus applicable in practice, as we demonstrate in a photonic experiment. Specifically, we show that our experimental data implies that the implemented measurements are very close to certain ideal three and four outcome qubit POVMs, and hence non-projective. In the latter case, the data certifies a genuine four-outcome qubit POVM. Our results open interesting perspective for strong `black-box' certification of quantum devices.


title: Security Code Smells in Android ICC

abstract: Android Inter-Component Communication (ICC) is complex, largely unconstrained, and hard for developers to understand. As a consequence, ICC is a common source of security vulnerability in Android apps. To promote secure programming practices, we have reviewed related research, and identified avoidable ICC vulnerabilities in Android-run devices and the security code smells that indicate their presence. We explain the vulnerabilities and their corresponding smells, and we discuss how they can be eliminated or mitigated during development. We present a lightweight static analysis tool on top of Android Lint that analyzes the code under development and provides just-in-time feedback within the IDE about the presence of such smells in the code. Moreover, with the help of this tool we study the prevalence of security code smells in more than 700 open-source apps, and manually inspect around 15% of the apps to assess the extent to which identifying such smells uncovers ICC security vulnerabilities.


title: The dynamic spectral signatures from Lunar Occultation: A simulation study

abstract: Lunar occultation, which occurs when the Moon crosses sight-lines to distant sources, has been studied extensively through apparent intensity pattern resulting from Fresnel diffraction, and has been successfully used to measure angular sizes of extragalactic sources. However, such observations to-date have been mainly over narrow bandwidth, or averaged over the observing band, and the associated intensity pattern in time has rarely been examined in detail as a function of frequency over a wide band. Here, we revisit the phenomenon of lunar occultation with a view to study the associated intensity pattern as a function of both time and frequency. Through analytical and simulation approach, we examine the variation of intensity across the dynamic spectra, and look for chromatic signatures which could appear as discrete dispersed signal tracks, when the diffraction pattern is adequately smoothed by a finite source size. We particularly explore circumstances in which such diffraction pattern might closely follow the interstellar dispersion law followed by pulsars and transients, such as the Fast Radio Bursts (FRBs), which remain a mystery even after a decade of their discovery. In this paper, we describe details of this investigation, relevant to radio frequencies at which FRBs have been detected, and discuss our findings, along with their implications. We also show how a band-averaged light curve suffers from temporal smearing, and consequent reduction in contrast of intensity variation, with increasing bandwidth. We suggest a way to recover the underlying diffraction signature, as well as the sensitivity improvement commensurate with usage of large bandwidths.