title: Dual-horizon peridynamics: A stable solution to varying horizons

abstract: In this paper, we present a dual-horizon peridynamics formulation which allows for simulations with dual-horizon with minimal spurious wave reflection. We prove the general dual property for dual-horizon peridynamics, based on which the balance of momentum and angular momentum in PD are naturally satisfied. We also analyze the crack pattern of random point distribution and the multiple materials issue in peridynamics. For selected benchmark problems, we show that DH-PD is less sensitive to the spatial than the original PD formulation.


title: Knot invariant with multiple skein relations

abstract: Given any oriented link diagram, one can construct knot invariants using skein relations. Usually such a skein relation contains three or four terms. In this paper, the author introduces several new ways to smooth a crossings, and uses a system of skein equations to construct link invariant. This invariant can also be modified by writhe to get a more powerful invariant. The modified invariant is a generalization of both the HOMFLYPT polynomial and the two-variable Kauffman polynomial. Using the diamond lemma, a simplified version of the modified invariant is given. It is easy to compute and is a generalization of the two-variable Kauffman polynomial.


title: Damping in a Superconducting Mechanical Resonator

abstract: We study a mechanical resonator made of aluminum near the normal to super conductivity phase transition. A sharp drop in the rate of mechanical damping is observed below the critical temperature. The experimental results are compared with predictions based on the Bardeen Cooper Schrieffer theory of superconductivity and a fair agreement is obtained.


title: Computer Aided Detection of Anemia-like Pallor

abstract: Paleness or pallor is a manifestation of blood loss or low hemoglobin concentrations in the human blood that can be caused by pathologies such as anemia. This work presents the first automated screening system that utilizes pallor site images, segments, and extracts color and intensity-based features for multi-class classification of patients with high pallor due to anemia-like pathologies, normal patients and patients with other abnormalities. This work analyzes the pallor sites of conjunctiva and tongue for anemia screening purposes. First, for the eye pallor site images, the sclera and conjunctiva regions are automatically segmented for regions of interest. Similarly, for the tongue pallor site images, the inner and outer tongue regions are segmented. Then, color-plane based feature extraction is performed followed by machine learning algorithms for feature reduction and image level classification for anemia. In this work, a suite of classification algorithms image-level classifications for normal (class 0), pallor (class 1) and other abnormalities (class 2). The proposed method achieves 86% accuracy, 85% precision and 67% recall in eye pallor site images and 98.2% accuracy and precision with 100% recall in tongue pallor site images for classification of images with pallor. The proposed pallor screening system can be further fine-tuned to detect the severity of anemia-like pathologies using controlled set of local images that can then be used for future benchmarking purposes.


title: Fibers and local connectedness of planar continua

abstract: We describe non-locally connected planar continua via the concepts of fiber and numerical scale. Given a continuum $X\subset\mathbb{C}$ and $x\in\partial X$, we show that the set of points $y\in \partial X$ that cannot be separated from $x$ by any finite set $C\subset \partial X$ is a continuum. This continuum is called the {\em modified fiber} $F_x^*$ of $X$ at $x$. If $x\in X^o$, we set $F^*_x=\{x\}$. For $x\in X$, we show that $F_x^*=\{x\}$ implies that $X$ is locally connected at $x$. We also give a concrete planar continuum $X$, which is locally connected at a point $x\in X$ while the fiber $F_x^*$ is not trivial. The scale $\ell^*(X)$ of non-local connectedness is then the least integer $p$ (or $\infty$ if such an integer does not exist) such that for each $x\in X$ there exist $k\le p+1$ subcontinua $$X=N_0\supset N_1\supset N_2\supset\cdots\supset N_{k}=\{x\}$$ such that $N_{i}$ is a fiber of $N_{i-1}$ for $1\le i\le k$. If $X\subset\mathbb{C}$ is an unshielded continuum or a continuum whose complement has finitely many components, we obtain that local connectedness of $X$ is equivalent to the statement $\ell^*(X)=0$. We discuss the relation of our concepts to the works of Schleicher (1999) and Kiwi (2004). We further define an equivalence relation $\sim$ based on the fibers and show that the quotient space $X/\sim$ is a locally connected continuum. For connected Julia sets of polynomials and more generally for unshielded continua, we obtain that every prime end impression is contained in a fiber. Finally, we apply our results to examples from the literature and construct for each $n\ge1$ concrete examples of path connected continua $X_n$ with $\ell^*(X_n)=n$.


title: Iterated line integrals over Laurent series fields of characteristic p

abstract: Inspired by Besser's work on Coleman integration, we use $\nabla$-modules to define iterated line integrals over Laurent series fields of characteristic $p$ taking values in double cosets of unipotent $n\times n$ matrices with coefficients in the Robba ring divided out by unipotent $n\times n$ matrices with coefficients in the bounded Robba ring on the left and by unipotent $n\times n$ matrices with coefficients in the constant field on the right. We reach our definition by looking at the analogous theory for Laurent series fields of characteristic $0$ first, and reinterpreting the classical formal logarithm in terms of $\nabla$-modules on formal schemes. To illustrate that the new $p$-adic theory is non-trivial, we show that it includes the $p$-adic formal logarithm as a special case.


title: Construction of a Japanese Word Similarity Dataset

abstract: An evaluation of distributed word representation is generally conducted using a word similarity task and/or a word analogy task. There are many datasets readily available for these tasks in English. However, evaluating distributed representation in languages that do not have such resources (e.g., Japanese) is difficult. Therefore, as a first step toward evaluating distributed representations in Japanese, we constructed a Japanese word similarity dataset. To the best of our knowledge, our dataset is the first resource that can be used to evaluate distributed representations in Japanese. Moreover, our dataset contains various parts of speech and includes rare words in addition to common words.


title: Autocatalytic networks in cognition and the origin of culture

abstract: It has been proposed that cultural evolution was made possible by a cognitive transition brought about by onset of the capacity for self-triggered recall and rehearsal. Here we develop a novel idea that models of collectively autocatalytic networks, developed for understanding the origin and organization of life, may also help explain the origin of the kind of cognitive structure that makes cultural evolution possible. In our setting, mental representations (for example, memories, concepts, ideas) play the role of 'molecules', and 'reactions' involve the evoking of one representation by another through remindings, associations, and stimuli. In the 'episodic mind', representations are so coarse-grained (encode too few properties) that such reactions are catalyzed only by external stimuli. As cranial capacity increased, representations became more fine-grained (encoded more features), allowing them to act as catalysts, leading to streams of thought. At this point, the mind could combine representations and adapt them to specific needs and situations, and thereby contribute to cultural evolution. In this paper, we propose and study a simple and explicit cognitive model that gives rise naturally to autocatylatic networks, and thereby provides a possible mechanism for the transition from a pre-cultural episodic mind to a mimetic mind.


title: Coherent transfer between low-angular momentum and circular Rydberg states

abstract: We realize a coherent transfer between a laser-accessible low-angular-momentum Rydberg state and the circular Rydberg level with maximal angular momentum. This transfer is induced by a radiofrequency field with a high-purity $\sigma^+$ polarization tuned at resonance on Stark transitions inside the hydrogenic Rydberg manifold. We observe over a few microseconds more than twenty coherent Rabi oscillations between the initial Rydberg state and the circular Rydberg level. We characterize in details these complex oscillations involving many Rydberg levels and find them to be in perfect agreement with a simple theoretical model. This coherent transfer procedure opens the way to hybrid quantum gates bridging the gap between optical communication and quantum information manipulations based on microwave Cavity and Circuit Quantum Electrodynamics.


title: Schwarzschild solution of the modified Einstein field equations

abstract: A reformulation of the Schwarzschild solution of the linearised Einstein field equations in post-Riemannian Finsler spacetime is derived. The solution is constructed in three stages: the exterior solution, the event-horizon solution and the interior solution. It is shown that the exterior solution is asymptotically similar to Newtonian gravity at large distances implying that Newtonian gravity is a low energy approximation of the solution. Application of Eddington-Finklestein coordinates is shown to reproduce the results obtained from standard general relativity at the event horizon. Further application of Kruskal-Szekeres coordinates reveals that the interior solution contains maximally extensible geodesics.


title: Two classes of nonlocal Evolution Equations related by a shared Traveling Wave Problem

abstract: We consider reaction-diffusion equations and Korteweg-de Vries-Burgers (KdVB) equations, i.e. scalar conservation laws with diffusive-dispersive regularization. We review the existence of traveling wave solutions for these two classes of evolution equations. For classical equations the traveling wave problem (TWP) for a local KdVB equation can be identified with the TWP for a reaction-diffusion equation. In this article we study this relationship for these two classes of evolution equations with nonlocal diffusion/dispersion. This connection is especially useful, if the TW equation is not studied directly, but the existence of a TWS is proven using one of the evolution equations instead. Finally, we present three models from fluid dynamics and discuss the TWP via its link to associated reaction-diffusion equations.


title: Unsupervised Anomaly Detection with Generative Adversarial Networks to Guide Marker Discovery

abstract: Obtaining models that capture imaging markers relevant for disease progression and treatment monitoring is challenging. Models are typically based on large amounts of data with annotated examples of known markers aiming at automating detection. High annotation effort and the limitation to a vocabulary of known markers limit the power of such approaches. Here, we perform unsupervised learning to identify anomalies in imaging data as candidates for markers. We propose AnoGAN, a deep convolutional generative adversarial network to learn a manifold of normal anatomical variability, accompanying a novel anomaly scoring scheme based on the mapping from image space to a latent space. Applied to new data, the model labels anomalies, and scores image patches indicating their fit into the learned distribution. Results on optical coherence tomography images of the retina demonstrate that the approach correctly identifies anomalous images, such as images containing retinal fluid or hyperreflective foci.


title: Search Engine Drives the Evolution of Social Networks

abstract: The search engine is tightly coupled with social networks and is primarily designed for users to acquire interested information. Specifically, the search engine assists the information dissemination for social networks, i.e., enabling users to access interested contents with keywords-searching and promoting the process of contents-transferring from the source users directly to potential interested users. Accompanying such processes, the social network evolves as new links emerge between users with common interests. However, there is no clear understanding of such a "chicken-and-egg" problem, namely, new links encourage more social interactions, and vice versa. In this paper, we aim to quantitatively characterize the social network evolution phenomenon driven by a search engine. First, we propose a search network model for social network evolution. Second, we adopt two performance metrics, namely, degree distribution and network diameter. Theoretically, we prove that the degree distribution follows an intensified power-law, and the network diameter shrinks. Third, we quantitatively show that the search engine accelerates the rumor propagation in social networks. Finally, based on four real-world data sets (i.e., CDBLP, Facebook, Weibo Tweets, P2P), we verify our theoretical findings. Furthermore, we find that the search engine dramatically increases the speed of rumor propagation.


title: Some non-special cubic fourfolds

abstract: In [1309.1899], Ranestad and Voisin showed, quite surprisingly, that the divisor in the moduli space of cubic fourfolds consisting of cubics "apolar to a Veronese surface" is not a Noether-Lefschetz divisor. We give an independent proof of this by exhibiting an explicit cubic fourfold X in the divisor and using point counting methods over finite fields to show X is Noether-Lefschetz general. We also show that two other divisors considered in [ibid.] are not Noether-Lefschetz divisors.


title: Dynamically manipulating topological physics and edge modes in a single degenerate optical cavity

abstract: We propose a scheme to simulate topological physics within a single degenerate cavity, whose modes are mapped to lattice sites. A crucial ingredient of the scheme is to construct a sharp boundary so that the open boundary condition can be implemented for this effective lattice system. In doing so, the topological properties of the system can manifest themselves on the edge states, which can be probed from the spectrum of an output cavity field. We demonstrate this with two examples: a static Su-Schrieffer-Heeger chain and a periodically driven Floquet topological insulator. Our work opens up new avenues to explore exotic photonic topological phases inside a single optical cavity.


title: Prospects for 2HDM charged Higgs searches

abstract: We discuss the prospects for charged Higgs boson searches at the LHC, within the two-Higgs-doublet models (2HDM). The 2HDM is generally less constrained than the corresponding sector of the MSSM, but there are still severe theoretical and experimental constraints that already exclude significant regions of the naive parameter space. Explicit searches in the $H^+\to\tau^+\nu$ and $H^+\to t\bar b$ channels are further restricting parts of the 2HDM parameter space.


title: Quantifying the causal effect of speed cameras on road traffic accidents via an approximate Bayesian doubly robust estimator

abstract: This paper quantifies the effect of speed cameras on road traffic collisions using an approximate Bayesian doubly-robust (DR) causal inference estimation method. Previous empirical work on this topic, which shows a diverse range of estimated effects, is based largely on outcome regression (OR) models using the Empirical Bayes approach or on simple before and after comparisons. Issues of causality and confounding have received little formal attention. A causal DR approach combines propensity score (PS) and OR models to give an average treatment effect (ATE) estimator that is consistent and asymptotically normal under correct specification of either of the two component models. We develop this approach within a novel approximate Bayesian framework to derive posterior predictive distributions for the ATE of speed cameras on road traffic collisions. Our results for England indicate significant reductions in the number of collisions at speed cameras sites (mean ATE = -15%). Our proposed method offers a promising approach for evaluation of transport safety interventions.


title: Evaporation of dilute droplets in a turbulent jet: clustering and entrainment effects

abstract: Droplet evaporation in turbulent sprays involves unsteady, multiscale and multiphase processes which make its comprehension and model capabilities still limited. The present work aims to investigate droplet vaporization dynamics within a turbulent spatial developing jet in dilute, non-reacting conditions. We address the problem using a Direct Numerical Simulation of jet laden with acetone droplets using an hybrid Eulerian/Lagrangian approach based on the point droplet approximation. A detailed statistical analysis of both phases is presented. In particular, we show how crucial is the preferential sampling of the vapour phase induced by the inhomogeneous localization of the droplets through the flow. The preferential segregation of droplets develops suddenly downstream the inlet both within the turbulent core and in the mixing layer. Two distinct mechanisms have been found to drive these phenomena, the inertial small-scale clustering in the jet core and the intermittent dynamics of droplets across the turbulent/non-turbulent interface in the mixing layer where dry air entrainment occurs. These phenomenologies strongly affect the overall vaporization process and lead to a spectacular widening of droplets size and vaporization rate distributions in the downstream evolution of the turbulent spray.


title: Unraveling Mirror Properties in Time-Delayed Quantum Feedback Scenarios

abstract: We derive in the Heisenberg picture a widely used phenomenological coupling element to treat feedback effects in quantum optical platforms. Our derivation is based on a microscopic Hamiltonian, which describes the mirror-emitter dynamics based on a dielectric, a mediating fully quantized electromagnetic field, and a single two-level system in front of the dielectric. The dielectric is modeled as a a system of identical two-state atoms. The Heisenberg equation yields a system of describing differential operator equations, which we solve in the Weisskopf-Wigner limit. Due to a finite round-trip time between emitter and dielectric, we yield delay differential operator equations. Our derivation motivates and justifies the typical phenomenological assumed coupling element and allows, furthermore, a generalization to a variety of mirrors, such as dissipative mirrors or mirrors with gain dynamics.


title: Completely regular codes by concatenating Hamming codes

abstract: We construct new families of completely regular codes by concatenation methods. By combining parity check matrices of cyclic Hamming codes, we obtain families of completely regular codes. In all cases, we compute the intersection array of these codes. We also study when the extension of these codes gives completely regular codes. Some of these new codes are completely transitive.


title: An estimation for the lengths of reduction sequences of the $\lambda\mu\rho\theta$-calculus

abstract: Since it was realized that the Curry-Howard isomorphism can be extended to the case of classical logic as well, several calculi have appeared as candidates for the encodings of proofs in classical logic. One of the most extensively studied among them is the $\lambda\mu$-calculus of Parigot. In this paper, based on the result of Xi presented for the $\lambda$-calculus Xi, we give an upper bound for the lengths of the reduction sequences in the $\lambda\mu$-calculus extended with the $\rho$- and $\theta$-rules. Surprisingly, our results show that the new terms and the new rules do not add to the computational complexity of the calculus despite the fact that $\mu$-abstraction is able to consume an unbounded number of arguments by virtue of the $\mu$-rule.


title: Astronomical chemical evolution from graphene to polycyclic aromatic hydrocarbon reproducing observed infrared spectrum

abstract: Interstellar ubiquitous infrared spectrum (IR) due to polycyclic aromatic hydrocarbon (PAH) was observed in many astronomical dust clouds. A capable astronomical chemical evolution path from graphene to PAH was studied based on the first principles calculation. Step 1 is a nucleation of nano-carbon after supernova by super-cooling at expanding helium sphere. As a typical model, graphene molecule (C )24 having coronene skeleton with seven carbon hexagons was tried.Step 2 is a proton sputtering and passivation on ejected graphene molecule. Slow speed proton with energy less than 4.3eV makes hydrogenation, Graphene molecule (C )24 was transformed to PAH (C24H12). Higher speed proton having sufficient energy larger than 18.3 eV could make a void in a molecule as like C23H12. Resulted structure was a combination of two carbon pentagons and five hexagons. Step 3 is photo-ionization of those molecules by high energy photon. Electrons are removed to make a molecule to cation. Model molecule (C23H12) became mono-cation (C23H12)+, di-cation (C23H12)2+ and so on. Typical energy difference between such cation was 6.5 and 10.8 eV. If the light source has a nature of black-body radiation, effective temperature will be 18000K ~ 24000K, which suggested that central light source star may have 4 to 7 times heavier than our sun. Finally, theoretical IR spectrum was obtained. Especially in case of (C23H12)2+, calculated emission spectrum revealed that among 13 major peaks, 11 peaks could correlate with ubiquitous observed IR one.


title: A Tight Upper Bound on the Second-Order Coding Rate of the Parallel Gaussian Channel with Feedback

abstract: This paper investigates the asymptotic expansion for the maximum rate of fixed-length codes over a parallel Gaussian channel with feedback under the following setting: A peak power constraint is imposed on every transmitted codeword, and the average error probability of decoding the transmitted message is non-vanishing as the blocklength increases. It is well known that the presence of feedback does not increase the first-order asymptotics of the channel, i.e., capacity, in the asymptotic expansion, and the closed-form expression of the capacity can be obtained by the well-known water-filling algorithm. The main contribution of this paper is a self-contained proof of an upper bound on the second-order asymptotics of the parallel Gaussian channel with feedback. The proof techniques involve developing an information spectrum bound followed by using Curtiss' theorem to show that a sum of dependent random variables associated with the information spectrum bound converges in distribution to a sum of independent random variables, thus facilitating the use of the usual central limit theorem. Combined with existing achievability results, our result implies that the presence of feedback does not improve the second-order asymptotics.


title: The Unit Cell Reconstruction and Related Thermal Activation Process within Coherent Twin Boundary Migration in Magnesium

abstract: By analyzing the interface defect loop nucleation and the interface disconnection expansion in dynamic simulations, the elementary migration process of coherent twin boundary of magnesium is identified to be independent unit cell reconstruction. The atomistic pathways of the unit cell reconstruction prove their collective behavior as a stochastic response to thermal fluctuation at a stressed state, and also the onset mechanism of interface disconnection gliding: predominant pure-shuffle basal-prismatic transformation along with atomistic shear movements. The athermal shear strength, the migration barrier, the critical length of disconnection dipole and other parameters characterizing the thermal activation process are reported.


title: On a weighted Trudinger-Moser type inequality on the whole space and related maximizing problem

abstract: In this paper, we establish a weighted Trudinger-Moser type inequality with the full Sobolev norm constraint on the whole Euclidean space. Main tool is the singular Trudinger-Moser inequality on the whole space recently established by Adimurthi and Yang, and a transformation of functions. We also discuss the existence and non-existence of maximizers for the associated variational problem.


title: Naive vs. genuine A^1-connectedness

abstract: We show that the triviality of sections of the sheaf of A^1-chain connected components of a space over finitely generated separable field extensions of the base field is not sufficient to ensure the triviality of the sheaf of its A^1-chain connected components, contrary to the situation with genuine A^1-connected components. As a consequence, we show that there exists an A^1-connected scheme for which the Morel-Voevodsky singular construction is not A^1-local.


title: A note on relationship between some bounding inequalities in stability analysis of time-delay systems

abstract: In this paper, an extension of the generalized free matrix based inequality is introduced in a unified form suitable for the estimation of integrals and sums of quadratic functions. The equivalences of several known variants are shown, including the free matrix based inequalities and its simplified form. Secondly, the relationship between the (simplified) free matrix based estimation and the combination of the Bessel-based inequality with different bounding inequalities affine in the length of the intervals are investigated.


title: Expected signatures from hadronic emission processes in the TeV spectra of BL Lac objects

abstract: The wealth of recent data from imaging air Cherenkov telescopes (IACTs), ultra-high energy cosmic-ray experiments and neutrino telescopes have fuelled a renewed interest in hadronic emission models for gamma-loud blazars. We explore physically plausible solutions for a lepto-hadronic interpretation of the stationary emission from high-frequency peaked BL Lac objects (HBLs). The modelled spectral energy distributions are then searched for specific signatures at very high energies that could help to distinguish the hadronic origin of the emission from a standard leptonic scenario. By introducing a few basic constraints on parameters of the model, such as assuming the co-acceleration of electrons and protons, we significantly reduced the number of free parameters. We then systematically explored the parameter space of the size of the emission region and its magnetic field for two bright gamma-loud HBLs, PKS 2155-304 and Mrk 421. For all solutions close to equipartition between the energy densities of protons and of the magnetic field, and with acceptable jet power and light-crossing timescales, we inspected the spectral hardening in the multi-TeV domain from proton-photon induced cascades and muon-synchrotron emission inside the source. Very-high-energy spectra simulated with the available instrument functions from the future Cherenkov Telescope Array (CTA) were evaluated for detectable features as a function of exposure time, source redshift, and flux level. Over a large range of model parameters, the spectral hardening due to internal synchrotron-pair cascades, the "cascade bump", should be detectable for acceptable exposure times with the future CTA for a few nearby and bright HBLs.


title: Decomposition of split-step quantum walks for simulating Majorana modes and edge states

abstract: We construct a decomposition procedure for converting split-step quantum walks into ordinary quantum walks with alternating coins, and we show that this decomposition enables a feasible linear optical realization of split-step quantum walks by eliminating quantum-control requirements. As salient applications, we show how our scheme will simulate Majorana modes and edge states.


title: Raman signatures of monoclinic distortion in (Ba$_{1-x}$Sr$_{x}$)$_{3}$CaNb$_{2}$O$_{9}$ complex perovskites

abstract: Octahedral tilting is most common distortion process observed in centrosymmetric perovskite compounds (ABO$_{3}$). Indeed, crucial physical properties of this oxide stem from the tilts of BO$_{6}$ rigid octahedra. In microwave ceramics with perovskite-type structure, there is a close relation between the temperature coefficient of resonant frequency and tilt system of the perovskite structure. However, in many cases, limited access facilities are needed to assign correctly the space group, including neutron scattering and transmission electron microscopy. Here, we combine the Raman scattering and group-theory calculations to probe the structural distortion in the perovskite (Ba$_{1-x}$Sr$_{x}$)$_{3}$CaNb$_{2}$O$_{9}$ solid solution, which exhibits a structural phase transition at $x$ $\geq$ 0.7, from D$_{3d}^{3}$ trigonal to C$_{2h}^{3}$ monoclinic cell. Both phases are related by an octahedral tilting distortion ($a^{0}b^{-}b^{-}$ in Glazer notation). Low temperature Raman spectra corroborate the group-theoretical predictions for Sr$_{3}$CaNb$_{2}$O$_{9}$ compound, since 36 modes detected at 25 K agree well with those 42 (25A$_{g}$ $\oplus$ 17B$_{g}$) predicted ones.


title: A simple model for a scalar two-point correlator in the presence of a resonance

abstract: We present a simple toy model for a scalar-isoscalar two-point correlator, which can serve as a testing ground for the extraction of resonance parameters from Lattice QCD calculations. We discuss in detail how the model correlator behaves when it is restricted to a finite spatial volume, and how the finite-volume data can be used to reconstruct the spectral function of the correlator in the infinite volume, which allows to extract properties of the resonance from such data.


title: Energy flux of electromagnetic field in stochastic model of radiative heat transfer in dielectric solid medium

abstract: The stochastic model that describes radiative heat transfer in dielectric medium is built. The model is based on the representation that heat transfer is realized both by heat conductivity mechanism in it and due to the electromagnetic radiation that is generated by thermal fluctuations of atoms in the medium. Using the fluctuation-dissipative theorem, on the basis of such physical suppositions, the stochastic model is formulated in the form of the infinite dimensional Ornstein-Uhlenbeck process that describes medium fluctuations. In the model frameworks, the energy flux density of fluctuating electromagnetic field is calculated in the form of the functional of temperature distribution in three-dimensional medium sample.


title: Implementing the Availability Model of a Software-Defined Backbone Network in M\"obius

abstract: Software-defined networking (SDN) promises to improve the programmability and flexibility of networks, but it may bring also new challenges that need to be explored. One open issue is the quantitative assessment of the properties of SDN backbone networks to determine whether they can provide similar availability to the traditional IP backbone networks. To achieve this goal, a two-level availability model that is able to capture the global network connectivity without neglecting the essential details and which includes a failure correlation assessment should be considered. The two-level availability model is composed by a structural model and the dynamic models of the principal minimal-cut sets of the network. The purpose of this technical report is to extensively present the implementation on M\"obius of the Stochastic Activity Network (SAN) availability model of the network elements and the principal minimal-cut sets of a SDN backbone network and the corresponding traditional backbone network.


title: The dynamics of power laws: Fitness and aging in preferential attachment trees

abstract: Continuous-time branching processes describe the evolution of a population whose individuals generate a random number of children according to a birth process. Such branching processes can be used to understand preferential attachment models in which the birth rates are linear functions. We are motivated by citation networks, where power-law citation counts are observed as well as aging in the citation patterns. To model this, we introduce fitness and age-dependence in these birth processes. The multiplicative fitness moderates the rate at which children are born, while the aging is integrable, so that individuals receives a finite number of children in their lifetime. We show the existence of a limiting degree distribution for such processes. In the preferential attachment case, where fitness and aging are absent, this limiting degree distribution is known to have power-law tails. We show that the limiting degree distribution has exponential tails for bounded fitnesses in the presence of integrable aging, while the power-law tail is restored when integrable aging is combined with fitness with unbounded support with at most exponential tails. In the absence of integrable aging, such processes are explosive.


title: Robust Transceiver Design for Reciprocal M*N Interference Channel Based on Statistical Linearization Approximation

abstract: This paper focuses on robust transceiver design for throughput enhancement on the interference channel (IC), under imperfect channel state information (CSI). In this paper, two algorithms are proposed to improve the throughput of the multi-input multi-output (MIMO) IC. Each transmitter and receiver has respectively M and N antennas and IC operates in a time division duplex mode. In the first proposed algorithm, each transceiver adjusts its filter to maximize the expected value of signal-to-interference-plus-noise ratio (SINR). On the other hand, the second algorithm tries to minimize the variances of the SINRs to hedge against the variability due to CSI error. Taylor expansion is exploited to approximate the effect of CSI imperfection on mean and variance. The proposed robust algorithms utilize the reciprocity of wireless networks to optimize the estimated statistical properties in two different working modes. Monte Carlo simulations are employed to investigate sum rate performance of the proposed algorithms and the advantage of incorporating variation minimization into the transceiver design.


title: The curious case of PDS 11: a nearby, >10 Myr old, classical T Tauri binary system

abstract: We present results of our study of PDS 11 binary system, which belongs to a rare class of isolated, high galactic latitude T Tauri stars. Our spectroscopic analysis reveals that PDS 11 is a M2-M2 binary system with both components showing similar H-alpha emission strength. Both the components appear to be accreting, and are classical T Tauri stars. The lithium doublet Li I 6708 Angstrom, a signature of youth, is present in the spectrum of PDS 11A, but not in PDS 11B. From the application of lithium depletion boundary age-dating method and a comparison with the Li I 6708 equivalent width distribution of moving groups, we estimated an age of 10-15 Myr for PDS 11A. Comparison with pre-main sequence evolutionary models indicates that PDS 11A is a 0.4 solar mass T Tauri star at a distance of 114-131 pc. PDS 11 system does not appear to be associated with any known star forming regions or moving groups. PDS 11 is a new addition, after TWA 30 and LDS 5606, to the interesting class of old, dusty, wide binary classical T Tauri systems in which both components are actively accreting.


title: Symbolic computation with monotone operators

abstract: We consider a class of monotone operators which are appropriate for symbolic representation and manipulation within a computer algebra system. Various structural properties of the class (e.g., closure under taking inverses, resolvents) are investigated as well as the role played by maximal monotonicity within the class. In particular, we show that there is a natural correspondence between our class of monotone operators and the subdifferentials of convex functions belonging to a class of convex functions deemed suitable for symbolic computation of Fenchel conjugates which were previously studied by Bauschke & von Mohrenschildt and by Borwein & Hamilton. A number of illustrative examples utilizing the introduced class of operators are provided including computation of proximity operators, recovery of a convex penalty function associated with the hard thresholding operator, and computation of superexpectations, superdistributions and superquantiles with specialization to risk measures.


title: Baryon number fluctuations in chiral effective models and their phenomenological implications

abstract: We study the critical properties of net-baryon-number fluctuations at the chiral restoration transition in a medium at finite temperature and net baryon density. The chiral dynamics of quantum chromodynamics (QCD) is modeled by the Polykov-loop extended Quark-Meson Lagrangian, that includes the coupling of quarks to vector meson and temporal gauge fields. The Functional Renormalization Group is employed to properly account for the $O(4)$ criticality at the phase boundary. We focus on the properties and systematics of ratios of the net-baryon-number cumulants $\chi_B^n$, for ${1\leq n\leq 6}$, near the phase boundary. The results are presented in the context of the recent experimental data of the STAR Collaboration on fluctuations of the net proton number in heavy ion collisions at RHIC. We show that the model results for the energy dependence of the cumulant ratios are in good overall agreement with the data, with one exception. At center-of-mass energies below ${19.6\;\mathrm{GeV}}$, we find that the measured fourth-order cumulant deviates considerably from the model results, which incorporate the expected $O(4)$ and $Z(2)$ criticality. We assess the influence of model assumptions and in particular of repulsive vector-interactions, which are used to modify the location of the critical endpoint in the model, on the cumulants ratios. Finally, we discuss a possibility to test to what extent the fluctuations are affected by nonequilibrium dynamics by comparing certain ratios of cumulants.


title: Non-dipole recollision-gated double ionization and observable effects

abstract: Using a three-dimensional semiclassical model, we study double ionization for strongly-driven He fully accounting for magnetic field effects. For linearly and slightly elliptically polarized laser fields, we show that recollisions and the magnetic field combined act as a gate. This gate favors more transverse - with respect to the electric field - initial momenta of the tunneling electron that are opposite to the propagation direction of the laser field. In the absence of non-dipole effects, the transverse initial momentum is symmetric with respect to zero. We find that this asymmetry in the transverse initial momentum gives rise to an asymmetry in a double ionization observable. Finally, we show that this asymmetry in the transverse initial momentum of the tunneling electron accounts for a recently-reported unexpectedly large average sum of the electron momenta parallel to the propagation direction of the laser field.


title: Measurement-induced operation of two-ion quantum heat machines

abstract: We show how one can implement a quantum heat machine by using two interacting trapped ions, in presence of a thermal bath. The electronic states of the ions act like a working substance, while the vibrational mode is modelled as the cold bath. The heat exchange with the cold bath is mimicked by the projective measurement of the electronic states. We show how such measurement in a suitable basis can lead to either a quantum heat engine or a refrigerator, that undergoes a quantum Otto cycle. The local magnetic field is adiabatically changed during the heat cycle. The performance of the heat machine depends upon the interaction strength between the ions, the magnetic fields, and the measurement cost. In our model, the coupling to the hot and the cold baths are never switched off in an alternative fashion during the heat cycle, unlike other existing proposals of quantum heat engines. This makes our proposal experimentally realizable using current tapped-ion technology.


title: No correlation between the Transit-Depth Metallicity of Kepler gas giant confirmed and candidates planets: A Bayesian Approach

abstract: Previous attempts to study the correlation between the transit depth and the stellar metallicity of Kepler gas giant planets has led to different results. A weakly significant negative correlation was reported from the Kepler's (Q1-Q12) gas giant candidates with estimated radii of 5-20R$_\odot$ and [Fe/H] values taken from the Kepler Input Catalog (KIC). With the release of the last Kepler catalog (Q1-Q17), we now have the largest homogeneous sample of exoplanets. This enables a solid statistical analysis of this correlation. In the present work, we revise this correlation, within a Bayesian framework, for two large homogeneous samples: confirmed and complete. We expand a Hierarchical model to account for false positives in the studied samples. Our statistical analysis reveals no correlation between the transit depth and the stellar metallicity. The fact that we found no evidence of such correlation will have implications for planet formation theory and interior structure of giant planets.


title: Promoting cooperation by preventing exploitation: The role of network structure

abstract: A growing body of empirical evidence indicates that social and cooperative behavior can be affected by cognitive and neurological factors, suggesting the existence of state-based decision-making mechanisms that may have emerged by evolution. Motivated by these observations, we propose a simple mechanism of anonymous network interactions identified as a form of generalized reciprocity - a concept organized around the premise "help anyone if helped by someone", and study its dynamics on random graphs. In the presence of such mechanism, the evolution of cooperation is related to the dynamics of the levels of investments (i.e. probabilities of cooperation) of the individual nodes engaging in interactions. We demonstrate that the propensity for cooperation is determined by a network centrality measure here referred to as neighborhood importance index and discuss relevant implications to natural and artificial systems. To address the robustness of the state-based strategies to an invasion of defectors, we additionally provide an analysis which redefines the results for the case when a fraction of the nodes behave as unconditional defectors.


title: On weighted occupation times for refracted spectrally negative L\'evy processes

abstract: For refracted spectrally negative L\'evy processes, we identify expressions of several quantities related to Laplace transforms on their weighted occupation times until first exit times. Such quantities are expressed in terms of unique solutions to integral equations involving weight functions and scale functions for the associated spectrally negative L\'evy processes. Previous results on refracted L\'evy processes are recovered.


title: Das Internet-Adressbuch bedroht unsere Privatsph\"are

abstract: This paper summarizes selected results of the dissertation "Beobachtungsm\"oglichkeiten im Domain Name System: Angriffe auf die Privatsph\"are und Techniken zum Selbstdatenschutz". The dissertation provides new technical insights to answer the questions "Who can monitor us on the Internet?" and "How do we protect ourselves?". It focuses on the Domain Name System (DNS), the address book of the internet. It shows that recursive nameservers have monitoring capabilities that have been neglected so far. In particular, a behavior-based tracking method is introduced, which allows operators to track the activities of users over an extended period of time. On the one hand, this threatens the privacy of Internet users, on the other hand, law enforcement could benefit from this research. Furthermore, new privacy enhancing techniques are proposed, which are more effective and more user-friendly than existing approaches. ----- Dieser Beitrag fasst ausgew\"ahlte Ergebnisse der Dissertation "Beobachtungsm\"oglichkeiten im Domain Name System: Angriffe auf die Privatsph\"are und Techniken zum Selbstdatenschutz" zusammen. Die Dissertation liefert neue Antworten auf die Fragen "Wer kann uns im Internet \"uberwachen?" und "Wie sch\"utzen wir uns davor?". Die Arbeit befasst sich mit dem Domain Name System (DNS), dem Adressbuch des Internets. Es wird gezeigt, dass es im DNS bislang vernachl\"assigte \"Uberwachungsm\"oglichkeiten gibt. Insbesondere wird ein Verfahren zum verhaltensbasierten Tracking vorgestellt, mit dem die Aktivit\"aten von Internetnutzern unbemerkt \"uber l\"angere Zeitr\"aume verfolgt werden k\"onnen. Einerseits wird dadurch die Privatsph\"are vieler Internetnutzer bedroht, andererseits k\"onnten daraus neue Werkzeuge f\"ur die Strafverfolgung entstehen. Weiterhin werden neue Datenschutz-Techniken vorgeschlagen, die sicherer und benutzerfreundlicher sind als die bisherigen Ans\"atze.


title: Determination of the thermopower of microscale samples with an AC method

abstract: A modified AC method based on micro-fabricated heater and resistive thermometers has been applied to measure the thermopower of microscale samples. A sinusoidal current with frequency {\omega} is passed to the heater to generate an oscillatory temperature difference across the sample at a frequency 2{\omega}, which simultaneously induces an AC thermoelectric voltage, also at the frequency 2{\omega}. A key step of the method is to extract amplitude and phase of the oscillatory temperature difference by probing the AC temperature variation at each individual thermometer. The sign of the thermopower is determined by examining the phase difference between the oscillatory temperature difference and the AC thermoelectric voltage. The technique has been compared with the popular DC method by testing both n-type and p-type thin film samples. Both methods yielded consistent results, which verified the reliability of the newly proposed AC method.


title: Implicit Gradient Neural Networks with a Positive-Definite Mass Matrix for Online Linear Equations Solving

abstract: Motivated by the advantages achieved by implicit analogue net for solving online linear equations, a novel implicit neural model is designed based on conventional explicit gradient neural networks in this letter by introducing a positive-definite mass matrix. In addition to taking the advantages of the implicit neural dynamics, the proposed implicit gradient neural networks can still achieve globally exponential convergence to the unique theoretical solution of linear equations and also global stability even under no-solution and multi-solution situations. Simulative results verify theoretical convergence analysis on the proposed neural dynamics.


title: Role of the direct processes in low-energy deuteron interactions

abstract: An extended analysis of the key role of direct interactions, i.e., breakup, stripping and pick-up processes, has been carried out for deuteron-induced reactions. Particular comments concern the deuteron breakup which is the dominant mechanism involved in surrogate reactions on heavy nuclei, around the Coulomb barrier.


title: Relaxation of an isolated dipolar-interacting Rydberg quantum spin system

abstract: How do isolated quantum systems approach an equilibrium state? We experimentally and theoretically address this question for a prototypical spin system formed by ultracold atoms prepared in two Rydberg states with different orbital angular momenta. By coupling these states with a resonant microwave driving we realize a dipolar XY spin-1/2 model in an external field. Starting from a spin-polarized state we suddenly switch on the external field and monitor the subsequent many-body dynamics. Our key observation is density dependent relaxation of the total magnetization much faster than typical decoherence rates. To determine the processes governing this relaxation we employ different theoretical approaches which treat quantum effects on initial conditions and dynamical laws separately. This allows us to identify an intrinsically quantum component to the relaxation attributed to primordial quantum fluctuations.


title: Topological transport in Dirac nodal-line semimetals

abstract: Topological nodal-line semimetals are characterized by one-dimensional Dirac nodal rings that are protected by the combined symmetry of inversion $\mathcal{P}$ and time-reversal $\mathcal{T}$. The stability of these Dirac rings is guaranteed by a quantized $\pm \pi$ Berry phase and their low-energy physics is described by a one-parameter family of (2+1)-dimensional quantum field theories exhibiting the parity anomaly. Here we study the Berry-phase supported topological transport of $\mathcal{P}\mathcal{T}$ invariant nodal-line semimetals. We find that small inversion breaking allows for an electric-field induced anomalous transverse current, whose universal component originates from the parity anomaly. Due to this Hall-like current, carriers at opposite sides of the Dirac nodal ring flow to opposite surfaces when an electric field is applied. To detect the topological currents, we propose a dumbbell device, which uses surface states to filter charges based on their momenta. Suggestions for experiments and device applications are discussed.


title: Planck confronts large scale structure: methods to quantify discordance

abstract: Discordance in the $\Lambda$CDM cosmological model can be seen by comparing parameters constrained by CMB measurements to those inferred by probes of large scale structure. Recent improvements in observations, including final data releases from both Planck and SDSS-III BOSS, as well as improved astrophysical uncertainty analysis of CFHTLenS, allows for an update in the quantification of any tension between large and small scales. This paper is intended, primarily, as a discussion on the quantifications of discordance when comparing the parameter constraints of a model when given two different data sets. We consider KL-divergence, comparison of Bayesian evidences and other statistics which are sensitive to the mean, variance and shape of the distributions. However, as a by-product, we present an update to the similar analysis in (Battye, Charnock and Moss; 2015) where we find that, considering new data and treatment of priors, the constraints from the CMB and from a combination of LSS probes are in greater agreement and any tension only persists to a minor degree. In particular, we find the parameter constraints from the combination of LSS probes which are most discrepant with the Planck2015+Pol+BAO parameter distributions can be quantified at a 2.55$\sigma$ tension using the method introduced in (Battye, Charnock and Moss; 2015). If instead we use the distributions constrained by the combination of LSS probes which are in greatest agreement with those from Planck2015+Pol+BAO this tension is only 0.76$\sigma$.


title: A Characterization of Circle Graphs in Terms of Multimatroid Representations

abstract: The isotropic matroid $M[IAS(G)]$ of a looped simple graph $G$ is a binary matroid equivalent to the isotropic system of $G$. In general, $M[IAS(G)]$ is not regular, so it cannot be represented over fields of characteristic $\neq 2$. The ground set of $M[IAS(G)]$ is denoted $W(G)$; it is partitioned into 3-element subsets corresponding to the vertices of $G$. When the rank function of $M[IAS(G)]$ is restricted to subtransversals of this partition, the resulting structure is a multimatroid denoted $\mathcal{Z}_{3}(G)$. In this paper we prove that $G$ is a circle graph if and only if for every field $\mathbb{F}$, there is an $\mathbb{F}$-representable matroid with ground set $W(G)$, which defines $\mathcal{Z}_{3}(G)$ by restriction. We connect this characterization with several other circle graph characterizations that have appeared in the literature.


title: Exponentially growing bubbles around early super massive black holes

abstract: We addressed the so far unexplored issue of outflows induced by exponentially growing power sources, focusing on early supermassive black holes (BHs). We assumed that these objects grow to $10^9\;M_{\odot}$ by z=6 by Eddington-limited accretion and convert 5% of their bolometric output into a wind. We first considered the case of energy-driven and momentum-driven outflows expanding in a region where the gas and total mass densities are uniform and equal to the average values in the Universe at $z>6$. We derived analytic solutions for the evolution of the outflow, finding that, for an exponentially growing power with e-folding time $t_{Sal}$, the late time expansion of the outflow radius is also exponential, with e-folding time of $5t_{Sal}$ and $4t_{Sal}$ in the energy-driven and momentum-driven limit, respectively. We then considered energy-driven outflows produced by QSOs at the center of early dark matter halos of different masses and powered by BHs growing from different seeds. We followed the evolution of the source power and of the gas and dark matter density profiles in the halos from the beginning of the accretion until $z=6$. The final bubble radius and velocity do not depend on the seed BH mass but are instead smaller for larger halo masses. At z=6, bubble radii in the range 50-180 kpc and velocities in the range 400-1000 km s$^{-1}$ are expected for QSOs hosted by halos in the mass range $3\times10^{11}-10^{13}\;M_{\odot}$. By the time the QSO is observed, we found that the total thermal energy injected within the bubble in the case of an energy-driven outflow is $E_{th}\sim5 \times 10^{60}$ erg. This is in excellent agreement with the value of $E_{th}=(6.2\pm 1.7)\times 10^{60}$ erg measured through the detection of the thermal Sunyaev-Zeldovich effect around a large population of luminous QSOs at lower redshift. [abridged]


title: Hochschild cohomology of some quantum complete intersections

abstract: We compute the Hochschild cohomology ring of the algebras $A= k\langle X, Y\rangle/ (X^a, XY-qYX, Y^a)$ over a field $k$ where $a\geq 2$ and where $q\in k$ is a primitive $a$-th root of unity. We find the the dimension of $\mathrm{HH}^n(A)$ and show that it is independent of $a$. We compute explicitly the ring structure of the even part of the Hochschild cohomology modulo homogeneous nilpotent elements.


title: Adaptive FEM-based nonrigid image registration using truncated hierarchical B-splines

abstract: We present an efficient approach of Finite Element Method (FEM)-based nonrigid image registration, in which the spatial transformation is constructed using truncated hierarchical B-splines (THB-splines). The image registration framework minimizes an energy functional using an FEM-based method and thus involves solving a large system of linear equations. This framework is carried out on a set of successively refined grids. However, due to the increased number of control points during subdivision, large linear systems are generated which are generally demanding to solve. Instead of using uniform subdivision, an adaptive local refinement scheme is carried out, only refining the areas of large change in deformation of the image. By incorporating the key advantages of THB-spline basis functions such as linear independence, partition of unity and reduced overlap into the FEM-based framework, we improve the matrix sparsity and computational efficiency. The performance of the proposed method is demonstrated on 2D synthetic and medical images.


title: An innovation diffusion model of a local electricity network that is influenced by internal and external factors

abstract: Haynes et al. (1977) derived a nonlinear differential equation to determine the spread of innovations within a social network across space and time. This model depends upon the imitators and the innovators within the social system, where the imitators respond to internal influences, whilst the innovators react to external factors. Here, this differential equation is applied to simulate the uptake of a low-carbon technology (LCT) within a local electricity network situated in the UK. This network comprises of many households that are assigned to certain feeders. Firstly, travelling wave solutions of Haynes' model are used to predict adoption times as a function of the imitation and innovation influences. Then, the grid that represents the electricity network is created so that the finite element method (FEM) can be implemented. Next, innovation diffusion is modelled with Haynes' equation and the FEM, where varying magnitudes of the internal and external pressures are imposed. Consequently, the impact of these model parameters is examined. Moreover, LCT adoption trajectories at fixed feeder locations are calculated, which give a macroscopic understanding of the uptake behaviour at specific network sites. Lastly, the adoption of LCTs at a household level is discussed.


title: Small-x behavior of non-singlet spin structure function and Bjorken sum rule with pQCD correction up to NNLO and Higher twist correction

abstract: A calculation of the non-singlet part of spin dependent structure function, $xg_1^{NS}(x,Q^2)$ and associated sum rule, the Bjorken Sum rule up to next-next-to-leading order(NNLO) is presented. We use a unified approach incorporating Regge theory and the theoretical framework of perturbative Quantum Chromodynamics. Using a Regge behaved model with $Q^2$ dependent intercept as the initial input, we have solved the Dokshitzer-Gribov-Lipatov-Altarelli-Parisi (DGLAP) evolution equation up to NNLO at small-$x$ for $xg_1^{NS}(x,Q^2)$ and the solutions are utilised to calculate the polarised Bjorken sum rule(BSR). We have also extracted the higher twist contribution to BSR based on a simple parametrisation. These results for both of $xg_1^{NS}(x,Q^2)$ and BSR, along with higher twist corrections are observed to be consistent with the available data taken from SMC, E143, HERMES, COMPASS and JLab experiments. In addition, our results are also compared with that of other theoretical and phenomenological analysis based on different models and a very good agreement is also observed in this regard. Further a very good consistency between our calculated results and theoretical QCD predictions of BSR is also achieved.


title: On the Maxwell and Friedrichs/Poincare Constants in ND

abstract: We prove that for bounded and convex domains in arbitrary dimensions, the Maxwell constants are bounded from below and above by Friedrichs' and Poincare's constants, respectively. Especially, the second positive Maxwell eigenvalues in ND are bounded from below by the square root of the second Neumann-Laplace eigenvalue.

categories: math.AP math-ph math.FA math.MP math.NA math.SP


title: A Gr\"obner basis for the graph of the reciprocal plane

abstract: Given the complement of a hyperplane arrangement, let $\Gamma$ be the closure of the graph of the map inverting each of its defining linear forms. The characteristic polynomial manifests itself in the Hilbert series of $\Gamma$ in two different-seeming ways, one due to Orlik and Terao and the other to Huh and Katz. We define an extension of the no broken circuit complex of a matroid and use it to give a direct Gr\"obner basis argument that the polynomials extracted from the Hilbert series in these two ways agree.


title: Trace and categorical sl(n) representations

abstract: Khovanov-Lauda define a 2-category $\mathcal{U}$ such that the split Grothendieck group $K_0(\mathcal{U})$ is isomorphic to an integral version of the quantized universal enveloping algebra $\mathbf{U}(\mathfrak{sl}_n)$, $n \geq 2$. Beliakova-Habiro-Lauda-Webster prove that the trace decategorification of the Khovanov-Lauda 2-category is isomorphic to the the current algebra $\mathbf{U}(\mathfrak{sl}_n [t])$ - the universal enveloping algebra of the Lie algebra $ \mathfrak{sl}_n \otimes \mathbb{C} [t]$. A 2-representation of $\,\mathcal{U}$ is a 2-functor from $\mathcal{U}$ to a linear, additive 2-category. In this note we are interested in the 2-representation, defined by Khovanov-Lauda using bimodules over cohomology rings of flag varieties. This 2-representation induces an action of the current algebra $\mathbf{U}(\mathfrak{sl}_n [t])$ on the cohomology rings. We explicitly compute the action of $\mathbf{U}(\mathfrak{sl}_n [t])$ generators using the trace functor. It turns out that the obtained current algebra module is related to another family of $\mathbf{U}(\mathfrak{sl}_n [t])$-modules, called local Weyl modules. Using known results about the cohomology rings, we are able to provide a new proof of the character formula for the local Weyl modules.


title: Cyclic Mixmaster Universes

abstract: We investigate the behaviour of bouncing Bianchi type IX `Mixmaster' universes in general relativity. This generalises all previous studies of the cyclic behaviour of closed spatially homogeneous universes with and without entropy increase. We determine the behaviour of models containing radiation by analytic and numerical integration and show that increase of radiation entropy leads to increasing cycle size and duration. We introduce a null energy condition violating ghost field to create a smooth, non-singular bounce of finite size at the end of each cycle and compute the evolution through many cycles with and without entropy increase injected at the start of each cycle. In the presence of increasing entropy we find that the cycles grow larger and longer and the dynamics approach flatness, as in the isotropic case. However, successive cycles become increasingly anisotropic at the expansion maxima which is dominated by the general-relativistic effects of anisotropic 3-curvature. However, it becomes positive after expansion drives the dynamics close enough to isotropy for the curvature to become positive and for gravitational collapse to ensue. In the presence of a positive cosmological constant, radiation and a ghost field we show that, for a very wide range of cosmological constant values, the growing oscillations always cease and the dynamics subsequently approach those of the isotropic de Sitter universe at late times. This model is not included in the scope of earlier cosmic no-hair theorems because the 3-curvature can be positive. In the case of negative cosmological constant, radiation and an ultra-stiff field (to create non-singular bounces) we show that a sequence of chaotic oscillations also occurs, with sensitive dependence on initial conditions. In all cases, we follow the oscillatory evolution of the scale factors, the shear, and the 3-curvature from cycle to cycle.


title: Action-based Dynamical Modeling for the Milky Way Disk: The Influence of Spiral Arms

abstract: RoadMapping is a dynamical modeling machinery developed to constrain the Milky Way's (MW) gravitational potential by simultaneously fitting an axisymmetric parametrized potential and an action-based orbit distribution function (DF) to discrete 6D phase-space measurements of stars in the Galactic disk. In this work we demonstrate RoadMapping's robustness in the presence of spiral arms by modeling data drawn from an N-body simulation snapshot of a disk-dominated galaxy of MW mass with strong spiral arms (but no bar), exploring survey volumes with radii 500pc<=r_max<=5kpc. The potential constraints are very robust, even though we use a simple action-based DF, the quasi-isothermal DF (qDF). The best-fit RoadMapping model always recovers the correct gravitational forces where most of the stars that entered the analysis are located, even for small volumes. For data from large survey volumes, RoadMapping finds axisymmetric models that average well over the spiral arms. Unsurprisingly, the models are slightly biased by the excess of stars in the spiral arms. Gravitational potential models derived from survey volumes with at least r_max=3kpc can be reliably extrapolated to larger volumes. However, a large radial survey extent, r_max~5kpc, is needed to correctly recover the halo scale length. In general, the recovery and extrapolability of potentials inferred from data sets which were drawn from inter-arm regions appear to be better than those of data sets drawn from spiral arms. Our analysis implies that building axisymmetric models for the Galaxy with upcoming Gaia data will lead to sensible and robust approximations of the MW's potential.


title: Dynamics of hard rods with initial domain wall state

abstract: Inspired by recent results on the non-equilibrium dynamics of many-body quantum systems, we study the classical hard rod problem in one dimension with initial domain wall condition. Hard rods are an integrable system, in the sense that for each velocity the density of particles is locally conserved. It was proven by Boldrighini, Dobrushin and Sukhov (1983) that on the hydrodynamic space-time scale, the fluid of hard rods satisfies Euler-type equations which comprise all conservation laws. We provide the general solution to these equations on the line, with an initial condition where the left and right halves are, asymptotically, in different states. The solution is interpreted as being composed of a continuum of contact discontinuities, one for each velocity. This is a classical counterpart of the transport problem solved recently in quantum integrable systems. We provide two independent derivations, one paralleling that in the quantum case, the other using explicitly the microscopic dynamics. Finally, we discuss the Navier-Stokes (viscous) corrections, and study its effect on the broadening of the contact discontinuity and on entropy production.


title: Giant spin splitting and $0 - \pi$ Josephson transitions from the Edelstein effect in quantum spin-Hall insulators

abstract: Hybrid structures of quantum spin-Hall insulators (QSHIs) and superconductors (Ss) present a unique opportunity to access dissipationless topological states of matter, which, however, is frequently hindered by the lack of control over the spin polarization in QSHIs. We propose a very efficient spin-polarization mechanism based on the magnetoelectric (Edelstein) effect in superconducting QSHI structures. It acts akin to the Zeeman splitting in an external magnetic field, but with an effective $g$-factor of order of 1000, resulting in an unprecedented spin-splitting effect. It allows a magnetic control of the QSHI/S hybrids without destroying superconductivity. As an example, we demonstrate a recurrent crossover from $\Phi_0$ - to $\Phi_0/2$ - periodic oscillations of the Josephson current in an rf superconducting quantum interference device ($\Phi_0=h/2e$ is the magnetic flux quantum). The predicted period halving is a striking manifestation of $0-\pi$ Josephson transitions with a superharmonic $\pi$-periodic current-phase relationship at the transition. Such controllable $0-\pi$ transitions may offer new perspectives for dissipationless spintronics and engineering flux qubits.


title: Form factors of the O(6) Gross Neveu-model

abstract: The isomorphism $SU(4) \simeq O(6)$ is used to construct the form factors of the O(6) Gross-Neveu model as bound state form factors of the SU(4) chiral Gross-Neveu model. This technique is generalized and is then applied to use the O(6) as the starting point of the nesting procedure to obtain the O(N) form factors for general even N.


title: The Effect of Population Control Policies on Societal Fragmentation

abstract: Population control policies are proposed and in some places employed as a means towards curbing population growth. This paper is concerned with a disturbing side-effect of such policies, namely, the potential risk of societal fragmentation due to changes in the distribution of family sizes. This effect is illustrated in some simple settings and demonstrated by simulation. In addition, the dependence of societal fragmentation on family size distribution is analyzed. In particular, it is shown that under the studied model, any population control policy that disallows families of 3 or more children incurs the possible risk of societal fragmentation.


title: Small Cell Transmit Power Assignment Based on Correlated Bandit Learning

abstract: Judiciously setting the base station transmit power that matches its deployment environment is a key problem in ultra dense networks and heterogeneous in-building cellular deployments. A unique characteristic of this problem is the tradeoff between sufficient indoor coverage and limited outdoor leakage, which has to be met without explicit knowledge of the environment. In this paper, we address the small base station (SBS) transmit power assignment problem based on stochastic bandit theory. Unlike existing solutions that rely on heavy involvement of RF engineers surveying the target area, we take advantage of the human user behavior with simple coverage feedback in the network, and thus significantly reduce the planned human measurement. In addition, the proposed power assignment algorithms follow the Bayesian principle to utilize the available prior knowledge from system self configuration. To guarantee good performance when the prior knowledge is insufficient, we incorporate the performance correlation among similar power values, and establish an algorithm that exploits the correlation structure to recover majority of the degraded performance. Furthermore, we explicitly consider power switching penalties in order to discourage frequent changes of the transmit power, which cause varying coverage and uneven user experience. Comprehensive system-level simulations are performed for both single and multiple SBS deployment scenarios, and the resulting power settings are compared to the state-of-the-art solutions. Significant performance gains of the proposed algorithms are observed. Particularly, the correlation structure enables the algorithm to converge much faster to the optimal long-term power than other methods.


title: Vanishing Bergman kernels on the disk

abstract: We discuss topics related to zeroes of the Bergman kernels, and present a method for generating Bergman kernels with arbitrarily, but finitely, many zeroes. It is also shown that a Bergman kernel induced by a radial weight on the unit disk cannot have infinitely many zeroes. Similar questions for the Segal-Bargmann spaces of the complex plane are briefly discussed.


title: NNLO QCD corrections to jet production in deep inelastic scattering

abstract: Hadronic jets in deeply inelastic electron-proton collisions are produced by the scattering of a parton from the proton with the virtual gauge boson mediating the interaction. The HERA experiments have performed precision measurements of inclusive single jet production and di-jet production in the Breit frame, which provide important constraints on the strong coupling constant and on parton distributions in the proton. We describe the calculation of the next-to-next-to-leading order (NNLO) QCD corrections to these processes, and assess their size and impact. A detailed comparison with data from the H1 and ZEUS experiments highlights that inclusive single jet production displays a better perturbative convergence than di-jet production. We also observe that the event selection cuts in some of the di-jet measurements of both H1 and ZEUS induce an infrared sensitivity that destabilises the perturbative stability of the predictions. Our results open up new opportunities for QCD precision studies with jet production observables in deep inelastic scattering.


title: Electrochemical Oxygen Intercalation into Sr$_2$IrO$_4$

abstract: Oxygen was electrochemically intercalated into Sr$_2$IrO$_4$ sintered samples, single crystals and a thin film. We estimate the diffusion length to a few $\mu$m and the concentration of the intercalated oxygen to $\delta$ $\simeq$ 0.01. The latter is thus much smaller than for the cuprate and nickelate parent compounds, for which $\delta$ $>$ 0.1 is obtained, which could be a consequence of larger steric effects. The influence of the oxygen doping state on resistivity is small, indicating also a poor charge transfer to the conduction band. It is shown that electrochemical intercalation of oxygen may also contribute to doping, when gating thin films with ionic liquid in the presence of water.


title: How well do experience curves predict technological progress? A method for making distributional forecasts

abstract: Experience curves are widely used to predict the cost benefits of increasing the deployment of a technology. But how good are such forecasts? Can one predict their accuracy a priori? In this paper we answer these questions by developing a method to make distributional forecasts for experience curves. We test our method using a dataset with proxies for cost and experience for 51 products and technologies and show that it works reasonably well. The framework that we develop helps clarify why the experience curve method often gives similar results to simply assuming that costs decrease exponentially. To illustrate our method we make a distributional forecast for prices of solar photovoltaic modules.


title: On the representation theory of the Bondi-Metzner-Sachs group and its variants in three space-time dimensions

abstract: The original Bondi-Metzner-Sachs (BMS) group B is the common asymptotic symmetry group of all asymptotically flat Lorentzian radiating 4-dim space-times. As such, B is the best candidate for the universal symmetry group of General Relativity (G.R.). In 1973, with this motivation, P. J. McCarthy classified all relativistic B-invariant-systems in terms of strongly continuous irreducible unitary repesentations (IRS) of B. Here we introduce the analogue B(2,1) of the BMS group B in 3 space-time dimensions. B(2,1) itself admits thirty-four analogues both real in all signatures and in complex space-times. In order to find the IRS of both B(2,1) and its analogues we need to extend Wigner-Mackey's theory of induced representations. The necessary extension is described and is reduced to the solution of three problems. These problems are solved in the case where B(2,1) and its analogues are equipped with the Hilbert topology. The extended theory is necessary in order to construct the IRS of both B and its analogues in any number d of space-time dimensions, d is greater or equal to 3, and also in order to construct the IRS of their supersymmetric counterparts. We use the extended theory to obtain the necessary data in order to construct the IRS of B(2,1): The main results of the representation theory are: The IRS are induced from little groups which are compact. The finite little groups are cyclic groups of even order. The inducing construction is exhaustive notwithstanding the fact that B(2,1) is not locally compact in the employed Hilbert topology.


title: Constructing exact symmetric informationally complete measurements from numerical solutions

abstract: Recently, several intriguing conjectures have been proposed connecting symmetric informationally complete quantum measurements (SIC POVMs, or SICs) and algebraic number theory. These conjectures relate the SICs and their minimal defining algebraic number field. Testing or sharpening these conjectures requires that the SICs are expressed exactly, rather than as numerical approximations. While many exact solutions of SICs have been constructed previously using Gr\"obner bases, this method has probably been taken as far as is possible with current computer technology (except in special cases where there are additional symmetries). Here we describe a method for converting high-precision numerical solutions into exact ones using an integer relation algorithm in conjunction with the Galois symmetries of a SIC. Using this method we have calculated 69 new exact solutions, including 9 new dimensions where previously only numerical solutions were known, which more than triples the number of known exact solutions. In some cases the solutions require number fields with degrees as high as 12,288. We use these solutions to confirm that they obey the number-theoretic conjectures and we address two questions suggested by the previous work.


title: Nonleptonic charmless decays of $B_c\to TP, TV$ in the perturbative QCD approach

abstract: Two-body charmless hadronic $B_c$ decays involving a light $1^3\!P_2$-tensor($T$) meson are investigated for the first time within the framework of perturbative QCD(pQCD) at leading order, in which the other meson is the lightest pseudoscalar($P$) or vector($V$) state. The concerned processes can only occur through the pure weak annihilation topology in the standard model. We predict the CP-averaged branching ratios and polarization fractions of those considered decays in Cabibbo-Kobayashi-Maskawa(CKM) favored and suppressed modes. Phenomenologically, several modes$-$such as the $B_c \to K_2^*(1430) K$ and the CKM-favored $B_c \to TV-$have large decay rates of $10^{-6}$, which are expected to be detected at Large Hadron Collider experiments in the near future. Moreover, all of the $B_c \to TV$ modes are governed by the longitudinal amplitudes in the pQCD calculations and the corresponding fractions vary around $78\%$-$98\%$. A confirmation of these results could prove the reliability of the pQCD approach used here and further shed some light on the annihilation decay mechanism.


title: Phase noise characterization of sub-hertz linewidth lasers via digital cross correlation

abstract: Phase noise or frequency noise is a key metrics to evaluate the short term stability of a laser. This property is of a great interest for the applications but delicate to characterize, especially for narrow line-width lasers. In this letter, we demonstrate a digital cross correlation scheme to characterize the absolute phase noise of sub-hertz line-width lasers. Three 1,542 nm ultra-stable lasers are used in this approach. For each measurement two lasers act as references to characterize a third one. Phase noise power spectral density from 0.5 Hz to 0.8 MHz Fourier frequencies can be derived for each laser by a mere change in the configuration of the lasers. This is the first time showing the phase noise of sub-hertz line-width lasers with no reference limitation. We also present an analysis of the laser phase noise performance.


title: A Tutorial on Bridge Sampling

abstract: The marginal likelihood plays an important role in many areas of Bayesian statistics such as parameter estimation, model comparison, and model averaging. In most applications, however, the marginal likelihood is not analytically tractable and must be approximated using numerical methods. Here we provide a tutorial on bridge sampling (Bennett, 1976; Meng & Wong, 1996), a reliable and relatively straightforward sampling method that allows researchers to obtain the marginal likelihood for models of varying complexity. First, we introduce bridge sampling and three related sampling methods using the beta-binomial model as a running example. We then apply bridge sampling to estimate the marginal likelihood for the Expectancy Valence (EV) model---a popular model for reinforcement learning. Our results indicate that bridge sampling provides accurate estimates for both a single participant and a hierarchical version of the EV model. We conclude that bridge sampling is an attractive method for mathematical psychologists who typically aim to approximate the marginal likelihood for a limited set of possibly high-dimensional models.


title: Numerical Simulation of Bloch Equations for Dynamic Magnetic Resonance Imaging

abstract: Magnetic Resonance Imaging (MRI) is a widely applied non-invasive imaging modality based on non-ionizing radiation which gives excellent images and soft tissue contrast of living tissues. We consider the modified Bloch problem as a model of MRI for flowing spins in an incompressible flow field. After establishing the well-posedness of the corresponding evolution problem, we analyze its spatial semidiscretization using discontinuous Galerkin methods. The high frequency time evolution requires a proper explicit and adaptive temporal discretization. The applicability of the approach is shown for basic examples.


title: Spin-Degenerate Regimes for Single Quantum Dots in Transition Metal Dichalcogenide Monolayers

abstract: Strong spin-orbit coupling in transition metal dichalcogenide (TMDC) monolayers results in spin resolvable band structures about the $K$ and $K'$ valleys such that the eigenbasis of a 2D quantum dot (QD) in a TMDC monolayer in zero field is described by the Kramers pairs $|0\rangle_-=|K'\uparrow\rangle$, $|1\rangle_-=|K\downarrow\rangle$ and $|0\rangle_+=|K\uparrow\rangle$, $|1\rangle_+=|K'\downarrow\rangle$. The strong spin-orbit coupling limits the usefulness of single TMDC QDs as spin qubits. Possible regimes of spin-degenerate states, overcoming the spin-orbit coupling in monolayer TMDC QDs are investigated in both zero field, where the spin and valley degrees of freedom become fourfold degenerate, and twofold degeneracy in some magnetic field, localised to a given valley. Such regimes are shown to be achievable in MoS$_{2}$, where the spin orbit coupling is sufficiently low and of the right sign such that the spin resolved conduction bands intersect at points about the $K$ and $K'$ valleys and as such may be exploited by selecting suitable critical dot radii.


title: The nuclear polaron beyond the mean-field approximation

abstract: In III-V semiconductors it was shown theoretically that under optical cooling the nuclear spin polaron bound to neutral donors would form below some critical nuclear spin temperature TC [I. A. Merkulov, Phys. Solid State 40, 930 (1998)]. The predicted critical behavior is a direct consequence of the use of the mean-field approximation. It is known however that in any finite size system a critical behavior must be absent. Here we develop a model of the optically cooled nuclear polaron, which goes beyond the mean-field approximation. An expression of the generalized free energy of the optically cooled nuclear polaron, valid for a finite, albeit large, number of spins, is derived. This model permits to describe the continuous transition from the fluctuation dominated regime to the saturation regime, as the nuclear spin temperature decreases. It is shown that due to the finite number of nuclear spins involved in the polaron, the critical effects close to TC are smoothed by the spin fluctuations. Particularly, instead of a divergence, the nuclear spin fluctuations exhibit a sharp peak at TC, before being depressed well below TC. Interestingly, the formation of the nuclear polaron can, in certain conditions, boost the nuclear polarization beyond the value obtained solely by optical pumping. Finally, we suggest that the nuclear polaron could be detected by spin noise spectroscopy or via its superparamagnetic behavior.


title: Spectral indices for radio emission of 228 pulsars

abstract: We determine spectral indices of 228 pulsars by using Parkes pulsar data observed at 1.4 GHz, among which 200 spectra are newly determined. The indices are distributed in the range from -4.84 to -0.46.Together with known pulsar spectra from literature, we tried to find clues to the pulsar emission process. The weak correlations between the spectral index, the spin-down energy loss rate $\dot{E}$ and the potential drop in the polar gap $\Delta\Psi$ hint that emission properties are related to the particle acceleration process in a pulsar's magnetosphere.


title: Michell trusses in two dimensions as a Gamma-limit of optimal design problems in linear elasticity

abstract: We reconsider the minimization of the compliance of a two dimensional elastic body with traction boundary conditions for a given weight. It is well known how to rewrite this optimal design problem as a nonlinear variational problem. We take the limit of vanishing weight by sending a suitable Lagrange multiplier to infinity in the variational formulation. We show that the limit, in the sense of $\Gamma$-convergence, is a certain Michell truss problem. This proves a conjecture by Kohn and Allaire.


title: Comparison of Different Methods for Tissue Segmentation in Histopathological Whole-Slide Images

abstract: Tissue segmentation is an important pre-requisite for efficient and accurate diagnostics in digital pathology. However, it is well known that whole-slide scanners can fail in detecting all tissue regions, for example due to the tissue type, or due to weak staining because their tissue detection algorithms are not robust enough. In this paper, we introduce two different convolutional neural network architectures for whole slide image segmentation to accurately identify the tissue sections. We also compare the algorithms to a published traditional method. We collected 54 whole slide images with differing stains and tissue types from three laboratories to validate our algorithms. We show that while the two methods do not differ significantly they outperform their traditional counterpart (Jaccard index of 0.937 and 0.929 vs. 0.870, p < 0.01).


title: Robust Power System Dynamic State Estimator with Non-Gaussian Measurement Noise: Part II--Implementation and Results

abstract: This paper is the second of a two-part series that discusses the implementation issues and test results of a robust Unscented Kalman Filter (UKF) for power system dynamic state estimation with non-Gaussian synchrophasor measurement noise. The tuning of the parameters of our Generalized Maximum-Likelihood-type robust UKF (GM-UKF) is presented and discussed in a systematic way. Using simulations carried out on the IEEE 39-bus system, its performance is evaluated under different scenarios, including i) the occurrence of two different types of noises following thick-tailed distributions, namely the Laplace or Cauchy probability distributions for real and reactive power measurements; ii) the occurrence of observation and innovation outliers; iii) the occurrence of PMU measurement losses due to communication failures; iv) cyber attacks; and v) strong system nonlinearities. It is also compared to the UKF and the Generalized Maximum-Likelihood-type robust iterated EKF (GM-IEKF). Simulation results reveal that the GM-UKF outperforms the GM-IEKF and the UKF in all scenarios considered. In particular, when the system is operating under stressed conditions, inducing system nonlinearities, the GM-IEKF and the UKF diverge while our GM-UKF does converge. In addition, when the power measurement noises obey a Cauchy distribution, our GM-UKF converges to a state estimate vector that exhibits a much higher statistical efficiency than that of the GM-IEKF; by contrast, the UKF fails to converge. Finally, potential applications and future work of the proposed GM-UKF are discussed in concluding remarks section.


title: Microcanonical Monte Carlo approach for computing melting curves by atomistic simulations

abstract: We report microcanonical Monte Carlo simulations of melting and superheating of a generic, Lennard-Jones system starting from the crystalline phase. The isochoric curve, the melting temperature $T_m$ and the critical superheating temperature $T_{LS}$ obtained are in close agreement (well within the microcanonical temperature fluctuations) with standard molecular dynamics one-phase and two-phase methods. These results validate the use of microcanonical Monte Carlo to compute melting points, a method which has the advantage of only requiring the configurational degrees of freedom. Our findings show that the strict preservation of the Hamiltonian dynamics does not constitute a necessary condition to produce a realistic estimate of $T_{LS}$ and the melting point, which brings new insight on the nature of the melting transition. These results widen the use and applicability of the recently developed Z method for the determination of the melting points of materials.


title: High purity 100 GeV electron identification with synchrotron radiation

abstract: In high energy experiments such as active beam dump searches for rare decays and missing energy events, the beam purity is a crucial parameter. In this paper we present a technique to reject heavy charged particle contamination in the 100 GeV electron beam of the H4 beam line at CERN SPS. The method is based on the detection with BGO scintillators of the synchrotron radiation emitted by the electrons passing through a bending dipole magnet. A 100 GeV $\pi^-$ beam is used to test the method in the NA64 experiment resulting in a suppression factor of $10^{-5}$ while the efficiency for electron detection is $\sim$95%. The spectra and the rejection factors are in very good agreement with the Monte Carlo simulation. The reported suppression factors are significantly better than previously achieved.


title: The Ebb and Flow of Controversial Debates on Social Media

abstract: We explore how the polarization around controversial topics evolves on Twitter - over a long period of time (2011 to 2016), and also as a response to major external events that lead to increased related activity. We find that increased activity is typically associated with increased polarization; however, we find no consistent long-term trend in polarization over time among the topics we study.


title: Discovery of a keV-X-ray Excess in RX J1856.5--3754

abstract: RX J1856.5$-$3754 is the brightest and nearest ($\sim 120$ pc) source among thermally emitting isolated neutron stars. Its spectra observed with {\sl XMM-Newton} and {\sl Chandra} satellites are well-fitted with the two-temperature ($kT^\infty \sim$ 32 and 63 eV) blackbody model. Fitting ten sets of the data from {\sl Suzaku} XIS0, XIS1, XIS3 and {\sl XMM-Newton} EPIC-pn with the two-temperature blackbody model, we discover an excess emission, 16--26\% in 0.8--1.2\,keV. We examine possible causes of this keV-X-ray excess; uncertainty in the background, pile up of the low energy photons and confusion of other sources. None of them succeeds in explaining the keV-X-ray excess observed with different instruments. We thus consider this keV-X-ray excess is most likely originated in RX J1856.5$-$3754. However, it is difficult to constrain the spectral shape of the keV-X-ray excess. The third blackbody component with $kT^\infty = 137^{+18}_{-14}$ eV, additional power-law component with a photon index $\Gamma = 3.4^{+0.5}_{-0.6}$, or Comptonization of blackbody seed photons into power-law with a photon index $\Gamma_c = 4.3^{+0.8}_{-0.8}$ can reproduce the keV-X-ray excess. We also search for the periodicity of 0.8--1.2\,keV data, since 7.055 s pulsation is discovered from 0.15--1.2\,keV band in the XMM Newton EPIC-pn data ($\sim$1.5\%). We only obtain the upper limit of pulsed fraction $<$ 3\% in the keV-X-ray excess. We shortly discuss the possible origin of the keV-X-ray excess, such as synchrotron radiation and Comptonization of blackbody photons.


title: Energy Efficient Precoding C-RAN Downlink with Compression at Fronthaul

abstract: This paper considers a downlink transmission of cloud radio access network (C-RAN) in which precoded baseband signals at a common baseband unit are compressed before being forwarded to radio units (RUs) through limited fronthaul capacity links. We investigate the joint design of precoding, multivariate compression and RU-user selection which maximizes the energy efficiency of downlink C-RAN networks. The considered problem is inherently a rank-constrained mixed Boolean nonconvex program for which a globally optimal solution is difficult and computationally expensive to find. In order to derive practically appealing solutions, we invoke some useful relaxation and transformation techniques to arrive at a more tractable (but still nonconvex) continuous program. To solve the relaxation problem, we propose an iterative procedure based on DC algorithms which is provably convergent. Numerical results demonstrate the superior of the proposed solution in terms of achievable energy efficiency compared to existing schemes.


title: Connection Scan Algorithm

abstract: We introduce the Connection Scan Algorithm (CSA) to efficiently answer queries to timetable information systems. The input consists, in the simplest setting, of a source position and a desired target position. The output consist is a sequence of vehicles such as trains or buses that a traveler should take to get from the source to the target. We study several problem variations such as the earliest arrival and profile problems. We present algorithm variants that only optimize the arrival time or additionally optimize the number of transfers in the Pareto sense. An advantage of CSA is that is can easily adjust to changes in the timetable, allowing the easy incorporation of known vehicle delays. We additionally introduce the Minimum Expected Arrival Time (MEAT) problem to handle possible, uncertain, future vehicle delays. We present a solution to the MEAT problem that is based upon CSA. Finally, we extend CSA using the multilevel overlay paradigm to answer complex queries on nation-wide integrated timetables with trains and buses.


title: Does Newtonian space provide identity to quantum systems?

abstract: Physics is not just mathematics. This seems trivial, but poses difficult and interesting questions. In this paper we analyse a particular discrepancy between non-relativistic quantum mechanics (QM) and `classical' (Newtonian) space and time (NST). We also suggest, but not discuss, the case of the relativistic QM. In this work, we are more concerned with the notion of space and its mathematical representation. The mathematics entails that any two spatially separated objects are necessarily \ita{different}, which implies that they are \ita{discernible} (in classical logic, identity is defined by means of indiscernibility) --- we say that the space is $T_2$, or "Hausdorff". But when enters QM, sometimes the systems need to be taken as \ita{completely indistinguishable}, so that there is no way to tell which system is which, and this holds even in the case of fermions. But in the NST setting, it seems that we can always give an \ita{identity} to them by means of their individuation, which seems to be contra the physical situation, where individuation (isolation) does not entail identity (as we argue in this paper). Here we discuss this topic by considering a case study (that of two potentially infinite wells) and conclude that, taking into account the quantum case, that is, when physics enter the discussion, even NST cannot be used to say that the systems do have identity. This case study seems to be relevant for a more detailed discussion on the interplay between physical theories (such as quantum theory) and their underlying mathematics (and logic), in a simple way apparently never realized before.


title: $\widetilde{\mid}\hspace{1mm}$-divisibility of ultrafilters

abstract: We further investigate a divisibility relation on the set $\beta N$ of ultrafilters on the set of natural numbers. We single out prime ultrafilters (divisible only by 1 and themselves) and establish a hierarchy in which a position of every ultrafilter depends on the set of prime ultrafilters it is divisible by. We also construct ultrafilters with many immediate successors in this hierarchy and find positions of products of ultrafilters.


title: Semi-Supervised Deep Learning for Fully Convolutional Networks

abstract: Deep learning usually requires large amounts of labeled training data, but annotating data is costly and tedious. The framework of semi-supervised learning provides the means to use both labeled data and arbitrary amounts of unlabeled data for training. Recently, semi-supervised deep learning has been intensively studied for standard CNN architectures. However, Fully Convolutional Networks (FCNs) set the state-of-the-art for many image segmentation tasks. To the best of our knowledge, there is no existing semi-supervised learning method for such FCNs yet. We lift the concept of auxiliary manifold embedding for semi-supervised learning to FCNs with the help of Random Feature Embedding. In our experiments on the challenging task of MS Lesion Segmentation, we leverage the proposed framework for the purpose of domain adaptation and report substantial improvements over the baseline model.


title: The use of spatial information in entropy measures

abstract: The concept of entropy, firstly introduced in information theory, rapidly became popular in many applied sciences via Shannon's formula to measure the degree of heterogeneity among observations. A rather recent research field aims at accounting for space in entropy measures, as a generalization when the spatial location of occurrences ought to be accounted for. The main limit of these developments is that all indices are computed conditional on a chosen distance. This work follows and extends the route for including spatial components in entropy measures. Starting from the probabilistic properties of Shannon's entropy for categorical variables, it investigates the characteristics of the quantities known as residual entropy and mutual information, when space is included as a second dimension. This way, the proposal of entropy measures based on univariate distributions is extended to the consideration of bivariate distributions, in a setting where the probabilistic meaning of all components is well defined. As a direct consequence, a spatial entropy measure satisfying the additivity property is obtained, as global residual entropy is a sum of partial entropies based on different distance classes. Moreover, the quantity known as mutual information measures the information brought by the inclusion of space, and also has the property of additivity. A thorough comparative study illustrates the superiority of the proposed indices.


title: Effects of galaxy--satellite interactions on bar formation

abstract: Aims. We aim to show how encounters with low-mass satellite galaxies may alter the bar formation in a Milky Way-like disc galaxy. Methods. We use high-resolution N-body simulations of a disc galaxy prone to mild bar instability. For realistic initial conditions of satellites, we take advantage of cosmological simulations of Milky Way-like dark matter haloes. Results. The satellites may have a significant impact on the time of bar formation. Some runs with satellites demonstrate a delay, while others show an advancement in bar formation compared to the isolated run, with such time differences reaching $\sim$ 1 Gyr. Meanwhile, the final bar configuration, including its very appearance and the bar characteristics such as the pattern speed and the exponential growth rate of its amplitude are independent of the number of encounters and their orbits. The contribution of satellites with masses below $10^9 M_{\odot}$ is insignificant, unless their pericentre distances are small. We suggest that the encounters act indirectly via inducing perturbations across the disc that evolve to delayed waves in the central part and interfere with an emerging seed bar. The predicted effect for the present-day host galaxy is expected to be even more significant at redshifts $z \gtrsim 0.5$.