title: W-TALC: Weakly-supervised Temporal Activity Localization and Classification

abstract: Most activity localization methods in the literature suffer from the burden of frame-wise annotation requirement. Learning from weak labels may be a potential solution towards reducing such manual labeling effort. Recent years have witnessed a substantial influx of tagged videos on the Internet, which can serve as a rich source of weakly-supervised training data. Specifically, the correlations between videos with similar tags can be utilized to temporally localize the activities. Towards this goal, we present W-TALC, a Weakly-supervised Temporal Activity Localization and Classification framework using only video-level labels. The proposed network can be divided into two sub-networks, namely the Two-Stream based feature extractor network and a weakly-supervised module, which we learn by optimizing two complimentary loss functions. Qualitative and quantitative results on two challenging datasets - Thumos14 and ActivityNet1.2, demonstrate that the proposed method is able to detect activities at a fine granularity and achieve better performance than current state-of-the-art methods.


title: Fingerprints of an Exotic Orbital-Selective Mott Phase in the Block Magnetic State of BaFe$_2$Se$_3$ Ladders

abstract: Resonant Inelastic X-Ray Scattering (RIXS) experiments on the iron-based ladder BaFe$_2$Se$_3$ unveiled an unexpected two-peak structure associated with local orbital ($dd$) excitations in a block-type antiferromagnetic phase. A mixed character between correlated band-like and localized excitations was also reported. Here, we use the density matrix renormalization group method to calculate the momentum-resolved charge- and orbital-dynamical response functions of a multi-orbital Hubbard chain. Remarkably, our results qualitatively resemble the BaFe$_2$Se$_3$ RIXS data, while also capturing the presence of long-range magnetic order as found in neutron scattering, $only$ when the model is in an exotic orbital-selective Mott phase (OSMP). In the calculations, the experimentally observed zero-momentum transfer RIXS peaks correspond to excitations between itinerant and Mott insulating orbitals. We provide experimentally testable predictions for the momentum-resolved charge and orbital dynamical structures, which can provide further insight into the OSMP regime of BaFe$_2$Se$_3$.


title: Behavior of null-geodesics in the interior of Reissner-Nordstrom black hole

abstract: We show that an incoming null-geodesic belonging to a plane passing through the origin and starting outside the outer horizon crosses the outer and the inner horizons. Then it turns at some point inside the inner horizon and approaches the inner horizon when the time tends to the infinity. We also construct a geometric optics solution of the Reissner-Nordstrom equation that has support in a neighborhood of the null-geodesic.


title: Fusion Network for Face-based Age Estimation

abstract: Convolutional Neural Networks (CNN) have been applied to age-related research as the core framework. Although faces are composed of numerous facial attributes, most works with CNNs still consider a face as a typical object and do not pay enough attention to facial regions that carry age-specific feature for this particular task. In this paper, we propose a novel CNN architecture called Fusion Network (FusionNet) to tackle the age estimation problem. Apart from the whole face image, the FusionNet successively takes several age-specific facial patches as part of the input to emphasize the age-specific features. Through experiments, we show that the FusionNet significantly outperforms other state-of-the-art models on the MORPH II benchmark.


title: Understanding V2V Driving Scenarios through Traffic Primitives

abstract: Semantically understanding complex drivers' encountering behavior, wherein two or multiple vehicles are spatially close to each other, does potentially benefit autonomous car's decision-making design. This paper presents a framework of analyzing various encountering behaviors through decomposing driving encounter data into small building blocks, called driving primitives, using nonparametric Bayesian learning (NPBL) approaches, which offers a flexible way to gain an insight into the complex driving encounters without any prerequisite knowledge. The effectiveness of our proposed primitive-based framework is validated based on 976 naturalistic driving encounters, from which more than 4000 driving primitives are learned using NPBL - a sticky HDP-HMM, combined a hidden Markov model (HMM) with a hierarchical Dirichlet process (HDP). After that, a dynamic time warping method integrated with k-means clustering is then developed to cluster all these extracted driving primitives into groups. Experimental results find that there exist 20 kinds of driving primitives capable of representing the basic components of driving encounters in our database. This primitive-based analysis methodology potentially reveals underlying information of vehicle-vehicle encounters for self-driving applications.


title: Rebutting fake news on full spectral fitting

abstract: A recent paper by Ge et al. performs a series of experiments with two full spectral fitting codes, pPXF and starlight, finding that the two yield consistent results when the input spectrum is not heavily reddened. For E(B-V) > 0.2, however, they claim starlight leads to severe biases in the derived properties. Counterintuitively, and at odds with previous simulations, they find that this behaviour worsens significantly as the signal-to-noise ratio of the input spectrum increases. This communication shows that this is entirely due to an A_V < 1 mag condition imposed while initializing the Markov chains in the code. This choice is normally irrelevant in real-life galaxy work but can become critical in artificial experiments. Alleviating this usually harmless initialization constraint changes the Ge et al. results completely, as was explained to the authors before their publication. We replicate their spectral fitting experiments, finding much smaller biases. Furthermore both bias and scatter in the derived properties all converge as S/N increases, as one would expect. We also show how the very output of the code provides ways of diagnosing anomalies in the fits. The code behaviour has been documented in careful and extensive experiments in the literature, but the biased analysis of Ge et al. is just not representative of starlight at all.


title: Inductive limits of C*-algebras and compact quantum metrics spaces

abstract: Given a unital inductive limit of C*-algebras for which each C*-algebra of the inductive sequence comes equipped with a compact quantum metric of Rieffel, we produce sufficient conditions to build a compact quantum metric on the inductive limit from the quantum metrics on the inductive sequence by utilizing the completeness of the dual Gromov-Hausdorff propinquity of Latremoliere on compact quantum metric spaces. This allows us to place new quantum metrics on all unital AF algebras that extend our previous work with Latremoliere on unital AF algebras with faithful tracial state. As a consequence, we produce a continuous image of the entire Fell topology on the ideal space of any unital AF algebra in the dual Gromov-Hausdorff propinquity topology.


title: STEAP: simultaneous trajectory estimation and planning

abstract: We present a unified probabilistic framework for simultaneous trajectory estimation and planning (STEAP). Estimation and planning problems are usually considered separately, however, within our framework we show that solving them simultaneously can be more accurate and efficient. The key idea is to compute the full continuous-time trajectory from start to goal at each time-step. While the robot traverses the trajectory, the history portion of the trajectory signifies the solution to the estimation problem, and the future portion of the trajectory signifies a solution to the planning problem. Building on recent probabilistic inference approaches to continuous-time localization and mapping and continuous-time motion planning, we solve the joint problem by iteratively recomputing the maximum a posteriori trajectory conditioned on all available sensor data and cost information. Our approach can contend with high-degree-of-freedom (DOF) trajectory spaces, uncertainty due to limited sensing capabilities, model inaccuracy, the stochastic effect of executing actions, and can find a solution in real-time. We evaluate our framework empirically in both simulation and on a mobile manipulator.


title: Non-linear charge oscillation driven by a single-cycle light-field in an organic superconductor

abstract: Intense light-field application to solids produces enormous/ultrafast non-linear phenomena such as high-harmonic generations 1, 2 and attosecond charge dynamics 3, 4. They are distinct from conventional photonics. However, main targets have been limited to insulators and semiconductors, although theoretical approaches have been made also for correlated metals and superconductors 5. Here, in a layered organic superconductor, a non-linear charge oscillation driven by a nearly single-cycle strong electric field of >10 megavolts /cm is observed as a stimulated emission. The charge oscillation is different from a linear response and ascribed to a polar charge oscillation with a period of 6 fs. This non-linear polar charge oscillation is enhanced by critical fluctuations near a superconducting transition temperature and a critical end point of first order Mott transitions. Its observation on an ultrafast timescale of 10 fs clarifies that the Coulomb repulsion plays an essential role in superconductivity of organic superconductors.


title: NuSTAR observations of the ultraluminous X-ray source M33 X-8: a black hole in a very high state?

abstract: The closest known ultraluminous X-ray source (ULX), M33 X-8, has been recently observed with NuSTAR during its Extragalactic Legacy program, which includes a hard X-ray survey of the M33 galaxy. We present results of two long observations of M33 taken in 2017 March and July, with M33 X-8 in the field of view. The source demonstrates a nearly constant flux during the observations, and its 3-20 keV spectrum can be well described by two distinct components: a standard accretion disc with a temperature of ~1 keV at the inner radius and a power law with a photon index ~3, which is significantly detected up to 20 keV. There is also an indication of a high-energy cutoff in the spectrum, corresponding to a temperature of the Comptonizing medium of >10 keV. The broad-band spectral properties of M33 X-8 resemble black hole X-ray binaries in their very high states, suggesting that M33 X-8 is a black hole accreting at a nearly Eddington rate, in contrast to super-Eddington accretion believed to take place in more luminous ULXs.


title: On the theory of high-$T_\text{c}$ superconductivity of doped cuprates

abstract: A theoretical analysis is presented on possible effects of disorder by dopants in high-temperature superconducting cuprate perovskites, to define their basic spectra of spin and electronic excitations, and the subsequent observable properties, especially doping dependence of superconducting order parameter. The central point in the proposed physical picture is formation of specific impurity subband within the insulating bandgap of initial undoped material, serving as a source for the system metallization and further transition into superconducting state with anisotropic order parameter.


title: Cross Sections for Inelastic 2-to-2 Meson-Meson Scattering in Hadronic Matter

abstract: With quark-antiquark annihilation and creation in the first Born approximation, we study the reactions: $K \bar {K} \to K \bar {K}^\ast, ~K \bar{K} \to K^* \bar{K}, ~\pi K \to \pi K^\ast, ~\pi K \to \rho K, ~\pi \pi \to K \bar{K}^\ast, ~\pi \pi \to K^\ast \bar{K}, ~\pi \pi \to K^\ast \bar{K}^\ast, ~\pi \rho \to K \bar{K}, ~\pi \rho \to K^\ast \bar{K}^\ast, ~\rho \rho \to K^\ast \bar{K}^\ast, ~K \bar{K}^\ast \to \rho \rho$, and $K^* \bar{K} \to \rho \rho$. Unpolarized cross sections for the reactions are obtained from transition amplitudes that are composed of mesonic quark-antiquark relative-motion wave functions and the transition potential for quark-antiquark annihilation and creation. From a quark-antiquark potential that is equivalent to the transition potential, we prove that the total spin of the two final mesons may not equal the total spin of the two initial mesons. Based on flavor matrix elements, cross sections for some isospin channels of reactions can be obtained from the other isospin channels of reactions. Remarkable temperature dependence of the cross sections is found.


title: Resource Orchestration of 5G Transport Networks for Vertical Industries

abstract: The future 5G transport networks are envisioned to support a variety of vertical services through network slicing and efficient orchestration over multiple administrative domains. In this paper, we propose an orchestrator architecture to support vertical services to meet their diverse resource and service requirements. We then present a system model for resource orchestration of transport networks as well as low-complexity algorithms that aim at minimizing service deployment cost and/or service latency. Importantly, the proposed model can work with any level of abstractions exposed by the underlying network or the federated domains depending on their representation of resources.


title: Traveling wave solutions in a model for tumor invasion with the acid-mediation hypothesis

abstract: In this manuscript, we prove the existence of slow and fast traveling wave solutions in the original Gatenby--Gawlinski model. We prove the existence of a slow traveling wave solution with an interstitial gap. This interstitial gap has previously been observed experimentally, and here we derive its origin from a mathematical perspective. We give a geometric interpretation of the formal asymptotic analysis of the interstitial gap and show that it is determined by the distance between a layer transition of the tumor and a dynamical transcritical bifurcation of two components of the critical manifold. This distance depends, in a nonlinear fashion, on the destructive influence of the acid and the rate at which the acid is being pumped.


title: Yang-Baxter Deformations of the $AdS_{5}\times S^{5}$ Pure Spinor Superstring

abstract: We present an integrable deformation of the $AdS_{5}\times S^{5}$ pure spinor action based on homological perturbation theory. Its equations of motion, Lax connection and BRST symmetry are discussed. The resulting model describes a pure spinor superstring in a generalized supergravity background.


title: Large-Scale Conformal Growth of Atomic-Thick MoS2 for Highly Efficient Photocurrent Generation

abstract: Controlling the interconnection of neighboring seeds (nanoflakes) to full coverage of the textured substrate is the main challenge for the large-scale conformal growth of atomic-thick transition metal dichalcogenides by chemical vapor deposition. Herein, we report on a controllable method for the conformal growth of monolayer MoS2 on not only planar but also micro- and nano-rugged SiO2/Si substrates via metal-organic chemical vapor deposition. The continuity of monolayer MoS2 on the rugged surface is evidenced by scanning electron microscopy, cross-section high-resolution transmission electron microscopy, photoluminescence (PL) mapping, and Raman mapping. Interestingly, the photo-responsivity (~254.5 mA/W) of as-grown MoS2 on the nano-rugged substrate exhibits 59 times higher than that of the planar sample (4.3 mA/W) under a small applied bias of 0.1 V. This value is record high when compared with all previous MoS2-based photocurrent generation under low or zero bias. Such a large enhancement in the photo-responsivity arises from a large active area for light-matter interaction and local strain for PL quenching, where the latter effect is the key factor and unique in the conformally grown monolayer on the nano-rugged surface. The result is a step toward the batch fabrication of modern atomic-thick optoelectronic devices.


title: Particle filters for high-dimensional geoscience applications: a review

abstract: Particle filters contain the promise of fully nonlinear data assimilation. They have been applied in numerous science areas, but their application to the geosciences has been limited due to their inefficiency in high-dimensional systems in standard settings. However, huge progress has been made, and this limitation is disappearing fast due to recent developments in proposal densities, the use of ideas from (optimal) transportation, the use of localisation and intelligent adaptive resampling strategies. Furthermore, powerful hybrids between particle filters and ensemble Kalman filters and variational methods have been developed. We present a state of the art discussion of present efforts of developing particle filters for highly nonlinear geoscience state-estimation problems with an emphasis on atmospheric and oceanic applications, including many new ideas, derivations, and unifications, highlighting hidden connections, and generating a valuable tool and guide for the community. Initial experiments show that particle filters can be competitive with present-day methods for numerical weather prediction suggesting that they will become mainstream soon.


title: A Model for Android and iOS Applications Risk Calculation: CVSS Analysis and Enhancement Using Case-Control Studies

abstract: Various researchers have shown that the Common Vulnerability Scoring System (CVSS) has many drawbacks and may not provide a precise view of the risks related to software vulnerabilities. However, many threat intelligence platforms and industry-wide standards are relying on CVSS score to evaluate cybersecurity compliance. This paper suggests several improvements to the calculation of Impact and Exploitability sub-scores within the CVSS, improve its accuracy and help threat intelligence analysts to focus on the key risks associated with their assets. We will apply our suggested improvements against risks associated with several Android and iOS applications and discuss achieved improvements and advantages of our modelling, such as the importance and the impact of time on the overall CVSS score calculation.


title: Emerging from The Cloud: A Bibliometric Analysis of Cloud Forensics Studies

abstract: The emergence of cloud computing technologies has changed the way we store, retrieve, and archive our data. With the promise of unlimited, reliable and always-available storage, a lot of private and confidential data are now stored on different cloud platforms. Being such a gold mine of data, cloud platforms are among the most valuable targets for attackers. Therefore, many forensics investigators have tried to develop tools, tactics and procedures to collect, preserve, analyse and report evidences of attackers activities on different cloud platforms. Despite the number of published articles there is not a bibliometric study that presents cloud forensics research trends. This paper aims to address this problem by providing a comprehensive assessment of cloud forensics research trends between 2009 and 2016. Moreover, we provide a classification of cloud forensics process to detect the most profound research areas and highlight remaining challenges.


title: Connecting Gaze, Scene, and Attention: Generalized Attention Estimation via Joint Modeling of Gaze and Scene Saliency

abstract: This paper addresses the challenging problem of estimating the general visual attention of people in images. Our proposed method is designed to work across multiple naturalistic social scenarios and provides a full picture of the subject's attention and gaze. In contrast, earlier works on gaze and attention estimation have focused on constrained problems in more specific contexts. In particular, our model explicitly represents the gaze direction and handles out-of-frame gaze targets. We leverage three different datasets using a multi-task learning approach. We evaluate our method on widely used benchmarks for single-tasks such as gaze angle estimation and attention-within-an-image, as well as on the new challenging task of generalized visual attention prediction. In addition, we have created extended annotations for the MMDB and GazeFollow datasets which are used in our experiments, which we will publicly release.


title: Internet of Things Security and Forensics: Challenges and Opportunities

abstract: The Internet of Things (IoT) envisions pervasive, connected, and smart nodes interacting autonomously while offering all sorts of services. Wide distribution, openness and relatively high processing power of IoT objects made them an ideal target for cyber attacks. Moreover, as many of IoT nodes are collecting and processing private information, they are becoming a goldmine of data for malicious actors. Therefore, security and specifically the ability to detect compromised nodes, together with collecting and preserving evidences of an attack or malicious activities emerge as a priority in successful deployment of IoT networks. In this paper, we first introduce existing major security and forensics challenges within IoT domain and then briefly discuss about papers published in this special issue targeting identified challenges.


title: Symbolic Execution for Deep Neural Networks

abstract: Deep Neural Networks (DNN) are increasingly used in a variety of applications, many of them with substantial safety and security concerns. This paper introduces DeepCheck, a new approach for validating DNNs based on core ideas from program analysis, specifically from symbolic execution. The idea is to translate a DNN into an imperative program, thereby enabling program analysis to assist with DNN validation. A basic translation however creates programs that are very complex to analyze. DeepCheck introduces novel techniques for lightweight symbolic analysis of DNNs and applies them in the context of image classification to address two challenging problems in DNN analysis: 1) identification of important pixels (for attribution and adversarial generation); and 2) creation of 1-pixel and 2-pixel attacks. Experimental results using the MNIST data-set show that DeepCheck's lightweight symbolic analysis provides a valuable tool for DNN validation.


title: Leveraging Machine Learning Techniques for Windows Ransomware Network Traffic Detection

abstract: Ransomware has become a significant global threat with the ransomware-as-a-service model enabling easy availability and deployment, and the potential for high revenues creating a viable criminal business model. Individuals, private companies or public service providers e.g. healthcare or utilities companies can all become victims of ransomware attacks and consequently suffer severe disruption and financial loss. Although machine learning algorithms are already being used to detect ransomware, variants are being developed to specifically evade detection when using dynamic machine learning techniques. In this paper, we introduce NetConverse, a machine learning analysis of Windows ransomware network traffic to achieve a high, consistent detection rate. Using a dataset created from conversation-based network traffic features we achieved a true positive detection rate of 97.1% using the Decision Tree (J48) classifier.


title: Synthetically Trained Icon Proposals for Parsing and Summarizing Infographics

abstract: Widely used in news, business, and educational media, infographics are handcrafted to effectively communicate messages about complex and often abstract topics including `ways to conserve the environment' and `understanding the financial crisis'. Composed of stylistically and semantically diverse visual and textual elements, infographics pose new challenges for computer vision. While automatic text extraction works well on infographics, computer vision approaches trained on natural images fail to identify the stand-alone visual elements in infographics, or `icons'. To bridge this representation gap, we propose a synthetic data generation strategy: we augment background patches in infographics from our Visually29K dataset with Internet-scraped icons which we use as training data for an icon proposal mechanism. On a test set of 1K annotated infographics, icons are located with 38% precision and 34% recall (the best model trained with natural images achieves 14% precision and 7% recall). Combining our icon proposals with icon classification and text extraction, we present a multi-modal summarization application. Our application takes an infographic as input and automatically produces text tags and visual hashtags that are textually and visually representative of the infographic's topics respectively.


title: Leveraging Support Vector Machine for Opcode Density Based Detection of Crypto-Ransomware

abstract: Ransomware is a significant global threat, with easy deployment due to the prevalent ransomware-as-a-service model. Machine learning algorithms incorporating the use of opcode characteristics and Support Vector Machine have been demonstrated to be a successful method for general malware detection. This research focuses on crypto-ransomware and uses static analysis of malicious and benign Portable Executable files to extract 443 opcodes across all samples, representing them as density histograms within the dataset. Using the SMO classifier and PUK kernel in the WEKA machine learning toolset it demonstrates that this methodology can achieve 100% precision when differentiating between ransomware and goodware, and 96.5% when differentiating between 5 cryptoransomware families and goodware. Moreover, 8 different attribute selection methods are evaluated to achieve significant feature reduction. Using the CorrelationAttributeEval method close to 100% precision can be maintained with a feature reduction of 59.5%. The CFSSubset filter achieves the highest feature reduction of 97.7% however with a slightly lower precision at 94.2%.


title: Ensemble-based Multi-Filter Feature Selection Method for DDoS Detection in Cloud Computing

abstract: Increasing interest in the adoption of cloud computing has exposed it to cyber-attacks. One of such is distributed denial of service (DDoS) attack that targets cloud bandwidth, services and resources to make it unavailable to both the cloud providers and users. Due to the magnitude of traffic that needs to be processed, data mining and machine learning classification algorithms have been proposed to classify normal packets from an anomaly. Feature selection has also been identified as a pre-processing phase in cloud DDoS attack defence that can potentially increase classification accuracy and reduce computational complexity by identifying important features from the original dataset, during supervised learning. In this work, we propose an ensemble-based multi-filter feature selection method that combines the output of four filter methods to achieve an optimum selection. An extensive experimental evaluation of our proposed method was performed using intrusion detection benchmark dataset, NSL-KDD and decision tree classifier. The result obtained shows that our proposed method effectively reduced the number of features from 41 to 13 and has a high detection rate and classification accuracy when compared to other classification techniques.


title: Task Recommendation in Crowdsourcing Based on Learning Preferences and Reliabilities

abstract: Workers participating in a crowdsourcing platform can have a wide range of abilities and interests. An important problem in crowdsourcing is the task recommendation problem, in which tasks that best match a particular worker's preferences and reliabilities are recommended to that worker. A task recommendation scheme that assigns tasks more likely to be accepted by a worker who is more likely to complete it reliably results in better performance for the task requester. Without prior information about a worker, his preferences and reliabilities need to be learned over time. In this paper, we propose a multi-armed bandit (MAB) framework to learn a worker's preferences and his reliabilities for different categories of tasks. However, unlike the classical MAB problem, the reward from the worker's completion of a task is unobservable. We therefore include the use of gold tasks (i.e., tasks whose solutions are known \emph{a priori} and which do not produce any rewards) in our task recommendation procedure. Our model could be viewed as a new variant of MAB, in which the random rewards can only be observed at those time steps where gold tasks are used, and the accuracy of estimating the expected reward of recommending a task to a worker depends on the number of gold tasks used. We show that the optimal regret is $O(\sqrt{n})$, where $n$ is the number of tasks recommended to the worker. We develop three task recommendation strategies to determine the number of gold tasks for different task categories, and show that they are order optimal. Simulations verify the efficiency of our approaches.


title: Greening Cloud-Enabled Big Data Storage Forensics: Syncany as a Case Study

abstract: The pervasive nature of cloud-enabled big data storage solutions introduces new challenges in the identification, collection, analysis, preservation and archiving of digital evidences. Investigation of such complex platforms to locate and recover traces of criminal activities is a time-consuming process. Hence, cyber forensics researchers are moving towards streamlining the investigation process by locating and documenting residual artefacts (evidences) of forensic value of users activities on cloud-enabled big data platforms in order to reduce the investigation time and resources involved in a real-world investigation. In this paper, we seek to determine the data remnants of forensic value from Syncany private cloud storage service, a popular storage engine for big data platforms. We demonstrate the types and the locations of the artefacts that can be forensically recovered. Findings from this research contribute to an in-depth understanding of cloud-enabled big data storage forensics, which can result in reduced time and resources spent in real-world investigations involving Syncany-based cloud platforms.


title: A Cyber Kill Chain Based Taxonomy of Banking Trojans for Evolutionary Computational Intelligence

abstract: Malware such as banking Trojans are popular with financially-motivated cybercriminals. Detection of banking Trojans remains a challenging task, due to the constant evolution of techniques used to obfuscate and circumvent existing detection and security solutions. Having a malware taxonomy can facilitate the design of mitigation strategies such as those based on evolutionary computational intelligence. Specifically, in this paper, we propose a cyber kill chain based taxonomy of banking Trojans features. This threat intelligence based taxonomy providing a stage-by-stage operational understanding of a cyber-attack, can be highly beneficial to security practitioners and the design of evolutionary computational intelligence on Trojans detection and mitigation strategy. The proposed taxonomy is validated by using a real-world dataset of 127 banking Trojans collected from December 2014 to January 2016 by a major UK-based financial organisation.


title: Novel nonlinear electrodynamics black hole and related phenomena in the extended thermodynamics

abstract: In this paper, we present the analytic solution for Anti-de Sitter-Nonlinear electrodynamics (AdS-NED) black hole in four dimensions. We study tunneling of vector particles from the AdS-NED black hole to find Hawking temperature as well as its thermodynamical properties in usual and extended phase space. Then we explore the properties of pressure-volume criticality by analyzing the phase diagram and its free energy. Finally, we investigate the Joule-Thomson coefficient, in which the inversion curve of warming and cooling are studied, and the ratio between the inverse temperature and critical temperature are computed in the black hole solution.


title: Ubuntu One Investigation: Detecting Evidences on Client Machines

abstract: STorage as a Service (STaaS) cloud services has been adopted by both individuals and businesses as a dominant technology worldwide. Similar to other technologies, this widely accepted service can be misused by criminals. Investigating cloud platforms is becoming a standard component of contemporary digital investigation cases. Hence, digital forensic investigators need to have a working knowledge of the potential evidence that might be stored on cloud services. In this chapter, we conducted a number of experiments to locate data remnants of users' activities when utilizing the Ubuntu One cloud service. We undertook experiments based on common activities performed by users on cloud platforms including downloading, uploading, viewing, and deleting files. We then examined the resulting digital artifacts on a range of client devices, namely, Windows 8.1, Apple Mac OS X, and Apple iOS. Our examination extracted a variety of potentially evidential items ranging from Ubuntu One databases and log files on persistent storage to remnants of user activities in device memory and network traffic.


title: Towards transverse toric geometry

abstract: We study certain foliated complex manifolds that behave similarly to complete nonsingular toric varieties. We classify them by combinatorial objects that we call marked fans. We describe the basic cohomology algebras of them in terms of corresponding marked fans. We also study the basic Dolbeault cohomology algebras of them.


title: Permutations with orders coprime to a given integer

abstract: Let $m$ be a positive integer and let $\rho(m,n)$ be the proportion of permutations of the symmetric group ${\rm Sym}(n)$ whose order is coprime to $m$. In 2002, Pouyanne proved that $\rho(n,m)n^{1-\frac{\phi(m)}{m}}\sim \kappa_m$ where $\kappa_m$ is a complicated (unbounded) function of $m$. We show that there exists a positive constant $C(m)$ such that, for all $n \geqslant m$, \[C(m) \left(\frac{n}{m}\right)^{\frac{\phi(m)}{m}-1} \leqslant \rho(n,m) \leqslant \left(\frac{n}{m}\right)^{\frac{\phi(m)}{m}-1}\] where $\phi$ is Euler's totient function.


title: How to capitalize on a priori contrasts in linear (mixed) models: A tutorial

abstract: Factorial experiments in research on memory, language, and in other areas are often analyzed using analysis of variance (ANOVA). However, for effects with more than one numerator degrees of freedom, e.g., for experimental factors with more than two levels, the ANOVA omnibus F-test is not informative about the source of a main effect or interaction. Because researchers typically have specific hypotheses about which condition means differ from each other, a priori contrasts (i.e., comparisons planned before the sample means are known) between specific conditions or combinations of conditions are the appropriate way to represent such hypotheses in the statistical model. Many researchers have pointed out that contrasts should be "tested instead of, rather than as a supplement to, the ordinary `omnibus' F test" (Hays, 1973, p. 601). In this tutorial, we explain the mathematics underlying different kinds of contrasts (i.e., treatment, sum, repeated, polynomial, custom, nested, interaction contrasts), discuss their properties, and demonstrate how they are applied in the R System for Statistical Computing (R Core Team, 2018). In this context, we explain the generalized inverse which is needed to compute the coefficients for contrasts that test hypotheses that are not covered by the default set of contrasts. A detailed understanding of contrast coding is crucial for successful and correct specification in linear models (including linear mixed models). Contrasts defined a priori yield far more useful confirmatory tests of experimental hypotheses than standard omnibus F-test. Reproducible code is available from https://osf.io/7ukf6/.


title: Beating the channel capacity limit for superdense coding with entangled ququarts

abstract: Quantum superdense coding protocols enhance channel capacity by using shared quantum entanglement between two users. The channel capacity can be as high as 2 when one uses entangled qubits. However, this limit can be surpassed by using high-dimensional entanglement. We report an experiment that exceeds the limit using high-quality entangled ququarts with fidelities up to 0.98, demonstrating a channel capacity of $2.09\pm0.01$. The measured channel capacity is also higher than that obtained when transmitting only one ququart. We use the setup to transmit a five-color image with a fidelity of 0.952. Our experiment shows the great advantage of high-dimensional entanglement and will stimulate research on high-dimensional quantum information processes.


title: METTLE: a METamorphic testing approach to assessing and validating unsupervised machine LEarning systems

abstract: Unsupervised machine learning is the training of an artificial intelligence system using information that is neither classified nor labeled, with a view to modeling the underlying structure or distribution in a dataset. Since unsupervised machine learning systems are widely used in many real-world applications, assessing the appropriateness of these systems and validating their implementations with respect to individual users' requirements and specific application scenarios$\,/\,$contexts are indisputably two important tasks. Such assessment and validation tasks, however, are fairly challenging due to the absence of a priori knowledge of the data. In view of this challenge, we develop a $\textbf{MET}$amorphic $\textbf{T}$esting approach to assessing and validating unsupervised machine $\textbf{LE}$arning systems, abbreviated as METTLE. Our approach provides a new way to unveil the (possibly latent) characteristics of various machine learning systems, by explicitly considering the specific expectations and requirements of these systems from individual users' perspectives. To support METTLE, we have further formulated 11 generic metamorphic relations (MRs), covering users' generally expected characteristics that should be possessed by machine learning systems. To demonstrate the viability and effectiveness of METTLE we have performed an experiment involving six commonly used clustering systems. Our experiment has shown that, guided by user-defined MR-based adequacy criteria, end users are able to assess, validate, and select appropriate clustering systems in accordance with their own specific needs. Our investigation has also yielded insightful understanding and interpretation of the behavior of the machine learning systems from an end-user software engineering's perspective, rather than a designer's or implementor's perspective, who normally adopts a theoretical approach.


title: Rob-GAN: Generator, Discriminator, and Adversarial Attacker

abstract: We study two important concepts in adversarial deep learning---adversarial training and generative adversarial network (GAN). Adversarial training is the technique used to improve the robustness of discriminator by combining adversarial attacker and discriminator in the training phase. GAN is commonly used for image generation by jointly optimizing discriminator and generator. We show these two concepts are indeed closely related and can be used to strengthen each other---adding a generator to the adversarial training procedure can improve the robustness of discriminators, and adding an adversarial attack to GAN training can improve the convergence speed and lead to better generators. Combining these two insights, we develop a framework called Rob-GAN to jointly optimize generator and discriminator in the presence of adversarial attacks---the generator generates fake images to fool discriminator; the adversarial attacker perturbs real images to fool the discriminator, and the discriminator wants to minimize loss under fake and adversarial images. Through this end-to-end training procedure, we are able to simultaneously improve the convergence speed of GAN training, the quality of synthetic images, and the robustness of discriminator under strong adversarial attacks. Experimental results demonstrate that the obtained classifier is more robust than the state-of-the-art adversarial training approach, and the generator outperforms SN-GAN on ImageNet-143.


title: Acceleration through Optimistic No-Regret Dynamics

abstract: We consider the problem of minimizing a smooth convex function by reducing the optimization to computing the Nash equilibrium of a particular zero-sum convex-concave game. Zero-sum games can be solved using online learning dynamics, where a classical technique involves simulating two no-regret algorithms that play against each other and, after $T$ rounds, the average iterate is guaranteed to solve the original optimization problem with error decaying as $O(\log T/T)$. In this paper we show that the technique can be enhanced to a rate of $O(1/T^2)$ by extending recent work \cite{RS13,SALS15} that leverages \textit{optimistic learning} to speed up equilibrium computation. The resulting optimization algorithm derived from this analysis coincides \textit{exactly} with the well-known \NA \cite{N83a} method, and indeed the same story allows us to recover several variants of the Nesterov's algorithm via small tweaks. We are also able to establish the accelerated linear rate for a function which is both strongly-convex and smooth. This methodology unifies a number of different iterative optimization methods: we show that the \HB algorithm is precisely the non-optimistic variant of \NA, and recent prior work already established a similar perspective on \FW \cite{AW17,ALLW18}.


title: On the feedback number of 3-uniform hypergraph

abstract: Let $H=(V,E)$ be a hypergraph with vertex set $V$ and edge set $E$. $S\subseteq V$ is a feedback vertex set (FVS) of $H$ if $H\setminus S$ has no cycle and $\tau_c(H)$ denote the minimum cardinality of a FVS of $H$. In this paper, we prove $(i)$ if $H$ is a linear $3$-uniform hypergraph with $m$ edges, then $\tau_c(H)\le m/3$. $(ii)$ if $H$ is a $3$-uniform hypergraph with $m$ edges, then $\tau_c(H)\le m/2$ and furthermore, the equality holds on if and only if every component of $H$ is a $2-$cycle. Let $H=(V,E)$ be a hypergraph with vertex set $V$ and edge set $E$. $A\subseteq E$ is a feedback edge set (FES) of $H$ if $H\setminus A$ has no cycle and $\tau_c'(H)$ denote the minimum cardinality of a FES of $H$. In this paper, we prove if $H$ is a $3$-uniform hypergraph with $p$ components, then $\tau_c'(H)\le 2m-n+p$.


title: Magnetic Structural Unit with Convex Geometry: a Building Block Hosting an Exchange-striction-driven Magnetoelectric Coupling

abstract: We perform a combined experimental and theoretical study of a magnetic-field ($B$) induced evolution of magnetic and ferroelectric properties in an antiferromagnetic material Pb(TiO)Cu$_4$(PO$_4$)$_4$, whose structure is characterized by a staggered array of Cu$_4$O$_{12}$ magnetic units with convex geometry known as square cupola. Our experiments show a $B$-induced phase transition from a previously reported low-$B$ linear magnetoelectric phase to a new high-$B$ magnetoelectric phase, which accompanies a 90$^\circ$ flop of electric polarization and gigantic magnetodielectric effect. Moreover, we observe a $B$-induced sign reversal of ferroelectric polarization in the high-$B$ phase. Our model and first-principles calculations reveal that the observed complex magnetoelectric behavior is well explained in terms of a $B$-dependent electric polarization generated in each Cu$_4$O$_{12}$ unit by the so-called exchange striction mechanism. The present study demonstrates that the materials design based on the magnetic structural unit with convex geometry deserves to be explored for developing strong magnetoelectric couplings.


title: AXNet: ApproXimate computing using an end-to-end trainable neural network

abstract: Neural network based approximate computing is a universal architecture promising to gain tremendous energy-efficiency for many error resilient applications. To guarantee the approximation quality, existing works deploy two neural networks (NNs), e.g., an approximator and a predictor. The approximator provides the approximate results, while the predictor predicts whether the input data is safe to approximate with the given quality requirement. However, it is non-trivial and time-consuming to make these two neural network coordinate---they have different optimization objectives---by training them separately. This paper proposes a novel neural network structure---AXNet---to fuse two NNs to a holistic end-to-end trainable NN. Leveraging the philosophy of multi-task learning, AXNet can tremendously improve the invocation (proportion of safe-to-approximate samples) and reduce the approximation error. The training effort also decrease significantly. Experiment results show 50.7% more invocation and substantial cuts of training time when compared to existing neural network based approximate computing framework.


title: IDTxl: The Information Dynamics Toolkit xl: a Python package for the efficient analysis of multivariate information dynamics in networks

abstract: The Information Dynamics Toolkit xl (IDTxl) is a comprehensive software package for efficient inference of networks and their node dynamics from multivariate time series data using information theory. IDTxl provides functionality to estimate the following measures: 1) For network inference: multivariate transfer entropy (TE)/Granger causality (GC), multivariate mutual information (MI), bivariate TE/GC, bivariate MI 2) For analysis of node dynamics: active information storage (AIS), partial information decomposition (PID) IDTxl implements estimators for discrete and continuous data with parallel computing engines for both GPU and CPU platforms. Written for Python3.4.3+.


title: Particle acceleration by ion-acoustic solitons in plasma

abstract: We propose a new acceleration mechanism for charged particles by using cylindrical or spherical non-linear acoustic waves propagating in ion-electron plasma. The acoustic wave, which is described by the cylindrical or spherical Kortweg-de Vries equation, grows in its wave height as the wave shrinks to the center. Charged particles confined by the electric potential accompanied with the shrinking wave get energy by repetition of reflections. We obtain power law spectrums of energy for accelerated particles. As an application, we discuss briefly that high energy particles coming from the Sun are produced by the present mechanism.


title: Distributed leader election and computation of local identifiers for programmable matter

abstract: The context of this paper is programmable matter, which consists of a set of computational elements, called particles, in an infinite graph. The considered infinite graphs are the square, triangular and king grids. Each particle occupies one vertex, can communicate with the adjacent particles, has the same clockwise direction and knows the local positions of neighborhood particles. Under these assumptions, we describe a new leader election algorithm affecting a variable to the particles, called the k-local identifier, in such a way that particles at close distance have each a different k-local identifier. For all the presented algorithms, the particles only need a O(1)-memory space.


title: Rigorous construction of coherent state path integrals through dualization

abstract: Two long-standing problems in the construction of coherent state path integrals, the unwarranted assumption of path continuity and the ambiguous definition of the Hamiltonian symbol, are rigorously solved. To this end the fully controlled dual representation familiar from lattice quantum field theories is introduced. Dualization allows for both the step-by-step check in the construction of discrete path integrals and for the identification of the Hamiltonian and Berry phase part of the action, thus making both discrete and continuous path integrals consistently defined. Once the correct action is constructed, we are able to follow the transition to the continuum for the polar form of general Bose-Hubbard models and to provide an exact form of the path integral for general spin systems, where previous works showed its failure for all standard choices of operator ordering.

categories: quant-ph hep-lat hep-th math-ph math.MP nlin.CD


title: SecuCode: Intrinsic PUF Entangled Secure Wireless Code Dissemination for Computational RFID Devices

abstract: The simplicity of deployment and perpetual operation of energy harvesting devices provides a compelling proposition for a new class of edge devices for the Internet of Things. In particular, Computational Radio Frequency Identification (CRFID) devices are an emerging class of battery-free, computational, sensing enhanced devices that harvest all of their energy for operation. Despite wireless connectivity and powering, secure wireless firmware updates remains an open challenge for CRFID devices due to: intermittent powering, limited computational capabilities, and the absence of a supervisory operating system. We present, for the first time, a secure wireless code dissemination (SecuCode) mechanism for CRFIDs by entangling a device intrinsic hardware security primitive Static Random Access Memory Physical Unclonable Function (SRAM PUF) to a firmware update protocol. The design of SecuCode: i) overcomes the resource-constrained and intermittently powered nature of the CRFID devices; ii) is fully compatible with existing communication protocols employed by CRFID devices in particular, ISO-18000-6C protocol; and ii) is built upon a standard and industry compliant firmware compilation and update method realized by extending a recent framework for firmware updates provided by Texas Instruments. We build an end-to-end SecuCode implementation and conduct extensive experiments to demonstrate standards compliance, evaluate performance and security.


title: A maximum entropy network reconstruction of macroeconomic models

abstract: In this article the problem of reconstructing the pattern of connection between agents from partial empirical data in a macro-economic model is addressed, given a set of behavioral equations. This systemic point of view puts the focus on distributional and network effects, rather than time-dependence. Using the theory of complex networks we compare several models to reconstruct both the topology and the flows of money of the different types of monetary transactions, while imposing a series of constraints related to national accounts, and to empirical network sparsity. Some properties of reconstructed networks are compared with their empirical counterpart.

categories: econ.GN cs.CC physics.data-an physics.soc-ph q-fin.EC


title: Quandle Coloring Quivers

abstract: We consider a quiver structure on the set of quandle colorings of an oriented knot or link diagram. This structure contains a wealth of knot and link invariants and provides a categorification of the quandle counting invariant in the most literal sense, i.e., giving the set of quandle colorings the structure of a small category which is unchanged by Reidemeister moves. We derive some new enhancements of the counting invariant from this quiver structure and show that the enhancements are proper with explicit examples.


title: A Deep Learning Framework for Automatic Diagnosis in Lung Cancer

abstract: We developed a deep learning framework that helps to automatically identify and segment lung cancer areas in patients' tissue specimens. The study was based on a cohort of lung cancer patients operated at the Uppsala University Hospital. The tissues were reviewed by lung pathologists and then the cores were compiled to tissue micro-arrays (TMAs). For experiments, hematoxylin-eosin stained slides from 712 patients were scanned and then manually annotated. Then these scans and annotations were used to train segmentation models of the developed framework. The performance of the developed deep learning framework was evaluated on fully annotated TMA cores from 178 patients reaching pixel-wise precision of 0.80 and recall of 0.86. Finally, publicly available Stanford TMA cores were used to demonstrate high performance of the framework qualitatively.


title: VIMCO: Variational Inference for Multiple Correlated Outcomes in Genome-wide Association Studies

abstract: In Genome-Wide Association Studies (GWAS) where multiple correlated traits have been measured on participants, a joint analysis strategy, whereby the traits are analyzed jointly, can improve statistical power over a single-trait analysis strategy. There are two questions of interest to be addressed when conducting a joint GWAS analysis with multiple traits. The first question examines whether a genetic loci is significantly associated with any of the traits being tested. The second question focuses on identifying the specific trait(s) that is associated with the genetic loci. Since existing methods primarily focus on the first question, this paper seeks to provide a complementary method that addresses the second question. We propose a novel method, Variational Inference for Multiple Correlated Outcomes (VIMCO), that focuses on identifying the specific trait that is associated with the genetic loci, when performing a joint GWAS analysis of multiple traits, while accounting for correlation among the multiple traits. We performed extensive numerical studies and also applied VIMCO to analyze two datasets. The numerical studies and real data analysis demonstrate that VIMCO improves statistical power over single-trait analysis strategies when the multiple traits are correlated and has comparable performance when the traits are not correlated.


title: Connected Subtraction Games on Subdivided Stars

abstract: The present paper deals with connected subtraction games in graphs, which are generalization of takeaway games. In a connected subtraction game, two players alternate removing a connected sub-graph from a given connected game-graph, provided the resulting graph is connected, and provided the number of vertices of the removed subgraph belongs to a prescribed set of integers. We derive general periodicity results on such games, as well as specific results when played on subdivided stars.


title: Nonunitary Newtonian Gravity Makes Semiclassical Gravity Viable for All Practical Purposes

abstract: Semiclassical Gravity replaces the energy momentum tensor $T_{\mu \nu}$ with its expectation value $\langle T_{\mu \nu}\rangle$ in Einstein equations, this making the Einstein tensor $G_{\mu \nu}$ a classical variable thus avoiding the quantization of the gravitational field. Jointly with the Copenhagen interpretation of QM, Semiclassical Gravity gives rise to cases of Superluminal Communication. It is shown in a specific instance that a model of Nonunitary Newtonian Gravity avoids Superluminal Communication by decohering linear superpositions of macroscopically distinct states, namely Schrodinger's cats.


title: BSAS: Beetle Swarm Antennae Search Algorithm for Optimization Problems

abstract: Beetle antennae search (BAS) is an efficient meta-heuristic algorithm. However, the convergent results of BAS rely heavily on the random beetle direction in every iterations. More specifically, different random seeds may cause different optimized results. Besides, the step-size update algorithm of BAS cannot guarantee objective become smaller in iterative process. In order to solve these problems, this paper proposes Beetle Swarm Antennae Search Algorithm (BSAS) which combines swarm intelligence algorithm with feedback-based step-size update strategy. BSAS employs k beetles to find more optimal position in each moving rather than one beetle. The step-size updates only when k beetles return without better choices. Experiments are carried out on building system identification. The results reveal the efficacy of the BSAS algorithm to avoid influence of random direction of Beetle. In addition, the estimation errors decrease as the beetles number goes up.


title: A quadrupolar exchange-only spin qubit

abstract: We propose a quadrupolar exchange-only spin (QUEX) qubit that is highly robust against charge noise and nuclear spin dephasing, the dominant decoherence mechanisms in quantum dots. The qubit consists of four electrons trapped in three quantum dots, and operates in a decoherence-free subspace to mitigate dephasing due to nuclear spins. To reduce sensitivity to charge noise, the qubit can be completely operated at an extended charge noise sweet spot that is first-order insensitive to electrical fluctuations. Due to on-site exchange mediated by the Coulomb interaction, the qubit energy splitting is electrically controllable and can amount to several GHz even in the ``off" configuration, making it compatible with conventional microwave cavities.


title: Note on $\Pi^0_{n+1}$-LEM, $\Sigma^0_{n+1}$-LEM and $\Sigma^0_{n+1}$-DNE

abstract: We show that results of Akama, Berardi, Hayashi and Kohlenbach, on the relative independence of certain arithmetical principles over intuitionistic arithmetic HA, hold also over Kleene and Vesley's system FIM of intuitionistic analysis, which extends HA and is consistent with classical arithmetic but not with classical analysis. The double negations of the universal closures of these principles are also considered, and shown to behave differently with respect to HA and FIM. Various elementary questions are left open.


title: Search for vector-boson resonances decaying to a top quark and bottom quark in the lepton plus jets final state in $pp$ collisions at $\sqrt{s}$ = 13 TeV with the ATLAS detector

abstract: A search for new charged massive gauge bosons, $W^\prime$, is performed with the ATLAS detector at the LHC. Data were collected in proton-proton collisions at a centre-of-mass energy of $\sqrt{s}$ = 13 TeV and correspond to an integrated luminosity of 36.1 $\textrm{fb}^{-1}$. This analysis searches for $W^\prime$ bosons in the $W^\prime \rightarrow t\bar{b}$ decay channel in final states with an electron or muon plus jets. The search covers resonance masses between 0.5 and 5.0 TeV and considers right-handed $W^\prime$ bosons. No significant deviation from the Standard Model (SM) expectation is observed and upper limits are set on the $W^\prime \rightarrow t\bar{b}$ cross section times branching ratio and the $W^\prime$ boson effective couplings as a function of the $W^\prime$ boson mass. For right-handed $W^\prime$ bosons with coupling to the SM particles equal to the SM weak coupling constant, masses below 3.15 TeV are excluded at the 95% confidence level. This search is also combined with a previously published ATLAS result for $W^\prime \rightarrow t\bar{b}$ in the fully hadronic final state. Using the combined searches, right-handed $W^\prime$ bosons with masses below 3.25 TeV are excluded at the 95% confidence level.


title: Multi-dimensional scalar conservation laws with unbounded integrable initial data

abstract: We discuss the minimal integrability needed for the initial data, in order that the Cauchy problem for a multi-dimensional conservation law admit an entropy solution. In particular we allow unbounded initial data. We investigate also the decay of the solution as time increases, in relation with the nonlinearity. The main ingredient is our recent theory of divergence-free positive symmetric tensor. We apply in particular the so-called compensated integrability to a tensor which generalizes the one that L. Tartar used in one space dimension. It allows us to establish a Strichartz-like inequality, in a quasilinear context. This program is carried out in details for a multi-dimensional version of the Burgers equation.


title: Singular limits for models of selection and mutations with heavy-tailed mutation distribution

abstract: In this article, we perform an asymptotic analysis of a nonlocal reaction-diffusion equation, with a fractional laplacian as the diffusion term and with a nonlocal reaction term. Such equation models the evolutionary dynamics of a phenotypically structured population. We perform a rescaling considering large time and small effect of mutations, but still with algebraic law. We prove that asymptotically the phenotypic distribution density concentrates as a Dirac mass which evolves in time. This work extends an approach based on Hamilton-Jacobi equations with constraint, that has been developed to study models from evolutionary biology, to the case of fat-tailed mutation kernels. However, unlike previous works within this approach, the WKB transformation of the solution does not converge to a viscosity solution of a Hamilton-Jacobi equation but to a viscosity supersolution of such equation which is minimal in a certain class of supersolutions.


title: Phase spreading and temporal coherence of a pair-condensed Fermi gas at low temperature

abstract: A condensate of pairs in an isolated, homogeneous, unpolarised, finite-size spin 1/2 Fermi gas at low nonzero temperature T, undergoes with time a phase change with a random component, due to coupling to the gas thermal phonons. With the quantum second Josephson relation relating the derivative of the condensate phase operator to the phonon occupation numbers, and linearised kinetic equations giving the evolution of occupation number fluctuations, we access the behaviour of the phase change variance at times much longer than the phonon collision time. The case of a convex phonon branch is similar to the Bose gas case: the leading collisional processes are the Beliaev-Landau 3-phonons processes, and the variance is the sum of a ballistic term and of a delayed diffusive term, whose analytical expressions are given in the thermodynamic limit. The concave case is more exotic. It is analysed at time scales $T^{-9}$, allowing one to restrict to 2 phonons $\rightarrow$ 2 phonons small-angle Landau-Khalatnikov processes. The total number of phonons is conserved and the phonon mean occupation numbers at equilibrium can exhibit a negative chemical potential, assumed isotropic. The phase change variance is then the sum of a ballistic term, of a diffusive term, of exotic subsubleading terms and of a constant term. The analytic expression of some of the corresponding coefficients is obtained, as well as the diverging leading behavior of the other ones when the phonon chemical potential tends to 0. When this chemical potential is 0, the variance sub-ballistic part becomes superdiffusive, with an exponent 5/3 and an exactly-known coefficient. For a nonzero infinitesimal phonon chemical potential, a law is found, interpolating between superdiffusive and diffusive phase spreading. Also new results are obtained on the phonon Landau-Khalatnikov damping rate, in particular at negative phonon chemical potential.


title: Loop of formal diffeomorphisms and F{\`a}a di Bruno coloop bialgebra

abstract: We consider a generalization of (pro)algebraic loops defined on general categories of algebras and the dual notion of a coloop bialgebra suitable to represent them as functors. Our main result is the proof that the natural loop of formal diffeomorphisms with associative coefficients is proalgebraic, and give a full description of the codivisions on its coloop bialgebra.This result provides a generalization of the Lagrange inversion formula to series with non-commutative coefficients, and a loop-theoretic explanation to the existence of the non-commutative F{\`a}a di Bruno Hopf algebra. MSC: 20N05, 14L17, 18D35, 16T30


title: Interpreting recurrent neural networks behaviour via excitable network attractors

abstract: Introduction: Machine learning provides fundamental tools both for scientific research and for the development of technologies with significant impact on society. It provides methods that facilitate the discovery of regularities in data and that give predictions without explicit knowledge of the rules governing a system. However, a price is paid for exploiting such flexibility: machine learning methods are typically black-boxes where it is difficult to fully understand what the machine is doing or how it is operating. This poses constraints on the applicability and explainability of such methods. Methods: Our research aims to open the black-box of recurrent neural networks, an important family of neural networks used for processing sequential data. We propose a novel methodology that provides a mechanistic interpretation of behaviour when solving a computational task. Our methodology uses mathematical constructs called excitable network attractors, which are invariant sets in phase space composed of stable attractors and excitable connections between them. Results and Discussion: As the behaviour of recurrent neural networks depends both on training and on inputs to the system, we introduce an algorithm to extract network attractors directly from the trajectory of a neural network while solving tasks. Simulations conducted on a controlled benchmark task confirm the relevance of these attractors for interpreting the behaviour of recurrent neural networks, at least for tasks that involve learning a finite number of stable states and transitions between them.


title: Parallel Transport on the Cone Manifold of SPD Matrices for Domain Adaptation

abstract: In this paper, we consider the problem of domain adaptation. We propose to view the data through the lens of covariance matrices and present a method for domain adaptation using parallel transport on the cone manifold of symmetric positive-definite matrices. We provide rigorous analysis using Riemanninan geometry, illuminating the theoretical guarantees and benefits of the presented method. In addition, we demonstrate these benefits using experimental results on simulations and real-measured data.


title: A stochastic version and a Liouville theorem for hamiltonian inclusions with convex dissipation

abstract: The statistical counterpart of the formalism of hamiltonian systems with convex dissipation arXiv:0810.1419 , arXiv:1408.3102 is a completely open subject. Here are described a stochastic version of the SBEN principle and a Liouville type theorem which uses a minimal dissipation cost functional.


title: Spectrum Matching in Licensed Spectrum Sharing

abstract: Spectrum sharing is one of the promising solutions to meet the spectrum demand in 5G networks that results from the emerging services like machine to machine and vehicle to infrastructure communication. The idea is to allow a set of entities access the spectrum whenever and wherever it is unused by the licensed users. In the proposed framework, different spectrum provider (SP) networks with surplus spectrum available may rank the operators requiring the spectrum, called spectrum users (SUs) hereafter, differently in terms of their preference to lease spectrum, based for example on target business market considerations of the SUs. Similarly, SUs rank SPs depending on a number of criteria, for example based on coverage and availability in a service area. Ideally, both SPs and SUs prefer to provide/get spectrum to/from the operator of their first choice, but this is not necessarily always possible due to conflicting preferences. We apply matching theory algorithms with the aim to resolve the conflicting preferences of the SPs and SUs and quantify the effect of the proposed matching theory approach on establishing preferred (spectrum) provider-user network pairs. We discuss both one-to-one and many-to-one spectrum sharing scenarios and evaluate the performance using Monte Carlo simulations. The results show that comprehensive gains in terms of preferred matching of the provider-user network pairs can be achieved by applying matching theory for spectrum sharing as compared to uncoordinated spectrum allocation of the available spectrum to the SUs.


title: Adversarial Open-World Person Re-Identification

abstract: In a typical real-world application of re-id, a watch-list (gallery set) of a handful of target people (e.g. suspects) to track around a large volume of non-target people are demanded across camera views, and this is called the open-world person re-id. Different from conventional (closed-world) person re-id, a large portion of probe samples are not from target people in the open-world setting. And, it always happens that a non-target person would look similar to a target one and therefore would seriously challenge a re-id system. In this work, we introduce a deep open-world group-based person re-id model based on adversarial learning to alleviate the attack problem caused by similar non-target people. The main idea is learning to attack feature extractor on the target people by using GAN to generate very target-like images (imposters), and in the meantime the model will make the feature extractor learn to tolerate the attack by discriminative learning so as to realize group-based verification. The framework we proposed is called the adversarial open-world person re-identification, and this is realized by our Adversarial PersonNet (APN) that jointly learns a generator, a person discriminator, a target discriminator and a feature extractor, where the feature extractor and target discriminator share the same weights so as to makes the feature extractor learn to tolerate the attack by imposters for better group-based verification. While open-world person re-id is challenging, we show for the first time that the adversarial-based approach helps stabilize person re-id system under imposter attack more effectively.


title: Faster Recovery of Approximate Periods over Edit Distance

abstract: The approximate period recovery problem asks to compute all $\textit{approximate word-periods}$ of a given word $S$ of length $n$: all primitive words $P$ ($|P|=p$) which have a periodic extension at edit distance smaller than $\tau_p$ from $S$, where $\tau_p = \lfloor \frac{n}{(3.75+\epsilon)\cdot p} \rfloor$ for some $\epsilon>0$. Here, the set of periodic extensions of $P$ consists of all finite prefixes of $P^\infty$. We improve the time complexity of the fastest known algorithm for this problem of Amir et al. [Theor. Comput. Sci., 2018] from $O(n^{4/3})$ to $O(n \log n)$. Our tool is a fast algorithm for Approximate Pattern Matching in Periodic Text. We consider only verification for the period recovery problem when the candidate approximate word-period $P$ is explicitly given up to cyclic rotation; the algorithm of Amir et al. reduces the general problem in $O(n)$ time to a logarithmic number of such more specific instances.


title: Jupiter's Mesoscale Waves Observed at 5 $\mu$m by Ground-Based Observations and Juno JIRAM

abstract: We characterise the origin and evolution of a mesoscale wave pattern in Jupiter's North Equatorial Belt (NEB), detected for the first time at 5 $\mu$m using a 2016-17 campaign of `lucky imaging' from the VISIR instrument on the Very Large Telescope and the NIRI instrument on the Gemini observatory, coupled with M-band imaging from Juno's JIRAM instrument during the first seven Juno orbits. The wave is compact, with a $1.1-1.4^\circ$ longitude wavelength (wavelength 1,300-1,600 km, wavenumber 260-330) that is stable over time, with wave crests aligned largely north-south between $14$ and $17^\circ$N (planetographic). The waves were initially identified in small ($10^\circ$ longitude) packets immediately west of cyclones in the NEB at $16^\circ$N, but extended to span wider longitude ranges over time. The waves exhibit a 7-10 K brightness temperature amplitude on top of a $\sim210$-K background at 5 $\mu$m. The thermal structure of the NEB allows for both inertio-gravity waves and gravity waves. Despite detection at 5 $\mu$m, this does not necessarily imply a deep location for the waves, and an upper tropospheric aerosol layer near 400-800 mbar could feature a gravity wave pattern modulating the visible-light reflectivity and attenuating the 5-$\mu$m radiance originating from deeper levels. Strong rifting activity appears to obliterate the pattern, which can change on timescales of weeks. The NEB underwent a new expansion and contraction episode in 2016-17 with associated cyclone-anticyclone formation, which could explain why the mesoscale wave pattern was more vivid in 2017 than ever before.


title: Optical polarisation variability of narrow line Seyfert 1 galaxies

abstract: We have monitored the R-band optical linear polarisation of ten jetted NLSy1 galaxies with the aim to quantify their variability and search for candidate long rotation of the polarisation plane. In all cases for which adequate datasets are available we observe significant variability of both the polarisation fraction and angle. In the best-sampled cases we identify candidate long rotations of the polarisation plane. We present an approach that assesses the probability that the observed phenomenology is the result of pure noise. We conclude that although this possibility cannot be excluded it is much more likely that the EVPA undergoes an intrinsic evolution. We compute the most probable parameters of the intrinsic event which forecasts events consistent with the observations. In one case we find that the EVPA shows a preferred direction which, however, does not imply any dominance of a toroidal or poloidal component of the magnetic field at those scales.


title: Combining Metadynamics and Integrated Tempering Sampling

abstract: The simulation of rare events is one of the key problems in atomistic simulations. Towards its solution a plethora of methods have been proposed. Here we combine two such methods metadynamics and inte-grated tempering sampling. In metadynamics the fluctuations of a carefully chosen collective variable are amplified, while in integrated tempering sampling the system is pushed to visit an approximately uniform interval of energies and allows exploring a range of temperatures in a single run. We describe our ap-proach and apply it to the two prototypical systems a SN2 chemical reaction and to the freezing of silica. The combination of metadynamics and integrated tempering sampling leads to a powerful method. In par-ticular in the case of silica we have measured more than one order of magnitude acceleration.


title: Pull Message Passing for Nonparametric Belief Propagation

abstract: We present a "pull" approach to approximate products of Gaussian mixtures within message updates for Nonparametric Belief Propagation (NBP) inference. Existing NBP methods often represent messages between continuous-valued latent variables as Gaussian mixture models. To avoid computational intractability in loopy graphs, NBP necessitates an approximation of the product of such mixtures. Sampling-based product approximations have shown effectiveness for NBP inference. However, such approximations used within the traditional "push" message update procedures quickly become computationally prohibitive for multi-modal distributions over high-dimensional variables. In contrast, we propose a "pull" method, as the Pull Message Passing for Nonparametric Belief propagation (PMPNBP) algorithm, and demonstrate its viability for efficient inference. We report results using an experiment from an existing NBP method, PAMPAS, for inferring the pose of an articulated structure in clutter. Results from this illustrative problem found PMPNBP has a greater ability to efficiently scale the number of components in its mixtures and, consequently, improve inference accuracy.


title: Local Langlands correspondence, local factors, and zeta integrals in analytic families

abstract: We study the variation of the local Langlands correspondence for ${\rm GL}_{n}$ in characteristic-zero families. We establish an existence and uniqueness theorem for a correspondence in families, as well as a recognition theorem for when a given pair of Galois- and reductive-group- representations can be identified as local Langlands correspondents. The results, which can be used to study local-global compatibility questions along eigenvarieties, are largely analogous to those of Emerton, Helm, and Moss on the local Langlands correspondence over local rings of mixed characteristic. We apply the theory to the interpolation of local zeta integrals and of $L$- and $\varepsilon$-factors.


title: Randomized residual-based error estimators for parametrized equations

abstract: We propose a randomized a posteriori error estimator for reduced order approximations of parametrized (partial) differential equations. The error estimator has several important properties: the effectivity is close to unity with prescribed lower and upper bounds at specified high probability; the estimator does not require the calculation of stability (coercivity, or inf-sup) constants; the online cost to evaluate the a posteriori error estimator is commensurate with the cost to find the reduced order approximation; the probabilistic bounds extend to many queries with only modest increase in cost. To build this estimator, we first estimate the norm of the error with a Monte-Carlo estimator using Gaussian random vectors whose covariance is chosen according to the desired error measure, e.g. user-defined norms or quantity of interest. Then, we introduce a dual problem with random right-hand side the solution of which allows us to rewrite the error estimator in terms of the residual of the original equation. In order to have a fast-to-evaluate estimator, model order reduction methods can be used to approximate the random dual solutions. Here, we propose a greedy algorithm that is guided by a scalar quantity of interest depending on the error estimator. Numerical experiments on a multi-parametric Helmholtz problem demonstrate that this strategy yields rather low-dimensional reduced dual spaces.


title: Stochastic Geometry Modeling and Analysis of Finite Millimeter Wave Wireless Networks

abstract: This paper develops a stochastic geometry-based approach for the modeling and analysis of finite millimeter wave (mmWave) wireless networks where a random number of transmitters and receivers are randomly located inside a finite region. We consider a selection strategy to serve a reference receiver by the transmitter providing the maximum average received power among all transmitters. Considering the unique features of mmWave communications such as directional transmit and receive beamforming and having different channels for line-of-sight (LOS) and non-line-of-sight (NLOS) links according to the blockage process, we study the coverage probability and the ergodic rate for the reference receiver that can be located everywhere inside the network region. As key steps for the analyses, the distribution of the distance from the reference receiver to its serving LOS or NLOS transmitter and LOS and NLOS association probabilities are derived. We also derive the Laplace transform of the interferences from LOS and NLOS transmitters. Finally, we propose upper and lower bounds on the coverage probability that can be evaluated easier than the exact results, and investigate the impact of different parameters including the receiver location, the beamwidth, and the blockage process exponent on the system performance.


title: Vector Fuzzy Dark Matter, Fifth Forces, and Binary Pulsars

abstract: We study the secular effects that an oscillating background ultralight (fuzzy) cosmological vector field has on the dynamics of binary systems; such effects appear when the field and the binary are in resonance. We first consider the gravitational interaction between the field and the systems, and quantify the main differences with an oscillating background scalar field. If the energy density of such a field is sufficiently large, as required if it is supposed to be all of the dark matter, we show that the secular effects could yield potentially observable signatures in high precision time of arrival measurements of binary pulsars. We then analyse the secular effects that arise when the field is directly coupled to the bodies in the binary. We show that this study is particularly relevant for models where fuzzy dark matter mediates a baryonic force $B$ (or $B-L$, with $L$ the lepton number), due to the stellar amount of nucleons present in the stars. The constraints we obtain from current data are already competitive with (or even more constraining than) laboratory tests of the equivalence principle.


title: Limits with Signed Digit Streams

abstract: We work with the signed digit representation of abstract real numbers, which roughly is the binary representation enriched by the additional digit -1. The main objective of this paper is an algorithm which takes a sequence of signed digit representations of reals and returns the signed digit representation of their limit, if the sequence converges. As a first application we use this algorithm together with Heron's method to build up an algorithm which converts the signed digit representation of a non-negative real number into the signed digit representation of its square root. Instead of writing the algorithms first and proving their correctness afterwards, we work the other way round, in the tradition of program extraction from proofs. In fact we first give constructive proofs, and from these proofs we then compute the extracted terms, which is the desired algorithm. The correctness of the extracted term follows directly by the Soundness Theorem of program extraction. In order to get the extracted term from some proofs which are often quite long, we use the proof assistant Minlog. However, to apply the extracted terms, the programming language Haskell is useful. Therefore after each proof we show a notation of the extracted term, which can be easily rewritten as a definition in Haskell.


title: Towards a standard procedure for the measurement of the multi-photon component in a CW telecom heralded single-photon source

abstract: Single-photon sources are set to be a fundamental tool for metrological applications as well as for quantum information related technologies. Because of their upcoming widespread dissemination, the need for their characterization and standardization is becoming of the utmost relevance. Here, we illustrate a strategy to provide a quantitative estimate of the multi-photon component of a single-photon source, showing the results achieved in a pilot study for the measurement of the second order autocorrelation function $g^{(2)}$ of a low-noise CW heralded single-photon source prototype (operating at telecom wavelength $\lambda=1550$ nm) realized in INRiM. The results of this pilot study, involving PTB, NPL and INRiM, will help to build up a robust and unambiguous procedure for the characterization of the emission of a single-photon source.


title: DeepLink: A Novel Link Prediction Framework based on Deep Learning

abstract: Recently, link prediction has attracted more attentions from various disciplines such as computer science, bioinformatics and economics. In this problem, unknown links between nodes are discovered based on numerous information such as network topology, profile information and user generated contents. Most of the previous researchers have focused on the structural features of the networks. While the recent researches indicate that contextual information can change the network topology. Although, there are number of valuable researches which combine structural and content information, but they face with the scalability issue due to feature engineering. Because, majority of the extracted features are obtained by a supervised or semi supervised algorithm. Moreover, the existing features are not general enough to indicate good performance on different networks with heterogeneous structures. Besides, most of the previous researches are presented for undirected and unweighted networks. In this paper, a novel link prediction framework called "DeepLink" is presented based on deep learning techniques. In contrast to the previous researches which fail to automatically extract best features for the link prediction, deep learning reduces the manual feature engineering. In this framework, both the structural and content information of the nodes are employed. The framework can use different structural feature vectors, which are prepared by various link prediction methods. It considers all proximity orders that are presented in a network during the structural feature learning. We have evaluated the performance of DeepLink on two real social network datasets including Telegram and irBlogs. On both datasets, the proposed framework outperforms several structural and hybrid approaches for link prediction problem.


title: Enhanced Machine Learning Techniques for Early HARQ Feedback Prediction in 5G

abstract: We investigate Early Hybrid Automatic Repeat reQuest (E-HARQ) feedback schemes enhanced by machine learning techniques as a path towards ultra-reliable and low-latency communication (URLLC). To this end, we propose machine learning methods to predict the outcome of the decoding process ahead of the end of the transmission. We discuss different input features and classification algorithms ranging from traditional methods to newly developed supervised autoencoders. These methods are evaluated based on their prospects of complying with the URLLC requirements of effective block error rates below $10^{-5}$ at small latency overheads. We provide realistic performance estimates in a system model incorporating scheduling effects to demonstrate the feasibility of E-HARQ across different signal-to-noise ratios, subcode lengths, channel conditions and system loads, and show the benefit over regular HARQ and existing E-HARQ schemes without machine learning.


title: Affine hyperplane arrangements and Jordan classes

abstract: We study the geometry of the stratification induced by an affine hyperplane arrangement H on the quotient of a complex affine space by the action of a discrete group preserving H. We give conditions ensuring normality or normality in codimension 1 of strata. As an application, we provide the list of those categorical quotients of closures of Jordan classes and of sheets in all complex simple algebraic groups that are normal. In the simply connected case, we show that normality of such a quotient is equivalent to its smoothness.


title: Possible Origin of Memory in Earthquakes: Real catalogs and ETAS model

abstract: Earthquakes are one of the most devastating natural disasters that plague society. A skilled, reliable earthquake forecasting remains the ultimate goal for seismologists. Using the detrended fluctuation analysis (DFA) and conditional probability (CP) methods we find that memory exists not only in inter-occurrence seismic records, but also in released energy as well as in the series of the number of events per unit time. Analysis of the conventional earthquake model (Epidemic Type Aftershock Sequences, ETAS) indicates that earthquake memory can be reproduced only for a narrow range of model's parameters. This finding, therefore provides additional accuracy on the model parameters through tight restrictions on their values in different worldwide regions and can serve as a testbed for existing earthquake forecasting models.


title: Hom complexes of graphs of diameter $1$

abstract: Given a finite simplicial complex $X$ and a connected graph $T$ of diameter $1$, in \cite{anton} Dochtermann had conjectured that $\text{Hom}(T,G_{1,X})$ is homotopy equivalent to $X$. Here, $G_{1, X}$ is the reflexive graph obtained by taking the $1$-skeleton of the first barycentric subdivision of $X$ and adding a loop at each vertex. This was proved by Dochtermann and Schultz in \cite{ds12}. In this article, we give an alternate proof of this result by understanding the structure of the cells of Hom$(K_n,G_{1,X})$, where $K_n$ is the complete graph on $n$ vertices. We prove that the neighborhood complex of $G_{1,X}$ is homotopy equivalent to $X$ and Hom$(K_n,G_{1,X})\simeq $ Hom$(K_{n-1},G_{1,X})$, for each $n\geq 3$.


title: $ \boldsymbol{\gamma} $-vibration in $^{198}$Hg

abstract: Low lying states of $^{198}$Hg have been investigated via $^{197}$Au($^{7}$Li, $ \alpha $2n$ \gamma $)$ ^{198} $Hg reaction at E$ _{\text{beam}} $ = 33 MeV and 38 MeV and the members of $ \gamma $-vibrational band have been identified. Results are compared with the systematic of this mass region and found in agreement. Observed band structures have been interpreted using the theoretical framework of microscopic triaxial projected shell model (TPSM) approach and it is shown that TPSM results are in fair agreement with the observed energies.


title: Correcting symmetry imperfections in linear multipole traps

abstract: Multipole radio-frequency traps are central to collisional experiments in cryogenic environments. They also offer possibilities to generate new type of ion crystals topologies and in particular the potential to create infinite 1D/2D structures: ion rings and ion tubes. However, multipole traps have also been shown to be very sensitive to geometrical misalignment of the trap rods, leading to additional local trapping minima. The present work proposes a method to correct non-ideal potentials, by modifying the applied radio-frequency amplitudes for each trap rod. This approach is discussed for the octupole trap, leading to the restitution of the ideal Mexican-Hat-like pseudo-potential, expected in multipole traps. The goodness of the compensation method is quantified in terms of the choice of the diagnosis area, the residual trapping potential variations, the required adaptation of the applied radio-frequency voltage amplitudes, and the impact on the trapped ion structures. Experimental implementation for macroscopic multipole traps is also discussed, in order to propose a diagnostic method with respect to the resolution and stability of the trap drive. Using the proposed compensation technique, we discuss the feasibility of generating a homogeneous ion ring crystal, which is a measure of quality for the obtained potential well.


title: Large-Scale Weakly Labeled Semi-Supervised Sound Event Detection in Domestic Environments

abstract: This paper presents DCASE 2018 task 4. The task evaluates systems for the large-scale detection of sound events using weakly labeled data (without time boundaries). The target of the systems is to provide not only the event class but also the event time boundaries given that multiple events can be present in an audio recording. Another challenge of the task is to explore the possibility to exploit a large amount of unbalanced and unlabeled training data together with a small weakly labeled training set to improve system performance. The data are Youtube video excerpts from domestic context which have many applications such as ambient assisted living. The domain was chosen due to the scientific challenges (wide variety of sounds, time-localized events.. .) and potential industrial applications .


title: Integrable derivations in the sense of Hasse-Schmidt for some binomial plane curve

abstract: We describe the module of integrable derivations in the sense of Hasse-Schmidt of the quotient of the polinomial ring in two variables over an ideal generated by the equation x^n-y^q.


title: Observation of $B^{+} \rightarrow p\bar{\Lambda} K^+ K^-$ and $B^{+} \rightarrow \bar{p}\Lambda K^+ K^+$

abstract: We report the study of \OK \ and \SK \ using a $772 \times 10^6$ $B\bar{B}$ pair data sample recorded on the $\Upsilon({\rm 4S})$ resonance with the Belle detector at KEKB. The following branching fractions are measured: $\mathcal{B}$(\OKPHSP) $=$ $(4.22^{+0.45}_{-0.44}\pm 0.51)\times10^{-6}$, $\mathcal{B}$(\SKPHSP) $=$ $(3.81^{+0.39}_{-0.37} \pm 0.45)\times 10^{-6}$, $\mathcal{B}$(\ETACD+c.c.) $=$ $(2.91^{+0.37}_{-0.35}\pm 0.36)\times 10^{-3}$ and $\mathcal{B}$(\PLPHI) $=$ $(8.18 \pm 2.15 \pm 0.79)\times10^{-7}$, where c.c. denotes the corresponding charge-conjugation process. The intermediate resonance decays are excluded in the four-body decay measurements. We also found evidences for $\mathcal{B}$(\ETACS+c.c.) $=$ $(3.59 \pm 1.52 \pm 0.47) \times 10^{-3}$ and $\mathcal{B}$(\LLKO) $=$ $(2.30 \pm 0.65 \pm 0.25) \times 10^{-6}$. No significant signals are found for \JPSIS+c.c. and \LLKS \ ; we set the 90\% confidence level upper limits on their decay branching fractions as $< 1.85\times10^{-3}$ and $< 2.14\times10^{-6}$, respectively.


title: New Immersed Boundary Method with Irrotational Discrete Delta Vector for Droplet Simulations with Large Density ratio

abstract: The Immersed Boundary Method (IBM) is one of the popular one-fluid mixed Eulerian-Lagrangian methods to simulate motion of droplets. While the treatment of a moving complex boundary is an extremely time consuming and formidable task in a traditional boundary-fitted fluid solver, the one-fluid methods provide a relatively easier way to track moving interfaces on a fixed Cartesian grid since the regeneration of a mesh system that conforms to the interface at every time step can be avoided. In the IBM, a series of connected Lagrangian markers are used to represent a fluid-fluid interface and the boundary condition is enforced by adding a forcing term to the Navier-Stokes equations. It is known that the IBM suffers two problems. One is spontaneous generation of unphysical kinetic energy, which is known as parasitic currents, and the other is spurious reconstruction of interface. These two problems need to be solved for useful long-time-scale simulations of droplets with high density ratio and large surface tension. This work detects that the discrete delta function is the cause of unphysical parasitic currents. Specifically, the irrotational condition is not preserved when the common discrete delta function is used to spread the surface tension from Lagrangian markers to Cartesian grid cells. To solve this problem, a new scheme that preserves the irrotational condition is proposed to remove the spurious currents. Furthermore, for a smooth reconstruction of an interface, a B-spline fitting by least squares is adopted to relocate the Lagrangian markers. The conventional and new interpolation schemes are implemented in a multigrid finite volume Direct Numerical Simulation (DNS) solver and are subjected to standard test cases. It is confirmed that the unphysical parasitic currents are substantially reduced in the new scheme and droplet's surface fluctuation is eliminated.


title: searches for ud\bar{s}\bar{b} in the chiral quark model

abstract: Inspired by the report of D0 Collaboration on the state $X(5568)$ with four different flavors, a similar state, $ud\bar{s}\bar{b}$ is investigated in the present work. The advantage of looking for this state over the state $X(5568)$ with quark contents, $bu\bar{d}\bar{s}$ or $bd\bar{u}\bar{s}$, is that the $BK$ threshold is 270 MeV higher than that of $B_s \pi$, and it allows a large mass region for $ud\bar{s}\bar{b}$ to be stable. The chiral quark model and Gaussian expansion method are employed to do the calculations of four-quark states $ud\bar{s}\bar{b}$ with quantum numbers $IJ^{P}$($I=0,1;~ J=0,1,2;~P=+$). Two structures, diquark-antidiquark and meson-meson, with all possible color configurations are considered. The results indicate that energies of the tetraquark with diquark-antiquark configuration are all higher than the threshold of $BK$, but for the state of $IJ^P=00^+$ in the meson-meson structure, the energies are below the corresponding thresholds, where the color channel coupling plays an important role. The distances between two objects (quark/antiquark) show that the state is a molecular one.


title: Neutrino emission from BL Lac objects: the role of radiatively inefficient accretion flows

abstract: The origin of the astrophysical high-energy neutrinos discovered by IceCube is currently a major mystery. The recent detection of IceCube-170922A, a $\sim$300 TeV neutrino potentially correlated with the flaring $\gamma$-ray source TXS 0506+056, directs attention toward BL Lac objects (BL Lacs), the subclass of blazars with weak emission lines. While high-energy neutrinos can be produced via photohadronic interactions between protons accelerated in their jets and ambient low-energy photons, the density of the latter in such objects had generally been thought to be too low for efficient neutrino emission. Here we consider the role of radiatively inefficient accretion flows (RIAFs), which can plausibly exist in the nuclei of BL Lacs, as the source of target photons for neutrino production. Based on simple model prescriptions for the spectra of RIAFs at different accretion rates, we find that they can be sufficienly intense to allow appreciable neutrino emission for the class of low-synchrotron-peak BL Lacs such as TXS 0506+056. In constrast, for high-synchrotron-peak BL Lacs including Mkn 421 and Mkn 501, the contribution of RIAFs is subdominant and their neutrino production efficiency can remain low, consistent with their non-detection by IceCube to date.


title: Location, Location, Location: Exploring Amazon EC2 Spot Instance Pricing Across Geographical Regions - Extended Version

abstract: Cloud computing is becoming an almost ubiquitous part of the computing landscape. For many companies today, moving their entire infrastructure and workloads to the cloud reduces complexity, time to deployment, and saves money. Spot Instances, a subset of Amazon's cloud computing infrastructure (EC2), expands on this. They allow a user to bid on spare compute capacity in Amazon's data centres at heavily discounted prices. If demand was ever to increase such that the user's maximum bid is exceeded, their instance is terminated. In this paper, we conduct one of the first detailed analyses of how location affects the overall cost of deployment of a spot instance. We analyse pricing data across all available Amazon Web Services regions for 60 days for a variety of spot instance types. We relate the data we find to the overall AWS region as well as to the Availability Zone within that region. We conclude that location does play a critical role in spot instance pricing and also that pricing differs depending on the granularity of that location - from a more coarse-grained AWS region to a more fine-grained Availability Zone within a region. We relate the pricing differences we find to the price's reliability, confirming whether one can be confident in the prices reported and subsequently, in the ensuing bids one makes. We conclude by showing that it is possible to run workloads on Spot Instances achieving both a very low risk of termination as well as paying very low amounts per hour.