title: Branching diffusion representation of semi-linear elliptic PDEs and estimation using Monte Carlo method

abstract: We study semi-linear elliptic PDEs with polynomial non-linearity and provide a probabilistic representation of their solution using branching diffusion processes. When the non-linearity involves the unknown function but not its derivatives, we extend previous results in the literature by showing that our probabilistic representation provides a solution to the PDE without assuming its existence. In the general case, we derive a new representation of the solution by using marked branching diffusion processes and automatic differentiation formulas to account for the non-linear gradient term. In both cases, we develop new theoretical tools to provide explicit sufficient conditions under which our probabilistic representations hold. As an application, we consider several examples including multi-dimensional semi-linear elliptic PDEs and estimate their solution by using the Monte Carlo method.


title: Enriched Duality in Double Categories: V-categories and V-cocategories

abstract: In this work, we explore a double categorical framework for categories of enriched graphs, categories and the newly introduced notion of cocategories. A fundamental goal is to establish an enrichment of V-categories in V-cocategories, which generalizes the so-called Sweedler theory relatively to an enrichment of algebras in coalgebras. The language employed is that of V-matrices, and an interplay between the double categorical and bicategorical perspective provides a high-level flexibility for demonstrating essential features of these dual structures. Furthermore, we investigate an enriched fibration structure involving categories of monads and comonads in fibrant double categories a.k.a. proarrow equipments, which leads to natural applications for their materialization as categories and cocategories in the enriched matrices setting.


title: Randomness in Deconvolutional Networks for Visual Representation

abstract: Toward a deeper understanding on the inner work of deep neural networks, we investigate CNN (convolutional neural network) using DCN (deconvolutional network) and randomization technique, and gain new insights for the intrinsic property of this network architecture. For the random representations of an untrained CNN, we train the corresponding DCN to reconstruct the input images. Compared with the image inversion on pre-trained CNN, our training converges faster and the yielding network exhibits higher quality for image reconstruction. It indicates there is rich information encoded in the random features; the pre-trained CNN may discard information irrelevant for classification and encode relevant features in a way favorable for classification but harder for reconstruction. We further explore the property of the overall random CNN-DCN architecture. Surprisingly, images can be inverted with satisfactory quality. Extensive empirical evidence as well as theoretical analysis are provided.


title: Restoration of Images with Wavefront Aberrations

abstract: This contribution deals with image restoration in optical systems with coherent illumination, which is an important topic in astronomy, coherent microscopy and radar imaging. Such optical systems suffer from wavefront distortions, which are caused by imperfect imaging components and conditions. Known image restoration algorithms work well for incoherent imaging, they fail in case of coherent images. In this paper a novel wavefront correction algorithm is presented, which allows image restoration under coherent conditions. In most coherent imaging systems, especially in astronomy, the wavefront deformation is known. Using this information, the proposed algorithm allows a high quality restoration even in case of severe wavefront distortions. We present two versions of this algorithm, which are an evolution of the Gerchberg-Saxton and the Hybrid-Input-Output algorithm. The algorithm is verified on simulated and real microscopic images.


title: What is the optimal way to prepare a Bell state using measurement and feedback?

abstract: Recent work has shown that use of quantum feedback can significantly enhance both the speed and success rate of measurement-based remote entanglement generation, but it is generally unknown what feedback protocols are optimal for these tasks. Here we consider two common measurements that are capable of projecting into pairwise entangled states, namely half- and full-parity measurements of two qubits, and determine in each case a globally optimal protocol for generation of entanglement. For the half-parity measurement, we rederive a previously described protocol using more general methods and prove that it is globally optimal for several figures of merit, including maximal concurrence or fidelity, and minimal time to reach a specified concurrence or fidelity. For the full-parity measurement, we derive a protocol for rapid entanglement generation related to that of (C. Hill, J. Ralph, Phys. Rev. A 77, 014305 (2008)), and then map the dynamics of the concurrence of the state to the Bloch vector length of an effective qubit. This mapping allows us to prove several optimality results for feedback protocols with full-parity measurements. We further show that our full-parity protocol transfers entanglement optimally from one qubit to the other amongst all measurement-based schemes. The methods developed here will be useful for deriving feedback protocols and determining their optimality properties in many other quantum systems subject to measurement and unitary operations.


title: Identifying the dominant pairing interaction in high-$T_c$ FeSe superconductors through Leggett modes

abstract: Heavily electron-doped and single-layer FeSe superconduct at much higher temperatures than bulk FeSe. There have been a number of proposals attempting to explain the origin of the enhanced transition temperature, including the proximity to magnetic, nematic and antiferro-orbital critical points, as well as possible strong interfacial phonon coupling in the case of single-layer FeSe. In this paper, we examine the effect of the various mechanisms in an effective two-band model. Within our model, the fluctuations associated with these instabilities contribute to different parts of the effective multiband interactions. We propose to use the collective phase fluctuation between the bands--the Leggett mode--as a tool to identify the dominant effective pairing interaction in these systems. The Leggett mode can be resolved by means of optical probes such as electronic Raman scattering. We point out that the Leggett mode in these systems, if present, shall manifest in the Raman $B_{1g}$ channel.


title: Consistency of time averaged optical force laws for embedded chiral and achiral objects

abstract: Although it is commonly believed that all the volumetric optical force laws should lead to the same total optical force for chiral and achiral objects, this idea has been invalidated in some recent works by investigating several previous experiments involving material background. To identify the exact reason of such significant disagreement, we inspect two tractor beam and one lateral force experiments on using distinct stress tensors (STs). To solve the problems of total force, we propose two consistency conditions of time averaged forces. We demonstrate that exactly at the boundary of an object, the difference of the consistent external Minkowski ST and internal ST of Chu (and Einstein-Laub) is found in agreement with the surface force yielded by Chu (and Einstein-Laub) force only when the background is air rather than a material. We identify this as one of the main reasons (among few other identified reasons) of the disagreements observed for real experiments. Finally, based on the proposed consistency conditions, we demonstrate that: by modifying the Einstein-Laub or Chu formulation, time-averaged STs and volume forces are obtainable those can overcome the aforementioned inconsistencies of real experiments for both chiral and achiral Mie objects embedded in even complex material backgrounds.


title: Correspondences without a Core

abstract: We study the formal properties of correspondences of curves without a core, focusing on the case of \'{e}tale correspondences. The motivating examples come from Hecke correspondences of Shimura curves. Given a correspondence without a core, we construct an infinite graph $\mathcal{G}_{gen}$ together with a large group of "algebraic" automorphisms $A$. The graph $\mathcal{G}_{gen}$ measures the "generic dynamics" of the correspondence. We construct specialization maps $\mathcal{G}_{gen}\rightarrow\mathcal{G}_{phys}$ to the "physical dynamics" of the correspondence. We also prove results on the number of bounded \'{e}tale orbits, in particular generalizing a recent theorem of Hallouin and Perret. We use a variety of techniques: Galois theory, the theory of groups acting on infinite graphs, and finite group schemes.


title: Wireless Powered Dense Cellular Networks: How Many Small Cells Do We Need?

abstract: This paper focuses on wireless powered 5G dense cellular networks, where base station (BS) delivers energy to user equipment (UE) via the microwave radiation in sub-6 GHz or millimeter wave (mmWave) frequency, and UE uses the harvested energy for uplink information transmission. By addressing the impacts of employing different number of antennas and bandwidths at lower and higher frequencies, we evaluate the amount of harvested energy and throughput in such networks. Based on the derived results, we obtain the required small cell density to achieve an expected level of harvested energy or throughput. Also, we obtain that when the ratio of the number of sub-6 GHz BSs to that of the mmWave BSs is lower than a given threshold, UE harvests more energy from a mmWave BS than a sub-6 GHz BS. We find how many mmWave small cells are needed to perform better than the sub-6 GHz small cells from the perspectives of harvested energy and throughput. Our results reveal that the amount of harvested energy from the mmWave tier can be comparable to the sub-6 GHz counterpart in the dense scenarios. For the same tier scale, mmWave tier can achieve higher throughput. Furthermore, the throughput gap between different mmWave frequencies increases with the mmWave BS density.


title: Dense Multi-view 3D-reconstruction Without Dense Correspondences

abstract: We introduce a variational method for multi-view shape-from-shading under natural illumination. The key idea is to couple PDE-based solutions for single-image based shape-from-shading problems across multiple images and multiple color channels by means of a variational formulation. Rather than alternatingly solving the individual SFS problems and optimizing the consistency across images and channels which is known to lead to suboptimal results, we propose an efficient solution of the coupled problem by means of an ADMM algorithm. In numerous experiments on both simulated and real imagery, we demonstrate that the proposed fusion of multiple-view reconstruction and shape-from-shading provides highly accurate dense reconstructions without the need to compute dense correspondences. With the proposed variational integration across multiple views shape-from-shading techniques become applicable to challenging real-world reconstruction problems, giving rise to highly detailed geometry even in areas of smooth brightness variation and lacking texture.


title: The SDSS-IV Extended Baryon Oscillation Spectroscopic Survey: final Emission Line Galaxy Target Selection

abstract: We describe the algorithm used to select the Emission Line Galaxy (ELG) sample at $z \sim 0.85$ for the extended Baryon Oscillation Spectroscopic Survey of the Sloan Digital Sky Survey IV, using photometric data from the DECam Legacy Survey. Our selection is based on a selection box in the $g-r$ vs. $r-z$ colour-colour space and a cut on the $g$-band magnitude, to favour galaxies in the desired redshift range with strong [OII] emission. It provides a target density of 200 deg$^{-2}$ on the North Galactic Cap (NGC) and of 240 deg$^{-2}$ on the South Galactic Cap (SGC), where we use a larger selection box because of deeper imaging. We demonstrate that this selection passes the eBOSS requirements in terms of homogeneity. About 50,000 ELGs have been observed since the observations have started in 2016, September. These roughly match the expected redshift distribution, though the measured efficiency is slightly lower than expected. The efficiency can be increased by enlarging the redshift range and with incoming pipeline improvement. The cosmological forecast based on these first data predict $\sigma_{D_V}/D_V = 0.023$, in agreement with previous forecasts. Lastly, we present the stellar population properties of the ELG SGC sample. Once observations are completed, this sample will be suited to provide a cosmological analysis at $z \sim 0.85$, and will pave the way for the next decade of massive spectroscopic cosmological surveys, which heavily rely on ELGs. The target catalogue over the SGC will be released along with DR14.


title: Extremely large non-saturating magnetoresistance and ultrahigh mobility due to topological surface states in metallic Bi2Te3 topological insulator

abstract: Weak antilocalization (WAL) effects in Bi2Te3 single crystals have been investigated at high and low bulk charge carrier concentrations. At low charge carrier density the WAL curves scale with the normal component of the magnetic field, demonstrating the dominance of topological surface states in magnetoconductivity. At high charge carrier density the WAL curves scale with neither the applied field nor its normal component, implying a mixture of bulk and surface conduction. WAL due to topological surface states shows no dependence on the nature (electrons or holes) of the bulk charge carriers. The observations of an extremely large, non-saturating magnetoresistance, and ultrahigh mobility in the samples with lower carrier density further support the presence of surface states. The physical parameters characterizing the WAL effects are calculated using the Hikami-Larkin-Nagaoka formula. At high charge carrier concentrations, there is a greater number of conduction channels and a decrease in the phase coherence length compared to low charge carrier concentrations. The extremely large magnetoresistance and high mobility of topological insulators have great technological value and can be exploited in magneto-electric sensors and memory devices.


title: Double stars and astrometric uncertainties in Gaia DR1

abstract: A significant number of double stars with separations up to 2.5 arcsec are present in the Gaia Data Release 1 astrometric catalogs. Limiting our analysis to a well-studied sample of 1124 doubles resolved by Hipparcos, provided with individual Tycho component photometry, and cross-matched with the TGAS catalog, we estimate a rate of at least 3% for brighter double stars in Gaia DR1, which should be resolved in the future data releases. Gaia astrometric results are affected by unresolved duplicity. The variance-normalized quadratic differences of proper motion between Gaia and Hipparcos do not follow the expected chi^2 distribution and show signs of powerful degradation in the components aligned with the axes of the double systems. This concerns only pairs with separation below 1.2 -- 1.5 arcsec, which mostly remain unresolved in Gaia DR1. On the other hand, the orthogonal proper motion components and parallaxes do not have any detectable perturbation, as well as all astrometry for separations above 1.5 arcsec. Gaia parallaxes do not seem to be perturbed by duplicity, with Gaia - Hipparcos differences being systematically smaller than the expectation. The rate of incorrectly identified, or swapped, companions is estimated at 0.4%.


title: Guyer-Krumhansl-type heat conduction at room temperature

abstract: Results of heat pulse experiments in various artificial and natural materials are reported in the paper. The experiments are performed at room temperature with macroscopic samples. It is shown that temperature evolution does not follow the Fourier's law but well explained by the Guyer-Krumhansl equation. The observations confirm the ability of non-equilibrium thermodynamics to formulate universal constitutive relations for thermomechanical processes.


title: Risk-averse model predictive control

abstract: Risk-averse model predictive control (MPC) offers a control framework that allows one to account for ambiguity in the knowledge of the underlying probability distribution and unifies stochastic and worst-case MPC. In this paper we study risk-averse MPC problems for constrained nonlinear Markovian switching systems using generic cost functions, and derive Lyapunov-type risk-averse stability conditions by leveraging the properties of risk-averse dynamic programming operators. We propose a controller design procedure to design risk-averse stabilizing terminal conditions for constrained nonlinear Markovian switching systems. Lastly, we cast the resulting risk-averse optimal control problem in a favorable form which can be solved efficiently and thus deems risk-averse MPC suitable for applications.


title: Comparison of Sampling Methods via Robust Free Energy Inference: Application to Calmodulin

abstract: A free energy landscape estimation-method based on Bayesian inference is presented and used for comparing the efficiency of thermally enhanced sampling methods with respect to regular molecular dynamics, where the simulations are carried out on two binding states of calmodulin. The proposed free energy estimation method (the GM method) is compared to other estimators using a toy model showing that the GM method provides a robust estimate not subject to overfitting. The continuous nature of the GM method, as well as predictive inference on the number of basis functions, provide better estimates on sparse data. We find that the free energy diffusion proper- ties determine sampling method effectiveness, such that the diffusion dominated apo-calmodulin is most efficiently sampled by regular molecular dynamics, while the holo with its rugged free energy landscape is better sampled by enhanced methods.


title: Sturm 3-ball global attractors 2: Design of Thom-Smale complexes

abstract: This is the second of three papers on the geometric and combinatorial characterization of global Sturm attractors which consist of a single closed 3-ball. The underlying scalar PDE is parabolic, $$ u_t = u_{xx} + f(x,u,u_x)\,, $$ on the unit interval $0 < x<1$ with Neumann boundary conditions. Equilibria are assumed to be hyperbolic.\\ \newline Geometrically, we study the resulting Thom-Smale dynamic complex with cells defined by the fast unstable manifolds of the equilibria. The Thom-Smale complex turns out to be a regular cell complex. Our geometric description involves a bipolar orientation of the 1-skeleton, a hemisphere decomposition of the boundary 2-sphere by two polar meridians, and a meridian overlap of certain 2-cell faces in opposite hemispheres.\\ \newline The combinatorial description is in terms of the Sturm permutation, alias the meander properties of the shooting curve for the equilibrium ODE boundary value problem.\\ \newline In the first paper we showed the implications $$ \text{Sturm attractor}\quad \Longrightarrow \quad \text{Thom-Smale complex} \quad \Longrightarrow \quad \text{meander}\,.$$ The present part 2, closes the cycle of equivalences by the implication $$ \text{meander} \quad \Longrightarrow \quad \text{Sturm attractor}\,.$$ In particular this cycle allows us to construct a unique Sturm 3-ball attractor for any prescribed Thom-Smale complex which satisfies the geometric properties of the bipolar orientation and the hemisphere decomposition. Many explicit examples and illustrations will be discussed in part 3. The present 3-ball trilogy, however, is just another step towards the still elusive geometric and combinational characterization of all Sturm global attractors in arbitrary dimensions.


title: On the implications of the Bekenstein bound for black hole evaporation

abstract: We provide general arguments regarding the connection between low-energy theories (gravity and quantum field theory) and a hypothetical fundamental theory of quantum gravity, under the assumptions of (i) validity of the holographic bound and (ii) preservation of unitary evolution at the level of the fundamental theory. In particular, the appeal to the holographic bound imposed on generic physical systems by the Bekenstein-Hawking entropy implies that both classical geometry and quantum fields propagating on it should be regarded as phenomena emergent from the dynamics of the fundamental theory. The reshuffling of the fundamental degrees of freedom during the unitary evolution then leads to an entanglement between geometry and quantum fields. The consequences of such scenario are considered in the context of black hole evaporation and the related information-loss issue: we provide a simplistic toy model in which an average loss of information is obtained as a consequence of the geometry-field entanglement.


title: Multipartite nonlocality and random measurements

abstract: We present an exhaustive numerical analysis of violations of local realism by families of multipartite quantum states. As an indicator of nonclassicality we employ the probability of violation for randomly sampled observables. Surprisingly, it rapidly increases with the number of parties or settings and even for relatively small values local realism is violated for almost all observables. We have observed this effect to be typical in the sense that it emerged for all investigated states including some with randomly drawn coefficients. We also present the probability of violation as a witness of genuine multipartite entanglement.


title: Self-organization of charged particles in circular geometry

abstract: The basic principles of self-organization of one-component charged particles, confined in disk and circular parabolic potentials, are proposed. A system of equations is derived, that allows us to determine equilibrium configurations for an arbitrary, but finite, number of charged particles that are distributed over several rings. Our approach reduces significantly the computational effort in minimizing the energy of equilibrium configurations and demonstrates a remarkable agreement with the values provided by molecular dynamics calculations. With the increase of particle number n>180 we find a steady formation of a centered hexagonal lattice that smoothly transforms to valence circular rings in the ground state configurations for both potentials.


title: A quasinonlocal coupling method for nonlocal and local diffusion models

abstract: In this paper, we extend the idea of "geometric reconstruction" to couple a nonlocal diffusion model directly with the classical local diffusion in one dimensional space. This new coupling framework removes interfacial inconsistency, ensures the flux balance, and satisfies energy conservation as well as the maximum principle, whereas none of existing coupling methods for nonlocal-to-local coupling satisfies all of these properties. We establish the well-posedness and provide the stability analysis of the coupling method. We investigate the difference to the local limiting problem in terms of the nonlocal interaction range. Furthermore, we propose a first order finite difference numerical discretization and perform several numerical tests to confirm the theoretical findings. In particular, we show that the resulting numerical result is free of artifacts near the boundary of the domain where a classical local boundary condition is used, together with a coupled fully nonlocal model in the interior of the domain.


title: Recovering Functions Defined on $\Bbb S^{n - 1}$ by Integration on Subspheres Obtained from Hyperplanes Tangent to a Spheroid

abstract: The aim of this article is to introduce a method for recovering functions, defined on the $n - 1$ dimensional unit sphere $\Bbb S^{n - 1}$, using their spherical transform, which integrates functions on $n - 2$ dimensional subspheres, on a prescribed family of subspheres of integration. This family of subspheres is obtained as follows, we take a spheroid $\Sigma$ inside $\Bbb S^{n - 1}$ which contains the points $\pm e_{n}$ and then each subsphere of integration is obtained by the intersection of a hyperplane, which is tangent to $\Sigma$, with $\Bbb S^{n - 1}$. In particular, we obtain as a limiting case, by shrinking the spheroid into its main axis, a method for recovering functions in case where the subspheres of integration pass through a common point in $\Bbb S^{n - 1}$.


title: Tomaszewski's Problem on Randomly Signed Sums: Breaking the 3/8 Barrier

abstract: Let $v_1$, $v_2$, ..., $v_n$ be real numbers whose squares add up to 1. Consider the $2^n$ signed sums of the form $S = \sum \pm v_i$. Holzman and Kleitman (1992) proved that at least 3/8 of these sums satisfy $|S| \le 1$. This 3/8 bound seems to be the best their method can achieve. Using a different method, we improve the bound to 13/32, thus breaking the 3/8 barrier.


title: Two-exponential models of gene expression patterns for noisy experimental data

abstract: Motivation: Spatial pattern formation of the primary anterior-posterior morphogenetic gradient of the transcription factor Bicoid (Bcd) has been studied experimentally and computationally for many years. Bcd specifies positional information for the downstream segmentation genes, affecting the fly body plan. More recently, a number of researchers have focused on the patterning dynamics of the underlying bcd mRNA gradient, which is translated into Bcd protein. New, more accurate techniques for visualizing bcd mRNA need to be combined with quantitative signal extraction techniques to reconstruct the bcd mRNA distribution. Results: Here, we present a robust technique for quantifying gradients with a two-exponential model. This approach: 1) has natural, biologically relevant parameters; and 2) is invariant to linear transformations of the data which can arise due to variation in experimental conditions (e.g. microscope settings, non-specific background signal). This allows us to quantify bcd mRNA gradient variability from embryo to embryo (important for studying the robustness of developmental regulatory networks); sort out atypical gradients; and classify embryos to developmental stage by quantitative gradient parameters.


title: Simple Measures of Individual Cluster-Membership Certainty for Hard Partitional Clustering

abstract: We propose two probability-like measures of individual cluster-membership certainty which can be applied to a hard partition of the sample such as that obtained from the Partitioning Around Medoids (PAM) algorithm, hierarchical clustering or k-means clustering. One measure extends the individual silhouette widths and the other is obtained directly from the pairwise dissimilarities in the sample. Unlike the classic silhouette, however, the measures behave like probabilities and can be used to investigate an individual's tendency to belong to a cluster. We also suggest two possible ways to evaluate the hard partition. We evaluate the performance of both measures in individuals with ambiguous cluster membership, using simulated binary datasets that have been partitioned by the PAM algorithm or continuous datasets that have been partitioned by hierarchical clustering and k-means clustering. For comparison, we also present results from soft clustering algorithms such as soft analysis clustering (FANNY) and two model-based clustering methods. Our proposed measures perform comparably to the posterior-probability estimators from either FANNY or the model-based clustering methods. We also illustrate the proposed measures by applying them to Fisher's classic iris data set.


title: Timelike completeness as an obstruction to $C^0$-extensions

abstract: The study of low regularity (in-)extendibility of Lorentzian manifolds is motivated by the question whether a given solution to the Einstein equations can be extended (or is maximal) as a weak solution. In this paper we show that a timelike complete and globally hyperbolic Lorentzian manifold is $C^0$-inextendible. For the proof we make use of the result, recently established by S\"amann [17], that even for \emph{continuous} Lorentzian manifolds that are globally hyperbolic, there exists a length-maximizing causal curve between any two causally related points.


title: BHK mirror symmetry for K3 surfaces with non-symplectic automorphism

abstract: In this paper we consider the class of K3 surfaces defined as hypersurfaces in weighted projective space, and admitting a non-symplectic automorphism of non-prime order, excluding the orders 4, 8, and 12. We show that on these surfaces the Berglund-H\"ubsch-Krawitz mirror construction and mirror symmetry for lattice polarized K3 surfaces constructed by Dolgachev agree; that is, both versions of mirror symmetry define the same mirror K3 surface.


title: Local Guarantees in Graph Cuts and Clustering

abstract: Correlation Clustering is an elegant model that captures fundamental graph cut problems such as Min $s-t$ Cut, Multiway Cut, and Multicut, extensively studied in combinatorial optimization. Here, we are given a graph with edges labeled $+$ or $-$ and the goal is to produce a clustering that agrees with the labels as much as possible: $+$ edges within clusters and $-$ edges across clusters. The classical approach towards Correlation Clustering (and other graph cut problems) is to optimize a global objective. We depart from this and study local objectives: minimizing the maximum number of disagreements for edges incident on a single node, and the analogous max min agreements objective. This naturally gives rise to a family of basic min-max graph cut problems. A prototypical representative is Min Max $s-t$ Cut: find an $s-t$ cut minimizing the largest number of cut edges incident on any node. We present the following results: $(1)$ an $O(\sqrt{n})$-approximation for the problem of minimizing the maximum total weight of disagreement edges incident on any node (thus providing the first known approximation for the above family of min-max graph cut problems), $(2)$ a remarkably simple $7$-approximation for minimizing local disagreements in complete graphs (improving upon the previous best known approximation of $48$), and $(3)$ a $1/(2+\varepsilon)$-approximation for maximizing the minimum total weight of agreement edges incident on any node, hence improving upon the $1/(4+\varepsilon)$-approximation that follows from the study of approximate pure Nash equilibria in cut and party affiliation games.


title: Committees providing EJR can be computed efficiently

abstract: We identify a whole family of approval-based multi-winner voting rules that satisfy PJR. Moreover, we identify a subfamily of voting rules within this family that satisfy EJR. All these voting rules can be computed in polynomial time as long as the subalgorithms that characterize each rule within the family are polynomial. One of the voting rules that satisfy EJR can be computed in $O(n m k)$.


title: Parsec-scale Variations in the 7Li/6Li Isotope Ratio Toward IC 348 and the Per OB 2 Association

abstract: Measurements of the lithium isotopic ratio in the diffuse interstellar medium from high-resolution spectra of the LiI {\lambda}6708 resonance doublet have now been reported for a number of lines of sight. The majority of the results for the 7Li/6Li ratio are similar to the Solar System ratio of 12.2 but the line of sight toward o Per, a star near the star-forming region IC 348, gave a ratio of about 2, the expected value for gas exposed to spallation and fusion reactions driven by cosmic rays. To examine the association of IC 348 with cosmic rays more closely, we measured the lithium isotopic ratio for lines of sight to three stars within a few parsecs of o Per. One star, HD 281159, has 7Li/6Li ~ 2 confirming production by cosmic rays. The lithium isotopic ratio toward o Per and HD 281159 together with published analyses of the chemistry of interstellar diatomic molecules suggest that the superbubble surrounding IC 348 is the source of the cosmic rays.


title: Middle-Square Weyl Sequence RNG

abstract: In this article, we propose a new implementation of John von Neumann's middle-square random number generator (RNG). A Weyl sequence keeps the generator running through a long period.


title: Computing normal integral bases of abelian number fields

abstract: Let L be an abelian number field of degree n with Galois group G. In this paper we study how to compute efficiently a normal integral basis for L, if there is at least one, assuming that the group G and an integral basis for L are known.


title: Metric contraction of the cone divisor by the conical K\"ahler-Ricci flow

abstract: We use the momentum construction of Calabi to study the conical K\"ahler-Ricci flow on Hirzebruch surfaces with cone angle along the exceptional curve, and show that either the flow Gromov-Hausdorff converges to the Riemann sphere or a single point in finite time, or the flow contracts the cone divisor to a single point and Gromov-Hausdorff converges to a two dimensional projective orbifold. This gives the first example of the conical K\"ahler-Ricci flow contracting the cone divisor to a single point. At the end, we introduce a conjectural picture of the geometry of finite time non-collapsing singularities of the flow on K\"ahler surfaces in general.


title: Quasinormal modes of black holes. The improved semianalytic approach

abstract: We have extended the semianalytic technique of Iyer and Will for computing the complex quasinormal frequencies of black holes, $\omega,$ by constructing the Pad\'e approximants of the (formal) series for $\omega^{2}$. It is shown that for the (so far best documented) quasinormal frequencies of the Schwarzschild and Reissner-Nordstr\"om black holes the Pad\'e transforms $P_{6}^{6}$ and $P_{7}^{6}$ are, within the domain of applicability, always in excellent agreement with the numerical results. We argue that the method may serve as the black box with the "potential" $Q(x)$ as an input and the accurate quasinormal modes as the output. The generalizations and modifications of the method are briefly discussed as well as the preliminary results for other classes of the black holes.


title: Understanding Concept Drift

abstract: Concept drift is a major issue that greatly affects the accuracy and reliability of many real-world applications of machine learning. We argue that to tackle concept drift it is important to develop the capacity to describe and analyze it. We propose tools for this purpose, arguing for the importance of quantitative descriptions of drift in marginal distributions. We present quantitative drift analysis techniques along with methods for communicating their results. We demonstrate their effectiveness by application to three real-world learning tasks.


title: Generalized weighted trapezoid and Gr\"uss type inequalities on time scales

abstract: In this work, we obtain some new generalized weighted trapezoid and Gr\"uss type inequalities on time scales for parameter functions. Our results give a broader generalization of the results due to Pachpatte in \cite{Pach}. In addition, the continuous and discrete cases are also considered from which, other results are obtained.


title: HIP 21539 is not a past very close neighbour of the Sun

abstract: Aims: A previous study claimed that the star HIP 21539 passed close to the Sun, at a distance of 1.9 pc, around 0.14 Myr ago. We show that this is not the case. Methods: We redetermined the trajectory of the star relative to the Sun using a new accurate radial velocity from the HARPS spectrograph combined with the recent Gaia-TGAS astrometry. Results: With this new data, the closest approach of HIP 21539 to the Sun is now 17 pc, instead of 1.9 pc. Conclusions: At this distance, the star has not perturbed the Oort cloud.


title: Estimation of {\pi}-{\pi} Electronic Couplings from Current Measurements

abstract: The {\pi}-{\pi} interactions between organic molecules are among the most important parameters for optimizing the transport and optical properties of organic transistors, light-emitting diodes, and (bio-) molecular devices. Despite substantial theoretical progress, direct experimental measurement of the {\pi}-{\pi} electronic coupling energy parameter t has remained an old challenge due to molecular structural variability and the large number of parameters that affect the charge transport. Here, we propose a study of {\pi}-{\pi} interactions from electrochemical and current measurements on a large array of ferrocene-thiolated gold nanocrystals. We confirm the theoretical prediction that t can be assessed from a statistical analysis of current histograms. The extracted value of t ca. 35 meV is in the expected range based on our density functional theory analysis. Furthermore, the t distribution is not necessarily Gaussian and could be used as an ultrasensitive technique to assess intermolecular distance fluctuation at the subangstr\"om level. The present work establishes a direct bridge between quantum chemistry, electrochemistry, organic electronics, and mesoscopic physics, all of which were used to discuss results and perspectives in a quantitative manner.


title: Measurements of the pp to W gamma gamma and pp to Z gamma gamma cross sections and limits on anomalous quartic gauge couplings at sqrt(s) = 8 TeV

abstract: Measurements are presented of W gamma gamma and Z gamma gamma production in proton-proton collisions. Fiducial cross sections are reported based on a data sample corresponding to an integrated luminosity of 19.4 inverse femtobarns collected with the CMS detector at a center-of-mass energy of 8 TeV. Signal is identified through the W to l nu and Z to ll decay modes, where l is a muon or an electron. The production of W gamma gamma and Z gamma gamma, measured with significances of 2.6 and 5.9 standard deviations, respectively, is consistent with standard model predictions. In addition, limits on anomalous quartic gauge couplings in W gamma gamma production are determined in the context of a dimension-8 effective field theory.


title: Provable Inductive Robust PCA via Iterative Hard Thresholding

abstract: The robust PCA problem, wherein, given an input data matrix that is the superposition of a low-rank matrix and a sparse matrix, we aim to separate out the low-rank and sparse components, is a well-studied problem in machine learning. One natural question that arises is that, as in the inductive setting, if features are provided as input as well, can we hope to do better? Answering this in the affirmative, the main goal of this paper is to study the robust PCA problem while incorporating feature information. In contrast to previous works in which recovery guarantees are based on the convex relaxation of the problem, we propose a simple iterative algorithm based on hard-thresholding of appropriate residuals. Under weaker assumptions than previous works, we prove the global convergence of our iterative procedure; moreover, it admits a much faster convergence rate and lesser computational complexity per iteration. In practice, through systematic synthetic and real data simulations, we confirm our theoretical findings regarding improvements obtained by using feature information.


title: Weak lower semicontinuity by means of anisotropic parametrized measures

abstract: It is well known that besides oscillations, sequences bounded only in $L^1$ can also develop concentrations, and if the latter occurs, we can at most hope for weak$^*$ convergence in the sense of measures. Here we derive a new tool to handle mutual interferences of an oscillating and concentrating sequence with another weakly converging sequence. We introduce a couple of explicit examples showing a variety of possible kinds of behavior and outline some applications in Sobolev spaces.


title: Cash-settled options for wholesale electricity markets

abstract: Wholesale electricity market designs in practice do not provide the market participants with adequate mechanisms to hedge their financial risks. Demanders and suppliers will likely face even greater risks with the deepening penetration of variable renewable resources like wind and solar. This paper explores the design of a centralized cash-settled call option market to mitigate such risks. A cash-settled call option is a financial instrument that allows its holder the right to claim a monetary reward equal to the positive difference between the real-time price of an underlying commodity and a pre-negotiated strike price for an upfront fee. Through an example, we illustrate that a bilateral call option can reduce the payment volatility of market participants. Then, we design a centralized clearing mechanism for call options that generalizes the bilateral trade. We illustrate through an example how the centralized clearing mechanism generalizes the bilateral trade. Finally, the effect of risk preference of the market participants, as well as some generalizations are discussed.


title: A modal analysis of the behavior of inertial particles in turbulence

abstract: The clustering of small heavy inertial particles subjected to Stokes drag in turbulence is known to be minimal at small and large Stokes number and substantial at $\rm St = \mathcal O(1)$. This non-monotonic trend, which has been shown computationally and experimentally, is yet to be explained analytically. In this study, we obtain an analytical expression for the Lyapunov exponents that quantitatively predicts this trend. The sum of the exponents, which is the normalized rate of change of the signed-volume of a small cloud of particles, is correctly predicted to be negative and positive at small and large Stokes numbers, respectively, asymptoting to $\tau Q$ as $\tau \to 0$ and $\tau^{-1/2} |Q|^{1/4}$ as $\tau \to \infty$, where $\tau$ is the particle relaxation time and $Q(\tau)$ is the difference between the norm of the rotation- and strain-rate tensors computed along the particle trajectory. Additionally, the trajectory crossing is predicted only in hyperbolic flows where $Q<0$ for sufficiently inertial particles with a $\tau$ that scales with $|Q|^{-1/2}$. Following the onset of crossovers, a transition from clustering to dispersion is predicted correctly. We show these behaviors are not unique to three-dimensional isotropic turbulence and can be reproduced closely by a one-dimensional mono-harmonic flow, which appears as a fundamental canonical problem in the study of particle clustering. Analysis of this one-dimensional canonical flow shows that the rate of clustering, quantified as the product of the Lyapunov exponent and particle relaxation time, is bounded by $-1/2$, behaving with extreme nonlinearity in the hyperbolic flows and always remaining positive in the elliptic flows. These findings, which are stemmed from our analysis, are corroborated by the direct numerical simulations.


title: Graphene-based Antennas for Terahertz Systems: A Review

abstract: We review the use of graphene to develop reconfigurable, miniaturized, and efficient terahertz (THz) antennas and associated feeding networks, and attempt to identify current research trends and mid- and long-term challenges and prospects. We first discuss the state of the art in resonant, leaky-wave and reflectarray antennas, providing a critical assessment of their performance, limitations, and main challenges that remain to be addressed. Next, we examine different integrated feeding networks, including components such as switches, filters, and phase shifters, and we clarify the impact that graphene's intrinsic spatial dispersion may have in their performance. Our outlook clearly describes how graphene can bring exotic functionalities to all these devices, including quasi real-time reconfiguration capabilities and magnet-less non-reciprocal responses. Some exciting applications of THz antennas are then presented and discussed, including transceivers, biosensors, and first experimental realizations of detectors and modulators. We conclude by outlining our vision for the promising future of graphene-based THz antennas.


title: On the Gevrey regularity for Sums of Squares of vector fields, study of some models

abstract: The micro-local Gevrey regularity of a class of "sums of squares" with real analytic coefficients is studied in detail. Some partial regularity result is also given.


title: The GAPS Programme with HARPS-N@TNG XIV. Investigating giant planet migration history via improved eccentricity and mass determination for 231 transiting planets

abstract: We carried out a Bayesian homogeneous determination of the orbital parameters of 231 transiting giant planets (TGPs) that are alone or have distant companions; we employed DE-MCMC methods to analyse radial-velocity (RV) data from the literature and 782 new high-accuracy RVs obtained with the HARPS-N spectrograph for 45 systems over 3 years. Our work yields the largest sample of systems with a transiting giant exoplanet and coherently determined orbital, planetary, and stellar parameters. We found that the orbital parameters of TGPs in non-compact planetary systems are clearly shaped by tides raised by their host stars. Indeed, the most eccentric planets have relatively large orbital separations and/or high mass ratios, as expected from the equilibrium tide theory. This feature would be the outcome of high-eccentricity migration (HEM). The distribution of $\alpha=a/a_R$, where $a$ and $a_R$ are the semi-major axis and the Roche limit, for well-determined circular orbits peaks at 2.5; this also agrees with expectations from the HEM. The few planets of our sample with circular orbits and $\alpha >5$ values may have migrated through disc-planet interactions instead of HEM. By comparing circularisation times with stellar ages, we found that hot Jupiters with $a < 0.05$ au have modified tidal quality factors $10^{5} < Q'_p < 10^{9}$, and that stellar $Q'_s > 10^{6}-10^{7}$ are required to explain the presence of eccentric planets at the same orbital distance. As a by-product of our analysis, we detected a non-zero eccentricity for HAT-P-29; we determined that five planets that were previously regarded to have hints of non-zero eccentricity have circular orbits or undetermined eccentricities; we unveiled curvatures caused by distant companions in the RV time series of HAT-P-2, HAT-P-22, and HAT-P-29; and we revised the planetary parameters of CoRoT-1b.


title: Epigraphene : epitaxial graphene on silicon carbide

abstract: This article presents a review of epitaxial graphene on silicon carbide, from fabrication to properties, put in the context of other forms of graphene.


title: Effect of strong magnetic fields on the crust-core transition and inner crust of neutron stars

abstract: The Vlasov equation is used to determine the dispersion relation for the eigenmodes of magnetized nuclear and neutral stellar matter, taking into account the anomalous magnetic moment of nucleons. The formalism is applied to the determination of the dynamical spinodal section, a quantity that gives a good estimation of the crust-core transition in neutron stars. We study the effect of strong magnetic fields, of the order of $10^{15}-10^{17}$ G, on the extension of the crust of magnetized neutron stars. The dynamical instability region of neutron-proton-electron ($npe$) matter at subsaturation densities is determined within a relativistic mean field model. It is shown that a strong magnetic field has a large effect on the instability region, defining the crust-core transition as a succession of stable and unstable regions due to the opening of new Landau levels. The effect of the anomalous magnetic moment is non-negligible for fields larger than 10$^{15}$ G. The complexity of the crust at the transition to the core and the increase of the crust thickness may have direct impact on the properties of neutrons stars related with the crust.


title: Bures Contractive Channels on Operator Algebras

abstract: In a unital C*-algebra with a faithful trace functional $\tau$, the set $D_\tau(A)$ of positive $\rho\in A$ of trace \tau(\rho)=1 is an algebraic analogue of the space of density matrices (the set of all positive matrices of a fixed dimension of unit trace). Motivated by the literature concerning the metric properties of the space of density matrices, the present paper studies the density space $D_\tau(A)$ in terms of the Bures metric. Linear maps on A that map $D_\tau(A)$ back into itself are positive and trace preserving, hence, they may be viewed as an algebraic analogue of a quantum channel, which are studied intensely in the literature on quantum computing and quantum information theory. The main results in this paper are: (i) to establish that the Bures metric is indeed a metric, (ii) to prove that channels induce nonexpansive maps of the density space $D_\tau(A)$, (iii) to introduce and study channels on A that are locally contractive maps (which we call Bures contractions) on the metric space $D_\tau(A)$, and (iv) to analyse Bures contractions from the point of view of the Frobenius theory of cone preserving linear maps. Although the focus is on unital C*-algebras, an important class of examples is furnished by finite von Neumann algebras. Indeed, several of the C*-algebra results are established by first proving them for finite von Neumann algebras and then proving them for C*-algebras by embedding a C*-algebra A into its enveloping von Neumann algebra $A^{**}$.


title: Spectral approximation of fractional PDEs in image processing and phase field modeling

abstract: Fractional differential operators provide an attractive mathematical tool to model effects with limited regularity properties. Particular examples are image processing and phase field models in which jumps across lower dimensional subsets and sharp transitions across interfaces are of interest. The numerical solution of corresponding model problems via a spectral method is analyzed. Its efficiency and features of the model problems are illustrated by numerical experiments.


title: Learning in anonymous nonatomic games with applications to first-order mean field games

abstract: We introduce a model of anonymous games with the player dependent action sets. We propose several learning procedures based on the well-known Fictitious Play and Online Mirror Descent and prove their convergence to equilibrium under the classical monotonicity condition. Typical examples are first-order mean field games.


title: On the thinness and proper thinness of a graph

abstract: Graphs with bounded thinness were defined in 2007 as a generalization of interval graphs. In this paper we introduce the concept of proper thinness, such that graphs with bounded proper thinness generalize proper interval graphs. We study the complexity of problems related to the computation of these parameters, describe the behavior of the thinness and proper thinness under three graph operations, and relate thinness and proper thinness with other graph invariants in the literature. Finally, we describe a wide family of problems that can be solved in polynomial time for graphs with bounded thinness, generalizing for example list matrix partition problems with bounded size matrix, and enlarge this family of problems for graphs with bounded proper thinness, including domination problems.


title: Word-Alignment-Based Segment-Level Machine Translation Evaluation using Word Embeddings

abstract: One of the most important problems in machine translation (MT) evaluation is to evaluate the similarity between translation hypotheses with different surface forms from the reference, especially at the segment level. We propose to use word embeddings to perform word alignment for segment-level MT evaluation. We performed experiments with three types of alignment methods using word embeddings. We evaluated our proposed methods with various translation datasets. Experimental results show that our proposed methods outperform previous word embeddings-based methods.


title: Dynamical Mass Generation in Pseudo Quantum Electrodynamics with Four-Fermion Interactions

abstract: We describe dynamical symmetry breaking in a system of massless Dirac fermions with both electromagnetic and four-fermion interactions in (2+1) dimensions. The former is described by the Pseudo Quantum Electrodynamics (PQED) and the latter is given by the so-called Gross-Neveu action. We apply the Hubbard-Stratonovich transformation and the large$-N_f$ expansion in our model to obtain a Yukawa action. Thereafter, the presence of a symmetry broken phase is inferred from the non-perturbative Schwinger-Dyson equation for the electron propagator. This is the physical solution whenever the fine-structure constant is larger than a critical value $\alpha_c(D N_f)$. In particular, we obtain the critical coupling constant $\alpha_c\approx 0.36$ for $D N_f=8$., where $D=2,4$ corresponds to the SU(2) and SU(4) cases, respectively, and $N_f$ is the flavor number. Our results show a decreasing of the critical coupling constant in comparison with the case of pure electromagnetic interaction, thus yielding a more favorable scenario for the occurrence of dynamical symmetry breaking. For two-dimensional materials,in application in condensed matter systems, it implies an energy gap at the Dirac points or valleys of the honeycomb lattice.


title: Homaloidal nets and ideals of fat points II: subhomaloidal nets

abstract: This paper is a natural sequel to [22] in that it tackles problems of the same nature. Here one aims at the ideal theoretic and homological properties of a class of ideals of general plane fat points whose second symbolic powers hold virtual multiplicities of proper homaloidal types. For this purpose one carries a detailed examination of their linear systems at the initial degree, a good deal of the results depending on the method of applying the classical arithmetic quadratic transformations of Hudson--Nagata. A subsidiary guide to understand these ideals through their initial linear systems has been supplied by questions of birationality with source $\mathbb{P}^2$ and target higher dimensional spaces. This leads, in particular, to the retrieval of birational maps studied by Geramita--Gimigliano--Pitteloud, including a few of the celebrated Bordiga--White parameterizations.


title: How Wave - Wavelet Trading Wins and "Beats" the Market

abstract: The purpose of this paper is to showcase trading strategies that give solutions to three difficult and intriguing problems in business finance, economics and statistics. The paper discusses trading strategies for both commodities and stocks but the main focus is on stock market trading at the New York Stock Exchange. Problem 1: Buy Low and Sell High. The buy low and sell high problem can be summarized like this: suppose the price of a commodity or stock fluctuates indefinitely, is there any explicit strategy for a trader to "ride the price waves" by buying low and selling high to eventually win even if price does not increase? Problem 2: "Beat" the Market. In Part 2, the trading system presented in Part 1 is transformed into a strategy that always outperforms the market eventually. Problem 3: Can a Trader Outperform a geometric Brownian Motion? The general belief is that it is impossible to "beat" a GBM since technical analysis of historical prices is useless in predicting future prices. The last part of the paper shows that the answer to Problem 3 is actually a "YES", which is quite surprising. The trading strategies presented are based mainly on information obtained from the movements of waves and wavelets created by large and small fluctuations of market prices. They do not involve any forecasting or prediction of future prices. Behavioral economics also plays a role in the decision making process of the Wavelet Trading program. My website AgateTrading.com is available to the public.


title: Third time is the charm - Why the World just might be ready for the Internet of Things this time around

abstract: The technology to connect 'things' to the Internet has existed for more than 20 years, so if we take a look back at recent history we might well be tempted to ask the question why will IoT 'happen' this time around. In this paper we examine the origins of the Internet of Things, answer the question "Why Now?", and look forward to the next wave of disruptive technologies that will be coming to a device near you in the next few years.


title: Three-dimensional flow in cavity with elevated helicity driven by parallel walls

abstract: The proposed flow in a 3-D cubic cavity is driven by its parallel walls moving in perpendicular directions to create a genuinely three-dimensional highly separated vortical flow yet having simple single-block cubical geometry of computational domain. The elevated level of helicity is caused by motion of a wall in the direction of axis of primary vortex created by a parallel wall. The velocity vector field is obtained numerically by using second-order upwind scheme and 200^3 grid. Helicity, magnitude of normalized helicity and kinematic vorticity number are evaluated for Reynolds numbers ranging from 100 to 1000. Formation of two primary vortices with their axis oriented perpendicularly and patterns of secondary vortices are discussed. Computational results are compared to the well-known 3-D recirculating cavity flow case where the lid moves in the direction parallel to the cavity side walls. Also results are compared to the diagonally top-driven cavity and to cavity flow driven by moving top and side walls. The streamlines for the proposed flow show that the particles emerging from top and bottom of cavity do mix well. Quantitative evaluation of mixing of two fluids in the proposed cavity flow confirms that the mixing occurs faster than in the benchmark case.


title: Local Algorithms for Hierarchical Dense Subgraph Discovery

abstract: Finding the dense regions of a graph and relations among them is a fundamental problem in network analysis. Core and truss decompositions reveal dense subgraphs with hierarchical relations. The incremental nature of algorithms for computing these decompositions and the need for global information at each step of the algorithm hinders scalable parallelization and approximations since the densest regions are not revealed until the end. In a previous work, Lu et al. proposed to iteratively compute the $h$-indices of neighbor vertex degrees to obtain the core numbers and prove that the convergence is obtained after a finite number of iterations. This work generalizes the iterative $h$-index computation for truss decomposition as well as nucleus decomposition which leverages higher-order structures to generalize core and truss decompositions. In addition, we prove convergence bounds on the number of iterations. We present a framework of local algorithms to obtain the core, truss, and nucleus decompositions. Our algorithms are local, parallel, offer high scalability, and enable approximations to explore time and quality trade-offs. Our shared-memory implementation verifies the efficiency, scalability, and effectiveness of our local algorithms on real-world networks.


title: Identifying networks with common organizational principles

abstract: Many complex systems can be represented as networks, and the problem of network comparison is becoming increasingly relevant. There are many techniques for network comparison, from simply comparing network summary statistics to sophisticated but computationally costly alignment-based approaches. Yet it remains challenging to accurately cluster networks that are of a different size and density, but hypothesized to be structurally similar. In this paper, we address this problem by introducing a new network comparison methodology that is aimed at identifying common organizational principles in networks. The methodology is simple, intuitive and applicable in a wide variety of settings ranging from the functional classification of proteins to tracking the evolution of a world trade network.


title: Implications of a frame dependent gravitational effective action for perturbations on the Robertson-Walker Metric

abstract: In earlier work we showed that a frame dependent effective action motivated by the postulates of three-space general coordinate invariance and Weyl scaling invariance exactly mimics a cosmological constant in Robertson-Walker (RW) spacetimes. Here we study the implications of this effective action for small fluctuations around a spatially flat RW background geometry. The equations for the conserving extension of the modified stress-energy tensor can be integrated in closed form, and involve only the metric perturbation $h_{00}$. Hence the equations for tensor and vector perturbations are unmodified, but there are Hubble scale additions to the scalar perturbation equations, which nonetheless admit no propagating wave solutions. Consequently, there are no modifications to standard gravitational wave propagation theory, but there may be observable implications for cosmology. We give a self-contained discussion, including an analysis of the restricted class of gauge transformations that act when a frame dependent effective action is present.


title: Hidden Two-Stream Convolutional Networks for Action Recognition

abstract: Analyzing videos of human actions involves understanding the temporal relationships among video frames. State-of-the-art action recognition approaches rely on traditional optical flow estimation methods to pre-compute motion information for CNNs. Such a two-stage approach is computationally expensive, storage demanding, and not end-to-end trainable. In this paper, we present a novel CNN architecture that implicitly captures motion information between adjacent frames. We name our approach hidden two-stream CNNs because it only takes raw video frames as input and directly predicts action classes without explicitly computing optical flow. Our end-to-end approach is 10x faster than its two-stage baseline. Experimental results on four challenging action recognition datasets: UCF101, HMDB51, THUMOS14 and ActivityNet v1.2 show that our approach significantly outperforms the previous best real-time approaches.


title: Geometric Loss Functions for Camera Pose Regression with Deep Learning

abstract: Deep learning has shown to be effective for robust and real-time monocular image relocalisation. In particular, PoseNet is a deep convolutional neural network which learns to regress the 6-DOF camera pose from a single image. It learns to localize using high level features and is robust to difficult lighting, motion blur and unknown camera intrinsics, where point based SIFT registration fails. However, it was trained using a naive loss function, with hyper-parameters which require expensive tuning. In this paper, we give the problem a more fundamental theoretical treatment. We explore a number of novel loss functions for learning camera pose which are based on geometry and scene reprojection error. Additionally we show how to automatically learn an optimal weighting to simultaneously regress position and orientation. By leveraging geometry, we demonstrate that our technique significantly improves PoseNet's performance across datasets ranging from indoor rooms to a small city.


title: A two-stage working model strategy for network analysis under Hierarchical Exponential Random Graph Models

abstract: Social networks as a representation of relational data, often possess multiple types of dependency structures at the same time. There could be clustering (beyond homophily) at a macro level as well as transitivity (a friend's friend is more likely to be also a friend) at a micro level. Motivated by \cite{schweinberger2015local} which constructed a family of Exponential Random Graph Models (ERGM) with local dependence assumption, we argue that this kind of hierarchical models has potential to better fit real networks. To tackle the non-scalable estimation problem, the cost paid for modeling power, we propose a two-stage working model strategy that first utilize Latent Space Models (LSM) for their strength on clustering, and then further tune ERGM to archive goodness of fit.


title: Spin dynamics and spin-dependent recombination of a polaron pair under a strong ac drive

abstract: We study theoretically the recombination within a pair of two polarons in magnetic field subject to a strong linearly polarized ac drive. Strong drive implies that the Zeeman frequencies of the pair-partners are much smaller than the Rabi frequency, so that the rotating wave approximation does not apply. What makes the recombination dynamics nontrivial, is that the partners recombine only when they form a singlet, S. By admixing singlet to triplets, the drive induces the triplet recombination as well. We calculate the effective decay rate of all four spin modes. Our main finding is that, under the strong drive, the major contribution to the decay of the modes comes from short time intervals when the driving field passes through zero. When the recombination time in the absence of drive is short, fast recombination from S leads to anomalously slow recombination from the other spin states of the pair. We show that, with strong drive, this recombination becomes even slower. The corresponding decay rate falls off as a power law with the amplitude of the drive.


title: Exploring Choice Overload in Related-Article Recommendations in Digital Libraries

abstract: We investigate the problem of choice overload - the difficulty of making a decision when faced with many options - when displaying related-article recommendations in digital libraries. So far, research regarding to how many items should be displayed has mostly been done in the fields of media recommendations and search engines. We analyze the number of recommendations in current digital libraries. When browsing fullscreen with a laptop or desktop PC, all display a fixed number of recommendations. 72% display three, four, or five recommendations, none display more than ten. We provide results from an empirical evaluation conducted with GESIS' digital library Sowiport, with recommendations delivered by recommendations-as-a-service provider Mr. DLib. We use click-through rate as a measure of recommendation effectiveness based on 3.4 million delivered recommendations. Our results show lower click-through rates for higher numbers of recommendations and twice as many clicked recommendations when displaying ten instead of one related-articles. Our results indicate that users might quickly feel overloaded by choice.


title: Growing length scale accompanying the vitrification: A perspective based on non-singular density fluctuations

abstract: In glass forming liquids close to the glass transition point, even a very slight increase in the macroscopic density results in a dramatic slowing down of the macroscopic relaxation. Concomitantly, the local density itself fluctuates in space. Therefore, one can imagine that even very small local density variations control the local glassy nature. Based on this perspective, a model for describing growing length scale accompanying the vitrification is introduced, in which we assume that in a subsystem whose density is above a certain threshold value, $\rho_{\rm c}$, owing to steric constraints, particle rearrangements are highly suppressed for a sufficiently long time period ($\sim$ structural relaxation time). We regard such a subsystem as a glassy cluster. Then, based on the statistics of the subsystem-density, we predict that with compression (increasing average density $\rho$) at a fixed temperature $T$ in supercooled states, the characteristic length of the clusters, $\xi$, diverges as $\xi\sim(\rho_{\rm c}-\rho)^{-2/d}$, where $d$ is the spatial dimensionality. This $\xi$ measures the average persistence length of the steric constraints in blocking the rearrangement motions and is determined by the subsystem density. Additionally, with decreasing $T$ at a fixed $\rho$, the length scale diverges in the same manner as $\xi\sim(T-T_{\rm c})^{-2/d}$, for which $\rho$ is identical to $\rho_{\rm c}$ at $T=T_{\rm c}$. The exponent describing the diverging length scale is the same as the one predicted by some theoretical models and indeed has been observed in some simulations and experiments. However, the basic mechanism for this divergence is different; that is, we do not invoke thermodynamic anomalies associated with the thermodynamic phase transition as the origin of the growing length scale. We further present arguements for the cooperative properties based on the clusters.


title: A Message-Passing Algorithm for Graph Isomorphism

abstract: A message-passing procedure for solving the graph isomorphism problem is proposed. The procedure resembles the belief-propagation algorithm in the context of graphical models inference and LDPC decoding. To enable the algorithm, the input graphs are transformed into intermediate canonical representations of bipartite graphs. The matching procedure injects specially designed input patterns to the canonical graphs and runs a message-passing algorithm to generate two output fingerprints that are matched if and only if the input graphs are isomorphic.


title: Quantum Numbers of $\Omega_c$ States and Other Charmed Baryons

abstract: Possible spin-parity quantum numbers for excited charmed baryon resonances are discussed in this work. Our main results are: (i) Among the five newly observed $\Omega_c$ states, we have identified $\Omega_c(3090)$ and $\Omega_c(3119)$ with radially excited $\frac12^+(2S)$ and $\frac32^+(2S)$ states, respectively, and $\Omega_c(3000)$ with $\frac12^-(1P)$ and $S=\frac32$. The two states $\Omega_c(3050)$ and $\Omega_c(3066)$ form a $P$-wave $(\frac32^-,\frac52^-)$ doublet. (ii) The widths of $\Omega_c(3066)$ and $\Xi'_c(2930)$ are calculable within the framework of heavy hadron chiral perturbation theory. (iii) Since the width of $\Omega_{c0}(\frac12^-)$ is of order 410 MeV, not all observed narrow $\Omega_c$ baryons can be identified with $1P$ states. (iv) For the antitriplet $\Lambda_c$ and $\Xi_c$ states, their Regge trajectories for the orbital excitations of $\frac12^-$ and $\frac32^-$ are parallel to each other. Based on this nice property of parallelism, we see that the highest state $\Lambda_c(2940)$ does not fit if its quantum numbers are $\frac32^-$ as found by LHCb. We suggest that $\Lambda_c(2940)^+$ is most likely the $\frac12^-(2P)$ state. (v) The charmed baryon $\Sigma_c(2800)$ cannot be a $\frac12^-$ state; otherwise, its width will be over 400~MeV, too large compared to the measured one. (vi) In the study of Regge trajectories of $\Xi'_c$ states, we find a missing state. It should have quantum numbers $\frac52^-$ with a mass around 2920~MeV.


title: Optically controlled orbital angular momentum generation in a polaritonic quantum fluid

abstract: Applications of the orbital angular momentum (OAM) of light range from the next generation of optical communication systems to optical imaging and optical manipulation of particles. Here we propose a micron-sized semiconductor source which emits light with pre-defined OAM components. This source is based on a polaritonic quantum fluid. We show how in this system modulational instabilities can be controlled and harnessed for the spontaneous formation of OAM components not present in the pump laser source. Once created, the OAM states exhibit exotic flow patterns in the quantum fluid, characterized by generation-annihilation pairs. These can only occur in open systems, not in equilibrium condensates, in contrast to well-established vortex-antivortex pairs.


title: Examples of finite dimensional algebras which do not satisfy the derived Jordan--H\"older property

abstract: We construct a matrix algebra $\Lambda(A,B)$ from two given finite dimensional elementary algebras $A$ and $B$ and give some sufficient conditions on $A$ and $B$ under which the derived Jordan--H\"older property (DJHP) fails for $\Lambda(A,B)$. This provides finite dimensional algebras of finite global dimension which do not satisfy DJHP.


title: Ultra-Dense Networks: Is There a Limit to Spatial Spectrum Reuse?

abstract: The aggressive spatial spectrum reuse (SSR) by network densification using smaller cells has successfully driven the wireless communication industry onward in the past decades. In our future journey toward ultra-dense networks (UDNs), a fundamental question needs to be answered. Is there a limit to SSR? In other words, when we deploy thousands or millions of small cell base stations (BSs) per square kilometer, is activating all BSs on the same time/frequency resource the best strategy? In this paper, we present theoretical analyses to answer such question. In particular, we find that both the signal and interference powers become bounded in practical UDNs with a non-zero BS-to-UE antenna height difference and a finite UE density, which leads to a constant capacity scaling law. As a result, there exists an optimal SSR density that can maximize the network capacity. Hence, the limit to SSR should be considered in the operation of future UDNs.


title: H-Atmospheres of Icy Super-Earths Formed in situ in the Outer Solar System: An Application to a Possible Planet Nine

abstract: We examine the possibility that icy super-Earth mass planets, formed over long time scales (0.1--1~Gyr) at large distances ($\sim$ 200--1000~AU) from their host stars, will develop massive H-rich atmospheres. Within the interior of these planets, high pressure converts CH$_4$ into ethane, butane, or diamond and releases H$_2$. Using simplified models which capture the basic physics of the internal structure, we show that the physical properties of the atmosphere depend on the outflux of H$_2$ from the mantle. When this outflux is $\lesssim 10^{10}$ [molec cm$^{-2}$ s$^{-1}$], the outgassed atmosphere has base pressure $\lesssim$ 1 bar. Larger outflows result in a substantial atmosphere where the base pressure may approach $10^3 - 10^4$ bar. For any pressure, the mean density of these planets, 2.4--3 [g cm$^{-3}$], is much larger than the mean density of Uranus and Neptune, 1.3--1.6 [g cm$^{-3}$]. Thus, observations can distinguish between a Planet Nine with a primordial H/He-rich atmosphere accreted from the protosolar nebula and one with an atmosphere outgassed from the core.


title: Nonlocal dispersal equations in time-periodic media: principal spectral theory, bifurcation and asymptotic behaviors

abstract: This paper is devoted to the investigation of the following nonlocal dispersal equation $$ u_{t}(t,x)=\frac{D}{\sigma^m}\left[\int_{\Omega}J_\sigma(x-y)u(t,y)dy-u(t,x)\right]+f(t,x,u(t,x)), \quad t>0,\quad x\in\overline{\Omega}, $$ where $\Omega\subset\mathbb{R}^{N}$ is a bounded and connected domain with smooth boundary, $m\in[0,2)$, $D>0$ is the dispersal rate, $\sigma>0$ characterizes the dispersal range, $J_{\sigma}=\frac{1}{\sigma^{N}} J\left(\frac{\cdot}{\sigma}\right)$ is the scaled dispersal kernel, and $f$ is a time-periodic nonlinear function of generalized KPP type. We first study the principal spectral theory of the linear operator associated to the linearization of the equation at $u\equiv0$. We obtain an easily verifiable and general condition for the existence of the principal eigenvalue as well as important sup-inf characterizations for the principal eigenvalue. We next study the influence of the principal eigenvalue on the global dynamics and confirm the criticality of the principal eigenvalue being zero. It is then followed by the study of the effects of the dispersal rate $D$ and the dispersal range characterized by $\sigma$ on the principal eigenvalue and the positive time-periodic solution, and prove various asymptotic behaviors of the principal eigenvalue and the positive time-periodic solution when $D,\sigma\to0^{+}$ or $\infty$. Finally, we establish the maximum principle for time-periodic nonlocal operator.


title: A Class of Temporal Hierarchical Exponential Random Graph Models for Longitudinal Network Data

abstract: As a representation of relational data over time series, longitudinal networks provide opportunities to study link formation processes. However, networks at scale often exhibits community structure (i.e. clustering), which may confound local structural effects if it is not considered appropriately in statistical analysis. To infer the (possibly) evolving clusters and other network structures (e.g. degree distribution and/or transitivity) within each community, simultaneously, we propose a class of statistical models named Temporal Hierarchical Exponential Random Graph Models (THERGM). Our generative model imposes a Markovian transition matrix for nodes to change their membership, and assumes they join new community in a preferential attachment way. For those remaining in the same cluster, they follow a specific temporal ERG model (TERGM). While a direct MCMC based Bayesian estimation is computational infeasible, we propose a two-stage strategy. At the first stage, a specific dynamic latent space model will be used as the working model for clustering. At the second stage, estimated memberships are taken as given to fit a TERG model in each cluster. We evaluate our methods on simulated data in terms of the mis-clustering rate, as well as the goodness of fit and link prediction accuracy.


title: Quantum multiplication operators for Lagrangian and orthogonal Grassmannians

abstract: In this article, we make a close analysis on quantum multiplication operators on the quantum cohomology rings of Lagrangian and orthogonal Grassmannians, and give an explicit description on all simultaneous eigenvectors and the corresponding eigenvalues for these operators. As a result, we show that Conjecture $\mathcal{O}$ of Galkin, Golyshev and Iritani holds for these manifolds.


title: Modulational instability and homoclinic orbit solutions in vector nonlinear Schr\"odinger equation

abstract: Modulational instability has been used to explain the formation of breather and rogue waves qualitatively. In this paper, we show modulational instability can be used to explain the structure of them in a quantitative way. We develop a method to derive general forms for Akhmediev breather and rogue wave solutions in a $N$-component nonlinear Schr\"odinger equations. The existence condition for each pattern is clarified clearly. Moreover, the general multi-high-order rogue wave solutions and multi-Akhmediev breather solutions for $N$-component nonlinear Schr\"odinger equations are constructed. The results further deepen our understanding on the quantitative relations between modulational instability and homoclinic orbits solutions.


title: Syntax Aware LSTM Model for Chinese Semantic Role Labeling

abstract: As for semantic role labeling (SRL) task, when it comes to utilizing parsing information, both traditional methods and recent recurrent neural network (RNN) based methods use the feature engineering way. In this paper, we propose Syntax Aware Long Short Time Memory(SA-LSTM). The structure of SA-LSTM modifies according to dependency parsing information in order to model parsing information directly in an architecture engineering way instead of feature engineering way. We experimentally demonstrate that SA-LSTM gains more improvement from the model architecture. Furthermore, SA-LSTM outperforms the state-of-the-art on CPB 1.0 significantly according to Student t-test ($p<0.05$).


title: Sparse Autoencoder for Unsupervised Nucleus Detection and Representation in Histopathology Images

abstract: Histopathology images are crucial to the study of complex diseases such as cancer. The histologic characteristics of nuclei play a key role in disease diagnosis, prognosis and analysis. In this work, we propose a sparse Convolutional Autoencoder (CAE) for fully unsupervised, simultaneous nucleus detection and feature extraction in histopathology tissue images. Our CAE detects and encodes nuclei in image patches in tissue images into sparse feature maps that encode both the location and appearance of nuclei. Our CAE is the first unsupervised detection network for computer vision applications. The pretrained nucleus detection and feature extraction modules in our CAE can be fine-tuned for supervised learning in an end-to-end fashion. We evaluate our method on four datasets and reduce the errors of state-of-the-art methods up to 42%. We are able to achieve comparable performance with only 5% of the fully-supervised annotation cost.


title: Involutions on pro-$p$-Iwahori Hecke algebras

abstract: The pro-$p$-Iwahori Hecke algebra has an involution $\iota$ defined in terms of Iwahori-Matsumoto basis. Then for a module $\pi$ of pro-$p$-Iwahori Hecke, $\pi^\iota = \pi\circ \iota$ is also a module. We calculate $\pi^\iota$ for simple modules $\pi$. We also calculate the dual of $\pi$.


title: Fermions in the Rindler spacetime

abstract: In this paper we study the Dirac equation in the Rindler spacetime. The solution of the wave equation in an accelerated reference frame is obtained. The differential equation associated to this wave equation is mapped into a Sturm-Liouville problem of a Schr\"odinger-like equation. We derive a compact expression for the energy spectrum associated with the Dirac equation in an accelerated reference. It is shown that the noninertial effect of the accelerated reference frame mimics an external potential in the Dirac equation and, moreover, allows the formation of bound states.


title: Fulde-Ferrell-Larkin-Ovchinnikov state in spin-orbit-coupled superconductors

abstract: We show that in the presence of magnetic field, two superconducting phases with the center-of-mass momentum of Cooper pair parallel to the magnetic field are induced in spin-orbit-coupled superconductor Li$_2$Pd$_3$B. Specifically, at small magnetic field, the center-of-mass momentum is induced due to the energy-spectrum distortion and no unpairing region with vanishing singlet correlation appears. We refer to this superconducting state as the drift-BCS state. By further increasing the magnetic field, the superconducting state falls into the Fulde-Ferrell-Larkin-Ovchinnikov state with the emergence of the unpairing regions. The observed abrupt enhancement of the center-of-mass momenta and suppression on the order parameters during the crossover indicate the first-order phase transition. Enhanced Pauli limit and hence enlarged magnetic-field regime of the Fulde-Ferrell-Larkin-Ovchinnikov state, due to the spin-flip terms of the spin-orbit coupling, are revealed. We also address the triplet correlations induced by the spin-orbit coupling, and show that the Cooper-pair spin polarizations, generated by the magnetic field and center-of-mass momentum with the triplet correlations, exhibit totally different magnetic-field dependences between the drift-BCS and Fulde-Ferrell-Larkin-Ovchinnikov states.


title: Kolmogorov bounds for the normal approximation of the number of triangles in the Erdos-Renyi random graph

abstract: We bound the error for the normal approximation of the number of triangles in the Erdos-Renyi random graph with respect to the Kolmogorov metric. Our bounds match the best available Wasserstein-bounds obtained by Barbour, Karonski and Rucinski (1989), resolving a long-standing open problem. The proofs are based on a new variant of the Stein-Tikhomirov method - a combination of Stein's method and characteristic functions introduced by Tikhomirov (1980).


title: A Survey of Distributed Message Broker Queues

abstract: This paper surveys the message brokers that are in vogue today for distributed communication. Their primary goal is to facilitate the construction of decentralized topologies without single points of failure, enabling fault tolerance and high availability. These characteristics make them optimal for usage within distributed architectures. However, there are multiple protocols built to achieve this, and it would be beneficial to have a empirical comparison between their features and performance to determine their real-world applicability. This paper focuses on two popular protocols (Kafka and AMQP) and explores the divergence in their features as well as their performance under varied testing workloads.


title: Shocking the Crowd: The Effect of Censorship Shocks on Chinese Wikipedia

abstract: Collaborative crowdsourcing has become a popular approach to organizing work across the globe. Being global also means being vulnerable to shocks -- unforeseen events that disrupt crowds -- that originate from any country. In this study, we examine changes in collaborative behavior of editors of Chinese Wikipedia that arise due to the 2005 government censor- ship in mainland China. Using the exogenous variation in the fraction of editors blocked across different articles due to the censorship, we examine the impact of reduction in group size, which we denote as the shock level, on three collaborative behavior measures: volume of activity, centralization, and conflict. We find that activity and conflict drop on articles that face a shock, whereas centralization increases. The impact of a shock on activity increases with shock level, whereas the impact on centralization and conflict is higher for moderate shock levels than for very small or very high shock levels. These findings provide support for threat rigidity theory -- originally introduced in the organizational theory literature -- in the context of large-scale collaborative crowds.


title: Fermionic field perturbations of a three-dimensional Lifshitz black hole in conformal gravity

abstract: We study the propagation of massless fermionic fields in the background of a three-dimensional Lifshitz black hole, which is a solution of conformal gravity. The black hole solution is characterized by a null dynamical exponent. Then, we compute analytically the quasinormal modes, the area spectrum, and the absorption cross section for fermionic fields. The analysis of the quasinormal modes shows that the fermionic perturbations are stable in this background. The area and entropy spectrum are evenly spaced. At the low frequency limit, it is observed that there is a range of values of the angular momentum of the mode that contributes to the absorption cross section, whereas it vanishes at the high frequency limit. In addition, by a suitable change of variables a gravitational soliton can also be obtained and the stability of the quasinormal modes are studied and ensured.


title: Electronically Steerable Ultrasound-Driven Air Stream

abstract: We have created a stretching air flow by generating a Bessel beam of ultrasound with an active phased array of acoustic transducers in free space. The generated Bessel beam is electronically steerable in terms of its position and direction of propagation. The fastest spot in the flow could be located apart from the sound source itself. The flow is formed immediately after the sound field is generated, which can be electronically accomplished with the phased array that we fabricated. We formulate the basic technique for realizing such air-borne flows and experimentally describe their physical properties. Our technique would be capable of controlling the air flow in free-space with an improved temporal and spatial resolution compared with those conventionally considered.


title: Nucleosynthesis in thermonuclear supernovae

abstract: The explosion energy of thermonuclear (Type Ia) supernovae is derived from the difference in nuclear binding energy liberated in the explosive fusion of light 'fuel' nuclei, predominantly carbon and oxygen, into more tightly bound nuclear 'ash' dominated by iron and silicon group elements. The very same explosive thermonuclear fusion event is also one of the major processes contributing to the nucleosynthesis of the heavy elements, in particular the iron-group elements. For example, most of the iron and manganese in the sun and its planetary system were produced in thermonuclear supernovae. Here, we review the physics of explosive thermonuclear burning in carbon-oxygen white dwarf material and the methodologies utilized in calculating predicted nucleosynthesis from hydrodynamic explosion models. While the dominant explosion scenario remains unclear, many aspects of the nuclear combustion and nucleosynthesis are common to all models and must occur in some form in order to produce the observed yields. We summarize the predicted nucleosynthetic yields for existing explosion models, placing particular emphasis on characteristic differences in the nucleosynthetic signatures of the different suggested scenarios leading to Type Ia supernovae. Following this, we discuss how these signatures compare with observations of several individual supernovae, remnants, and the composition of material in our galaxy and galaxy clusters.


title: Skewed target range strategy for multiperiod portfolio optimization using a two-stage least squares Monte Carlo method

abstract: In this paper, we propose a novel investment strategy for portfolio optimization problems. The proposed strategy maximizes the expected portfolio value bounded within a targeted range, composed of a conservative lower target representing a need for capital protection and a desired upper target representing an investment goal. This strategy favorably shapes the entire probability distribution of returns, as it simultaneously seeks a desired expected return, cuts off downside risk and implicitly caps volatility and higher moments. To illustrate the effectiveness of this investment strategy, we study a multiperiod portfolio optimization problem with transaction costs and develop a two-stage regression approach that improves the classical least squares Monte Carlo (LSMC) algorithm when dealing with difficult payoffs, such as highly concave, abruptly changing or discontinuous functions. Our numerical results show substantial improvements over the classical LSMC algorithm for both the constant relative risk-aversion (CRRA) utility approach and the proposed skewed target range strategy (STRS). Our numerical results illustrate the ability of the STRS to contain the portfolio value within the targeted range. When compared with the CRRA utility approach, the STRS achieves a similar mean-variance efficient frontier while delivering a better downside risk-return trade-off.


title: A Model-Based Fuzzy Control Approach to Achieving Adaptation with Contextual Uncertainties

abstract: Self-adaptive system (SAS) is capable of adjusting its behavior in response to meaningful changes in the operational context and itself. Due to the inherent volatility of the open and changeable environment in which SAS is embedded, the ability of adaptation is highly demanded by many software-intensive systems. Two concerns, i.e., the requirements uncertainty and the context uncertainty are most important among others. An essential issue to be addressed is how to dynamically adapt non-functional requirements (NFRs) and task configurations of SASs with context uncertainty. In this paper, we propose a model-based fuzzy control approach that is underpinned by the feedforward-feedback control mechanism. This approach identifies and represents NFR uncertainties, task uncertainties and context uncertainties with linguistic variables, and then designs an inference structure and rules for the fuzzy controller based on the relations between the requirements model and the context model. The adaptation of NFRs and task configurations is achieved through fuzzification, inference, defuzzification and readaptation. Our approach is demonstrated with a mobile computing application and is evaluated through a series of simulation experiments.


title: The HST Large Program on Omega Centauri. I. Multiple stellar populations at the bottom of the main sequence probed in NIR-Optical

abstract: As part of a large investigation with Hubble Space Telescope to study the faintest stars within the globular cluster Omega Centauri, in this work we present early results on the multiplicity of its main sequence (MS) stars, based on deep optical and near-infrared observations. By using appropriate color-magnitude diagrams we have identified, for the first time, the two main stellar populations I, and II along the entire MS, from the turn-off towards the hydrogen-burning limit. We have compared the observations with suitable synthetic spectra of MS stars and conclude that the two MSs are consistent with stellar populations with different metallicity, helium, and light-element abundance. Specifically, MS-I corresponds to a metal-poor stellar population ([Fe/H]~-1.7) with Y~ 0.25 and [O/Fe]~0.30. The MS-II hosts helium-rich (Y~0.37-0.40) stars with metallicity ranging from [Fe/H]~-1.7 to -1.4. Below the MS knee (mF160W~19.5, our photometry reveals that each of the two main MSs hosts stellar subpopulations with different oxygen abundances, with very O-poor stars ([O/Fe]~-0.5) populating the MS-II. Such a complexity has never been observed in previous studies of M-dwarfs in globular clusters. A few months before the lunch of the James Webb Space Telescope, these results demonstrate the power of optical and near-infrared photometry in the study of multiple stellar populations in globular clusters.


title: Requirements-Driven Dynamic Adaptation to Mitigate Runtime Uncertainties for Self-Adaptive Systems

abstract: Self-adaptive systems are capable of adjusting their behavior to cope with the changes in environment and itself. These changes may cause runtime uncertainty, which refers to the system state of failing to achieve appropriate reconfigurations. However, it is often infeasible to exhaustively anticipate all the changes. Thus, providing dynamic adaptation mechanisms for mitigating runtime uncertainty becomes a big challenge. This paper suggests solving this challenge at requirements phase by presenting REDAPT, short for REquirement-Driven adAPTation. We propose an adaptive goal model (AGM) by introducing adaptive elements, specify dynamic properties of AGM by providing logic based grammar, derive adaptation mechanisms with AGM specifications and achieve adaptation by monitoring variables, diagnosing requirements violations, determining reconfigurations and execution. Our approach is demonstrated with an example from the Intelligent Transportation System domain and evaluated through a series of simulation experiments.


title: A Thematic Study of Requirements Modeling and Analysis for Self-Adaptive Systems

abstract: Over the last decade, researchers and engineers have developed a vast body of methodologies and technologies in requirements engineering for self-adaptive systems. Although existing studies have explored various aspects of this topic, few of them have categorized and summarized these areas of research in require-ments modeling and analysis. This study aims to investigate the research themes based on the utilized modeling methods and RE activities. We conduct a thematic study in the systematic literature review. The results are derived by synthesizing the extracted data with statistical methods. This paper provides an updated review of the research literature, enabling researchers and practitioners to better understand the research themes in these areas and identify research gaps which need to be further studied.


title: Review on Requirements Modeling and Analysis for Self-Adaptive Systems: A Ten-Year Perspective

abstract: Context: Over the last decade, software researchers and engineers have developed a vast body of methodologies and technologies in requirements engineering for self-adaptive systems. Although existing studies have explored various aspects of this field, no systematic study has been performed on summarizing modeling methods and corresponding requirements activities. Objective: This study summarizes the state-of-the-art research trends, details the modeling methods and corresponding requirements activities, identifies relevant quality attributes and application domains and assesses the quality of each study. Method: We perform a systematic literature review underpinned by a rigorously established and reviewed protocol. To ensure the quality of the study, we choose 21 highly regarded publication venues and 8 popular digital libraries. In addition, we apply text mining to derive search strings and use Kappa coefficient to mitigate disagreements of researchers. Results: We selected 109 papers during the period of 2003-2013 and presented the research distributions over various kinds of factors. We extracted 29 modeling methods which are classified into 8 categories and identified 14 requirements activities which are classified into 4 requirements timelines. We captured 8 concerned software quality attributes based on the ISO 9126 standard and 12 application domains. Conclusion: The frequency of application of modeling methods varies greatly. Enterprise models were more widely used while behavior models were more rigorously evaluated. Requirements-driven runtime adaptation was the most frequently studied requirements activity. Activities at runtime were conveyed with more details. Finally, we draw other conclusions by discussing how well modeling dimensions were considered in these modeling methods and how well assurance dimensions were conveyed in requirements activities.


title: Asymmetric Random Walk in a One-Dimensional Multi-Zone Environment

abstract: We consider a random walk model in a one-dimensional environment, formed by several zones of finite width with the fixed transition probabilities. It is also assumed that the transitions to the left and right neighboring points have unequal probabilities. In continuous limit, we derive analytically the probability distribution function, which is mainly determined by a walker diffusion and drift and accounts perturbatively for interface effects between zones. It is used for computing the probability to find a walker in a given space-time point and the time dependence of the mean squared displacement of a walker, which reveals the transient anomalous diffusion. To justify our approach, the probability function is compared with the results of numerical simulations for a three-zone environment.