title: Multiscale modeling via split-step methods in neural firing

abstract: Neuronal models based on the Hodgkin-Huxley equation form a fundamental framework in the field of computational neuroscience. While the neuronal state is often modeled deterministically, experimental recordings show stochastic fluctuations, presumably driven by molecular noise from the underlying microphysical conditions. In turn, the firing of individual neurons gives rise to an electric field n extracellular space, also thought to affect the firing pattern of nearby neurons. We develop a multiscale model which combines a stochastic ion channel gating process taking place on the neuronal membrane, together with the propagation of an action potential along the neuronal structure. We also devise a numerical method relying on a split-step strategy which effectively couples these two processes and we experimentally test the feasibility of this approach. We finally also explain how the approach can be extended with Maxwell's equations to allow the potential to be propagated in extracellular space.


title: Ancilla-driven instantaneous quantum polynomial time circuit for quantum supremacy

abstract: Instantaneous quantum polynomial time (IQP) is a model of (probably) non-universal quantum computation. Since it has been proven that IQP circuits are unlikely to be simulated classically up to a multiplicative error and an error in the $l_1$ norm, IQP is considered as one of the promising classes that demonstrates quantum supremacy. Although IQP circuits can be realized more easily than a universal quantum computer, demonstrating quantum supremacy is still difficult. It is therefore desired to find subclasses of IQP that are easy to implement. In this paper, by imposing some restrictions on IQP, we propose ancilla-driven IQP (ADIQP) as the subclass of commuting quantum computation suitable for many experimental settings. We show that even though ADIQP circuits are strictly weaker than IQP circuits in a sense, they are also hard to simulate classically up to a multiplicative error and an error in the $l_1$ norm. Moreover, the properties of ADIQP make it easy to investigate the verifiability of ADIQP circuits and the difficulties in realizing ADIQP circuits.


title: Probing the magnetosphere of the M8.5 dwarf TVLM513-46546 by modelling its auroral radio emission. Hint of star exoplanet interaction?

abstract: In this paper we simulate the cyclic circularly-polarised pulses of the ultra-cool dwarf TVLM513-46546, observed with the VLA at 4.88 and 8.44 GHz on May 2006, by using a 3D model of the auroral radio emission from the stellar magnetosphere. During this epoch, the radio light curves are characterised by two pulses left-hand polarised at 4.88 GHz, and one doubly-peaked (of opposite polarisations) pulse at 8.44 GHz. To take into account the possible deviation from the dipolar symmetry of the stellar magnetic field topology, the model described in this paper is also able to simulate the auroral radio emission from a magnetosphere shaped like an offset-dipole. To reproduce the timing and pattern of the observed pulses, we explored the space of parameters controlling the auroral beaming pattern and the geometry of the magnetosphere. Through the analysis of the TVLM513-46546 auroral radio emission, we derive some indications on the magnetospheric field topology that is able to simultaneously reproduce the timing and patterns of the auroral pulses measured at 4.88 and 8.44 GHz. Each set of model solutions simulates two auroral pulses (singly or doubly peaked) per period. To explain the presence of only one 8.44 GHz pulse per period, we analyse the case of auroral radio emission limited only to a magnetospheric sector activated by an external body, like the case of the interaction of Jupiter with its moons.


title: Revisiting the extremely fast disc wind in a gravitationally lensed quasar APM 08279+5255

abstract: The gravitationally lensed quasar APM 08279+5255 has the fastest claimed wind from any AGN, with velocities of 0.6-0.7c, requiring magnetic acceleration as special relativisitic effects limit all radiatively driven winds to v<0.3-0.5c. However, this extreme velocity derives from interpreting both the narrow and broad absorption features in the X-ray spectrum as iron absorption lines. The classic ultrafast outflow source PDS 456 also shows similar absorption systems, but here the higher energy, broader feature is generally interpreted as an absorption edge. We reanalyse all the spectra from APM 08279+5255 using a full 3-dimensional Monte Carlo radiative transfer disc wind model for the ionised wind at 0.1-0.2c, together with complex absorption from lower ionisation material, and find that this is a better description of the data. Thus there is no strong requirement for outflow velocities beyond 0.2c, which can be powered by radiation driving. We show that UV line driving is especially likely given the spectral energy distribution of this source which is intrinsically UV bright and X-ray weak. While the peak of this emission is unobservable, it must be luminous enough to power the observed hot dust, favouring at least moderate black hole spin.


title: Radiative shock waves and their role in solving puzzles of Superluminous Supernovae

abstract: A brief pedagogical review for students on basic physics of Superluminous Supernovae. Almost no references to literature are given, but important formulas are derived in some detail.


title: The Intelligent Voice 2016 Speaker Recognition System

abstract: This paper presents the Intelligent Voice (IV) system submitted to the NIST 2016 Speaker Recognition Evaluation (SRE). The primary emphasis of SRE this year was on developing speaker recognition technology which is robust for novel languages that are much more heterogeneous than those used in the current state-of-the-art, using significantly less training data, that does not contain meta-data from those languages. The system is based on the state-of-the-art i-vector/PLDA which is developed on the fixed training condition, and the results are reported on the protocol defined on the development set of the challenge.


title: A Central Limit Theorem for Fleming-Viot Particle Systems with Soft Killing

abstract: The distribution of a Markov process with killing, conditioned to be still alive at a given time, can be approximated by a Fleming-Viot type particle system. In such a system, each particle is simulated independently according to the law of the underlying Markov process, and branches onto another particle at each killing time. The consistency of this method in the large population limit was the subject of several recent articles. In the present paper, we go one step forward and prove a central limit theorem for the law of the Fleming-Viot particle system at a given time under two conditions: a "soft killing" assumption and a boundedness condition involving the "carr\'e du champ" operator of the underlying Markov process.


title: On the volume of locally conformally flat 4 dimensional hypersphere

abstract: Let $M$ be a 5 dimensional Riemannian manifold with $Sec_M\in[0,1]$, $\Sigma$ be a locally conformally flat hypersphere in $M$ with mean curvature $H$. We prove that, there exists $\varepsilon_0>0$, such that $\int_\Sigma (1+H^2)^2 \ge 8\pi^2/3$, provided $H \le \varepsilon_0$. In particular, if $\Sigma$ is a locally conformally flat minimal hypersphere in $M$, then $Vol(\Sigma) \ge 8\pi^2/3$, which partially answer a question proposed by Mazet and Rosenberg \cite{Ma&Rosen}. For an $(n+1)-$ dimensional rotationally symmetric Riemannian manifold $M$, we show that an immersed hypersurface $\Sigma$ is locally conformally flat if and only if ($n-1$) of the principal curvatures of $\Sigma$ are the same, which is a generalization of Cartan's result \cite{Cartan}. As an application, we prove that if $M$ is (some special but large class) rotationally symmetric 5-manifold with $Sec_M\in [0,1]$, and $\Sigma$ is a locally conformally flat hypersphere with mean curvature $H$, the inequality $\int_\Sigma (1+H^2)^2 \ge 8\pi^2/3$ holds for all $H$.


title: Dissipative phases across the superconductor-to-insulator transition

abstract: Competing phenomena in low dimensional systems can generate exotic electronic phases, either through symmetry breaking or a non-trivial topology. In two-dimensional (2D) systems, the interplay between superfluidity, disorder and repulsive interactions is especially fruitful in this respect although both the exact nature of the phases and the microscopic processes at play are still open questions. In particular, in 2D, once superconductivity is destroyed by disorder, an insulating ground state is expected to emerge, as a result of a direct superconductor-to-insulator quantum phase transition. In such systems, no metallic state is theoretically expected to survive to the slightest disorder. Here we map out the phase diagram of amorphous NbSi thin films as functions of disorder and film thickness, with two metallic phases in between the superconducting and insulating ones. These two dissipative states, defined by a resistance which extrapolates to a finite value in the zero temperature limit, each bear a specific dependence on disorder. We argue that they originate from an inhomogeneous destruction of superconductivity, even if the system is morphologically homogeneous. Our results suggest that superconducting fluctuations can favor metallic states that would not otherwise exist.


title: A Dynamic Multi Agent based scheduling for flexible flow line manufacturing system accompanied by dynamic customer demand

abstract: Dynamic rescheduling decision-making problem is an important issue in modern manufacturing system with the feature of combinational computation complexity. This paper introduces a multi-agent based approach using the detailed process, provided by Prometheus methodology, which used for the design of a simultaneous dynamic rescheduling decision making for flexible flow line manufacturing system that working under dynamic customer demand. The application has been completely modeled with the Prometheus Design Tool (PDT), which offers full support to Prometheus Methodology. The proposed dynamic scheduling decision making system is developed for Automated UPVC door and Windows Company and can be support both static and dynamic scheduling.


title: On the Convergence of the EM Algorithm: A Data-Adaptive Analysis

abstract: The Expectation-Maximization (EM) algorithm is an iterative method to maximize the log-likelihood function for parameter estimation. Previous works on the convergence analysis of the EM algorithm have established results on the asymptotic (population level) convergence rate of the algorithm. In this paper, we give a data-adaptive analysis of the sample level local convergence rate of the EM algorithm. In particular, we show that the local convergence rate of the EM algorithm is a random variable $\overline{K}_{n}$ derived from the data generating distribution, which adaptively yields the convergence rate of the EM algorithm on each finite sample data set from the same population distribution. We then give a non-asymptotic concentration bound of $\overline{K}_{n}$ on the population level optimal convergence rate $\overline{\kappa}$ of the EM algorithm, which implies that $\overline{K}_{n}\to\overline{\kappa}$ in probability as the sample size $n\to\infty$. Our theory identifies the effect of sample size on the convergence behavior of sample EM sequence, and explains a surprising phenomenon in applications of the EM algorithm, i.e. the finite sample version of the algorithm sometimes converges faster even than the population version. We apply our theory to the EM algorithm on three canonical models and obtain specific forms of the adaptive convergence theorem for each model.


title: Bending stiff charged polymers: the electrostatic persistence length

abstract: Many charged polymers, including nucleic acids, are locally stiff. Their bending rigidity -- quantified by the persistence length --, depends crucially on Coulombic features, such as the ionic strength of the solution which offers a convenient experimental route for tuning the rigidity. While the classic Odijk-Skolnick-Fixman treatment fails for realistic parameter values, we derive a simple analytical formula for the electrostatic persistence length. It is shown to be in remarkable agreement with numerically obtained Poisson-Boltzmann theory results, thereby fully accounting for non-linearities, among which counter-ion condensation effects. Specified to double-stranded DNA, our work reveals that the widely used bare persistence length of 500\,\AA\ is overestimated by some 20%


title: Normative properties of multi-criteria choice procedures and their superposition: II

abstract: Two-stage superposition choice procedures, which sequentially apply two choice procedures so that the result of the first choice procedure is the input for the second choice procedure, are studied. We define which of them satisfy given normative conditions, showing how a final choice is changed due to the changes of preferences or a set of feasible alternatives. A theorem is proved showing which normative conditions are satisfied for two-stage choice procedures based on different scoring rules, rules, using majority relation, value function and tournament matrix. A complexity of two-stage choice procedures as well as its runtime on real data are evaluated.


title: Optimized Thermal-Aware Job Scheduling and Control of Data Centers

abstract: Analyzing data centers with thermal-aware optimization techniques is a viable approach to reduce energy consumption of data centers. By taking into account thermal consequences of job placements among the servers of a data center, it is possible to reduce the amount of cooling necessary to keep the servers below a given safe temperature threshold. We set up an optimization problem to analyze and characterize the optimal setpoints for the workload distribution and the supply temperature of the cooling equipment. Furthermore under mild assumptions we design and analyze controllers that drive the data center to the optimal state without knowledge of the current total workload to be handled by the data center. The response of our controller is validated by simulations and convergence to the optimal setpoints is achieved under varying workload conditions.


title: Atomic displacements and lattice distortion in the magnetic-field-induced charge ordered state of SmRu$_{4}$P$_{12}$

abstract: Structural properties of SmRu$_4$P$_{12}$ in the anomalous magnetic ordered phase between $T^*\sim 14 $ K and $T_{\text{N}}=16.5$ K in magnetic fields has been studied by x-ray diffraction. Atomic displacements of Ru and P, reflecting the field-induced charge order of the $p$ electrons, have been deduced by analyzing the intensities of the forbidden Bragg peaks, assuming a cubic space group $Pm\bar{3}$. Also, by utilizing high-resolution x-ray diffraction experiment, we observed a splitting of fundamental Bragg peaks, clarifying that the unit cell in the magnetic ordered phase is rhombohedral elongated along the $[1\, 1\, 1]$ axis. Responses of the rhombohedral domains to the magnetic field, which reflects the direction of the magnetic moment, is studied in detail.


title: Normative properties of multi-criteria choice procedures and their superpositions: I

abstract: We consider different choice procedures such as scoring rules, rules, using majority relation, value function and tournament matrix, which are used in social and multi-criteria choice problems. We focus on the study of the properties that show how the final choice is changed due to changes of preferences or a set of feasible alternatives. As a result a theorem is provided showing which normative properties (rationality, monotonicity, non-compensability) are satisfied for the given choice procedures.


title: Rings over which every matrix is the sum of two idempotents and a nilpotent

abstract: A ring $R$ is (strongly) 2-nil-clean if every element in $R$ is the sum of two idempotents and a nilpotent (that commute). Fundamental properties of such rings are discussed. Let $R$ be a 2-primal ring. If $R$ is strongly 2-nil-clean, we show that $M_n(R)$ is 2-nil-clean for all $n\in {\Bbb N}$. We also prove that the matrix ring is 2-nil-clean for a strongly 2-nil-clean ring of bounded index. These provide many classes of rings over which every matrix is the sum of two idempotents and a nilpotent.


title: Circumbinary planets II - when transits come and go

abstract: Circumbinary planets are generally more likely to transit than equivalent single-star planets, but practically the geometry and orbital dynamics of circumbinary planets make the chance of observing a transit inherently time-dependent. In this follow-up paper to Martin & Triaud (2015), the time-dependence is probed deeper by analytically calculating when and for how long the binary and planet orbits overlap, allowing for transits to occur. The derived equations are applied to the known transiting circumbinary planets found by Kepler to predict when future transits will occur, and whether they will be observable by upcoming space telescopes TESS, CHEOPS and PLATO. The majority of these planets spend less than 50% of their time in a transiting configuration, some less than 20%. From this it is calculated that the known Kepler eclipsing binaries likely host an additional ~ 17 - 30 circumbinary planets that are similar to the ten published discoveries, and they will ultimately transit some day, potentially during the TESS and PLATO surveys.


title: On the role of speed adaptation and spacing indifference in traffic instability: evidence from car-following experiments and its stochastic modeling

abstract: Understanding the mechanisms responsible for the emergence and evolution of oscillations in traffic flow has been subject to intensive research by the traffic flow theory community. In our previous work, we proposed a new mechanism to explain the generation of traffic oscillations: traffic instability caused by the competition between speed adaptation and the cumulative effect of stochastic factors. In this paper, by conducting a closer examination of car following data obtained in a 25-car platoon experiment, we discovered that the speed difference plays a more important role on car-following dynamics than the spacing, and when its amplitude is small, the growth of oscillations is mainly determined by the stochastic factors that follow the mean reversion process; when its amplitude increases, the growth of the oscillations is determined by the competition between the stochastic factors and the speed difference. An explanation is then provided, based on the above findings, to why the speed variance in the oscillatory traffic grows in a concave way along the platoon. Finally, we proposed a mode-switching stochastic car-following model that incorporates the speed adaptation and spacing indifference behaviors of drivers, which captures the observed characteristics of oscillation and discharge rate. Sensitivity analysis shows that reaction delay only has slight effect but indifference region boundary has significant on oscillation growth rate and discharge rate.


title: SDSS-IV MaNGA: Properties of galaxies with kinematically decoupled stellar and gaseous components

abstract: We study the properties of 66 galaxies with kinematically misaligned gas and stars from MaNGA survey. The fraction of kinematically misaligned galaxies varies with galaxy physical parameters, i.e. M*, SFR and sSFR. According to their sSFR, we further classify these 66 galaxies into three categories, 10 star-forming, 26 "Green Valley" and 30 quiescent ones. The properties of different types of kinematically misaligned galaxies are different in that the star-forming ones have positive gradient in D4000 and higher gas-phase metallicity, while the green valley/quiescent ones have negative D4000 gradients and lower gas-phase metallicity on average. There is evidence that all types of the kinematically misaligned galaxies tend to live in more isolated environment. Based on all these observational results, we propose a scenario for the formation of star forming galaxies with kinematically misaligned gas and stars - the progenitor accretes misaligned gas from a gas-rich dwarf or cosmic web, the cancellation of angular momentum from gas-gas collisions between the pre-existing gas and the accreted gas largely accelerates gas inflow, leading to fast centrally-concentrated star-formation. The higher metallicity is due to enrichment from this star formation. For the kinematically misaligned green valley and quiescent galaxies, they might be formed through gas-poor progenitors accreting kinematically misaligned gas from satellites which are smaller in mass.


title: Packing Sets

abstract: For a given subset $A\subseteq \mathbb F_q^*$, we study the problem of finding a large packing set $B$ of $A$, that is, a set $B \subseteq \mathbb F_q^*$ such that $|AB|=|A||B|$. We prove the existence of such a $B$ of size $|B|\ge (q-1)/|A/A|$ and show that this bound is in general optimal. The case that $q=p$ is a prime and $A=\{1,2,\ldots,\lambda\}$ for some positive integer $\lambda$ is particularly interesting in view of the construction of limited-magnitude error correcting codes. Here we construct a packing set $B$ of size $|B|\gg p (\lambda \log p)^{-1}$ for any $\lambda \le c p^{1/2}$ for some explicitly calcuable constant $c$. This result is optimal up to the logarithmic factor.


title: Exact solutions of a two-dimensional Duffin-Petiau-Kemmer oscillator subject to a coulomb potential in the gravitational field of cosmic string

abstract: In this paper, the problem of a two-dimensional Duffin-Petiau-Kemmer (DKP) oscillator in the presence of a coulomb potential in the cosmic string background is solved. The eigensolutions of the problem in question have been found, and the influence of the cosmic string space-time on the eigenvalues has been analyzed.


title: Modal Analysis of Masonry Structures

abstract: This paper presents a new numerical procedure for evaluating the vibration frequencies and mode shapes of masonry buildings in the presence of cracks. The algorithm has been implemented within the NOSA-ITACA code, which models masonry as a nonlinear elastic material with zero tensile strength. Some case studies are reported, and the differences between linear and nonlinear behavior highlighted.


title: An asymptotically optimal, online algorithm for weighted random sampling with replacement

abstract: This paper presents a novel algorithm solving the classic problem of generating a random sample of size s from population of size n with non-uniform probabilities. The sampling is done with replacement. The algorithm requires constant additional memory, and works in O(n) time (even when s >> n, in which case the algorithm produces a list containing, for every population member, the number of times it has been selected for sample). The algorithm works online, and as such is well-suited to processing streams. In addition, a novel method of mass-sampling from any discrete distribution using the algorithm is presented.


title: Quantum Fisher Information as a Predictor of Decoherence in the Preparation of Spin-Cat States for Quantum Metrology

abstract: In its simplest form, decoherence occurs when a quantum state is entangled with a second state, but the results of measurements made on the second state are not accessible. As the second state has effectively "measured" the first, in this paper we argue that the quantum Fisher information is the relevant metric for predicting and quantifying this kind of decoherence. The quantum Fisher information is usually used to determine an upper bound on how precisely measurements on a state can be used to estimate a classical parameter, and as such it is an important resource. Quantum enhanced metrology aims to create non-classical states with large quantum Fisher information and utilise them in precision measurements. In the process of doing this it is possible for states to undergo decoherence, for instance atom-light interactions used to create coherent superpositions of atomic states may result in atom-light entanglement. Highly non-classical states, such as spin-cat states (Schr\"odinger cat states constructed from superpositions of collective spins) are shown to be highly susceptible to this kind of decoherence. We also investigate the required field occupation of the second state, such that this decoherence is negligible.


title: Single-molecule enhanced spin-flip detection

abstract: We studied the spin-flip excitations of a double-decker nickelocene molecule (Nc) adsorbed on Cu(100) by means of inelastic tunneling spectroscopy (IETS), X-ray magnetic circular dichroism (XMCD) and density functional theory calculations (DFT). The results show that the molecule preserves its magnetic moment and magnetic anisotropy not only on Cu(100), but also in different metallic environments including the tip apex. Taking advantage of the efficient spin-flip excitation of this molecule, we show how such a molecular functionalized tip boosts the inelastic signal of a surface supported Nc by almost one order of magnitude thanks to a double spin-excitation process.


title: Relative derived dimensions for cotilting modules

abstract: For a Noetherian ring $R$ and a cotilting $R$-module $T$ of injective dimension at least $1$, we prove that the derived dimension of $R$ with respect to the category $\mathcal{X}_T$ is precisely the injective dimension of $T$ by applying Auslander-Buchweitz theory and Ghost Lemma. In particular, when $R$ is a commutative Noetherian local ring with a canonical module $\omega_R$ and $\dim R\ge1$, the derived dimension of R with respect to the category of maximal Cohen-Macaulay modules is precisely $\dim R$.


title: Proper holomorphic Legendrian curves in $SL_2(\mathbb{C})$

abstract: In this paper we prove that every open Riemann surface properly embeds in the Special Linear group $SL_2(\mathbb{C})$ as a holomorphic Legendrian curve, where $SL_2(\mathbb{C})$ is endowed with its standard contact structure. As a consequence, we derive the existence of proper, weakly complete, flat fronts in the real hyperbolic space $\mathbb{H}^3$ with arbitrary complex structure.


title: A Survey on Temperley-Lieb-type quotients from the Yokonuma-Hecke algebras

abstract: In this survey we collect all results regarding the construction of the Framization of the Temperley-Lieb algebra of type $A$ as a quotient algebra of the Yokonuma-Hecke algebra of type $A$. More precisely, we present all three possible quotient algebras the emerged during this construction and we discuss their dimension, linear bases, representation theory and the necessary and sufficient conditions for the unique Markov trace of the Yokonuma-Hecke algebra to factor through to each one of them. Further, we present the link invariants that are derived from each quotient algebra and we point out which quotient algebra provides the most natural definition for a framization of the Temperley-Lieb algebra. From the Framization of the Temperley-Lieb algebra we obtain new one-variable invariants for oriented classical links that, when compared to the Jones polynomial, they are not topologically equivalent since they distinguish more pair of non isotopic oriented links. Finally, we discuss the generalization of the newly obtained invariants to a new two-variable invariant for oriented classical links that is stronger than the Jones polynomial.


title: An application of incomplete pairwise comparison matrices for ranking top tennis players

abstract: Pairwise comparison is an important tool in multi-attribute decision making. Pairwise comparison matrices (PCM) have been applied for ranking criteria and for scoring alternatives according to a given criterion. Our paper presents a special application of incomplete PCMs: ranking of professional tennis players based on their results against each other. The selected 25 players have been on the top of the ATP rankings for a shorter or longer period in the last 40 years. Some of them have never met on the court. One of the aims of the paper is to provide ranking of the selected players, however, the analysis of incomplete pairwise comparison matrices is also in the focus. The eigenvector method and the logarithmic least squares method were used to calculate weights from incomplete PCMs. In our results the top three players of four decades were Nadal, Federer and Sampras. Some questions have been raised on the properties of incomplete PCMs and remains open for further investigation.


title: Comparison theorems in pseudo-Hermitian geometry and applications

abstract: In this paper, we study the theory of geodesics with respect to the Tanaka-Webster connection in a pseudo-Hermitian manifold, aiming to generalize some comparison results in Riemannian geometry to the case of pseudo-Hermitian geometry. Some Hopf-Rinow type, Cartan-Hadamard type and Bonnet-Myers type results are established.


title: Rapidly rotating red giants

abstract: Stellar oscillations give seismic information on the internal properties of stars. Red giants are targets of interest since they present mixed modes, which behave as pressure modes in the convective envelope and as gravity modes in the radiative core. Mixed modes thus directly probe red giant cores, and allow in particular the study of their mean core rotation. The high-quality data obtained by CoRoT and Kepler satellites represent an unprecedented perspective to obtain thousands of measurements of red giant core rotation, in order to improve our understanding of stellar physics in deep stellar interiors. We developed an automated method to obtain such core rotation measurements and validated it for stars on the red giant branch. In this work, we particularly focus on the specific application of this method to red giants having a rapid core rotation. They show complex spectra where it is tricky to disentangle rotational splittings from mixed-mode period spacings. We demonstrate that the method based on the identification of mode crossings is precise and efficient. The determination of the mean core rotation directly derives from the precise measurement of the asymptotic period spacing {\Delta}{\Pi}1 and of the frequency at which the crossing of the rotational components is observed.


title: Solving puzzles of GW150914 by primordial black holes

abstract: The black hole binary properties inferred from the LIGO gravitational wave signal GW150914 posed several serious problems. The high masses and low effective spin of black hole binary can be explained if they are primordial (PBH) rather than the products of the stellar binary evolution. Such PBH properties are postulated ad hoc but not derived from fundamental theory. We show that the necessary features of PBHs naturally follow from the slightly modified Affleck-Dine (AD) mechanism of baryogenesis. The log-normal distribution of PBHs, predicted within the AD paradigm, is adjusted to provide an abundant population of low-spin stellar mass black holes. The same distribution gives a sufficient number of quickly growing seeds of supermassive black holes observed at high redshifts and may comprise an appreciable fraction of Dark Matter which does not contradict any existing observational limits. Testable predictions of this scenario are discussed.


title: On Observables in a Dark Matter-Clustering Quintessence System

abstract: We consider a system where dark matter dynamics is enriched by the presence of clustering quintessence in the approximation where the system is effectively reduced to one degree of freedom. We study the corresponding observables up to one-loop order and then point out similarities between the power spectrum of the reduced system and the behaviour of non-equal time pure dark matter correlators. We then focus on the one-loop total density power spectrum in the IR limit as a diagnostic tool for consistency relations breaking. Unlike the non-equal time case, the reduced system does still obey consistency relations; we illustrate this by explicitly verifying the 1-loop IR cancellation. A more general setup, obtained by relaxing the assumption of a vanishing sound speed, is also analyzed. In this and similar scenarios the presence of additional dynamics, typical of dark energy and modified gravity models, implies that one may no longer gauge away the squeezed contribution of observables such as the dark matter bispectrum. We show how these effects propagate all the way to biased tracers.


title: Investigations of the $D$-multi-$\rho$ interactions

abstract: In the present work, which aims at searching for bound sates, the interactions of the $D$-multi-$\rho$ systems are investigated by means of the formalism of the fixed-center-approximation to Faddeev equations. Reproducing the states of $f_2 (1270)$ and $D_1 (2420)$ dynamically in the two-body $\rho\rho$ and $\rho D$ interactions, respectively, as the clusters of the fixed center approximation, the state of $D(3000)^0$ is found as a molecule of $D-f_2$ or $\rho-D_1$ structures in the three-body interactions, where we determine its quantum number $J^P = 2^-$ and find another possible state of $D_2 (3100)$ with isospin $I=3/2$. In our results, there are some other predictions with uncertainties, a $D_3 (3160)$ state with $I(J^P) = \frac{1}{2} (3^+)$ in the four-body interactions, a narrow $D_4 (3730)$ state with $I(J^P) = \frac{1}{2} (4^-)$, a wide $D_4 (3410)$ state of $I(J^P) = \frac{1}{2} (4^-)$, and another wide $D_4 (3770)$ state but with $I(J^P) = \frac{3}{2} (4^-)$ in the five-body interactions, and a $D_5 (3570)$ state with $I(J^P) = \frac{1}{2} (5^+)$ in the six-body interactions. Our results are consistent with the findings of quark models.


title: A nonparametric HMM for genetic imputation and coalescent inference

abstract: Genetic sequence data are well described by hidden Markov models (HMMs) in which latent states correspond to clusters of similar mutation patterns. Theory from statistical genetics suggests that these HMMs are nonhomogeneous (their transition probabilities vary along the chromosome) and have large support for self transitions. We develop a new nonparametric model of genetic sequence data, based on the hierarchical Dirichlet process, which supports these self transitions and nonhomogeneity. Our model provides a parameterization of the genetic process that is more parsimonious than other more general nonparametric models which have previously been applied to population genetics. We provide truncation-free MCMC inference for our model using a new auxiliary sampling scheme for Bayesian nonparametric HMMs. In a series of experiments on male X chromosome data from the Thousand Genomes Project and also on data simulated from a population bottleneck we show the benefits of our model over the popular finite model fastPHASE, which can itself be seen as a parametric truncation of our model. We find that the number of HMM states found by our model is correlated with the time to the most recent common ancestor in population bottlenecks. This work demonstrates the flexibility of Bayesian nonparametrics applied to large and complex genetic data.


title: A multi-resolution model to capture both global fluctuations of an enzyme and molecular recognition in the ligand-binding site

abstract: In multi-resolution simulations, different system components are simultaneously modelled at different levels of resolution, these being smoothly coupled together. In the case of enzyme systems, computationally expensive atomistic detail is needed in the active site to capture the chemistry of substrate binding. Global properties of the rest of the protein also play an essential role, determining the structure and fluctuations of the binding site; however, these can be modelled on a coarser level. Similarly, in the most computationally efficient scheme only the solvent hydrating the active site requires atomistic detail. We present a methodology to couple atomistic and coarse-grained protein models, while solvating the atomistic part of the protein in atomistic water. This allows a free choice of which protein and solvent degrees of freedom to include atomistically, without loss of accuracy in the atomistic description. This multi-resolution methodology can successfully model stable ligand binding, and we further confirm its validity via an exploration of system properties relevant to enzymatic function. In addition to a computational speedup, such an approach can allow the identification of the essential degrees of freedom playing a role in a given process, potentially yielding new insights into biomolecular function.


title: Holographic R\'enyi entropy for two-dimensional $\mathcal{N}$=(2,2) superconformal field theory

abstract: We investigate the holographic R\'enyi entropy for two-dimensional $\mathcal N=(2,2)$ superconformal field theory (SCFT), which is dual to $\mathcal N=2$ supergravity in AdS$_3$ background. In SCFT we have the stress tensor, current, and their supersymmetric partners, and in supergravity we have the graviton, vector field, and two gravitinos. We get the R\'enyi mutual information of two short intervals on complex plane in expansion by the cross ratio $x$ to order $x^4$, and R\'enyi entropy of one interval on torus in expansion by $q=\exp(-2\pi\beta/L)$, with $\beta$ being the inverse temperature and $L$ being the spatial period, to order $q^2$. We calculate in both the supergravity and SCFT sides, and find matches of the results.


title: Limitations and Alternatives for the Evaluation of Large-scale Link Prediction

abstract: Link prediction, the problem of identifying missing links among a set of inter-related data entities, is a popular field of research due to its application to graph-like domains. Producing consistent evaluations of the performance of the many link prediction algorithms being proposed can be challenging due to variable graph properties, such as size and density. In this paper we first discuss traditional data mining solutions which are applicable to link prediction evaluation, arguing about their capacity for producing faithful and useful evaluations. We also introduce an innovative modification to a traditional evaluation methodology with the goal of adapting it to the problem of evaluating link prediction algorithms when applied to large graphs, by tackling the problem of class imbalance. We empirically evaluate the proposed methodology and, building on these findings, make a case for its importance on the evaluation of large-scale graph processing.


title: A uniform asymptotic expansion for the incomplete gamma functions revisited

abstract: A new uniform asymptotic expansion for the incomplete gamma function $\Gamma(a,z)$ valid for large values of $z$ was given by the author in {\it J. Comput. Appl. Math.} {\bf 148} (2002) 323--339. This expansion contains a complementary error function of an argument measuring transition across the point $z=a$, with easily computable coefficients that do not involve a removable singularity in the neighbourhood of this point. In this note we correct a misprint in the listing of certain coefficients in this expansion and discuss in more detail the situation corresponding to $\Gamma(a,a)$.


title: Inferring Coupling of Distributed Dynamical Systems via Transfer Entropy

abstract: In this work, we are interested in structure learning for a set of spatially distributed dynamical systems, where individual subsystems are coupled via latent variables and observed through a filter. We represent this model as a directed acyclic graph (DAG) that characterises the unidirectional coupling between subsystems. Standard approaches to structure learning are not applicable in this framework due to the hidden variables, however we can exploit the properties of certain dynamical systems to formulate exact methods based on state space reconstruction. We approach the problem by using reconstruction theorems to analytically derive a tractable expression for the KL-divergence of a candidate DAG from the observed dataset. We show this measure can be decomposed as a function of two information-theoretic measures, transfer entropy and stochastic interaction. We then present two mathematically robust scoring functions based on transfer entropy and statistical independence tests. These results support the previously held conjecture that transfer entropy can be used to infer effective connectivity in complex networks.


title: On accelerants and their analogs, and on the characterization of the rectangular Weyl functions for Dirac systems with locally square-integrable potentials on a semi-axis

abstract: We characterize the set of rectangular Weyl matrix functions corresponding to Dirac systems with locally square-integrable potentials on a semi-axis and demonstrate a new way to recover the locally square-integrable potential from the Weyl function. Important interconnections between our approach and accelerants of convolution operators are discussed as well.


title: Spectroscopy of two dimensional N=2 Super Yang Mills theory

abstract: Albeit the standard model is the most successful model of particles physics, it still has some theoretical shortcomings, for instance the hierarchy problem, the absence of dark matter, etc. Supersymmetric extensions of the standard model could be a possible solution to these problems. One of the building blocks of these supersymmetric models are supersymmetric gauge theories. It is expected that they exhibit interesting features like confinement, chiral symmetry breaking, magnetic monopoles and the like. We present new results on N=2 Super Yang Mills theory in two dimensions. The lattice action is derived by a dimensional reduction of the N=1 Super Yang Mills theory in four dimensions. By preserving the R symmetry of the four dimensional model we can exploit Ward identities to fine tune our parameters of the model to obtain the chiral and supersymmetric continuum limit. This allows us to calculate the mass spectrum at the physical point and compare these results with effective field theories.


title: DFT modelling of the effect of strong magnetic field on Aniline molecule

abstract: Aniline is an organic compound with the stoichiometric expression $C_{6}H_{5}NH_{2}$; consisting of a phenyl structure attached to an amino group. It is colorless, but it slowly oxidizes and resinifies in air, giving a red-brown tint to aged samples. Until now, there are only few researches on Aniline considering low magnetic fields. In this work, we study Aniline molecule under different high magnetic fields using density functional theory methods including independent particle and interacting particle approaches. We obtain charge density distrubitions, energy dispersions, dipol moments and forces as functions of position and magnetic field. Our numerical results show that magnetic field affects electron density of the considered molecule. As a result, it is observed that there are strong fluctuations in energy dispersion.


title: Rational curves on smooth hypersurfaces of low degree

abstract: We study the family of rational curves on arbitrary smooth hypersurfaces of low degree using tools from analytic number theory.


title: Unveiling multiple AGN activity in galaxy mergers

abstract: In this paper we present an overview of the MAGNA (Multiple AGN Activity) project aiming at a comprehensive study of multiple supemassive black hole systems. With the main goal to characterize the sources in merging systems at different stages of evolution, we selected a sample of objects optically classified as multiple systems on the basis of emission line diagnostics and started a massive multiband observational campaign. Here we report on the discovery of the exceptionally high AGN density compact group SDSS~J0959+1259. A multiband study suggests that strong interactions are taking place among its galaxies through tidal forces, therefore this system represents a case study for physical mechanisms that trigger nuclear activity and star formation. We also present a preliminary analysis of the multiple AGN system SDSS~J1038+3921.}


title: Sensitivity Maps of the Hilbert-Schmidt Independence Criterion

abstract: Kernel dependence measures yield accurate estimates of nonlinear relations between random variables, and they are also endorsed with solid theoretical properties and convergence rates. Besides, the empirical estimates are easy to compute in closed form just involving linear algebra operations. However, they are hampered by two important problems: the high computational cost involved, as two kernel matrices of the sample size have to be computed and stored, and the interpretability of the measure, which remains hidden behind the implicit feature map. We here address these two issues. We introduce the Sensitivity Maps (SMs) for the Hilbert-Schmidt independence criterion (HSIC). Sensitivity maps allow us to explicitly analyze and visualize the relative relevance of both examples and features on the dependence measure. We also present the randomized HSIC (RHSIC) and its corresponding sensitivity maps to cope with large scale problems. We build upon the framework of random features and the Bochner's theorem to approximate the involved kernels in the canonical HSIC. The power of the RHSIC measure scales favourably with the number of samples, and it approximates HSIC and the sensitivity maps efficiently. Convergence bounds of both the measure and the sensitivity map are also provided. Our proposal is illustrated in synthetic examples, and challenging real problems of dependence estimation, feature selection, and causal inference from empirical data.


title: The Morrison-Kawamata Cone Conjecture and Abundance on Ricci flat manifolds

abstract: The aim of this survey paper is threefold: (a) to discuss the status of the Morrison-Kawamata cone conjecture, (b) to report on recent developments towards the Abundance Conjecture, and (c) to discuss the nef line bundle version of the Abundance Conjecture on $K$-trivial varieties.


title: The Land Surface Temperature Synergistic Processor in BEAM: A Prototype towards Sentinel-3

abstract: Land Surface Temperature (LST) is one of the key parameters in the physics of land-surface processes on regional and global scales, combining the results of all surface-atmosphere interactions and energy fluxes between the surface and the atmosphere. With the advent of the European Space Agency (ESA) Sentinel 3 (S3) satellite, accurate LST retrieval methodologies are being developed by exploiting the synergy between the Ocean and Land Colour Instrument (OLCI) and the Sea and Land Surface Temperature Radiometer (SLSTR). In this paper we explain the implementation in the Basic ENVISAT Toolbox for (A)ATSR and MERIS (BEAM) and the use of one LST algorithm developed in the framework of the Synergistic Use of The Sentinel Missions For Estimating And Monitoring Land Surface Temperature (SEN4LST) project. The LST algorithm is based on the split-window technique with an explicit dependence on the surface emissivity. Performance of the methodology is assessed by using MEdium Resolution Imaging Spectrometer/Advanced Along-Track Scanning Radiometer (MERIS/AATSR) pairs, instruments with similar characteristics than OLCI/ SLSTR, respectively. The LST retrievals were properly validated against in situ data measured along one year (2011) in three test sites, and inter-compared to the standard AATSR level-2 product with satisfactory results. The algorithm is implemented in BEAM using as a basis the MERIS/AATSR Synergy Toolbox. Specific details about the processor validation can be found in the validation report of the SEN4LST project.


title: Improving incremental recommenders with online bagging

abstract: Online recommender systems often deal with continuous, potentially fast and unbounded flows of data. Ensemble methods for recommender systems have been used in the past in batch algorithms, however they have never been studied with incremental algorithms that learn from data streams. We evaluate online bagging with an incremental matrix factorization algorithm for top-N recommendation with positive-only -- binary -- ratings. Our results show that online bagging is able to improve accuracy up to 35% over the baseline, with small computational overhead.


title: Online Algorithm for Demand Response with Inelastic Demands and Apparent Power Constraint

abstract: A classical problem in power systems is to allocate in-coming (elastic or inelastic) demands without violating the operating constraints of electric networks in an online fashion. Although online decision problems have been well-studied in the literature, a unique challenge arising in power systems is the presence of non-linear constraints, a departure from the traditional settings. A particular example is the capacity constraint of apparent power, which gives rise to a quadratic constraint, rather than typical linear constraints. In this paper, we present a competitive randomized online algorithm for deciding whether a sequence of inelastic demands can be allocated for the requested intervals, subject to the total satisfiable apparent power within a time-varying capacity constraint. We also consider an alternative setting with nodal voltage constraint, using a variant of the online algorithm. Finally, simulation studies are provided to evaluate the algorithms empirically.


title: Synchrotron radiation from a curved plasma channel laser wakefield accelerator

abstract: A laser pulse guided in a curved plasma channel can excite wakefields that steer electrons along an arched trajectory. As the electrons are accelerated along the curved channel, they emit synchrotron radiation. We present simple analytical models and simulations examining laser pulse guiding, wakefield generation, electron steering, and synchrotron emission in curved plasma channels. For experimentally realizable parameters, a ~2 GeV electron emits 0.1 photons per cm with an average photon energy of multiple keV.


title: Approximation of Quasi-Monte Carlo worst case error in weighted spaces of infinitely times smooth functions

abstract: In this paper, we consider Quasi-Monte Carlo (QMC) worst case error of weighted smooth function classes in $C^\infty[0,1]^s$ by a digital net over $\mathbb F_2$. We show that the ratio of the worst case error to the QMC integration error of an exponential function is bounded above and below by constants. This result provides us with a simple interpretation that a digital net with small QMC integration error for an exponential function also gives the small integration error for any function in this function space.


title: Complete Regularity: Kopperman's duality {\it \`{a} la quantale}

abstract: Nearly three decades from his celebrated result, we study a modern refinement and strengthening of Kopperman's full metrisabilty of all topological spaces. Within this new theory of \emph{V-spaces}, developed by Flagg and Weiss, we investigate several topological notions and their metric counterpart. Among our main results is the reconstruction, in terms of V-spaces, of Kopperman's equivalence between symmetric value semigroups and completely regular topologies. We conclude our work by revisiting some classical topological results and their almost evident validity through this metric lens.


title: $L^p$ Hardy inequality on $C^{1,\gamma}$ domains

abstract: We consider the $L^p$ Hardy inequality involving the distance to the boundary of a domain in the $n$-dimensional Euclidean space with nonempty compact boundary. We extend the validity of known existence and non-existence results, as well as the appropriate tight decay estimates for the corresponding minimizers, from the case of domains of class $C^2$ to the case of domains of class $C^{1,\gamma}$ with $\gamma \in (0,1]$. We consider both bounded and exterior domains. The upper and lower estimates for the minimizers in the case of exterior domains and the corresponding related non-existence result seem to be new even for $C^2$-domains.


title: FIB synthesis of Bi2Se3 1D nanowires demonstrating the co-existence of Shubnikov-de Haas oscillations and linear magnetoresistance

abstract: Since the discovery of topological insulators (TI), there are considerable interests in demonstrating metallic surface states, their shielded robust nature to the backscattering and study their properties at nanoscale dimensions by fabricating nanodevices. Here we address an important scientific issue related to TI whether one can clearly demonstrate the robustness of topological surface states (TSS) to the presence of disorder that does not break any fundamental symmetry. The simple straightforward method of FIB milling was used to synthesize nanowires of Bi2Se3 which we believe an interesting route to test robustness of TSS and obtained results are new compared to many of the earlier papers on quantum transport in TI demonstrating robustness of metallic SS to gallium doping. In presence of perpendicular magnetic field, we have observed the co-existence of Shubnikov de Haas oscillations and linear magnetoresistance which was systematically investigated at different channel lengths indicating the Dirac dispersive surface states. The transport properties and estimated physical parameters shown here demonstrate the robustness of SS to the fabrication tools triggering flexibility to explore new exotic quantum phenomena at nanodevice level.


title: Learning Methods for Dynamic Topic Modeling in Automated Behaviour Analysis

abstract: Semi-supervised and unsupervised systems provide operators with invaluable support and can tremendously reduce the operators load. In the light of the necessity to process large volumes of video data and provide autonomous decisions, this work proposes new learning algorithms for activity analysis in video. The activities and behaviours are described by a dynamic topic model. Two novel learning algorithms based on the expectation maximisation approach and variational Bayes inference are proposed. Theoretical derivations of the posterior of model parameters are given. The designed learning algorithms are compared with the Gibbs sampling inference scheme introduced earlier in the literature. A detailed comparison of the learning algorithms is presented on real video data. We also propose an anomaly localisation procedure, elegantly embedded in the topic modeling framework. The proposed framework can be applied to a number of areas, including transportation systems, security and surveillance.


title: End-to-End Architecture Modularisation and Slicing for Next Generation Networks

abstract: The journey towards the deployment of next generation networks has recently accelerated, driven by the joint effort of research and standards organisations. Despite this fact, the overall picture is still unclear as prioritization and understanding on several key concepts are not yet agreed by major vendors and network providers. Network Slicing is one of the central topics of the debate, and it is expected to become the key feature of next generation networks, providing the flexibility required to support the variety of 5G use cases and business. Network slices are seen as network operator business, offering the possibility to provide flexible services and even infrastructures to vertical industries and classical Telco customers alike. Another key ingredient is the Architecture Modularisation concept, discussed in this paper and regarded by the authors as the essential design principle to build a flexible network architecture natively supporting Network Slicing. According to this concept, conventional monolithic network functions, often corresponding to physical network elements in the existing systems, are to split into basic building blocks defined with the proper granularity, allowing the definition of different logical architectures (i.e. different Network Slices). In this paper, we further discuss a modularisation methodology as a criteria to define the right set of basic building blocks. Defined through this proposed methodology, the set of basic building blocks and the relating interfacing model are discussed. The paper concludes by proposing a modular 5G network architecture as candidate for next generation network standards.


title: A note on the Mittag--Leffler condition for Bredon-modules

abstract: In this note we show the Bredon-analogue of a result by Emmanouil and Talelli, which gives a criterion when the homological and cohomological dimensions of a countable group $G$ agree. We also present some applications to groups of Bredon-homological dimension $1$.


title: Analysis of Link Formation, Persistence and Dissolution in NetSense Data

abstract: We study a unique behavioral network data set (based on periodic surveys and on electronic logs of dyadic contact via smartphones) collected at the University of Notre Dame.The participants are a sample of members of the entering class of freshmen in the fall of 2011 whose opinions on a wide variety of political and social issues and activities on campus were regularly recorded - at the beginning and end of each semester - for the first three years of their residence on campus. We create a communication activity network implied by call and text data, and a friendship network based on surveys. Both networks are limited to students participating in the NetSense surveys. We aim at finding student traits and activities on which agreements correlate well with formation and persistence of links while disagreements are highly correlated with non-existence or dissolution of links in the two social networks that we created. Using statistical analysis and machine learning, we observe several traits and activities displaying such correlations, thus being of potential use to predict social network evolution.


title: Relative K-stability for K\"ahler manifolds

abstract: We study the existence of extremal K\"ahler metrics on K\"ahler manifolds. After introducing a notion of relative K-stability for K\"ahler manifolds, we prove that K\"ahler manifolds admitting extremal K\"ahler metrics are relatively K-stable. Along the way, we prove a general $L^p$ lower bound on the Calabi functional involving test configurations and their associated numerical invariants, answering a question of Donaldson. When the K\"ahler manifold is projective, our definition of relative K-stability is stronger than the usual definition given by Sz\'ekelyhidi. In particular our result strengthens the known results in the projective case (even for constant scalar curvature K\"ahler metrics), and rules out a well known counterexample to the "na\"ive" version of the Yau-Tian-Donaldson conjecture in this setting.


title: Influence of tangential displacement on the force of adhesion between a parabolic profile and plane surface

abstract: The force of adhesion of a rotationally symmetric indenter and an elastic half-space is analyzed analytically and numerically using an extension of the method of dimensionality reduction (MDR) for superimposed normal/tangential adhesive contacts. In particular, the dependency of the critical adhesion force on the simultaneously applied tangential force is obtained and the relevant dimensionless parameters of the problem are identified. The developed method is applicable straightforwardly to adhesive contacts of any bodies of revolution.


title: Nodal intersections for random waves against a segment on the 3-dimensional torus

abstract: We consider random Gaussian eigenfunctions of the Laplacian on the three-dimensional flat torus, and investigate the number of nodal intersections against a straight line segment. The expected intersection number, against any smooth curve, is universally proportional to the length of the reference curve, times the wavenumber, independent of the geometry. We found an upper bound for the nodal intersections variance, depending on the arithmetic properties of the straight line. The considerations made establish a close relation between this problem and the theory of lattice points on spheres.


title: Wave emission and absorption at spectral singularities

abstract: We studied the critical dynamics of spectral singularities. The system investigated is a coupled resonator array with a side-coupled loss (gain) resonator. For a gain resonator, the system acts as a wave emitter at spectral singularities. The reflection probability increased linearly over time. The rate of increase is proportional to the width of the incident wave packet, which served as the spectral singularity observer in the experiment. For a lossy resonator, the system acts as a wave absorber. The emission and absorption states at spectral singularities coalesce in a finite parity-time (PT ) symmetric system that combined by the gain and loss structures cut from corrresponding scattering systems at spectral singularities; in this case, the PT -symmetric system is at an exceptional point with a 2 * 2 Jordan block. The dynamics of the PT -symmetric system exhibit the characteristic of exceptional points and spectral singularities.


title: Hubbard-to-Heisenberg crossover (and efficient computation) of Drude weights at low temperatures

abstract: We illustrate how finite-temperature charge and thermal Drude weights of one-dimensional systems can be obtained from the relaxation of initial states featuring global (left-right) gradients in the chemical potential or temperature. The approach is tested for spinless interacting fermions as well as for the Fermi-Hubbard model, and the behaviour in the vicinity of singular points (such as half filling or isotropic chains) is discussed. We present technical details on how to implement the calculation in practice using the density matrix renormalization group and show that the non-equilibrium dynamics is often less demanding to simulate numerically and features simpler finite-time transients than the corresponding linear response current correlators; thus, new parameter regimes can become accessible. As an application, we determine the thermal Drude weight of the Hubbard model for temperatures T which are an order of magnitude smaller than those reached in the equilibrium approach. This allows us to demonstrate that at low T and half filling, thermal transport is successively governed by spin excitations and described quantitatively by the Bethe ansatz Drude weight of the Heisenberg chain.


title: Compositional Reasoning for Shared-variable Concurrent Programs

abstract: Scalable and automatic formal verification for concurrent systems is always demanding. In this paper, we propose a verification framework to support automated compositional reasoning for concurrent programs with shared variables. Our framework models concurrent programs as succinct automata and supports the verification of multiple important properties. Safety verification and simulations of succinct automata are parallel compositional, and safety properties of succinct automata are preserved under refinements. We generate succinct automata from infinite state concurrent programs in an automated manner. Furthermore, we propose the first automated approach to checking rely-guarantee based simulations between infinite state concurrent programs. We have prototyped our algorithms and applied our tool to the verification of multiple refinements.


title: On the Number of Periodic Points of Quadratic Dynamical Systems Modulo a Prime

abstract: In 2004 Vasiga and Shallit studied the number of periodic points of two particular discrete quadratic maps modulo prime numbers. They found the asymptotic behaviour of the sum of the number of periodic points for all primes less than some bound, assuming the Extended Riemann Hypothesis. Later that same year Chou and Shparlinski proved this asymptotic result without assuming any unproven hypotheses. Inspired by this we perform experiments and find a striking pattern in the behaviour of the sum of the number of periodic points for quadratic maps other than the two particular ones studied previously. From simulations it appears that the sum of the number of periodic points of all quadratic maps of this type behave the same. Finally we find that numerically the distribution of the amounts of periodic points seems to be Rayleigh.


title: Strong Neutrosophic Graphs and Subgraph Topological Subspaces

abstract: In this book authors for the first time introduce the notion of strong neutrosophic graphs. They are very different from the usual graphs and neutrosophic graphs. Using these new structures special subgraph topological spaces are defined. Further special lattice graph of subgraphs of these graphs are defined and described. Several interesting properties using subgraphs of a strong neutrosophic graph are obtained. Several open conjectures are proposed. These new class of strong neutrosophic graphs will certainly find applications in Neutrosophic Cognitive Maps (NCM), Neutrosophic Relational Maps (NRM) and Neutrosophic Relational Equations (NRE) with appropriate modifications.


title: The new hybrid COAW method for solving multi-objective problems

abstract: In this article using Cuckoo Optimization Algorithm and simple additive weighting method the hybrid COAW algorithm is presented to solve multi-objective problems. Cuckoo algorithm is an efficient and structured method for solving nonlinear continuous problems. The created Pareto frontiers of the COAW proposed algorithm are exact and have good dispersion. This method has a high speed in finding the Pareto frontiers and identifies the beginning and end points of Pareto frontiers properly. In order to validation the proposed algorithm, several experimental problems were analyzed. The results of which indicate the proper effectiveness of COAW algorithm for solving multi-objective problems.


title: Benchmarking Web-testing - Selenium versus Watir and the Choice of Programming Language and Browser

abstract: Context: Selenium is claimed to be the most popular software test automation tool. Past academic works have mainly neglected testing tools in favor of more methodological topics. Objective: We investigated the performance of web-testing tools, to provide empirical evidence supporting choices in software test tool selection and configuration. Method: We used 4*5 factorial design to study 20 different configurations for testing a web-store. We studied 5 programming language bindings (C#, Java, Python, and Ruby for Selenium, while Watir supports Ruby only) and 4 browsers (Google Chrome, Internet Explorer, Mozilla Firefox and Opera). Performance was measured with execution time, memory usage, length of the test scripts and stability of the tests. Results: Considering all measures the best configuration was Selenium with Python language binding for Chrome. Selenium with Python bindings was the best option for all browsers. The effect size of the difference between the slowest and fastest configuration was very high (Cohens d=41.5, 91% increase in execution time). Overall Internet Explorer was the fastest browser while having the worst results in the stability. Conclusions: We recommend benchmarking tools before adopting them. Weighting of factors, e.g. how much test stability is one willing to sacrifice for faster performance, affects the decision.


title: Stable Soliton Excitations in Modulational Instability Regime with the Fourth-order Effects

abstract: We study the correspondence between modulational instability and types of fundamental nonlinear excitation in a nonlinear fiber with both third-order and fourth-order effects. Some stable soliton excitations are obtained in modulational instability regime, which have not been found in nonlinear fibers with second-order effects and third-order effects. Explicit analysis suggests that the stable soliton existence is related with the modulation stability circle in the modulation instability regime, and they just exist in the modulational instability regime outside of the modulational stability circle. It should be emphasized that the stable soliton just exist with two special profiles on a continuous wave background with certain frequency. The evolution stability of the solitons is tested numerically, which indicate they are robust against perturbations even in modulation instability regime. The further analysis indicates that the solitons in modulational instability regime are caused by the fourth-order effects.


title: On Verifying Causal Consistency

abstract: Causal consistency is one of the most adopted consistency criteria for distributed implementations of data structures. It ensures that operations are executed at all sites according to their causal precedence. We address the issue of verifying automatically whether the executions of an implementation of a data structure are causally consistent. We consider two problems: (1) checking whether one single execution is causally consistent, which is relevant for developing testing and bug finding algorithms, and (2) verifying whether all the executions of an implementation are causally consistent. We show that the first problem is NP-complete. This holds even for the read-write memory abstraction, which is a building block of many modern distributed systems. Indeed, such systems often store data in key-value stores, which are instances of the read-write memory abstraction. Moreover, we prove that, surprisingly, the second problem is undecidable, and again this holds even for the read-write memory abstraction. However, we show that for the read-write memory abstraction, these negative results can be circumvented if the implementations are data independent, i.e., their behaviors do not depend on the data values that are written or read at each moment, which is a realistic assumption.


title: On robust feedback for systems with multidimensional control

abstract: The paper deals with local robust feedback synthesis for systems with multidimensional control and unknown bounded perturbations. Using V.~I.~Korobov's controllability function method, we construct a bounded control which steers an arbitrary initial point to the origin in some finite time; an estimate from above for the time of motion is given. We have found the range of a segment where the perturbations can vary. As an example we consider the problem of stopping the oscillations of the system of two coupled pendulums.


title: Towards High-Efficiency Cascading Outage Simulation and Analysis in Power Systems: A Sequential Importance Sampling Approach

abstract: This paper addresses how to improve the computational efficiency and estimation reliability in cascading outage analysis. We first formulate a cascading outage as a Markov chain with specific state space and transition probability by leveraging the Markov property of cascading outages. It provides a rigorous formulation that allows analytic investigation on cascading outages in the framework of standard mathematical statistics. Then we derive a sequential importance sampling (SIS) based simulation strategy for cascading outage simulation and blackout risk analysis with theoretical justification. Numerical experiments manifest that the proposed SIS strategy can significantly bring down the number of simulations and reduce the estimation variance of cascading outage analysis compared with the traditional Monte Carlo simulation strategy.


title: Graded index SCH transistor laser: Analysis of various confinement structures

abstract: New configuration of confinement structure is utilized to improve optoelectronic performances, including threshold current, AC current gain as well as optical bandwidth and optical output power of single quantum well transistor laser. Considering the drift component in addition to the diffusion term in electron current density, a new continuity equation is developed to analyze the proposed structures. Physical parameters including, electron mobility, recombination lifetime, optical confinement factor, electron capture time and photon lifetime is calculated for new structures. Based on solving continuity equation in separate confinement heterostructures, threshold current reduces 67% and optical output power increases 37%.


title: Anomalous Hall effect and magnetic orderings in nanothick V$_5$S$_8$

abstract: The rise of graphene marks the advent of two-dimensional atomic crystals, which have exhibited a cornucopia of intriguing properties, such as the integer and fractional quantum Hall effects, valley Hall effect, charge density waves and superconductivity, to name a few. Yet, magnetism, a property of extreme importance in both science and technology, remains elusive. There is a paramount need for magnetic two-dimensional crystals. With the availability of many magnetic materials consisting of van der Waals coupled two-dimensional layers, it thus boils down to the question of how the magnetic order will evolve with reducing thickness. Here we investigate the effect of thickness on the magnetic ordering in nanothick V$_5$S$_8$. We uncover an anomalous Hall effect, by which the magnetic ordering in V$_5$S$_8$ down to 3.2 nm is probed. With decreasing thickness, a breakdown of antiferromagnetism is evident, followed by a spin-glass-like state. For thinnest samples, a weak ferromagnetic ordering emerges. The results not only show an interesting effect of reducing thickness on the magnetic ordering in a potential candidate for magnetic two-dimensional crystals, but demonstrate the anomalous Hall effect as a useful characterization tool for magnetic orderings in two-dimensional systems.


title: The impact of magnetic fields on the chemical evolution of the supernova-driven ISM

abstract: We present three-dimensional magneto-hydrodynamical simulations of the self-gravitating interstellar medium (ISM) in a periodic (256 pc)$^3$ box with a mean number density of 0.5 cm$^{-3}$. At a fixed supernova rate we investigate the multi-phase ISM structure, H$_{2}$ molecule formation and density-magnetic field scaling for varying initial magnetic field strengths (0, $6\times 10^{-3}$, 0.3, 3 $\mu$G). All magnetic runs saturate at mass weighted field strengths of $\sim$ 1 $-$ 3 $\mu$G but the ISM structure is notably different. With increasing initial field strengths (from $6\times 10^{-3}$ to 3 $\mu$G) the simulations develop an ISM with a more homogeneous density and temperature structure, with increasing mass (from 5% to 85%) and volume filling fractions (from 4% to 85%) of warm (300 K $<$ T $<$ 8000 K) gas, with decreasing volume filling fractions (VFF) from $\sim$ 35% to $\sim$ 12% of hot gas (T $> 10^5$ K) and with a decreasing H$_{2}$ mass fraction (from 70% to $<$ 1%). Meanwhile the mass fraction of gas in which the magnetic pressure dominates over the thermal pressure increases by a factor of 10, from 0.07 for an initial field of $6\times 10^{-3}$ $\mu$G to 0.7 for a 3 $\mu$G initial field. In all but the simulations with the highest initial field strength self-gravity promotes the formation of dense gas and H$_{2}$, but does not change any other trends. We conclude that magnetic fields have a significant impact on the multi-phase, chemical and thermal structure of the ISM and discuss potential implications and limitations of the model.


title: Distributed MPC: Guaranteeing Global Stabilizability from Locally Designed Tubes

abstract: This paper studies a fundamental relation that exists between stabilizability assumptions usually employed in distributed model predictive control implementations, and the corresponding notions of invariance implicit in such controllers. The relation is made explicit in the form of a theorem that presents sufficient conditions for global stabilizability. It is shown that constraint admissibility of local robust controllers is sufficient for the global closed-loop system to be stable, and how these controllers are related to more complex forms of control such as tube-based distributed model predictive control implementations.


title: Rectification and non-Gaussian diffusion in heterogeneous media

abstract: We show that when Brownian motion takes place in a heterogeneous medium, the presence of local forces and transport coefficients leads to deviations from a Gaussian probability distribution that make that the ratio between forward and backward probabilities depends on the nature of the host medium, on local forces and also on time. We have applied our results to two situations: diffusion in a disordered medium and diffusion in a confined system. For such scenarios we have shown that our theoretical predictions are in very good agreement with numerical results. Moreover we have shown that the deviations from the Gaussian solution lead to the onset of rectification. Our predictions could be used to detect the presence of local forces and to characterize the intrinsic short-scale properties of the host medium, a problem of current interest in the study of micro and nano-systems.


title: Skew symmetric logarithms and geodesics on $O_n(\RR)$

abstract: We investigate the connections between the differential-geometric properties of the exponential map from the space of real skew symmetric matrices onto the group of real special orthogonal matrices and the manifold of real orthogonal matrices equipped with the Riemannian structure induced by the Frobenius metric.


title: Stochastic Control and Differential Games with Path-Dependent Influence of Controls on Dynamics and Running Cost

abstract: In this paper, we consider the functional It\^o calculus framework to find a path-dependent version of the Hamilton-Jacobi-Bellman equation for stochastic control problems that feature dynamics and running cost that depend on the path of the control. We also prove a Dynamic Programming Principle for such problems. We apply our results to path-dependence of the delay type. We further study Stochastic Differential Games in this context.


title: Counterterm method in dilaton gravity and the critical behavior of dilaton black holes with power-Maxwell field

abstract: We investigate the critical behavior of an $(n+1)$-dimensional topological dilaton black holes, in an extended phase space in both canonical and grand-canonical ensembles, when the gauge field is in the form of power-Maxwell field. In order to do this we introduce for the first time the counterterms that remove the divergences of the action in dilaton gravity for the solutions with curved boundary. Using the counterterm method, we calculate the conserved quantities and the action and therefore Gibbs free energy in both the canonical and grand-canonical ensembles. We treat the cosmological constant as a thermodynamic pressure, and its conjugate quantity as a thermodynamic volume. In the presence of power-Maxwell field, we find an analogy between the topological dilaton black holes with van der Walls liquid-gas system in all dimensions provided the dilaton coupling constant $\alpha$ and the power parameter $p$ are chosen properly. Interestingly enough, we observe that the power-Maxwell dilaton black holes admit the phase transition in both canonical and grand-canonical ensembles. This is in contrast to RN-AdS, Einstein-Maxwell-dilaton and Born-Infeld-dilaton black holes, which only admit the phase transition in the canonical ensemble. Besides, we calculate the critical quantities and show that they depend on $\alpha$, $n$ and $p$. Finally, we obtain the critical exponents in two ensembles and show that they are independent of the model parameters and have the same values as mean field theory.


title: Deep Neural Networks for HDR imaging

abstract: We propose novel methods of solving two tasks using Convolutional Neural Networks, firstly the task of generating HDR map of a static scene using differently exposed LDR images of the scene captured using conventional cameras and secondly the task of finding an optimal tone mapping operator that would give a better score on the TMQI metric compared to the existing methods. We quantitatively show the performance of our networks and illustrate the cases where our networks performs good as well as bad.


title: Integrable Lattice Models From Gauge Theory

abstract: These notes provide an introduction to recent work by Kevin Costello in which integrable lattice models of classical statistical mechanics in two dimensions are understood in terms of quantum gauge theory in four dimensions. This construction will be compared to the more familiar relationship between quantum knot invariants in three dimensions and Chern-Simons gauge theory. (Based on a Whittaker Colloquium at the University of Edinburgh and a lecture at Strings 2016 in Beijing.)

categories: hep-th cond-mat.stat-mech math-ph math.MP


title: Covariant holographic entanglement negativity

abstract: We propose a covariant holographic conjecture for the entanglement negativity of mixed states in bipartite systems described by $d$-dimensional conformal field theories dual to bulk non static $AdS_{d+1}$ configurations. Application of our conjecture to $(1+1)$-dimensional conformal field theories dual to bulk rotating BTZ black holes exactly reproduces the corresponding entanglement negativity in the large central charge limit and characterizes the distillable entanglement. We further demonstrate that our conjecture applied to the case of bulk extremal rotating BTZ black holes also characterizes the entanglement negativity for the chiral half of the corresponding zero temperature $(1+1)$-dimensional holographic conformal field theories.


title: Non-destructive detection of ions using atom-cavity collective strong coupling

abstract: We present a technique, based on atoms coupled to an optical cavity, for non-destructive detection of trapped ions. We demonstrate the vacuum-Rabi splitting (VRS), arising due to the collective strong coupling of ultracold Rb atoms to a cavity, to change in presence of trapped Rb+ ions. The Rb+ ions are optically dark and the Rb atoms are prepared in a dark magneto-optical trap (MOT). The VRS is measured on an optically open transition of the initially dark Rb atoms. The measurement itself is fast, non-destructive and has sufficient fidelity to permit the measurement of atomic-state selective ion-atom collision rate. This demonstration illustrates a method based on atom-cavity coupling to measure two particle interactions generically and non-destructively.

categories: physics.atom-ph cond-mat.quant-gas physics.optics quant-ph


title: On computing the distance to stability for matrices using linear dissipative Hamiltonian systems

abstract: In this paper, we consider the problem of computing the nearest stable matrix to an unstable one. We propose new algorithms to solve this problem based on a reformulation using linear dissipative Hamiltonian systems: we show that a matrix $A$ is stable if and only if it can be written as $A = (J-R)Q$, where $J=-J^T$, $R \succeq 0$ and $Q \succ 0$ (that is, $R$ is positive semidefinite and $Q$ is positive definite). This reformulation results in an equivalent optimization problem with a simple convex feasible set. We propose three strategies to solve the problem in variables $(J,R,Q)$: (i) a block coordinate descent method, (ii) a projected gradient descent method, and (iii) a fast gradient method inspired from smooth convex optimization. These methods require $\mathcal{O}(n^3)$ operations per iteration, where $n$ is the size of $A$. We show the effectiveness of the fast gradient method compared to the other approaches and to several state-of-the-art algorithms.


title: An Insight in Explaining the Stress Distribution in and around EGS

abstract: Developing an Enhanced Geothermal System, otherwise known as EGS, is a complex process and is dependent on range of geological and operating variables. Stresses in and around EGS are believed to be either sound and non-harming or violent and catastrophic among different groups involved, directly or indirectly, in EGS. Pros and cons of EGS have been under discussion and research for a while now. This paper addresses issues associated with stress redistribution during and after working cycle of EGS and gives a new insight in understanding the behavior of stresses redistribution in and around basement rock. As the basement rock is thermo-elastically connected to the country rock, newly generated stresses interact with the existing in-situ stresses under prevailing conditions of geological, design and operating variables. Variables dictating the continuous, safe and efficient working of EGS are also outlined in detailed sections. Guidelines for future of the research related to stress redistribution in EGS are also part of this paper.


title: Uncertainty propagation within the UNEDF models

abstract: The parameters of the nuclear energy density have to be adjusted to experimental data. As a result they carry certain uncertainty which then propagates to calculated values of observables. In the present work we quantify the statistical uncertainties of binding energies, proton quadrupole moments, and proton matter radius for three UNEDF Skyrme energy density functionals by taking advantage of the knowledge of the model parameter uncertainties. We find that the uncertainty of UNEDF models increases rapidly when going towards proton or neutron rich nuclei. We also investigate the impact of each model parameter on the total error budget.


title: A bioinformatics system for searching Co-Occurrence based on Co-Operational Formation with Advanced Method (COCOFAM)

abstract: Literature analysis is a key step in obtaining background information in biomedical research. However, it is difficult for researchers to obtain knowledge of their interests in an efficient manner because of the massive amount of the published biomedical literature. Therefore, efficient and systematic search strategies are required, which allow ready access to the substantial amount of literature. In this paper, we propose a novel search system, named Co-Occurrence based on Co-Operational Formation with Advanced Method(COCOFAM) which is suitable for the large-scale literature analysis. COCOFAM is based on integrating both Spark for local clusters and a global job scheduler to gather crowdsourced co-occurrence data on global clusters. It will allow users to obtain information of their interests from the substantial amount of literature.


title: Increasing efficiency of a wireless energy transfer system by spatial translational transformation

abstract: An optical translational projector (OTP) designed by transformation optics is applied to improve the energy transfer efficiency in a wireless energy transfer (WET) system. Numerical simulation results show our OTP can greatly enhance the energy transfer efficiency (e.g. nearly 2 orders, compared to the case without our OTP) in WET systems, which is much larger than previous methods (e.g. magnetic super-lens). A 3D reduced OTP composed by layered isotropic magnetic materials is designed, whose performance has been verified by 3D numerical simulations in 10MHz. We also study the influence of loss of metamaterials on the performance of proposed OTP.


title: An $L^2-$stability estimate for periodic nonuniform sampling in higher dimensions

abstract: We consider sampling strategies for a class of multivariate bandlimited functions $f$ that have a spectrum consisting of disjoint frequency bands. Taking advantage of the special spectral structure, we provide formulas relating $f$ to the samples $f(y), y\in X$, where $X$ is a periodic nonuniform sampling set. In this case, we show that the reconstruction can be viewed as an iterative process involving certain Vandermonde matrices, resulting in a link between the invertibility of these matrices to the existence of certain sampling sets that guarantee a unique recovery. Furthermore, estimates of inverse Vandermonde matrices are used to provide explicit $L^{2}$-stability estimates for the reconstruction of this class of functions.


title: Ordinal Common-sense Inference

abstract: Humans have the capacity to draw common-sense inferences from natural language: various things that are likely but not certain to hold based on established discourse, and are rarely stated explicitly. We propose an evaluation of automated common-sense inference based on an extension of recognizing textual entailment: predicting ordinal human responses on the subjective likelihood of an inference holding in a given context. We describe a framework for extracting common-sense knowledge from corpora, which is then used to construct a dataset for this ordinal entailment task. We train a neural sequence-to-sequence model on this dataset, which we use to score and generate possible inferences. Further, we annotate subsets of previously established datasets via our ordinal annotation protocol in order to then analyze the distinctions between these and what we have constructed.


title: Scala-gopher: CSP-style programming techniques with idiomatic Scala

abstract: Cala-gopher is a library-level Scala implementation of communication sequence process constructs: channels, selectors (similar to analogical constructs in Limbo or Go) transputers (similar to Occam proc) and a set of high-level operations on top of akka and SIP-22 async. The framework integrates CSP-style programming into standard Scala concurrency environment via idiomatic API. This allows usage of communication patterns, well known in Go world, but not easy expressable in mainstream scala concurrency frameworks, along with algebraic approach for composing computation builders. Besides, we want to discuss current implementation issues and future directions in the context of evolving of compiler and libraries ecosystem.


title: Space-Like Particle Production: an Interpretation Based on the Majorana Equation

abstract: This study reconsiders the decay of an ordinary particle in bradyons, tachyons and luxons in the field of the relativistic quantum mechanics. Lemke already investigated this from the perspective of covariant kinematics. Since the decay involves both spacelike and timelike particles, the study uses the Majorana equation for particles with an arbitrary spin. The equation describes the tachyonic and bradyonic realms of massive particles, and approaches the problem of how spacelike particles might develop. This method confirms the kinematic constraints that Lemke theory provided and proves that some possible decays are more favourable than others are.


title: Three-body model for the two-neutron decay of $^{16}$Be

abstract: While diproton decay was first theorized in 1960 and first measured in 2002, it was first observed only in 2012. The measurement of $^{14}$Be in coincidence with two neutrons suggests that $^{16}$Be does decay through the simultaneous emission of two strongly correlated neutrons. In this work, we construct a full three-body model of $^{16}$Be (as $^{14}$Be + n + n) in order to investigate its configuration in the continuum and in particular the structure of its ground state. In order to describe the three-body system, effective n-$^{14}$Be potentials were constructed, constrained by the experimental information on $^{15}$Be. The hyperspherical R-matrix method was used to solve the three-body scattering problem, and the resonance energy of $^{16}$Be was extracted from a phase shift analysis. In order to reproduce the experimental resonance energy of $^{16}$Be within this three-body model, a three-body interaction was needed. For extracting the width of the ground state of $^{16}$Be, we use the full width at half maximum of the derivative of the three-body phase shifts and the width of the three-body elastic scattering cross section. Our results confirm a dineutron structure for $^{16}$Be, dependent on the internal structure of the subsystem $^{15}$Be.


title: Time- and memory-efficient representation of complex mesoscale potentials

abstract: We apply the modern technique of approximation of multivariate functions - tensor train cross approximation - to the problem of the description of physical interactions between complex-shaped bodies in a context of computational nanomechanics. In this note we showcase one particular example - van der Waals interactions between two cylindrical bodies - relevant to modeling of carbon nanotube systems. The potential is viewed as a tensor (multidimensional table) which is represented in compact form with the help of tensor train decomposition. The described approach offers a universal solution for the description of van der Waals interactions between complex-shaped nanostructures and can be used within the framework of such systems of mesoscale modeling as recently emerged mesoscopic distinct element method (MDEM).


title: Hybrid CPU-GPU generation of the Hamiltonian and Overlap matrices in FLAPW methods

abstract: In this paper we focus on the integration of high-performance numerical libraries in ab initio codes and the portability of performance and scalability. The target of our work is FLEUR, a software for electronic structure calculations developed in the Forschungszentrum J\"ulich over the course of two decades. The presented work follows up on a previous effort to modernize legacy code by re-engineering and rewriting it in terms of highly optimized libraries. We illustrate how this initial effort to get efficient and portable shared-memory code enables fast porting of the code to emerging heterogeneous architectures. More specifically, we port the code to nodes equipped with multiple GPUs. We divide our study in two parts. First, we show considerable speedups attained by minor and relatively straightforward code changes to off-load parts of the computation to the GPUs. Then, we identify further possible improvements to achieve even higher performance and scalability. On a system consisting of 16-cores and 2 GPUs, we observe speedups of up to 5x with respect to our optimized shared-memory code, which in turn means between 7.5x and 12.5x speedup with respect to the original FLEUR code.


title: Three Perspectives on Complexity $-$ Entropy, Compression, Subsymmetry

abstract: There is no single universally accepted definition of "Complexity". There are several perspectives on complexity and what constitutes complex behaviour or complex systems, as opposed to regular, predictable behaviour and simple systems. In this paper, we explore the following perspectives on complexity: "effort-to-describe" (Shannon entropy $H$, Lempel-Ziv complexity $LZ$), "effort-to-compress" ($ETC$ complexity) and "degree-of-order" (Subsymmetry or $SubSym$). While Shannon entropy and $LZ$ are very popular and widely used, $ETC$ is a recently proposed measure for time series. In this paper, we also propose a novel normalized measure $SubSym$ based on the existing idea of counting the number of subsymmetries or palindromes within a sequence. We compare the performance of these complexity measures on the following tasks: a) characterizing complexity of short binary sequences of lengths 4 to 16, b) distinguishing periodic and chaotic time series from 1D logistic map and 2D H\'{e}non map, and c) distinguishing between tonic and irregular spiking patterns generated from the "Adaptive exponential integrate-and-fire" neuron model. Our study reveals that each perspective has its own advantages and uniqueness while also having an overlap with each other.


title: Seafloor identification in sonar imagery via simulations of Helmholtz equations and discrete optimization

abstract: We present a multiscale approach for identifying features in ocean beds by solving inverse problems in high frequency seafloor acoustics. The setting is based on Sound Navigation And Ranging (SONAR) imaging used in scientific, commercial, and military applications. The forward model incorporates multiscale simulations, by coupling Helmholtz equations and geometrical optics for a wide range of spatial scales in the seafloor geometry. This allows for detailed recovery of seafloor parameters including material type. Simulated backscattered data is generated using numerical microlocal analysis techniques. In order to lower the computational cost of the large-scale simulations in the inversion process, we take advantage of a pre-computed library of representative acoustic responses from various seafloor parameterizations.


title: SDSS-IV MaNGA: Bulge-Disc Decomposition of IFU Datacubes (BUDDI)

abstract: With the availability of large integral-field unit (IFU) spectral surveys of nearby galaxies, there is now the potential to extract spectral information from across the bulges and discs of galaxies in a systematic way. This information can address questions such as how these components built up with time, how galaxies evolve and whether their evolution depends on other properties of the galaxy such as its mass or environment. We present BUDDI, a new approach to fit the two-dimensional light profiles of galaxies as a function of wavelength to extract the spectral properties of these galaxies' discs and bulges. The fitting is carried out using GalfitM, a modified form of Galfit which can fit multi-waveband images simultaneously. The benefit of this technique over traditional multi-waveband fits is that the stellar populations of each component can be constrained using knowledge over the whole image and spectrum available. The decomposition has been developed using commissioning data from the SDSS-IV Mapping Nearby Galaxies at APO (MaNGA) survey with redshifts z<0.14 and coverage of at least 1.5 effective radii for a spatial resolution of 2.5 arcsec FWHM and field of view of >22 arcsec, but can be applied to any IFU data of a nearby galaxy with similar or better spatial resolution and coverage. We present an overview of the fitting process, the results from our tests, and we finish with example stellar population analyses of early-type galaxies from the MaNGA survey to give an indication of the scientific potential of applying bulge-disc decomposition to IFU data.