title: Point Cloud GAN

abstract: Generative Adversarial Networks (GAN) can achieve promising performance on learning complex data distributions on different types of data. In this paper, we first show a straightforward extension of existing GAN algorithm is not applicable to point clouds, because the constraint required for discriminators is undefined for set data. We propose a two fold modification to GAN algorithm for learning to generate point clouds (PC-GAN). First, we combine ideas from hierarchical Bayesian modeling and implicit generative models by learning a hierarchical and interpretable sampling process. A key component of our method is that we train a posterior inference network for the hidden variables. Second, instead of using only state-of-the-art Wasserstein GAN objective, we propose a sandwiching objective, which results in a tighter Wasserstein distance estimate than the commonly used dual form. Thereby, PC-GAN defines a generic framework that can incorporate many existing GAN algorithms. We validate our claims on ModelNet40 benchmark dataset. Using the distance between generated point clouds and true meshes as metric, we find that PC-GAN trained by the sandwiching objective achieves better results on test data than the existing methods. Moreover, as a byproduct, PC- GAN learns versatile latent representations of point clouds, which can achieve competitive performance with other unsupervised learning algorithms on object recognition task. Lastly, we also provide studies on generating unseen classes of objects and transforming image to point cloud, which demonstrates the compelling generalization capability and potentials of PC-GAN.


title: The contact geometry of the spatial circular restricted 3-body problem

abstract: We show that a hypersurface of the regularized, spatial circular restricted three-body problem is of contact type whenever the energy level is below the first critical value (the energy level of the first Lagrange point) or if the energy level is slightly above it. A dynamical consequence is that there is no blue sky catastrophe in this energy range.


title: Signatures of hit and run collisions

abstract: Terrestrial planets grew in a series of similar-sized collisions that swept up most of the next-largest bodies. Theia was accreted by the Earth to form the Moon according to the theory. Planetesimals likewise may have finished their accretion in a sequence of 'junior giant impacts', scaled down in size and velocity. This chapter considers the complicated physics of pairwise accretion, as planetesimals grow to planetary scales, and considers how the inefficiency of that process influences the origin of planetesimals and the diversity of meteorites and primary asteroids.


title: ClinicalVis: Supporting Clinical Task-Focused Design Evaluation

abstract: Making decisions about what clinical tasks to prepare for is multi-factored, and especially challenging in intensive care environments where resources must be balanced with patient needs. Electronic health records (EHRs) are a rich data source, but are task-agnostic and can be difficult to use as summarizations of patient needs for a specific task, such as "could this patient need a ventilator tomorrow?" In this paper, we introduce ClinicalVis, an open-source EHR visualization-based prototype system for task-focused design evaluation of interactions between healthcare providers (HCPs) and EHRs. We situate ClinicalVis in a task-focused proof-of-concept design study targeting these interactions with real patient data. We conduct an empirical study of 14 HCPs, and discuss our findings on usability, accuracy, preference, and confidence in treatment decisions. We also present design implications that our findings suggest for future EHR interfaces, the presentation of clinical data for task-based planning, and evaluating task-focused HCP/EHR interactions in practice.


title: Core Influence Mechanism on Vertex-Cover Problem through Leaf-Removal-Core Breaking

abstract: Leaf-Removal process has been widely researched and applied in many mathematical and physical fields to help understand the complex systems, and a lot of problems including the minimal vertex-cover are deeply related to this process and the Leaf-Removal cores. In this paper, based on the structural features of the Leaf-Removal cores, a method named Core Influence is proposed to break the graphs into No-Leaf-Removal-Core ones, which takes advantages of identifying some significant nodes by localized and greedy strategy. By decomposing the minimal vertex-cover problem into the Leaf-Removal cores breaking process and maximal matching of the remained graphs, it is proved that any minimal vertex-covers of the whole graph can be located into these two processes, of which the latter one is a P problem, and the best boundary is achieved at the transition point. Compared with other node importance indices, the Core Influence method could break down the Leaf-Removal cores much faster and get the no-core graphs by removing fewer nodes from the graphs. Also, the vertex-cover numbers resulted from this method are lower than existing node importance measurements, and compared with the exact minimal vertex-cover numbers, this method performs appropriate accuracy and stability at different scales. This research provides a new localized greedy strategy to break the hard Leaf-Removal Cores efficiently and heuristic methods could be constructed to help understand some NP problems.


title: Long term Ultra-Violet Variability of Seyfert galaxies

abstract: Flux variability is one of the defining characteristics of Seyfert galaxies, a class of active galactic nuclei (AGN). Though these variations are observed over a wide range of wavelengths, results on their flux variability characteristics in the ultra-violet (UV) band are very limited. We present here the long term UV flux variability characteristics of a sample of fourteen Seyfert galaxies using data from the International Ultraviolet Explorer acquired between 1978 and 1995. We found that all the sources showed flux variations with no statistically significant difference in the amplitude of UV flux variation between shorter and longer wavelengths. Also, the flux variations between different near-UV (NUV, 1850 - 3300 A) and far-UV (FUV, 1150 - 2000 A) passbands in the rest frames of the objects are correlated with no time lag. The data show indications of (i) a mild negative correlation of UV variability with bolometric luminosity and (ii) weak positive correlation between UV variability and black hole mass. At FUV, about 50% of the sources show a strong correlation between spectral indices and flux variations with a hardening when brightening behaviour, while for the remaining sources the correlation is moderate. In NUV, the sources do show a harder when brighter trend, however, the correlation is either weak or moderate.


title: Deep learning based cloud detection for medium and high resolution remote sensing images of different sensors

abstract: Cloud detection is an important preprocessing step for the precise application of optical satellite imagery. In this paper, we propose a deep learning based cloud detection method named multi-scale convolutional feature fusion (MSCFF) for remote sensing images of different sensors. In the network architecture of MSCFF, the symmetric encoder-decoder module, which provides both local and global context by densifying feature maps with trainable convolutional filter banks, is utilized to extract multi-scale and high-level spatial features. The feature maps of multiple scales are then up-sampled and concatenated, and a novel multi-scale feature fusion module is designed to fuse the features of different scales for the output. The two output feature maps of the network are cloud and cloud shadow maps, which are in turn fed to binary classifiers outside the model to obtain the final cloud and cloud shadow mask. The MSCFF method was validated on hundreds of globally distributed optical satellite images, with spatial resolutions ranging from 0.5 to 50 m, including Landsat-5/7/8, Gaofen-1/2/4, Sentinel-2, Ziyuan-3, CBERS-04, Huanjing-1, and collected high-resolution images exported from Google Earth. The experimental results show that MSCFF achieves a higher accuracy than the traditional rule-based cloud detection methods and the state-of-the-art deep learning models, especially in bright surface covered areas. The effectiveness of MSCFF means that it has great promise for the practical application of cloud detection for multiple types of medium and high-resolution remote sensing images. Our established global high-resolution cloud detection validation dataset has been made available online.


title: On the null structure of bipartite graphs without cycles of length a multiple of 4

abstract: In this work we study the null space of bipartite graphs without cycles of length multiple of $4$, and its relation to structural properties. We decompose them into two subgraphs: $C_N(G)$ and $C_S(G)$. $C_N(G)$ has perfect matching and its adjacency matrix is nonsingular. $C_S(G)$ has a unique maximum independent set and the dimension of its null space equals the dimension of the null space of $G$. Even more, we show that the fundamental spaces of $G$ are the direct sum of the fundamental spaces of $C_N(G)$ and $C_S(G)$. We also obtain formulas relating the independence number and the matching number of a $C_{4k}$-free bipartite graph with $C_N(G)$ and $C_S(G)$, and the dimensions of the fundamental spaces. Among other results, we show that the rank of a $C_{4k}$-free bipartite graph is twice its matching number, generalizing a result for trees due to Bevis et al \cite{bevis1995ranks}, and Cvetkovi\'c and Gutman \cite{D1972}. About maximum independent sets, we show that the intersection of all maximum independent sets of a $C_{4k}$-free bipartite graph coincides with the support of its null space.


title: Lifting irreducible Galois representations

abstract: We study irreducible mod p representations, valued in general reductive groups, of the Galois group of a number field. When the number field is totally real, we show that odd representations satisfying local ramification hypotheses and a certain multiplicity-free condition on the adjoint representation admit geometric lifts. For general number fields, we show without any oddness or multiplicity condition that the representation admits a p-adic lift if it does everywhere locally.


title: User Transmit Power Minimization through Uplink Resource Allocation and User Association in HetNets

abstract: The popularity of cellular internet of things (IoT) is increasing day by day and billions of IoT devices will be connected to the internet. Many of these devices have limited battery life with constraints on transmit power. High user power consumption in cellular networks restricts the deployment of many IoT devices in 5G. To enable the inclusion of these devices, 5G should be supplemented with strategies and schemes to reduce user power consumption. Therefore, we present a novel joint uplink user association and resource allocation scheme for minimizing user transmit power while meeting the quality of service. We analyze our scheme for two-tier heterogeneous network (HetNet) and show an average transmit power of -2.8 dBm and 8.2 dBm for our algorithms compared to 20 dBm in state-of-the-art Max reference signal received power (RSRP) and channel individual offset (CIO) based association schemes.


title: Symmetry-Protected Quantum Adiabatic Evolution in Spontaneous Symmetry-Breaking Transitions

abstract: Quantum adiabatic evolution, an important fundamental concept inphysics, describes the dynamical evolution arbitrarily close to the instantaneous eigenstate of a slowly driven Hamiltonian. In most systems undergoing spontaneous symmetry-breaking transitions, their two lowest eigenstates change from non-degenerate to degenerate. Therefore, due to the corresponding energy-gap vanishes, the conventional adiabatic condition becomes invalid. Here we explore the existence of quantum adiabatic evolutions in spontaneous symmetry-breaking transitions and derive a symmetry-dependent adiabatic condition. Because the driven Hamiltonian conserves the symmetry in the whole process, the transition between different instantaneous eigenstates with different symmetries is forbidden. Therefore, even if the minimum energy-gap vanishes, symmetry-protected quantum adiabatic evolutioncan still appear when the driven system varies according to the symmetry-dependent adiabatic condition. This study not only advances our understandings of quantum adiabatic evolution and spontaneous symmetry-breaking transitions, but also provides extensive applications ranging from quantum state engineering, topological Thouless pumping to quantum computing.


title: Human-competitive Patches in Automatic Program Repair with Repairnator

abstract: Repairnator is a bot. It constantly monitors software bugs discovered during continuous integration of open-source software and tries to fix them automatically. If it succeeds to synthesize a valid patch, Repairnator proposes the patch to the human developers, disguised under a fake human identity. To date, Repairnator has been able to produce 5 patches that were accepted by the human developers and permanently merged in the code base. This is a milestone for human-competitiveness in software engineering research on automatic program repair.


title: Towards Provably Safe Mixed Transportation Systems with Human-driven and Automated Vehicles

abstract: Currently, we are in an environment where the fraction of automated vehicles is negligibly small. We anticipate that this fraction will increase in coming decades before if ever, we have a fully automated transportation system. Motivated by this we address the problem of provable safety of mixed traffic consisting of both intelligent vehicles (IVs) as well as human-driven vehicles (HVs). An important issue that arises is that such mixed systems may well have lesser throughput than all human traffic systems if the automated vehicles are expected to remain provably safe with respect to human traffic. This necessitates the consideration of strategies such as platooning of automated vehicles in order to increase the throughput. In this paper, we address the design of provably safe systems consisting of a mix of automated and human-driven vehicles including the use of platooning by automated vehicles. We design motion planing policies and coordination rules for participants in this novel mixed system. HVs are considered as nearsighted and modeled with relatively loose constraints, while IVs are considered as capable of following much tighter constraints. HVs are expected to follow reasonable and simple rules. IVs are designed to move under a model predictive control (MPC) based motion plans and coordination protocols. Our contribution of this paper is in showing how to integrate these two types of models safely into a mixed system. System safety is proved in single lane scenarios, as well as in multi-lane situations allowing lane changes.


title: Thickness-dependent self-polarization-induced intrinsic magnetoelectric effects in La0.67Sr0.33MnO3/PbZr0.52Ti0.48O3 heterostructures

abstract: The self-polarization of PbZr0.52Ti0.48O3 thin film is switched by changing film thickness through the competition between the strain relaxation-induced flexoelectric fields and the interfacial effects. Without an applied electric field, this reversal of self-polarization is exploited to control the magnetic properties of La0.67Sr0.33MnO3 by the competition/cooperation between the charge-mediated and the strain-mediated effects. Scanning transmission electron microscopy, polarized near edge x-ray absorption spectroscopy, and half-integer diffraction measurements are employed to decode this intrinsic magnetoelectric effects in La0.67Sr0.33MnO3/PbZr0.52Ti0.48O3 heterostructures. With PbZr0.52Ti0.48O3 films < 48 nm, the self-polarization-driven carrier density modulation around La0.67Sr0.33MnO3/PbZr0.52Ti0.48O3 interface and the strain-mediated Mn 3d orbital occupancy work together to enhance magnetism of 14 unit cells La0.67Sr0.33MnO3 film; with PbZr0.52Ti0.48O3 layers > 48 nm, the strain-induced the change of bond length/angle of MnO6 accompanied with a modified spin configuration are responsible for the decrease in Curie temperature and magnetization of 14 unit cells La0.67Sr0.33MnO3 film.


title: A simple backward construction of Branching Brownian motion with large displacement and applications

abstract: In this article, we study the extremal processes of branching Brownian motions conditioned on having an unusually large maximum. The limiting point measures form a one-parameter family and are the decoration point measures in the extremal processes of several branching processes, including branching Brownian motions with variable speed and multitype branching Brownian motions. We give a new, alternative representation of these point measures and we show that they form a continuous family. This also yields a simple probabilistic expression for the constant that appears in the large deviation probability of having a large displacement. As an application, we show that Bovier and Hartung (2015)'s results about variable speed branching Brownian motion also describe the extremal point process of branching Ornstein-Uhlenbeck processes.


title: Efficient Multi-level Correlating for Visual Tracking

abstract: Correlation filter (CF) based tracking algorithms have demonstrated favorable performance recently. Nevertheless, the top performance trackers always employ complicated optimization methods which constraint their real-time applications. How to accelerate the tracking speed while retaining the tracking accuracy is a significant issue. In this paper, we propose a multi-level CF-based tracking approach named MLCFT which further explores the potential capacity of CF with two-stage detection: primal detection and oriented re-detection. The cascaded detection scheme is simple but competent to prevent model drift and accelerate the speed. An effective fusion method based on relative entropy is introduced to combine the complementary features extracted from deep and shallow layers of convolutional neural networks (CNN). Moreover, a novel online model update strategy is utilized in our tracker, which enhances the tracking performance further. Experimental results demonstrate that our proposed approach outperforms the most state-of-the-art trackers while tracking at speed of exceeded 16 frames per second on challenging benchmarks.


title: Shear induced phase separation of Wormlike micelles-nanoparticle system : formation of a long-range ordered nanoparticle structure

abstract: Shearing of nanocomposites has shown to produce ordered nanostructures and orientation in the polymeric matrix. Due to the importance of the formation of an ordered structure of nanoparticles in a polymeric matrix to device wearable, flexible and photonic materials, its useful to get an insight of the shear-induced ordering and other properties of the polymeric nanocomposites. In this paper, we use a model Wormlike micellar matrix to study the arrangement and morphology of nanoparticles in the composite when the system is sheared using a hybrid multiparticle dynamics and molecular dynamics simulation technique. We observe a shear-induced phase separation of nanoparticles as well as an increase in the long-range ordering of the nanostructures as a result of shear. We also show that in order to form a well-packed and highly ordered structure, the nanoparticles with a smaller size should be preferred.


title: Topological Properties of Gapped Graphene Nanoribbons with Spatial Symmetries

abstract: To date, almost all of the discussions on topological insulators (TIs) have focused on two- and three-dimensional systems. One-dimensional (1D) TIs manifested in real materials, in which localized spin states may exist at the end or near the junctions, have largely been unexplored. Previous studies have considered the system of gapped graphene nanoribbons (GNRs) possessing spatial symmetries (e.g. inversion) with only termination patterns commensurate with inversion- or mirror-symmetric unit cells. In this work, we prove that a symmetry-protected $\mathbb{Z}_{2}$ topological classification exists for any type of termination. In these cases the Berry phase summed up over all occupied bands turns out to be $\pi$-quantized in the presence of the chiral symmetry. However, it does not always provide the correct corresponding $\mathbb{Z}_{2}$ as one would have expected. We show that only the origin-independent part of the Berry phase gives the correct bulk-boundary correspondence by its $\pi$-quantized values. The resulting $\mathbb{Z}_{2}$ invariant depends on the choice of the 1D unit cell (defined by the nanoribbon termination) and is shown to be connected to the symmetry eigenvalues of the wave functions at the center and boundary of the Brillouin zone. Using the cove-edged GNRs as examples, we demonstrate the existence of localized states at the end of some GNR segments and at the junction between two GNRs based on a topological analysis. The current results are expected to shed light on the design of electronic devices based on GNRs as well as the understanding of the topological features in 1D systems.


title: The absolutely Koszul and Backelin-Roos properties for spaces of quadrics of small codimension

abstract: Let $\kk$ be a field, $R$ a standard graded quadratic $\kk$-algebra with $\dim_{\kk}R_2\le 3$, and let $\ov\kk$ denote an algebraic closure of $\kk$. We construct a graded surjective Golod homomorphism $\varphi \colon P\to R\otimes_{\kk}\ov{\kk}$ such that $P$ is a complete intersection of codimension at most $3$. Furthermore, we show that $R$ is absolutely Koszul (that is, every finitely generated $R$-module has finite linearity defect) if and only if $R$ is Koszul if and only if $R$ is not a trivial fiber extension of a standard graded $\kk$-algebra with Hilbert series $(1+2t-2t^3)(1-t)^{-1}$. In particular, we recover earlier results on the Koszul property of Backelin, Conca and D'Al\`i.


title: Categorical Aspects of Parameter Learning

abstract: Parameter learning is the technique for obtaining the probabilistic parameters in conditional probability tables in Bayesian networks from tables with (observed) data --- where it is assumed that the underlying graphical structure is known. There are basically two ways of doing so, referred to as maximal likelihood estimation (MLE) and as Bayesian learning. This paper provides a categorical analysis of these two techniques and describes them in terms of basic properties of the multiset monad M, the distribution monad D and the Giry monad G. In essence, learning is about the reltionships between multisets (used for counting) on the one hand and probability distributions on the other. These relationsips will be described as suitable natural transformations.


title: Simulation and Experimental Verification of DNA Damage Due to X-Rays Interaction

abstract: This paper describes the model for DNA in MATLAB taking into account all of component atoms. In this model, it is possible to generate sequences with length 10000 basis pairs available for introducing all types of sequences. Once the strands are generated, it is studied the DNA damage in the single strand and double strand. The damage are outcomes of ionising radiation of X-rays when interacting with the DNA immersed in water. This is a theoretical and experimental in-vitro study that quantifies the single strand and double strand damage for different doses of radiation. This can be useful to predict the exact risks of expositions to radiations. In simulations, it is taken into account the damage caused by free electrons generated by the effect of the interaction with the water molecules, this is different to the effect considered in radiobiology, where indirect damages are due to chemical reactions. The spatial distribution of the electrons is obtained from Geant4 and here this distribution is used for the creation of rays as three-dimensional random trajectories through Monte Carlo simulations. It is also presented the experimental DNA damage through radiating DNA samples immersed in water with a X-rays unit with Molybdenum target. The damage level is quantified through Atomic Force Microscopy (AFM). It is possible to conclude a direct relation between the damage and the radiation doses with the experimental results.


title: On the Rate of Convergence for a Characteristic of Multidimensional Birth-Death Process

abstract: We consider a multidimensional inhomogeneous birth-death process (BDP) and obtain bounds on the rate of convergence for the corresponding one-dimensional processes.


title: Identification of Defective Two Dimensional Semiconductors by Multifractal Analysis: The Single-layer ${\rm MoS_2}$ Case Study

abstract: Two dimensional semiconductor such as single-layer transition metal dichalcogenides (SL-TMD) have attracted most attentions as an atomically thin layer semiconductor materials. Typically, lattice point defects (sulfur vacancy) created by physical/chemical method during growth stages, have disadvantages on electronic properties. However, photoluminescence (PL) spectroscopy is conventionally used to characterize single-layer films but until now it has not been used to show the presence of defects or estimate their population due to overall similarity of general feature PL spectra. To find a feasible and robust method to determine the presence of point defects on single layer ${\rm MoS_2}$ without changing the experimental setup, Multifractal Detrended Fluctuation Analysis (MF-DFA) and Multifractal Detrended Moving Average Analysis (MF-DMA) are applied on the PL spectrum of single layer ${\rm MoS_2}$. We compare the scaling behavior of PL spectrum of pristine and defective single layer ${\rm MoS_2}$ determined by MF-DFA and MF-DMA. Our results reveal that PL spectrum has multifractal nature and different various population of point defects (sulfur vacancy) on single layer ${\rm MoS_2}$ change dramatically multifractality characteristics (Hurst, H\"older exponents) of photoluminescence spectrum. It is exhibited creating more lattice point leads to smaller fluctuations in luminescent light that it can help to design special defect structure for light emitted devices. The relative populations of point defects are almost elucidated without utilizing expensive characterization instruments such as scanning tunneling microscopy (STM) and high resolution transmission electron microscopy (HR-TEM).


title: A Decentralized Mobile Computing Network for Multi-Robot Systems Operations

abstract: Collective animal behaviors are paradigmatic examples of fully decentralized operations involving complex collective computations such as collective turns in flocks of birds or collective harvesting by ants. These systems offer a unique source of inspiration for the development of fault-tolerant and self-healing multi-robot systems capable of operating in dynamic environments. Specifically, swarm robotics emerged and is significantly growing on these premises. However, to date, most swarm robotics systems reported in the literature involve basic computational tasks---averages and other algebraic operations. In this paper, we introduce a novel Collective computing framework based on the swarming paradigm, which exhibits the key innate features of swarms: robustness, scalability and flexibility. Unlike Edge computing, the proposed Collective computing framework is truly decentralized and does not require user intervention or additional servers to sustain its operations. This Collective computing framework is applied to the complex task of collective mapping, in which multiple robots aim at cooperatively map a large area. Our results confirm the effectiveness of the cooperative strategy, its robustness to the loss of multiple units, as well as its scalability. Furthermore, the topology of the interconnecting network is found to greatly influence the performance of the collective action.


title: Ultrafast cryptography with indefinitely switchable optical nanoantennas

abstract: Bistability is widely exploited to demonstrate all-optical signal processing and light-based computing. The standard paradigm of switching between two steady states corresponding to '0" and '1" bits is based on the rule that a transition occurs when the signal pulse intensity overcomes the bistability threshold, and otherwise, the system remains in the initial state. Here, we break with this concept by revealing the phenomenon of indefinite switching in which the eventual steady state of a resonant bistable system is transformed into a nontrivial function of signal pulse parameters for moderately intense signal pulses. The essential nonlinearity of the indefinite switching allows realization of well-protected cryptographic algorithms with a single bistable element in contrast to software-assisted cryptographic protocols that require thousands of logic gates. As a proof of concept, we demonstrate stream deciphering of the word 'enigma' by means of an indefinitely switchable optical nanoantenna. An extremely high bitrate ranging from ~0.1 to 1 terabits per second and a small size make such systems promising as basic elements for all-optical cryptographic architectures.


title: Exponential Decay in a Timoshenko-type System of Thermoelasticity of Type III with Frictional versus Viscoelatic Damping and Delay

abstract: In this work, a Timoshenko system of type III of thermoelasticity with frictional versus viscoelastic under Dirichlet-Dirichlet-Neumann boundary conditions was considered. By exploiting energy method to produce a suitable Lyapunov functional, we establish the global existence, exponential decay of Type-III case.


title: Gamma-Ray Emission from Molecular Clouds Generated by Penetrating Cosmic Rays

abstract: We analyze the processes governing cosmic-ray (CR) penetration into molecular clouds and the resulting generation of gamma-ray emission. The density of CRs inside a cloud is depleted at lower energies due to the self-excited MHD turbulence. The depletion depends on the effective gas column density ("size") of the cloud. We consider two different environments where the depletion effect is expected to be observed. For the Central Molecular Zone, the expected range of CR energy depletion is $E\lesssim 10$ GeV, leading to the depletion of gamma-ray flux below $E_\gamma\approx 2$ GeV. This effect can be important for the interpretation of the GeV gamma-ray excess in the Galactic Center, which has been revealed from the standard model of CR propagation (assuming the CR spectrum inside a cloud to be equal to the interstellar spectrum). Furthermore, recent observations of some local molecular clouds suggest the depletion of the gamma-ray emission, indicating possible self-modulation of the penetrating low-energy CRs.


title: Contagions in Social Networks: Effects of Monophilic Contagion, Friendship Paradox and Reactive Networks

abstract: We consider SIS contagion processes over networks where, a classical assumption is that individuals' decisions to adopt a contagion are based on their immediate neighbors. However, recent literature shows that some attributes are more correlated between two-hop neighbors, a concept referred to as monophily. This motivates us to explore monophilic contagion, the case where a contagion (e.g. a product, disease) is adopted by considering two-hop neighbors instead of immediate neighbors (e.g. you ask your friend about the new iPhone and she recommends you the opinion of one of her friends). We show that the phenomenon called friendship paradox makes it easier for the monophilic contagion to spread widely. We also consider the case where the underlying network stochastically evolves in response to the state of the contagion (e.g. depending on the severity of a flu virus, people restrict their interactions with others to avoid getting infected) and show that the dynamics of such a process can be approximated by a differential equation whose trajectory satisfies an algebraic constraint restricting it to a manifold. Our results shed light on how graph theoretic consequences affect contagions and, provide simple deterministic models to approximate the collective dynamics of contagions over stochastic graph processes.


title: A cholera mathematical model with vaccination and the biggest outbreak of world's history

abstract: We propose and analyse a mathematical model for cholera considering vaccination. We show that the model is epidemiologically and mathematically well posed and prove the existence and uniqueness of disease-free and endemic equilibrium points. The basic reproduction number is determined and the local asymptotic stability of equilibria is studied. The biggest cholera outbreak of world's history began on 27th April 2017, in Yemen. Between 27th April 2017 and 15th April 2018 there were 2275 deaths due to this epidemic. A vaccination campaign began on 6th May 2018 and ended on 15th May 2018. We show that our model is able to describe well this outbreak. Moreover, we prove that the number of infected individuals would have been much lower provided the vaccination campaign had begun earlier.


title: Fuzzy Adaptive Tuning of a Particle Swarm Optimization Algorithm for Variable-Strength Combinatorial Test Suite Generation

abstract: Combinatorial interaction testing is an important software testing technique that has seen lots of recent interest. It can reduce the number of test cases needed by considering interactions between combinations of input parameters. Empirical evidence shows that it effectively detects faults, in particular, for highly configurable software systems. In real-world software testing, the input variables may vary in how strongly they interact, variable strength combinatorial interaction testing (VS-CIT) can exploit this for higher effectiveness. The generation of variable strength test suites is a non-deterministic polynomial-time (NP) hard computational problem \cite{BestounKamalFuzzy2017}. Research has shown that stochastic population-based algorithms such as particle swarm optimization (PSO) can be efficient compared to alternatives for VS-CIT problems. Nevertheless, they require detailed control for the exploitation and exploration trade-off to avoid premature convergence (i.e. being trapped in local optima) as well as to enhance the solution diversity. Here, we present a new variant of PSO based on Mamdani fuzzy inference system \cite{Camastra2015,TSAKIRIDIS2017257,KHOSRAVANIAN2016280}, to permit adaptive selection of its global and local search operations. We detail the design of this combined algorithm and evaluate it through experiments on multiple synthetic and benchmark problems. We conclude that fuzzy adaptive selection of global and local search operations is, at least, feasible as it performs only second-best to a discrete variant of PSO, called DPSO. Concerning obtaining the best mean test suite size, the fuzzy adaptation even outperforms DPSO occasionally. We discuss the reasons behind this performance and outline relevant areas of future work.


title: Quantum simulation of clustered photosynthetic light harvesting in a superconducting quantum circuit

abstract: We propose a scheme to simulate the exciton energy transfer (EET) of photosynthetic complexes in a quantum superconducting circuit system. Our system is composed of two pairs of superconducting charge qubits coupled to two separated high-Q superconducting transmission line resonators (TLRs) connected by a capacitance. When the frequencies of the qubits are largely detuned with those of the TLRs, we simulate the process of the EET from the first qubit to the fourth qubit. By tuning the couplings between the qubits and the TLRs, and the coupling between the two TLRs, we can modify the effective coupling strengths between the qubits and thus demonstrate the geometric effects on the EET. It is shown that a moderate clustered geometry supports optimal EET by using exciton delocalization and energy matching condition. And the population loss during the EET has been trapped in the two TLRs.

categories: quant-ph cond-mat.dis-nn physics.chem-ph physics.optics


title: Compatibility of $A_{4}$ Flavour Symmetric Minimal Extended Seesaw with $(3+1)$ Neutrino Data

abstract: Motivated by the recent resurrection of the evidence for an eV scale sterile neutrino from the MiniBooNE experiment, we revisit one of the most minimal seesaw model known as the minimal extended seesaw that gives rise to a $3+1$ light neutrino mass matrix. We consider the presence of $A_4$ flavour symmetry which plays a non-trivial role in generating the structure of the neutrino mass matrix. Considering a diagonal charged lepton mass matrix and generic vacuum alignments of $A_4$ triplet flavons, we classify the resulting mass matrices based on their textures. Keeping aside the disallowed texture zeros based on earlier studies of $3+1$ neutrino textures, we categorise the remaining ones based on texture zeros, $\mu-\tau$ symmetry in the $3\times3$ block and hybrid textures. After pointing out the origin of such $3+1$ neutrino textures to $A_4$ vacuum alignments, we use the latest $3+1$ neutrino oscillation data and numerically analyse the texture zeros and $\mu-\tau$ symmetric cases. We find that a few of them are allowed from each category predicting interesting correlations between neutrino parameters. We also find that all of these allowed cases prefer normal hierarchical pattern of light neutrino masses over inverted hierarchy.


title: Landau's Theorem for pi-blocks of pi-separable groups

abstract: Slattery has generalized Brauer's theory of p-blocks of finite groups to pi-blocks of pi-separable groups where pi is a set of primes. In this setting we show that the order of a defect group of a pi-block B is bounded in terms of the number of irreducible characters in B. This is a variant of Brauer's Problem 21 and generalizes K\"ulshammer's corresponding theorem for p-blocks of p-solvable groups. At the same time, our result generalizes Landau's classical theorem on the number of conjugacy classes of an arbitrary finite group. The proof relies on the classification of finite simple groups.


title: Spin-torque resonance due to diffusive dynamics at a surface of topological insulator

abstract: We investigate spin-orbit torques on magnetization in an insulating ferromagnetic (FM) layer that is brought into a close proximity to a topological insulator (TI). In addition to the well-known field-like spin-orbit torque, we identify an anisotropic anti-damping-like spin-orbit torque that originates in a diffusive motion of conduction electrons. This diffusive torque is vanishing in the limit of zero momentum (i. e. for spatially homogeneous electric field or current), but may, nevertheless, have a strong effect on spin-torque resonance at finite frequency provided external field is neither parallel nor perpendicular to the TI surface. The required electric field configuration can be created by a grated top gate.


title: Holomorphic differential forms of complex manifolds on commutative Banach algebras and a few related problems

abstract: Let $A$ be a commutative Banach algebra. Let $M$ be a complex manifold on $A$ (an $A$-manifold). Then, we define an $A$-holomorphic vector bundle $(\wedge^kT^*)(M)$ on $M$. For an open set $U$ of $M$, $\omega$ is said to be an $A$-holomorphic differential $k$-form on $U$, if $\omega$ is an $A$-holomorphic section of $(\wedge^kT^*)(M)$ on $U$. So, if the set of all $A$-holomorphic differential $k$-forms on $U$ is denoted by $\Omega_{M}^k(U)$, then $\{\Omega_{M}^k(U)\}_{U}$ is a sheaf of modules on the structure sheaf $O_M$ of the $A$-manifold $M$ and the cohomology group $H^l(M,\Omega_{M}^k)$ with the coefficient sheaf $\{\Omega_{M}^k(U)\}_{U}$ is an $O_M(M)$-module and therefore, in particular, an $A$-module. There is no new thing in our definition of a holomorphic differential form. However, this is necessary to get the cohomology group $H^l(M,\Omega_{M}^k)$ as an $A$-module. Furthermore, we try to define the structure sheaf of a manifold that is locally a continuous family of $\mathbb C$-manifolds (and also the one of an analytic family). Directing attention to a finite family of $\mathbb C$-manifolds, we mentioned the possibility that Dolbeault theorem holds for a continuous sum of $\mathbb C$-manifolds. Also, we state a few related problems. One of them is the following. Let $n\in \mathbb N$. Then, does there exist a $\mathbb C^n$-manifold $N$ such that for any $\mathbb C$-manifolds $M_1, M_2, \cdots, M_{n-1}$ and $M_n$, $N$ can not be embedded in the direct product $M_1\times M_2 \times \cdots \times M_{n-1} \times M_n$ as a $\mathbb C^n$-manifold ? So, we propose something that is likely to be a candidate for such a $\mathbb C^2$-manifold $N$.


title: Approximating Pairwise Correlations in the Ising Model

abstract: In the Ising model, we consider the problem of estimating the covariance of the spins at two specified vertices. In the ferromagnetic case, it is easy to obtain an additive approximation to this covariance by repeatedly sampling from the relevant Gibbs distribution. However, we desire a multiplicative approximation, and it is not clear how to achieve this by sampling, given that the covariance can be exponentially small. Our main contribution is a fully polynomial time randomised approximation scheme (FPRAS) for the covariance. We also show that that the restriction to the ferromagnetic case is essential --- there is no FPRAS for multiplicatively estimating the covariance of an antiferromagnetic Ising model unless RP = #P. In fact, we show that even determining the sign of the covariance is #P-hard in the antiferromagnetic case.


title: Noise in the helical edge channel anisotropically coupled to a local spin

abstract: We calculate the frequency-dependent shot noise in the edge states of a two-dimensional topological insulator coupled to a magnetic impurity with spin $S=1/2$ of arbitrary anisotropy. If the anisotropy is absent, the noise is purely thermal at low frequencies, but tends to the Poissonian noise of the full current $I$ at high frequencies. If the interaction only flips the impurity spin but conserves those of electrons, the noise at high voltages $eV\gg T$ is frequency-independent. Both the noise and the backscattering current $I_{bs}$ saturate at voltage-independent values. Finally, if the Hamiltonian contains all types of non-spin-conserving scattering, the noise at high voltages becomes frequency-dependent again. At low frequencies, its ratio to $2eI_{bs}$ is larger than 1 and may reach 2 in the limit $I_{bs}\to 0$. At high frequencies it tends to 1.


title: Chain intersection closures

abstract: We study spherical completeness of ball spaces and its stability under expansions. We introduce the notion of an ultra-diameter, mimicking diameters in ultrametric spaces. We prove some positive results on preservation of spherical completeness involving ultra-diameters with values in narrow partially ordered sets. Finally, we show that in general, chain intersection closures of ultrametric spaces with partially ordered value sets do not preserve spherical completeness.


title: Evaluating TQFT invariants from G-crossed braided spherical fusion categories via Kirby diagrams with 3-handles

abstract: A family of TQFTs parametrised by G-crossed braided spherical fusion categories has been defined recently as a state sum model and as a Hamiltonian lattice model. Concrete calculations of the resulting manifold invariants are scarce because of the combinatorial complexity of triangulations, if nothing else. Handle decompositions, and in particular Kirby diagrams are known to offer an economic and intuitive description of 4-manifolds. We show that if 3-handles are added to the picture, the state sum model can be conveniently redefined by translating Kirby diagrams into the graphical calculus of a G-crossed braided spherical fusion category. This reformulation is very efficient for explicit calculations, and the manifold invariant is calculated for several examples. It is also shown that in most cases, the invariant is multiplicative under connected sum, which implies that it does not detect exotic smooth structures.


title: Local uniqueness for an inverse boundary value problem with partial data

abstract: In dimension $n\geq 3$, we prove a local uniqueness result for the potentials $q$ of the Schr\"odinger equation $-\Delta u+qu=0$ from partial boundary data. More precisely, we show that potentials $q_1,q_2\in L^\infty$ with positive essential infima can be distinguished by local boundary data if there is a neighborhood of a boundary part where $q_1\geq q_2$ and $q_1\not\equiv q_2$.


title: Characterising epithelial tissues using persistent entropy

abstract: In this paper, we apply persistent entropy, a novel topological statistic, for characterization of images of epithelial tissues. We have found out that persistent entropy is able to summarize topological and geometric information encoded by \alpha-complexes and persistent homology. After using some statistical tests, we can guarantee the existence of significant differences in the studied tissues.


title: A Living Theory Catalogue for Fast Radio Bursts

abstract: At present, we have almost as many theories to explain Fast Radio Bursts as we have Fast Radio Bursts observed. This landscape will be changing rapidly with CHIME/FRB, recently commissioned in Canada, and HIRAX, under construction in South Africa. This is an opportune time to review existing theories and their observational consequences, allowing us to efficiently curtail viable astrophysical models as more data becomes available. In this article we provide a currently up to date catalogue of the numerous and varied theories proposed for Fast Radio Bursts so far. We also launch an online evolving repository for the use and benefit of the community to dynamically update our theoretical knowledge and discuss constraints and uses of Fast Radio Bursts.


title: Time Synchronization in Wireless Sensor Networks based on Newtons Adaptive Algorithm

abstract: This paper proposes a novel time synchronization protocol inspired by the adaptive Newton search algorithm. The clock model of nodes are modeled as an adaptive filter and a pairwise steady state and convergence analyses are presented. A protocol is derived from the derived algorithm and compared experimentally to Gradient Descent Synchronization(GraDeS) protocol and the Average Proportional Integral Synchronization (AvgPISync) protocol. Experimental results showed similar error performance as AvgPISync but far outperformed both protocols in terms of convergence time. The protocol is lightweight, robust and simple to implement.


title: Proposal for measuring magnetism with patterned apertures

abstract: We propose a magnetic measurement method utilizing a patterned post-sample aperture in a transmission electron microscope. While utilizing electron magnetic circular dichroism, the method circumvents previous needs to shape the electron probe to an electron vortex beam or astigmatic beam. The method can be implemented in standard scanning transmission electron microscopes by replacing the spectrometer entrance aperture with a specially shaped aperture, hereafter called ventilator aperture. The proposed setup is expected to work across the whole range of beam sizes -- from wide parallel beams down to atomic resolution magnetic spectrum imaging.


title: Delay Regulated Explosive Synchronization in Multiplex Networks

abstract: It is known that explosive synchronization (ES) in an isolated network of Kuramoto oscillators with inertia is significantly enhanced by the presence of time delay. Here we show that time delay in one layer of the multiplex network governs the transition to synchronization and ES in the other layers. We found that a single layer with time-delayed intra-layer coupling, depending on the values of time delay, experiences a different type of transition to synchronization, e.g., ES or continuous, and the same type of transition is incorporated simultaneously in other layer(s) as well. Hence, a suitable choice of time-delay in only one layer can lead to a desired (either ES or continuous) transition simultaneously in the delayed and other undelayed layers of multiplexed network. These results offer a platform for a better understanding of the dynamics of those complex systems which are represented by multilayered framework and contain time delays in the communication processes.


title: A commentary on single-photon wave function advocated by Bia{\l}ynicki-Birula

abstract: We present in this paper how the single-photon wave function for transversal photons (with the direct sum of ordinary unitary representations of helicity 1 and -1 acting on it) is subsumed within the formalism of Gupta-Bleuler for the quantized free electromagnetic field. Rigorous Gupta-Bleuler quantization of the free electromagnetic field is based on our generalization (published formerly) of the Mackey theory of induced representations which includes representations preserving the indefinite Krein inner-product given by the Gupta-Bleuler operator. In particular it follows that the results of Bia{\l}ynicki-Birula on the single-photon wave function may be reconciled with the causal perturbative approach to QED.


title: Error estimation at the information reconciliation stage of quantum key distribution

abstract: Quantum key distribution (QKD) offers a practical solution for secure communication between two distinct parties via a quantum channel and an authentic public channel. In this work, we consider different approaches to the quantum bit error rate (QBER) estimation at the information reconciliation stage of the post-processing procedure. For reconciliation schemes employing low-density parity-check (LDPC) codes, we develop a novel syndrome-based QBER estimation algorithm. The algorithm suggested is suitable for irregular LDPC codes and takes into account punctured and shortened bits. Testing our approach in a real QKD setup, we show that an approach combining the proposed algorithm with conventional QBER estimation techniques allows one to improve the accuracy of the QBER estimation.


title: Effective Action study of $\mathcal{PT}$-Symmetry Breaking for the non-Hermitian $\left( i\phi^{3}\right) _{6-\epsilon}$ Theory and The Yang-Lee Edge Singularity

abstract: We use the effective potential method to study the $\mathcal{PT}$-symmetry breaking of the non-Hermitian $i\phi^{3}$ field theory in $6-\epsilon$ space-time dimensions. The critical exponents so obtained coincide with the exact values listed in the literature. We showed that at the point of $\mathcal{PT}$-symmetry breaking, the vacuum-vacuum amplitude is certainly zero and the fugacity is one which mimics a Yang-Lee edge singularity in magnetic systems. What makes this work interesting is that it takes into account problems which are always overlooked in the literature for the Yang-Lee model like stability, unitarity and generation of Stokes wedges at space-time dimensions for which divergences occur in the theory . Besides, here we make direct calculation of critical exponents from the dependance of the order parameter on external magnetic field not from the density of zeros of the partition function.


title: Test of the $R(D^{(*)})$ anomaly at the LHC

abstract: There are discrepancies between the experimental results and the Standard Model predictions, in the lepton flavor universality of the semileptonic $B$ decays: $B \to D^{(*)} \ell \nu$. As the new physics interpretations, new charged vector and charged scalar fields, that dominantly couple to the second and third generations, have been widely discussed. In this paper, we study the signals of the new particles at the LHC, and test the interpretations via the direct search for the new resonances. In particular, we see that the $\tau \nu$ resonance search at the LHC has already covered most of the parameter regions favored by the Belle and BaBar experiments. We find that the bound is already stronger than the one from the $B_c$ decay depending on the mass of charged scalar.


title: Effective field description of the Anton-Schmidt cosmic fluid

abstract: The effective theory of the Anton-Schmidt cosmic fluid within the Debye approximation is investigated. In this picture, the universe is modeled out by means of a medium without cosmological constant. In particular, the Anton-Schmidt representation of matter describes the pressure of crystalline solids under deformations imposed by isotropic stresses. The approach scheme is related to the fact that the universe deforms under the action of the cosmic expansion itself. Thus, we frame the dark energy term as a function of scalar fields and obtain the corresponding dark energy potential $V(\varphi)$. Different epochs of the universe evolution are investigated in terms of the evolution of $\varphi$. We show how the Anton-Schmidt equation of state is capable of describing both late and early epochs of cosmic evolution. Finally, numerical bounds on the Anton-Schmidt model with $n=-1$ are derived through a Markov Chain Monte Carlo analysis on the combination of data coming from type Ia Supernovae, observations of Hubble parameter and baryon acoustic oscillations. Statistical comparison with the $\Lambda$CDM model is performed by the AIC and BIC selection criteria. Results are in excellent agreement with the low-redshift data. A further generalization of the model is presented to satisfy the theoretical predictions at early-stage cosmology.


title: Optimal Temperature Spacing for Regionally Weight-preserving Tempering

abstract: Parallel tempering is popular method for allowing MCMC algorithms to properly explore a $d$-dimensional multimodal target density. One problem with traditional power-based parallel tempering for multimodal targets is that the proportion of probability mass associated to the modes can change for different inverse-temperature values, sometimes dramatically so. Complementary work by the authors proposes a novel solution involving auxiliary targets that preserve regional weight upon powering up the density. This paper attempts to address the question of how to choose the temperature spacings in an optimal way when using this type of weight-preserving approach.The problem is analysed in a tractable setting for computation of the expected squared jumping distance which can then be optimised with regards to a tuning parameter. The conclusion is that for an appropriately constructed regionally weight-preserved tempering algorithm targeting a $d$-dimensional target distribution, the consecutive temperature spacings should behave as $\mathcal{O}\left(d^{-1/2}\right)$ and this induces an optimal acceptance rate for temperature swap moves that lies in the interval $[0,0.234]$.


title: Nesterov Acceleration of Alternating Least Squares for Canonical Tensor Decomposition: Momentum Step Size Selection and Restart Mechanisms

abstract: We present Nesterov-type acceleration techniques for Alternating Least Squares (ALS) methods applied to canonical tensor decomposition. While Nesterov acceleration turns gradient descent into an optimal first-order method for convex problems by adding a momentum term with a specific weight sequence, a direct application of this method and weight sequence to ALS results in erratic convergence behaviour. This is so because the tensor decomposition problem is non-convex and ALS is accelerated instead of gradient descent. Instead, we consider various restart mechanisms and suitable choices of momentum weights that enable effective acceleration. Our extensive empirical results show that the Nesterov-accelerated ALS methods with restart can be dramatically more efficient than the stand-alone ALS or Nesterov accelerated gradient methods, when problems are ill-conditioned or accurate solutions are desired. The resulting methods perform competitively with or superior to existing acceleration methods for ALS, including ALS acceleration by NCG, NGMRES, or LBFGS, and additionally enjoy the benefit of being much easier to implement. We also compare with Nesterov-type updates where the momentum weight is determined by a line search, which are equivalent or closely related to existing line search methods for ALS. On a large and ill-conditioned 71$\times$1000$\times$900 tensor consisting of readings from chemical sensors to track hazardous gases, the restarted Nesterov-ALS method shows desirable robustness properties and outperforms any of the existing methods by a large factor. There is clear potential for extending our Nesterov-type acceleration approach to accelerating other optimization algorithms than ALS applied to other non-convex problems, such as Tucker tensor decomposition. Our Matlab code is available at https://github.com/hansdesterck/nonlinear-preconditioning-for-optimization.


title: Positive and generalized positive real lemma for slice hyperholomorphic functions

abstract: In this paper we prove a quaternionic positive real lemma as well as its generalized version, in case the associated kernel has negative squares for slice hyperholomorphic functions. We consider the case of functions with positive real part in the half space of quaternions with positive real part, as well as the case of (generalized) Schur functions in the open unit ball.


title: Traction force microscopy with optimized regularization and automated Bayesian parameter selection for comparing cells

abstract: Adherent cells exert traction forces on to their environment, which allows them to migrate, to maintain tissue integrity, and to form complex multicellular structures. This traction can be measured in a perturbation-free manner with traction force microscopy (TFM). In TFM, traction is usually calculated via the solution of a linear system, which is complicated by undersampled input data, acquisition noise, and large condition numbers for some methods. Therefore, standard TFM algorithms either employ data filtering or regularization. However, these approaches require a manual selection of filter- or regularization parameters and consequently exhibit a substantial degree of subjectiveness. This shortcoming is particularly serious when cells in different conditions are to be compared because optimal noise suppression needs to be adapted for every situation, which invariably results in systematic errors. Here, we systematically test the performance of new methods from computer vision and Bayesian inference for solving the inverse problem in TFM. We compare two classical schemes, L1- and L2-regularization, with three previously untested schemes, namely Elastic Net regularization, Proximal Gradient Lasso, and Proximal Gradient Elastic Net. Overall, we find that Elastic Net regularization, which combines L1 and L2 regularization, outperforms all other methods with regard to accuracy of traction reconstruction. Next, we develop two methods, Bayesian L2 regularization and Advanced Bayesian L2 regularization, for automatic, optimal L2 regularization. Using artificial data and experimental data, we show that these methods enable robust reconstruction of traction without requiring a difficult selection of regularization parameters specifically for each data set. Thus, Bayesian methods can mitigate the considerable uncertainty inherent in comparing cellular traction forces.


title: A weak homotopy equivalence type result related to Kirchberg algebras

abstract: We obtain a weak homotopy equivalence type result between two topological groups associated with a Kirchberg algebra: the unitary group of the continuous asymptotic centralizer and the loop group of the automorphism group of the stabilization. This result plays a crucial role in our subsequent work on the classification of poly-$\mathbb{Z}$ group actions on Kirchberg algebras. As a special case, we show that the $K$-groups of the continuous asymptotic centralizer are isomorphic to the $KK$-groups of the Kirchberg algebra.


title: Poly-$\mathbb{Z}$ group actions on Kirchberg algebras I

abstract: Toward the complete classification of poly-$\mathbb{Z}$ group actions on Kirchberg algebras, we prove several fundamental theorems that are used in the classification. In addition, as an application of them, we classify outer actions of poly-$\mathbb{Z}$ groups of Hirsch length not greater than three on unital Kirchberg algebras up to $KK$-trivial cocycle conjugacy.


title: Overview of CAIL2018: Legal Judgment Prediction Competition

abstract: In this paper, we give an overview of the Legal Judgment Prediction (LJP) competition at Chinese AI and Law challenge (CAIL2018). This competition focuses on LJP which aims to predict the judgment results according to the given facts. Specifically, in CAIL2018 , we proposed three subtasks of LJP for the contestants, i.e., predicting relevant law articles, charges and prison terms given the fact descriptions. CAIL2018 has attracted several hundreds participants (601 teams, 1, 144 contestants from 269 organizations). In this paper, we provide a detailed overview of the task definition, related works, outstanding methods and competition results in CAIL2018.


title: Exploiting Semantics in Adversarial Training for Image-Level Domain Adaptation

abstract: Performance achievable by modern deep learning approaches are directly related to the amount of data used at training time. Unfortunately, the annotation process is notoriously tedious and expensive, especially for pixel-wise tasks like semantic segmentation. Recent works have proposed to rely on synthetically generated imagery to ease the training set creation. However, models trained on these kind of data usually under-perform on real images due to the well known issue of domain shift. We address this problem by learning a domain-to-domain image translation GAN to shrink the gap between real and synthetic images. Peculiarly to our method, we introduce semantic constraints into the generation process to both avoid artifacts and guide the synthesis. To prove the effectiveness of our proposal, we show how a semantic segmentation CNN trained on images from the synthetic GTA dataset adapted by our method can improve performance by more than 16% mIoU with respect to the same model trained on synthetic images.


title: A Model of Solar Dynamo with Alternative Conversion of Large-Scale Magnetic Field and Production of Sunspots

abstract: Since the discovery of solar cycle related with magnetic field in 1908, deep seated oscillatory dynamo has been studied extensively. However, there are still open questions on the solar dynamo, e.g., asymmetric conversion between large-scale poloidal and toroidal field as well as physics underlying the butterfly pattern of sunspots. Here we report a new generation of large-scale magnetic field and process of energy release. The inductive action of fluid motions pervading the solar interior is represented by a RLC circuit in which the toroidal field built up through twisting of poloidal field, so called $\omega$-effect, plays the role of a capacitor. Such a RLC circuit not only provides a self-sustained oscillatory system avoiding Cowling's antidynamo theorem, but also site of rapid magnetic reconnection which reproduces quadrupole magnetic field interpreting the behavior of sunspots and moving of foot-point in solar activities. Moreover, parameters of the circuit and the Sun are well consistent with the 22-year solar cycle.


title: Dynamics of spin-orbit-coupled cold atomic gases in a Floquet lattice with an impurity

abstract: In this study, we have studied the quantum tunneling of a single spin-orbit-coupled atom held in a periodically modulated optical lattice with an impurity. At the pseudocollapse points of quasienergy bands, where the dynamical localization takes place globally, two types of local second-order tunneling processes appear beyond expectation between the two nearest-neighbor sites of the impurity with the spin unchanged and with impurity site population negligible all the time, when the impurity potential is far off-resonant with the driving field. Though tunneling behaviors of the two types seem to be the same, they are believed to involve two distinct mechanisms: one is related to spin-independent process, while the other is to spin-dependent tunneling process. The two types of second-order processes can be identified by means of resonant tunneling with or without spin-flipping by tuning the impurity potential to be in resonance with the driving field. In the Floquet picture, the second-order processes are manifested as subtle and fine avoided crossings of quasienergy spectrums near the pseudocollapse region. These results are confirmed analytically on the basis of effective three-site model and multiple-time-scale asymptotic perturbative method, and may be exploited for engineering the spin-dependent quantum transport in realistic experiments.


title: Using generalized estimating equations to estimate nonlinear models with spatial data

abstract: In this paper, we study estimation of nonlinear models with cross sectional data using two-step generalized estimating equations (GEE) in the quasi-maximum likelihood estimation (QMLE) framework. In the interest of improving efficiency, we propose a grouping estimator to account for the potential spatial correlation in the underlying innovations. We use a Poisson model and a Negative Binomial II model for count data and a Probit model for binary response data to demonstrate the GEE procedure. Under mild weak dependency assumptions, results on estimation consistency and asymptotic normality are provided. Monte Carlo simulations show efficiency gain of our approach in comparison of different estimation methods for count data and binary response data. Finally we apply the GEE approach to study the determinants of the inflow foreign direct investment (FDI) to China.


title: Characterization of FBK small-pitch 3D diodes after neutron irradiation up to 3.5x10**16 neq cm**-2

abstract: We report on the characterization by a position resolved laser system of small-pitch 3D diodes irradiated with neutrons up to an extremely high fluence of 3.5x10**16 neq cm**-2. We show that very high values of signal efficiency are obtained, in good agreement with the geometrical expectation based on the small values of the inter-electrode spacings, and also boosted by charge multiplication effects at high voltage. These results confirm the very high radiation tolerance of small-pitch 3D sensors well beyond the maximum fluences expected at the High Luminosity LHC.


title: Hyperdeterminants from the $E_8$ Discriminant

abstract: We find expressions of the polynomials defining the dual varieties of Grassmannians $Gr(3,9)$ and $Gr(4,8)$ both in terms of the fundamental invariants and in terms of a generic semi-simple element. We project the polynomial defining the dual of the adjoint orbit of $E_{8}$, and obtain the polynomials of interest as factors. To find an expression of the $Gr(4,8)$ discriminant in terms of fundamental invariants, which has $15,942$ terms, we perform interpolation with mod-$p$ reduction and rational reconstruction. From these expressions for the discriminants of $Gr(3,9)$ and $Gr(4,8)$ we also obtain expressions for well-known hyperdeterminants of formats $3\times 3\times 3$ and $2\times 2\times 2\times 2$.


title: On Greedy and Strategic Evaders in Sequential Interdiction Settings with Incomplete Information

abstract: We consider a class of sequential network interdiction problem settings where the interdictor has incomplete initial information about the network while the evader has complete knowledge of the network including its structure and arc costs. In each decision epoch, the interdictor can block (for the duration of the epoch) at most $k$ arcs known to him/her. By observing the evader's actions, the interdictor learns about the network structure and costs and thus, can adjust his/her actions in subsequent decision epochs. It is known from the literature that if the evader is greedy (i.e., the shortest available path is used in each decision epoch), then under some assumptions the greedy interdiction policies that block $k$-most vital arcs in each epoch are efficient and have a finite regret. In this paper, we consider the evader's perspective and explore deterministic "strategic" evasion policies under the assumption that the interdictor is greedy. We first study the theoretical computational complexity of the evader's problem. Then we derive basic constructive properties of optimal evasion policies for two decision epochs when the interdictor has no initial information about the network structure. These properties are then exploited for the design of a heuristic algorithm for a strategic evader in a general setting with an arbitrary time horizon and any initial information available to the interdictor. Our computational experiments demonstrate that the proposed heuristic outperforms the greedy evasion policy on several classes of synthetic network instances under either perfect or noisy information feedback. Finally, some interesting insights from our theoretical and computational results conclude the paper.


title: Effective Coulomb interaction in actinides from linear response approach

abstract: The effective on-site Coulomb interaction (Hubbard $U$) between 5$f$ electrons in actinide metals (Th-Cf) is calculated with the framework of density-functional theory (DFT) using linear response approach. The $U$ values seldom rely on the exchange-correlation functional, spin-orbital coupling, and magnetic states, but depend on the lattice volume and actinide element. Along the actinide series, the Coulomb parameter $U$ of $\alpha$-phase first decreases slowly, followed by a jump in the vicinity of Pu and then a monotonous increase. For light actinides, the lattice volume has a sizeable influence on $U$ while the localization of 5$f$ electrons is almost constant. But for transplutonium metals, $U$ is almost independent of the lattice volume but the electronic localization increases rapidly. The calculated lattice parameters from DFT+$U$ with the Coulomb parameters as input are in better agreement with the experimental values than those from DFT within local density approximation or Perdew-Burke-Ernzerhof approximation for solids (PBEsol). In particular, the agreement between PBEsol+$U$ and experiment is remarkable. We show that PBEsol+$U$ also well reproduce the experimental bulk moduli and the transition from itinerancy to localization of 5$f$ electrons along the series. Therefore it is concluded that DFT+$U$ with $U$ calculated from linear response approach is suitable for a good description of actinide metals.


title: Ultrafast dynamic evolution of multilevel systems in medium-strength laser fields

abstract: The ultrafast dynamic evolution of an atomic system under medium-strength laser fields is studied by performing transient absorption measurement. An analytical model developed from perturbation theory with a modified transition dipole moment is presented to explain the spectral features of the multilevel system. By fitting the measured absorption spectra to the model, the system's dynamic evolution is quantified by different amplitude and phase modulation factors in the pump--probe and probe--pump scenarios. This study provides a way to understand laser--matter interaction in the transition area between the strong-field and weak-field regimes.


title: Proof of Lions-Perthame-Tadmor conjecture and Jabin's conjecture on regularity for scalar conservation laws in higher dimension

abstract: [Note: Currently the proof is incomplete as we are using the lemma 3.2 which is not true in general]. We offer a complete resolution of a conjecture by Lions-Perthame-Tadmor mentioned in their celebrated work (1994, [34]). We prove the optimal regularizing effect to W^{s,p}_{loc} with the best exponent s, of the entropy solution for scalar conservation laws in higher dimension. In addition, we prove t (div f^\p(u))\in\mathcal{M}^1_{loc} for arbitrary flux f which was conjectured by Jabin (2010, [29]). Here we follow a new approach to understand the regularity issues in multi-dimensional scalar conservation laws.


title: Shear-driven instabilities of membrane tubes and dynamin-induced scission

abstract: Motivated by the mechanics of dynamin-mediated membrane tube fission we analyse the stability of fluid membrane tubes subjected to shear flow in azimuthal direction. We find a novel helical instability driven by the membrane shear flow which results in a non-equilibrium steady state for the tube fluctuations. This instability has its onset at shear rates that may be physiologically accessible under the action of dynamin and could also be probed using in-vitro experiments on membrane nanotubes, e.g. using magnetic tweezers. We discuss how such an instability may play a role in the mechanism for dynamin-mediated membrane tube fission.


title: Equivalent Constraints for Two-View Geometry: Pose Solution/Pure Rotation Identification and 3D Reconstruction

abstract: Two-view relative pose estimation and structure reconstruction is a classical problem in computer vision. The typical methods usually employ the singular value decomposition of the essential matrix to get multiple solutions of the relative pose, from which the right solution is picked out by reconstructing the three-dimension (3D) feature points and imposing the constraint of positive depth. This paper revisits the two-view geometry problem and discovers that the two-view imaging geometry is equivalently governed by a Pair of new Pose-Only (PPO) constraints: the same-side constraint and the intersection constraint. From the perspective of solving equation, the complete pose solutions of the essential matrix are explicitly derived and we rigorously prove that the orientation part of the pose can still be recovered in the case of pure rotation. The PPO constraints are simplified and formulated in the form of inequalities to directly identify the right pose solution with no need of 3D reconstruction and the 3D reconstruction can be analytically achieved from the identified right pose. Furthermore, the intersection inequality also enables a robust criterion for pure rotation identification. Experiment results validate the correctness of analyses and the robustness of the derived pose solution/pure rotation identification and analytical 3D reconstruction.


title: On the security of the hierarchical attribute based encryption scheme proposed by Wang et al

abstract: Ciphertext-policy hierarchical attribute-based encryption (CP-HABE) is a promising cryptographic primitive for enforcing the fine-grained access control with scalable key delegation and user revocation mechanisms on the outsourced encrypted data in a cloud. Wang et al. (2011) proposed the first CP-HABE scheme and showed that the scheme is semantically secure in the random oracle model [4, 5]. Due to some weakness in its key delegation mechanism, by presenting two attacks, we demonstrate the scheme does not offer any confidentiality and fine-grained access control. In this way, anyone who has just one attribute can recover any outsourced encrypted data in the cloud.


title: Integration in terms of polylogarithm

abstract: This paper provides a Liouville principle for integration in terms of dilogarithm and partial result for polylogarithm.


title: Attention Driven Person Re-identification

abstract: Person re-identification (ReID) is a challenging task due to arbitrary human pose variations, background clutters, etc. It has been studied extensively in recent years, but the multifarious local and global features are still not fully exploited by either ignoring the interplay between whole-body images and body-part images or missing in-depth examination of specific body-part images. In this paper, we propose a novel attention-driven multi-branch network that learns robust and discriminative human representation from global whole-body images and local body-part images simultaneously. Within each branch, an intra-attention network is designed to search for informative and discriminative regions within the whole-body or body-part images, where attention is elegantly decomposed into spatial-wise attention and channel-wise attention for effective and efficient learning. In addition, a novel inter-attention module is designed which fuses the output of intra-attention networks adaptively for optimal person ReID. The proposed technique has been evaluated over three widely used datasets CUHK03, Market-1501 and DukeMTMC-ReID, and experiments demonstrate its superior robustness and effectiveness as compared with the state of the arts.


title: An Empirical Study on Crosslingual Transfer in Probabilistic Topic Models

abstract: Probabilistic topic modeling is a popular choice as the first step of crosslingual tasks to enable knowledge transfer and extract multilingual features. While many multilingual topic models have been developed, their assumptions on the training corpus are quite varied, and it is not clear how well the models can be applied under various training conditions. In this paper, we systematically study the knowledge transfer mechanisms behind different multilingual topic models, and through a broad set of experiments with four models on ten languages, we provide empirical insights that can inform the selection and future development of multilingual topic models.


title: Hybrid Building/Floor Classification and Location Coordinates Regression Using A Single-Input and Multi-Output Deep Neural Network for Large-Scale Indoor Localization Based on Wi-Fi Fingerprinting

abstract: In this paper, we propose hybrid building/floor classification and floor-level two-dimensional location coordinates regression using a single-input and multi-output (SIMO) deep neural network (DNN) for large-scale indoor localization based on Wi-Fi fingerprinting. The proposed scheme exploits the different nature of the estimation of building/floor and floor-level location coordinates and uses a different estimation framework for each task with a dedicated output and hidden layers enabled by SIMO DNN architecture. We carry out preliminary evaluation of the performance of the hybrid floor classification and floor-level two-dimensional location coordinates regression using new Wi-Fi crowdsourced fingerprinting datasets provided by Tampere University of Technology (TUT), Finland, covering a single building with five floors. Experimental results demonstrate that the proposed SIMO-DNN-based hybrid classification/regression scheme outperforms existing schemes in terms of both floor detection rate and mean positioning errors.


title: Confinement and crowding control the morphology and dynamics of a model bacterial chromosome

abstract: Motivated by recent experiments probing shape, size and dynamics of bacterial chromosomes in growing cells, we consider a polymer model consisting of a circular backbone to which side-loops are attached, confined to a cylindrical cell. Such a model chromosome spontaneously adopts a helical shape, which is further compacted by molecular crowders to occupy a nucleoid-like subvolume of the cell. With increasing cell length, the longitudinal size of the chromosome increases in a non-linear fashion to finally saturate, its morphology gradually opening up while displaying a changing number of helical turns. For shorter cells, the chromosome extension varies non-monotonically with cell size, which we show is associated with a radial to longitudinal spatial reordering of the crowders. Confinement and crowders constrain chain dynamics leading to anomalous diffusion. While the scaling exponent for the mean squared displacement of center of mass grows and saturates with cell length, that of individual loci displays broad distribution with a sharp maximum.


title: Generalized tensor equations with leading structured tensors

abstract: The system of tensor equations (TEs) has received much considerable attention in the recent literature. In this paper, we consider a class of generalized tensor equations (GTEs). An important difference between GTEs and TEs is that GTEs can be regarded as a system of non-homogenous polynomial equations, whereas TEs is a homogenous one. Such a difference usually makes the theoretical and algorithmic results tailored for TEs not necessarily applicable to GTEs. To study properties of the solution set of GTEs, we first introduce a new class of so-named ${\rm Z}^+$-tensor, which includes the set of all P-tensors as its proper subset. With the help of degree theory, we prove that the system of GTEs with a leading coefficient ${\rm Z}^+$-tensor has at least one solution for any right-hand side vector. Moreover, we study the local error bounds under some appropriate conditions. Finally, we employ a Levenberg-Marquardt algorithm to find a solution to GTEs and report some preliminary numerical results.


title: Linearizable Replicated State Machines with Lattice Agreement

abstract: This paper studies the lattice agreement problem in asynchronous systems and explores its application to building linearizable replicated state machines (RSM). First, we propose an algorithm to solve the lattice agreement problem in $O(\log f)$ asynchronous rounds, where $f$ is the number of crash failures that the system can tolerate. This is an exponential improvement over the previous best upper bound. Second, Faleiro et al have shown in [Faleiro et al. PODC, 2012] that combination of conflict-free data types and lattice agreement protocols can be applied to implement linearizable RSM. They give a Paxos style lattice agreement protocol, which can be adapted to implement linearizable RSM and guarantee that a command can be learned in at most $O(n)$ message delays, where $n$ is the number of proposers. Later on, Xiong et al in [Xiong et al. DISC, 2018] give a lattice agreement protocol which improves the $O(n)$ guarantee to be $O(f)$. However, neither protocols is practical for building a linearizable RSM. Thus, in the second part of the paper, we first give an improved protocol based on the one proposed by Xiong et al. Then, we implement a simple linearizable RSM using the our improved protocol and compare our implementation with an open source Java implementation of Paxos. Results show that better performance can be obtained by using lattice agreement based protocols to implement a linearizable RSM compared to traditional consensus based protocols.


title: Further study on tensor absolute value equations

abstract: In this paper, we consider the {\it tensor absolute value equations} (TAVEs), which is a newly introduced problem in the context of multilinear systems. Although the system of TAVEs is an interesting generalization of matrix {\it absolute value equations} (AVEs), the well-developed theory and algorithms for AVEs are not directly applicable to TAVEs due to the nonlinearity (or multilinearity) of the problem under consideration. Therefore, we first study the solutions existence of some classes of TAVEs with the help of degree theory, in addition to showing, by fixed point theory, that the system of TAVEs has at least one solution under some checkable conditions. Then, we give a bound of solutions of TAVEs for some special cases. To find a solution to TAVEs, we employ the generalized Newton method and report some preliminary results.


title: Optimal Control of DERs in ADN under Spatial and Temporal Correlated Uncertainties

abstract: The control schemes of distributed energy resources (DERs) in active distribution networks (ADNs) are largely influenced by uncertainties. The uncertainties of DERs are complicated, containing spatial and temporal correlation, which makes it challenging to design proper control schemes, especially when there exist temporal-correlated units such as energy units (EUs). This paper provides an Ito process model to describe the characteristics of stochastic resources and EUs in a unified way, which makes it easy to evaluate the impacts of stochastic resources on temporal-correlated units. Based the moment form of the Ito process model, a moment optimization (MO) approach is provided to transform the stochastic control (SC) problem into an optimization problem with respect to the first-order and second-order moments of the system variables. The scale of MO is comparable to that of the corresponding deterministic control problem, which means that the computational efficiency of MO is much smaller than that of traditional approaches. Case studies also show that the proposed approach outperforms existing approaches in both the performance and computational efficiency, which means that the proposed approach has attractive potential for use in large-scale applications.


title: Embedded deep learning in ophthalmology: Making ophthalmic imaging smarter

abstract: Deep learning has recently gained high interest in ophthalmology, due to its ability to detect clinically significant features for diagnosis and prognosis. Despite these significant advances, little is known about the ability of various deep learning systems to be embedded within ophthalmic imaging devices, allowing automated image acquisition. In this work, we will review the existing and future directions for "active acquisition" embedded deep learning, leading to as high quality images with little intervention by the human operator. In clinical practice, the improved image quality should translate into more robust deep learning-based clinical diagnostics. Embedded deep learning will be enabled by the constantly improving hardware performance with low cost. We will briefly review possible computation methods in larger clinical systems. Briefly, they can be included in a three-layer framework composed of edge, fog and cloud layers, the former being performed at a device-level. Improved edge layer performance via "active acquisition" serves as an automatic data curation operator translating to better quality data in electronic health records (EHRs), as well as on the cloud layer, for improved deep learning-based clinical data mining.


title: Defect modes for dislocated periodic media

abstract: We study defect modes in a one-dimensional periodic medium with a dislocation. The model is a periodic Schrodinger operator on $\mathbb{R}$, perturbed by an adiabatic dislocation of amplitude $\delta\ll 1$. If the periodic background admits a Dirac point $-$ a linear crossing of dispersion curves $-$ then the dislocated operator acquires a gap in its essential spectrum. For this model (and its 2-dimensional honeycomb analog) Fefferman, Lee-Thorp and Weinstein constructed in previous work defect modes with energies within the gap. The bifurcation of defect modes is associated with the discrete eigenmodes of an effective Dirac operator. We improve upon this result: we show that all the defect modes of the dislocated operator arise from the eigenmodes of the Dirac operator. As a byproduct, we derive full expansions of the eigenpairs in powers of $\delta$. The self-contained proof relies on (a) resolvent estimates for the bulk operators; (b) scattering theory for highly oscillatory potentials developed by the first author. This work significantly advances the understanding of the topological stability of certain defect states, particularly the bulk-edge correspondence for continuous dislocated systems.


title: A space-time pseudospectral discretization method for solving diffusion optimal control problems with two-sided fractional derivatives

abstract: We propose a direct numerical method for the solution of an optimal control problem governed by a two-side space-fractional diffusion equation. The presented method contains two main steps. In the first step, the space variable is discretized by using the Jacobi-Gauss pseudospectral discretization and, in this way, the original problem is transformed into a classical integer-order optimal control problem. The main challenge, which we faced in this step, is to derive the left and right fractional differentiation matrices. In this respect, novel techniques for derivation of these matrices are presented. In the second step, the Legendre-Gauss-Radau pseudospectral method is employed. With these two steps, the original problem is converted into a convex quadratic optimization problem, which can be solved efficiently by available methods. Our approach can be easily implemented and extended to cover fractional optimal control problems with state constraints. Five test examples are provided to demonstrate the efficiency and validity of the presented method. The results show that our method reaches the solutions with good accuracy and a low CPU time.


title: Higher order stability of dust ion acoustic solitary wave solution described by the KP equation in a collisionless unmagnetized nonthermal plasma in presence of isothermal positrons

abstract: Sardar et al. [Phys. Plasmas 23, 073703 (2016)] have studied the stability of small amplitude dust ion acoustic solitary waves in a collisionless unmagnetized electron - positron - ion - dust plasma. They have derived a Kadomtsev Petviashvili (KP) equation to investigate the lowest - order stability of the solitary wave solution of the Korteweg-de Vries (KdV) equation for long-wavelength plane-wave transverse perturbation when the weak dependence of the spatial coordinates perpendicular to the direction of propagation of the wave is taken into account. In the present paper, we have extended the lowest - order stability analysis of KdV solitons given in the paper of Sardar et al. [Phys. Plasmas 23, 073703 (2016)] to higher order with the help of multiple-scale perturbation expansion method of Allen and Rowlands [J. Plasma Phys. 50, 413 (1993); 53, 63 (1995)]. It is found that solitary wave solution of the KdV equation is stable at the order k^2, where k is the wave number for long-wavelength plane-wave perturbation.


title: Kerr beam self-cleaning in the multimode fiber anomalous dispersion regime

abstract: We experimentally demonstrate Kerr beam self-cleaning in the anomalous dispersion regime of graded-index multimode optical fibers. By using 90 ps duration, highly chirped (2 nm bandwidth at -3dB) optical pulses at 1562 nm, we demonstrate a 2 decades reduction, with respect to previous experiments in the normal dispersion regime, of threshold peak power for beam self-cleaning into the fundamental mode of the fiber, accompanied by more than 65% nonlinear increase of intensity correlation into the fundamental mode. Highly efficient self-selection of the LP11 mode is also observed. Self-cleaned beams remain spatio-temporally stable for more than a decade of variation of the peak pulse power.


title: Combining fragments of classical logic: When are interaction principles needed?

abstract: We investigate the combination of fragments of classical logic as a way of conservatively extending a given Boolean logic by the addition of new connectives, and we precisely characterize the circumstances in which such a combination produces the corresponding fragment of classical logic over the signature containing connectives from both fragments given as input. If the thereby produced combined fragment is only incompletely characterized by the components given as input, this means that connectives from one component need to interact with connectives from the other component, giving rise to interaction principles. The main contributions strongly rely on the (well-known) description of the 2-valued clones made by Post, on the (not so well-known) axiomatization procedures for 2-valued matrices laid out by Rautenberg, and on Avron's non-deterministic matrices, which have (recently) been used to produce a significant advance on the understanding of the semantics of fibring.


title: HVP contribution of the light quarks to the muon $(g - 2)$ including isospin-breaking corrections with Twisted-Mass fermions

abstract: We present a preliminary lattice calculation of the leading-order electromagnetic and strong isospin-breaking corrections to the Hadronic Vacuum Polarization (HVP) contribution of the light quarks to the anomalous magnetic moment of the muon. The results are obtained in the quenched-$QED$ approximation using the $QCD$ gauge configurations generated by the European Twisted Mass Collaboration (ETMC) with $N_f = 2 + 1 + 1$ dynamical quarks, at three values of the lattice spacing varying from $0.089$ to $0.062 ~ \mbox{fm}$, at several lattice volumes and with pion masses in the range $M_\pi \simeq 220 \div 490 ~ \mbox{MeV}$.


title: Power of Pausing: Advancing Understanding of Thermalization in Experimental Quantum Annealers

abstract: We investigate alternative annealing schedules on the current generation of quantum annealing hardware (the D-Wave 2000Q), which includes the use of forward and reverse annealing with an intermediate pause. This work provides new insights into the inner workings of these devices (and quantum devices in general), particular into how thermal effects govern the system dynamics. We show that a pause mid-way through the anneal can cause a dramatic change in the output distribution, and we provide evidence suggesting thermalization is indeed occurring during such a pause. We demonstrate that upon pausing the system in a narrow region shortly after the minimum gap, the probability of successfully finding the ground state of the problem Hamiltonian can be increased over an order of magnitude. We relate this effect to relaxation (i.e. thermalization) after diabatic and thermal excitations that occur in the region near to the minimum gap. For a set of large-scale problems of up to 500 qubits, we demonstrate that the distribution returned from the annealer very closely matches a (classical) Boltzmann distribution of the problem Hamiltonian, albeit one with a temperature at least 1.5 times higher than the (effective) temperature of the annealer. Moreover, we show that larger problems are more likely to thermalize to a classical Boltzmann distribution.


title: Existence and stability of dust ion acoustic double layers described by the combined MKP-KP equation

abstract: The purpose of this paper is to expand the recent work of Sardar et al. [Phys. Plasmas 23, 123706 (2016)] on the existence and stability of alternative dust ion acoustic solitary wave solution of the combined modified Kadomtsev Petviashvili - Kadomtsev Petviashvili (MKP-KP) equation in a nonthermal plasma. Sardar et al. [Phys. Plasmas 23, 123706 (2016)] have derived a combined MKP-KP equation to describe the nonlinear behaviour of the dust ion acoustic wave when the coefficient of the nonlinear term of the KP equation tends to zero. Sardar et al. [Phys. Plasmas 23, 123706 (2016)] have used this combined MKP-KP equation to investigate the existence and stability of the alternative solitary wave solution having a profile different from sech^2 or sech when L > 0, where L is a function of the parameters of the present plasma system. In the present paper, we have considered the same combined MKP-KP equation to study the existence and stability of the double layer solution and it is shown that double layer solution of this combined MKP-KP equation exists if L = 0. Finally, the lowest order stability of the double layer solution of this combined MKP-KP equation has been investigated with the help of multiple scale perturbation expansion method of Allen and Rowlands [ J. Plasma Phys. 50, 413 (1993)]. It is found that the double layer solution of the combined MKP-KP equation is stable at the lowest order of the wave number for long-wavelength plane-wave perturbation.


title: Classical dynamics on three dimensional fuzzy space: Connecting the short and long length scales

abstract: We derive the path integral action for a particle moving in three dimensional fuzzy space. From this we extract the classical equations of motion. These equations have rather surprising and unconventional features: They predict a cut-off in energy, a generally spatial dependent limiting speed, orbital precession remarkably similar to the general relativistic result, flat velocity curves below a length scale determined by the limiting velocity and included mass, displaced planar motion and the existence of two dynamical branches of which only one reduces to Newtonian dynamics in the commutative limit. These features place strong constraints on the non-commutative parameter and coordinate algebra to avoid conflict with observation and may provide a stringent observational test for this scenario of non-commutativity.


title: Mid-price estimation for European corporate bonds: a particle filtering approach

abstract: In most illiquid markets, there is no obvious proxy for the market price of an asset. The European corporate bond market is an archetypal example of such an illiquid market where mid-prices can only be estimated with a statistical model. In this OTC market, dealers / market makers only have access, indeed, to partial information about the market. In real time, they know the price associated with their trades on the dealer-to-dealer (D2D) and dealer-to-client (D2C) markets, they know the result of the requests for quotes (RFQ) they answered, and they have access to composite prices (e.g., Bloomberg CBBT). This paper presents a Bayesian method for estimating the mid-price of corporate bonds by using the real-time information available to a dealer. This method relies on recent ideas coming from the particle filtering / sequential Monte-Carlo literature.


title: Explicit computation of a Galois representation attached to an eigenform over SL3 from the H2 \'etale of a surface

abstract: We sketch a method to compute mod $\ell$ Galois representations contained in the H2 \'etale of surfaces. We apply this method to the case of a representation with values in GL(3,9) attached to an eigenform over a congruence subgroup of SL(3). We obtain in particular a polynomial with Galois group isomorphic to the simple group PSU(3,9) and ramified at 2 and 3 only.