title: Wave-packet propagation based calculation of above-threshold ionization in the x-ray regime

abstract: We investigate the multi-photon process of above-threshold ionization for the light elements hydrogen, carbon, nitrogen and oxygen in the hard x-ray regime. Numerical challenges are discussed and by comparing Hartree-Fock-Slater calculations to configuration-interaction-singles results we justify the mean-field potential approach in this regime. We present a theoretical prediction of two-photon above-threshold-ionization cross sections for the mentioned elements. Moreover, we study how the importance of above-threshold ionization varies with intensity. We find that for carbon, at x-ray intensities around $10^{23}{\rm Wcm}^{-2}$, two-photon above-threshold ionization of the K-shell electrons is as probable as one-photon ionization of the L-shell electrons.


title: Models for homotopy categories of injectives and Gorenstein injectives

abstract: A natural generalization of locally noetherian and locally coherent categories leads us to define locally type $FP_{\infty}$ categories. They include not just all categories of modules over a ring, but also the category of sheaves over any concentrated scheme. In this setting we generalize and study the absolutely clean objects recently introduced in a paper of Bravo-Gillespie-Hovey. We show that $\mathcal{D}(\mathcal{AC})$, the derived category of absolutely clean objects, is always compactly generated and that it is embedded in $K(Inj)$, the chain homotopy category of injectives, as a full subcategory containing the DG-injectives. Assuming the ground category $\mathcal{G}$ has a set of generators satisfying a certain vanishing property, we also show that there is a recollement relating $\mathcal{D}(\mathcal{AC})$ to the (also compactly generated) derived category $\mathcal{D}(\mathcal{G})$. Finally, we generalize the Gorenstein AC-injectives of Bravo-Gillespie-Hovey, showing that they are the fibrant objects of a cofibrantly generated model structure on $\mathcal{G}$.


title: Massive young stellar object W42-MME: The discovery of an infrared jet using VLT/NACO near-infrared images

abstract: We report on the discovery of an infrared jet from a deeply embedded infrared counterpart of 6.7 GHz methanol maser emission (MME) in W42 (i.e. W42-MME). We also investigate that W42-MME drives a parsec-scale H2 outflow, with detection of bow shock feature at ~0.52 pc to the north. The inner ~0.4 pc part of the H2 outflow has a position angle of ~18 deg and the position angle of ~40 deg is found farther away on either side of outflow from W42-MME. W42-MME is detected at wavelengths longer than 2.2 microns and is a massive young stellar object, with the estimated stellar mass of 19+-4 Msun. We map the inner circumstellar environment of W42-MME using VLT/NACO adaptive optics Ks and L' observations at resolutions ~0.2 arcsec and ~0.1 arcsec, respectively. We discover a collimated jet in the inner 4500 AU using the L' band, which contains prominent Br alpha line emission. The jet is located inside an envelope/cavity (extent ~10640 AU) that is tapered at both ends and is oriented along the north-south direction. Such observed morphology of outflow cavity around massive star is scarcely known and is very crucial for understanding the jet-outflow formation process in massive star formation. Along the flow axis, which is parallel to the previously known magnetic field, two blobs are found in both the NACO images at distances of ~11800 AU, located symmetrically from W42-MME. The observed W42-MME jet-outflow configuration can be used to constrain the jet launching and jet collimation models in massive star formation.


title: Comparing Decision Support Approaches for Cyber Security Investment

abstract: When investing in cyber security resources, information security managers have to follow effective decision-making strategies. We refer to this as the cyber security investment challenge. In this paper, we consider three possible decision-support methodologies for security managers to tackle this challenge. We consider methods based on game theory, combinatorial optimisation and a hybrid of the two. Our modelling starts by building a framework where we can investigate the effectiveness of a cyber security control regarding the protection of different assets seen as targets in presence of commodity threats. In terms of game theory we consider a 2-person control game between the security manager who has to choose among different implementation levels of a cyber security control, and a commodity attacker who chooses among different targets to attack. The pure game theoretical methodology consists of a large game including all controls and all threats. In the hybrid methodology the game solutions of individual control-games along with their direct costs (e.g. financial) are combined with a knapsack algorithm to derive an optimal investment strategy. The combinatorial optimisation technique consists of a multi-objective multiple choice knapsack based strategy. We compare these approaches on a case study that was built on SANS top critical controls. The main achievements of this work is to highlight the weaknesses and strengths of different investment methodologies for cyber security, the benefit of their interaction, and the impact that indirect costs have on cyber security investment.


title: Greatest Fixed Points of Probabilistic Min/Max Polynomial Equations, and Reachability for Branching Markov Decision Processes

abstract: We give polynomial time algorithms for quantitative (and qualitative) reachability analysis for Branching Markov Decision Processes (BMDPs). Specifically, given a BMDP, and given an initial population, where the objective of the controller is to maximize (or minimize) the probability of eventually reaching a population that contains an object of a desired (or undesired) type, we give algorithms for approximating the supremum (infimum) reachability probability, within desired precision epsilon > 0, in time polynomial in the encoding size of the BMDP and in log(1/epsilon). We furthermore give P-time algorithms for computing epsilon-optimal strategies for both maximization and minimization of reachability probabilities. We also give P-time algorithms for all associated qualitative analysis problems, namely: deciding whether the optimal (supremum or infimum) reachability probabilities are 0 or 1. Prior to this paper, approximation of optimal reachability probabilities for BMDPs was not even known to be decidable. Our algorithms exploit the following basic fact: we show that for any BMDP, its maximum (minimum) non-reachability probabilities are given by the greatest fixed point (GFP) solution g* in [0,1]^n of a corresponding monotone max (min) Probabilistic Polynomial System of equations (max/min-PPS), x=P(x), which are the Bellman optimality equations for a BMDP with non-reachability objectives. We show how to compute the GFP of max/min PPSs to desired precision in P-time. We also study more general Branching Simple Stochastic Games (BSSGs) with (non-)reachability objectives. We show that: (1) the value of these games is captured by the GFP of a corresponding max-minPPS; (2) the quantitative problem of approximating the value is in TFNP; and (3) the qualitative problems associated with the value are all solvable in P-time.


title: NeuroSVM: A Graphical User Interface for Identification of Liver Patients

abstract: Diagnosis of liver infection at preliminary stage is important for better treatment. In todays scenario devices like sensors are used for detection of infections. Accurate classification techniques are required for automatic identification of disease samples. In this context, this study utilizes data mining approaches for classification of liver patients from healthy individuals. Four algorithms (Naive Bayes, Bagging, Random forest and SVM) were implemented for classification using R platform. Further to improve the accuracy of classification a hybrid NeuroSVM model was developed using SVM and feed-forward artificial neural network (ANN). The hybrid model was tested for its performance using statistical parameters like root mean square error (RMSE) and mean absolute percentage error (MAPE). The model resulted in a prediction accuracy of 98.83%. The results suggested that development of hybrid model improved the accuracy of prediction. To serve the medicinal community for prediction of liver disease among patients, a graphical user interface (GUI) has been developed using R. The GUI is deployed as a package in local repository of R platform for users to perform prediction.


title: Evolutionary algorithm based adaptive navigation in information retrieval interfaces

abstract: In computer interfaces in general, especially in information retrieval tasks, it is important to be able to quickly find and retrieve information. State of the art approach, used, for example, in search engines, is not effective as it introduces losses of meanings due to context to keywords back and forth translation. Authors argue it increases the time and reduces the accuracy of information retrieval compared to what it could be in the system that employs modern information retrieval and text mining methods while presenting results in an adaptive human- computer interface where system effectively learns what operator needs through iterative interaction. In current work, a combination of adaptive navigational interface and real time collaborative feedback analysis for documents relevance weighting is proposed as an viable alternative to prevailing "telegraphic" approach in information retrieval systems. Adaptive navigation is provided through a dynamic links panel controlled by an evolutionary algorithm. Documents relevance is initially established with standard information retrieval techniques and is further refined in real time through interaction of users with the system. Introduced concepts of multidimensional Knowledge Map and Weighted Point of Interest allow finding relevant documents and users with common interests through a trivial calculation. Browsing search approach, the ability of the algorithm to adapt navigation to users interests, collaborative refinement and the self-organising features of the system are the main factors making such architecture effective in various fields where non-structured knowledge shall be represented to the users.


title: Investigations In Higher Derivative Field Theories

abstract: Canonical analysis leading to formal quantisation of the higher derivative theories are considered. The first order formalism is adopted where all the configuration space variables along with their higher time derivatives are considered to be independent fields. A systematic algorithm of abstracting the independent gauge symmetries is developed which is an extension of the method developed by Banerjee et al. for the usual first order theories. For the massive relativistic particle model with curvature, we solve the mismatch in the no of independent gauge parameters and no of independent primary fist class constarints. In addition, we show a direct connection between the gauge symmetry and the $W_3$-algebra for the rigid relativistic particle. Also, BRST symmetries for both the massive and massless particle models have been considered and its connection to $W_3$-algebras is demonstrated. The exact mapping of this gauge symmetry is shown with the reparametrisation invariance. Different models from field theory, gravity and membrane theory have been considered as illustrative examples from a new perspective to clarify many not so adequately addressed issues.


title: Optimal engine performance using inference for non-identical finite source and sink

abstract: We quantify the prior information to infer the optimal characteristics for a constrained thermodynamic process of maximum work extraction for a pair of non-identical finite systems. The total entropy of the whole system remains conserved. The ignorance is assumed about the final temperature of the finite systems and then a prior distribution is assigned to the unknown temperatures. We derive the estimates of efficiency for this reversible model of heat engine with incomplete information. The estimates show good agreement with efficiency at optimal work for arbitrary sizes of systems, however the estimates become exact when one of the reservoir becomes very large in comparison to the other.


title: Fields, particles and universality in two dimensions

abstract: We discuss the use of field theory for the exact determination of universal properties in two-dimensional statistical mechanics. After a compact derivation of critical exponents of main universality classes, we turn to the off-critical case, considering systems both on the whole plane and in presence of boundaries. The topics we discuss include magnetism, percolation, phase separation, interfaces, wetting.

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


title: Photon-mediated qubit interactions in 1D discrete and continous models

abstract: In this work we study numerically and analytically the interaction of two qubits in a one-dimensional waveguide, as mediated by the photons that propagate through the guide. We develop strategies to assert the Markovianity of the problem, the effective qubit-qubit interactions and their individual and collective spontaneous emission. We prove the existence of collective Lamb-shifts that affect the qubit-qubit interactions and the dependency of coherent and incoherent interactions on the qubit separation. We also develop the scattering theory associated to these models and prove single photon spectroscopy does probes the renormalized resonances of the single- and multi-qubit models, in sharp contrast with earlier toy models where individual and collective Lamb shifts cancel.


title: Demonstration of a highly-sensitive tunable beam displacer with no movable elements based on the concept of weak value amplification

abstract: We report the implementation of a highly sensitive beam displacer based on the concept of weak value amplification that allows to displace the centroid of a Gaussian beam a distance much smaller than its beam width without the need to use movable optical elements. The beam's centroid position can be displaced by controlling the linear polarization of the output beam, and the dependence between the centroid's position and the angle of polarization is linear.


title: Forming equatorial rings around dying stars

abstract: We suggest that clumpy-dense outflowing equatorial rings around evolved giant stars, such as in supernova 1987A and the Necklace planetary nebula, are formed by bipolar jets that compress gas toward the equatorial plane. The jets are launched from an accretion disk around a stellar companion. Using the FLASH hydrodynamics numerical code we perform 3D numerical simulations, and show that bipolar jets expanding into a dense spherical shell can compress gas toward the equatorial plane and lead to the formation of an expanding equatorial ring. Rayleigh-Taylor instabilities in the interaction region break the ring to clumps. Under the assumption that the same ring-formation mechanism operates in massive stars and in planetary nebulae, we find this mechanism to be more promising for ring formation than mass loss through the second Lagrangian point. The jets account also for the presence of a bipolar nebula accompanying many of the rings.


title: Energy fluctuation and discontinuity of specific heat

abstract: Specific heat per particle ($c_v$) of an ideal gas, in many occasions, is interpreted as energy fluctuation per particle ($\triangle\epsilon^2$) of the ideal gas through the relation: $\triangle\epsilon^2=kT^2c_v$, where $k$ is the Boltzmann constant and $T$ is the temperature. This relationship is true only in the classical limit, and deviates significantly in the quantum degenerate regime. We have analytically explored quantum to classical crossover of this relationship, in particular, for 3-D free Bose and Fermi gases. We also have explored the same for harmonically trapped cases. We have obtained a hump of $\triangle\epsilon^2/kT^2c_v^{(\text{cl})}$ around the condensation point for 3-D harmonically trapped Bose gas. We have discussed the possibility of occurring phase transition with discontinuity of heat capacity from existence of such a hump for other Bose and Fermi systems.


title: Prioritized Metric Structures and Embedding

abstract: Metric data structures (distance oracles, distance labeling schemes, routing schemes) and low-distortion embeddings provide a powerful algorithmic methodology, which has been successfully applied for approximation algorithms \cite{llr}, online algorithms \cite{BBMN11}, distributed algorithms \cite{KKMPT12} and for computing sparsifiers \cite{ST04}. However, this methodology appears to have a limitation: the worst-case performance inherently depends on the cardinality of the metric, and one could not specify in advance which vertices/points should enjoy a better service (i.e., stretch/distortion, label size/dimension) than that given by the worst-case guarantee. In this paper we alleviate this limitation by devising a suit of {\em prioritized} metric data structures and embeddings. We show that given a priority ranking $(x_1,x_2,\ldots,x_n)$ of the graph vertices (respectively, metric points) one can devise a metric data structure (respectively, embedding) in which the stretch (resp., distortion) incurred by any pair containing a vertex $x_j$ will depend on the rank $j$ of the vertex. We also show that other important parameters, such as the label size and (in some sense) the dimension, may depend only on $j$. In some of our metric data structures (resp., embeddings) we achieve both prioritized stretch (resp., distortion) and label size (resp., dimension) {\em simultaneously}. The worst-case performance of our metric data structures and embeddings is typically asymptotically no worse than of their non-prioritized counterparts.


title: Self-truncation and scaling in Euler-Voigt-$\alpha$ and related fluid models

abstract: A generalization of the $3D$ Euler-Voigt-$\alpha$ model is obtained by introducing derivatives of arbitrary order $\beta$ (instead of $2$) in the Helmholtz operator. The $\beta \to \infty$ limit is shown to correspond to Galerkin truncation of the Euler equation. Direct numerical simulations (DNS) of the model are performed with resolutions up to $2048^3$ and Taylor-Green initial data. DNS performed at large $\beta$ demonstrate that this simple classical hydrodynamical model presents a self-truncation behavior, similar to that previously observed for the Gross-Pitaeveskii equation in Krstulovic and Brachet [Phys. Rev. Lett. 106, 115303 (2011)]. The self-truncation regime of the generalized model is shown to reproduce the behavior of the truncated Euler equation demonstrated in Cichowlas et al. [Phys. Rev. Lett. 95, 264502 (2005)]. The long-time growth of the self-truncation wavenumber $k_{\rm st}$ appears to be self-similar. Two related $\alpha$-Voigt versions of the EDQNM model and the Leith model are introduced. These simplified theoretical models are shown to reasonably reproduce intermediate time DNS results. The values of the self-similar exponents of these models are found analytically.

categories: physics.flu-dyn math-ph math.MP physics.comp-ph


title: Time and space optimality of rotor-router graph exploration

abstract: We consider the problem of exploration of an anonymous, port-labeled, undirected graph with $n$ nodes and $m$ edges and diameter $D$, by a single mobile agent. Initially the agent does not know the graph topology nor any of the global parameters. Moreover, the agent does not know the incoming port when entering to a vertex. Each vertex is endowed with memory that can be read and modified by the agent upon its visit to that node. However the agent has no operational memory i.e., it cannot carry any state while traversing an edge. In such a model at least $\log_2 d$ bits are needed at each vertex of degree $d$ for the agent to be able to traverse each graph edge. This number of bits is always sufficient to explore any graph in time $O(mD)$ using algorithm Rotor-Router. We show that even if the available node memory is unlimited then time $\Omega(n^3)$ is sometimes required for any algorithm. This shows that Rotor-Router is asymptotically optimal in the worst-case graphs. Secondly we show that for the case of the path the Rotor-Router attains exactly optimal time.


title: Orbital and spin scissors modes in superfluid nuclei

abstract: Nuclear scissors modes are considered in the frame of Wigner function moments method generalized to take into account spin degrees of freedom and pair correlations simultaneously. A new source of nuclear magnetism, connected with counter-rotation of spins up and down around the symmetry axis (hidden angular momenta), is discovered. Its inclusion into the theory allows one to improve substantially the agreement with experimental data in the description of energies and transition probabilities of scissors modes in rare earth nuclei.


title: Dimension bounds for constant rank subspaces of symmetric bilinear forms over a finite field

abstract: Let V be a vector space of dimension n over the finite field F_q, where q is odd, and let Symm(V) denote the space of symmetric bilinear forms defined on V x V. We investigate constant rank r subspaces of Symm(V) in this paper. We have proved elsewhere that such a subspace has dimension at most n when q is larger than r but in this paper we provide generally improved upper bounds. Our investigations yield information about common isotropic points for such constant rank subspaces, and also how the radicals of the elements in the subspace are distributed throughout V.


title: Facility location with double-peaked preference

abstract: We study the problem of locating a single facility on a real line based on the reports of self-interested agents, when agents have double-peaked preferences, with the peaks being on opposite sides of their locations. We observe that double-peaked preferences capture real-life scenarios and thus complement the well-studied notion of single-peaked preferences. We mainly focus on the case where peaks are equidistant from the agents' locations and discuss how our results extend to more general settings. We show that most of the results for single-peaked preferences do not directly apply to this setting; this makes the problem essentially more challenging. As our main contribution, we present a simple truthful-in-expectation mechanism that achieves an approximation ratio of 1+b/c for both the social and the maximum cost, where b is the distance of the agent from the peak and c is the minimum cost of an agent. For the latter case, we provide a 3/2 lower bound on the approximation ratio of any truthful-in-expectation mechanism. We also study deterministic mechanisms under some natural conditions, proving lower bounds and approximation guarantees. We prove that among a large class of reasonable mechanisms, there is no deterministic mechanism that outperforms our truthful-in-expectation mechanism.


title: Multipole surface plasmons in metallic nanohole arrays

abstract: The quasi-bound electromagnetic modes for the arrays of nanoholes perforated in thin gold film are analyzed both numerically by the rigorous coupled wave analysis (RCWA) method and semi-analytically by the coupled mode method. It is shown that when the size of the nanohole occupies large portion of the unit cell, the surface plasmon polaritons (SPPs) at both sides of the film are combined by the higher order waveguide modes of the holes to produce multipole surface plasmons: coupled surface plasmon modes with multipole texture on the electric field distributions. Further, it is revealed that the multipole texture either enhances or suppresses the couplings between SPPs depending on their diffraction orders and also causes band inversion and reconstruction in the coupled SPP band structure. Due to the multipole nature of the quasi-bound modes, multiple dark modes coexist to produce variety of Fano resonance structures on the transmission and reflection spectra.


title: Finiteness results for Diophantine triples with repdigit values

abstract: Let $g\ge 2$ be an integer and $\mathcal R_g\subset \mathbb N$ be the set of repdigits in base $g$. Let $\mathcal D_g$ be the set of Diophantine triples with values in $\mathcal R_g$; that is, $\mathcal D_g$ is the set of all triples $(a,b,c)\in \mathbb N^3$ with $c<b<a$ such that $ab+1,ac+1$ and $ab+1$ lie in the set $\mathcal R_g$. In this paper, we prove effective finitness results for the set $\mathcal D_g$.


title: Privately Information Sharing with Delusive Paths for Data Forwarding in Vehicular Networks

abstract: We discuss how to efficiently forward data in vehicular networks. Existing solutions do not make full use of trajectory planning of nearby vehicles, or social attributes. The development of onboard navigation system provides drivers some traveling route information. The main novelty of our approach is to envision sharing partial traveling information to the encountered vehicles for better service. Our data forwarding algorithm utilizes this lightweight information under the delusive paths privacy preservation together with the social community structure in vehicular networks. We assume that data transmission is carried by vehicles and road side units (RSUs), while cellular network manages and coordinates relevant global information. The approximate destination set is the set of RSUs that are often passed by the destination vehicle. RSU importance is raised by summing encounter ratios of RSUs in the same connected component. We first define a concept of space-time approachability which is derived from shared partial traveling route and encounter information. It describes the capability of a vehicle to advance messages toward destination. Then, we design a novel data forwarding algorithm, called approachability based algorithm, which combines the space-time approachability with the social community attribute in vehicular networks. We evaluate our approachability based algorithm on data sets from San Francisco Cabspotting and Shanghai Taxi Movement. Results show that the partially shared traveling information plays a positive role in data forwarding in vehicular networks. Approachability based data forwarding algorithm achieves a better performance than existing social based algorithms in vehicular networks.


title: Computing Real Numbers using DNA Self-Assembly

abstract: DNA Self-Assembly has emerged as an interdisciplinary field with many intriguing applications such DNA bio-sensor, DNA circuits, DNA storage, drug delivery etc. Tile assembly model of DNA has been studied for various computational primitives such as addition, subtraction, multiplication, and division. Xuncai et. al. gave computational DNA tiles to perform division of a number but the output had integer quotient. In this work, we simply modify their method of division to improve its compatibility with further computation and this modification has found its application in computing rational numbers, both recurring and terminating, with computational tile complexity of $\mathcal{O} (1)$ and $\mathcal{O} (h)$ respectively. Additionally, we also propose a method to compute square-root of a number with computational tile complexity of $\mathcal{O} (n)$ for an n bit number. Finally, after combining tiles of division and square-root, we propose a simple way to compute the ubiquitously used irrational number, $\pi$, using its infinite series.


title: Locally Cohen-Macaulay space curves defined by cubic equations and globally generated vector bundles

abstract: We classify globally generated vector bundles with first Chern class $c_1$ at least 4 on the projective 3-space with the property that $E(-c_1+3)$ has a non-zero global section. This (seemingly) technical result allows one to reduce the classification of globally generated vector bundles with $c_1$ at most 7 on the projective 3-space to the classification of stable rank-2 reflexive sheaves with the same properties. The proof is based on a description of the monads of all locally Cohen-Macaulay space curves defined by cubic equations. We extend then this kind of classification to higher dimensional projective spaces. We use this extension to recuperate quickly the classification of globally generated vector bundles with $c_1=4$ on the projective $n$-space for $n$ at least 4, which is part of the main result of our previous paper [arxiv:1305.3464]. We provide, in the appendices to the paper, graded free resolutions for the homogeneous ideals and for the graded structural algebras of all non-reduced locally Cohen-Macaulay space curves of degree at most 4.


title: Post-Newtonian constraints on Lorentz-violating gravity theories with a MOND phenomenology

abstract: We study the post-Newtonian expansion of a class of Lorentz-violating gravity theories that reduce to khronometric theory (i.e. the infrared limit of Horava gravity) in high-acceleration regimes, and reproduce the phenomenology of the modified Newtonian dynamics (MOND) in the low-acceleration, non-relativistic limit. Like in khronometric theory, Lorentz symmetry is violated in these theories by introducing a dynamical scalar field (the "khronon") whose gradient is enforced to be timelike. As a result, hypersurfaces of constant khronon define a preferred foliation of the spacetime, and the khronon can be thought of as a physical absolute time. The MOND phenomenology arises as a result of the presence, in the action, of terms depending on the acceleration of the congruence orthogonal to the preferred foliation. We find that if the theory is forced to reduce exactly to General Relativity (rather than to khronometric theory) in the high-acceleration regime, the post-Newtonian expansion breaks down at low accelerations, and the theory becomes strongly coupled. Nevertheless, we identify a sizeable region of the parameter space where the post-Newtonian expansion remains perturbative for all accelerations, and the theory passes both solar-system and pulsar gravity tests, besides producing a MOND phenomenology for the rotation curves of galaxies. We illustrate this explicitly with a toy model of a system containing only baryonic matter but no Dark Matter.


title: Combining WASP and Kepler data: the case of the $\delta$ Sct star KIC 7106205

abstract: Ground-based photometric observations from WASP have been calibrated, scaled and combined with Kepler observations of the $\delta$ Sct star KIC 7106205, allowing us to extend the time base of the study of the unexplained amplitude and frequency variation of a single pressure mode at $\nu=13.3942$ d$^{-1}$ by 2 yr. Analysis of the combined data sets, spanning 6 yr, show that the amplitude modulation in KIC 7106205 has a much larger range than a previous study of the Kepler data alone indicated. The single pressure mode decreased from $11.70 \pm 0.05$ mmag in 2007, to $5.87 \pm 0.03$ mmag in 2009, and to $0.58 \pm 0.06$ mmag in 2013. Observations of the decrease in mode amplitude have now been extended back 2 yr before the launch of Kepler. With observations over a longer time span, we have been able to further investigate the decrease in mode amplitude in KIC 7106205 to address the question of mode amplitude stability in $\delta$ Sct stars. This study highlights the usefulness of the WASP data set for extending studies of some Kepler variable stars.


title: Just Sort It! A Simple and Effective Approach to Active Preference Learning

abstract: We address the problem of learning a ranking by using adaptively chosen pairwise comparisons. Our goal is to recover the ranking accurately but to sample the comparisons sparingly. If all comparison outcomes are consistent with the ranking, the optimal solution is to use an efficient sorting algorithm, such as Quicksort. But how do sorting algorithms behave if some comparison outcomes are inconsistent with the ranking? We give favorable guarantees for Quicksort for the popular Bradley-Terry model, under natural assumptions on the parameters. Furthermore, we empirically demonstrate that sorting algorithms lead to a very simple and effective active learning strategy: repeatedly sort the items. This strategy performs as well as state-of-the-art methods (and much better than random sampling) at a minuscule fraction of the computational cost.


title: Spin and magnetothermal transport in the S = 1/2 XXZ chain

abstract: We present a temperature and magnetic field dependence study of spin transport and magnetothermal corrections to the thermal conductivity in the spin S = 1/2 integrable easy-plane regime Heisenberg chain, extending an earlier analysis based on the Bethe ansatz method. We critically discuss the low temperature, weak magnetic field behavior, the effect of magnetothermal corrections in the vicinity of the critical field and their role in recent thermal conductivity experiments in 1D quantum magnets.


title: It's a Tough Nanoworld: in Tile Assembly, Cooperation is not (strictly) more Powerful than Competition

abstract: We present a strict separation between the class of "mismatch free" self-assembly systems and general aTAM systems. Mismatch free systems are those systems in which concurrently grown parts must always agree with each other. Tile self-assembly is a model of the formation of crystal growth, in which a large number of particles concurrently and selectively stick to each other, forming complex shapes and structures. It is useful in nanotechnologies, and more generally in the understanding of these processes, ubiquitous in natural systems. The other property of the local assembly process known to change the power of the model is cooperation between two tiles to attach another. We show that disagreement (mismatches) and cooperation are incomparable: neither can be used to simulate the other one. The fact that mismatches are a hard property is especially surprising, since no known, explicit construction of a computational device in tile assembly uses mismatches, except for the recent construction of an intrinsically universal tileset, i.e. a tileset capable of simulating any other tileset up to rescaling. This work shows how to use intrinsic universality in a systematic way to highlight the essence of different features of tile assembly. Moreover, even the most recent experimental realizations do not use competition, which, in view of our results, suggests that a large part of the natural phenomena behind DNA self-assembly remains to be understood experimentally.


title: Nonequilibrium inhomogeneous steady state distribution in disordered, mean-field rotator systems

abstract: We present a novel method to compute the phase space distribution in the nonequilibrium stationary state of a wide class of mean-field systems involving rotators subject to quenched disordered external drive and dissipation. The method involves a series expansion of the stationary distribution in inverse of the damping coefficient; the expansion coefficients satisfy recursion relations whose solution requires computing a sparse matrix, making numerical evaluation simple and efficient. We illustrate our method for the paradigmatic Kuramoto model of spontaneous collective synchronization and for its two mode generalization, in presence of noise and inertia, and demonstrate an excellent agreement between simulations and theory for the phase space distribution.


title: A short proof of a near-optimal cardinality estimate for the product of a sum set

abstract: In this note it is established that, for any finite set $A$ of real numbers, there exist two elements $a,b \in A$ such that $$|(a+A)(b+A)| \gg \frac{|A|^2}{\log |A|}.$$ In particular, it follows that $|(A+A)(A+A)| \gg \frac{|A|^2}{\log |A|}$. The latter inequality had in fact already been established in an earlier work of the author and Rudnev (arXiv:1203.6237), which built upon the recent developments of Guth and Katz (arXiv:1011.4105) in their work on the Erd\H{o}s distinct distance problem. Here, we do not use those relatively deep methods, and instead we need just a single application of the Szemer\'{e}di-Trotter Theorem. The result is also qualitatively stronger than the corresponding sum-product estimate from (arXiv:1203.6237), since the set $(a+A)(b+A)$ is defined by only two variables, rather than four. One can view this as a solution for the pinned distance problem, under an alternative notion of distance, in the special case when the point set is a direct product $A \times A$. Another advantage of this more elementary approach is that these results can now be extended for the first time to the case when $A \subset \mathbb C$.


title: Positive Inductive-Recursive Definitions

abstract: A new theory of data types which allows for the definition of types as initial algebras of certain functors Fam(C) -> Fam(C) is presented. This theory, which we call positive inductive-recursive definitions, is a generalisation of Dybjer and Setzer's theory of inductive-recursive definitions within which C had to be discrete -- our work can therefore be seen as lifting this restriction. This is a substantial endeavour as we need to not only introduce a type of codes for such data types (as in Dybjer and Setzer's work), but also a type of morphisms between such codes (which was not needed in Dybjer and Setzer's development). We show how these codes are interpreted as functors on Fam(C) and how these morphisms of codes are interpreted as natural transformations between such functors. We then give an application of positive inductive-recursive definitions to the theory of nested data types and we give concrete examples of recursive functions defined on universes by using their elimination principle. Finally we justify the existence of positive inductive-recursive definitions by adapting Dybjer and Setzer's set-theoretic model to our setting.


title: A New Penta-valued Logic Based Knowledge Representation

abstract: In this paper a knowledge representation model are proposed, FP5, which combine the ideas from fuzzy sets and penta-valued logic. FP5 represents imprecise properties whose accomplished degree is undefined, contradictory or indeterminate for some objects. Basic operations of conjunction, disjunction and negation are introduced. Relations to other representation models like fuzzy sets, intuitionistic, paraconsistent and bipolar fuzzy sets are discussed.


title: Le probl\`eme intensionnel de la quantification chez Hilbert (The intensional problem of quantification in Hilbert)

abstract: The paper (in French) presents a survey of Hilbert's Epsilon operator focusing on the intensional aspects of its semantics. It comments on some epistemological problems, from Albert Lautman in the 1930s to John Bell, Grigori Mints, Barry Hartley Slater, Richard Zach or Edward Zalta in the 1990s.


title: Fission fragment mass yield deduced from density distribution in the pre-scission configuration

abstract: Static self-consistent methods usually allow to determine the most probable fission fragments mass asymmetry. We have applied random neck rupture mechanism to the nuclei in the configuration at the end of fission paths. Fission fragment mass distributions have been deduced from the pre-scission nuclear density distribution obtained from the self-consistent calculations. Potential energy surfaces as well as nuclear shapes have been calculated in the fully microscopic theory, namely the constrained Hartree-Fock-Bogolubov model with the effective Gogny D1S density-dependent interaction. The method has been applied for analysis of fission of Fm-256,258, Cf-252 and Hg-180 and compared with the experimental data.


title: Multi-valued Color Representation Based on Frank t-norm Properties

abstract: In this paper two knowledge representation models are proposed, FP4 and FP6. Both combine ideas from fuzzy sets and four-valued and hexa-valued logics. Both represent imprecise properties whose accomplished degree is unknown or contradictory for some objects. A possible application in the color analysis and color image processing is discussed.


title: On the behavior of scattering phases in collisions of electrons with multi-atomic objects

abstract: We have studied the energy dependence of several first scattering phases with multi-atomic object. As concrete examples representing the general trends endohedrals Neon inside C60 and Argon inside C60 are considered. It appeared that the presence of an inner atom, either Ne or Ar, qualitatively affects the scattering phases, in spite of the fact that the fullerene consists of 60 carbon atoms, while the atom staffed inside is only one. Calculations are performed in the one-electron Hartree-Fock (HF) and random phase approximation with exchange (RPAE) for the inner atom while the fullerenes shell is substituted by static potential without and with the polarization potential. It appeared that the total endohedral scattering phase is simply a sum of atomic, Ne or Ar, and fullerenes C60 phases, contrary to the intuitive assumption that the total phases on C60 and Neon inside C60 or Ar inside C60 has to be the same.


title: Fully spin-dependent boundary condition for isotropic quasiclassical Green's functions

abstract: Transport in superconducting heterostructures is very successfully described with quasiclassical Green's functions augmented by microscopically derived boundary conditions. However, so far the spin-dependence is in the diffusive approach included only for limiting cases. Here, we derive the fully spin-dependent boundary condition completing the Usadel equation and the circuit theory. Both, material specific spin-degrees of freedom and spin-dependent interface effects, i.e. spin-mixing and polarization of the transmission coefficients are treated exactly. This opens the road to accurately describe a completely new class of mesoscopic circuits including materials with strong intrinsic magnetic structure. We also discuss several experimentally relevant cases like the tunnel limit, a ferromagnetic insulator with arbitrarily strong magnetization and the limit of small spin-mixing.


title: Sinai-Ruelle-Bowen measures for piecewise hyperbolic maps with two directions of instability in three-dimensional spaces

abstract: A class of piecewise $C^2$ Lozi-like maps in three-dimensional Euclidean spaces is introduced, and the existence of Sinai-Ruelle-Bowen measures is studied, where the dimension of the instability is equal to two. Further, an example with computer simulations is provided to illustrate the theoretical results.


title: On a minimal set of generators for the polynomial algebra of five variables as a module over the Steenrod algebra

abstract: Denote by $P_k$ the graded polynomial algebra $\mathbb F_2[x_1,x_2,\ldots ,x_k]$ over the prime field of two elements, $\mathbb F_2$, with the degree of each $x_i$ being 1. We study the Peterson hit problem of determining a minimal set of generators for $P_k$ as a module over the mod-$2$ Steenrod algebra, $\mathcal{A}.$ In this paper, we explicitly determine a minimal set of $\mathcal{A}$-generators for $P_k$ in the case $k=5$ and the degree $4(2^d - 1)$ with $d$ an arbitrary positive integer.


title: Entropies and the derivatives of some Heun functions

abstract: This short note contains a list of new results concerning the R\'{e}nyi entropy, the Tsallis entropy, and the Heun functions associated with positive linear operators.


title: Finding Dantzig selectors with a proximity operator based fixed-point algorithm

abstract: In this paper, we study a simple iterative method for finding the Dantzig selector, which was designed for linear regression problems. The method consists of two main stages. The first stage is to approximate the Dantzig selector through a fixed-point formulation of solutions to the Dantzig selector problem. The second stage is to construct a new estimator by regressing data onto the support of the approximated Dantzig selector. We compare our method to an alternating direction method, and present the results of numerical simulations using both the proposed method and the alternating direction method on synthetic and real data sets. The numerical simulations demonstrate that the two methods produce results of similar quality, however the proposed method tends to be significantly faster.


title: Anisotropic parton escape is the dominant source of azimuthal anisotropy in transport models

abstract: We trace the development of elliptic anisotropy ($v_2$) via parton-parton collision history in two transport models. The parton $v_2$ is studied as a function of the number of collisions of each parton in Au+Au and $d$+Au collisions at $\sqrt{s_{_{\rm NN}}}=200$ GeV. It is found that the majority of $v_2$ comes from the anisotropic escape probability of partons, with no fundamental difference at low and high transverse momenta. The contribution to $v_2$ from hydrodynamic-type collective flow is found to be small. Only when the parton-parton cross-section is set unrealistically large does this contribution start to take over. Our findings challenge the current paradigm emerged from hydrodynamic comparisons to anisotropy data.


title: Nonclassifiability of UHF $L^p$-operator algebras

abstract: We prove that simple, separable, monotracial UHF $L^{p}$-operator algebras are not classifiable up to (complete) isomorphism using countable structures, such as K-theoretic data, as invariants. The same assertion holds even if one only considers UHF $L^{p}$-operator algebras of tensor product type obtained from a diagonal system of similarities. For $p=2$, it follows that separable nonselfadjoint UHF operator algebras are not classifiable by countable structures up to (complete) isomorphism. Our results, which answer a question of N. Christopher Phillips, rely on Borel complexity theory, and particularly Hjorth's theory of turbulence.


title: Positive and negative mass solitons in spin-orbit coupled Bose-Einstein condensates

abstract: We present a unified description of different types of matter-wave solitons that can emerge in quasi one-dimensional spin-orbit coupled (SOC) Bose-Einstein condensates (BECs). This description relies on the reduction of the original two-component Gross-Pitaevskii SOC-BEC model to a single nonlinear Schr\"{o}dinger equation, via a multiscale expansion method. This way, we find approximate bright and dark soliton solutions, for attractive and repulsive interatomic interactions respectively, for different regimes of the SOC interactions. Beyond this, our approach also reveals "negative mass" regimes, where corresponding "negative mass" bright or dark solitons can exist for repulsive or attractive interactions, respectively. Such a unique opportunity stems from the structure of the excitation spectrum of the SOC-BEC. Numerical results are found to be in excellent agreement with our analytical predictions.


title: Matrix model approach to minimal Liouville gravity revisited

abstract: Using the connection with the Frobenius manifold structure, we study the matrix model description of minimal Liouville gravity (MLG) based on the Douglas string equation. Our goal is to find an exact discrete formulation of the (q,p) MLG model that intrinsically contains information about the conformal selection rules. We discuss how to modify the Frobenius manifold structure appropriately for this purposes. We propose a modification of the construction for Lee-Yang series involving the $A_{p-1}$ algebra instead of the previously used $A_1$ algebra. With the new prescription, we calculate correlators on the sphere up to four points and find full agreement with the continuous approach without using resonance transformations.


title: Analyticity and compactness of semigroups of composition operators

abstract: This paper provides a complete characterization of quasicontractive groups and analytic $C_0$-semigroups on Hardy and Dirichlet space on the unit disc with a prescribed generator of the form $Af=Gf'$. In the analytic case we also give a complete characterization of immediately compact semigroups. When the analyticity fails, we obtain sufficient conditions for compactness and membership in the trace class. Finally, we analyse the case where the unit disc is replaced by the right-half plane, where the results are drastically different.


title: Adaptive system optimization using random directions stochastic approximation

abstract: We present novel algorithms for simulation optimization using random directions stochastic approximation (RDSA). These include first-order (gradient) as well as second-order (Newton) schemes. We incorporate both continuous-valued as well as discrete-valued perturbations into both our algorithms. The former are chosen to be independent and identically distributed (i.i.d.) symmetric, uniformly distributed random variables (r.v.), while the latter are i.i.d., asymmetric, Bernoulli r.v.s. Our Newton algorithm, with a novel Hessian estimation scheme, requires N-dimensional perturbations and three loss measurements per iteration, whereas the simultaneous perturbation Newton search algorithm of [1] requires 2N-dimensional perturbations and four loss measurements per iteration. We prove the unbiasedness of both gradient and Hessian estimates and asymptotic (strong) convergence for both first-order and second-order schemes. We also provide asymptotic normality results, which in particular establish that the asymmetric Bernoulli variant of Newton RDSA method is better than 2SPSA of [1]. Numerical experiments are used to validate the theoretical results.


title: Network Geometry Inference using Common Neighbors

abstract: We introduce and explore a new method for inferring hidden geometric coordinates of nodes in complex networks based on the number of common neighbors between the nodes. We compare this approach to the HyperMap method, which is based only on the connections (and disconnections) between the nodes, i.e., on the links that the nodes have (or do not have). We find that for high degree nodes the common-neighbors approach yields a more accurate inference than the link-based method, unless heuristic periodic adjustments (or "correction steps") are used in the latter. The common-neighbors approach is computationally intensive, requiring $O(t^4)$ running time to map a network of $t$ nodes, versus $O(t^3)$ in the link-based method. But we also develop a hybrid method with $O(t^3)$ running time, which combines the common-neighbors and link-based approaches, and explore a heuristic that reduces its running time further to $O(t^2)$, without significant reduction in the mapping accuracy. We apply this method to the Autonomous Systems (AS) Internet, and reveal how soft communities of ASes evolve over time in the similarity space. We further demonstrate the method's predictive power by forecasting future links between ASes. Taken altogether, our results advance our understanding of how to efficiently and accurately map real networks to their latent geometric spaces, which is an important necessary step towards understanding the laws that govern the dynamics of nodes in these spaces, and the fine-grained dynamics of network connections.


title: Equilibria of point-vortices on closed surfaces

abstract: We discuss the existence of equilibrium configurations for the Hamiltonian point-vortex model on a closed surface $\Sigma$. The topological properties of $\Sigma$ determine the occurrence of three distinct situations, corresponding to $\mathbb{S}^2$, to $\mathbb{RP}^2$ and to $\Sigma \not=\mathbb{S}^2,\mathbb{RP}^2$. As a by-product, we also obtain new existence results for the singular mean-field equation with exponential nonlinearity.


title: Geometry of the arithmetic site

abstract: We introduce the Arithmetic Site: an algebraic geometric space deeply related to the non-commutative geometric approach to the Riemann Hypothesis. We prove that the non-commutative space quotient of the adele class space of the field of rational numbers by the maximal compact subgroup of the idele class group, which we had previously shown to yield the correct counting function to obtain the complete Riemann zeta function as Hasse-Weil zeta function, is the set of geometric points of the arithmetic site over the semifield of tropical real numbers. The action of the multiplicative group of positive real numbers on the adele class space corresponds to the action of the Frobenius automorphisms on the above geometric points. The underlying topological space of the arithmetic site is the topos of functors from the multiplicative semigroup of non-zero natural numbers to the category of sets. The structure sheaf is made by semirings of characteristic one and is given globally by the semifield of tropical integers. In spite of the countable combinatorial nature of the arithmetic site, this space admits a one parameter semigroup of Frobenius correspondences obtained as sub-varieties of the square of the site. This square is a semi-ringed topos whose structure sheaf involves Newton polygons. Finally, we show that the arithmetic site is intimately related to the structure of the (absolute) point in non-commutative geometry.


title: Non-perturbative studies of N=2 conformal quiver gauge theories

abstract: We study N=2 super-conformal field theories in four dimensions that correspond to mass-deformed linear quivers with n gauge groups and (bi-)fundamental matter. We describe them using Seiberg-Witten curves obtained from an M-theory construction and via the AGT correspondence. We take particular care in obtaining the detailed relation between the parameters appearing in these descriptions and the physical quantities of the quiver gauge theories. This precise map allows us to efficiently reconstruct the non-perturbative prepotential that encodes the effective IR properties of these theories. We give explicit expressions in the cases n=1,2, also in the presence of an Omega-background in the Nekrasov-Shatashvili limit. All our results are successfully checked against those of the direct microscopic evaluation of the prepotential a la Nekrasov using localization methods.


title: Granular front formation in free-surface flow of concentrated suspensions

abstract: Granular fronts are a common yet unexplained phenomenon emerging during the gravity driven free-surface flow of concentrated suspensions. They are usually believed to be the result of fluid convection in combination with particle size segregation. However, suspensions composed of uniformly sized particles also develop a granular front. Within a large rotating drum, a stationary recirculating avalanche is generated. The flowing material is a mixture of a visco-plastic fluid obtained from a kaolin-water dispersion, with spherical ceramic particles denser than the fluid. The goal is to mimic the composition of many common granular-fluid materials, like fresh concrete or debris flow. In these materials, granular and fluid phases have the natural tendency to segregate due to particle settling. However, through the shearing caused by the rotation of the drum, a reorganization of the phases is induced, leading to the formation of a granular front. By tuning the material properties and the drum velocity, it is possible to control this phenomenon. The setting is reproduced in a numerical environment, where the fluid is solved by a Lattice-Boltzmann Method, and the particles are explicitly represented using the Discrete Element Method. The simulations confirm the findings of the experiments, and provide insight into the internal mechanisms. Comparing the time-scale of particle settling with the one of particle recirculation, a non-dimensional number is defined, and is found to be effective in predicting the formation of a granular front.


title: Characterizing gravitational instability in turbulent multi-component galactic discs

abstract: Gravitational instabilities play an important role in galaxy evolution and in shaping the interstellar medium (ISM). The ISM is observed to be highly turbulent, meaning that observables like the gas surface density and velocity dispersion depend on the size of the region over which they are measured. In this work we investigate, using simulations of Milky Way-like disc galaxies with a resolution of $\sim 9$ pc, the nature of turbulence in the ISM and how this affects the gravitational stability of galaxies. By accounting for the measured average turbulent scalings of the density and velocity fields in the stability analysis, we can more robustly characterize the average level of stability of the galaxies as a function of scale, and in a straightforward manner identify scales prone to fragmentation. Furthermore, we find that the stability of a disc with feedback-driven turbulence can be well described by a "Toomre-like" $Q$ stability criterion on all scales, whereas the classical $Q$ can formally lose its meaning on small scales if violent disc instabilities occur in models lacking pressure support from stellar feedback.


title: Typical behavior of the harmonic measure in critical Galton-Watson trees

abstract: We study the typical behavior of the harmonic measure of balls in large critical Galton-Watson trees whose offspring distribution has finite variance. The harmonic measure considered here refers to the hitting distribution of height $n$ by simple random walk on a critical Galton-Watson tree conditioned to have height greater than $n$. We prove that, with high probability, the mass of the harmonic measure carried by a random vertex uniformly chosen from height $n$ is approximately equal to $n^{-\lambda}$, where the constant $\lambda>1$ does not depend on the offspring distribution. This universal constant $\lambda$ is equal to the first moment of the asymptotic distribution of the conductance of size-biased Galton-Watson trees minus 1.


title: Absolute algebra and Segal's Gamma sets

abstract: We show that the basic categorical concept of an S-algebra as derived from the theory of Segal's Gamma-sets provides a unifying description of several constructions attempting to model an algebraic geometry over the absolute point. It merges, in particular, the approaches using monoids, semirings and hyperrings as well as the development by means of monads and generalized rings in Arakelov geometry. The assembly map determines a functorial way to associate an S-algebra to a monad on pointed sets. The notion of an S-algebra is very familiar in algebraic topology where it also provides a suitable groundwork to the definition of topological cyclic homology. The main contribution of this paper is to point out its relevance and unifying role in arithmetic, in relation with the development of an algebraic geometry over symmetric closed monoidal categories.


title: Lagrangian inclusion with an open Whitney umbrella is rationally convex

abstract: It is shown that a Lagrangian inclusion of a real surface in $\mathbb C^2$ with a standard open Whitney umbrella and double transverse self-intersections is rationally convex.


title: Hydrophobicity Scaling of Aqueous Interfaces by an Electrostatic Mapping

abstract: An understanding of the hydrophobicity of complex heterogeneous molecular assemblies is crucial to characterize and predict interactions between biomolecules. As such, uncovering the subtleties of assembly processes hinges on an accurate classification of the relevant interfaces involved, and much effort has been spent on developing so-called "hydrophobicity maps." In this work, we introduce a novel electrostatics-based mapping of aqueous interfaces that focuses on the collective, long-wavelength electrostatic response of water to the presence of nearby surfaces. In addition to distinguishing between hydrophobic and hydrophilic regions of heterogeneous surfaces, this electrostatic mapping can also differentiate between hydrophilic regions that polarize nearby waters in opposing directions. We therefore expect this approach to find use in predicting the location of possible water-mediated hydrophilic interactions, in addition to the more commonly emphasized hydrophobic interactions that can also be of significant importance.


title: Optimized multi-site local orbitals in the large-scale DFT program CONQUEST

abstract: We introduce numerical optimization of multi-site support functions in the linear-scaling DFT code CONQUEST. Multi-site support functions, which are linear combinations of pseudo-atomic orbitals on a target atom and those neighbours within a cutoff, have been recently proposed to reduce the number of support functions to the minimal basis while keeping the accuracy of a large basis [J. Chem. Theory Comput., 2014, 10, 4813]. The coefficients were determined by using the local filter diagonalization (LFD) method [Phys. Rev. B, 2009, 80, 205104]. We analyse the effect of numerical optimization of the coefficients produced by the LFD method. Tests on crystalline silicon, a benzene molecule and hydrated DNA systems show that the optimization improves the accuracy of the multi-site support functions with small cutoffs. It is also confirmed that the optimization guarantees the variational energy minimizations with multi-site support functions.


title: Book Review of 'Evolutionary and Interpretive Archaeologies' Edited by Ethan E. Cochrane and Andrew Gardner

abstract: Evolutionary and Interpretive Archaeologies, edited by Ethan E. Cochrane and Andrew Gardner, grew out of a seminar at the Institute for Archaeology at University College London in 2007. It consists of 15 chapters by archaeologists who self-identify themselves as practitioners who emphasize the benefits of evolutionary or interpretive approaches to the study of the archaeological record. While the authors' theoretical views are dichotomous, the editors' aim for the book as a whole is not to expound on the differences between these two kinds of archaeology but to bring forward a richer understanding of the discipline and to highlight areas of mutual concern. Some chapters come across as a bit of a sales pitch, but the majority of the contributions emphasize how each approach can be productively used to address the goals of the other. The book seeks to contribute to a mutually beneficial and more productive discipline, and overall, it succeeds in this effort.


title: Enhancement of annihilation cross sections by electric interactions between the antineutron and the field of a large nucleus

abstract: Data relative to antineutron and antiproton annihilation on large nuclei in the range 75-200 MeV/c present two unexpected features: (a) antineutron and antiproton cross sections have a similar size, (ii) the rise of the antineutron cross section at decreasing energy is much steeper than predictable for an inelastic process of purely strong nature at that energy. The observed behavior of antineutron-nucleus annihilations is similar to what would be expected for antiproton-nucleus annihilations, where Coulomb attraction focusses antiproton trajectories towards the nucleus, enhancing the inelastic cross section by a factor O(1/p) with respect to antineutrons on the same target. This results in a 1/p^2 behavior at small energies. The presence of a similar enhancement in the antineutron case may only be justified by an interaction with a longer range than strong interactions. Excluding a Coulomb force because of the antineutron neutrality, and taking into account that an intrinsic electric dipole is forbidden for the antineutron, the next choice is an electric dipole that is induced by the nuclear electric field. Recent theoretical works have shown that a non-negligible electric polarization may be induced in a neutron by QED vacuum polarization. Assuming this as a possibility, we have used a simple model to calculate the polarization strengths that are needed to fit the available data in terms of this effect. These are within the magnitude predicted by the vacuum polarization model. We have also discussed alternative scenarios that could induce an electric polarization of the antineutron as a consequence of the interplay between strong and e.m. interactions.


title: Radial Fuzzy Systems

abstract: The class of radial fuzzy systems is introduced. The fuzzy systems in this class use radial functions to implement membership functions of fuzzy sets and exhibit a shape preservation property in antecedents of their rules. The property is called the radial property. It enables the radial fuzzy systems to have their computational model mathematically tractable under both conjunctive and implicative representations of their rule bases. Coherence of radial implicative fuzzy systems is discussed and a sufficient condition for coherence is stated.


title: Conceptual framework for performing simultaneous fold and sequence optimization in multi-scale protein modeling

abstract: We present a dual optimization concept of predicting optimal sequences as well as optimal folds of off-lattice protein models in the context of multi-scale modeling. We validate the utility of the recently introduced hidden-force Monte Carlo optimization algorithm by finding significantly lower energy folds for minimalist and detailed protein models than previously reported. Further, we also find the protein sequence that yields the lowest energy fold amongst all sequences for a given chain length and residue mixture. In particular, for protein models with a binary sequence, we show that the sequence-optimized folds form more compact cores than the lowest energy folds of the historically fixed, Fibonacci-series sequences of chain lengths of 13, 21, 34, 55, and 89. We then extend our search algorithm to use UNRES, one of the leading united-residue protein force fields. Our combined fold and sequence optimization on three test proteins reveal an inherent bias in UNRES favoring alpha helical structures even when secondary structure prediction clearly suggests only beta sheets besides random coil, and virtually no helices. One test in particular, a triple-stranded antiparallel beta-sheet protein domain, demonstrates that by permutations of its sequence UNRES re-folds this structure into a perfect alpha helix but, in fact, the helix is just an artefact of the force field, the structure quickly unfolds in all-atom state-of-the-art molecular dynamics simulation.


title: Ground-state Stabilization of Open Quantum Systems by Dissipation

abstract: Control by dissipation, or environment engineering, constitutes an important methodology within quantum coherent control which was proposed to improve the robustness and scalability of quantum control systems. The system-environment coupling, often considered to be detrimental to quantum coherence, also provides the means to steer the system to desired states. This paper aims to develop the theory for engineering of the dissipation, based on a ground-state Lyapunov stability analysis of open quantum systems via a Heisenberg-picture approach. Algebraic conditions concerning the ground-state stability and scalability of quantum systems are obtained. In particular, Lyapunov stability conditions expressed as operator inequalities allow a purely algebraic treatment of the environment engineering problem, which facilitates the integration of quantum components into a large-scale quantum system and draws an explicit connection to the classical theory of vector Lyapunov functions and decomposition-aggregation methods for control of complex systems. The implications of the results in relation to dissipative quantum computing and state engineering are also discussed in this paper.


title: Neumann problem for non-divergence elliptic and parabolic equations with BMO$_x$ coefficients in weighted Sobolev spaces

abstract: We prove the unique solvability in weighted Sobolev spaces of non-divergence form elliptic and parabolic equations on a half space with the homogeneous Neumann boundary condition. All the leading coefficients are assumed to be only measurable in the time variable and have small mean oscillations in the spatial variables. Our results can be applied to Neumann boundary value problems for {\em stochastic} partial differential equations with BMO$_x$ coefficients.


title: Restoring the SU(4) Kondo regime in a double quantum dot system

abstract: We calculate the spectral density and occupations of a system of two capacitively coupled quantum dots, each one connected to its own pair of conducting leads, in a regime of parameters in which the total coupling to the leads for each dot $\Gamma_i$ are different. The system has been used recently to perform pseudospin spectroscopy by controlling independently the voltages of the four leads. For an odd number of electrons in the system, $\Gamma_1=\Gamma_2$, equal dot levels $E_1=E_2$ and sufficiently large interdot repulsion $U_{12}$ the system lies in the SU(4) symmetric point of spin and pseudospin degeneracy in the Kondo regime. In the more realistic case $\Gamma_1 \neq \Gamma_2$, pseudospin degeneracy is broken and the symmetry is reduced to SU(2). Nevertheless we find that the essential features of the SU(4) symmetric case are recovered by appropriately tuning the level difference $\delta=E_2-E_1$. The system behaves as an SU(4) Kondo one at low energies. Our results are relevant for experiments which look for signatures of SU(4) symmetry in the Kondo regime of similar systems.


title: Domain size heterogeneity in the Ising model: geometrical and thermal transitions

abstract: A measure of cluster size heterogeneity ($H$), introduced by Lee et al [Phys. Rev. E {\bf 84}, 020101 (2011)] in the context of explosive percolation, was recently applied to random percolation and to domains of parallel spins in the Ising and Potts models. It is defined as the average number of different domain sizes in a given configuration and a new exponent was introduced to explain its scaling with the size of the system. In thermal spin models, however, physical clusters take into account the temperature-dependent correlation between neighboring spins and encode the critical properties of the phase transition. We here extend the measure of $H$ to these clusters and, moreover, present new results for the geometric domains for both $d=2$ and 3. We show that the heterogeneity associated with geometric domains has a previously unnoticed double peak, thus being able to detect both the thermal and percolative transition. An alternative interpretation for the scaling of $H$ that does not introduce a new exponent is also proposed.


title: On Detection Issues in the SC-based Uplink of a MU-MIMO System with a Large Number of BS Antennas

abstract: This paper deals with SC/FDE within a MU-MIMO system where a large number of BS antennas is adopted. In this context, either linear or reduced-complexity iterative DF detection techniques are considered. Regarding performance evaluation by simulation, appropriate semi-analytical methods are proposed. This paper includes a detailed evaluation of BER performances for uncoded 4-Quadrature Amplitude Modulation (4-QAM) schemes and a MU-MIMO channel with uncorrelated Rayleigh fading. The accuracy of performance results obtained through the semi-analytical simulation methods is assessed by means of parallel conventional Monte Carlo simulations, under the assumptions of perfect power control and perfect channel estimation. The performance results are discussed in detail, with the help of selected performance bounds. We emphasize that a moderately large number of BS antennas is enough to closely approximate the SIMO MFB performance, especially when using the suggested low-complexity iterative DF technique, which does not require matrix inversion operations. We also emphasize the achievable "massive MIMO" effects, even for strongly reduced-complexity linear detection techniques, provided that the number of BS antennas is much higher than the number of antennas which are jointly employed in the terminals of the multiple autonomous users.


title: Explosive lithium production in the classical nova V339 Del (Nova Delphini 2013)

abstract: The origin of lithium (Li) and its production process have long been an unsettled question in cosmology and astrophysics. Candidates environments of Li production events or sites suggested by previous studies include big bang nucleosynthesis, interactions of energetic cosmic rays with interstellar matter, evolved low mass stars, novae, and supernova explosions. Chemical evolution models and observed stellar Li abundances suggest that at least half of the present Li abundance may have been produced in red giants, asymptotic giant branch (AGB) stars, and novae. However, no direct evidence for the supply of Li from stellar objects to the Galactic medium has yet been found. Here we report on the detection of highly blue-shifted resonance lines of the singly ionized radioactive isotope of beryllium, $^{7}$Be, in the near ultraviolet (UV) spectra of the classical nova V339 Del (Nova Delphini 2013). Spectra were obtained 38 to 48 days after the explosion. $^{7}$Be decays to form $^{7}$Li within a short time (half-life 53.22 days). The spectroscopic detection of this fragile isotope implies that it has been created during the nova explosion via the reaction $^{3}\mbox{He}(\alpha,\gamma)^{7}\mbox{Be}$, and supports the theoretical prediction that a significant amount of $^{7}$Li could be produced in classical nova explosions. This finding opens a new way to explore $^{7}$Li production in classical novae and provides a clue to the mystery of the Galactic evolution of lithium.


title: Spread of Influence in Weighted Networks under Time and Budget Constraints

abstract: Given a network represented by a weighted directed graph G, we consider the problem of finding a bounded cost set of nodes S such that the influence spreading from S in G, within a given time bound, is as large as possible. The dynamic that governs the spread of influence is the following: initially only elements in S are influenced; subsequently at each round, the set of influenced elements is augmented by all nodes in the network that have a sufficiently large number of already influenced neighbors. We prove that the problem is NP-hard, even in simple networks like complete graphs and trees. We also derive a series of positive results. We present exact pseudo-polynomial time algorithms for general trees, that become polynomial time in case the trees are unweighted. This last result improves on previously published results. We also design polynomial time algorithms for general weighted paths and cycles, and for unweighted complete graphs.


title: Conditional tests for elliptical symmetry using robust estimators

abstract: This paper presents a procedure for testing the hypothesis that the underlying distribution of the data is elliptical when using robust location and scatter estimators instead of the sample mean and covariance matrix. Under mild assumptions that include elliptical distributions without first moments, we derive the test statistic asymptotic behaviour under the null hypothesis and under special alternatives. Numerical experiments allow to compare the behaviour of the tests based on the sample mean and covariance matrix with that based on robust estimators, under various elliptical distributions and different alternatives. This comparison was done looking not only at the observed level and power but we rather use the size-corrected relative exact power which provides a tool to assess the test statistic skill to detect alternatives. We also provide a numerical comparison with other competing tests.


title: SSALMON - The Solar Simulations for the Atacama Large Millimeter Observatory Network

abstract: The Solar Simulations for the Atacama Large Millimeter Observatory Network (SSALMON) was initiated in 2014 in connection with two ALMA development studies. The Atacama Large Millimeter/submillimeter Array (ALMA) is a powerful new tool, which can also observe the Sun at high spatial, temporal, and spectral resolution. The international SSALMONetwork aims at coordinating the further development of solar observing modes for ALMA and at promoting scientific opportunities for solar physics with particular focus on numerical simulations, which can provide important constraints for the observing modes and can aid the interpretation of future observations. The radiation detected by ALMA originates mostly in the solar chromosphere - a complex and dynamic layer between the photosphere and corona, which plays an important role in the transport of energy and matter and the heating of the outer layers of the solar atmosphere. Potential targets include active regions, prominences, quiet Sun regions, flares. Here, we give a brief overview over the network and potential science cases for future solar observations with ALMA.


title: Under Collatz conjecture the Collatz mapping has no an asymptotic mixing property $\pmod{3}$

abstract: By using properties of Markov homogeneous chains and Banach measure in $\mathrm{N}$, it is proved that a relative frequency of even numbers in the sequence of $n$-th coordinates of all Collatz sequences is equal to the number $\frac{2}{3}+\frac{(-1)^{n+1}}{3\times 2^{n+1}}.$ It is shown also that an analogous numerical characteristic for numbers of the form $3m+1$ is equal to the number $\frac{3}{5}+ \frac{(-1)^{n+1}}{15 \times 2^{2(n-1)}}. $ By using these formulas it is proved that under Collatz conjecture the Collatz mapping has no an asymptotic mixing property $\pmod{3}$. It is constructed also an example of a real-valued function on the cartesian product $N^2$ of the set of all natural numbers $N$ such that an equality its repeated integrals (with respect to Banach measure in $N$) implies that Collatz conjecture fails. In addition, it is demonstrated that Collatz conjecture fails for supernatural numbers.


title: Assessment of 48 Stock markets using adaptive multifractal approach

abstract: Stock market comovements are examined using cointegration, Granger causality tests and nonlinear approaches in context of mutual information and correlations. Underlying data sets are affected by non-stationarities and trends, we also apply AMF-DFA and AMF-DXA. We find only 170 pair of Stock markets cointegrated, and according to the Granger causality and mutual information, we realize that the strongest relations lies between emerging markets, and between emerging and frontier markets. According to scaling exponent given by AMF-DFA, $h(q=2)>1$, we find that all underlying data sets belong to non-stationary process. According to EMH, only 8 markets are classified in uncorrelated processes at $2\sigma$ confidence interval. 6 Stock markets belong to anti-correlated class and dominant part of markets has memory in corresponding daily index prices during January 1995 to February 2014. New-Zealand with $H=0.457\pm0.004$ and Jordan with $H=0.602\pm 0.006$ are far from EMH. The nature of cross-correlation exponents based on AMF-DXA is almost multifractal for all pair of Stock markets. The empirical relation, $H_{xy}\le [H_{xx}+H_{yy}]/2$, is confirmed. Mentioned relation for $q>0$ is also satisfied while for $q<0$ there is a deviation from this relation confirming behavior of markets for small fluctuations is affected by contribution of major pair. For larger fluctuations, the cross-correlation contains information from both local and global conditions. Width of singularity spectrum for auto-correlation and cross-correlation are $\Delta \alpha_{xx}\in [0.304,0.905]$ and $\Delta \alpha_{xy}\in [0.246,1.178]$, respectively. The wide range of singularity spectrum for cross-correlation confirms that the bilateral relation between Stock markets is more complex. The value of $\sigma_{DCCA}$ indicates that all pairs of stock market studied in this time interval belong to cross-correlated processes.


title: Magnetic polarization of the americium $J = 0$ ground state in AmFe$_{2}$

abstract: Trivalent americium has a non-magnetic ($J$ = 0) ground state arising from the cancelation of the orbital and spin moments. However, magnetism can be induced by a large molecular field if Am$^{3+}$ is embedded in a ferromagnetic matrix. Using the technique of x-ray magnetic circular dichroism, we show that this is the case in AmFe$_2$. Since $\langle J_z \rangle$ = 0, the spin component is exactly twice as large as the orbital one, the total Am moment is opposite to that of Fe, and the magnetic dipole operator $\langle T_{z} \rangle$ can be determined directly; we discuss the progression of the latter across the actinide series.


title: Probing topological transitions in HgTe/CdTe quantum wells by magneto-optical measurements

abstract: In two-dimensional topological insulators, such as inverted HgTe/CdTe quantum wells, helical quantum spin Hall (QSH) states persist even at finite magnetic fields below a critical magnetic field $B_\mathrm{c}$, above which only quantum Hall (QH) states can be found. Using linear-response theory, we theoretically investigate the magneto-optical properties of inverted HgTe/CdTe quantum wells, both for infinite two-dimensional and finite-strip geometries, and possible signatures of the transition between the QSH and QH regimes. In the absorption spectrum, several peaks arise due to non-equidistant Landau levels in both regimes. However, in the QSH regime, we find an additional absorption peak at low energies in the finite-strip geometry. This peak arises due to the presence of edge states in this geometry and persists for any Fermi level in the QSH regime, while in the QH regime the peak vanishes if the Fermi level is situated in the bulk gap. Thus, by sweeping the gate voltage, it is possible to experimentally distinguish between the QSH and QH regimes due to this signature. Moreover, we investigate the effect of spin-orbit coupling and finite temperature on this measurement scheme.


title: A universal regularization method for ill-posed Cauchy problems for quasilinear partial differential equations

abstract: For the first time, a globally convergent numerical method is presented for ill-posed Cauchy problems for quasilinear PDEs. The key idea is to use Carleman Weight Functions to construct globally strictly convex Tikhonov-like cost functionals.


title: Spin-base invariance of Fermions in arbitrary dimensions

abstract: The concept of spin-base invariance is extended to arbitrary integer dimension $d \geq 2$. Explicit formulas for the spin connection as a function of the Dirac matrices are found. We disclose the hidden spin-base invariance of the vielbein formalism and give a detailed motivation for this symmetry from first principles. The common Lorentz symmetric gauge for the vielbein is constructed for the Dirac matrices, even for metrics which are not linearly connected. Under certain criteria, it constitutes the simplest possible gauge, demonstrating why this gauge is so useful.


title: Hysteresis in Magnetic Shape Memory Composites: Modeling and Simulation

abstract: Magnetic shape memory alloys are characterized by the coupling between a structural phase transition and magnetic one. This permits to control the shape change via an external magnetic field, at least in single crystals. Composite materials with single-crystalline particles embedded in a softer matrix have been proposed as a way to overcome the blocking of the transformation at grain boundaries. We investigate hysteresis phenomena for small NiMnGa single crystals embedded in a polymer matrix for slowly varying magnetic fields. The evolution of the microstructure is studied within the rate-independent variational framework proposed by Mielke and Theil (1999). The underlying variational model incorporates linearized elasticity, micromagnetism, stray field and a dissipation term proportional to the volume swept by the phase boundary. The time discretization is based on an incremental minimization of the sum of energy and dissipation. A backtracking approach is employed to approximately ensure the global minimality condition. We illustrate and discuss the influence of the particle geometry (volume fraction, shape, arrangement) and the polymer elastic parameters on the observed hysteresis and compare with recent experimental results.


title: Micromeasure distributions and applications for conformally generated fractals

abstract: We study the scaling scenery of Gibbs measures for subshifts of finite type on self-conformal fractals and applications to Falconer's distance set problem and dimensions of projections. Our analysis includes hyperbolic Julia sets, limit sets of Schottky groups and graph-directed self-similar sets.


title: Uniform scaling limits for ergodic measures

abstract: We prove that ergodic measures on one-sided shift spaces are uniformly scaling in the sense of Gavish. That is, given a shift ergodic measure we prove that at almost every point the scenery distributions weakly converge to a common distribution on the space of measures. Moreover, we give an explicit description of the limiting distribution in terms of a `reverse Jacobian' function associated with the corresponding measure on the space of left infinite sequences.


title: Low 60Fe abundance in Semarkona and Sahara 99555

abstract: Iron-60 (t1/2=2.62 Myr) is a short-lived nuclide that can help constrain the astrophysical context of solar system formation and date early solar system events. A high abundance of 60Fe (60Fe/56Fe= 4x10-7) was reported by in situ techniques in some chondrules from the LL3.00 Semarkona meteorite, which was taken as evidence that a supernova exploded in the vicinity of the birthplace of the Sun. However, our previous MC-ICPMS measurements of a wide range of meteoritic materials, including chondrules, showed that 60Fe was present in the early solar system at a much lower level (60Fe/56Fe=10-8). The reason for the discrepancy is unknown but only two Semarkona chondrules were measured by MC-ICPMS and these had Fe/Ni ratios below ~2x chondritic. Here, we show that the initial 60Fe/56Fe ratio in Semarkona chondrules with Fe/Ni ratios up to ~24x chondritic is 5.4x10-9. We also establish the initial 60Fe/56Fe ratio at the time of crystallization of the Sahara 99555 angrite, a chronological anchor, to be 1.97x10-9. These results demonstrate that the initial abundance of 60Fe at solar system birth was low, corresponding to an initial 60Fe/56Fe ratio of 1.01x10-8.


title: Towards on-chip generation, routing and detection of non-classical light

abstract: We fabricate an integrated photonic circuit with emitter, waveguide and detector on one chip, based on a hybrid superconductor-semiconductor system. We detect photoluminescence from self-assembled InGaAs quantum dots on-chip using NbN superconducting nanowire single photon detectors. Using the fast temporal response of these detectors we perform time-resolved studies of non-resonantly excited quantum dots. By introducing a temporal filtering to the signal, we are able to resonantly excite the quantum dot and detect its resonance uorescence on-chip with the integrated superconducting single photon detector.


title: Control of charge migration in molecules by ultrashort laser pulses

abstract: Due to electronic many-body effects, the ionization of a molecule can trigger ultrafast electron dynamics appearing as a migration of the created hole charge throughout the system. Here we propose a scheme for control of the charge migration dynamics with a single ultrashort laser pulse. We demonstrate by fully ab initio calculations on a molecule containing a chromophore and an amine moieties that simple pulses can be used for stopping the charge-migration oscillations and localizing the charge on the desired site of the system. We argue that this control may be used to predetermine the follow-up nuclear rearrangement and thus the molecular reactivity.


title: How to Hunt an Invisible Rabbit on a Graph

abstract: We investigate Hunters & Rabbit game, where a set of hunters tries to catch an invisible rabbit that slides along the edges of a graph. We show that the minimum number of hunters required to win on an (n\times m)-grid is \lfloor min{n,m}/2\rfloor+1. We also show that the extremal value of this number on n-vertex trees is between \Omega(log n/log log n) and O(log n).


title: Forgetting and consolidation for incremental and cumulative knowledge acquisition systems

abstract: The application of cognitive mechanisms to support knowledge acquisition is, from our point of view, crucial for making the resulting models coherent, efficient, credible, easy to use and understandable. In particular, there are two characteristic features of intelligence that are essential for knowledge development: forgetting and consolidation. Both plays an important role in knowledge bases and learning systems to avoid possible information overflow and redundancy, and in order to preserve and strengthen important or frequently used rules and remove (or forget) useless ones. We present an incremental, long-life view of knowledge acquisition which tries to improve task after task by determining what to keep, what to consolidate and what to forget, overcoming The Stability-Plasticity dilemma. In order to do that, we rate rules by introducing several metrics through the first adaptation, to our knowledge, of the Minimum Message Length (MML) principle to a coverage graph, a hierarchical assessment structure which treats evidence and rules in a unified way. The metrics are not only used to forget some of the worst rules, but also to set a consolidation process to promote those selected rules to the knowledge base, which is also mirrored by a demotion system. We evaluate the framework with a series of tasks in a chess rule learning domain.


title: An Analysis of the VLASS Proposal

abstract: The proposed VLA Sky Survey (VLASS) comprises two distinct S-band (2--4 GHz) surveys: (1) All-Sky covering the sky north of -40 deg with rms noise 69 microJy/beam = 1.5 K in the 2.5 arcsec beam and (2) Deep covering 10 square deg with rms noise 1.5 microJy/beam = 0.32 K in the 0.8 arcsec beam. This review compares the scientific goals and technical capabilities of the VLASS proposal (2015 Jan 15 version), using new calculations of performance metrics for surveys made with large fractional bandwidths.


title: Analysis of degenerate cross-diffusion population models with volume filling

abstract: A class of parabolic cross-diffusion systems modeling the interaction of an arbitrary number of population species is analyzed in a bounded domain with no-flux boundary conditions. The equations are formally derived from a random-walk lattice model in the diffusion limit. Compared to previous results in the literature, the novelty is the combination of general degenerate diffusion and volume-filling effects. Conditions on the nonlinear diffusion coefficients are identified, which yield a formal gradient-flow or entropy structure. This structure allows for the proof of global-in-time existence of bounded weak solutions and the exponential convergence of the solutions to the constant steady state. The existence proof is based on an approximation argument, the entropy inequality, and new nonlinear Aubin-Lions compactness lemmas. The proof of the large-time behavior employs the entropy estimate and convex Sobolev inequalities. Moreover, under simplifiying assumptions on the nonlinearities, the uniqueness of weak solutions is shown by using the $H^{-1}$ method, the $E$-monotonicity technique of Gajewski, and the subadditivity of the Fisher information.


title: Preferential Attachment Processes Approaching The Rado Multigraph

abstract: We consider a preferential attachment process in which a multigraph is built one node at a time. The number of edges added at stage $t$, emanating from the new node, is given by some prescribed function $f(t)$, generalising a model considered by Kleinberg and Kleinberg in 2005 where $f$ was presumed constant. We show that if $f(t)$ is asymptotically bounded above and below by linear functions in $t$, then with probability $1$ the infinite limit of the process will be isomorphic to the \emph{Rado multigraph}. This structure is the natural multigraph analogue of the Rado graph, which we introduce here.


title: Gravitational Lensing by Self-Dual Black Holes in Loop Quantum Gravity

abstract: We study gravitational lensing by a recently proposed black hole solution in Loop Quantum Gravity. We highlight the fact that the quantum gravity corrections to the Schwarzschild metric in this model evade the `mass suppression' effects (that the usual quantum gravity corrections are susceptible to) by virtue of one of the parameters in the model being dimensionless, which is unlike any other quantum gravity motivated parameter. Gravitational lensing in the strong and weak deflection regimes is studied and a sample consistency relation is presented which could serve as a test of this model. We discuss that though the consistency relation for this model is qualitatively similar to what would have been in Brans-Dicke, in general it can be a good discriminator between many alternative theories. Although the observational prospects do not seem to be very optimistic even for a galactic supermassive black hole case, time delay between relativistic images for billion solar mass black holes in other galaxies might be within reach of future relativistic lensing observations.


title: Detection and characterization of Io's atmosphere from high-resolution 4-{\mu}m spectroscopy

abstract: We report on high-resolution and spatially-resolved spectra of Io in the 4.0 {\mu}m region, recorded with the VLT/CRIRES instrument in 2008 and 2010, which provide the first detection of the {\nu}1 + {\nu}3 band of SO2 in Io's atmosphere. Data are analyzed to constrain the latitudinal, longitudinal, and diurnal distribution of Io's SO2 atmosphere as well as its characteristic temperature. equatorial SO2 column densities clearly show longitudinal asymmetry, but with a maximum of around 1.5e17 cm-2 at central meridian longitude L = 200-220 and a minimum of around 3e16 cm-2 at L = 285-300, the longitudinal pattern somewhat differs from earlier inferences from Ly {\alpha} and thermal IR measurements. Within the accuracy of the measurements, no evolution of the atmospheric density from mid-2008 to mid-2010 can be distinguished. The decrease of the SO2 column density towards high latitude is apparent, and the typical latitudinal extent of the atmosphere found to be (+-) 40{\deg} at half-maximum. The data show moderate diurnal variations of the equatorial atmosphere, which is evidence for a partially sublimation-supported atmospheric component. Compared to local noon, factor of 2 lower densities are observed around 40{\deg} before and 80{\deg} after noon. Best-fit gas temperatures range from 150 to 220 K, with a weighted mean value of 170 (+-) 20 K, which should represent the column-weighted mean kinetic temperature of Io's atmosphere. Finally, although the data include clear thermal emission due to Pillan (in outburst in July 2008) and Loki, no detectable enhancements in the SO2 atmosphere above these volcanic regions are found, with an upper limit of 4e16 cm-2 at Pillan and 1e17 cm-2 at Loki.


title: The nonlinear Dirac equation in Bose-Einstein condensates: Vortex solutions and spectra in a weak harmonic trap

abstract: We analyze the vortex solution space of the $(2 +1)$-dimensional nonlinear Dirac equation for bosons in a honeycomb optical lattice at length scales much larger than the lattice spacing. Dirac point relativistic covariance combined with s-wave scattering for bosons leads to a large number of vortex solutions characterized by different functional forms for the internal spin and overall phase of the order parameter. We present a detailed derivation of these solutions which include skyrmions, half-quantum vortices, Mermin-Ho and Anderson-Toulouse vortices for vortex winding $\ell = 1$. For $\ell \ge 2$ we obtain topological as well as non-topological solutions defined by the asymptotic radial dependence. For arbitrary values of $\ell$ the non-topological solutions are bright ring-vortices which explicitly demonstrate the confining effects of the Dirac operator. We arrive at solutions through an asymptotic Bessel series, algebraic closed-forms, and using standard numerical shooting methods. By including a harmonic potential to simulate a finite trap we compute the discrete spectra associated with radially quantized modes. We demonstrate the continuous spectral mapping between the vortex and free particle limits for all of our solutions.


title: Search for GeV Gamma Ray Bursts with the ARGO-YBJ Detector: Summary of Eight Years of Observations

abstract: The search for Gamma Ray Burst (GRB) emission in the energy range 1-100 GeV in coincidence with the satellite detection has been carried out using the Astrophysical Radiation with Ground-based Observatory at YangBaJing (ARGO-YBJ) experiment. The high altitude location (4300 m a.s.l.), the large active surface ($\sim$ 6700 m$^2$ of Resistive Plate Chambers), the wide field of view ($\sim 2~$sr, limited only by the atmospheric absorption) and the high duty cycle ($>$ 86 %) make the ARGO-YBJ experiment particularly suitable to detect short and unexpected events like GRBs. With the scaler mode technique, i.e., counting all the particles hitting the detector with no measurement of the primary energy and arrival direction, the minimum threshold of $\sim$ 1 GeV can be reached, overlapping the direct measurements carried out by satellites. During the experiment lifetime, from December 17, 2004 to February 7, 2013, a total of 206 GRBs occurring within the ARGO-YBJ field of view (zenith angle $\theta$ $\le$ 45$^{\circ}$) have been analyzed. This is the largest sample of GRBs investigated with a ground-based detector. Two lightcurve models have been assumed and since in both cases no significant excess has been found, the corresponding fluence upper limits in the 1-100 GeV energy region have been derived, with values as low as 10$^{-5}~$erg cm$^{-2}$. The analysis of a subset of 24 GRBs with known redshift has been used to constrain the fluence extrapolation to the GeV region together with possible cutoffs under different assumptions on the spectrum.


title: Planar Linkages Following a Prescribed Motion

abstract: Designing mechanical devices, called linkages, that draw a given plane curve has been a topic that interested engineers and mathematicians for hundreds of years, and recently also computer scientists. Already in 1876, Kempe proposed a procedure for solving the problem in full generality, but his constructions tend to be extremely complicated. We provide a novel algorithm that produces much simpler linkages, but works only for parametric curves. Our approach is to transform the problem into a factorization task over some noncommutative algebra. We show how to compute such a factorization, and how to use it to construct a linkage tracing a given curve.