title: Unifying approach to selective inference with applications to cross-validation

abstract: We develop tools to do valid post-selective inference for a family of model selection procedures, including choosing a model via cross-validated Lasso. The tools apply universally when the following random vectors are jointly asymptotically multivariate Gaussian: 1. the vector composed of each model's quality value evaluated under certain model selection criteria (e.g. cross-validation errors across folds, AIC, prediction errors etc.) 2. the test statistics from which we make inference on the parameters; it is worth noting that the parameters here are chosen after model selection methods are performed. Under these assumptions, we derive a pivotal quantity that has an asymptotically Unif(0,1) distribution which can be used to perform tests and construct confidence intervals. Both the tests and confidence intervals are selectively valid for the chosen parameter. While the above assumptions may not be satisfied in some applications, we propose a novel variation to these model selection procedures by adding Gaussian randomizations to either one of the two vectors. As a result, the joint distribution of the above random vectors is multivariate Gaussian and our general tools apply. We illustrate our method by applying it to four important procedures for which very few selective inference results have been developed: cross-validated Lasso, cross-validated randomized Lasso, AIC-based model selection among a fixed set of models and inference for a newly introduced novel marginal LOCO parameter, inspired by the LOCO parameter of Rinaldo et al (2016); and we provide complete results for these cases. For randomized model selection procedures, we develop Markov chain Monte Carlo sampling scheme to construct valid post-selective confidence intervals empirically.


title: Solar Filament Longitudinal Oscillations along a Magnetic Field Tube with Two Dips

abstract: The large-amplitude longitudinal oscillations of solar filaments have been observed and explored for more than ten years. Previous studies are mainly based on the one-dimensional rigid flux tube model with a single magnetic dip. However, it is noticed that there might be two magnetic dips, and hence two threads, along one magnetic field line. Following the previous work, we intend to investigate the kinematics of the filament longitudinal oscillations when two threads are magnetically connected, which is done by solving one-dimensional radiative hydrodynamic equations with the numerical code MPI-AMRVAC. Two different types of perturbations are considered, and the difference from previous works resulting from the filament thread-thread interaction is investigated. We find that even with the inclusion of the thread-thread interaction, the oscillation period is modified weakly, by at most 20% compared to the traditional pendulum model with one thread. However, the damping timescale is significantly affected by the thread-thread interaction. Hence, we should take it into account when applying the consistent seismology to the filaments where two threads are magnetically connected.


title: A single-atom 3D sub-attonewton force sensor

abstract: All physical interactions are mediated by forces. Ultra-sensitive force measurements are therefore a crucial tool for investigating the fundamental physics of magnetic, atomic, quantum, and surface phenomena. Laser cooled trapped atomic ions are a well controlled quantum system and a standard platform for precision metrology. Their low mass, strong Coulomb interaction, and readily detectable fluorescence signal make trapped ions favourable for performing high-sensitivity force measurements. Here we demonstrate a three-dimensional sub-attonewton sensitivity force sensor based on super-resolution imaging of the fluorescence from a single laser cooled $^{174}$Yb$^+$ ion in a Paul trap. The force is detected by measuring the net ion displacement with nanometer precision, and does not rely on mechanical oscillation. Observed sensitivities were 372$\pm$9$_\mbox{stat}$, 347$\pm$12$_\mbox{sys}\pm$14$_\mbox{stat}$, and 808$\pm$29$_\mbox{sys}\pm$42$_\mbox{stat}$ zN/$\sqrt{\mbox{Hz}}$ in the three dimensions, corresponding to 24x, 87x, and 21x of the quantum limit. We independently verified the accuracy of this apparatus by measuring a light pressure force of 95 zN on the ion, an important systematic effect in any optically based force sensor. This technique can be applied for sensing DC or low frequency forces external to the trap or internally from a co-trapped biomolecule or nanoparticle.


title: Quasi-elliptic cohomology and its Spectrum

abstract: Ginzburg, Kapranov and Vasserot conjectured the existence of equivariant elliptic cohomology theories. In this paper, to give a description of equivariant spectra of the theories, we study an intermediate theory, quasi-elliptic cohomology. We formulate a new category of orthogonal G-spectra and construct explicitly an orthogonal G-spectrum of quasi-elliptic cohomology in it. The idea of the construction can be applied to a family of equivariant cohomology theories, including Tate K-theory and generalized Morava E-theories. Moreover, this construction provides a functor from the category of global spectra to the category of orthogonal G-spectra. In addition, from it we obtain some new idea what global homotopy theory is right for constructing global elliptic cohomology theory.


title: Geometry of Uncertainty Relations for Linear Combinations of Position and Momentum

abstract: For a quantum particle with a single degree of freedom, we derive preparational sum and product uncertainty relations satisfied by $N$ linear combinations of position and momentum observables. The state-independent bounds depend on their degree of incompatibility defined by the area of a parallelogram in an $N$-dimensional coefficient space. Maximal incompatibility occurs if the observables give rise to regular polygons in phase space. We also conjecture a Hirschman-type uncertainty relation for N observables linear in position and momentum, generalizing the original relation which lower-bounds the sum of the position and momentum Shannon entropies of the particle.


title: Bonding charge distribution analysis of molecule by computation of interatomic charge penetration

abstract: Charge transfer among individual atoms in a molecule is the key concept in the modern electronic theory of chemical bonding. In this work, we defined an atomic region between two atoms by Slater orbital exponents of valence electrons and suggested a method for analytical calculation of charge penetration between all atoms in a molecule. Computation of charge penetration amount is self-consistently performed until each orbital exponent converges to its certain values respectively. Charge penetration matrix was calculated for ethylene and MgO, and bonding charge and its distribution were analyzed by using the charge penetration matrix and the orbital exponents under the bonding state. These results were compared with those by density function method and showed that this method is a simple and direct method to obtain bonding charge distribution of molecule from atomic orbital functions.


title: Evidence Updating for Stream-Processing in Big-Data: Robust Conditioning in Soft and Hard Fusion Environments

abstract: Robust belief revision methods are crucial in streaming data situations for updating existing knowledge or beliefs with new incoming evidence. Bayes conditioning is the primary mechanism in use for belief revision in data fusion systems that use probabilistic inference. However, traditional conditioning methods face several challenges due to inherent data/source imperfections in big-data environments that harness soft (i.e., human or human-based) sources in addition to hard (i.e., physics-based) sensors. The objective of this paper is to investigate the most natural extension of Bayes conditioning that is suitable for evidence updating in the presence of such uncertainties. By viewing the evidence updating process as a thought experiment, an elegant strategy is derived for robust evidence updating in the presence of extreme uncertainties that are characteristic of big-data environments. In particular, utilizing the Fagin-Halpern conditional notions, a natural extension to Bayes conditioning is derived for evidence that takes the form of a general belief function. The presented work differs fundamentally from the Conditional Update Equation (CUE) and authors own extensions of it. An overview of this development is provided via illustrative examples. Furthermore, insights into parameter selection under various fusion contexts are also provided.


title: The Intrinsic $\gamma$-ray Emissions of $Fermi$ Blazars

abstract: Beaming effect is important for the observational properties of blazars. In this work, we collect 91 $Fermi$ blazars with available radio Doppler factors. $\gamma$-ray Doppler factors are estimated and compared with radio Doppler factors for some sources. The intrinsic (de-beamed) $\gamma$-ray flux density ($f^{\rm in}_{\gamma}$), intrinsic $\gamma$-ray luminosity ($L^{\rm in}_{\gamma}$), and intrinsic synchrotron peak frequency ($\nu_{\rm p}^{\rm in}$) are calculated. Then we study the correlations between $f^{\rm in}_{\gamma}$ and redshift and find that they follow the theoretical relation: $\log f = -2.0 \log z + {\rm const}$. When the subclasses are considered, we find that stationary jets are perhaps dominant in low synchrotron peaked blazars. 63 $Fermi$ blazars with both available short variability time scales ($\Delta T$) and Doppler factors are also collected. We find that the intrinsic relationship between $L ^{\rm in}_{\gamma}$ and $\Delta T^{\rm in}$ obeys the Elliot \& Shapiro and the Abramowicz \& Nobili relations. Strong positive correlation between $f_{\gamma}^{\rm in}$ and $\nu_{\rm p}^{\rm in}$ is found, suggesting that synchrotron emissions are highly correlated with $\gamma$-ray emissions.


title: Quantized output feedback stabilization by Luenberger observers

abstract: We study a stabilization problem for systems with quantized output feedback. The state estimate from a Luenberger observer is used for control inputs and quantization centers. First we consider the case when only the output is quantized and provide data-rate conditions for stabilization. We next generalize the results to the case where both of the plant input and output are quantized and where controllers send the quantized estimate of the plant output to encoders as quantization centers. Finally, we present the numerical comparison of the derived data-rate conditions with those in the earlier studies and a time response of an inverted pendulum.


title: Evaluating the Stream Control Transmission Protocol Using Uppaal

abstract: The Stream Control Transmission Protocol (SCTP) is a Transport Layer protocol that has been proposed as an alternative to the Transmission Control Protocol (TCP) for the Internet of Things (IoT). SCTP, with its four-way handshake mechanism, claims to protect the Server from a Denial-of-Service (DoS) attack by ensuring the legitimacy of the Client, which has been a known issue pertaining to the three-way handshake of TCP. This paper compares the handshakes of TCP and SCTP to discuss its shortcomings and strengths. We present an Uppaal model of the TCP three-way handshake and SCTP four-way handshake and show that SCTP is able to cope with the presence of an Illegitimate Client, while TCP fails. The results confirm that SCTP is better equipped to deal with this type of attack.


title: Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack

abstract: We present a formal model for a fragmentation and a reassembly protocol running on top of the standardised CAN bus, which is widely used in automotive and aerospace applications. Although the CAN bus comes with an in-built mechanism for prioritisation, we argue that this is not sufficient and provide another protocol to overcome this shortcoming.


title: Modelling, Verification, and Comparative Performance Analysis of the B.A.T.M.A.N. Protocol

abstract: This paper considers on a network routing protocol known as Better Approach to Mobile Ad hoc Networks (B.A.T.M.A.N.). The protocol serves two aims: first, to discover all bidirectional links, and second, to identify the best-next-hop for every other node in the network. A key element is that each node will flood the network at regular intervals with so-called originator messages. This paper describes in detail a formalisation of the B.A.T.M.A.N. protocol. This exercise revealed several ambiguities and inconsistencies in the RFC. We developed two models. The first implements, if possible, a literal reading of the RFC, while the second model tries to be closer to the underlying concepts. The alternative model is in some places less restrictive, and rebroadcasts more often when it helps route discovery, and will on the other hand drop more messages that might interfere with the process. We verify for a basic untimed model that both interpretations ensure loop-freedom, bidirectional link discovery, and route-discovery. We use simulation of a timed model to compare the performance and found that both models are comparable when it comes to the time and number of messages needed for discovering routes. However, the alternative model identifies a significantly lower number of suboptimal routes, and thus improves on the literal interpretation of the RFC.


title: Formalizing Memory Accesses and Interrupts

abstract: The hardware/software boundary in modern heterogeneous multicore computers is increasingly complex, and diverse across different platforms. A single memory access by a core or DMA engine traverses multiple hardware translation and caching steps, and the destination memory cell or register often appears at different physical addresses for different cores. Interrupts pass through a complex topology of interrupt controllers and remappers before delivery to one or more cores, each with specific constraints on their configurations. System software must not only correctly understand the specific hardware at hand, but also configure it appropriately at runtime. We propose a formal model of address spaces and resources in a system that allows us to express and verify invariants of the system's runtime configuration, and illustrate (and motivate) it with several real platforms we have encountered in the process of OS implementation.


title: Modelling and Verification of a Cluster-tree Formation Protocol Implementation for the IEEE 802.15.4 TSCH MAC Operation Mode

abstract: Correct and efficient initialization of wireless sensor networks can be challenging in the face of many uncertainties present in ad hoc wireless networks. In this paper we examine an implementation for the formation of a cluster-tree topology in a network which operates on top of the TSCH MAC operation mode of the IEEE 802.15.4 standard, and investigate it using formal methods. We show how both the mCRL2 language and toolset help us in identifying scenarios where the implementation does not form a proper topology. More importantly, our analysis leads to the conclusion that the cluster-tree formation algorithm has a super linear time complexity. So, it does not scale to large networks.


title: A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm

abstract: We present a term rewrite system that formally models the Message Authenticator Algorithm (MAA), which was one of the first cryptographic functions for computing a Message Authentication Code and was adopted, between 1987 and 2001, in international standards (ISO 8730 and ISO 8731-2) to ensure the authenticity and integrity of banking transactions. Our term rewrite system is large (13 sorts, 18 constructors, 644 non-constructors, and 684 rewrite rules), confluent, and terminating. Implementations in thirteen different languages have been automatically derived from this model and used to validate 200 official test vectors for the MAA.


title: Modelling of Autosar Libraries for Large Scale Testing

abstract: We demonstrate a specific method and technology for model-based testing of large software projects with the QuickCheck tool using property-based specifications. Our specifications are very precise, state-full models of the software under test (SUT). In our approach we define (a) formal descriptions of valid function call sequences (public API), (b) postconditions that check the validity of each call, and (c) call-out specifications that define and validate external system interactions (SUT calling external API). The QuickCheck tool automatically generates and executes tests from these specifications. Commercially, this method and tool have been used to test large parts of the industrially developed automotive libraries based on the Autosar standard. In this paper, we exemplify our approach with a circular buffer specified by Autosar, to demonstrate the capabilities of the model-based testing method of QuickCheck. Our example is small compared to the commercial QuickCheck models, but faithfully addresses many of the same challenges.


title: A Benchmark on Reliability of Complex Discrete Systems: Emergency Power Supply of a Nuclear Power Plant

abstract: This paper contains two parts: the description of a real electrical system, with many redundancies, reconfigurations and repairs, then the description of a reliability model of this system, based on the BDMP (Boolean logic Driven Markov Processes) formalism and partial results of a reliability and availability calculation made from this model.


title: A Model-Derivation Framework for Software Analysis

abstract: Model-based verification allows to express behavioral correctness conditions like the validity of execution states, boundaries of variables or timing at a high level of abstraction and affirm that they are satisfied by a software system. However, this requires expressive models which are difficult and cumbersome to create and maintain by hand. This paper presents a framework that automatically derives behavioral models from real-sized Java programs. Our framework builds on the EMF/ECore technology and provides a tool that creates an initial model from Java bytecode, as well as a series of transformations that simplify the model and eventually output a timed-automata model that can be processed by a model checker such as UPPAAL. The framework has the following properties: (1) consistency of models with software, (2) extensibility of the model derivation process, (3) scalability and (4) expressiveness of models. We report several case studies to validate how our framework satisfies these properties.


title: The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark

abstract: The multiway rendezvous introduced in Theoretical CSP is a powerful paradigm to achieve synchronization and communication among a group of (possibly more than two) processes. We illustrate the advantages of this paradigm on the production cell benchmark, a model of a real metal processing plant, for which we propose a compositional software controller, which is written in LNT and LOTOS, and makes intensive use of the multiway rendezvous.


title: Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems

abstract: Cell injection is a technique in the domain of biological cell micro-manipulation for the delivery of small volumes of samples into the suspended or adherent cells. It has been widely applied in various areas, such as gene injection, in-vitro fertilization (IVF), intracytoplasmic sperm injection (ISCI) and drug development. However, the existing manual and semi-automated cell injection systems require lengthy training and suffer from high probability of contamination and low success rate. In the recently introduced fully automated cell injection systems, the injection force plays a vital role in the success of the process since even a tiny excessive force can destroy the membrane or tissue of the biological cell. Traditionally, the force control algorithms are analyzed using simulation, which is inherently non-exhaustive and incomplete in terms of detecting system failures. Moreover, the uncertainties in the system are generally ignored in the analysis. To overcome these limitations, we present a formal analysis methodology based on probabilistic model checking to analyze a robotic cell injection system utilizing the impedance force control algorithm. The proposed methodology, developed using the PRISM model checker, allowed to find a discrepancy in the algorithm, which was not found by any of the previous analysis using the traditional methods.


title: Mutually enhancing light emission between plasmonic nanostructures and fluorescent emitters

abstract: We demonstrate that the fluorescent emitters can increase light emission from the plasmonic nanostructures in turn. With the help of atomic force microscopy, a hybrid system consisting of a fluorescent nanodiamond and a gold nanoparticle was assembled step-by-step for in situ optical measurements. We found that the emission from the nanoparticle increased compared with that before coupling. The interaction between plasmonic nanostructures and fluorescent emitter was understood as an entity based on the concept of a quantized optical cavity by considering the nanodiamond and the nanoparticle as a two-level energy system and a nanoresonator, respectively. The theoretical calculations reveal that both the plasmonic coupling effect and the dielectric nanoantenna effect contribute to the enhancement of light emission from the gold nanoparticles.


title: Lensing of Fast Radio Bursts by Plasma Structures in Host Galaxies

abstract: Plasma lenses in the host galaxies of fast radio bursts (FRBs) can strongly modulate FRB amplitudes for a wide range of distances, including the $\sim $ Gpc distance of the repeater FRB121102. To produce caustics, the lens' dispersion-measure depth (${\rm DM}_{\ell}$), scale size ($a$), and distance from the source ($d_{\rm sl}$) must satisfy ${\rm DM}_{\ell} d_{\rm sl} / a^2 \gtrsim 0.65~ {\rm pc^2 \ AU^{-2} \ cm^{-3}}$. Caustics produce strong magnifications ($\lesssim 10^2$) on short time scales ($\sim$ hours to days and perhaps shorter) along with narrow, epoch dependent spectral peaks (0.1 to 1~GHz). However, strong suppression also occurs in long-duration ($\sim$ months) troughs. For geometries that produce multiple images, the resulting burst components will arrive differentially by $< 1~\mu$s to tens of ms and they will show different apparent dispersion measures, $\delta{\rm DM}_{\rm apparent} \sim 1$ pc cm$^{-3}$. Arrival time perturbations may mask any underlying periodicity with period $\lesssim 1$ s. When arrival times differ by less than the burst width, interference effects in dynamic spectra are expected. Strong lensing requires source sizes smaller than $({\rm Fresnel~scale)^2} / a$, which can be satisfied by compact objects such as neutron star magnetospheres but not by AGNs. Much of the phenomenology of the repeating fast radio burst source FRB121102 is similar to lensing effects. The overall picture can be tested by obtaining wideband spectra of bursts (from $<1$ to 10 GHz and possibly higher), which can also be used to characterize the plasma environment near FRB sources. A rich variety of phenomena is expected from an ensemble of lenses near the FRB source. We discuss constraints on densities, magnetic fields, and locations of plasma lenses related to requirements for lensing to occur.


title: Disaggregated Benders decomposition and lazy constraints for solving the budget-constrained dynamic uncapacitated facility location and network design problem

abstract: We present an approach for solving to optimality the budget-constrained Dynamic Uncapacitated Facility Location and Network Design problem (DUFLNDP). This is a problem where a network must be constructed or expanded and facilities placed in the network, subject to a budget, in order to satisfy a number of demands. With the demands satisfied, the objective is to minimise the running cost of the network and the cost of moving demands to facilities. The problem can be disaggregated over two different sets simultaneously, leading to many smaller models which can be solved more easily. Using disaggregated Benders decomposition and lazy constraints, we solve many instances to optimality that have not previously been solved. We use an analytic procedure to generate Benders optimality cuts which are provably Pareto-optimal.


title: The Apparently Decaying Orbit of WASP-12

abstract: We present new transit and occultation times for the hot Jupiter WASP-12b. The data are compatible with a constant period derivative: $\dot{P}=-29 \pm 3$ ms yr$^{-1}$ and $P/\dot{P}= 3.2$ Myr. However, it is difficult to tell whether we have observed orbital decay, or a portion of a 14-year apsidal precession cycle. If interpreted as decay, the star's tidal quality parameter $Q_\star$ is about $2\times 10^5$. If interpreted as precession, the planet's Love number is $0.44\pm 0.10$. Orbital decay appears to be the more parsimonious model: it is favored by $\Delta\chi^2=5.5$ despite having two fewer free parameters than the precession model. The decay model implies that WASP-12 was discovered within the final $\sim$0.2% of its existence, which is an unlikely coincidence but harmonizes with independent evidence that the planet is nearing disruption. Precession does not invoke any temporal coincidence, but does require some mechanism to maintain an eccentricity of $\approx$0.002 in the face of rapid tidal circularization. To distinguish unequivocally between decay and precession will probably require a few more years of monitoring. Particularly helpful will be occultation timing in 2019 and thereafter.


title: Nondivergence elliptic and parabolic problems with irregular obstacles

abstract: We prove the natural weighted Calder\'{o}n and Zygmund estimates for solutions to elliptic and parabolic obstacle problems in nondivergence form with discontinuous coefficients and irregular obstacles. We also obtain Morrey regularity results for the Hessian of the solutions and H\"{o}lder continuity of the gradient of the solutions.


title: On a topology property for the moduli space of Kapustin-Witten equations

abstract: In this article, we study the Kapustin-Witten equations on a closed, simply-connected, four-dimensional manifold which were introduced by Kapustin and Witten. We use the Taubes' compactness theorem in arXiv:1307.6447v4 to prove that if $(A,\phi)$ is a smooth solution of Kapustin-Witten equations and the connection $A$ is closed to a $generic$ ASD connection $A_{\infty}$, then $(A,\phi)$ must be a trivial solution. We also prove that the moduli space of the solutions of Kapustin-Witten equations is non-connected if the connections on the compactification of moduli space of ASD connections are all $generic$. At last, we extend the results for the Kapustin-Witten equations to other equations on gauge theory such as the Hitchin-Simpson equations and Vafa-Witten on a compact K\"{a}hler surface.


title: Learning Cooperative Visual Dialog Agents with Deep Reinforcement Learning

abstract: We introduce the first goal-driven training for visual question answering and dialog agents. Specifically, we pose a cooperative 'image guessing' game between two agents -- Qbot and Abot -- who communicate in natural language dialog so that Qbot can select an unseen image from a lineup of images. We use deep reinforcement learning (RL) to learn the policies of these agents end-to-end -- from pixels to multi-agent multi-round dialog to game reward. We demonstrate two experimental results. First, as a 'sanity check' demonstration of pure RL (from scratch), we show results on a synthetic world, where the agents communicate in ungrounded vocabulary, i.e., symbols with no pre-specified meanings (X, Y, Z). We find that two bots invent their own communication protocol and start using certain symbols to ask/answer about certain visual attributes (shape/color/style). Thus, we demonstrate the emergence of grounded language and communication among 'visual' dialog agents with no human supervision. Second, we conduct large-scale real-image experiments on the VisDial dataset, where we pretrain with supervised dialog data and show that the RL 'fine-tuned' agents significantly outperform SL agents. Interestingly, the RL Qbot learns to ask questions that Abot is good at, ultimately resulting in more informative dialog and a better team.


title: The Cryptographic Implications of the LinkedIn Data Breach

abstract: Data security and personal privacy are difficult to maintain in the Internet age. In 2012, professional networking site LinkedIn suffered a breach, compromising the login of over 100 million accounts. The passwords were cracked and sold online, exposing the authentication credentials millions of users. This manuscript dissects the cryptographic failures implicated in the breach, and explores more secure methods of storing passwords.


title: Paper2vec: Citation-Context Based Document Distributed Representation for Scholar Recommendation

abstract: Due to the availability of references of research papers and the rich information contained in papers, various citation analysis approaches have been proposed to identify similar documents for scholar recommendation. Despite of the success of previous approaches, they are, however, based on co-occurrence of items. Once there are no co-occurrence items available in documents, they will not work well. Inspired by distributed representations of words in the literature of natural language processing, we propose a novel approach to measuring the similarity of papers based on distributed representations learned from the citation context of papers. We view the set of papers as the vocabulary, define the weighted citation context of papers, and convert it to weight matrix similar to the word-word cooccurrence matrix in natural language processing. After that we explore a variant of matrix factorization approach to train distributed representations of papers on the matrix, and leverage the distributed representations to measure similarities of papers. In the experiment, we exhibit that our approach outperforms state-of-theart citation-based approaches by 25%, and better than other distributed representation based methods.


title: New electromagnetic memories and soft photon theorems

abstract: In this paper, we present a new type of electromagnetic memory. It is a `magnetic' type, or B mode, radiation memory effect. Rather than a residual velocity, we find a position displacement of a charged particle induced by the B mode radiation with memory. We find two types of electromagnetic displacement (ordinary and null). We also show that the null electromagnetic memory formulas are nothing but a Fourier transformation of soft photon theorems.


title: Correspondence between Entanglement Growth and Probability Distribution of Quasi-Particles

abstract: We study the excess of (Renyi) entanglement entropy in various free field theories for the locally excited states defined by acting with local operators on the ground state. It is defined by subtracting the entropy for the ground state from the one for the excited state. Here the spacetime dimension is greater than or equal to 4. We find a correspondence between entanglement and a probability. The probability with which a quasi-particle exists in a subregion gives the excess of the entropy. We also propose a toy model which reproduces the excess in the replica method. In this model, a quasi-particle created by a local operator propagates freely and its probability distribution gives the excess.


title: Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures

abstract: These are the proceedings of the 14th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA). The workshop was held on April 22, 2017 in Uppsala (Sweden) as a satellite event to the European Joint Conference on Theory and Practice of Software (ETAPS'17). The aim of the FESCA workshop is to bring together junior researchers from formal methods, software engineering, and industry interested in the development and application of formal modelling approaches as well as associated analysis and reasoning techniques with practical benefits for software engineering. In recent years, the growing importance of functional correctness and the increased relevance of system quality properties (e.g. performance, reliability, security) have stimulated the emergence of analytical and modelling techniques for the design and development of software systems. With the increasing complexity and utilization of today's software systems, FESCA aims at addressing two research questions: (1) what role is played by the software design phase in the systematic addressing of the analytical and modelling challenges, and (2) how can formal and semi-formal techniques be effectively applied to make the issues easier to address automatically, with lower human intervention.


title: Solution of the eta-4He problem with quasi-particle formalism

abstract: The Alt-Grassberger-Sandhas equations for the five-body eta-4N problem are solved for the case of the driving eta N and NN potentials limited to s-waves. The quasi-particle (Schmidt) method is employed to convert the equations into the effective two-body form. Numerical results are presented for the eta-4He scattering length.


title: Fast Sequential Decoding of Polar Codes

abstract: A new score function is proposed for stack decoding of polar codes, which enables one to accurately compare paths of different lengths. The proposed score function includes bias, which reflects the average behaviour of the correct path. This enables significant complexity reduction with respect to the original stack algorithm at the expense of a negligible performance loss.


title: Imparity in valley population for single layer transition metal dichalcogenides under elliptical polarization

abstract: The illumination of a single-layer transition metal dichalcogenide with an elliptically-polarized light beam is shown to give rise to a differential rate of inter-band carrier excitation between the valence and conduction states around the valley edges, $ K $ and $ K^{'} $. This rate with a linear dependence on the beam ellipticity and inverse of the optical gap manifests as an asymmetric Fermi distribution between the valleys or a non-equilibrium population which under an external field and a Berry curvature induced anomalous velocity results in an externally tunable finite valley Hall current. Surface imperfections that influence the excitation rates are included through the self-consistent Born approximation. Additionally, we show that circular dichroism in the vicinity of the valley edges also exhibits an ellipticity dependence.


title: A barotropic model of eddy saturation

abstract: "Eddy saturation" refers to a regime in which the total volume transport of an oceanic current is insensitive to the wind stress strength. Baroclinicity is currently believed to be key to the development of an eddy-saturated state. In this paper, it is shown that eddy saturation can also occur in a purely barotropic flow over topography, without baroclinicity. Thus, eddy saturation is a fundamental property of barotropic dynamics above topography. It is demonstrated that the main factor controlling the appearance or not of eddy-saturated states in the barotropic setting is the structure of geostrophic contours, that is the contours of $f/H$ of the ratio of the Coriolis parameter to the ocean's depth. Eddy-saturated states occur when the geostrophic contours are open, that is when the geostrophic contours span the whole zonal extent of the domain. This minimal requirement for eddy-saturated states is demonstrated using numerical integrations of a single-layer quasi-geostrophic flow over two different topographies characterized by either open or closed geostrophic contours with parameter values loosely inspired by the Southern Ocean. In this setting, transient eddies are produced through a barotropic-topographic instability that occurs due tot the interaction of the large-scale zonal flow with the topography. Through the study of this barotropic-topographic instability insight is gained on how eddy-saturated states are established.


title: On the normalized Laplacian spectra of some subdivision joins of two graphs

abstract: For two simple graphs $G_1$ and $G_2$, we denote the subdivision-vertex join and subdivision-edge join of $G_1$ and $G_2$ by $G_1\dot{\vee}G_2$ and $G_1\veebar G_2$, respectively. This paper determines the normalized Laplacian spectra of $G_1\dot{\vee}G_2$ and $G_1\veebar G_2$ in terms of these of $G_1$ and $G_2$ whenever $G_1$ and $G_2$ are regular. As applications, we construct some non-regular normalized Laplacian cospectral graphs. Besides we also compute the number of spanning trees and the degree-Kirchhoff index of $G_1\dot{\vee}G_2$ and $G_1\veebar G_2$ for regular graphs $G_1$ and $G_2$.


title: Full-Duplex Cooperative Cognitive Radio Networks with Wireless Energy Harvesting

abstract: This paper proposes and analyzes a new full-duplex (FD) cooperative cognitive radio network with wireless energy harvesting (EH). We consider that the secondary receiver is equipped with a FD radio and acts as a FD hybrid access point (HAP), which aims to collect information from its associated EH secondary transmitter (ST) and relay the signals. The ST is assumed to be equipped with an EH unit and a rechargeable battery such that it can harvest and accumulate energy from radio frequency (RF) signals transmitted by the primary transmitter (PT) and the HAP. We develop a novel cooperative spectrum sharing (CSS) protocol for the considered system. In the proposed protocol, thanks to its FD capability, the HAP can receive the PT's signals and transmit energy-bearing signals to charge the ST simultaneously, or forward the PT's signals and receive the ST's signals at the same time. We derive analytical expressions for the achievable throughput of both primary and secondary links by characterizing the dynamic charging/discharging behaviors of the ST battery as a finite-state Markov chain. We present numerical results to validate our theoretical analysis and demonstrate the merits of the proposed protocol over its non-cooperative counterpart.


title: Artificial Intelligence and Economic Theories

abstract: The advent of artificial intelligence has changed many disciplines such as engineering, social science and economics. Artificial intelligence is a computational technique which is inspired by natural intelligence such as the swarming of birds, the working of the brain and the pathfinding of the ants. These techniques have impact on economic theories. This book studies the impact of artificial intelligence on economic theories, a subject that has not been extensively studied. The theories that are considered are: demand and supply, asymmetrical information, pricing, rational choice, rational expectation, game theory, efficient market hypotheses, mechanism design, prospect, bounded rationality, portfolio theory, rational counterfactual and causality. The benefit of this book is that it evaluates existing theories of economics and update them based on the developments in artificial intelligence field.


title: Correction to the paper "Some remarks on Davie's uniqueness theorem"

abstract: The property 4 in Proposition 2.3 from the paper "Some remarks on Davie's uniqueness theorem" is replaced with a weaker assertion which is sufficient for the proof of the main results. Technical details and improvements are given.


title: Lagrangian and Hamiltonian Taylor Variational Integrators

abstract: In this paper, we present a variational integrator that is based on an approximation of the Euler--Lagrange boundary-value problem via Taylor's method. This can viewed as a special case of the shooting-based variational integrator. The Taylor variational integrator exploits the structure of the Taylor method, which results in a shooting method that is one order higher compared to other shooting methods based on a one-step method of the same order. In addition, this method can generate quadrature nodal evaluations at the cost of a polynomial evaluation, which may increase its efficiency relative to other shooting-based variational integrators. A symmetric version of the method is proposed, and numerical experiments are conducted to exhibit the efficacy and efficiency of the method.


title: Triply periodic zero mean curvature surfaces in Lorentz-Minkowski 3-space

abstract: We construct triply periodic zero mean curvature surfaces of mixed type in the Lorentz-Minkowski 3-space, with the same topology as the triply periodic minimal surfaces in the Euclidean 3-space, called Schwarz rPD surfaces.


title: Spin-wave excitations in the SDW state of doped iron pnictides

abstract: We investigate the spin-wave excitations in the spin-density wave state of doped iron pnictides within a five-orbital model. We find that the excitations along ($\pi, 0$)$\rightarrow$($\pi, \pi$) are very sensitive to the doping whereas they do not exhibit a similar sensitivity along ($0, 0$) $\rightarrow$ ($\pi, 0$). Secondly, anisotropy in the excitations around ($\pi, 0$) with an elliptical shape grows on moving towards the hole-doped region for low energy, whereas it decreases for the high-energy excitations on the contrary. Thirdly, spin-wave spectral weight shifts towards the low-energy region on moving away from zero doping. We find these features to be in qualitative agreement with the inelastic neutron-scattering measurements for the doped pnictides.


title: Dual Lasso Selector

abstract: We consider the problem of model selection and estimation in sparse high dimensional linear regression models with strongly correlated variables. First, we study the theoretical properties of the dual Lasso solution, and we show that joint consideration of the Lasso primal and its dual solutions are useful for selecting correlated active variables. Second, we argue that correlations among active predictors are not problematic, and we derive a new weaker condition on the design matrix, called Pseudo Irrepresentable Condition (PIC). Third, we present a new variable selection procedure, Dual Lasso Selector, and we prove that the PIC is a necessary and sufficient condition for consistent variable selection for the proposed method. Finally, by combining the dual Lasso selector further with the Ridge estimation even better prediction performance is achieved. We call the combination (DLSelect+Ridge), it can be viewed as a new combined approach for inference in high-dimensional regression models with correlated variables. We illustrate DLSelect+Ridge method and compare it with popular existing methods in terms of variable selection, prediction accuracy, estimation accuracy and computation speed by considering various simulated and real data examples.


title: A New Class of Discrete-time Stochastic Volatility Model with Correlated Errors

abstract: In an efficient stock market, the returns and their time-dependent volatility are often jointly modeled by stochastic volatility models (SVMs). Over the last few decades several SVMs have been proposed to adequately capture the defining features of the relationship between the return and its volatility. Among one of the earliest SVM, Taylor (1982) proposed a hierarchical model, where the current return is a function of the current latent volatility, which is further modeled as an auto-regressive process. In an attempt to make the SVMs more appropriate for complex realistic market behavior, a leverage parameter was introduced in the Taylor SVM, which however led to the violation of the efficient market hypothesis (EMH, a necessary mean-zero condition for the return distribution that prevents arbitrage possibilities). Subsequently, a host of alternative SVMs had been developed and are currently in use. In this paper, we propose mean-corrections for several generalizations of Taylor SVM that capture the complex market behavior as well as satisfy EMH. We also establish a few theoretical results to characterize the key desirable features of these models, and present comparison with other popular competitors. Furthermore, four real-life examples (Oil price, CITI bank stock price, Euro-USD rate, and S&P 500 index returns) have been used to demonstrate the performance of this new class of SVMs.


title: Algorithm for Optimization and Interpolation based on Hyponormality

abstract: On one hand, consider the problem of finding global solutions to a polynomial optimization problem and, on the other hand, consider the problem of interpolating a set of points with a complex exponential function. This paper proposes a single algorithm to address both problems. It draws on the notion of hyponormality in operator theory. Concerning optimization, it seems to be the first algorithm that is capable of extracting global solutions from a polynomial optimization problem where the variables and data are complex numbers. It also applies to real polynomial optimization, a special case of complex polynomial optimization, and thus extends the work of Henrion and Lasserre implemented in GloptiPoly. Concerning interpolation, the algorithm provides an alternative to Prony's method based on the Autonne-Takagi factorization and it avoids solving a Vandermonde system. The algorithm and its proof are based exclusively on linear algebra. They are devoid of notions from algebraic geometry, contrary to existing methods for interpolation. The algorithm is tested on a series of examples, each illustrating a different facet of the approach. One of the examples demonstrates that hyponormality can be enforced numerically to strenghten a convex relaxation and to force its solution to have rank one.


title: Near-optimal bounds for phase synchronization

abstract: The problem of phase synchronization is to estimate the phases (angles) of a complex unit-modulus vector $z$ from their noisy pairwise relative measurements $C = zz^* + \sigma W$, where $W$ is a complex-valued Gaussian random matrix. The maximum likelihood estimator (MLE) is a solution to a unit-modulus constrained quadratic programming problem, which is nonconvex. Existing works have proposed polynomial-time algorithms such as a semidefinite relaxation (SDP) approach or the generalized power method (GPM) to solve it. Numerical experiments suggest both of these methods succeed with high probability for $\sigma$ up to $\tilde{\mathcal{O}}(n^{1/2})$, yet, existing analyses only confirm this observation for $\sigma$ up to $\mathcal{O}(n^{1/4})$. In this paper, we bridge the gap, by proving SDP is tight for $\sigma = \mathcal{O}(\sqrt{n /\log n})$, and GPM converges to the global optimum under the same regime. Moreover, we establish a linear convergence rate for GPM, and derive a tighter $\ell_\infty$ bound for the MLE. A novel technique we develop in this paper is to track (theoretically) $n$ closely related sequences of iterates, in addition to the sequence of iterates GPM actually produces. As a by-product, we obtain an $\ell_\infty$ perturbation bound for leading eigenvectors. Our result also confirms intuitions that use techniques from statistical mechanics.


title: Mass Conservative and Energy Stable Finite Difference Methods for the Quasi-incompressible Navier-Stokes-Cahn-Hilliard system: Primitive Variable and Projection-Type Schemes

abstract: In this paper we describe two fully mass conservative, energy stable, finite difference methods on a staggered grid for the quasi-incompressible Navier-Stokes-Cahn-Hilliard (q-NSCH) system governing a binary incompressible fluid flow with variable density and viscosity. Both methods, namely the primitive method (finite difference method in the primitive variable formulation) and the projection method (finite difference method in a projection-type formulation), are so designed that the mass of the binary fluid is preserved, and the energy of the system equations is always non-increasing in time at the fully discrete level. We also present an efficient, practical nonlinear multigrid method - comprised of a standard FAS method for the Cahn-Hilliard equation, and a method based on the Vanka-type smoothing strategy for the Navier-Stokes equation - for solving these equations. We test the scheme in the context of Capillary Waves, rising droplets and Rayleigh-Taylor instability. Quantitative comparisons are made with existing analytical solutions or previous numerical results that validate the accuracy of our numerical schemes. Moreover, in all cases, mass of the single component and the binary fluid was conserved up to 10 to -8 and energy decreases in time.


title: A quantum correlated twin atom laser from a Bose-Hubbard system

abstract: We propose and evaluate a method to construct a quantum correlated twin atom laser using a pumped and damped Bose-Hubbard inline trimer which can operate in a stationary regime. With pumping via a source condensate filling the middle well and damping using either an electron beam or optical means at the two end wells, we show that bipartite quantum correlations build up between the ends of the chain, and that these can be measured either in situ or in the outcoupled beams. While nothing similar to our system has yet been achieved experimentally, recent advances mean that it should be practically realisable in the near future.


title: On two new means of two arguments III

abstract: In this paper authors establish the two sided inequalities for the following two new means $$X=X(a,b)=Ae^{G/P-1},\quad Y=Y(a,b)=Ge^{L/A-1}.$$ As well as many other well known inequalities involving the identric mean $I$ and the logarithmic mean are refined from the literature as an application.


title: Linear representations of 3-manifold groups over rings

abstract: The fundamental groups of compact 3-manifolds are known to be residually finite. Feng Luo conjectured that a stronger statement is true, by only allowing finite groups of the form $PGL(2,R),$ where $R$ is some finite commutative ring with identity. We give an equivalent formulation of Luo's conjecture via faithful representations and provide various examples and a counterexample.


title: Asymptotic performance of PCA for high-dimensional heteroscedastic data

abstract: Principal Component Analysis (PCA) is a classical method for reducing the dimensionality of data by projecting them onto a subspace that captures most of their variation. Effective use of PCA in modern applications requires understanding its performance for data that are both high-dimensional and heteroscedastic. This paper analyzes the statistical performance of PCA in this setting, i.e., for high-dimensional data drawn from a low-dimensional subspace and degraded by heteroscedastic noise. We provide simplified expressions for the asymptotic PCA recovery of the underlying subspace, subspace amplitudes and subspace coefficients; the expressions enable both easy and efficient calculation and reasoning about the performance of PCA. We exploit the structure of these expressions to show that, for a fixed average noise variance, the asymptotic recovery of PCA for heteroscedastic data is always worse than that for homoscedastic data (i.e., for noise variances that are equal across samples). Hence, while average noise variance is often a practically convenient measure for the overall quality of data, it gives an overly optimistic estimate of the performance of PCA for heteroscedastic data.


title: Power Beacon-Assisted Millimeter Wave Ad Hoc Networks

abstract: Deployment of low cost power beacons (PBs) is a promising solution for dedicated wireless power transfer (WPT) in future wireless networks. In this paper, we present a tractable model for PB-assisted millimeter wave (mmWave) wireless ad hoc networks, where each transmitter (TX) harvests energy from all PBs and then uses the harvested energy to transmit information to its desired receiver. Our model accounts for realistic aspects of WPT and mmWave transmissions, such as power circuit activation threshold, allowed maximum harvested power, maximum transmit power, beamforming and blockage. Using stochastic geometry, we obtain the Laplace transform of the aggregate received power at the TX to calculate the power coverage probability. We approximate and discretize the transmit power of each TX into a finite number of discrete power levels in log scale to compute the channel and total coverage probability. We compare our analytical predictions to simulations and observe good accuracy. The proposed model allows insights into effect of system parameters, such as transmit power of PBs, PB density, main lobe beam-width and power circuit activation threshold on the overall coverage probability. The results confirm that it is feasible and safe to power TXs in a mmWave ad hoc network using PBs.


title: Cyclohedron and Kantorovich-Rubinstein polytopes

abstract: We show that the cyclohedron (Bott-Taubes polytope) $W_n$ arises as the dual of a Kantorovich-Rubinstein polytope $KR(\rho)$, where $\rho$ is a quasi-metric (asymmetric distance function) satisfying strict triangle inequality. From a broader perspective, this phenomenon illustrates the relationship between a nestohedron $\Delta_{\mathcal{\widehat{F}}}$ (associated to a building set $\mathcal{\widehat{F}}$) and its non-simple deformation $\Delta_{\mathcal{F}}$, where $\mathcal{F}$ is an `irredundant' or `tight basis' of $\mathcal{\widehat{F}}$. Among the consequences are a new proof of a recent result of Gordon and Petrov (arXiv:1608.06848 [math.CO]) about $f$-vectors of generic Kantorovich-Rubinstein polytopes and an extension of a theorem of Gelfand, Graev, and Postnikov, about triangulations of the type A, positive root polytopes.


title: Solving Systems of Linear Equations with a Superconducting Quantum Processor

abstract: Superconducting quantum circuits are promising candidate for building scalable quantum computers. Here, we use a four-qubit superconducting quantum processor to solve a two-dimensional system of linear equations based on a quantum algorithm proposed by Harrow, Hassidim, and Lloyd [Phys. Rev. Lett. \textbf{103}, 150502 (2009)], which promises an exponential speedup over classical algorithms under certain circumstances. We benchmark the solver with quantum inputs and outputs, and characterize it by non-trace-preserving quantum process tomography, which yields a process fidelity of $0.837\pm0.006$. Our results highlight the potential of superconducting quantum circuits for applications in solving large-scale linear systems, a ubiquitous task in science and engineering.


title: Binary black hole mergers from field triples: properties, rates and the impact of stellar evolution

abstract: We consider the formation of binary black hole mergers through the evolution of field massive triple stars. In this scenario, favorable conditions for the inspiral of a black hole binary are initiated by its gravitational interaction with a distant companion, rather than by a common-envelope phase invoked in standard binary evolution models. We use a code that follows self-consistently the evolution of massive triple stars, combining the secular triple dynamics (Lidov-Kozai cycles) with stellar evolution. After a black hole triple is formed, its dynamical evolution is computed using either the orbit-averaged equations of motion, or a high-precision direct integrator for triples with weaker hierarchies for which the secular perturbation theory breaks down. Most black hole mergers in our models are produced in the latter non-secular dynamical regime. We derive the properties of the merging binaries and compute a black hole merger rate in the range (0.3- 1.3) Gpc^{-3}yr^{-1}, or up to ~2.5Gpc^{-3}yr^{-1} if the black hole orbital planes have initially random orientation. Finally, we show that black hole mergers from the triple channel have significantly higher eccentricities than those formed through the evolution of massive binaries or in dense star clusters. Measured eccentricities could therefore be used to uniquely identify binary mergers formed through the evolution of triple stars. While our results suggest up to ~10 detections per year with Advanced-LIGO, the high eccentricities could render the merging binaries harder to detect with planned space based interferometers such as LISA.


title: Superspace and global stability in General Relativity

abstract: A framework is developed enabling the global analysis of the stability of cosmological models using the local geometric characteristics of the infinite-dimensional superspace, i.e. using the generalised Jacobi equation reformulated for pseudo-Riemannian manifolds. We give a direct formalism for dynamical analysis in the superspace, the requisite equation pertinent for stability analysis of the universe by means of generalized covariant and Fermi derivative is derived. Then, the relevant definitions and formulae are retrieved for cosmological models with a scalar field.


title: Hall universal group has ample generic automorphisms

abstract: We show that the automorphism group of Philip Hall's universal locally finite group has ample generics,that is, it admits comeager diagonal conjugacy classes in all dimensions.Consequently, it has the small index property, is not the union of a countable chain of non-open subgroups, and has the automatic continuity property. Also, we discuss some algebraic and topological properties of the automorphism group of Hall universal group. For example, we show that every generic automorphism of Hall universal group is conjugate to all of its powers, and hence has roots of all orders.


title: Random Walk Among Mobile/Immobile Traps: A Short Review

abstract: There have been extensive studies of a random walk among a field of immobile traps (or obstacles), where one is interested in the probability of survival as well as the law of the random walk conditioned on its survival up to time $t$. In contrast, very little is known when the traps are mobile. We will briefly review the literature on the trapping problem with immobile traps, and then review some recent results on a model with mobile traps, where the traps are represented by a Poisson system of independent random walks on ${\mathbb Z}^d$. Some open questions will be given at the end.


title: Twitter100k: A Real-world Dataset for Weakly Supervised Cross-Media Retrieval

abstract: This paper contributes a new large-scale dataset for weakly supervised cross-media retrieval, named Twitter100k. Current datasets, such as Wikipedia, NUS Wide and Flickr30k, have two major limitations. First, these datasets are lacking in content diversity, i.e., only some pre-defined classes are covered. Second, texts in these datasets are written in well-organized language, leading to inconsistency with realistic applications. To overcome these drawbacks, the proposed Twitter100k dataset is characterized by two aspects: 1) it has 100,000 image-text pairs randomly crawled from Twitter and thus has no constraint in the image categories; 2) text in Twitter100k is written in informal language by the users. Since strongly supervised methods leverage the class labels that may be missing in practice, this paper focuses on weakly supervised learning for cross-media retrieval, in which only text-image pairs are exploited during training. We extensively benchmark the performance of four subspace learning methods and three variants of the Correspondence AutoEncoder, along with various text features on Wikipedia, Flickr30k and Twitter100k. Novel insights are provided. As a minor contribution, inspired by the characteristic of Twitter100k, we propose an OCR-based cross-media retrieval method. In experiment, we show that the proposed OCR-based method improves the baseline performance.


title: Shift-Coupling of Random Rooted Graphs and Networks

abstract: In this paper, we present a result similar to the shift-coupling result of Thorisson (1996) in the context of random graphs and networks. The result is that a given random rooted network can be obtained by changing the root of another given one if and only if the distributions of the two agree on the invariant sigma-field. Several applications of the result are presented for the case of unimodular networks. In particular, it is shown that the distribution of a unimodular network is uniquely determined by its restriction to the invariant sigma-filed. Also, the theorem is applied to the existence of an invariant transport kernel that balances between two given (discrete) measures on the vertices. An application is the existence of a so called extra head scheme for the Bernoulli process on an infinite unimodular graph. Moreover, a construction is presented for balancing transport kernels that is a generalization of the Gale-Shapley stable matching algorithm in bipartite graphs. Another application is on a general method that covers the situations where some vertices and edges are added to a unimodular network and then, to make it unimodular, the probability measure is biased and then a new root is selected. It is proved that this method provides all possible unimodularizations in these situations. Finally, analogous existing results for stationary point processes and unimodular networks are discussed in detail.


title: Charmonium production in ultra-peripheral heavy ion collisions with two-photon processes

abstract: We calculate the production of large-pTcharmonium and narrow resonance state (exotic charmonium) in proton-proton, proton-nucleus, and nucleus-nucleus collisions with the semi-coherent two-photon interactions at Relativistic Heavy Ion Collider (RHIC), Large Hadron Collider (LHC), and Future Circular Collider (FCC) energies. Using the large quasi-real photon fluxes, we present the \gamma\gamma->H differential cross section for charmonium and narrow resonance state production at large transverse momentum in ultra-peripheral heavy ion collisions. The numerical results demonstrate that the experimental study of ultra-peripheral col-lisions is feasible at RHIC, LHC, and FCC energies.


title: Anyonic self-induced disorder in a stabilizer code: quasi-many body localization in a translational invariant model

abstract: We enquire into the quasi-many-body localization in topologically ordered states of matter, revolving around the case of Kitaev toric code on ladder geometry, where different types of anyonic defects carry different masses induced by environmental errors. Our study verifies that random arrangement of anyons generates a complex energy landscape solely through braiding statistics, which suffices to suppress the diffusion of defects in such multi-component anyonic liquid. This non-ergodic dynamic suggests a promising scenario for investigation of quasi-many-body localization. Computing standard diagnostics evidences that, in such disorder-free many-body system, a typical initial inhomogeneity of anyons gives birth to a glassy dynamics with an exponentially diverging time scale of the full relaxation. A by-product of this dynamical effect is manifested by the slow growth of entanglement entropy, with characteristic time scales bearing resemblance to those of inhomogeneity relaxation. This setting provides a new platform which paves the way toward impeding logical errors by self-localization of anyons in a generic, high energy state, originated in their exotic statistics.

categories: cond-mat.dis-nn cond-mat.stat-mech cond-mat.str-el quant-ph


title: Approximate functional equation for the derivatives of functions in Selberg class

abstract: Let $F(s)$ be a function belonging to Selberg class. Chandrasekharan and Narasiman proved the approximate functional equation for $F(s)$. In this paper, we shall generalize this formula for the derivatives of $F(s)$.


title: Non-integrability of the Huang--Li nonlinear financial model

abstract: In this paper we consider Huang--Li nonlinear financial system recently studied in the literature. It has the form of three first order differential equations \[ \dot x=z+(y-a)x,\quad \dot y=1-b y-x^2,\quad \dot z=-x-c z, \] where $(a,b,c)$ are real positive parameters. We show that this system is not integrable in the class of functions meromorphic in variables $(x,y,z)$. We give an analytic proof of this fact analysing properties the of differential Galois group of variational equations along certain particular solutions of the system.


title: A point interaction for the discrete Schr\"odinger operator and generalized Chebyshev polynomials

abstract: We consider semi-infinite Jacobi matrices corresponding to a point interaction for the discrete Schr\"odinger operator. Our goal is to find explicit expressions for the spectral measure, the resolvent and other spectral characteristics of such Jacobi matrices. It turns out that their spectral analysis leads to a new class of orthogonal polynomials generalizing the classical Chebyshev polynomials.


title: Non-integrability of the semiclassical Jaynes--Cummings models without the rotating-wave approximation

abstract: Two versions of the semi-classical Jaynes--Cummings model without the rotating wave approximation are investigated. It is shown that for a non-zero value of the coupling constant the version introduced by Belobrov, Zaslavsky, and Tartakovsky is Hamiltonian with respect to a certain degenerated Poisson bracket. Moreover, it is shown that both models are not integrable.


title: Fab Four self-interaction in quantum regime

abstract: Quantum behavior of the John Lagrangian from the Fab Four class of Covariant Galileons is stud- ied. We consider one-loop corrections to the John interaction due to cubic scalar field interactions. Counter Terms are calculated, one of them belongs to the Fab Four class, the other one to Covariant Galileons. The role of quantum corrections in context of cosmological applications is discussed.


title: On Smale's Mean Value Conjecture

abstract: In this paper, we prove Smale's mean value conjecture by making use of quasiconformal deformations and holomorphic motions.


title: Theoretical analysis of the electron bridge process in $^{229}$Th$^{3+}$

abstract: We investigate the deexcitation of the $^{229}$Th nucleus via the excitation of an electron. Detailed calculations are performed for the enhancement of the nuclear decay width due to this so called electron bridge (EB) compared to the direct photoemission from the nucleus. The results are obtianed for triply ionized thorium by using a B-spline pseudo basis approach to solve the Dirac equation for a local $x_\alpha$ potential. This approach allows for an approximation of the full electron propagator including the positive and negative continuum. We show that the contribution of continua slightly increases the enhancement compared to a propagator calculated by a direct summation over bound states. Moreover we put special emphasis on the interference between the direct and exchange Feynman diagrams that can have a strong influence on the enhancement.


title: A block symmetric Gauss-Seidel decomposition theorem for convex composite quadratic programming and its applications

abstract: For a symmetric positive semidefinite linear system of equations $\mathcal{Q} {\bf x} = {\bf b}$, where ${\bf x} = (x_1,\ldots,x_s)$ is partitioned into $s$ blocks, with $s \geq 2$, we show that each cycle of the classical block symmetric Gauss-Seidel (block sGS) method exactly solves the associated quadratic programming (QP) problem but added with an extra proximal term of the form $\frac{1}{2} \| {\bf x}-{\bf x}^k \|_{\mathcal T}^2$, where ${\mathcal T}$ is a symmetric positive semidefinite matrix related to the sGS decomposition and ${\bf x}^k$ is the previous iterate. By leveraging on such a connection to optimization, we are able to extend the result (which we name as the block sGS decomposition theorem) for solving a convex composite QP (CCQP) with an additional possibly nonsmooth term in $x_1$, i.e., $\min\{ p(x_1) + \frac{1}{2}\langle {\bf x},\, \mathcal{Q} {\bf x} \rangle -\langle {\bf b},\, {\bf x}\rangle\}$, where $p(\cdot)$ is a proper closed convex function. Based on the block sGS decomposition theorem, we are able to extend the classical block sGS method to solve a CCQP. In addition, our extended block sGS method has the flexibility of allowing for inexact computation in each step of the block sGS cycle. At the same time, we can also accelerate the inexact block sGS method to achieve an iteration complexity of $O(1/k^2)$ after performing $k$ block sGS cycles. As a {fundamental} building block, the block sGS decomposition theorem has played a key role in various recently developed algorithms such as the inexact semiproximal {ALM/ADMM} for linearly constrained multi-block convex composite conic programming (CCCP), and the accelerated block coordinate descent method for multi-block CCCP.


title: Automatic Text Summarization Approaches to Speed up Topic Model Learning Process

abstract: The number of documents available into Internet moves each day up. For this reason, processing this amount of information effectively and expressibly becomes a major concern for companies and scientists. Methods that represent a textual document by a topic representation are widely used in Information Retrieval (IR) to process big data such as Wikipedia articles. One of the main difficulty in using topic model on huge data collection is related to the material resources (CPU time and memory) required for model estimate. To deal with this issue, we propose to build topic spaces from summarized documents. In this paper, we present a study of topic space representation in the context of big data. The topic space representation behavior is analyzed on different languages. Experiments show that topic spaces estimated from text summaries are as relevant as those estimated from the complete documents. The real advantage of such an approach is the processing time gain: we showed that the processing time can be drastically reduced using summarized documents (more than 60\% in general). This study finally points out the differences between thematic representations of documents depending on the targeted languages such as English or latin languages.


title: Birational characterization of abelian varieties and ordinary abelian varieties in characteristic p>0

abstract: Let $k$ be an algebraically closed field of characteristic $p>0$. We give a birational characterization of ordinary abelian varieties over $k$: a smooth projective variety $X$ is birational to an ordinary abelian variety if and only if $\kappa_S(X)=0$ and $b_1(X)=2 \dim X$. We also give a similar characterization of abelian varieties as well: a smooth projective variety $X$ is birational to an abelian variety if and only if $\kappa(X)=0$, and the Albanese morphism $a: X \to A$ is generically finite. Along the way, we also show that if $\kappa _S (X)=0$ (or if $\kappa(X)=0$ and $a$ is generically finite) then the Albanese morphism $a:X\to A$ is surjective and in particular $\dim A\leq \dim X$.


title: Double Dirac Point Semimetal in Two-Dimensional Material: Ta2Se3

abstract: Here, we report by first-principles calculations one new stable 2D Dirac material, Ta2Se3 monolayer. For this system, stable layered bulk phase exists, and exfoliation should be possible. Ta2Se3 monolayer is demonstrated to support two Dirac points close to the Fermi level, achieving the exotic 2D double Dirac semimetal. And like 2D single Dirac and 2D node-line semimetals, spin-orbit coupling could introduce an insulating state in this new class of 2D Dirac semimetals. Moreover, the Dirac feature in this system is layer-dependent and a metal-to-insulator transition is identified in Ta2Se3 when reducing the layer-thickness from bilayer to monolayer. These findings are of fundamental interests and of great importance for nanoscale device applications.


title: Variational inference for probabilistic Poisson PCA

abstract: Many application domains such as ecology or genomics have to deal with multivariate non Gaussian observations. A typical example is the joint observation of the respective abundances of a set of species in a series of sites, aiming to understand the co-variations between these species. The Gaussian setting provides a canonical way to model such dependencies, but does not apply in general. We consider here the multivariate exponential family framework for which we introduce a generic model with multivariate Gaussian latent variables. We show that approximate maximum likelihood inference can be achieved via a variational algorithm for which gradient descent easily applies. We show that this setting enables us to account for covariates and offsets. We then focus on the case of the Poisson-lognormal model in the context of community ecology. We demonstrate the efficiency of our algorithm on microbial ecology datasets. We illustrate the importance of accounting for the effects of covariates to better understand interactions between species.


title: Superintegrability of the Fock-Darwin system

abstract: The Fock-Darwin system is analysed from the point of view of its symmetry properties in the quantum and classical frameworks. The quantum Fock-Darwin system is known to have two sets of ladder operators, a fact which guarantees its solvability. We show that for rational values of the quotient of two relevant frequencies, this system is superintegrable, the quantum symmetries being responsible for the degeneracy of the energy levels. These symmetries are of higher order and close a polynomial algebra. In the classical case, the ladder operators are replaced by ladder functions and the symmetries by constants of motion. We also prove that the rational classical system is superintegrable and its trajectories are closed. The constants of motion are also generators of symmetry transformations in the phase space that have been integrated for some special cases. These transformations connect different trajectories with the same energy. The coherent states of the quantum superintegrable system are found and they reproduce the closed trajectories of the classical one.


title: A Rescaled Subset of the Alternative Data Release 1 of the TIFR GMRT Sky Survey

abstract: This Rescaled Subset of the Alternative Data Release 1 to the Tata Institute of Fundamental Physics Giant Metrewave Radio Telescope Sky Survey (TGSS-RSADR1) modifies the initial data release of TGSS-ADR1 (Intema et al. 2017) to bring that catalogue to the same flux scale as the extragalactic catalogue from the GaLactic and Extragalactic All-sky Murchison Widefield Array survey (GLEAM: Wayth et al. 2015; Hurley-Walker et al. 2017). In this paper we motivate the derivation of correct and complementary flux density scales, introduce a methodology for correction based on radial basis functions, apply it to TGSS-ADR1, and create a modified catalogue, TGSS-RSADR1. This catalogue comprises 383,589 TGSS-ADR1 sources with updated flux density and flux density uncertainty values, and covers $\mathrm{Declination}\leq+30^\circ$, $|b|\geq10^\circ$, a sky area of 18,800 deg$^2$.


title: A Monte Carlo study of critical properties of strongly diluted magnetic semiconductor (Ga,Mn)As

abstract: Within a Monte Carlo technique we examine critical properties of diluted bulk magnetic semiconductor (Ga,Mn)As modeled by a strongly diluted ferromagnetic Heisenberg spin-$\frac{5}{2}$ system on a face centered cubic lattice. We assumed that 5\% of Ga atoms is substituted by Mn atoms and the interaction between them is of the RKKY-type. The considered system is randomly quenched and a double average was performed: firstly, over the Boltzmann probability distribution and secondly - over 2048 configurations related to the quenched disorder. We estimated the critical temperature: $T_c=97\pm6$ K, which is in agreement with the experiment. The calculated high value of critical exponent $\nu$ seems to point to a possibility of non-universal critical behavior.


title: Extroverts Tweet Differently from Introverts in Weibo

abstract: Being dominant factors driving the human actions, personalities can be excellent indicators in predicting the offline and online behavior of different individuals. However, because of the great expense and inevitable subjectivity in questionnaires and surveys, it is challenging for conventional studies to explore the connection between personality and behavior and gain insights in the context of large amount individuals. Considering the more and more important role of the online social media in daily communications, we argue that the footprint of massive individuals, like tweets in Weibo, can be the inspiring proxy to infer the personality and further understand its functions in shaping the online human behavior. In this study, a map from self-reports of personalities to online profiles of 293 active users in Weibo is established to train a competent machine learning model, which then successfully identifies over 7,000 users as extroverts or introverts. Systematical comparisons from perspectives of tempo-spatial patterns, online activities, emotion expressions and attitudes to virtual honor surprisingly disclose that the extrovert indeed behaves differently from the introvert in Weibo. Our findings provide solid evidence to justify the methodology of employing machine learning to objectively study personalities of massive individuals and shed lights on applications of probing personalities and corresponding behaviors solely through online profiles.


title: Influence of the hadronic phase on observables in ultrarelativistic heavy ion collisions

abstract: The hadronic phase in ultrarelativistic nuclear collisions has a large influence on final state observables like multiplicity, flow and $p_t$ spectra, as studied in the UrQMD approach. In this model one assumes that a non-equilibrium decoupling phase follows a fluid dynamical description of the high density phase. Hadrons are produced assuming local thermal equilibrium and dynamically decouple during the hadronic rescattering until the particles are registered in the detectors. This rescattering of hadrons modifies every hadronic bulk observable. The apparent multiplicity of resonances is suppressed as compared to a chemical equilibrium freeze-out model, because the decay products rescatter. Therefore the resonances, which decay in the early hadronic phase, cannot be identified anymore by the invariant mass method. Stable and unstable particles change their momentum distribution by more than 30$\%$ through rescattering and their multiplicity is modified by resonance production and annihilation on a similar magnitude. These findings show that it is all but trivial to conclude from the final state observables on the properties of the system at an earlier time where it may have been in local equilibrium.


title: $(n,\rho)-$harmonic mappings and energy minimal deformations between annuli

abstract: We extend the main results obtained by Iwaniec and Onninen in Memoirs of the AMS (2012). In the paper it is solved the minimization problem of $(\rho,n)$ energy of Sobolev homeomorphisms between two concentric annuli in the Euclidean space $\mathbf{R}^n$. Here $\rho$ is a radial metric defined in the image annulus. The key of the proofs comes from the solution to the Euler-Lagrange equation for radial harmonic mapping. This is a new contribution on the topic of famous Nitsche conjecture.


title: On Dynamics Generated by a Uniformly Convergent Sequence of Maps

abstract: In this paper, we study the dynamics of a non-autonomous dynamical system $(X,\mathbb{F})$ generated by a sequence $(f_n)$ of continuous self maps converging uniformly to $f$. We relate the dynamics of the non-autonomous system $(X,\mathbb{F})$ with the dynamics of $(X,f)$. We prove that if the family $\mathbb{F}$ commutes with $f$ and $(f_n)$ converges to $f$ at a "sufficiently fast rate", many of the dynamical properties for the systems $(X,\mathbb{F})$ and $(X,f)$ coincide. In the procees we establish equivalence of properties like equicontinuity, minimality and denseness of proximal pairs (cells) for the two systems. In addition, if $\mathbb{F}$ is feeble open, we establish equivalence of properties like transitivity, weak mixing and various forms of sensitivities. We prove that feeble openness of $\mathbb{F}$ is sufficient to establish equivalence of topological mixing for the two systems. We prove that if $\mathbb{F}$ is feeble open, dynamics of the non-autonomous system on a compact interval exhibits any form of mixing if and only if $(X,f)$ exhibits identical form of mixing. We also investigate dense periodicity for the two systems. We give examples to investigate sufficiency/necessity of the conditions imposed. In the process we derive weaker conditions under which the established dynamical relation (between the two systems $(X,\mathbb{F})$ and $(X,f)$) is preserved.


title: Superconductivity above 120 kelvin in a chain link molecule

abstract: The search for new superconducting compounds with higher critical temperatures $T_{c}^{\prime}$s has long been the very heart of scientific research on superconductivity. It took 75 years for scientists to push the $T_{c}$ above liquid nitrogen boiling temperature since the discovery of superconductivity. So far, the record high $T_{c}$ of about 130 K at atmosphere pressure was reported in some multilayer Hg(Tl)-Ba-Ca-Cu-O compounds. Meanwhile, sulfur hydride system holds the highest $T_{c}$ of around 200 K at high pressure of about 150 GPa. While keeping these records for superconductivity, either the toxicity of these superconductors or the requirement of extreme pressure condition for superconductivity limits their technology applications. Here we show that doping a chain link molecule $-$ $p$-terphenyl by potassium can bring about superconductivity at 123 K at atmosphere pressure, which is comparable to the highest $T_{c}$ in cuprates. The easy processability, light weight, durability of plastics, and environmental friendliness of this kind of new superconductor have great potential for the fine-tuning of electrical properties. This study opens a window for exploring high temperature superconductivity in chain link organic molecules.


title: Towards a Quantum World Wide Web

abstract: We elaborate a quantum model for the meaning associated with corpora of written documents, like the pages forming the World Wide Web. To that end, we are guided by how physicists constructed quantum theory for microscopic entities, which unlike classical objects cannot be fully represented in our spatial theater. We suggest that a similar construction needs to be carried out by linguists and computational scientists, to capture the full meaning carried by collections of documental entities. More precisely, we show how to associate a quantum-like 'entity of meaning' to a 'language entity formed by printed documents', considering the latter as the collection of traces that are left by the former, in specific results of search actions that we describe as measurements. In other words, we offer a perspective where a collection of documents, like the Web, is described as the space of manifestation of a more complex entity - the QWeb - which is the object of our modeling, drawing its inspiration from previous studies on operational-realistic approaches to quantum physics and quantum modeling of human cognition and decision-making. We emphasize that a consistent QWeb model needs to account for the observed correlations between words appearing in printed documents, e.g., co-occurrences, as the latter would depend on the 'meaning connections' existing between the concepts that are associated with these words. In that respect, we show that both 'context and interference (quantum) effects' are required to explain the probabilities calculated by counting the relative number of documents containing certain words and co-ocurrrences of words.


title: Solvo-osmotic flow in electrolytic mixtures

abstract: We show that an electric field parallel to an electrically neutral surface can generate flow of electrolytic mixtures in small channels. We term this solvo-osmotic flow, since the flow is induced by the asymmetric preferential solvation of ions at the liquid-solid interface. The generated flow is comparable in magnitude to the ubiquitous electro-osmotic flow at charged surfaces, but for a fixed surface charge density, it differs qualitatively in its dependence on ionic strength. Solvo-osmotic flow can also be sensitively controlled with temperature. We derive a modified Helmholtz-Smoluchowski equation that accounts for these effects.


title: Reoptimization of the Closest Substring Problem under Pattern Length Modification

abstract: This study investigates whether reoptimization can help in solving the closest substring problem. We are dealing with the following reoptimization scenario. Suppose, we have an optimal l-length closest substring of a given set of sequences S. How can this information be beneficial in obtaining an (l+k)-length closest substring for S? In this study, we show that the problem is still computationally hard even with k=1. We present greedy approximation algorithms that make use of the given information and prove that it has an additive error that grows as the parameter k increases. Furthermore, we present hard instances for each algorithm to show that the computed approximation ratio is tight. We also show that we can slightly improve the running-time of the existing polynomial-time approximation scheme (PTAS) for the original problem through reoptimization.


title: A Preferential Attachment Paradox: How Preferential Attachment Combines with Growth to Produce Networks with Log-normal In-degree Distributions

abstract: Every network scientist knows that preferential attachment combines with growth to produce networks with power-law in-degree distributions. How, then, is it possible for the network of American Physical Society journal collection citations to enjoy a log-normal citation distribution when it was found to have grown in accordance with preferential attachment? This anomalous result, which we exalt as the preferential attachment paradox, has remained unexplained since the physicist Sidney Redner first made light of it over a decade ago. Here we propose a resolution. The chief source of the mischief, we contend, lies in Redner having relied on a measurement procedure bereft of the accuracy required to distinguish preferential attachment from another form of attachment that is consistent with a log-normal in-degree distribution. There was a high-accuracy measurement procedure in use at the time, but it would have have been difficult to use it to shed light on the paradox, due to the presence of a systematic error inducing design flaw. In recent years the design flaw had been recognised and corrected. We show that the bringing of the newly corrected measurement procedure to bear on the data leads to a resolution of the paradox.

categories: cs.DL cond-mat.stat-mech physics.data-an stat.AP


title: Triangle angle sums related to translation curves in $\SOL$ geometry

abstract: After having investigated the geodesic and translation triangles and their angle sums in $\NIL$ and $\SLR$ geometries we consider the analogous problem in $\SOL$ space that is one of the eight 3-dimensional Thurston geometries. We analyse the interior angle sums of translation triangles in $\SOL$ geometry and prove that it can be larger or equal than $\pi$. In our work we will use the projective model of $\SOL$ described by E. Moln\'ar in \cite{M97},


title: First results on the Epoch of Reionization from First Light with SARAS 2

abstract: Long wavelength spectral distortions in the Cosmic Microwave Background arising from the 21-cm transition in neutral Hydrogen are a key probe of Cosmic Dawn and the Epoch of Reionization. These features may reveal the nature of the first stars and ultra-faint galaxies that transformed the spin temperature and ionization state of the primordial gas. SARAS~2 is a spectral radiometer purposely designed for precision measurement of these monopole or all-sky global 21-cm spectral distortions. We use 63~hr night time observing of the radio background in the frequency band 110-200~MHz with the radiometer deployed at the Timbaktu Collective in Southern India to derive likelihoods for plausible redshifted 21-cm signals predicted by theoretical models. First light with SARAS 2 disfavors the class of models that feature weak X-ray heating (with $f_X \leq 0.1$) and rapid reionization (with peak $\frac{dT_b}{dz} \geq 120~\textrm{mK per unit redshift interval}$ ).


title: Multi-Dimensional Auction Mechanisms for Crowdsourced Mobile Video Streaming

abstract: Crowdsourced mobile video streaming enables nearby mobile video users to aggregate network resources to improve their video streaming performances. However, users are often selfish and may not be willing to cooperate without proper incentives. Designing an incentive mechanism for such a scenario is challenging due to the users' asynchronous downloading behaviors and their private valuations for multi-bitrate coded videos. In this work, we propose both single-object and multi-object multi-dimensional auction mechanisms, through which users sell the opportunities for downloading single and multiple video segments with multiple bitrates, respectively. Both auction mechanisms can achieves truthfulness (i.e, truthful private information revelation) and efficiency (i.e., social welfare maximization). Simulations with real traces show that crowdsourced mobile streaming facilitated by the auction mechanisms outperforms noncooperative stream ing by 48.6% (on average) in terms of social welfare. To evaluate the real-world performance, we also construct a demo system for crowdsourced mobile streaming and implement our proposed auction mechanism. Experiments over the demo system further show that those users who provide resources to others and those users who receive helps can increase their welfares by 15.5% and 35.4% (on average) via cooperation, respectively.


title: Multiphoton annihilation of monopolium

abstract: We show that due to the large coupling constant of the monopole-photon interaction the annihilation of monopole-antimonopole and monopolium into many photons must be considered experimentally. For monopole-antimonopole annihilation and lightly bound monopolium, even in the less favorable scenario, multi-photon events (four and more photons in the final state) are dominant, while for strongly bound monopolium, although two photon events are important, four and six photon events are also sizable.


title: Verifying thermodynamic equilibrium of molecular manifolds: Kennard-Stepanov spectroscopy of a molecular gas

abstract: The degree of thermalization of electronically excited state manifolds of an absorber can be tested via optical spectroscopy. In the thermalized-manifold case, the ratio of absorption and emission is expected to follow a universal Boltzmann-type frequency scaling, known as the Kennard-Stepanov relation. Here, we investigate absorption and emission spectral profiles of rubidium, cesium, and potassium molecular dimers in a high-pressure argon buffer-gas environment and study the effect of collisionally induced redistribution. We find that, despite the use of nonlinear excitation techniques, the ratio of absorption and emission well follows the Kennard-Stepanov scaling for a variety of molecular transitions. We conclude that the upper electronic state rovibrational manifold of the molecular gas is well in thermodynamic equilibrium. Further, we demonstrate an accurate, calibration-free determination of the gas temperature from the measured spectroscopic data.


title: SlicerAstro: a 3-D interactive visual analytics tool for HI data

abstract: SKA precursors are capable of detecting hundreds of galaxies in HI in a single 12 hours pointing. In deeper surveys one will probe more easily faint HI structures, typically located in the vicinity of galaxies, such as tails, filaments, and extraplanar gas. The importance of interactive visualization has proven to be fundamental for the exploration of such data as it helps users to receive immediate feedback when manipulating the data. We have developed SlicerAstro, a 3-D interactive viewer with new analysis capabilities, based on traditional 2-D input/output hardware. These capabilities enhance the data inspection, allowing faster analysis of complex sources than with traditional tools. SlicerAstro is an open-source extension of 3DSlicer, a multi-platform open source software package for visualization and medical image processing. We demonstrate the capabilities of the current stable binary release of SlicerAstro, which offers the following features: i) handling of FITS files and astronomical coordinate systems; ii) coupled 2-D/3-D visualization; iii) interactive filtering; iv) interactive 3-D masking; v) and interactive 3-D modeling. In addition, SlicerAstro has been designed with a strong, stable and modular C++ core, and its classes are also accessible via Python scripting, allowing great flexibility for user-customized visualization and analysis tasks.


title: Inference-Based Distributed Channel Allocation in Wireless Sensor Networks

abstract: Interference-aware resource allocation of time slots and frequency channels in single-antenna, halfduplex radio wireless sensor networks (WSN) is challenging. Devising distributed algorithms for such task further complicates the problem. This work studiesWSN joint time and frequency channel allocation for a given routing tree, such that: a) allocation is performed in a fully distributed way, i.e., information exchange is only performed among neighboring WSN terminals, within communication up to two hops, and b) detection of potential interfering terminals is simplified and can be practically realized. The algorithm imprints space, time, frequency and radio hardware constraints into a loopy factor graph and performs iterative message passing/ loopy belief propagation (BP) with randomized initial priors. Sufficient conditions for convergence to a valid solution are offered, for the first time in the literature, exploiting the structure of the proposed factor graph. Based on theoretical findings, modifications of BP are devised that i) accelerate convergence to a valid solution and ii) reduce computation cost. Simulations reveal promising throughput results of the proposed distributed algorithm, even though it utilizes simplified interfering terminals set detection. Future work could modify the constraints such that other disruptive wireless technologies (e.g., full-duplex radios or network coding) could be accommodated within the same inference framework.


title: Automated positive part extraction for lattice path generating functions in the octant

abstract: The question of classifying the nature of the generating functions of restricted lattice walks has enjoyed much attention in past years. We prove that a certain class of octant walks have a D-finite generating function using the theory of multivariate formal Laurent series.


title: Moments of random multiplicative functions, I: Low moments, better than squareroot cancellation, and critical multiplicative chaos

abstract: We determine the order of magnitude of $\mathbb{E}|\sum_{n \leq x} f(n)|^{2q}$, where $f(n)$ is a Steinhaus or Rademacher random multiplicative function, and $0 \leq q \leq 1$. In the Steinhaus case, this is equivalent to determining the order of $\lim_{T \rightarrow \infty} \frac{1}{T} \int_{0}^{T} |\sum_{n \leq x} n^{-it}|^{2q} dt$. In particular, we find that $\mathbb{E}|\sum_{n \leq x} f(n)| \asymp \sqrt{x}/(\log\log x)^{1/4}$. This proves a conjecture of Helson that one should have better than squareroot cancellation in the first moment, and disproves counter-conjectures of various other authors. We deduce some consequences for the distribution and large deviations of $\sum_{n \leq x} f(n)$. The proofs develop a connection between $\mathbb{E}|\sum_{n \leq x} f(n)|^{2q}$ and the $q$-th moment of a critical, approximately Gaussian, multiplicative chaos, and then establish the required estimates for that. We include some general introductory discussion about critical multiplicative chaos to help readers unfamiliar with that area.


title: Monogamy relations for nonclassical correlations of multi-qubit states

abstract: Nonclassical correlations have been found useful in many quantum information processing tasks, and various measures have been proposed to quantify these correlations. In this work, we mainly study one of nonclassical correlations, called measurement-induced nonlocality (MIN). First, we establish a close connection between this nonlocal effect and the Bell nonlocality for two-qubit states. Then, we derive a tight monogamy relation of MIN for any pure three-qubit state and provide an alternative way to obtain similar monogamy relations for other nonclassical correlation measures, including squared negativity, quantum discord, and geometric quantum discord. Finally, we find that the tight monogamy relation of MIN is violated by some mixed three-qubit states, however, a weaker monogamy relation of MIN for mixed states and even multi-qubit states is still obtained.


title: A precise deuterium abundance: Re-measurement of the z=3.572 absorption system towards the quasar PKS1937-101

abstract: The primordial deuterium abundance probes fundamental physics during the Big Bang Nucleosynthesis and can be used to infer cosmological parameters. Observationally, the abundance can be measured using absorbing clouds along the lines of sight to distant quasars. Observations of the quasar PKS1937--101 contain two absorbers for which the deuterium abundance has previously been determined. Here we focus on the higher redshift one at $z_{abs} = 3.572$. We present new observations with significantly increased signal-to-noise ratio which enable a far more precise and robust measurement of the deuterium to hydrogen column density ratio, resulting in D/H = $2.62\pm0.05\times10^{-5}$. This particular measurement is of interest because it is among the most precise assessments to date and it has been derived from the second lowest column-density absorber [N(HI) $=17.9\mathrm{cm}^{-2}$] that has so-far been utilised for deuterium abundance measurements. The majority of existing high-precision measurements were obtained from considerably higher column density systems [i.e. N(HI) $>19.4\mathrm{cm}^{-2}$]. This bodes well for future observations as low column density systems are more common.