title: The dynamics of the leverage cycle

abstract: We present a simple agent-based model of a financial system composed of leveraged investors such as banks that invest in stocks and manage their risk using a Value-at-Risk constraint, based on historical observations of asset prices. The Value-at-Risk constraint implies that when perceived risk is low, leverage is high and vice versa, a phenomenon that has been dubbed pro-cyclical leverage. We show that this leads to endogenous irregular oscillations, in which gradual increases in stock prices and leverage are followed by drastic market collapses, i.e. a leverage cycle. This phenomenon is studied using simplified models that give a deeper understanding of the dynamics and the nature of the feedback loops and instabilities underlying the leverage cycle. We introduce a flexible leverage regulation policy in which it is possible to continuously tune from pro-cyclical to countercyclical leverage. When the policy is sufficiently countercyclical and bank risk is sufficiently low the endogenous oscillation disappears and prices go to a fixed point. While there is always a leverage ceiling above which the dynamics are unstable, countercyclical leverage can be used to raise the ceiling. We also study the impact on leverage cycles of direct, temporal control of the bank's riskiness via the bank's required Value-at-Risk quantile. Under such a rule the regulator relaxes the Value-at-Risk quantile following a negative stock price shock and tightens it following a positive shock. While such a policy rule can reduce the amplitude of leverage cycles, its effectiveness is highly dependent on the choice of parameters. Finally, we investigate fixed limits on leverage and show how they can control the leverage cycle.


title: Rota-Baxter operators on the polynomial algebras, integration and averaging operators

abstract: Rota-Baxter operators are an algebraic abstraction of integration. Following this classical connection, we study the relationship between Rota-Baxter operators and integrals in the case of the polynomial algebra $\mathbf{k}[x]$. We consider two classes of Rota-Baxter operators, monomial ones and injective ones. For the first class, we apply averaging operators to determine monomial Rota-Baxter operators. For the second class, we make use of the double product on Rota-Baxter algebras.


title: Multiferroicity and magneto-electric effect in Gd$_2$BaNiO$_5$

abstract: We report the observation of electric polarization in the magnetically ordered state of the Haldane chain compound, Gd$_2$BaNiO$_5$, with strongly correlated magnetic and dielectric properties. The results of dc magnetic susceptibility and heat capacity measurements indicate two magnetic transitions,one corresponding to the anti-ferromagnetic order at T$_N$ around 55 K and the other to spin-reorientation transition at T$_{SR}$ around 24 K. The dielectric permittivity ($\epsilon'$) and loss (tan$\delta$) also exhibit anomalies in the vicinity of T$_{SR}$ and T$_N$ respectively. Below the spin-reorientation transition, concurrently magnetic-field-induced spin-flop and the meta-electric transitions are observed at a critical magnetic field in isothermal magnetization and magneto-dielectric results respectively. Another interesting finding is that the change in dielectric constant changes its sign at the critical magnetic field. The origin of the observed magneto-electric effect is discussed on the basis of spin-phonon coupling.


title: Hollow vortices and minimal surfaces

abstract: We consider an overdetermined elliptic problem known as the hollow vortex problem. We prove that the solutions to this problem are in 1:1 correspondence with minimal graphs bounded by horizontal symmetry lines. We use this correspondence to give various examples of domains with hollow vortices.


title: Heterogeneous perturbation of fluid density and solid elastic strain in consolidating porous media

abstract: The occurrence of heterogeneous perturbations of fluid mass density and solid elastic strain of a porous continuum, as a consequence of its undrained response is a very important topic in theoretical and applied poromechanics. The classical Mandel--Cryer effect provides an explanation of fluid overpressure in the central region of a porous sample, immediately after the application of the loading. However this effect fades away when the fluid leaks out of the porous network. Here this problem is studied within the framework of a second gradient theory and a thorough description of the static and the dynamics of the phenomenon is given.


title: Singular systems of linear forms and non-escape of mass in the space of lattices

abstract: Singular systems of linear forms were introduced by Khintchine in the 1920s, and it was shown by Dani in the 1980s that they are in one-to-one correspondence with certain divergent orbits of one- parameter diagonal groups on the space of lattices. We give a (conjecturally sharp) upper bound on the Hausdorff dimension of singular systems of linear forms (equivalently the set of points with divergent trajectories) as well as the dimension of the set of points with trajectories 'escaping on average' (a notion weaker than divergence). This extends work by Cheung, as well as by Chevallier and Cheung, on the vector case. Our method differs considerably from that of Cheung and Chevallier, and is based on the method of integral inequalities developed by Eskin, Margulis and Mozes.


title: SB-labelings and posets with each interval homotopy equivalent to a sphere or a ball

abstract: We introduce a new class of poset edge labelings for locally finite lattices which we call $SB$-labelings. We prove for finite lattices which admit an $SB$-labeling that each open interval has the homotopy type of a ball or of a sphere of some dimension. Natural examples include the weak order, the Tamari lattice, and the finite distributive lattices.


title: Distinguishing symplectic blowups of the complex projective plane

abstract: A symplectic manifold that is obtained from the complex projective plane by k blowups is encoded by k+1 parameters: the size of the initial complex projective plane, and the sizes of the blowups. We determine which values of these parameters yield symplectomorphic manifolds.


title: Kneading with weights

abstract: We generalise Milnor-Thurston's kneading theory to the setting of piecewise continuous and monotone interval maps with weights. We define a weighted kneading determinant ${\cal D}(t)$ and establish combinatorially two kneading identities, one with the cutting invariant and one with the dynamical zeta function. For the pressure $\log \rho_1$ of the weighted system, playing the role of entropy, we prove that ${\cal D}(t)$ is non-zero when $|t|<1/\rho_1$ and has a zero at $1/\rho_1$. Furthermore, our map is semi-conjugate to an analytic family $h_t, 0 < t < 1/\rho_1$ of Cantor PL maps converging to an interval PL map $h_{1/\rho_1}$ with equal pressure


title: Large Deviations for Non-Markovian Diffusions and a Path-Dependent Eikonal Equation

abstract: This paper provides a large deviation principle for Non-Markovian, Brownian motion driven stochastic differential equations with random coefficients. Similar to Gao and Liu \cite{GL}, this extends the corresponding results collected in Freidlin and Wentzell \cite{FreidlinWentzell}. However, we use a different line of argument, adapting the PDE method of Fleming \cite{Fleming} and Evans and Ishii \cite{EvansIshii} to the path-dependent case, by using backward stochastic differential techniques. Similar to the Markovian case, we obtain a characterization of the action function as the unique bounded solution of a path-dependent version of the Eikonal equation. Finally, we provide an application to the short maturity asymptotics of the implied volatility surface in financial mathematics.


title: Sunspot Catalogue of the Valencia Observatory (1920-1928)

abstract: A sunspot catalogue was maintained by the Astronomical Observatory of Valencia University (Spain) from 1920 to 1928. Here we present a machine-readable version of this catalogue (OV catalog or OVc), including a quality control analysis. Sunspot number (total and hemispheric) and sunspot area series are constructed using this catalogue. The OV catalog's data are compared with other available solar data, demonstrating that the present contribution provides the scientific community with a reliable catalogue of sunspot data.


title: A note on the Eisenbud-Mazur Conjecture

abstract: The Eisenbud-Mazur conjecture states that given an equicharacteristic zero, regular local ring (R,\mathfrak{m}) and a prime ideal P\subset R, we have that P^{(2)}\subseteq mP. In this paper, we computationally prove that the conjecture holds in the special case of certain prime ideals in formal power series rings.


title: All optical cooling of $^{39}$K to Bose Einstein condensation

abstract: We report the all-optical production of Bose Einstein condensates (BEC) of $^{39}$K atoms. We directly load $3 \times 10^{7}$ atoms in a large volume optical dipole trap from gray molasses on the D1 transition. We then apply a small magnetic quadrupole field to polarize the sample before transferring the atoms in a tightly confining optical trap. Evaporative cooling is finally performed close to a Feshbach resonance to enhance the scattering length. Our setup allows to cross the BEC threshold with $3 \times 10^5$ atoms every 7s. As an illustration of the interest of the tunability of the interactions we study the expansion of Bose-Einstein condensates in the 1D to 3D crossover.


title: Optimization of networks for measurement-based quantum computation

abstract: This work introduces optimization strategies to continuous variable measurement based quantum computation (MBQC) at different levels. We provide a recipe for mitigating the effects of finite squeezing, which affect the production of cluster states and the result of a traditional MBQC. These strategies are readily implementable by several experimental groups. Furthermore, a more general scheme for MBQC is introduced that does not necessarily rely on the use of ancillary cluster states to achieve its aim, but rather on the detection of a resource state in a suitable mode basis followed by digital post-processing. A recipe is provided to optimize the adjustable parameters that are employed within this framework.


title: Impact Analysis of Allocation of Resources by Project Manager on Success of Software Projects

abstract: Generation Production of successful software project is one of the prime considerations of software industry. Engineering high quality software products is further influenced by several factors such as budget, schedule, resource constraints etc. A project manager is responsible for estimation and allocation of these resources in a project. Hence, role of project manager has a vital influence on success of the project. This research comprises of an empirical study of several projects developed in a product and service based CMMI Level 5 Software Company. The investigation result shows a significant impact of aforementioned factors on the success of software and on the company. The analysis further indicates the vital role of project managers in optimizing the resource allocation towards development of software. This paper brings in impact analysis of efficiency of project manager in effectively allocating resources such as time, cost, number of developers etc. An awareness of efficiency level of project manager in optimal allocation of resources enables one to realize the desired level of quality.


title: An Optimum Scheduling Approach for Creating Optimal Priority of Jobs with Business Values in Cloud Computing

abstract: Realizing an optimal task scheduling by taking into account the business importance of jobs has become a matter of interest in pay and use model of Cloud computing. Introduction of an appropriate model for an efficient task scheduling technique could derive benefit to the service providers as well as clients. In this paper, we have addressed two major challenges which has implications on the performance of the Cloud system. One of the major issues is handling technical aspects of distributing the tasks for targeted gains and the second issue is related to the handling of the business priority for concurrently resolving business complexity related to cloud consumers. A coordinated scheduling can be achieved by considering the weightage of both aspects viz. technical requirements and business requirements appropriately. It can be done in such a way that it meets the QoS requirements of technical domain as well as business domain. Along with the technical priority a business Bp is required in creating a resultant priority which could be given to stages of further processing, like task allocation and arbitration schemes. Here we consider a technical priority Tp that is governed by a semi-adaptive scheduling algorithm whereas the resultant priority is derived in which a Business Priority Bp layer encapsulates the Technical Priority Tp to achieve the overall priority of the incoming tasks. It results in a Hybrid priority creation, which is a combination of both technical priority Tp and business priority Bp. By taking into account the business priority of the jobs it is possible to achieve a higher service level satisfaction for the tasks which are submitted with their native technical priority. With this approach the waiting time of the tasks tends to get reduced and it gives a better service level satisfaction.


title: Possibility of adiabatic transport of a Majorana edge state through an extended gapless region

abstract: In the context of slow quenching dynamics of a $p$-wave superconducting chain, it has been shown that a Majorana edge state can not be adiabatically transported from one topological phase to the other separated by a quantum critical line. On the other hand, the inclusion of a phase factor in the hopping term, that breaks the extended time reversal invariance, results in an extended gapless region between two topological phases. We show that for a finite chain with an open boundary condition there exists a non-zero probability that an edge Majorana can be adiabatically transported from one topological phase to the other across this gapless region following a slow quench of the superconducting term; this happens for an optimum transit time, that is proportional to the system size and diverges for a thermodynamically large chain. We attribute this phenomenon to the mixing of the Majorana only with low-lying inverted bulk states.


title: Does Yang-Mills theory describe quantum gravity?

abstract: The strongest version of the gauge/gravity duality conjecture relates the 1/N correction in super Yang-Mills theory and the quantum correction in superstring theory. We perform a quantitative test of this conjecture at finite temperature, by studying the D0-brane matrix quantum mechanics and the black zero-brane in type IIA superstring theory. We find good agreement, which strongly suggests that the super Yang-Mills theory does provide us with a nonperturbative formulation of quantum gravity through the gauge/gravity duality.


title: A Parametric Analysis of Project Management Performance to Enhance Software Development Process

abstract: Project Management process plays a significant role in effective development of software projects. Key challenges in the project management process are the estimation of time, cost, defect count, and subsequently selection of apt developers. Therefore precise estimation of above stated factors decides the success level of a project. This paper provides an empirical study of several projects developed in a service oriented software company in order to comprehend the project management process. The analysis throws light on the existence of variation in the aforementioned factors between estimation and observed results. It further captures the need for betterment of project management process in estimation and allocation of resources in the realization of high quality software product. The paper therefore aims to bring in an improved awareness in software engineering personnel concerning the magnitude and significance of better estimation and accurate allocation of resources for developing successful project.


title: Optimized Method for Iranian Road Signs Detection and recognition system

abstract: Road sign recognition is one of the core technologies in Intelligent Transport Systems. In the current study, a robust and real-time method is presented to identify and detect the roads speed signs in road image in different situations. In our proposed method, first, the connected components are created in the main image using the edge detection and mathematical morphology and the location of the road signs extracted by the geometric and color data; then the letters are segmented and recognized by Multiclass Support Vector Machine (SVMs) classifiers. Regarding that the geometric and color features ate properly used in detection the location of the road signs, so it is not sensitive to the distance and noise and has higher speed and efficiency. In the result part, the proposed approach is applied on Iranian road speed sign database and the detection and recognition accuracy rate achieved 98.66% and 100% respectively.


title: Borel equivalence relations in the space of bounded operators

abstract: We consider various notions of equivalence in the space of bounded operators on a Hilbert space, in particular modulo finite rank, modulo Schatten $p$-class, and modulo compact. Using Hjorth's theory of turbulence, the latter two are shown to be not classifiable by countable structures, while the first is not reducible to the orbit equivalence relation of any Polish group action. The results for modulo finite rank and modulo compact operators are also shown for the restrictions of these equivalence relations to the space of projection operators.


title: Broadband Sample Holder for Microwave Spectroscopy of Superconducting Qubits

abstract: We present a practical design and implementation of a broadband sample holder suitable for microwave experiments with superconducting integrated circuits at millikelvin temperatures. Proposed design can be easily integrated in standard dilution cryostats, has flat pass band response in a frequency range from 0 to 32 GHz, allowing the RF testing of the samples with substrate size up to 4x4 mm. The parasitic higher modes interference in the holder structure is analyzed and prevented via design considerations. The developed setup can be used for characterization of superconducting parametric amplifiers, bolometers and qubits. We tested the designed sample holder by characterizing of a superconducting flux qubit at 20 mK temperature.


title: A Comparative Analysis for Determining the Optimal Path using PSO and GA

abstract: Significant research has been carried out recently to find the optimal path in network routing. Among them, the evolutionary algorithm approach is an area where work is carried out extensively. We in this paper have used particle swarm optimization (PSO) and genetic algorithm (GA) for finding the optimal path and the concept of region based network is introduced along with the use of indirect encoding. We demonstrate the advantage of fitness value and hop count in both PSO and GA. A comparative study of PSO and genetic algorithm (GA) is carried out, and it was found that PSO converged to arrive at the optimal path much faster than GA.


title: What happens next and when "next" happens: Mechanisms of spatial and temporal prediction

abstract: The physics of the environment provide a rich spatiotemporal structure for our experience. Objects move in predictable ways and their features and identity remain stable across time and space. How does the brain leverage this structure to make predictions about and learn from the environment? This thesis describes research centered around a mechanistic description of sensory prediction called LeabraTI (TI: Temporal Integration) that explains precisely how predictive processing is accomplished in neocortical microcircuits. The fundamental prediction of LeabraTI is that predictions and sensations are interleaved across the same neural tissue at an overall rate of 10 Hz, corresponding to the widely studied alpha rhythm of posterior cortex. Experiments described herein tested this prediction by manipulating the spatiotemporal properties of three-dimensional object stimuli in a laboratory setting. EEG results indicated that predictions were subserved by ~10 Hz oscillations that reliably tracked the onset of stimuli and differentiated between spatially predictable and unpredictable object sequences. There was a behavioral advantage for combined spatial and temporal predictability for discrimination of unlearned objects, but prolonged study of objects under this combined predictability context impaired discriminability relative to other learning contexts. This counterintuitive pattern of results was accounted for by a neural network model that learned three-dimensional viewpoint invariance with LeabraTI's spatiotemporal prediction rule. Synaptic weight scaling from prolonged learning built viewpoint invariance, but led to confusion between ambiguous views of objects, producing slightly lower performance on average. Overall, this work advances a biological architecture for sensory prediction accompanied by empirical evidence that supports learning of realistic time- and space-varying inputs.


title: La m\'ethode des fa\c{c}ons

abstract: Nous donnons une m\'ethode naturelle, que nous appelons {\it "la m\'ethode des fa\c{c}ons"} pour stratifier la vari\'et\'e asymptotique associ\'ee \`a une application polynomiale dominante $F: \mathbb{C}^n \to \mathbb{C}^n$. La stratification obtenue est diff\'erentiable et satisfait la propri\'et\'e de fronti\`ere.


title: Unlocking the Axion-Dilaton in 5D Supergravity

abstract: We revisit supersymmetric solutions to five dimensional ungauged N=1 supergravity with dynamic hypermultiplets. In particular we focus on a truncation to the axion-dilaton contained in the universal hypermultiplet. The relevant solutions are fibrations over a four-dimensional Kahler base with a holomorphic axion-dilaton. We focus on solutions with additional symmetries and classify Killing vectors which preserve the additional structure imposed by supersymmetry; in particular we extend the existing classification of solutions with a space-like U(1) isometry to the case where the Killing vector is rotational. We elaborate on general geometrical aspects which we illustrate in some simple examples. We especially discuss solutions describing the backreaction of M2-branes, which for example play a role in the black hole deconstruction proposal for microstate geometries.


title: Closed form Solutions to Some Nonlinear equations by a Generalized Cole-Hopf Transformation

abstract: In the first part of this paper we linearize and solve the Van der Pol and Lienard equations with some additional nonlinear terms by the application of a generalized form of Cole-Hopf transformation. We then show that the same transformation can be used to linearize Painleve III equation for certain combinations of its parameters. Finally we linearize new forms of Burger's and related convective equations with higher order nonlinearities.


title: 1/f Noise from the Laws of Thermodynamics for Finite-Size Fluctuations

abstract: Computer simulations of the Ising model exhibit white noise if thermal fluctuations are governed by Boltzmann's factor alone; whereas we find that the same model exhibits 1/f noise if Boltzmann's factor is extended to include local alignment entropy to all orders. We show that this nonlinear correction maintains maximum entropy during equilibrium fluctuations. Indeed, as with the usual resolution of Gibbs' paradox that avoids net entropy reduction during reversible processes, the correction yields the statistics of indistinguishable particles. The correction also ensures conservation of energy if an instantaneous contribution from local entropy is included. Thus, a common mechanism for 1/f noise comes from assuming that finite-size fluctuations strictly obey the laws of thermodynamics, even in small parts of a large system. Empirical evidence for the model comes from its ability to match the measured temperature dependence of the spectral-density exponents in several metals, and to show non-Gaussian fluctuations characteristic of nanoscale systems.


title: Canonical coordinates for the planetary problem

abstract: In 1963, V. I. Arnold stated his celebrated Thorem on the Stability of Planetary Motions. The general proof of his wonderful statement (that he provided completely only for the particular case of three bodies constrained in a plane) turned out to be more difficult than expected and was next completed by J. Laskar, P. Robutel, M. Herman, J. F\'ejoz, L. Chierchia and the author. We refer the reader to the technical papers \cite{arnold63, laskarR95, rob95, maligeRL02, herman09, fej04, pinzari-th09, ChierchiaPi11b} for detailed information; to \cite{fejoz13, chierchia13, chierchiaPi14}, or the introduction of \cite{pinzari13} for reviews. The complete understanding of Arnold's Theorem relied on an analytic part and a geometric one, both highly non trivial. Of such two aspects, the analytic part was basically settled out since \cite{arnold63} (notwithstanding refinements next given in \cite{fejoz04, chierchiaPi10}). The geometrical aspects were instead mostly unexplored after his 1963's paper and have been only recently clarified \cite{pinzari-th09, chierchiaPi11b}. In fact, switching from the three--body case to the many--body one needed to develop new constructions, because of a dramatic degeneracy due to its invariance by rotations, which, if not suitably treated, prevents the application of Arnold's 1963's strategy. The purpose of this note is to provide a historical survey of this latter part. We shall describe previous classical approaches going back to Delaunay, Poincar\'e, Jacobi and point out more recent progresses, based on the papers \cite{pinzari-th09, chierchiaPi11a, chierchiaPi11b, chierchiaPi11c, pinzari13, pinzari14}. In the final part of the paper we discuss a set of coordinates recently found by the author which reduces completely its integrals, puts the unperturbed part in Keplerian form, preserves the symmetry by reflections and is regular for zero inclinations.


title: Functionalized Graphene in Quantizing Magnetic Field: The case of bunched impurities

abstract: Resonant scattering at the atomic absorbates in graphene was investigated recently in relation with the transport and gap opening problems. Attaching an impurity atom to graphene is believed to lead to the creation of unusual zero energy localized electron states. This paper aims to describe the behavior of the localized impurity-induced levels in graphene in a quantizing magnetic field. It is shown that in the magnetic field the impurity level effectively hybridizes with one of the n=0 Landau level states and splits into two opposite-energy states. The new hybridized state is doubly occupied, forming a spin-singlet and reducing the polarization of a Quantum Hall ferromagnet in undoped graphene. Taking into account the electron-electron interaction changes radically the spectrum of the electrons surrounding the impurity, which should be seen experimentally. While existing publications investigate graphene uniformly covered by adatoms, here we address a possibly even more experimentally relevant case of the clusterized impurity distribution. The limit of a dense bunch of the impurity atoms is considered, and it is shown, how such a bunch changes the spectrum and spin polarization of a large dense electron droplet surrounding it. The droplet is encircled by an edge state carrying a persistent current.


title: Bosonizations of $\widehat{\mathfrak{sl}}_2$ and Integrable Hierarchies

abstract: We construct embeddings of $\widehat{\mathfrak{sl}}_2$ in lattice vertex algebras by composing the Wakimoto realization with the Friedan-Martinec-Shenker bosonization. The Kac-Wakimoto hierarchy then gives rise to two new hierarchies of integrable, non-autonomous, non-linear partial differential equations. A new feature of our construction is that it works for any value of the central element of $\widehat{\mathfrak{sl}}_2$; that is, the level becomes a parameter in the equations.


title: Complexity of Grundy coloring and its variants

abstract: The Grundy number of a graph is the maximum number of colors used by the greedy coloring algorithm over all vertex orderings. In this paper, we study the computational complexity of GRUNDY COLORING, the problem of determining whether a given graph has Grundy number at least $k$. We also study the variants WEAK GRUNDY COLORING (where the coloring is not necessarily proper) and CONNECTED GRUNDY COLORING (where at each step of the greedy coloring algorithm, the subgraph induced by the colored vertices must be connected). We show that GRUNDY COLORING can be solved in time $O^*(2.443^n)$ and WEAK GRUNDY COLORING in time $O^*(2.716^n)$ on graphs of order $n$. While GRUNDY COLORING and WEAK GRUNDY COLORING are known to be solvable in time $O^*(2^{O(wk)})$ for graphs of treewidth $w$ (where $k$ is the number of colors), we prove that under the Exponential Time Hypothesis (ETH), they cannot be solved in time $O^*(2^{o(w\log w)})$. We also describe an $O^*(2^{2^{O(k)}})$ algorithm for WEAK GRUNDY COLORING, which is therefore $\fpt$ for the parameter $k$. Moreover, under the ETH, we prove that such a running time is essentially optimal (this lower bound also holds for GRUNDY COLORING). Although we do not know whether GRUNDY COLORING is in $\fpt$, we show that this is the case for graphs belonging to a number of standard graph classes including chordal graphs, claw-free graphs, and graphs excluding a fixed minor. We also describe a quasi-polynomial time algorithm for GRUNDY COLORING and WEAK GRUNDY COLORING on apex-minor graphs. In stark contrast with the two other problems, we show that CONNECTED GRUNDY COLORING is $\np$-complete already for $k=7$ colors.


title: On the role of total variation in compressed sensing - structure dependence

abstract: This paper considers the use of total variation regularization in the recovery of approximately gradient sparse signals from their noisy discrete Fourier samples in the context of compressed sensing. It has been observed over the last decade that a reconstruction which is robust to noise and stable to inexact sparsity can be achieved when we observe a highly incomplete subset of the Fourier samples for which the samples have been drawn in a random manner. Furthermore, in order to minimize the cardinality of the set of Fourier samples, the sampling set needs to be drawn in a non-uniform manner and the use of randomness is far more complex than the notion of uniform random sampling often considered in the theoretical results of compressed sensing. The purpose of this paper is to derive recovery guarantees in the case where the sampling set is drawn in a non-uniform random manner. We will show how the sampling set is dependent on the sparsity structure of the underlying signal.


title: On the smoothness of horizons in the most generic multi center black hole and membrane solutions

abstract: We study the differentiability of the metric and other fields at any of the horizons of the \emph{most generic} multi center Reissner-Nordstrom black hole solutions in $d \ge 5$ and of multi center $M2$ brane solutions. Most generic means that the centers are generically located in transverse space and consequently the solutions do not have any transverse spatial isometries. We construct the Gaussian null co-ordinate system for the neighborhood of a horizon by solving (all) the geodesic equations in expansions of (appropriate powers of) the affine parameter. Organizing the harmonic functions that appear in the solution in terms of generalized Gegenbauer polynomials, introduced in \cite{Gowdigere:2014aca}, is key to obtaining the solution to the geodesic equations in a compact and manageable form. We then compute the metric and other fields in the Gaussian null co-ordinate system and find that the differentiability of the horizon in the most generic solution is \emph{identical to} the differentiability of the horizon in the two center/collinear solution (centers distributed on a line in transverse space). We isolate those aspects of the computation that are most relevant to this result. We perform these computations in some cases, in several co-ordinate systems.


title: On the role of total variation in compressed sensing

abstract: This paper considers the problem of recovering a one or two dimensional discrete signal which is approximately sparse in its discrete gradient from an incomplete subset of its discrete Fourier coefficients which have been corrupted with noise. We prove that in order to obtain a reconstruction which is robust to noise and stable to inexact gradient sparsity of order $s$ with high probability, it suffices to draw $\mathcal{O}(s \log N)$ of the available Fourier coefficients uniformly at random. However, we also show that if one draws $\mathcal{O}(s \log N)$ samples in accordance to a particular distribution which concentrates on the low Fourier frequencies, then the stability bounds which can be guaranteed are optimal up to $\log$ factors. Finally, we prove that in the one dimensional case where the underlying signal is gradient sparse and its sparsity pattern satisfies a minimum separation condition, then to guarantee exact recovery with high probability, for some $M<N$, it suffices to draw $\mathcal{O}(s\log M\log s)$ samples uniformly at random from the Fourier coefficients whose frequencies are no greater than $M$.


title: Multigraph approach to quantum non-locality

abstract: Non-contextuality (NC) and Bell inequalities can be expressed as bounds $\Omega$ for positive linear combinations $S$ of probabilities of events, $S \leq \Omega$. Exclusive events in $S$ can be represented as adjacent vertices of a graph called the exclusivity graph of $S$. In the case that events correspond to the outcomes of quantum projective measurements, quantum probabilities are intimately related to the Gr\"otschel-Lov\'asz-Schrijver theta body of the exclusivity graph. Then, one can easily compute an upper bound to the maximum quantum violation of any NC or Bell inequality by optimizing $S$ over the theta body and calculating the Lov\'asz number of the corresponding exclusivity graph. In some cases, this upper bound is tight and gives the exact maximum quantum violation. However, in general, this is not the case. The reason is that the exclusivity graph does not distinguish among the different ways exclusivity can occur in Bell-inequality (and similar) scenarios. An interesting question is whether there is a graph-theoretical concept which accounts for this problem. Here we show that, for any given $N$-partite Bell inequality, an edge-coloured multigraph composed of $N$ single-colour graphs can be used to encode the relationships of exclusivity between each party's parts of the events. Then, the maximum quantum violation of the Bell inequality is exactly given by a refinement of the Lov\'asz number that applies to these edge-coloured multigraphs. We show how to calculate upper bounds for this number using a hierarchy of semi-definite programs and calculate upper bounds for $I_3$, $I_{3322}$ and the three bipartite Bell inequalities whose exclusivity graph is a pentagon. The multigraph-theoretical approach introduced here may remove some obstacles in the program of explaining quantum correlations from first principles.


title: Maximum likelihood estimation and Expectation-Maximization algorithm for controlled branching processes

abstract: The controlled branching process is a generalization of the classical Bienaym\'e-Galton-Watson branching process. It is a useful model for describing the evolution of populations in which the population size at each generation needs to be controlled. The maximum likelihood estimation of the parameters of interest for this process is addressed under various sample schemes. Firstly, assuming that the entire family tree can be observed, the corresponding estimators are obtained and their asymptotic properties investigated. Secondly, since in practice it is not usual to observe such a sample, the maximum likelihood estimation is initially considered using the sample given by the total number of individuals and progenitors of each generation, and then using the sample given by only the generation sizes. Expectation-maximization algorithms are developed to address these problems as incomplete data estimation problems. The accuracy of the procedures is illustrated by means of a simulated example.


title: Singlet-Catalyzed Electroweak Phase Transitions and Precision Higgs Studies

abstract: We update the phenomenology of gauge singlet extensions of the Standard Model scalar sector and their implications for the electroweak phase transition. Considering the introduction of one real scalar singlet to the scalar potential, we analyze present constraints on the potential parameters from Higgs coupling measurements at the Large Hadron Collider (LHC) and electroweak precision observables for the kinematic regime in which no new scalar decay modes arise. We then show how future precision measurements of Higgs boson signal strengths and Higgs self-coupling could probe the scalar potential parameter space associated with a strong first-order electroweak phase transition. We illustrate using benchmark precision for several future collider options, including the High Luminosity LHC (HL-LHC), the International Linear Collider (ILC), TLEP, China Electron Positron Collider (CEPC), and a 100 TeV proton-proton collider, such as the Very High Energy LHC (VHE-LHC) or the Super proton-proton Collider (SPPC). For the regions of parameter space leading to a strong first order electroweak phase transition, we find that there exists considerable potential for observable deviations from purely Standard Model Higgs properties at these prospective future colliders.


title: Efficiency of Monte Carlo Sampling in Chaotic Systems

abstract: In this paper we investigate how the complexity of chaotic phase spaces affect the efficiency of importance sampling Monte Carlo simulations. We focus on a flat-histogram simulation of the distribution of finite-time Lyapunov exponent in a simple chaotic system and obtain analytically that the computational effort of the simulation: (i) scales polynomially with the finite-time, a tremendous improvement over the exponential scaling obtained in usual uniform sampling simulations; and (ii) the polynomial scaling is sub-optimal, a phenomenon known as critical slowing down. We show that critical slowing down appears because of the limited possibilities to issue a local proposal on the Monte Carlo procedure in chaotic systems. These results remain valid in other methods and show how generic properties of chaotic systems limit the efficiency of Monte Carlo simulations.


title: SIMP J2154-1055: A New Low-Gravity L4$\beta$ Brown Dwarf Candidate Member of the Argus Association

abstract: We present SIMP J21543454-1055308, a new L4$\beta$ brown dwarf identified in the Sondage Infrarouge de Mouvement Propre (SIMP) survey that displays signs of low gravity in its near-infrared spectrum. Using the Bayesian Analysis for Nearby Young AssociatioNs II (BANYAN II), we show that it is a candidate member of the Argus association, albeit with a 21% probability that it is a contaminant from the field. Measurements of radial velocity and parallax will be needed to verify its membership. If it is a member of Argus (age 30-50 Myr), then this object would have a planetary mass of 10 $\pm$ 0.5 $M_{\mathrm{Jup}}$.


title: Topological Invariants in Point Group Symmetric Photonic Topological Insulators

abstract: We proposed a group-theory method to calculate topological invariant in bi-isotropic photonic crystals invariant under crystallographic point group symmetries. Spin Chern number has been evaluated by the eigenvalues of rotation operators at high symmetry k-points after the pseudo-spin polarized fields are retrieved. Topological characters of photonic edge states and photonic band gaps can be well predicted by total spin Chern number. Nontrivial phase transition is found in large magnetoelectric coupling due to the jump of total spin Chern number. Light transport is also issued at the {\epsilon}/{\mu} mismatching boundary between air and the bi-isotropic photonic crystal. This finding presents the relationship between group symmetry and photonic topological systems, which enables the design of photonic nontrivial states in a rational manner.


title: On the character of certain modular irreducible representations

abstract: Let G be an almost simple, simply connected algebraic group over an algebraically closed field of characteristic p>0. In this paper we restate our conjecture from 1979 on the characters of irreducible modular representations of G so that it is now directly applicable to any dominant highest weight.


title: On Tamed Milstein Schemes of SDEs Driven by L\'evy Noise

abstract: We extend the taming techniques developed in \cite{konstantinos2014,sabanis2013} to construct explicit Milstein schemes that numerically approximate L\'evy driven stochastic differential equations with super-linearly growing drift coefficients. The classical rate of convergence is recovered when the first derivative of the drift coefficient satisfies a polynomial Lipschitz condition.


title: Inverse-kinematics proton scattering on $^{50}$Ca: Determining effective charges using complementary probes

abstract: We have performed measurements of the $0_\mathrm{g.s.}^+ \rightarrow 2_1^+$ excitations in the neutron-rich isotopes $^{48,50}$Ca via inelastic proton scattering on a liquid hydrogen target, using the GRETINA $\gamma$-ray tracking array. A comparison of the present results with those from previous measurements of the lifetimes of the $2_1^+$ states provides us the ratio of the neutron and proton matrix elements for the $0_\mathrm{g.s.}^+ \rightarrow 2_1^+$ transitions. These results allow the determination of the ratio of the proton and neutron effective charges to be used in shell model calculations of neutron-rich isotopes in the vicinity of $^{48}$Ca.


title: Global classical solution to the Cauchy problem of 2D baratropic compressible Navier-Stokes system with large initial data

abstract: For periodic initial data with initial density, we establish the global existence and uniqueness of strong and classical solutions for the two-dimensional compressible Navier-Stokes equations with no restrictions on the size of initial data provided the shear viscosity is a positive constant and the bulk one is $\lam=\rho^{\b}$ with $\b>1.$


title: Weak gravitational lensing as a probe of physical properties of substructures in dark matter halos

abstract: We propose a novel method to select satellite galaxies in outer regions of galaxy groups or clusters using weak gravitational lensing. The method is based on the theoretical expectation that the tangential shear pattern around satellite galaxies would appear with negative values at an offset distance from the center of the main halo. We can thus locate the satellite galaxies statistically with an offset distance of several lensing smoothing scales by using the standard reconstruction of surface mass density maps from weak lensing observation. We test the idea using high-resolution cosmological simulations. We show that subhalos separated from the center of the host halo are successfully located even without assuming the position of the center. For a number of such subhalos, the characteristic mass and offset length can be also estimated on a statistical basis. We perform a Fisher analysis to show how well upcoming weak lensing surveys can constrain the mass density profile of satellite galaxies. In the case of the Large Synoptic Survey Telescope with a sky coverage of 20,000 square degrees, the mass of the member galaxies in the outer region of galaxy clusters can be constrained with an accuracy of ~0.1 dex for galaxy clusters with mass 10^14 Msun/h at z=0.15. Finally we explore the detectability of tidal stripping features for subhalos having a wide range of masses of 10^11-10^13 Msun/h.


title: Minimality and fiber sum decompositions of Lefschetz fibrations

abstract: We give a short proof of a conjecture of Stipsicz on the minimality of fiber sums of Lefschetz fibrations, which was proved earlier by Usher. We then construct the first examples of genus g > 1 Lefschetz fibrations on minimal symplectic 4-manifolds which, up to diffeomorphisms of the summands, admit unique decompositions as fiber sums.


title: Inductive measurement of optically hyperpolarized phosphorous donor nuclei in an isotopically-enriched silicon-28 crystal

abstract: We experimentally demonstrate the inductive readout of optically hyperpolarized phosphorus-31 donor nuclear spins in an isotopically enriched silicon-28 crystal. The concentration of phosphorus donors in the crystal was 1.5 x 10$^{15}$ cm$^{-3}$, three orders of magnitude lower than has previously been detected via direct inductive detection. The signal-to-noise ratio measured in a single free induction decay from a 1 cm$^3$ sample ($\approx 10^{15}$ spins) was 113. By transferring the sample to an X-band ESR spectrometer, we were able to obtain a lower bound for the nuclear spin polarization at 1.7 K of 64 %. The $^{31}$P-T$_{2}$ measured with a Hahn echo sequence was 420 ms at 1.7 K, which was extended to 1.2 s with a Carr Purcell cycle. The T$_1$ of the $^{31}$P nuclear spins at 1.7 K is extremely long and could not be determined, as no decay was observed even on a timescale of 4.5 hours. Optical excitation was performed with a 1047 nm laser, which provided above bandgap excitation of the silicon. The build-up of the hyperpolarization at 4.2 K followed a single exponential with a characteristic time of 577 s, while the build-up at 1.7 K showed bi-exponential behavior with characteristic time constants of 578 s and 5670 s.


title: A Modern View of Perturbative QCD and Application to Heavy Quarkonium Systems

abstract: Perturbative QCD has made significant progress over the last few decades. In the first part, we present an introductory overview of perturbative QCD as seen from a modern viewpoint. We explain the relation between purely perturbative predictions and predictions based on Wilsonian effective field theories. We also review progress of modern computational technologies and discuss intersection with frontiers of mathematics. Analyses of singularities in Feynman diagrams play key roles towards developing a unified view. In the second part, we discuss application of perturbative QCD, based on the formulation given in the first part, to heavy quarkonium systems and the interquark force between static color charges. We elucidate impacts on order Lambda_QCD physics in the quark mass and interquark force, which used to be considered inaccessible by perturbative QCD.


title: Phase diagram of the Kondo lattice model on the Kagome lattice

abstract: We consider the potential for novel forms of magnetism arising from the subtle interplay between electrons and spins in the under-screened kagome Kondo lattice model. At weak coupling, we show that incommensurate non-coplanar multi-wave vector magnetic orders arise at nearly all fillings and that this results from Fermi surface effects that introduces competing interactions between the spins. At strong coupling, we find that such complex order survives near half filling despite the presence of ferromagnetism at all other fillings. We show this arises due to state selection among a massive degeneracy of states at infinite coupling. Finally, we show that at intermediate filling, only commensurate orders seem to survive. But these orders still include non-coplanar magnetism. So, the mere presence of both local moments and itinerant electrons enables complex orders to form unlike any currently observed in kagome materials.


title: Secure Wireless Information and Power Transfer in Large-Scale MIMO Relaying Systems with Imperfect CSI

abstract: In this paper, we address the problem of secure wireless information and power transfer in a large-scale multiple-input multiple-output (LS-MIMO) amplify-and-forward (AF) relaying system. The advantage of LS-MIMO relay is exploited to enhance wireless security, transmission rate and energy efficiency. In particular, the challenging issues incurred by short interception distance and long transfer distance are well addressed simultaneously. Under very practical assumptions, i.e., no eavesdropper's channel state information (CSI) and imperfect legitimate channel CSI, this paper investigates the impact of imperfect CSI, and obtains an explicit expression of the secrecy outage capacity in terms of transmit power and channel condition. Then, we propose an optimal power splitting scheme at the relay to maximize the secrecy outage capacity. Finally, our theoretical claims are validated by simulation results.


title: Dark Matter Searches in Jet plus Missing Energy in $\rm \gamma p$ collision at CERN LHC

abstract: In this paper, we investigate the $\rm \gamma p$ photoproduction of jet plus missing energy signal to set limits on the couplings of the fermionic dark matter to the quarks at the LHC via the main reaction $\rm pp\rightarrow p\gamma p\rightarrow p \chi\chi j$. We assume a typical LHC multipurpose forward detectors and work in a model independent Effective Field Theory framework. Typically, when we do the background analysis, we also include their corresponding Single Diffractive (SD) productions. Our result shows that by requiring a $5\sigma$ ($\rm S/\sqrt{B} \geq 5$) signal deviation, with an integrated luminosity of $\rm {\cal L} = 200 fb^{-1}$, the lower bounds of WIMP masses scale can be detected up to $\rm \Lambda$ equal 665.5, 808.9 and 564.0 GeV for the forward detector acceptances $\xi_1$, $\xi_2$, and $\xi_3$, respectively, where $0.0015<\xi_1<0.5$, $0.1<\xi_2<0.5$ and $0.0015<\xi_3<0.15$.


title: Bijective combinatorial proof of the commutation of transfer matrices in the dense O(1) loop model

abstract: The dense O(1) loop model is a statistical physics model with connections to the quantum XXZ spin chain, alternating sign matrices, the six-vertex model and critical bond percolation on the square lattice. When cylindrical boundary conditions are imposed, the model possesses a commuting family of transfer matrices. The original proof of the commutation property is algebraic and is based on the Yang-Baxter equation. In this paper we give a new proof of this fact using a direct combinatorial bijection.


title: Practical Kernel-Based Reinforcement Learning

abstract: Kernel-based reinforcement learning (KBRL) stands out among reinforcement learning algorithms for its strong theoretical guarantees. By casting the learning problem as a local kernel approximation, KBRL provides a way of computing a decision policy which is statistically consistent and converges to a unique solution. Unfortunately, the model constructed by KBRL grows with the number of sample transitions, resulting in a computational cost that precludes its application to large-scale or on-line domains. In this paper we introduce an algorithm that turns KBRL into a practical reinforcement learning tool. Kernel-based stochastic factorization (KBSF) builds on a simple idea: when a transition matrix is represented as the product of two stochastic matrices, one can swap the factors of the multiplication to obtain another transition matrix, potentially much smaller, which retains some fundamental properties of its precursor. KBSF exploits such an insight to compress the information contained in KBRL's model into an approximator of fixed size. This makes it possible to build an approximation that takes into account both the difficulty of the problem and the associated computational cost. KBSF's computational complexity is linear in the number of sample transitions, which is the best one can do without discarding data. Moreover, the algorithm's simple mechanics allow for a fully incremental implementation that makes the amount of memory used independent of the number of sample transitions. The result is a kernel-based reinforcement learning algorithm that can be applied to large-scale problems in both off-line and on-line regimes. We derive upper bounds for the distance between the value functions computed by KBRL and KBSF using the same data. We also illustrate the potential of our algorithm in an extensive empirical study in which KBSF is applied to difficult tasks based on real-world data.


title: Non-Markovian dynamics of open quantum systems without rotating wave approximation

abstract: We study the non-Markovian dynamics of a damped oscillator coupled with a reservoir. We present exact formulas for the oscillator's evolution directly from the BCH formula by series expansion with neither Markovian nor rotating wave approximation (RWA). Based on these, we show the existence of the non-Markovian feature of the system's evolution for the damped oscillator. By numerical simulation we find that the non-Markovian feature exists within a wide range of the coupling strength, even when the coupling strength is very small. To this problem, prior art results have assumed RWA and the existence of non-Markovian feature was found when the system-reservoir coupling is strong enough. However, as we show, given such a strong coupling, the original Hamiltonian without RWA is actually not physical. Therefore, our exact study here has thoroughly concluded the issue of non-Markovian feature.


title: Inclusion of intersite spatial correlations in the alloy analogy approach to the half-filled ionic Hubbard model

abstract: Using the nonlocal coherent-potential approximation we study the effect of intersite spatial correlations on the transition from band insulator to metal as well as from metal to Mott insulator in the "alloy analogy" approach to the paramagnetic solution of the half-filled ionic Hubbard model. We find that intersite spatial correlations enhance the metallic phase.


title: Stablizing oscillating universes against quantum decay

abstract: We investigate the effect of vacuum corrections, due to the trace anomaly and Casimir effect, on the stability of an oscillating universe with respect to decay by tunneling to the singularity. We find that these corrections do not generally stabilize an oscillating universe. However, stability may be achieved for some specially fine-tuned non-vacuum states.


title: The Rarity of Star Formation in Brightest Cluster Galaxies as Measured by WISE

abstract: We present the mid-infrared (IR) star formation rates of 245 X-ray selected, nearby (z<0.1) brightest cluster galaxies (BCGs). A homogeneous and volume limited sample of BCGs was created by X-ray selecting clusters with L_x > 1x10^44 erg/s. The Wide-Field Infrared Survey Explorer (WISE) AllWISE Data Release provides the first measurement of the 12 micron star formation indicator for all BCGs in the nearby Universe. Perseus A and Cygnus A are the only galaxies in our sample to have star formation rates of > 40 M_sol/yr, indicating that these two galaxies are highly unusual at current times. Stellar populations of 99 +/- 0.6 % of local BCGs are (approximately) passively evolving, with star formation rates of <10 M_sol/yr. We find that in general, star formation produces only modest BCG growth at the current epoch.


title: Where geography lives? A projection approach for spatial confounding

abstract: Spatial confounding between the spatial random effects and fixed effects covariates has been recently discovered and showed that it may bring misleading interpretation to the model results. Solutions to alleviate this problem are based on decomposing the spatial random effect and fitting a restricted spatial regression. In this paper, we propose a different approach: a transformation of the geographic space to ensure that the unobserved spatial random effect added to the regression is orthogonal to the fixed effects covariates. Our approach, named SPOCK, has the additional benefit of providing a fast and simple computational method to estimate the parameters. Furthermore, it does not constrain the distribution class assumed for the spatial error term. A simulation study and a real data analysis are presented to better understand the advantages of the new method in comparison with the existing ones.


title: Quasi-Cyclic LDPC Codes based on Pre-Lifted Protographs

abstract: Quasi-cyclic low-density parity-check (QC-LDPC) codes based on protographs are of great interest to code designers because analysis and implementation are facilitated by the protograph structure and the use of circulant permutation matrices for protograph lifting. However, these restrictions impose undesirable fixed upper limits on important code parameters, such as minimum distance and girth. In this paper, we consider an approach to constructing QC-LDPC codes that uses a two-step lifting procedure based on a protograph, and, by following this method instead of the usual one-step procedure, we obtain improved minimum distance and girth properties. We also present two new design rules for constructing good QC-LDPC codes using this two-step lifting procedure, and in each case we obtain a significant increase in minimum distance and achieve a certain guaranteed girth compared to one-step circulant-based liftings. The expected performance improvement is verified by simulation results.


title: Probing the Electron States and Metal-Insulator Transition Mechanisms in Atomically Thin MoS2 Based on Vertical Heterostructures

abstract: The metal-insulator transition (MIT) is one of the remarkable electrical transport properties of atomically thin molybdenum disulphide (MoS2). Although the theory of electron-electron interactions has been used in modeling the MIT phenomena in MoS2, the underlying mechanism and detailed MIT process still remain largely unexplored. Here, we demonstrate that the vertical metal-insulator-semiconductor (MIS) heterostructures built from atomically thin MoS2 (monolayers and multilayers) are ideal capacitor structures for probing the electron states in MoS2. The vertical configuration of MIS heterostructures offers the added advantage of eliminating the influence of large impedance at the band tails and allows the observation of fully excited electron states near the surface of MoS2 over a wide excitation frequency (100 Hz-1 MHz) and temperature range (2 K- 300 K). By combining capacitance and transport measurements, we have observed a percolation-type MIT, driven by density inhomogeneities of electron states, in the vertical heterostructures built from monolayer and multilayer MoS2. In addition, the valence band of thin MoS2 layers and their intrinsic properties such as thickness-dependence screening abilities and band gap widths can be easily accessed and precisely determined through the vertical heterostructures.


title: Spatially Coupled LDPC Codes Constructed from Protographs

abstract: In this paper, we construct protograph-based spatially coupled low-density parity-check (SC-LDPC) codes by coupling together a series of L disjoint, or uncoupled, LDPC code Tanner graphs into a single coupled chain. By varying L, we obtain a flexible family of code ensembles with varying rates and frame lengths that can share the same encoding and decoding architecture for arbitrary L. We demonstrate that the resulting codes combine the best features of optimized irregular and regular codes in one design: capacity approaching iterative belief propagation (BP) decoding thresholds and linear growth of minimum distance with block length. In particular, we show that, for sufficiently large L, the BP thresholds on both the binary erasure channel (BEC) and the binary-input additive white Gaussian noise channel (AWGNC) saturate to a particular value significantly better than the BP decoding threshold and numerically indistinguishable from the optimal maximum a-posteriori (MAP) decoding threshold of the uncoupled LDPC code. When all variable nodes in the coupled chain have degree greater than two, asymptotically the error probability converges at least doubly exponentially with decoding iterations and we obtain sequences of asymptotically good LDPC codes with fast convergence rates and BP thresholds close to the Shannon limit. Further, the gap to capacity decreases as the density of the graph increases, opening up a new way to construct capacity achieving codes on memoryless binary-input symmetric-output (MBS) channels with low-complexity BP decoding.


title: Certifying the Existence of Epipolar Matrices

abstract: Given a set of point correspondences in two images, the existence of a fundamental matrix is a necessary condition for the points to be the images of a 3-dimensional scene imaged with two pinhole cameras. If the camera calibration is known then one requires the existence of an essential matrix. We present an efficient algorithm, using exact linear algebra, for testing the existence of a fundamental matrix. The input is any number of point correspondences. For essential matrices, we characterize the solvability of the Demazure polynomials. In both scenarios, we determine which linear subspaces intersect a fixed set defined by non-linear polynomials. The conditions we derive are polynomials stated purely in terms of image coordinates. They represent a new class of two-view invariants, free of fundamental (resp.~essential)~matrices.


title: Taylor's Law and the Spatial Distribution of Urban Facilities

abstract: Taylor's law is the footprint of ecosystems, which admits a power function relationship $S^{2}=am^{b}$ between the variance $S^{2}$ and mean number $m$ of organisms in an area. We examine the distribution of spatial coordinate data of seven urban facilities (beauty salons, banks, stadiums, schools, pharmacy, convenient stores and restaurants) in 37 major cities in China, and find that Taylor's law is validated among all 7 considered facilities, in the fashion that either all cities are combined together or each city is considered separately. Moreover, we find that the exponent $b$ falls between 1 and 2, which reveals that the distribution of urban facilities resembles that of the organisms in ecosystems. Furthermore, through decomposing the inverse of exponent $b$, we examine two different factors affecting\emph{ }the numbers of facilities in an area of a city respectively, which are the city-specific factor and the facility-specific factor. The city-specific factor reflects the overall density of all the facilities in a city, while the facility-specific factor indicates the overall aggregation level of each type of facility in all the cities. For example, Beijing ranks the first in the overall density, while restaurant tops the overall aggregation level.


title: Novel magnetic orderings in the kagome Kondo-lattice model

abstract: We consider the Kondo-lattice model on the kagome lattice and study its weak-coupling instabilities at band filling fractions for which the Fermi surface has singularities. These singularites include Dirac points, quadratic Fermi points in contact with a flat band, and Van Hove saddle points. By combining a controlled analytical approach with large-scale numerical simulations, we demonstrate that the weak-coupling instabilities of the Kondo-lattice model lead to exotic magnetic orderings. In particular, some of these magnetic orderings produce a spontaneous quantum anomalous Hall state.


title: Simple Formula for Marcus-Hush-Chidsey Kinetics

abstract: The Marcus-Hush-Chidsey (MHC) model is well known in electro-analytical chemistry as a successful microscopic theory of outer-sphere electron transfer at metal electrodes, but it is unfamiliar and rarely used in electrochemical engineering. One reason may be the difficulty of evaluating the MHC reaction rate, which is defined as an improper integral of the Marcus rate over the Fermi distribution of electron energies. Here, we report a simple analytical approximation of the MHC integral that interpolates between exact asymptotic limits for large overpotentials, as well as for large or small reorganization energies, and exhibits less than 5\% relative error for all reasonable parameter values. This result enables the MHC model to be considered as a practical alternative to the ubiquitous Butler-Volmer equation for improved understanding and engineering of electrochemical systems.


title: Analysis on an extended Majda--Biello system

abstract: In this paper, we begin with extended Majda--Biello system (BSAB equations): $$ \left\{\begin{array}{l} 0=A_t-DA_3+\mu A_1+\Gamma_S B^S_1+\Gamma_A B_1^A+\left(AB^S\right)_x \\ 0=B^S_t-B_3^S+\Gamma_SA_1+\lambda B_1^S+\sigma B^A_1+AA_1 \\ 0=B^A_t-B_3^A+\Gamma_A A_1+\sigma B_1^S-\lambda B_1^A \end{array}\right. $$ We conclude global well-posedness in $L^2(\mathbb{R})\times L^2(\mathbb{R})\times L^2(\mathbb{R})$ by Brougain's method and the stability of solitary wave solutions by putting it in a framework of generalised KdV type system with three components, where Hamiltonian structure plays an important role. Both of them are bases for numerical tests.\par Last but not least, we explore the effect of interaction of two solitary waves in Majda--Biello system in a novel way : \par \textit{While fixing initial data for one soliton $U$, we point out the effect on $U$ decays, to some extent and in certain range, in a polynomial way.} \par Since effect of interaction of two solitary waves are practically interesting, such kind of analysis, as we have explained, is likely be fundamental for generalised KdV type systems.


title: Self-assembled Zeeman slower based on spherical permanent magnets

abstract: We present a novel type of longitudinal Zeeman slower. The magnetic field profile is generated by a 3D array of permanent spherical magnets, which are self-assembled into a stable structure. The simplicity and stability of the design make it quick to assemble and inexpensive. In addition, as with other permanent magnet slowers, no electrical current or water cooling is required. We describe the theory, assembly, and testing of this new design.


title: On the Complexity of Dynamic Mechanism Design

abstract: We introduce a dynamic mechanism design problem in which the designer wants to offer for sale an item to an agent, and another item to the same agent at some point in the future. The agent's joint distribution of valuations for the two items is known, and the agent knows the valuation for the current item (but not for the one in the future). The designer seeks to maximize expected revenue, and the auction must be deterministic, truthful, and ex post individually rational. The optimum mechanism involves a protocol whereby the seller elicits the buyer's current valuation, and based on the bid makes two take-it-or-leave-it offers, one for now and one for the future. We show that finding the optimum deterministic mechanism in this situation - arguably the simplest meaningful dynamic mechanism design problem imaginable - is NP-hard. We also prove several positive results, among them a polynomial linear programming-based algorithm for the optimum randomized auction (even for many bidders and periods), and we show strong separations in revenue between non-adaptive, adaptive, and randomized auctions, even when the valuations in the two periods are uncorrelated. Finally, for the same problem in an environment in which contracts cannot be enforced, and thus perfection of equilibrium is necessary, we show that the optimum randomized mechanism requires multiple rounds of cheap talk-like interactions.


title: Acyclic Edge Coloring through the Lov\'asz Local Lemma

abstract: We give a probabilistic analysis of a Moser-type algorithm for the Lov\'{a}sz Local Lemma (LLL), adjusted to search for acyclic edge colorings of a graph. We thus improve the best known upper bound to acyclic chromatic index, also obtained by analyzing a similar algorithm, but through the entropic method (basically counting argument). Specifically we show that a graph with maximum degree $\Delta$ has an acyclic proper edge coloring with at most $\lceil 3.74(\Delta-1)\rceil+1 $ colors, whereas, previously, the best bound was $4(\Delta-1)$. The main contribution of this work is that it comprises a probabilistic analysis of a Moser-type algorithm applied to events pertaining to dependent variables.


title: High Resolution Echelle Spectroscopy of Two High Proper Motion Stars: HD 102870 and BD+20 3603

abstract: A chemical abundance analysis is made of two F type high proper motion stars selected from the {\sc ELODIE} library. We use high resolution (R=42\,000) and high signal to noise ratio (S/N=103, 36 $-$per$-$pixel) \'echelle spectra from the {\sc ELODIE} library of HD\,102870 and BD\,+20\,3603, as two representative F type high proper motion stars, to determine fundamental parameters and photospheric abundances of 16 chemical elements including slow (s)$-$ and rapid (r)$-$process elements from Y to Ba. The chemical composition and kinematic parameters of the stars imply that they belong to different Galactic populations: we report HD\,102870, an IAU standard radial velocity star, to be a thin disk star and BD\,+20\,3603, a metal-poor HPM star, to be a halo star.


title: On the round-trip time for a photon propagating in the field of a plane gravitational wave

abstract: A network of large-scale laser interferometers is currently employed for searches of gravitational waves from various astrophysical sources. The frequency dependence of the dynamic response of these detectors introduces corrections to their antenna patterns which in principle can affect the outcome of the associated data-analysis algorithms. The magnitude of these corrections and the corresponding systematic errors have recently been estimated for searches of periodic and stochastic gravitational waves (CQG 25 (2008) 184017). However, the calculation of the detector response in that paper followed the traditional semi-rigorous approach which does not properly take into account the curved nature of spacetime. The question then arises as to whether the results will be the same if the calculation is done within the rigorous framework of general relativity. In this paper we provide such a derivation of the response of the detectors to gravitational waves. We obtain the photon propagation time from the solution of the equation for null geodesics and calculate the corresponding phase delay by solving the eikonal equation for curved spacetime. The calculations are then extended to include phase amplification from multi-beam interference in Fabry-Perot resonators which play an important role in the formation of the signal in these detectors.


title: Moduli space metric for maximally-charged dilaton black holes

abstract: The system consisting of slowly-moving, maximally charged, nonrotating dilaton black holes is investigated. We obtain the metric on the moduli space of the system in the low-velocity limit. We find that: (1) only two-body interactions exist between the extreme black holes in string theory; (2) the mutual interaction between the black holes vanishes if the dilaton can be interpreted as a Kaluza-Klein scalar; and (3) for general dilaton couplings, there exist many-body interactions among the extreme black holes. We analyze the low-energy classical scattering of the two extreme black holes in string theory by utilizing the moduli space metric.


title: Looking before leaping: Creating a software registry

abstract: What lessons can be learned from examining numerous efforts to create a repository or directory of scientist-written software for a discipline? Astronomy has seen a number of efforts to build such a resource, one of which is the Astrophysics Source Code Library (ASCL). The ASCL (ascl.net) was founded in 1999, had a period of dormancy, and was restarted in 2010. When taking over responsibility for the ASCL in 2010, the new editor sought to answer the opening question, hoping this would better inform the work to be done. We also provide specific steps the ASCL is taking to try to improve code sharing and discovery in astronomy and share recent improvements to the resource.


title: The Hamburg/ESO R-process Enhanced Star survey (HERES) X. HE 2252-4225, one more r-process enhanced and actinide-boost halo star

abstract: We report on a detailed abundance analysis of the r-process enhanced giant star, HE 2252-4225 ([Fe/H] = -2.63, [r/Fe] = 0.80). Determination of stellar parameters and element abundances was based on analysis of high-quality VLT/UVES spectra. The surface gravity was calculated from the NLTE ionisation balance between Fe I and Fe II. Accurate abundances were determined for a total of 38 elements, including 22 neutron-capture elements beyond Sr and up to Th. This object is deficient in carbon, as expected for a giant star with Teff < 4800 K. The stellar Na-Zn abundances are well fitted by the yields of a single supernova of 14.4 Msun. For the neutron-capture elements in the Sr-Ru, Ba-Yb, and Os-Ir regions, the abundance pattern of HE 2252-4225 is in excellent agreement with the average abundance pattern of the strongly r-process enhanced stars CS 22892-052, CS 31082-001, HE 1219-0312, and HE 1523-091. This suggests a common origin of the first, second, and third r-process peak elements in HE 2252-4225 in the classical r-process. We tested the solar r-process pattern based on the most recent s-process calculations of Bisterzo et al. (2014) and found that elements in the range from Ba to Ir match it very well. No firm conclusion can be drawn about the relationship between the fisrt neutron-capture peak elements, Sr to Ru, in HE 2252-4225 and the solar r-process, due to the uncertainty in the solar r-process. The investigated star has an anomalously high Th/Eu abundance ratio, so that radioactive age dating results in a stellar age of tau = 1.5+-1.5 Gyr that is not expected for a very metal-poor halo star.


title: Representing and Reasoning about Game Strategies

abstract: As a contribution to the challenge of building game-playing AI systems, we develop and analyse a formal language for representing and reasoning about strategies. Our logical language builds on the existing general Game Description Language (GDL) and extends it by a standard modality for linear time along with two dual connectives to express preferences when combining strategies. The semantics of the language is provided by a standard state-transition model. As such, problems that require reasoning about games can be solved by the standard methods for reasoning about actions and change. We also endow the language with a specific semantics by which strategy formulas are understood as move recommendations for a player. To illustrate how our formalism supports automated reasoning about strategies, we demonstrate two example methods of implementation\/: first, we formalise the semantic interpretation of our language in conjunction with game rules and strategy rules in the Situation Calculus; second, we show how the reasoning problem can be solved with Answer Set Programming.


title: Uniqueness of Kerr-Newman solution

abstract: We show that non-degenerate multiple black hole solution of Einstein- Maxwell equations in an asymptotically flat axisymmetric spacetime cannot be in stationary equilibrium. This extends the uniqueness of Kerr-Newman solution first proved by Bunting and Mazur in a much wider desirable class. Spin-spin interaction cannot hold the black hole aparts even with electromagnetic forces.


title: Seifert fibered surgeries on strongly invertible knots without primitive/Seifert positions

abstract: We find an infinite family of Seifert fibered surgeries on strongly invertible knots which do not have primitive/Seifert positions. Each member of the family is obtained from a trefoil knot after alternate twists along a pair of seiferters for a Seifert fibered surgery on a trefoil knot.


title: Redundancy of Exchangeable Estimators

abstract: Exchangeable random partition processes are the basis for Bayesian approaches to statistical inference in large alphabet settings. On the other hand, the notion of the pattern of a sequence provides an information-theoretic framework for data compression in large alphabet scenarios. Because data compression and parameter estimation are intimately related, we study the redundancy of Bayes estimators coming from Poisson-Dirichlet priors (or "Chinese restaurant processes") and the Pitman-Yor prior. This provides an understanding of these estimators in the setting of unknown discrete alphabets from the perspective of universal compression. In particular, we identify relations between alphabet sizes and sample sizes where the redundancy is small, thereby characterizing useful regimes for these estimators.


title: Signal of Right-Handed Charged Gauge Bosons at the LHC?

abstract: We point out that the recent excess observed in searches for a right-handed gauge boson W_R at CMS can be explained in a left-right symmetric model with D parity violation. In a class of SO(10) models, in which D parity is broken at a high scale, the left-right gauge symmetry breaking scale is naturally small, and at a few TeV the gauge coupling constants satisfy g_R ~ 0.6 g_L. Such models therefore predict a right-handed charged gauge boson W_R in the TeV range with a suppressed gauge coupling as compared to the usually assumed manifest left-right symmetry case g_R = g_L. The recent CMS data show excess events which are consistent with the cross section predicted in the D parity breaking model for 1.9 TeV < M_{W_R} < 2.4 TeV. If the excess is confirmed, it would in general be a direct signal of new physics beyond the Standard Model at the LHC. A TeV scale W_R would for example not only rule out SU(5) grand unified theory models. It would also imply B-L violation at the TeV scale, which would be the first evidence for baryon or lepton number violation in nature and it has strong implications on the generation of neutrino masses and the baryon asymmetry in the Universe.


title: Nontransitive Ranking to Enhance Routing Decision in MANETS

abstract: An ad hoc network is an infrastructureless network in which nodes perform terminal as well as routing functions. A routing protocol is the only substitute to complete the communications in the absence of an access point. In spite of that mobile nodes or so called routers uses some mechanism for calculating the best route when it has multiple routes for the same destination. On the basis of one or more metrics routes are ranked from best to worst. But, in an ad hoc network many factors can affect this decision, such as the delay, load, route lifetime etc. Thus measuring and finding routes on the basis of crisp mathematical model for all these attributes is complicated. That why, the fuzzy approach for best route determination is required for MANET because some of the metrics are fuzzy or vague and the classical ranking of routes and transitivity in the ranking does not hold. The proposed Nontransitive Route Ranking subjective comparison of one route with others and performs nontransitive ranking to rank routes from best to worst. The pairwise comparisons of each route with others give more accurate and fair comparison. The proposed ranking is easier than classical ranking in which metrics have assigned some value and these values are combined to obtain the ranking. Experimental result shows the efficiency of the proposed model. Keywords: Fuzzy, Rank, Nontransitive, Route, Ranking, Relativity


title: Bulk superconductivity in single phase Bi3O2S3

abstract: We report the synthesis of single phase Bi3O2S3 sample and confirm the occurrence of bulk superconductivity with transition temperature at 5.8 K. The Bi3O2S3 super-conductor is categorized as the typical type-II supercon-ductor based on the results of both temperature and mag-netic field dependences of magnetization. Hall coefficient measurements give evidence of a multiband character, with a dominant conduction mainly by electron-like charge carriers. The charge carrier density is about 1.45 X 1019 cm3, suggesting that the system has very low charge carrier density.


title: On realizations of the Witt algebra in $\mathbb{R}^3$

abstract: We obtain exhaustive classification of inequivalent realizations of the Witt and Virasoro algebras by Lie vector fields of differential operators in the space $\mathbb{R}^3$. Using this classification we describe all inequivalent realizations of the direct sum of the Witt algebras in $\mathbb{R}^3$. These results enable constructing all possible (1+1)-dimensional classically integrable equations that admit infinite dimensional symmetry algebra isomorphic to the Witt or the direct sum of Witt algebras. In this way the new classically integrable nonlinear PDE in one spatial dimension has been obtained. In addition, we construct a number of new nonlinear (1+1)-dimensional PDEs admitting infinite symmetries.


title: Are bottom PDFs needed at the LHC?

abstract: Processes involving bottom quarks play a crucial role in the LHC phenomenology, from flavour physics to Higgs characterisation and as a window to new physics, appearing both as signals and irreducible background in BSM searches. These processes can be described in QCD either in a 4-flavor or 5-flavor scheme. In the former, $b$ quarks appear only in the final state and are considered massive. In 5-flavor schemes, calculations include $b$ quarks in the initial state. Possibly large logarithms originating from the collinear splitting of gluons into bottom pairs are resummed into the $b$ parton distribution function (PDF). In this contribution, I describe a simple method to assess the size of the logarithms in processes initiated by bottom quarks and show how a substantial and justified agreement between calculations in the two schemes can be achieved. As a consequence both calculations can be used in different context. To conclude, an overview of the current studies aiming to generalise the current appraisal is given and some preliminary results are discussed.


title: Minimum Error Discrimination for an Ensemble of Linearly Independent Pure States

abstract: Inspired by the work done by Belavkin [Belavkin V. P., Stochastics, 1, 315 (1975)], and independently by Mochon, [Phys. Rev. A 73, 032328, (2006)], we formulate the problem of minimum error discrimination of any ensemble of $n$ linearly independent pure states by stripping the problem of its rotational covariance and retaining only the rotationally invariant aspect of the problem. This is done by embedding the optimal conditions in a matrix equality as well as matrix inequality. Employing the implicit function theorem in these conditions we get a set of first-order coupled ordinary non-linear differential equations which can be used to drag the solution from an initial point (where solution is known) to another point (whose solution is sought). This way of obtaining the solution can be done through a simple Taylor series expansion and analytic continuation when required. Thus, we \emph{complete} the work done by Belavkin and Mochon by ultimately leading their theory to a solution for the minimum error discrimination problem of linearly independent pure state ensembles. We also compare the computational complexity of our technique with a barrier-type interior point method of SDP and show that our technique is computationally as efficient as (actually, a bit more than) the SDP algorithm, with the added advantage of being much simpler to implement.


title: Conditional entropy of ordinal patterns

abstract: In this paper we investigate a quantity called conditional entropy of ordinal patterns, akin to the permutation entropy. The conditional entropy of ordinal patterns describes the average diversity of the ordinal patterns succeeding a given ordinal pattern. We observe that this quantity provides a good estimation of the Kolmogorov-Sinai entropy in many cases. In particular, the conditional entropy of ordinal patterns of a finite order coincides with the Kolmogorov-Sinai entropy for periodic dynamics and for Markov shifts over a binary alphabet. Finally, the conditional entropy of ordinal patterns is computationally simple and thus can be well applied to real-world data.


title: A fully relativistic radial fall

abstract: Radial fall has historically played a momentous role. It is one of the most classical problems, the solutions of which represent the level of understanding of gravitation in a given epoch. A {\it gedankenexperiment} in a modern frame is given by a small body, like a compact star or a solar mass black hole, captured by a supermassive black hole. The mass of the small body itself and the emission of gravitational radiation cause the departure from the geodesic path due to the back-action, that is the self-force. For radial fall, as any other non-adiabatic motion, the instantaneous identity of the radiated energy and the loss of orbital energy cannot be imposed and provide the perturbed trajectory. In the first part of this letter, we present the effects due to the self-force computed on the geodesic trajectory in the background field. Compared to the latter trajectory, in the Regge-Wheeler, harmonic and all others smoothly related gauges, a far observer concludes that the self-force pushes inward (not outward) the falling body, with a strength proportional to the mass of the small body for a given large mass; further, the same observer notes an higher value of the maximal coordinate velocity, this value being reached earlier on during infall. In the second part of this letter, we implement a self-consistent approach for which the trajectory is iteratively corrected by the self-force, this time computed on osculating geodesics. Finally, we compare the motion driven by the self-force without and with self-consistent orbital evolution. Subtle differences are noticeable, even if self-force effects have hardly the time to accumulate in such a short orbit.

categories: gr-qc astro-ph.HE math-ph math.MP physics.class-ph


title: Synthesis of a simple self-stabilizing system

abstract: With the increasing importance of distributed systems as a computing paradigm, a systematic approach to their design is needed. Although the area of formal verification has made enormous advances towards this goal, the resulting functionalities are limited to detecting problems in a particular design. By means of a classical example, we illustrate a simple template-based approach to computer-aided design of distributed systems based on leveraging the well-known technique of bounded model checking to the synthesis setting.


title: Program Synthesis and Linear Operator Semantics

abstract: For deterministic and probabilistic programs we investigate the problem of program synthesis and program optimisation (with respect to non-functional properties) in the general setting of global optimisation. This approach is based on the representation of the semantics of programs and program fragments in terms of linear operators, i.e. as matrices. We exploit in particular the fact that we can automatically generate the representation of the semantics of elementary blocks. These can then can be used in order to compositionally assemble the semantics of a whole program, i.e. the generator of the corresponding Discrete Time Markov Chain (DTMC). We also utilise a generalised version of Abstract Interpretation suitable for this linear algebraic or functional analytical framework in order to formulate semantical constraints (invariants) and optimisation objectives (for example performance requirements).


title: Extension of continuous functions to Baire-one functions

abstract: We introduce the notion of $B_1$-retract and investigate the connection between $B_1$- and $H_1$-retracts.


title: How to Handle Assumptions in Synthesis

abstract: The increased interest in reactive synthesis over the last decade has led to many improved solutions but also to many new questions. In this paper, we discuss the question of how to deal with assumptions on environment behavior. We present four goals that we think should be met and review several different possibilities that have been proposed. We argue that each of them falls short in at least one aspect.


title: Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes

abstract: When treating Markov decision processes (MDPs) with large state spaces, using explicit representations quickly becomes unfeasible. Lately, Wimmer et al. have proposed a so-called symblicit algorithm for the synthesis of optimal strategies in MDPs, in the quantitative setting of expected mean-payoff. This algorithm, based on the strategy iteration algorithm of Howard and Veinott, efficiently combines symbolic and explicit data structures, and uses binary decision diagrams as symbolic representation. The aim of this paper is to show that the new data structure of pseudo-antichains (an extension of antichains) provides another interesting alternative, especially for the class of monotonic MDPs. We design efficient pseudo-antichain based symblicit algorithms (with open source implementations) for two quantitative settings: the expected mean-payoff and the stochastic shortest path. For two practical applications coming from automated planning and LTL synthesis, we report promising experimental results w.r.t. both the run time and the memory consumption.


title: Are There Good Mistakes? A Theoretical Analysis of CEGIS

abstract: Counterexample-guided inductive synthesis CEGIS is used to synthesize programs from a candidate space of programs. The technique is guaranteed to terminate and synthesize the correct program if the space of candidate programs is finite. But the technique may or may not terminate with the correct program if the candidate space of programs is infinite. In this paper, we perform a theoretical analysis of counterexample-guided inductive synthesis technique. We investigate whether the set of candidate spaces for which the correct program can be synthesized using CEGIS depends on the counterexamples used in inductive synthesis, that is, whether there are good mistakes which would increase the synthesis power. We investigate whether the use of minimal counterexamples instead of arbitrary counterexamples expands the set of candidate spaces of programs for which inductive synthesis can successfully synthesize a correct program. We consider two kinds of counterexamples: minimal counterexamples and history bounded counterexamples. The history bounded counterexample used in any iteration of CEGIS is bounded by the examples used in previous iterations of inductive synthesis. We examine the relative change in power of inductive synthesis in both cases. We show that the synthesis technique using minimal counterexamples MinCEGIS has the same synthesis power as CEGIS but the synthesis technique using history bounded counterexamples HCEGIS has different power than that of CEGIS, but none dominates the other.


title: On spectral and pseudospectral functions of first-order symmetric systems

abstract: We consider general (not necessarily Hamiltonian) first-order symmetric system $J y'-B(t)y=\D(t) f(t)$ on an interval $\cI=[a,b) $ with the regular endpoint $a$. A distribution matrix-valued function $\Si(s), \; s\in\bR,$ is called a spectral (pseudospectral) function of such a system if the corresponding Fourier transform is an isometry (resp. partial isometry) from $\LI$ into $L^2(\Si)$. The main result is a parametrization of all spectral and pseudospectral functions of a given system by means of a Nevanlinna boundary parameter $\tau$. Similar parameterizations for various classes of boundary problems have earlier been obtained by Kac and Krein, Fulton, Langer and Textorius, Sakhnovich and others.


title: Low-Effort Specification Debugging and Analysis

abstract: Reactive synthesis deals with the automated construction of implementations of reactive systems from their specifications. To make the approach feasible in practice, systems engineers need effective and efficient means of debugging these specifications. In this paper, we provide techniques for report-based specification debugging, wherein salient properties of a specification are analyzed, and the result presented to the user in the form of a report. This provides a low-effort way to debug specifications, complementing high-effort techniques including the simulation of synthesized implementations. We demonstrate the usefulness of our report-based specification debugging toolkit by providing examples in the context of generalized reactivity(1) synthesis.


title: Read-out and Dynamics of the Qubit Built on Three Quantum Dots

abstract: We present a model of a qubit built of a three coherently coupled quantum dots with three spins in a triangular geometry. The qubit states are encoded in the doublet subspace and they are controlled by a gate voltage, which breaks the triangular symmetry of the system. We show how to prepare the qubit and to perform one qubit operations. A new type of the current blockade effect will be discussed. The blockade is related with an asymmetry of transfer rates from the electrodes to different doublet states and is used to read-out of the dynamics of the qubit state. Our research also presents analysis of the Rabi oscillations, decoherence and leakage processes in the doublets subspace.


title: All-in/all-out magnetic domains: X-ray diffraction imaging and magnetic field control

abstract: Long-range non-collinear all-in/all-out magnetic order has been directly observed for the first time in real space in the pyrochlore Cd$_2$Os$_2$O$_7$ using resonant magnetic microdiffraction at the Os L$_3$ edge. Two different antiferromagnetic domains related by time-reversal symmetry could be distinguished and have been mapped within the same single crystal. The two types of domains are akin to magnetic twins and were expected - yet unobserved so far - in the all-in/all-out model. Even though the magnetic domains are antiferromagnetic, we show that their distribution can be controlled using a magnetic field-cooling procedure.


title: From Sine kernel to Poisson statistics

abstract: We study the Sine$_\beta$ process introduced in [B. Valk\'o and B. Vir\'ag. Invent. math. (2009)] when the inverse temperature $\beta$ tends to 0. This point process has been shown to be the scaling limit of the eigenvalues point process in the bulk of $\beta$-ensembles and its law is characterized in terms of the winding numbers of the Brownian carrousel at different angular speeds. After a careful analysis of this family of coupled diffusion processes, we prove that the Sine$_\beta$ point process converges weakly to a Poisson point process on $\mathbb{R}$. Thus, the Sine$_\beta$ point processes establish a smooth crossover between the rigid clock (or picket fence) process (corresponding to $\beta=\infty$) and the Poisson process.


title: Convergence of series of dilated functions and spectral norms of GCD matrices

abstract: We establish a connection between the $L^2$ norm of sums of dilated functions whose $j$th Fourier coefficients are $\mathcal{O}(j^{-\alpha})$ for some $\alpha \in (1/2,1)$, and the spectral norms of certain greatest common divisor (GCD) matrices. Utilizing recent bounds for these spectral norms, we obtain sharp conditions for the convergence in $L^2$ and for the almost everywhere convergence of series of dilated functions.


title: Model based design of super schedulers managing catastrophic scenario in hard real time systems

abstract: The conventional design of real-time approaches depends heavily on the normal performance of systems and it often becomes incapacitated in dealing with catastrophic scenarios effectively. There are several investigations carried out to effectively tackle large scale catastrophe of a plant and how real-time systems must reorganize itself to respond optimally to changing scenarios to reduce catastrophe and aid human intervention. The study presented here is in this direction and the model accommodates catastrophe generated tasks while it tries to minimize the total number of deadline miss, by dynamically scheduling the unusual pattern of tasks. The problem is NP hard. We prove the methods for an optimal scheduling algorithm. We also derive a model to maintain the stability of the processes. Moreover, we study the problem of minimizing the number of processors required for scheduling with a set of periodic and sporadic hard real time tasks with primary/backup mechanism to achieve fault tolerance. EDF scheduling algorithms are used on each processor to manage scenario changes. Finally we present a simulation of super scheduler with small, medium and large real time tasks pattern for catastrophe management.


title: Parameters of cosmological models and recent astronomical observations

abstract: For different gravitational models we consider limitations on their parameters coming from recent observational data for type Ia supernovae, baryon acoustic oscillations, and from 34 data points for the Hubble parameter $H(z)$ depending on redshift. We calculate parameters of 3 models describing accelerated expansion of the universe: the $\Lambda$CDM model, the model with generalized Chaplygin gas (GCG) and the multidimensional model of I. Pahwa, D.~Choudhury and T.R.~Seshadri. In particular, for the $\Lambda$CDM model $1\sigma$ estimates of parameters are: $H_0=70.262\pm0.319$ km\,c${}^{-1}$Mpc${}^{-1}$, $\Omega_m=0.276_{-0.008}^{+0.009}$, $\Omega_\Lambda=0.769\pm0.029$, $\Omega_k=-0.045\pm0.032$. The GCG model under restriction $\alpha\ge0$ is reduced to the $\Lambda$CDM model. Predictions of the multidimensional model essentially depend on 3 data points for $H(z)$ with $z\ge2.3$.


title: Primely generated refinement monoids

abstract: We extend both Dobbertin's characterization of primely generated regular refinement monoids and Pierce's characterization of primitive monoids to general primely generated refinement monoids.


title: Open-source development experiences in scientific software: the HANDE quantum Monte Carlo project

abstract: The HANDE quantum Monte Carlo project offers accessible stochastic algorithms for general use for scientists in the field of quantum chemistry. HANDE is an ambitious and general high-performance code developed by a geographically-dispersed team with a variety of backgrounds in computational science. In the course of preparing a public, open-source release, we have taken this opportunity to step back and look at what we have done and what we hope to do in the future. We pay particular attention to development processes, the approach taken to train students joining the project, and how a flat hierarchical structure aids communication